https://arxiv.org/api/beltRqPya67AwJ0TKFyh+oxN3zI 2026-06-09T20:31:18Z 15648 0 15 http://arxiv.org/abs/2606.09801v1 2026-06-08T17:53:07Z

For graphs $F$ and $H$, the generalized Turán number $\mathrm{ex}(n,F,H)$ denotes the maximum number of copies of $F$ in an $H$-free graph on $n$ vertices. We prove that if $s\in \{2,3\}$, $s< a\leq b$ and $t$ is sufficiently large, then $\mathrm{ex}(n,K_{a,b},K_{s,t})=Θ(n^s)$. The $s=2$, $a=b=3$ case of this result answers a question of Spiro. Proving another conjecture of Spiro, we show that for every graph $F$ with at least one edge, there exist infinitely many real numbers $r$ such that $\mathrm{ex}(n,F,H)=Θ(n^r)$ holds for some graph $H$.

2026-06-08T17:53:07Z 17 pages Oliver Janzer Sean Longbrake Liana Yepremyan http://arxiv.org/abs/2606.09785v1 2026-06-08T17:42:31Z

A biclique decomposition of a graph is a partition of its edges into complete bipartite subgraphs. We consider graphs whose vertices can be ordered such that the neighborhood of every vertex is the union of a sublinear number of intervals. We observe that these graphs admit compact representations in the form of biclique decompositions of small size. Here, the size of a decomposition is measured as the sum of the number of vertices of its bicliques. Combining this result with the existence of suitable vertex orderings for graphs of low neighborhood complexity, as proven by Welzl in 1988, we recover and extend several known results up to logarithmic factors. These results include upper bounds on the Zarankiewicz problem, matrix multiplication, quantum circuit complexity, and shortest path algorithms in ``well-structured'' instances.

2026-06-08T17:42:31Z Jean Cardinal Rose McCarty Yelena Yuditsky http://arxiv.org/abs/2603.29629v4 2026-06-08T17:16:14Z

The multi-word-representation number $μ(G)$ of a graph $G$ is the minimum number of word-representable graphs whose union is $G$. We study the behavior of $μ$ under six standard graph products: the lexicographic, Cartesian, rooted, corona, tensor, and strong products. For the Cartesian and rooted products, we show that $μ(G_1 \square G_2)=μ(G_1 \diamond G_2)=\max\{μ(G_1),μ(G_2)\}$. For the corona product, we prove that $μ(G_1 \odot G_2)\le \max\{μ(G_1),μ(G_2)\}+1$, and we identify a condition under which equality holds. For the lexicographic product, we establish $μ(G_1 \circ G_2)\le μ(G_1)+μ(G_2)$, which reduces to $\max\{μ(G_1),μ(G_2)\}$ under a comparability cover condition on $G_2$, and we characterize the case when the lexicographic product of two minimal non-word-representable graphs has $μ=2$. For the tensor product $G_1 \times G_2$, we show $μ(G_1 \times G_2)\le \log_3(\min\{χ(G_1),χ(G_2)\})$. For the strong product $G_1 \boxtimes G_2$, we establish $\max\{μ(G_1),μ(G_2)\}\le μ(G_1 \boxtimes G_2)\le \max\{μ(G_1),μ(G_2)\}+\log_3(\min\{χ(G_1),χ(G_2)\})$. For lexicographic powers $G^{[k]}$, we prove that $μ(G^{[k]})\le k$ when $G$ is word-representable but not a comparability graph, and in general $μ(G^{[k]})$ is bounded by the comparability cover number of $G$. We further show that $G^{[k]}$ is word-representable if and only if $G$ is a comparability graph. As an application, we obtain a sublinear upper bound on the extremal function $τ(n)$, defined as the largest integer such that every $n$-vertex graph contains a word-representable induced subgraph of that size; in particular, $τ(8^k)\le 6^k$, implying $τ(n)\le n^{\log_8 6+ε}$ for large $n$.

2026-03-31T11:52:38Z Benny George Kenkireth Gopalan Sajith Sreyas Sasidharan http://arxiv.org/abs/2606.09736v1 2026-06-08T17:00:40Z

