Peer Revenue Fully funded

Papers

Fresh from arXiv, typeset properly. Highlighted words trade on the market.

Physics

Watch Physics (sign in to use)

Wednesday 29 July

Plasma Physics

Kinetic Optimization of Magnetic Mirror Confinement: Beyond Classical Loss-Cone Theory

Magnetic mirrors are among the conceptually simplest plasma confinement configurations and remain promising candidates for thermonuclear fusion. Their design requires shaping an externally applied magnetic field to confine plasma within an open-ended cylindrical device. In contrast to toroidally closed devices such as tokamaks and stellarators, confinement in magnetic mirrors depends intrinsically on kinetic mechanisms, particularly velocity-space trapping and particle loss through the open ends. We formulate magnetic mirror design as a PDE-constrained optimization problem governed by a reduced multispecies drift-kinetic-Poisson model. The resulting optimization reveals two physical effects not captured by the classical loss-cone argument. First, the self-consistent electric field generated through Poisson coupling acts as a secondary confinement barrier and substantially alters particle retention in the nonlinear regime. Second, the optimized magnetic-field configuration depends qualitatively on the underlying kinetic model: an electron-only model favors an unconventional centrally peaked field, whereas the fully coupled electron-ion model recovers the classical boundary-peaked mirror configuration. These results demonstrate that optimal magnetic mirror design cannot be determined solely from loss-cone considerations, but must account for the self-consistent nonlinear kinetic dynamics of the plasma.
Read the full abstract

All authors Lukas Einkemmer, Martin Guerra, Qin Li, Leonardo Zepeda-Núñez

Quantum Physics

Explicit Separations for One-Query Unitary Synthesis

The unitary synthesis problem (Aaronson-Kuperberg, CCC 2007) asks whether every $n$-qubit unitary $U$ is computable by efficient quantum circuits relative to some classical oracle $f = f_U$ depending on $U$. Recently, Lombardi-Ma-Wright (STOC 2024) proved that Haar-random unitaries cannot be efficiently synthesized by algorithms that make 1 query (or poly$(n)$ parallel queries) to an arbitrary classical oracle. In this work, we prove several results about the hardness (and easiness!) of variants of unitary synthesis. Our results include: (1) 1-query vs. 2-query unitary synthesis: we prove 1-query lower bounds for synthesizing random permutation unitaries $P\lvert x\rangle = \lvert \pi(x)\rangle$, as well as random alternating-basis phase unitaries $F_2 \cdot H^{\otimes n} \cdot F_1$. This gives 1-query lower bounds for "explicit" families of unitaries that have efficient (even 2-query) synthesis algorithms. (2) Upper bound for complex phase unitaries: we also consider complex phase unitaries $\lvert x\rangle\mapsto \alpha_x \lvert x\rangle$, which have a clean 2-query synthesis algorithm with no obvious 1-query algorithm. In this case, we prove an upper bound: there are 1-query algorithms (relative to binary phase oracles) that constant-approximate these unitaries in diamond distance. In order to prove our lower bounds, we introduce and analyze two new cryptographic games: the oracle state search game and the oracle Choi state game. Compared to prior work, our framework is mathematically simple, more flexible in what it can prove, and more accurately captures the hardness of synthesizing unitaries that are not "fully random". Finally, we also use the search game to prove a new hardness-of-approximation result for quantum programs (synthesizing unitaries relative to quantum advice) for phase unitaries, giving a sharper separation between 1-query unitary synthesis and quantum programs.
Read the full abstract

Quantum Physics

Finding diagonal logical gates in CSS codes and circuits

Finding efficient schemes for non-Clifford logic or magic state preparation is one of the central challenges on the way to fault-tolerant quantum computation. Many of the proposed schemes rely on diagonal non-Clifford logical gates acting on CSS codes in space or decorating CSS-type syndrome-extraction circuits in spacetime. Here we propose and implement efficient algorithms to find all (spacetime) logical gates of a given CSS code (circuit) composed from a prescribed set of ansatz gates. Depending on the choice of ansatz gates, this means finding transversal gates, more general locality-preserving logical circuits, folding gates, or similar. While we focus on qubit diagonal gates in the Clifford hierarchy, we also discuss the generalization to arbitrary diagonal non-hierarchy gates, certain non-diagonal gates, as well as prime and composite-dimensional qudits. Our method works by rephrasing code-space preserving gates as the kernel of the “pullback” of the $X$ check matrix onto phase functions, which maps between finite abelian 2-groups. We implement a fast “filtration” method to find this kernel. The runtime for finding fault-tolerant logical gates in a qLDPC code with $O(n)$ qubits or a circuit with $O(n)$ gates in a naive dense implementation is $O(n^3)$, with potential for improvement making use of sparsity.
Read the full abstract

