Showing 20 papers (Total: 82505 papers, 47699 authors in database)
A View From The Bridge Spanning Combinatorics and Probability
Published
• View Publication
• BIB
This paper presents an offering of some of the myriad connections between Combinatorics and Probability, directed in particular toward combinatorialists. The choice of material was dictated by the author's own interests, tastes and familiarity, as well as by a desire to present results with either complete proofs or well developed sketches of proofs, and to ensure that the arguments are rather accessible to combinatorialists. The first several sections collect some concepts and rudimentary results from probability theory that are needed to understand the rest of the paper.
Minimal excludant over partitions into distinct parts
Published in Int. J. Number Theory, 2022
• View Publication
• BIB
The average size of the "smallest gap" of a partition was studied by Grabner and Knopfmacher in 2006. Recently, Andrews and Newman, motivated by the work of Fraenkel and Peled, studied the concept of the "smallest gap" under the name "minimal excludant" of a partition and rediscovered a result of Grabner and Knopfmacher. In the present paper, we study the sum of the minimal excludants over partitions into distinct parts, and interestingly we observe that it has a nice connection with Ramanujan's function $σ(q)$. As an application, we derive a stronger version of a result of Uncu.
Positroid Links and Braid varieties
Published in Journal fur die reine und angewandte Mathematik (Crelle) 2026
• View Publication
• BIB
We study braid varieties and their relation to open positroid varieties. We discuss four different types of braids associated to open positroid strata and show that their associated Legendrian links are all Legendrian isotopic. In particular, we prove that each open positroid stratum can be presented as the augmentation variety for four different Legendrian fronts described in terms of either permutations, juggling patterns, cyclic rank matrices or Le diagrams. We also relate braid varieties to open Richardson varieties and brick manifolds, showing that the latter provide projective compactifications of braid varieties, with normal crossing divisors at infinity.
The largest hole in sparse random graphs
We show that for any $d=d(n)$ with $d_0(ε) \le d =o(n)$, with high probability, the size of a largest induced cycle in the random graph $G(n,d/n)$ is $(2\pm ε)\frac{n}{d}\log d$. This settles a long-standing open problem in random graph theory.
An Isometric Invariant of Quadratic Spaces over Finite Fields
Let $\mathbb{F}_{q}$ be the finite field with an odd prime power $q$. In this paper, we construct a new isometric invariant of combinatorial type on $(\mathbb{F}^{n}_{q},\text{dot}_{n})$, where $\text{dot}_{n}(\mathbf{x}):=x_{1}^{2}+\cdots+x_{n}^{2}$. Additionally, using counts from our new invariant, we give a new proof of Minkowski's formula on the size of spheres over finite fields. We also show which types of quadratic subspaces can be embedded in $(\mathbb{F}_{q}^{n},\text{dot}_{n})$.
Normal Cayley digraphs of dihedral groups with CI-property
Published
• View Publication
• BIB
A Cayley (di)graph $Cay(G,S)$ of a group $G$ with respect to $S$ is said to be normal if the right regular representation of $G$ is normal in the automorphism group of $Cay(G,S)$, and is called a CI-(di)graph if there is $α\in Aut(G)$ such that $S^α=T$, whenever $Cay(G,S)\cong Cay(G,T)$ for a Cayley (di)graph $Cay(G,T)$. A finite group $G$ is called a DCI-group or a NDCI-group if all Cayley digraphs or normal Cayley digraphs of $G$ are CI-digraphs, and is called a CI-group or a NCI-group if all Cayley graphs or normal Cayley graphs of $G$ are CI-graphs, respectively.
Motivated by a conjecture proposed by Ádám in 1967, CI-groups and DCI-groups have been actively studied during the last fifty years by many researchers in algebraic graph theory. It takes about thirty years to obtain the classification of cyclic CI-groups and DCI-groups, and recently, the first two authors, among others, classified cyclic NCI-groups and NDCI-groups. Even though there are many partial results on dihedral CI-groups and DCI-groups, their classification is still elusive. In this paper, we prove that a dihedral group of order $2n$ is a NCI-group or a NDCI-group if and only if $n=2,4$ or $n$ is odd. As a direct consequence, we have that if a dihedral group $D_{2n}$ of order $2n$ is a DCI-group then $n=2$ or $n$ is odd-square-free, and that if $D_{2n}$ is a CI-group then $n=2,9$ or $n$ is odd-square-free, throwing some new light on classification of dihedral CI-groups and DCI-groups.
Plethystic exponential calculus and characteristic polynomials of permutations
Published
• View Publication
• BIB
We prove a family of identities, expressing generating functions of powers of characteristic polynomials of permutations, as finite or infinite products. These generalize formulae first obtained in a study of the geometry/topology of symmetric products of real/algebraic tori. The proof uses formal power series expansions of plethystic exponentials, and has been motivated by some recent applications of these combinatorial tools in supersymmetric gauge and string theories. Since the methods are elementary, we tried to be self-contained, and relate to other topics such as the q-binoomial theorem, and the cycle index and Molien series for the symmetric group.
Matrix coefficients of intertwining operators and the Bruhat order
Let $(π_{\mathbf{z}},V_{\mathbf{z}})$ be an unramified principal series representation of a reductive group over a nonarchimedean local field, parametrized by an element $\mathbf{z}$ of the maximal torus in the Langlands dual group. If $v$ is an element of the Weyl group $W$, then the standard intertwining integral $\mathcal{A}_v$ maps $V_{\mathbf{z}}$ to $V_{v\mathbf{z}}$. Letting $ψ^{\mathbf{z}}_w$ with $w\in W$ be a suitable basis of the Iwahori fixed vectors in $V_{\mathbf{z}}$, and $\widehatψ^{\mathbf{z}}_w$ a basis of the contragredient representation, we define $σ(u,v,w)$ (for $u,v,w\in W$) to be $\langle \mathcal{A}_vψ_u^{\mathbf{z}},\widehatψ^{v\mathbf{z}}_w\rangle$. This is an interesting function and we initiate its study. We show that given $u$ and $w$, there is a minimal $v$ such that $σ(u,v,w)\neq 0$. Denoting this $v$ as $v_\hbox{min}=v_\hbox{min}(u,w)$, we will prove that $σ(u,v_\hbox{min},w)$ is a polynomial of the cardinality $q$ of the residue field. Indeed if $v>v_\hbox{min}$, then $σ(u,v,w)$ is a rational function of $\mathbf{z}$ and $q$, whose denominator we describe. But if $v=v_\hbox{min}$, the dependence on $\mathbf{z}$ disappears. We will express $σ(u,v_\hbox{min},w)$ as the Poincaré polynomial of a Bruhat interval. The proof leads to fairly intricate considerations of the Bruhat order.
Thus our results require us to prove some facts that may be of independent interest, relating the Bruhat order $\leqslant$ and the weak Bruhat order $\leqslant_R$. For example we will prove (for finite Coxeter groups) the following "mixed meet" property. If $u, w$ are elements of $W$, then there exists a unique element $m \in W$ that is maximal with respect to the condition that $m \leqslant_R u$ and $m \leqslant w$. Thus if $z \leqslant_R u$ and $z \leqslant w$, then $x \leqslant m$. The value $v_\hbox{min}$ is $m^{-1}u$.
Interpolating between volume and lattice point enumerator with successive minima
Published
• View Publication
• BIB
We study inequalities that simultaneously relate the number of lattice points, the volume and the successive minima of a convex body to one another. One main ingredient in order to establish these relations is Blaschke's shaking procedure, by which the problem can be reduced from arbitrary convex bodies to anti-blocking bodies. As a consequence of our results, we obtain an upper bound on the lattice point enumerator in terms of the successive minima, which is equivalent to Minkowski's upper bound on the volume in terms of the successive minima.
The Number of Locally $p$-stable Functions on $Q_n$
Published in Discrete Mathematics, Volume 345, Issue 6, 2022, p. 112848, ISSN 0012-365X
• View Publication
• BIB
A Boolean function $f:V \to \{-1,1\}$ on the vertex set of a graph $G=(V,E)$ is locally $p$-stable if for every vertex $v$ the proportion of neighbours $w$ of $v$ with $f(v)=f(w)$ is exactly $p$. This notion was introduced by Gross and Grupel in [1] while studying the scenery reconstruction problem. They give an exponential type lower bound for the number of isomorphism classes of locally $p$-stable functions when $G=Q_n$ is the $n$-dimensional Boolean hypercube and ask for more precise estimates. In this paper we provide such estimates by improving the lower bound to a double exponential type lower bound and finding a matching upper bound. We also show that for a fixed $k$ and increasing $n$, the number of isomorphism classes of locally $(1-k/n)$-stable functions on $Q_n$ is eventually constant. The proofs use the Fourier decomposition of functions on the Boolean hypercube.
Majority Dynamics: The Power of One
Published
• View Publication
• BIB
Consider $n=\ell+m$ individuals, where $\ell\le m$, with $\ell$ individuals holding an opinion $A$ and $m$ holding an opinion $B$. Suppose that the individuals communicate via an undirected network $G$, and in each time step, each individual updates her opinion according to a majority rule (that is, according to the opinion of the majority of the individuals she can communicate with in the network). This simple and well studied process is known as "majority dynamics in social networks". Here we consider the case where $G$ is a random network, sampled from the binomial model $\mathbb{G}(n,p)$, where $(\log n)^{-1/16}\le p\le 1-(\log n)^{-1/16}$. We show that for $n=\ell+m$ with $Δ=m-\ell\le(\log n)^{1/4}$, the above process terminates whp after three steps when a consensus is reached. Furthermore, we calculate the (asymptotically) correct probability for opinion $B$ to "win" and show it is \[Φ\bigg(\frac{pΔ\sqrt{2}}{\sqrt{πp(1-p)}}\bigg) + O(n^{-c}),\] where $Φ$ is the Gaussian CDF. This answers two conjectures of Tran and Vu and also a question raised by Berkowitz and Devlin.
The proof technique involves iterated degree revelation and analysis of the resulting degree-constrained random graph models via graph enumeration techniques of McKay and Wormald as well as Canfield, Greenhill, and McKay.
Characterizing finite nilpotent groups associated with a graph theoretic equality
Published
• View Publication
• BIB
The power graph of a group is the simple graph whose vertices are the group elements and two vertices are adjacent whenever one of them is a positive power of the other. We characterize the finite nilpotent groups whose power graphs have equal vertex connectivity and minimum degree.
The number and average size of connected sets in graphs with degree constraints
Published in Journal of Graph Theory Volume100, Issue3 July 2022 Pages 530-542
• View Publication
• BIB
The average size of connected vertex subsets of a connected graph generalises a much-studied parameter for subtrees of trees. For trees, the possible values of this parameter are critically affected by the presence or absence of vertices of degree 2. We answer two questions of Andrew Vince regarding the effect of degree constraints on general connected graphs. We give a new lower bound, and the first non-trivial upper bound, on the maximum growth rate of the number of connected sets of a cubic graph, and in fact obtain non-trivial upper bounds for any constant bound on the maximum degree. We show that the average connected set density is bounded away from 1 for graphs with no vertex of degree 2, and generalise a classical result of Jamison for trees by showing that in order for the connected set density to approach 1, the proportion of vertices of degree 2 must approach 1. Finally, we show that any sequence of graphs with minimum degree tending to infinity must have connected set density tending to 1/2.
Friendly bisections of random graphs
Published
• View Publication
• BIB
Resolving a conjecture of Füredi from 1988, we prove that with high probability, the random graph $G(n,1/2)$ admits a friendly bisection of its vertex set, i.e., a partition of its vertex set into two parts whose sizes differ by at most one in which $n-o(n)$ vertices have at least as many neighbours in their own part as across. The engine of our proof is a new method to study stochastic processes driven by degree information in random graphs; this involves combining enumeration techniques with an abstract second moment argument.
Skew row-strict quasisymmetric Schur functions
Published in J.Algebr.Comb 42 (2015) 763--791
• Search Publication
Mason and Remmel introduced a basis for quasisymmetric functions known as the row-strict quasisymmetric Schur functions. This basis is generated combinatorially by fillings of composition diagrams that are analogous to the row-strict tableaux that generate Schur functions. We introduce a modification known as Young row-strict quasisymmetric Schur functions, which are generated by row-strict Young composition fillings. After discussing basic combinatorial properties of these functions, we define a skew Young row-strict quasisymmetric Schur function using the Hopf algebra of quasisymmetric functions and then prove this is equivalent to a combinatorial description. We also provide a decomposition of the skew Young row-strict quasisymmetric Schur functions into a sum of Gessel's fundamental quasisymmetric functions and prove a multiplication rule for the product of a Young row-strict quasisymmetric Schur function and a Schur function.
On the $2$-packing differential of a graph
Let $G$ be a graph of order $n(G)$ and vertex set $V(G)$. Given a set $S\subseteq V(G)$, we define the external neighbourhood of $S$ as the set $N_e(S)$ of all vertices in $V(G)\setminus S$ having at least one neighbour in $S$. The differential of $S$ is defined to be $\partial(S)=|N_e(S)|-|S|$. In this paper, we introduce the study of the $2$-packing differential of a graph, which we define as $\partial_{2p}(G)=\max\{\partial(S): S\subseteq V(G) \text{ is a }2\text{-packing}\}.$ We show that the $2$-packing differential is closely related to several graph parameters, including the packing number, the independent domination number, the total domination number, the perfect differential, and the unique response Roman domination number. In particular, we show that the theory of $2$-packing differentials is an appropriate framework to investigate the unique response Roman domination number of a graph without the use of functions. Among other results, we obtain a Gallai-type theorem, which states that $\partial_{2p}(G)+μ_{_R}(G)=n(G)$, where $μ_{_R}(G)$ denotes the unique response Roman domination number of $G$. As a consequence of the study, we derive several combinatorial results on $μ_{_R}(G)$, and we show that the problem of finding this parameter is NP-hard. In addition, the particular case of lexicographic product graphs is discussed.
Perfect Matchings in the Semi-random Graph Process
Published
• View Publication
• BIB
The semi-random graph process is a single player game in which the player is initially presented an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the player independently and uniformly at random. The player then adaptively selects a vertex $v$, and adds the edge $uv$ to the graph. For a fixed monotone graph property, the objective of the player is to force the graph to satisfy this property with high probability in as few rounds as possible.
We focus on the problem of constructing a perfect matching in as few rounds as possible. In particular, we present an adaptive strategy for the player which achieves a perfect matching in $βn$ rounds, where the value of $β< 1.206$ is derived from a solution to some system of differential equations. This improves upon the previously best known upper bound of $(1+2/e+o(1)) \, n < 1.736 \, n$ rounds. We also improve the previously best lower bound of $(\ln 2 + o(1)) \, n > 0.693 \, n$ and show that the player cannot achieve the desired property in less than $αn$ rounds, where the value of $α> 0.932$ is derived from a solution to another system of differential equations. As a result, the gap between the upper and lower bounds is decreased roughly four times.
Toric Richardson varieties of Catalan type and Wedderburn-Etherington numbers
Published
• View Publication
• BIB
We associate a complete non-singular fan with a polygon triangulation. Such a fan appears from a certain toric Richardson variety, called of Catalan type introduced in this paper. A toric Richardson variety of Catalan type is a Fano Bott manifold. We show that toric Richardson varieties of Catalan type are classified up to isomorphism in terms of unordered binary trees. In particular, the number of isomorphism classes of $n$-dimensional toric Richardson varieties of Catalan type is the $(n+1)$th Wedderburn--Etherington number.
Ramsey expansions of 3-hypertournaments
Published
• View Publication
• BIB
We study Ramsey expansions of certain homogeneous 3-hypertournaments. We show that they exhibit an interesting behaviour and, in one case, they seem not to submit to current gold-standard methods for obtaining Ramsey expansions. This makes these examples very interesting from the point of view of structural Ramsey theory as there is a large demand for novel examples.
Recognition of Linear and Star Variants of Leaf Powers is in P
Published
• View Publication
• BIB
A $k$-leaf power of a tree $T$ is a graph $G$ whose vertices are the leaves of $T$ and whose edges connect pairs of leaves whose distance in $T$ is at most $k$. A graph is a leaf power if it is a $k$-leaf power for some $k$. Over 20 years ago, Nishimura et al. [J. Algorithms, 2002] asked if recognition of leaf powers was in P. Recently, Lafond [SODA 2022] showed an XP algorithm when parameterized by $k$, while leaving the main question open. In this paper, we explore this question from the perspective of two alternative models of leaf powers, showing that both a linear and a star variant of leaf powers can be recognized in polynomial-time.