Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Induced subgraphs and tree decompositions XVI. Complete bipartite induced minors
Published in Journal of Combinatorial Theory, Series B 176, 2026, 287-318
• View Publication
• BIB
We prove that for every graph $G$ with a sufficiently large complete bipartite induced minor, either $G$ has an induced minor isomorphic to a large wall, or $G$ contains a large constellation; that is, a complete bipartite induced minor model such that on one side of the bipartition, each branch set is a singleton, and on the other side, each branch set induces a path.
We further refine this theorem by characterizing the unavoidable induced subgraphs of large constellations as two types of highly structured constellations. These results will be key ingredients in several forthcoming papers of this series.
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.
Matroids with bases as minimal resolving sets of graphs
Published
• View Publication
• BIB
We define an independence system associated with simple graphs. We prove that the independence system is a matroid for certain families of graphs, including trees, with bases as minimal resolving sets. Consequently, the greedy algorithm on the matroid can be used to find the minimum-cost resolving set of weighted graphs, wherein the independent system is a matroid. We also characterize hyperplanes of the matroid for trees and prove that its dual matroid is loop-free.
Bailey Pairs and an Identity of Chern-Li-Stanton-Xue-Yee
Published in SIGMA 21 (2025), 021, 22 pages
• View Publication
• BIB
We show how Bailey pairs can be used to give a simple proof of an identity of Chern, Li, Stanton, Xue, and Yee. The same method yields a number of related identities as well as false theta companions.
Equations over Polyhedral Semirings
We study the theory of equations in one variable over polyhedral semirings. The article revolves around a notion of solution to a polynomial equation over a polyhedral semiring. Our main results are a characterisation of local solutions in terms of the coefficients, a local-global principle, and the basics of multiplicity and discriminants. Our primary sources of motivation are tropical geometry and the theory of exceptional points in non-Hermitian physics.
Some distributions in increasing and flattened permutations
Published
• View Publication
• BIB
We examine the distribution and popularity of different parameters (such as the number of descents, runs, valleys, peaks, right-to-left minima, and more) on the sets of increasing and flattened permutations. For each parameter, we provide an exponential generating function for its corresponding distribution and popularity.Additionally, we present one-to-one correspondences between these permutations and some classes of simpler combinatorial objects.
Attempting the impossible: enumerating extremal submodular functions for n=6
Published
• View Publication
• BIB
Enumerating the extremal submodular functions defined on subsets of a fixed base set has only been done for base sets up to five elements. This paper reports the results of attempting to generate all such functions on a six-element base set. Using improved tools from polyhedral geometry, we have computed 360 billion of them, and provide the first reasonable estimate of their total number, which is expected to be between 1,000 and 10,000 times this number. The applied Double Description and Adjacency Decomposition methods require an insertion order of the defining inequalities. We introduce two novel orders, which speed up the computations significantly, and provide additional insight into the highly symmetric structure of submodular functions. We also present an improvement to the combinatorial test used as part of the Double Description method, and use statistical analyses to estimate the degeneracy of the polyhedral cone used to describe these functions. The statistical results also highlight the limitations of the applied methods.
Improved Explicit Near-Optimal Codes in the High-Noise Regimes
Published
• View Publication
• BIB
We study uniquely decodable codes and list decodable codes in the high-noise regime, specifically codes that are uniquely decodable from $\frac{1-\varepsilon}{2}$ fraction of errors and list decodable from $1-\varepsilon$ fraction of errors. We present several improved explicit constructions that achieve near-optimal rates, as well as efficient or even linear-time decoding algorithms. Our contributions are as follows.
1. Explicit Near-Optimal Linear Time Uniquely Decodable Codes: We construct a family of explicit $\mathbb{F}_2$-linear codes with rate $Ω(\varepsilon)$ and alphabet size $2^{\mathrm{poly} \log(1/\varepsilon)}$, that are capable of correcting $e$ errors and $s$ erasures whenever $2e + s < (1 - \varepsilon)n$ in linear-time.
2. Explicit Near-Optimal List Decodable Codes: We construct a family of explicit list decodable codes with rate $Ω(\varepsilon)$ and alphabet size $2^{\mathrm{poly} \log(1/\varepsilon)}$, that are capable of list decoding from $1-\varepsilon$ fraction of errors with a list size $L = \exp\exp\exp(\log^{\ast}n)$ in polynomial time.
3. List Decodable Code with Near-Optimal List Size: We construct a family of explicit list decodable codes with an optimal list size of $O(1/\varepsilon)$, albeit with a suboptimal rate of $O(\varepsilon^2)$, capable of list decoding from $1-\varepsilon$ fraction of errors in polynomial time. Furthermore, we introduce a new combinatorial object called multi-set disperser, and use it to give a family of list decodable codes with near-optimal rate $\frac{\varepsilon}{\log^2(1/\varepsilon)}$ and list size $\frac{\log^2(1/\varepsilon)}{\varepsilon}$, that can be constructed in probabilistic polynomial time and decoded in deterministic polynomial time.
We also introduce new decoding algorithms that may prove valuable for other graph-based codes.
A charge monomial basis of the Garsia-Procesi ring
Published
• View Publication
• BIB
We construct a basis of the Garsia-Procesi ring using the catabolizability type of standard Young tableaux and the charge statistic. This basis turns out to be equal to the descent basis defined in Carlsson-Chou (2024+). Our new construction connects the combinatorics of the basis with the well-known combinatorial formula for the modified Hall-Littlewood polynomials $\tilde{H}_μ[X;q]$, due to Lascoux, which expresses the polynomials as a sum over standard tableaux that satisfy a catabolizability condition. In addition, we prove that identifying a basis for the antisymmetric part of $R_μ$ with respect to a Young subgroup $S_γ$ is equivalent to finding pairs of standard tableaux that satisfy conditions regarding catabolizability and descents. This gives an elementary proof of the fact that the graded Frobenius character of $R_μ$ is given by the catabolizability formula for $\tilde{H}_μ[X;q]$.
Enumeration of rooted binary perfect phylogenies
Published
• View Publication
• BIB
Rooted binary perfect phylogenies provide a generalization of rooted binary unlabeled trees in which each leaf is assigned a positive integer value that corresponds in a biological setting to the count of the number of indistinguishable lineages associated with the leaf. For the rooted binary unlabeled trees, these integers equal 1. We address a variety of enumerative problems concerning rooted binary perfect phylogenies with sample size $s$: the rooted binary unlabeled trees in which a sample of size $s$ lineages is distributed across the leaves of an unlabeled tree with $n$ leaves, $1 \leq n \leq s$. The enumerations further characterize the rooted binary perfect phylogenies, which include the rooted binary unlabeled trees, and which can provide a set of structures useful for various biological contexts.
Stack-sorting with Stacks Avoiding Vincular Patterns
Published
• View Publication
• BIB
We introduce the stack-sorting map $\text{SC}_σ$ that sorts, in a right-greedy manner, an input permutation through a stack that avoids some vincular pattern $σ$. The stack-sorting maps of Cerbai et al. in which the stack avoids a pattern classically and Defant and Zheng in which the stack avoids a pattern consecutively follow as special cases. We first characterize and enumerate the sorting class $\text{Sort}(\text{SC}_σ)$, the set of permutations sorted by $s\circ\text{SC}_σ$, for seven length $3$ patterns $σ$. We also decide when $\text{Sort}(\text{SC}_σ)$ is a permutation class. Next, we compute $\max_{π\in \mathfrak S_n}|\text{SC}_σ^{-1}(π)|$ and characterize the periodic points of $\text{SC}_σ$ for several length $3$ patterns $σ$. We end with several conjectures and open problems.
Ternary is Still Good for Parikh Matrices
Published
• View Publication
• BIB
The focus of this work is the study of Parikh matrices with emphasis on two concrete problems. In the first part of our presentation we show that a conjecture by Dick at al. in 2021 only stands in the case of ternary alphabets, while providing counterexamples for larger alphabets. In particular, we show that the only type of distinguishability in the case of 3-letter alphabets is the trivial one. The second part of the paper builds on the notion of Parikh matrices for projections of words, discussed initially in this work, and answers, once more in the case of a ternary alphabet, a question posed by Atanasiu et al. in 2022 with regards to the minimal Hamming distance in between words sharing a congruency class.
Star edge coloring of generalized Petersen graphs
The star chromatic index of a graph $G$, denoted by $χ^\prime_s(G)$, is the smallest integer $k$ for which $G$ admits a proper edge coloring with $k$ colors such that every path and cycle of length four is not bicolored. Let $d$ be the greatest common divisor of $n$ and $k$. Zhu~et~al. (\footnotesize{Discussiones Mathematicae: Graph Theory, 41(2): 1265, 2021}) showed that for every integers $k$ and $n> 2k$ with $d\geq 3$, generalized Petersen graph $GP(n,k)$ admits a 5-star edge coloring, with the exception of the case that $d = 3$, $k\neq d$ and $\frac{n}{3}= 1\pmod{3}$. Also, they conjectured that for every $n>2k$, $χ^\prime_s(GP(n,k))\leq 5$, except $GP(3,1)$. In this paper, we prove that for every $GP(n,k)$ with $n\geq 2k$ and $d\geq 3$ their conjecture is true. In fact, we provide a 5-star edge coloring of $GP(n,k)$, where $n\geq 2k$ and $d\geq 3$. We also obtain some results for 5-star edge coloring of $GP(n,k)$ with $d=2$. Moreover, Dvo{ř}{á}k et al. ({\footnotesize Journal of Graph Theory, 72(3):313-326, 2013}) conjectured that the star of chromatic index of subcubic graphs is at most 6. Thus, our results also prove this conjecture for the generalized Petersen graphs, as a class of subcubic graphs.
Hook length inequalities for $t$-regular partitions in the $t$-aspect
Published
• View Publication
• BIB
Let $t\geq2$ and $k\geq1$ be integers. A $t$-regular partition of a positive integer $n$ is a partition of $n$ such that none of its parts is divisible by $t$. Let $b_{t,k}(n)$ denote the number of hooks of length $k$ in all the $t$-regular partitions of $n$. In this article, we prove some inequalities for $b_{t,k}(n)$ for fixed values of $k$. We prove that for any $t\geq2$, $b_{t+1,1}(n)\geq b_{t,1}(n)$, for all $n\geq0$. We also prove that $b_{3,2}(n)\geq b_{2,2}(n)$ for all $n>3$, and $b_{3,3}(n)\geq b_{2,3}(n)$ for all $n\geq0$. Finally, we state some problems for future works.
Seminorm estimates and joint ergodicity for pairwise independent Hardy sequences
We develop a robust structure theory for multiple ergodic averages of commuting transformations along Hardy sequences of polynomial growth. We then apply it to derive a number of novel results on joint ergodicity, recurrence and convergence. In particular, we prove joint ergodicity for (a) pairwise independent Hardy sequences and weakly mixing transformations, (b) strongly independent Hardy sequences and ergodic transformations, (c) strongly irrationally independent Hardy sequences and totally ergodic transformations. We use these joint ergodicity results to provide new recurrence results for multidimensional patterns along strongly independent Hardy sequences, showing for instance that all subsets of $\mathbb{Z}^2$ of positive upper density contain patterns of the form
$$ (m_1, m_2),\; (m_1 + \lfloor n^{\sqrt{2}}\rfloor, m_2),\; (m_1, m_2 + \lfloor n^{\sqrt{2}} + n^{1/2}\rfloor).$$
Last but not least, we positively resolve the joint ergodicity classification problem for pairwise independent Hardy sequences, of which the aforementioned families are special cases.
While building on recent technical advances (e.g. PET coefficient tracking schemes and joint ergodicity criteria), our work introduces a number of technical developments of its own. We construct a suitable generalization of Host-Kra and box seminorms that quantitatively control ergodic averages along Hardy sequences.
We subsequently use them to obtain Host-Kra seminorm estimates for averages along all pairwise independent Hardy sequences. Furthermore, we develop an ergodic version of the quantitative concatenation argument that has recently found extensive use in combinatorics, number theory and harmonic analysis. Lastly, we obtain new simultaneous Taylor approximations for Hardy sequences, a crucial ingredient to deal with the aforementioned classes of Hardy sequences.
Action of free fermions on Symmetric Functions
Published
• View Publication
• BIB
The Clifford algebra of the endomorphisms of the exterior algebra of a countably dimensional vector space induces natural bosonic shadows, i.e. families of linear maps between the cohomologies of complex grassmannians. The main result of this paper is to provide a determinantal formula expressing generating functions of such endomorphisms unifying several classical special cases. For example the action over a point recovers the Jacobi-Trudy formula in the theory of symmetric functions or the Giambelli's one in classical Schubert calculus, whereas the action of degree preserving endomorphisms take into account the finite type version of the Date-Jimbo-Kashiwara-Miwa bosonic vertex operator representation of the Lie algebra $gl(\infty)$. The fermionic actions on (finite type) bosonic spaces is described in terms of the classical theory of symmetric functions. The main guiding principle is the fact that the exterior algebra is a (non irreducible) representation of the ring of symmetric functions, which is the way we use to spell the ``finite type'' Boson-Fermion correspondence.
Chordal bipartite graphs, biclique vertex partitions and Castelnuovo-Mumford regularity of $1$-subdivision graphs
A biclique in a graph $G$ is a complete bipartite subgraph (not necessarily induced), and the least positive integer $k$ for which the vertex set of $G$ can be partitioned into at most $k$ bicliques is the biclique vertex partition number $bp(G)$ of $G$. We prove that the inequality $reg(S(G))\geq |G|-bp(G)$ holds for every graph $G$, where $S(G)$ is the $1$-subdivision graph of $G$ and $reg(S(G))$ denotes the (Castelnuovo-Mumford) regularity of the graph $S(G)$. In particular, we show that the equality $reg(S(B))=|B|-bp(B)$ holds provided that $B$ is a chordal bipartite graph. Furthermore, for every chordal bipartite graph $B$, we prove that the independence complex of $S(B)$ is either contractible or homotopy equivalent to a sphere, and provide a polynomial time checkable criteria for when it is contractible, and describe the dimension of the sphere when it is not.
The $O(1/n^{85})$ Asymptotic expansion of OEIS sequence A85
One of the most important sequences in enumerative combinatorics is OEIS sequence A85, the number of involutions of length n. In the Art of Computer Programming, vol. 3, Don Knuth derived the O(1/n) asymptotic formula for these numbers. In this modest tribute to our two heroes, Neil Sloane who just turned 85, and Don Knuth who was 85 a year ago, we go all the way to an $O(1/n^{85})$ asymptotic formula.
Subdivision method in the Laplacian matching polynomial
Published
• View Publication
• BIB
As a bridge connecting the matching polynomial and the Laplacian matching polynomial of graphs, the subdivision method is expected to be useful for investigating the Laplacian matching polynomial. In this paper, we study applications of the method from three aspects. We prove that the zero sequence of the Laplacian matching polynomial of a graph majorizes its degree sequence, establishing a dual relation between the Laplacian matching polynomial and the characteristic polynomial of the signless Laplacian matrix of graphs. In addition, from different viewpoints, we give a new combinatorial interpretations for the coefficients of the Laplacian matching polynomial.
Combinatorial proof of identities involving partitions with distinct even parts and 4-regular partitions
Published
• View Publication
• BIB
Recently Andrews and Bachraoui proved identities relating certain restricted partitions into distinct even parts with restricted 4-regular partitions by the theory of basic hypergeometric series. They also posed a question regarding combinatorial proofs for these results. In this paper, we establish bijections to provide combinatorial proofs for these results.