Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Counterexample to majority optimality in NICD with erasures
We asked GPT-5 Pro to look for counterexamples among a public list of open problems (the Simons ``Real Analysis in Computer Science'' collection). After several numerical experiments, it suggested a counterexample for the Non-Interactive Correlation Distillation (NICD) with erasures question: namely, a Boolean function on 5 bits that achieves a strictly larger value of $\mathbb{E}|f(z)|$ than the 5-bit majority function when the erasure parameter is $p=0.40.$ In this very short note we record the finding, state the problem precisely, give the explicit function, and verify the computation step by step by hand so that it can be checked without a computer. In addition, we show that for each fixed odd $n$ the majority is optimal (among unbiased Boolean functions) in a neighborhood of $p=0$. We view this as a little spark of an AI contribution in Theoretical Computer Science: while modern Large Language Models (LLMs) often assist with literature and numerics, here a concrete finite counterexample emerged.
An inverse and a stability result for Ruzsa's inequality on triple sumsets
Ruzsa's inequality states that $|A+A+A| \leq |A+A|^{3/2}$ for any finite set $A$ in a commutative group. Ruzsa has constructed examples showing that this inequality is sharp asymptotically, up to a constant factor. We prove an inverse result which says that if $|A+A+A| \geq \frac{1}{M} |A+A|^{3/2}$ for some parameter $M,$ then the set $A$ resembles the sets in Ruzsa's construction. We then construct more families of examples which suggest that our inverse result is likely best possible qualitatively. The method extends to give an inverse result for a higher sumset analogue of Ruzsa's inequality, namely $|(h+1)A| \leq |hA|^{\frac{h+1}{h}}$ for any $h\geq 2.$ We also provide a "99%-stability" version of Ruzsa's inequality, which describes near optimal structures when $M$ is very close to $1.$
Bounding the number of holes required for folding rectangular polyominoes into cubes
We study the problem of whether rectangular polyominoes with holes are cube-foldable, that is, whether they can be folded into a cube, if creases are only allowed along grid lines. It is known that holes of sufficient size guarantee that this is the case.
Smaller holes which by themselves do not make a rectangular polyomino cube-foldable can sometimes be combined to create cube-foldable polyominoes. We investigate minimal sets of holes which guarantee cube-foldability. We show that if all holes are of the same type, the these minimal sets have size at most 4, and if we allow different types of holes, then there is no upper bound on the size.
Constrained Ramsey numbers for rainbow $P_5$
Given a graph $H$ and a positive integer $k$, the {\it $k$-colored Ramsey number} $R_k(H)$ is the minimum integer $n$ such that in every $k$-edge-coloring of the complete graph $K_{n}$, there is a monochromatic copy of $H$. Given two graphs $H$ and $G$, the {\it constrained Ramsey number} (also called {\it rainbow Ramsey number}) $f(H,G)$ is defined as the minimum integer $n$ such that, in every edge-coloring of $K_{n}$ with any number of colors, there is either a monochromatic copy of $H$ or a rainbow copy of $G$. Let $P_t$ be the path on $t$ vertices. Gyárfás, Lehel and Schelp proved that $f(H,P_5)=R_3(H)$ when $H$ is a path or a cycle. Li, Besse, Magnant, Wang and Watts conjectured that $f(H,P_5)=R_3(H)$ for any graph $H$, and confirmed this for all connected graphs and all bipartite graphs. In this paper, we address this conjecture for multiple classes of disconnected graphs with chromatic number at least 3. Our newly established general results encompass all known results on this problem. We also obtain several results for a bipartite variation of the problem. In addition, we propose a series of questions concerning this problem from multiple distinct aspects for further research.
Edge-colored 3-uniform hypergraphs without rainbow paths of length 3 and its applications to Ramsey theory
Motivated by Ramsey theory problems, we consider edge-colorings of 3-uniform hypergraphs that contain no rainbow paths of length 3. There are three 3-uniform paths of length 3: the tight path $\mathcal{T}=\{v_1v_2v_3, v_2v_3v_4, v_3v_4v_5\}$, the messy path $\mathcal{M}=\{v_1v_2v_3, v_2v_3v_4, v_4v_5v_6\}$ and the loose path $\mathcal{L}=\{v_1v_2v_3,$ $v_3v_4v_5, v_5v_6v_7\}$. In this paper, we characterize the structures of edge-colored complete 3-uniform hypergraph $K_n^{(3)}$ without rainbow $\mathcal{T}$, $\mathcal{M}$ and $\mathcal{L}$, respectively. This generalizes a result of Thomason-Wagner on edge-colored complete graph $K_n$ without rainbow paths of length 3. We also obtain a multipartite generalization of these results.
As applications, we obtain several Ramsey-type results. Given two $3$-uniform hypergraphs $H$ and $G$, the {\it constrained Ramsey number} $f(H,G)$ is defined as the minimum integer $n$ such that, in every edge-coloring of $K^{(3)}_n$ with any number of colors, there is either a monochromatic copy of $H$ or a rainbow copy of $G$. For $G\in \{\mathcal{T}, \mathcal{M}, \mathcal{L}\}$ and infinitely many 3-uniform hypergraphs $H$, we reduce $f(H, G)$ to the 2-colored Ramsey number $R_2(H)$ of $H$, that is, $f(H, G)=R_2(H)$. Given a $3$-uniform hypergraph $G$ and an integer $n\geq |V(G)|$, the {\it anti-Ramsey number} $ar(n, G)$ is the minimum integer $k$ such that, in every edge-coloring of $K^{(3)}_n$ with at least $k$ colors, there is a rainbow copy of $G$. We show that $ar(n, \mathcal{T})=\left\lfloor\frac{n}{3}\right\rfloor+2$ for $n\geq 5$, $ar(n, \mathcal{M})=3$ for $n\geq 7$, and $ar(n, \mathcal{L})=n$ for $n\geq 7$. Our newly obtained Ramsey-type results extend results of Gyárfás-Lehel-Schelp and Liu on constrained Ramsey numbers, and improve a result of Tang-Li-Yan on anti-Ramsey numbers.
On the b-chromatic number of star graph operators
A $b$-coloring is a proper coloring such that for each color class, there exists at least one vertex that is adjacent to at least one vertex in every other color class. The $b$-chromatic number of a graph $G$ is the maximum number $k$ such that $G$ admits a $b$-coloring with $k$ colors. This paper focuses on the $b$-chromatic number of the power graph of the Cartesian product of star graphs. In addition, we also study the total graph and the line graph of the Cartesian product of star graphs. Our main result generalizes the result shown in \cite{qn} on the b-chromatic number of the Cartesian product of two stars. We find exact values for the b-chromatic number of particular Cartesian products of complete graphs and explore the bounds of the generalized Cartesian product of complete graphs.
Non-Abelian expansion of congruence KMS complexes
Coboundary expansion with non-Abelian coefficients is a strong version of high-dimensional expansion for simplicial complexes. One motivation for studying this notion is that it was recently shown to have deep connections to problems in theoretical computer science. However, very few examples of families of simplicial complexes with this type of expansion are known. Namely, prior to our work, the only known examples were quotients of symplectic buildings and a slight variation of the Kaufman-Oppenheim coset complexes construction associated with $\operatorname{SL}_{n} (\mathbb{F}_p [t])$.
In this paper, we show that the Grave de Peralta and Valentiner-Branth constructions of KMS complexes have coboundary expansion with non-Abelian coefficients when it is performed with respect to congruence subgroups of Chevalley groups of classical type, i.e., of type $A_n, B_n, C_n$ and $D_n$. This gives four new sources of examples to this expansion phenomenon, thus significantly enriching our list of constructions.
Hamiltonian Cycles in Subdivided Doubles
The subdivided double construction on 4-regular graphs was used by Potočnik and Wilson to explore semi-symmetric (edge-transitive but not vertex-transitive) graphs, and can be used to construct every semi-symmetric 4-regular graph that contains a pair of twin vertices. We show that (regardless of symmetry) subdivided doubles have another curious property: they have exponentially many Hamiltonian cycles each of which is complementary to another Hamiltonian cycle.
Odd and Even Harder Problems on Cycle-Factors
For a graph (undirected, directed, or mixed), a cycle-factor is a collection of vertex-disjoint cycles covering the entire vertex set. Cycle-factors subject to parity constraints arise naturally in the study of structural graph theory and algorithmic complexity. In this work, we study four variants of the problem of finding a cycle-factor subject to parity constraints: (1) all cycles are odd, (2) all cycles are even, (3) at least one cycle is odd, and (4) at least one cycle is even. These variants are considered in the undirected, directed, and mixed settings. We show that all but the fourth problem are NP-complete in all settings, while the complexity of the fourth one remains open for the directed and undirected cases. We also show that in mixed graphs, even deciding the existence of any cycle factor is NP-complete.
Upper Bounds for Digitwise Generating Functions of Powers of Two: A Problem and a Matrix Representation
This short note studies the asymptotic behavior of a generating function associated with the decimal expansion of \(2^n\). Our aims are twofold: (i) to present a problem on the best possible upper bound for this behavior, and (ii) to introduce a matrix representation that is useful for its analysis. The representation corresponds to a finite-state transfer operator; analytic and dynamical aspects are not pursued here.
Operads and bialgebras of multi-indices, and Novikov algebras
Noncommutative multi-indices are noncommutative monomials in a $\mathbb{N}$-indexed family of indeterminates. We define on them a $\mathbb{Z}$-graded operadic structure, with the help of a shifting derivation. Multi-indices of degree 0 are called populated: they form a suboperad, isomorphic to the operad of Novikov algebras. This operadic structure, and the relation between pre-Lie and Novikov algebras, induces two bialgebraic structure in cointeraction on commutative multi-indices. We show how to combinatorially embed this double bialgebra into the Connes-Kreimer Hopf algebra of rooted trees, with its two coproducts based, firstly on cuts, secondly, on contraction of edges, and how this embedding can be characterized by a Dyson-Schwinger equation. We also study the unique polynomial invariant compatible with the two bialgebraic structures on multi-indices and use to describe the antipode for the first coproduct.
Fractional Vs. Expectation Thresholds: Random Support Case
A conjecture of Talagrand (2010) states that the so-called expectation and fractional expectation thresholds are always within at most some constant factor from each other. We prove for the unweighted case that this is a.a.s. true when the support is a random hypergraph.
Fair and Tolerant (FAT) Graph Colorings
We introduce and study Fair and Tolerant colorings (FAT colorings), where each vertex tolerates a given fraction of same-colored neighbors while fairness is preserved across the other coloring classes. Moreover, we define the FAT chromatic number $χ^{\mathrm{FAT}}(G)$ as the largest integer $k$ for which $G$ admits a FAT $k$-coloring. We establish general bounds on $χ^{\mathrm{FAT}}$, relate it to structural and spectral properties of graphs, and characterize it completely for several families of graphs. We conclude with a list of open questions that suggest future directions.
Circular sorting, strong complete mappings and wreath product constructions
We continue the study of Adin, Alon and Roichman [arXiv:2502.14398, 2025] on the number of steps required to sort $n$ labelled points on a circle by transpositions. Imagine that the vertices of a cycle of length $n$ are labelled by the elements $1,\dots,n$. We are allowed to change this labelling by swapping the labels of any two vertices on the cycle. How many swaps are needed to obtain a labelling that has the elements $1,\dots,n$ in clockwise order?
We provide evidence for their conjecture that at most $n-3$ transpositions are needed to sort a circular permutation when $n$ is not prime. We prove this conjecture when $2\mid n$ or $3\mid n$ and when restricting to permutations given by a polynomial over $\mathbb{Z}_n$. We also provide various algebraic constructions of circular permutations that take many transpositions to sort, most notably providing one that matches our upper bound when $n=3p$ for $p$ an odd prime, and disproving their second conjecture by providing non-affine circular permutations that require $n-2$ transpositions (for $n$ prime). We also improve the lower bounds for some sequences of composite numbers. Finally, we improve the bounds for small $n$ computationally. In particular, we prove a tight upper bound for $n=25$ via an exhaustive computer search using a new connection between this problem and strong complete mappings.
Planarity and dimension I
The dimension of a partially ordered set $P$ (poset for short) is the least positive integer $d$ such that $P$ is isomorphic to a subposet of $\mathbb{R}^d$ with the natural product order. Dimension is arguably the most widely studied measure of complexity for posets, and standard examples in posets are the canonical structure forcing dimension to be large. In many ways, dimension for posets is analogous to chromatic number for graphs with standard examples in posets playing the role of cliques in graphs. However, planar graphs have chromatic number at most four, while posets with planar diagrams may have arbitrarily large dimension. The key feature of all known constructions of such posets is that large dimension is forced by a large standard example. The question of whether every poset of large dimension and with a planar cover graph contains a large standard example has been a critical challenge in posets theory since the early 1980s, with very little progress over the years. We answer the question in the affirmative. Namely, we show that every poset $P$ with a planar cover graph has dimension $\mathcal{O}(s^8)$, where $s$ is the maximum order of a standard example in $P$.
Geometric Criteria for Essential Self-Adjointness of Discrete Hodge Laplacians on Weighted Simplicial Complexes
In this paper, we define the structure of $n$-simplicial complex, we consider generalizations of the Laplacians to simplicial complexes of higher dimension and we develop the notion of $χ$-completeness for simplicial complexes. Otherwise, we study essential self-adjointness from the $χ$-completeness geometric hypothesis.
Horton-Strahler numbers for binary butterfly trees: exact analysis
Peca suggested in a recent paper on the arxiv to consider binary butterfly trees and their Horton-Strahler numbers.
The trees are obtained by glueing two binary trees together in a special way; the results are again binary trees but with
a different probability distribution. A thorough combinatorial analysis is provided and leads asymptotically to the same results as for classical binary trees.
Ordinal and disjoint sums of partially ordered patterns
Partially ordered patterns (POPs) generalize the classical notion of permutation patterns within the framework of pattern avoidance. Building on recent work by Burstein, Han, Kitaev, and Zhang, which introduced the concept of shape-Wilf-equivalence of sets of patterns, we develop the notions of \emph{ordinal} and \emph{disjoint sums} of labeled posets. This framework enables us to reinterpret their main result as an ordinal sum analogue of the classical theorem by Backelin, West, and Xin. We establish analogous results for disjoint sums of POPs and further extend their results to prove Wilf-equivalence for classes of POPs that include isolated vertices. In particular, we prove the shape-Wilf-equivalence of the sets of patterns $\{123, 213, 312\}$ and $\{132, 231, 321\}$. Our proof strategy involves a bijection that filters through an encoding scheme for the transversals avoiding these patterns. We use these results to completely classify the partially ordered patterns of size $3,4,5$ whose connected components are all chains. This classification also confirms a conjecture posed by Dimitrov at the problem session of the British Combinatorics Conference 2024 (BCC30).
On colourings of cubic lattices
Given the integral lattice $Λ^d$ in $d$-dimensional Euclidean space, partitions of the lattice nodes into orbits of finite-index subgroups of $Aut(Λ^d)$ have been computed for $d \leq 4$. These partitions can be interpreted as colourings of orbits defined up to permutation of colours. Complete results are obtained for $d=2$ up to 64 orbits, for $d=3$ up to 8 orbits, and for 2 orbits in dimension 4. The automorphism groups of the partitions are also determined. Our results for two orbits in dimension 3 correct the old result of H. Heesch [Z. Kristallogr., (1933), 85, 335--344] who overlooked one partition.
Long paths need not minimize $H$-colorings among trees
Given a graph $G$ and a target graph $H$, an $H$-coloring of $G$ is an adjacency-preserving vertex map from $G$ to $H$. By appropriate choice of $H$, these colorings can express, for instance, the independent sets or proper vertex colorings of $G$.
Sidorenko proved that for any $H$, the $n$-vertex star admits at least as many $H$-colorings as any other $n$-vertex tree, but the minimization question remains open in general. For many graphs $H$, path graphs are among the trees with the fewest $H$-colorings, but work of Leontovich and subsequently Csikvári and Lin shows that there is a graph $E_7$ on seven vertices and a target graph $H$ for which there are strictly fewer $H$-colorings of $E_7$ than of the path on seven vertices.
We introduce a new strategy for enumerating homomorphisms from path-like trees to highly symmetric target graphs that allows us to make the previous observations completely explicit and extend them to infinitely many $n$ beyond $n=7$. In particular, we exhibit a target graph $H$ with the property that for each sufficiently large $n$, there is a tree $E_n$ on $n$ vertices that admits strictly fewer $H$-colorings than the path on $n$ vertices.