pith. sign in

arxiv: 2606.24659 · v1 · pith:AQGT6PZOnew · submitted 2026-06-23 · 🪐 quant-ph

Preparing multi-qudit states in a definite-weight subspace

Pith reviewed 2026-06-25 23:33 UTC · model grok-4.3

classification 🪐 quant-ph
keywords multi-qudit state preparationdefinite-weight subspaceGray codemultiset permutationsBethe ansatz statesDicke statesSU(3) Heisenberg modelquantum algorithms
0
0 comments X

The pith

A deterministic algorithm prepares arbitrary multi-qudit states in a definite-weight subspace by ordering basis states according to a Gray code for multiset permutations.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops a method to create any chosen quantum state of multiple qudits that lies inside a fixed-weight subspace, where the total number of excitations is held constant. It achieves this by sorting the relevant computational basis states into an order given by a Gray code specialized to multiset permutations. The ordering converts the full preparation into a chain of simpler controlled rotations acting on only two qudits at a time. The same procedure is then used to construct exact eigenstates of the SU(3) Heisenberg spin chain, including its nested Bethe-ansatz solutions and the associated lower-weight descendants, as well as generalized Dicke states.

Core claim

By ordering the computational basis states according to a Gray code for multiset permutations, the state-preparation task is reduced to performing a sequence of controlled 2-qudit Gray rotations. This yields a deterministic algorithm for arbitrary multi-qudit states in a definite-weight subspace, which is used to prepare Bethe states of the SU(3)-invariant Heisenberg Hamiltonian and SU(d) Dicke states.

What carries the argument

Gray code for multiset permutations that orders the basis states so successive states differ by a single controlled 2-qudit Gray rotation.

If this is right

  • Exact, deterministic preparation of nested Bethe-ansatz eigenstates for the SU(3) Heisenberg model becomes possible on qudit hardware.
  • SU(d) Dicke states and their q-deformations can be prepared exactly inside the fixed-weight subspace.
  • Any state in a definite-weight subspace reduces to a deterministic sequence of pairwise controlled rotations.
  • The method supplies a concrete gate decomposition for preparing symmetric multi-qudit states without measurement or post-selection.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Hardware that supports efficient controlled 2-qudit rotations could run these preparations with linear depth in the number of basis states.
  • The Gray-code ordering may extend to other symmetric subspaces, such as fixed total angular momentum, by constructing analogous permutation Gray codes.
  • The construction supplies a systematic route to prepare initial states for quantum simulations of integrable spin chains with higher symmetry.
  • If the rotations are native, the algorithm avoids the exponential overhead typical of unstructured state preparation in large Hilbert spaces.

Load-bearing premise

The controlled 2-qudit Gray rotations can be implemented as native or efficiently decomposable gates without extra overhead that would break the deterministic character of the procedure.

What would settle it

Implement the algorithm for a small number of qudits, apply the sequence of controlled rotations, and measure whether the resulting state matches the target definite-weight state to machine precision or whether the total gate count exceeds the length of the Gray-code sequence.

Figures

Figures reproduced from arXiv: 2606.24659 by Nabi Zare Harofteh, Rafael I. Nepomechie.

