Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Inverse Turán numbers
For given graphs $G$ and $F$, the Turán number $ex(G,F)$ is defined to be the maximum number of edges in an $F$-free subgraph of $G$. Foucaud, Krivelevich and Perarnau and later independently Briggs and Cox introduced a dual version of this problem wherein for a given number $k$, one maximizes the number of edges in a host graph $G$ for which $ex(G,H) < k$.
Addressing a problem of Briggs and Cox, we determine the asymptotic value of the inverse Turán number of the paths of length $4$ and $5$ and provide an improved lower bound for all paths of even length. Moreover, we obtain bounds on the inverse Turán number of even cycles giving improved bounds on the leading coefficient in the case of $C_4$. Finally, we give multiple conjectures concerning the asymptotic value of the inverse Turán number of $C_4$ and $P_{\ell}$, suggesting that in the latter problem the asymptotic behavior depends heavily on the parity of $\ell$.
Angle sums of simplicial polytopes
The interior angle vector ($\widehatα$-vector) of a polytope is a metric analogue of the $f$-vector in which faces are weighted by their solid angle. For simplicial polytopes, Dehn-Sommerville-type relations on the $\widehatα$-vector were introduced by Sommerville (1927) and Höhn (1953). Camenga (2006) defined the $\widehatγ$-vector, a linear transformation analogous to the $h$-vector and conjectured it to be non-negative. Using tools from geometric and algebraic combinatorics, we prove this conjecture and show that the $\widehatγ$-vector increases in the first half and is flawless. In contrast to the $h$-vector, we construct a six-dimensional polytope with non-unimodal $\widehatγ$-vector. More generally, all result remain valid when solid angles are replaced by simple and non-negative cone valuations.
Moduli of hybrid curves I: Variations of canonical measures
Published
• View Publication
• BIB
The present paper is the first in a series devoted to the study of asymptotic geometry of Riemann surfaces and their moduli spaces.
We introduce the moduli space of hybrid curves as a new compactification of the moduli space of curves, refining the one obtained by Deligne and Mumford. This is the moduli space for multiscale geometric objects which mix complex and higher rank tropical and non-Archimedean geometries, reflecting both discrete and continuous features.
We define canonical measures on hybrid curves which combine and generalize Arakelov-Bergman measures on Riemann surfaces and Zhang measures on metric graphs.
We then show that the universal family of canonically measured hybrid curves over this moduli space varies continuously. This provides a precise link between the non-Archimedean Zhang measure and variations of Arakelov-Bergman measures in families of Riemann surfaces, answering a question which has been open since the pioneering work of Zhang on admissible pairing in the nineties.
Alon -- Tarsi numbers of direct products
Published in Moscow J. Comb. Number Th. 10 (2021) 271-279
• View Publication
• BIB
We provide a general framework on the coefficients of the graph polynomials of graphs which are Cartesian products. As a corollary, we prove that if $G=(V,E)$ is a graph with degrees of vertices $2d(v), v\in V$, and the graph polynomial $\prod_{(i,j)\in E} (x_j-x_i)$ contains an "almost central" monomial (that means a monomial $\prod_v x_v^{c_v}$, where $|c_v-d(v)|\leqslant 1$ for all $v\in V$), then the Cartesian product $G\square C_{2n}$ is $(d(\cdot)+2)$-choosable.
On sampling symmetric Gibbs distributions on sparse random graphs and hypergraphs
We introduce efficient algorithms for approximate sampling from symmetric Gibbs distributions on the sparse random (hyper)graph. The examples we consider include (but are not restricted to) important distributions on spin systems and spin-glasses such as the q state antiferromagnetic Potts model for $q\geq 2$, including the colourings, the uniform distributions over the Not-All-Equal solutions of random k-CNF formulas. Finally, we present an algorithm for sampling from the spin-glass distribution called the k-spin model. To our knowledge this is the first, rigorously analysed, efficient algorithm for spin-glasses which operates in a non trivial range of the parameters.
Our approach builds on the one that was introduced in [Efthymiou: SODA 2012]. For a symmetric Gibbs distribution $μ$ on a random (hyper)graph whose parameters are within an certain range, our algorithm has the following properties: with probability $1-o(1)$ over the input instances, it generates a configuration which is distributed within total variation distance $n^{-Ω(1)}$ from $μ$. The time complexity is $O((n\log n)^2)$.
The algorithm requires a range of the parameters which, for the graph case, coincide with the tree-uniqueness region, parametrised w.r.t. the expected degree d. For the hypergraph case, where uniqueness is less restrictive, we go beyond uniqueness. Our approach utilises in a novel way the notion of contiguity between Gibbs distributions and the so-called teacher-student model.
On a combinatorial generation problem of Knuth
Published
• View Publication
• BIB
The well-known middle levels conjecture asserts that for every integer $n\geq 1$, all binary strings of length $2(n+1)$ with exactly $n+1$ many 0s and 1s can be ordered cyclically so that any two consecutive strings differ in swapping the first bit with a complementary bit at some later position. In his book `The Art of Computer Programming Vol. 4A' Knuth raised a stronger form of this conjecture (Problem 56 in Chapter 7, Section 2.1.3), which requires that the sequence of positions with which the first bit is swapped in each step of such an ordering has $2n+1$ blocks of the same length, and each block is obtained by adding $s=1$ (modulo $2n+1$) to the previous block. In this work, we prove Knuth's conjecture in a more general form, allowing for arbitrary shifts $s\geq 1$ that are coprime to $2n+1$. We also present an algorithm to compute this ordering, generating each new bitstring in $\mathcal{O}(n)$ time, using $\mathcal{O}(n)$ memory in total.
Cubic graphs induced by bridge trisections
Published in Math. Res. Lett. 30 (2023), no. 4, 1207-1231
• View Publication
• BIB
Every embedded surface $\mathcal{K}$ in the 4-sphere admits a bridge trisection, a decomposition of $(S^4,\mathcal{K})$ into three simple pieces. In this case, the surface $\mathcal{K}$ is determined by an embedded 1-complex, called the $\textit{1-skeleton}$ of the bridge trisection. As an abstract graph, the 1-skeleton is a cubic graph $Γ$ that inherits a natural Tait coloring, a 3-coloring of the edge set of $Γ$ such that each vertex is incident to edges of all three colors. In this paper, we reverse this association: We prove that every Tait-colored cubic graph is isomorphic to the 1-skeleton of a bridge trisection corresponding to an unknotted surface. When the surface is nonorientable, we show that such an embedding exists for every possible normal Euler number. As a corollary, every tri-plane diagram for a knotted surface can be converted to a tri-plane diagram for an unknotted surface via crossing changes and interior Reidemeister moves.
On difference sets with small $λ$
Published
• View Publication
• BIB
In a 1989 paper \cite{arasu2}, Arasu used an observation about multipliers to show that no $(352,27,2)$ difference set exists in any abelian group. The proof is quite short and required no computer assistance. We show that it may be applied to a wide range of parameters $(v,k,λ)$, particularly for small values of $λ$. With it a computer search was able to show that the Prime Power Conjecture is true up to order $2 \cdot 10^{10}$, extend Hughes and Dickey's computations for $λ=2$ and $k \leq 5000$ up to $10^{10}$, and show nonexistence for many other parameters.
Kemeny's constant and the Kirchhoff index for the cluster of highly symmetric graphs
Published
• View Publication
• BIB
We find closed form formulas for the Kemeny's constant and the Kirchhoff index for the cluster $G_1\{G_2\}$ of two highly symmetric graphs $G_1$, $G_2$, in terms of the parameters of the original graphs. We also discuss some necessary conditions for a graph to be highly symmetric.
Kemeny's constant and Kirchhoffian indices for a family of non-regular graphs
Published
• View Publication
• BIB
We find closed form formulas for Kemeny's constant and its relationship with two Kirchhoffian indices for some composite graphs that use as basic building block a graph endowed with one of several symmetry properties.
The type $B$ permutohedron and the poset of intervals as a Tchebyshev transform
Published
• View Publication
• BIB
We show that the order complex of intervals of a poset, ordered by inclusion, is a Tchebyshev triangulation of the order complex of the original poset. Besides studying the properties of this transformation, we show that the dual of the type $B$ permutohedron is combinatorially equivalent to the suspension of the order complex of the poset of intervals of a Boolean algebra (with the minimum and maximum elements removed).
Howe duality of the symmetric group and a multiset partition algebra
Published
• View Publication
• BIB
We introduce the multiset partition algebra, ${\rm M\!P}_{r,k}(x)$, that has bases elements indexed by multiset partitions, where $x$ is an indeterminate and $r$ and $k$ are non-negative integers. This algebra can be realized as a diagram algebra that generalizes the partition algebra. When $x$ is an integer greater or equal to $2r$, we show that ${\rm M\!P}_{r,k}(x)$ is isomorphic to a centralizer algebra of the symmetric group, $S_n$, acting on the polynomial ring on the variables $x_{ij}$, $1\leq i \leq n$ and $1\leq j\leq k$. We describe the representations of ${\rm M\!P}_{r,k}(x)$, branching rule and restriction of its representations in the case that $x$ is an integer greater or equal to $2r$.
Interval posets for permutations
Published
• View Publication
• BIB
The interval poset of a permutation catalogues the intervals that appear in its one-line notation, according to set inclusion. We study this poset, describing its structural, characterizing, and enumerative properties.
No almost simple sporadic group acts primitively on the points of a generalised quadrangle
Published
• View Publication
• BIB
A generalised quadrangle is a point-line incidence geometry G such that: (i) any two points lie on at most one line, and (ii) given a line L and a point p not incident with L, there is a unique point on L collinear with p. They are a specific case of the generalised polygons introduced by Tits, and these structures and their automorphism groups are of some importance in finite geometry. An integral part of understanding the automorphism groups of finite generalised quadrangles is knowing which groups can act primitively on their points, and in particular, which almost simple groups arise as automorphism groups. We show that no almost simple sporadic group can act primitively on the points of a finite (thick) generalised quadrangle. We also present two new ideas contributing towards analysing point-primitive groups acting on generalised quadrangles. The first is the outline and implementation of an algorithm for determining whether a given group can act primitively on the points of some generalised quadrangle. The second is the discussion of a conjecture resulting from observations made in the course of this work: any group acting primitively on the points of a generalised quadrangle must either act transitively on lines or have exactly two line-orbits, each containing half of the lines.
An action of the cactus group of shifted tableau crystals
Published
• View Publication
• BIB
Recently, Gillespie, Levinson and Purbhoo introduced a crystal-like structure for shifted tableaux, called the shifted tableau crystal. We introduce, on this structure, a shifted version of the crystal reflection operators, which coincide with the restrictions of the shifted Schützenberger involution to any primed interval of two adjacent letters. Unlike type $A$ Young tableau crystals, these operators do not realize an action of the symmetric group on the shifted tableau crystal since the braid relations do not need to hold. Following a similar approach as Halacheva, we exhibit a natural internal action of the cactus group on this crystal, realized by the restrictions of the shifted Schützenberger involution to all primed intervals of the underlying crystal alphabet, containing, in particular, the aforesaid action of the shifted crystal reflection operator analogues.
Macdonald polynomials and extended Gelfand-Tsetlin graph
Published in Selecta Mathematica, New Ser. 27, 41 (2021)
• View Publication
• BIB
Using Okounkov's $q$-integral representation of Macdonald polynomials we construct an infinite sequence $Ω_1,Ω_2,Ω_3,\dots$ of countable sets linked by transition probabilities from $Ω_N$ to $Ω_{N-1}$ for each $N=2,3,\dots$. The elements of the sets $Ω_N$ are the vertices of the extended Gelfand-Tsetlin graph, and the transition probabilities depend on the two Macdonald parameters, $q$ and $t$. These data determine a family of Markov chains, and the main result is the description of their entrance boundaries. This work has its origin in asymptotic representation theory. In the subsequent paper, the main result is applied to large-$N$ limit transition in $(q,t)$-deformed $N$-particle beta-ensembles.
Macdonald-level extension of beta ensembles and large-N limit transition
Published in Communications in Mathematical Physics 385, 595-631 (2021)
• View Publication
• BIB
We introduce and study a family of $(q,t)$-deformed discrete $N$-particle beta ensembles, where $q$ and $t$ are the parameters of Macdonald polynomials. The main result is the existence of a large-$N$ limit transition leading to random point processes with infinitely many particles.
The smallest singular value of random combinatorial matrices
Let $Q_n$ be a random $n\times n$ matrix with entries in $\{0,1\}$ whose rows are independent vectors of exactly $n/2$ zero components. We show that the smallest singular value $s_n(Q_n)$ of $Q_n$ satisfies \[ \mathbb{P}\Big\{s_n(Q_n)\le \frac{\varepsilon}{\sqrt{n}}\Big\} \le C\varepsilon + 2 e^{-cn} \quad \forall \varepsilon \ge 0, \] which is optimal up to the constants $C,c>0$. This improves on earlier results of Ferber, Jain, Luh and Samotij, as well as Jain. In particular, for $\varepsilon=0$, we obtain the first exponential bound in dimension for the singularity probability \[ \mathbb{P}\big\{Q_n \,\,\text{is singular}\big\} \le 2 e^{-cn}.\] To overcome the lack of independence between entries of $Q_n$, we introduce an arithmetic-combinatorial invariant of a pair of vectors, which we call a Combinatorial Least Common Denominator (CLCD). We prove a small ball probability inequality for the combinatorial statistic $\sum_{i=1}^{n}a_iv_{σ(i)}$ in terms of the CLCD of the pair $(a,v)$, where $σ$ is a uniformly random permutation of $\{1,2,\ldots,n\}$ and $a:=(a_1,\ldots,a_n), v:=(v_1,\ldots,v_n)$ are real vectors. This inequality allows us to derive strong anti-concentration properties for the distance between a fixed row of $Q_n$ and the linear space spanned by the remaining rows, and prove the main result.
Perfectly Sampling $k\geq (8/3 +o(1))Δ$-Colorings in Graphs
Published
• View Publication
• BIB
We present a randomized algorithm which takes as input an undirected graph $G$ on $n$ vertices with maximum degree $Δ$, and a number of colors $k \geq (8/3 + o_Δ(1))Δ$, and returns -- in expected time $\tilde{O}(nΔ^{2}\log{k})$ -- a proper $k$-coloring of $G$ distributed perfectly uniformly on the set of all proper $k$-colorings of $G$. Notably, our sampler breaks the barrier at $k = 3Δ$ encountered in recent work of Bhandari and Chakraborty [STOC 2020]. We also sketch how to modify our methods to relax the restriction on $k$ to $k \geq (8/3 - ε_0)Δ$ for an absolute constant $ε_0 > 0$.
As in the work of Bhandari and Chakraborty, and the pioneering work of Huber [STOC 1998], our sampler is based on Coupling from the Past [Propp&Wilson, Random Struct. Algorithms, 1995] and the bounding chain method [Huber, STOC 1998; Häggström&Nelander, Scand. J. Statist., 1999]. Our innovations include a novel bounding chain routine inspired by Jerrum's analysis of the Glauber dynamics [Random Struct. Algorithms, 1995], as well as a preconditioning routine for bounding chains which uses the algorithmic Lovász Local Lemma [Moser&Tardos, J.ACM, 2010].
Symplectic PBW Degenerate Flag Varieties; PBW Tableaux and Defining Equations
Published in Transformation Groups (2022)
• View Publication
• BIB
We define a set of PBW-semistandard tableaux that is in a weight preserving bijection with the set of monomials corresponding to integral points in the Feigin-Fourier-Littelmann-Vinberg polytope for highest weight modules of the symplectic Lie algebra. We then show that these tableaux parametrize bases of the homogeneous coordinate rings of the complete symplectic original and PBW degenerate flag varieties. From this construction, we provide explicit degenerate relations that generate the defining ideal of the PBW degenerate variety. These relations consist of type A degenerate Plücker relations and a set of degenerate linear relations that we obtain from De Concini's linear relations.