http://arxiv.org/api/pGQvQP9jWcTjJOxD2kTYh1l9jq8 2025-04-21T00:00:00-04:00 70890 0 15 http://arxiv.org/abs/2504.15264v1 2025-04-21T17:46:21Z 2025-04-21T17:46:21Z

Extremal problems on set systems with restricted intersections have been an important part of combinatorics in the last 70 year. In this paper, we study the following Ramsey version of these problems. Given a set $L\subseteq \{0,\dots,k-1\}$ and a family $\mathcal{F}$ of $k$-element sets which does not contain a sunflower with $m$ petals whose kernel size is in $L$, how large a subfamily of $\mathcal{F}$ can we find in which no pair has intersection size in $L$? We give matching upper and lower bounds, determining the dependence on $m$ for all $k$ and $L$. This problem also finds applications in quantum computing. As an application of our techniques, we also obtain a variant of F\"uredi's celebrated semilattice lemma, which is a key tool in the powerful delta-system method. We prove that one cannot remove the double-exponential dependency on the uniformity in F\"uredi's result, however, we provide an alternative with significantly better, single-exponential dependency on the parameters, which is still strong enough for most applications of the delta-system method.

Barnabás Janzer Zhihan Jin Benny Sudakov Kewen Wu 23 pages + 7-page appendix http://arxiv.org/abs/2504.15234v1 2025-04-21T17:09:52Z 2025-04-21T17:09:52Z

We introduce a definition of ``equivariant quasisymmetry'' for polynomials in two sets of variables. Using this definition we define quasisymmetric generalizations of the theory of double Schur and double Schubert polynomials that we call double fundamental polynomials and double forest polynomials, where the subset of ``noncrossing partitions'' plays the role of $S_n$. In subsequent work we will show this combinatorics is governed by a new geometric construction we call the ``quasisymmetric flag variety'' which plays the same role for equivariant quasisymmetry as the usual flag variety plays in the classical story.

Nantel Bergeron Lucas Gagnon Philippe Nadeau Hunter Spink Vasu Tewari http://arxiv.org/abs/2504.15212v1 2025-04-21T16:33:18Z 2025-04-21T16:33:18Z

A graph $G=(V,E)$ is geometrically embeddable into a normed space $X$ when there is a mapping $\zeta: V\to X$ such that $\|\zeta(v)-\zeta(w)\|_X\leqslant 1$ if and only if $\{v,w\}\in E$, for all distinct $v,w\in V$. Our result is the following universal threshold for the embeddability of trees. Let $\Delta \geqslant 3$, and let $N$ be sufficiently large in terms of $\Delta$. Every $N$--vertex tree of maximal degree at most $\Delta$ is embeddable into any normed space of dimension at least $64\,\frac{\log N}{\log\log N}$, and complete trees are non-embeddable into any normed space of dimension less than $\frac{1}{2}\,\frac{\log N}{\log\log N}$. In striking contrast, spectral expanders and random graphs are known to be non-embeddable in sublogarithmic dimension. Our result is based on a randomized embedding whose analysis utilizes the recent breakthroughs on Bourgain's slicing problem.

Dylan J. Altschuler Pandelis Dodos Konstantin Tikhomirov Konstantinos Tyros http://arxiv.org/abs/2504.13316v2 2025-04-21T16:04:54Z 2025-04-17T20:03:00Z

Plane triangulations with all vertices of degree $3$ or $6$ are enumerated. A plane triangulation is said to be akempic if it has a $4$-colouring such that no two adjacent triangles have the same three colours and this colouring is not Kempe equivalent to any other colouring. Mohar (1985 and 1987) characterized and enumerated akempic triangulations with all vertices of degree $3$ or $6$. We give a new characterization of the akempic triangulations and a new proof of the Mohar enumeration theorem.

Jan Florek 18 pages, 6 figures http://arxiv.org/abs/2405.10297v2 2025-04-21T15:47:19Z 2024-05-16T17:52:36Z