Quantum Physics

Phase Retrievability of Super Operators and Measurements

We continue the study of Phase Retrieval in the Quantum Information setting in the style of \cite{liu2023phase}, in a manner which is more general in two primary ways: (a) Instead of only pure states we consider also states (and positive semidefinite operators) of bounded rank, as is done in Quantum Tomography; (b) We consider general super operators instead of only quantum channels. We show that in order to have phase retrieval with respect to positive semidefinite operators of bounded rank, it suffices to discriminate between perfectly distinguishable pairs (i.e. those with orthogonal supports). From this we prove that phase retrievability is always Lipschitz stable with respect to the trace norm, and then we use the Fuchs-van de Graaf inequalities to deduce stability with respect to the Bures–Wasserstein distance (thus generalizing the known stability results for phase retrieval in Frame Theory). For Hermitian-preserving super operators taking values in block-diagonal matrices, we characterize phase retrievability in terms of conditions inspired by the classical complement property from Frame Theory.
Read the full abstract

Fluid Dynamics

Prediction of Spherical Bubble-Chain-Induced Liquid Flow through Far-Wake Superposition Based on Bubble-Chain Hydrodynamics

Recent experimental observations revealed that clean spherical bubble chains generate a nearly uniform upward liquid flow. The physical origin of this liquid flow, however, remains unclear. Hydrodynamic interactions in aligned bubble chains were therefore investigated using high-accuracy embedded-boundary simulations that resolve the interfacial boundary layer while capturing long-range interactions among multiple clean spherical bubbles. The simulations were used to quantify the evolution of hydrodynamic interactions within bubble chains and to identify the conditions under which bubble-induced liquid flow can be represented by the superposition of isolated-bubble far wakes. Based on these findings, a reduced-order model was developed and applied to experimentally measured bubble trajectories. The model successfully reproduced the nearly uniform upward liquid flow observed in the experiments. To clarify the role of bubble dispersion, the predictions were compared with those for a uniformly dispersed bubble arrangement having the same overall dispersion width. While the uniformly dispersed arrangement produced a center-peaked velocity distribution, only the experimentally observed bubble trajectories reproduced the nearly uniform upward liquid flow. These results demonstrate that the liquid flow is governed not simply by the dispersion width but by the bubble trajectories that establish the spatial distribution of far wakes. The present study provides a physical framework linking hydrodynamic interactions among bubbles, bubble dispersion, and bubble-induced liquid flow, together with a reduced-order model for predicting the liquid flow generated by bubble chains.
Read the full abstract

Plasma Physics

Observation of poloidal magnetic flux emission from a low-pressure spark: validation of the hypothesis of constrained plasma dynamics?

This paper revisits an earlier discussion of the hypothesis of constrained dynamics [IEEE Trans. Plasma Sci. 41, 2013 pp. 437-446] with better experiments and insights. This hypothesis pertains to the observation that the standard single fluid equation of motion of a current-carrying plasma has terms governed by diverse physical phenomena which are constrained to evolve at widely mismatched characteristic space and time scales. It should then be possible to construct counterexamples where the equation cannot be satisfied at all times. The hypothesis posits that the usually neglected electron inertia terms come into play in such examples and create "anomalous" electron currents whose signatures can be detected outside the plasma. One of these signatures is emission of poloidal magnetic flux not attributable to a helical deformation of the current channel. Following the cue of the above-mentioned paper, a series of low-pressure spark experiments have been performed. Clockwise and counterclockwise diamagnetic loops, an electrostatically shielded magnetic probe oriented to intercept the azimuthal magnetic flux and an electric displacement probe are deployed outside the spark channel. Observation of several expected signatures provides a tentative validation of this hypothesis. This suggests that summary neglect of electron inertia in continuum models of plasma needs to be replaced by a redevelopment of these models based on perturbation theory with an electron-mass-related small parameter. Major insights could then arise into unsolved problems such as the origin of axial magnetic field in astrophysical jets. Near-solid-density magneto-inertial confinement fusion may be a potential practical application.
Read the full abstract

Materials Science

PUDA: An AI-Native Hardware Harness for Self-Driving Laboratories

