https://arxiv.org/api/ur0HFpbuuWnHTMPY1eAnnr6o5As2026-06-18T08:58:32Z9036722515http://arxiv.org/abs/2603.23452v3A unified variational framework for the inverse Kohn-Sham problem2026-06-11T05:40:39ZThe inverse Kohn-Sham (KS) problem seeks a local effective potential whose noninteracting ground state reproduces a prescribed electron density. Although many inversion formulations and schemes have been developed, they are often formulated in disparate languages, including reduced variational optimization, penalty regularization, response-based iteration, and PDE-constrained optimization. In this work, we develop a unified framework for inverse KS theory in two steps. First, we identify the fixed-density noninteracting constrained search and its density-potential duality as the natural variational anchor of the inverse KS problem. In this setting, the KS potential appears as the variational dual object associated with density reproduction, reducing to the familiar multiplier picture in regular regimes. Second, building on this anchor, we classify major inversion formulations according to how the KS state equations and density-reproduction condition are treated within the optimization architecture, with orbital orthonormality retained as an additional structural constraint. Within this framework, the Wu-Yang formulation appears as a potential-space reduced multiplier formulation, the Zhao-Morrison-Parr construction as a quadratic-penalty relaxation, and PDE-constrained approaches as explicit state-constraint formulations at the orbital level. Rather than comparing inversion formulations primarily at the level of implemented algorithms, the present work develops an optimization-theoretic formulation map. This viewpoint identifies where additive-constant ambiguity, asymptotic normalization, nonsmooth variational structure, metric choice, and weak-gap instability enter different inversion architectures, and it makes explicit how major inversion approaches are connected and where algorithmic design choices arise.2026-03-24T17:22:54ZNan Shenghttp://arxiv.org/abs/2606.12912v1Birkhoff conjecture and finite energy foliations in Hill's lunar problem2026-06-11T05:10:50ZWe prove Birkhoff's retrograde orbit conjecture in Hill's lunar problem by showing that the retrograde orbit bounds a disk-like global surface of section for every energy below the critical value. We also obtain a global description of the dynamics through the critical energy level by constructing finite energy foliations for energies slightly above it. The binding of these foliations consists of the retrograde orbit together with the Lyapunov orbits near the critical points. As a consequence, there exist infinitely many periodic orbits and infinitely many trajectories asymptotic to the Lyapunov orbits. The proof combines pseudo-holomorphic curve techniques with a new convexity theorem for Hill's lunar problem. More precisely, we construct an explicit global symplectic change of coordinates under which the bounded regularized component becomes strictly convex up to the critical energy level. This convexity implies strong dynamical consequences, including lower bounds for the Conley-Zehnder indices of periodic orbits, and allows the application of the Hofer-Wysocki-Zehnder theory of finite energy foliations. As a result, we obtain disk-like global surfaces of section below the critical level and $2-3-2$ foliations for energies slightly above it.2026-06-11T05:10:50Z32 pages, 8 figuresLei LiuPedro A. S. Salomãohttp://arxiv.org/abs/2602.20968v3Perturbative anomalies in quantum mechanics2026-06-11T05:05:53ZIn this work, we propose a cohomological approach to studying perturbative anomalies in quantum mechanics. The Hamiltonian $\hat{H}$ together with the symmetry generator $\hat{S}$ forms a unitary representation of the two-dimensional Abelian Lie algebra $\mathfrak{g}\cong \mathbb{R}^{2}$ on the Hilbert space $V$. We show that perturbations of such a system are related to the first Chevalley-Eilenberg cohomology group $H^{1}_{CE}(\mathbb{R}^{2},\mathfrak{u}(V))$. In turn, the perturbative anomalies of the symmetry $\hat{S}$ are related to the second cohomology group $H^{2}_{CE}(\mathbb{R}^{2},\mathfrak{u}(V))$.2026-02-24T14:48:47Z8 pagesMaxim GritskovAndrey LosevSaveliy Timchenkohttp://arxiv.org/abs/2606.12906v1Global Control with the Tavis-Cummings Interaction2026-06-11T05:03:47ZWe study the controllability of a system of qubits under global control, where control pulses act identically on all qubits. Specifically, we consider a collection of qubits identically coupled to a single bosonic mode, or harmonic oscillator, via the Jaynes-Cummings interaction. This collective coupling, known as the Tavis-Cummings (TC) interaction, has been realized in several quantum computing platforms, including superconducting and atomic qubit systems. Although the qubits do not interact directly with one another, they can become entangled through their common coupling to the bosonic mode. We characterize the group of unitaries that can be implemented on the joint Hilbert space of the qubits and bosonic mode using the TC interaction together with a global $z$ field $J_z$, corresponding to identical z rotations on all qubits. We show that for n>2 qubits the set of realizable unitaries is restricted by an "accidental" symmetry of the TC Hamiltonian, distinct from its "standard" U(1) and permutational symmetries. On the other hand, we find that the Hamiltonian $J_z^2$ breaks this accidental symmetry and, together with the TC interaction and $J_z$, achieves semi-universality: it allows the implementation of arbitrary unitaries that respect permutational and U(1) symmetry, up to certain constraints on the center of the group. In a companion paper, we further analyze this remarkable accidental symmetry and show that it can be understood through Schwinger's bosonic model of angular momentum.2026-06-11T05:03:47Zv1: 27 pages + 15 pages of appendices. Parts of the results were previously presented in arXiv:2506.03453, which has now been expanded and splitPlato DeliyannisIman Marvianhttp://arxiv.org/abs/2408.07582v3Non-flat Ekman Boundary Layers: Topographic Lift, Generalized Ekman Pumping, and Anisotropic Asymptotic Behavior2026-06-11T03:59:45ZThe Ekman boundary layer, a fundamental concept in geophysical fluid mechanics, describes the near-boundary fluid motion subject to rotation. Within the singular limit framework of rapid rotation and vanishing viscosity, classical studies of Ekman theory (e.g., Desjardins and Grenier (1999), Masmoudi (2000)) are predominantly restricted to flat or small-amplitude boundary assumptions.
The conventional flat-boundary assumption obscures the complex mechanisms induced by topographic curvature; moreover, even small-amplitude perturbations reduce topographic effects to simple linear forcing terms. Consequently, this paper investigates the singular limit behavior of rotating fluids over a non-flat boundary $z=B(x,y)$ of $\mathcal{O}(1)$ amplitude with uniformly bounded slope and curvature. We elucidate how such topography modulates fluid dissipation through two distinct mechanisms: macroscopic topographic forcing and microscopic anisotropic pumping.
First, using multi-scale asymptotic analysis, we construct a class of approximate solutions that explicitly depend on the boundary's geometric characteristics, yielding a two-dimensional limit system fundamentally distinct from classical models. A key innovation of this system is the introduction of a generalized velocity field defined via the topographic metric tensor. This formulation not only generalizes the traditional isotropic linear damping to anisotropic geometric damping but also couples rotational effects to macroscopic vertical acceleration. Furthermore, using energy methods, we establish the $L^2$ convergence of these variable-thickness approximate solutions to the weak solutions of the original three-dimensional system. Finally, we analyze the multiple mechanisms governing rotating fluid motion over large-amplitude topography using a representative class of boundary geometries.2024-08-14T14:28:01ZYifei JiaYi DuLihui Guohttp://arxiv.org/abs/2605.30806v2Novel energy preserving bijections between affine crystals for $U_q(\widehat{\mathfrak{sl}}_2)$ and integer partitions2026-06-11T03:51:25ZLet $B(Λ_a) \, (a=0,1)$ be the crystal of the level 1 integrable irreducible highest weight representation of the affine quantum group $U_q(\widehat{\mathfrak{sl}}_2)$. We consider the crystal graphs of degree $n$ associated with the irreducible $(2r+1)$-dimensional (resp. $(2r+2)$-dimensional) $U_q(\mathfrak{sl}_2)$ module in $B(Λ_0)$ (resp. $B(Λ_1)$). In this paper, we construct an explicit combinatorial procedure providing a bijection between the set of highest weight paths in these graphs with respect to the action of the Kashiwara operator $\tilde{f}_{1}$, and the set of integer partitions of $n$ with sqrank (resp. rerank) $r$, which is a recently introduced partition statistic. As a byproduct, we also obtain a precise interpretation of the motif description of spinons suggested by Bernard-Pasquier-Serban in the spinon picture for Wess-Zumino-Witten conformal field theory models.2026-05-29T03:51:56Z20 pages, 7 figuresSota MiyazawaTaichiro Takagihttp://arxiv.org/abs/2606.12825v1Optimal minimax formula for bounds on ensemble averages of statistically stationary three-dimensional Navier-Stokes flows2026-06-11T02:43:42ZWe establish an optimal upper bound formula for ensemble averages of flow quantities associated with the three-dimensional incompressible Navier-Stokes equations. The formula takes the form of a minimax problem, extending the framework developed by Tobasco, Goluskin, and Doering (2018) for finite-dimensional systems and by Rosa and Temam (2022) for the two-dimensional Navier-Stokes equations. The lack of global well-posedness for the 3D case presents a significant challenge, which we overcome by working within the space of Foias-Prodi stationary statistical solutions. The minimax formula is derived by exploiting suitable compactness and continuity properties of specific subspaces of probability measures under the weak topology of the phase space. A distinguishing feature of our result is the characterization of the maximizing measures: unlike the previous cases, the optimal bounds in 3D are achieved on extreme points that are specific convex combinations of at most two Dirac delta measures, instead of exactly one, a structure that naturally appears from the constraints given by the mean energy dissipation inequalities in the characterization of the Foias-Prodi stationary statistical solutions.2026-06-11T02:43:42ZAnne BronziCecília F. MondainiRicardo M. S. Rosahttp://arxiv.org/abs/2606.12813v1Accidental Symmetry in the Tavis-Cummings Model via the Schwinger Boson Representation2026-06-11T02:13:51ZThe Jaynes-Cummings (JC) Hamiltonian is a paradigmatic model of light-matter interaction and, more generally, qubit-boson interactions, widely used across atomic, optical, and superconducting qubit platforms. In the multi-qubit setting, where n qubits are identically coupled to a single boson mode, this interaction is known as the Tavis-Cummings (TC) Hamiltonian. The structure of the TC model is usually understood in terms of two standard symmetries: permutation invariance of the qubits and a U(1) symmetry associated with conservation of the total excitation number. Here we identify an additional, independent "accidental" symmetry of the TC Hamiltonian and construct the corresponding conserved observable. We show that, for n>2 qubits, this symmetry imposes strong constraints on the realizable unitary transformations. These constraints persist in the presence of the global $J_z$ Hamiltonian, but are removed by adding $J_z^2$, even though $J_z^2$ preserves both permutation invariance and the U(1) symmetry. Finally, we explain the origin of this previously unnoticed symmetry using Schwinger's boson representation of angular momentum. These restrictions have important implications for controllability of the TC system and for its applications to quantum computing, which are investigated further in a companion paper.2026-06-11T02:13:51Zv1; 12 pages+ 1 page of appendices. Parts of the results were previously presented in arXiv:2506.03453, which has now been expanded and splitPlato DeliyannisIman Marvianhttp://arxiv.org/abs/2304.13667v3To separation of variables in the Fokker--Planck equations2026-06-11T02:01:28ZIt is well-known, that for separation of variables in the eigenvalue problem, the corresponding operator should be represented as a sum of operators depending on single variables. In the case of the Fokker--Planck equations, the separation of variables is possible under essentially weaker conditions.2023-04-12T16:00:16ZLatex, 2 pagesAdv. Theor. Comp. Phys. v.6, p.77 (2023)I. M. SuslovP.L.Kapitza Institute for Physical Problems, Moscow, Russiahttp://arxiv.org/abs/2606.12796v1Rank recursion for $q$-Whittaker and Macdonald operators2026-06-11T01:46:01ZIn this paper, we introduce and prove a set of rank recurrence relations for $q$-Whittaker and Macdonald operators. We also derive an explicit expression for the $k$-th power of the $q$-Whittaker operators in terms of the $q$-deformed binomial probability distribution, and we express the rank recurrence relations for the Macdonald operators in terms of the Cauchy determinant.2026-06-11T01:46:01Z28 pagesPhilippe Di FrancescoHieu Trung Vuhttp://arxiv.org/abs/2503.12749v2Matrix phase-space representations for gaussian boson sampling2026-06-11T00:15:40ZWe introduce coherent matrix phase-space distributions. These use conservation laws and symmetries to improve the accuracy and speed of quantum phase-space representations. As an example, this is applied to validation of low-loss Gaussian boson sampling (GBS) quantum computational advantage experiments, where classical generation of the random photon-number counts is exponentially hard. Large improvements in sampling errors are demonstrated compared to previous methods. Matrix phase-space representations also provide a large numerical speed-up, due to their (at worst) quadratic scaling, compared to other methods for validating total count probabilities of large-scale, low-loss GBS networks.2025-03-17T02:33:14ZSix figures, results presented at 2025 APS global summitPhys. Rev. Lett. 136, 013601, 2026Peter D. DrummondAlexander S. DelliosMargaret D. Reid10.1103/htk1-rn8vhttp://arxiv.org/abs/2606.12758v1Self-similar imploding solutions of the 1D compressible Euler equations with a far field cutoff2026-06-10T23:55:50ZImploding solutions to the radially symmetric, isentropic, compressible Euler equations have been well-studied, inspired by the work of Guderley. However, these smooth imploding solutions are shown to be numerically unstable and difficult to compute in practice. On the other hand, the imploding solution of Kidder has a closed form solution and is numerically computable. But, it is unbounded in the far field. We consider Kidder's formulation in one dimension in which the unbounded far field condition is replaced with a constant density cutoff of the initial data. Strikingly, a non-centered rarefaction emerges from the cutoff and suppresses the implosion. We present an exact analytic solution to the problem with the cutoff and support our theoretical predictions with numerical simulations.2026-06-10T23:55:50Z25 pages, 8 figuresJack LuongScott RamseyAndrea L. BertozziRoy Batyhttp://arxiv.org/abs/2606.12700v1Measurement Geometry for Quantum Random Access Codes: Beyond Nayak Bound and Toward Optimality2026-06-10T21:41:58ZQuantum random access codes (QRACs) ask how well N classical bits can be encoded into M qubits while allowing any single bit to be recovered. Although the Nayak bound remains the standard general upper bound on the decoding probability, numerical evidence suggests a stronger upper bound in the small-qubit regime.
In this work, we formulate the optimal decoding probability in terms of decoding measurements, reformulating QRAC design as a spectral problem for noncommuting measurements. Using this formulation, we give an elementary proof of the Nayak bound by simplifying the Chernoff-bound argument. Moreover, we refine the argument to obtain upper bounds that improve over Nayak's bound in the entire finite-size regime.
The equality conditions of our bounds justify defining mutually unbiased projector-valued measurements (MUPVMs), a generalization of mutually unbiased bases. We show that decoding measurement of any two-qubit QRAC attaining the conjectured bound must form MUPVMs. We also show that any MUPVM, assisted by one ancillary qubit, yields a QRAC with optimal N-scaling decoding probability. Finally, we propose a new MUPVM-based construction for the (M+2,M)-QRAC family attaining the conjectured bound.2026-06-10T21:41:58Z32 pages, 3 figuresSeiseki AkibueRudy RaymondSuguru TamakiKosei Teramotohttp://arxiv.org/abs/2601.00793v2Voronoi Percolation: Topological Stability and Giant Cycles2026-06-10T21:24:39ZWe study the topological stability of Voronoi percolation in higher dimensions. We show that slightly increasing p allows a discretization that preserves increasing topological properties with high probability. This strengthens a theorem of Bollobás and Riordan and generalizes it to higher dimensions. As a consequence, we prove a sharp phase transition for the emergence of i-dimensional giant cycles in Voronoi percolation on the 2i-dimensional torus.2026-01-02T18:54:43ZBenjamin SchweinhartMorgan Shumanhttp://arxiv.org/abs/2606.12682v1Supersymmetry of dissipative Bose-Fermi systems with application to Jaynes-Cummings and Dicke models2026-06-10T21:10:36ZWe demonstrate how supersymmetries of Hamiltonians for coupled Bose-Fermi systems can be used to place the Hamiltonians of the Jaynes-Cummings model and Dicke model under the rotating wave approximation in matrix form and provide explicit analytic solutions for their eigenvalues. We then use this supersymmetry to place the Liouvillians of the associated Markovian open systems in matrix form and provide explicit solutions for their eigenvalues. These results are a consequence of the fact that the Hamiltonian of the Jaynes-Cummings model commutes with the linear Casimir invariant of the superalgebra $u(1|1)$ and that the Hamiltonian of the Dicke model commutes both with the linear invariant of $\sum_{i} u_{i}(1|1)$ and with the invariant of an additional $su(2)$ algebra. Our methods apply to various coupled Bose-Fermi systems with $u(1|1)$ and more generally with $u(n|m)$ dynamical superalgebras, and may provide efficient tools for studying more complicated examples.2026-06-10T21:10:36Z14 + 10 pages, 9 figuresColin V. CoaneFrancesco Iachello