Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Enumeration of several two-by-four classes
We use catalytic variables to derive generating functions for the permutation classes $Av(\textbf{4123},\textbf{1324})$, $Av(\textbf{4123},\textbf{1243})$, and $Av(\textbf{4123},\textbf{1342})$. Each generating function is algebraic of degree two, and the growth rates of the classes are 4, 5, and $α$, respectively, where $α\approx 4.17035$. As a consequence of our analysis, we see that a typical large permutation in $Av(\textbf{4123},\textbf{1324})$ is likely to also avoid $\textbf{3124}$, and is even more likely to avoid $\textbf{31524}$. Large permutations which avoid $\textbf{4123}$ and $\textbf{1243}$ are likely to also avoid $\textbf{1423}$.
Group Invariant Weighing Matrices
Published
• View Publication
• BIB
We investigate the existence problem of group invariant matrices using algebraic approaches. We extend the usual concept of multipliers to group rings with cyclotomic integers as coefficients. This concept is combined with the field descent method and rational idempotents to develop new non-existence results.
Comparison of two convergence criteria for the variable-assignment Lopsided Lovasz Local Lemma
Published in Electronic Journal of Combinatorics 29(4), #P4.10 (2022)
• View Publication
• BIB
The Lopsided Lovasz Local Lemma (LLLL) is a cornerstone probabilistic tool for showing that it is possible to avoid a collection of "bad" events as long as their probabilities and interdependencies are sufficiently small. The strongest possible criterion in these terms is due to Shearer (1985), although it is technically difficult to apply to constructions in combinatorics.
The original formulation of the LLLL was non-constructive; a seminal algorithm of Moser & Tardos (2010) gave an efficient algorithm for nearly all its applications, including to $k$-SAT instances where each variable appears in a bounded number of clauses. Harris (2015) later gave an alternate criterion for this algorithm to converge; unlike the LLL criterion or its variants, this criterion depends in a fundamental way on the decomposition of bad-events into variables.
In this note, we show that the criterion given by Harris can be stronger in some cases even than Shearer's criterion. We construct $k$-SAT formulas with bounded variable occurrence, and show that the criterion of Harris is satisfied while the criterion of Shearer is violated. In fact, there is an exponentially growing gap between the bounds provable from any form of the LLLL and from the bound shown by Harris.
Forbidden Patterns and the Alternating Derangement Sequence
In this note we count linear arrangements that avoid certain patterns and show their connection to the derangement numbers. We discuss the sequence Dn, which counts linear arrangements that avoid patterns 12, 23, ..., (n-1)n, n1, and show that this sequence almost follows the derangement sequence itself since the number of its odd terms is one more than the derangement numbers while the number of its even terms is one less. We also express the derangement numbers in terms of these and other arrangements.
Bisecting binomial coefficients
In this paper, we deal with the problem of bisecting binomial coefficients. We find many (previously unknown) infinite classes of integers which admit nontrivial bisections, and a class with only trivial bisections. As a byproduct of this last construction, we show conjectures Q2 and Q4 of Cusick and Li. We next find several bounds for the number of nontrivial bisections and further compute (using a supercomputer) the exact number of such bisections for n <= 51.
A property of the Birkhoff polytope
Published in Algebraic Combinatorics 1 (2018), no. 2, p. 275--281
• View Publication
• BIB
The Birkhoff polytope $B_n$ is the convex hull of all $n\times n$ permutation matrices in $\mathbb{R}^{n\times n}$. We compute the combinatorial symmetry group of the Birkhoff polytope.
A representation polytope is the convex hull of some finite matrix group $G\leq \operatorname{GL}(d,\mathbb{R})$. We show that the group of permutation matrices is essentially the only finite matrix group which yields a representation polytope with the same face lattice as the Birkhoff polytope.
The edge-isorperimetric problem on Sierpinski graphs
Some families of graphs, such as the n-cubes and Sierpinski gaskets, are self-similar. In this paper we show how such recursive structure can be used systematically to prove isoperimetric theorems.
Iterated Arc Graphs
Published
• View Publication
• BIB
The arc graph $δ(G)$ of a digraph $G$ is the digraph with the set of arcs of $G$ as vertex-set, where the arcs of $δ(G)$ join consecutive arcs of $G$. In 1981, Poljak and Rödl characterised the chromatic number of $δ(G)$ in terms of the chromatic number of $G$ when $G$ is symmetric (i.e., undirected). In contrast, directed graphs with equal chromatic numbers can have arc graphs with distinct chromatic numbers. Even though the arc graph of a symmetric graph is not symmetric, we show that the chromatic number of the iterated arc graph $δ^k(G)$ still only depends on the chromatic number of $G$ when $G$ is symmetric.
Bounds for the game coloring number of planar graphs with a specific girth
Published
• View Publication
• BIB
Let ${\rm col_g}(G)$ be the game coloring number of a given graph $G.$ Define the game coloring number of a family of graphs $\mathcal{H}$ as ${\rm col_g}(\mathcal{H}) := \max\{{\rm col_g}(G):G \in \mathcal{H}\}.$ Let $\mathcal{P}_k$ be the family of planar graphs of girth at least $k.$ We show that ${\rm col_g}(\mathcal{P}_7) \leq 5.$ This result extends a result about the coloring number by Wang and Zhang {WZ11} (${\rm col_g}(\mathcal{P}_8) \leq 5).$ We also show that these bounds are sharp by constructing a graph $G$ where $G \in {\rm col_g}(\mathcal{P}_k) \geq 5$ for each $k \leq 8$ such that ${\rm col_g}(G)=5.$ As a consequence, ${\rm col_g}(\mathcal{P}_k) = 5$ for $k =7,8.$
On the Cycle Space of a Random Graph
Published in Random Structures and Algorithms 2018
• View Publication
• BIB
Write $\mathcal{C}(G)$ for the cycle space of a graph $G$, $\mathcal{C}_κ(G)$ for the subspace of $\mathcal{C}(G)$ spanned by the copies of the $κ$-cycle $C_κ$ in $G$, $\mathcal{T}_κ$ for the class of graphs satisfying $\mathcal{C}_κ(G)=\mathcal{C}(G)$, and $\mathcal{Q}_κ$ for the class of graphs each of whose edges lies in a $C_κ$. We prove that for every odd $κ\geq 3$ and $G=G_{n,p}$, \[\max_p \, \Pr(G \in \mathcal{Q}_κ\setminus \mathcal{T}_κ) \rightarrow 0;\] so the $C_κ$'s of a random graph span its cycle space as soon as they cover its edges. For $κ=3$ this was shown by DeMarco, Hamm and Kahn (2013).
A Quantitative Local Limit Theorem for Triangles in Random Graphs
In this paper we prove a quantiative local limit theorem for the distribution of the number of triangles in the Erdős-Renyi random graph $G(n,p)$, for a fixed $p\in (0,1)$. This proof is an extension of the previous work of Gilmer and Kopparty, who proved that the local limit theorem held asymptotically for triangles. Our work gives bounds on the $\ell^1$ and $\ell^\infty$ distance of the triangle distribution from a suitable discrete normal.
Formulas for Jacobi forms and generalized Frobenius partitions
Since their introduction by Andrews, generalized Frobenius partitions have interested a number of authors, many of whom have worked out explicit formulas for their generating functions in specific cases. This has uncovered interesting combinatorial structure and led to proofs of a number of congruences. In this paper, we show how Andrews' generating functions can be cast in the framework of Eichler and Zagier's Jacobi forms. This reformulation allows us to compute explicit formulas for the generalized Frobenius partition generating functions (and in fact provides formulas for further functions of potential combinatorial interest), and it leads to a recursion formula to calculate them in terms of infinite $q$-products.
Improved Bounds on Sidon Sets via Lattice Packings of Simplices
Published in SIAM J. Discrete Math., vol. 31, no. 3, pp. 2269-2278, 2017
• View Publication
• BIB
A $ B_h $ set (or Sidon set of order $ h $) in an Abelian group $ G $ is any subset $ \{b_0, b_1, \ldots,b_{n}\} $ of $ G $ with the property that all the sums $ b_{i_1} + \cdots + b_{i_h} $ are different up to the order of the summands. Let $ φ(h,n) $ denote the order of the smallest Abelian group containing a $ B_h $ set of cardinality $ n + 1 $. It is shown that \[ \lim_{h \to \infty} \frac{ φ(h,n) }{ h^n } = \frac{1}{n! δ_L(\triangle^n)} , \] where $ δ_L(\triangle^n) $ is the lattice packing density of an $ n $-simplex in Euclidean space. This determines the asymptotics exactly in cases where this density is known ($ n \leq 3 $) and gives improved bounds on $ φ(h,n) $ in the remaining cases. The corresponding geometric characterization of bases of order $ h $ in finite Abelian groups in terms of lattice coverings by simplices is also given.
Eigenvalue bounds for the signless $p$-Laplacian
Published
• View Publication
• BIB
We consider the signless $p$-Laplacian of a graph, a generalisation of the usual signless Laplacian (the case $p=2$). We show a Perron-Frobenius property and basic inequalites for the largest eigenvalue and provide upper and lower bounds for the smallest eigenvalue in terms of a parameter related to the bipartiteness. The latter result generalises bounds by Desai and Rao and, interestingly, in the limit $p\to 1$ upper and lower bounds coincide.
Neumann Cheeger constants on graphs
Published
• View Publication
• BIB
For any subgraph of a graph, the Laplacian with Neumann boundary condition was introduced by Chung and Yau [CY94]. In this paper, motivated by the Riemannian case, we introduce the Cheeger constants for Neumann problems and prove corresponding Cheeger estimates for first nontrivial eigenvalues.
The Face Structure and Geometry of Marked Order Polyhedra
Published
• View Publication
• BIB
We study a class of polyhedra associated to marked posets. Examples of these polyhedra are Gelfand-Tsetlin polytopes and cones, as well as Berenstein-Zelevinsky polytopes, all of which have appeared in the representation theory of semi-simple Lie algebras. The faces of these polyhedra correspond to certain partitions of the underlying poset and we give a combinatorial characterization of these partitions. We specify a class of marked posets that give rise to polyhedra with facets in correspondence to the covering relations of the poset. On the convex geometrical side, we describe the recession cone of the polyhedra, discuss products and give a Minkowski sum decomposition. We briefly discuss intersections with affine subspaces that have also appeared in representation theory and recently in the theory of finite Hilbert space frames.
Unlabelled Gibbs partitions
Published in Combinator. Probab. Comp. 29 (2020) 293-309
• View Publication
• BIB
We study random composite structures considered up to symmetry that are sampled according to weights on the inner and outer structures. This model may be viewed as an unlabelled version of Gibbs partitions and encompasses multisets of weighted combinatorial objects. We describe a general setting characterized by the formation of a giant component. The collection of small fragments is shown toconverge in total variation toward a limit object following a Pólya-Boltzmann distribution.
Distributed Searching of Partial Grids
Published in Theory of Computing Systems 63(8): 1819-1848 (2019)
• View Publication
• BIB
We consider the following distributed pursuit-evasion problem. A team of mobile agents called searchers starts at an arbitrary node of an unknown $n$-node network. Their goal is to execute a search strategy that guarantees capturing a fast and invisible intruder regardless of its movements using as few agents as possible. We restrict our attention to networks that are embedded into partial grids: nodes are placed on the plane at integer coordinates and only nodes at distance one can be adjacent. We give a distributed algorithm for the searchers that allow them to compute a connected and monotone strategy that guarantees searching any unknown partial grid with the use of $O(\sqrt{n})$ searchers. As for a lower bound, not only there exist partial grids that require $Ω(\sqrt{n})$ searchers, but we prove that for each distributed searching algorithm there is a partial grid that forces the algorithm to use $Ω(\sqrt{n})$ searchers but $O(\log n)$ searchers are sufficient in the offline scenario. This gives a lower bound of $Ω(\sqrt{n}/\log n)$ in terms of achievable competitive ratio of any distributed algorithm.
Bounding the order of a graph using its diameter and metric dimension: a study through tree decompositions and VC dimension
Published in SIAM Journal on Discrete Mathematics 32(2):902-918, 2018
• View Publication
• BIB
The metric dimension of a graph is the minimum size of a set of vertices such that each vertex is uniquely determined by the distances to the vertices of that set. Our aim is to upper-bound the order $n$ of a graph in terms of its diameter $d$ and metric dimension $k$. In general, the bound $n\leq d^k+k$ is known to hold. We prove a bound of the form $n=\mathcal{O}(kd^2)$ for trees and outerplanar graphs (for trees we determine the best possible bound and the corresponding extremal examples). More generally, for graphs having a tree decomposition of width $w$ and length $\ell$, we obtain a bound of the form $n=\mathcal{O}(kd^2(2\ell+1)^{3w+1})$. This implies in particular that $n=\mathcal{O}(kd^{\mathcal{O}(1)})$ for graphs of constant treewidth and $n=\mathcal{O}(f(k)d^2)$ for chordal graphs, where $f$ is a doubly-exponential function. Using the notion of distance-VC dimension (introduced in 2014 by Bousquet and Thomassé) as a tool, we prove the bounds $n\leq (dk+1)^{t-1}+1$ for $K_t$-minor-free graphs, and $n\leq (dk+1)^{d(3\cdot 2^{r}+2)}+1$ for graphs of rankwidth at most $r$.
Supersaturation in Posets and Applications Involving the Container Method
Published
• View Publication
• BIB
We consider 'supersaturation' problems in partially ordered sets (posets) of the following form. Given a finite poset $P$ and an integer $m$ greater than the cardinality of the largest antichain in $P$, what is the minimum number of comparable pairs in a subset of $P$ of cardinality $m$? We provide a framework for obtaining lower bounds on this quantity based on counting comparable pairs relative to a random chain and apply this framework to obtain supersaturation results for three classical posets: the boolean lattice, the collection of subspaces of $\mathbb{F}_q^n$ ordered by set inclusion and the set of divisors of the square of a square-free integer under the 'divides' relation. The bound that we obtain for the boolean lattice can be viewed as an approximate version of a known theorem of Kleitman.
In addition, we apply our supersaturation results to obtain (a) upper bounds on the number of antichains in these posets and (b) asymptotic bounds on the cardinality of the largest antichain in $p$-random subsets of these posets which hold with high probability (for $p$ in a certain range). The proofs of these results rely on a 'container-type' lemma for posets which generalises a result of Balogh, Mycroft and Treglown. We also state a number of open problems regarding supersaturation in posets and counting antichains.