Physical Unified Device Architecture (PUDA) is an AI-native hardware harness for self-driving laboratories (SDLs). Rather than building a human-centered graphical user interface (GUI) orchestration layer, PUDA creates a command-line runtime environment that lets agents observe, orient, decide, and act over experiments while hardware execution remains deterministic, atomic, and auditable. Headless by design, devices appear through discoverable command-line interfaces, JSON protocols are routed through a distributed messaging system, and command responses, data products, and reports are preserved as structured records. PUDA organizes protocols, runs, samples, measurements, and command logs into an AI-native data structure linked by run identifiers and timestamps, preserving provenance from submitted protocol through hardware response to resulting data products. PUDA separates scientific orchestration from physical operation and data telemetry: agents choose experiments, while PUDA executes validated commands and captures provenance-linked state, responses, and data. The contribution is not another optimizer, orchestrator, or recipe language. It is a practical execution and data environment for agentic SDLs; the broader physical AI implication is that PUDA provides an AI-native hardware harness for AI systems to interact with physical tools.
Read the full abstract

All authors Zekun Ren, Hongzhao Tan, Jiaen Yee, Kedar Hippalgaonkar

General Relativity and Quantum Cosmology

Exact solutions for static spherically symmetric spacetime with a perfect fluid in Rastall theory

In general relativity, exact Liouvillian solutions for a static and spherically symmetric spacetime with a perfect fluid and the equation of state $p(r)=w\rho (r)$ are known only for $w=0,-\frac{1}{6}, -\frac{1}{5}, -\frac{1}{3}$, and $-1$. We extend this setup to Rastall theory, presenting the relation between the Rastall parameter and the constant $w$, and deriving exact solutions that correspond to their known counterparts in general relativity, except for $w=-\frac{1}{6}$. Furthermore, we find that, when $w\neq \frac{1}{3}, -1$, there exist several types of solutions whose behaviors change depending on the choice of constants.
Read the full abstract

Mathematical Physics

Representation–Symbol Correspondence for $q$-Hamiltonian Mechanics on the Quantum Plane

We develop a representation–symbol correspondence for $q$-Hamiltonian mechanics on the quantum plane. The coordinate algebra and its covariant differential calculus are realized simultaneously on a smooth commutative function space by multiplication, dilation, and Jackson operators. Normal ordering identifies the coordinate algebra with a polynomial symbol space and transports operator composition to an explicit associative star product. Under this correspondence, the induced covariant $q$-derivatives intertwine exactly with the Jackson operators, and the ordered Hamiltonian action descends to an exact star-Jackson action. For the coordinate observables, the relevant Jackson derivatives are constants, so the star factors reduce to the unit and the Jackson coordinate equations are exact symbol images of the formal quantum-plane equations. For nonlinear observables, pointwise multiplication produces a genuine commutativization error. We quantify this distinction through a first-order expansion of the operator quantization map, study the derivation, divergence, and energy defects of the induced pointwise Jackson dynamics, and prove convergence of the represented Hamiltonian, the symbol actions, the Jackson vector field, and its finite-time trajectories to their classical counterparts as $q\to1$. The resulting framework connects covariant quantum-plane differential calculus, deformation products, and Hamiltonian dynamics while keeping exact algebraic statements separate from commutative and classical approximations.
Read the full abstract

Mesoscale and Nanoscale Physics

Asymmetric Floquet-Engineered Mode Coupling in Hybrid Magnonics

In hybrid magnonic systems, linear magnon–photon hybridization inherently produces symmetric, reciprocal interactions, precluding asymmetric mode coupling. Floquet driving can tailor mode coupling strengths but, with single-tone modulation, inevitably generates a symmetric interaction that preserves this reciprocity. Here we introduce dual-tone Floquet modulation to unlock a new degree of freedom in hybrid magnonic systems, where the relative phase $\theta$ of two commensurate drives continuously controls the asymmetry of the Floquet-engineered interaction, enabling asymmetric mode coupling absent in existing hybrid magnonic systems. We demonstrate this in a strongly coupled cavity magnonic device, where tuning $\theta$ reversibly switches single-sided Autler–Townes splitting between the two hybrid modes—a direct spectroscopic signature of phase-programmable asymmetric coupling. This approach opens a new path toward controllable nonreciprocal and topological functionalities in hybrid magnonic systems, with broad implications for advanced quantum and classical signal processing.
Read the full abstract

All authors Amin Pishehvar, Jayakrishnan M. P. Nair, Zixin Yan, Yu Jiang, Benedetta Flebus, Xufeng Zhang

Cosmology and Nongalactic Astrophysics

Phantom-divide crossing and suppressed structure growth in kinetically braided dark energy with momentum exchange

