Papers by Michele Tarquini
3 paper(s) by this author
· All BibTeX
New Records for the Hadamard Maximal Determinant Problem in Dimensions $51$, $107$, and $115$
We compute new lower bounds for determinants of $\{\pm 1\}$-matrices of orders $n=51$, $n=107$ and $n=115$, improving previous recorded bounds by $3.1\%$, $0.44\%$, and $1.68\%$, respectively. We provide the data necessary to construct these matrices.
A Census of New Snake-in-the-Box Records
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.
Hierarchical Reinforcement Learning for Sparse-Reward Search in Commutative Algebra
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.