Showing 20 papers (Total: 82901 papers, 47900 authors in database)
Tight $L_\infty$ Sample Complexity for Low-Degree and Sparse Boolean Polynomials
Motivated by the optimization of bounded binary black-box functions, we study the problem of learning polynomial surrogates over the Boolean hypercube. To ensure that optimizing the surrogate yields good solutions for the underlying objective, we require uniform $L_\infty$-error guarantees rather than the usual $L_2$-type guarantees. We characterize the minimax sample complexity of uniform estimation under subgaussian noise for two classes of bounded polynomials. First, for polynomials of degree at most $d$ on $n$ variables, the sample complexity scales as $n^{d+1}$. Second, for $s$-sparse Fourier-Walsh polynomials with $s \leq n$, it scales as $ns^2$. These rates differ structurally from the noiseless setting, where uniform exact recovery scales as $n^d$ and $ns$, respectively. Our lower bounds hold even for arbitrary adaptive learners, showing that the additional factors are intrinsic to the noisy cases. Standard Fourier-analysis tools for the $L_2$-norm do not naturally extend to the $L_\infty$-setting in a way that yields uniform guarantees. Our proofs overcome this difficulty by relying on suitably chosen auxiliary norms that serve as proxies for controlling the $L_\infty$-error. Together, our results provide a tight characterization of the sample complexity of learning optimization-safe polynomial surrogates.
A general framework for inequalities on simple graphs
A general framework is developed for deriving sharp inequalities on simple graphs from majorization and Schur-convexity. After establishing majorization relations between the spectrum of an arbitrary graph and the spectra of the complete, complete bipartite, and matching graphs, it is shown that every positive Schur-convex spectral functional yields several sharp inequalities relating $λ_1$, $|λ_n|$, and $\|G\|_\ast$. This reduces the problem of proving graph inequalities to the choice of a suitable Schur-convex function. This optimization problem is then studied within the family of random vector norms, whose moment and cumulant expansions connect the framework to the numbers of closed walks. This yields new sharp results, recovers classical inequalities from a unified viewpoint, and produces further bounds in settings such as triangle-free and square-free graphs.
The maximal dimensions of path and graph algebras
We consider the class of acyclic connected directed graphs with $N\geq 1$. In this paper we find the optimal upper bound for the number of paths amongst acyclic, connected graphs with $N$ edges. We prove that it is in fact optimal by finding an acyclic, connected graph with $N$ edges that realizes this bound. We then adapt these methods to find an optimal bound for Leavitt path algebras over a finite, acyclic, connected graph with $N$ edges.
The number of cycles of a given length in dense hamiltonian graphs: proving Hilton's conjecture
A classical theorem of Sheehan in 1977 states that every hamiltonian graph $G$ of order $n$ satisfying $e(G)>\left\lfloor \frac{n^2}{4}\right\rfloor+1$ contains at least two cycles of every length $\ell$, $3\le \ell\le n$. In the same paper, Sheehan recorded a conjecture of Hilton, which strengthens this conclusion by asserting that such a graph contains at least $n-\ell+2$ cycles of length $\ell$ for each $3\le \ell\le n$. We prove Hilton's conjecture for all hamiltonian graphs of order at least $440$.
Thakur's hypotheses on power sums of $\mathbb{F}_q[t]$
In his 2009 paper, Thakur posed three conjectural hypotheses for the degrees of the power sums \[ S_d(k)=\sum_{\substack{a\in \mathbb F_q[t] \text{ monic}\\ °a=d}} a^{-k} \qquad\text{and}\qquad s_d(k)=-°_t S_d(k). \] For prime fields $q=p$, we prove Hypotheses H1 and H2, giving a unique greedy description of the extremal term in Carlitz's formula and establishing the recursion \[ s_d(k)=s_{d-1}(s_1(k))+s_1(k). \] As consequences, the prime-field recursion gives the strict Newton-polygon convexity used in the prime-field Carlitz-Goss Riemann-hypothesis theorem, and it recovers Thakur's nonvanishing theorem for positive multizeta values over $\mathbb F_p[t]$. We also prove Hypothesis H3 for all finite fields $q=p^f$, establishing the monotonicity \[ s_d(k)<s_d(k+1)\qquad (p\nmid k). \] We provide Lean formalizations of the arguments in this paper, generated by AxiomProver.
Super-Arrhenius relaxation of the triangular plaquette model in any dimension
Consider the following plaquette model from statistical physics: a lamp lies at every vertex of the triangular lattice and a switch lies at every even vertex of the (bipartite) dual hexagonal lattice. Each switch toggles the three lamps on its face. The energy of a configuration is the number of ON lamps.
For the Glauber dynamics associated with the Gibbs measure defined by this Hamiltonian at any inverse temperature $β>0$, we show that, in any dimension $d\ge 2$, the infinite volume relaxation time satisfies \[e^{β^2/C}/C \le T_{\mathrm{rel}}\le Ce^{e^{Cβ}}\] for some $C>0$. Our result entails that the Gibbs measure is unique. The $e^{β^2}$ scaling was conjectured by Newman and Moore in 1999 and matches the behaviour of supercritical rooted kinetically constrained models such as the East model, thus recovering fragile glass phenomenology in the absence of kinetic constraints. More precisely, we show that, on a torus of side length $2^k$, when $β\to\infty$ and $k/β\to0$, we have $T_{\mathrm{rel}}=e^{2βk(1+o(1))}$. Quite surprisingly, however, we also prove that, on non-periodic finite domains of size $n\le e^{β/C}$ for large $C>0$, we have the much larger asymptotics $\ln T_{\mathrm{rel}}=βn^{Θ(1)}$.
The main ingredients of the proofs are new results in extremal and enumerative combinatorics and rely on renormalisation ideas for the dynamics and its groundstates also known as the Ledrappier subshift. We note consequences of our results to geometric group theory (more precisely to the complexity of the word problem for the Baumslag finitely presented group) and to ergodic theory.
On the minimum spectral radius of unicyclic graphs with a given matching number
A matching $M$ in a graph $G = (V, E)$ is a set of edges such that no two edges in $M$ share a common vertex. A matching with maximum cardinality is called a maximum matching and its cardinality is the matching number $γ(G)$. The spectral radius of $G$ is the maximum absolute eigenvalue of its adjacency matrix. This article addresses the Brualdi-Solheid problem--the determination of extremal spectral radii within specific graph classes--for the class $\mathcal{U}_{n,γ}$ of simple connected unicyclic graphs on $n$ vertices with matching number $γ$. We specifically characterize all graphs that achieve the minimum spectral radius in $\mathcal{U}_{n,γ}$ for matching numbers $γ\in \left\{ 1, 2, 3, \lfloor \frac{n}{2} \rfloor \right\}$.
The existence of odd-even factors in 1-binding graphs
Let $G$ be a graph. The binding number of $G$, denoted by $\mbox{bind}(G)$, is defined as $$ \mbox{bind}(G)=\min\left\{\frac{|N_G(S)|}{|S|}:\emptyset\neq S\subseteq V(G) \ \mbox{and} \ N_G(S)\neq V(G)\right\}. $$ If $\mbox{bind}(G)\geq r$, then $G$ is called $r$-binding, where $r$ is a positive real number. The adjacency matrix of $G$ is denoted by $A(G)$. The largest eigenvalue of $A(G)$, denoted by $ρ(G)$, is said to be the spectral radius of $G$. A spanning subgraph $F$ of $G$ is called an odd-even factor $F=F_W$ if $d_F(u)\in\{1,3,\ldots,k\}$ for every $u\in W$ and $d_F(v)\in\{0,2,\ldots,k+1\}$ for every $v\in V(G)-W$, where $k$ is a positive odd integer and $W$ is any set of even number of vertices of $G$. In this paper, we propose a tight sufficient condition based on the spectral radius to guarantee that a connected 1-binding graph $G$ contains an odd-even factor $F=F_W$ such that $d_F(u)\in\{1,3,\ldots,k\} \ \mbox{for all} \ u\in W$ and $d_F(v)\in\{0,2,\ldots,k+1\} \ \mbox{for all} \ v\in V(G)-W$.
Euler Stratifications of Second Hypersimplices via Delta-matroids
We study Euler characteristics of scaled toric varieties arising from second hypersimplices. In algebraic statistics, these are closely connected to maximum likelihood (ML) degrees of toric models. We establish a correspondence between delta-matroids and the non-vanishing factors of the principal $A$-determinant, providing an explicit connection between delta-matroid theory and algebraic statistics. Using this framework, we show that a conjectured minimum ML degree is realizable by a suitable embedding of the variety. Furthermore, for second hypersimplices up to order six, we prove that this value is minimal among all embeddings, as conjectured by Clarke et al. (2024).
Lin--Lu--Yau Ricci Curvature of Digraphs via Optimal Transport Couplings
In this paper, we study the Lin--Lu--Yau Ricci curvature of strongly connected locally finite digraphs through an explicit optimal-coupling construction. For an arc of a digraph, we derive a computable curvature formula by constructing a coupling between the probability measures at its tail and head, and by proving its optimality using a suitable $1$-Lipschitz function. The formula is not only effective for direct computation, but also unifies several known results: in particular, it recovers the Lin--Lu--Yau Ricci curvature formula for Cayley graphs of Right-Angled Artin--Coxeter Hybrid groups as a special case and gives shorter proofs of curvature results arising from matching-type conditions. We then characterize arcs with zero Ricci curvature through perfect distance matching and perfect distance partitions. We further prove that, under suitable assumptions, such arc curvature in directed Cayley graphs increases when an inverse generator or a new generator is added to the generating set. As applications, we compute the curvature of directed Cayley graphs of dihedral groups and generalized quaternion groups, including $Γ(D_n,\{a,b\})$, $Γ(Q_{4m},\{a,b\})$, $Γ(Q_{4m},\{a,a^{-1},b\})$ and $Γ(Q_{4m},\{a,b,b^{-1}\})$. Finally, we provide an algorithm for computing the Lin--Lu--Yau Ricci curvature of Cayley graphs of finitely generated groups with prescribed generating sets, together with complete curvature tables for several important families of finite groups.
$m$-sectorial discrete Laplacians and recurrence of complex-weighted graphs
We consider complex-weighted graphs, whose edge weights belong to a sector in the complex plane. We show that the corresponding Dirichlet Laplacian is $m$-sectorial, and, hence, generates a contractive holomorphic $C_0$-semigroup. Further, it is shown that every sectorial complex-weighted graph can be extended to an electrical network, where by electrical networks we mean graphs, whose edge weights are holomorphic functions, arising from physical admittances. This result allows us to establish convergence results for the infinite complex-weighted graphs, e.g. convergence of solutions of Dirichlet problems and convergence of complex-valued capacities on a finite exhaustion. Finally, we define a recurrence for complex-weighted graphs, and, using the convergence results, give its characterizations in terms of functional spaces, capacity, Green's function, resolvents of the Dirichlet Laplacian and properties of the Neumann Laplacian.
Obstructions and kernel transport for Hecke lifts of partition q-brackets
We study lifts of the level-one Hecke action on quasimodular forms through the partition q-bracket. We prove two obstruction theorems: no exact lift on the genuine shifted symmetric algebra $\mathbb{Q}[Q_2,Q_3,\ldots]$ is multiplicative, and no exact lift satisfies a strict $Q_2$-tower condition. We classify fixed-weight exact lifts by kernel actions and kernel-valued Hecke cocycles, construct transported scalar lifts under Hecke stability of the q-bracket image, and derive kernel-transport and spectral-divisibility consequences from the injectivity of Zagier's lowering operator $B=\frac12(D-\partial^2)$ on the genuine homogeneous subspace. Exact rational rank computations show q-bracket surjectivity in weights at most $16$, yielding explicit Hecke lifts and kernel data in those weights.
Non-trivial cross-$t$-intersecting families for vector spaces with the maximum sum of sizes
Let $V$ be an $n$-dimensional vector space over a finite field. Suppose that $\mathcal{F}$ and $\mathcal{G}$ are non-empty families of $k$-subspaces and $\ell$-subspaces of $V$, respectively. They are said to be cross-$t$-intersecting if $\dim(F\cap G)\geq t$ for any $F\in\mathcal{F}$ and $G\in \mathcal{G}$, and are further called non-trivial if $\dim(\cap_{F\in\mathcal{F}}F)<t$ and $\dim(\cap_{G\in\mathcal{G}}G)<t$. In this paper, we characterize the non-trivial cross-$t$-intersecting families with the maximum sum of sizes. When $t=1$, our result serves as the $q$-analog of the theorems in [9,11].
A geometric approach to generalized covering radii of linear codes
Covering problems in coding theory are closely related to finite geometry through the interpretation of the columns of parity-check matrices as point sets in finite vector spaces. Motivated by the recent notion of generalized covering radii of linear codes introduced by Elimelech, Firer and Schwartz, we develop a geometric framework for these parameters. We introduce $(ρ,t)$-saturating sets and show that they are precisely the finite-geometric counterparts of linear codes whose $t$-th generalized covering radius is at most $ρ$. We study the structure of these sets and show that the extremal case $ρ=t$ coincides with the notion of $t$-strong blocking sets. Thus, $(ρ,t)$-saturating sets interpolate between classical saturating sets and strong blocking sets. We provide several equivalent formulations, including affine and dual Grassmannian criteria, derive lower bounds on their size, and give constructions from strong blocking sets, graphs and projective configurations.
Formalizing chip-firing and Riemann--Roch for graphs in Lean 4
The Riemann--Roch theorem for graphs, due to Baker and Norine, is a foundational result establishing a powerful analogy between finite graphs and algebraic curves. We describe a complete formal proof of this theorem implemented in the Lean 4 theorem prover. Our formalization includes the existence and uniqueness of q-reduced divisors, a modified form of Dhar's burning algorithm, the bijection between acyclic orientations with unique source and maximal superstable configurations, and Clifford's theorem. We also include several challenges for future formalization.
Bootstrap Percolation and Partial Difference Equations
We study a bootstrap percolation process on $\mathbb{Z}^d$ where each newly occupied point completes a copy of one of the patterns in some fixed collection $\mathcal{A}$. We aim, given $\mathcal{A}$, to find the smallest size of a percolating seed. We show that, for two patterns in two dimensions, in essence the answer is given by the mixed volume of the patterns' convex hulls. Our motivation for studying this setup comes from the theory of partial difference equations. Conversely, our considerations yield one consistency criterion for systems of two partial difference equations in two dimensions.
A counterexample to the near-quadratic Elekes--Rónyai expander conjecture over $\mathbb R$
We disprove the near-quadratic Elekes--Rónyai expander conjecture over $\mathbb R$. The counterexample is a fixed nonspecial quadratic polynomial, together with arbitrarily large finite sets of real algebraic integers on which its image has a fixed power saving from quadratic size. The main result of this paper is obtained by generative AI, particularly ChatGPT 5.5 Pro and the Rethlas system. The proof relies on a recent construction by OpenAI of an infinite tower of number fields.
Linked partition ideals and gap-frequency partitions
Recently, linked partition ideals have attracted renewed attention. In this paper, we embed the gap-frequency partitions in which each part appears at most twice or three times into the framework of span one linked partition ideals, and derive refined generating functions for both cases. Furthermore, for gap-frequency partitions in which every part appears at most k times, we provide a purely combinatorial proof of the corresponding refined generating function.
From a Voucher Puzzle to Extremal Sums of Adjacent Products
Motivated by a self-referential puzzle, we study sequences of voucher price tags in which each choice multiplies the cost of the following one. We connect the puzzle setting to classical permutation statistics, introducing the \textit{voucher cost} alongside the related \textit{pairwise} and \textit{loop} costs. This perspective allows us to translate questions about budgeting into extremal problems on permutations. We review known results for permutations of ${1,2,\dots,n}$ and extend them to arbitrary sets of distinct non-negative price tags.
The maximum number of cycles of a given length in a nonhamiltonian graph
In 2026, Li and Zhan characterized the nonhamiltonian graphs of order $n$ with the maximum number of paths of length $k$, where $n$ and $k$ are integers satisfying $1\leq k\leq n-1$. This work solves and generalizes a problem proposed by Erdős in 1980. In this paper, we further determine the nonhamiltonian graphs of order $n$ attaining the maximum number of cycles of length $k$ for given integers $n$ and $k$ with $3\leq k\leq n-1$.