We construct a linearly stable scalar-field model that realizes both an upward crossing of the dark-energy equation of state, from $w_{\rm DE}<-1$ to $w_{\rm DE}>-1$, and weakened gravitational clustering in the cold dark matter (CDM) sector. An exponential potential breaks shift symmetry and drives the background from a stable phantom phase toward the nonphantom regime, while a pure momentum-transfer interaction increases the dynamical inertia of CDM without altering its background dilution law. We derive the background and linear perturbation equations and establish the no-ghost and Laplacian-stability conditions. For perturbations deep inside the Hubble radius, where the quasi-static approximation applies, the effective gravitational coupling for CDM can fall below Newton's constant, suppressing late-time growth and small-scale matter power, while the baryonic coupling remains enhanced by Galileon braiding. A modified CLASS calculation, including the scalar-field perturbation and the full Boltzmann hierarchies, reveals signatures of transient braiding around radiation–matter equality. For the representative stable solutions studied here, these signatures include an enhancement of matter power toward the lowest wavenumbers probed numerically and a reduction of CMB temperature power over the multipole range $2\leq\ell\leq30$. We also find small shifts in the acoustic scale and the position of the first temperature peak. These results motivate a full likelihood analysis of the model.
Read the full abstract

Quantum Physics

Lattice Quantum Chromodynamics for Quantum Simulations

We develop a framework for quantum simulations of lattice SU($N_c$) gauge theory with quarks. Staggered and Wilson lattice fermions are considered in two and three spatial dimensions and a theta angle is included in three dimensions. The physical, gauge-invariant Hilbert space is formulated in a representation basis, where gauge and fermionic degrees of freedom are encoded by irreducible representations of SU($N_c$) that tensor at each lattice site to contain a singlet. We discuss algorithms for simulating time evolution on quantum computers and carry out noiseless simulations of lattice quantum chromodynamics ($N_c=3$) on small lattices with up to 32 qubits, showcasing theta angle effects, hadronic states, string dynamics, and a baryon chemical potential for the first time in three spatial dimensions.
Read the full abstract

Quantum Physics

Quantum Optical Reinforcement Learning via Spectrum-Resolved Hong-Ou-Mandel Interference

Hong-Ou-Mandel (HOM) interference-based optical neural networks can offer complexity advantages on benchmark learning tasks, but conventional readout compresses the coincidence spectrum into a single scalar, limiting its use in complex settings such as continuous-action reinforcement learning. Here we introduce a spectrum-resolved HOM (SR-HOM) architecture that promotes the photons' spectral degrees of freedom to a trainable computational resource and use it to construct a compact optical actor-critic agent. Diagonal spectral responses generate continuous actions, while higher-order spectral correlations provide nonlinear state-action features for value estimation. Across five continuous-control benchmarks, SR-HOM outperforms parameter-matched multilayer-perceptron baselines, including a \(4.4\times\) improvement in sample efficiency and a \(74.0\%\) increase in best 100-episode moving-average return for LunarLanderContinuous-v3. Applied to online calibration of drifted tunable-coupler CZ and iSWAP gates for transmon qubits, simulations show it restores fidelities to \(0.9917\) and \(0.9952\) respectively, exceeding \(99.8\%\) of their drift-free calibrated values.
Read the full abstract

All authors Shaojun Wu, Jiahua Xu, Shan Jin, Zhen Yang, Yifang Xu, Chenglong You, Guangwei Deng, Luyan Sun, Chang-Ling Zou, Xiaoting Wang

Quantum Physics

Molecular triplets and other metastable states for excitonic quantum batteries

Excitonic quantum batteries, based on organic fluorescent molecules embedded in optical microcavities, offer a room-temperature platform for studying collective effects in energy storage and developing applications. Recent experiments have offered evidence of superabsorption, a collective enhancement to the light absorption rate of organic molecules which leads to a scalable power density. However, they have also highlighted the challenge posed by rapid radiative decay of fluorescent molecules, which limits the energy storage lifetime. Current strategies to overcome this trade-off focus on controlling the coupling between the absorbing manifold and that used for energy storage. In this chapter, we review three implementations of this design principle: transferring energy from optically excited states to long-lived dark triplet states, generating triplet pairs and higher-spin states through singlet exciton fission, and forming charge-separated states. We discuss each mechanism from both theoretical and experimental perspectives, with particular emphasis on recent device implementations that have extended storage times by several orders of magnitude. We conclude with a cross-platform outlook on the role of metastable states across coherent and room-temperature implementations, from neutral atom arrays to masers and colour centres.
Read the full abstract

All authors Daniel Tibben, Gian Marcello Andolina, Daniel E. Gómez, Francesco Campaioli

Solar and Stellar Astrophysics

Probing the Physics of the Solar Corona with High-Resolution Observations using SKA-Mid