We prove that random low-degree polynomials (over $\mathbb{F}_2$) are unbiased, in an extremely general sense. That is, we show that random low-degree polynomials are good randomness extractors for a wide class of distributions. Prior to our work, such results were only known for the small families of (1) uniform sources, (2) affine sources, and (3) local sources. We significantly generalize these results, and prove the following. 1. Low-degree polynomials extract from small families. We show that a random low-degree polynomial is a good low-error extractor for any small family of sources. In particular, we improve the positive result of Alrabiah, Chattopadhyay, Goodman, Li, and Ribeiro (ICALP 2022) for local sources, and give new results for polynomial and variety sources via a single unified approach. 2. Low-degree polynomials extract from sumset sources. We show that a random low-degree polynomial is a good extractor for sumset sources, which are the most general large family of sources (capturing independent sources, interleaved sources, small-space sources, and more). Formally, for any even $d$, we show that a random degree $d$ polynomial is an $\varepsilon$-error extractor for $n$-bit sumset sources with min-entropy $k=O(d(n/\varepsilon^2)^{2/d})$. This is nearly tight in the polynomial error regime. Our results on sumset extractors imply new complexity separations for linear ROBPs, and the tools that go into its proof may be of independent interest. The two main tools we use are a new structural result on sumset-punctured Reed-Muller codes, paired with a novel type of reduction between extractors. Using the new structural result, we obtain new limits on the power of sumset extractors, strengthening and generalizing the impossibility results of Chattopadhyay, Goodman, and Gurumukhani (ITCS 2024).

Omar Alrabiah Jesse Goodman Jonathan Mosheiff João Ribeiro 45 pages; improved result for sumset sources; added reference to the work of Mrazovi\'c; added new impossibility result; improved presentation http://arxiv.org/abs/2504.15167v1 2025-04-21T15:22:13Z 2025-04-21T15:22:13Z

We prove that, for positive integers $n,a_1, a_2, a_3$ satisfying $a_1+a_2+a_3 = n-1$, it holds that any bipartite graph $G$ which is the union of three perfect matchings $M_1$, $M_2$, and $M_3$ on $2n$ vertices contains a matching $M$ such that $|M\cap M_i| =a_i$ for $i= 1,2,$ and $3$. The bound $n-1$ on the sum is best possible in general. Our result verifies the multiplicity extension of the Ryser-Brualdi-Stein Conjecture, proposed recently by Anastos, Fabian, M\"uyesser, and Szab\'o, for three colors.

Simona Boyadzhiyska Micha Christoph Tibor Szabó 15 pages http://arxiv.org/abs/2504.15148v1 2025-04-21T14:52:40Z 2025-04-21T14:52:40Z

We consider uniformly resolvable decompositions of $K_v$ into subgraphs such that each resolution class contains only blocks isomorphic to the same graph. We give a partial solution for the case in which all resolution classes are either $K_2$ or $K_{1,n}$ where $n$ is odd.

Jehyun Lee Melissa Keranen 13 pages, 1 figure http://arxiv.org/abs/2504.15142v1 2025-04-21T14:45:39Z 2025-04-21T14:45:39Z

We consider uniformly resolvable decompositions of $K_v$ into subgraphs such that each resolution class contains only blocks isomorphic to the same graph. We give a complete solution for the case in which one resolution class is $K_2$ and the rest are $K_{1,n}$ where $n>1$ is odd.

Jehyun Lee Melissa Keranen 30 pages, 3 figures http://arxiv.org/abs/2504.15126v1 2025-04-21T14:22:32Z 2025-04-21T14:22:32Z

We study the topology of the (path) configuration spaces and the (path) independence complexes for digraphs as well as their underlying graphs. We prove some canonical embeddings from the (path) independence complexes of the underlying graphs to the (path) independence complexes of the digraphs as well as some canonical embeddings between the (path) independence complexes induced by strong totally geodesic immersions of (di)graphs. We apply the path complexes and the path homology to the path independence complexes of (di)graphs. As by-products, we give some consequences about the Shannon capacities.

