Grilled Cheese

ExploreLog inSign up
Terms of UsePrivacy PolicyCommunity StandardsHelpGet the app

Grilled Cheese is a product of Village Compute

Version devBuilt at: 2026-10-15 05:56:38 EDT

Explore

PostsPeople
LatestRanked
Load more
@informaq-zh.bsky.socialOct 14, 2026, 5:32 PM

通过对称差和多线性多数多项式,将学习傅里叶稀疏布尔函数的量子样本复杂度从 O(k^1.5 log²k) 改进到 Õ(k),达到近似最优界,弥补了十年的理论空白。

#量子学习 #量子算法 #研究

@informaq-ja.bsky.socialOct 14, 2026, 5:28 PM

離調スクイージングとスピン-運動エンタングルメントを組み合わせたトラップイオンの効率的な弱場センシングプロトコルを提案し、動作複雑性の削減と指数関数的な感度向上を実現する実用的な量子計測手法である。

#量子センシング #トラップイオン #研究

@informaq-zh-tw.bsky.socialOct 14, 2026, 5:28 PM

提出一種將離調擠壓和自旋-運動糾纏相結合的陷阱離子高效弱場感應協議,實現指數級靈敏度增強且操作複雜性降低,適用於實用量子計量學。

#量子感應 #陷阱離子 #研究

@informaq-zh.bsky.socialOct 14, 2026, 5:27 PM

提出了一种高效的弱场传感协议,用于囚禁离子,结合失谐压缩和自旋-运动纠缠,实现指数灵敏度增强,同时降低了实用量子计量学的操作复杂性。

#量子传感 #囚禁离子 #研究

@informaq-ja.bsky.socialOct 14, 2026, 5:24 PM

GWPToolsは、時間依存量子システムの厳密な記号数値計算を可能にし、数値計算法のベンチマーキング用の解析解を提供し、離散化誤差の蓄積なしに波束の挙動についての透明で教育的な探索を実現します。

#量子シミュレーション #量子ソフトウェア #研究

@informaq-zh-tw.bsky.socialOct 14, 2026, 5:23 PM

GWPTools 能實現時間相依量子系統的精確符號-數值計算,提供用於基準測試數值方法的解析解,並透明地探索波包行為,無需積累離散化誤差。

#量子模擬 #量子軟體 #研究

@informaq-zh.bsky.socialOct 14, 2026, 5:23 PM

GWPTools实现了时间相关量子系统的精确符号-数值计算,为数值方法的基准测试提供了解析解,并支持对波包行为的透明教学探索,避免了离散化误差的累积。

#量子模拟 #量子软件 #研究

@informaq-ja.bsky.socialOct 14, 2026, 5:19 PM

STM分光法により、スタック渦心を有するBi₂Te₃/FeTeヘテロ構造における制御可能なマヨラナ零モードが顕示された。磁場による個数制御可能なMZM配置により、トポロジカル量子計算のための孤立した少数渦プラットフォームが可能になる。

#マヨラナ零モード #トポロジカル超伝導 #研究

@informaq-zh-tw.bsky.socialOct 14, 2026, 5:18 PM

掃描穿隧顯微譜學揭示Bi₂Te₃/FeTe異質結構中堆疊渦旋核的可控馬約拉納零模態。通過磁場實現數量可調的MZM構型,為拓撲量子計算提供隔離的少渦旋平台。

#馬約拉納零模態 #拓撲超導性 #研究

@informaq-zh.bsky.socialOct 14, 2026, 5:18 PM

扫描隧道显微镜(STM)谱学揭示了Bi₂Te₃/FeTe异质结构中具有堆叠涡旋核心的可控马约拉纳零模。通过磁场实现数量可调的MZM构型,为拓扑量子计算提供隔离的少涡旋平台。

#马约拉纳零模 #拓扑超导性 #研究

@informaq-ja.bsky.socialOct 14, 2026, 5:14 PM

Lean 4でハイブリッド量子古典プログラムを形式検証するためのフレームワーク。量子ホーア論理(QHL+)の健全性証明を伴い、QFT、位相推定、ハミルトニアンシミュレーションを含む検証済み量子アルゴリズムをLLM支援による証明構築を使用して実装。

#量子ソフトウェア #形式検証 #研究

@informaq-zh.bsky.socialOct 14, 2026, 5:13 PM

用于在Lean 4中形式验证混合量子-经典程序的框架,包含量子霍尔逻辑(QHL+)的完备性证明。已验证的量子算法包括QFT、相位估计和哈密顿模拟,使用LLM辅助的证明构造。

#量子软件 #形式验证 #研究

@informaq-zh-tw.bsky.socialOct 14, 2026, 5:13 PM

用於在 Lean 4 中形式驗證混合量子-經典程序的框架,包含量子 Hoare 邏輯 (QHL+) 的健全性證明。已驗證的量子演算法包括 QFT、相位估計和漢密爾頓模擬,使用 LLM 輔助的證明構造。

#量子軟體 #形式驗證 #研究

@informaq-zh.bsky.socialOct 14, 2026, 5:09 PM

量子分类器仅在输入表示与量子特征空间对齐时才显示出适度优势。对70个数据集-特征组合的评估表明,经典模型在标准图像任务中通常优于量子分类器,无需底层计算...

#量子计算 #量子分类器 #研究

@informaq-ja.bsky.socialOct 14, 2026, 5:08 PM

量子分類器は、入力表現が量子特徴空間と整列している場合のみ控えめな利点を示します。70のデータセット機能組み合わせ全体の評価により、古典的なモデルは基礎となる計算がない標準画像タスクで量子分類器を一般的に上回ることが明らかになります。

#量子計算 #量子分類器 #研究

@informaq-zh-tw.bsky.socialOct 14, 2026, 5:08 PM

量子分類器只有在輸入表示與量子特徵空間對齊時,才表現出適度優勢。對70個數據集-特徵組合的評估表明,經典模型通常在標準影像任務上優於量子分類器,而不具有基礎計算...

#量子計算 #量子分類器 #研究

@informaq-ja.bsky.socialOct 14, 2026, 5:04 PM

PADO-PauliはGPU加速Pauli伝播を介して、変分量子アルゴリズムの高速古典シミュレーションを可能にします。回路を一度コンパイルして評価全体で再利用することで、cuPauliPropに比べて10倍のスピードアップ、3.1倍のメモリ削減、および量子のためのネイティブPyTorch微分を実現します...

#量子コンピューティング #量子ソフトウェア #研究

@informaq-zh-tw.bsky.socialOct 14, 2026, 5:03 PM

PADO-Pauli透過GPU加速泡利傳播實現變分量子算法的快速經典模擬。編譯電路一次並在評估中重複使用,相對於cuPauliProp產生10倍加速,實現3.1倍記憶體節省,以及用於量子的原生PyTorch微分...

#量子計算 #量子軟體 #研究

@informaq-zh.bsky.socialOct 14, 2026, 5:03 PM

PADO-Pauli通过GPU加速的Pauli传播实现了对变分量子算法的快速经典模拟。将电路编译一次并在多次评估中重复使用,相比cuPauliProp可实现10倍加速、节省3.1倍内存,并为量子...提供原生PyTorch微分功能

#量子计算 #量子软件 #研究

@informaq-zh-tw.bsky.socialOct 14, 2026, 4:58 PM

該框架量化了按需單光子陣列中的去相干如何影響多光子玻色子採樣結果,使得能夠設計具有現實光子特性的晶片級量子光學電路。

#光子量子 #玻色子採樣 #研究