Classification and Exact Local Masking in Finite-Field Clifford Dual-Unitary Circuits
Pith reviewed 2026-07-02 18:26 UTC · model grok-4.3
The pith
Finite-field Clifford dual-unitary circuits achieve exact local masking of short messages from one- or two-qudit subsystems.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Under ordered one-qudit Clifford equivalence the dual-unitary locus contains q-2 perfect-tensor cores, one rank-one core and one SWAP core. The perfect cores are indexed by δ=det B=det C and linked to the ordered cross-ratio λ=δ/(δ-1) of the associated [4,2,3]_q MDS configuration. Homogeneous repetition of these cores produces five transport phases whose algebraic codimensions in Sp(4,q) are 0,1,2,3,4. The one-site Weyl edge channels determine the exact local-masking distances attained by the circuits. Perfect-tensor circuits reach d1(t)=4t and d2(t)=4t-2 while delayed erasers reach d1(t)=4t-2 and d2(t)=4t-4 for t≥2. Consequently sufficiently short quantum messages are completely hidden from
What carries the argument
The one-site Weyl edge channels, which determine the exact local-masking distances for the transport phases of the homogeneous circuits.
If this is right
- Perfect-tensor circuits attain d1(t)=4t and d2(t)=4t-2.
- Delayed erasers attain d1(t)=4t-2 and d2(t)=4t-4 for t≥2.
- Sufficiently short quantum messages are hidden from every one- or two-qudit output subsystem even when entangled with a reference.
- Messages remain exactly recoverable from the full output.
- For q=3 the construction from inverse SUM gates yields residual leakage below 2×10^{-16}.
Where Pith is reading between the lines
- The parametrization by the cross-ratio λ points to a possible geometric foundation for maximal masking in finite-field systems.
- The codimension-based phases may generalize to predict information transport in non-homogeneous or higher-dimensional dual-unitary circuits.
- The classification provides a complete list of inequivalent gates that can be used to construct circuits with controlled local accessibility.
Load-bearing premise
The one-site Weyl edge channels determine the exact local-masking distances for the different transport phases separated by homogeneous repetition of the classified cores.
What would settle it
An exhaustive search of Weyl supports for t=4 in a perfect-tensor circuit that finds d1(t) different from 4t would falsify the distance formula.
read the original abstract
We classify two-qudit finite-field Clifford dual-unitary gates and apply the classification to exact local masking and operator transport in homogeneous brickwork circuits. Under ordered one-qudit Clifford equivalence, the dual-unitary locus contains $q-2$ perfect-tensor cores, one rank-one core, and one SWAP core. The perfect cores are indexed by \[ \delta=\det B=\det C, \] and are related to the ordered cross-ratio $\lambda$ of the associated $[4,2,3]_q$ MDS configuration through \[ \lambda=\frac{\delta}{\delta-1}. \] Homogeneous repetition separates these cores into five transport phases whose algebraic codimensions in $\operatorname{Sp}(4,q)$ are $0,1,2,3,4$. The one-site Weyl edge channels determine exact local-masking distances. Perfect-tensor circuits attain \[ d_1(t)=4t, \qquad d_2(t)=4t-2, \] whereas delayed erasers satisfy \[ d_1(t)=4t-2, \qquad d_2(t)=4t-4 \] for $t\geq 2$. Consequently, sufficiently short quantum messages are completely hidden from every one- or two-qudit output subsystem, even when the input is entangled with a reference, while remaining exactly recoverable from the full output. For $q=3$, we construct an explicit perfect-tensor Clifford gate from two inverse SUM gates. Exhaustive Weyl-support searches for $t=1,2,3$ reproduce the predicted masking distances, and a one-period Choi-channel calculation for a four-qutrit periodic circuit gives numerical residual leakage below $2\times 10^{-16}$. Under the coherent perturbation considered here, local leakage is linear in the perturbation strength, whereas the infidelity of recovery using the ideal inverse is quadratic near the perfect point.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper classifies two-qudit finite-field Clifford dual-unitary gates under ordered one-qudit Clifford equivalence into q-2 perfect-tensor cores indexed by δ=det B=det C (related to the ordered cross-ratio λ=δ/(δ-1)), one rank-one core, and one SWAP core. Homogeneous repetition of these cores separates them into five transport phases with algebraic codimensions 0–4 in Sp(4,q). The one-site Weyl edge channels are asserted to fix exact local-masking distances, yielding d1(t)=4t and d2(t)=4t-2 for perfect-tensor circuits versus d1(t)=4t-2 and d2(t)=4t-4 (t≥2) for delayed erasers. An explicit q=3 construction from inverse SUM gates is supplied, together with exhaustive Weyl-support searches for t=1,2,3 and a Choi-channel numerical check showing residual leakage below 2×10^{-16}.
Significance. If the classification and the edge-channel determination of the masking distances hold in general, the work supplies a precise algebraic framework for operator transport and exact local masking in finite-field Clifford dual-unitary circuits. Notable strengths include the explicit gate construction for q=3, the exhaustive small-t Weyl-support searches that reproduce the predicted distances, and the high-precision Choi-channel verification (residual <2×10^{-16}) that directly corroborates the claims for the tested cases. These elements provide concrete, reproducible support for the central assertions about perfect hiding of short messages from one- or two-qudit subsystems.
minor comments (2)
- [Abstract] The abstract states that the one-site Weyl edge channels determine the exact distances but does not indicate the section or equation where the general derivation from the classified cores to d1(t), d2(t) is carried out; adding an explicit pointer would improve traceability.
- The final sentence refers to 'the coherent perturbation considered here' and the linear/quadratic scaling of leakage and infidelity; a short definition or reference to the specific perturbation model in the main text would clarify the scope of this observation.
Simulated Author's Rebuttal
We thank the referee for the careful reading, positive assessment of the classification and masking-distance results, and the recommendation of minor revision. No major comments appear in the report.
Circularity Check
No significant circularity
full rationale
The paper's central results follow from an algebraic classification of two-qudit Clifford dual-unitary gates over finite fields, explicit indexing of perfect-tensor cores by determinant δ and cross-ratio λ, separation into transport phases by codimension in Sp(4,q), and direct computation of local-masking distances d1(t), d2(t) from one-site Weyl edge channels. These steps are self-contained: the distances are derived from the classified cores rather than fitted to data or defined in terms of themselves. Explicit q=3 constructions, exhaustive Weyl-support enumeration for t=1,2,3, and Choi-channel numerics (residual <2e-16) provide independent verification without reducing to self-citation chains or ansatzes smuggled from prior work. No load-bearing step equates a claimed prediction to its own input by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Finite fields admit a well-defined symplectic group Sp(4,q) and Weyl operators for classifying Clifford gates.
Reference graph
Works this paper leans on
-
[1]
Exact correlation functions for dual-unitary lattice models in 1 + 1 dimensions.Phys
Bruno Bertini, Pavel Kos, and Tomaˇ z Prosen. Exact correlation functions for dual-unitary lattice models in 1 + 1 dimensions.Phys. Rev. Lett., 123:210601, Nov 2019. doi: 10.1103/PhysRevLett.123.210601. URLhttps://link.aps.org/doi/10.1103/PhysRevLett.123.210601
-
[2]
Pieter W. Claeys and Austen Lamacraft. Maximum velocity quantum circuits.Phys. Rev. Res., 2: 033032, Jul 2020. doi: 10.1103/PhysRevResearch.2.033032. URL https://link.aps.org/doi/10. 1103/PhysRevResearch.2.033032
-
[3]
Correlations in perturbed dual-unitary circuits: Efficient path-integral formula.Phys
Pavel Kos, Bruno Bertini, and Tomaˇ z Prosen. Correlations in perturbed dual-unitary circuits: Efficient path-integral formula.Phys. Rev. X, 11:011022, Feb 2021. doi: 10.1103/PhysRevX.11.011022. URL https://link.aps.org/doi/10.1103/PhysRevX.11.011022
-
[4]
Hierarchical generalization of dual unitarity.Quantum, 8: 1260, February 2024
Xie-Hang Yu, Zhiyuan Wang, and Pavel Kos. Hierarchical generalization of dual unitarity.Quantum, 8: 1260, February 2024. ISSN 2521-327X. doi: 10.22331/q-2024-02-20-1260. URL https://doi.org/10. 22331/q-2024-02-20-1260
-
[5]
Erik Hostens, Jeroen Dehaene, and Bart De Moor. Stabilizer states and clifford operations for systems of arbitrary dimensions and modular arithmetic.Phys. Rev. A, 71:042315, Apr 2005. doi: 10.1103/ PhysRevA.71.042315. URLhttps://link.aps.org/doi/10.1103/PhysRevA.71.042315
-
[6]
A. Ketkar, A. Klappenecker, S. Kumar, and P.K. Sarvepalli. Nonbinary stabilizer codes over finite fields. IEEE Transactions on Information Theory, 52(11):4892–4914, 2006. doi: 10.1109/TIT.2006.883612
-
[7]
Adam Wills. A review of galois qudits, 2026. URLhttps://arxiv.org/abs/2605.18981
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[8]
Schlingemann, Holger Vogts, and Reinhard F
Dirk-M. Schlingemann, Holger Vogts, and Reinhard F. Werner. On the structure of clifford quantum cellular automata.Journal of Mathematical Physics, 49(11):112104, 11 2008. ISSN 0022-2488. doi: 10.1063/1.3005565. URLhttps://doi.org/10.1063/1.3005565
-
[9]
Grace M. Sommers, David A. Huse, and Michael J. Gullans. Crystalline quantum circuits.PRX Quantum, 4:030313, Jul 2023. doi: 10.1103/PRXQuantum.4.030313. URL https://link.aps.org/doi/ 10.1103/PRXQuantum.4.030313
-
[10]
Jiangtian Yao and Pieter W. Claeys. Temporal entanglement barriers in dual-unitary clifford circuits with measurements.Phys. Rev. Res., 6:043077, Oct 2024. doi: 10.1103/PhysRevResearch.6.043077. URL https://link.aps.org/doi/10.1103/PhysRevResearch.6.043077
-
[11]
Claeys, and Jiangtian Yao
Mircea Bejan, Pieter W. Claeys, and Jiangtian Yao. Magic spreading under unitary clifford dynamics,
- [12]
-
[13]
Fundamental charges for dual-unitary circuits
Tom Holden-Dye, Lluis Masanes, and Arijeet Pal. Fundamental charges for dual-unitary circuits. Quantum, 9:1615, January 2025. ISSN 2521-327X. doi: 10.22331/q-2025-01-30-1615. URL https: //doi.org/10.22331/q-2025-01-30-1615. 36
-
[14]
D.P. DiVincenzo, D.W. Leung, and B.M. Terhal. Quantum data hiding.IEEE Transactions on Information Theory, 48(3):580–598, 2002. doi: 10.1109/18.985948
-
[15]
Latorre, Arnau Riera, and Karol ˙Zyczkowski
Dardo Goyeneche, Daniel Alsina, Jos´ e I. Latorre, Arnau Riera, and Karol ˙Zyczkowski. Absolutely maximally entangled states, combinatorial designs, and multiunitary matrices.Phys. Rev. A, 92:032316, Sep 2015. doi: 10.1103/PhysRevA.92.032316. URL https://link.aps.org/doi/10.1103/PhysRevA. 92.032316
-
[16]
Aravinda, and Arul Lakshminarayan
Suhail Ahmad Rather, S. Aravinda, and Arul Lakshminarayan. Creating ensembles of dual unitary and maximally entangling quantum evolutions.Phys. Rev. Lett., 125:070501, Aug 2020. doi: 10.1103/ PhysRevLett.125.070501. URLhttps://link.aps.org/doi/10.1103/PhysRevLett.125.070501
-
[17]
Aravinda, and Arul Lakshminarayan
Suhail Ahmad Rather, S. Aravinda, and Arul Lakshminarayan. Construction and local equivalence of dual-unitary operators: From dynamical maps to quantum combinatorial designs.PRX Quantum, 3: 040331, Dec 2022. doi: 10.1103/PRXQuantum.3.040331. URLhttps://link.aps.org/doi/10.1103/ PRXQuantum.3.040331
-
[18]
J W P Hirschfeld.Projective Geometries over Finite Fields. Oxford University Press, 01 1998. ISBN 9780198502951. doi: 10.1093/oso/9780198502951.001.0001. URL https://doi.org/10.1093/oso/ 9780198502951.001.0001
-
[19]
Grzegorz Rajchel-Mieldzio´ c, Rafa l Bistro´ n, Albert Rico, Arul Lakshminarayan, and Karol˙Zyczkowski. Absolutely maximally entangled pure states of multipartite quantum systems.Reports on Progress in Physics, 89(5):057601, may 2026. doi: 10.1088/1361-6633/ae672a. URL https://doi.org/10.1088/ 1361-6633/ae672a
-
[20]
Zahra Raissi, Christian Gogolin, Arnau Riera, and Antonio Ac´ ın. Optimal quantum error correcting codes from absolutely maximally entangled states.Journal of Physics A: Mathematical and Theoretical, 51(7):075301, jan 2018. doi: 10.1088/1751-8121/aaa151. URL https://doi.org/10.1088/1751-8121/ aaa151
-
[21]
Absolute maximal entanglement and quantum secret sharing.Phys
Wolfram Helwig, Wei Cui, Jos´ e Ignacio Latorre, Arnau Riera, and Hoi-Kwong Lo. Absolute maximal entanglement and quantum secret sharing.Phys. Rev. A, 86:052335, Nov 2012. doi: 10.1103/PhysRevA. 86.052335. URLhttps://link.aps.org/doi/10.1103/PhysRevA.86.052335
-
[22]
A. J. Scott. Multipartite entanglement, quantum-error-correcting codes, and entangling power of quantum evolutions.Phys. Rev. A, 69:052330, May 2004. doi: 10.1103/PhysRevA.69.052330. URL https://link.aps.org/doi/10.1103/PhysRevA.69.052330
-
[23]
Masking quantum information is impossible.Phys
Kavan Modi, Arun Kumar Pati, Aditi Sen(De), and Ujjwal Sen. Masking quantum information is impossible.Phys. Rev. Lett., 120:230501, Jun 2018. doi: 10.1103/PhysRevLett.120.230501. URL https://link.aps.org/doi/10.1103/PhysRevLett.120.230501
-
[24]
Masking quantum information in multipartite scenario.Phys
Mao-Sheng Li and Yan-Ling Wang. Masking quantum information in multipartite scenario.Phys. Rev. A, 98:062306, Dec 2018. doi: 10.1103/PhysRevA.98.062306. URL https://link.aps.org/doi/10.1103/ PhysRevA.98.062306
-
[25]
k-uniform quantum information masking.Phys
Fei Shi, Mao-Sheng Li, Lin Chen, and Xiande Zhang. k-uniform quantum information masking.Phys. Rev. A, 104:032601, Sep 2021. doi: 10.1103/PhysRevA.104.032601. URL https://link.aps.org/doi/ 10.1103/PhysRevA.104.032601
-
[26]
A. Higuchi and A. Sudbery. How entangled can two couples get?Physics Letters A, 273(4):213– 217, 2000. ISSN 0375-9601. doi: https://doi.org/10.1016/S0375-9601(00)00480-1. URL https://www. sciencedirect.com/science/article/pii/S0375960100004801
-
[27]
On two maximally entangled couples.Quantum Science and Technology, 11(1):015025, dec 2025
Felix Huber and Jens Siewert. On two maximally entangled couples.Quantum Science and Technology, 11(1):015025, dec 2025. doi: 10.1088/2058-9565/ae23f4. URL https://doi.org/10.1088/2058-9565/ ae23f4. 37
-
[28]
Multiqubit clifford groups are unitary 3-designs.Phys
Huangjun Zhu. Multiqubit clifford groups are unitary 3-designs.Phys. Rev. A, 96:062336, Dec 2017. doi: 10.1103/PhysRevA.96.062336. URL https://link.aps.org/doi/10.1103/PhysRevA.96.062336
-
[29]
Heldermann Berlin, 1992
Donald E Taylor.The geometry of the classical groups, volume 9. Heldermann Berlin, 1992
1992
-
[30]
Fernando Pastawski, Beni Yoshida, Daniel Harlow, and John Preskill. Holographic quantum error- correcting codes: Toy models for the bulk/boundary correspondence.Journal of High Energy Physics, 2015(6):1–55, 2015. doi: https://doi.org/10.1007/JHEP06(2015)149
-
[31]
Entanglement in the stabilizer formalism
David Fattal, Toby S. Cubitt, Yoshihisa Yamamoto, Sergey Bravyi, and Isaac L. Chuang. Entanglement in the stabilizer formalism, 2004. URLhttps://arxiv.org/abs/quant-ph/0406168
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[32]
Cambridge university press, 2018
John Watrous.The theory of quantum information. Cambridge university press, 2018
2018
-
[33]
Springer Science & Business Media, 2012
James E Humphreys.Linear algebraic groups. Springer Science & Business Media, 2012
2012
-
[34]
Springer-Verlag, Berlin, 1988
Winfried Bruns and Udo Vetter.Determinantal Rings, volume 1327 ofLecture Notes in Mathematics. Springer-Verlag, Berlin, 1988. ISBN 3-540-19468-1
1988
-
[35]
How to share a quantum secret.Phys
Richard Cleve, Daniel Gottesman, and Hoi-Kwong Lo. How to share a quantum secret.Phys. Rev. Lett., 83:648–651, Jul 1999. doi: 10.1103/PhysRevLett.83.648. URL https://link.aps.org/doi/10.1103/ PhysRevLett.83.648
-
[36]
Description of a quantum convolutional code.Phys
Harold Ollivier and Jean-Pierre Tillich. Description of a quantum convolutional code.Phys. Rev. Lett., 91:177902, Oct 2003. doi: 10.1103/PhysRevLett.91.177902. URL https://link.aps.org/doi/ 10.1103/PhysRevLett.91.177902
-
[37]
Stabilizer formalism for operator quantum error correction.Phys
David Poulin. Stabilizer formalism for operator quantum error correction.Phys. Rev. Lett., 95:230504, Dec
-
[38]
URL https://link.aps.org/doi/10.1103/PhysRevLett
doi: 10.1103/PhysRevLett.95.230504. URL https://link.aps.org/doi/10.1103/PhysRevLett. 95.230504
-
[39]
H. Gluesing-Luerssen, J. Rosenthal, and R. Smarandache. Strongly-mds convolutional codes.IEEE Transactions on Information Theory, 52(2):584–598, 2006. doi: 10.1109/TIT.2005.862100
-
[40]
Construction and performance of quantum burst error correction codes for correlated errors
Jihao Fan, Min–Hsiu Hsieh, Hanwu Chen, He Chen, and Yonghui Li. Construction and performance of quantum burst error correction codes for correlated errors. In2018 IEEE International Symposium on Information Theory (ISIT), pages 2336–2340, 2018. doi: 10.1109/ISIT.2018.8437493
-
[41]
A simple formula for the average gate fidelity of a quantum dynamical operation
Michael A Nielsen. A simple formula for the average gate fidelity of a quantum dynamical operation. Physics Letters A, 303(4):249–252, 2002. ISSN 0375-9601. doi: https://doi.org/10.1016/S0375-9601(02) 01272-0. URLhttps://www.sciencedirect.com/science/article/pii/S0375960102012720
-
[42]
Wassily Hoeffding. Probability inequalities for sums of bounded random variables.Journal of the American Statistical Association, 58(301):13–30, 1963. doi: 10.1080/01621459.1963.10500830. URL https://doi.org/10.1080/01621459.1963.10500830. 38
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.