Papers

We study a variant of Schumacher compression. The task asks for the minimal memory cost for compressing many copies of a density matrix with known spectrum and unknown eigenbasis, without preserving its purification. For fixed dimension and distinct positive eigenvalues, we obtain the cost through its additive constant. Achievability uses a generalization of Werner's cloning map to $\mathrm{GL}(d,\mathbb C)$ irreducible representations, with finite trace-distance bounds controlled by highest-weight differences and row gaps. The matching converse follows from a quantitative form of Koashi–Imoto incompressibility for irreducible group orbits under a spectral-gap assumption. We also identify the relation between this quantum minimum description length and universal lossless coding overhead, and its connection to free entropy is explained in a companion letter. We provide a Lean certificate for our proofs.

The Clifford hierarchy plays a central role in fault-tolerant quantum computation, but its higher levels remain only partially understood. Recent work on quantum higher order Fourier analysis characterizes membership in the Clifford hierarchy using quantum derivatives, but does not provide an explicit description of the individual levels. In this work, we address this problem by showing that the collection of quantum derivatives of a unitary operator forms a non-abelian \(1\)-cocycle, and conversely that every such \(1\)-cocycle arises from a unitary operator. This yields a recursive cohomological characterization of the Clifford hierarchy. We then specialize this framework to the third level and decompose the cocycle data into symplectic, affine, and phase components, each admitting a cohomological interpretation. As applications, we give a new proof that every two-qudit gate in the third level of the Clifford hierarchy is semi-Clifford, and prove for the first time that every three-qudit gate in the third level is semi-Clifford.

We establish an $L^1$-theory for a class of elliptic operators with unbounded coefficients, extending our earlier semigroup generation results and those of Canale–Rhandi–Tacelli to the endpoint $p=1$. The $L^1$-realization generates a positive analytic $C_0$-semigroup that is compact for every positive time. We characterize the generator domain through weighted estimates and prove consistency with the corresponding $L^p$-semigroups for $1<p<\infty$.

We prove stability of nonrelativistic fermionic matter in the presence of fixed nuclei \(\{R_j\}\) on an asymptotically Euclidean Riemannian manifold \((M,g)\). Upper and lower bounds on sectional curvatures are assumed, but no specific sign conditions on the curvature are imposed. The proof follows the route of Lieb-Thirring and electrostatic inequalities, the latter being proved by means of a Voronoi decomposition type argument which is however based on the Green functions \(\{G(\,\cdot\,,R_j)\}\) rather than the distance function.

I present a short approach to discretizing continuous unitary evolution. It gives a correspondence in both directions between continuous unitary evolutions and products of unitaries in finite dimensions, and I use it to reduce discrete adiabatic theorems to continuous ones. At fine steps, holding truncated samples of a regulated Hamiltonian on a suitable finite partition gives an approximating product. Conversely, rounding the clock identifies a product of $T$ unit-step samples with a continuous evolution, up to two half-step phases. I bound its operator-norm distance from the original evolution by $O(1/T)$ through cancellation within each time step. This assumes bounded first and second derivatives, bounded spectral width, and eigenvalue differences bounded away from nonzero multiples of $2\pi$, uniformly in $T$. For a unitary walk with these derivative bounds, a fixed common free spectral arc supplies a Hermitian logarithm path satisfying the comparison hypotheses. Continuous simulation guarantees then transfer to the phase-corrected product, and continuous adiabatic bounds to the product itself, with an explicit additive $O(1/T)$ error and each adiabatic theorem's hypotheses retained. For positive definite quantum linear systems of condition number $\kappa$, this comparison and continuous adiabatic theory give a rescaled qubitized walk with $O(\kappa/\delta)$ steps for leakage $\delta$, matching the scaling previously obtained through a discrete adiabatic theorem. These products need no discrete adiabatic theorem.

