Showing 20 papers (Total: 83722 papers, 48319 authors in database)
Lattice paths and branched continued fractions. III. Generalizations of the Laguerre, rook and Lah polynomials
We introduce a triangular array $\widehat{\sf L}^{(α)}$ of 5-variable homogeneous polynomials that enumerate Laguerre digraphs (digraphs in which each vertex has out-degree 0 or 1 and in-degree 0 or 1) with separate weights for peaks, valleys, double ascents, double descents, and loops. These polynomials generalize the classical Laguerre polynomials as well as the rook and Lah polynomials. We show that this triangular array is totally positive and that the sequence of its row-generating polynomials is Hankel-totally positive, under suitable restrictions on the values given to the indeterminates. This implies, in particular, the coefficientwise Hankel-total positivity of the monic unsigned univariate Laguerre polyomials. Our proof uses the method of production matrices as applied to exponential Riordan arrays. Our main technical lemma concerns the total positivity of a large class of quadridiagonal production matrices; it generalizes the tridiagonal comparison theorem. In some cases these polynomials are given by a branched continued fraction. Our constructions are motivated in part by recurrences for the multiple orthogonal polynomials associated to weights based on modified Bessel functions of the first kind $I_α$.
Fractional factors and component factors in graphs with isolated toughness smaller than 1
Published in J. Graph Theory (2024), 1-14
• View Publication
• BIB
Let $G$ be a simple graph and let $n,m$ be two integers with $0<m<n$. We prove that $iso(G-S)\leq \frac{n}{m}|S|$ for every $S \subset V(G)$ if and only if $G$ has a $\{C_{2i+1},T \colon 1 \leq i < \frac{m}{n-m}, T\in\mathcal{T}_{\frac{n}{m}}\}$-factor, where $iso(G-S)$ denotes the number of isolated vertices of $G-S$ and $\mathcal{T}_{\frac{n}{m}}$ is a special family of trees. Furthermore, we characterize the trees in $\mathcal{T}_{\frac{n}{m}}$ in terms of their bipartition.
Echeloned Spaces
Published in Forum of Mathematics, Sigma 13 (2025) e89
• View Publication
• BIB
We introduce the notion of echeloned spaces - an order-theoretic abstraction of metric spaces. The first step is to characterize metrizable echeloned spaces. It turns out that morphisms between metrizable echeloned spaces are uniformly continuous or have a uniformly discrete image. In particular, every automorphism of a metrizable echeloned space is uniformly continuous, and for every metric space with midpoints the automorphisms of the induced echeloned space are precisely the dilations.
Next we focus on finite echeloned spaces. They form a Fraisse class and we describe its Fraisse-limit both as the echeloned space induced by a certain homogeneous metric space and as the result of a random construction. Building on this we show that the class of finite ordered echeloned spaces is Ramsey. The proof of this result combines a combinatorial argument by Nesetril and Hubicka with a topological-dynamical point of view due to Kechris, Pestov, and Todorcevic. Finally, using the method of Katetov functors due to Kubis and Masulovic, we prove that the full symmetric group on a countable set topologically embeds into the automorphism group of the countable universal homogeneous echeloned space.
Local limits of descent-biased permutations and trees
We study two related probabilistic models of permutations and trees biased by their number of descents. Here, a descent in a permutation $σ$ is a pair of consecutive elements $σ(i), σ(i+1)$ such that $σ(i) > σ(i+1)$. Likewise, a descent in a rooted tree with labelled vertices is a pair of a parent vertex and a child such that the label of the parent is greater than the label of the child. For some nonnegative real number $q$, we consider the probability measures on permutations and on rooted labelled trees of a given size where each permutation or tree is chosen with a probability proportional to $q^{\text{number of descents}}$. In particular, we determine the asymptotic distribution of the first elements of permutations under this model. Different phases can be observed based on how $q$ depends on the number of elements $n$ in our permutations. The results on permutations then allow us to characterize the local limit of descent-biased rooted labelled trees.
Strong Edge Geodetic Problem on Complete Multipartite Graphs and some Extremal Graphs for the Problem
A set of vertices $X$ of a graph $G$ is a strong edge geodetic set if to any pair of vertices from $X$ we can assign one (or zero) shortest path between them such that every edge of $G$ is contained in at least one on these paths. The cardinality of a smallest strong edge geodetic set of $G$ is the strong edge geodetic number ${\rm sg_e}(G)$ of $G$. In this paper, the strong edge geodetic number of complete multipartite graphs is determined. Graphs $G$ with ${\rm sg_e}(G) = n(G)$ are characterized and ${\rm sg_e}$ is determined for Cartesian products $P_n\,\square\, K_m$. The latter result in particular corrects an error from the literature.
Number of facets of symmetric edge polytopes arising from join graphs
Published
• View Publication
• BIB
Symmetric edge polytopes of graphs are important object in Ehrhart theory,and have an application to Kuramoto models. In the present paper, we study the upper and lower bounds for the number of facets of symmetric edge polytopes of connected graphs conjectured by Braun and Bruegge. In particular, we show that their conjecture is true for any graph that is the join of two graphs (equivalently, for any connected graph whose complement graph is not connected). It is known that any symmetric edge polytope is a centrally symmetric reflexive polytope. Hence our results give a partial answer to Nill's conjecture: the number of facets of a $d$-dimensional reflexive polytope is at most $6^{d/2}$.
Graded Multiplicities in the Kostant-Rallis Setting
This paper contains two main results. First, we provide combinatorial branching rules for $\text{GL}_n \downarrow \text{O}_n$ and $\text{GL}_{2n} \downarrow \text{Sp}_{2n}$ extending the Littlewood restriction rules. Second, we use these branching rules and the combinatorics of $\text{GL}_n$-crystals to derive a formula for the graded multiplicity of a $K$-type in the regular functions on the $K$-nilpotent cone for $\text{GL}(n, \mathbb{R})$, $\text{GL}(n, \mathbb{C})$ and $\text{GL}(n, \mathbb{H})$. Due to work of Schmid and Vilonen, these graded multiplicities determine the Hodge $K$-character of the spherical principal series with infinitesimal character 0.
Asymptotic products of binomial and multinomial coefficients revisited
Published in Integers 24 (2024), Article A59, 1-10
• View Publication
• BIB
In this note, we consider asymptotic products of binomial and multinomial coefficients and determine their asymptotic constants and formulas. Among them, special cases are the central binomial coefficients, the related Catalan numbers, and binomial coefficients in a row of Pascal's triangle. For the latter case, we show that it can also be derived from a limiting case of products of binomial coefficients over the rows. The asymptotic constants are expressed by known constants, for example, the Glaisher-Kinkelin constant. In addition, the constants lie in certain intervals that we determine precisely. Subsequently, we revisit a related result of Hirschhorn and clarify the given numerical constant by showing the exact expression.
On locally finite ordered rooted trees and their rooted subtrees
Published
• View Publication
• BIB
In this article we compare the known dynamical polynomial time algorithm for the game-over attack strategy, to that of the brute force approach; of checking all the ordered rooted subtrees of a given tree that represents a given computer network. Our approach is purely enumerative and combinatorial in nature. We first revisit known results about a doubly exponential sequence and generalize them. We then consider both finite and locally finite ordered rooted trees (LFOR-trees), and the class of their finite ordered rooted subtrees of bounded height, describing completely the LFOR-trees with no leaves where the number of ordered rooted subtrees of height at most $h$ are bounded by a polynomial in $h$. We finally consider general LFOR-trees where each level can have leaves and determine conditions for the number of ordered rooted subtrees of height at most $h$ to be bounded by a polynomial in $h$.
A short proof of the finiteness of Dynkin friezes
We give a short and elementary proof that every Dynkin diagram admits finitely many (positive integral) friezes. This was originally proven by Gunawan-Muller using the geometry of cluster algebras. The proof here provides an explicit (albeit inefficient) bound on values.
An information-theoretic proof of the Shannon-Hagelbarger theorem
Published
• View Publication
• BIB
The Shannon-Hagelbarger theorem states that the effective resistance across any pair of nodes in a resistive network is a concave function of the edge resistances. We give an information-theoretic proof of this result, building on the theory of the Gaussian free field. This also allows us to prove an extension of the result to determinants of matrices of cross effective resistances.
Random surfaces with large systoles
We present two constructions, both inspired by ideas from graph theory, of sequences random surfaces of growing area, whose systoles grow logarithmically as a function of their area. This also allows us to prove a new lower bound on the maximal systole of a closed orientable hyperbolic surface of a given genus.
An intermediate case of exponential multivalued forbidden matrix configuration
The forbidden number forb$(m,F)$, which denotes the maximum number of distinct columns in an $m$-rowed $(0,1)$-matrix with no submatrix that is a row and column permutation of $F$, has been widely studied in extremal set theory. Recently, this function was extended to $r$-matrices, whose entries lie in $\{0,1,\cdots,r-1\}$. forb$(m,r,F)$ is the maximum number of distinct columns in an $r$-matrix with no submatrix that is a row and column permutation of $F$. While forb$(m,F)$ is polynomial in $m$, forb$(m,r,F)$ is exponential for $r\geq 3$. Recently, forb$(m,r,F)$ was studied for some small $(0,1)$-matrices $F$, and exact values were determined in some cases. In this paper we study forb$(m,r,M)$ for $M=\begin{bmatrix}0&1\\0&1\\1&0\end{bmatrix}$, which is the smallest matrix for which this forbidden number is unknown. Interestingly, it turns out that this problem is closely linked with the following optimisation problem. For each triangle in the complete graph $K_m$, pick one of its edges. Let $m_e$ denote the number of times edge $e$ is picked. For each $α\in\mathbb{R}$, what is $H(m,α)=\max\sum_{e\in E(K_m)}α^{m_e}$? We establish a relationship between forb$(m,r,M)$ and $H(m,(r-1)/(r-2))$, find upper and lower bounds for $H(m,α)$, and use them to significantly improve known bounds for forb$(m,r,M)$.
Self-dual toric varieties
Published
• View Publication
• BIB
We describe explicitly all multisets of weights whose defining projective toric varieties are self-dual. In addition, we describe a remarkable and unexpected combinatorial behaviour of the defining ideals of these varieties. The toric ideal of a self-dual projective variety is weakly robust, that means the Graver basis is the union of all minimal binomial generating sets. When, in addition, the self-dual projective variety has a non-pyramidal configuration, then the toric ideal is strongly robust, namely the Graver basis is a minimal generating set, therefore there is only one minimal binomial generating set which is also a reduced Gröbner basis with respect to every monomial order and thus, equals the universal Gröbner basis.
A Geometric Realization of Partially-Symmetric Macdonald Polynomials
We formulate a precise conjecture relating integral form partially-symmetric Macdonald polynomials and the parabolic flag Hilbert schemes of Carlsson, Gorsky, and Mellit. This extends, in an explicit fashion, Haiman's realization of modified Macdonald symmetric functions via Hilbert schemes of points in the plane. As evidence for our conjecture we prove that it is compatible with the action of certain elements in Carlsson and Mellit's algebra $\mathbb{A}_{t,q}$, including degree $1$ Pieri formulas.
Some Fibonacci-Related Sequences
Published
• View Publication
• BIB
We discuss an interesting sequence defined recursively; namely, sequence A105774 from the On-Line Encyclopedia of Integer Sequences, and study some of its properties. Our main tools are Fibonacci representation, finite automata, and the Walnut theorem-prover. We also prove two new results about synchronized sequences.
Stable recovery of piecewise constant conductance on spider networks
Published in This is an original manuscript of an article published by Taylor & Francis in International Journal of Computer Mathematics on 31 Jul 2024
• View Publication
• BIB
We address the discrete inverse conductance problem for well-connected spider networks; that is, to recover the conductance function on a well-connected spider network from the Dirichlet-to-Neumann map. It is well-known that this inverse problem is exponentially ill-posed, requiring the implementation of a regularization strategy for numerical solutions. Our focus lies in exploring whether prior knowledge of the conductance being piecewise constant within a partition of the edge set comprising few subsets enables stable conductance recovery. To achieve this, we propose formulating the problem as a polynomial optimization one, incorporating a regularization term that accounts for the piecewise constant hypothesis. We show several experimental examples in which the stable conductance recovery under the aforementioned hypothesis is feasible.
Improving Uniquely Decodable Codes in Binary Adder Channels
We present a general method to modify existing uniquely decodable codes in the $T$-user binary adder channel. If at least one of the original constituent codes does not have average weight exactly half of the dimension, then our method produces a new set of constituent codes in a higher dimension, with a strictly higher rate. Using our method we improve the highest known rate for the $T$-user binary adder channel for all $T \geq 2$. This information theory problem is equivalent to co-Sidon problems initiated by Lindstr{ö}m in the 1960s, and also the multi-set union-free problem. Our results improve the known lower bounds in these settings as well.
Labelled well-quasi-order in juxtapositions of permutation classes
Published
• View Publication
• BIB
The juxtaposition of permutation classes $\mathcal{C}$ and $\mathcal{D}$ is the class of all permutations formed by concatenations $στ$, such that $σ$ is order isomorphic to a permutation in $\mathcal{C}$, and $τ$ to a permutation in $\mathcal{D}$.
We give simple necessary and sufficient conditions on the classes $\mathcal{C}$ and $\mathcal{D}$ for their juxtaposition to be labelled well-quasi-ordered (lwqo): namely that both $\C$ and $\DDD$ must themselves be lwqo, and at most one of $\mathcal{C}$ or $\mathcal{D}$ can contain arbitrarily long zigzag permutations. We also show that every class without long zigzag permutations has a growth rate which must be integral.
A Polynomial Method for Counting Colorings of Sparse Graphs
The notion of $S$-labeling of graphs, where $S$ is a subset of a symmetric group, was introduced in 2019 by Jin, Wong, and Zhu. This notion provides the framework for a common generalization of various well studied notions of graph coloring, including classical coloring, signed $k$-coloring, signed $\mathbb{Z}_k$-coloring, DP (or correspondence) coloring, group coloring, and coloring of gained graphs. In this paper, we present a unified and simple polynomial method for giving exponential lower bounds on the number of colorings of an $S$-labeled graph for all such $S$. This algebraic technique allows us to prove new lower bounds on the number of colorings of any $S$-labeling of graphs satisfying certain sparsity conditions. We also investigate how the structure of $S$ can be exploited to improve the applicability of these bounds. Our results give new lower bounds on the number of DP-colorings, and consequently the number of all types of colorings listed above. This includes the chromatic polynomial and the number of list colorings of families of planar graphs, and the number of colorings of signed graphs. These enumerative bounds improve previously known results or are the first such known results.