Jij Tech Blog

Jij inc.の開発日記です

ポケモン最適化 Vol. 1: 1 vs 1

Jij meets Pokemon. この記事の概要 任天堂の大人気ゲーム「ポケットモンスター」を最適化問題として定式化し、それをOpenJijで解いてみようという趣旨の記事です。 この記事の概要 序章(先行研究) 逃げるんじゃねぇ!サシで勝負だ! 定式化 バイナリ変数 制…

セグレ埋め込みと射影多様体の積(1)~代数幾何学~

セグレ埋め込みと射影多様体の積(1)~代数幾何学~ ここでは、射影多様体同士の積を定義するために必要な、セグレ埋め込みを考察します。セグレ埋め込みとは大雑把に言えば、二つの射影多様体の直積集合を次元の大きい射影空間に埋め込んで、誘導位相を入…

「ナップサック問題が量子アニーリング(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"を読んだので、その理解を深めるためのアウトプットとして作成されたものです。 この記事の概要 序章: ダークマターとは 概要 観測の歴史 銀河団に…