The triangle packing number $ν(G)$ of a graph $G$ is the maximum size of a set of edge-disjoint triangles in $G$. Tuza conjectured that in any graph $G$ there exists a set of at most $2ν(G)$ edges intersecting every triangle in $G$. We show that Tuza's conjecture holds in the random geometric graph for a large range of densities. We also study the problem of covering almost all edges of the random geometric graph with edge-disjoint copies of some fixed graph $F$. In particular, we show the existence of almost-perfect packings for an infinite family of $F$, and state some negative results as well.

2026-06-08T17:00:40Z 26 pages Patrick Bennett Ryan Cushman Andrzej Dudek Xavier Pérez-Giménez http://arxiv.org/abs/2606.02667v2 2026-06-08T11:42:11Z

Let $f(k,s)$ denote the minimum integer $m$ such that any family $\mathcal{F}$ consisting of $k$-sized sets of cardinality at least $m$ always contain a sunflower of size $s$. The Erdős-Rado Sunflower Conjecture states that for every $s >2$, there is an constant $C=C(s)$ such that $f(k,s) \leq C^k$. In this paper, we prove the conjecture for shifted families.

2026-06-01T11:00:52Z 12 Pages Tapas Kumar Mishra http://arxiv.org/abs/2606.09158v1 2026-06-08T07:48:38Z

The interest in studying the size of the intersection of multiple $q$-ary Hamming balls has grown due to the recent advances in DNA-based data storage systems. We present an exact formula for the cardinality of the intersection of $s$ Hamming balls of varying radii over a $q$-ary alphabet. It is known that the distances between the center points of the Hamming balls are not enough, in general, to determine the size of the intersection. Based on our formula, we are able to find more refined structural properties of the center points for determining the exact size of the intersection. Moreover, we also analyze the size of the intersection for sufficiently large $n$. When $s=3$, we give the necessary and sufficient conditions (for all $q\ge 2$, $q\neq 6$ and sufficiently large $n$) to obtain the maximum size of the intersection when the center points of the Hamming balls have a given minimum distance and demonstrate how to compute it using our general formula.

2026-06-08T07:48:38Z Ville Junnila Tero Laihonen Tuomo Lehtilä Pavan Padavu Devaraj http://arxiv.org/abs/2507.03980v4 2026-06-08T04:17:36Z

The application of program transformation and algebraic methods to the development of efficient combinatorial optimization (CO) algorithms relies on an exhaustive combinatorial generator for the problem specification, followed by the fusion of thinning or filtering processes into this specification. However, the effectiveness of such fusion transformations critically depends on the structural compatibility between the objective function and the generator, which is highly problem dependent. In practice, when the majority of candidate solutions remain unfiltered or are not eliminated-as is the case for most intractable CO problems-the overall efficiency of the resulting fused program is largely determined by the intrinsic efficiency of the combinatorial generator. Consequently, if the specification itself exhibits suboptimal performance, the fused program will inherit a correspondingly inferior level of efficiency. We argue that a genuine designed process should also account for hardware compatibility and parallelizability-particularly the ability to support efficient parallel execution on modern hardware architectures, including multi-level cache hierarchies and GPUs. However, does achieving formal correctness necessarily conflict with designing algebraically elegant algorithms that support fusion? Can we obtain both simultaneously? In this paper, we show that techniques from functional programming, provide powerful formal tools for the systematic construction of such hardware-compatible and parallelizable combinatorial generators. This paper investigates generators for two of the most fundamental combinatorial structures-combinations and permutations-together with their natural extension to nested generators (e.g., combinations/permutations of combinations/permutations).

2025-07-05T10:11:37Z Xi He Zhenjiang Hu Max. A. Little http://arxiv.org/abs/2606.08724v1 2026-06-07T16:39:41Z

Recently the poset of ranked cactuses $(\mathfrak{P}(X),\preceq)$ was introduced. For a finite set $X$, this poset consists of a set $\mathfrak{P}(X)$ of certain collections of ordered pairs of subsets of $X$ together with an ordering $\preceq$ that is similar to the refinement ordering of partitions of a finite set. In addition, the maximal chains in this poset correspond to binary ranked cactuses, a fact which can be used to construct the so-called space of equidistant cactuses. In this paper, we show that the poset of ranked cactuses is EL-shellable. As a consequence we also show that the proper part of the link of the origin of the space of equidistant cactuses has the homotopy type of a wedge of spheres.

2026-06-07T16:39:41Z Vincent Moulton Andreas Spillner Antonia Stavemann http://arxiv.org/abs/2311.17210v5 2026-06-07T14:17:07Z

