Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Concentration on the Boolean hypercube via pathwise stochastic analysis
Published
• View Publication
• BIB
We develop a new technique for proving concentration inequalities which relate between the variance and influences of Boolean functions. Using this technique, we
1. Settle a conjecture of Talagrand [Tal97] proving that $$\int_{\left\{ -1,1\right\} ^{n}}\sqrt{h_{f}\left(x\right)}dμ\geq C\cdot\mathrm{var}\left(f\right)\cdot\left(\log\left(\frac{1}{\sum\mathrm{Inf}_{i}^{2}\left(f\right)}\right)\right)^{1/2},$$ where $h_{f}\left(x\right)$ is the number of edges at $x$ along which $f$ changes its value, and $\mathrm{Inf}_{i}\left(f\right)$ is the influence of the $i$-th coordinate.
2. Strengthen several classical inequalities concerning the influences of a Boolean function, showing that near-maximizers must have large vertex boundaries. An inequality due to Talagrand states that for a Boolean function $f$, $\mathrm{var}\left(f\right)\leq C\sum_{i=1}^{n}\frac{\mathrm{Inf}_{i}\left(f\right)}{1+\log\left(1/\mathrm{Inf}_{i}\left(f\right)\right)}$. We give a lower bound for the size of the vertex boundary of functions saturating this inequality. As a corollary, we show that for sets that satisfy the edge-isoperimetric inequality or the Kahn-Kalai-Linial inequality up to a constant, a constant proportion of the mass is in the inner vertex boundary.
3. Improve a quantitative relation between influences and noise stability given by Keller and Kindler.
Our proofs rely on techniques based on stochastic calculus, and bypass the use of hypercontractivity common to previous proofs.
Exact Expressions and Reduced Linear Programmes for the Ollivier Curvature in Graphs
The Ollivier curvature has important applications in discrete geometry and network theory, in particular as a measure of local clustering. The Ollivier curvature is defined in terms of the Wasserstein distance which, in the discrete setting, can be regarded as an optimal solution of a particular linear programme. In certain classes of graph, this linear programme may be solved \textit{a priori} giving rise to exact combinatorial expressions for the Ollivier curvature. It has been claimed by Bhattacharya and Mukherjee (2013) that an exact expression exists for the Ollivier curvature in bipartite graphs and graphs of girth 5; we present counterexamples to these claims and identify the error in the argument of Bhattacharya and Mukherjee. We then repeat the analysis of Bhattacharya and Mukherjee for arbitrary graphs, taking this error into account, and present reduced---parallelly solvable---linear programmes for the calculation of the Ollivier curvature. This allows for potential improvements in the exact numerical evaluation of the Ollivier curvature, though the result heuristically suggests no general exact combinatorial expression for the Ollivier curvature exists. Finally we give an exact expression for the Ollivier curvature in a class of graphs defined by a particular combinatorial constraint motivated by physical considerations.
Entropic matroids and their representation
Published
• View Publication
• BIB
This paper investigates entropic matroids, that is, matroids whose rank function is given as the Shannon entropy of random variables. In particular, we consider $p$-entropic matroids, for which the random variables each have support of cardinality $p$. We draw connections between such entropic matroids and secret-sharing matroids and show that entropic matroids are linear matroids when $p = 2,3$ but not when $p = 9$. Our results leave open the possibility for $p$-entropic matroids to be linear whenever $p$ is prime, with particular cases proved here. Applications of entropic matroids to coding theory and cryptography are also discussed.
Box splines, tensor product multiplicities and the volume function
Published
• View Publication
• BIB
We study the relationship between the tensor product multiplicities of a compact semisimple Lie algebra $\mathfrak{g}$ and a special function $\mathcal{J}$ associated to $\mathfrak{g}$, called the volume function. The volume function arises in connection with the randomized Horn's problem in random matrix theory and has a related significance in symplectic geometry. Building on box spline deconvolution formulae of Dahmen-Micchelli and De Concini-Procesi-Vergne, we develop new techniques for computing the multiplicities from $\mathcal{J}$, answering a question posed by Coquereaux and Zuber. In particular, we derive an explicit algebraic formula for a large class of Littlewood-Richardson coefficients in terms of $\mathcal{J}$. We also give analogous results for weight multiplicities, and we show a number of further identities relating the tensor product multiplicities, the volume function and the box spline. To illustrate these ideas, we give new proofs of some known theorems.
Combinatorial relations on skew Schur and skew stable Grothendieck polynomials
Published
• View Publication
• BIB
We give a combinatorial expansion of the stable Grothendieck polynomials of skew Young diagrams in terms of skew Schur functions, using a new row insertion algorithm for set-valued semistandard tableaux of skew shape. This expansion unifies some previous results: it generalizes a combinatorial formula obtained in earlier joint work with López Martín and Teixidor i Bigas concerning Brill-Noether curves, and it generalizes a 2000 formula of Lenart and a recent result of Reiner-Tenner-Yong to skew shapes. We also give an expansion in the other direction: expressing skew Schur functions in terms of skew Grothendieck polynomials.
Popular Differences for Corners in Abelian Groups
Published in Math. Proc. Camb. Phil. Soc. 171 (2021) 207-225
• View Publication
• BIB
For a compact abelian group $G$, a corner in $G \times G$ is a triple of points $(x,y)$, $(x,y+d)$, $(x+d,y)$. The classical corners theorem of Ajtai and Szemerédi implies that for every $α> 0$, there is some $δ> 0$ such that every subset $A \subset G \times G$ of density $α$ contains a $δ$ fraction of all corners in $G \times G$, as $x,y,d$ range over $G$.
Recently, Mandache proved a "popular differences" version of this result in the finite field case $G = \mathbb F_p^n$, showing that for any subset $A \subset G \times G$ of density $α$, one can fix $d \neq 0$ such that $A$ contains a large fraction, now known to be approximately $α^4$, of all corners with difference $d$, as $x,y$ vary over $G$. We generalize Mandache's result to all compact abelian groups $G$, as well as the case of corners in $\mathbb Z^2$.
All Trees are Seven-Cordial
For any integer $k>0$, a tree $T$ is $k$-cordial if there exists a labeling of the vertices of $T$ by $\mathbb{Z}_k$, inducing edge-weights as the sum modulo $k$ of the labels on incident vertices to a given edge, which furthermore satisfies the following conditions:
(i) Each label appears on at most one more vertex than any other label. (ii) Each edge-weight appears on at most one more edge than any other edge-weight.
Mark Hovey (1991) conjectured that all trees are $k$-cordial for any integer $k$. Cahit (1987) had shown earlier that all trees are $2$-cordial and Hovey proved that all trees are $3,4,$ and $5$-cordial. Driscoll, et. al. (2017), used an adjustment to Hovey's test to show that all trees are $6$-cordial. It is shown here that all trees are $7$-cordial by that same adjustment.
Interactive Particle Systems on Hypergraphs, Drift Analysis and the WalkSAT algorithm
We analyze the expected running time of WalkSAT, a well-known local search procedure for satisfiability solving, on satisfiable instances of the k-XOR SAT problem. We obtain estimates of this expected running time by reducing the problem to a setting amenable to classical techniques from drift analysis.
A crucial ingredient of this reduction is the definition of (new, explosive) hypergraph versions of interacting particle systems, notably of coalescing and annihilating random walks as well as the voter model. The use of these tools allows to show that the expected running time of WalkSAT depends on structural parameter (we call odd Cheeger drift) of the dual of the formula hypergraph.
The Region Smoothing Swap Game
We introduce a topological combinatorial game called the Region Smoothing Swap Game. The game is played on a game board derived from the connected shadow of a link diagram on a (possibly non-orientable) surface by smoothing at crossings. Moves in the game are performed on regions of the diagram and can switch the direction of certain crossings' smoothing. The players' goals relate to the connectedness of the diagram produced by game play.
Chromatic Posets
Published
• View Publication
• BIB
In 1995 Stanley introduced the chromatic symmetric function $X_G$ of a graph $G$, whose $e$-positivity and Schur-positivity has been of large interest. In this paper we study the relative $e$-positivity and Schur-positivity between connected graphs on $n$ vertices. We define and investigate two families of posets on distinct chromatic symmetric functions. The relations depend on the $e$-positivity or Schur-positivity of a weighed subtraction between $X_G$ and $X_H$. We find a biconditional condition between $e$-positivity or Schur-positivity and the relation to the complete graph. This gives a new paradigm for $e$-positivity and for Schur-positivity. We show many other interesting properties of these posets including that trees form an independent set and are maximal elements. Additionally, we find that stars are independent elements, the independence number increases as we increase in the poset and that the family of lollipop graphs form a chain.
Counting Domineering Positions
Domineering is a two player game played on a checkerboard in which one player places dominoes vertically and the other places them horizontally. We give bivariate generating polynomials enumerating Domineering positions by the number of each player's pieces. We enumerate all positions, maximal positions, and positions where one player has no move. Using these polynomials we count the number of positions that occur during alternating play. Our method extends to enumerating positions from mid-game positions and we include an analysis of a tournament game.
Rainbow Pancyclicity in Graph Systems
Published
• View Publication
• BIB
Let $G_1,...,G_n$ be graphs on the same vertex set of size $n$, each graph with minimum degree $δ(G_i)\ge n/2$. A recent conjecture of Aharoni asserts that there exists a rainbow Hamiltonian cycle i.e. a cycle with edge set $\{e_1,...,e_n\}$ such that $e_i\in E(G_i)$ for $1\leq i \leq n$. This can be viewed as a rainbow version of the well-known Dirac theorem. In this paper, we prove this conjecture asymptotically by showing that for every $\varepsilon>0$, there exists an integer $N>0$, such that when $n>N$ for any graphs $G_1,...,G_n$ on the same vertex set of size $n$ with $δ(G_i)\ge (\frac{1}{2}+\varepsilon)n$, there exists a rainbow Hamiltonian cycle. Our main tool is the absorption technique. Additionally, we prove that with $δ(G_i)\geq \frac{n+1}{2}$ for each $i$, one can find rainbow cycles of length $3,...,n-1$.
A note on the packing chromatic number of lexicographic products
The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that there exists a $k$-vertex coloring of $G$ in which any two vertices receiving color $i$ are at distance at least $i+1$. In this short note we present upper and lower bound for the packing chromatic number of the lexicographic product $G\circ H$ of graphs $G$ and $H$. Both bounds coincide in many cases. In particular this happens if $|V(H)|-α(H)\geq {\rm diam}(G)-1$, where $α(G)$ denotes the independence number of $G$.
The Boolean Rainbow Ramsey Number of Antichains, Boolean Posets, and Chains
Published
• View Publication
• BIB
Motivated by the paper of Axenovich and Walzer [2], we study the Ramsey-type problems on the Boolean lattices. Given posets $P$ and $Q$, we look for the smallest Boolean lattice $\mathcal{B}_N$ such that any coloring on elements of $\mathcal{B}_N$ must contain a monochromatic $P$ or a rainbow $Q$. This number $N$ is called the Boolean rainbow Ramsey number of $P$ and $Q$ in the paper.
Particularly, we determine the exact values of the Boolean rainbow Ramsey number for $P$ and $Q$ being the antichains, the Boolean posets, or the chains. From these results, we also give some general upper and lower bounds of the Boolean rainbow Ramsey number for general $P$ and $Q$ in terms of the poset parameters.
Sharp bounds for decomposing graphs into edges and triangles
Published in Combinator. Probab. Comp. 30 (2021) 271-287
• View Publication
• BIB
For a real constant $α$, let $π_3^α(G)$ be the minimum of twice the number of $K_2$'s plus $α$ times the number of $K_3$'s over all edge decompositions of $G$ into copies of $K_2$ and $K_3$, where $K_r$ denotes the complete graph on $r$ vertices. Let $π_3^α(n)$ be the maximum of $π_3^α(G)$ over all graphs $G$ with $n$ vertices.
The extremal function $π_3^3(n)$ was first studied by Győri and Tuza [Decompositions of graphs into complete subgraphs of given order, Studia Sci. Math. Hungar. 22 (1987), 315--320]. In a recent progress on this problem, Král', Lidický, Martins and Pehova [Decomposing graphs into edges and triangles, Combin. Prob. Comput. 28 (2019) 465--472] proved via flag algebras that $π_3^3(n)\le (1/2+o(1))n^2$. We extend their result by determining the exact value of $π_3^α(n)$ and the set of extremal graphs for all $α$ and sufficiently large $n$. In particular, we show for $α=3$ that $K_n$ and the complete bipartite graph $K_{\lfloor n/2\rfloor,\lceil n/2\rceil}$ are the only possible extremal examples for large $n$.
Matchings and squarefree powers of edge ideals
Published
• View Publication
• BIB
Squarefree powers of edge ideals are intimately related to matchings of the underlying graph. In this paper we give bounds for the regularity of squarefree powers of edge ideals, and we consider the question of when such powers are linearly related or have linear resolution. We also consider the so-called squarefree Ratliff property.
On the homotopy and strong homotopy type of complexes of discrete Morse functions
Published
• View Publication
• BIB
In this paper, we determine the homotopy type of the Morse complex of certain collections of simplicial complexes by studying dominating vertices or strong collapses. We show that if $K$ contains two leaves that share a common vertex, then the Morse complex is strongly collapsible and hence has the homotopy type of a point. We also show that the pure Morse complex of a tree is strongly collapsible, thereby recovering as a corollary a result of Ayala et al. In addition, we prove that the Morse complex of a disjoint union $K\sqcup L$ is the Morse complex of the join $K*L$. This result is used to compute the homotopy type of the Morse complex of some families of graphs, including Caterpillar graphs, as well as the automorphism group of a disjoint union for a large collection of disjoint complexes.
A Multi-Computational Exploration of Some Games of Pure Chance
Published
• View Publication
• BIB
In the spirit of "multi-culturalism", we use four kinds of computations: simulation, numeric, symbolic, and "conceptual" to explore some "games of pure chance" inspired by children board games like "Snakes and Ladders" (aka as "Chutes and Ladders") and "gambler's ruin with unlimited credit". Even more interesting than the many computer-generated actual results described in this paper and its web-site extension, is our broad-minded, ecunemical approach, not favoring, a priori, any one of the above four kinds of computation, but showing that, a posteriori, symbolic computation is the most important one, since (except for simulation, that is very inaccurate) numerics can be made more efficient with the help of symbolics (in the "downward" direction), and, (in the "upward" direction) the mere existence of certain symbolic-computational algorithms imply interesting "qualitative" results, that certain numbers are always rational, or always algebraic, and certain sequences are always polynomial, or C-recursive, or algebraic, or holonomic. This article is accompanied by four Maple packages, and numerous input and output files, that readers can use as templates for their own investigations.
Curvatures, graph products and Ricci flatness
Published
• View Publication
• BIB
In this paper, we compare Ollivier Ricci curvature and Bakry-Émery curvature notions on combinatorial graphs and discuss connections to various types of Ricci flatness. We show that non-negativity of Ollivier Ricci curvature implies non-negativity of Bakry-Émery curvature under triangle-freeness and an additional in-degree condition. We also provide examples that both conditions of this result are necessary. We investigate relations to graph products and show that Ricci flatness is preserved under all natural products. While non-negativity of both curvatures are preserved under Cartesian products, we show that in the case of strong products, non-negativity of Ollivier Ricci curvature is only preserved for horizontal and vertical edges. We also prove that all distance-regular graphs of girth $4$ attain their maximal possible curvature values.
On symmetric intersecting families of vectors
Published
• View Publication
• BIB
A family of vectors $A \subset [k]^n$ is said to be intersecting if any two elements of $A$ agree on at least one coordinate. We prove, for fixed $k \ge 3$, that the size of a symmetric intersecting subfamily of $[k]^n$ is $o(k^n)$, which is in stark contrast to the case of the Boolean hypercube (where $k =2$). Our main contribution addresses limitations of existing technology: while there is now some spectral machinery, developed by Ellis and the third author, to tackle extremal problems in set theory involving symmetry, this machinery relies crucially on the interplay between up-sets and biased product measures on the Boolean hypercube, features that are notably absent in the problem at hand; here, we describe a method for circumventing these barriers.