We examine the capability of the SKA-Mid telescope for probing solar coronal structure and evolution. Using radiative magnetohydrodynamics simulations of a solar flare, we synthesise radio emission in bands available to SKA-Mid. SKA-Mid observations would provide important constraints on plasma processes that are important to diverse astrophysical environments, including flares/eruptions, magnetic reconnection, particle acceleration, and gyro-emission processes. Observations with the AA4 configuration would reveal fine-scale structures in the solar atmosphere, making SKA-Mid a complementary telescope to other high resolution solar observatories operating at optical, infrared, and XUV wavelengths. Estimates of coronal scattering suggest that angular broadening rather than instrumental resolution (0.1” at 10 GHz) will limit the detection of the finest structure under typical conditions. The extent of angular broadening depends on the nature of turbulence in the corona, and the longer baselines of SKA-Mid will serve to provide new observational constraints on coronal structure.
Read the full abstract

All authors Mark C. M. Cheung, John S. Morgan, Rohit Sharma, Sven Wedemeyer, Gregory Fleishman, Matthias Rempel

Quantum Physics

The Klein-Gordon-Fock theory as a one-particle relativistic quantum mechanics

The Klein-Gordon-Fock (KGF) theory is presented as a single-particle relativistic quantum theory. A Schrodinger-type equation for a single-component wave function is derived. In addition to the KGF Hamiltonian, operators for momentum and orbital angular momentum for a scalar boson are identified, which act within the space of single-component wave functions. This theory is applicable to both massive and massless scalar bosons.
Read the full abstract

Optics

Addressing rotational motion on gravitational waves detectors

The rotational components of Earth's seismic motion are one of the major contributions to limit the sensitivity of terrestrial gravitational-wave detectors at frequencies below 10 Hz. The fundamental challenges lie in understanding the angular degrees of freedom of seismic motion and how they can be accurately measured. These are both crucial steps for developing an adequate control system to suppress seismic motion and maintaining resonance in the detector cavities. This review shows why the rotational ground motion limits the detector's sensitivity and gives an overview of the technological achievements of the last decade on both the sensing and control systems sides. Perspectives on future developments in the field are also briefly illustrated.
Read the full abstract

Materials Science

Physics-informed Machine Learning Prediction of Hubbard Interaction Parameters

Accurate determination of Hubbard interaction parameters is essential for beyond-DFT approaches such as DFT+$U$, DFT+DMFT, and DFT+$U$+$V$ in correlated materials. In practice, however, these parameters are often chosen empirically, limiting their transferability across materials. Advanced computational approaches such as the constrained random-phase approximation (cRPA) provide a rigorous route for evaluating Hubbard interactions, but their computational cost remains a bottleneck for large-scale materials screening. Here, we present machine-learning (ML) models for predicting cRPA-derived Hubbard interaction parameters: effective on-site $U_{\rm eff}$, inter-site $V$, and Hund's coupling $J$ for transition-metal oxides (TMOs). We combine ensemble-learning models with a regression-based brute-force search (BFS) approach to achieve both predictive accuracy and explicit analytical expressions. We construct features that capture electronic, structural, and atomic properties, including the TM-$d$ bandwidth and TM-$d$/O-$p$ band-center separation, as physically motivated descriptors of localization and screening. Our ensemble models achieve RMSEs of 0.148 eV, 0.062 eV, and 0.007 eV for $U_{\rm eff}$, $V$, and $J$, respectively. The derived analytical forms directly relate $U_{\rm eff}$ to electron localization and TM-$d$/O-$p$ hybridization, suggest the importance of hybridization and structural compactness in determining $V$, and indicate that $J$ is governed primarily by elemental descriptors of the TM ion. Together, the present study provides an efficient approach for predicting cRPA-derived $U_{\rm eff}$, $V$, and $J$, while offering physical insight into the factors underlying these Hubbard interactions.
Read the full abstract

All authors Jiyeon Kim, Indukuru Ramesh Reddy, Bongjae Kim, Sooran Kim

Solar and Stellar Astrophysics

Observations of a Solar Jet Triggered by Reconnection between Super-penumbral Fibrils and a Mini-filament

