sequence
6966 papers tagged with this keyword
Generalizations of Sturmian sequences associated with $N$-continued fraction algorithms
Published
• View Publication
• BIB
Given a positive integer $N$ and $x$ irrational between zero and one, an $N$-continued fraction expansion of $x$ is defined analogously to the classical continued fraction expansion, but with the numerators being all equal to $N$. Inspired by Sturmian sequences, we introduce the $N$-continued fraction sequences $ω(x,N)$ and $\hatω(x,N)$, which are related to the $N$-continued fraction expansion of $x$. They are infinite words over a two letter alphabet obtained as the limit of a directive sequence of certain substitutions, hence they are $S$-adic sequences. When $N=1$, we are in the case of the classical continued fraction algorithm, and obtain the well-known Sturmian sequences. We show that $ω(x,N)$ and $\hatω(x,N)$ are $C$-balanced for some explicit values of $C$ and compute their factor complexity function. We also obtain uniform word frequencies and deduce unique ergodicity of the associated subshifts. Finally, we provide a Farey-like map for $N$-continued fraction expansions, which provides an additive version of $N$-continued fractions, for which we prove ergodicity and give the invariant measure explicitly.
On basic double G-links of squarefree monomial ideals
Published
• View Publication
• BIB
Nagel and Römer introduced the class of weakly vertex decomposable simplicial complexes, which include matroid, shifted, and Gorenstein complexes as well as vertex decomposable complexes. They proved that the Stanley-Reisner ideal of every weakly vertex decomposable simplicial complex is Gorenstein linked to an ideal of indeterminates via a sequence of basic double G-links. In this paper, we explore basic double G-links between squarefree monomial ideals beyond the weakly vertex decomposable setting.
Our first contribution is a structural result about certain basic double G-links which involve an edge ideal. Specifically, suppose $I(G)$ is the edge ideal of a graph $G$. When $I(G)$ is a basic double G-link of a monomial ideal $B$ on an arbitrary homogeneous ideal $A$, we give a generating set for $B$ in terms of $G$ and show that this basic double G-link must be of degree $1$. Our second focus is on examples from the literature of simplicial complexes known to be Cohen-Macaulay but not weakly vertex decomposable. We show that these examples are not basic double links of any other squarefree monomial ideals.
Content systems and deformations of cyclotomic KLR algebras of type $A$ and $C$
Published in Annals of Representation Theory, 2 (2024), 193-297
• View Publication
• BIB
This paper initiates a systematic study of the cyclotomic KLR algebras of affine types $A$ and $C$. We start by introducing a graded deformation of these algebras and the constructing all of the irreducible representations of the deformed cyclotomic KLR algebras using content systems and a generalisation of the Young's seminormal forms for the symmetric groups. Quite amazingly, this theory simultaneously captures the representation theory of the cyclotomic KLR algebras of types $A$ and $C$, with the main difference being the definition of residue sequences of tableaux. We then use our semisimple deformations to construct two "dual" cellular bases for the non-semisimple KLR algebras of affine types $A$ and $C$. As applications of this theory we recover many of the main features from the representation theory in type $A$, simultaneously proving them for the cyclotomic KLR algebras of types $A$ and $C$. These results are completely new in type $C$ and we, usually, more direct proofs in type $A$. In particular, we show that these algebras categorify the irreducible integrable highest weight modules of the corresponding Kac-Moody algebras, we construct and classify their simple modules, we investigate links with canonical bases and we generalise Kleshchev's modular branching rules to these algebras.
More on lines in Euclidean Ramsey theory
Published
• View Publication
• BIB
Let $\ell_m$ be a sequence of $m$ points on a line with consecutive points at distance one. Answering a question raised by Fox and the first author and independently by Arman and Tsaturian, we show that there is a natural number $m$ and a red/blue-colouring of $\mathbb{E}^n$ for every $n$ that contains no red copy of $\ell_3$ and no blue copy of $\ell_m$.
Matrix periods and competition periods of Boolean Toeplitz matrices
Published in Linear Algebra and its Applications, 672: 228--250, 2023
• View Publication
• BIB
In this paper, we study the matrix period and the competition period of Toeplitz matrices over a binary Boolean ring $\mathbb{B} = \{0,1\}$. Given subsets $S$ and $T$ of $\{1,\ldots,n-1\}$, an $n\times n$ Toeplitz matrix $A=T_n\langle S ; T \rangle$ is defined to have $1$ as the $(i,j)$-entry if and only if $j-i \in S$ or $i-j \in T$. We show that if $\max S+\min T \le n$ and $\min S+\max T \le n$, then $A$ has the matrix period $d/d'$ and the competition period $1$ where $d = \gcd (s+t \mid s \in S, t \in T)$ and $d' = \gcd(d, \min S)$. Moreover, it is shown that the limit of the matrix sequence $\{A^m(A^T)^m\}_{m=1}^\infty$ is a directed sum of matrices of all ones except zero diagonal. In many literatures we see that graph theoretic method can be used to prove strong structural properties about matrices. Likewise, we develop our work from a graph theoretic point of view.
On the Limiting Vacillating Tableaux for Integer Sequences
Published in Journal of Combinatorics, Vol. 15, Issue 3 (2024), pp. 383-400
• View Publication
• BIB
A fundamental identity in the representation theory of the partition algeba is $n^k = \sum_λ f^λm_k^λ$ for $n \geq 2k$, where $λ$ ranges over integer partitions of $n$, $f^λ$ is the number of standard Young tableaux of shape $λ$, and $m_k^λ$ is the number of vacillating tableaux of shape $λ$ and length $2k$. Using a combination of RSK insertion and jeu de taquin, Halverson and Lewandowski constructed a bijection $DI_n^k$ that maps each integer sequence in $[n]^k$ to a pair consisting of a standard Young tableau and a vacillating tableau. In this paper, we show that for a given integer sequence $\boldsymbol{i}$, when $n$ is sufficiently large, the vacillating tableaux determined by $DI_n^k(\boldsymbol{i})$ become stable when $n \rightarrow \infty$; the limit is called the limiting vacillating tableau for $\boldsymbol{i}$. We give a characterization of the set of limiting vacillating tableaux and presents explicit formulas that enumerate those vacillating tableaux.
Taylor coefficients of false Jacobi forms and ranks of unimodal sequences
Published
• View Publication
• BIB
We apply the new framework for modularity of false theta functions developed by the second author and Nazaroglu to study the asymptotic behavior of Taylor coefficients of false Jacobi forms. The examples we study generate moments of the rank for unimodal sequences. For two types of unimodal sequences, we prove asymptotic series for the rank moments.
Birational geometry of generalized Hessenberg varieties and the generalized Shareshian-Wachs conjecture
Published
• View Publication
• BIB
We introduce generalized Hessenberg varieties and establish basic facts. We show that the Tymoczko action of the symmetric group $S_n$ on the cohomology of Hessenberg varieties extends to generalized Hessenberg varieties and that natural morphisms among them preserve the action. By analyzing natural morphisms and birational maps among generalized Hessenberg varieties, we give an elementary proof of the Shareshian-Wachs conjecture. Moreover we present a natural generalization of the Shareshian-Wachs conjecture that involves generalized Hessenberg varieties and provide an elementary proof. As a byproduct, we propose a generalized Stanley-Stembridge conjecture for weighted graphs. Our investigation into the birational geometry of generalized Hessenberg varieties enables us to modify them into much simpler varieties like projective spaces or permutohedral varieties by explicit sequences of blowups or projective bundle maps. Using this, we provide two algorithms to compute the $S_n$-representations on the cohomology of generalized Hessenberg varieties. As an application, we compute representations on the low degree cohomology of some Hessenberg varieties.
Totally non-negativity of a family of change-of-basis matrices
Published
• View Publication
• BIB
Let ${\bf a}=(a_1, a_2, \ldots, a_n)$ and ${\bf e}=(e_1, e_2, \ldots, e_n)$ be real sequences. Denote by $M_{{\bf e}\rightarrow {\bf a}}$ the $(n+1)\times(n+1)$ matrix whose $(m,k)$ entry ($m, k \in \{0,\ldots, n\}$) is the coefficient of the polynomial $(x-a_1)\cdots(x-a_k)$ in the expansion of $(x-e_1)\cdots(x-e_m)$ as a linear combination of the polynomials $1, x-a_1, \ldots, (x-a_1)\cdots(x-a_m)$. By appropriate choice of ${\bf a}$ and ${\bf e}$ the matrix $M_{{\bf e}\rightarrow {\bf a}}$ can encode many familiar doubly-indexed combinatorial sequences, such as binomial coefficients, Stirling numbers of both kinds, Lah numbers and central factorial numbers.
In all four of these examples, $M_{{\bf e}\rightarrow {\bf a}}$ enjoys the property of total non-negativity -- the determinants of all its square submatrices are non-negative. This leads to a natural question: when, in general, is $M_{{\bf e}\rightarrow {\bf a}}$ totally non-negative?
Galvin and Pacurar found a simple condition on ${\bf e}$ that characterizes total non-negativity of $M_{{\bf e}\rightarrow {\bf a}}$ when ${\bf a}$ is non-decreasing. Here we fully extend this result. For arbitrary real sequences ${\bf a}$ and ${\bf e}$, we give a condition that can be checked in $O(n^2)$ time that determines whether $M_{{\bf e}\rightarrow {\bf a}}$ is totally non-negative. When $M_{{\bf e}\rightarrow {\bf a}}$ is totally non-negative, we witness this with a planar network whose weights are non-negative and whose path matrix is $M_{{\bf e}\rightarrow {\bf a}}$. When it is not, we witness this with an explicit negative minor.
Discrete diffusion-type equation on regular graphs and its applications
Published
• View Publication
• BIB
We derive an explicit formula for the fundamental solution $K_{T_{q+1}}(x,x_{0};t)$ to the discrete-time diffusion equation on the $(q+1)$-regular tree $T_{q+1}$ in terms of the discrete $I$-Bessel function. We then use the formula to derive an explicit expression for the fundamental solution $K_{X}(x,x_{0};t)$ to the discrete-time diffusion equation on any $(q+1)$-regular graph $X$. Going further, we develop three applications. The first one is to derive a general trace formula that relates the spectral data on $X$ to its topological data. Though we emphasize the results in the case when $X$ is finite, our method also applies when $X$ has a countably infinite number of vertices. As a second application, we obtain a closed-form expression for the return time probability distribution of the uniform random walk on any $(q+1)$-regular graph. The expression is obtained by relating $K_{X}(x,x_{0};t)$ to the uniform random walk on a $(q+1)$-regular graph. We then show that if $\{X_{h}\}$ is a sequence of $(q+1)$-regular graphs whose number of vertices goes to infinity and which satisfies a certain natural geometric condition, then the limit of the return time probability distributions from $\{X_{h}\}$ is equal to the return time probability distribution on the tree $T_{q+1}$. As a third application, we derive formulas which express the number of distinct closed irreducible walks without tails on a finite graph $X$ in terms of moments of the spectrum of its adjacency matrix.
On the binary linear constant weight codes and their autormorphism groups
We give a characterization for the binary linear constant weight codes by using the symmetric difference of the supports of the codewords. This characterization gives a correspondence between the set of binary linear constant weight codes and the set of partitions for the union of supports of the codewords. By using this correspondence, we present a formula for the order of the automorphism group of a binary linear constant weight code in terms of its parameters. This formula is a key step to determine more algebraic structures on constant weight codes with given parameters. Bonisoli [Bonisoli, A.: Every equidistant linear code is a sequence of dual Hamming codes. Ars Combinatoria 18, 181--186 (1984)] proves that the $q$-ary linear constant weight codes with the same parameters are equivalent (for the binary case permutation equivalent). We also give an alternative proof for Bonisoli's theorem by presenting an explicit permutation on symmetric difference of the supports of the codewords which gives the permutation equivalence between the binary linear constant weight codes.
Discrete dynamics in cluster integrable systems from geometric $R$-matrix transformations
Published in Comb. Theory, 3(2), 2023
• View Publication
• BIB
Cluster integrable systems are a broad class of integrable systems modelled on bipartite dimer models on the torus. Many discrete integrable dynamics arise by applying sequences of local transformations, which form the cluster modular group of the cluster integrable system. This cluster modular group was recently characterized by the first author and Inchiostro. There exist some discrete integrable dynamics that make use of non-local transformations associated with geometric $R$-matrices. In this article we characterize the generalized cluster modular group -- which includes both local and non-local transformations -- in terms of extended affine symmetric groups. We also describe the action of the generalized cluster modular group on the spectral data associated with cluster integrable systems.
Brain Chains as Topological Signatures for Alzheimer's Disease
Published
• View Publication
• BIB
We propose a topological framework to study the evolution of Alzheimer's disease, the most common neurodegenerative disease. The modeling of this disease starts with the representation of the brain connectivity as a graph and the seeding of a toxic protein in a specific region represented by a vertex. Over time, the accumulation of toxic proteins at vertices and their propagation along edges are modeled by a dynamical system on this graph. These dynamics provide an order on the edges of the graph according to the damage created by high concentrations of proteins. This sequence of edges defines a filtration of the graph. We consider different filtrations given by different disease seeding locations. To study this filtration we propose a new combinatorial and topological method. A filtration defines a maximal chain in the partially ordered set of spanning subgraphs ordered by inclusion. To identify similar graphs, and define a topological signature, we quotient this poset by graph homotopy equivalence, which gives maximal chains in a smaller poset. We provide an algorithm to compute this direct quotient without computing all subgraphs and then propose bounds on the total number of graphs up to homotopy equivalence. To compare the maximal chains generated by this method, we extend Kendall's $d_K$ metric for permutations to more general graded posets and establish bounds for this metric. We then demonstrate the utility of this framework on actual brain graphs by studying the dynamics of tau proteins on the structural connectome. {We show that the proposed topological brain chain equivalence classes distinguish different simulated subtypes of Alzheimer's disease.
Variations of Central Limit Theorems and Stirling numbers of the First Kind
Published
• View Publication
• BIB
We construct a new parametrization of double sequences $\{A_{n,k}(s)\}_{n,k}$ between $A_{n,k}(0)= \binom{n-1}{k-1}$ and $A_{n,k}(1)= \frac{1}{n!}\stirl{n}{k}$, where $\stirl{n}{k}$ are the unsigned Stirling numbers of the first kind. For each $s$ we prove a central limit theorem and a local limit theorem. This extends the de\,Moivre--Laplace central limit theorem and Goncharov's result, that unsigned Stirling numbers of the first kind are asymptotically normal. Herewith, we provide several applications.
Polyhedral and Tropical Geometry of Flag Positroids
Published in Alg. Number Th. 18 (2024) 1333-1374
• View Publication
• BIB
A flag positroid of ranks $\boldsymbol{r}:=(r_1<\dots <r_k)$ on $[n]$ is a flag matroid that can be realized by a real $r_k \times n$ matrix $A$ such that the $r_i \times r_i$ minors of $A$ involving rows $1,2,\dots,r_i$ are nonnegative for all $1\leq i \leq k$. In this paper we explore the polyhedral and tropical geometry of flag positroids, particularly when $\boldsymbol{r}:=(a, a+1,\dots,b)$ is a sequence of consecutive numbers. In this case we show that the nonnegative tropical flag variety TrFl$_{\boldsymbol{r},n}^{\geq 0}$ equals the nonnegative flag Dressian FlDr$_{\boldsymbol{r},n}^{\geq 0}$, and that the points $\boldsymbolμ = (μ_a,\ldots, μ_b)$ of TrFl$_{\boldsymbol{r},n}^{\geq 0} =$ FlDr$_{\boldsymbol{r},n}^{\geq 0}$ give rise to coherent subdivisions of the flag positroid polytope $P(\underline{\boldsymbolμ})$ into flag positroid polytopes. Our results have applications to Bruhat interval polytopes: for example, we show that a complete flag matroid polytope is a Bruhat interval polytope if and only if its $(\leq 2)$-dimensional faces are Bruhat interval polytopes. Our results also have applications to realizability questions. We define a positively oriented flag matroid to be a sequence of positively oriented matroids $(χ_1,\dots,χ_k)$ which is also an oriented flag matroid. We then prove that every positively oriented flag matroid of ranks $\boldsymbol{r}=(a,a+1,\dots,b)$ is realizable.
Existence of a percolation threshold on finite transitive graphs
Published
• View Publication
• BIB
Let $(G_n)$ be a sequence of finite connected vertex-transitive graphs with volume tending to infinity. We say that a sequence of parameters $(p_n)$ is a percolation threshold if for every $\varepsilon > 0$, the proportion $\left\lVert K_1 \right\rVert$ of vertices contained in the largest cluster under bond percolation $\mathbb{P}_p^G$ satisfies both \[ \begin{split}
\lim_{n \to \infty} \mathbb{P}_{(1+\varepsilon)p_n}^{G_n} \left( \left\lVert K_1 \right\rVert \geq α\right) &= 1 \quad \text{for some $α> 0$, and}
\lim_{n \to \infty} \mathbb{P}_{(1-\varepsilon)p_n}^{G_n} \left( \left\lVert K_1 \right\rVert \geq α\right) &= 0 \quad \text{for all $α> 0$}. \end{split}\] We prove that $(G_n)$ has a percolation threshold if and only if $(G_n)$ does not contain a particular infinite collection of pathological subsequences of dense graphs. Our argument uses an adaptation of Vanneuville's new proof of the sharpness of the phase transition for infinite graphs via couplings [Van22] together with our recent work with Hutchcroft on the uniqueness of the giant cluster [EH21].
Integer Sequences and Output Arrays
The first author recently introduced an integer sequence now numbered A355519 in OEIS. This sequence arose from counting bracket tournaments; its study evokes the analysis of the Catalan triangle (sequence A009766 in OEIS) and the related Catalan numbers, sequence A000108 in OEIS. We therefore introduce a general construction that places these sequences on the same footing and suggests many new integer sequences. We provide code for performing this construction and a lengthy list of examples. This construction determines a function from input sequences to output sequences. Some of the resulting output sequences are in OEIS and others are not.
Minimal resolutions of lattice ideals
Published
• View Publication
• BIB
A canonical minimal free resolution of an arbitrary co-artinian lattice ideal over the polynomial ring is constructed over any field whose characteristic is 0 or any but finitely many positive primes. The differential has a closed-form combinatorial description as a sum over lattice paths in $\mathbb{Z}^n$ of weights that come from sequences of faces in simplicial complexes indexed by lattice points. Over a field of any characteristic, a non-canonical but simpler resolution is constructed by selecting choices of higher-dimensional analogues of spanning trees along lattice paths. These constructions generalize sylvan resolutions for monomial ideals by lifting them equivariantly to lattice modules.
On $d$-permutations and Pattern Avoidance Classes
Published
• View Publication
• BIB
Multidimensional permutations, or $d$-permutations, are represented by their diagrams on $[n]^d$ such that there exists exactly one point per hyperplane $x_i$ that satisfies $x_i= j$ for $i \in [d]$ and $j \in [n]$. Bonichon and Morel previously enumerated $3$-permutations avoiding small patterns, and we extend their results by first proving four conjectures, which exhaustively enumerate $3$-permutations avoiding any two fixed patterns of size $3$. We further provide a enumerative result relating $3$-permutation avoidance classes with their respective recurrence relations. In particular, we show a recurrence relation for $3$-permutations avoiding the patterns $132$ and $213$, which contributes a new sequence to the OEIS database. We then extend our results to completely enumerate $3$-permutations avoiding three patterns of size $3$.
Gapsets and the $k$-generalized Fibonacci sequences
Published
• View Publication
• BIB
In this paper, we bring the terminology of the Kunz coordinates of numerical semigroups to gapsets and we generalize this concept to $m$-extensions. It allows us to identify gapsets and, in general, $m$-extensions with tilings of boards. As a consequence, we prove a version of Bras-Amorós conjecture for $m$-extensions. Besides, we obtain a lower bound for the number of gapsets with fixed genus and depth at most 3 and a family of upper bounds for the number of gapsets with fixed genus. Moreover, we present explicit formulas for the number of gapsets with fixed genus and depth, when the multiplicity is 3 or 4, and, in some cases, for the number of gapsets with fixed genus and depth.