Jij Tech Blog

Jij inc.の開発日記です

「ナップサック問題が量子アニーリング(QA)で解けない」は本当か?

この記事の概要 Pusey-Nazaro & Date, 2020, "Adiabatic Quantum Optimization Fails to Solve the Knapsack Problem"を読み、実際にその内容を検証・考察したものです。 この記事の概要 ナップサック問題 概要 定式化 制約: ナップサックで運ぶことができる…

量子コンピュータでLHC高エネルギー実験データ探索

この記事の概要 Armenakas & Baker, 2020, "Application of a Quantum Search Algorithm to High-Energy Physics Data at the Large Hadron Collider"を読んだので、その理解を深めるためのアウトプットとして作成したものです。 この記事の概要 序章: Grove…

代数幾何の考え方 其の二

準同型写像と準同型定理 代数学で基本的な概念であり、色々なことを証明する時に空気のように使われる道具でもある、準同型写像について軽く触れておきましょう。環の準同型とは、直感的に言えば環の和と積の構造を保ったまま別の環に埋め込む(単射とは限り…

代数幾何の考え方 其の一

代数幾何とは、大雑把に言えば図形を代数学の言葉で扱う分野です。しかし、図形を代数の言語で扱って良いことを保証するための準備(特にヒルベルトの零点定理)に辿り着くまでにはそれなりに代数学、特に可換環論の知識が必要です。 本記事では、厳密さに…

超伝導量子ビットによるダークマター探査

この記事の概要 この記事はDixit et al., 2020, "Searching for Dark Matter with a Superconducting Qubit"を読んだので、その理解を深めるためのアウトプットとして作成されたものです。 この記事の概要 序章: ダークマターとは 概要 観測の歴史 銀河団に…

断熱量子計算によるHHLアルゴリズム

この記事の概要 Subasi et al., 2018, "Quantum algorithms for systems of linear equations inspired by adiabatic quantum computing"を読んだので、その理解を深めるためのアウトプットとして作成したものです。 この記事の概要 問題設定 断熱量子計算 …

有理数と実数の構成から、可換環論をのぞき見してみる

本記事は、数学のごく基本的な知識(集合の素朴な定義、同値関係と商集合、コーシー列)を知っておけば読めるようになっています。 まず、整数環\Zは定義済みとして考えましょう。厳密に言えば、\Zはペアノの公理という公理から定義されるものなのですが、そ…