Coronal jets are highly dynamic phenomena in the solar atmosphere, yet their driving mechanisms remain an active topic of investigation. In this paper, we report a coronal jet triggered by the interaction between super-penumbral fibrils and a mini-filament, based on coordinated observations from the New Vacuum Solar Telescope (NVST), the Chinese H$\alpha$ Solar Explorer (CHASE), and the Solar Dynamics Observatory (SDO). The fibrils were anchored between the negative-polarity region of a sunspot and an emerging positive-polarity region associated with a moving magnetic feature (MMF). As the positive polarity migrated outward, the fibrils elongated and interacted with the mini-filament, one of whose footpoints was rooted in pre-existing negative-polarity fields. Intense brightenings at the interaction site, together with changes in the connectivity of the mini-filament footpoint from the pre-existing negative polarity to the sunspot, indicate the occurrence of magnetic reconnection. The event produced a narrow hot jet accompanied by a broader cool component. The cool plasma exhibited a clockwise rotation, providing evidence for the transfer of magnetic twist during reconnection. Persistent magnetic flux cancellation was observed before and during the jet eruption. These observations demonstrate that small-scale magnetic structures, such as MMFs, can significantly influence mini-filament eruptions and highlight the important role of flux cancellation in triggering coronal jet activity.
Read the full abstract

All authors Liheng Yang, Xiaoli Yan, Qingmin Zhang, Zhike Xue, Zhe Xu, Jincheng Wang, Fangyu Xu, Yian Zhou, Defang Kong, Weijie Meng, Xinsheng Zhang, Qiaoling Li, Liping Yang

High Energy Physics (Theory)

Generalized Bergshoeff-de Roo identification in the Supergravity frame

The effective action of string theory has a highly constrained structure due to the numerous symmetries of the underlying theory. Recently, a method known as the Generalized Bergshoeff-de Roo identification was developed, which exploits diffeomorphism, Lorentz and gauge invariance, along with T-duality, to derive higher-derivative couplings in the effective action within the framework of Double Field Theory. This method has been revisited and further refined to generate couplings directly within the standard Supergravity framework.
Read the full abstract

Data Analysis and Statistics · Cross-listed from stat.ML

Origins and mitigation of double descent in reduced order modeling

Latent low-dimensional structure in datasets of natural and engineered systems enables their sparse sensing, or full-state reconstruction from historical data and very few carefully chosen localized measurements. Depending on the reconstruction algorithm, sensor locations, and measurement noise, the reconstruction risk curves demonstrate a diversity of patterns including a dramatic peak in error known as double descent in Machine Learning literature. Here we explore those scenarios under a unified Data-Noise Averaging theory. Qualitatively, we formulate sufficient criteria for double descent to emerge through a catastrophic amplification of a pathological signal in reconstruction. Quantitatively, we predict the detailed risk curves at a fraction of computational cost, trace reconstruction instability to individual sensors and their combinations, and provide regularization mechanisms to mitigate the instability. We demonstrate results for both static reconstruction of Sea Surface Temperature patterns and time integration of a reduced order model of a PDE.
Read the full abstract

Quantum Physics · Cross-listed from cs.LO

Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound

The best known lower bound for the minimum Kochen-Specker vector system in $\mathbb{R}^3$ – 24 vectors – rests on a computational proof whose combinatorial half emits DRAT proofs but whose geometric half does not: the non-embeddability of thousands of candidate graphs is established by Z3's nonlinear real arithmetic, which produces no checkable proof objects. We close this gap for the proof's blocking database. We introduce exact rational case-tree certificates of real non-embeddability, whose splits are polynomial factorizations and rational sum-of-squares decompositions and whose leaves are discharged by injectivity, ideal-membership, or Positivstellensatz-shaped positivity arguments, and we certify all 291 source lines (180 distinct graphs) of the published pipeline's order-10 to order-13 blocking lists. Certificates are replayed by two independent checkers that share no code with the generator: a pure-Python replay over exact fractions, and a total checker implemented and proved sound in Lean 4. The soundness theorem – acceptance implies that no injective-on-rays, orthogonality-respecting assignment of nonzero real vectors realizes the graph – is kernel-checked with axiom closure {propext, Classical.choice, Quot.sound}, and a gcd-free rational arithmetic layer makes the entire verdict computation kernel-reducible, so each per-graph non-embeddability result is a closed kernel theorem proved by decide. The formalization surfaced findings about the published pipeline, including a load-bearing injectivity side condition in its embeddability notion, hidden WLOG case obligations invisible to Z3-based workflows, and an unreproducible candidate count that we resolve against the published artifacts. All certificates, checkers, and proofs are available and replayable from a single build.
Read the full abstract

Plasma Physics

Phase control of multi-photon electron-positron pair creation from vacuum

