https://arxiv.org/api/3eyyMO0OlLeqIIJk6ijf2LxYBJ4 2026-09-10T18:14:49Z 16091 30 15 http://arxiv.org/abs/2609.06570v1 2026-09-06T12:31:30Z

Let $C \le \mathbb{F}_q^n$ be a uniformly random $\mathbb{F}_q$-linear code of rate $1 - h_q(ρ) - \varepsilon$, and let $L^*(C,ρ)$ be the least $L$ such that every Hamming ball of relative radius $ρ$ contains at most $L$ codewords of $C$. That $L^* = Θ_{q,ρ}(1/\varepsilon)$ has been known since work of Guruswami, Håstad and Kopparty and of Guruswami and Narayanan. Guruswami, Li, Mosheiff, Resch, Silas and Wootters proved that the constant in front of $1/\varepsilon$ is at least $h_q(ρ)$ for all $q$, along with an upper bound special to $q = 2$ which narrowed $L^*$ to within three consecutive integers in that case. But for $q \ge 3$ no upper bound with the correct constant was known. We determine $L^*$ for every prime power $q$. Let $ζ:= h_q(ρ)/\varepsilon$. For every sufficiently small $\varepsilon$, with probability $1-o(1)$ over the choice of $C$, $$L^*(C,ρ) = \lceil ζ\rceil,$$ unless the fractional part of $ζ$ is at most $q^{-Ω_{q,ρ}(ζ)}$, in which case $L^*(C,ρ)$ is $\lfloor ζ\rfloor$ or $\lfloor ζ\rfloor + 1$. By the threshold characterization of random linear codes due to Mosheiff, Resch, Ron-Zewi, Silas and Wootters, both bounds reduce to a two-sided estimate of a single quantity $V(q,L,ρ)$, where $1-V(q,L,ρ)$ is the threshold rate for $(ρ,L)$-list-decodability. We prove for all large $L$: $$h_q(ρ)(1 + 1/L) - q^{-Ω_{q,ρ}(L)} \le V(q,L,ρ) \le h_q(ρ)(1 + 1/L).$$ The upper bound rests on a new entropy inequality for sparse random vectors under pairwise non-proportional linear constraints, proved with the Erdős-Rado sunflower lemma. The lower bound is an exact analysis of the distribution introduced by Guruswami, Li, Mosheiff, Resch, Silas and Wootters.

2026-09-06T12:31:30Z Shashwat Silas http://arxiv.org/abs/2607.04141v3 2026-09-05T15:40:02Z

We introduce split-free cable expressions and their sequential restriction. Live cables are vertex blocks that future operations cannot split. The main result identifies sequential split-free cable width, up to an additive two, with active neighborhood-width, the minimum number of distinct nonzero future-neighborhood classes across a linear layout. The lower bound extracts such a layout from every cable play and includes a parity argument for prefixes inside a birth group. The upper bound compiles any active-neighborhood layout into a singleton-birth play. This gives an exponential upper bound and a linear lower bound in terms of linear rank-width. We prove that the complement of the seven-vertex cycle has linear rank-width two and sequential cable width exactly eight. This disproves the proposed affine upper estimate already at rank two. We also prove an unbounded separation between branching expression width and sequential width on trees.

2026-07-05T06:59:48Z 14 pages. Metadata corrected to match the revised manuscript Antonios Kalampakas http://arxiv.org/abs/2607.20269v2 2026-09-05T01:44:59Z

