Showing 20 papers (Total: 83502 papers, 48219 authors in database)
An Exceptional Convolutional Recurrence
A quadratic recurrence of Faltung type, arising via ancestral path lengths of random binary trees, turns out to be related to the Painlevé I differential equation.
Asymptotic expansion of regular and connected regular graphs
We derive the asymptotic expansion (asymptotics with an arbitrary number of error terms) of k-regular graphs by applying the Laplace method on a recent exact formula from Caizergues and de Panafieu (2023). We also deduce the asymptotic expansion of connected k-regular graphs using standard techniques for divergent series developed by Wright (1970) and Bender (1975), and quantify its closeness to the asymptotic expansion of k-regular graphs.
A combinatorial skewing formula for the Rise Delta Theorem
Published
• View Publication
• BIB
We prove that the symmetric function $Δ'_{e_{k-1}}e_n$ appearing in the Delta Conjecture can be obtained from the symmetric function in the Rational Shuffle Theorem by applying a Schur skewing operator. This generalizes a formula by the first and third authors for the Delta Conjecture at $t=0$, and follows from work of Blasiak, Haiman, Morse, Pun, and Seelinger.
Our main result is that we also provide a purely combinatorial proof of this skewing identity, giving a new proof of the Rise Delta Theorem from the Rational Shuffle Theorem.
Differential equations in Ward's calculus
In this paper we solve some differential equations in the $D_h$ derivative in Ward's sense. We use a special metric in the formal power series ring $\K[[x]]$. The solutions of that equations are giving in terms of fixed points for certain contractive maps in our metric framework. Our main tools are Banach's Fixed Point Theorem, Fundamental Calculus Theorem and Barrow's rule for Ward's calculus. Later, we return to the usual differential calculus via Sheffer's expansion of some kind of operators. Finally, we give some examples related, in some sense, to combinatorics.
Three-Dimensional Small Covers and Links
We study certain orientation-preserving involutions on three-dimensional small covers. We prove that the quotient space of an orientable three-dimensional small cover by such an involution in $\mathbb{Z}_2^3$ is homeomorphic to a connected sum of copies of $S^2 \times S^1$. If this quotient space is a 3-sphere, then the corresponding small cover is a two-fold branched covering of the 3-sphere along a link. We provide a description of this link in terms of the polytope and the characteristic function.
A closed formula for linear recurrences with constant coefficients
Given a linear recurrence of the form $c_n=a_1c_{n-1}+\cdots+a_j c_{n-j}$, it is well-known that $c_n=\sum_{r}p_r(n)r^n$, where the sum is taken over the set of characteristic roots and each $p_r(n)$ is some polynomial. We give a closed formula for the coefficients of each polynomial $p_r(n)$ for any linear recurrence of this form.
On 2-complexes embeddable in 4-space, and the excluded minors of their underlying graphs
We study the potentially undecidable problem of whether a given 2-dimensional CW complex can be embedded into $\mathbb{R}^4$. We provide operations that preserve embeddability, including joining and cloning of 2-cells, as well as $Δ\mathrm Y$-transformations. We also construct a CW complex for which $\mathrm YΔ$-transformations do not preserve embeddability.
We use these results to study 4-flat graphs, i.e., graphs that embed in $\mathbb{R}^4$ after attaching any number of 2-cells to their cycles; a graph class that naturally generalizes planarity and linklessness. We verify several conjectures of van der Holst; in particular, we prove that each of the 78 graphs of the Heawood family is an excluded minor for the class of 4-flat graphs.
On graphs with chromatic number and maximum degree both equal to nine
An equivalent version of the Borodin-Kostochka Conjecture, due to Cranston and Rabern, says that any graph with $χ= Δ= 9$ contains $K_3 \lor E_6$ as a subgraph. Here we prove several results in support of this conjecture, where vertex-criticality and forbidden substructure conditions get us either close or all the way to containing $K_3 \lor E_6$.
Eulerian Directed Multigraphs
For $Δ$ a finite connected nontrivial directed multigraph, we prove:
1. $Δ$ has a directed circuit using each directed edge exactly once if and only if both each pair of distinct vertices of $Δ$ occur in a common directed circuit and in-degree$({\bf x}) =$ out-degree$({\bf x})$ for every vertex ${\bf x}$.
2. $Δ$ contains a non-circuit directed path which uses every directed edge exactly once if and only if both every pair of distinct vertices of $Δ$ occur in a common directed circuit and there are vertices ${\bf b \not= e}$ such that in-degree$({\bf e}) -$ out-degree$({\bf e}) = 1 =$ out-degree$({\bf b}) -$ in-degree$({\bf b})$ but, for every vertex ${\bf x \notin \{b,e\}}$, it happens that in-degree$({\bf x}) =$ out-degree$({\bf x})$.
The distribution of the length of the longest path in random acyclic orientations of a complete bipartite graph
Published
• View Publication
• BIB
Randomly sampling an acyclic orientation on the complete bipartite graph $K_{n,k}$ with parts of size $n$ and $k$, we investigate the length of the longest path. We provide a probability generating function for the distribution of the longest path length, and we use Analytic Combinatorics to perform asymptotic analysis of the probability distribution in the case of equal part sizes $n = k$ tending toward infinity. We show that the distribution is asymptotically Gaussian, and we obtain precise asymptotics for the mean and variance. These results address a question asked by Peter J. Cameron.
Keywords: bipartite graph, directed graph, random graph, acyclic orientation, poly-Bernoulli numbers, lonesum matrices, generating function, analytic combinatorics, asymptotics.
The domination polynomial of powers of paths and cycles
A dominating set in a graph is a set of vertices with the property that every vertex in the graph is either in the set or adjacent to something in the set. The domination sequence of the graph is the sequence whose $k$th term is the number of dominating sets of size $k$.
Alikhani and Peng have conjectured that the domination sequence of every graph is unimodal. Beaton and Brown verified this conjecture for paths and cycles. Here we extend this to arbitrary powers of paths and cycles.
Shelling of links and star clusters in edgewise subdivision of a simplex
We show that the combinatorial types of the links of the vertices in the edgewise triangulation $T_{k,q}$ of a $(k-1)$-simplex are encoded by the partitions of $k$. Each of these complexes is isomorphic to a subcomplex of the barycentric subdivision of the boundary of a $(k-1)$-simplex, and the containment relations among them are described by a new poset on the set of partitions of $k$. We compute the $h$-vectors of these complexes and determine the number of vertices of $T_{k,q}$ whose links are the same (correspond to the same partition).
The combinatorial type of the link of an $(s-1)$-dimensional face of $T_{k,q}$ corresponds to a partition $(λ_1,λ_2,\ldots,λ_s)$ of $k$ into $s$ parts, together with additional partitions of each $λ_i$. We also enumerate the combinatorial types of all $m$-dimensional complexes that arise as the links in edgewise triangulations.
A new permutation statistic, \textit{the faithful initial part}, is introduced and used to describe the star cluster of a facet of $T_{k,q}$. By examining a specific shelling of this star cluster, we prove that the $i$-th entry of its $h$-vector
counts the number of permutations of $[k]$ with exactly $i$ descents,
taking into account the
faithful initial part as the multiplicity. Finally, we
describe a concrete shelling order for $T_{k,q}$, give a
combinatorial interpretation of its $h$-vector, and derive an explicit formula for it.
The nucleus of a $Q$-polynomial distance-regular graph
Published
• View Publication
• BIB
Let $Γ$ denote a $Q$-polynomial distance-regular graph with diameter $D\geq 1$. For a vertex $x$ of $Γ$ the corresponding subconstituent algebra $T=T(x)$ is generated by the adjacency matrix $A$ of $Γ$ and the dual adjacency matrix $A^*=A^*(x)$ of $Γ$ with respect to $x$. We introduce a $T$-module $\mathcal N = \mathcal N(x)$ called the nucleus of $Γ$ with respect to $x$. We describe $\mathcal N$ from various points of view. We show that all the irreducible $T$-submodules of $\mathcal N$ are thin. Under the assumption that $Γ$ is a nonbipartite dual polar graph, we give an explicit basis for $\mathcal N$ and the action of $A, A^*$ on this basis. The basis is in bijection with the set of elements for the projective geometry $L_D(q)$, where $GF(q)$ is the finite field used to define $Γ$.
Limit shapes and fluctuations for $(GL_n, GL_k)$ skew Howe duality
Published in Annales Henri Poincare, Volume 27, pages 3169-3228 (2026)
• View Publication
• BIB
We consider the probability measures on Young diagrams in the $n \times k$ rectangle obtained by piecewise-continuously differentiable specializations of Schur polynomials in the dual Cauchy identity. We use a free fermionic representation of the correlation kernel to study its asymptotic behavior and derive the uniform convergence to a limit shape of Young diagrams in the limit $n,k \to \infty$. More specifically, we show the bulk is the discrete sine kernel with boundary fluctuations generically given by the Tracy-Widom distribution with the Airy kernel. When our limit shape touches the boundary corner of the rectangle, the fluctuations with a second order correction are given by the discrete Hermite kernel, and we recover the discrete distribution of Gravner-Tracy-Widom (2001) [arXiv:math/0005133] restricting to the leading order. Finally, we demonstrate our limit shapes can have sections with no or full density of particles, where the Pearcey kernel appears when such a section is infinitely small.
Fixation of leadership in non-Markovian growth processes
Published
• View Publication
• BIB
Consider a model where $N$ equal agents possess `values', belonging to $\mathbb{N}_0$, that are subject to incremental growth over time. More precisely, the values of the agents are represented by $N$ independent, increasing $\mathbb{N}_0$ valued processes with random, independent waiting times between jumps. We show that the event that a single agent possesses the maximum value for all sufficiently large values of time (called `leadership') occurs with probability zero or one, and provide necessary and sufficient conditions for this to occur. Under mild conditions we also provide criteria for a single agent to become the unique agent of maximum value for all sufficiently large times, and also conditions for the emergence of a unique agent having value that tends to infinity before `explosion' occurs (i.e. conditions for `strict leadership' or `monopoly' to occur almost surely). The novelty of this model lies in allowing non-exponentially distributed waiting times between jumps in value. In the particular case when waiting times are mixtures of exponential distributions, we improve a well-established result on the `balls in bins' model with feedback, removing the requirement that the feedback function be bounded from below and also allowing random feedback functions. As part of the proofs we derive necessary and sufficient conditions for the distribution of a convergent series of independent random variables to have an atom on the real line, a result which we believe may be of interest in its own right.
Exponential bounds for monochromatic sums equal to products
Published
• View Publication
• BIB
We show that any $r$-coloring of $\{1,...,r^{r^{r^{3r}}}\}$ contains monochromatic sets $\{a,b,a+b,x,y,xy\}$ with $a+b=xy.$
The saturation number for unions of four cliques
Published
• View Publication
• BIB
A graph $G$ is $H$-saturated if $H$ is not a subgraph of $G$ but $H$ is a subgraph of $G + e$ for any edge $e$ in $\overline{G}$. The saturation number $sat(n,H)$ for a graph $H$ is the minimal number of edges in any $H$-saturated graph of order $n$. The $sat(n, K_{p_1} \cup K_{p_2} \cup K_{p_3})$ with $p_3 \ge p_1 + p_2$ was given in [Discrete Math. 347 (2024) 113868]. In this paper, $sat(n,K_{p_1} \cup K_{p_2} \cup K_{p_3} \cup K_{p_4})$ with $p_{i+1} - p_i \ge p_1$ for $2 \le i\le 3$ and $4\le p_1\le p_2$ is determined.
A note on large torsion in $\mathbb{Q}$-acyclic complexes
New upper bounds on the size of the torsion group of a $\mathbb{Q}$-acyclic simplicial complex are introduced which depend only on the vertex degree sequence of the complex and its dimension.
Counting simplicial pairs in hypergraphs
Published
• View Publication
• BIB
We present two ways to measure the simplicial nature of a hypergraph: the simplicial ratio and the simplicial matrix. We show that the simplicial ratio captures the frequency, as well as the rarity, of simplicial interactions in a hypergraph while the simplicial matrix provides more fine-grained details. We then compute the simplicial ratio, as well as the simplicial matrix, for 10 real-world hypergraphs and, from the data collected, hypothesize that simplicial interactions are more and more deliberate as edge size increases. We then present a new Chung-Lu model that includes a parameter controlling (in expectation) the frequency of simplicial interactions. We use this new model, as well as the real-world hypergraphs, to show that multiple stochastic processes exhibit different behaviour when performed on simplicial hypergraphs vs. non-simplicial hypergraphs.
Soft planes and groups
Published
• View Publication
• BIB
Finite projective planes are constructed using groups that satisfy simple-looking conditions.
The resulting projective planes include many known planes and possibly new ones, and are precisely those having a collineation group fixing a flag $(\infty,L_ \infty )$ and transitive on the flags $ (w,W )$ with $w\notin L_ \infty $ and $\infty\notin W$.