https://arxiv.org/api/+yLMXItSFGviv0+6YbNHtf4xVZ8 2026-06-18T16:31:02Z 15687 390 15 http://arxiv.org/abs/2604.17661v1 2026-04-19T23:22:54Z

We present experimental work on a primal-dual framework simultaneously approximating maximum cut and weighted fractional cut-covering instances. In this primal-dual framework, we solve a semidefinite programming (SDP) relaxation to either the maximum cut problem or to the weighted fractional cut-covering problem, and then independently sample a collection of cuts via the random-hyperplane technique. We then simultaneously certify the approximate optimality of a cut and a fractional cut cover. We present several implementations which reliably achieve the celebrated Goemans and Williamson approximation ratio of $α_{\mathrm{GW}} \approx 0.878$ for both optimization problems simultaneously, after $\lceil 128 \ln m \rceil$ samples, a number significantly smaller than the best theoretical bounds. This is the first experimental work approximating the weighted fractional cut-covering problem, and we deliver robust and repeatable results despite the use of randomized algorithms and floating-point arithmetic. Careful pre-processing of instances and post-processing of numeric results allow for good empirical outcomes with both first-order and second-order SDP solvers. Nearly optimal SDP solutions are suitably perturbed to ensure better probabilistic and numerical behavior. Our experiments deviate from theory by using a linear programming (LP) solver to compute fractional cut covers. For most instances studied, LP solving produces certifiably better results than the theoretical algorithm after $\lceil 128 \ln m \rceil$ samples. All our experiments strictly follow a unified pipeline which explicitly documents all parameters used in each run.

2026-04-19T23:22:54Z Nathan Benedetto Proença Marcel K. de Carli Silva Cristiane M. Sato Levent Tunçel http://arxiv.org/abs/2604.17607v1 2026-04-19T20:43:22Z

The characteristic polynomials of the Laplacian and the distance Laplacian matrices of power graphs of groups of order $ pqr $, where $ p,q $ and $ r $ are { primes,} are obtained. Further, the characteristic polynomials of these matrices for proper power graphs of cyclic and dicyclic groups are given. The important inequalities for the zeros of the distance Laplacian characteristic polynomials of power graphs of finite groups are presented in comments.

2026-04-19T20:43:22Z 19 pages, 1 figure J. Algebra Appl. 24(14) (2024), Art. No. 2550003 Bilal Ahmad Rather Mustapha Aouchiche Victor A. Bovdi 10.1142/S0219498825500033 http://arxiv.org/abs/2604.04519v2 2026-04-19T06:48:41Z

For an $(n,k,\ell)$ MDS array code over $\mathbb{F}_q$, how small can the repair bandwidth and repair I/O be under linear exact repair? We study this question in the regime where the field size $q$, the redundancy $r=n-k$, and the sub-packetization level $\ell$ are fixed, while the code length $n$ varies, and we develop a geometric approach to this setting. Our starting point is an intrinsic reformulation of linear exact repair for MDS array codes in terms of subspace intersections and, for repair I/O, the projective point configurations induced by a parity-check realization. This viewpoint yields a simple projective counting argument establishing the general lower bound $$β_{\mathrm{avg}},β_{\max},γ_{\mathrm{avg}},γ_{\max}\;\ge\;\ell(n-1)-\frac{q^{(r-1)\ell}-1}{q-1}$$ for linear exact repair of every $(n,k,\ell)$ MDS array code over $\mathbb{F}_q$ with redundancy $r=n-k\ge 2$. To our knowledge, this is the first lower bound of this form that applies to arbitrary redundancy $r\ge 2$ and sub-packetization level $\ell$. At first glance, the projective counting bound appears rather coarse and therefore unlikely to be attained. We prove that this intuition is correct whenever $r\ge 3$ and $\ell\ge 2$. For $r=2$, the picture changes completely. Using Desarguesian spreads from finite geometry, we construct MDS array codes that attain the bound over a broad interval of code lengths, up to the maximum possible length $q^{\ell}+1$, and do so simultaneously for both repair bandwidth and repair I/O. In the smallest nontrivial case $(r,\ell)=(2,2)$, we also prove a converse within the regular-spread model. Together, these results identify a uniform obstruction governing linear exact repair and show that, in the two-parity case, this obstruction is tight.

2026-04-06T08:31:51Z Hai Liu Huawei Wu http://arxiv.org/abs/2511.22427v2 2026-04-18T16:20:51Z

The Lonely Runner Conjecture of Wills and Cusick states that if $k+1$ runners start running at distinct constant speeds around a unit-length circular track, then for each runner there is a time when he/she is at least $1/(k+1)$ away from all other runners. Rosenfeld recently obtained a computer-assisted proof of the conjecture for $8$ runners. By refining his approach with a sieve, we obtain proofs (also computer-assisted) for $9$ and $10$ runners.

