Showing 20 papers (Total: 82901 papers, 47900 authors in database)
Smoothness of Schubert varieties indexed by involutions in finite simply laced types
We prove that in finite, simply laced types, every Schubert variety indexed by an involution which is not the longest element of some parabolic subgroup is singular.
Every 2-Segal space is unital
Published in Commun. Contemp. Math. 23 (2021), 2050055
• View Publication
• BIB
We prove that every 2-Segal space is unital.
Ordinary hyperspheres and spherical curves
Published in Advances in Geometry 21 (2021), 15--22
• View Publication
• BIB
An ordinary hypersphere of a set of points in real $d$-space, where no $d+1$ points lie on a $(d-2)$-sphere or a $(d-2)$-flat, is a hypersphere (including the degenerate case of a hyperplane) that contains exactly $d+1$ points of the set. Similarly, a $(d+2)$-point hypersphere of such a set is one that contains exactly $d+2$ points of the set. We find the minimum number of ordinary hyperspheres, solving the $d$-dimensional spherical analogue of the Dirac--Motzkin conjecture for $d \geqslant 3$. We also find the maximum number of $(d+2)$-point hyperspheres in even dimensions, solving the $d$-dimensional spherical analogue of the orchard problem for even $d \geqslant 4$.
Site percolation and isoperimetric inequalities for plane graphs
Published in Random Structures and Algorithms, Volume 58, Issue 1, January 2021, pages 150-163
• View Publication
• BIB
We use isoperimetric inequalities combined with a new technique to prove upper bounds for the site percolation threshold of plane graphs with given minimum degree conditions. In the process we prove tight new isoperimetric bounds for certain classes of hyperbolic graphs. This establishes the vertex isoperimetric constant for all triangular and square hyperbolic lattices, answering a question of Lyons and Peres.
We prove that plane graphs of minimum degree at least $7$ have site percolation threshold bounded away from $1/2$, which was conjectured by Benjamini and Schramm, and make progress on a conjecture of Angel, Benjamini and Horesh that the critical probability is at most $1/2$ for plane triangulations of minimum degree $6$. We prove additional bounds for stronger minimum degree conditions, and for graphs without triangular faces.
2-factors with k cycles in Hamiltonian graphs
A well known generalisation of Dirac's theorem states that if a graph $G$ on $n\ge 4k$ vertices has minimum degree at least $n/2$ then $G$ contains a $2$-factor consisting of exactly $k$ cycles. This is easily seen to be tight in terms of the bound on the minimum degree. However, if one assumes in addition that $G$ is Hamiltonian it has been conjectured that the bound on the minimum degree may be relaxed. This was indeed shown to be true by Sárközy. In subsequent papers, the minimum degree bound has been improved, most recently to $(2/5+\varepsilon)n$ by DeBiasio, Ferrara, and Morris. On the other hand no lower bounds close to this are known, and all papers on this topic ask whether the minimum degree needs to be linear. We answer this question, by showing that the required minimum degree for large Hamiltonian graphs to have a $2$-factor consisting of a fixed number of cycles is sublinear in $n.$
Transition between characters of classical groups, decomposition of Gelfand-Tsetlin patterns and last passage percolation
Published in Adv. Math., 404-B, 108453 (2022)
• View Publication
• BIB
We study the combinatorial structure of the irreducible characters of the classical groups ${\rm GL}_n(\mathbb{C})$, ${\rm SO}_{2n+1}(\mathbb{C})$, ${\rm Sp}_{2n}(\mathbb{C})$, ${\rm SO}_{2n}(\mathbb{C})$ and the "non-classical" odd symplectic group ${\rm Sp}_{2n+1}(\mathbb{C})$, finding new connections to the probabilistic model of Last Passage Percolation (LPP). Perturbing the expressions of these characters as generating functions of Gelfand-Tsetlin patterns, we produce two families of symmetric polynomials that interpolate between characters of ${\rm Sp}_{2n}(\mathbb{C})$ and ${\rm SO}_{2n+1}(\mathbb{C})$ and between characters of ${\rm SO}_{2n}(\mathbb{C})$ and ${\rm SO}_{2n+1}(\mathbb{C})$. We identify the first family as a one-parameter specialization of Koornwinder polynomials, for which we thus provide a novel combinatorial structure; on the other hand, the second family appears to be new. We next develop a method of Gelfand-Tsetlin pattern decomposition to establish identities between all these polynomials that, in the case of irreducible characters, can be viewed as branching rules. Through these formulas we connect orthogonal and symplectic characters, and more generally the interpolating polynomials, to LPP models with various symmetries, thus going beyond the link with classical Schur polynomials originally found by Baik and Rains (Duke Math. J., 2001). Taking the scaling limit of the LPP models, we finally provide an explanation of why the Tracy-Widom GOE and GSE distributions from random matrix theory admit formulations in terms of both Fredholm determinants and Fredholm Pfaffians.
A trust model for spreading gossip in social networks
Published in Proceedings of the Royal Society A 2020
• View Publication
• BIB
We introduce here a multi-type bootstrap percolation model, which we call T-Bootstrap Percolation (T-BP), and apply it to study information propagation in social networks. In this model, a social network is represented by a graph G whose vertices have different labels corresponding to the type of role the person plays in the network (e.g. a student, an educator, etc.). Once an initial set of vertices of G is randomly selected to be carrying a gossip (e.g. to be infected), the gossip propagates to a new vertex provided it is transmitted by a minimum threshold of vertices with different labels. By considering random graphs, which have been shown to closely represent social networks, we study different properties of the T-BP model through numerical simulations, and describe its implications when applied to rumour spread, fake news, and marketing strategies.
Spanning Trees in Graphs of High Minimum Degree with a Universal Vertex I: An Asymptotic Result
In this paper and a companion paper, we prove that, if $m$ is sufficiently large, every graph on $m+1$ vertices that has a universal vertex and minimum degree at least $\lfloor \frac{2m}{3} \rfloor$ contains each tree $T$ with $m$ edges as a subgraph. Our result confirms, for large $m$, an important special case of a recent conjecture by Havet, Reed, Stein, and Wood. The present paper already contains an approximate version of the result.
Spanning Trees in Graphs of High Minimum Degree with a Universal Vertex II: A Tight Result
We prove that, if $m$ is sufficiently large, every graph on $m+1$ vertices that has a universal vertex and minimum degree at least $\lfloor \frac{2m}{3} \rfloor$ contains each tree $T$ with $m$ edges as a subgraph. Our result confirms, for large $m$, an important special case of a conjecture by Havet, Reed, Stein, and Wood. The present paper builds on the results of a companion paper in which we proved the statement for all trees having a vertex that is adjacent to many leaves.
The distinguishing number and distinguishing chromatic number for posets
In this paper we introduce the concepts of the distinguishing number and the distinguishing chromatic number of a poset. For a distributive lattice $L$ and its set $Q_L$ of join-irreducibles, we use classic lattice theory to show that any linear extension of $Q_L$ generates a distinguishing 2-coloring of $L$. We prove general upper bounds for the distinguishing chromatic number and particular upper bounds for the Boolean lattice and for divisibility lattices. In addition, we show that the distinguishing number of any twin-free Cohen-Macaulay planar lattice is at most 2.
Testing Graphs against an Unknown Distribution
The area of graph property testing seeks to understand the relation between the global properties of a graph and its local statistics. In the classical model, the local statistics of a graph is defined relative to a uniform distribution over the graph's vertex set. A graph property $\mathcal{P}$ is said to be testable if the local statistics of a graph can allow one to distinguish between graphs satisfying $\mathcal{P}$ and those that are far from satisfying it.
Goldreich recently introduced a generalization of this model in which one endows the vertex set of the input graph with an arbitrary and unknown distribution, and asked which of the properties that can be tested in the classical model can also be tested in this more general setting. We completely resolve this problem by giving a (surprisingly "clean") characterization of these properties. To this end, we prove a removal lemma for vertex weighted graphs which is of independent interest.
Split Network Polytopes and Network Spaces
Phylogenetics begins with reconstructing biological family trees from genetic data. Since Nature is not limited to tree-like histories, we use networks to organize our data, and have discovered new polytopes, metric spaces, and simplicial complexes that help us do so. Moreover, we show that the space of phylogenetic trees dually embeds into the Balanced Minimum Evolution polytope, and use this result to find a complex of faces within the subtour-elimination facets of the Symmetric Traveling Salesman polytope, which is shown to be dual to a quotient complex in network space.
On Wormald's differential equation method
This note contains a short and simple proof of Wormald's differential equation method (that yields slightly improved approximation guarantees and error probabilities). This powerful method uses differential equations to approximate the time-evolution/dynamics of random processes and algorithms.
A Short Note on the Average Maximal Number of Balls in a Bin
We analyze the asymptotic behavior of the average maximal number of balls in a bin obtained by throwing uniformly at random $r$ balls without replacement into $n$ bins, $T$ times. Writing the expected maximum as $\frac{r}{n}T+ C_{n,r}\sqrt{T} + o(\sqrt{T})$, a recent preprint of Behrouzi-Far and Zeilberger asks for an explicit expression for $C_{n,r}$ in terms of $n,r$ and $π$. In this short note, we find an expression for $C_{n,r}$ in terms of $n, r$ and the expected maximum of $n$ independent standard Gaussians. This provides asymptotics for large $n$ as well as closed forms for small $n$---e.g. $C_{4,2} = \frac{3}{2 π^{3/2}} \arccos(-1/3)$---and shows that computing a closed form for $C_{n,r}$ is precisely as hard as the difficult question of finding the expected maximum of $n$ independent standard Gaussians.
Clustered Graph Coloring and Layered Treewidth
A graph coloring has bounded clustering if each monochromatic component has bounded size. This paper studies such a coloring, where the number of colors depends on an excluded complete bipartite subgraph. This is a much weaker assumption than previous works, where typically the number of colors depends on an excluded minor. This paper focuses on graph classes with bounded layered treewidth, which include planar graphs, graphs of bounded Euler genus, graphs embeddable on a fixed surface with a bounded number of crossings per edge, amongst other examples. Our main theorem says that for fixed integers $s,t,k$, every graph with layered treewidth at most $k$ and with no $K_{s,t}$ subgraph is $(s+2)$-colorable with bounded clustering. The $s=3$ case implies that every graph with a drawing on a fixed surface with a bounded number of crossings per edge is 5-colorable with bounded clustering. Our main theorem is also a critical component in two companion papers that study clustered coloring of graphs with no $K_{s,t}$ subgraph and excluding a fixed minor, odd minor or topological minor.
Turan numbers of bipartite subdivisions
Given a graph $H$, the Turán number $ex(n,H)$ is the largest number of edges in an $H$-free graph on $n$ vertices. We make progress on a recent conjecture of Conlon, Janzer, and Lee on the Turán numbers of bipartite graphs, which in turn yields further progress on a conjecture of Erdős and Simonovits. Let $s,t,k\geq 2$ be integers. Let $K_{s,t}^k$ denote the graph obtained from the complete bipartite graph $K_{s,t}$ by replacing each edge $uv$ in it with a path of length $k$ between $u$ and $v$ such that the $st$ replacing paths are internally disjoint. It follows from a general theorem of Bukh and Conlon that $ex(n,K_{s,t}^k)=Ω(n^{1+\frac{1}{k}-\frac{1}{sk}})$. Conlon, Janzer, and Lee recently conjectured that for any integers $s,t,k\geq 2$, $ex(n,K_{s,t}^k)=O(n^{1+\frac{1}{k}-\frac{1}{sk}})$. Among many other things, they settled the $k=2$ case of their conjecture. As the main result of this paper, we prove their conjecture for $k=3,4$. Our main results also yield infinitely many new so-called Turán exponents: rationals $r\in (1,2)$ for which there exists a bipartite graph $H$ with $ex(n, H)=Θ(n^r)$, adding to the lists recently obtained by Jiang, Ma, Yepremyan, by Kang, Kim, Liu, and by Conlon, Janzer, Lee. Our method builds on an extension of the Conlon-Janzer-Lee method. We also note that the extended method also gives a weaker version of the Conlon-Janzer-Lee conjecture for all $k\geq 2$.
On the resistance distance and Kirchhoff index of a linear hexagonal (cylinder) chain
Published
• View Publication
• BIB
The resistance between two nodes in some resistor networks has been studied extensively by mathematicians and physicists. Let $L_n$ be a linear hexagonal chain with $n$\, 6-cycles. Then identifying the opposite lateral edges of $L_n$ in ordered way yields the linear hexagonal cylinder chain, written as $R_n$. We obtain explicit formulae for the resistance distance $r_{L_n}(i, j)$ (resp. $r_{R_n}(i,j)$) between any two vertices $i$ and $j$ of $L_n$ (resp. $R_n$). To the best of our knowledge $\{L_n\}_{n=1}^{\infty}$ and $\{R_n\}_{n=1}^{\infty}$ are two nontrivial families with diameter going to $\infty$ for which all resistance distances have been explicitly calculated. We determine the maximum and the minimum resistance distances in $L_n$ (resp. $R_n$). The monotonicity and some asymptotic properties of resistance distances in $L_n$ and $R_n$ are given. As well we give formulae for the Kirchhoff indices of $L_n$ and $R_n$ respectively.
The Steiner triple systems of order 21 with a transversal subdesign TD(3,6)
Published in Probl. Inf. Transm. 56(1) 2020, 23-32
• View Publication
• BIB
We prove several structural properties of Steiner triple systems (STS) of order 3w+3 that include one or more transversal subdesigns TD(3,w). Using an exhaustive search, we find that there are 2004720 isomorphism classes of STS(21) including a subdesign TD(3,6), or, equivalently, a 6-by-6 latin square.
Gaps in the cycle spectrum of 3-connected cubic planar graphs
We prove that, for every natural number $k$, every sufficiently large 3-connected cubic planar graph has a cycle whose length is in $[k,2k+9]$. We also show that this bound is close to being optimal by constructing, for every even $k\geq 4$, an infinite family of 3-connected cubic planar graphs that contain no cycle whose length is in $[k,2k+1]$.
Tutte Short Exact Sequences of Graphs
Published in Combinatorial Theory, Volume 2, Issue 2, 2022
• View Publication
• BIB
We associate two modules, the $G$-parking critical module and the toppling critical module, to an undirected connected graph $G$. The $G$-parking critical module and the toppling critical module are canonical modules (with suitable twists) of quotient rings of the well-studied $G$-parking function ideal and the toppling ideal, respectively. For each critical module, we establish a Tutte-like short exact sequence relating the modules associated to $G$, an edge contraction $G/e$ and an edge deletion $G \setminus e$ ($e$ is a non-bridge). We obtain purely combinatorial consequences of Tutte short exact sequences. For instance, we reprove a theorem of Merino that the critical polynomial of a graph is an evaluation of its Tutte polynomial, and relate the vanishing of certain combinatorial invariants (the number of acyclic orientations on connected partition graphs satisfying a unique sink property) of $G/e$ to the equality of the corresponding invariants of $G$ and $G \setminus e$.