Showing 20 papers (Total: 82432 papers, 47671 authors in database)
A numerical study of L-convex polyominoes and 201-avoiding ascent sequences
For L-convex polyominoes we give the asymptotics of the generating function coefficients, obtained by analysis of the coefficients derived from the functional equation given by Castiglione et al. \cite{CFMRR7}. For 201-avoiding ascent sequences, we conjecture the solution, obtained from the first 23 coefficients of the generating function. The solution is D-finite, indeed algebraic. The conjectured solution then correctly generates all subsequent coefficients. We also obtain the asymptotics, both from direct analysis of the coefficients, and from the conjectured solution. As well as presenting these new results, our purpose is to illustrate the methods used, so that they may be more widely applied.
Saturation Problems in Convex Geometric Hypergraphs
A convex geometric hypergraph (abbreviated cgh) consists of a collection of subsets of a strictly convex set of points in the plane. Extremal problems for cgh's have been extensively studied in the literature, and in this paper we consider their corresponding saturation problems. We asymptotically determine the saturation number of two geometrically disjoint $r$-tuples. Further, amongst the eight nonisomorphic $3$-uniform cgh's on two edges, we determine the saturation number for seven of these up to order of magnitude and the eighth up to a log factor.
Critical values for the $β$-transformation with a hole at $0$
Published
• View Publication
• BIB
Given $β\in(1,2]$, let $T_β$ be the $β$-transformation on the unit circle $[0,1)$ such that $T_β(x)=βx\pmod 1$. For each $t\in[0,1)$ let $K_β(t)$ be the survivor set consisting of all $x\in[0,1)$ whose orbit $\{T^n_β(x): n\ge 0\}$ never hits the open interval $(0,t)$. Kalle et al. proved in [Ergodic Theory Dynam. Systems, 40 (9): 2482--2514, 2020] that the Hausdorff dimension function $t\mapsto\dim_H K_β(t)$ is a non-increasing Devil's staircase. So there exists a critical value $τ(β)$ such that $\dim_H K_β(t)>0$ if and only if $t<τ(β)$. In this paper we determine the critical value $τ(β)$ for all $β\in(1,2]$, answering a question of Kalle et al. (2020). For example, we find that for the Komornik-Loreti constant $β\approx 1.78723$ we have $τ(β)=(2-β)/(β-1)$. Furthermore, we show that (i) the function $τ: β\mapstoτ(β)$ is left continuous on $(1,2]$ with right-hand limits everywhere, but has countably infinitely many discontinuities; (ii) $τ$ has no downward jumps, with $τ(1+)=0$ and $τ(2)=1/2$; and (iii) there exists an open set $O\subset(1,2]$, whose complement $(1,2]\setminus O$ has zero Hausdorff dimension, such that $τ$ is real-analytic, convex and strictly decreasing on each connected component of $O$. Consequently, the dimension $\dim_H K_β(t)$ is not jointly continuous in $β$ and $t$. Our strategy to find the critical value $τ(β)$ depends on certain substitutions of Farey words and a renormalization scheme from dynamical systems.
The probability of spanning a classical space by two non-degenerate subspaces of complementary dimension
Published
• View Publication
• BIB
Let $n,n'$ be positive integers and let $V$ be an $(n+n')$-dimensional vector space over a finite field $\mathbb{F}$ equipped with a non-degenerate alternating, hermitian or quadratic form. We estimate the proportion of pairs $(U, U')$, where $U$ is a non-degenerate $n$-subspace and $U'$ is a non-degenerate $n'$-subspace of $V$, such that $U+ U'=V$ (usually such spaces $U$ and $U'$ are not perpendicular). The proportion is shown to be at least $1-c/|\mathbb{F}|$ for some constant $c\leqslant 2$ in the symplectic or unitary cases, and $c<3$ in the orthogonal case.
On the maximum of the weighted binomial sum $2^{-r}\sum_{i=0}^r\binom{m}{i}$
Published
• View Publication
• BIB
The weighted binomial sum $f_m(r)=2^{-r}\sum_{i=0}^r\binom{m}{i}$ arises in coding theory and information theory. We prove that,for $m\not \in\{0,3,6,9,12\}$, the maximum value of $f_m(r)$ with $0\leqslant r\leqslant m$ occurs when $r=\lfloor m/3\rfloor+1$. We also show this maximum value is asymptotic to $\frac{3}{\sqrt{πm}}\left(\frac{3}{2}\right)^m$ as $m\to\infty$.
On dispersability of some circulant graphs
Published
• View Publication
• BIB
The matching book thickness of a graph is the least number of pages in a book embedding such that each page is a matching. A graph is dispersable if its matching book thickness equals its maximum degree. Minimum page matching book embeddings are given for bipartite and for most non-bipartite circulants contained in the (Harary) cube of a cycle and for various higher-powers.
Quasi-Best Match Graphs
Quasi-best match graphs (qBMGs) are a hereditary class of directed, properly vertex-colored graphs. They arise naturally in mathematical phylogenetics as a generalization of best match graphs, which formalize the notion of evolutionary closest relatedness of genes (vertices) in multiple species (vertex colors). They are explained by rooted trees whose leaves correspond to vertices. In contrast to BMGs, qBMGs represent only best matches at a restricted phylogenetic distance. We provide characterizations of qBMGs that give rise to polynomial-time recognition algorithms and identify the BMGs as the qBMGs that are color-sink-free. Furthermore, two-colored qBMGs are characterized as directed graphs satisfying three simple local conditions, two of which have appeared previously, namely bi-transitivity in the sense of Das et al. (2021) and a hierarchy-like structure of out-neighborhoods, i.e., $N(x)\cap N(y)\in\{N(x),N(y),\emptyset\}$ for any two vertices $x$ and $y$. Further results characterize qBMGs that can be explained by binary phylogenetic trees.
Canonical theorems for colored integers with respect to some linear combinations
Published
• View Publication
• BIB
Hindman proved in 1979 that no matter how natural numbers are colored in r colors, for a fixed positive integer r, there is an infinite subset X of numbers and a color t such that for any finite non-empty subset X' of X, the color of the sum of elements from X' is t. Later, Taylor extended this result to colorings with unrestricted number of colors and five unavoidable color patterns on finite sums. This result is referred to as a canonization of Hindman's theorem and parallels the Canonical Ramsey Theorem of Erdos and Rado. We extend Taylor's result from sums, that are linear combinations with coefficients 1, to several linear combinations with coefficients 1 and -1. These results in turn could be interpreted as canonical-type theorems for solutions to infinite systems.
Classes of Explicit Phylogenetic Networks and their Biological and Mathematical Significance
Published
• View Publication
• BIB
The evolutionary relationships among organisms have traditionally been represented using rooted phylogenetic trees. However, due to reticulate processes such as hybridization or lateral gene transfer, evolution cannot always be adequately represented by a phylogenetic tree, and rooted phylogenetic networks that describe such complex processes have been introduced as a generalization of rooted phylogenetic trees. In fact, estimating rooted phylogenetic networks from genomic sequence data and analyzing their structural properties is one of the most important tasks in contemporary phylogenetics. Over the last two decades, several subclasses of rooted phylogenetic networks (characterized by certain structural constraints) have been introduced in the literature, either to model specific biological phenomena or to enable tractable mathematical and computational analyses. In the present manuscript, we provide a thorough review of these network classes, as well as provide a biological interpretation of the structural constraints underlying these networks where possible. In addition, we discuss how imposing structural constraints on the network topology can be used to address the scalability and identifiability challenges faced in the estimation of phylogenetic networks from empirical data.
Generalised Flatness Constants: A Framework Applied in Dimension $2$
Let $A \in \{ \mathbb{Z}, \mathbb{R} \}$ and $X \subset \mathbb{R}^d$ be a bounded set. Affine transformations given by an automorphism of $\mathbb{Z}^d$ and a translation in $A^d$ are called (affine) $A$-unimodular transformations. The image of $X$ under such a transformation is called an $A$-unimodular copy of $X$. It was shown in [Averkov, Hofscheier, Nill, 2019] that every convex body whose width is "big enough" contains an $A$-unimodular copy of $X$. The threshold when this happens is called the generalised flatness constant $\mathrm{Flt}_d^A(X)$. It resembles the classical flatness constant if $A=\mathbb{Z}$ and $X$ is a lattice point. In this work, we introduce a general framework for the explicit computation of these numerical constants. The approach relies on the study of $A$-$X$-free convex bodies generalising lattice-free (also known as hollow) convex bodies. We then focus on the case that $X=P$ is a full-dimensional polytope and show that inclusion-maximal $A$-$P$-free convex bodies are polytopes. The study of those inclusion-maximal polytopes provides us with the means to explicitly determine generalised flatness constants. We apply our approach to the case $X=Δ_2$ the standard simplex in $\mathbb{R}^2$ of normalised volume $1$ and compute $\mathrm{Flt}^{\mathbb{R}}_2(Δ_2)=2$ and $\mathrm{Flt}^{\mathbb{Z}}_2(Δ_2)=\frac{10}3$.
Excessive symmetry can preclude cutoff
Published
• View Publication
• BIB
For each $n,r \geq 0$, let $KG(n,r)$ denote the Kneser Graph; that whose vertices are labeled by $r$-element subsets of $n$, and whose edges indicate that the corresponding subsets are disjoint. Fixing $r$ and allowing $n$ to vary, one obtains a family of nested graphs, each equipped with a natural action by a symmetric group $\mathfrak{S}_n$, such that these actions are compatible and transitive. Families of graphs of this form were introduced by the authors in [RW], while a systematic study of random walks on these families were considered in [RW2]. In this paper we illustrate that these random walks never exhibit the so-called product condition, and therefore also never display total variation cutoff as defined by Aldous and Diaconis [AD]. In particular, we provide a large family of algebro-combinatorially motivated examples of collections of Markov chains which satisfy some well-known algebraic heuristics for cutoff, while not actually having the property.
Double Schubert polynomials do have saturated Newton polytopes
Published
• View Publication
• BIB
We prove that double Schubert polynomials have the Saturated Newton Polytope property. This settles a conjecture by Monical, Tokcan and Yong. Our ideas are motivated by the theory of multidegrees. We introduce a notion of standardization of ideals that enables us to study non-standard multigradings. This allows us to show that the support of the multidegree polynomial of each Cohen-Macaulay prime ideal, and in particular, that of each Schubert determinantal ideal is a discrete polymatroid.
A Multiplicative Property for Zero-Sums II
Published
• View Publication
• BIB
Let $G=C_n\oplus C_{mn}$ with $n\geq 2$ and $m\geq 1$, and let $k\in [0,n-1]$. It is known that any sequence of $mn+n-1+k$ terms from $G$ must contain a nontrivial zero-sum of length at most $mn+n-1-k$. The associated inverse question is to characterize those sequences with maximal length $mn+n-2+k$ that fail to contain a nontrivial zero-sum subsequence of length at most $mn+n-1-k$. For $k\leq 1$, this is the inverse question for the Davenport Constant. For $k=n-1$, this is the inverse question for the $η(G)$ invariant concerning short zero-sum subsequences. The structure in both these cases is known, and the structure for $k\in [2,n-2]$ when $m=1$ was studied previously with it conjectured that they must have the form $S=e_1^{[n-1]}\boldsymbol{\cdot} e_2^{[n-1]}\boldsymbol{\cdot} (e_1+e_2)^{[k]}$ for some basis $(e_1,e_2)$, with the conjecture established in many cases. We focus on $m\geq 2$. Assuming the conjectured structure holds for $k\in [2,n-2]$ in $C_n\oplus C_n$, we characterize the structure of all sequences of maximal length $mn+n-2+k$ in $C_n\oplus C_{mn}$ that fail to contain a nontrivial zero-sum of length at most $mn+n-1-k$, showing they must have either have the form $S=e_1^{[n-1]}\boldsymbol{\cdot} e_2^{[sn-1]}\boldsymbol{\cdot} (e_1+e_2)^{[(m-s)n+k]}$ for some $s\in [1,m]$ and basis $(e_1,e_2)$ with $\mathsf{ord}(e_2)=mn$, or else have the form $S=g_1^{[n-1]}\boldsymbol{\cdot} g_2^{[n-1]}\boldsymbol{\cdot} (g_1+g_2)^{[(m-1)n+k]}$ for some generating set $\{g_1,g_2\}$ with $\mathsf{ord}(g_1+g_2)=mn$. Additionally, we give a new proof of the precise structure in the case $k=n-1$ for $m=1$. Combined with known results, our results unconditionally establish the structure of extremal sequences in $G=C_n\oplus C_{mn}$ in many cases.
Generalized Larcombe-Fenessey invariants of matrix powers
Published
• View Publication
• BIB
In this article, we have found significant generalization of the invariance properties of powers of matrices discovered by Larcombe, Fenessey and further explored by Zeilberger. Moreover, we found interesting new results exhibiting similar phenomena in a more general setup.
Distributions on partitions arising from Hilbert schemes and hook lengths
Published
• View Publication
• BIB
Recent works at the interface of algebraic combinatorics, algebraic geometry, number theory, and topology have provided new integer-valued invariants on integer partitions. It is natural to consider the distribution of partitions when sorted by these invariants in congruence classes. We consider the prominent situations which arise from extensions of the Nekrasov-Okounkov hook product formula, and from Betti numbers of various Hilbert schemes of $n$ points on $\mathbb{C}^2.$ For the Hilbert schemes, we prove that homology is equidistributed as $n\to \infty.$ For $t$-hooks, we prove distributions which are often not equidistributed. The cases where $t\in \{2, 3\}$ stand out, as there are congruence classes where such counts are zero. To obtain these distributions, we obtain analytic results which are of independent interest. We determine the asymptotics, near roots of unity, of the ubiquitous infinite products $$ F_1(ξ; q):=\prod_{n=1}^{\infty}\left(1-ξq^n\right), \ \ \ F_2(ξ; q):=\prod_{n=1}^{\infty}\left(1-(ξq)^n\right) \ \ \ {\text {and}}\ \ \ F_3(ξ; q):=\prod_{n=1}^{\infty}\left(1-ξ^{-1}(ξq)^n\right). $$
Integral closure of small powers of edge ideals and their regularity
Published
• View Publication
• BIB
Let $I(G)$ be the edge ideal of a simple graph $G$ over a field k. We prove that $${\rm reg}(\overline {I(G)^s}) = {\rm reg}(I(G)^s),$$ for all $s \le 4$. Furthermore, we provide an example of a graph $G$ such that $${\rm reg} I(G)^s = {\rm reg} \overline{I(G)^s} = {\rm reg} I(G)^{(s)} = \begin{cases} 5 + 2s & \text{ if char k} = 2 \\ 4 + 2s & \text{ if char k} \neq 2, \end{cases}$$ for all $s \ge 1.$
On Schützenberger modules of the cactus group
Published
• View Publication
• BIB
The cactus group acts on the set of standard Young tableau of a given shape by (partial) Schützenberger involutions. It is natural to extend this action to the corresponding Specht module by identifying standard Young tableau with the Kazhdan-Lusztig basis. We term these representations of the cactus group "Schützenberger modules", denoted $S^λ_{\mathsf{Sch}}$, and in this paper we investigate their decomposition into irreducible components. We prove that when $λ$ is a hook shape, the cactus group action on $S^λ_{\mathsf{Sch}}$ factors through $S_{n-1}$ and the resulting multiplicities are given by Kostka coefficients. Our proof relies on results of Berenstein and Kirillov and Chmutov, Glick, and Pylyavskyy.
Induction on Descent in Leaper Graphs
We construct an infinite ternary tree $\mathfrak{L}$ whose root is the knight and whose vertices are all skew free leapers. We define the descent of a skew free leaper to be its "address" within $\mathfrak{L}$. We introduce three transformations which relate the leaper graphs of a skew free leaper to the leaper graphs of its three children in $\mathfrak{L}$. By starting with the knight and then applying these transformations so as to advance throughout $\mathfrak{L}$, we can establish theorems about all skew free leapers. We call this proof technique induction on descent and with its help we resolve a number of questions about leaper graphs.
Non-zero sum Heffter arrays and their applications
Published
• View Publication
• BIB
In this paper we introduce a new class of partially filled arrays that, as Heffter arrays, are related to difference families, graph decompositions and biembeddings. A non-zero sum Heffter array $\mathrm{N}\mathrm{H}(m,n; h,k)$ is an $m \times n$ p. f. array with entries in $\mathbb{Z}_{2nk+1}$ such that: each row contains $h$ filled cells and each column contains $k$ filled cells; for every $x\in \mathbb{Z}_{2nk+1}\setminus\{0\}$, either $x$ or $-x$ appears in the array; the sum of the elements in every row and column is different from $0$ (in $\mathbb{Z}_{2nk+1}$). Here first we explain the connections with relative difference families and with path decompositions of the complete multipartite graph. Then we present a complete solution for the existence problem and a constructive complete solution for the square case and for the rectangular case with no empty cells when the additional, very restrictive, property of "globally simple" is required. Finally, we show how these arrays can be used to construct biembeddings of complete graphs.
On Hosoya's dormants and sprouts
Published
• View Publication
• BIB
In a recent series of papers, Hosoya drew the attention to a particular aspect of constructing cospectral graphs by using coalescences: that cospectral graphs can be constructed by attaching multiple copies of a rooted graph in different ways to subsets of vertices of an underlying graph. Our principal focus is to address the expectations and questions raised in Hosoya's papers with regards to this construction. We give an explicit formula for the characteristic polynomial of such multiple coalescences, from which we obtain a necessary and sufficient condition for their cospectrality. We enumerate such cospectral multiple coalescences for a few families of underlying graphs, and show the infinitude of cospectral multiple coalescences having paths as underlying graphs, which were deemed rare by Hosoya.