natural ↗ reference
4897 papers tagged with this keyword
On prefix palindromic length of automatic words
Published
• View Publication
• BIB
The prefix palindromic length $\mathrm{PPL}_{\mathbf{u}}(n)$ of an infinite word $\mathbf{u}$ is the minimal number of concatenated palindromes needed to express the prefix of length $n$ of $\mathbf{u}$. Since 2013, it is still unknown if $\mathrm{PPL}_{\mathbf{u}}(n)$ is unbounded for every aperiodic infinite word $\mathbf{u}$, even though this has been proven for almost all aperiodic words. At the same time, the only well-known nontrivial infinite word for which the function $\mathrm{PPL}_{\mathbf{u}}(n)$ has been precisely computed is the Thue-Morse word $\mathbf{t}$. This word is $2$-automatic and, predictably, its function $\mathrm{PPL}_{\mathbf{t}}(n)$ is $2$-regular, but is this the case for all automatic words?
In this paper, we prove that this function is $k$-regular for every $k$-automatic word containing only a finite number of palindromes. For two such words, namely the paperfolding word and the Rudin-Shapiro word, we derive a formula for this function. Our computational experiments suggest that generally this is not true: for the period-doubling word, the prefix palindromic length does not look $2$-regular, and for the Fibonacci word, it does not look Fibonacci-regular. If proven, these results would give rare (if not first) examples of a natural function of an automatic word which is not regular.
From $χ$- to $χ_p$-bounded classes
Published
• View Publication
• BIB
$χ$-bounded classes are studied here in the context of star colorings and more generally $χ_p$-colorings. This leads to natural extensions of the notion of bounded expansion class and to structural characterization of these. In this paper we solve two conjectures related to star coloring boundedness. One of the conjectures is disproved and in fact we determine which weakening holds true. We give structural characterizations of (strong and weak) $χ_p$-bounded classes. On the way, we generalize a result of Wood relating the chromatic number of a graph to the star chromatic number of its $1$-subdivision. As an application of our characterizations, among other things, we show that for every odd integer $g>3$ even hole-free graphs $G$ contain at most $\varphi(g,ω(G))\,|G|$ holes of length $g$.
Ends of digraphs I: basic theory
In a series of three papers we develop an end space theory for directed graphs. As for undirected graphs, the ends of a digraph are points at infinity to which its rays converge. Unlike for undirected graphs, some ends are joined by limit edges; these are crucial for obtaining the end space of a digraph as a natural (inverse) limit of its finite contraction minors. As our main result in this first paper of our series we show that the notion of directions of an undirected graph, a tangle-like description of its ends, extends to digraphs: there is a one-to-one correspondence between the `directions' of a digraph and its ends and limit edges. In the course of this we extend to digraphs a number of fundamental tools and techniques for the study of ends of graphs, such as the star-comb lemma and Schmidt's ranking of rayless graphs.
Explicit near-fully X-Ramanujan graphs
Let $p(Y_1, \dots, Y_d, Z_1, \dots, Z_e)$ be a self-adjoint noncommutative polynomial, with coefficients from $\mathbb{C}^{r \times r}$, in the indeterminates $Y_1, \dots, Y_d$ (considered to be self-adjoint), the indeterminates $Z_1, \dots, Z_e$, and their adjoints $Z_1^*, \dots, Z_e^*$. Suppose $Y_1, \dots, Y_d$ are replaced by independent random $n \times n$ matching matrices, and $Z_1, \dots, Z_e$ are replaced by independent random $n \times n$ permutation matrices. Assuming for simplicity that $p$'s coefficients are $0$-$1$ matrices, the result can be thought of as a kind of random $rn$-vertex graph $G$. As $n \to \infty$, there will be a natural limiting infinite graph $X$ that covers any finite outcome for $G$. A recent landmark result of Bordenave and Collins shows that for any $\varepsilon > 0$, with high probability the spectrum of a random $G$ will be $\varepsilon$-close in Hausdorff distance to the spectrum of $X$ (once the suitably defined "trivial" eigenvalues are excluded). We say that $G$ is "$\varepsilon$-near fully $X$-Ramanujan". Our work has two contributions: First we study and clarify the class of infinite graphs $X$ that can arise in this way. Second, we derandomize the Bordenave-Collins result: for any $X$, we provide explicit, arbitrarily large graphs $G$ that are covered by $X$ and that have (nontrivial) spectrum at Hausdorff distance at most $\varepsilon$ from that of $X$. This significantly generalizes the recent work of Mohanty et al., which provided explicit near-Ramanujan graphs for every degree $d$ (meaning $d$-regular graphs with all nontrivial eigenvalues bounded in magnitude by $2\sqrt{d-1} + \varepsilon$). As an application of our main technical theorem, we are also able to determine the "eigenvalue relaxation value" for a wide class of average-case degree-$2$ constraint satisfaction problems.
MacMahon's statistics on higher-dimensional partitions
Published
• View Publication
• BIB
We study some combinatorial properties of higher-dimensional partitions which generalize plane partitions. We present a natural bijection between $d$-dimensional partitions and $d$-dimensional arrays of nonnegative integers. This bijection has a number of important applications. We introduce a statistic on $d$-dimensional partitions, called the corner-hook volume, whose generating function has the formula of MacMahon's conjecture. We obtain multivariable formulas whose specializations give analogues of various formulas known for plane partitions. We also introduce higher-dimensional analogues of dual Grothendieck polynomials which are quasisymmetric functions and whose specializations enumerate higher-dimensional partitions of a given shape. Finally, we show probabilistic connections with a directed last passage percolation model in $\mathbb{Z}^d$.
Set Partition Patterns and the Dimension Index
The notion of containment and avoidance provides a natural partial ordering on set partitions. Work of Sagan and of Goyt has led to enumerative results in avoidance classes of set partitions, which were refined by Dahlberg et al. through the use of combinatorial statistics. We continue this work by computing the distribution of the dimension index (a statistic arising from the supercharacter theory of finite groups) across certain avoidance classes of partitions. In doing so we obtain a novel connection between noncrossing partitions and 321-avoiding permutations, as well as connections to many other combinatorial objects such as Motzkin and Fibonacci polynomials.
The Structure of 2-Colored Best Match Graphs
Published
• View Publication
• BIB
Recent investigations in computational biology have focused on a family of 2-colored digraphs, called 2-colored best match graphs, which naturally arise from rooted phylogenetic trees. Actually the defining properties of such graphs are unusual, and a natural question is whether they also have properties which well fit in structural graph theory. In this paper, we prove that some underlying oriented bipartite graphs of a 2-colored best match graph are acyclic and we point out that the arising topological ordering can efficiently be used for constructing new families of 2-colored best match graphs.
Stack-Sorting with Consecutive-Pattern-Avoiding Stacks
Published
• View Publication
• BIB
We introduce consecutive-pattern-avoiding stack-sorting maps $\text{SC}_σ$, which are natural generalizations of West's stack-sorting map $s$ and natural analogues of the classical-pattern-avoiding stack-sorting maps $s_σ$ recently introduced by Cerbai, Claesson, and Ferrari. We characterize the patterns $σ$ such that $\text{Sort}(\text{SC}_σ)$, the set of permutations that are sortable via the map $s\circ\text{SC}_σ$, is a permutation class, and we enumerate the sets $\text{Sort}(\text{SC}_σ)$ for $σ\in\{123,132,321\}$. We also study the maps $\text{SC}_σ$ from a dynamical point of view, characterizing the periodic points of $\text{SC}_σ$ for all $σ\in S_3$ and computing $\max_{π\in S_n}|\text{SC}_σ^{-1}(π)|$ for all $σ\in\{132,213,231,312\}$. In addition, we characterize the periodic points of the classical-pattern-avoiding stack-sorting map $s_{132}$, and we show that the maximum number of iterations of $s_{132}$ needed to send a permutation in $S_n$ to a periodic point is $n-1$. The paper ends with numerous open problems and conjectures.
On the complexity of zero-dimensional multiparameter persistence
Multiparameter persistence is a natural extension of the well-known persistent homology, which has attracted a lot of interest. However, there are major theoretical obstacles preventing the full development of this promising theory.
In this paper we consider the interesting special case of multiparameter persistence in zero dimensions which can be regarded as a form of multiparameter clustering. In particular, we consider the multiparameter persistence modules of the zero-dimensional homology of filtered topological spaces when they are finitely generated. Under certain assumptions, we characterize such modules and study their decompositions. In particular we identify a natural class of representations that decompose and can be extended back to form zero-dimensional multiparameter persistence modules.
Our study of this set of representations concludes that despite the restrictions, there are still infinitely many classes of indecomposables in this set.
Compatible Recurrent Identities of the Sandpile Group and Maximal Stable Configurations
Published in Discrete Appl. Math. 288 (2021) 123-137
• View Publication
• BIB
In the abelian sandpile model, recurrent chip configurations are of interest as they are a natural choice of coset representatives under the quotient of the reduced Laplacian. We investigate graphs whose recurrent identities with respect to different sinks are compatible with each other. The maximal stable configuration is the simplest recurrent chip configuration, and graphs whose recurrent identities equal the maximal stable configuration are of particular interest, and are said to have the complete maximal identity property. We prove that given any graph $G$ one can attach trees to the vertices of $G$ to yield a graph with the complete maximal identity property. We conclude with several intriguing conjectures about the complete maximal identity property of various graph products.
Diameter free estimates for the quadratic Vinogradov mean value theorem
Published
• View Publication
• BIB
Let $s \geq 3$ be a natural number, let $ψ(x)$ be a polynomial with real coefficients and degree $d \geq 2$, and let $A$ be some large, non-empty, finite subset of real numbers. We use $E_{s,2}(A)$ to denote the number of solutions to the system of equations \[ \sum_{i=1}^{s} (ψ(x_i) - ψ(x_{i+s}) )= \sum_{i=1}^{s} ( x_i - x_{i+s} ) = 0, \] where $x_i \in A$ for each $1 \leq i \leq 2s$. Our main result shows that \[ E_{s,2}(A) \ll_{d,s} |A|^{2s -3 + η_{s}}, \] where $η_3 = 1/2$, and $η_{s} = (1/4- 1/7246)\cdot 2^{-s + 4}$ when $s \geq 4$. The only other previously known result of this flavour is due to Bourgain and Demeter, who showed that when $ψ(x) = x^2$ and $s=3$, we have \[E_{3,2}(A) \ll_ε |A|^{3 + 1/2 + ε},\] for each $ε> 0$. Thus our main result improves upon the above estimate, while also generalising it for larger values of $s$ and more wide-ranging choices of $ψ(x)$.
The novelty of our estimates is that they only depend on $d$, $s$ and $|A|$, and are independent of the diameter of $A$. Thus when $A$ is a sparse set, our results are stronger than the corresponding bounds that are provided by methods such as decoupling and efficient congruencing. Consequently, our strategy differs from these two lines of approach, and we employ techniques from incidence geometry, arithmetic combinatorics and analytic number theory. Amongst other applications, our estimates lead to stronger discrete restriction estimates for sparse sequences.
Towards obtaining a 3-Decomposition from a perfect Matching
Published
• View Publication
• BIB
A decomposition of a graph is a set of subgraphs whose edges partition those of $G$. The 3-decomposition conjecture posed by Hoffmann-Ostenhof in 2011 states that every connected cubic graph can be decomposed into a spanning tree, a 2-regular subgraph, and a matching. It has been settled for special classes of graphs, one of the first results being for Hamiltonian graphs. In the past two years several new results have been obtained, adding the classes of plane, claw-free, and 3-connected tree-width 3 graphs to the list.
In this paper, we regard a natural extension of Hamiltonian graphs: removing a Hamiltonian cycle from a cubic graph leaves a perfect matching. Conversely, removing a perfect matching $M$ from a cubic graph $G$ leaves a disjoint union of cycles. Contracting these cycles yields a new graph $G_M$. The graph $G$ is star-like if $G_M$ is a star for some perfect matching $M$, making Hamiltonian graphs star-like. We extend the technique used to prove that Hamiltonian graphs satisfy the 3-decomposition conjecture to show that 3-connected star-like graphs satisfy it as well.
Coloring Drawings of Graphs
Published in The Electronic Journal of Combinatorics 29(1) (2022), #P1.17
• View Publication
• BIB
We consider cell colorings of drawings of graphs in the plane. Given a multi-graph $G$ together with a drawing $Γ(G)$ in the plane with only finitely many crossings, we define a cell $k$-coloring of $Γ(G)$ to be a coloring of the maximal connected regions of the drawing, the cells, with $k$ colors such that adjacent cells have different colors.
By the $4$-color theorem, every drawing of a bridgeless graph has a cell $4$-coloring. A drawing of a graph is cell $2$-colorable if and only if the underlying graph is Eulerian. We show that every graph without degree 1 vertices admits a cell $3$-colorable drawing. This leads to the natural question which abstract graphs have the property that each of their drawings has a cell $3$-coloring. We say that such a graph is universally cell $3$-colorable. We show that every $4$-edge-connected graph and every graph admitting a nowhere-zero $3$-flow is universally cell $3$-colorable. We also discuss circumstances under which universal cell $3$-colorability guarantees the existence of a nowhere-zero $3$-flow. On the negative side, we present an infinite family of universally cell $3$-colorable graphs without a nowhere-zero $3$-flow. On the positive side, we formulate a conjecture which has a surprising relation to a famous open problem by Tutte known as the $3$-flow-conjecture. We prove our conjecture for subcubic and for $K_{3,3}$-minor-free graphs.
Numerical Semigroups of small and large type
Published
• View Publication
• BIB
A numerical semigroup is a sub-semigroup of the natural numbers that has a finite complement. Some of the key properties of a numerical semigroup are its Frobenius number F, genus g and type t. It is known that for any numerical semigroup $\frac{g}{F+1-g}\leq t\leq 2g-F$. Numerical semigroups with $t=2g-F$ are called almost symmetric, we introduce a new property that characterises them. We give an explicit characterisation of numerical semigroups with $t=\frac{g}{F+1-g}$. We show that for a fixed $α$ the number of numerical semigroups with Frobenius number $F$ and type $F-α$ is eventually constant for large $F$. Also the number of numerical semigroups with genus $g$ and type $g-α$ is also eventually constant for large $g$.
On monochromatic solutions to $x-y=z^2$
Published in Acta Math. Hungar. 161 (2020), no. 2, 550-556
• View Publication
• BIB
For $k \in \mathbb{N}$, write $S(k)$ for the largest natural number such that there is a $k$-colouring of $\{1,\dots,S(k)\}$ with no monochromatic solution to $x-y=z^2$. That $S(k)$ exists is a result of Bergelson, and a simple example shows that $S(k) \geq 2^{2^{k-1}}$. The purpose of this note is to show that $S(k)\leq 2^{2^{2^{O(k)}}}$.
Random $K_k$-removal algorithm
One interesting question is how a graph develops from some constrained random graph process, which is a fundamental mechanism in the formation and evolution of dynamic networks. The problem here is referred to the random $K_k$-removal algorithm. For a fixed integer $k\geqslant 3$, it starts with a complete graph on $n\rightarrow\infty$ vertices and iteratively removes the edges of an uniformly chosen $K_k$. This algorithm terminates once no $K_k$s remain and at the same time it generates one linear $k$-uniform hypergraph. For $k=3$, it was shown that the size in the final graph is $n^{3/2+o(1)}$. Less results are on the cases when $k\geqslant 4$. In this paper, we prove that the exact expected trajectories of various key parameters in the algorithm to some iteration such that the final size in the algorithm is at most $n^{2-1/(k(k-1)-2)+o(1)}$ for $k\geqslant 4$. We also show the bound is a natural barrier.
Genus expansion of matrix models and $\hbar$ expansion of KP hierarchy
Published in J. High Energ. Phys. 2020, 38 (2020)
• View Publication
• BIB
We study $\hbar$ expansion of the KP hierarchy following Takasaki-Takebe arXiv:hep-th/9405096 considering several examples of matrix model $τ$-functions with natural genus expansion. Among the examples there are solutions of KP equations of special interest, such as generating function for simple Hurwitz numbers, Hermitian matrix model, Kontsevich model and Brezin-Gross-Witten model. We show that all these models with parameter $\hbar$ are $τ$-functions of the $\hbar$-KP hierarchy and the expansion in $\hbar$ for the $\hbar$-KP coincides with the genus expansion for these models. Furthermore, we show a connection of recent papers considering the $\hbar$-formulation of the KP hierarchy arXiv:1509.04472, arXiv:1512.07172 with original Takasaki-Takebe approach. We find that in this approach the recovery of enumerative geometric meaning of $τ$-functions is straightforward and algorithmic.
Induced orders in free monoids of words
A family of partial orders in the free monoid of words, induced from a partial order in alphabet, is presented. The induced orders generalize the chronological posets that have been defined for the two-letter alphabet only, and the morphological order. We show that the induced orders are natural with respect to alphabet homomorphisms.
The adjacent Hindman's theorem for uncountable groups
Published in Colloquium Mathematicum 173 no. 2 (2023), 273-284
• View Publication
• BIB
Recent results of Hindman, Leader and Strauss and of the second author and Rinot showed that some natural analogs of Hindman's Theorem fail for all uncountable cardinals. Results in the positive direction were obtained by Komjáth, the first author, and the second author and Lee, who showed that there are arbitrarily large Abelian groups satisfying some Hindman-type property. Inspired by an analogous result studied by the first author in the countable setting, we prove a new variant of Hindman's Theorem for uncountable cardinals, called the Adjacent Hindman's Theorem: For every $κ$ there is a $λ$ such that, whenever a group $G$ of cardinality $λ$ is coloured with $κ$ colours, there exists a $λ$-sized injective sequence of elements of $G$ with all finite products of adjacent terms of the sequence of the same colour. We obtain bounds on $λ$ as a function of $κ$, and prove that such bounds are optimal. This is the first example of a Hindman-type result for uncountable cardinals that we can prove also in the non-Abelian setting and, furthermore, it is the first such example where monochromatic products (or sums) of unbounded length are guaranteed.
A Complexity Dichotomy for Permutation Pattern Matching on Grid Classes
Permutation Pattern Matching (PPM) is the problem of deciding for a given pair of permutations P and T whether the pattern P is contained in the text T. Bose, Buss and Lubiw showed that PPM is NP-complete. In view of this result, it is natural to ask how the situation changes when we restrict the pattern P to a fixed permutation class C; this is known as the C-Pattern PPM problem.
Grid classes are special kind of permutation classes, consisting of permutations admitting a grid-like decomposition into simpler building blocks. Of particular interest are the so-called monotone grid classes, in which each building block is a monotone sequence. Recently, it has been discovered that grid classes, especially the monotone ones, play a fundamental role in the understanding of the structure of general permutation classes. This motivates us to study the hardness of C-Pattern PPM for a (monotone) grid class C.
We provide a complexity dichotomy for C-Pattern PPM when C is taken to be a monotone grid class. Specifically, we show that the problem is polynomial-time solvable if a certain graph associated with C, called the cell graph, is a forest, and it is NP-complete otherwise. We further generalize our results to grid classes whose blocks belong to classes of bounded grid-width. We show that the C-Pattern PPM for such a grid class C is polynomial-time solvable if the cell graph of C avoids a cycle or a certain special type of path, and it is NP-complete otherwise.