Axioma ic Cha ac e iza ion o Uni e se
as Quan um Cellula Au oma on:
QCA Implemen a ion o Compu a ional Uni e se
Te minal Objec
and Uni ied Time Scale Limi
Haobo Ma1Wenlin Zhang2
1Independen Resea che
2Na ional Uni e si y o Singapo e
No embe 24, 2025
Abs ac
In p e ious se ies on “compu a ional uni e se” Ucomp = (X, T,C,I), we ha e
cons uc ed disc e e complexi y geome y, disc e e in o ma ion geome y, con ol
mani old (M, G) induced by uni ied ime scale, ask in o ma ion mani old (SQ, gQ),
ime–in o ma ion–complexi y join a ia ional p inciple, mul i-obse e consensus
geome y, causal diamonds and Null–Modula double co e , opological complexi y
and undecidabili y, and uni ied compu a ional uni e se e minal objec U e m
comp.
On o he hand, quan um cellula au oma on (QCA) long iewed as na u al can-
dida e model o “uni e se as quan um disc e e dynamical sys em”: on coun able
la ice si es, each si e ca ies ini e-dimensional Hilbe space, o e all e olu ion
is local uni a y upda e. T adi ional QCA heo y mainly ocused on in o ma ion
p opaga ion speed, e e sibili y and uni e sali y, less sys ema ically in eg a ed wi h
uni ied ime scale, complexi y geome y and uni e se e minal objec s uc u e.
This pape gi es igo ous axioma ic cha ac e iza ion o iewpoin “uni e se as
quan um cellula au oma on” wi hin uni ied ime scale–compu a ional uni e se e -
minal objec amewo k. Main esul s:
1. In oduce “uni e se QCA objec ” UQCA = (Λ,Hxx∈Λ, U, CT), whe e Λ coun -
able la ice si e se , Hxlocal Hilbe space, Uglobal uni a y upda e sa is ying
locali y and e e sibili y, CTuni ied ime scale cos o one upda e. We p o-
pose QCA uni e se axioms: local ini eness, uni ied ime scale compa ibili y,
obse able ope a o ne wo k and causal s uc u e, embeddabili y in compu-
a ional uni e se axioms.
2. Cons uc unc o om QCA uni e se objec s o compu a ional uni e se ob-
jec s Ucomp = (X, T,C,I), and unc o om physically ealizable compu a-
ional uni e se o QCA uni e se, p o e unde uni ied ime scale and locali y
axioms, hese wo unc o s gi e ca ego ical equi alence on app op ia ely de-
ined subca ego ies:
QCAUni phys ≃CompUni phys.
1
In pa icula , uni ied compu a ional uni e se e minal objec U e m
comp es ic ion
on QCA subca ego y isomo phic o “uni e se QCA e minal objec ” U e m
QCA.
3. Unde uni ied ime scale mas e scale, cons uc con ol mani old (M, G) and
con inuous limi o QCA uni e se: p o e unde Lieb–Robinson bounded p op-
aga ion speed and con ollable pe u ba ion condi ions, exis s con inuous ime
limi amily U( ) and e ec i e Hamil onian He such ha uni ied ime scale
densi y κ(ω) connec s wi h QCA disc e e spec al da a h ough sca e ing–
spec al shi –g oup delay o mula.
4. F om wi hin QCA uni e se cons uc obse e s, causal diamonds, Null–Modula
double co e and ime c ys als, p o e hese s uc u es can be comple ely e-
alized on QCA Hilbe space: obse e s a e local subsys ems on QCA, causal
diamonds a e local space– ime blocks, Null–Modula Z2holonomy and ime
c ys al phase pa i y s uc u e ealized h ough cons uc ing sel - e e ence eed-
back ne wo k and Floque –QCA on QCA.
5. A opological complexi y and undecidabili y le el, p o e QCA uni e se con-
ains all compu able disc e e dynamical sys ems: any cons uc ible compu a-
ional uni e se objec can be embedded in some QCA uni e se; hus opolog-
ical loop con ac ion undecidabili y, ca as ophic sa e y undecidabili y, and
capabili y– isk on ie non-algo i hmic sol abili y p e iously p o ed a com-
pu a ional uni e se le el all hold in QCA uni e se.
This pape hus shows: “uni e se as quan um cellula au oma on” no indepen-
den addi ional assump ion om compu a ional uni e se amewo k, bu conc e e
implemen a ion o uni ied compu a ional uni e se e minal objec in pa icula ly
na u al subca ego y; uni ied ime scale, complexi y geome y, in o ma ion geome-
y, mul i-obse e causal ne wo k and capabili y– isk s uc u e can be comple ely
ealized and conc e ely enginee ed in QCA uni e se.
Keywo ds: Compu a ional uni e se; Quan um cellula au oma on; QCA; Te minal ob-
jec ; Uni ied ime scale; Ca ego ical equi alence; Complexi y geome y
1 In oduc ion
Concep ion “uni e se is quan um cellula au oma on” epea edly appea s in quan um
in o ma ion, undamen al physics and compu a ion heo y: uni e se a some mic oscopic
scale composed o disc e e la ice si es and local upda e ules, con inuous space ime and
ield heo y only i s la ge-scale limi . On o he hand, “uni e se is compu a ional uni e se”
abs ac s uni e se on ology as ul ima e objec o uni e sal compu a ion sys em, uni ying
physics, compu a ion and in o ma ion om complexi y geome y, in o ma ion geome y
and uni ied ime scale pe spec i es.
In p e ious se ies, we ha e cons uc ed uni ied compu a ional uni e se e minal objec
U e m
comp om compu a ion–geome y–ca ego y pe spec i e. Na u al ques ions:
1. Does he e exis pu e QCA “uni e se objec ” UQCA ha can ealize all compu a-
ional uni e se s uc u es?
2. How does QCA uni e se in e ace wi h uni ied ime scale–con ol mani old s uc-
u e?
2
3. Can obse e s, causal diamonds, Null–Modula double co e , ime c ys als, sel -
e e ence and capabili y– isk s uc u e be comple ely ealized wi hin QCA uni e se?
This pape gi es sys ema ic answe s o hese ques ions.
Sec ion 2 gi es QCA uni e se axioms and basic s uc u e; Sec ion 3 cons uc s ca -
ego ical equi alence be ween QCA uni e se and compu a ional uni e se, de ines QCA
uni e se e minal objec ; Sec ion 4 discusses uni ied ime scale and con inuous limi
o QCA; Sec ion 5 shows implemen a ion o obse e s, causal diamonds, Null–Modula
and ime c ys als in QCA uni e se; Sec ion 6 explains p ese a ion o undecidabili y
and capabili y– isk s uc u e in QCA uni e se. Appendices gi e de ailed p oo s o main
p oposi ions and heo ems.
2 Axioma ic De ini ion o QCA Uni e se
This sec ion gi es axioma ic de ini ion o quan um cellula au oma on uni e se, in o-
duces uni ied ime scale compa ibili y and obse able ope a o ne wo k.
2.1 QCA Basic S uc u e
De ini ion 2.1 (Quan um Cellula Au oma on).Le Λ be coun able la ice si e se (e.g.,
Zd), o each x∈Λ, endow ini e-dimensional Hilbe space Hx∼
=Cdx. Global Hilbe
space de ined as in ini e enso p oduc
H=O
x∈Λ
Hx,
in s ic ma hema ics need selec app op ia e sepa able subspace (e.g., ini e exci a ion
space), his pape uses physically s anda d “locally exci able s a e space”.
A e e sible QCA is uni a y ope a o U:H → H sa is ying:
1. Locali y: exis s ini e adius R > 0 such ha o any local ope a o Ax∈ B(Hx),
i s Heisenbe g e olu ion U†AxUsuppo ed on {y∈Λ : dis (x, y)≤R};
2. Re e sibili y: Uis uni a y, and U−1sa is ies same locali y cons ain .
We call (Λ,Hx, U) a QCA objec .
2.2 QCA Uni e se Objec
To cha ac e ize uni e se a he han single QCA, we need o add uni ied ime scale and
obse able ope a o ne wo k.
De ini ion 2.2 (QCA Uni e se Objec ).A QCA uni e se objec is quad uple
UQCA = (Λ,Hxx∈Λ, U, CT),
sa is ying:
1. QCA condi ion: (Λ,Hx, U) is e e sible QCA;
3
2. Uni ied ime scale compa ibili y: exis s uni ied ime scale densi y κ(ω) and co e-
sponding sca e ing–g oup delay s uc u e such ha physical ime cos CTo one
Uupda e w i able as
CT=ZΩ
w(ω)κ(ω) dω,
whe e w(ω) no malized weigh , Ω ⊂Re ec i e equency band;
3. Obse able ope a o ne wo k: exis s local ope a o ne wo k {A(O)}(e.g., local op-
e a o algeb a on egion O ⊂ Λ) such ha QCA ealizes au omo phism o ope a o
ne wo k in Heisenbe g pic u e, and uni ied ime scale–sca e ing s uc u e de inable
h ough sca e ing p ocesses on his ope a o ne wo k.
A compu a ional uni e se le el, we ake con igu a ion se Xas label se o global
no malized basis ec o s, e.g.,
X=|ψ⟩=O
x∈Λ
|sx⟩:sx∈ {1, . . . , dx},sa is ying ini e exci a ion condi ion.
One-s ep upda e ela ion de ined by ma ix elemen s o U, uni ied ime scale de e -
mined by CT.
2.3 QCA Uni e se Axioms
We summa ize as ollowing axiom sys em:
Axiom 2.3 (Disc e e La ice and Fini e Local Deg ees o F eedom (Q1)).Λcoun able
g aph wi h bounded deg ee; each si e local Hilbe space dimension ini e.
Axiom 2.4 (Local Re e sible Dynamics (Q2)).Uuni a y ope a o sa is ying locali y
cons ain wi h ini e p opaga ion adius R, and U−1also local.
Axiom 2.5 (Uni ied Time Scale Compa ibili y (Q3)).Exis s uni ied ime scale densi y
κ(ω)such ha o ce ain class o sca e ing p ocesses (e.g., sca e ing be ween local egion
and ex e nal uni e se), hei sca e ing phase, spec al shi and g oup delay ace sa is y
uni ied ime scale mas e o mula. Time cos CTo one QCA s ep Uis ce ain window
in eg al o κ(ω).
Axiom 2.6 (Obse able Ope a o Ne wo k and Causal S uc u e (Q4)).Exis s local
ope a o ne wo k A(O)and QCA-induced causal s uc u e such ha local ope a o s only
a ec ini e egion in ini e s eps, and uni ied ime scale–complexi y geome y can de ine
causal diamonds and complexi y ligh cones on his causal s uc u e.
Objec s sa is ying Q1–Q4 called QCA uni e se objec s, deno e hei ca ego y as
QCAUni .
3 Ca ego ical Equi alence Be ween QCA Uni e se
and Compu a ional Uni e se
This sec ion cons uc s unc o s be ween QCA uni e se and compu a ional uni e se,
p o es ca ego ical equi alence on physically ealizable subclasses, ob aining QCA uni-
e se e minal objec .
4
3.1 Func o om QCA Uni e se o Compu a ional Uni e se
De ini ion 3.1 (Func o FQCA→comp).Gi en QCA uni e se objec
UQCA = (Λ,Hx, U, CT),
cons uc compu a ional uni e se objec
Ucomp(UQCA)=(X, T,C,I),
as ollows:
1. Con igu a ion se X: ake enso p oduc basis amily {|sx⟩}dx
sx=1 ini e exci a ion
enso p oduc s, le Xbe label se o hese basis ec o s;
2. One-s ep upda e ela ion T: de ine
(x, y)∈T⇐⇒ ⟨y|U|x⟩ = 0;
3. Single-s ep cos C(x, y): i (x, y)∈T, le C(x, y) = CT(o add co ec ion ac o
ela ed o local ope a ion coun ), o he wise C(x, y) = ∞;
4. In o ma ion quali y unc ion I: de ined by physical ask, e.g., success p obabili y o
ce ain local obse able o sca e ing p ocess.
This cons uc ion ob iously p ese es locali y and uni ied ime scale s uc u e: com-
plexi y dis ance dcomp co esponds o numbe o QCA s eps imes CT, causal s uc u e
de e mined by di ec ed g aph o T.
3.2 Cons uc ion om Compu a ional Uni e se o QCA Uni-
e se
Re e se cons uc ion mo e sub le, needs o use QCA uni e sali y: any local e e sible
disc e e dynamical sys em can be embedded in some QCA.
P oposi ion 3.2 (Embedding om Compu a ional Uni e se o QCA).Fo each physi-
cally ealizable compu a ional uni e se objec
Ucomp = (X, T,C,I)
exis s QCA uni e se objec UQCA and pai o maps
E:X→ H, D :H → X,
such ha :
1. Eencoding map embedding con igu a ion labels in o local subspace o QCA Hilbe
space;
2. Ddecoding map p ojec ing om encoding subspace back o con igu a ion labels;
5
3. QCA upda e Usimula es compu a ional uni e se upda e ela ion Ton encoding
subspace: i (x, y)∈T, hen
DUE(x) = y,
and his simula ion in oduces only ini e cons an ac o complexi y o e head unde
uni ied ime scale and locali y axioms.
P oo ske ch. Uses s anda d “ci cui –QCA uni e sali y” cons uc ion, ansla es local
ules o compu a ional uni e se in o local ga es o one o wo-dimensional QCA. See
Appendix B o de ails.
View his embedding as unc o
Fcomp→QCA :CompUni phys →QCAUni phys,
gi es QCA implemen a ion on objec s, li s simula ion map o local ans o ma ion
a QCA laye on mo phisms.
3.3 Ca ego ical Equi alence and QCA Uni e se Te minal Ob-
jec
Theo em 3.3 (Ca ego ical Equi alence o QCA Uni e se and Compu a ional Uni e se).
On physically ealizable subca ego ies QCAUni phys ⊂QCAUni ,CompUni phys ⊂
CompUni , unc o s
FQCA→comp,Fcomp→QCA
cons i u e ca ego ical equi alence:
QCAUni phys ≃CompUni phys.
In pa icula , uni ied compu a ional uni e se e minal objec U e m
comp es ic ion on his
subca ego y isomo phic o some QCA uni e se e minal objec U e m
QCA, la e sa is ies o
any QCA uni e se objec UQCA exis s unique (up o na u al ans o ma ion) mo phism
UQCA →U e m
QCA.
P oo . See Appendix C.
4 Uni ied Time Scale and Con inuous Limi o QCA
This sec ion discusses how o cons uc uni ied ime scale and con inuous limi o con ol
mani old on QCA uni e se.
6
4.1 Lieb–Robinson Bounded P opaga ion and Fini e Ligh Speed
In local QCA, Lieb–Robinson inequali y gua an ees uppe bound on in o ma ion p opa-
ga ion speed: exis s eloci y LR >0, decay a e µ > 0 and cons an C > 0 such ha o
any local ope a o s Ax,By
[UnAxU−n, By]≤Cexp −µ(dis (x, y)− LRn).
Unde uni ied ime scale, a io wi h pe -s ep upda e cos CTgi es e ec i e “ligh
speed”
ce = LR/CT.
This quan i y iewable as me ic ac o in con inuous limi o con ol mani old.
4.2 Limi om QCA o Con inuous Time E olu ion
In many QCA models, exis s con inuous ime limi : exis s Hamil onian He and ime
s ep δ such ha
U= exp(−iHe δ ) + O(δ 2),
hus mul i-s ep e olu ion a =nδ app oxima es con inuous ime e olu ion exp(−iHe ).
Fo his, uni ied ime scale densi y κ(ω) de inable om sca e ing da a o He .
P oposi ion 4.1 (Con inuous Limi o Uni ied Time Scale o QCA).Le QCA uni e se
objec UQCA sa is y:
1. Exis s con inuous limi U= exp(−iHe δ ) + O(δ 2);
2. He aceable pe u ba ion Hamil onian sa is ying wa e ope a o comple eness and
uni ied ime scale mas e o mula;
Then p opo ional ela ionship exis s be ween QCA single-s ep cos CTand uni ied
ime scale densi y κ(ω), and complexi y dis ance con e ges o geodesic dis ance dGon
con ol mani old in e inemen limi , whe e Gcons uc ed om sca e ing–g oup delay
esponse o He .
P oo . See Appendix D.
4.3 Con ol Mani old o QCA Uni e se
Fo con ollable pa ame e s in QCA uni e se (e.g., local coupling cons an s, la ice spac-
ing, ex e nal ield s eng h), endow pa ame e space
MQCA ={θ},
a each θco esponds QCA upda e ope a o U(θ) and uni ied ime scale densi y
κ(ω;θ). Following p e ious uni ied ime scale–con ol mani old cons uc ion, de ine me ic
Gab(θ) = ZΩ
w(ω) ∂aQ(ω;θ)∂bQ(ω;θ)dω,
7
whe e Q(ω;θ) = −iU(θ)†(ω)∂ωU(θ)(ω).
Thus con ol mani old (MQCA, G) o QCA uni e se di ec ly connec ed wi h uni ied
ime scale, con ol mani old s uc u e on compu a ional uni e se side conc e ely ealized
in QCA uni e se.
5 Obse e s, Causal Diamonds and Time C ys als in
QCA Uni e se
This sec ion shows how o ealize obse e s, causal diamonds, Null–Modula double co e
and ime c ys als p e iously cons uc ed a compu a ional uni e se le el in QCA uni e se.
5.1 Obse e as QCA Local Subsys em
In QCA uni e se, obse e O iewable as local subsys em on la ice si e se ΛO⊂Λ, i s
in e nal Hilbe space
HO=O
x∈ΛO
Hx,
in e nal memo y s a e space Min embedded in some subspace o HO, obse a ion
symbol space Σobs and ac ion space Σac co espond o ce ain local measu emen and
con ol ope a o s on QCA. In e nal upda e ope a o U ealized by local QCA sequence
implemen ed on HO.
Mul i-obse e case co esponds o mul iple disjoin o pa ially o e lapping local
subsys ems, communica ion h ough local p opaga ion o QCA concen a ed in ini e
Lieb–Robinson ligh cone.
5.2 Causal Diamonds and Bounda y Compu a ion
On QCA uni e se e en laye
E=X×Z,(x, n)7→ (y, n + 1)
causal s uc u e basis, causal diamond ♢co esponds o e en se o some space–la ice
si e egion Λ♢⊂Λ wi hin ini e ime window [n0, n1]. QCA e olu ion inside diamond
ep esen ed by local blocks o U♢, bounda y Hilbe space spanned by local deg ees o
eedom co esponding o diamond space– ime bounda y.
Bounda y compu a ion ope a o
K♢= Π+
♢U♢ι−
♢
explici ly ealizable in QCA Hilbe space h ough local p ojec ion and e e ence s a e
enso p oduc . Disc e e GHY s uc u e o “bounda y de e mines olume” p oposed a
compu a ional uni e se le el comple ely ealized in QCA uni e se.
8
5.3 Null–Modula Double Co e and Time C ys al Realiza ion
Cons uc ing causal diamond chain {♢k}and co esponding Null–Modula double co e in
QCA uni e se, can choose some sel - e e ence eedback ne wo k o Floque –QCA d i ing
ule making each diamond co espond o one Floque pe iod.
In oduce modulo-2 ime phase label ϵk∈Z2de e mined by sca e ing phase de i a-
i e o ou going bounda y o each pe iod diamond, using p e iously cons uc ed double
co e g aph e
D→D, can encode pe iod-doubling pa i y s uc u e o ime c ys als as
holonomy o closed diamond chain on double co e .
Conc e e QCA ime c ys al models (like Floque –QCA on one-dimensional spin chain)
di ec ly ealizable by local ga e a ay on H, exis ence and obus ness o hei ime c ys al
phase p o able h ough e e sibili y and locali y o QCA, see Appendix A.
6 P ese a ion o Undecidabili y and Capabili y–Risk
S uc u e in QCA Uni e se
This sec ion explains how undecidabili y and capabili y– isk on ie s uc u e ob ained
a compu a ional uni e se le el p ese ed in QCA uni e se.
6.1 Compu a ional Comple eness o QCA Uni e se
Since QCA can simula e any local e e sible disc e e sys em, and h ough adding aux-
ilia y egis e s can simula e i e e sible e olu ion and measu emen , QCA uni e se is
“uni e sal” a compu abili y le el: any cons uc ible compu a ional uni e se objec can
be embedded in some QCA uni e se.
The e o e, hal ing p oblem, loop con ac ion p oblem, uni e sal ca as ophic sa e y
p oblem and capabili y– isk on ie sea ch p oblem emain undecidable o non-algo i hmically
comple ely sol able in QCA uni e se: i sol able in QCA subclass, h ough ca ego ical
equi alence can educe o sol able in gene al compu a ional uni e se, con adic ing p e-
ious esul s.
6.2 QCA Implemen a ion o Capabili y–Risk F on ie
In QCA uni e se, s a egy πco esponds o some local con ol p o ocol (e.g., modula -
ing local ga es o QCA in ini e egion), capabili y unc ional Cap(π) and isk unc ional
Risk(π) exp essible using local measu emen s on QCA and ca as ophe se Cca ⊂X.
Capabili y– isk on ie FCR as Pa e o on ie s uc u e on s a egy space becomes con-
c e e geome ic objec on QCA con ol mani old MQCA.
Howe e , due o uni e sali y o QCA, capabili y– isk on ie has same non-algo i hmic
sol abili y in gene al case as in compu a ional uni e se: no local algo i hm on QCA exis s
ha can gi e ep esen a i e poin s on on ie o all s a egy amilies.
A Spin Chain Floque –QCA Time C ys al Model
This appendix gi es example o spin chain Floque –QCA ime c ys al model and i s
ealiza ion in compu a ional uni e se.
9
