natural ↗ reference
4894 papers tagged with this keyword
K-promotion on m-packed labelings of posets
Published
• View Publication
• BIB
Schutzenberger's promotion operator, pro, is a fundamental map in dynamical algebraic combinatorics. At first, its action was mainly considered on standard Young tableaux. But pro was subsequently shown to have interesting properties when applied to natural labelings of other posets. Pechenik defined a K-theoretic version of promotion, pro_K, on m-packed labelings of tableaux. The operator pro was then extended to increasing labelings of other posets. The purpose of the current work is to show that the original action of pro_K on m-packed labelings yields interesting results when applied to partially ordered sets in general, and to rooted trees in particular. We show that under certain conditions, the sizes of the orbits and order of pro_K exhibit nice divisibility properties. We also completely determine, for certain values of m, the orbit sizes for the action on various types of rooted trees such as extended stars, combs, zippers, and a type of three-leaved tree.
Isometry groups of Polish ultrametric spaces
We solve a long-standing open problem, formulated by Krasner in the 1950's, in the context of Polish (i.e. separable complete) ultrametric spaces by providing a characterization of their isometry groups using suitable forms of generalized wreath products of full permutation groups. Since our solution is developed in the finer context of topological (Polish) groups, it also solves a problem of Gao and Kechris from 2003. Furthermore, we provide an exact correspondence between the isometry groups of Polish ultrametric spaces belonging to some natural subclasses and various kinds of generalized wreath products proposed in the literature by Hall, Holland, and Malicki.
Sandwich Monotonicity and the Recognition of Weighted Graph Classes
Edge-weighted graphs play an important role in the theory of Robinsonian matrices and similarity theory, particularly via the concept of level graphs, that is, graphs obtained from an edge-weighted graph by removing all sufficiently light edges. This suggest a natural way of associating to any class $\mathcal{G}$ of unweighted graphs a corresponding class of edge-weighted graphs, namely by requiring that all level graphs belong to $\mathcal{G}$. We show that weighted graphs for which all level graphs are split, threshold, or chain graphs can be recognized in linear time using special edge elimination orderings. We obtain these results by introducing the notion of degree sandwich monotone graph classes. A graph class $\mathcal{G}$ is sandwich monotone if every edge set which may be removed from a graph in $\mathcal{G}$ without leaving the class also contains a single edge that can be safely removed. Furthermore, if we require the safe edge to fulfill a certain degree property, then $\mathcal{G}$ is called degree sandwich monotone. We present necessary and sufficient conditions for the existence of a linear-time recognition algorithm for any weighted graph class whose corresponding unweighted class is degree sandwich monotone and contains all edgeless graphs.
Round Aztec windows, a dual of the Aztec diamond theorem and a curious symmetry of the correlation of diagonal slits
Published
• View Publication
• BIB
Fairly shortly after the publication of the Aztec diamond theorem of Elkies, Kuperberg, Larsen and Propp in 1992, interest arose in finding the number of domino tilings of an Aztec diamond with an ``Aztec window,'' i.e.\ a hole in the shape of a smaller Aztec diamond at its center. Several intriguing patterns were discovered for the number of tilings of such regions, but the numbers themselves were not ``round'' -- they didn't seem to be given by a simple product formula. In this paper we consider a very closely related shape of holes (namely, odd Aztec rectangles), and prove that a large variety of regions obtained from Aztec rectangles by making such holes in them possess the sought-after property that the number of their domino tilings is given by a simple product formula. We find the same to be true for certain symmetric cruciform regions. We also consider graphs obtained from a toroidal Aztec diamond by making such holes in them, and prove a simple formula that governs the way the number of their perfect matchings changes under a natural evolution of the holes. This yields in particular a natural dual of the Aztec diamond theorem. Some implications for the correlation of such holes are also presented, including an unexpected symmetry for the correlation of diagonal slits on the square grid.
Parameterized complexity of isometric path partition: treewidth and diameter
We investigate the parameterized complexity of the Isometric Path Partition problem when parameterized by the treewidth ($\mathrm{tw}$) of the input graph, arguably one of the most widely studied parameters. Courcelle's theorem shows that graph problems that are expressible as MSO formulas of constant size admit FPT algorithms parameterized by the treewidth of the input graph. This encompasses many natural graph problems. However, many metric-based graph problems, where the solution is defined using some metric-based property of the graph (often the distance) are not expressible as MSO formulas of constant size. These types of problems, Isometric Path Partition being one of them, require individual attention and often draw the boundary for the success story of parameterization by treewidth.
We prove that Isometric Path Partition is $W[1]$-hard when parameterized by treewidth (in fact, even pathwidth), answering the question by Dumas et al. [SIDMA, 2024], Fernau et al. [CIAC, 2023], and confirming the aforementioned tendency. We complement this hardness result by designing a tailored dynamic programming algorithm running in $n^{O(\mathrm{tw})}$ time. This dynamic programming approach also results in an algorithm running in time $\textrm{diam}^{O(\mathrm{tw}^2)} \cdot n^{O(1)}$, where $\textrm{diam}$ is the diameter of the graph. Note that the dependency on treewidth is unusually high, as most problems admit algorithms running in time $2^{O(\mathrm{tw})}\cdot n^{O(1)}$ or $2^{O(\mathrm{tw} \log (\mathrm{tw}))}\cdot n^{O(1)}$. However, we rule out the possibility of a significantly faster algorithm by proving that Isometric Path Partition does not admit an algorithm running in time $\textrm{diam}^{o(\mathrm{tw}^2/(\log^3(\mathrm{tw})))} \cdot n^{O(1)}$, unless the Randomized-ETH fails.
Asymptotically-tight packing and covering with transversal bases in Rota's basis conjecture
In 1989, Rota conjectured that, given any $n$ bases $B_1,\dots,B_n$ of a vector space of dimension $n$, or more generally a matroid of rank $n$, it is possible to rearrange these into $n$ disjoint transversal bases. Here, a transversal basis is a basis consisting of exactly one element from each of the original bases $B_1,\dots,B_n$. Two natural approaches to this conjecture are, to ask in this setting a) how many disjoint transversal bases can we find and b) how few transversal bases do we need to cover all the elements of $B_1,\dots,B_n$? In this paper, we give asymptotically-tight answers to both of these questions.
For a), we show that there are always $(1-o(1))n$ disjoint transversal bases, improving a result of Bucić, Kwan, Pokrovskiy, and Sudakov that $(1/2-o(1))n$ disjoint transversal bases always exist. For b), we show that $B_1\cup\dots \cup B_n$ can be covered by $(1+o(1))n$ transversal bases, improving a result of Aharoni and Berger using instead $2n$ transversal bases, and a subsequent result of the Polymath project on Rota's basis conjecture using $2n-2$ transversal bases.
Treedepth and 2-treedepth in graphs with no long induced paths
Published
• View Publication
• BIB
Huynh, Joret, Micek, Seweryn, and Wollan (Combinatorica, 2022) introduced a graph parameter, later referred to as 2-treedepth and denoted $\mathrm{td}_2(\cdot)$. The parameter is the natural 2-connected version of treedepth. For every graph, 2-treedepth is at most the treedepth but can be much smaller: long paths have arbitrary treedepth but 2-treedepth equal to 2. We prove a converse showing that every graph with no induced path on $t$ vertices and 2-treedepth at most $k$ has treedepth at most $g(k, t)$. In fact, we determine the value of the function $g$ up to a multiplicative factor of 2.
Additionally, we give asymptotically tight bounds for the problem of forcing long induced paths in graphs with long paths and bounded 2-treedepth or bounded pathwidth. The latter result answers a question of Hilaire and Raymond (E-JC, 2024).
On the diameter and girth of zero-divisor graphs of inverse semigroups
Let $S$ be an inverse semigroup with zero and let $Z(S)^\times$ be its set of non-zero divisors with respect to the natural partial order $\le $ on $S$, that is, $a \in Z(S)^\times $ if there exists $b\in S\setminus\{0\}$ with $ω(a, b) = \{c \in S: c \leq a\ \mbox{and}\ c \leq b\}=\{0\}$. The set $Z(S)^\times$ makes up the vertices of the corresponding {\it zero-divisor graph} $Γ(S)$, with two distinct vertices $a, b$ forming an edge if $ω(a, b)=\{0\}$. We characterize {\it zero-divisor graphs} of inverse semigroups in terms of their diameter and girth. We also classify inverse semigroups without zero by building a connection between the diameter (girth) and the least group congruence $σ$ on an inverse semigroup without zero. Finally, we give a description of the diameter and girth of graph inverse semigoups $I(G)$ in terms of the set of vertices and the set of edges of a graph $G$.
Descent sets of cyclic permutations in types B and D
Elizalde constructed a bijection $φ$ from the cyclic permutations $π\in S_{n+1}$ to the symmetric group $S_n$ satisfying $\operatorname{Des}(π)\cap \{1,2,\ldots,n-1\}=\operatorname{Des}(φ(π))$. We give a corresponding result on the signed symmetric group $B_n$ by constructing a function $Φ$ from the cyclic signed permutations $π\in B_{n+1}$ to $B_n$ satisfying $\operatorname{Des}(π)\cap \{0,1,\ldots,n-1\}=\operatorname{Des}(Φ(π))$. Moreover, letting $D_{n+1}\subseteq B_{n+1}$ be the subgroup consisting of signed permutations with an even number of sign changes, we show that the restriction of $Φ$ to the cyclic signed permutations in $D_{n+1}$ or its complement is a bijection. Our function $Φ$ reduces to Elizalde's original bijection $φ$ under the natural identification of the symmetric groups as subgroups of the signed symmetric groups. One application of our results is asymptotic normality of the descent and flag major index statistics on the cyclic signed permutations in $B_{n}$ and $D_n$.
All rectangles exhibit canonical Ramsey property
In a seminal work, Cheng and Xu proved that for any positive integer \(r\), there exists an integer \(n_0\), independent of \(r\), such that every \(r\)-coloring of the \(n\)-dimensional Euclidean space \(\mathbb{E}^n\) with \(n \ge n_0\) contains either a monochromatic or a rainbow congruent copy of a square. This phenomenon of dimension-independence was later formalized as the canonical Ramsey property by Geheér, Sagdeev, and Tóth, who extended the result to all hypercubes, and to rectangles whose side lengths \(a\), \(b\) satisfy \((\frac{a}{b})^2\) is rational. They further posed the natural problem of whether every rectangle admits the canonical Ramsey property, regardless of the aspect ratio.
In this paper, we show that all rectangles exhibit the canonical Ramsey property, thereby completely resolving this open problem of Geheér, Sagdeev, and Tóth. Our proof introduces a new structural reduction that identifies product configurations with bounded color complexity, enabling the application of simplex Ramsey theorems and product Ramsey amplification to control arbitrary aspect ratios.
On the Existence of Optimal Strategies in a Combinatorial Game
We study a combinatorial game derived from a problem in the German National Mathematics Competition. In this game, two players take turns removing numbers from a finite set of natural numbers, aiming to satisfy a certain divisibility condition. We introduce a generalized version of the original game, which depends on two parameters: the size of the initial number set and a fixed divisor. For both players, we identify a broad range of game variants in which they can force a win. In particular, we show that for even-sized sets, the second player to move can always win, while for many odd-sized cases, the first player to move has a winning strategy. A web implementation of the game demonstrates some of our results in practice.
Graphs with tree decompositions of small graphs and realizing them as the Reeb graphs of real algebraic functions
We have been interested in graphs and realizing them as Reeb graphs of explicit real algebraic functions.
The Reeb graph of a differentiable function is the quotient space of the manifold of the domain, regarded as the space consisting of all components of preimages of all single points. Reeb graphs have been fundamental and strong tools in geometry of manifolds since the birth of theory of Morse functions, in the former half of the 20th century. We can easily see that the Reeb graph of the natural height of the unit sphere whose dimension is at least $2$ is a graph with exactly one edge and two edges.
We are concerned with realizations of graphs decomposed into trees nicely, each vertex of which corresponds to a graph with exactly one edge and two edges or a graph with exactly two edges homeomorphic to a circle.
McKay quivers of small finite subgroups of $GL(2,\mathbb{C})$
We explicitly compute the McKay quivers of small finite subgroups of $GL(2,\mathbb{C})$ relative to the natural representation, using character theory and the McKay quivers of finite subgroups of $SU(2)$. We present examples that shows the rich symmetry and combinatorial structure of these quivers. We compare our results with the MacKay quivers computed by Auslander and Reiten.
On a Ramsey--Turán variant of Roth's theorem
A classical theorem of Roth states that the maximum size of a solution-free set of a homogeneous linear equation $\mathcal{L}$ in $\mathbb{F}_p$ is $o(p)$ if and only if the sum of the coefficients of $\mathcal{L}$ is $0$. In this paper, we prove a Ramsey--Turán variant of Roth's theorem, with respect to a natural notion of ``structured'' sets introduced by Erdős and Sárközy in the 1970's. Namely, we show that the following statements are equivalent:
$(a)$ Every solution-free set $A$ of $\mathcal{L}$ in $\mathbb{F}_p$ with $α(\mathrm{Cay}_{\mathbb{F}_p}(A)) = o(p)$ has size $o(p)$.
$(b)$ There exists a non-empty \emph{subset} of coefficients of $\mathcal{L}$ with zero sum.
Phylogenetic network models as graphical models
Published
• View Publication
• BIB
The displayed tree phylogenetic network model is shown to sit as a natural submodel of the graphical model associated to a directed acyclic graph (DAG). This representation allows to derive a number of results about the displayed tree model. In particular, the concept of a local modification to a DAG model is developed and applied to the displayed tree model. As an application, some nonidentifiability issues related to the displayed tree models are highlighted as they relate to reticulation edges and stacked reticulations in the networks. We also derive rank conditions on flattenings of probability tensors for the displayed tree model, generalizing classic results for phylogenetic tree models.
Decomposition Theorem for Product of Fundamental Crystals in Monomial Realization of type $C_n$
Published
• View Publication
• BIB
We consider a product of fundamental crystals of type $C_n$ in monomial realization, where the product means a natural product of Laurent monomials, not a tensor product. Then we shall show that the product still holds a crystal structure and describe how it is decomposed into irreducible crystals, which is, in general, different from the decomposition rule for the tensor product of the fundamental crystals.
The spectra of graph substitutions
Let $(X,E_X)$ and $(V,E_V)$ be finite connected graphs without loops. We assume that $V$ has two distinguished vertices $a,b$ and an automorphism $γ$ which exchanges $a$ and~$b$. The $V$-edge substitution of $X$ is the graph $X[V]$ where each edge $[x,y] \in E_X$ is replaced by a copy of $V$, identifying $x$ with $a$ and $y$ with $b$ or vice versa. (The latter choice does not matter; it yields isomorphic graphs.) The aim is to describe the spectrum of $X[V]$ in terms of the spectra of $X$ and $V$. Instead of the spectra of the adjacency matrices, we consider the versions which are normalised by dividing each row by the row sum (the vertex degree). These are stochastic, reversible matrices, and our approach applies more generally to reversible transition matrices corresponding to arbitrary positive edge weights invariant under $γ$. We write $P$ for the transition matrix over $X$ and $Q$ for the one over $V$. Together, they induce the matrix $P_*$ over $X[V]$.
The main part of the spectrum of $P_*$ is the response of the natural frequencies of $X$ to substituting $V$, given by a functional equation coming from a rational function induced by~$Q$. A second part comes from specific eigenvalues of $Q$, if present. Finally, there is the part of $\mathsf{spec}(P_*)$ whose eigenfunctions have $X$ as a nodal set. The results depend on issues like whether $X$ has circles of even length and on the eigenvalues of the restriction of $Q$ to $V \setminus \{ a,b\}$, which are classified into 4 possible types. Quite subtle is the issue of determining the multiplicities of the latter as eigenvalues of $P_*$ in terms of the input.
A note on multiplicative-inverse chaining in finite fields
We consider chaining multiplicative-inverse operations in finite fields under alternating polynomial bases. When using two distinct polynomial bases to alternate the inverse operation we obtain a partition of $\mathbb F_{p^n}\setminus \mathbb F_p$ into disjoint cycles of even length. This allows a natural interpretation of the cycles as permutation cycles. Finally, we explore chaining under more than two polynomial bases.
An identity relating Catalan numbers to tangent numbers with arithmetic applications
Published
• View Publication
• BIB
We prove a combinatorial identity relating Catalan numbers to tangent numbers arising from the study of peak algebra that was conjectured by Aliniaeifard and Li. This identity leads to the discovery of the intriguing identity $$ \sum_{k=0}^{n-1}{2n\choose 2k+1}2^{2n-2k}(-1)^{k}E_{2k+1}=2^{2n+1}, $$ where $E_{2k+1}$ denote the tangent numbers. Interestingly, the latter identity can be applied to prove that $(n + 1)E_{2n+1}$ is divisible by $2^{2n}$ and the quotient is an odd number, a fact whose traditional proofs require significant calculations. Moreover, we find a natural $q$-analog of the latter identity with a combinatorial proof. This $q$-identity can be applied to prove Foata's divisibility property of the $q$-tangent numbers, which responds to a problem raised by Schützenberger.
Derangements in finite classical groups and characteristic polynomials of random matrices
Published
• View Publication
• BIB
We first obtain explicit upper bounds for the proportion of elements in a finite classical group G with a given characteristic polynomial. We use this to complete the proof that the proportion of elements of a finite classical group G which lie in a proper irreducible subgroup tends to 0 as the dimension of the natural module goes to infinity. This result is analogous to the result of Luczak and Pyber [15] that the proportion of elements of the symmetric group S_n which are contained in a proper transitive subgroup other than the alternating group goes to 0 as n goes to infinity. We also show that the probability that 3 random elements of SL(n,q) invariably generate goes to 0 as n goes to infinity.