We determine sufficient conditions under which certain recursively defined functions are well defined for all real inputs. Given a function $f:\mathbb R\to\mathbb R$, call a decreasing sequence $x_1>x_2>x_3>\cdots$ "$f$-bad" if $f(x_1)>f(x_2)>f(x_3)>\cdots$, and call the function $f$ "ordinal decreasing" if there exist no infinite $f$-bad sequences. We prove the following result: Given ordinal decreasing functions $f,g_1,\ldots,g_k,s$ that are everywhere larger than $0$, define the recursive algorithm "$M(x)$: if $x<0$ return $f(x)$, else return $g_1(-M(x-g_2(-M(x-\cdots-g_k(-M(x-s(x)))\cdots))))$". Then $M(x)$ halts and is ordinal decreasing for all $x \in \mathbb{R}$. The recursive algorithms $M$ and $M_n$ previously studied in the context of fusible numbers by Ericskon et al. (2022) and Bufetov et al. (2024), respectively, are special cases of this scheme. Moreover, given an ordinal decreasing function $f$, denote by $o(f)$ the ordinal height of the root of the tree of $f$-bad sequences. Then we prove that, for $k\ge 2$, the function $M(x)$ defined by the above algorithm satisfies $o(M)\le\varphi_{k-1}(γ+o(s)+1)$, where $γ$ is the smallest ordinal such that $\max\{o(s),o(f),o(g_1), \ldots, o(g_k)\} <\varphi_{k-1}(γ)$.

2023-11-28T20:30:22Z 15 pages, 4 figures Gabriel Nivasch Lior Shiboli http://arxiv.org/abs/2606.08523v1 2026-06-07T09:01:50Z

We study the $t$-uniform hypergraphicality problem under a compressed representation of the degree sequence. Instead of listing all vertex degrees explicitly, the input consists of pairs $$ (δ_1,n_1),\dots,(δ_k,n_k), $$ meaning that exactly $n_i$ vertices have degree $δ_i$. Thus the parameter $k$ denotes the number of distinct degrees. Although deciding $t$-hypergraphicality is NP-complete for every fixed $t>2$, we prove that the problem is fixed-parameter tractable parameterized by $(k,t)$. Our result shows that tractability extends substantially beyond previously known bounded-range regimes: even degree sequences with large overall degree spread can be handled efficiently when the number of distinct degrees is bounded. Our approach decomposes hyperedges according to their types with respect to the degree classes, yielding a bounded-dimension spectrum representation. Using balancing hinge-flips, we show that every feasible spectrum can be transformed into a realization of the prescribed degree sequence. This leads to an integer programming feasibility formulation with $$ \binom{t+k-1}{k-1} $$ variables. Applying Lenstra's theorem yields an FPT algorithm running in time $$ f(k,t)\cdot \mathrm{poly}(L), $$ where $L$ denotes the encoding length of the compressed input.

2026-06-07T09:01:50Z Submitted to Algorithmica Riley Brown Istvan Miklos http://arxiv.org/abs/2606.08506v1 2026-06-07T08:14:03Z

Let $f(n,k)$ be the minimum size of a collection of bicliques such that (i) every edge of the complete graph $K_n$ is covered by at least one and at most $k$ bicliques in the collection, and (ii) for each edge $\{u,v\}$, the number of bicliques in which $u$ appears in the first class and $v$ in the second class differs by at most one from the number of bicliques in which $u$ appears in the second class and $v$ in the first class. For $k=1$, $f(n,k)$ reduces to the biclique partition number of $K_n$, and the Graham--Pollak theorem gives $f(n,1)=n-1$. For $k=2$, $f(n,k)$ is the ordered biclique partition number of $K_n$, for which it is known that $c_1 n^{1/2} \le f(n,2) \le c_2 n^{1/2+o(1)}$ for some positive constants $c_1$ and $c_2$. In this note, we establish almost tight bounds for $f(n,k)$ for general $k$.

2026-06-07T08:14:03Z 9 pages Anand Babu Ervin Ranjan Maddipati Deshith Sai Jatla Naga Sidhartha Anagh Indu Suresh Sreedhara Vishwas http://arxiv.org/abs/2606.02213v2 2026-06-07T06:05:36Z