We investigate the creation of electron-positron pairs by two spatiotemporally inhomogeneous electric fields with a relative phase, employing computational quantum field theory. We find that, when the two fields are closely spaced, the pair yield exhibits a cosine-like dependence on the relative phase. This suggests that the relative phase provides an effective way to enhance multi-photon transition channels. Furthermore, our analysis reveals that the response of pair-creation channels to the relative phase changes substantially with the photon order of the transition. For one-photon transitions, the rate exhibits a $2\pi$ periodicity, whereas a reduced periodicity of $\pi$ is observed for two-photon transitions. To clarify the underlying mechanism, we map the quantum field-theoretical framework onto a time-dependent perturbation approach. By extending this approach to $n$-photon processes, we show that the transition probability is periodic in the relative phase with period $2\pi/n$. This observation suggests that the relative phase offers an effective means of identifying the order of multi-photon transitions.
Read the full abstract

All authors C. K. Li, X. X. Zhou, B. An, Y. J. Li, N. S. Lina, Y. Wan

Statistical Mechanics

Non-Hermitian Random Matrix Theory of Jamming in Active Disordered Media

We develop a theoretical framework for the mechanics of active jammed systems based on non-Hermitian random matrix theory. Starting from a microscopic model of active particles with non-reciprocal interactions, we formulate the linearized dynamical matrix as a non-Hermitian perturbation of a Wishart ensemble describing the passive contact network. Using Girko's Hermitization together with the self-consistent Born approximation, we derive a self-consistent equation for the low-frequency resolvent based on the full Marchenko–Pastur distribution. We show that active non-reciprocity regularizes the soft-mode divergence at the jamming transition, leading to a scaling law for the mechanical compliance. We further establish a crossover between perturbative and activity-dominated regimes and propose a corresponding scaling form near the active jamming point.
Read the full abstract

Optics

Self-similar rigid rotation in anisotropic squeezed Laguerre–Gaussian beams

We introduce anisotropic squeezed Laguerre–Gaussian beams as an analytically complete family of structured paraxial scalar beams with Gouy-phase-controlled rigid rotation. Our construction organizes the Laguerre–Gaussian transverse modal Hilbert space into circular modal subspaces carrying parity-resolved single-mode $\mathrm{su}(1,1)$ representations. The resulting optical Bargmann bases support squeezed states whose lowest-weight forms factor into Gaussian beam phases, parity-dependent polynomials, and elliptically anisotropic Gaussian envelopes. Excited seeds are polynomial deformations of the same squeezed envelope, extending the analytic construction to the full family. The Gouy-dressed squeezing parameter sets the semi-axis widths, aspect ratio, handedness, and orientation, while propagation rotates the profile by the accumulated Gouy phase without changing the scaled transverse shape. We generate these fields with synthetic phase holograms and experimentally confirm their self-similar rigid rotation. Our scalar-beam family provides a tunable anisotropic structured-light platform whose transverse orientation encodes propagation distance and may support axial localization, range finding, optical manipulation, and modal diagnostics.
Read the full abstract

Mathematical Physics

Towards First Quantisation Formalism for AKSZ Theories

\noindent Given an AKSZ theory $\mathbb{T}$ on a manifold $M$, with target a graded vector space $Y$, we formulate a 1-dimensional theory $\mathbb{t}$ on graphs (the “first quantisation picture for $\mathbb{T}$”), whose partition functions reproduce the Feynman graphs of $\mathbb{T}$. More precisely, the theory $\mathbb{t}$ is itself a 1d AKSZ theory with the target built out of $M$, and involving a coupling to 1d supergravity. It yields a form on the space of metric graphs (with length $T$ of an edge and its de Rham differential $\mathrm{d} T$ interpreted as the zero-modes of the graviton and gravitino, respectively); its integral yields the sum of Feynman graphs of $\mathbb{T}$. We study the theory $\mathbb{t}$ in the BV-BFV formalism; a gauge-fixing of $\mathbb{T}$ corresponds to a gauge-fixing of $\mathbb{t}$. At the classical level, $\mathbb{t}$ assigns to vertices certain Lagrangian submanifolds $L_k$ in Cartesian powers $\Phi^{\times k}$ of the phase space $\Phi$ of $\mathbb{t}$. These submanifolds can be thought of as defining a cyclic $\mathrm{L}_\infty$-algebra in Weinstein's symplectic category (“dequantising” the cohomological vector field on the target %target AKSZ dg structure of $\mathbb{T}$). In the path integral construction of $\mathbb{t}$, Lagrangians $L_k$ determine sewing conditions for fields on the incident edges at a $k$-valent vertex. We give examples of this paradigm, such as when $\mathbb{t}$ on edges is the Witten-Morse supersymmetric quantum mechanics (which corresponds to a particular type of gauge-fixing for $\mathbb{T}$ and $\mathbb{t}$). In the example where $\mathbb{T}$ is the non-abelian Chern–Simons theory with structure Lie algebra $\mathfrak{su}(2)$, we describe the vertex Lagrangian $L_{\mathrm{W}}$ (the “Wigner Lagrangian” ).
Read the full abstract

