Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
PLDI '21論文読み会: Quantum Abstract Interpretation
Search
Idein
June 08, 2022
Research
0
1.3k
PLDI '21論文読み会: Quantum Abstract Interpretation
Idein
June 08, 2022
Tweet
Share
More Decks by Idein
See All by Idein
PLDI '21論文読み会: DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion
ideininc
1
1.6k
PLDI '21論文読み会: AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
ideininc
0
1.4k
PLDI '21論文読み会: Specification Synthesis with Constrainted Horn Clauses
ideininc
0
1.4k
PLDI '21論文読み会: Cyclic Program Synthesis
ideininc
0
1.4k
PLDI '21論文読み会: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
ideininc
0
1.3k
PLDI '21論文読み会: Provable Repair of Deep Neural Networks
ideininc
2
1.6k
Idein会社紹介資料(積極採用中)
ideininc
0
31k
Other Decks in Research
See All in Research
「人間にAIはどのように辿り着けばよいのか?ー 系統的汎化からの第一歩 ー」@第22回 Language and Robotics研究会
maguro27
0
530
クラウドソーシングによる学習データ作成と品質管理(セキュリティキャンプ2024全国大会D2講義資料)
takumi1001
0
200
論文読み会 SNLP2024 Instruction-tuned Language Models are Better Knowledge Learners. In: ACL 2024
s_mizuki_nlp
1
300
SSII2024 [OS3] 企業における基盤モデル開発の実際
ssii
PRO
0
570
MIRU2024チュートリアル「様々なセンサやモダリティを用いたシーン状態推定」
miso2024
3
2k
LLM時代にLabは何をすべきか聞いて回った1年間
hargon24
1
390
SSII2024 [OS3] 基盤モデル(オープニング)
ssii
PRO
0
330
JMED-LLM: 日本語医療LLM評価データセットの公開
fta98
4
1k
第60回名古屋CV・PRMU勉強会:CVPR2024論文紹介(Vision Transformer)
waka_90b
1
170
文献紹介:A Multidimensional Framework for Evaluating Lexical Semantic Change with Social Science Applications
a1da4
0
190
20240725異文化融合研究セミナーiSeminar
tadook
0
130
Active Adaptive Experimental Design for Treatment Effect Estimation with Covariate Choices
masakat0
0
190
Featured
See All Featured
Designing on Purpose - Digital PM Summit 2013
jponch
114
6.9k
The Power of CSS Pseudo Elements
geoffreycrofte
71
5.3k
Principles of Awesome APIs and How to Build Them.
keavy
126
17k
Designing Experiences People Love
moore
138
23k
What's new in Ruby 2.0
geeforr
341
31k
VelocityConf: Rendering Performance Case Studies
addyosmani
324
23k
Designing Dashboards & Data Visualisations in Web Apps
destraynor
228
52k
The Brand Is Dead. Long Live the Brand.
mthomps
53
38k
Typedesign – Prime Four
hannesfritz
39
2.3k
Practical Orchestrator
shlominoach
185
10k
Six Lessons from altMBA
skipperchong
26
3.4k
実際に使うSQLの書き方 徹底解説 / pgcon21j-tutorial
soudai
167
48k
Transcript
தଜߊҰ 2VBOUVN"CTUSBDU*OUFSQSFUBUJPO 1-%*จಡΈձBU*EFJO
ಡΜͩจ w 2VBOUVN"CTUSBDU*OUFSQSFUBUJPO w ྔࢠϓϩάϥϜͷநղऍख๏ΛఏҊ͢Δจ /FOHLVO:VBOE+FOT1BMTCFSH2VBOUVNBCTUSBDUJOUFSQSFUBUJPO *O1SPDFFEJOHTPGUIFOE"$.4*(1-"/*OUFSOBUJPOBM$POGFSFODFPO1SPHSBNNJOH -BOHVBHF%FTJHOBOE*NQMFNFOUBUJPO 1-%*
"TTPDJBUJPOGPS$PNQVUJOH.BDIJOFSZ /FX:PSL /: 64" r %0*IUUQTEPJPSH
ΞδΣϯμ w நղऍͱ w ྔࢠܭࢉͱ w ຊจͷհ
w ϓϩάϥϜͷ੩తղੳͷϑϨʔϜϫʔΫͷҰͭ w ϓϩάϥϜΛԿΒ͔ͷநྖҬ BCTUSBDUEPNBJO ͷ্Ͱ࣮ߦ w நྖҬଋ MBUUJDF ͱͯ͠දݱ͞ΕΔ
நղऍ "CTUSBDU*OQUFSQSFUBUJPO \Y Z^ [Y Z \Y Z [^ நత ۩ମత
ྔࢠϏοτ 2VBOUVN#JU 2CJU w RVCJUೋ͕ͷෳૉͭͰදݱ w ͜ͷRVCJUΛ؍ଌ͢Δͱɺ֬ Ͱঢ়ଶ ɺ֬ Ͱঢ়ଶ
͕ಘΒΕΔ |α2 | |0⟩ |β2 | |1⟩ α|0⟩ + β|1⟩ = (α, β)T (α2 + β2 = 1) |0⟩ = (1,0)T, |1⟩ = (0,1)T
༧උࣝϒϥͱέοτ w Λέοτ LFU ϕΫτϧͱݺͿɻ w ͜ΕͷਵΛϒϥ CSB ϕΫτϧͱݺͼ ͱॻ͘
w ௨ৗͷੵʹͳΔ |ψ⟩ ⟨ψ| ⟨ψ|ϕ⟩ |ψ⟩ = ( α β), ⟨ψ| = (α* β*)
ྔࢠϏοτ 2VBOUVN#JU 2CJU w RVCJUෳૉ ݸͰද͞ΕΔ n 2n α|00⟩ +
β|01⟩ + γ|10⟩ + δ|11⟩ (α2 + β2 + γ2 + δ2 = 1) ྫRCJUঢ়ଶͷॏͶ߹Θͤ
ิෳ2VCJUͷܭࢉ |ϕ, ψ⟩ > = |ϕ⟩ ⊗ |ψ⟩ = (
α β) ⊗ ( γ δ) = αγ αδ βγ βδ
ྔࢠήʔτ 2VBOUVN-PHJD(BUF w ྔࢠϏοτͷঢ়ଶΛม͑Δૢ࡞ XJLJQFEJB2VBOUVNMPHJDHBUFΑΓҾ༻ |ψ⟩ |ψ′  ⟩
ྔࢠήʔτ 2VBOUVN-PHJD(BUF w ྔࢠϏοτͷঢ়ଶΛม͑Δૢ࡞ w ྫ)BEBNBSE(BUF XJLJQFEJB2VBOUVNMPHJDHBUFΑΓҾ༻ |0⟩ 1 2
|0⟩ + 1 2 |1⟩ H
ྔࢠճ࿏ 2VBOUVN$JSDVJU w ྔࢠήʔτΛΈ߹Θͤͯɺճ࿏Λߏͨ͠ͷ w ճ࿏Λతؒతʹදݱ͢Δͷ͕ྔࢠϓϩάϥϜ w ֤ԋࢉճ࿏શମϢχλϦߦྻ 6OJUBSZ.BUSJY
Λຬͨ͢ ͱͯ͠දݱ͞ΕΔ UU† = U†U = I U |ψ′  ⟩ = U|ψ⟩
ຊจͷऔΓΉ՝ w ྔࢠϓϩάϥϜͷ੩తղੳΛ͍ͨ͠ʂ w RVCJUΛදݱ͢Δͷʹ ݸͷෳૉ͕ඞཁɻετϨʔδɾԋࢉྔڞʹେɻ n 2n ܭࢉ݁ՌͲͷΑ͏ͳ ঢ়ଶϕΫτϧ
ࢀߟຊ࣌Ͱͷ ଟ ੈք࠷େͷྔࢠίϯϐϡʔλͷن w (PPHMFͷ#SJTUMFDPOF RVCJU w ݹయܭࢉػͰγϛϡϨʔτ͢Δʹ w
ঢ়ଶ ݸͷෳૉͰදݱ w ແཧͰ͢ 4.7 × 1021
ຊจͷߩݙ w ྔࢠϓϩάϥϜʹର͢Δநղऍख๏ΛఏҊ w RVCJUʹରͯ͠ଟ߲ࣜ࣌ؒͰ࣮ߦՄೳͰ͋Δ
ཧղ͢Δ্ͰͷϙΠϯτ w நྖҬ "CTUSBDU%PNBJO ΛͲ͏ఆΊΔ͔ʁ w ෦ઢܗۭࣹؒӨߦྻͷͳ͢ଋΛݩʹBCTUSBDUEPNBJOΛߏ͢Δ
ࣹӨߦྻ QSPKFDUJPONBUSJY w Λຬͨ͢ਖ਼ํߦྻ w ϕΫτϧΛ͋Δ෦ઢܗۭؒ ʹҠ͢ w ͱ ҰରҰʹରԠ
w ྫҎԼͷ ฏ໘ͱରԠ P = P† = P2 P SP P SP P xy P = 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0
۩ମతঢ়ଶࣹӨߦྻͱͯ͠දݱ͞ΕΔ w ࣹӨߦྻͱͯ͠ͷੑ࣭Λຬͨ͢ ρ = |ψ⟩⟨ψ|
ࣹӨߦྻͷॱং P ⊆ Q J ff SP ⊆ SQ
நྖҬͷߏ w ORVCJUͷঢ়ଶʹରͯ͠ |ψ⟩⟨ψ| (Ps1 , ⋯, Psm ) ͷڊେߦྻ
2n × 2n Nݸͷখ͞ͳࣹӨ ߦྻͰۙࣅ
நྖҬͷఆٛ w ʹରͯ͠ ͱ͢Δɻͨͩ͠ w ORVCJUͷͷ͢ΔϏοτͷू߹Λදݱ w ͷॱংҎԼͰఆΊΔ 0
< m ≤ 2n S = (s1 , …, sm ) si ⊆ {0,…, n − 1} si P, Q ∈ AbsDom(S) AbsDom(S) = {(Ps1 , …, Psm ) ∣ Psi 2|si |ࣹ࣍Өߦྻ} P ⊑ Q J ff ∀i, Psi ⊆ Qsi
'JOFS"CTUSBDU%PNBJO AbsDom({0,1}, {1,2}) AbsDom({0,1,2}, {1,2}) AbsDom(S) ⊴ AbsDom(T) J ff
∀i si ⊆ ti
۩ମྖҬ $PODSFUF%PNBJO w நྖҬͷಛผͳ߹ɻ࠷ fi OFɻ ͱͯ͠ [n] = {0,…,
n − 1} AbsDom([n]m) = {2nࣹ࣍Өߦྻmݸͷ}
நԽࣸ૾ͱ۩ମԽࣸ૾ நԽ ۩ମԽ
ΨϩΞଓ (BMPJT$POOFDUJPO
ΨϩΞଓ (BMPJT$POOFDUJPO "CTUSBDU%PNBJOͰܭࢉͯ͠ಘͨॱংͱ $PODSFUF%PNBJOͰܭࢉͯ͠ಘͨॱংҰக
நԋࢉ RVCJUͷू߹'ʹର͢ΔϢχλϦߦྻ6ͰͷநԋࢉΛߦ͏ʹɺ 'ΛؚΉ fi OFͳEPNBJOʹҠͬͯ۩ମతʹܭࢉͯ͠ɺ"CTUSBDUEPNBJOʹΔ S = (s1 , …,
sm ) ⇒ T = (s1 ∪ sF , …, sm ∪ sF )
ओఆཧ நྖҬઢܗ෦ۭؒ ͷ ͷ-BUUJDFͩͬͨͷͰܭࢉ݁Ռͷ ͷ ʹؚ·ΕΔϏοτ෦ۭؒ ͷுΔۭؒʹؚ·ΕΔ ͱ͍ͬͨBTTFSUJPO͕ࣔͤΔ si Psi
ܭࢉྔ w ͭͷࣹӨߦྻͷαΠζΛLRVCJUͱͨ͠߹ w ۭؒܭࢉྔ w ࣌ؒܭࢉྔ ϓϩάϥϜͷήʔτ
O(|S| × (2k+3 × 2k+3)) O(|p| × 8k) |p|
ϕϯνϚʔΫ w #7G Y BY CͷB CΛݟ͚ͭΔ w ();શͯɺશ͕ͯॏͳͬͨঢ়ଶΛ࡞Δ w
(SPWFSG Y ͱͳΔYΛ୳ࡧ w .BD#PPL1SP $PSFJ()[ (#
݁ w ྔࢠܭࢉͷҝͷநղऍख๏ΛఏҊͨ͠ 4DBMBCMFͰ͋ΔRVCJUنͷγϛϡϨʔγϣϯग़དྷͨ 6TFGVMͰ͋ΔͭͷॏཁͳͰBTTFSUJPODIFDL͕ग़དྷͨ 'MFYJCMFͰ͋Δ"CTUSBDU%PNBJOͷઃܭࣗ༝͕ߴ͍