math.CO ↗ arXiv
7121 papers in this category
On a question about real rooted polynomials and f-polynomials of simplicial complexes
Published
• View Publication
• BIB
For a polynomial $f(t) = 1+f_0t+\cdots +f_{d-1}t^d$ with positive integer coefficients Bell and Skandera ask if real rootedness of f(t) implies that there is a simplicial complex with f-vector $(1,f_0 \ldots,f_{d-1})$. In this paper we discover properties implied by the real rootedness of f(t) in terms of the binomial representation $f_i = \binom{x_{i+1}}{i+1}, i \geq 0$. We use these to provide a sufficient criterion for a positive answer to the question by Bell and Skandera. We also describe two further approaches to the conjecture and use one to verify that some well studied real rooted classical polynomials are f-polynomials. Finally, we provide a series of results showing that the set of f-vectors of simplicial complexes is closed under constructions also preserving real rootedness of their generating polynomials.
Permutons, meanders, and SLE-decorated Liouville quantum gravity
Published in J. Eur. Math. Soc. 28 (2026), no. 11, pp. 4893-4949
• View Publication
• BIB
We study a class of random permutons which can be constructed from a pair of space-filling Schramm-Loewner evolution (SLE) curves on a Liouville quantum gravity (LQG) surface. This class includes the skew Brownian permutons introduced by Borga (2021), which describe the scaling limit of various types of random pattern-avoiding permutations. Another interesting permuton in our class is the meandric permuton, which corresponds to two independent SLE$_8$ curves on a $γ$-LQG surface with $γ= \sqrt{\frac13 \left( 17 - \sqrt{145} \right)}$. Building on work by Di Francesco, Golinelli, and Guitter (2000), we conjecture that the meandric permuton describes the scaling limit of uniform meandric permutations, i.e., the permutations induced by a simple loop in the plane which crosses a line a specified number of times.
We show that for any sequence of random permutations which converges to one of the above random permutons, the length of the longest increasing subsequence is sublinear. This proves that the length of the longest increasing subsequence is sublinear for Baxter, strong-Baxter, and semi-Baxter permutations and leads to the conjecture that the same is true for meandric permutations. We also prove that the closed support of each of the random permutons in our class has Hausdorff dimension one. Finally, we prove a re-rooting invariance property for the meandric permuton and write down a formula for its expected pattern densities in terms of LQG correlation functions (which are known explicitly) and the probability that an SLE$_8$ hits a given set of points in numerical order (which is not known explicitly). We conclude with a list of open problems.
Simple games with minimum
Published
• View Publication
• BIB
Every simple game is a monotone Boolean function. For the other direction we just have to exclude the two constant functions. The enumeration of monotone Boolean functions with distinguishable variables is also known as the Dedekind's problem. The corresponding number for nine variables was determined just recently by two disjoint research groups. Considering permutations of the variables as symmetries we can also speak about non-equivalent monotone Boolean functions (or simple games). Here we consider simple games with minimum, i.e., simple games with a unique minimal winning vector. A closed formula for the number of such games is found as well as its dimension in terms of the number of players and equivalence classes of players.
Classes of binary matroids with small lists of excluded induced minors
Published
• View Publication
• BIB
In earlier work, we characterized the class of matroids with no $M(C_4)$ as an induced minor and the class of matroids with no member of $\{M(C_4),M(K_4)\}$ as an induced minor. In this paper, for every two matroids in $\{M(C_4),M(K_4\backslash e),M(K_4),F_7\}$, we determine the class of matroids that have neither of the chosen pair as an induced minor. Additionally, we prove structural lemmas toward characterizing the class of matroids that do not contain $M(K_4)$ as an induced minor.
Scalar Function Topology Divergence: Comparing Topology of 3D Objects
Published in ECCV 2024
• View Publication
• BIB
We propose a new topological tool for computer vision - Scalar Function Topology Divergence (SFTD), which measures the dissimilarity of multi-scale topology between sublevel sets of two functions having a common domain. Functions can be defined on an undirected graph or Euclidean space of any dimensionality. Most of the existing methods for comparing topology are based on Wasserstein distance between persistence barcodes and they don't take into account the localization of topological features. The minimization of SFTD ensures that the corresponding topological features of scalar functions are located in the same places. The proposed tool provides useful visualizations depicting areas where functions have topological dissimilarities. We provide applications of the proposed method to 3D computer vision. In particular, experiments demonstrate that SFTD as an additional loss improves the reconstruction of cellular 3D shapes from 2D fluorescence microscopy images, and helps to identify topological errors in 3D segmentation. Additionally, we show that SFTD outperforms Betti matching loss in 2D segmentation problems.
The Pell Tower and Ostronometry
Published in Communications in Mathematics, Volume 33 (2025), Issue 2 (Special issue: Numeration, Liège 2023, dedicated to the 75th birthday of professor Christiane Frougny) (October 30, 2024) cm:12261
• View Publication
• BIB
Conway and Ryba considered a table of bi-infinite Fibonacci sequences and discovered new interesting patterns. We extend their considerations to tables that are defined by the recurrence $X_{n+1}=dX_n+X_{n-1}$ for natural numbers $d$. In our search for new patterns we run into a Red Wall and exotic numeration systems.
Differential transcendence of Bell numbers and relatives: a Galois theoretic approach
Published in American Journal of Mathematics, 2024, 146(6), 1577-1615
• View Publication
• BIB
In 2003 Klazar proved that the ordinary generating function of the sequence of Bell numbers is differentially transcendental over the field $\mathbb{C}(\{t\})$ of meromorphic functions at $0$. We show that Klazar's result is an instance of a general phenomenon that can be proven in a compact way using difference Galois theory. We present the main principles of this theory in order to prove a general result about differential transcendence over $\mathbb{C}(\{t\})$, that we apply to many other (infinite classes of) examples of generating functions, including as very special cases the ones considered by Klazar. Most of our examples belong to Sheffer's class, well studied notably in umbral calculus. They all bring concrete evidence in support to the Pak-Yeliussizov conjecture, according to which a sequence whose both ordinary and exponential generating functions satisfy nonlinear differential equations with polynomial coefficients necessarily satisfies a linear recurrence with polynomial coefficients.
Knights are 24/13 times faster than the king
Published in Fibonacci Quart. 62 (2024), no. 3, 208-214
• View Publication
• BIB
On an infinite chess board, how much faster can the knight reach a square when compared to the king, in average? More generally, for coprime $b>a \in \mathbb{Z}_{\geq 1}$ such that $a+b$ is odd, define the $(a,b)$-knight and the king as
\begin{equation*}
\begin{aligned}
\mathrm{N}_{a,b} = \{(a,b), (b,a), (-a,b), (-b,a), (-b,-a), (-a,-b), (a,-b), (b, -a)\},\newline
\mathrm{K}=\{(1,0), (1,1), (0,1), (-1,1), (-1,0), (-1,-1), (0,-1), (1,-1)\} \subseteq \mathbb{Z}^2,
\end{aligned}
\end{equation*}
respectively. One way to formulate this question is by asking for the average ratio, for $\mathbf{p}\in \mathbb{Z}^2$ in a box, between $\min\{h\in \mathbb{Z}_{\geq 1} ~|~ \mathbf{p}\in h\mathrm{N}\}$ and $\min\{h\in \mathbb{Z}_{\geq 1} ~|~ \mathbf{p}\in h\mathrm{K}\}$, where $hA = \{\mathbf{a}_1+\cdots+\mathbf{a}_h ~|~ \mathbf{a}_1,\ldots, \mathbf{a}_h \in A\}$ is the $h$-fold sumset of $A$. We show that this ratio equals $2(a+b)b^2/(a^2+3b^2)$.
Dyck Words, Pattern Avoidance, and Automatic Sequences
Published in Communications in Mathematics, Volume 33 (2025), Issue 2 (Special issue: Numeration, Liège 2023, dedicated to the 75th birthday of professor Christiane Frougny) (August 2, 2024) cm:12695
• View Publication
• BIB
We study various aspects of Dyck words appearing in binary sequences, where $0$ is treated as a left parenthesis and $1$ as a right parenthesis. We show that binary words that are $7/3$-power-free have bounded nesting level, but this no longer holds for larger repetition exponents. We give an explicit characterization of the factors of the Thue-Morse word that are Dyck, and show how to count them. We also prove tight upper and lower bounds on $f(n)$, the number of Dyck factors of Thue-Morse of length $2n$.
Overview on the theory of double flag varieties for symmetric pairs
Published in Loke, Hung Yean (ed.) et al., Representations and characters. Singapore: World Scientific. Lect. Notes Ser. Inst. Math. Sci. Natl. Univ. Singap. 45, 137-224 (2026)
• View Publication
• BIB
Let $ G $ be a connected reductive algebraic group and its symmetric subgroup $ K $. The variety $ \dblFV = K/Q \times G/P $ is called a double flag variety, where $ Q $ and $ P $ are parabolic subgroups of $ K $ and $ G $ respectively.
In this article, we make a survey on the theory of double flag varieties for a symmetric pair $ (G, K) $ and report entirely new results and theorems on this theory.
Most important topic is the finiteness of $ K $-orbits on $ \dblFV $. We summarize the classification of $ \dblFV $ of finite type, which are scattered in the literatures. In some respects such classifications are complete, and in some cases not. In particular, we get a classification of double flag varieties of finite type when a symmetric pair is of type AIII, using the theorems of Homma who describes ``indecomposable'' objects of such double flag varieties. Together with these classifications, newly developed embedding theory provides double flag varieties of finite type, which are new. Other ingredients in this article are Steinberg theory, generalization of Robinson-Schensted correspondence, and orbit classification via quiver representations.
We hope this article is useful for those who want to study the theory of double flag varieties.
Schubert polynomial expansions revisited
Published in Forum of Mathematics, Sigma 13 (2025) e106
• View Publication
• BIB
We give an elementary approach utilizing only the divided difference formalism for obtaining expansions of Schubert polynomials that are manifestly nonnegative, by studying solutions to the equation $\sum Y_i\partial_i=\mathrm{id}$ on polynomials with no constant term. This in particular recovers the pipe dream and slide polynomial expansions. We also show that slide polynomials satisfy an analogue of the divided difference formalisms for Schubert polynomials and forest polynomials, which gives a simple method for extracting the coefficients of slide polynomials in the slide polynomial decomposition of an arbitrary polynomial.
Bounding the diameter and eigenvalues of amply regular graphs via Lin-Lu-Yau curvature
Published in Combinatorica 44 (2024), no. 6, 1177-1192
• View Publication
• BIB
An amply regular graph is a regular graph such that any two adjacent vertices have $α$ common neighbors and any two vertices with distance $2$ have $β$ common neighbors. We prove a sharp lower bound estimate for the Lin--Lu--Yau curvature of any amply regular graph with girth $3$ and $β>α$. The proof involves new ideas relating discrete Ricci curvature with local matching properties: This includes a novel construction of a regular bipartite graph from the local structure and related distance estimates. As a consequence, we obtain sharp diameter and eigenvalue bounds for amply regular graphs.
Midy's Theorem in non-integer bases and divisibility of Fibonacci numbers
Published in Communications in Mathematics, Volume 33 (2025), Issue 2 (Special issue: Numeration, Liège 2023, dedicated to the 75th birthday of professor Christiane Frougny) (May 31, 2024) cm:12840
• View Publication
• BIB
Fractions $\frac{p}{q} \in [0,1)$ with prime denominator $q$ written in decimal have a curious property described by Midy's Theorem, namely that two halves of their period (if it is of even length $2n$) sum up to $10^n-1$. A number of results generalise Midy's theorem to expansions of $\frac{p}{q}$ in different integer bases, considering non-prime denominators, or dividing the period into more than two parts. We show that a similar phenomena can be studied even in the context of numeration systems with non-integer bases, as introduced by Rényi. First we define the Midy property for a general real base $β>1$ and derive a necessary condition for validity of the Midy property. For $β=\frac12(1+\sqrt5)$ we characterize prime denominators $q$, which satisfy the property.
A weighted Murnaghan-Nakayama rule for $(P, w)$-partitions
Published in European Journal of Combinatorics, Volume 134, April 2026, 104332
• View Publication
• BIB
The $(P, w)$-partition generating function $K_{(P,w)}(x)$ is a quasisymmetric function obtained from a labeled poset. Recently, Liu and Weselcouch gave a formula for the coefficients of $K_{(P,w)}(x)$ when expanded in the quasisymmetric power sum function basis. This formula generalizes the classical Murnaghan--Nakayama rule for Schur functions.
We extend this result to weighted $(P, w)$-partitions and provide a short combinatorial proof, avoiding the Hopf algebra machinery used by Liu--Weselcouch.
Pebble trees
Published in Canad. J. Math., 78 (5):1738-1765, 2026
• View Publication
• BIB
A pebble tree is an ordered tree where each node receives some colored pebbles, in such a way that each unary node receives at least one pebble, and each subtree has either one more or as many leaves as pebbles of each color. We show that the contraction poset on pebble trees is isomorphic to the face poset of a convex polytope called pebble tree polytope. Beside providing intriguing generalizations of the classical permutahedra and associahedra, our motivation is that the faces of the pebble tree polytopes provide realizations as convex polytopes of all assocoipahedra constructed by K. Poirier and T. Tradler only as polytopal complexes.
Summing the sum of digits
Published in Communications in Mathematics, Volume 33 (2025), Issue 2 (Special issue: Numeration, Liège 2023, dedicated to the 75th birthday of professor Christiane Frougny) (May 9, 2024) cm:12610
• View Publication
• BIB
We revisit and generalize inequalities for the summatory function of the sum of digits in a given integer base. We prove that several known results can be deduced from a theorem in a 2023 paper by Mohanty, Greenbury, Sarkany, Narayanan, Dingle, Ahnert, and Louis, whose primary scope is the maximum mutational robustness in genotype-phenotype maps.
Counterexamples to generalizations of the Erdős $B+B+t$ problem
Published in Electronic Journal of Combinatorics 33(3) (2026) P3.89
• View Publication
• BIB
Following their resolution of the Erdős $B+B+t$ problem, Kra Moreira, Richter, and Robertson posed a number of questions and conjectures related to infinite configurations in positive density subsets of the integers and other amenable groups. We give a negative answer to several of these questions and conjectures by producing families of counterexamples based on a construction of Ernst Straus.
Included among our counterexamples, we exhibit, for any $\varepsilon > 0$, a set $A \subseteq \mathbb{N}$ with multiplicative upper Banach density at least $1 - \varepsilon$ such that $A$ does not contain any dilated product set $\{b_1b_2t : b_1, b_2 \in B, b_1 \ne b_2\}$ for an infinite set $B \subseteq \mathbb{N}$ and $t \in \mathbb{Q}_{>0}$. We also prove the existence of a set $A \subseteq \mathbb{N}$ with additive upper Banach density at least $1 - \varepsilon$ such that $A$ does not contain any polynomial configuration $\{b_1^2 + b_2 + t : b_1, b_2 \in B, b_1 < b_2\}$ for an infinite set $B \subseteq \mathbb{N}$ and $t \in \mathbb{Z}$. Counterexamples to some closely related problems are also discussed.
A determinantal point process approach to scaling and local limits of random Young tableaux
Published in The Annals of Probability, vol. 53, no. 1, 2025, pp. 299-354
• View Publication
• BIB
We obtain scaling and local limit results for large random Young tableaux of fixed shape $λ^0$ via the asymptotic analysis of a determinantal point process due to Gorin and Rahman (2019). More precisely, we prove:
(1) an explicit description of the limiting surface of a uniform random Young tableau of shape $λ^0$, based on solving a complex-valued polynomial equation;
(2) a simple criteria to determine if the limiting surface is continuous in the whole domain;
(3) and a local limit result in the bulk of a random Poissonized Young tableau of shape $λ^0$.
Our results have several consequences, for instance: they lead to explicit formulas for the limiting surface of $L$-shaped tableaux, generalizing the results of Pittel and Romik (2007) for rectangular shapes; they imply that the limiting surface for $L$-shaped tableaux is discontinuous for almost-every $L$-shape; and they give a new one-parameter family of infinite random Young tableaux, constructed from the so-called random infinite bead process.
Veronese sections and interlacing matrices of polynomials and formal power series
The concept of a fully interlacing matrix of formal power series with real coefficients is introduced. This concept extends and strengthens that of an interlacing sequence of real-rooted polynomials with nonnegative coefficients, in the special case of row and column matrices. The fully interlacing property is shown to be preserved under matrix products, flips across the reverse diagonal and Veronese sections of the power series involved. These results and their corollaries generalize, unify and simplify several results which have previously appeared in the literature. An application to the theory of uniform triangulations of simplicial complexes is included.
Transcendence properties of the Artin-Hasse exponential modulo $p$
Published in Alg. Number Th. 20 (2026) 1597-1614
• View Publication
• BIB
Let $E_p(x)$ denote the Artin-Hasse exponential and let $\overline{E}_p(x)$ denote its reduction modulo $p$ in $\mathbb{F}_p[[x]]$. In this article we study transcendence properties of $\overline{E}_p(x)$ over $\mathbb{F}_p[x]$. We give two proofs that $\overline{E}_p(x)$ is transcendental, affirmatively answering a question of Thakur. We also prove algebraic independence results: i) for $f_1,\dots,f_r \in x\mathbb{F}_p[x]$ satisfying certain linear independence properties, we show that the $\overline{E}_p(f_1), \dots, \overline{E}_p(f_r)$ are algebraically independent over $\mathbb{F}_p[x]$ and ii) we determine the algebraic relations between $\overline{E}_p(cx)$, where $c \in \mathbb{F}_p^\times$. Our proof studies the higher derivatives of $\overline{E}_p(x)$ and makes use of iterative differential Galois theory.