--- title: Particle-Preserving Commutant url: https://www.emergentmind.com/topics/particle-preserving-commutant type: topic --- # Particle-Preserving Commutant Searching arXiv for the cited paper and related commutant context. arXiv search query: 2603.19210 In fermionic representation theory, the **particle-preserving commutant** is the \(t\)-th order commutant associated with the particle-number-conserving subgroup of fermionic Gaussian unitaries on \(n\) fermionic modes. For the particle-preserving (PP) subgroup, it is the algebra \[ C^{\rm PP}_{t,n} = \left\{ M\in \operatorname{End}(H^{\otimes t}) \;:\; [M,R(U)^{\otimes t}]=0\ \forall\,U\in U(n) \right\}, \] equivalently the algebra of operators on \(H^{\otimes t}\) invariant under the diagonal \(U(n)\) action. This object governs Haar averages over the PP Gaussian group and therefore enters fermionic randomized protocols, invariant theory, and resource quantification. Its defining structural feature is that it is a Howe-dual commutant for the pair \((U(n),U(t))\), generated by generalized copy-hopping operators. It is distinct from the commutant of the full fermionic Gaussian group, which is generated by generalized quadratic Majorana bilinears together with parity [2603.19210]. ## 1. Algebraic setting The PP commutant is formulated on the \(n\)-mode fermionic Fock space \[ F_n \cong \Lambda(\mathbb C^n)=\bigoplus_{r=0}^n \Lambda^r(\mathbb C^n), \] which decomposes into fixed-particle-number sectors \[ H_r \cong \Lambda^r(\mathbb C^n). \] The PP subgroup is the subgroup of fermionic Gaussian unitaries that preserve particle number, namely the image of \(U(n)\) under second quantization. Its action on creation and annihilation operators is \[ R(U)a_p^\dagger R(U)^\dagger = \sum_{q=1}^n U_{qp}a_q^\dagger, \qquad R(U)a_p R(U)^\dagger = \sum_{q=1}^n U_{qp}^* a_q, \qquad U\in U(n). \] This formulation makes the PP commutant a replicated invariant algebra: it consists of all operators on \(t\) tensor copies that are invisible to the diagonal second-quantized \(U(n)\) action. In this sense, it is the natural invariant algebra for number-conserving fermionic Gaussian dynamics. The construction also fixes the precise meaning of “particle-preserving”: the symmetry group is not the full fermionic Gaussian group, but its particle-number-conserving subgroup. ## 2. Copy-hopping generators The main structural theorem identifies the PP commutant with an algebra generated by **generalized copy-hopping operators**. These are built from dressed fermionic operators \[ \widetilde a_p^{(j)} = \Gamma_1\otimes\Gamma_2\otimes\cdots\otimes \Gamma_{j-1}\otimes a_p^{(j)}\otimes I\otimes\cdots, \] \[ \widetilde a_p^{\dagger (j)} = \Gamma_1\otimes\Gamma_2\otimes\cdots\otimes \Gamma_{j-1}\otimes a_p^{\dagger(j)}\otimes I\otimes\cdots, \] where \[ \Gamma_j=(-i)^n c_1^{(j)}\cdots c_{2n}^{(j)} \] is the parity operator on the \(j\)-th copy. The dressing ensures canonical anticommutation across different copies: \[ \{\widetilde a_p^{(j)},\widetilde a_q^{\dagger(k)}\}=\delta_{pq}\delta_{jk}, \qquad \{\widetilde a_p^{(j)},\widetilde a_q^{(k)}\} = \{\widetilde a_p^{\dagger(j)},\widetilde a_q^{\dagger(k)}\}=0. \] The generalized copy-hopping operators are \[ \widetilde{\Omega}_{j,k} = \sum_{p=1}^n \widetilde a_p^{\dagger (j)}\,\widetilde a_p^{(k)}. \] They commute with the diagonal \(U(n)\) action and satisfy \[ [\widetilde\Omega_{j,k},\widetilde\Omega_{j',k'}] = \delta_{kj'}\widetilde\Omega_{j,k'} - \delta_{jk'}\widetilde\Omega_{j',k}, \] so they furnish a representation of \(\mathfrak u(t)\). The PP commutant is generated by nearest-neighbor copy-hopping operators together with one diagonal generator: \[ C^{\rm PP}_{t,n} = \operatorname{span}_{\mathbb C} \left\langle \widetilde\Omega_{j,j+1}, \widetilde\Omega_{j+1,j}, \widetilde\Omega_{1,1} \right\rangle, \qquad 1\le j\le t-1. \] This gives the PP case an especially explicit generator-level description. Rather than being presented abstractly as an invariant algebra, it is realized concretely through operators that move particles between tensor copies while preserving total particle number. ## 3. Howe duality and block decomposition The generator theorem is equivalent to a skew Howe duality statement. On replicated Fock space one has \[ H^{\otimes t}\cong \Lambda(\mathbb C^n\otimes \mathbb C^t), \] and the commuting pair \((U(n),U(t))\) acts multiplicity-freely as \[ F_n^{\otimes t} \cong \bigoplus_{\lambda\subseteq n^t} V_{\lambda^T}^{U(n)}\otimes V_\lambda^{U(t)}. \] Consequently, \[ C^{\rm PP}_{t,n} \cong \bigoplus_{\lambda\subseteq n^t} \operatorname{End}\!\left(V_\lambda^{U(t)}\right). \] This is the central algebraic description of the particle-preserving commutant. Each partition \(\lambda\subseteq n^t\) labels a block, and each block is a full matrix algebra on the corresponding \(U(t)\)-irrep. The multiplicity-free nature of the decomposition is what makes the structure clean: there is no further multiplicity algebra to resolve beyond the \(U(t)\) representation spaces themselves. A useful consequence is that the PP commutant is not merely a collection of conserved quantities attached to low-order observables. It is the full higher-order invariant algebra selected by the diagonal \(U(n)\) action on \(t\) replicas. This provides a precise algebraic counterpart to replicated fermionic states and higher-order fermionic invariants. ## 4. Dimension formulas and growth The dimension of the PP commutant admits a closed product formula: \[ \dim(C^{\rm PP}_{t,n}) = \prod_{j=0}^{n-1}\frac{j!\,(j+2t)!}{(j+t)!^2}. \] The low-order checks are \[ \dim(C^{\rm PP}_{1,n})=n+1, \qquad \dim(C^{\rm PP}_{2,n})=\frac{(n+1)(n+2)^2(n+3)}{12}. \] The asymptotic regimes given in the same work are: \[ \dim(C^{\rm PP}_{t,n})\in \Theta(n^{t^2}) \qquad \text{for fixed \(t\) and large \(n\),} \] and \[ \dim(C^{\rm PP}_{t,n})\in \Theta\!\left(4^{nt}t^{-n^2/2}\right) \qquad \text{for fixed \(n\) and large \(t\).} \] These formulas quantify the size of the invariant algebra available to particle-preserving Gaussian dynamics. In particular, the fixed-\(t\) scaling shows polynomial growth of degree \(t^2\) in the number of modes, while the fixed-\(n\) scaling shows the rapid proliferation of higher-replica invariants as \(t\) increases. ## 5. Constructive Gelfand–Tsetlin bases Beyond the abstract decomposition, the PP commutant admits an explicit basis construction through a Gelfand–Tsetlin (GT) procedure along the chain \[ U(1)\subset U(2)\subset \cdots \subset U(t). \] A GT pattern for a partition \(\lambda\subseteq n^t\) is a chain \[ \lambda^{(t)}\succ \lambda^{(t-1)}\succ\cdots\succ \lambda^{(1)}, \] subject to the interlacing inequalities \[ \lambda_i^{(m)}\ge \lambda_i^{(m-1)}\ge \lambda_{i+1}^{(m)}. \] Each GT pattern \(T\) labels a basis vector \[ \ket{\lambda,T}\propto Z_T\ket{\lambda,\mathrm{hw}}, \] obtained by applying an ordered product \(Z_T\) of lowering operators to a highest-weight vector. The matrix units spanning the commutant are \[ X^{(\lambda)}_{T,T'} = Z_T\,P_\lambda^{\mathrm{hw}}\,Z_{T'}^\dagger = \ket{\lambda,T}\bra{\lambda,T'}. \] This construction is important because it converts the representation-theoretic description into an explicit orthonormal operator basis. The result is not only a classification of invariant operators, but also a concrete method for writing them down block by block. ## 6. Low-order structure For \(t=1\), the PP commutant reduces to the algebra of functions of the total number operator \[ N=\widetilde\Omega_{1,1}. \] The spectral projectors are \[ P_r=\prod_{\substack{s=0\\ s\neq r}}^n\frac{N-s}{r-s}, \qquad C^{\rm PP}_{1,n}=\operatorname{span}_{\mathbb C}\{P_0,\dots,P_n\}. \] An equivalent basis is furnished by symmetric \(Z\)-string operators \[ E_a=\sum_{i_1<\cdots