We propose a new voting algorithm based on the pairwise majority-comparison matrix derived from voters' preference profiles. We show that this algorithm induces exactly the winner set of the Schulze rule (Schulze, 1997). Our algorithm successively eliminates weaker candidates in terms of all-pairs comparisons, thereby reflecting a dual spirit to Condorcet's original idea of splitting preference cycles (de Condorcet, 1785). We further show that the direct sum of the survival sets obtained at each elimination round coincides with the Schwartz set (Schwartz, 1972). These two equivalence results provide a formal mathematical foundation for the ``folklore'' relationship between the Schulze winner set and the Schwartz set, as well as a new Condorcetian interpretation of the Schulze winner set.

2026-06-01T13:12:41Z Satoru Fujishige Leo Goto Satoshi Nakada http://arxiv.org/abs/2603.21538v2 2026-06-07T05:03:52Z

A graph $G$ is {\em perfectly divisible} if, for each induced subgraph $H$ of $G$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B])<ω(H)$. A {\em bull} is a graph consisting of a triangle with two disjoint pendant edges. Hoàng [Discrete Math. 349 (2026) 114809] proposed four conjectures: 1. $P_5$-free graphs are perfectly divisible; 2. Odd hole-free graphs are perfectly divisible; 3. Even hole-free graphs are perfectly divisible; and 4. $4K_1$-free graphs are perfectly divisible. Karthick et al. [Electron. J. Combin. 29 (2022) P3.19] proposed a conjecture: Fork-free graphs are perfectly divisible. In this paper, we prove that all of five conjectures above hold for bull-free graphs. Our results also generalize some results of Chudnovsky and Sivaraman [J. Graph Theory 90 (2019) 54--60] and Karthick et al. [Electron. J. Combin. 29 (2022) P3.19]. We say that a class ${\cal C}$ is {\em perfect-Pollyanna} if ${\cal C}\cap {\cal G}$ is perfectly divisible for any hereditary class ${\cal G}$ in which each triangle-free graph is 3-colorable. Let $H\in\{\text{house, hammer, diamond}\}$. In this paper, we prove that the class of $(\text{bull}, H)$-free graphs is perfect-Pollyanna. Let ${\cal C}$ be the class of $(\text{bull}, H)$-free graphs. This implies that ${\cal C}\cap {\cal G}$ is perfectly divisible if and only if all of triangle-free graphs in ${\cal G}$ are perfectly divisible. As corollaries, we show that $(\text{bull},{\cal H})$-free graphs are perfectly divisible, where ${\cal H}$ is one of $\{P_{11},C_4\},\{P_{14},C_5,C_4\}$, and $\{P_{17},C_6,C_5,C_4\}$.

2026-03-23T03:46:17Z 17 Pages, 2 figures Ran Chen Paras Vinubhai Maniya Di Wu Junran Yu http://arxiv.org/abs/2606.08128v1 2026-06-06T12:12:38Z

Gray-box optimization is an approach for making some problem-specific information available to the algorithm while still relying on fitness information as the main guide to an optimum. This approach was shown to be beneficial in various combinatorial optimization tasks and neatly captures the continuum between fully black-box algorithms and tailored algorithms. In this work, we discuss different flavors of gray-box algorithms. We show that RLS can find a proper $2$-coloring in a bipartite graph starting from a random $2$-coloring, in an expected time of $\mathcal{O}(n \log n)$. In contrast, when starting from a proper $n$-coloring, the (1+1) EA cannot find such a coloring except when offered additional guiding on plateaus of the search space. Finally, we show the run time for this setting can be much improved by using gray-box operators.

2026-06-06T12:12:38Z 20 pages, conference version published in GECCO 2026 Johanna Gasse Antonia Heinen Hendrik Higl Timo Kötzing http://arxiv.org/abs/2606.08127v1 2026-06-06T12:11:29Z

Let ${\bf x} = (a_i)_{i \geq 0}$ be an infinite word over a finite alphabet $Σ$. Let $ρ(n)$ be the factor complexity function for $\bf x$ and ${\rm Pal}(n)$ be the palindrome complexity function for $\bf x$. We give a new relationship between these two quantities; namely, if $\bf x$ is not ultimately periodic, then $$ \lim_{n \rightarrow \infty} {{ {\rm Pal} (n) \log ({\rm Pal} (n) + 1)} \over {ρ(n)}} = 0. $$ Furthermore, we prove that the numerator in this result is essentially optimal.

2026-06-06T12:11:29Z Jeffrey Shallit