Prophet inequalities are a fundamental model for online decision-making under uncertainty. For matroid constraints, Kleinberg and Weinberg gave a tight $\frac{1}{2}$-approximation using adaptive thresholds, while Feldman, Svensson, and Zenklusen obtained a $\frac{1}{4}$-approximation via an online contention resolution scheme (OCRS). We give the first almost non-adaptive algorithm for general matroid prophet inequalities achieving the optimal $\frac{1}{2}$ guarantee, in fact with respect to the stronger ex-ante relaxation. Starting from an optimal ex-ante solution $x$, we reduce to a Bernoulli instance, replace the original matroid by a stricter direct sum of minors, and assign fixed thresholds to the resulting components. Translating the rule back to the original distributions, an element $e$ can be accepted only when its realized value lies in its top $x_e$-quantile and adding it preserves the corresponding stricter matroid constraint. We also give a second almost non-adaptive $\frac{1}{2}$-approximation based on a different threshold rule. This formulation extends naturally to intersections of matroids and yields an almost non-adaptive $(q+1)$-approximation for prophet inequalities under the intersection of $q$ arbitrary matroids, again with respect to the ex-ante relaxation. This matches the previously known $(q+1)$ guarantee for intersections of $q$ partition matroids, due to Alon, Pollner, and Weinberg, while extending it to arbitrary matroids. For the intersection result, each matroid is replaced by a stricter direct sum of minors, and a common surplus vector determines fixed element thresholds across all $q$ constraints. We prove the existence of such a vector using Brouwer's fixed-point theorem and give a polynomial-time procedure to compute it.

2026-07-22T15:21:02Z Sina Kalantarzadeh Kanstantin Pashkovich http://arxiv.org/abs/2609.05780v1 2026-09-05T00:21:41Z

Is it possible to walk to infinity, avoiding three collinear points, using as steps only the standard unit basis vectors $(0,0,\ldots, 0, 1, 0, \ldots, 0)$? We prove this is possible in $16$ dimensions.

2026-09-05T00:21:41Z Jeffrey Shallit http://arxiv.org/abs/2609.05771v1 2026-09-04T23:25:37Z

Families of sequences with low mutual aperiodic crosscorrelation assist the design of systems for multi-user asynchronous communications and multiple-input multiple-output radar. The crosscorrelation demerit factor of a pair of sequences is the sum of the squared magnitudes of their crosscorrelation values at every shift when the sequences are normalized to unit Euclidean norm, and the merit factor is the reciprocal of the demerit factor. For each positive integer $\ell$, we endow the $2^{2 \ell}$ pairs of binary sequences of length $\ell$ with uniform probability measure and study the distribution of their crosscorrelation demerit factors. Sarwate showed that the mean value is always $1$ regardless of length $\ell$. We develop a method for finding an exact formula for the $p$th central moment (for any positive integer $p$) as a function of $\ell$. Formulae for the variance and third central moment ($p=2$ and $3$) are then obtained by hand calculations, while the fourth through sixth central moments are obtained by computer-assisted calculations. Our theory also shows that all the central moments must be strictly positive for $p\geq 2$ and $\ell \geq 3$.

2026-09-04T23:25:37Z 32 pages Daniel J. Katz Harmony M. Vargas http://arxiv.org/abs/2609.05750v1 2026-09-04T22:01:01Z

We study the mixing time of the systematic scan dynamics for high-dimensional discrete distributions. This Markov chain updates coordinates sequentially according to a fixed predetermined order, in contrast to the Glauber dynamics that updates coordinates selected uniformly at random. The systematic scan is often favored in practice because it exhibits strong empirical performance, but its theoretical analysis remains far less developed than that of Glauber dynamics. We take a step toward addressing this imbalance by showing that two standard functional notions of weak dependence between the coordinates of the distribution provide strong convergence guarantees for the systematic scan dynamics. First, we show that approximate tensorization of entropy implies optimal $O(\log n)$ mixing time for every scan order under standard marginal, connectivity, and bounded interaction degree assumptions about the distribution. Second, we show that approximate tensorization of variance yields a constant-factor contraction of the variance functional per scan, which in turn implies an optimal $O(1)$ relaxation time for the natural additive and multiplicative reversibilizations of the systematic scan dynamics. Compared with our entropy result, the variance bound improves the dependence on the maximum interaction degree from exponential to quadratic and requires weaker assumptions on the distribution. As concrete applications of our results, we establish optimal $O(\log n)$ mixing of the systematic scan dynamics for bounded-degree antiferromagnetic two-spin systems in the tree-uniqueness region and for the ferromagnetic $q$-state Potts model on square boxes in $\mathbb{Z}^2$ throughout its subcritical regime.

