Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Asymptotic normality of consecutive patterns in permutations encoded by generating trees with one-dimensional labels
Published in Random Struct Alg. 2021; 59: 339-375
• View Publication
• BIB
We consider uniform random permutations drawn from a family enumerated through generating trees. We develop a new general technique to establish a central limit theorem for the number of consecutive occurrences of a fixed pattern in such permutations.
We propose a technique to sample uniform permutations in such families as conditioned random colored walks. Building on that, we derive the behavior of the consecutive patterns in random permutations studying properties of the consecutive increments in the corresponding random walks. The method applies to families of permutations with a one-dimensional-labeled generating tree (together with some technical assumptions) and implies local convergence for random permutations in such families. We exhibit ten different families of permutations, most of them being permutation classes, that satisfy our assumptions.
To the best of our knowledge, this is the first work where generating trees - which were introduced to enumerate combinatorial objects - have been used to establish probabilistic results.
Convex Hulls of Random Order Types
Published
• View Publication
• BIB
We establish the following two main results on order types of points in general position in the plane (realizable simple planar order types, realizable uniform acyclic oriented matroids of rank $3$):
(a) The number of extreme points in an $n$-point order type, chosen uniformly at random from all such order types, is on average $4+o(1)$. For labeled order types, this number has average $4- \frac{8}{n^2 - n +2}$ and variance at most $3$.
(b) The (labeled) order types read off a set of $n$ points sampled independently from the uniform measure on a convex planar domain, smooth or polygonal, or from a Gaussian distribution are concentrated, i.e. such sampling typically encounters only a vanishingly small fraction of all order types of the given size.
Result (a) generalizes to arbitrary dimension $d$ for labeled order types with the average number of extreme points $2d+o(1)$ and constant variance. We also discuss to what extent our methods generalize to the abstract setting of uniform acyclic oriented matroids. Moreover, our methods allow to show the following relative of the Erdős-Szekeres theorem: for any fixed $k$, as $n \to \infty$, a proportion $1 - O(1/n)$ of the $n$-point simple order types contain a triangle enclosing a convex $k$-chain over an edge.
For the unlabeled case in (a), we prove that for any antipodal, finite subset of the $2$-dimensional sphere, the group of orientation preserving bijections is cyclic, dihedral or one of $A_4$, $S_4$ or $A_5$ (and each case is possible). These are the finite subgroups of $SO(3)$ and our proof follows the lines of their characterization by Felix Klein.
A note on large Kakeya sets
Published
• View Publication
• BIB
A Kakeya set $\mathcal{K}$ in an affine plane of order $q$ is the point set covered by a set $\mathcal{L}$ of $q+1$ pairwise non-parallel lines. Large Kakeya sets were studied by Dover and Mellinger; in [6] they showed that Kakeya sets with size at least $q^2-3q+9$ contain a large knot (a point of $\mathcal{K}$ lying on many lines of $\mathcal{L}$). In this paper, we improve on this result by showing that Kakeya set of size at least $\approx q^2-q\sqrt{q}+\frac{3}{2}q$ contain a large knot. Furthermore, we obtain a sharp result for planes of square order containing a Baer subplane.
Mixing time of the switch Markov chain and stable degree sequences
Published
• View Publication
• BIB
The switch chain is a well-studied Markov chain which can be used to sample approximately uniformly from the set $Ω(\boldsymbol{d})$ of all graphs with a given degree sequence $\boldsymbol{d}$. Polynomial mixing time (rapid mixing) has been established for the switch chain under various conditions on the degree sequences. Amanatidis and Kleer introduced the notion of strongly stable families of degree sequences, and proved that the switch chain is rapidly mixing for any degree sequence from a strongly stable family. Using a different approach, Erdős et al. recently extended this result to the (possibly larger) class of P-stable degree sequences, introduced by Jerrum and Sinclair in 1990. We define a new notion of stability for a given degree sequence, namely $k$-\emph{stability}, and prove that if a degree sequence $\boldsymbol{d}$ is 8-stable then the switch chain on $Ω(\boldsymbol{d})$ is rapidly mixing. We also provide sufficient conditions for P-stability, strong stability and 8-stability. Using these sufficient conditions, we give the first proof of P-stability for various families of heavy-tailed degree sequences, including power-law degree sequences, and show that the switch chain is rapidly mixing for these families.
We further extend these notions and results to directed degree sequences.
On Broadcasting Time in the Model of Travelling Agents
Published
• View Publication
• BIB
Consider the following broadcasting process run on a connected graph $G=(V,E)$. Suppose that $k \ge 2$ agents start on vertices selected from $V$ uniformly and independently at random. One of the agents has a message that she wants to communicate to the other agents. All agents perform independent random walks on $G$, with the message being passed when an agent that knows the message meets an agent that does not know the message. The broadcasting time $ξ(G,k)$ is the time it takes to spread the message to all agents.
Our ultimate goal is to gain a better understanding of the broadcasting process run on real-world networks of roads of large cities that might shed some light on the behaviour of future autonomous and connected vehicles. Due to the complexity of road networks, such phenomena have to be studied using simulation in practical applications. In this paper, we study the process on the simplest scenario, i.e., the family of complete graphs, as in this case the problem is analytically tractable. We provide tight bounds for $ξ(K_n,k)$ that hold asymptotically almost surely for the whole range of the parameter $k$. These theoretical results reveal interesting relationships and, at the same time, are also helpful to understand and explain the behaviour we observe in more realistic networks.
The Lemmens-Seidel conjecture and forbidden subgraphs
Published
• View Publication
• BIB
In this paper we show that the conjecture of Lemmens and Seidel of 1973 for systems of equiangular lines with common angle $\arccos (1/5)$ is true. Our main tool is forbidden subgraphs for smallest Seidel eigenvalue $-5$.
The geometric distribution of Selmer groups of elliptic curves over function fields
Published
• View Publication
• BIB
Fix a positive integer $n$ and a finite field $\mathbb F_q$. We study the joint distribution of the rank of $E$, the $n$-Selmer group of $E$, and the $n$-torsion in the Tate-Shafarevich group of $E$ as $E$ varies over elliptic curves of fixed height $d \geq 2$ over $\mathbb F_q(t)$. We compute this joint distribution in the large $q$ limit. We also show that the "large $q$, then large height" limit of this distribution agrees with the one predicted by Bhargava-Kane-Lenstra-Poonen-Rains.
On the anti-Ramsey numbers of linear forests
Published
• View Publication
• BIB
For a fixed graph $F$, the $\textit{anti-Ramsey number}$, $AR(n,F)$, is the maximum number of colors in an edge-coloring of $K_n$ which does not contain a rainbow copy of $F$. In this paper, we determine the exact value of anti-Ramsey numbers of linear forests for sufficiently large $n$, and show the extremal edge-colored graphs. This answers a question of Fang, Győri, Lu and Xiao.
Absolute convergence of the free energy of the BEG model in the disordered region for all temperatures
Published
• View Publication
• BIB
We analyze the d-dimensional Blume-Emery-Griffiths model in the disordered region of parameters and we show that its free energy can be explicitly written in term of a series which is absolutely convergent at any temperature in an unbounded portion of this region. As a byproduct we also obtain an upper bound for the number of d-dimensional fixed polycubes of size n.
An upper bound of a generalized upper Hamiltonian number of a graph
In this article we study graphs with ordering of vertices, we define a generalization called a pseudoordering, and for a graph $H$ we define the $H$-Hamiltonian number of a graph $G$. We will show that this concept is a generalization of both the Hamiltonian number and the traceable number. We will prove equivalent characteristics of an isomorphism of graphs $G$ and $H$ using $H$-Hamiltonian number of $G$. Furthermore, we will show that for a fixed number of vertices, each path has a maximal upper $H$-Hamiltonian number, which is a generalization of the same claim for upper Hamiltonian numbers and upper traceable numbers. Finally we will show that for every connected graph $H$ only paths have maximal $H$-Hamiltonian number.
Irreducible projective representations of the alternating group which remain irreducible in characteristic 2
Published in Adv. Math. 347 (2020) 107340
• View Publication
• BIB
For any finite group G it is an interesting question to ask which ordinary irreducible representations of G remain irreducible in a given characteristic p. We answer this question for p=2 when G is the proper double cover of the alternating group. As a key ingredient in the proof, we prove a formula for the decomposition numbers in Rouquier blocks of double covers of symmetric groups, in terms of Schur P-functions.
NP-Completeness Results for Graph Burning on Geometric Graphs
Published
• View Publication
• BIB
Graph burning runs on discrete time steps. The aim is to burn all the vertices in a given graph in the least number of time steps. This number is known to be the burning number of the graph. The spread of social influence, an alarm, or a social contagion can be modeled using graph burning. The less the burning number, the faster the spread.
Optimal burning of general graphs is NP-Hard. There is a 3-approximation algorithm to burn general graphs where as better approximation factors are there for many sub classes. Here we study burning of grids; provide a lower bound for burning arbitrary grids and a 2-approximation algorithm for burning square grids. On the other hand, burning path forests, spider graphs, and trees with maximum degree three is already known to be NP-Complete. In this article we show burning problem to be NP-Complete on connected interval graphs, permutation graphs and several other geometric graph classes as corollaries.
Weight $q$-multiplicities for representations of the exceptional Lie algebra $\mathfrak{g}_2$
Published
• View Publication
• BIB
Given a simple Lie algebra $\mathfrak{g}$, Kostant's weight $q$-multiplicity formula is an alternating sum over the Weyl group whose terms involve the $q$-analog of Kostant's partition function. For $ξ$ (a weight of $\mathfrak{g}$), the $q$-analog of Kostant's partition function is a polynomial-valued function defined by $\wp_q(ξ)=\sum c_i q^i$ where $c_i$ is the number of ways $ξ$ can be written as a sum of $i$ positive roots of $\mathfrak{g}$. In this way, the evaluation of Kostant's weight $q$-multiplicity formula at $q = 1$ recovers the multiplicity of a weight in a highest weight representation of $\mathfrak{g}$. In this paper, we give closed formulas for computing weight $q$-multiplicities in a highest weight representation of the exceptional Lie algebra $\mathfrak{g}_2$.
Complexity of linear relaxations in integer programming
Published
• View Publication
• BIB
For a set $X$ of integer points in a polyhedron, the smallest number of facets of any polyhedron whose set of integer points coincides with $X$ is called the relaxation complexity $\mathrm{rc}(X)$. This parameter was introduced by Kaibel & Weltge (2015) and captures the complexity of linear descriptions of $X$ without using auxiliary variables.
Using tools from combinatorics, geometry of numbers, and quantifier elimination, we make progress on several open questions regarding $\mathrm{rc}(X)$ and its variant $\mathrm{rc}_{\mathbb{Q}}(X)$, restricting the descriptions of $X$ to rational polyhedra.
As our main results we show that $\mathrm{rc}(X) = \mathrm{rc}_{\mathbb{Q}}(X)$ when: (a) $X$ is at most four-dimensional, (b) $X$ represents every residue class in $(\mathbb{Z}/2\mathbb{Z})^d$, (c) the convex hull of $X$ contains an interior integer point, or (d) the lattice-width of $X$ is above a certain threshold. Additionally, $\mathrm{rc}(X)$ can be algorithmically computed when $X$ is at most three-dimensional, or $X$ satisfies one of the conditions (b), (c), or (d) above. Moreover, we obtain an improved lower bound on $\mathrm{rc}(X)$ in terms of the dimension of $X$.
Specializations of colored quasisymmetric functions and Euler-Mahonian identities
Published
• View Publication
• BIB
We propose a unified approach to prove general formulas for the joint distribution of an Eulerian and a Mahonian statistic over a set of colored permutations by specializing Poirier's colored quasisymmetric functions. We apply this method to derive formulas for Euler-Mahonian distributions on colored permutations, derangements and involutions. A number of known formulas are recovered as special cases of our results, including formulas of Biagioli-Zeng, Assaf, Haglund-Loehr-Remmel, Chow-Mansour, Biagioli-Caselli, Bagno-Biagioli, Faliharimalala-Zeng. Several new results are also obtained. For instance, a two-parameter flag major index on signed permutations is introduced and formulas for its distribution and its joint distribution with some Eulerian partners are proven.
Classification of vertex-transitive digraphs via automorphism group
Published
• View Publication
• BIB
In the mid-1990s, two groups of authors independently obtained classifications of vertex-transitive graphs whose order is a product of two distinct primes. In the intervening years it has become clear that there is additional information concerning these graphs that would be useful, as well as making explicit the extensions of these results to digraphs. Additionally, there are several small errors in some of the papers that were involved in this classification. The purpose of this paper is to fill in the missing information as well as correct all known errors.
Random bipartite posets and extremal problems
Previously, Erdős, Kierstead and Trotter investigated the dimension of random height~$2$ partially ordered sets. Their research was motivated primarily by two goals: (1)~analyzing the relative tightness of the Füredi-Kahn upper bounds on dimension in terms of maximum degree; and (2)~developing machinery for estimating the expected dimension of a random labeled poset on $n$ points. For these reasons, most of their effort was focused on the case $0<p\le 1/2$. While bounds were given for the range $1/2\le p <1$, the relative accuracy of the results in the original paper deteriorated as $p$ approaches~$1$.
Motivated by two extremal problems involving conditions that force a poset to contain a large standard example, we were compelled to revisit this subject, but now with primary emphasis on the range $1/2\le p<1$. Our sharpened analysis shows that as $p$ approaches~$1$, the expected value of dimension increases and then decreases, answering in the negative a question posed in the original paper. Along the way, we apply inequalities of Talagrand and Janson, establish connections with latin rectangles and the Euler product function, and make progress on both extremal problems.
Many cliques with few edges and bounded maximum degree
Published
• View Publication
• BIB
Generalized Turán problems have been a central topic of study in extremal combinatorics throughout the last few decades. One such problem, maximizing the number of cliques of a fixed order in a graph with fixed number of vertices and bounded maximum degree, was recently completely resolved by Chase. Kirsch and Radcliffe raised a natural variant of this problem where the number of edges is fixed instead of the number of vertices. In this paper, we determine the maximum number of cliques of a fixed order in a graph with fixed number of edges and bounded maximum degree, resolving a conjecture by Kirsch and Radcliffe. We also give a complete characterization of the extremal graphs.
Minimal Kinematics: An All $k$ and $n$ Peek into ${\rm Trop}^+{\rm G}(k,n)$
Published in SIGMA 17 (2021), 078, 22 pages
• View Publication
• BIB
In this note we present a formula for the Cachazo-Early-Guevara-Mizera (CEGM) generalized biadjoint amplitudes for all $k$ and $n$ on what we call the minimal kinematics. We prove that on the minimal kinematics, the scattering equations on the configuration space of $n$ points on $\mathbb{CP}^{k-1}$ has a unique solution, and that this solution is in the image of a Veronese embedding. The minimal kinematics is an all $k$ generalization of the one recently introduced by Early for $k=2$ and uses a choice of cyclic ordering. We conjecture an explicit formula for $m_n^{(k)}(\mathbb{I},\mathbb{I})$ which we have checked analytically through $n=10$ for all $k$. The answer is a simple rational function which has only simple poles; the poles have the combinatorial structure of the circulant graph ${\rm C}_n^{(1,2,\dots, k-2)}$. Generalized biadjoint amplitudes can also be evaluated using the positive tropical Grassmannian ${\rm Tr}^+{\rm G}(k,n)$ in terms of generalized planar Feynman diagrams. We find perfect agreement between both definitions for all cases where the latter is known in the literature. In particular, this gives the first strong consistency check on the $90\,608$ planar arrays for ${\rm Tr}^+{\rm G}(4,8)$ recently computed by Cachazo, Guevara, Umbert and Zhang. We also introduce another class of special kinematics called planar-basis kinematics which generalizes the one introduced by Cachazo, He and Yuan for $k=2$ and uses the planar basis recently introduced by Early for all $k$. Based on numerical computations through $n=8$ for all $k$, we conjecture that on the planar-basis kinematics $m_n^{(k)}(\mathbb{I},\mathbb{I})$ evaluates to the multidimensional Catalan numbers, suggesting the possibility of novel combinatorial interpretations. For $k=2$ these are the standard Catalan numbers.
A criterion for sharpness in tree enumeration and the asymptotic number of triangulations in Kuperberg's G2 spider
Published
• View Publication
• BIB
We prove a conjectured asymptotic formula of Kuperberg from the representation theory of the Lie algebra $G_2$. Given a non-negative sequence $(a_n)_{n\geq 1}$, the identity $B(x)=A(xB(x))$ for generating functions $A(x)=1+\sum_{n\geq 1} a_n x^n$ and $B(x)=1+\sum_{n\geq 1} b_n x^n$ determines the number $b_n$ of rooted planar trees with $n$ vertices such that each vertex having $i$ children can have one of $a_i$ distinct colors. Kuperberg proved in \cite{Kuperberg} that this identity holds in the case that $b_n=\dim \text{Inv}_{G_2} (V(λ_1)^{\otimes n})$, where $V(λ_1)$ is the 7-dimensional fundamental representation of $G_2$, and $a_n$ is the number of triangulations of a regular $n$-gon such that each internal vertex has degree at least $6$. He also observed that $\limsup_{n\to\infty}\sqrt[n]{a_n}\leq 7/B(1/7)$ and conjectured that this estimate is sharp, or in terms of power series, that the radius of convergence of $A(x)$ is exactly $B(1/7)/7$. We prove this conjecture by introducing a new criterion for sharpness in the analogous estimate for general power series $A(x)$ and $B(x)$ satisfying $B(x)=A(xB(x))$. Moreover, by way of singularity analysis performed on a recently-discovered generating function for $B(x)$, we significantly refine the conjecture by deriving an asymptotic formula for the sequence $(a_n)$.