Shiquan Ren 24 pages http://arxiv.org/abs/2504.15096v1 2025-04-21T13:31:27Z 2025-04-21T13:31:27Z

In this paper, we investigate the problem of finding {\it bisections} (i.e., balanced bipartitions) in graphs. We prove the following two results for {\it all} graphs $G$: (1). $G$ has a bisection where each vertex $v$ has at least $(1/4 - o(1))d_G(v)$ neighbors in its own part; (2). $G$ also has a bisection where each vertex $v$ has at least $(1/4 - o(1))d_G(v)$ neighbors in the opposite part. These results are asymptotically optimal up to a factor of $1/2$, aligning with what is expected from random constructions, and provide the first systematic understanding of bisections in general graphs under degree constraints. As a consequence, we establish for the first time the existence of a function $f(k)$ such that for any $k\geq 1$, every graph with minimum degree at least $f(k)$ admits a bisection where every vertex has at least $k$ neighbors in its own part, as well as a bisection where every vertex has at least $k$ neighbors in the opposite part. Using a more general setting, we further show that for any $\varepsilon > 0$, there exist $c_\varepsilon, c'_\varepsilon > 0$ such that any graph $G$ with minimum degree at least $c_\varepsilon k$ (respectively, $c'_\varepsilon k$) admits a bisection satisfying: every vertex has at least $k$ neighbors in its own part (respectively, in the opposite part), and at least $(1 - \varepsilon)|V(G)|$ vertices have at least $k$ neighbors in the opposite part (respectively, in their own part). These results extend and strengthen classical graph partitioning theorems of Erd\H{o}s, Thomassen, and K\"{u}hn-Osthus, while additionally satisfying the bisection requirement.

Jie Ma Hehui Wu 24 pages http://arxiv.org/abs/2504.15087v1 2025-04-21T13:20:37Z 2025-04-21T13:20:37Z

We give the first construction of explicit constant-degree lossless vertex expanders. Specifically, for any $\varepsilon > 0$ and sufficiently large $d$, we give an explicit construction of an infinite family of $d$-regular graphs where every small set $S$ of vertices has $(1-\varepsilon)d|S|$ neighbors (which implies $(1-2\varepsilon)d|S|$ unique-neighbors). Our results also extend naturally to construct biregular bipartite graphs of any constant imbalance, where small sets on each side have strong expansion guarantees. The graphs we construct admit a free group action, and hence realize new families of quantum LDPC codes of Lin and M. Hsieh with a linear time decoding algorithm. Our construction is based on taking an appropriate product of a constant-sized lossless expander with a base graph constructed from Ramanujan Cayley cubical complexes.

Jun-Ting Hsieh Alexander Lubotzky Sidhanth Mohanty Assaf Reiner Rachel Yun Zhang 33 pages, 3 figures http://arxiv.org/abs/2411.16968v2 2025-04-21T11:47:10Z 2024-11-25T22:37:34Z

We revisit Euler's partition function recurrence, which asserts, for integers $n\geq 1,$ that $$ p(n)=p(n-1)+p(n-2)-p(n-5)-p(n-7)+\dots = \sum_{k\in \mathbb{Z}\setminus \{0\}} (-1)^{k+1} p(n-\omega(k)), $$ where $\omega(m):=(3m^2+m)/2$ is the $m$th pentagonal number. We prove that this classical result is the $\nu=0$ case of an infinite family of ``pentagonal number'' recurrences. For each $\nu\geq 0,$ we prove for positive $n$ that $$ p(n)=\frac{1}{g_{\nu}(n,0)}\left(\alpha_{\nu}\cdot \sigma_{2\nu-1}(n)+ \mathrm{Tr}_{2\nu}(n) +\sum_{k\in \mathbb{Z}\setminus \{0\}} (-1)^{k+1} g_{\nu}(n,k)\cdot p(n-\omega(k))\right), $$ where $\sigma_{2\nu-1}(n)$ is a divisor function, $\mathrm{Tr}_{2\nu}(n)$ is the $n$th weight $2\nu$ Hecke trace of values of special twisted quadratic Dirichlet series, and each $g_{\nu}(n,k)$ is a polynomial in $n$ and $k.$ The $\nu=6$ case can be viewed as a partition theoretic formula for Ramanujan's tau-function, as we have $$ \mathrm{Tr}_{12}(n)=-\frac{33108590592}{691}\cdot \tau(n). $$