2026-09-04T22:01:01Z Antonio Blanca Md Tahmidur Rafid http://arxiv.org/abs/2605.20434v2 2026-09-04T20:20:40Z

We study the contradiction graphs associated with a binary concept class. For a class $H\subseteq\{0,1\}^X$, the order-$m$ contradiction graph $G_m(H)$ has as vertices the $H$-realizable labeled sequences of length $m$, with two vertices adjacent when the two sequences assign opposite labels to some common domain point. First, we identify a graph-theoretic property that determines the threshold predicate $\operatorname{VCdim}(H)\ge m$. Consequently, the sequence $(G_m(H))_{m\ge1}$ determines the exact VC dimension and, in particular, distinguishes finite from infinite VC dimension, answering a question posed by Alon et al. (2024). We then generalize this result by proving that the sequence of contradiction graphs determines, up to signed relabeling, the realizable datasets of any fixed length. Thus, any learning-theoretic property determined by the realizable datasets of a fixed length and invariant under signed relabeling can be recovered from the contradiction graph sequence. As an application, we explicitly provide a characterization of Littlestone dimension.

2026-05-19T19:30:46Z Added Sections 5 and 6 and Appendices A and B Jesse Campbell Daniel Ibaibarriaga Lev Reyzin http://arxiv.org/abs/2609.05368v1 2026-09-04T17:12:50Z

In the uniform sparsest cut problem we are asked to find a vertex set that cuts few edges relative to the number of vertex pairs it separates. The Goemans-Linial SDP coupled with the Arora-Rao-Vazirani rounding gives an $\mathcal{O}(\sqrt{\log n})$ approximation on arbitrary graphs on $n$ vertices. We study this relaxation on finite Abelian Cayley graphs. First we show that when the second normalized Laplacian eigenvalue of $G= \mathrm{Cayley}(Γ, S)$ is realized by a Fourier character with image size at most four then $λ_2(G)=\mathrm{SDP}_{\mathrm{GL}}(G)=ψ(G)$. Geometrically, a character maps the vertices onto a regular polygon where the squared chord distance satisfies the triangle inequalities exactly when the polygon has at most four vertices. Grouping equal character fibers gives a cyclic quotient where the optimal cut can be found exactly and so the relaxation is exact on finite Abelian Cayley graphs on groups of exponent at most four. Second, we replace each generator $s$ of $S$ by a uniformly random element of its cyclic subgroup (including identity). If $r_s$ is the order of $s$, we let $α(r_s)$ to be the average number of $\pm s$ steps needed to simulate such a move, and let $ρ(S)=\max_{s\in S}α(r_s)$ be its worst case. Full cyclic averaging eliminates character phases and choosing a nontrivial character $χ^*$ minimizing the auxiliary eigenvalue and taking $K=\mathrm{ker}χ^*$ gives \[ ψ(G)\leqψ_G(K)\leq\frac{q^*}{q^*-1} \cdotρ(S)\cdot\mathrm{SDP}_{\mathrm{GL}}(G)\leq 2ρ(S)\cdot\mathrm{SDP}_{\mathrm{GL}}(G), \] where $q^*=|χ^*(Γ)|$. If all generator orders are at most $R$, this is an $R/2$ approximation. Finally, we construct an infinite family of finite Abelian Cayley graphs with Goemans-Linial integrality gap exactly $16/15$.

2026-09-04T17:12:50Z 21 pages Georgios Stamoulis http://arxiv.org/abs/2601.04040v3 2026-09-04T16:30:34Z

The spread of a vertex $v$ in a tree decomposition is the number of bags that contain $v$. We study the trade-off between spread and width in tree decompositions, answering every open question from Wood [arXiv:2509.01140]. First, Wood asked for the infimum of $c > 0$ such that there exists $c'$ such that each graph $G$ has a tree decomposition of width $c \cdot tw(G)$ in which each vertex $v$ has spread at most $c'(d(v)+1)$. We show that the answer is $3$. Second, we prove a conjecture of Wood, stating that every tree-decomposition of the $(n \times n)$-grid with width $n$ has a vertex with spread $Ω(n)$. Finally, we answer the last question of Wood by showing that near-optimal average spread can be achieved simultaneously with width $O(tw(G))$.