We study upper large deviations of the free energy of mixed $p$-spin Ising spin glasses through the generalized TAP free energy $F_{\mathrm{TAP}}$ of Chen, Panchenko and Subag. For every mixture with radius of convergence greater than one, $\max F_{\mathrm{TAP}}$ and $\log Z_N$ have the same large deviations at speed $N$; the proof combines their band theorem with Ramsey's theorem. For convex mixtures with $\sum_p 2^p\beta_p^2<\infty$, upper deviations at level $f$ are carried by generalized TAP critical points, which exist at the free-energy rate without Boursier's strict Plefka condition. Outside an event of smaller exponential order, near-maximizers at level $f$ lie near the contact set of a constrained Parisi obstacle, follow the Auffinger-Chen field law, and have Hessian bulk near a reflected Pastur law whose edge is nonpositive and vanishes exactly at contacts where the obstacle is flat to second order. Where every contact is of this kind, a fixed stability margin costs rate.

Let $Z_N$ be the partition function of the Sherrington-Kirkpatrick model at inverse temperature $\beta>1$. Replica theory (Kondor near the critical temperature, Parisi and Rizzo at all temperatures) predicts that the probability that $N^{-1}\log Z_N$ exceeds its typical value by $\delta$ decays like $\exp(-Na\delta^{6/5})$ with an explicit $a$; Aronow and Lopatto recently proved bounds of this order. The exponent is the Legendre transform of the Parisi problem constrained to carry an atom $\theta$ at zero. We show that the constrained minimum exceeds the equilibrium free energy by $c_\beta\theta^5(1+o(1))$, where $c_\beta=\frac{9}{640}\beta^3\rho_\beta(0)^{-3}$ and $\rho_\beta(0)>0$ is the density at zero of the Parisi measure. With the fractional-moment formula this gives the exponent $\frac56(6c_\beta)^{-1/5}\delta^{6/5}(1+o(1))$ as $N\to\infty$ and then $\delta\to0$. The constrained minimizer has a marginal first positive contact, to leading order at $3\theta/(2\rho_\beta(0))$ with an atom $\theta/2$. This plateau calculus applies to every mixture with $\xi'''(0)=0$ whose Parisi measure accumulates at zero; a small field $h$ opens a gap of order $|h|^{2/3}$, and an atom of the Parisi measure at zero, present in every pure $p$-spin model with $p\ge3$, makes the rate leave zero linearly. Near criticality the constant tends to Kondor's value $9/5120$ and the marginal regime ends at a de Almeida-Thouless threshold. For the Sherrington-Kirkpatrick model at every $\beta>1$, a finite-step curvature inequality from an unrefereed preprint shows that every constrained minimizer either has an interval of positive contacts, all marginal, or has exactly two atoms, and that the marginal regime ends at a unique de Almeida-Thouless threshold $\theta_c(\beta)$. The laws at every $\beta>1$ use that the Parisi measure accumulates at zero, a theorem of Lopatto also proved in earlier work of the author.

We study higher moments of quantum fluctuations and microscopic correlation energy in the three-dimensional Gross–Pitaevskii regime. For a smooth, compactly supported, nonnegative radial interaction and an $N$-independent normalized initial condensate wave function in $H^6$, we propagate the third spectral moment of a positive correlated energy along the exact many-body evolution. A uniform initial bound controls the third moment of the depletion number and sixth moments of collective one-particle fluctuations on every compact time interval, independently of $N$. For a nonzero interaction and a smooth, compactly supported initial condensate, we also identify the excitation-energy measure at scale $N^2$, weighted by the first energy. This limit holds for norm-convergent pure-state families with a uniform bound on the initial third correlated-energy moment. Its positive-energy part is a spectral measure of the relative scattering operator $-2\Delta+v$, multiplied by a time-dependent dressed contact. We compute the radial density and prove strict positivity of the contact for nonzero references with finite kinetic energy and finite mean excitation number. The same evolving states have bounded physical fluctuation moments and excitation-energy moments of order $p>1$ bounded below by a positive multiple of $N^{2p-2}$, in the extended spectral sense. Inverse powers of the positive initial energy construct admissible pure and mixed families. For the norm-convergent pure-state class, we determine the scaled interaction-energy moments for $1\le p<2$ and bound the second moment by $O(N^2)$. A finite cubic approximation has norm error $O(N^{-3/16})$ on the energy form domain and $O(N^{-5/4})$ on a stronger initial domain of its generator.

The binary perceptron model studies the set of solutions obtained by intersecting random Gaussian half-spaces with the discrete hypercube {-1,+1}^n. Pioneered in the work by Krauth and Mézard in the 1980s [KM89], one of the most striking physics predictions for this model is strong freezing, which says that typical solutions are isolated. Moreover, the conjecture was sharpened later to assert that typical solutions are at Hamming distance of order $n$ from every other solution [HWK13],[HK14]. This phenomenon has attracted a lot of attention over the years, partly due to its intricate connections to statistical physics and computational complexity. We prove that the binary perceptron model exhibits strong freezing with high probability at every fixed positive constraint density and every fixed margin. Our proof is based on the planted model and a restricted partition function that counts solutions having nonnegative overlap with the planted solution. Unlike the full partition function, this restricted one is monotone in the planted direction, so the FKG inequality decouples it from isolation, while the restriction costs only a factor of n+1. Together, these allow us to transfer the isolation of the planted solution to typical solutions, which completes the proof of strong freezing.

We develop a discrete adiabatic framework for Gibbs-state preparation in classical and quantum optimisation algorithms. For finite time-inhomogeneous reversible Markov chains, we derive a tracking theorem that bounds the distance from the evolving distribution to the instantaneous stationary state by combining two effects: contraction of previously accumulated error by the Markov dynamics and the new error generated as the stationary distribution changes from one step to the next. For Gibbs paths, this leads to explicit step-complexity bounds and to gap- and fluctuation-adapted schedules controlled by the Markov-chain spectral gap and the energy-fluctuation scale $V(\beta)=\sqrt{\operatorname{Var}_{\pi_\beta}(E)}$. In the weak-damping regime, the resulting schedule takes the form $\dot{\beta}\propto\delta(\beta)/V(\beta)$. We then apply the discrete quantum adiabatic theorem to temperature-dependent Szegedy quantum walks. The quantum-walk eigenphase gap satisfies $\Delta_w=\Theta(\sqrt{\delta})$, where $\delta$ is the spectral gap of the underlying Markov chain. By analysing the finite-difference terms entering the theorem, we show that this square-root spectral amplification translates into a quadratic improvement in the gap dependence only for suitably gap-adapted schedules. Under the corresponding regularity conditions, the quantum adiabatic cost scales as $O(\delta_{\min}^{-1/2})$, compared with the classical $O(\delta_{\min}^{-1})$ relaxation scale.

An oscillon in scalar field theory in $(1+1)$-dimensions is an oscillating, localised, almost periodic classical solution that slowly radiates and decays to the vacuum solution. We calculate its momentum flux integrated over a period, which would be zero for an exact breather. For an oscillon of small amplitude $\eps$, truncated at order $\eps^N$, we show that the integrated momentum flux is of leading order $\eps^{N+4}$ for even $N$ and $\eps^{N+5}$ for odd $N$, except for $N=1$, where it is of order $\eps^4$. It is therefore very small.

In this paper, we study finite-mode Gaussian quantum Markov semigroups with a faithful invariant Gaussian state. We present an algebraic characterization of the complete modified logarithmic Sobolev inequality relative to the fixed-point algebra, and we obtain the corresponding optimal constant under the assumption that the drift evolution $e^{t\mathbf{Z}}$ converges as $t\to\infty$. We establish hypercontractivity for such quantum Markov semigroups with Hurwitz drift, in the sense that every fixed pair $1<p<q<\infty$ is attained at sufficiently large times. We find that the usual reverse hypercontractive curves with a positive rate from time zero can fail in general, but every fixed pair $1/2 < p < q < 1$ is attained at sufficiently large times under the Hurwitz assumption. We also systematically investigate the $p$-logarithmic Sobolev inequality and show that the $p$-logarithmic Sobolev constant can be negative for $0 < p < 1/2$.

We analyse solutions of the flow equations of the renormalisation group for the n-point Schwinger functions of scalar field theory in four-dimensional Euclidean space with nonpolynomial boundary conditions. We show that there exist UV asymptotically free solutions of this type which are Bose symmetric, invariant under the Euclidean group, analytic in the flow parameter and the momenta, and satisfy the Osterwalder-Schrader growth condition.

We establish a criterion for the irreducibility of Verma modules over symmetrizable Kac–Moody superalgebras. Our main tool is the Weyl-Kac denominator identity.

We prove a closed formula for DT4 invariants of one dimensional stable sheaves on the total space of $\mathcal{O}_{\mathbb{P}^2}(-1,-2)$ for all degree curve classes. During the proof, orientations of moduli spaces are chosen in a canonical way. Combining with Gopakumar-Vafa type invariants proposed and computed by Klemm-Pandharipande, we verify a conjecture proposed by the author, Maulik and Toda.

We study four of Manton's five vortex equations on a Riemann surface $X$ in relation to anti-self-dual connections. From a solution of each vortex equation, we construct an equivariant holomorphic bundle over $X$$\times$$\mathbb{P}^1$, $X$$\times$$\Delta$, or $X$$\times$$\mathbb{C}$, together with an invariant Hermitian or pseudo-Hermitian metric whose associated connection is anti-self-dual. The equivariant structures are given by the actions of $SU(2)$, $SU(1,1)$, and $SE(2)$, respectively. Conversely, we show that an equivariant holomorphic bundle equipped with an invariant (pseudo-)Hermitian metric gives rise to a solution of the corresponding vortex equation when the associated connection is anti-self-dual.

The Sachdev-Ye-Kitaev (SYK) model is a strongly interacting fermionic system. Its dynamics are difficult to analyze with Lieb-Robinson bounds and cluster expansions due to its all-to-all disordered interactions. We prove that, with high probability over the disorder, the SYK model admits a quantum Gibbs sampler with a system-size-independent spectral gap at sufficiently high constant temperatures. This yields polynomial-time preparation of SYK Gibbs states on a quantum computer. While prior non-rigorous computations that suggested SYK thermalization were limited to studying local correlators, we emphasize that our result holds up to arbitrary inverse polynomial trace distance. Our proof introduces the pseudo-Lindbladian approach to fermions and uses an especially simple SYK analysis based on a comparison to classical dynamics.

We consider monoenergetic particles propagating in three spatial dimensions and undergoing elastic scattering off an external medium. For an arbitrary rotationally invariant scattering kernel, we derive an exact expression for the frequency- and wave-number-dependent diffusivity, thereby resumming the hydrodynamic gradient expansion to all orders. The result is an infinite continued fraction, with each successive level determined by the relaxation rate of a higher angular harmonic of the collision operator. Thus, while ordinary diffusion probes only the first angular harmonic, the resummed constitutive relation retains information about the full scattering kernel. We show how this microscopic information manifests itself in the analytic structure of the diffusivity and in the response to a localized external source. In particular, deviations from Fick's law decay exponentially with distance, at a rate determined by the nearest complex-wavenumber singularity of the inverse diffusivity. Thus, exponentially small departures from hydrodynamics retain detailed information about the underlying scattering process.

In the general probabilistic model of information theory, the signaling dimension of a given communication protocol (or, equivalently, of its state space) is the smallest possible complexity of a classical communication protocol capable of perfectly simulating the given one in terms of input-output correlations. The signaling dimensions of three-, four-, and five-dimensional cross-polytopes have been known to be 3. We give logarithmic lower and upper bounds for the signaling dimensions of higher dimensional cross-polytopes, pinning down the value up to an additive gap of 2. The lower bound shows that the signaling dimension goes to infinity, in contrast to the case of balls and hypercubes.

We prove rapid mixing of a quantum Gibbs sampler for general one-dimensional non-commuting local spin systems at every fixed positive temperature. In particular, for a system of $n$ sites, we show that the Kubo–Martin–Schwinger (KMS) detailed-balanced Gibbs sampler of~\cite{CKG2023} converges from any initial state to trace-norm error $\epsilon$ in time $O(\log^4(n)+\log(1/\epsilon))$. This improves the previous $O(n+\log(1/\epsilon))$ bound and establishes rapid mixing beyond high-temperature and weak-interaction regimes. Our proof explains why the slowest decay rate, captured by the spectral gap, can substantially underestimate the speed of equilibration. The key insight is that a state far from equilibrium must have a substantial component outside the span of low-weight Pauli operators, where stronger dissipation estimates apply. This yields two stages of relaxation: a double-exponential convergence from a bad initial state, followed by exponential convergence near equilibrium. We turn this mechanism into a framework for proving rapid mixing through spectral analysis beyond the gap. Our decay estimate is equivalent to exponential convergence in sandwiched Rényi-2 divergence. Together with the spectral gap, it also implies a modified logarithmic Sobolev inequality with rate $\Omega(\log^{-4}(n))$.

It has been known that (the square of) Jacobi elliptic function can be expressed by an infinite sum of single solitons of $\sech^2$ shape. In this paper, we show that there exists a similar structure for higher genus cases. It turns out that this is just a consequence of the quasi-periodicity of the Riemann $\theta$-function. More precisely, we show that the second derivative of $\log \theta$ with the real Riemann $\theta$-function of genus $g$ near soliton limit can be well approximated by the sum of real and regular $g$-soliton solutions of Hirota-type in $g$-dimensional real space $\R^g$. This leads to a tessellation of $\R^g$, whose tile is an oblique prism divided into $2^g$ sections by hyper-planes of dominant exponents in the theta function. We apply the results to study quasi-periodic solutions to the KdV and KP equations. We construct the quasi-periodic solutions using the Schottky group, which uniformizes the corresponding Riemann surfaces. We also discuss solitons on quasi-periodic background by pinching some of the homological cycles

We formulate and solve a $G$-equivariant analogue of the Seiberg-Witten equations on any irreducible Hermitian symmetric space $G/K$. We use a canonical $K$-invariant form to define a twisted Hodge operator generalising self-duality to higher dimensions. The resulting equivariant Seiberg-Witten equations arise, for a compact $G/K$, as conditions for the absolute minima of an energy functional. Their linear part has a representation theoretic interpretation: the same Weyl group data control the highest-weight realisation of the positive Dirac kernel in the compact case and its discrete-series realisation on the non-compact dual. This space of harmonic spinors collapses almost entirely by the quadratic conditions of the monopole equation. In the compact case, the equivariant moduli set, when non-empty, is a single gauge class, identifying with the $G$-invariant part of Bradlow's trichotomy for vortices, while in the non-compact case, every irreducible solution sits outside the discrete series.

A Hilbert space is usually described using an orthonormal basis, but a more general description can be defined using a tight frame. In the case of continuous-variable Gaussian states, the coherence is usually described using the Hermite-Gauss basis. We present an alternative description using the tight frame of all canonical coherent states. The description of Gaussian states in terms of coherent states is simpler than in terms of Hermite-Gauss basis, and this allows us to obtain an explicit formula describing the frame-dependent coherence of a mixed Gaussian state as a function of the determinant and the trace of covariance matrix. For each mixed Gaussian state, we construct a sequence of discrete-variable quantum states rapidly convergent to it (as concern the purity and coherence) when the dimension of Hilbert space becomes large enough (15 or more). In the discrete case, the coherence is measured with respect to the tight frame of all discrete coherent states.

This paper analyzes the quantized asymmetric transport along the boundary of a two-dimensional topological insulator occupying a half plane, or along the interface separating two insulators. In contrast with problems posed on the Euclidean plane, terminating a sample requires a choice of self-adjointrealization, $H_L$, and we show that a quantized transport depends on that choice. The physical observable modeling the asymmetric transport is the edge, or interface, current $\sigma_I[H_L]=\Tr\,i[H_L,P]\varphi'(H_L)$. It is shown to be well defined along two routes. For Shapiro–Lopatinski elliptic realizations, we use estimates from Boutet de Monvel's calculus to show that the current observable is a well-defined trace, that $\mathcal I=2\pi\sigma_I[H_L]$ is a Fredholm index, and that it is stable under deformations and compactly supported changes of the operator and of its termination. For translation invariant operators along the edge, a spectral analysis defines $\mathcal I$ when the edge spectrum escapes a bulk gap at large momenta. $\mathcal I$ is then also a spectral flow and a Maslov index. Our main theorem is a bulk–edge correspondence \[ \mathcal I=\cR-\cR_L+\eta\bigl(L_\infty,\Lm^\Phi(+)\bigr)-\eta\bigl(L_\infty,\Lm^\Phi(-)\bigr), \] We determine the range of $\mathcal I$. We extend the formula to interfaces with arbitrary transmission conditions. At the transparent condition, the invariant equals the bulk-difference invariant of the Euclidean plane. Eight examples illustrate the theoretical findings.

We study spectral zeta densities associated with complex powers of principally scalar Laplace-type operators on pseudo-Riemannian scattering spaces of mixed signature and arbitrary dimension. The construction extends, beyond the even-dimensional Lorentzian case, the local analysis of Feynman complex powers developed by Dang and Wrochna. Namely, for $\varepsilon > 0$, we consider complex powers $(P\pm i\varepsilon)^{-\alpha}$ and prove that the diagonal trace densities admit meromorphic continuation. We relate their poles to local geometric invariants, in particular to the pseudo-Riemannian scalar curvature. Our proof combines uniform Feynman resolvent estimates with a direct analysis of the Hadamard parametrix in pseudo-Riemannian signature. Beyond the Lorentzian case, the use of causal convexity is replaced by a geometric no-return argument.

We revisit an old non-diagonal modular invariant of $F_4$ at level $6$, discovered in 1989. At the time of its discovery, it was noticed that it could not be obtained from a conformal embedding of affine Lie algebras. Later, it was shown that it can be obtained from an extension of a vertex operator algebra which is not of Lie type. To this modular invariant, one can attach a full CFT defined (or formulated) as a module category $\mathcal M$ for the fusion category $\mathcal A = \mathcal C(F_4,6)$. More recently, it was recognized that $\mathcal M$ is associated with an étale algebra of $\mathcal A$. In other words, the resulting quantum module is a quantum subgroup (it is also said to have self-fusion, to be of type I, or to be flat). We study the dual $\mathcal O$ of $\mathcal A$ with respect to $\mathcal M$. In particular, we describe the algebra of quantum symmetries (we obtain the chiral generators and display the Ocneanu graphs for the fundamental irreps of $\mathcal A$). The chiral graphs are not connected, each one containing two pairs of isomorphic components. The vertex sets of these components are identified with the simple objects, up to equivalence, of two module categories $\mathcal M$ and $\mathcal M^\prime$ sharing the same modular invariant. $\mathcal M$ enjoys self-fusion, whereas $\mathcal M^\prime$ does not. The restriction of the action of the Verlinde algebra $A$ to the associated abelian groups $M$ and $M^\prime$ defines two families of matrices with non-negative integer entries (nimreps) and their adjacency graphs. As a by-product, we obtain the matrices describing the defect lines of the theory, the integer and rational fusion polynomials attached to $A$ and its modules, and the relevant numerical invariants, quantum dimensions, quantum masses, and induction-restriction rules.

We discuss surface-pinned, topologically charged, nonsingular defects (SD) in light scattering by a plasmonic object. They follow from exact Maxwell boundary conditions and are purely topological—unaffected by surface forces. At optical frequencies, in (quasi) 2D, they appear in the electric and Poynting vector fields for $H^{(z)}$ polarization, not for $E^{(z)}$. Exact solutions for a circular cylinder reveal topological charge-conserving bifurcations involving SDs with bulk singularities or SDs alone, and contraction of defect regions under loss.

We establish a local Konno-Sato correspondence for reflected random and Szegedy walks on a finite path graph. A generalized reflection principle, using explicit involutions rather than point reflections in the asymmetric case, yields exact zeta factorizations into a boundary factor and local factors indexed by the infinite dihedral group. After symmetrization, the classical and quantum local factors correspond for each group element. The identity contribution determines the normalized thermodynamic limits. In the symmetric case, diffusive and ballistic scalings recover the Gaussian Poisson summation formula and the Dirac comb identity, respectively. Under a double scaling of the asymmetry and spectral parameter, the quantum factorization yields a massive Dirac-type limit: nonidentity even words produce the periodic-orbit factor, the identity produces the free-field factor, and odd words together with the boundary produce a finite boundary correction.

For a quantum affine superalgebra with a fixed Drinfeld current presentation, we study shifted quantum affine superalgebras through a two-sided shifted Drinfeld current presentation, in which the leading degrees of the Cartan–Drinfeld currents are modified while the remaining current and Serre relations are retained. We then focus on the standard-parity type A algebras $\mathcal U_q^{\mu_+,\mu_-}(\widehat{\mathfrak{sl}}_{m|n})$. For arbitrary shifts and $m,n\ge1$, $m\ne n$, we prove a triangular decomposition. When $m,n>1$, we obtain PBW–Drinfeld bases for arbitrary shifts and a Levendorskii-type finite presentation of the one-sided algebra $\mathcal U_q^{0,\mu}$ for every antidominant $\mu$. For antidominant two-sided shifts, we construct shifted RTT realizations and prove the corresponding Ding–Frenkel isomorphisms. We construct a shifted formal Drinfeld coproduct for arbitrary two-sided shifts, coassociative in a completed tensor product. Shifted RTT realizations yield non-completed one-sided coproducts in the antidominant region, made explicit on finitely many generators by the finite presentation; injective shift homomorphisms extend them to arbitrary one-sided shifts. Their ternary coassociativity holds whenever the middle shift is antidominant, including boundary cases. Finally, for two-sided antidominant shifts $\mu_+,\mu_-\in\Lambda^-$, a shifted full general-linear Ding–Frenkel isomorphism identifies the special-linear simple-current algebra as the fixed algebra under common scalar rescalings and yields coassociative two-sided non-completed coproducts.

In Part I, we introduced a general framework for constructing logical gates in quantum CSS codes from cohomology invariants, focusing on cup products and their generalizations from topological to qLDPC codes. In particular, we produced a family of $C^{k-1}Z$ logical gates that we called copy-cup on $k$ copies of the same quantum code implemented by finite-depth circuits. Here, we vastly extend this framework by introducing twists incorporating code automorphisms, higher twisted cohomology operations, and folding operations in relative cohomology. The framework includes operations lifting coefficients from $\mathbb{Z}/2$ to $\mathbb{Z}/2^k$, enabling all diagonal logical gates such as single-qubit rotations $\operatorname{R}(2\pi/2^k)$. Composing these operations with maps that select cohomology classes yields addressable logical gates. Examples include addressable $T$ gates on three- and four-tori and gates in qLDPC codes beyond topological ones. We introduce cohomology operations, such as the higher twisted Pontryagin powers, that to our knowledge have not previously appeared in the mathematics literature. These operations arise from $E_\infty$-structures on cochains, with explicit constructions using cyclic resolutions and the surjection operad. We expect these results to be of independent interest in homotopy theory. Our formalism applies much more broadly to chain complexes carrying suitable operadic structures, and we expect this operadic perspective to uncover further connections between homotopy theory and fault-tolerant quantum gates.