Kevin Gomez Ken Ono Hasan Saad Ajit Singh A few minor typos corrected. This paper will appear in Advances in Mathematics http://arxiv.org/abs/2211.14216v3 2025-04-21T11:40:44Z 2022-11-25T16:30:19Z

In this paper, we study some class of cellular automata (CA) preserving modulo-recursive, stability by reflection and richness called stable cellular automata (SCA). After applying these automata on Sturmian words, we establish some combinatorial properties of these new words. Next, the classical and palindromic complexity functions of these words are also determined. Finally, we show that these words are $2$-balanced and we establish their abelian complexity function.

Moussa Barro K. Ernest Bognini Boucaré Kientéga 16 pages, 0 figure, to be published in Discrete Mathematics and Theoretical Computer Science (DMTCS) http://arxiv.org/abs/2304.04517v6 2025-04-21T08:42:56Z 2023-04-10T11:26:07Z

The branchwidth of a graph has been introduced by Roberson and Seymour as a measure of the tree-decomposability of a graph, alternative to treewidth. Branchwidth is polynomially computable on planar graphs by the celebrated ``Ratcatcher'' algorithm of Seymour and Thomas. We explore how this algorithm can be extended to minor-closed graph classes beyond planar graphs, as follows: Let $H_{1}$ be a graph embeddable in the torus and $H_{2}$ be a graph embeddable in the projective plane. We prove that every $\{H_{1},H_{2}\}$-minor free graph $G$ contains a subgraph $G'$ whose branchwidth differs from that of $G$ by a constant depending only on $H_1$ and $H_2$. Moreover, the graph $G'$ admits a tree decomposition where all torsos are planar. This decomposition allows for a constant-additive approximation of branchwidth: For $\{H_{1},H_{2}\}$-minor free graphs, there is a constant $c$ (depending on $H_{1}$ and $H_{2}$) and an $\mathcal{O}(|V(G)|^{3})$-time algorithm that, given a graph $G$, outputs a value $b$ such that the branchwidth of $G$ is between $b$ and $b+c$.

Dimitrios M. Thilikos Sebastian Wiederrecht Accepted to WG 2024 http://arxiv.org/abs/2504.14942v1 2025-04-21T08:05:24Z 2025-04-21T08:05:24Z

Let \( G \) be a finite non-cyclic group. Define \( \mathrm{Cyc}(G) \) as the set of all elements \( a \in G \) such that for any $b\in G$, the subgroup \( \langle a, b \rangle \) is cyclic. The \emph{non-cyclic graph} $\Gamma(G)$ of \( G \) is a simple undirected graph with vertex set \( G \setminus \mathrm{Cyc}(G) \), where two distinct vertices \( x \) and \( y \) are adjacent if the subgroup \( \langle x, y \rangle \) is not cyclic. An independent subset $C$ of the vertex set of a graph $\Gamma$ is called a perfect code of $\Gamma$ if every vertex of $V(\Gamma)\setminus C$ is adjacent to exactly one vertex in $C$. A subset \( T \) of the vertex set a graph \( \Gamma \) is said to be a \emph{total perfect code} if every vertex of \( \Gamma \) is adjacent to exactly one vertex in \( T \). In this paper, we prove that the graph $\Gamma(G)$ is Hamiltonian for any finite non-cyclic nilpotent group $G$. Also, we characterize all finite groups such that their non-cyclic graphs admit a perfect code. Finally, we prove that for a non-cyclic nilpotent group $G$, the non-cyclic graph $\Gamma(G)$ does not admit total perfect code.

Parveen Parveen Bikash Bhattacharjya