arXiv:2602. 07834v2 Announce Type: replace Abstract: The pointwise determinant ratio \[ R_\psi(z)\equiv \log\!
arXiv:2608.22334v1 Announce Type: new Abstract: Near a smooth data manifold, one tangent space summarizes local geometry. At a branch point, the corresponding first-order object is instead a measure...
The paper introduces Solver Agent, an AI framework that uses large language models to perform calculations and proofs in mathematics and theoretical physics, tracking the solution process via a persistent ledger. It applies this framework to study global F‑theory uplifts of Type IIB orientifolds and S‑folds, establishing conditions for Weierstrass models over projective threefolds with terminal ζ_k quotient singularities to yield Ε-factorial elliptically fibered Calabi‑Yau fourfolds. The authors derive fixed‑point contributions to Hodge data and Euler characteristics, demonstrate how these corrections determine localized D3‑brane charges for tadpole cancellation, and illustrate the results with toric hypersurface constructions and methods for four‑form flux analysis in Δ=1 compactifications.
arXiv:2409. 15600v3 Announce Type: replace Abstract: A representation of a molecule or material should be invariant to the symmetries of physics, unique, continuous, efficient and general.
arXiv:2608. 19584v1 Announce Type: new Abstract: We study landscapes for complex-parameterized networks.
arXiv:2607. 04306v1 Announce Type: new Abstract: Distilling a fine-tuned teacher into a LoRA-adapted student is a standard recipe for parameter-efficient compression, but output-level KD does not explicitly control which rank-$r$ weight subspace the adapter occupies.
arXiv:2606. 01443v1 Announce Type: cross Abstract: A central difficulty in training Joint-Embedding Predictive Architectures (JEPAs) is preventing representation collapse.
arXiv:2606. 13823v1 Announce Type: new Abstract: We study training-free fixed-length descriptors for multivariate time series and ask not merely whether such a descriptor performs well, but when it can be expected to work at all.
arXiv:2606. 05957v1 Announce Type: new Abstract: Singular learning theory and information geometry have studied the same parameter spaces in mostly separate vocabularies: the former computes Bayesian invariants in resolved coordinates, the latter works in original coordinates under a non-degeneracy assumption that overparameterised models routinely violate.
The paper investigates the geometry of full conformal prediction (FullCP) regions produced by an empirical energy‑form pairwise score. It shows that convexity of the candidate score alone does not ensure connected FullCP regions, and establishes conditions under which comparison regions share a common minimizer, making the exact conformal region star‑shaped. For power distances with exponent β≥1 the geometry is deterministic, and for β between 1 and 2 explicit Lipschitz bounds allow certified inner and outer radial envelopes with Hausdorff guarantees.
arXiv:2606. 03003v1 Announce Type: cross Abstract: A latent world model built from an equivariant encoder $E$ and an equivariant predictor $f$ inherits a provable symmetry of its training loss: when the world's dynamics genuinely carries a group $G$ acting on latents by an orthogonal representation $\rho(g)$, the one-step prediction relMSE is exactly invariant across the whole group, so fitting the dynamics on a restricted slice of orientations mathematically determines it on the entire orbit (j\v{u} y\=i f\v{a}n s\=an).
arXiv:2605. 29151v2 Announce Type: replace-cross Abstract: We prove real-rootedness for the Poincar\'e polynomial \[ P_n(t)=\sum_{i=0}^{n-3} \dim H^{2i}(\overline{\mathcal M}_{0,n};\mathbb{Q})t^i \] of the Deligne--Mumford moduli space $\overline{\mathcal M}_{0,n}$ of stable $n$-pointed rational curves, proving a conjecture of Aluffi--Chen--Marcolli.
arXiv:2609. 17926v1 Announce Type: new Abstract: The standard geometric derivation of neural scaling exponents takes the intrinsic dimension of a data manifold as its input.