Showing 20 papers (Total: 82505 papers, 47699 authors in database)
An infinite family of linklessly embeddable Tutte-4-connected graphs
Published
• View Publication
• BIB
For each $n\ge 14$, we provide an example of a linklessly embeddable, Tutte-4-connected graph of order $n$.
The $(k,l)$-Euler theorem and the combinatorics of $(k,l)$-sequences
Published
• View Publication
• BIB
In 1997, Bousquet-Mélou and Eriksson stated a broad generalization of Euler's distinct-odd partition theorem, namely the $(k,l)$-Euler theorem. Their identity involved the $(k,l)$-lecture-hall partitions, which, unlike usual difference conditions of partitions in Rogers-Ramanujan type identities, satisfy some ratio constraints. In a 2008 paper, in response to a question suggested by Richard Stanley, Savage and Yee provided a simple bijection for the $l$-lecture-hall partitions (the case $k=l$), whose specialization in $l=2$ corresponds to Sylvester's bijection. Subsequently, as an open question, a generalization of their bijection was suggested for the case $k,l\geq 2$. In the spirit of Savage and Yee's work, we provide and prove in this paper slight variations of the suggested bijection, not only for the case $k,l\geq 2$ but also for the cases $(k,1)$ and $(1,k)$ with $k\geq 4$. Furthermore, we show that our bijections equal the recursive bijections given by Bousquet-Mélou and Eriksson in their recursive proof of the $(k,l)$-lecture hall and finally provide the analogous recursive bijection for the $(k,l)$-Euler theorem.
Partial $γ$-Positivity for Quasi-Stirling Permutations of Multisets
Published
• View Publication
• BIB
We prove that the enumerative polynomials of quasi-Stirling permutations of multisets with respect to the statistics of plateaux, descents and ascents are partial $γ$-positive, thereby confirming a recent conjecture posed by Lin, Ma and Zhang. This is accomplished by proving the partial $γ$-positivity of the enumerative polynomials of certain ordered labeled trees, which are in bijection with quasi-Stirling permutations of multisets. As an application, we provide an alternative proof of the partial $γ$-positivity of the enumerative polynomials on Stirling permutations of multisets.
Cyclic and Linear Graph Partitions and Normal Ordering
The Stirling number of a simple graph is the number of partitions of its vertex set into a specific number of non-empty independent sets. In 2015, Engbers et al. showed that the coefficients in the normal ordering of a word $w$ in the alphabet $\{x,D\}$ subject to the relation $Dx=xD+1$ are equal to the Stirling number of certain graphs constructed from $w$. In this paper, we introduce graphical versions of the Stirling numbers of the first kind and the Lah numbers and show how they occur as coefficients in other normal ordering settings. Identities involving their $q$-analogues are also obtained.
Degree sequences of sufficiently dense random uniform hypergraphs
Published
• View Publication
• BIB
We find an asymptotic enumeration formula for the number of simple $r$-uniform hypergraphs with a given degree sequence, when the number of edges is sufficiently large. The formula is given in terms of the solution of a system of equations. We give sufficient conditions on the degree sequence which guarantee existence of a solution to this system. Furthermore, we solve the system and give an explicit asymptotic formula when the degree sequence is close to regular. This allows us to establish several properties of the degree sequence of a random $r$-uniform hypergraph with a given number of edges. More specifically, we compare the degree sequence of a random $r$-uniform hypergraph with a given number edges to certain models involving sequences of binomial or hypergeometric random variables conditioned on their sum.
Intersecting principal Bruhat ideals and grades of simple modules
Published
• View Publication
• BIB
We prove that the grades of simple modules indexed by boolean permutations, over the incidence algebra of the symmetric group with respect to the Bruhat order, are given by Lusztig's a-function. Our arguments are combinatorial, and include a description of the intersection of two principal order ideals when at least one permutation is boolean. An important object in our work is a reduced word written as minimally many runs of consecutive integers, and one step of our argument shows that this minimal quantity is equal to the length of the second row in the permutation's shape under the Robinson-Schensted correspondence. We also prove that a simple module over the above-mentioned incidence algebra is perfect if and only if its index is the longest element of a parabolic subgroup.
Ehrhart polynomials of rank two matroids
Published in Adv. in Appl. Math. 141 (2022) 102410
• View Publication
• BIB
Over a decade ago De Loera, Haws and Köppe conjectured that Ehrhart polynomials of matroid polytopes have only positive coefficients and that the coefficients of the corresponding $h^*$-polynomials form a unimodal sequence. The first of these intensively studied conjectures has recently been disproved by the first author who gave counterexamples in all ranks greater or equal to three. In this article we complete the picture by showing that Ehrhart polynomials of matroids of lower rank have indeed only positive coefficients. Moreover, we show that they are coefficient-wise bounded by the Ehrhart polynomials of minimal and uniform matroids. We furthermore address the second conjecture by proving that $h^*$-polynomials of matroid polytopes of sparse paving matroids of rank two are real-rooted and therefore have log-concave and unimodal coefficients. In particular, this shows that the $h^*$-polynomial of the second hypersimplex is real-rooted thereby strengthening a result of De Loera, Haws and Köppe.
Noncommutative Symmetric Functions and Lagrange Inversion II: Noncrossing partitions and the Farahat-Higman algebra
Published
• View Publication
• BIB
We introduce a new pair of mutually dual bases of noncommutative symmetric functions and quasi-symmetric functions, and use it to derive generalizations of several results on the reduced incidence algebra of the lattice of noncrossing partitions. As a consequence, we obtain a quasi-symmetric version of the Farahat-Higman algebra.
Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms
Published
• View Publication
• BIB
Structural properties of large random maps and lambda-terms may be gleaned by studying the limit distributions of various parameters of interest. In our work we focus on restricted classes of maps and their counterparts in the lambda-calculus, building on recent bijective connections between these two domains. In such cases, parameters in maps naturally correspond to parameters in lambda-terms and vice versa. By an interplay between lambda-terms and maps, we obtain various combinatorial specifications which allow us to access the distributions of pairs of related parameters such as: the number of bridges in rooted trivalent maps and of subterms in closed linear lambda-terms, the number of vertices of degree 1 in (1,3)-valent maps and of free variables in open linear lambda-terms etc. To analyse asymptotically these distributions, we introduce appropriate tools: a moment-pumping schema for differential equations and a composition schema inspired by Bender's theorem.
The distance-k dimension of graphs
The metric dimension, $\dim(G)$, of a graph $G$ is a graph parameter motivated by robot navigation that has been studied extensively. Let $G$ be a graph with vertex set $V(G)$, and let $d(x,y)$ denote the length of a shortest $x-y$ path in $G$. For a positive integer $k$ and for distinct $x,y \in V(G)$, let $d_k(x,y)=\min\{d(x,y), k+1\}$ and let $R_k\{x,y\}=\{z\in V(G): d_k(x,z) \neq d_k(y,z)\}$. A subset $S\subseteq V(G)$ is a distance-$k$ resolving set of $G$ if $|S \cap R_k\{x,y\}| \ge 1$ for any pair of distinct $x,y \in V(G)$, and the distance-$k$ dimension, $\dim_k(G)$, of $G$ is the minimum cardinality over all distance-$k$ resolving sets of $G$. In this paper, we study the distance-$k$ dimension of graphs. We obtain some general bounds for distance-$k$ dimension. For all $k \ge 1$, we characterize connected graphs $G$ of order $n$ with $\dim_k(G) \ge n-2$. We determine $\dim_k(G)$ when $G$ is a cycle or a path. We also examine the effect of vertex or edge deletion on the distance-$k$ dimension of graphs.
Markov Equivalence of Max-Linear Bayesian Networks
Max-linear Bayesian networks have emerged as highly applicable models for causal inference via extreme value data. However, conditional independence (CI) for max-linear Bayesian networks behaves differently than for classical Gaussian Bayesian networks. We establish the parallel between the two theories via tropicalization, and establish the surprising result that the Markov equivalence classes for max-linear Bayesian networks coincide with the ones obtained by regular CI. Our paper opens up many problems at the intersection of extreme value statistics, causal inference and tropical geometry.
Generalised ordinary vs fully simple duality for $n$-point functions and a proof of the Borot--Garcia-Failde conjecture
Published in Comm. Math. Phys. 402 (2023), no. 1, 665-694
• View Publication
• BIB
We study a duality for the $n$-point functions in VEV formalism that we call the ordinary vs fully simple duality. It provides an ultimate generalisation and a proper context for the duality between maps and fully simple maps observed by Borot and Garcia-Failde. Our approach allows to transfer the algebraicity properties between the systems of $n$-point functions related by this duality, and gives direct tools for the analysis of singularities. As an application, we give a proof of a recent conjecture of Borot and Garcia-Failde on topological recursion for fully simple maps.
Extremal rays of the equivariant Littlewood-Richardson cone
Published
• View Publication
• BIB
We give an inductive procedure for finding the extremal rays of the equivariant Littlewood-Richardson cone, which is closely related to the solution space to S. Friedland's majorized Hermitian eigenvalue problem. In so doing, we solve the "rational version" of a problem posed by C. Robichaux, H. Yadav, and A. Yong. Our procedure is a natural extension of P. Belkale's algorithm for the classical Littlewood-Richardson cone. The main tools for accommodating the equivariant setting are certain foundational results of D. Anderson, E. Richmond, and A. Yong. We also study two families of special rays of the cone and make observations about the Hilbert basis of the associated lattice semigroup.
Antimagic orientation of subdivided caterpillars
Published
• View Publication
• BIB
Let $m\ge 1$ be an integer and $G$ be a graph with $m$ edges. We say that $G$ has an antimagic orientation if $G$ has an orientation $D$ and a bijection $τ:A(D)\rightarrow \{1,2,\ldots,m\}$ such that no two vertices in $D$ have the same vertex-sum under $τ$, where the vertex-sum of a vertex $v$ in $D$ under $τ$ is the sum of labels of all arcs entering $v$ minus the sum of labels of all arcs leaving $v$. Hefetz, Mütze and Schwartz [J. Graph Theory, 64: 219-232, 2010] conjectured that every connected graph admits an antimagic orientation. The conjecture was confirmed for certain classes of graphs such as regular graphs, graphs with minimum degree at least 33, bipartite graphs with no vertex of degree zero or two, and trees including caterpillars and complete $k$-ary trees. We prove that every subdivided caterpillar admits an antimagic orientation, where a subdivided caterpillar is a subdivision of a caterpillar $T$ such that the edges of $T$ that are not on the central path of $T$ are subdivided the same number of times.
Fibered simple knots
Published
• View Publication
• BIB
We prove that a simple knot in the lens space $L(p,q)$ fibers if and only if its order in homology does not divide any remainder occurring in the Euclidean algorithm applied to the pair $(p,q)$. One corollary is that if $p=m^2$ is a perfect square, then any simple knot of order $m$ fibers, answering a question of Cebanu. More generally, we compute the leading coefficient of the Alexander polynomial of a simple knot, and we describe how to construct a minimum complexity Seifert surface for one. The methods are direct, combinatorial, and geometric.
Identifiability of linear compartmental tree models and a general formula for input-output equations
Published
• View Publication
• BIB
A foundational question in the theory of linear compartmental models is how to assess whether a model is structurally identifiable -- that is, whether parameter values can be inferred from noiseless data -- directly from the combinatorics of the model. Our main result completely answers this question for models (with one input and one output) in which the underlying graph is a bidirectional tree; moreover, identifiability of such models can be verified visually}. Models of this structure include two families of models often appearing in biological applications: catenary and mammillary models. Our analysis of such models is enabled by two supporting results, which are significant in their own right. One result gives the first general formula for the coefficients of input-output equations (certain equations that can be used to determine identifiability) that allows for input and output to be in distinct compartments}. In another supporting result, we prove that identifiability is preserved when a model is enlarged and altered in specific ways involving adding a new compartment with a bidirected edge to an existing compartment.
Extensions of the Kahn--Saks inequality for posets of width two
Published in Comb. Theory 3 (2023), P1.8
• View Publication
• BIB
The Kahn--Saks inequality is a classical result on the number of linear extensions of finite posets. We give a new proof of this inequality for posets of width two using explicit injections of lattice paths. As a consequence we obtain a $q$-analogue, a multivariate generalization and an equality condition in this case. We also discuss the equality conditions of the Kahn--Saks inequality for general posets and prove several implications between conditions conjectured to be equivalent.
Planarity in Generalized Scattering Amplitudes: PK Polytope, Generalized Root Systems and Worldsheet Associahedra
In this paper we study the role of planarity in generalized scattering amplitudes, through several closely interacting structures in combinatorics, algebraic and tropical geometry.
The generalized biadjoint scalar amplitude, introduced recently by Cachazo-Early-Guevara-Mizera (CEGM), is a rational function of homogeneous degree $-(k-1)(n-k-1)$ in $\binom{n}{k}-n$ independent variables; its poles can be constructed directly from the rays of the positive tropical Grassmannian.
We introduce for each pair of integers $(k,n)$ with $2\le k\le n-2$ a system of generalized positive roots which arises as a specialization of the planar basis of kinematic invariants. We prove that the higher root polytope $\mathcal{R}^{(k)}_{n-k}$ has volume the k-dimensional Catalan number $C^{(k)}_{n-k}$, via a flag unimodular triangulation into simplices, in bijection with noncrossing collections of $k$-element subsets. We also give a bijection between certain positroidal subdivisions, called tripods, of the hypersimplex $Δ_{3,n}$ and noncrossing pairs of 3-element subsets that are not weakly separated.
We show that the facets of the Planar Kinematics (PK) polytope, introduced recently by Cachazo and the author, are exactly the $\binom{n}{k}-n$ generalized positive roots. We show that the PK specialization of the generalized biadjoint amplitude evaluates to $C^{(k)}_{n-k}$.
Looking forward, we give defining equations and conjecture explicit solutions using $(\mathbb{CP}^{n-k-1})^{\times (k-1)}$ via a notion of compatibility degree for noncrossing collections, for a two parameter family of generalized worldsheet associahedra $\mathcal{W}^+_{k,n}$. These specialize when $k=2$ to a certain dihedrally invariant partial compactification of the configuration space $M_{0,n}$ of $n$ distinct points in $\mathbb{CP}^{1}$. Many detailed examples are given throughout to motivate future work.
Fast Construction of 4-Additive Spanners
A $k$-additive spanner of a graph is a subgraph that preserves the distance between any two nodes up to a total additive error of $+k$. Efficient algorithms have been devised for constructing 2 [Aingworth et al. SIAM '99], 6 [Baswana et al. ACM '10, Woodruff ICALP '13], and 8-additive spanners [Knudsen '17], but no efficient algorithms for 4-additive spanners have yet been discovered. In this paper we present a modification of Chechik's 4-additive spanner construction [Chechik SODA '13] that produces a 4-additive spanner on $\Oish(n^{7/5})$ edges, with an improved runtime of $\Oish(mn^{3/5})$ from $O(mn)$. We also discuss generalizations to the setting of weighted additive spanners.
On the irreducible characters of Suzuki p-groups
Published
• View Publication
• BIB
In this paper, we completely determine the irreducible characters of the four families of Suzuki $p$-groups.