sequence
6845 papers tagged with this keyword
Preservation of normality by non-oblivious group selection
We give two different proofs of the fact that non-oblivious selection via regular group sets preserves normality. Non-oblivious here means that whether or not a symbol is selected can depend on the symbol itself. One proof relies on the incompressibility of normal sequences, the other on the use of augmented dynamical systems.
Some enumerative properties of a class of Fibonacci-like cubes
A filter lattice is a distributive lattice formed by all filters of a poset in the anti-inclusion order. We study the combinatorial properties of the Hasse diagrams of filter lattices of certain posets, so called Fibonacci-like cubes, in this paper. Several enumerative polynomials, e.g.\ rank generating function, cube polynomials and degree sequence polynomials are obtained. Some of these results relate to Fibonacci sequence and Padovan sequence.
An algorithmic search for $\mathcal{A}$-annihilated classes in the Dyer-Lashof algebra and $H_*QS^0$ I. Closed form for low lengths and tables in low dimensions
The aim of this work is to publicise some computational results involving tables which contain $\mathcal{A}$-annihilated monomials, excluding square classes, in the Dyer-Lashof algebra and $H_*QS^0$; our computations go up to dimension $1.1\times 10^7$ but the tables in this paper only announce results up to dimension $2^{17}=131072$ and full tables would be available upon request. The theoretical background for our computations is provided by work of Curtis \cite{Curtis} and Wellington \cite{Wellington} on the $\mathcal{A}$-module structure of the Dyer-Lashof algebra as well as $H_*QS^0$. It seems to us that there is a workable algorithm to do these computations which we plan to announce in a future work, partly to avoid making this paper longer than it is. We hope to receive feedback from the experts on these computations and make our algorithm available as soon as we can. We hope that these tables provide a source for researchers in the field, as well as a pool of data to analyse the behaviour of these sequences, their distributions and other asymptotic behaviours. The problem of computing spherical classes in $H_*QS^0$ as well as the symmetric and non-symmetric hit problems have been our main motivations to pursue this project.
A note on Modified Third-order Jacobsthal numbers
Published in Proyecciones 39(2) (2020), 409--420
• View Publication
• BIB
Modified third-order Jacobsthal sequence is defined in this study. Some properties involving this sequence, including the Binet-style formula and the generating function are also presented.
Asymptotic normality of the major index on standard tableaux
We consider the distribution of the major index on standard tableaux of arbitrary straight shape and certain skew shapes. We use cumulants to classify all possible limit laws for any sequence of such shapes in terms of a simple auxiliary statistic, aft, generalizing earlier results of Canfield--Janson--Zeilberger, Chen--Wang--Wang, and others. These results can be interpreted as giving a very precise description of the distribution of irreducible representations in different degrees of coinvariant algebras of certain complex reflection groups. We conclude with some conjectures concerning unimodality, log-concavity, and local limit theorems.
New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences
Published in IEEE Transactions on Information Theory, volume 66, issue 12 (2020) pages 7739-7751
• View Publication
• BIB
We present new constructions for perfect and odd perfect sequences over the quaternion group $Q_8$. In particular, we show for the first time that perfect and odd perfect quaternion sequences exist in all lengths $2^t$ for $t\geq0$. In doing so we disprove the quaternionic form of Mow's conjecture that the longest perfect $Q_8$-sequence that can be constructed from an orthogonal array construction is of length 64. Furthermore, we use a connection to combinatorial design theory to prove the existence of a new infinite class of Williamson sequences, showing that Williamson sequences of length $2^t n$ exist for all $t\geq0$ when Williamson sequences of odd length $n$ exist. Our constructions explain the abundance of Williamson sequences in lengths that are multiples of a large power of two.
Interpolation sets and nilsequences
To give positive answer to a question of Frantzikinakis, we study a class of subsets of $\mathbb{N}$, called interpolation sets, on which every bounded sequence can be extended to an almost periodic sequence on $\mathbb{N}$. Strzelecki has proved that lacunary sets are interpolation sets. We prove that sets that are denser than all lacunary sets cannot be interpolation sets. We also extend the notion of interpolation sets to nilsequences and show that the analogue to Frantzikinakis' question for arbitrary sequences is false.
On Erdős-Ginzburg-Ziv inverse theorems for Dihedral and Dicyclic groups
Let $G$ be a finite group and exp$(G)$ = lcm$\{$ord$(g)$$\mid$$g \in G \}$. A finite unordered sequence of terms from $G$, where repetition is allowed, is a product-one sequence if its terms can be ordered such that their product equals the identity element of $G$. We denote by $\mathsf s (G)$ (or $\mathsf E (G)$ respectively) the smallest integer $\ell$ such that every sequence of length at least $\ell$ has a product-one subsequence of length $\exp (G)$ (or $|G|$ respectively). In this paper, we provide the exact values of $\mathsf s (G)$ and $\mathsf E (G)$ for Dihedral and Dicyclic groups and we provide explicit characterizations of all sequences of length $\mathsf s (G) - 1$ (or $\mathsf E (G) - 1$ respectively) having no product-one subsequence of length $\exp (G)$ (or $|G|$ respectively).
The annihilation number does not bound the 2-domination number from the above
The $2$-domination number $γ_2(G)$ of a graph $G$ is the minimum cardinality of a set $S\subseteq V(G)$ such that every vertex from $V(G)\setminus S$ is adjacent to at least two vertices in $S$. The annihilation number $a(G)$ is the largest integer $k$ such that the sum of the first $k$ terms of the non-decreasing degree sequence of $G$ is at most the number of its edges. It was conjectured that $γ_2(G) \leq a(G) +1$ holds for every connected graph $G$. The conjecture was earlier confirmed, in particular, for graphs of minimum degree $3$, for trees, and for block graphs. In this paper, we disprove the conjecture by proving that the $2$-domination number can be arbitrarily larger than the annihilation number. On the positive side we prove the conjectured bound for a large subclass of bipartite, connected cacti, thus generalizing a result of Jakovac from [Discrete Appl.\ Math.\ 260 (2019) 178--187].
On embedding degree sequences
Assume that we are given two graphic sequences, $π_1$ and $π_2$. We consider conditions for $π_1$ and $π_2$ which guarantee that there exists a simple graph $G_2$ realizing $π_2$ such that $G_2$ is the subgraph of any simple graph $G_1$ that realizes $π_1$.
Classifying SL$_2$-tilings
Published
• View Publication
• BIB
Recently there has been significant progress in classifying integer friezes and $\text{SL}_2$-tilings. Typically, combinatorial methods are employed, involving triangulations of regions and inventive counting techniques. Here we develop a unified approach to such classifications using the tessellation of the hyperbolic plane by ideal triangles induced by the Farey graph. We demonstrate that the geometric, numeric and combinatorial properties of the Farey graph are perfectly suited to classifying tame $\text{SL}_2$-tilings, positive integer $\text{SL}_2$-tilings, and tame integer friezes -- both finite and infinite. In so doing, we obtain geometric analogues of certain known combinatorial models for tilings involving triangulations, and we prove several new results of a similar type too. For instance, we determine those bi-infinite sequences of positive integers that are the quiddity sequence of some positive infinite frieze, and we give a simple combinatorial model for classifying tame integer friezes, which generalises the classical construction of Conway and Coxeter for positive integer friezes.
Normal form in Hecke-Kiselman monoids associated with simple oriented graphs
Published in Algebra and Discrete Mathematics, 2020, 30(2), pp. 161-171
• View Publication
• BIB
We generalize Kudryavtseva and Mazorchuk's concept of canonical form of elements in Kiselman's semigroups to the setting of a Hecke-Kiselman monoid $\mathbf{HK}_Γ$ associated with a simple oriented graph $Γ$. We use confluence properties to associate with each element in $\mathbf{HK}_Γ$ a normal form; normal forms are not unique, and we show that they can be obtained from each other by a sequence of elementary commutations. We finally describe a general procedure to recover a (unique) lexicographically minimal normal form.
Adapted Sequence for Polyhedral Realization of Crystal Bases
Published in Communications in Algebra, Volume 48, (2020), no. 11
• Search Publication
The polyhedral realization of crystal base has been introduced by A.Zelevinsky and the second author([T.Nakashima, A.Zelevinsky, Adv. Math. 131, no. 1 (1997)]), which describe the crystal base $B(\infty)$ as a polyhedral convex cone in the infinite $\mathbb{Z}$-lattice $\mathbb{Z}^{\infty}$. To construct the polyhedral realization, we need to fix an infinite sequence $ι$ from the indices of the simple roots. According to this $ι$, one has certain set of linear functions defining a polyhedral convex cone and under the `positivity condition' on $ι$, it has been shown that the polyhedral convex cone is isomorphic to the crystal base $B(\infty)$. To confirm the positivity condition for a given $ι$, we need to obtain the whole feature of the set of linear functions, which requires, in general, a bunch of explicit calculations. In this article, we introduce the notion of the adapted sequence and show that if $ι$ is an adapted sequence then the positivity condition holds for classical Lie algebras. Furthermore, we reveal the explicit forms of the polyhedral realizations associated with arbitrary adapted sequences $ι$ in terms of column tableaux.
Matrices in ${\cal A}(R,S)$ with minimum $t$-term ranks
Let $R$ and $S$ be two sequences of nonnegative integers in nonincreasing order and with the same sum, and let ${\cal A}(R,S)$ be the class of all $(0,1)$-matrices having row sum $R$ and column sum $S$. For a positive integer $t$, the $t$-term rank of a $(0,1)$-matrix $A$ is defined as the maximum number of $1$'s in $A$ with at most one $1$ in each column, and at most $t$ $1$'s in each row. In this paper, we address conditions for the existence of a matrix in a class ${\cal A}(R,S)$ that realizes all the minimum $t$-term ranks, for $t\geq 1$.
Obtaining binary perfect codes out of tilings
A tiling of the $n$-dimensional Hamming cube gives rise to a perfect code (according to a given metric) if the basic tile is a metric ball. We are concerned with metrics on the $n$-dimensional Hamming cube which are determined by a weight which respects support of vectors (TS-metrics). We consider the known tilings of the Hamming cube and first determine which of them give rise to a perfect code. In the sequence, for those tilings that satisfy this condition, we determine all the TS-metrics that turns it into a perfect code. We also propose the construction of new perfect codes obtained by the concatenation of two smaller ones.
Transpositional sequences and multigraphs
When ${\bf t} := \langle t_1,t_2,\ldots,t_k\rangle$ is a sequence of transpositions on the finite set $n:=\{0,1,\ldots,n-1\}$, then $\bigcirc{\bf t}:= t_1\circ t_2\circ\cdots\circ t_k$ denotes the compositional product of the sequence. Our paper treats the set ${\rm Prod}({\bf t})$ of all $\bigcirc{\bf s}$, where ${\bf s}$ is a sequence obtained by rearranging the terms of ${\bf t}$. The paper characterizes the set of all transpositional sequences ${\bf t}$ for which ${\rm Prod}({\bf t})$ is the subset of a single congugacy class in the symmetric group ${\rm Sym}(n)$; we call such ${\bf t}$ {\it conjugacy invariant}. At the opposite extreme, the paper studies conditions under which ${\bf t}$ is {\it permutationally complete}, which is to say, those ${\bf t}$ for which either ${\rm Prod}({\bf t}) = {\rm Alt}(n)$ or ${\rm Prod}({\bf t}) = {\rm Sym}(n)\setminus{\rm Alt}(n)$.
Decomposing a Graph into Unigraphs
Unigraphs are graphs uniquely determined by their own degree sequence up to isomorphism. There are many subclasses of unigraphs such as threshold graphs, split matrogenic graphs, matroidal graphs, and matrogenic graphs. Unigraphs and these subclasses are well studied in the literature. Nevertheless, there are few results on superclasses of unigraphs. In this paper, we introduce two types of generalizations of unigraphs: $k$-unigraphs and $k$-strong unigraphs. We say that a graph $G$ is a $k$-unigraph if $G$ can be partitioned into $k$ unigraphs. $G$ is a $k$-strong unigraph if not only each subgraph is a unigraph but also the whole graph can be uniquely determined up to isomorphism, by using the degree sequences of all the subgraphs in the partition. We describe a relation between $k$-strong unigraphs and the subgraph isomorphism problem. We show some properties of $k$-(strong) unigraphs and algorithmic results on calculating the minimum $k$ such that a graph $G$ is a $k$-(strong) unigraph. This paper will open many other research topics.
A survey on maximal green sequences
Maximal green sequences appear in the study of Fomin-Zelevinsky's cluster algebras. They are useful for computing refined Donaldson-Thomas invariants, constructing twist automorphisms and proving the existence of theta bases and generic bases. We survey recent progress on their existence and properties and give a representation-theoretic proof of Greg Muller's theorem stating that full subquivers inherit maximal green sequences. In the appendix, Laurent Demonet describes maximal chains of torsion classes in terms of bricks generalizing a theorem by Igusa.
Determining Finite Connected Graphs Along the Quadratic Embedding Constants of Paths
Published in Electronic Journal of Graph Theory and Applications (EJGTA) Vol. 9 No. 2 (2021), 539 - 560
• View Publication
• BIB
The QE constant of a finite connected graph $G$, denoted by $\mathrm{QEC}(G)$, is by definition the maximum of the quadratic function associated to the distance matrix on a certain sphere of codimension two. We prove that the QE constants of paths $P_n$ form a strictly increasing sequence converging to $-1/2$. Then we formulate the problem of determining all the graphs $G$ satisfying $\mathrm{QEC}(P_n)\le\mathrm{QEC}(G)<\mathrm{QEC}(P_{n+1})$. The answer is given for $n=2$ and $n=3$ by exploiting forbidden subgraphs for $\mathrm{QEC}(G)<-1/2$ and the explicit QE constants of star products of the complete graphs.
The LexCycle on $\overline{P_{2}\cup P_{3}}$-free Cocomparability Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 4, Graph Theory (December 28, 2020) dmtcs:5385
• View Publication
• BIB
A graph $G$ is a cocomparability graph if there exists an acyclic transitive orientation of the edges of its complement graph $\overline{G}$. LBFS$^{+}$ is a variant of the generic Lexicographic Breadth First Search (LBFS), which uses a specific tie-breaking mechanism. Starting with some ordering $σ_{0}$ of $G$, let $\{σ_{i}\}_{i\geq 1}$ be the sequence of orderings such that $σ_{i}=$LBFS$^{+}(G, σ_{i-1})$. The LexCycle($G$) is defined as the maximum length of a cycle of vertex orderings of $G$ obtained via such a sequence of LBFS$^{+}$ sweeps. Dusart and Habib conjectured in 2017 that LexCycle($G$)=2 if $G$ is a cocomparability graph and proved it holds for interval graphs. In this paper, we show that LexCycle($G$)=2 if $G$ is a $\overline{P_{2}\cup P_{3}}$-free cocomparability graph, where a $\overline{P_{2}\cup P_{3}}$ is the graph whose complement is the disjoint union of $P_{2}$ and $P_{3}$. As corollaries, it's applicable for diamond-free cocomparability graphs, cocomparability graphs with girth at least 4, as well as interval graphs.