2025-11-27T13:08:42Z Updated theorem numbering to match with journal version; added references Tanupat Trakulthongchai http://arxiv.org/abs/2604.16735v1 2026-04-17T22:47:30Z

In this paper, we investigate the relationships between the volumes of four convex bodies: the cut polytope, metric polytope, rooted metric polytope, and elliptope, defined on graphs with $n$ vertices. The cut polytope is contained in each of the other three, which, for optimization purposes, provide polynomial-time relaxations. It is therefore of interest to see how tight these relaxations are. Worst-case ratio bounds are well known, but these are limited to objective functions with non-negative coefficients. Volume ratios, pioneered by Jon Lee with several co-authors, give global bounds and are the subject of this paper. For the rooted metric polytope over the complete graph, we show that its volume is much greater than that of the elliptope. For the metric polytope, for small values of $n$, we show that its volume is smaller than that of the elliptope; however, for large values, volume estimates suggest the converse is true. We also give exact formulae for the volume of the cut polytope for some families of sparse graphs.

2026-04-17T22:47:30Z David Avis Luc Devroye http://arxiv.org/abs/2604.16676v1 2026-04-17T20:17:39Z

We study the classification of minimal codewords of projective Reed-Muller codes of order $2$. This problem is equivalent to identifying quadrics over finite fields whose set of rational points is maximal with respect to the inclusion. We prove that except one particular case over $\mathbb{F}_2$, any two absolutely irreducible quadrics whose sets of rational points are contained within one another should be equal as projective varieties. We deduce a precise characterisation of the minimal codewords of projective Reed-Muller codes of order $2$ and further give their exact number for each possible weight.

2026-04-17T20:17:39Z Alain Couvreur Rati Ludhani http://arxiv.org/abs/2604.16188v1 2026-04-17T15:57:13Z

Let $k \in \mathbb{N}$ and let $H_1, H_2, \ldots, H_k$ be simple graphs such that for each $j \in \{ 1, 2, \ldots, k \}$, the vertex set of $H_j$ is $\{ 0, 1, 2, \ldots, n_j - 1 \}$ for some $n_j \in \mathbb{N}$. The ordered Ramsey number $R_\mathrm{ord}(H_1, H_2, \ldots, H_k)$ is the smallest $n \in \mathbb{N}$ for which every $k$-edge-coloring of the complete graph on the vertex set $\{ 0, 1, 2, \ldots, n - 1 \}$ contains $H_j$ as a monochromatic subgraph of color $j$ for some $j \in \{ 1, 2, \ldots, k \}$, with the vertices appearing in the same order as in $H_j$. Inspired by the work of Poljak, we apply the Kissat SAT solver to determine new small two-color ordered Ramsey numbers of various classes of graphs: monotone paths, monotone cycles, alternating paths, stars, complete graphs and nested matchings. In addition, we introduce the cyclic Ramsey numbers $R_\mathrm{cyc}(H_1, H_2, \ldots, H_k)$ as a natural relaxation of the ordered Ramsey numbers, and once again use Kissat to determine various such numbers for the two-color case. By observing structural patterns in the computational results, we determine all ordered or cyclic Ramsey numbers for several pairs of classes of graphs. Furthermore, we obtain some bounds on ordered and cyclic Ramsey numbers where one argument is a connected graph, while the other is a monotone path or a monotone cycle. We also explore how reinforcement learning can be used through the recently developed Reinforcement Learning for Graph Theory (RLGT) framework to obtain lower bounds on ordered and cyclic Ramsey numbers. Finally, we introduce the permutational Ramsey numbers to show how the different Ramsey-type formulations involving standard, ordered and cyclic Ramsey numbers can be unified within a group-theoretic framework.

2026-04-17T15:57:13Z Nino Bašić Ivan Damnjanović Dragan Stevanović Ivan Stošić http://arxiv.org/abs/2604.16159v1 2026-04-17T15:29:15Z

Let $G = V, E$ be a simple connected undirected graph. A set $X \subseteq V$ is \emph{geodesically convex} if for any pair of vertices $x, y \in X$, all vertices on all shortest paths in $G$ from $x$ to $y$ are contained in $X$. A set $H \subseteq V$ is said to be a {halfspace} if both $H$ and its complement (denoted by $H^c$) are convex. Given two sets $A, B \subseteq V$, the { halfspace separation} problem asks if there exist complementary halfspaces $H, H^c$ such that $A \subseteq H$ and $B \subseteq H^c$. The halfspace separation problem is known to be NP-complete for the geodesic convexity of general graphs. We show that geodesic halfspace separation is polynomial for weakly bridged graphs, pseudo-modular graphs, and the basis graphs of matroids.