Figure 1
Figure 1. Figure 1: Circuit diagram for the Gray gate G wi,wj i,j (θ, ϕ) (3.7). In its symbolic form shown on the right, it is understood that the w-values in the lower and upper boxes correspond to qudits i and j, respectively, as i > j. The horizontal wires represent the two d-level qudits. A circle µ denotes a control on the value µ. The 1-qudit shift gate X and its powers are defined as (see e.g. [47]) X∣µ⟩ = ∣µ + 1⟩, X p… view at source ↗
Figure 2
Figure 2. Figure 2: The quantum circuit (3.17) for preparing a state with [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Tree for lexicographic ordering of multiset permutations for [PITH_FULL_IMAGE:figures/full_fig_p012_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Tree for multiset permutations with the Gray property for [PITH_FULL_IMAGE:figures/full_fig_p012_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Venn diagram representing subsets of {1, . . . , n} entering into the derivation of (B.14). The shadings indicate the states (0, 1 or 2) corresponding to these subsets. Not shown: X2 = Y2 ∪ Z ∪ Z2 and X = Y ∪ Z1 ∪ Z. Recalling (B.9), we obtain (E 21) a (E 20) b (E 10) c ∣Bm1,m2 ⟩ = ∑ Y ⊂{1,...,n} ∣Y ∣=m1 ∑ Y2⊂Y ∣Y2∣=m2 f(Y2 ⊂ Y ) (E 21) a (E 20) b (E 10) c ∣Y2 ⊂ Y ⟩ ∝ ∑ Y ⊂{1,...,n} ∣Y ∣=m1 ∑ Y2⊂Y ∣Y2∣=m2 … view at source ↗
read the original abstract

We formulate a deterministic algorithm for preparing arbitrary multi-qudit states in a definite-weight subspace. By ordering the corresponding computational basis states according to a Gray code for multiset permutations, the state-preparation task is reduced to performing a sequence of controlled 2-qudit Gray rotations. We use this algorithm to prepare exact eigenstates of the SU(3)-invariant Heisenberg Hamiltonian, whose Bethe ansatz is nested. In particular, we describe the preparation of the Bethe states, which are SU(3) highest-weight states, as well as their lower-weight descendants. We also consider the preparation of $SU(d)$ Dicke states and their q-deformations.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript formulates a deterministic algorithm for preparing arbitrary multi-qudit states in a definite-weight subspace. By ordering the corresponding computational basis states according to a Gray code for multiset permutations, the state-preparation task is reduced to performing a sequence of controlled 2-qudit Gray rotations. The algorithm is applied to prepare exact eigenstates of the SU(3)-invariant Heisenberg Hamiltonian (Bethe states as SU(3) highest-weight states and their lower-weight descendants) as well as SU(d) Dicke states and their q-deformations.

Significance. If the central reduction holds, the work supplies a constructive, deterministic procedure for preparing states in definite-weight subspaces of qudit systems. This is relevant for quantum simulation of higher-spin or SU(d)-symmetric models. The combinatorial Gray-code ordering provides a systematic, non-variational route to state preparation and is explicitly credited as the key technical step. The applications to nested Bethe ansatz states and q-deformed Dicke states illustrate concrete utility for integrable models.

minor comments (2)
  1. [Algorithm description section] The manuscript would benefit from an explicit small-scale example (e.g., two qutrits, weight 1) showing the multiset-permutation Gray code ordering, the resulting sequence of controlled rotations, and the final circuit depth.
  2. [Notation and definitions] Notation for the controlled 2-qudit Gray rotation operator should be defined once with an explicit matrix or action on basis states to avoid ambiguity when the control is in a superposition.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of its contributions, and recommendation for minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper formulates a deterministic algorithm that orders definite-weight computational basis states according to a Gray code for multiset permutations and reduces preparation to a sequence of controlled 2-qudit Gray rotations. This is presented as a direct constructive procedure grounded in standard combinatorial ordering, with no fitted parameters renamed as predictions, no self-definitional steps, and no load-bearing self-citations that reduce the central claim to its own inputs. The extensions to Bethe states, SU(d) Dicke states, and q-deformations follow identically from the same ordering without introducing circular reductions or uniqueness theorems imported from prior work by the authors.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The paper introduces an algorithmic construction relying on standard quantum-gate primitives and combinatorial ordering; no free parameters, domain axioms beyond standard quantum mechanics, or invented entities are indicated in the abstract.

pith-pipeline@v0.9.1-grok · 5636 in / 1064 out tokens · 16323 ms · 2026-06-25T23:33:22.924821+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

57 extracted references · 1 canonical work pages

  1. [1]

    M. A. Nielsen and I. L. Chuang,Quantum computation and quantum information. Cambridge University Press, 2019

  2. [2]

    On the theory of metals. 1. Eigenvalues and eigenfunctions for the linear atomic chain,

    H. Bethe, “On the theory of metals. 1. Eigenvalues and eigenfunctions for the linear atomic chain,”Z. Phys.71(1931) 205–226

  3. [3]

    Linear Antiferromagnetic Chain with Anisotropic Coupling,

    R. Orbach, “Linear Antiferromagnetic Chain with Anisotropic Coupling,”Phys. Rev.112(1958) 309–316

  4. [4]

    How algebraic Bethe ansatz works for integrable models,

    L. D. Faddeev, “How algebraic Bethe ansatz works for integrable models,” inSym´ etries Quantiques (Les Houches Summer School Proceedings vol 64), A. Connes, K. Gawedzki, and J. Zinn-Justin, eds., pp. 149–219. North Holland, 1998.arXiv:hep-th/9605187 [hep-th]

  5. [5]

    Preparing Bethe Ansatz Eigenstates on a Quantum Computer,

    J. S. Van Dyke, G. S. Barron, N. J. Mayhall, E. Barnes, and S. E. Economou, “Preparing Bethe Ansatz Eigenstates on a Quantum Computer,”PRX Quantum2(2021) 040329,arXiv:2103.13388 [quant-ph]

  6. [6]

    Preparing exact eigenstates of the open XXZ chain on a quantum computer,

    J. S. Van Dyke, E. Barnes, S. E. Economou, and R. I. Nepomechie, “Preparing exact eigenstates of the open XXZ chain on a quantum computer,”J. Phys. A55no. 5, (2022) 055301,arXiv:2109.05607 [quant-ph]

  7. [7]

    Bethe states on a quantum computer: success probability and correlation functions,

    W. Li, M. Okyay, and R. I. Nepomechie, “Bethe states on a quantum computer: success probability and correlation functions,”J. Phys. A55no. 35, (2022) 355305,arXiv:2201.03021 [quant-ph]

  8. [8]

    Algebraic Bethe Circuits,

    A. Sopena, M. H. Gordon, D. Garc´ ıa-Mart´ ın, G. Sierra, and E. L´ opez, “Algebraic Bethe Circuits,” Quantum6(2022) 796,arXiv:2202.04673 [quant-ph]

  9. [9]

    The Bethe Ansatz as a Quantum Circuit,

    R. Ruiz, A. Sopena, M. H. Gordon, G. Sierra, and E. L´ opez, “The Bethe Ansatz as a Quantum Circuit,”Quantum8(2024) 1356,arXiv:2309.14430 [quant-ph]

  10. [10]

    Deterministic Bethe state preparation,

    D. Raveh and R. I. Nepomechie, “Deterministic Bethe state preparation,”Quantum8(2024) 1510, arXiv:2403.03283 [quant-ph]. 15

  11. [11]

    Bethe Ansatz, quantum circuits, and the F-basis,

    R. Ruiz, A. Sopena, E. L´ opez, G. Sierra, and B. Pozsgay, “Bethe Ansatz, quantum circuits, and the F-basis,”SciPost Phys.18no. 6, (2025) 187,arXiv:2411.02519 [quant-ph]

  12. [12]

    Fractal decompositions and tensor network representations of Bethe wavefunctions,

    S. Sahu and G. Vidal, “Fractal decompositions and tensor network representations of Bethe wavefunctions,”SciPost Phys. Core8(2025) 067,arXiv:2412.00923 [quant-ph]

  13. [13]

    Reducing circuit depth in quantum state preparation for quantum simulation using measurements and feedforward,

    H. Yeo, H. E. Kim, I. Sohn, and K. Jeong, “Reducing circuit depth in quantum state preparation for quantum simulation using measurements and feedforward,”Phys. Rev. Applied23no. 5, (2025) 054066,arXiv:2501.02929 [quant-ph]

  14. [14]

    Quantum encoder for fixed-Hamming-weight subspaces,

    R. M. S. Farias, T. O. Maciel, G. Camilo, R. Lin, S. Ramos-Calderer, and L. Aolita, “Quantum encoder for fixed-Hamming-weight subspaces,”Phys. Rev. Applied23no. 4, (2025) 044014, arXiv:2405.20408 [quant-ph]

  15. [15]

    Toward optimal circuit size for sparse quantum state preparation,

    R. Mao, G. Tian, and X. Sun, “Toward optimal circuit size for sparse quantum state preparation,” Phys. Rev. A110no. 3, (2024) 032439,arXiv:2404.05147 [quant-ph]

  16. [16]

    Preparation of Hamming-Weight-Preserving Quantum States with Log-Depth Quantum Circuits,

    Y. Li, G. Tian, X. He, and X. Sun, “Preparation of Hamming-Weight-Preserving Quantum States with Log-Depth Quantum Circuits,”arXiv:2508.14470 [quant-ph]

  17. [17]

    Optimal Circuit Size for Fixed-Hamming-Weight Quantum States Preparation,

    J. Luo and L. Li, “Optimal Circuit Size for Fixed-Hamming-Weight Quantum States Preparation,” arXiv:2508.17197 [quant-ph]

  18. [18]

    Even,Algorithmic Combinatorics

    S. Even,Algorithmic Combinatorics. Macmillan, 1973

  19. [19]

    H. S. Wilf,Combinatorial algorithms:an update. SIAM, 1989

  20. [20]

    A survey of combinatorial Gray codes,

    C. Savage, “A survey of combinatorial Gray codes,”SIAM Rev.39(1997) 605–629

  21. [21]

    Combinatorial Gray codes—an updated survey,

    T. M¨ utze, “Combinatorial Gray codes—an updated survey,”Elect. J. Combinatorics(2012) DS26–Sep,arXiv:2202.01280 [math.CO]

  22. [22]

    Model factorized S matrix and an integrable Heisenberg chain with spin 1,

    A. B. Zamolodchikov and V. A. Fateev, “Model factorized S matrix and an integrable Heisenberg chain with spin 1,”Sov. J. Nucl. Phys.32(1980) 298–303

  23. [23]

    Yang-Baxter Equation and Representation Theory. 1.,

    P. P. Kulish, N. Yu. Reshetikhin, and E. K. Sklyanin, “Yang-Baxter Equation and Representation Theory. 1.,”Lett. Math. Phys.5(1981) 393–403

  24. [24]

    Quantum spectral transform method. Recent developments,

    P. P. Kulish and E. K. Sklyanin, “Quantum spectral transform method. Recent developments,”Lect. Notes Phys.151(1982) 61–119

  25. [25]

    Exact solution of the isotropic Heisenberg chain with arbitary spins: thermodynamics of the model,

    H. M. Babujian, “Exact solution of the isotropic Heisenberg chain with arbitary spins: thermodynamics of the model,”Nucl. Phys. B215(1983) 317–336

  26. [26]

    Bethe ans¨ atze for 19-vertex models,

    A. Lima-Santos, “Bethe ans¨ atze for 19-vertex models,”J. Phy. A32no. 10, (1999) 1819–1839, arXiv:hep-th/9807219 [hep-th]

  27. [27]

    Coordinate Bethe Ansatz for Spin s XXX Model,

    N. Cramp´ e, E. Ragoucy, and L. Alonzi, “Coordinate Bethe Ansatz for Spin s XXX Model,”SIGMA7 (2011) 006,arXiv:1009.0408 [math-ph]

  28. [28]

    Spin-s U(1)-eigenstate preparation,

    N. Z. Harofteh and R. I. Nepomechie, “Spin-s U(1)-eigenstate preparation,”Annalen der Physik (2026), in press,arXiv:2601.14513 [quant-ph]

  29. [29]

    Loop-free sequencing of bounded integer compositions,

    T. R. Walsh, “Loop-free sequencing of bounded integer compositions,”J. Comb. Math. Comb. Comp. 33(2000) 323–345

  30. [30]

    Some exact results for the many body problems in one dimension with repulsive delta function interaction,

    C.-N. Yang, “Some exact results for the many body problems in one dimension with repulsive delta function interaction,”Phys. Rev. Lett.19(1967) 1312–1314

  31. [31]

    Factorized s Matrices in Two-Dimensions as the Exact Solutions of Certain Relativistic Quantum Field Models,

    A. B. Zamolodchikov and A. B. Zamolodchikov, “Factorized s Matrices in Two-Dimensions as the Exact Solutions of Certain Relativistic Quantum Field Models,”Annals Phys.120(1979) 253–291. 16

  32. [32]

    Quantum R matrix for the generalized Toda system,

    M. Jimbo, “Quantum R matrix for the generalized Toda system,”Commun. Math. Phys.102(1986) 537–547

  33. [33]

    Integrable quantum systems and classical Lie algebras,

    V. V. Bazhanov, “Integrable quantum systems and classical Lie algebras,”Commun. Math. Phys.113 (1987) 471–503

  34. [34]

    A General Model for Multicomponent Quantum Systems,

    B. Sutherland, “A General Model for Multicomponent Quantum Systems,”Phys. Rev. B12(1975) 3795–3805

  35. [35]

    Gaudin,La fonction d’onde de Bethe

    M. Gaudin,La fonction d’onde de Bethe. Masson, 1983. English translation by J.-S. Caux,The Bethe wavefunction, CUP, 2014

  36. [36]

    Generating permutations of a bag by interchanges,

    C. W. Ko and F. Ruskey, “Generating permutations of a bag by interchanges,”Inf. Proc. Lett.41 (1992) 263–269

  37. [37]

    Geometric measure of entanglement and applications to bipartite and multipartite quantum states,

    T.-C. Wei and P. M. Goldbart, “Geometric measure of entanglement and applications to bipartite and multipartite quantum states,”Phys. Rev. A68no. 4, (2003) 042307,arXiv:quant-ph/0307219 [quant-ph]

  38. [38]

    Entangling power of permutation-invariant quantum states,

    V. Popkov, M. Salerno, and G. Sch¨ utz, “Entangling power of permutation-invariant quantum states,” Phys. Rev. A72no. 3, (2005) 032327,arXiv:quant-ph/0506209 [quant-ph]

  39. [39]

    Entanglement of multiparty-stabilizer, symmetric, and antisymmetric states,

    M. Hayashi, D. Markham, M. Murao, M. Owari, and S. Virmani, “Entanglement of multiparty-stabilizer, symmetric, and antisymmetric states,”Phys. Rev. A77no. 1, (2008) 012104, arXiv:0710.1056 [quant-ph]

  40. [40]

    Relative entropy of entanglement for certain multipartite mixed states,

    T.-C. Wei, “Relative entropy of entanglement for certain multipartite mixed states,”Phys. Rev. A78 (2008) 012327,arXiv:0805.1090 [quant-ph]

  41. [41]

    Additivity and non-additivity of multipartite entanglement measures,

    H. Zhu, L. Chen, and M. Hayashi, “Additivity and non-additivity of multipartite entanglement measures,”New J. Phys.12no. 8, (Aug., 2010) 083002,arXiv:1002.2511 [quant-ph]

  42. [42]

    Generalized isotropic Lipkin–Meshkov–Glick models: ground state entanglement and quantum entropies,

    J. A. Carrasco, F. Finkel, A. Gonz´ alez-L´ opez, M. A. Rodr´ ıguez, and P. Tempesta, “Generalized isotropic Lipkin–Meshkov–Glick models: ground state entanglement and quantum entropies,”J. Stat. Mech.1603no. 3, (2016) 033114,arXiv:1511.09346 [quant-ph]

  43. [43]

    Entanglement entropy in quasi-symmetric multi-qubit states,

    Z.-H. Li and A.-M. Wang, “Entanglement entropy in quasi-symmetric multi-qubit states,”Int. J. Quant. Inf.13no. 02, (2015) 1550007,arXiv:1310.3089 [quant-ph]

  44. [44]

    q-analog qudit Dicke states,

    D. Raveh and R. I. Nepomechie, “q-analog qudit Dicke states,”J. Phys. A57(2024) 065302, arXiv:2308.08392 [quant-ph]

  45. [45]

    https://doi.org/10.5281/zenodo.4023103

    Quantum AI team and collaborators, “qsim,” Sep, 2020. https://doi.org/10.5281/zenodo.4023103. [46]https://github.com/nepomechie/qudit-definite-weight-states

  46. [46]

    Qudits and high-dimensional quantum computing,

    Y. Wang, Z. Hu, B. C. Sanders, and S. Kais, “Qudits and high-dimensional quantum computing,” Front. Phys.8(2020) 479,arXiv:2008.00959 [quant-ph]

  47. [47]

    Qudit Dicke state preparation,

    R. I. Nepomechie and D. Raveh, “Qudit Dicke state preparation,”Quantum Inf. Comp.24(2024) 0037–0056,arXiv:2301.04989 [quant-ph]

  48. [48]

    Dicke states as matrix product states,

    D. Raveh and R. I. Nepomechie, “Dicke states as matrix product states,”Phys. Rev. A110no. 5, (2024) 052438,arXiv:2408.04729 [quant-ph]

  49. [49]

    Low-depth quantum symmetrization,

    Z. Liu, A. M. Childs, and D. Gottesman, “Low-depth quantum symmetrization,”arXiv:2411.04019 [quant-ph]

  50. [50]

    Simple ways of preparing qudit Dicke states,

    N. B. Kerzner, F. Galeazzi, and R. I. Nepomechie, “Simple ways of preparing qudit Dicke states,” Quant. Inf. Comp.25(2025) 668–686,arXiv:2507.13308 [quant-ph]. 17

  51. [51]

    The fundamental invariant of the Hecke algebra Hn(q) characterizes the representations of H n(q), Sn, SUq(N), and SU(N),

    J. Katriel, B. Abdesselam, and A. Chakrabarti, “The fundamental invariant of the Hecke algebra Hn(q) characterizes the representations of H n(q), Sn, SUq(N), and SU(N),”J. Math. Phys.36no. 9, (1995) 5139–5158,arXiv:q-alg/9501021 [math.QA]

  52. [52]

    Murphy elements from the double-row transfer matrix,

    A. Doikou, “Murphy elements from the double-row transfer matrix,”J. Stat. Mech.2009no. 3, (2009) L03003,arXiv:0812.0898 [math-ph]

  53. [53]

    Coordinate space wave function from the Algebraic Bethe Ansatz for the inhomogeneous six-vertex model,

    A. A. Ovchinnikov, “Coordinate space wave function from the Algebraic Bethe Ansatz for the inhomogeneous six-vertex model,”Phys. Lett. A374(2010) 1311–1314,arXiv:1001.2672 [math-ph]

  54. [54]

    Fast analytic solver of rational Bethe equations,

    C. Marboe and D. Volin, “Fast analytic solver of rational Bethe equations,”J. Phys. A50no. 20, (2017) 204002,arXiv:1608.06504 [math-ph]

  55. [55]

    Generalized Heisenberg ferromagnet and the Gross-Neveu model,

    P. P. Kulish and N. Y. Reshetikhin, “Generalized Heisenberg ferromagnet and the Gross-Neveu model,”Sov. Phys. JETP53(1981) 108–114

  56. [56]

    Ansatz de Bethe et chaˆ ınes de spins

    L. Alonzi, “Ansatz de Bethe et chaˆ ınes de spins.” supervisors: E. Ragoucy and N. Cramp´ e, 2010

  57. [57]

    B. C. Hall,Lie Groups, Lie Algebras, and Representations: An Elementary Introduction. Graduate Texts in Mathematics, volume 222. Springer, 2 ed., 2015. 18