Showing 20 papers (Total: 83190 papers, 48060 authors in database)
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
Published
• View Publication
• BIB
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.
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
Published
• View Publication
• BIB
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.
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.
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.
On density analogs of Hindman's finite sums theorem
For any set $A$ of natural numbers with positive upper Banach density, we show the existence of an infinite set $B$ and sequences $(t_k)_{k\in \mathbb{N}}, (s_k)_{k\in \mathbb{N}}$ of natural numbers such that $\left\{ \sum_{n \in F}n : F \subset B + s_k, 1 \leq |F| \leq k \right\}\subset A-t_k$, for every $k\in \mathbb{N}$. This strengthens the density finite sums theorem of Kra, Moreira, Richter, and Robertson. We further show, given such a set $A$, the existence of an infinite set $B$ and a sequence $(t_k)_{k\in \mathbb{N}}$ of natural numbers such that $\left\{ \sum_{n \in F}n : F \subset B, |F| = k \right\}\subset A-t_k$, for every $k\in \mathbb{N}$. As a corollary, we obtain a sequence $(B_n)_{n\in \mathbb{N}}$ of infinite sets of natural numbers such that $B_1+\cdots +B_k \subset A$, for every $k\in \mathbb{N}$. We also establish the optimality of our main theorems by providing counterexamples to potential further generalizations, and thereby addressing questions of the aforementioned authors in the context of density analogs to Hindman's finite sums theorem.
An AI enhanced approach to the tree unimodality conjecture
Given a graph $G$, its independence sequence is the integral sequence $a_1,a_2,...,a_n$, where $a_i$ is the number of independent sets of vertices of size i. In the late 80's Alavi, Erdos, Malde, Schwenk showed that this sequence need not be unimodal for general graphs, but conjectured that it is always unimodal whenever $G$ is a tree. This conjecture was then naturally generalized to claim that the independence sequence of trees should be log concave, in the sense that $a_i^2$ is always above $a_{i-1}a_{i+1}$. This conjecture stood for many years, until in 2023, Kadrawi, Levit, Yosef, and Mizrachi proved that there were exactly two trees on 26 vertices whose independence sequence was not log concave. In this paper, we use the AI architecture PatternBoost, developed by Charton, Ellenberg, Wagner, and Williamson to train a machine to find counter-examples to the log-concavity conjecture. We will discuss the successes of this approach - finding tens of thousands of new counter-examples to log-concavity with vertex set sizes varying from 27 to 101 - and some of its fascinating failures.
Stability of the independence number of $G(n, r, 1)$ graphs
Published
• View Publication
• BIB
In this paper we obtain the stability theorem for the independence number of $G(n, r, 1)$ graphs. This result was previously stated in the paper of M. Pyaderkin but the proof there was incorrect. We introduce the correct proof of the key lemma and thus finally complete the proof of this theorem.
Sunflower Bound with a Sub-Logarithmic Base
We show that a family $\mathcal{F}$ of sets each of cardinality $m \in \mathbb{Z}_{>2}$ includes a $k$-sunflower if $ |\mathcal{F}| \ge \left( \frac{c k^2 \ln m}{\ln \ln m} \right)^m$ for some constant $c>0$, where $k$-sunflower means a family of $k$ different sets with a common pairwise intersection. The base of the exponential lower bound is sub-logarithmic for each $k$ updating the current best-known result.