Davide Passaro

collaborators

6 papers

math.CO2026

New Records for the Hadamard Maximal Determinant Problem in Dimensions $51$ , $107$ , $111$ , $115$ , and $119$

Giorgi Butbaia, Pragatheeswaran Vipulanandan, Justin Tan +6

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\…

cs.DM2026

A Census of New Snake-in-the-Box Records

Paul Orland, Lucas Fagan, Michele Tarquini +7

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…

math.GT2026

fkcompute: an efficient $F_{K}$ invariant calculator

Paul Orland, Davide Passaro, Lara San Martín Suárez +2

We introduce fkcompute, an open-source package for computing the Gukov--Manolescu invariant of links from a braid presentation. fkcompute implements Park's inverted state sum throu…

cs.LG2026

Hierarchical Reinforcement Learning for Sparse-Reward Search in Commutative Algebra

Giorgi Butbaia, Paul Orland, Coco Huang +7

Applying machine learning techniques to solving long-standing mathematical conjectures can be particularly challenging due to their extreme reward sparsity. As an illustrative exam…

cs.LG2026

The Two-Hump Problem: Bridging the Difficulty Gap in Mathematical Reinforcement Learning

Lucas Fagan, Michele Tarquini, Ali Shehper +6

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) con…

hep-th2025

$c_{eff}$ from Surgery and Modularity

Shimal Harichurn, Mrunmay Jagadale, Dmitry Noshchenko +1

$Z$ invariants, rigorously defined for negative definite plumbed 3-manifolds, are expected--on physical grounds--to exist for every closed, oriented 3-manifold. Several p…