https://arxiv.org/api/4aK4MajwnNH6urgLlxpzsy/jOKI 2026-06-13T18:54:05Z 15667 135 15 http://arxiv.org/abs/2503.21287v6 2026-05-21T13:23:27Z

Let $(X,\mathcal{E})$ be a hypergraph. A support is a graph $Q$ on $X$ such that for each $E\in\mathcal{E}$, the subgraph of $Q$ induced on the elements in $E$ is connected. We consider the problem of constructing a support for hypergraphs defined by connected subgraphs of a host graph. For a graph $G=(V,E)$, let $\mathcal{H}$ be a set of connected subgraphs of $G$. Let the vertices of $G$ be partitioned into two sets the \emph{terminals} $\mathbf{b}(V)$ and the \emph{non-terminals} $\mathbf{r}(V)$. We define a hypergraph on $\mathbf{b}(V)$, where each $H\in\mathcal{H}$ defines a hyperedge consisting of the vertices of $\mathbf{b}(V)$ in $H$. We also consider the problem of constructing a support for the \emph{dual hypergraph} - a hypergraph on $\mathcal{H}$ where each $v\in \mathbf{b}(V)$ defines a hyperedge consisting of the subgraphs in $\mathcal{H}$ containing $v$. In fact, we construct supports for a common generalization of the primal and dual settings called the \emph{intersection hypergraph}. As our main result, we show that if the host graph $G$ has bounded genus and the subgraphs in $\mathcal{H}$ satisfy a condition of being \emph{cross-free}, then there exists a support that also has bounded genus. Our results are a generalization of the results of Raman and Ray (Rajiv Raman, Saurabh Ray: Constructing Planar Support for Non-Piercing Regions. Discret. Comput. Geom. 64(3): 1098-1122 (2020)). Our techniques imply a unified analysis for packing and covering problems for hypergraphs defined on surfaces of bounded genus. We also describe applications of our results for hypergraph colorings.

2025-03-27T09:11:24Z Discrete Mathematics & Theoretical Computer Science, vol. 28:2, Graph Theory (May 25, 2026) dmtcs:16086 Rajiv Raman Karamjeet Singh 10.46298/dmtcs.16086 http://arxiv.org/abs/2605.16956v3 2026-05-21T11:47:36Z

We develop a unified algebraic theory of the weighted Tower of Hanoi with arbitrary nonnegative symmetric move costs depending on both disc index and pegs. Starting from a general optimality recurrence with two competing strategies -- one largest-disc move (one-LDM) and two largest-disc moves (two-LDM) -- we derive complete matrix formulations for both regimes and obtain explicit closed forms for the minimal transfer cost. The one-LDM dynamics is governed by a nontrivial linear operator whose spectral decomposition reveals a fundamental connection with the Jacobsthal and Lichtenberg sequences, while the two-LDM dynamics exhibits pure exponential growth. This framework yields exact solutions for broad classes of weight models, including peg-symmetric, disc-symmetric, polynomial, geometric, arithmetic, and sequence-induced costs. In particular, choosing classical integer sequences (Fibonacci, Lucas, Jacobsthal, Pell, Euler, etc.) as disc weights produces new derived sequences with explicit formulas and recurrences, establishing the Tower of Hanoi as a sequence-generating transform. We further introduce and analyze models with forbidden moves and move-type-dependent weights, uncovering a phase transition phenomenon in which the optimal strategy switches from two-LDM behavior for small discs to one-LDM behavior beyond a finite threshold. Our results provide a comprehensive algebraic and combinatorial understanding of weighted Hanoi dynamics and expose deep connections between optimal solutions and classical integer sequences.

2026-05-16T12:16:44Z Andreas M. Hinz El-Mehdi Mehiri http://arxiv.org/abs/2605.19449v2 2026-05-21T09:20:39Z

The number of finite additive 2-bases is known to grow exponentially. While this fact has been established by Marzuola and Miller (2010) using complex analytic techniques embedded in the study of numerical sets, we provide a direct, short proof using elementary probabilistic arguments.

2026-05-19T07:04:04Z 4 pages; minor fix in the proof of Theorem 1.1 Stefan Weltge Konrad Zyhalko http://arxiv.org/abs/2605.22173v1 2026-05-21T08:43:32Z

High dimensional expanders simultaneously satisfying spectral and combinatorial (coboundary) expansion have recently played a major role in breakthroughs in PCP and coding theory, but the only known construction of such complexes is extremely involved, requiring deep algebraic number theory. In this work, we give an extremely simple combinatorial construction of a sub-polynomial degree complex based on projections of the flags complex (subspace chains) that is (i) a local spectral expander, (ii) a coboundary expander, and (iii) a swap coboundary expander. As a corollary, we also give the first near-linear size combinatorial hypergraphs with good agreement tests in the '1%' regime, and a simple PCP construction with near-linear size.

