sequence
6845 papers tagged with this keyword
Circularly squarefree words and unbordered conjugates: a new approach
Using a new approach based on automatic sequences, logic, and a decision procedure, we reprove some old theorems about circularly squarefree words and unbordered conjugates in a new and simpler way. Furthermore, we prove three new results about unbordered conjugates: we complete the classification, due to Harju and Nowotka, of binary words with the maximum number of unbordered conjugates; we prove that for every possible number, up to the maximum, there exists a word having that number of unbordered conjugates, and finally, we determine the expected number of unbordered conjugates in a random word.
Re-pairing brackets
Consider the following one-player game. Take a well-formed sequence of opening and closing brackets. As a move, the player can pair any opening bracket with any closing bracket to its right, erasing them. The goal is to re-pair (erase) the entire sequence, and the complexity of a strategy is measured by its width: the maximum number of nonempty segments of symbols (separated by blank space) seen during the play.
For various initial sequences, we prove upper and lower bounds on the minimum width sufficient for re-pairing. (In particular, the sequence associated with the complete binary tree of height $n$ admits a strategy of width sub-exponential in $\log n$.) Our two key contributions are (1) lower bounds on the width and (2) their application in automata theory: quasi-polynomial lower bounds on the translation from one-counter automata to Parikh-equivalent nondeterministic finite automata. The latter result answers a question by Atig et al. (2016).
Sequences in Dihedral Groups with Distinct Partial Products
Given a subset $S$ of the non-identity elements of the dihedral group of order $2m$, is it possible to order the elements of $S$ so that the partial products are distinct? This is equivalent to the sequenceability of the group when $|S| = 2m-1$ and so it is known that the answer is yes in this case if and only if $m>4$. We show that the answer is yes when $|S| \leq 9$ and $m$ is an odd prime other than 3, when $|S| = 2m-2$ and $m$ is even or prime, and when $|S| = 2m-2$ for many instances of the problem when $m$ is odd and composite. We also consider the problem in the more general setting of arbitrary non-abelian groups and discuss connections between this work and the concept of strong sequenceability.
Outliers in spectrum of sparse Wigner matrices
In this paper, we study the effect of sparsity on the appearance of outliers in the semi-circular law. Let $(W_n)_{n=1}^\infty$ be a sequence of random symmetric matrices such that each $W_n$ is $n\times n$ with i.i.d entries above and on the main diagonal equidistributed with the product $b_nξ$, where $ξ$ is a real centered uniformly bounded random variable of unit variance and $b_n$ is an independent Bernoulli random variable with a probability of success $p_n$. Assuming that $\lim\limits_{n\to\infty}n p_n=\infty$, we show that for the random sequence $(ρ_n)_{n=1}^\infty$ given by $$ρ_n:=θ_n+\frac{n p_n}{θ_n},\quad θ_n:=\sqrt{\max\big(\max\limits_{i\leq n}\|{\rm Row_i}(W_n)\|_2^2-np_n,n p_n\big)},$$ the ratio $\frac{\|W_n\|}{ρ_n}$ converges to one in probability. A non-centered counterpart of the theorem allows to obtain asymptotic expressions for eigenvalues of the Erdős--Renyi graphs, which were unknown in the regime $n p_n=Θ(\log n)$. In particular, denoting by $A_n$ the adjacency matrix of $\mathcal{G}(n,p_n)$ and by $λ_{|k|}(A_n)$ its $k$-th largest (by the absolute value) eigenvalue, under the assumptions $\lim\limits_{n\to\infty }n p_n=\infty$ and $\lim\limits_{n\to\infty}p_n=0$ we have:
-(No non-trivial outliers) If $\liminf\frac{n p_n}{\log n}\geq\frac{1}{\log (4/e)}$ then for any fixed $k\geq2$, $\frac{|λ_{|k|}(A_n)|}{2\sqrt{n p_n}}$ converges to $1$ in probability.
-(Outliers) If $\limsup\frac{n p_n}{\log n}<\frac{1}{\log (4/e)}$ then there is $\varepsilon>0$ such that for any $k\in\mathbb{N}$, we have $\lim\limits_{n\to\infty}\mathbb{P}\Big\{\frac{|λ_{|k|}(A_n)|}{2\sqrt{n p_n}}>1+\varepsilon\Big\}=1$.
On a conceptual level, our result highlights similarities in appearance of outliers in spectrum of sparse matrices and the so-called BBP phase transition phenomenon in deformed Wigner matrices.
Making multigraphs simple by a sequence of double edge swaps
We show that any loopy multigraph with a graphical degree sequence can be transformed into a simple graph by a finite sequence of double edge swaps with each swap involving at least one loop or multiple edge. Our result answers a question of Janson motivated by random graph theory, and it adds to the rich literature on reachability of double edge swaps with applications in Markov chain Monte Carlo sampling from the uniform distribution of graphs with prescribed degrees.
An Asymptotic Form of the Generating Function $\prod_{k=1}^\infty (1+x^k/k)$
It is shown that the sequence of rational numbers $r(k)$ generated by the ordinary generating function $\prod_{k=1}^\infty (1+x^k/k)$ converges to a limit $C > 0$. $C$ can be expressed as $C = \exp\Bigl(-\sum_{k = 2}^\infty \frac{(-1)^k}{k}\ ζ(k) \Bigr)$ where $ζ()$ denotes the Riemann zeta function.
Binary patterns in the Prouhet-Thue-Morse sequence
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23, no. 3, Automata, Logic and Semantics (August 30, 2021) dmtcs:5460
• View Publication
• BIB
We show that, with the exception of the words $a^2ba^2$ and $b^2ab^2$, all (finite or infinite) binary patterns in the Prouhet-Thue-Morse sequence can actually be found in that sequence as segments (up to exchange of letters in the infinite case). This result was previously attributed to unpublished work by D. Guaiana and may also be derived from publications of A. Shur only available in Russian. We also identify the (finitely many) finite binary patterns that appear non trivially, in the sense that they are obtained by applying an endomorphism that does not map the set of all segments of the sequence into itself.
Lucas sequences in t-uniform simplicial complexes
We introduce t-uniform simplicial complexes and we show that the lengths of spheres in such complexes are the terms of certain Lucas sequences. We find optimal constants for the linear isoperimetric inequality in the hyperbolic case.
Partial sums and generating functions for powers of second order sequences with indices in arithmetic progression
The sums $\sum_{j = 0}^k {u_{rj + s}^{2n}z^j }$, $\sum_{j = 0}^k {u_{rj + s}^{2n-1}z^j }$, $\sum_{j = 0}^k {v_{rj + s}^{n}z^j }$ and $\sum_{j = 0}^k {w_{rj + s}^{n}z^j }$ are evaluated; where $n$ is any positive integer, $r$, $s$ and $k$ are any arbitrary integers, $z$ is arbitrary, $(u_i)$ and $(v_i)$ are the Lucas sequences of the first kind, and of the second kind, respectively; and $(w_i)$ is the Horadam sequence. Pantelimon St\uanic\ua set out to evaluate the sum $\sum_{j = 0}^k {w_j^n z^j }$. His solution is not complete because he made the assumption that $w_0=0$, thereby giving effectively only the partial sum for $(u_i)$, the Lucas sequence of the first kind.
Geometric description of C-vectors and real Lösungen
We introduce real Loesungen as an analogue of real roots. For each mutation sequence of an arbitrary skew-symmetrizable matrix, we define a family of reflections along with associated vectors which are real Loesungen and a set of curves on a Riemann surface. The matrix consisting of these vectors is called L-matrix. We explain how the L-matrix naturally arises in connection with the C-matrix. Then we conjecture that the L-matrix depends (up to signs of row vectors) only on the seed, and that the curves can be drawn without self-intersections, providing a new combinatorial/geometric description of c-vectors.
Every quasitrivial n-ary semigroup is reducible to a semigroup
We show that every quasitrivial n-ary semigroup is reducible to a binary semigroup, and we provide necessary and sufficient conditions for such a reduction to be unique. These results are then refined in the case of symmetric n-ary semigroups. We also explicitly determine the sizes of these classes when the semigroups are defined on finite sets. As a byproduct of these enumerations, we obtain several new integer sequences.
Planar graphs have bounded nonrepetitive chromatic number
Published in Advances in Combinatorics 2020:5
• View Publication
• BIB
A colouring of a graph is "nonrepetitive" if for every path of even order, the sequence of colours on the first half of the path is different from the sequence of colours on the second half. We show that planar graphs have nonrepetitive colourings with a bounded number of colours, thus proving a conjecture of Alon, Grytczuk, Haluszczak and Riordan (2002). We also generalise this result for graphs of bounded Euler genus, graphs excluding a fixed minor, and graphs excluding a fixed topological minor.
A Framework for Modular Properties of False Theta Functions
False theta functions closely resemble ordinary theta functions, however they do not have the modular transformation properties that theta functions have. In this paper, we find modular completions for false theta functions, which among other things gives an efficient way to compute their obstruction to modularity. This has potential applications for a variety of contexts where false and partial theta series appear. To exemplify the utility of this derivation, we discuss the details of its use on two cases. First, we derive a convergent Rademacher-type exact formula for the number of unimodal sequences via the Circle Method and extend earlier work on their asymptotic properties. Secondly, we show how quantum modular properties of the limits of false theta functions can be rederived directly from the modular completion of false theta functions proposed in this paper.
Constructing Clustering Transformations
Clustering is one of the fundamental tasks in data analytics and machine learning. In many situations, different clusterings of the same data set become relevant. For example, different algorithms for the same clustering task may return dramatically different solutions. We are interested in applications in which one clustering has to be transformed into another; e.g., when a gradual transition from an old solution to a new one is required. In this paper, we devise methods for constructing such a transition based on linear programming and network theory. We use a so-called clustering-difference graph to model the desired transformation and provide methods for decomposing the graph into a sequence of elementary moves that accomplishes the transformation. These moves are equivalent to the edge directions, or circuits, of the underlying partition polytopes. Therefore, in addition to a conceptually new metric for measuring the distance between clusterings, we provide new bounds on the circuit diameter of these partition polytopes.
Riesz bases of exponentials and multi-tiling in finite abelian groups
Motivated by the open problem of exhibiting a subset of Euclidean space which has no exponential Riesz basis, we focus on exponential Riesz bases in finite abelian groups. We point out that that every subset of a finite abelian group has such a basis, removing interest in the existence question in this context. We then define tightness quantities for subsets to measure the conditioning of Riesz bases; for normalized tightness quantities, a value of one corresponds to an orthogonal basis, and a value of infinity corresponds to nonexistence of a basis. As an application, we obtain new weak evidence in favor of the open problem by giving a sequence of subsets of finite abelian groups whose tightness quantities go to infinity in the limit. We also prove that the Cartesian product of a set with a finite abelian group has the same tightness quantities as the original set. Lastly, under an additional hypothesis, explicit bounds are given for tightness quantities in terms of a subset's lowest multi-tiling level by a subgroup and its geometric configuration. This establishes a quantitative link between discrete geometry and harmonic analysis in this setting.
A note on multiplicative automatic sequences
We prove that any $q$-automatic completely multiplicative function $f:\mathbb{N}\to\mathbb{C}$ essentially coincides with a Dirichlet character. This answers a question of J. P. Allouche and L. Goldmakher and confirms a conjecture of J. Bell, N. Bruin and M. Coons for completely multiplicative functions. Further, assuming two standard conjectures in number theory, the methods allows for removing the assumption of completeness.
A Generalization of Schur's $P$- and $Q$-Functions
Published in Sem. Lothar. Combin. 81 (2020), Art. B81k
• Search Publication
We introduce and study a generalization of Schur's $P$-/$Q$-functions associated to a polynomial sequence, which can be viewed as ``Macdonald's ninth variation'' for $P$-/$Q$-functions. This variation includes as special cases Schur's $P$-/$Q$-functions, Ivanov's factorial $P$-/$Q$-functions and the $t=-1$ specialization of Hall--Littlewood functions associated to the classical root systems. We establish several identities and properties such as generalizations of Schur's original definition of Schur's $Q$-functions, Cauchy-type identity, Józefiak--Pragacz--Nimmo formula for skew $Q$-functions, and Pieri-type rule for multiplication.
On some properties of the number of permutations being products of pairwise disjoint $d$-cycles
Let $d\geq 2$ be an integer. In this paper we study arithmetic properties of the sequence $(H_d(n))_{n\in\N}$, where $H_{d}(n)$ is the number of permutations in $S_{n}$ being products of pairwise disjoint cycles of a fixed length $d$. In particular we deal with periodicity modulo a given positive integer, behaviour of the $p$-adic valuations and various divisibility properties. Moreover, we introduce some related families of polynomials and study they properties. Among many results we obtain qualitative description of the $p$-adic valuation of the number $H_{d}(n)$ extending in this way earlier results of Ochiai and Ishihara, Ochiai, Takegehara and Yoshida.
On $p$-adic valuations of certain $m$ colored $p$-ary partition functions
Let $k\in\N_{\geq 2}$ and for given $m\in\Z\setminus\{0\}$ consider the sequence $(S_{k,m}(n))_{n\in\N}$ defined by the power series expansion $$ \frac{1}{(1-x)^{m}}\prod_{i=0}^{\infty}\frac{1}{(1-x^{k^{i}})^{m}}=\sum_{n=0}^{\infty}S_{k,m}(n)x^{n}. $$ The number $S_{k,m}(n)$ for $m\in\N_{+}$ has a natural combinatorial interpretation: it counts the number of representations of $n$ as sums of powers of $k$, where the part equal to $1$ takes one among $mk$ colors and each part $>1$ takes $m(k-1)$ colors. We concentrate on the case when $k=p\in\mathbb{P}$. Our main result is the computation of the exact value of the $p$-adic valuation of $S_{p,m}(n)$. In particular, in each case the set of values of $ν_{p}(S_{p,m}(n))$ is finite and the maximum value is bounded by $\op{max}\{ν_{p}(m)+1,ν_{p}(m+1)+1\}$. Our results can be seen as a generalization of earlier work of Churchhouse and recent work of Gawron, Miska and Ulas, and the present authors.
Optimal Communication Rates and Combinatorial Properties for Common Randomness Generation
Published
• View Publication
• BIB
We study common randomness generation problems where $n$ players aim to generate same sequences of random coin flips where some subsets of the players share an independent common coin which can be tossed multiple times, and there is a publicly seen blackboard through which the players communicate with each other. We provide a tight representation of the optimal communication rates via linear programming, and more importantly, propose explicit algorithms for the optimal distributed simulation for a wide class of hypergraphs. In particular, the optimal communication rate in complete hypergraphs is still achievable in sparser hypergraphs containing a path-connected cycle-free cluster of topologically connected components. Some key steps in analyzing the upper bounds rely on two different definitions of connectivity in hypergraphs, which may be of independent interest.