Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.32251

The Same and Not the Same: A Machine-Checked Genealogy of Photochemical Theory

Junyi Gong·Zijie Qiu·Ben Zhong Tang
View original source ↗Read source document ↗Export metadata ↓

Abstract

Chemistry's phenomenological theories multiply with its observables: the same physical reality is repeatedly named in different measurement contexts, and the relations among theories have never had an auditable carrier. Here we present PhotoLean, a machine-checked genealogy of seventeen photochemical and photophysical theories formalized in Lean 4 over a shared kernel. Every pair of theories carries either a verified relation (equivalence, implication, composition with registered premises, definitional certificate) or a registered reason for its absence, covering all 136 pairs. Three adjudications resolve inherited conflations with if-and-only-if boundaries and witnesses: the symmetry factor $β$ equals one-half exactly when reactant and product force constants coincide; Kasha's rule and the Kasha-Vavilov rule agree only under closed quantification with a loss channel; and intensity-only Stern-Volmer data cannot distinguish static from dynamic quenching, whereas the lifetime channel discriminates exactly. As proposition generation shifts to machines, such machine-checked relational ledgers offer a replicable audit layer for theory itself.

Explore related subjects

physics.chem-ph

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Junyi Gong, Zijie Qiu, Ben Zhong Tang. 2026-09-26. The Same and Not the Same: A Machine-Checked Genealogy of Photochemical Theory. https://arxiv.org/abs/2609.32251

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Basis Functions for Time-Dependent Kohn-Sham Inversion

Floquet theory provides insight into the inversion of time-dependent Kohn-Sham density functional theory. Specifically, mathematical derivations show that the fundamental frequencies of a time-dependent wavefunction solution are the leading-order harmonics for the TD-KS state. Numerical tests of the resulting ansatz in 1D and 3D for atomic and molecular cases demonstrate its utility. In particular, low $L_{2}$ errors in the time-dependent density and longitudinal current were found, even though currents were not an explicit optimization objective. In all, the proposed inversion ansatz provides exchange-correlation potentials from time-dependent wavefunctions, is highly interpretable, and may significantly help in the development of nonadiabatic density functionals.

physics.chem-ph↗
arXiv2026

Anomalous pressure-dependent viscosity of basaltic melts and its role in asthenosphere melt accumulation

The asthenosphere's mechanical weakness enables plate tectonics, but its origin is debated. Partial melt has been proposed to cause this softening, yet recent studies suggest that the measured viscosity minimum in basaltic melts, an essential control on melt mobility, is an experimental artifact. Using quantum mechanics-based, machine learning-accelerated molecular dynamics, we extend simulation timescales by more than a factor of 1000 and achieve percent-level precision. We show that basaltic melt exhibits a robust viscosity minimum (approximately 20% below 1-bar values) at approximately 3 GPa, driven by pressure-induced reorganization of aluminum coordination that facilitates shear relaxation while silicon-oxygen polyhedra remain structurally rigid. Our results reveal a depth-dependent rheological transition: melt mobility peaks below approximately 150 km, promoting efficient extraction, but declines sharply during ascent, causing melt to stagnate beneath the lithosphere. This mechanism provides a physical basis for the dual seismic signatures of a melt-depleted deep asthenosphere and a melt-enriched layer near the lithosphere-asthenosphere boundary.

physics.chem-ph↗
arXiv2026

Electronic excitation spectra and recovery of excited states with neural network wave functions

Accurate electronic spectra require both a flexible description of electron correlation and a tractable treatment of the many states contributing to the response. We combine neural network wave functions with the Lorentz integral transform to calculate electronic spectra directly in continuous coordinates, without truncation error from a fixed one-electron basis and with polynomial computational cost per optimization step. Instead of constructing a prescribed set of excited states, the method solves an inhomogeneous Schrödinger equation at a chosen complex energy. This formulation gives access, in principle, to the entire spectrum coupled to a perturbation, including bound excitations and the ionization continuum, without explicitly determining all lower-lying eigenstates. A finite imaginary energy controls the resolution and keeps the response square integrable. Near an isolated bound excitation, the normalized response also recovers the corresponding eigenstate as the width tends to zero. A helium application illustrates the extraction of an excitation energy and oscillator strength. The formulation provides a route from neural descriptions of electronic correlation to spectra beyond a small manifold of low-lying states.

physics.chem-ph↗