Mesoscale and Nanoscale Physics

Current-Driven Magnetization Switching via Zhang-Li Torque

Current-driven magnetization switching is currently governed by two established mechanisms: the Slonczewski spin-transfer torque (STT) and the spin-orbit torque (SOT). Here we identify the Zhang-Li STT as a third mechanism that operates on a different physical footing. Using micromagnetic simulations, we show that the interfacial Dzyaloshinskii-Moriya interaction (iDMI) inevitably creates spatial magnetization gradients at device edges, enabling the Zhang-Li torque to drive deterministic, field-assisted switching that fully reproduces all hallmark behaviors of SOT, including polarity control and effective-field characteristics. Our work establishes the Zhang-Li torque as an autonomous switching pathway, redefining the physical picture of current-induced magnetization reversal and providing new design principles for spintronic devices.
Read the full abstract

All authors Shuai Li, Maokang Shen, Liuyu Tang, Weiwei Lin, Kaiming Cai, Tao Wang, Tianli Jin, Yue Zhang

General Relativity and Quantum Cosmology

Charged Dirac stars

In this work we solve the coupled Einstein-Dirac-Maxwell (EDM) system for static spherically symmetric configurations of two fermions in a singlet spinor state within the $3+1$ formalism of general relativity. We find different families of stationary self-gravitating solutions for the Dirac field through a numerical shooting method for different values of the electric charge parameter q. Furthermore, we investigate the effect of the charge q on the binding energy, mass, radius, and compactness of the solutions. We show that gravitationally bound configurations exist only for $q<m$, with m the mass of the Dirac field, and that the mass frequency relation exhibits the characteristic spiral structure previously found for bosonic fields of spin $s=0$ and $s=1$. We are able to show that some of these gravitationally bound configurations have a compactness comparable to that of neutron stars. With these results, we conclude that at least at the classical level, self-gravitating fields with different spins $s=0,1/2,1$ share some common characteristics when they are coupled to gravity. As has been previously shown for the case of bosonic stars, we also find some super-critical solutions with q slightly larger than m. Such super-critical solutions correspond to configurations such that in the Newtonian regime the Coulomb repulsion overcomes the gravitational attraction, and as such they would not be expected to exist. Nevertheless, even if they do exist in the general relativistic case for a limited range of values of $q>m$, we find that they are always gravitationally unbound.
Read the full abstract

Cosmology and Nongalactic Astrophysics

No way ou$\tau$: Epoch of Reionization Observations Do not Support Large Values of the Optical Depth to Reionization

Recent cosmological analyses combining high-redshift cosmic microwave background (CMB) measurements with low-redshift baryon acoustic oscillation (BAO) data have reported a preference for dynamical dark energy, with the cosmological constant scenario ($\Lambda$CDM) disfavored at the $\sim 3\sigma$ level. These analyses, however, typically rely on large-scale CMB polarization measurements to constrain the optical depth to reionization $\tau_{\rm reio}\sim 0.06$, raising the question of whether potential systematics in this dataset could influence the inferred cosmological preference. Excluding large-scale polarization data substantially weakens the tension with $\Lambda$CDM to the $\lesssim 2\sigma$ level, nevertheless at a price of increasing $\tau_{\rm reio}$ significantly to $\sim 0.09$. Here, we use a physically motivated Gompertzian reionization framework to perform a self-consistent Bayesian analysis combining CMB (excluding large-scale polarization data), BAO, and independent measurements of the neutral hydrogen fraction evolution from quasar damping wing observations and dark pixel constraints. We derive $\tau_{\rm reio} = 0.067 \pm 0.011$ (dynamical dark energy scenario) in good agreement with cosmological analyses that would include large-scale CMB polarization data, while the inferred reionization history is consistent with multiple observational constraints. Our analysis recovers a preference for dynamical dark energy at the $\gtrapprox2\sigma$ level. These results demonstrate that astrophysical probes of reionization independently recover the optical depth required by CMB polarization measurements, suggesting that potential systematics in large-scale polarization alone are unlikely to fully explain the emerging preference for dynamical dark energy.
Read the full abstract

Fluid Dynamics

Thermal convection in one, two, three and four dimensions

We study by means of direct numerical simulations the influence of the dimensionality of convection on flow properties. We call attention to a few general principles from considering in totality the results from one dimension, two dimensions, three dimensions and four dimensions. In particular, we explore two practical aspects: (1) the transient time, or the amount of time it takes for the flow to reach the steady state; and (2) possible implications for the so-called ultimate state.
Read the full abstract