sequence
6845 papers tagged with this keyword
Merged-log-concavity of rational functions, almost strictly unimodal sequences, and phase transitions of ideal boson-fermion gases
We obtain some new results on the unimodal sequences of the real values of rational functions by polynomials with positive integer coefficients. Thus, we introduce the notion of merged-log-concavity of rational functions. Roughly speaking, the notion extends Stanley's $q$-log-concavity of polynomials.
We construct explicit merged-log-concave rational functions by $q$-binomial coefficients, Hadamard products, and convolutions, extending the Cauchy-Binet formula. Then, we obtain the unimodal sequences of rational functions by Young diagrams. Moreover, we consider the variation of unimodal sequences by critical points that separate strictly increasing, strictly decreasing, and hill-shape sequences among almost strictly unimodal sequences. Also, the critical points are zeros of polynomials in a suitable setting.
The study above extends the $t$-power series of $(\pm t;q)_{\infty}^{\mp 1}$ to some extent by polynomials with positive integer coefficients and the variation of unimodal sequences. We then obtain the golden ratio of quantum dilogarithms ($q$-exponentials) as a critical point. Additionally, we consider eta products, generalized Narayana numbers, and weighted $q$-multinomial coefficients, which we introduce.
In statistical mechanics, we discuss the grand canonical partition functions of some ideal boson-fermion gases with or without Casimir energies (Ramanujan summation). The merged-log-concavity gives phase transitions on Helmholtz free energies by critical points of the metallic ratios including the golden ratio. In particular, the phase transitions implies non-zero particle vacua from zero particle vacua as the temperature rises.
A method for eternally dominating strong grids
Published
• View Publication
• BIB
In the eternal domination game, an attacker attacks a vertex at each turn and a team of guards must move a guard to the attacked vertex to defend it. The guards may only move to adjacent vertices and no more than one guard may occupy a vertex. The goal is to determine the eternal domination number of a graph which is the minimum number of guards required to defend the graph against an infinite sequence of attacks. In this paper, we continue the study of the eternal domination game on strong grids. Cartesian grids have been vastly studied with tight bounds for small grids such as $2\times n$, $3\times n$, $4\times n$, and $5\times n$ grids, and recently it was proven in [Lamprou et al., CIAC 2017, 393-404] that the eternal domination number of these grids in general is within $O(m+n)$ of their domination number which lower bounds the eternal domination number. Recently, Finbow et al. proved that the eternal domination number of strong grids is upper bounded by $\frac{mn}{6}+O(m+n)$. We adapt the techniques of [Lamprou et al., CIAC 2017, 393-404] to prove that the eternal domination number of strong grids is upper bounded by $\frac{mn}{7}+O(m+n)$. While this does not improve upon a recently announced bound of $\lceil\frac{m}{3}\rceil \lceil\frac{n}{3}\rceil+O(m\sqrt{n})$ [Mc Inerney, Nisse, Pérennes, CIAC 2019] in the general case, we show that our bound is an improvement in the case where the smaller of the two dimensions is at most $6179$.
Alternating Sign Hypermatrix Decompositions of Latin-like Squares
Published
• View Publication
• BIB
To any $n \times n$ Latin square $L$, we may associate a unique sequence of mutually orthogonal permutation matrices $P = P_1, P_2, ..., P_n$ such that $L = L(P) = \sum kP_k$. Brualdi and Dahl (2018) described a generalisation of a Latin square, called an alternating sign hypermatrix Latin-like square (ASHL), by replacing $P$ with an alternating sign hypermatrix (ASHM). An ASHM is an $n \times n \times n$ (0,1,-1)-hypermatrix in which the non-zero elements in each row, column, and vertical line alternate in sign, beginning and ending with $1$. Since every sequence of $n$ mutually orthogonal permutation matrices forms the planes of a unique $n \times n \times n$ ASHM, this generalisation of Latin squares follows very naturally, with an ASHM $A$ having corresponding ASHL $L = L(A) =\sum kA_k$, where $A_k$ is the $k^{\text{th}}$ plane of $A$. This paper addresses some open problems posed in Brualdi and Dahl's article, firstly by characterising how pairs of ASHMs with the same corresponding ASHL relate to one another and providing a tight lower bound on $n$ for which two $n \times n \times n$ ASHMs can correspond to the same ASHL, and secondly by exploring the maximum number of times a particular integer may occur as an entry of an $n \times n$ ASHL. A general construction is given for an $n \times n$ ASHL with the same entry occurring $\lfloor\frac{n^2 + 4n -19}{2}\rfloor$ times, improving considerably on the previous best construction, which achieved the same entry occuring $2n$ times.
A bijective proof of Kohnert's rule for Schubert polynomials
Published
• View Publication
• BIB
Kohnert proposed the first monomial positive formula for Schubert polynomials as the generating polynomial for certain unit cell diagrams obtained from the Rothe diagram of a permutation. Billey, Jockusch and Stanley gave the first proven formula for Schubert polynomials as the generating polynomial for compatible sequences of reduced words of a permutation. In this paper, we give an explicit bijection between these two models, thereby definitively proving Kohnert's rule for Schubert polynomials.
Jacobi--Trudi formula for refined dual stable Grothendieck polynomials
Published
• View Publication
• BIB
In 2007 Lam and Pylyavskyy found a combinatorial formula for the dual stable Grothendieck polynomials, which are the dual basis of the stable Grothendieck polynomials with respect to the Hall inner product. In 2016 Galashin, Grinberg, and Liu introduced refined dual stable Grothendieck polynomials by putting additional sequence of parameters in the combinatorial formula of Lam and Pylyavskyy. Grinberg conjectured a Jacobi--Trudi type formula for refined dual stable Grothendieck polynomials. In this paper this conjecture is proved by using bijections of Lam and Pylyavskyy.
Geometry of limits of zeros of polynomial sequences of type $(1,2)$
Published
• View Publication
• BIB
We study the root distribution of some univariate polynomials satisfying a recurrence of order two with linear and quadratic polynomial coefficients. We show that the set of non-isolated limits of zeros of the polynomials is the closure of an arc, a circle, an interval or its exterior under the real line, the union of at most two different shapes of the above cases expect the union of an arc and a circle, and some degenerate forms.
Effective formulas for linear recurrence sequences of integers
We propose a new definition of effective formulas for problems in enumerative combinatorics. We outline the proof of the fact that every linear recurrence sequence of integers has such a formula. It follows from a lower bound that can be deduced from the Skolem-Mahler-Lech theorem and the Subspace Theorem. We will give details of this deduction that is due to P. Corvaja in the full version of this extended abstract.
Counting the number of $τ$-exceptional sequences over Nakayama algebras
Published
• View Publication
• BIB
The notion of a $τ$-exceptional sequence was introduced by Buan and Marsh in 2018 as a generalisation of an exceptional sequence for finite dimensional algebras. We calculate the number of complete $τ$-exceptional sequences over certain classes of Nakayama algebras. In some cases, we obtain closed formulas which also count other well known combinatorial objects and exceptional sequences of path algebras of Dynkin quivers.
On an inverse problem of Erd\H os, Kleitman, and Lemke
Published
• View Publication
• BIB
Let $(G, 1_G)$ be a finite group and let $S=g_1\bdot \ldots\bdot g_{\ell}$ be a nonempty sequence over $G$. We say $S$ is a tiny product-one sequence if its terms can be ordered such that their product equals $1_G$ and $\sum_{i=1}^{\ell}\frac{1}{\ord(g_i)}\le 1$. Let $\mathsf {ti}(G)$ be the smallest integer $t$ such that every sequence $S$ over $G$ with $|S|\ge t$ has a tiny product-one subsequence. The direct problem is to obtain the exact value of $\mathsf {ti}(G)$, while the inverse problem is to characterize the structure of long sequences over $G$ which have no tiny product-one subsequences. In this paper, we consider the inverse problem for cyclic groups and we also study both direct and inverse problems for dihedral groups and dicyclic groups.
Formulas in connection with parameters related to convexity of paths on three vertices: caterpillars and unit interval graphs
We present formulas to compute the P3-geodetic number, the P3-hull number and the percolation time for a caterpillar, in terms of certain sequences associated with it. In addition, we find a connection between the percolation time of a unit interval graph and a parameter involving the diameter of a unit interval graph related to it. Finally, we present a hereditary graph class, defined by forbidden induced subgraphs, such that its percolation time is equal to one.
On structures induced by the power sequences of $($\mathbb{Z}/ m\mathbb{Z}$, \cdot)$
In this paper, we explore the structure of $\mathbb{Z}/ m\mathbb{Z}$ in terms of its orbits under modular exponentiation, illustrating this with a sequential power graph that is naturally derived from the orbits by connecting elements of $\mathbb{Z}/ m\mathbb{Z}$ in the orbit order in which they appear.
We find that this graph has a great deal of fascinating algebraic structure. The connected components are composed of orbits that all share at least one element. The vertex sets of the connected components are shown to depend on the factorization of $m$; in fact, the connected components are completely determined by the units of $\mathbb{Z}/ m\mathbb{Z}$, the idempotents of $\mathbb{Z}/ m\mathbb{Z}$ and the square-free divisors of $m$. Both tails and non-tails of the components can be described explicitly and algebraically in terms of these elements of $\mathbb{Z}/ m\mathbb{Z}$. Finally, a lattice of components can be used to show homomorphisms between the non-tails of any two comparable components in the lattice.
This extensive structure is used here to prove an algebraic identity on the roots of an idempotent mod $m$, and may be exploited to prove other identities as well.
On rearrangement inequalities for multiple sequences
Published in Mathematical Inequalities & Applications, vol. 25, no. 2, pp. 511-534, 2022
• View Publication
• BIB
The classical rearrangement inequality provides bounds for the sum of products of two sequences under permutations of terms and show that similarly ordered sequences provide the largest value whereas opposite ordered sequences provide the smallest value. This has been generalized to multiple sequences to show that similarly ordered sequences provide the largest value. However, the permutations of the sequences that result in the smallest value are generally not known. We show a variant of the rearrangement inequality for which a lower bound can be obtained and conditions for which this bound is achieved for a sequence of permutations. We also study a generalization of the rearrangement inequality and a variation where the permutations of terms can be across the various sequences. For this variation, we can also find the minimizing and maximizing sequences under certain conditions. Finally, we also look at rearrangement inequalities of other objects that can be ordered such as functions and matrices.
Characterization of regular checkerboard colourable twisted duals of ribbon graphs
Published
• View Publication
• BIB
The geometric dual of a cellularly embedded graph is a fundamental concept in graph theory and also appears in many other branches of mathematics. The partial dual is an essential generalization which can be obtained by forming the geometric dual with respect to only a subset of edges of a cellularly embedded graph. The twisted dual is a further generalization by combining the partial Petrial. Given a ribbon graph $G$, in this paper, we first characterize regular partial duals of the ribbon graph $G$ by using spanning quasi-tree and its related shorter marking arrow sequence set. Then we characterize checkerboard colourable partial Petrials for any Eulerian ribbon graph by using spanning trees and a related notion of adjoint set. Finally we give a complete characterization of all regular checkerboard colourable twisted duals of a ribbon graph, which solve a problem raised by Ellis-Monaghan and Moffatt [T. Am. Math. Soc., 364(3) (2012), 1529-1569].
Convex geometry and the Erdős-Ginzburg-Ziv problem
Denote by ${\mathfrak s}({\mathbb F}_p^d)$ the Erd{\H o}s--Ginzburg--Ziv constant of ${\mathbb F}_p^d$, that is, the minimum $s$ such that any sequence of $s$ vectors in ${\mathbb F}_p^d$ contains $p$ vectors whose sum is zero. Let ${\mathfrak w}({\mathbb F}_p^d)$ be the maximum size of a sequence of vectors $v_1, \ldots, v_s \in {\mathbb F}_p^d$ such that for any integers $α_1, \ldots, α_s \ge 0$ with sum $p$ we have $α_1 v_1 + \ldots + α_s v_s \neq 0$ unless $α_i = p$ for some $i$.
In 1995, Alon--Dubiner proved that ${\mathfrak s}(\mathbb F_p^d)$ grows linearly in $p$ when $d$ is fixed. In this work, we determine the constant of linearity: for fixed $d$ and growing $p$ we show that ${\mathfrak s}({\mathbb F}_p^d) \sim {\mathfrak w}({\mathbb F}_p^d) p$. Furthermore, for any $p$ and $d$ we show that ${\mathfrak w}({\mathbb F}_p^d) \le {2d-1 \choose d}+1$. In particular, ${\mathfrak s}({\mathbb F}_p^d) \le 4^d p$ for all sufficiently large $p$ and fixed $d$.
Bruhat inversions in Weyl groups and torsion-free classes over preprojective algebras
Published in Comm. Algebra 49 (2021), no. 5, 2156--2189
• View Publication
• BIB
For an element $w$ of the simply-laced Weyl group, Buan-Iyama-Reiten-Scott defined a subcategory $\mathcal{F}(w)$ of a module category over a preprojective algebra of Dynkin type. This paper aims at studying categorical properties of $\mathcal{F}(w)$ via its connection with the root system. We show that by taking dimension vectors, simple objects in $\mathcal{F}(w)$ bijectively correspond to Bruhat inversion roots of $w$. As an application, we obtain a combinatorial criterion for $\mathcal{F}(w)$ to satisfy the Jordan-Hölder property (JHP). To achieve this, we develop a method to find simple objects in a general torsion-free class by using a brick sequence associated to a maximal green sequence of it. For type A case, we give a diagrammatic construction of simple objects, and show that (JHP) can be characterized via a forest-like permutation, introduced by Bousquet-Mélou and Butler in the study of Schubert varieties.
Gowers norms for automatic sequences
We show that any automatic sequence can be separated into a structured part and a Gowers uniform part in a way that is considerably more efficient than guaranteed by the Arithmetic Regularity Lemma. For sequences produced by strongly connected and prolongable automata, the structured part is rationally almost periodic, while for general sequences the description is marginally more complicated. In particular, we show that all automatic sequences orthogonal to periodic sequences are Gowers uniform. As an application, we obtain for any $l \geq 2$ and any automatic set $A \subset \mathbb{N}_0$ lower bounds on the number of $l$-term arithmetic progressions - contained in $A$ - with a given difference. The analogous result is false for general subsets of $\mathbb{N}_0$ and progressions of length $\geq 5$.
Perfect sequence covering arrays
Published in Designs, Codes and Cryptography 88(2020),585-593
• View Publication
• BIB
An $(n,k)$ sequence covering array is a set of permutations of $[n]$ such that each sequence of $k$ distinct elements of $[n]$ is a subsequence of at least one of the permutations. An $(n,k)$ sequence covering array is perfect if there is a positive integer $λ$ such that each sequence of $k$ distinct elements of $[n]$ is a subsequence of precisely $λ$ of the permutations.
While relatively close upper and lower bounds for the minimum size of a sequence covering array are known, this is not the case for perfect sequence covering arrays. Here we present new nontrivial bounds for the latter. In particular, for $k=3$ we obtain a linear lower bound and an almost linear upper bound.
Generating function for Naturalized Series: The case of Ordered Motzkin Words
We continue to consider the ordered lexicographic sequence, which is constructed according to the formal characteristics of a series of natural numbers. For analysis, we selected balanced parentheses with zeros, Motzkin words. As you know, generating functions allow you to work with combinatorial objects by analytical methods. Motzkin words are enumerated by Motzkin numbers, for the generation of which there is a corresponding generating function. In our case, restrictions are imposed on Motzkin words, for example, there are no leading zeros in bracket sets. The purpose of this article is to obtain the generating function of such modified Motzkin words.
Again around frieze patterns
The main goal of this paper is to prove several new results about frieze patterns and their equivalents, the quiddity (or $η$-)sequences and to obtain a formula giving the number of non-similar frieze patterns of given finite width.
Kolakoski Sequence: Links between Recurrence, Symmetry and Limit Density
Published
• View Publication
• BIB
The Kolakoski sequence $S$ is the unique element of $\left\lbrace 1,2 \right\rbrace^ω$ starting with 1 and coinciding with its own run length encoding. We use the parity of the lengths of particular subclasses of initial words of $S$ as a unifying tool to address the links between the main open questions - recurrence, mirror/reversal invariance and asymptotic density of digits. In particular we prove that recurrence implies reversal invariance, and give sufficient conditions which would imply that the density of 1s is $\frac{1}{2}$.