2026-05-21T08:43:32Z 60 pages, 3 figures Max Hopkins Arka Ray http://arxiv.org/abs/2601.22365v2 2026-05-21T02:46:16Z

The Gilbert-Pollak Conjecture \citep{gilbert1968steiner}, also known as the Steiner Ratio Conjecture, states that for any finite point set in the Euclidean plane, the Steiner minimum tree has length at least $\sqrt{3}/2 \approx 0.866$ times that of the Euclidean minimum spanning tree (the Steiner ratio). A sequence of improvements through the 1980s culminated in a lower bound of $0.824$, with no substantial progress reported over the past three decades. Recent advances in LLMs have demonstrated strong performance on contest-level mathematical problems, yet their potential for addressing open, research-level questions remains largely unexplored. In this work, we present a novel AI system for obtaining tighter lower bounds on the Steiner ratio. Rather than directly prompting LLMs to solve the conjecture, we task them with generating rule-constrained geometric lemmas implemented as executable code. These lemmas are then used to construct a collection of specialized functions, which we call verification functions, that yield theoretically certified lower bounds of the Steiner ratio. Through progressive lemma refinement driven by reflection, the system establishes a new certified lower bound of 0.8559 for the Steiner ratio. The entire research effort involves only thousands of LLM calls, demonstrating the strong potential of LLM-based systems for advanced mathematical research.

2026-01-29T22:18:04Z 44 pages, 11 figures Yisi Ke Tianyu Huang Yankai Shu Di He Jingchu Gai Liwei Wang http://arxiv.org/abs/2605.21921v1 2026-05-21T02:46:07Z

We study the problem of sampling weighted partial triangulations of a convex polygon. We consider the distribution where each partial triangulation $σ$ is chosen with probability proportional to $λ^{|σ|}$, where $λ>0$ is a model parameter and $|σ|$ denotes the number of diagonals in $σ$. This model belongs to a broad class of weighted geometric partition problems that include lattice triangulations and dyadic tilings, and is closely related to several classical combinatorial structures, including the full triangulations of a convex polygon and the associated Catalan structures. While prior work has largely focused on Markov chain approaches, often only providing suboptimal mixing time bounds, we provide a direct efficient method for exact sampling. Our main result is a randomized algorithm that outputs an exact sample from the target distribution in expected time $O\big((n\sqrtλ+1)\log n\big)$ for all sufficiently large $n$. This provides a nearly optimal sampling algorithm for weighted partial triangulations, offering a compelling alternative to Markov chain-based techniques.

2026-05-21T02:46:07Z Antonio Blanca Alexandre Stauffer Izabella Stuhl http://arxiv.org/abs/2605.21920v1 2026-05-21T02:45:18Z

A set cover of a hypergraph $H$ is a set of vertices intersecting every hyperedge. In the minimum sum set cover problem, vertices are selected one by one; each edge pays the position of the first vertex that hits it, and the objective is to minimize the total cost. When $H$ is a graph, this is the minimum sum vertex cover problem. A solution is specified by a set cover $S$ together with an ordering of its vertices. While the classical set cover problem seeks to minimize $|S|$, the minimum sum variant favors covering many edges early and may prefer larger covers. This motivates a natural question: how large can the gap between~$\overrightarrowτ$ and $τ$ be? We prove an upper bound $\overrightarrowτ \le τ\log_{2} \lvert E(H)\rvert$, and show that for any positive~$n$, there exists a hypergraph $H$ on $n + 3$ vertices with $τ=3$ and $\overrightarrowτ=n$. For graphs, we obtain stronger bounds: we prove~$\overrightarrowτ \le 2τ\log_{2} τ$, improving the bound of Liu et al.\ [Theor. Comput. Sci., 2025], and we construct graphs with~$\overrightarrowτ = Ω\left( \frac{τ\log τ}{\log\log τ}\right)$, nearly matching this upper bound. On the algorithmic side, we show that minimum sum set cover is fixed-parameter tractable on bounded-rank hypergraphs, parameterized by~$\overrightarrowτ$, extending the algorithm of Liu et al.\ for graphs (i.e., rank-two hypergraphs).

2026-05-21T02:45:18Z Zhongyi Zhang Yixin Cao http://arxiv.org/abs/2605.21866v1 2026-05-21T01:22:14Z

