Showing 20 papers (Total: 81378 papers, 47165 authors in database)
4-tangrams are 4-avoidable
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Combinatorics (July 9, 2025) dmtcs:15310
• View Publication
• BIB
A tangram is a word in which every letter occurs an even number of times. Thus it can be cut into parts that can be arranged into two identical words. The \emph{cut number} of a tangram is the minimum number of required cuts in this process. Tangrams with cut number one corresponds to squares. For $k\ge1$, let $t(k)$ denote the minimum size of an alphabet over which an infinite word avoids tangrams with cut number at most~$k$. The existence of infinite ternary square-free words shows that $t(1)=t(2)=3$. We show that $t(3)=t(4)=4$, answering a question from Dębski, Grytczuk, Pawlik, Przybyło, and Śleszyńska-Nowak.
Canonical forms of oriented matroids
Positive geometries are semialgebraic sets equipped with a canonical differential form whose residues mirror the boundary structure of the geometry. Every full-dimensional projective polytope is a positive geometry. Motivated by the canonical forms of polytopes, we construct a canonical form for any tope of an oriented matroid, inside the Orlik--Solomon algebra of the underlying matroid. Using these canonical forms, we construct bases for the Orlik--Solomon algebra of a matroid, and for the Aomoto cohomology. These bases of canonical forms are a foundational input in the theory of matroid amplitudes introduced by the second author.
Infinite-dimensional $q$-Jacobi Markov processes
The classical Jacobi polynomials on the interval $[-1,1]$ are eigenfunctions of a second order differential operator. It is well known that this operator generates a diffusion process on $[-1,1]$. Further, this fact admits an extension to $N$ dimensions (Demni (2010), Remling-Rösler (2011)) leading to a $3$-parameter family of diffusion processes $X_N$ on the space of $N$-particle configurations in $[-1,1]$. The generators of the processes $X_N$ are related to Heckman-Opdam's Jacobi polynomials attached to the root system $BC_N$.
The first result of the paper shows that the processes $X_N$ have a $q$-analog, the $N$-dimensional $q$-Jacobi processes. These are Feller Markov processes related to the $N$-variate symmetric big $q$-Jacobi polynomials. The later polynomials were introduced and studied by Stokman (1997) and Stokman-Koornwinder (1997); they depend on two Macdonald parameters $(q,t)$ and $4$ extra continuous parameters.
The $N$-dimensional $q$-Jacobi processes are still defined on a space of $N$-particle configurations, only now the particles live not on $[-1,1]$ but on certain one-dimensional $q$-grids.
The second result (the main one) asserts that the $N$-dimensional $q$-Jacobi processes survive a limit transition as $N$ goes to infinity and two of the extra parameters vary together with $N$ in a certain way. In the limit, one obtains a family of Feller Markov processes which are infinite-dimensional in the sense that they live on configurations with infinitely many particles. The proof uses a lifting of the multivariate big $q$-Jacobi polynomials to the algebra of symmetric functions -- a construction that does not hold for the Heckman-Opdam's Jacobi polynomials.
Note also that the large-$N$ limit transition is carried out without any space scaling, which would be impossible in the continuous case.
On the $L_2$-discrepancy of Latin hypercubes
We investigate $L_2$-discrepancies of what we call weak Latin hypercubes. In this case it turns out that there is a precise equivalence between the extreme and periodic $L_2$-discrepancy which follows from a much broader result about generalized energies for weighted point sets.
Motivated by this we study the asymptotics of the optimal $L_2$-discrepancy of weak Latin hypercubes. We determine asymptotically tight bounds for $d \geq 3$ and even the precise (dimension dependent) constant in front of the dominating term for $d \geq 4$.
Lower bounds for Ramsey numbers of bounded degree hypergraphs
We prove that, for all $k \ge 3,$ and any integers $Δ, n$ with $n \ge Δ,$ there exists a $k$-uniform hypergraph on $n$ vertices with maximum degree at most $Δ$ whose $4$-color Ramsey number is at least $\mathrm{tw}_k(c_k Δ) \cdot n$, for some constant $c_k > 0$, where $\mathrm{tw}_k$ denotes the tower function. For $k \ge 4,$ this is tight up to the constant $c_k$ and for $k = 3$ it is known to be tight up to a factor of $\log Δ$ on top of the tower. It extends a well-known result of Graham, Rödl and Ruciński for graphs and answers a question of Conlon, Fox and Sudakov from 2008.
Graph factors and powers of Hamilton cycles in the budget-constrained random graph process
We consider the following budget-constrained random graph process introduced by Frieze, Krivelevich and Michaeli. A player, called Builder, is presented with $t$ distinct edges of $K_n$ one by one, chosen uniformly at random. Builder may purchase at most $b$ of these edges, and must (irrevocably) decide whether to purchase each edge as soon as it is offered. Builder's goal is to construct a graph which satisfies a certain property; we investigate the properties of containing different $F$-factors or powers of Hamilton cycles.
We obtain general lower bounds on the budget $b$, as a function of $t$, required for Builder to obtain partial $F$-factors, for arbitrary $F$. These imply lower bounds for many distinct spanning structures, such as powers of Hamilton cycles. Notably, our results show that, if $t$ is close to the hitting time for a partial $F$-factor, then the budget $b$ cannot be substantially lower than $t$. These results give negative answers to questions of Frieze, Krivelevich and Michaeli.
Conversely, we also exhibit a simple strategy for constructing (partial) $F$-factors, in particular showing that our general lower bound is tight up to constant factors. The ideas from this strategy can be exploited for other properties. As an example, we obtain an essentially optimal strategy for powers of Hamilton cycles. In order to formally prove that this strategy succeeds, we develop novel tools for analysing multi-stage strategies, which may be of general interest for studying other properties.
A Fröberg type theorem for higher secant complexes
We generalize the celebrated Fröberg's theorem to embedded joins of copies of a simplicial complex, namely higher secant complexes to the simplicial complex, in terms of property $N_{q+1,p}$ due to Green and Lazarsfeld. Furthermore, we investigate combinatorial phenomena parallel to geometric ones observed for higher secant varieties of minimal degree.
Resolving subcategories for gentle algebras I: Monogeneous resolving subcategories for gentle trees
This paper is the first part of a series that intends to study the resolving subcategories for gentle algebras over an algebraically closed field $\mathbb{K}$.
In a general setting, we improve the precision of an algorithm from Takahashi for resolving closure calculations in well-behaved abelian categories. Then, we modify the geometric model of Baur--Coelho-Simões and Opper--Plamondon--Schroll to compute such subcategories for gentle quivers that have a finite global dimension.
Finally, we focus on gentle quivers $(Q,R)$ such that $Q$ is a directed tree, and we study the monogeneous resolving subcategories, which are the ones generated by a single non-projective indecomposable $\mathbb{K}Q/\langle R \rangle$-module. By the way, we prove that these subcategories are the join-irreducible elements of the poset of all the resolving subcategories ordered by inclusion.
Hankel determinants for convolution powers of Motzkin numbers
We evaluate the Hankel determinants of the convolution powers of Motzkin numbers for $r\leq 27$ by finding shifted periodic continued fractions, which arose in application of Sulanke and Xin's continued fraction method. We also conjecture some polynomial characterization of these determinants.
Bubble sort and Howe duality for staircase matrices
In this paper, we present an independent proof of the Cauchy identities for staircase matrices, originally discovered in arXiv:2411.03117, using the combinatorics of the Bruhat poset and the bubble-sort procedure. Additionally, we derive new insights into certain coefficients appearing in one of these identities. The first part of the paper focuses on combinatorial aspects. It is self-contained, of independent interest, and introduces a generalization of parabolic Bruhat graphs for monotone functions on an arborescent poset. The second part examines the intersections of Demazure modules within a given integrable representation. Finally, we propose a generalization of the classical Howe duality for staircase matrices in terms of the corresponding distributive lattice of Demazure submodules. Computing the associated character yields the desired Cauchy identities for staircase matrices.
Halfspace Representations of Path Polytopes of Trees
Given a tree $T$, its path polytope is the convex hull of the edge indicator vectors for the paths between any two distinct leaves in $T$. These polytopes arise naturally in polyhedral geometry and applications, such as phylogenetics, tropical geometry, and algebraic statistics. We provide a minimal halfspace representation of these polytopes. The construction is made inductively using toric fiber products.
Gallai-Schur Triples and Related Problems
Schur's Theorem states that, for any $r \in \mathbb{Z}^+$, there exists a minimum integer $S(r)$ such that every $r$-coloring of $\{1,2,\dots,S(r)\}$ admits a monochromatic solution to $x+y=z$. Recently, Budden determined the related Gallai-Schur numbers; that is, he determined the minimum integer $GS(r)$ such that every $r$-coloring of $\{1,2,\dots,GS(r)\}$ admits either a rainbow or monochromatic solution to $x+y=z$. In this article we consider problems that have been solved in the monochromatic setting under a monochromatic-rainbow paradigm. In particular, we investigate Gallai-Schur numbers when $x \neq y$, we consider $x+y+b=z$ and $x+y<z$, and we investigate the asymptotic minimum number of rainbow and monochromatic solutions to $x+y=z$ and $x+y<z$.
$B_h$-sets of real and complex numbers
Let $K = \mathbb{R}$ or $\mathbb{C}$. An $n$-element subset $A$ of $K$ is a $B_h$-set if every element of $K$ has at most one representation as the sum of $h$ not necessarily distinct elements of $A$. Associated to the $B_h$ set $A = \{a_1,\ldots, a_n\}$ are the $B_h$-vectors $\mathbf{a} = (a_1,\ldots, a_n)$ in $K^n$. This paper proves that ``almost all'' $n$-element subsets of $K$ are $B_h$-sets in the sense that the set of all $B_h$-vectors is a dense open subset of $K^n$.
Power sum expansions for Kromatic symmetric functions using Lyndon heaps
Published in Annals of Combinatorics (2025)
• View Publication
• BIB
In arXiv:2301.02177, Crew, Pechenik, and Spirkl defined the Kromatic symmetric function $\overline{X}_G$ as a $K$-analogue of Stanley's chromatic symmetric function $X_G$, and one question they asked was how $\overline{X}_G$ expands in their $\overline{p}_λ$ basis, which they defined as a $K$-analogue of the classic power sum basis $p_λ.$ In arXiv:2408.01395, we gave a formula that partially answered this question but did not explain the combinatorial significance of the coefficients. Here, we give combinatorial descriptions for the $\overline{p}$-coefficients of $\overline{X}_G$ and $ω(\overline{X}_G)$, lifting the $p$-expansion of $X_G$ in terms of acyclic orientations that was given by Bernardi and Nadeau in arXiv:1904.01262. We also propose an alternative $K$-analogue $\overline{p}'$ of the $p$-basis that gives slightly cleaner expansion formulas. Our expansions are based on Lyndon heaps, introduced by Lalonde (1995), which are representatives for certain equivalence classes of acyclic orientations on clan graphs of $G$. Additionally, we show that knowing $\overline{X}_G$ is equivalent to knowing the multiset of independence polynomials of induced subgraphs of $G$, which gives shorter proofs of all our results from arXiv:2403.15929 that $\overline{X}_G$ can be used to determine the number of copies in $G$ of certain induced subgraphs. We also give power sum expansions for the Kromatic quasisymmetric function $\overline{X}_G(q)$ defined by Marberg in arXiv:2312.16474 in the case where $G$ is the incomparability graph of a unit interval order.
Orientations of graphs omitting non-edge-critical directed graphs
In 1974, Erdős asked the following question: given a graph $G$ and a directed graph $\vec{H}$, how many ways are there to orient the edges of $G$ such that it does not contain $\vec{H}$ as a subgraph? We denote this value by $D(G, \vec{H})$. Further, we let $D(n, \vec{H})$ denote the maximum of $D(G, \vec{H})$ over all graphs $G$ on $n$ vertices. In 2006, Alon and Yuster gave an exact answer when $\vec{H}$ is a tournament. In 2023, Bucić, Janzer, and Sudakov gave asymptotic answers for all directed graphs $\vec{H}$, and in the same paper, they gave an exact answer when $\vec{H}$ is a directed cycle. In this paper, we give a better bound for some specific non-bipartite directed graphs. Further, we obtain exact values of $D(G, \vec{H})$ for some small non-edge-critical directed graphs $\vec{H}$. Finally, for these graphs, we classify all graphs $G$ that attain the bound $D(G, \vec{H}) = D(n, \vec{H})$.
Extremal Betti Numbers and Persistence in Flag Complexes
We investigate several problems concerning extremal Betti numbers and persistence in filtrations of flag complexes. For graphs on $n$ vertices, we show that $β_k(X(G))$ is maximal when $G=\mathcal{T}_{n,k+1}$, the Turán graph on $k+1$ partition classes, where $X(G)$ denotes the flag complex of $G$. Building on this, we construct an edgewise (one edge at a time) filtration $\mathcal{G}=G_1\subseteq \cdots \subseteq \mathcal{T}_{n,k+1}$ for which $β_k(X(G_i))$ is maximal for all graphs on $n$ vertices and $i$ edges. Moreover, the persistence barcode $\mathcal{B}_k(X(G))$ achieves a maximal number of intervals, and total persistence, among all edgewise filtrations with $|E(\mathcal{T}_{n,k+1})|$ edges.
For $k=1$, we consider edgewise filtrations of the complete graph $K_n$. We show that the maximal number of intervals in the persistence barcode is obtained precisely when $G_{\lceil n/2\rceil \cdot \lfloor n/2 \rfloor}=\mathcal{T}_{n,2}$. Among such filtrations, we characterize those achieving maximal total persistence. We further show that no filtration can optimize $β_1(X(G_i))$ for all $i$, and conjecture that our filtrations maximize the total persistence over all edgewise filtrations of $K_n$.
Rational parking functions and $(m, n)$-invariant sets
An $(m, n)$-parking function can be characterized as function $f:[n] \to [m]$ such that the partition obtained by reordering the values of $f$ fits inside a right triangle with legs of length $m$ and $n$. Recent work by McCammond, Thomas, and Williams define an action of words in $[m]^n$ on $\mathbb{R}^n$. They show that rational parking functions are exactly the words that admit fixed points under that action. An $(m, n)$-invariant set is a set $Δ\subset \mathbb{Z}$ such that $Δ+ m \subset Δ$ and $Δ+ n \subset Δ$. In this work we define an action of words in $[m]^n $ on $(m, n)$-invariant sets by removing the $j$th $m$-generator from $Δ$. We show this action also characterizes $(m, n)$-parking functions. Further we show that each $(m, n)$-invariant set is fixed by a unique monotone parking function. By relating the actions on $\mathbb{R}^m$ and on $(m, n)$-invariant sets we prove that the set of all the points in $\mathbb{R}^m$ that can be fixed by a parking function is a union of points fixed by monotone parking functions. In the case when $\gcd(m, n) =1$ we characterize the set of periodic points of the action defined on $\mathbb{R}^m$ and show that the algorithm reversing the Pak-Stanley map proposed by Gorsky, Mazin, and Vazirani converges in a finite amount of steps.
Coloring one-headed directed hypergraphs
A directed hypergraph is a hypergraph in which the vertex set of each hyperedge is partitioned into two disjoint parts, a head and a tail. Keszegh and Pálvölgyi posed the following conjecture. Let $H$ be a directed hypergraph such that in every hyperedge the number of head-vertices is less than the number of tail-vertices and assume that for every pair of hyperedges $e_{1},e_{2}\in E(H)$ with $|e_{1}\cap e_{2}|=1$, the common vertex is a head-vertex in at least one of the hyperedges. Then $H$ admits a proper 2-coloring. Keszegh showed that the conjecture is also true in the special case of 3-uniform hypergraphs. A directed hypergraph is called one-headed if every hyperedge has exactly one head-vertex. The main result of this paper is that the conjecture is true for one-headed directed hypergraphs with all hyperedges having size at least three.
Directed 3-uniform hypergraphs such that in every hyperedge the number of head-vertices is one and the number of tail-vertices is two are called $2\rightarrow 1$ hypergraphs. In this paper we consider sufficient conditions for $2\rightarrow 1$ hypergraphs to be proper $k$-colorable for some small $k$.
Connected equitably $Δ$-colorable realizations with $k$-factors
A graph $G$ is said to be equitably $c$-colorable if its vertices can be partitioned into $c$ independent sets that pairwise differ in size by at most one. Chen, Lih, and Wu conjectured that every connected graph $G$ with maximum degree $Δ(G)\geq 2$ has an equitable coloring with $Δ(G)$ colors, except when $G$ is complete, an odd cycle, or a balanced bipartite graph with odd sized partitions. Suppose $G$ is a connected graph with a $k$-factor (a regular spanning subgraph) $F$ such that $G$ is not complete, a $1$-factor, nor an odd cycle. When $k\geq 1$ we demonstrate that there is a connected $(k-1)$ edge-connected equitably $Δ(G)$-colorable graph $H$ with a $k$-factor $F'$ such that $G-E(F)=H-E(F')$. If we drop the requirement that $G-E(F)=H-E(F')$, then we can say more. Considering the non-increasing degree sequence $π=(d_{1},\ldots, d_{n})$ of $G$ where $d_{i}=deg_{G}(v_{i})$ for all vertices $\{v_{1},\ldots,v_{n}\}$ of $G$, we call $m(π)=\max\{i|d_{i}\geq i\}$ the strong index of $π$. For $k\geq 0$, we can show that for every $$c\geq \max_{l\leq m(π)}\bigg\{\bigg\lfloor\frac{d_{l}+l}{2}\bigg\rfloor\bigg\}+1$$ we can find a connected $(k-1)$ edge-connected equitably $c$-colorable realization $H$ of $π$ that has a $k$-factor. In a third theorem we show that if $d_{d_{1}-d_{n}+1}\geq d_{1}-d_{n}+k-1$, then some realization of $π$ has a $k$-factor. Together, these three theorems allow us to prove that for all $k$, there is a connected equitably $Δ(G)$-colorable realization $H$ of $π$ with a $k$-factor. Thus, giving support to the validity of the Chen-Lih-Wu Conjecture.
Independent transversal blow-up of graphs
In an $r$-partite graph, an independent transversal of size $s$ (ITS) consists of $s$ vertices from each part forming an independent set. Motivated by a question from Bollobás, Erdős, and Szemerédi (1975), Di Braccio and Illingworth (2024) inquired about the minimum degree needed to ensure an $n \times \cdots \times n$ $r$-partite graph contains $K_r(s)$, a complete $r$-partite graph with $s$ vertices in each part. We reformulate this as finding the smallest $n$ such that any $n \times \cdots \times n$ $r$-partite graph with maximum degree $Δ$ has an ITS. For any $\varepsilon>0$, we prove the existence of a $γ>0$ ensuring that if $G$ is a multipartite graph partitioned as $(V_1, V_2, \ldots, V_r)$, where the average degree of each part $V_i$ is at most $D$, the maximum degree of any vertex to any part $V_i$ is at most $γD$, and the size of each part $V_i$ is at least $(s + \varepsilon)D$, then $G$ possesses an ITS. The constraint $(s + \varepsilon)D$ on the part size is tight. This extends results of Loh and Sudakov (2007), Glock and Sudakov (2022), and Kang and Kelly (2022). We also show that any $n \times \cdots \times n$ $r$-partite graph with minimum degree at least $\left(r-1-\frac{1}{2s^2}\right)n$ contains $K_r(s)$ and provide a relative Turán-type result. Additionally, this paper explores counting ITSs in multipartite graphs.