Convexity and non-Markovianity of Weyl Maps
Pith reviewed 2026-05-25 04:11 UTC · model grok-4.3
The pith
Convex combinations of eternally non-Markovian Weyl dephasing maps can generate Markovian semigroups, and irreducible eternally non-Markovian Weyl maps exist individually.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Weyl dynamical maps are built from subgroups of Z_d × Z_d classified completely by Hermite normal form. Isotropic Weyl maps generate Markovian semigroups under suitable conditions, but anisotropic maps with nonuniform weights never do. Convex combinations of eternally non-Markovian Weyl dephasing maps can produce Markovian semigroups, showing non-Markovianity is not additive. Mixtures of N distinct Weyl semigroups satisfy a general condition for eternal non-Markovianity. Irreducible eternally non-Markovian Weyl dephasing maps exist as individual maps without mixing.
What carries the argument
The Hermite normal form classification of subgroups of Z_d × Z_d that define Weyl maps, together with the isotropic/anisotropic distinction that governs the semigroup property.
If this is right
- Convex combinations can suppress eternal non-Markovianity and yield Markovian dynamics.
- Some single Weyl dephasing maps exhibit eternal non-Markovianity without requiring any mixing.
- Anisotropic maps with nonuniform weights are excluded from semigroup generation.
- A general algebraic condition determines when mixtures of N Weyl semigroups become eternally non-Markovian.
- Qutrit examples show explicit transitions among Markovian, non-Markovian, and eternally non-Markovian regimes.
Where Pith is reading between the lines
- The phase-space subgroup structure may offer a systematic way to engineer desired memory effects by choosing weights and mixing.
- Similar convexity-driven suppression of non-Markovianity could appear in other discrete algebraic representations of quantum channels.
- Higher-dimensional Weyl systems allow memory control that is unavailable in the Pauli qubit setting.
Load-bearing premise
The Hermite normal form gives a complete list of all subgroups of Z_d × Z_d that can underlie Weyl maps, and the isotropic versus anisotropic distinction alone decides whether the associated maps can form semigroups.
What would settle it
An explicit anisotropic Weyl map with nonuniform weights that nevertheless satisfies the semigroup property, or a convex combination of eternally non-Markovian Weyl dephasing maps whose mixture remains eternally non-Markovian.
read the original abstract
We investigate the emergence of non-Markovian dynamics in finite-dimensional open quantum systems governed by Weyl dynamical maps and their convex combinations. Using the Hermite normal form, we provide a complete classification of the subgroups of the discrete phase space $\mathbb{Z}_d \times \mathbb{Z}_d$, establishing the algebraic framework underlying the Weyl maps. We characterize isotropic Weyl dynamical maps that generate Markovian semigroups and show that anisotropic Weyl maps with nonuniform weight distributions cannot possess the semigroup property. Furthermore, we analyze the role of convexity in the generation and suppression of memory effects. Remarkably, we prove that convex combinations of eternally non-Markovian Weyl dephasing maps can generate Markovian semigroups, demonstrating that non-Markovianity is not additive under mixing. Conversely, we establish a general condition under which convex mixtures of $N$ distinct Weyl semigroups exhibit eternal non-Markovianity. In contrast to the qubit Pauli setting, we further identify the existence of irreducible eternally non-Markovian Weyl dephasing maps, namely, individual dynamical maps that display eternal memory effects without requiring any mixing mechanism. Finally, explicit qutrit examples illustrate the transition among Markovian, non-Markovian and eternally non-Markovian regimes. Our results uncover a fundamental connection among finite phase-space algebra, convex structures, and quantum memory effects, thereby extending the theory of non-Markovian dynamics beyond the Pauli framework.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper classifies subgroups of the discrete phase space Z_d × Z_d via the Hermite normal form to underpin Weyl dynamical maps. It characterizes isotropic maps generating Markovian semigroups, proves anisotropic maps with nonuniform weights lack the semigroup property, shows convex combinations of eternally non-Markovian Weyl dephasing maps can yield Markovian semigroups (non-additivity of non-Markovianity), gives a general condition for mixtures of N Weyl semigroups to be eternally non-Markovian, identifies irreducible eternally non-Markovian Weyl dephasing maps (unlike the Pauli case), and illustrates transitions with explicit qutrit examples.
Significance. If the algebraic classification and convexity results hold, the work meaningfully extends non-Markovianity theory beyond the qubit Pauli setting by linking finite phase-space subgroups, weight distributions, and convex mixing to memory effects. The demonstration of non-additivity under mixing and the existence of irreducible eternal non-Markovian maps are notable contributions with potential implications for higher-dimensional open-system dynamics.
major comments (2)
- [Abstract] Abstract and the classification section: the central claims that anisotropic Weyl maps with nonuniform weights cannot possess the semigroup property, that irreducible eternally non-Markovian maps exist, and that convex combinations of eternal NM maps can produce Markovian semigroups all rest on the Hermite normal form supplying an exhaustive list of subgroups of Z_d × Z_d together with the isotropic/anisotropic distinction plus weight uniformity fully determining the semigroup property. The manuscript must explicitly verify that the HNF classification captures every relevant subgroup (including lifts from Z^2 containing dZ^2) and that no counterexample anisotropic nonuniform case satisfies the semigroup condition under the paper's own definition of the dynamical map.
- [Abstract] The proof that convex combinations of eternally non-Markovian maps can generate Markovian semigroups is load-bearing for the non-additivity claim; it should be checked against the same algebraic partition to confirm that the mixing does not inadvertently select only isotropic components or uniform weights.
minor comments (1)
- Notation for the weight distributions and the precise definition of 'eternally non-Markovian' should be introduced with an equation number early in the text for clarity when reading the qutrit examples.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for highlighting points that merit additional clarification. We address each major comment below.
read point-by-point responses
-
Referee: [Abstract] Abstract and the classification section: the central claims that anisotropic Weyl maps with nonuniform weights cannot possess the semigroup property, that irreducible eternally non-Markovian maps exist, and that convex combinations of eternal NM maps can produce Markovian semigroups all rest on the Hermite normal form supplying an exhaustive list of subgroups of Z_d × Z_d together with the isotropic/anisotropic distinction plus weight uniformity fully determining the semigroup property. The manuscript must explicitly verify that the HNF classification captures every relevant subgroup (including lifts from Z^2 containing dZ^2) and that no counterexample anisotropic nonuniform case satisfies the semigroup condition under the paper's own definition of the dynamical map.
Authors: The Hermite normal form furnishes a complete enumeration of all subgroups of Z_d × Z_d, including those obtained as quotients of lattices in Z^2 that contain dZ^2; this is a standard result in the theory of finite abelian groups and lattice subgroups. Our classification section already invokes this exhaustiveness to partition maps into isotropic and anisotropic cases with uniform or nonuniform weights. To make the verification explicit, we will insert a short paragraph (with a reference to the relevant theorem on HNF) confirming that every subgroup is accounted for and that direct inspection of the resulting list yields no counterexample anisotropic nonuniform map satisfying the semigroup property under the definitions given in the paper. revision: yes
-
Referee: [Abstract] The proof that convex combinations of eternally non-Markovian maps can generate Markovian semigroups is load-bearing for the non-additivity claim; it should be checked against the same algebraic partition to confirm that the mixing does not inadvertently select only isotropic components or uniform weights.
Authors: The explicit construction of the convex combination is performed within the same algebraic partition: the mixture produces a Markovian semigroup if and only if the resulting weight distribution and isotropy class satisfy the semigroup criterion derived from the HNF classification. The proof therefore does not inadvertently restrict to isotropic uniform components; rather, the non-additivity arises precisely because certain anisotropic nonuniform mixtures can cancel memory effects while remaining outside the isotropic-uniform class. We will augment the proof paragraph with a one-sentence cross-reference to the partition, making this dependence fully transparent. revision: yes
Circularity Check
No circularity: derivation rests on external algebraic classification
full rationale
The paper derives its claims about Markovian semigroups, eternal non-Markovianity, and convexity effects from the standard Hermite normal form classification of subgroups of Z_d × Z_d together with explicit map constructions and convex-combination arguments. This classification is an independent mathematical fact imported from algebra, not defined or justified inside the paper via self-citation chains, fitted parameters, or ansatzes that presuppose the target results. No equation or theorem reduces by construction to its own inputs, and the central distinctions (isotropic vs. anisotropic, uniform vs. nonuniform weights) are applied to the classified subgroups without circular redefinition.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math The set Z_d × Z_d equipped with componentwise addition forms an abelian group whose subgroups can be completely classified by the Hermite normal form.
- domain assumption Weyl dynamical maps are defined via the action of these subgroups on the finite-dimensional Hilbert space.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Using the Hermite normal form, we provide a complete classification of the subgroups of the discrete phase space Z_d × Z_d... anisotropic Weyl maps with nonuniform weight distributions cannot possess the semigroup property.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
convex combinations of eternally non-Markovian Weyl dephasing maps can generate Markovian semigroups, demonstrating that non-Markovianity is not additive under mixing
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
For an invertible time-local master equation of Eq
CP-divisibility (Markovianity).A dynamical map{E(t)}t≥0is said to beCP-divisibleif, for any t≥s≥0, there exists a CPTP mapE(t,s )such that E(t) =E(t,s)E(s). For an invertible time-local master equation of Eq. (3), CP-divisibility is equivalent to the condition γα(t)≥0∀α,∀t≥0. Dynamical evolution satisfying this condition is termedMarkovianaccording to the...
-
[2]
Markovian semigroup.If the decay rates are time-independent nonnegative constants, i.e., γα(t)≡γα≥0, then the generatorL(t)becomes time-independent and the corresponding dynamical map forms a one- parameter quantum dynamical semigroup, E(t+s) =E(t)E(s), t≥s≥0. This represents the strongest notion of Markovianity and corresponds to strictly memoryless evolution
-
[3]
Non-Markovianity.The dynamics is classified as non-Markovianwhenever CP-divisibility is violated. For time-local master equation, this occurs if there exists at least one decay channelαand a timet> 0 such that γα(t)<0. Negative decay rates indicate that the failure of the generator to be of GKLS form at that time and imply that the intermediate mapE(t,s )...
-
[4]
Eternal non-Markovianity (ENM).Eternal non-Markovianity denotes a particularly strong vio- lation of CP-divisibility. A dynamics is said to be eternally non-Markovian if, for at least one decay channelαsuch that γα(0) = 0, γ α(t)<0∀t>0 +. In this regime, the CP-divisibility is violated imme- diately after the initial time, and the evolution is non-Markovi...
-
[5]
Total count.The total number of subgroups of orderK is given by the sum over the parameters set SK: N(K) = ∑ (m,n)∈SK gcd ( n, d m ) ,(19) where gcd ( n, d m ) is the greatest common divisor of nand d m
-
[6]
Maximality.The function N (K)attains its maxi- mum when K=d. In this specific maximal case, the setSd and the total countN(d)reduces to Sd ={(m,n)∈N2|mn=d}, N(d) =σ1(d) = ∑ m|d d m = s∏ i=1 pei+1 i −1 pi−1, respectively, whereσ1(d)is the divisor sum function. The proof of Lemma 2 is given in Appendix B. III. SEMIGROUP PROPERTY OF ISOTROPIC WEYL DYNAMICAL ...
-
[7]
We 7 substitute the specific amplitude for the semigroup into this inequality: r= |G|−1 |G|≤1 2 =⇒ |G|≤2. However, the convex combination (23) is defined for sub- groups of order|G|≥3, which is a contradiction. Con- sequently, the constituent Weyl dephasing maps in the mixture are not ENM. Thus, the Markovian semigroup is generated by mixing maps that are...
-
[8]
Since the number of mixturesN must be an integer, this inequality enforcesN = 2
Substituting these specific values into our bound(28) yields 2≤N <min {22−1 2−1,N(2) } = 3. Since the number of mixturesN must be an integer, this inequality enforcesN = 2. This recovers the well-known Pauli result: mixing two different Pauli dephasing semi- groups guarantees ENM[31]. However, mixing all three Pauli dephasing semigroups covers the entire ...
-
[9]
previously investigated in example 5 of Ref. [19], demonstrating that the mixture can produce four negative decay rates over a broad range of mixing coefficients. VI. CONCLUSIONS AND DISCUSSIONS In this work, we developed a comprehensive framework for analyzing Weyl dynamical maps and the emergence of non-Markovianity in finite-dimensional open quantum sy...
-
[10]
LetG be an arbitrary subgroup of Zd×Zd
Lattice correspondence:Let π: Z2 →Zd× Zd be a natural homomorphism defined byπ(x,y ) = (xmodd,ymodd ). LetG be an arbitrary subgroup of Zd×Zd. We define the pre-image ofGinZ2 as: L=π−1(G) ={(x,y)∈Z2|(xmodd,ymodd)∈G}. SinceGis a subgroup,Lis a sublattice ofZ2. Furthermore, since the zero element(0, 0)∈G, the kernel ofπ, which is the latticedZ×dZ, must be c...
-
[11]
Hermite normal form (HNF):SinceZ is a prin- cipal ideal domain, any sublatticeLof Z2 possesses a basis of size 2. Let{b1, b2}be a basis forL. We can form a generator matrix with these basis vectors as rows. By applying elementary integer row operations (unimodular transformations), any integer matrix can be reduced to itsHermite normal form[ 30]. For a2×2...
-
[12]
(1) Constraint onn:Thevector(0 ,d )mustbeamultiple of(0,n): (0,d) =k·(0,n) =⇒d=kn
Deriving constraints from modulod:The con- dition( dZ×dZ)⊆Limplies that the vectors(d, 0)and (0,d )must be expressed as integer linear combinations of the basis vectors(m,w)and(0,n). (1) Constraint onn:Thevector(0 ,d )mustbeamultiple of(0,n): (0,d) =k·(0,n) =⇒d=kn. Therefore,n|d. 11 (2) Constraint onm:The vector( d, 0)must be a linear combination of the b...
-
[13]
S. Haroche and J.-M. Raimond,Exploring the Quantum: Atoms, Cavities, and Photons(Oxford University Press, Oxford, 2006), URLhttps://doi.org/10.1093/acprof: oso/9780198509141.001.0001
-
[14]
V. Jagadish and F. Petruccione, Quanta7, 54 (2018), URL http://quanta.ws/ojs/index.php/quanta/ article/view/77
work page 2018
-
[15]
Communications in Mathematical Physics 48(2), 119–130 (1976)
G. Lindblad, Commun. Math. Phys.48, 119 (1976), URL https://doi.org/10.1007/BF01608499
-
[16]
V. Gorini, A. Kossakowski, and E. C. G. Sudarshan, J. Math. Phys.17, 821 (1976), URLhttp://dx.doi.org/ 10.1063/1.522979
- [17]
-
[18]
H.-P. Breuer, E.-M. Laine, J. Piilo, and B. Vacchini, Rev. Mod. Phys.88, 021002 (2016), URLhttps://link.aps. org/doi/10.1103/RevModPhys.88.021002
-
[19]
I. de Vega and D. Alonso, Rev. Mod. Phys.89, 015001 (2017), URL https://link.aps.org/doi/10. 1103/RevModPhys.89.015001
work page 2017
-
[20]
L. Li, M. J. Hall, and H. M. Wiseman, Phys. Rep. 759, 1 (2018), URLhttps://www.sciencedirect.com/ science/article/pii/S0370157318301601
work page 2018
-
[21]
D. Chruściński, Phys. Rep.992, 1 (2022), URLhttps: //doi.org/10.1016/j.physrep.2022.09.003
-
[22]
Á. Rivas, S. F. Huelga, and M. B. Plenio, Phys. Rev. Lett. 105, 050403 (2010), URLhttps://link.aps.org/doi/ 10.1103/PhysRevLett.105.050403
-
[23]
M. J. W. Hall, J. D. Cresser, L. Li, and E. Andersson, Phys. Rev. A89, 042120 (2014), URLhttps://link.aps. org/doi/10.1103/PhysRevA.89.042120
-
[24]
H.-P. Breuer, E.-M. Laine, and J. Piilo, Phys. Rev. Lett. 103, 210401 (2009), URLhttps://link.aps.org/doi/ 10.1103/PhysRevLett.103.210401
-
[25]
M. M. Wolf, J. Eisert, T. S. Cubitt, and J. I. Cirac, Phys. Rev. Lett.101, 150402 (2008), URLhttps://doi.org/ 10.1103/PhysRevLett.101.150402
- [26]
-
[27]
V. Jagadish, R. Srikanth, and F. Petruccione, Phys. Rev. A101, 062304 (2020), URLhttps://link.aps.org/doi/ 10.1103/PhysRevA.101.062304
-
[28]
V. Jagadish, R. Srikanth, and F. Petruc- cione, Phys. Lett. A384, 126907 (2020), URL https://www.sciencedirect.com/science/article/ pii/S037596012030774X
work page 2020
-
[29]
D. Chruściński and F. A. Wudarski, Phys. Rev. A 91, 012104 (2015), URL https://doi.org/10.1103/ PhysRevA.91.012104
work page 2015
-
[30]
F. A. Wudarski and D. Chruściński, Phys. Rev. A 93, 042120 (2016), URL https://doi.org/10.1103/ PhysRevA.93.042120
work page 2016
-
[31]
K. Siudzińska and D. Chruściński, J. Phys. A: Math. Theor.53, 375305 (2020), URL https://doi.org/10. 1088/1751-8121/aba7f2
work page 2020
-
[32]
K. Siudzińska, Phys. Rev. A103, 022605 (2021), URL https://link.aps.org/doi/10.1103/PhysRevA.103. 022605
-
[33]
V. Jagadish, R. Srikanth, and F. Petruccione, Phys. Rev. A105, 032422 (2022), URLhttps://link.aps.org/doi/ 10.1103/PhysRevA.105.032422
-
[34]
V. Jagadish, R. Srikanth, and F. Petruccione, Phys. Rev. A106, 012438 (2022), URLhttps://link.aps.org/doi/ 10.1103/PhysRevA.106.012438
-
[35]
V. Jagadish, R. Srikanth, and F. Petruccione, Phys. Rev. A108, 042202 (2023), URLhttps://link.aps.org/doi/ 10.1103/PhysRevA.108.042202
-
[36]
K. Siudzińska, J. Phys. A Math. Theor. (2022), URL https://iopscience.iop.org/article/10.1088/ 1751-8121/ac65c0/meta
work page 2022
- [37]
-
[38]
V. Gulati, V. Jagadish, R. Srikanth, and K. Dorai, Phys. Rev. A109, 042419 (2024), URL https://link.aps. org/doi/10.1103/PhysRevA.109.042419
-
[39]
H. Weyl, Z. Physik46, 1 (1927), URLhttps://doi.org/ 10.1007/BF02055756
-
[40]
H. Weyl,The Theory of Groups and Quantum Mechanics, Dover Books on Mathematics (Dover Publications, 1950)
work page 1950
-
[41]
J. Schwinger, Proc. Natl. Acad. Sci. U. S. A.46, 570 (1960), URL https://doi.org/10.1073/pnas.46.4.570
-
[42]
Newman,Integral Matrices(Academic Press, New York, 1972)
M. Newman,Integral Matrices(Academic Press, New York, 1972)
work page 1972
-
[43]
V. Jagadish and R. Srikanth, Phys. Rev. A111, 042212 (2025), URL https://doi.org/10.1103/PhysRevA.111. 042212
-
[44]
D. Chruściński and K. Siudzińska, Phys. Rev. A 94, 022118 (2016), URL https://doi.org/10.1103/ PhysRevA.94.022118
work page 2016
-
[45]
W. K. Wootters and B. D. Fields, Ann. Phys. (NY)191, 363 (1989), URL https://doi.org/10.1016/ 0003-4916(89)90322-9
work page 1989
-
[46]
T. Durt, B.-G. Englert, I. Bengtsson, and K. Życzkowski, Int. J. Quantum. Inf.8, 535 (2010), URLhttps://doi. org/10.1142/S0219749910006502
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.