Mathematical Physics · Cross-listed from math.AP
Diffeological Tangent Spaces and Distributional Linearization for Lifted Euler–Reynolds Limits
Alireza Ahmadi, Jean-Pierre Magnot and Bijan Davvaz
We develop a diffeological framework for the geometry of Euler–Reynolds subsolutions of the incompressible Euler equations. Passing to a lifted formulation in which the velocity, quadratic flux, and trace-free Reynolds stress are treated as independent variables, we construct a diffeological limit space obtained as the weak closure of smooth strict subsolutions. Its internal tangent spaces provide an intrinsic notion of infinitesimal deformation despite the absence of any underlying
manifold structure. We prove that ambient realizations of internal tangent vectors satisfy the linearized Euler–Reynolds equations in the sense of distributions, thereby establishing a natural first-order theory for lifted weak limit spaces. We further describe the tangent directions compatible with the Euler locus and identify the kernels of the natural velocity, flux, and full-state observables. These results distinguish observable perturbations from hidden stress-gauge directions that encode infinitesimal variations of the Reynolds stress. Finally, we introduce a finite-mixture model for lifted Euler–Reynolds states whose differential realizes explicit tangent directions and relates Reynolds stress to infinitesimal phase splitting. Under a genericity assumption, every deviatoric stress tensor is realized by such a first-order mixture defect, yielding phase-counting bounds and a minimality result for the observable hierarchy.
Read the full abstract ▾
Mathematical Physics · Cross-listed from quant-ph
Unitary-orbit classification and a refinement theorem for context-independent projective probabilities
Michael P. Rubin
Let $\mathcal H$ be a finite-dimensional complex
Hilbert space, and let $w(P,\mathsf M)$ be a normalized probability weight assigned to an outcome projection $P$ as it occurs in a projective measurement $\mathsf M$. For fixed $P$, let $G_P\cong\mathcal U(P^\perp)$ be the group of
unitaries acting identically on $\operatorname{ran}P$ and arbitrarily on $P^\perp$. We classify the $G_P$-orbits of projective measurements containing $P$: two measurements lie in the same orbit exactly when the multisets of ranks of their complementary outcomes agree. The orbit with profile $\lambda=(r_1,\ldots,r_k)$ is a compact homogeneous space of real dimension $(d-\operatorname{rank}P)^2-\sum_j r_j^2$. On maximal rank-one measurements there is one orbit, so context independence is equivalent to $G_P$-invariance, with equality of the corresponding uniform defects; invariance under two-level complementary
unitaries already suffices. For arbitrary projective measurements, every context containing an outcome $P\neq I$ coarsens to the unique binary context $\{P,I-P\}$. Consequently, refinement consistency alone is equivalent to context independence. The finite orbit space carries a natural rank-profile refinement graph, whose diameter is $d-\operatorname{rank}P-1$ when $P\neq I$. We prove a stability
theorem that compares the binary-coarsening path with a shortest path in this graph followed by one complementary
unitary. In dimension at least three, Gleason's
theorem converts the maximal-context invariance condition and the all-context refinement condition, on their respective domains, into the Born form $\operatorname{Tr}(\rho P)$. The results are structural characterizations, not independent physical derivations of context independence.
Read the full abstract ▾
Mathematical Physics
Antonio J. Pan-Collantes and Xuefeng Zhao
We develop an integrability framework for
Hamiltonian dynamics on con-locally conformal symplectic (COLCS)
manifolds, odd-dimensional quadruples $(M,\Omega,\theta,\eta)$ where $d\Omega=\theta\wedge\Omega$, a closed $1$-form $\eta$ determines a codimension-one distribution on which $\Omega$ is non-degenerate, and $R$ is the Reeb vector field satisfying $\iota_R\Omega=\iota_R\theta=0$, $\iota_R\eta=1$. This class simultaneously generalises LCS and cosymplectic
manifolds and provides a natural arena for time-dependent
Hamiltonian systems with twisted differential $d^\theta=d-\theta\wedge$. The COLCS bracket is introduced on $C^\infty(M)$ and shown to be a Lie bracket that induces Poisson structures on the subalgebras of $\theta$-strong ($\theta(X_H)=0$) and $R$-strong ($R(H)=0$) functions. A Lie-type integrability
theorem is then established: given $2n-k$ functionally independent first integrals with $k$ of them $\theta$-strong and generating a solvable Lie
algebra under the COLCS bracket, the flow is integrable by quadratures on the common level set. Finally, scaling
symmetries of degree $(\Lambda,\beta,\gamma)$, defined by $L_X\Omega=\beta\Omega$, $L_XH=\Lambda H$, $L_X\eta=\gamma\eta$, are studied: they rescale $X_H$ by $(\Lambda-\beta)$, generate families of first integrals, and imply structural primitives for $\Omega$ and $\eta$.
Read the full abstract ▾
Mathematical Physics · Cross-listed from math.QA
3-dimensional TQFTs from derived categories of quantum group representations
Cris Negron
For any finite modular tensor category A, we show that the associated derived $\infty$-category D(A) supports a topological
quantum field theory in dimension 3. This TQFT takes the form of a symmetric monoidal functor from an $\infty$-category of surfaces with markings by objects in D(A), and appropriately decorated bordisms, to the $\infty$-category of dg vector spaces. We show that the state spaces in this theory are naturally identified with linearized mapping spaces for D(A). Though our TQFT requires markings from the derived $\infty$-category, we show that all markings can be removed after taking a homotopy truncation. The resulting unmarked TQFT produces projective mapping class group actions on cohomology in dimension 2, and in particular a projective SL_2(Z)-action on Hochschild cohomology. We expect these mapping class group actions to recover those of Lentner et al. arxiv:2003.06527 and Schweigert-Woike arxiv:2004.14343. In dimension 3 we obtain power-series valued
knot invariants, and power-series valued invariants for modular tensor categories. We also obtain power-series invariants for closed 3-
manifold, though these can already be calculated at the abelian level. Our derived field theories are proposed as mathematical formalizations for topological A-twists of certain N=4 supersymmetric QFTs, in dimension 3. Following physical principles, we discuss the possibility of deforming our TQFTs along local systems via an analogous (conjectural) deformation of
quantum group representations along the Langlands dual group.
Read the full abstract ▾
Mathematical Physics · Cross-listed from hep-th
Recursion Coefficients and Krylov Dynamics in Polynomial Random Matrix Models
Juan F. Pedraza and Le-Chen Qu
We study the recursion coefficients of orthogonal
polynomials and their associated Krylov dynamics in random
matrix models with high-degree and possibly asymmetric
polynomial potentials. We develop a moment recursion method that, when combined with the recursive
algorithm, provides an efficient construction of the recursion coefficients. We also obtain their large-$n$ asymptotic behavior for general asymmetric potentials; for $Nw_d=1$, the leading asymptotic form of $R_n$ reproduces Freud's
conjecture. We apply this framework to an asymmetric quartic potential and to the double-scaled Sachdev-Ye-Kitaev (DSSYK) model. In both models, the recursion functions capture the overall qualitative behavior of the recursion coefficients, and the gradient catastrophes of the recursion functions are associated with “chaotic” transition regions in the recursion coefficients. For the quartic potential, such regions can occur in both $R_n$ and $S_n$, whereas the DSSYK model can exhibit multiple transition regions in $R_n$, with the recursion function remaining accurate in the smooth intervals between them. Finally, we compute the corresponding spread complexity and find that transition regions do not qualitatively modify its behavior, while a two branch structure produces early time oscillations followed by monotonic growth.
Read the full abstract ▾
Mathematical Physics · Cross-listed from quant-ph
Global Non-Identifiability of Fubini-Study Geometry from Complete One-Period Endpoint Data
Rashid Ahmad
We establish a global, worst-case non-identifiability
theorem for periodically driven finite-dimensional
quantum systems. On the unrestricted smooth periodic
Hamiltonian class, we show that the period-averaged Fubini-Study metric component of a fixed initial state cannot, in general, be reconstructed from exact one-period propagators indexed by every starting time and external parameter. Thus, even complete starting-time-resolved endpoint data are insufficient to determine this intra-period
geometric quantity. The obstruction is characterized exactly. The starting-time-indexed endpoint data determine the conjugation path of the monodromy, but not its particular
unitary lift. On each fixed-monodromy slice, the observational fibres are precisely the right orbits generated by smooth parameter-dependent based loops taking values in the pointwise centralizer of the monodromy. The Fubini-Study functional is not invariant under this fibre action and therefore does not factor through the endpoint observation map. An explicit real-analytic two-level witness demonstrates the obstruction within a commuting, one-generator
Hamiltonian family, so neither non-Abelian time ordering nor Floquet-logarithm ambiguity is required. A continuous family of
Hamiltonians produces identical starting-time-indexed one-period endpoint data while yielding different, and on the unrestricted class arbitrarily separated, period-averaged Fubini-Study geometry. Non-identifiability persists under any prescribed uniform bound on the parameter derivative of the
Hamiltonian. The result is a deterministic global statement, not a claim of generic non-identifiability or experimental impossibility. It identifies a precise information gap between complete one-period endpoint data and full intra-period dynamics: the missing information is the
unitary lift of the observed monodromy path rather than ordinary scalar phase freedom.
Read the full abstract ▾
Mathematical Physics · Cross-listed from hep-th
Ricci-flat metrics from gauged linear $\sigma$-models without RG flow
Dmitri Bykov, Ondrej Hulik, Ulf Lindström et al. (+2 more)
We investigate a class of Ricci-flat Kähler metrics on generalized conifolds constructed via gauged linear sigma models (GLSMs) with indefinite signature. By introducing shadow coordinates (superfields) entering the sigma model with negative signature kinetic term, we show that these GLSMs yield explicit Ricci-flat metrics on complex cones over products of projective spaces. We provide a general formula for the resulting Kähler potentials, along with detailed examples. Our results suggest new directions for the study of Calabi-Yau metrics and toric geometry, and raise interesting questions about the
geometric meaning of indefinite signature models. We also give an interpretation in terms of a novel generalized Kähler gauging.
Read the full abstract ▾
All authors Dmitri Bykov, Ondrej Hulik, Ulf Lindström, Martin Roček, Rikard von Unge
Mathematical Physics · Cross-listed from quant-ph
Decoupling 2D translation-invariant topological CSS codes
Yifei Wang, Zhongyi Ni, Mingxin He et al. (+2 more)
Two-dimensional translation-invariant topological CSS codes on
qubits are known to be locally equivalent, after coarse-graining, to stacks of toric codes. However, existing constructions generally break more translation
symmetry than is required to remove anyon-permuting translations, leaving open whether any further obstruction exists. We prove that no such obstruction occurs: after passing to the maximal anyon-preserving superlattice, every such code admits a local
unitary decoupling into toric codes and product states. We further provide an efficient
algorithm for explicitly constructing the decoupling map, together with bounds on the required supercell size and operator spreading. The decoupling requires no additional ancillas in generic cases and extends to finite systems with suitable boundary conditions.
Read the full abstract ▾
All authors Yifei Wang, Zhongyi Ni, Mingxin He, Jinguo Liu, Yingfei Gu
Mathematical Physics · Cross-listed from quant-ph
From Koszul-Complex Stabilizer Models to Superselection Profiles: Topological Rigidity and Nonsplit Extensions
Hao Song
Koszul-complex stabilizer models unify the toric-code hierarchy and bivariate-bicycle codes in one homological framework. To study translation-
symmetry-enriched topological (SET) phases in these models and, more generally, in translation-invariant Calderbank-Shor-Steane (CSS) codes with stabilizer maps $(\varphi_X,\varphi_Z)$, we introduce the associated topological superselection profile $\mathscr S_\sigma:=\tau_{\geq1}\mathbf R\!\operatorname{Hom}_R(\overline{\operatorname{coker}\varphi_\sigma},R),\ \sigma=X,Z$. Its cohomology layers $E_\sigma^\ell:=H^\ell(\mathscr S_\sigma)\cong_R\operatorname{Ext}_R^\ell(\overline{\operatorname{coker}\varphi_\sigma},R)$ encode sectors, fusion, and translation action. When finite, the $\ell=1,2,\ldots$ layers describe pointlike, looplike, and higher-dimensional excitations; $\mathscr S_\sigma$ retains inter-layer gluing. For regular Koszul models, we compute $E_\sigma^\ell$ explicitly, find $\mathscr S_\sigma$ single-layer, and obtain finite-size $Z$-logicals from $\operatorname{Tor}$. Single-layer means that at most one positive-degree layer $E_\sigma^\ell$ is nonzero. Our
matrix-level Schanuel-lemma method proves rigidity: under a finite-resolution hypothesis, the nonzero layer and degree uniquely determine a topological CSS code's translation SET order at the stable translation-invariant Clifford level. For
prime qudits the hypothesis is automatic, and a finite layer's translation kernel gives the exact minimal coarse graining to a toric-code stack. We realize admissible single-layer data. Beyond this regime, split and nonsplit extensions of 3D
qubit toric codes yield eight models sharing all identical $E_\sigma^\ell$ layers with trivial translation action but having distinct size-dependent ground-state degeneracies, hence distinct translation SET phases. Thus inter-layer gluing carries SET data invisible to individual layers.
Read the full abstract ▾
Mathematical Physics · Cross-listed from math.PR
Rooted Gibbs-DLR Measures in Planar Directed Polymers
Christopher Janjigian, Firas Rassoul-Agha and Timo Seppäläinen
We study rooted Gibbs-DLR measures in the directed
polymer model on $\mathbb{Z}^2$ with an ergodic disorder distribution which satisfies an additional mild hypothesis. We prove that the set of extremal rooted Gibbs-DLR measures is closed and totally ordered, characterize extremality in terms of path coalescence, and show that each fully supported extremal rooted Gibbs measure canonically generates a globally consistent and coalescing family of extremal rooted Gibbs measures indexed by all
lattice sites. These families are, moreover, totally ordered. Building on this structure, we prove strong existence and strong uniqueness of the associated Busemann process, together with an $L^1$ continuity
theorem for the shift-covariant Busemann cocycles which is joint in the inverse temperature, the tilt parameter, and the random environment. This yields, as a corollary, in-probability continuity of the generated extremal Gibbs measures corresponding to directions of differentiability under bounded i.i.d. perturbations of the weights. In positive temperature, it shows in-probability convergence of the generated extremal Gibbs measures. At zero temperature, it also yields quenched subsequential large deviation principles for the corresponding positive-temperature rooted Gibbs-DLR measures on path space. The rate functions are determined by a zero-temperature Busemann cocycle and vanish precisely on the infinite geodesics generated by that cocycle.
Read the full abstract ▾
Mathematical Physics · Cross-listed from quant-ph
An upper bound for the purity of absolutely positive partial transpose states
Anh T. Tran
A
quantum state is called absolutely separable (resp. absolutely positive partial transpose (APPT)) if it remains separable (resp. positive partial transpose (PPT)) under any global
unitary transformation. It is known that the set of all absolutely separable states is a subset of the set of all APPT states. Moreover, these two sets are identical for
qubit-qudit systems. In this note, we give an upper bound for the purity of APPT bipartite states (and therefore for the purity of absolutely separable bipartite states). For
qubit-qudit systems, this upper bound becomes the maximum purity of APPT (and absolutely separable) states.
Read the full abstract ▾
Mathematical Physics · Cross-listed from math.AT
Preferential Attachment as a Simpliciality-Enforcing Mechanism in Hypergraphs
Jason LaRuez and Brendan Rooney
Higher-order networks, represented as hypergraphs, enable direct modeling of multi-body interactions of arbitrary size. Hypergraph representations of real-world systems have been observed to exhibit high simpliciality — the tendency for subsets of hyperedges to also appear as hyperedges — yet the generative mechanisms responsible for this structure are poorly understood. We introduce a generalized preferential attachment hypergraph model in which both hyperedge size $Y_t$ and the number of new nodes per step $X_t$ are drawn from arbitrary distributions, and derive analytically, using a mean-field approximate master equation approach, that the stationary hyperdegree distribution follows a power law whose exponent depends only on the ratio $p = E[X_t]/E[Y_t]$, independent of the shapes of the underlying distributions. Crucially, both $X_t$ and $Y_t$ can be estimated directly from any timestamped hypergraph
dataset via a backward-stepping procedure, enabling the model to be fit without parametric assumptions. Applying a nonlinear extension of the model to eight real-world hypergraph
datasets, we find that the simplicial fraction increases monotonically with the strength of preferential attachment up to the gelation transition at $\alpha > 1$, establishing preferential attachment as a simpliciality-enforcing mechanism.
Read the full abstract ▾
Mathematical Physics
The determinant of the Dirichlet-to-Neumann map for a surface with boundary and periods of holomorphic differentials on its double
Dmitrii Korikov and Alexey Kokotov
Let $(M,g)$ be a smooth orientable $2d$ Riemannian
manifold of genus $\mathfrak{g}$ with Riemannian metric $g$ and connected boundary $\Gamma$. Let $\Lambda$ be the Dirichlet-to-Neumann map on $\Gamma$ and let ${\rm det}_\zeta(\Lambda)$ be its (modified, i. e. with zero mode excluded) $\zeta$-regularized determinant. It is well-known that the quantity ${\rm det}_\zeta(\Lambda)/|\Gamma|$ (where $|\Gamma|$ is the length of $\Gamma$) is a conformal invariant. It was shown by Edward and Wu (\cite{EV}) that this invariant equals one for $\mathfrak{g}=0$; in the case $\mathfrak{g}>0$ Guillarmou and Guillopé \cite{Guillarmou} found two explicit expressions for this invariant through the Rouelle and (respectively) the Selberg zeta-functions of the two surfaces of negative constant
curvature from the conformal class of $(M,g)$: one is of infinite volume and complete whereas another has geodesic boundary. We present an elementary counterpart of the formulae of Guillarmou and Guillopé using the periods of holomorphic differentials on the double $2M$ of $M$ only. Our approach is based on the properties of the
Hilbert transform of $M$ \cite{B,HilbKor} and the Kontsevich-Vishik-Friedlander-Guillemin regularization of the determinants of pseudodifferenial operators \cite{KV,Ww,F}. In particular, a connection between the length spectra of (uniformized) $M$, $2M$ and the periods of holomorphic differentials on $2M$ is established.
Read the full abstract ▾
Mathematical Physics · Cross-listed from quant-ph
A Design Space Study of Density Matrix Parameterizations for Diffusion-Based Quantum State Tomography
Shuangu Chang
Diffusion-based
quantum state
tomography (QST) has shown promising results, but all existing methods implicitly adopt a single parameterization (typically Cholesky) without systematic evaluation. We present the first design space study of density
matrix parameterizations for
diffusion QST, introducing a
geometric framework based on the Jacobian Gram
matrix $\mathbf{J}^\top\mathbf{J}$. Our calibration of seven parameterizations at 2- and 3-
qubit scales, validated by end-to-end training, reveals that
geometric conditioning alone does not predict end-to-end performance: at 3-
qubit scale, Hermitian direct ($\kappa = 2.0\times$) performs worse than Cholesky ($\kappa = 27\times$) at all shot levels—a $13.5\times$ isotropy advantage that translates into a fidelity disadvantage of up to $+0.51$. The 2-
qubit ranking (Hermitian $>$ Bloch) reverses at 3
qubits (Bloch 0.907 vs.\ Hermitian 0.394). We provide a
geometric explanation: unbounded parameterizations suffer projection-induced information loss because the PSD constraint couples diagonal and off-diagonal coordinates in ways the unconstrained model cannot respect, whereas the Bloch representation places the maximally mixed state at the center of the valid region, minimizing projection loss.
Read the full abstract ▾
Mathematical Physics
Eigenvalue asymptotics for the one-particle density matrix and one-particle kinetic energy density operator
Søren Fournais and Alexander V. Sobolev
Let $\psi({\mathbf x})$, ${\mathbf x} \in{\mathbb R}^{3N}$, be an eigenfunction of the $N$-particle atomic Schrödinger operator. We consider the one-particle density
matrix $\gamma(x, y)$ and one-particle kinetic energy density $\varkappa(x, y)$, $x, y\in {\mathbb R}^3$, associated with the eigenfunction $\psi$. Both functions play a central role in
quantum chemistry computations of atomic and molecular bound states: the knowledge of the
eigenvalue behaviour of the integral operators ${\sf{\Gamma}}$ and ${\sf{K}}$ with kernels $\gamma(x, y)$ and $\varkappa(x, y)$ serves to estimate the errors due to finite-dimensional approximations. We find the following asymptotic formulas for their
eigenvalues $\lambda_k({\sf{\Gamma}})>0$ and $\lambda_k({\sf{K}})>0$: \[ \lim_{k\to \infty} k^{\frac{8}{3}} \,\lambda_k({\sf{\Gamma}}) = A^{\frac{8}{3}},\quad \lim_{k\to \infty} k^2\,\lambda_k({\sf{K}}) = B^2, \] where $A$ and $B$ are non-negative constants given explicitly in terms of the eigenfunction $\psi$. These asymptotics are determined by the singularities of the function $\psi$ at pair coalescence points of the particles. To identify and isolate these singularities we use some recent regularity results for $\psi$. At the last step we apply Birman-Solomyak spectral asymptotics results for pseudodifferential operators with homogeneous symbols. In the special case where the eigenfunction $\psi$ is totally antisymmetric, it exhibits enhanced regularity, which leads to a faster decay of the
eigenvalues $\lambda_k(\sf{\Gamma})$ and $\lambda_k(\sf{K})$. The asymptotic formulas take the form \[ \lim_{k\to \infty} k^{\frac{10}{3}} \,\lambda_k({\sf\Gamma}) = \big(A_{asym}\big)^{\frac{10}{3}},\quad \lim_{k\to \infty} k^{\frac{8}{3}} \,\lambda_k({\sf K}) = \big(B_{asym}\big)^{\frac{8}{3}}, \] where $A_{asym}$ and $B_{asym}$ are non-negative constants given explicitly in terms of the gradient of $\psi$.
Read the full abstract ▾
Mathematical Physics · Cross-listed from math.NA
Second order unfitted ghost-FEM for elliptic interface problems with applications to low-dimensional semiconductor devices
Clarissa Astuto and Giovanni Nastasi
We develop an unfitted ghost finite element method for elliptic interface problems with discontinuous
diffusion coefficients and apply it to the electrostatic simulation of low-dimensional
semiconductor devices. The proposed approach is based on a fixed Cartesian grid and represents the geometry by level-set functions, avoiding mesh generation and remeshing even in the presence of interfaces. A snapping-back-to-grid strategy is used to control the small-cut-
cell issue, while interface conditions are weakly enforced by a symmetric Nitsche formulation. The method is first validated on
benchmark elliptic interface problems with different geometries and coefficient jumps, showing second-order accuracy for the solution and first-order accuracy for its gradient. As an application, we consider a
graphene field-effect transistor described by a self-consistent drift-
diffusion-Poisson model. The electrostatic potential is computed in a two-dimensional oxide/
graphene/oxide structure, while charge transport in the
graphene layer is modeled by one-dimensional bipolar drift-
diffusion equations in the degenerate case and by including a field-dependent mobility model. The coupled nonlinear system is solved by a damped fixed-point iteration combined with a domain-decomposition treatment of the three-layer geometry. Numerical simulations reproduce transfer characteristics with a clear transition from an OFF state to an ON state and show the influence of the gate voltage on the two-dimensional electrostatic potential. The results also indicate that the effective thickness and discretization of the
graphene layer affect the transverse potential profile, supporting the use of a full two-dimensional electrostatic description with explicit oxide/
graphene interface conditions.
Read the full abstract ▾
Mathematical Physics · Cross-listed from cond-mat.str-el
Geometrical approach and topological electron density in the $p_x + ip_y$ superconductor
Karyn Le Hur, Kabir Narayanan and Óscar Mañas Chambert
We present an analysis on the geometrical and physical nature of the $p_x + ip_y$
superconductor on the square
lattice, with an emphasis on the topological phase transition at half-filling. We develop a local topological marker from specific Dirac points within the Brillouin zone, which is introduced via the addition of two one-dimensional (1D) $\mathbb{Z}$ $(\mathbb{Z}_2$) invariants defined on the Bloch sphere. We relate this topological marker to the electron spectral function integrated on frequency through the local momentum-resolved electron density, which may be measured via Angle Resolved Photoemission Spectroscopy (ARPES), and show that it remains well-protected including temperature effects. Integrating on a small area around a specific point in momentum space associated to the measure uncertainty, this also reveals the Van Hove logarithmic profile of the density of states in the derivative of the local marker while preserving the topological information. Topological transitions correspond to a protected semi-metal. We analyse the real space representation of this topological marker from correlation functions. We present physical responses such as the topological superfluid density.
Read the full abstract ▾
Mathematical Physics · Cross-listed from quant-ph
Quantum uncertainty in a macroscopic domain
Othman Q. Malhas and Bacim Alali
We develop a classical model-theoretic representation of partial Boolean
algebras and use it to formulate
quantum-like uncertainty without abandoning classical propositional logic. Given a surjection from the initial formulæ\ of a propositional
language onto a partial Boolean
algebra $(\mathcal V,\Pi)$, we construct a consistent theory $\mathcal T_g$ whose core—the ordered set of equivalence classes of initial formulæ—is isomorphic to $(\mathcal V,\Pi)$. Its models are characterized as upward-closed clusters, yielding a model-theoretic formulation of KS-colourability: an $n$-dimensional partial Boolean
algebra is KS-colourable exactly when the induced theory has a model meeting every pre-frame in one primitive formula. For finite-spectrum observables, uncertainty is defined by the number of locally admissible atomic outcomes. Dispersion-free models are characterized by the singleton pre-frame condition. With an additional measurement-update postulate, a finite example shows how measurement of an incompatible observable can destroy sharpness, providing a model-theoretic form of back-action. A $12$-vertex partial Boolean
algebra is KS-colourable, whereas a rigorously constructed $140$-vertex, four-dimensional partial Boolean
algebra is not, as shown by a parity argument; its incidence structure is isomorphic to the Peres $24$-ray, $24$-basis configuration in $\mathbb R^4$. Macroscopic interpretations show that these phenomena arise from the organization of propositions and models rather than from nonclassical deduction. Finally, we relate certain models to the probability-one propositions of pure states and density operators, while emphasizing that such certainty models do not determine the full
quantum state.
Read the full abstract ▾
Mathematical Physics
Theoretical analysis of the maximum range of a projectile released from a pendulum
Ken Yamamoto
The motion of a projectile released from a simple pendulum is analyzed, with particular emphasis on investigating the optimal release angle that maximizes the horizontal range and the corresponding maximum range. This system serves as a simplified model of the Tarzan jump problem. Using simple analytical methods, the optimal release angle is shown to be characterized by a cubic equation and to increase with the initial velocity. In addition, asymptotic expressions for both the optimal angle and maximum range are derived in the limits of low and high initial velocity.
Read the full abstract ▾
Mathematical Physics · Cross-listed from cond-mat.stat-mech
Scalene Yang–Baxter triples as a source of hidden symmetries beyond the ordinary Yang–Baxter equation
Pramod Padmanabhan, Somnath Maity and Vladimir Korepin
We study a nearest-neighbor non-Hermitian
spin chain obtained from one member of an exact non-braided scalene Yang–Baxter triple. Its local
Hamiltonian density violates both the difference-form Reshetikhin condition and its general non-difference counterpart, obstructing its realization by a differentiable homogeneous regular solution of the ordinary Yang–Baxter equation. The transfer
matrices constructed from the regular member do not commute among themselves at distinct spectral parameters. Nevertheless, the scalene Yang–Baxter relation implies cross-commutativity with another transfer
matrix constructed from the third member of the scalene triple. We evaluate the latter for arbitrary chain length and show that, on even periodic chains, it is a finite generating function of a non-obvious staggered nilpotent
symmetry. The resulting conserved hierarchy belongs entirely to the
algebra generated by this single
symmetry and hence does not constitute an extensive family of algebraically independent charges. Nevertheless, this example demonstrates that scalene Yang–Baxter triples can act as an algebraic
symmetry-discovery mechanism beyond the ordinary self-commuting transfer-
matrix framework.
Read the full abstract ▾
Mathematical Physics · Cross-listed from nlin.SI
Isochronous and underdamped waveforms of modified Emden oscillators
J. de la Cruz and H.C. Rosu
Bernoulli-type waveforms for modified Emden nonlinear oscillators of arbitrary natural power $q$ are obtained through a generalized commutative factorization approach. These oscillators display a well-defined odd-even dynamical dichotomy, which is discussed in detail: the odd-$q$ cases entail isochronous oscillators whose period $T = 2\pi/\omega$ is independent of amplitude and initial conditions, while the even-$q$ cases display underdamped behavior. The Lagrangian formulation is presented in the Lurie's dissipative description. The isochronous regime and the period of the solutions in the odd case are also confirmed through a generalized polar-coordinate analysis in the spirit of Sabatini's work. The absence of periodic orbits for even $q$ is shown to be a consequence of the Bendixson-Dulac criterion applied to the radial velocity function. Explicit waveforms and their phase portraits are presented for $q = 1, 2, 3, 4$, along with the non exponential envelope formulas for the damped cases and singular-region bounds for the isochronous ones. A few possible applications are also mentioned.
Read the full abstract ▾