Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Triangle-free planar graphs with small independence number
Since planar triangle-free graphs are 3-colourable, such a graph with n vertices has an independent set of size at least n/3. We prove that unless the graph contains a certain obstruction, its independence number is at least n/(3-epsilon) for some fixed epsilon>0. We also provide a reduction rule for this obstruction, which enables us to transform any plane triangle-free graph G into a plane triangle-free graph G' such that alpha(G')-|G'|/3=alpha(G)-|G|/3 and |G'|<=(alpha(G)-|G|/3)/epsilon. We derive a number of algorithmic consequences as well as a structural description of n-vertex plane triangle-free graphs whose independence number is close to n/3.
A bijective proof of Macdonald's reduced word formula
Published
• View Publication
• BIB
We give a bijective proof of Macdonald's reduced word identity using pipe dreams and Little's bumping algorithm. This proof extends to a principal specialization due to Fomin and Stanley. Such a proof has been sought for over 20 years. Our bijective tools also allow us to solve a problem posed by Fomin and Kirillov from 1997 using work of Wachs, Lenart, Serrano and Stump. These results extend earlier work by the third author on a Markov process for reduced words of the longest permutation.
A Generalization of Permanent Inequalities and Applications in Counting and Optimization
Published
• View Publication
• BIB
A polynomial $p\in\mathbb{R}[z_1,\dots,z_n]$ is real stable if it has no roots in the upper-half complex plane. Gurvits's permanent inequality gives a lower bound on the coefficient of the $z_1z_2\dots z_n$ monomial of a real stable polynomial $p$ with nonnegative coefficients. This fundamental inequality has been used to attack several counting and optimization problems.
Here, we study a more general question: Given a stable multilinear polynomial $p$ with nonnegative coefficients and a set of monomials $S$, we show that if the polynomial obtained by summing up all monomials in $S$ is real stable, then we can lowerbound the sum of coefficients of monomials of $p$ that are in $S$. We also prove generalizations of this theorem to (real stable) polynomials that are not multilinear. We use our theorem to give a new proof of Schrijver's inequality on the number of perfect matchings of a regular bipartite graph, generalize a recent result of Nikolov and Singh, and give deterministic polynomial time approximation algorithms for several counting problems.
The Noether numbers and the Davenport constants of the groups of order less than 32
Published
• View Publication
• BIB
The computation of the Noether numbers of all groups of order less than thirty-two is completed. It turns out that for these groups in non-modular characteristic the Noether number is attained on a multiplicity free representation, it is strictly monotone on subgroups and factor groups, and it does not depend on the characteristic. Algorithms are developed and used to determine the small and large Davenport constants of these groups. For each of these groups the Noether number is greater than the small Davenport constant, whereas the first example of a group whose Noether number exceeds the large Davenport constant is found, answering partially a question posed by Geroldinger and Grynkiewicz.
Crystals and trees: quasi-Kashiwara operators, monoids of binary trees, and Robinson--Schensted-type correspondences
Published
• View Publication
• BIB
Kashiwara's crystal graphs have a natural monoid structure that arises by identifying words labelling vertices that appear in the same position of isomorphic components. The celebrated plactic monoid (the monoid of Young tableaux), arises in this way from the crystal graph for the $q$-analogue of the general linear Lie algebra $\mathfrak{gl}_{n}$, and the so-called Kashiwara operators interact beautifully with the combinatorics of Young tableaux and with the Robinson--Schensted--Knuth correspondence. The authors previously constructed an analogous `quasi-crystal' structure for the related hypoplactic monoid (the monoid of quasi-ribbon tableaux), which has similarly neat combinatorial properties. This paper constructs an analogous `crystal-type' structure for the sylvester and Baxter monoids (the monoids of binary search trees and pairs of twin binary search trees, respectively). Both monoids are shown to arise from this structure just as the plactic monoid does from the usual crystal graph. The interaction of the structure with the sylvester and Baxter versions of the Robinson-Schensted-Knuth correspondence is studied. The structure is then applied to prove results on the number of factorizations of elements of these monoids, and to prove that both monoids satisfy non-trivial identities.
Counterexamples to conjectures about Subset Takeaway and counting linear extensions of a Boolean lattice
Published
• View Publication
• BIB
We develop an algorithm for efficiently computing recursively defined functions on posets. We illustrate this algorithm by disproving conjectures about the game Subset Takeaway (Chomp on a hypercube) and computing the number of linear extensions of the lattice of a 7-cube and related lattices.
Smooth Schubert varieties in the affine flag variety of type $\tilde{A}$
Published
• View Publication
• BIB
We show that every smooth Schubert variety of affine type $\tilde{A}$ is an iterated fibre bundle of Grassmannians, extending an analogous result by Ryan and Wolper for Schubert varieties of finite type $A$. As a consequence, we finish a conjecture of Billey-Crites that a Schubert variety in affine type $\tilde{A}$ is smooth if and only if the corresponding affine permutation avoids the patterns $4231$ and $3412$. Using this iterated fibre bundle structure, we compute the generating function for the number of smooth Schubert varieties of affine type $\tilde{A}$.
On the skew-spectral distribution of randomly oriented graphs
Published in Ars Combinatoria, vol 140, pp. 63--71, 2018
• Search Publication
The randomly oriented graph $G_{n,p}^σ$ is an Erdős-Rényi random graph $G_{n,p}$ with a random orientation $σ$, which assigns to each edge a direction so that $G_{n,p}^σ$ becomes a directed graph. Denote by $S_n$ the skew-adjacency matrix of $G_{n,p}^σ$. Under some mild assumptions, it is proved in this paper that, the spectral distribution of $S_n$ (under some normalization) converges to the standard semicircular law almost surely as $n\rightarrow\infty$. It is worth mentioning that our result does not require finite moments of the entries of the underlying random matrix.
Methods of Enumerating Two Vertex Maps of Arbitrary Genus
This paper provides an alternate proof to parts of the Goulden-Slofstra formula for enumerating two vertex maps by genus, which is an extension of the famous Harer-Zagier formula that computes the Euler characteristic of the moduli space of curves. This paper also shows a further simplification to the Goulden-Slofstra formula. Portions of this alternate proof will be used in a subsequent paper, where it forms a basis for a more general result that applies for a certain class of maps with an arbitrary number of vertices.
Degenerate Matchings and Edge Colorings
Published
• View Publication
• BIB
A matching $M$ in a graph $G$ is $r$-degenerate if the subgraph of $G$ induced by the set of vertices incident with an edge in $M$ is $r$-degenerate. Goddard, Hedetniemi, Hedetniemi, and Laskar (Generalized subgraph-restricted matchings in graphs, Discrete Mathematics 293 (2005) 129-138) introduced the notion of acyclic matchings, which coincide with $1$-degenerate matchings. Solving a problem they posed, we describe an efficient algorithm to determine the maximum size of an $r$-degenerate matching in a given chordal graph. Furthermore, we study the $r$-chromatic index of a graph defined as the minimum number of $r$-degenerate matchings into which its edge set can be partitioned, obtaining upper bounds and discussing extremal graphs.
Δ-cumulants in terms of moments
Published in Infinite Dimensional Analysis, Quantum Probabilities and Related Topics, 21(2) (2018)
• View Publication
• BIB
The Δ-convolution of real probability measures, introduced by Bożejko, generalizes both free and boolean convolutions. It is linearized by the Δ-cumulants, and Yoshida gave a combinatorial formula for moments in terms of Δ-cumulants, that implicitly defines the latter. It relies on the definition of an appropriate weight on noncrossing partitions. We give here two different expressions for the Δ-cumulants: the first one is a simple variant of Lagrange inversion formula, and the second one is a combinatorial inversion of Yoshida's formula involving Schröder trees.
Tiered trees, weights, and q-Eulerian numbers
Published
• View Publication
• BIB
Maxmin trees are labeled trees with the property that each vertex is either a local maximum or a local minimum. Such trees were originally introduced by Postnikov, who gave a formula to count them and different combinatorial interpretations for their number. In this paper we generalize this construction and define tiered trees by allowing more than two classes of vertices. Tiered trees arise naturally when counting the absolutely indecomposable representations of certain quivers, and also when one enumerates torus orbits on certain homogeneous varieties. We define a notion of weight for tiered trees and prove bijections between various weight 0 tiered trees and other combinatorial objects; in particular order n weight 0 maxmin trees are naturally in bijection with permutations on n-1 letters. We conclude by using our weight function to define a new q-analogue of the Eulerian numbers.
A note on the automorphism groups of Johnson graphs
The Johnson graph $J(n, i)$ is defined as the graph whose vertex set is the set of all $i$-element subsets of $\{1, . . ., n \}$, and two vertices are adjacent whenever the cardinality of their intersection is equal to $i$-1. In Ramras and Donovan [SIAM J. Discrete Math, 25(1): 267-270, 2011], it is proved that if $ n \neq 2i$, then the automorphism group of $J(n, i)$ is isomorphic with the group $Sym(n)$ and it is conjectured that if $n = 2i$, then the automorphism group of $J(n, i)$ is isomorphic with the group $ Sym(n) \times \mathbb{Z}_2$. In this paper, we will find these results by different methods. We will prove the conjecture in the affirmative.
On product of difference sets for sets of positive density
Published
• View Publication
• BIB
In this paper we prove that given two sets $E_1,E_2 \subset \mathbb{Z}$ of positive density, there exists $k \geq 1$ which is bounded by a number depending only on the densities of $E_1$ and $E_2$ such that $k\mathbb{Z} \subset (E_1-E_1)\cdot(E_2-E_2)$. As a corollary of the main theorem we deduce that if $α,β> 0$ then there exist $N_0$ and $d_0$ which depend only on $α$ and $β$ such that for every $N \geq N_0$ and $E_1,E_2 \subset \mathbb{Z}_N$ with $|E_1| \geq αN, |E_2| \geq βN$ there exists $d \leq d_0$ a divisor of $N$ satisfying $d \, \mathbb{Z}_N \subset (E_1-E_1)\cdot(E_2-E_2)$.
Oblivious resampling oracles and parallel algorithms for the Lopsided Lovasz Local Lemma
Published in ACM Transactions on Algorithms 17(1), Article #1 (2021)
• View Publication
• BIB
The Lovász Local Lemma (LLL) is a probabilistic tool which shows that, if a collection of "bad" events $\mathcal B$ in a probability space are not too likely and not too interdependent, then there is a positive probability that no bad-events in $\mathcal B$ occur. Moser & Tardos (2010) gave sequential and parallel algorithms which transformed most applications of the variable-assignment LLL into efficient algorithms. A framework of Harvey & Vondrák (2015) based on "resampling oracles" extended this to general sequential algorithms for other probability spaces satisfying the Lopsided Lovász Local Lemma (LLLL).
We describe a new structural property which holds for all known resampling oracles, which we call "obliviousness." Essentially, it means that the interaction between two bad-events $B, B'$ depends only on the randomness used to resample $B$, and not the precise state within $B$ itself.
This property has two major consequences. First, combined with a framework of Kolmogorov (2016), it is the key to achieving a unified parallel LLLL algorithm, which is faster than previous, problem-specific algorithms of Harris (2016) for the variable-assignment LLLL algorithm and of Harris \& Srinivasan (2014) for permutations. This gives the first RNC algorithms for rainbow perfect matchings and rainbow hamiltonian cycles of $K_n$.
Second, this property allows us to build LLLL probability spaces out of relatively simple "atomic" events. This provides the first sequential resampling oracle for rainbow perfect matchings on the complete $s$-uniform hypergraph $K_n^{(s)}$, and the first commutative resampling oracle for hamiltonian cycles of $K_n$.
On symmetric intersecting families
Published
• View Publication
• BIB
We make some progress on a question of Babai from the 1970s, namely: for $n, k \in \mathbb{N}$ with $k \le n/2$, what is the largest possible cardinality $s(n,k)$ of an intersecting family of $k$-element subsets of $\{1,2,\ldots,n\}$ admitting a transitive group of automorphisms? We give upper and lower bounds for $s(n,k)$, and show in particular that $s(n,k) = o (\binom{n-1}{k-1})$ as $n \to \infty$ if and only if $k = n/2 - ω(n)(n/\log n)$ for some function $ω(\cdot)$ that increases without bound, thereby determining the threshold at which `symmetric' intersecting families are negligibly small compared to the maximum-sized intersecting families. We also exhibit connections to some basic questions in group theory and additive number theory, and pose a number of problems.
Difference bases in cyclic groups
Published in J. Algebra and its Appl. 18:05 (2019) 1950081
• View Publication
• BIB
A subset $B$ of an Abelian group $G$ is called a difference basis of $G$ if each element $g\in G$ can be written as the difference $g=a-b$ of some elements $a,b\in B$. The smallest cardinality $|B|$ of a difference basis $B\subset G$ is called the difference size of $G$ and is denoted by $Δ[G]$. We prove that for every $n\in\mathbb N$ the cyclic group $C_n$ of order $n$ has difference size $\frac{1+\sqrt{4|n|-3}}2\le Δ[C_n]\le\frac32\sqrt{n}$. If $n\ge 9$ (and $n\ge 2\cdot 10^{15}$), then $Δ[C_n]\le\frac{12}{\sqrt{73}}\sqrt{n}$ (and $Δ[C_n]<\frac2{\sqrt{3}}\sqrt{n}$). Also we calculate the difference sizes of all cyclic groups of cardinality $\le 100$.
Forbidden Substrings In Circular K-Successions
In this note we define circular k-successions in permutations in one-line notation and count permutations that avoid substrings j(j+k) and j(j+k) (mod n). We also count circular permutations that avoid such substrings, and show that for substrings j(j+k) (mod n), the number of permutations depends on whether n is prime, and more generally, on whether n and k are relatively prime.
Cube-magic labelings of grids
We show that the vertices and edges of a $d$-dimensional grid graph $G=(V,E)$ ($d\geqslant 2$) can be labeled with the integers from $\{1,\ldots,\lvert V\rvert\}$ and $\{1,\ldots,\lvert E\rvert\}$, respectively, in such a way that for every subgraph $H$ isomorphic to a $d$-cube the sum of all the labels of $H$ is the same. As a consequence, for every $d\geqslant 2$, every $d$-dimensional grid graph is $Q_d$-supermagic where $Q_d$ is the $d$-cube.
Large-scale structures in random graphs
In recent years there has been much progress in graph theory on questions of the following type. What is the threshold for a certain large substructure to appear in a random graph? When does a random graph contain all structures from a given family? And when does it contain them so robustly that even an adversary who is allowed to perturb the graph cannot destroy all of them? I will survey this progress, and highlight the vital role played by some newly developed methods, such as the sparse regularity method, the absorbing method, and the container method. I will also mention many open questions that remain in this area.