2026-01-07T15:56:54Z This new version includes new results of from Sergey Norin and Neil Rahman Hans L. Bodlaender Carla Groenland Sergey Norin Neil Rahman http://arxiv.org/abs/2608.01442v2 2026-09-04T16:30:08Z

The X-ray of a permutation is a sequence of sums along each diagonal of the associated permutation matrix. They satisfy certain necessary constraints on distribution of the values, which are conjectured to be sufficient when the sequence is binary. By re-expressing the constraints in a form that allows for real-valued relaxations, we prove that these binary sequences are always X-rays of doubly stochastic matrices.

2026-08-02T18:53:00Z 17 pages, 4 figures Bangzheng Li Yuewei Liu Yuan Yao http://arxiv.org/abs/2509.25150v3 2026-09-04T15:33:52Z

We study popular matchings in three classical settings: the house allocation problem, the marriage problem, and the roommates problem. In the popular matching problem, (a subset of) the vertices in a graph have preference orderings over their potential matches. A matching is popular if it gets a plurality of votes in a pairwise election against any other matching. Unfortunately, popular matchings typically do not exist. So we study a natural relaxation, namely popular winning sets which are a set of matchings that collectively get a plurality of votes in a pairwise election against any other matching. The $\textit{popular dimension}$ is the minimum cardinality of a popular winning set, in the worst case over the problem class. We prove that the popular dimension is exactly $2$ in the house allocation problem, even if the voters are weighted and ties are allowed in their preference lists. For the marriage problem and the roommates problem, we prove that the popular dimension is between $2$ and $3$, when the agents are weighted and/or their preferences orderings allow ties. In the special case where the agents are unweighted and have strict preference orderings, the popular dimension of the marriage problem is known to be exactly $1$ and we prove the popular dimension of the roommates problem is exactly $2$.

2025-09-29T17:53:50Z 15 pages Frank Connor Louis-Roy Langevin Ndiamé Ndiaye Agnès Totschnig Rohit Vasishta Adrian Vetta http://arxiv.org/abs/2609.05259v1 2026-09-04T15:20:18Z

A total coloring of a graph is an assignment of colors to its vertices and edges so that adjacent or incident elements receive distinct colors, and it is equitable when the cardinalities of any two color classes differ by at most one. Stemock conjectured that every $4$-total coloring of a cubic graph of order less than $20$ is equitable. In this paper, we disprove this conjecture: the circular ladder $L_{12}$ admits a non-equitable $4$-total coloring and, moreover, no smaller counterexample exists: order $4$ is vacuous, and every $4$-total coloring of a cubic graph of order $6$, $8$, or $10$ is equitable. We also prove that the same property holds at order $14$. Our proofs rely on a decomposition lemma, which states that, in any $4$-total coloring of a cubic graph $G$, each color class consists of an independent set $S$ together with a perfect matching of $G-S$. We use the lemma to determine all possible color class configurations for orders $12$, $16$, and $18$, and we show that every listed configuration is attained. Finally, we provide a splicing construction showing that, for every even $n\geq16$, some connected cubic graph of order $n$ admits a non-equitable $4$-total coloring. We may conclude that $14$ is the largest order for which every $4$-total coloring of every cubic graph is equitable.

2026-09-04T15:20:18Z Matheus Adauto Celina de Figueiredo Diana Sasaki Rafael Schneider http://arxiv.org/abs/2608.13310v2 2026-09-04T14:20:11Z