2026-04-17T15:29:15Z Niranjan Nair http://arxiv.org/abs/2512.19313v2 2026-04-17T14:33:45Z

Much work has been devoted to bent functions in odd characteristic, but there still remains a gap between our knowledge of binary and nonbinary bent functions. In the first part of this paper, we attempt to partially bridge this gap by generalizing to any characteristic important properties known in characteristic two concerning the Walsh transform of derivatives of bent functions. Some of these properties generalize to all bent functions, while others appear to apply only to weakly regular bent functions. We deduce a method to obtain a bent function by adding a quadratic function to a weakly regular bent function. We also identify a particular class of bent functions possessing the property that every first-order derivative in a nonzero direction has a derivative (which is then a second-order derivative of the function) equal to a nonzero constant. We show that this property implies bentness and is shared in particular by all cubic bent functions. This generalizes to the odd characteristic the notion of cubic-like bent function, that was introduced and studied for binary functions by Irene Villa and the first author. In the second part of the paper, we provide (for the first time) a primary construction leading to an infinite class of cubic ternary vectorial bent functions that have only not weakly regular components. We show the bentness of the component functions by two approaches: by calculating the Walsh transform directly and by considering the second-order derivatives (and applying the results from the first part of the paper). We prove that they are not weakly regular by showing they do not have one of the properties that we proved in the first part of the paper for weakly regular bent functions.

2025-12-22T12:04:16Z Claude Carlet and Alexander Kholosha http://arxiv.org/abs/2602.10922v2 2026-04-17T08:52:37Z

Semialgebraic graphs are graphs whose vertices are points in $\mathbb{R}^d$, and adjacency between two vertices is determined by the truth value of a semialgebraic predicate of constant complexity. We show how to harness polynomial partitioning methods to construct compact adjacency labeling schemes for families of semialgebraic graphs. That is, we show that for any family of semialgebraic graphs, given a graph on $n$ vertices in this family, we can assign a label consisting of $O(n^{1-2/(d+1) + \varepsilon})$ bits to each vertex (where $\varepsilon > 0$ can be made arbitrarily small and the constant of proportionality depends on $\varepsilon$ and on the complexity of the adjacency-defining predicate), such that adjacency between two vertices can be determined solely from their two labels, without any additional information. We obtain for instance that unit disk graphs and segment intersection graphs have such labelings with labels of $O(n^{1/3 + \varepsilon})$ bits. This is in contrast to their natural implicit representation consisting of the coordinates of the disk centers or segment endpoints, which sometimes require exponentially many bits. It also improves on the best known bound of $O(n^{1-1/d}\log n)$ for $d$-dimensional semialgebraic families due to Alon (Discrete Comput. Geom., 2024), a bound that holds more generally for graphs with shattering functions bounded by a degree-$d$ polynomial. We also give new bounds on the size of adjacency labels for other families of graphs. In particular, we consider semilinear graphs, which are semialgebraic graphs in which the predicate only involves linear polynomials. We show that semilinear graphs have adjacency labels of size $O(\log n)$. We also prove that polygon visibility graphs, which are not semialgebraic in the above sense, have adjacency labels of size $O(\log^3 n)$.

2026-02-11T15:00:26Z Added references. Short version to be published in the proceedings of the 52nd International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2026) Jean Cardinal Micha Sharir http://arxiv.org/abs/2604.15534v1 2026-04-16T21:28:53Z

The $r$-neighbour bootstrap process on a graph $G$ begins with a set of infected vertices; subsequently, healthy vertices become infected once they have at least $r$ infected neighbours. The central extremal problem in bootstrap percolation is to determine the minimum cardinality of an initial infected set that eventually spreads to all vertices of $G$, denoted $m(G;r)$. Morrison and Noel established a general lower bound on $m(Q_d;r)$, where $Q_d$ is the $d$-dimensional hypercube, and asked whether it is tight whenever $d$ is sufficiently large with respect to $r$. This question was answered affirmatively for $r\leq 3$. In this paper, we show that $m(Q_d;4)=\frac{d(d^2+3d+14)}{24}+1$, matching the bound in of Morrison and Noel, for infinitely many $d$. We also obtain, for general $d$, an upper bound on $m(Q_d;4)$ that differs from the Morrison--Noel lower bound by an additive $O(d)$ term. Several key constructions in this paper were obtained with the assistance of AlphaEvolve.

2026-04-16T21:28:53Z 25 pages Jonathan A. Noel http://arxiv.org/abs/2604.18617v1 2026-04-16T18:20:45Z

