sequence
7073 papers tagged with this keyword
Small covers over wedges of polygons
Published
• View Publication
• BIB
A small cover is a closed smooth manifold of dimension $n$ having a locally standard $\mathbb{Z}_2^n$-action whose orbit space is isomorphic to a simple polytope. A typical example of small covers is a real projective toric manifold (or, simply, a real toric manifold), that is, a real locus of projective toric manifold. In the paper, we classify small covers and real toric manifolds whose orbit space is isomorphic to the dual of the simplicial complex obtainable by a sequence of wedgings from a polygon, using a systematic combinatorial method finding toric spaces called puzzles.
Mahler takes a regular view of Zaremba
In the theory of continued fractions, Zaremba's conjecture states that there is a positive integer $M$ such that each integer is the denominator of a convergent of an ordinary continued fraction with partial quotients bounded by $M$. In this paper, to each such $M$ we associate a regular sequence---in the sense of Allouche and Shallit---and establish various properties and results concerning the generating function of the regular sequence. In particular, we determine the minimal algebraic relation concerning the generating function and its Mahler iterates.
On the $k$-abelian complexity of the Cantor sequence
Published
• View Publication
• BIB
In this paper, we prove that for every integer $k \geq 1$, the $k$-abelian complexity function of the Cantor sequence $\mathbf{c} = 101000101\cdots$ is a $3$-regular sequence.
Lower Bounds on Nonnegative Signed Domination Parameters in Graphs
Let $1 \leq k \leq n$ be a positive integer. A {\em nonnegative signed $k$-subdominating function} is a function $f:V(G) \rightarrow \{-1,1\}$ satisfying $\sum_{u\in N_G[v]}f(u) \geq 0$ for at least $k$ vertices $v$ of $G$. The value $\min\sum_{v\in V(G)} f(v)$, taking over all nonnegative signed $k$-subdominating functions $f$ of $G$, is called the {\em nonnegative signed $k$-subdomination number} of $G$ and denoted by $γ^{NN}_{ks}(G)$. When $k=|V(G)|$, $γ^{NN}_{ks}(G)=γ^{NN}_s(G)$ is the {\em nonnegative signed domination number}, introduced in \cite{HLFZ}. In this paper, we investigate several sharp lower bounds of $γ^{NN}_s(G)$, which extend some presented lower bounds on $γ^{NN}_s(G)$. We also initiate the study of the nonnegative signed $k$-subdomination number in graphs and establish some sharp lower bounds for $γ^{NN}_{ks}(G)$ in terms of order and the degree sequence of a graph $G$.
Preorder Construct on Simple Undirected Graphs
We construct a novel preorder on the set of nodes of a simple undirected graph. We prove that the preorder (induced by the topology of the graph) is preserved, e.g., by the logistic dynamical system (both in discrete and continuous time). Moreover, the underlying equivalence relation of the preorder corresponds to the coarsest equitable partition (CEP). This will further imply that the logistic dynamical system on a graph preserves its coarsest equitable partition. The results provide a nontrivial invariant set for the logistic and the like dynamical systems, as we show. We note that our construct provides a functional characterization for the CEP as an alternative to the pure set theoretical iterated degree sequences characterization. The construct and results presented might have independent interest for analysis on graphs or qualitative analysis of dynamical systems over networks.
On a Class of Polynomials Generated by F (xt -- R(t))
Published
• View Publication
• BIB
We investigate polynomial sets {P n } n$\ge$0 with generating power series of the form F (xt -- R(t)) and satisfying, for n $\ge$ 0, the (d + 1)-order recursion xP\_ n (x) = P\_{ n+1 }(x) +\sum\_{ l=0}^{d} γ^{l}\_{n} P\_{ n--l} (x), where \ {γ^{l}\_{ n}\ } is a complex sequence for 0 $\le$ l $\le$ d, P \_0 (x) = 1 and P \_n (x) = 0 for all negative integer n. We show that the formal power series R(t) is a polynomial of degree at most d + 1 if certain coefficients of R(t) are null or if F (t) is a generalized hypergeometric series. Moreover, for the d-symmetric case we demonstrate that R(t) is the monomial of degree d + 1 and F (t) is expressed by hypergeometric series.
Laplacian, on the graph of the Weierstrass function
The Laplacian plays a major role in the mathematical analysis of partial differential equations. Recently, the work of J. Kigami, taken up by R. S. Strichartz, allowed the construction of an operator of the same nature, defined locally, on graphs having a fractal character: the triangle of Sierpinski, the carpet of Sierpinski, the diamond fractal, the Julia sets, the fern of Barnsley.
Strangely, the case of the graph of the Weierstrass function, introduced in 1872 by K. Weierstrass, which presents self similarity properties, does not seem to have been considered anywhere. It is yet an obligatory passage, in the perspective of studying diffusion phenomena in irregular structures.
We have asked ourselves the following question: given a continuous function u on the graph of the Weierstrass function, under which conditions is it possible to associate to u a function Delta u which is, in the weak sense, its Laplacian ?
We present, in the following, the results obtained by following the approach of J. Kigami and R. S. Strichartz. Ours is made in a completely renewed framework, as regards, the one, affine, of the Sierpinski gasket. First, we concentrate on Dirichlet forms, on the graph of the Weierstrass function, which enable us the, subject to its existence, to define the Laplacian of a continuous function on this graph. This Laplacian appears as the renormalized limit of a sequence of discrete Laplacians on a sequence of graphs which converge to the one of the Weierstrass function. The normalization constants related to each graph Laplacian are obtained thanks Dirichlet forms. The spectrum of the Laplacian thus built is obtained through spectral decimation.
Maximal entries of elements in certain matrix monoids
Published in Integers 20 (2020), Paper No. A31, 35 pp
• Search Publication
Let $L_u=\begin{bmatrix}1 & 0\\u & 1\end{bmatrix}$ and $R_v=\begin{bmatrix}1 & v\\0 & 1\end{bmatrix}$ be matrices in $SL_2(\mathbb Z)$ with $u, v\geq 1$. Since the monoid generated by $L_u$ and $R_v$ is free, we can associate a depth to each element based on its product representation. In the cases where $u=v=2$ and $u=v=3$, Bromberg, Shpilrain, and Vdovina determined the depth $n$ matrices containing the maximal entry for each $n\geq 1$. By using ideas from our previous work on $(u,v)$-Calkin-Wilf trees, we extend their results for any $u, v\geq 1$ and in the process we recover the Fibonacci and some Lucas sequences. As a consequence we obtain bounds which guarantee collision resistance on a family of hashing functions based on $L_u$ and $R_v$.
A trace formula for the distribution of rational $G$-orbits in ramified covers, adapted to representation stability
A standard observation in algebraic geometry and number theory is that a ramified cover of an algebraic variety $\widetilde{X}\rightarrow X$ over a finite field $F_q$ furnishes the rational points $x\in X(F_q)$ with additional arithmetic structure: the Frobenius action on the fiber over $x$. For example, in the case of the Vieta cover of polynomials over $F_q$ this structure describes a polynomial's irreducible decomposition type.
Furthermore, the distribution of these Frobenius actions is encoded in the cohomology of $\widetilde{X}$ via the Grothendieck-Lefschetz trace formula. This note presents a version of the trace formula that is suited for studying the distribution in the context of representation stability: for certain sequences of varieties $(\widetilde{X}_n)$ the cohomology, and therefore the distribution of the Frobenius actions, stabilizes in a precise sense.
We conclude by fully working out the example of the Vieta cover of the variety of polynomials. The calculation includes the distribution of cycle decompositions on cosets of Young subgroups of the symmetric group, which might be of independent interest.
Arithmetic properties of coefficients of power series expansion of $\prod_{n=0}^{\infty}\left(1-x^{2^{n}}\right)^{t}$ (with an Appendix by Andrzej Schinzel)
Published
• View Publication
• BIB
Let $F(x)=\prod_{n=0}^{\infty}(1-x^{2^{n}})$ be the generating function for the Prouhet-Thue-Morse sequence $((-1)^{s_{2}(n)})_{n\in\N}$. In this paper we initiate the study of the arithmetic properties of coefficients of the power series expansions of the function $$ F_{t}(x)=F(x)^{t}=\sum_{n=0}^{\infty}f_{n}(t)x^{n}. $$ For $t\in\N_{+}$ the sequence $(f_{n}(t))_{n\in\N}$ is the Cauchy convolution of $t$ copies of the Prouhet-Thue-Morse sequence. For $t\in\Z_{<0}$ the $n$-th term of the sequence $(f_{n}(t))_{n\in\N}$ counts the number of representations of the number $n$ as a sum of powers of 2 where each summand can have one among $-t$ colors.
Among other things, we present a characterization of the solutions of the equations $f_{n}(2^k)=0$, where $k\in\N$, and $f_{n}(3)=0$. Next, we present the exact value of the 2-adic valuation of the number $f_{n}(1-2^{m})$ - a result which generalizes the well known expression concerning the 2-adic valuation of the values of the binary partition function introduced by Euler and studied by Churchhouse and others.
Hilbert Bases and Lecture Hall Partitions
Published in Ramanujan J. 47 (2018), no. 3, 509-531
• View Publication
• BIB
In the interest of finding the minimum additive generating set for the set of $\boldsymbol{s}$-lecture hall partitions, we compute the Hilbert bases for the $\boldsymbol{s}$-lecture hall cones in certain cases. In particular, we compute the Hilbert bases for two well-studied families of sequences, namely the $1\mod k$ sequences and the $\ell$-sequences. Additionally, we provide a characterization of the Hilbert bases for $\boldsymbol{u}$-generated Gorenstein $\boldsymbol{s}$-lecture hall cones in low dimensions.
The Smith normal form of a specialized Giambelli-type matrix
Published
• View Publication
• BIB
In the study of determinant formulas for Schur functions, Hamel and Goulden introduced a class of Giambelli-type matrices with respect to outside decompositions of partition diagrams, which unify the Jacobi-Trudi matrices, the Giambelli matrices and the Lascoux-Pragacz matrices. Stanley determined the Smith normal form of a specialized Jacobi-Trudi matrix. Motivated by Stanley's work, we obtain the Smith normal form of a specialized Giambelli matrix and a specialized Lascoux-Pragacz matrix. Furthermore, we show that, for a given partition, the Smith normal form of any specialized Giambelli-type matrix can be obtained from that of the corresponding specialization of the classical Giambelli matrix by a sequence of stabilization operations.
Fibonacci words in hyperbolic Pascal triangles
The hyperbolic Pascal triangle ${\cal HPT}_{4,q}$ $(q\ge5)$ is a new mathematical construction, which is a geometrical generalization of Pascal's arithmetical triangle. In the present study we show that a natural pattern of rows of ${\cal HPT}_{4,5}$ is almost the same as the sequence consisting of every second term of the well-known Fibonacci words. Further, we give a generalization of the Fibonacci words using the hyperbolic Pascal triangles. The geometrical properties of a ${\cal HPT}_{4,q}$ imply a graph structure between the finite Fibonacci words.
Gowers norms control diophantine inequalities
Published in Alg. Number Th. 14 (2020) 1457-1536
• View Publication
• BIB
A central tool in the study of systems of linear equations with integer coefficients is the Generalised von Neumann Theorem of Green and Tao. This theorem reduces the task of counting the weighted solutions of these equations to that of counting the weighted solutions for a particular family of forms, the Gowers norms $\Vert f \Vert_{U^{s+1}[N]}$ of the weight $f$. In this paper we consider systems of linear inequalities with real coefficients, and show that the number of solutions to such weighted diophantine inequalities may also be bounded by Gowers norms. Furthermore, we provide a necessary and sufficient condition for a system of real linear forms to be governed by Gowers norms in this way. We present applications to cancellation of the Möbius function over certain sequences.
The machinery developed in this paper can be adapted to the case in which the weights are unbounded but suitably pseudorandom, with applications to counting the number of solutions to diophantine inequalities over the primes. Substantial extra difficulties occur in this setting, however, and we have prepared a separate paper on these issues.
A uniformness conjecture of the Kolakoski sequence, graph connectivity, and correlations
The Kolakoski sequence is the unique infinite sequence with values in $\{1,2\}$ and first term $1$ which equals the sequence of run-lengths of itself, we call this $K(1,2).$ We define $K(m,n)$ similarly. A well-known conjecture is that the limiting density of $K(1,2)$ is one-half. We state a natural generalization, the "generalized uniformness conjecture" (GUC). The GUC seems intractable, but we prove a partial result. The GUC implies that members of a certain family of directed graphs $G_{m,n,k}$ are all strongly connected. We prove this unconditionally.
For $d>0,$ let $cf(m,n,d)$ be the density of indices $i$ such that $K(m, n)_i=K(m, n)_{i+d}.$ Essentially, $cf(m, n, d)$ is the autocorrelation function of a stationary stochastic process with random variables $\{X_t\}_{t\in\mathbb{Z}}$ whereby a sample of a finite window of this process is formed by copying as many consecutive terms of $K(m,n)$ starting from a "uniformly random index" $i\in\mathbb{Z}_+.$ Assuming the GUC, we prove that we can compute $cf(m,n,d)$ exactly for quite large $d$ by constructing a periodic sequence $S$ of period around $10^{8.5}$ such that for $d$ not too large, the correlation frequency at distance $d$ in $K(m,n)$ equals that in $S.$ We efficiently compute correlations in $S$ using polynomial multiplication via FFT.
We plot our estimates $cf(m,n,d)$ for several small values of $(m,n)$ and $d\le10^5$ or $10^6$. We note many suggested patterns. For example, for the three pairs $(m,n)\in\{(1,2),(2,3),(3,4)\},$ the function $cf(m,n,d)$ behaves very differently as we restrict $d$ to the $m+n$ residue classes $\text{mod}$ $m+n.$ The plots of the three functions $cf(1,2,d),cf(2,3,d),$ and $cf(3,4,d)$ resemble waves which have common nodes. We consider this very unusual behavior for an autocorrelation function. The pairs $(m,n)\in\{(1,4),(1,6),(2,5)\}$ show wave-like patterns with much more noise.
Generating functions for permutations which avoid consecutive patterns with multiple descents
Let $S_n$ denote the group all permutations of $n$. For every permutation $σ$, we let $\mathrm{des}(σ)$ denote the number of descents in $σ$ and $\mathrm{LRMin}(σ)$ denote the number of left-to-right minima of $σ$. Given a sequence $τ= τ_1 \cdots τ_n$ of distinct positive integers, we define the reduction of $τ$, $\mathrm{red}(τ)$, to be the permutation of $S_n$ that results by replacing the $i$-th smallest element of $τ$ by $i$.
If $Γ$ is a set of permutations, we say that a permutation $σ= σ_1 \ldots σ_n \in S_n$ has a $Γ$-match starting at position $i$ if there is a $i < j$ such that $\mathrm{red}(σ_i σ_{i+1} \ldots σ_j) \in Γ$. We let $Γ$-$\mathrm{mch}(σ)$ denote the number of $Γ$-matches in $σ$. We let $\mathcal{NM}_n(Γ)$ be the set of $σ\in S_n$ such that $Γ$-$\mathrm{mch}(σ) = 0$.
In this paper, we modify Jones and Remmel's reciprocity method to study the generating function of the form \begin{equation} \mbox{NM}_Γ(t,x,y)=\sum_{n \geq 0} \frac{t^n}{n!} \mbox{NM}_{Γ,n}(x,y) \end{equation} where $\displaystyle \mbox{NM}_{Γ,n}(x,y) =\sum_{σ\in \mathcal{NM}_n(Γ)}x^{\mathrm{LRmin}(σ)}y^{1+\mathrm{des}(σ)}$ in the case where we no longer insist that all the permutations $τ\in Γ$ have at most one descent.
The Kolakoski sequence and related conjectures about orbits
Published
• View Publication
• BIB
The Kolakoski sequence is the unique infinite sequence with values in $\{1, 2\}$ and first term twems $1, 2, \ldots$ which equals the sequence of run-lengths of itself, we call this $K(1, 2).$ We define $K(m, n)$ similarly for $m+n$ odd. A well-known open problem is that its limiting density is one-half. Indeed, not much is known about the Kolakoski sequence. The focus of this paper in on conjectures related to the Kolakoski sequence which are more discrete in nature. We conjecture that a certain doubly infinite family of finite sequences $E_{1, n}\left(1^{2^j}, 1^{2j}\right)$ has odd length for all $j>0$ and even $n>0.$ We define $cf(m, n, d)$ to be the "correlation frequency" or limiting probability that terms in $K(m, n)$ which are $d$ apart are equal. We conjecture that the sign of $cf(m, n, d) - 1/2$ is periodic mod $m+n.$ We also discuss extensive empirical evidence for these conjectures.
Tverberg type theorems for matroids
In this paper we show a variant of colorful Tverberg's theorem which is valid in any matroid: Let $S$ be a sequence of non-loops in a matroid $M$ of finite rank $m$ with closure operator cl. Suppose that $S$ is colored in such a way that the first color does not appear more than $r$-times and each other color appears at most $(r-1)$-times. Then $S$ can be partitioned into $r$ rainbow subsequences $S_1,\ldots, S_r$ such that $cl\,\emptyset\subsetneq cl\,S_1\subseteq cl\, S_2\subseteq \ldots \subseteq cl\,S_r$. In particular, $\emptyset\neq \bigcap_{i=1}^r cl\,S_i$. A subsequence is called rainbow if it contains each color at most once.
The conclusion of our theorem is weaker than the conclusion of the original Tverberg's theorem in $\mathbb R^d$, which states that $\bigcap conv\,S_i\neq \emptyset$, whereas we only claim that $\bigcap aff\,S_i\neq \emptyset$. On the other hand, our theorem strengthens the Tverberg's theorem in several other ways: 1) it is applicable to any matroid (whereas Tverberg's theorem can only be used in $\mathbb R^d$), 2) instead of $\bigcap cl\,S_i\neq \emptyset$ we have the stronger condition $cl\,\emptyset\subsetneq cl\,S_1\subseteq cl\,S_2\subseteq \ldots \subseteq cl\,S_r$, and 3) we add a color constraints that are even stronger than the color constraints in the colorful version of Tverberg's theorem.
Recently, the author together with Goaoc, Mabillard, Patáková, Tancer and Wagner used the first property and applied the non-colorful version of this theorem to homology groups with $GF(p)$ coefficients to obtain several non-embeddability results, for details we refer to arXiv:1610.09063.
Asymptotic enumeration of graphs by degree sequence, and the degree sequence of a random graph
Published
• View Publication
• BIB
In this paper we relate a fundamental parameter of a random graph, its degree sequence, to a simple model of nearly independent binomial random variables. This confirms a conjecture made in 1997. As a result, many interesting functions of the joint distribution of graph degrees, such as the distribution of the median degree, become amenable to estimation. Our result is established by proving an asymptotic formula conjectured in 1990 for the number of graphs with given degree sequence. In particular, this gives an asymptotic formula for the number of $d$-regular graphs for all $d$, as $n\to\infty$.
Cutoff for Ramanujan graphs via degree inflation
Published in Electron. Commun. Probab. Volume 22 (2017), paper no. 45, 10 pp
• View Publication
• BIB
Recently Lubetzky and Peres showed that simple random walks on a sequence of $d$-regular Ramanujan graphs $G_n=(V_n,E_n)$ of increasing sizes exhibit cutoff in total variation around the diameter lower bound $\frac{d}{d-2}\log_{d-1}|V_n| $. We provide a different argument under the assumption that for some $r(n) \gg 1$ the maximal number of simple cycles in a ball of radius $r(n)$ in $G_n$ is uniformly bounded in $n$.