Let $q$ be an odd prime power, let $n\ge 2$, and let $V\subsetneq \mathbb F_{q^n}$ be a proper $\mathbb F_q$-vector subspace. Given a nonzero quadratic form $Q(X,Y)\in \mathbb F_{q^n}[X,Y]$, we consider the graph $Γ(Q,V)$ that naturally arises from the condition $Q(X,Y)\in V$. We determine all quadratic forms $Q$ for which $Γ(Q,V)$ is undirected for every $V$. Besides the case $Q(x,y)=XY$, studied earlier by the second author, this essentially leads to the forms $X^2\pm Y^2$ and the family $Q_b(X, Y):=X^2+bXY+Y^2, b\ne 0$. We then study connectedness and clique number for the corresponding graphs. Our results reveal a clear contrast between these cases. The graphs $Γ(X^2\pm Y^2, V)$ are well structured, disconnected and their clique number can be as large as $\# V$. On the other hand, the family $Q_b$ seems to yield less structured graphs: the graphs are connected (in fact, of diameter $2$) if $\# V\ge q^{3n/4}$ and, in many cases, their clique number is $o(\# V)$. Our proofs are mainly based on character sums, while requiring a few algebraic and combinatorial ideas. We end the paper with some open problems and remarks, including a short discussion of the complementary case where $q$ is even.

2026-05-21T01:22:14Z 12 pages; comments are welcome! Jean Godard Lucas Reis http://arxiv.org/abs/2605.21829v1 2026-05-20T23:51:30Z

We consider the classic cake cutting problem in the Robertson-Webb model, with the objective of proportional fairness. We show that any randomized algorithm must use $Ω(n \log n)$ queries.

2026-05-20T23:51:30Z Stephen Arndt Carnegie Mellon University Kirk Pruhs university of Pittsburgh Trung Tran University of Pittsburgh http://arxiv.org/abs/2601.07169v2 2026-05-20T12:47:14Z

The Fortuin-Kasteleyn-Ginibre (FKG) inequality is an invaluable tool in monotone spin systems satisfying the FKG lattice condition, which provides positive correlations for all coordinate-wise increasing functions of spins. This inequality has numerous applications and plays an integral role in the proof of various central limit theorems (CLTs), including recent work on ferromagnetic exponential random graph models (ERGMs) wherein a Hamiltonian tilt promotes the presence of small subgraphs like triangles. However, the FKG lattice condition fails to hold when confining a spin system to a particular phase in the low-temperature regime of parameters. Thus it is not a priori clear if each phase internally has positive correlations for increasing functions, or if the positive correlations in the overall model (which is a mixture of phases) arise primarily from the global choice of phase. In this article, we show that the individual phases in ERGMs do indeed satisfy an approximate form of the FKG inequality internally. We use this to finish the proof of various CLTs within each individual phase in the phase-coexistence regime, answering a question posed by Bianchi, Collet, and Magnanini. We present the FKG inequality for ERGMs as a consequence of a more general result which holds under certain inputs related to metastable mixing; we expect this general result to be widely applicable, and we devote a section to spelling out the details of its application to a class of generalized higher-order ferromagnetic Curie-Weiss models where the necessary inputs are relatively transparent.

2026-01-12T03:28:39Z 28 pages, 1 figure. Title, abstract, and introduction updated to clarify the focus of the article Satyaki Mukherjee Vilas Winstein http://arxiv.org/abs/2605.24023v1 2026-05-20T12:37:15Z

This work introduces a continuous soft near-orthogonality score and a resolution-aware saturated coverage objective for projection selection in region-of-interest focused cone-beam CT, grounded in Tuy's completeness theory. Replacing the binary hit-or-miss model of classical Tuy completeness with a graded, differentiable formulation preserves a direct link to achievable feature sizes while enabling both efficient approximate and exact optimisation. We establish that the underlying discrete decision problems are NP-complete via polynomial-time reductions from Set Cover, motivating a submodular greedy algorithm with proven $(1-1/\mathrm{e})$ approximation guarantees and a mixed-integer linear program (MILP) that provides certified optimality bounds. The MILP serves as a quality certificate for the greedy solution rather than a competing optimiser. The primary empirical finding confirms this relationship: across a systematic benchmark spanning six target regions, multiple projection budgets, and four controlled occlusion conditions, the pooled median greedy-to-MILP objective ratio was 0.998, with a substantial fraction of cases certified globally optimal. A binary formulation is included as a diagnostic baseline; it strengthens hard directional completeness but is weaker on the continuous coverage scale. We additionally introduce Effective Spatial Resolution (ESR), a physically interpretable trajectory-level diagnostic that maps directional sampling gaps to achievable feature sizes. ESR correlates reliably with matched reconstruction quality across projection budgets and occlusion levels, providing a practical bridge between the selection stage and the image domain without requiring reconstruction.

