sequence
6845 papers tagged with this keyword
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.
Simple deterministic O(n log n) algorithm finding a solution of Erdős-Ginzburg-Ziv theorem
Erdős-Ginzburg-Ziv theorem is a famous theorem in additive number theory, which states any sequence of $2n-1$ integers contains a subsequence of $n$ elements, with their sum being a multiple of $n$. In this article, we provide an algorithm finding a solution of Erdős-Ginzburg-Ziv theorem in $\mathcal{O}(n \log n)$ time. This is the first known deterministic $\mathcal{O}(n \log n)$ time algorithm finding a solution of Erdős-Ginzburg-Ziv theorem.
On the Complexity of Distance-$d$ Independent Set Reconfiguration
Published in Theoretical Computer Science 1009 (2024) 114682
• View Publication
• BIB
For a fixed positive integer $d \geq 2$, a distance-$d$ independent set (D$d$IS) of a graph is a vertex subset whose distance between any two members is at least $d$. Imagine that there is a token placed on each member of a D$d$IS. Two D$d$ISs are adjacent under Token Sliding ($\mathsf{TS}$) if one can be obtained from the other by moving a token from one vertex to one of its unoccupied adjacent vertices. Under Token Jumping ($\mathsf{TJ}$), the target vertex needs not to be adjacent to the original one. The Distance-$d$ Independent Set Reconfiguration (D$d$ISR) problem under $\mathsf{TS}/\mathsf{TJ}$ asks if there is a corresponding sequence of adjacent D$d$ISs that transforms one given D$d$IS into another. The problem for $d = 2$, also known as the Independent Set Reconfiguration problem, has been well-studied in the literature and its computational complexity on several graph classes has been known. In this paper, we study the computational complexity of D$d$ISR on different graphs under $\mathsf{TS}$ and $\mathsf{TJ}$ for any fixed $d \geq 3$. On chordal graphs, we show that D$d$ISR under $\mathsf{TJ}$ is in $\mathtt{P}$ when $d$ is even and $\mathtt{PSPACE}$-complete when $d$ is odd. On split graphs, there is an interesting complexity dichotomy: D$d$ISR is $\mathtt{PSPACE}$-complete for $d = 2$ but in $\mathtt{P}$ for $d=3$ under $\mathsf{TS}$, while under $\mathsf{TJ}$ it is in $\mathtt{P}$ for $d = 2$ but $\mathtt{PSPACE}$-complete for $d = 3$. Additionally, certain well-known hardness results for $d = 2$ on perfect graphs and planar graphs of maximum degree three and bounded bandwidth can be extended for $d \geq 3$.
On the cancellation-free antipode formula for the Malvenuto-Reutenauer Hopf Algebra
Published in European J. Combin.113 (2023) 103745
• View Publication
• BIB
For the Malvenuto-Reutenauer Hopf algebra of permutations, we provide a cancellation-free antipode formula for any permutation of the form $ab1\cdots(b-1)(b+1)\cdots(a-1)(a+1)\cdots n$, which starts with the decreasing sequence $ab$ and ends with the increasing sequence $1\cdots(b-1)(b+1)\cdots(a-1)(a+1)\cdots n$, where $1\leq b<a\leq n$. As a consequence, we confirm two conjectures posed by Carolina Benedetti and Bruce E. Sagan.
Necklaces and bracelets in R
This note introduces a code snippet in R aiming to generate necklaces as well as bracelets. Among various uses, necklaces are useful tools to manage traces of products of random matrices. Functionality for necklaces and bracelets is provided with some examples of applications such as Lyndon words and de Bruijn sequences. The routines are collected in the Necklaces package available from the Comprehensive R Archive Network.
Perfect shuffling with fewer lazy transpositions
A lazy transposition $(a,b,p)$ is the random permutation that equals the identity with probability $1-p$ and the transposition $(a,b)\in S_n$ with probability $p$. How long must a sequence of independent lazy transpositions be if their composition is uniformly distributed? It is known that there are sequences of length $\binom{n}2$, but are there shorter sequences? This was raised by Fitzsimons in 2011, and independently by Angel and Holroyd in 2018. We answer this question negatively by giving a construction of length $\frac23 \binom{n}2+O(n\log n)$, and consider some related questions.
Short reachability networks
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Combinatorics (November 4, 2025) dmtcs:12454
• View Publication
• BIB
We investigate the following generalisation of permutation networks. We say a sequence $T=(T_1,\dots,T_\ell)$ of transpositions in $S_n$ forms a $t$-reachability network if, for every choice of $t$ distinct points $x_1, \dots, x_t\in \{1,\dots,n\}$, there is a subsequence of $T$ whose composition maps $j$ to $x_j$ for every $1\leq j\leq t$. When $t=n$, any permutation in $S_n$ can be created and $T$ is a permutation network. Waksman [JACM, 1968] showed that the shortest permutation networks have length about $n \log_2(n)$. In this paper, we investigate the shortest $t$-reachability networks for other values of $t$. Our main result settles the case of $t=2$: the shortest $2$-reachability network has length $\lceil 3n/2\rceil-2 $. For fixed $t \geq 3$, we give a simple randomised construction which shows that there exist $t$-reachability networks with $(2+o_t(1))n$ transpositions. We also study the effect of restricting to star-transpositions, i.e. restricting all transpositions to have the form $(1, \cdot)$.
Automatic Sequences in Negative Bases and Proofs of Some Conjectures of Shevelev
Published
• View Publication
• BIB
We discuss the use of negative bases in automatic sequences. Recently the theorem-prover Walnut has been extended to allow the use of base (-k) to express variables, thus permitting quantification over Z instead of N. This enables us to prove results about two-sided (bi-infinite) automatic sequences. We first explain the theory behind negative bases in Walnut. Next, we use this new version of Walnut to give a very simple proof of a strengthened version of a theorem of Shevelev. We use our ideas to resolve two open problems of Shevelev from 2017. We also reprove a 2000 result of Shur involving bi-infinite binary words.