arXiv subjects
Publications and source records attributed to Michele Tarquini.
We compute new lower bounds for determinants of $\{\pm 1\}$-matrices of orders $n=51$, $n=107$, $n=111$, $n=115$, and $n=119$, improving previous recorded bounds by $3.1\%$, $0.44\%$, $1.26\%$, $1.68\%$, and $2.12\%$, respectively. We provide the data necessary to construct these matrices.
The snake-in-the-box problem, introduced by Kautz in 1958, asks for the longest induced (chordless) path, called a snake, in the hypercube graph $Q_n$. The maximum length $a(n)$ is known in each dimension $n \leq 8$. We give snakes that are longer than the previous best-known in every dimension from $9$ to $13$, improving the lower bound on $a(n)$. All record-length paths are provided in a computer-verifiable dataset.
Applying machine learning techniques to solving long-standing mathematical conjectures can be particularly challenging due to their extreme reward sparsity. As an illustrative example, we consider Kalai's algebraic Hirsch conjecture and recast the construction of its counterexamples as a sparse-reward reinforcement learning problem on graphs. We propose a constrained options-based HRL framework with an equivariant graph neural network policy, which allows us to learn useful temporal abstractions for this task. We evaluate our approach over a wide range of degrees and demonstrate that it consistently outperforms classical RL algorithms as well as greedy search. By exploiting the hierarchical structure of the problem, we effectively provide a first-of-its-kind application of HRL to a problem in commutative algebra.
Mathematical search problems present a unique challenge for Reinforcement Learning (RL) due to vast search spaces and sparse rewards. In previous works, the Andrews-Curtis (AC) conjecture was established as an illustrative example of such problems. In this work, we identify a critical structural barrier in the AC landscape: a "Two-Hump" distribution, where problem instances are either trivially solvable or effectively impossible, with a scarcity of intermediate "hard-but-solvable" instances required for effective learning. We tackle this challenge through two primary avenues: novel data generation techniques to populate the difficulty gap, and significant algorithmic enhancements including the introduction of supermoves and Transformer-based architectures. We demonstrate substantial performance improvements over previous baselines, and release new comprehensive benchmark datasets including AC-19 (125,192 AC-trivial presentations of varying difficulty with length at most 19) and AC-1M (1,136,154 hard AC-trivial presentations of length at most 30), the first large-scale, publicly available datasets of this kind.
We prove a version of the completeness hypothesis that follows from the coexistence of symmetry and gravity: tree-level gravitational scattering mandates single-particle states in all possible irreducible representations of the symmetry group constructible from a single seed charge. Our main assumption is that the leading high-energy behavior of scattering is universal irrespective of charge, thus satisfying the equivalence principle. Curiously, we discover that these newly-deduced states contribute democratically - that is, with equal interaction strengths - to scattering.
We show that the tree-level spectrum of heavy particles can be directly extracted from the Wilson coefficients of the corresponding effective field theory at low energies. This procedure is exact when the number of resonances is finite, and otherwise approximate. Our results are derived from a new class of analytic dispersion relations that depend nonlinearly on the scattering amplitude and apply to an exceedingly broad class of theories and kinematics.
We prove that symmetry in the presence of gravity implies a version of the completeness hypothesis. For a broad class of theories, we demonstrate that the existence of finitely many charged particles logically necessitates the existence of infinitely many charged particles populating the entire charge lattice. Our conclusions follow from the consistency of perturbative gravitational scattering and require the following ingredients: 1) a weakly coupled ultraviolet completion of gravity, 2) a nonabelian symmetry $G$, gauged or global, whose Cartan subgroup generates the abelian charge lattice, and 3) a spectrum containing some finite set of charged representations, in the simplest cases taken to be a single particle in the fundamental. Under these conditions, the abelian charge lattice is completely filled by single-particle states for $G=SO(N)$ with $N\geq 5$ and $G=SU(N)$ with $N\geq 3$, which in turn implies completeness for other symmetry groups such as $Spin(N)$, $Sp(N)$, and $E_8$. Curiously, a corollary of our results is that the $SU(5)$ and $SO(10)$ grand unified theories have precisely the minimal field content needed to derive completeness using our methodology.
We argue that string theory emerges inevitably from a few simple assumptions about physical scattering. Consistency alone requires that all tree-level four-point scattering amplitudes exhibit vanishing residues at prescribed values of the momentum transfer. Assuming ultrasoft high-energy behavior, we then prove that the space of minimally consistent amplitudes, whose residues exhibit these mandated zeros and nothing more, collapses uniquely onto the celebrated Veneziano and Virasoro-Shapiro amplitudes of string theory. Similar logic also applies to five-point scattering.
We determine the contribution of long-range pion interactions to the $X(3872)$ dynamics, assuming it is a loosely bound $D^0 \bar{D}^{*0}$ molecule. Our result is based on the distorted wave Born approximation in non-relativistic quantum mechanics. Despite their long-range nature, we find that pion interactions cannot produce a large and negative effective range. Nonetheless, they introduce imaginary parts. In particular, they contribute to the total decay width of the $X(3872)$ with a term associated with, but not precisely corresponding to, the $D^*$ width. Our approach can also be applied to the recently discovered $T_{cc}^+$ states.