Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Quantitative pyjama
The "pyjama stripe" with parameter $\varepsilon>0$ is the set $E(\varepsilon)$ of all complex numbers $z$ such that the distance from $\Re(z)$ to the nearest integer is at most $\varepsilon$. The Pyjama Problem of Iosevich, Kolountzakis, and Matolcsi asks whether, for every choice of $\varepsilon>0$, it is possible to cover the entire complex plane with finitely many rotations of $E(\varepsilon)$ around the origin. Manners obtained an affirmative answer to this question by studying a $\times 2, \times 3$-type problem over a suitable solenoid. Manners's argument provided no quantitative bounds (in terms of $\varepsilon$) on the number of rotations required, and Green has highlighted the problem of obtaining such quantitative bounds. Our main result is that $\exp\exp\exp(\varepsilon^{-O(1)})$ rotations of $E(\varepsilon)$ suffice to cover the complex plane. Our analysis makes use of the entropic tools developed by Bourgain, Lindenstrauss, Michel, and Venkatesh for quantitative $\times 2, \times 3$-type results.
An improved upper bound for the multicolour Ramsey number of odd cycles
Published
• View Publication
• BIB
We show that the $k$-colour Ramsey number of an odd cycle of length $2 \ell + 1$ is at most $(4 \ell)^k \cdot k^{k/\ell}$. This proves a conjecture of Fox and is the first improvement in the exponent that goes beyond an absolute constant factor since the work of Bondy and Erdős from 1973.
On the expansion of Hanoi graphs
Published
• View Publication
• BIB
The famous Tower of Hanoi puzzle involves moving $n$ discs of distinct sizes from one of $p\geq 3$ pegs (traditionally $p=3$) to another of the pegs, subject to the constraints that only one disc may be moved at a time, and no disc can ever be placed on a disc smaller than itself. Much is known about the Hanoi graph $H_p^n$, whose $p^n$ vertices represent the configurations of the puzzle, and whose edges represent the pairs of configurations separated by a single legal move. In a previous paper, the present authors presented nearly tight asymptotic bounds of $O((p-2)^n)$ and $Ω(n^{(1-p)/2}(p-2)^n)$ on the treewidth of this graph for fixed $p \geq 3$. In this paper we show that the upper bound is tight, by giving a matching lower bound of $Ω((p-2)^n)$ for the expansion of $H_p^n$.
On the Diameter of Arrangements of Topological Disks
Let $\mathcal{D}=\{D_0,\ldots,D_{n-1}\}$ be a set of $n$ topological disks in the plane and let $\mathcal{A} := \mathcal{A}(\mathcal{D})$ be the arrangement induced by~$\mathcal{D}$. For two disks $D_i,D_j\in\mathcal{D}$, let $Δ_{ij}$ be the number of connected components of~$D_i\cap D_j$, and let $Δ:= \max_{i,j} Δ_{ij}$.
We show that the diameter of $\mathcal{G}^*$, the dual graph of~$\mathcal{A}$, can be bounded as a function of $n$ and $Δ$. Thus, any two points in the plane can be connected by a Jordan curve that crosses the disk boundaries a number of times bounded by a function of~$n$ and~$Δ$. In particular, for the case of two disks we prove that the diameter of $\mathcal{G}^*$ is at most $\max\{2,2Δ\}$ and this bound is tight. % For the general case of $n>2$ disks, we show that the diameter of $\mathcal{G}^*$ is at most $2 n(Δ+1)^{n(n-1)/2} \min\{n,Δ+1\}$. We achieve this by proving that the number of maximal faces in $\mathcal{A}$ -- the faces whose ply is more than the ply of their neighboring faces -- is at most $n(Δ+1)^{n(n-1)/2}$, which is interesting in its own right.
Classification of Zamolodchikov periodic cluster algebras
Zamolodchikov periodicity is a property of certain discrete dynamical systems and was one of the primary motivations for the creation of cluster algebras. It was first observed by Zamolodchikov in his study of thermodynamic Bethe ansatz, initially for simply-laced Dynkin diagrams. It was proved by Keller to hold for tensor products of two Dynkin diagrams, and further shown by Galashin and Pylyavskyy to hold for pairs of commuting simply-laced Cartan matrices of finite type, which Stembridge classified in his study of admissible $W$-cells. We prove that the Zamolodchikov periodic cluster algebras are in bijection with pairs of commuting (not necessarily reduced or simply-laced) Cartan matrices of finite type. We fully classify all such pairs into 29 infinite families and 14 exceptional types in addition to the 6 infinite families and 11 exceptional types in Stembridge's classification, and show that all of these families can be derived from simply-laced types through two operations preserving Zamolodchikov periodicity, folding and taking transpose. Our work holds connections to Kazhdan--Lusztig theory, and our main theorem helps classify all nonnegative $W$-cells for products of two dihedral groups, $W = I_2(p)\times I_2(q)$.
Sunlet factors for Cartesian products of cycles
Published
• View Publication
• BIB
A sunlet is a cycle with a pendant edge attached at each vertex of the cycle. For the bipartite toroidal grid graphs $C_{2n} \Box C_{2n}$, factorizations into sunlets are given by homomorphisms from disjoint unions of $s$ copies of a sunlet for $s \in \{1, n, n^2\}, n \geq 3$ such that edges are mapped bijectively.
Lower Bounds on Intersection Families for Certain Graphs
A family of graphs $\mathcal{F}$ is $H$-intersecting if the edge intersection of any two graphs in $\mathcal{F}$ contains a copy of a fixed graph $H$. A fundamental problem is to determine the maximum size of such a family. The trivial lower bound of $2^{\binom{n}{2} - e(H)}$ is known to be not sharp for some graphs, such as the $P_4$ graph, as shown by Christofides. This paper presents two main contributions. First, we introduce a general construction for $H$-intersecting families based on decompositions of complete multipartite graphs, yielding new lower bounds for $H = K_{s_1, \dots, s_{k-1}, t}$. We compare this construction to a result by Balogh and Linz, showing that our bound is valid for a substantially wider range of parameters (beginning at $t \ge 2^{\sum_i s_i}$) and provides a stronger numerical bound for a large interval where both constructions are applicable. Second, we conjecture the $\frac{17}{128}$ Christofides bound for $P_4$ is optimal, which would resolve the Alon-Spencer conjecture. We computationally verify this density is optimal for families generated by connected 6-vertex host graphs with 7 or 8 edges.
A Generalization of Distance Domination
Expanding on the graph theoretic ideas of k-component order connectivity and distance-l domination, we present a quadratic-complexity algorithm that finds a tree's minimum failure-set cardinality, i.e., the minimum cardinality any subset of the tree's vertices must have so that all clusters of vertices further away than some l do not exceed a cardinality threshold. Applications of solutions to the expanded problems include choosing service center locations so that no large neighborhoods are excluded from service, while reducing the redundancy inherent in distance domination problems.
Enhanced power graphs of finite groups with cograph structure
The enhanced power graph, $\mathcal{E}(G)$, of a group $G$ has vertex set $G$ and two elements are adjacent if they generate a cyclic subgroup. In the case of finite groups, we identify some striking and unexpected properties of these graphs, as well as links between properties of $\mathcal{E}(G)$ and properties of the group $G$. We prove that if $\mathcal{E}(G)$ is a cograph then it is also a chordal graph. Making use of properties of simplicial vertices, we characterise the finite groups $G$ whose enhanced power graph is diamond-free or a block graph. We also characterise the finite groups having enhanced power graph a cograph or a quasi-threshold graph, and those with $C_4$-free enhanced power graph. We use these characterisations to classify the finite nonabelian simple groups whose enhanced power graph is a cograph and give information on the finite simple groups whose enhanced power graph is $C_4$-free. Some open problems are posed.
Universality for transversal powers of Hamilton cycles
Let $k \ge 2$ and let $\bf G = \{G_1, \ldots, G_{m}\}$ be a collection of graphs on a common vertex set of cardinality $n$. We show that if each graph in $\bf G$ has minimum degree at least $(1-\frac{1}{2k} + o(1))n$, then for every edge-colouring $χ$ of the $k$th power of a Hamilton cycle $C_n^k$ with $m$ colours, there is a copy of $C_n^k$ in $\bf G$ such that $e \in G_{χ(e)}$ for every edge $e$ in $C_n^k$. This generalises a result of Bowtell, Morris, Pehova, and Staden, who provided asymptotically best possible minimum degree conditions for the Hamilton cycle.
The Dynamics and Orbit Structure of the Topdrop Map
We study the topdrop map, a mapping on permutations in $S_n$ related to card shuffling. We show this map is bijective and study its orbit structure. We introduce the notion of the topdrop-necklace as a way of classifying the orbits of the map and establish a general theorem to count orbits using topdrop-necklaces. We then provide exact counts for orbits of size two through five and lower bounds for the number of orbits of sizes six and eight. We show symmetries in orbits which happen when $n$ or $n-1$ is in the topdrop-necklace, count these orbits, and show that they have even size. We prove a restriction on topdrop-necklaces based on permutation parity.
Generalizations of interval and proper interval graphs for simplicial complexes
We introduce and investigate generalizations of interval and proper interval graphs to simplicial complexes, including strong interval, unit interval, and under closed variants. Through equivalent combinatorial and algebraic characterizations, we uncover hierarchies among these classes and extend key results to higher dimensions, such as the equivalence of closed and proper interval graphs. These formulations enable significant applications, including finding conditions for the sortability of d-independence complexes, constructions of normal Cohen-Macaulay domains linked to d-unit interval graphs, and forbidden subgraph theorems establishing chordality and d-claw-freeness. Our work advances the connections between graph theory, simplicial complexes, and commutative algebra, offering new insights into the algebraic underpinnings of combinatorial structures.
Random convex chains through the lens of analytic combinatorics
Consider the triangle $T$ with vertices $(0,0)$, $(0,1)$, and $(1,0)$. The lower boundary of the convex hull of $(0,1)$, $(1,0)$, together with $n$ independent uniformly distributed random points in $T$, is called a random convex chain and denoted by $T_n$. We study the random variable $f_0(T_n)$, the number of vertices of this chain. Our first result gives an explicit expression for the bivariate generating function of the probabilities $\mathbb{P}(f_0(T_n)=k+2)$ in terms of the Gaussian hypergeometric function. Building on this analytic representation, we apply a careful singularity analysis to derive a variety of limit theorems for $f_0(T_n)$, including a quantitative central limit theorem, a large deviation principle as well as a precise asymptotics for the probabilities $\mathbb{P}(f_0(T_n)=k+2)$. Conceptually, our results establish a novel bridge between stochastic geometry and methods from analytic combinatorics.
On the non-zero divisor graph of the Hamilton quaternions over $\mathbb Z_{2^n}$
Published
• View Publication
• BIB
Let $R$ be a ring with unity. The non-zero divisor graph of $R$, $Φ(R)$, is the graph with vertex set $R\backslash \{0,1,-1\}$, and two vertices $x$ and $y$ are adjacent if and only if either $xy$ or $yx$ is non-zero. In this article we associate $Φ(R)$ to the ring of Hamilton quaternions over $\mathbb Z_{2^n}$, $\mathbb H(\mathbb Z_{2^n})$. The detailed structure of the elements in $\mathbb H(\mathbb Z_{2^n})$ is presented, based on which various structural properties of the graph $Φ(\mathbb H(\mathbb Z_{2^n}))$, such as connectedness, adjacency of vertices, traversability, and planarity, are studied. Furthermore, we derive bounds for clique number and chromatic number.
Digraphons: connectivity and spectral aspects
The theory of graphons has proven to be a powerful tool in many areas of graph theory. In this paper, we introduce several foundational aspects of the theory of digraphons -- asymmetric two-variable functions that arise as limits of sequences of directed graphs (digraphs). Our results address their decomposition into strongly connected components, periodicity, spectral properties, and asymptotic behaviour of their large powers.
Perfect Overpartitions and Factorization of Integers
In his classic text, \emph{Combinatory Analysis}, MacMahon defined a perfect partition of a positive integer $n$ as a partition whose parts contain exactly one partition of every positive integer not exceeding $n$. In this paper we apply the same definition to overpartitions which are integer partitions with the additional property that the final occurrence of each part may be overlined. It turns out that perfect overpartitions are enumerated by ordered factorization functions in which the occurrence of 2 as a factor determines the presence of an overlined part.
Derangements in affine classical groups and Cohen-Lenstra heuristics
Published
• View Publication
• BIB
We observe that Anzanello's work on the proportion of derangements in affine classical groups over finite fields is related to symplectic and orthogonal Cohen-Lenstra type distributions on integer partitions. This leads to a proof of three q-polynomial identities conjectured by Anzanello, which were crucial for her work.
On the computation of Kronecker coefficients I: column-row polytopes
We present a way of computing Kronecker coefficients that uses a new family of rational convex polytopes, called column-row polytopes. We give several different formulas for the computation. They are alternating sums of numbers of integer points of either column-row polytopes or faces of column-row polytopes. We also compute the maximal dimension of these polytopes and give new proofs of some known results of more theoretical nature.
Integer points in dilates of polytopes
In this paper we study how the number of integer points in a polytope grows as we dilate the polytope. We prove new and essentially tight bounds on this quantity by specifically studying dilates of the Hadamard polytope.
Our motivation for studying this quantity comes from the problem of understanding the maximal number of monomials in a factor of a multivariate polynomial with $s$ monomials. A recent result by Bhargava, Saraf, and Volkovich showed that if $f$ is an $n$-variate polynomial, where each variable has degree $d$, and $f$ has $s$ monomials, then any factor of $f$ has at most $s^{O(d^2 \log n)}$ monomials. The key technical ingredient of their proof was to show that any polytope with $s$ vertices, where each vertex lies in $\{0,..,d\}^n$, can have at most $s^{O(d^2 \log n)}$ integer points. The precise dependence on $d$ of the number of integer points was left open. We show that this bound, particularly the dependence on $d$, is essentially tight by studying dilates of the Hadamard polytope and proving new lower bounds on the number of its integer points.
Brooks' theorem for signed graphs with $Δ=3$
Circular $r$-coloring of a signed graph $(G,σ)$ is a mapping of its vertices to a circle of circumference $r$ such that: I. each pair of vertices with a negative connection is at distance at least $1$, and II. for each pair with a positive connection, the distance of one from the antipodal of the other is at least $1$. A signed graph $(G,σ)$ admits a circular $r$-coloring for some values of $r$ if and only if it has no negative loop. The smallest value of such $r$ is the circular chromatic number, denoted $χ_{c}(G,σ)$. The circular chromatic number is a refinement of the balanced chromatic number, which is mostly studied under the equivalent term $0$-free coloring in the literature.
Extending Brooks' theorem, Má\v cajová, Raspaud, and Škoviera showed that if $Δ(G)$ is an even number, $G$ is connected, and $(G,σ)$ is not (switching) isomorphic to $(K_{Δ+1},-)$ or $C_{-\ell}$ (when $Δ(G)=2$), then $χ_c(G,σ)\leq Δ(G)$ and that the upper bound is tight. For the odd values of $Δ(G)$, assuming a connected signed graph $(G,σ)$ is not isomorphic to $(K_{Δ+1},-)$, determining the best upper bound for $χ_c(G, σ)$ proves to be more of a challenge. In this work, addressing the first step of this question, we show that if $(G, σ)$ is a signed graph of maximum degree 3 with no component isomorphic to $(K_4, -)$, then $χ_{c}(G, σ)\leq \frac{10}{3}$. The upper bound is tight even among signed cubic graphs of girth 5. In particular, there is a signature on the Petersen graph for which the upper of $\frac{10}{3}$ is achieved.