A chain is defined as a directed acyclic graph (DAG) with one source and one sink, where the children are ordered and the spanning tree computed using a depth-first search is a path. Such DAGs emerge in the context of tree compression and are therefore uniquely associated with a tree. The tree size of a DAG is defined as the size of the associated tree. For fixed out-degree $k \geq 2$, we compute the asymptotic expected decompressed tree size of a chain of size $n$ chosen uniformly at random, and we show that it contains a stretched exponential term of the form $e^{c \, \sqrt{n}}$. This result also has implications for the limit distribution of Brauer chains of fixed length.

2026-04-16T18:20:45Z 18 pages, 10 figures. Accepted for publication in Annals of Combinatorics Michael Wallner http://arxiv.org/abs/2506.12933v2 2026-04-16T12:02:21Z

A dominating set of a graph $G$ is a set $D \subseteq V(G)$ such that every vertex in $V(G) \setminus D$ is adjacent to at least one vertex in $D$. A set $L\subseteq V(G)$ is a locating set of $G$ if every vertex in $V(G) \setminus L$ has pairwise distinct open neighborhoods in $L$. A set $D\subseteq V(G)$ is a locating-dominating set of $G$ if $D$ is a dominating set and a locating set of $G$. The location-domination number of $G$, denoted by $γ_{LD}(G)$, is the minimum cardinality among all locating-dominating sets of $G$. A well-known conjecture in the study of locating-dominating sets is that if $G$ is an isolate-free and twin-free graph of order $n$, then $γ_{LD}(G)\le \frac{n}{2}$. Recently, Bousquet et al. [Discrete Math. 348 (2025), 114297] proved that if $G$ is an isolate-free and twin-free graph of order $n$, then $γ_{LD}(G)\le \lceil\frac{5n}{8}\rceil$ and posed the question whether the vertex set of such a graph can be partitioned into two locating sets. We answer this question affirmatively for twin-free distance-hereditary graphs, maximal outerplanar graphs, split graphs, and co-bipartite graphs. In fact, we prove a stronger result that for any graph $G$ without isolated vertices and twin vertices, if $G$ is a distance-hereditary graph or a maximal outerplanar graph or a split graph or a co-bipartite graph, then the vertex set of $G$ can be partitioned into two locating-dominating sets. Consequently, this also confirms the original conjecture for these graph classes.

2025-06-15T18:22:54Z Discrete Mathematics 349 (2026) 114886 Florent Foucaud Paras Vinubhai Maniya Kaustav Paul Dinabandhu Pradhan 10.1016/j.disc.2025.114886 http://arxiv.org/abs/2408.02299v9 2026-04-16T11:51:59Z

This book studies ultrafilters on connectivity systems, that is, on pairs \((X,f)\) where \(X\) is a finite set and \(f:2^{X}\to \mathbb{N}\) is a symmetric submodular function. Ultrafilters, which play a fundamental role in topology and set theory, are considered here in this broader setting, with particular emphasis on their connections to graph width parameters and to the structural analysis of graph complexity. We develop several results on ultrafilters on connectivity systems and examine related notions such as prefilters, ultra-prefilters, and filter subbases. We also discuss additional width-, length-, and depth-type parameters that naturally arise in this framework, thereby broadening the perspective from which graph structure may be studied. In addition, the book compares a wide range of graph width parameters and related concepts, with the aim of providing a unified viewpoint and a useful point of departure for further research in graph theory and computational complexity. More broadly, the book highlights connections with several neighboring areas of mathematics, including set theory, lattice theory, and matroid theory. It also contains survey-style material intended to clarify the current landscape of graph width theory and to stimulate further developments in the subject.

2024-08-05T08:16:47Z 131 pages and Supplemental Figure(https://www.researchgate.net/publication/383432866_Supplemental_Figure_Comparing_Graph_Width_Parameter_Graph_Parameter_Hierarchy) Takaaki Fujita http://arxiv.org/abs/2604.15386v1 2026-04-16T05:11:51Z

Embeddings of word structures into matrix semigroups provide a natural bridge between combinatorics on words and linear algebra. However, low-dimensional matrix semigroups impose strong structural restrictions on possible embeddings. Certain finitely generated groups admit faithful representations in SL(2, C) and other similar matrix groups. On the other hand, it is known that the product of two free semigroups on two generators cannot be embedded into the 2x2 complex matrices. In this paper we study embeddings of word structures into low-dimensional matrix semigroups over the complex numbers and develop new techniques for constructing word representations of the Euclidean Bianchi groups. These representations provide a symbolic framework and a natural first step towards analysing fundamental decision problems in 2x2 matrix semigroups.

2026-04-16T05:11:51Z 23 pages. Full version of conference paper accepted to DLT 2026 Paul C. Bell George Kenison Reino Niskanen Igor Potapov Pavel Semukhin