The $(\min,+)$ convolution is a central problem in fine-grained complexity, and it remains open whether it can be computed in truly subquadratic time. We study it through tropical polynomials, where $(\min,+)$ convolution is exactly tropical polynomial multiplication. We introduce the tropical decomposition width, $\operatorname{tdw}(A)$, which measures how finely a tropical polynomial can be decomposed into factors of small degree. We prove two modular convexity theorems showing that bounded tropical decomposition width forces convexity on arithmetic progression subpolynomials. This yields deterministic algorithms for computing $a\otimes b$ in $$O\left(n\max(\operatorname{tdw}(a),\operatorname{tdw}(b))^2\right)$$ when $\max(\operatorname{tdw}(a),\operatorname{tdw}(b))$ is given, and in $$O\left(ne^{\min(\operatorname{tdw}(a),\operatorname{tdw}(b))(1+o(1))}\right)$$ without prior knowledge of the width. Neither algorithm requires a decomposition of the input sequences. The same structural ideas give a randomized algorithm for Multiple-Sequence $(\min,+)$ Convolution: given $k$ sequences of length at most $n$, their convolution can be computed in $$O\left(kn^2\sqrt{\min(k,n)}\log^{1.5}(kn)\right)$$ time, improving the natural $O(k^2n^2)$ bound. Finally, we introduce interpolation algebras for tropical polynomials and show that classes with bounded tropical decomposition width admit interpolation algebras of finite generating rank, whereas distinguishing all tropical polynomials of degree at most $n$ requires generating rank $\lfloor n/2\rfloor+1$. We also prove that tropical decomposition width cannot decrease under any flat $\mathbb T$-algebra extension. Together, these results connect the tractability of $(\min,+)$ convolution with structural rigidity in tropical polynomial multiplication.

2026-08-13T14:37:04Z 63 pages, 1 figure, abstract shortened to meet arXiv requirements Huanyi Zhou http://arxiv.org/abs/2609.04956v1 2026-09-04T10:02:03Z

A colorful graph relation enhances the minor relation by merging color sets along contractions and by allowing the removal of colors; it generalizes rooted minors and models problems on graphs with several, possibly overlapping, annotated vertex sets. A graph has the Erdős-Pósa property for minors if and only if it is planar, by a classical theorem of Robertson and Seymour. In this work we determine, for the colorful minor relation, exactly which colorful graphs have the Erdős-Pósa property. Our characterization takes three equivalent forms. The first is structural: the colorful graphs with the property are those that can be drawn with all their colored vertices on one face and whose colors are, in a precise sense, laid out along that face without interleaving. The second is given by an obstruction set: they are those excluding every member of an explicit infinite family $\mathcal{O},$ of which only $\mathbf{O}(|I|^{4})$ members have colors that are a subset of $I,$ for every finite set $I$ of colors. The third is grid-like: they are exactly the colorful minors of unions of particular families of segregated grids, the colorful analogues of the grids that drive the classical proof.

2026-09-04T10:02:03Z Evangelos Protopapas Dimitrios M. Thilikos Sebastian Wiederrecht http://arxiv.org/abs/2609.04950v1 2026-09-04T09:55:44Z

For a finite abelian group $G$ and $k \geq 1$, the generalized Davenport constant $D_k(G)$ is the least $\ell$ such that every sequence over $G$ of length at least $\ell$ has $k$ pairwise disjoint nonempty zero-sum subsequences. A theorem of Freeze and Schmid gives $D_k(C_5^3) \geq 5k+10$ for every $k \geq 2$. We prove the matching upper bound: $D_4(C_5^3)=30$, and hence $D_k(C_5^3)=5k+10$ for every $k \geq 2$, so the Freeze--Schmid bound is attained by $C_5^3$ from $k=2$ onward, as it is by $C_2^3$ and unlike $C_3^3$. The proof is finite and computer-assisted. The remaining case reduces to showing that every zero-sum sequence of length $31$ over $C_5^3$ contains a nonempty zero-sum subsequence of length at most five. A saturation argument confines the multiplicities of a hypothetical counterexample to $\{1,2,4\}$, its support pattern to one of $60$ solutions of two linear equations, and its geometry to one of $78$ rank/plane branches normalized to a standard basis; an exhaustive search exhausts every branch with no survivor. The search was carried out by three independently written implementations, and the branch cover was regenerated by separate programs from the lemmas alone; two further machine-verified values, $D_3(C_5^3)=25$ and $s_{\leq 6}(C_5^3)=24$, enter the second statement, and their records accompany the paper.

2026-09-04T09:55:44Z 13 pages; computer-assisted proof; ancillary computational verification files included Sze Chun Yiu