Showing 20 papers (Total: 82139 papers, 47531 authors in database)
A Lower Bound Theorem for strongly regular CW spheres with up to $2d+1$ vertices
Published
• View Publication
• BIB
In 1967, Grünmbaum conjectured that any $d$-dimensional polytope with $d+s\leq 2d$ vertices has at least
\[φ_k(d+s,d) = {d+1 \choose k+1 }+{d \choose k+1 }-{d+1-s \choose k+1 } \] $k$-faces. This conjecture along with the characterization of equality cases was recently proved by the author. In this paper, several extensions of this result are established. Specifically, it is proved that lattices with the diamond property (for example, abstract polytopes) and $d+s\leq 2d$ atoms have at least $φ_k(d+s,d)$ elements of rank $k+1$. Furthermore, in the case of face lattices of strongly regular CW complexes representing normal pseudomanifolds with up to $2d$ vertices, a characterization of equality cases is given. Finally, sharp lower bounds on the number of $k$-faces of strongly regular CW complexes representing normal pseudomanifolds with $2d+1$ vertices are obtained. These bounds are given by the face numbers of certain polytopes with $2d+1$ vertices.
A bijection for partitions simultaneously $s$-regular and $t$-distinct
In this note a bijection is constructed between the set of partitions of n simultaneously s-regular and t-distinct, and those simultaneously t-regular and s-distinct. Some implications of the map are discussed. As a generalized version of Glaisher's bijection, the map may be widely useful in other partition combinatorics. A previous conjecture concerning iterations of Glaisher's bijection is given a counterexample.
Burnability of Double Spiders and Path Forests
Published
• View Publication
• BIB
The burning number of a graph can be used to measure the spreading speed of contagion in a network. The burning number conjecture is arguably the main unresolved conjecture related to this graph parameter, which can be settled by showing that every tree of order $m^2$ has burning number at most $m$. This is known to hold for many classes of trees, including spiders - trees with exactly one vertex of degree greater than two. In fact, it has been verified that certain spiders of order slightly larger than $m^2$ also have burning numbers at most $m$, a result that has then been conjectured to be true for all trees. The first focus of this paper is to verify this slightly stronger conjecture for double spiders - trees with two vertices of degrees at least three and they are adjacent. Our other focus concerns the burning numbers of path forests, a class of graphs in which their burning numbers are naturally related to that of spiders and double spiders. Here, our main result shows that a path forest of order $m^2$ with a sufficiently long shortest path has burning number exactly $m$, the smallest possible for any path forest of the same order.
Topology and chromatic number of random $ε$-distance graphs on spheres
Given $0<α\leqπ$, $ε>0$ and $n$, we define random graphs on the $d$-dimensional sphere by drawing $n$ i.i.d. uniform random points for the vertices, and edges $u {\sim} v$ whenever the geodesic distance between $u$ and $v$ is $ε$-close to $α$. This model generalizes distance graphs on spheres, and also random Borsuk graphs. Topological tools are known to give tight bounds for the chromatic number of Borsuk graphs. We now study the efficiency of one of these topological invariants, namely the connectivity of Lóvasz's neighborhood complex, to bound the chromatic number of this model of random graphs. We show that, in general, this bound performs badly, however, it still produces some useful bounds in dimensions $d=1$ and 2.
Commutation relations of $\mathfrak g\_2$ and the incidence geometry of the Fano plane
We continue our study and classification of structures on the Fano plane ${\cal F}$ and its dual ${\cal F}^\ast$ involved in the construction of octonions and the Lie algebra $\mathfrak g_2 (\mathbb F)$ over a field $\mathbb F$. These are a "composition factor": ${\cal F}\times {\cal F} \to\{-1, 1\}$, inducing an octonion multiplication, and a function $δ^\ast : Aut({\cal F}) \times {\cal F}^\ast \to \{-1, 1\}$ such that $g \in Aut({\cal F})$ can be lifted to an automorphism of the octonions iff $δ^\ast(g, \cdot)$ is the Radon transform of a function on ${\cal F}$. We lift the action of $Aut({\cal F})$ on ${\cal F}$ to the action of a non-trivial eight-fold covering $Aut({\cal F})$ on a twofold covering $\hat {\cal F}$ of ${\cal F}$ contained in the octonions. This extends tautologically to an action on the octonions by automorphism. Finally, we associate to incident point-line pairs a generating set of $\mathfrak g_2 (\mathbb F)$ and express brackets in terms of the incidence geometry of ${\cal F}$ and $ε$.
Density of small diameter subgraphs in $K_r$-free graphs
We denote by $\text{ex}(n, H, F)$ the maximum number of copies of $H$ in an $n$-vertex graph that does not contain $F$ as a subgraph. Recently, Grzesik, Győri, Salia, Tompkins considered conditions on $H$ under which $\text{ex}(n, H, K_r)$ is asymptotically attained at a blow-up of $K_{r-1}$, and proposed a conjecture. In this note we disprove their conjecture.
Sharp thresholds for Ramsey properties
Published
• View Publication
• BIB
In this work, we develop a unified framework for establishing sharp threshold results for various Ramsey properties. To achieve this, we view such properties as non-colourability of auxiliary hypergraphs. Our main technical result gives sufficient conditions on a sequence of such hypergraphs that guarantee that this non-colourability property has a sharp threshold in subhypergraphs induced by random subsets of the vertices.
Furthermore, we verify these conditions in several cases of interest. In the classical setting of Ramsey theory for graphs, we show that the property of being Ramsey for a graph $H$ in $r$ colours has a sharp threshold in $G_{n,p}$, for all $r \ge 2$ and all $H$ in a class of graphs that includes all cliques and cycles. In the arithmetic setting, we establish sharpness of thresholds for the properties corresponding to van der Waerden's theorem and Schur's theorem, also in any number of colours.
Folding Polyiamonds into Octahedra
Published
• View Publication
• BIB
We study polyiamonds (polygons arising from the triangular grid) that fold into the smallest yet unstudied platonic solid -- the octahedron. We show a number of results. Firstly, we characterize foldable polyiamonds containing a hole of positive area, namely each but one polyiamond is foldable. Secondly, we show that a convex polyiamond folds into the octahedron if and only if it contains one of five polyiamonds. We thirdly present a sharp size bound: While there exist unfoldable polyiamonds of size 14, every polyiamond of size at least 15 folds into the octahedron. This clearly implies that one can test in polynomial time whether a given polyiamond folds into the octahedron. Lastly, we show that for any assignment of positive integers to the faces, there exist a polyiamond that folds into the octahedron such that the number of triangles covering a face is equal to the assigned number.
Discrete Laplace and transition operators over non-Archimedean ordered fields
Published
• View Publication
• BIB
We investigate properties of spectrum of normalized Laplacian $\mathcal L$ for finite graphs over non-Archimedean ordered fields. We prove a Cheeger's inequality for first non-zero eigenvalue. Then we describe properties of the operator $\mathcal P=I-\mathcal L$, which is a generalization of transition operator. We show that Cheeger estimate $α_1\preceq \sqrt{1-h^2}$ for the second largest eigenvalue of $\mathcal P$ is crucial for investigation of the convergence of analogue of random walk to equilibrium over a non-Archimedean ordered fields. We consider examples over the Levi-Civita field.
Short Synchronizing Words for Random Automata
Published
• View Publication
• BIB
We prove that a uniformly random automaton with $n$ states on a 2-letter alphabet has a synchronizing word of length $O(n^{1/2}\log n)$ with high probability (w.h.p.). That is to say, w.h.p. there exists a word $ω$ of such length, and a state $v_0$, such that $ω$ sends all states to $v_0$. Prior to this work, the best upper bound was the quasilinear bound $O(n\log^3n)$ due to Nicaud (2016). The correct scaling exponent had been subject to various estimates by other authors between $0.5$ and $0.56$ based on numerical simulations, and our result confirms that the smallest one indeed gives a valid upper bound (with a log factor).
Our proof introduces the concept of $w$-trees, for a word $w$, that is, automata in which the $w$-transitions induce a (loop-rooted) tree. We prove a strong structure result that says that, w.h.p., a random automaton on $n$ states is a $w$-tree for some word $w$ of length at most $(1+ε)\log_2(n)$, for any $ε>0$. The existence of the (random) word $w$ is proved by the probabilistic method. This structure result is key to proving that a short synchronizing word exists.
Edge Determining Sets and Determining Index
Published in Involve 17 (2024) 85-106
• View Publication
• BIB
A graph automorphism is a bijective mapping of the vertices that preserves adjacent vertices. A vertex determining set of a graph is a set of vertices such that the only automorphism that fixes those vertices is the identity. The size of a smallest such set is called the determining number, denoted Det$(G)$. The determining number is a parameter of the graph capturing its level of symmetry. We introduce the related concept of an edge determining set and determining index, Det$'(G)$. We prove that Det$'(G) \le \text{Det}(G) \le 2\text{Det}'(G)$ when Det$(G) \neq 1$ and show both bounds are sharp for infinite families of graphs. Further, we investigate properties of these new concepts, as well as provide the determining index for several families of graphs.
On the largest sum-free subset problem in the integers
Let $A \subset \mathbb{Z}_{>0}$ of size $n$. It is conjectured that for any $C >0$ and $n$ large enough that $A$ contains a sum-free subset of size at least $n/3 +C$. We study this problem and find an alternate proof of Bourgain's result that one make take $C=2/3$.
Partial permutohedra
Published
• View Publication
• BIB
Partial permutohedra are lattice polytopes which were recently introduced and studied by Heuer and Striker. For positive integers $m$ and $n$, the partial permutohedron $\mathcal{P}(m,n)$ is the convex hull of all vectors in $\{0,1,\ldots,n\}^m$ whose nonzero entries are distinct. We study the face lattice, volume and Ehrhart polynomial of $\mathcal{P}(m,n)$, and our methods and results include the following. For any $m$ and $n$, we obtain a bijection between the nonempty faces of $\mathcal{P}(m,n)$ and certain chains of subsets of $\{1,\dots,m\}$, thereby confirming a conjecture of Heuer and Striker, and we then use this characterization of faces to obtain a closed expression for the $h$-polynomial of $\mathcal{P}(m,n)$. For any $m$ and $n$ with $n\ge m-1$, we use a pyramidal subdivision of $\mathcal{P}(m,n)$ to establish a recursive formula for the normalized volume of $\mathcal{P}(m,n)$, from which we then obtain closed expressions for this volume. We also use a sculpting process (in which $\mathcal{P}(m,n)$ is reached by successively removing certain pieces from a simplex or hypercube) to obtain closed expressions for the Ehrhart polynomial of $\mathcal{P}(m,n)$ with arbitrary $m$ and fixed $n\le 3$, the normalized volume of $\mathcal{P}(m,4)$ with arbitrary $m$, and the Ehrhart polynomial of $\mathcal{P}(m,n)$ with fixed $m\le4$ and arbitrary $n\ge m-1$.
Mixing times of a Burnside process Markov chain on set partitions
Published
• View Publication
• BIB
Let $X$ be a finite set and let $G$ be a finite group acting on $X$. The group action splits $X$ into disjoint orbits. The Burnside process is a Markov chain on $X$ which has a uniform stationary distribution when the chain is lumped to orbits. We consider the case where $X = [k]^n$ with $k \geq n$ and $G = S_k$ is the symmetric group on $[k]$, such that $G$ acts on $X$ by permuting the value of each coordinate. The resulting Burnside process gives a novel algorithm for sampling a set partition of $[n]$ uniformly at random. We obtain bounds on the mixing time and show that the chain is rapidly mixing. For the case $k < n$, the algorithm corresponds to sampling a set partition of $[n]$ with at most $k$ blocks, and we obtain a mixing time bound which is independent of $n$. Along the way, we obtain explicit formulas for the transition probabilities and bounds on the second largest eigenvalue for both the original process and the lumped chain.
Extremal and monotone behaviour of the Sudoku number and related critical set parameters
The Sudoku number has been defined under various names, indicating it is a natural concept. There are four variants of this parameter, that can be related to the maximum and minimum size of a critical set in a graph colouring problem. For each of these four related parameters, we present some simple characterizations of the graphs attaining the maximum possible values. As a main result, we answer a question by Cooper and Kirkpatrick, showing that there is monotone behaviour in the number of colours for only two of the four parameters. We investigate the monotone behaviour for the subgraph-order as well. For Latin squares and the Sudoku, we solve some variants for hypergraph colouring.
Computation of twin-width of graphs
Twin-width is a recently introduced graph parameter. In this article, we compute twin-width of various finite graphs. In particular, we prove that the twin-widths of finite graphs with 4 and 5 vertices are less than equal to 1 and 2, respectively. We show that the constructions of dual graph and line graph do not preserve twin-width. Also, we give upper bounds for the twin-width of King's graph and Rook's graph.
Colorful two-piercing theorem for boxes
Published
• View Publication
• BIB
We prove a colorful extension of a Helly-type theorem by Danzer and Grünbaum (Combinatorica, 1982) concerning two-piercing families of axis-parallel boxes in $\mathbb{R}^d$. We also show that our result is tight by constructing extremal families that achieve the bound. Related work includes a graph-theoretic proof of the original theorem by Pendavingh, Puite, and Woeginger (Discrete Applied Mathematics, 2008), and a two-piercing result for lower-dimensional boxes by Baños and Oliveros (Acta Mathematica Hungarica, 2018).
Large Sums of High Order Characters
Published
• View Publication
• BIB
Let $χ$ be a primitive character modulo a prime $q$, and let $δ> 0$. It has previously been observed that if $χ$ has large order $d \geq d_0(δ)$ then $χ(n) \neq 1$ for some $n \leq q^δ$, in analogy with Vinogradov's conjecture on quadratic non-residues. We give a new and simple proof of this fact. We show, furthermore, that if $d$ is squarefree then for any $d$th root of unity $α$ the number of $n \leq x$ such that $χ(n) = α$ is $o_{d \to \infty}(x)$ whenever $x > q^δ$. Consequently, when $χ$ has sufficiently large order the sequence $(χ(n))_{n \leq q^δ}$ cannot cluster near $1$ for any $δ> 0$.
Our proof relies on a second moment estimate for short sums of the characters $χ^\ell$, averaged over $1 \leq \ell \leq d-1$, that is non-trivial whenever $d$ has no small prime factors. In particular, given any $δ> 0$ we show that for all but $o(d)$ powers $1 \leq \ell \leq d-1$, the partial sums of $χ^\ell$ exhibit cancellation in intervals $n \leq q^δ$ as long as $d \geq d_0(δ)$ is prime, going beyond Burgess' theorem. Our argument blends together results from pretentious number theory and additive combinatorics.
Finally, we show that, uniformly over prime $3 \leq d \leq q-1$, the Pólya-Vinogradov inequality may be improved for $χ^\ell$ on average over $1 \leq \ell \leq d-1$, extending work of Granville and Soundararajan.
A New Lower Bound for the Domination Number of Complete Cylindrical Grid Graphs
Published
• View Publication
• BIB
We use a dynamic programming algorithm to establish a lower bound on the domination number of complete grid graphs of the form $C_n\square P_m$, that is, the Cartesian product of a cycle $C_n$ and a path $P_m$, for $m$ and $n$ sufficiently large.
Kempe equivalence of almost bipartite graphs
Two vertex colorings of a graph are Kempe equivalent if they can be transformed into each other by a sequence of switchings of two colors of vertices. It is PSPACE-complete to determine whether two given vertex $k$-colorings of a graph are Kempe equivalent for any fixed $k\geq 3$, and it is easy to see that every two vertex colorings of any bipartite graph are Kempe equivalent. In this paper, we consider Kempe equivalence of {\it almost} bipartite graphs which can be obtained from a bipartite graph by adding several edges to connect two vertices in the same partite set. We give a conjecture of Kempe equivalence of such graphs, and we prove several partial solutions and best possibility of the conjecture, but it is more lately proved by Cranston and Feghali that this conjecture is false in general.