2026-05-20T12:37:15Z Preprint Linda-Sophie Schneider Andreas Maier http://arxiv.org/abs/2605.21077v1 2026-05-20T12:11:45Z

Galluccio--Loebl and Tesler showed that the perfect-matching polynomial of a graph embedded in an orientable surface of genus $g$ can be written as a linear combination of at most $4^g$ Pfaffians. We show that, in general, exponentially many Pfaffians are necessary. More precisely, among all graphs of orientable genus at most $g$, the maximum possible Pfaffian number is at least $(8/3)^g$. This lower bound holds even for connected matching-covered graphs. We also obtain exponential lower bounds for the Pfaffian number of complete bipartite graphs, and hence for even complete graphs, improving asymptotically on a recent linear lower bound of Junchaya, Lucchesi, and Miranda.

2026-05-20T12:11:45Z Priyanshu Pant Ranveer Singh http://arxiv.org/abs/2605.20970v1 2026-05-20T09:57:50Z

The domination problem is a well-studied problem in graph theory. In this paper, we study two natural variants: the hop domination problem and the $2$-step domination problem. Let $G$ be a graph with vertex set $V$ and edge set $E$. For a graph $G$, a subset $S \subseteq V(G)$ is called an \emph{hop dominating set} if every vertex not in $S$ lies at distance of exactly $2$ from at least one vertex in $S$. For $v\in V(G)$, let $N(v,2)$ denote the set of vertices in $V(G)$ that are at distance exactly $2$ from $v$. For a graph $G$, a subset $S \subseteq V(G)$ is called an \emph{$2$-step dominating set} if every vertex $v\in V(G)$ lies at a distance of exactly $2$ from at least one vertex in $S$. The \textsc{Hop Domination} (HD) problem and the \textsc{$2$-Step Domination} ($2$SD) problems ask whether a graph contains a hop domination set or a $2$-step domination set of size at most $k$, respectively. We study the computational complexity of these problems, and show that both are NP-complete, even when restricted to $d$-regular graphs for every $d\geq 3$, claw-free graphs and also unit disk graphs.

2026-05-20T09:57:50Z Sandip Das Sweta Das Sk Samim Islam http://arxiv.org/abs/2605.20949v1 2026-05-20T09:37:19Z

Let $r,\ell\geq2$ be integers. Given $r$-graphs $G$ and $F_1,\dots,F_\ell$, we write $G\to(F_1,\dots,F_\ell)$ if every $\ell$-edge-coloring of $G$ yields a monochromatic copy of $F_i$ in the $i$th color for some $1\leq i\leq\ell$, otherwise we write $G\not\to(F_1,\dots,F_\ell)$. The Ramsey number $R(F_1,\dots,F_\ell)$ is the minimum number of vertices in an $r$-graph $G$ satisfying $G\to(F_1,\dots,F_\ell)$. In this note we prove that for any integers $t_1\geq\dots\geq t_\ell>r$, there exists an $r$-graph $G$ such that $G\not\to(K^{(r)}_{t_1},\dots,K^{(r)}_{t_\ell})$ but $G\to(K^{(r)}_s,K^{(r)}_{t_\ell-1})$, where $s=R(K^{(r)}_{t_1},\dots,K^{(r)}_{t_\ell})-1$. This extends recent work by Mendonça, Miralaei, and Mota, who established the statement for $r=2$.

2026-05-20T09:37:19Z Vladimir Sviridenkov http://arxiv.org/abs/2303.13655v4 2026-05-20T02:43:03Z

A set $S\subseteq V$ of vertices of a graph $G$ is a $c$-clustered set if it induces a subgraph with components of order at most $c$ each, and $α_c(G)$ denotes the size of a largest $c$-clustered set. For any graph $G$ on $n$ vertices and treewidth $k$, we show that $α_c(G) \geq \frac{c}{c+k+1}n$, which improves a result of Dvoř{á}k and Wood [Innov.\ Graph Theory, 2025], while we construct $n$-vertex graphs $G$ of treewidth $k$ with $α_c(G)\leq \frac{c}{c+k}n$. In the case $c\leq 2$ or $k=1$ we prove the better lower bound $α_c(G) \geq \frac{c}{c+k}n$, which settles a conjecture of Chappell and Pelsmajer [Electron.\ J.\ Comb., 2013] and is best-possible. Finally, in the case $c=3$ and $k=2$, we show $α_c(G) \geq \frac{5}{9}n$ which is best-possible.

2023-03-23T20:24:27Z 16 pages, 6 figures Kolja Knauer Torsten Ueckerdt