sequence
6845 papers tagged with this keyword
Reversible peg solitaire on graphs
Published
• View Publication
• BIB
The game of peg solitaire on graphs was introduced by Beeler and Hoilman in 2011. In this game, pegs are initially placed on all but one vertex of a graph $G$. If $xyz$ forms a path in $G$ and there are pegs on vertices $x$ and $y$ but not $z$, then a {\em jump} places a peg on $z$ and removes the pegs from $x$ and $y$. A graph is called solvable if, for some configuration of pegs occupying all but one vertex, some sequence of jumps leaves a single peg. We study the game of {\em reversible peg solitaire}, where there are again initially pegs on all but one vertex, but now both jumps and unjumps (the reversal of a jump) are allowed. We show that in this game all non-star graphs that contain a vertex of degree at least three are solvable, that cycles and paths on $n$ vertices, where $n$ is divisible by $2$ or $3$, are solvable, and that all other graphs are not solvable. We also classify the possible starting hole and ending peg positions for solvable graphs.
There are no Coincidences
This paper is inspired by a seqfan post by Jeremy Gardiner. The post listed nine sequences with similar parities. In this paper I prove that the similarities are not a coincidence but a mathematical fact.
Distinguishing graphs with zeta functions and generalized spectra
Published in Linear Algebra Appl. 481 (2015) 54-82
• View Publication
• BIB
Conjecturally, almost all graphs are determined by their spectra. This problem has also been studied for variants such as the spectra of the Laplacian and signless Laplacian. Here we consider the problem of determining graphs with Ihara and Bartholdi zeta functions, which are also computable in polynomial time. These zeta functions are geometrically motivated, but can be viewed as certain generalizations of characteristic polynomials. After discussing some graph properties determined by zeta functions, we show that large classes of cospectral graphs can be distinguished with zeta functions and enumerate graphs distinguished by zeta functions on $\le 11$ vertices. This leads us to conjecture that almost all graphs which are not determined by their spectrum are determined by zeta functions.
Along the way, we make some observations about the usual types of spectra and disprove a conjecture of Setyadi and Storm about Ihara zeta functions determining degree sequences.
Mutation effects in ordered trees
A mutation will affect an individual and some or all of its descendants. In this paper, we investigate ordered trees with a distinguished vertex called the mutator. We describe various mutations in ordered trees, and find the generating functions for statistics concerning trees with those mutations. The examples give new interpretations to several known sequences and also introduce many new sequences and their combinatorial interpretations.
The sorting index on colored permutations and even-signed permutations
Published
• View Publication
• BIB
We define a new statistic $\mathsf{sor}$ on the set of colored permutations $\mathsf{G}_{r,n}$ and prove that it has the same distribution as the length function. For the set of restricted colored permutations corresponding to the arrangements of $n$ non-attacking rooks on a fixed Ferrers shape we show that the following two sequences of set-valued statistics are joint equidistributed: $(\ell,\mathsf{Rmil}^0,\mathsf{Rmil}^1,...,\mathsf{Rmil}^{r-1}$, $\mathsf{Lmil}^0,\mathsf{Lmil}^1,...,\mathsf{Lmil}^{r-1}$, $\mathsf{Lmal}^0,\mathsf{Lmal}^1,...,\mathsf{Lmal}^{r-1}$, $\mathsf{Lmap}^0,\mathsf{Lmap}^1,...,\mathsf{Lmap}^{r-1})$ and $(\mathsf{sor},\mathsf{Cyc}^0,\mathsf{Cyc}^{r-1},...,\mathsf{Cyc}^{1}$, $\mathsf{Lmic}^0,\mathsf{Lmic}^{r-1},...,\mathsf{Lmic}^{1}$, $\mathsf{Lmal}^0,\mathsf{Lmal}^1,...,\mathsf{Lmal}^{r-1}$, $\mathsf{Lmap}^0,\mathsf{Lmap}^1,...,\mathsf{Lmap}^{r-1})$. Analogous results are also obtained for Coxeter group of type $D$. Our results extend recent results of Petersen, Chen-Gong-Guo and Poznanović.
Some identities involving Prouhet-Thue-Morse sequence and its relatives
Published
• View Publication
• BIB
Let $s_{k}(n)$ denote the sum of digits of an integer $n$ in base $k$. Motivated by certain identities of Nieto, and Bateman and Bradley involving sums of the form $\sum_{i=0}^{2^{n}-1}(-1)^{s_{2}(i)}(x+i)^{m}$ for $m=n$ and $m=n+1$, we consider the sequence of polynomials \begin{equation*} f_{m,n}^{\mathbf u}(x)=\sum_{i=0}^{k^{n}-1}ζ_{k}^{s_{k}(i)}(x+{\mathbf u}(i))^{m}. \end{equation*} defined for sequences ${\bf u}(i)$ satisfying a certain recurrence relation.
We prove that computing these polynomials is essentially equivalent with computing their constant term and we find an explicit formula for this number. This allows us to prove several interesting identities involving sums of binary digits. We also prove some related results which are of independent interests and can be seen as further generalizations of certain sums involving Prouhet-Thue-Morse sequence.
Semidefinite approximations of conical hulls of measured sets
Published
• View Publication
• BIB
Let $C$ be a proper convex cone generated by a compact set which supports a measure $μ$. A construction due to A.Barvinok, E.Veomett and J.B. Lasserre produces, using $μ$, a sequence $(P_k)_{k\in \mathbb{N}}$ of nested spectrahedral cones which contains the cone $C^*$ dual to $C$. We prove convergence results for such sequences of spectrahedra and provide tools for bounding the distance between $P_k$ and $C^*$. These tools are especially useful on cones with enough symmetries and allow us to determine bounds for several cones of interest. We compute such upper bounds for semidefinite approximations of cones over traveling salesman polytopes and for cones of nonnegative ternary sextics and quaternary quartics.
A note on a new ideal
Published in J. Math. Anal. Appl., 430, No. 2, (2015), 932-949
• View Publication
• BIB
In this paper we study a new ideal $\mathcal{WR}$. The main result is the following: an ideal is not weakly Ramsey if and only if it is above $\mathcal{WR}$ in the Katětov order. Weak Ramseyness was introduced by Laflamme in order to characterize winning strategies in a certain game. We apply result of Natkaniec and Szuca to conclude that $\mathcal{WR}$ is critical for ideal convergence of sequences of quasi-continuous functions. We study further combinatorial properties of $\mathcal{WR}$ and weak Ramseyness. Answering a question of Filipów et al. we show that $\mathcal{WR}$ is not $2$-Ramsey, but every ideal on $ω$ isomorphic to $\mathcal{WR}$ is Mon (every sequence of reals contains a monotone subsequence indexed by a $\mathcal{I}$-positive set).
Palindromic sequences generated from marked morphisms
Published in European Journal of Combinatorics (2016) 200-214
• View Publication
• BIB
Fixed points ${\bf u}=\varphi({\bf u})$ of marked and primitive morphisms $\varphi$ over arbitrary alphabet are considered. We show that if ${\bf u}$ is palindromic, i.e., its language contains infinitely many palindromes, then some power of $\varphi$ has a conjugate in class ${\mathcal P}$. This class was introduced by Hof, Knill, Simon (1995) in order to study palindromic morphic words. Our definitions of marked and well-marked morphisms are more general than the ones previously used by Frid (1999) or Tan (2007). As any morphism with aperiodic fixed point over binary alphabet is marked, our result generalizes the result of Tan. Labbé (2014) demonstrated that already on a ternary alphabet the property of morphisms to be marked is important for the validity of our theorem. The main tool used in our proof is the description of bispecial factors in fixed points of morphisms provided by Klouda (2012).
Superlinear subset partition graphs with dimension reduction, strong adjacency, and endpoint count
Published
• View Publication
• BIB
We construct a sequence of subset partition graphs satisfying the dimension reduction, adjacency, strong adjacency, and endpoint count properties whose diameter has a superlinear asymptotic lower bound. These abstractions of polytope graphs give further evidence against the Linear Hirsch Conjecture.
Colored compositions, Invert operator and elegant compositions with the "black tie"
Published in Discrete Mathematics, Vol. 335, 1-7, 2014
• View Publication
• BIB
This paper shows how the study of colored compositions of integers reveals some unexpected and original connection with the Invert operator. The Invert operator becomes an important tool to solve the problem of directly counting the number of colored compositions for any coloration. The interesting consequences arising from this relationship also give an immediate and simple criterion to determine whether a sequence of integers counts the number of some colored compositions. Applications to Catalan and Fibonacci numbers naturally emerge, allowing to clearly answer to some open questions. Moreover, the definition of colored compositions with the "black tie" provides straightforward combinatorial proofs to a new identity involving multinomial coefficients and to a new closed formula for the Invert operator. Finally, colored compositions with the "black tie" give rise to a new combinatorial interpretation for the convolution operator, and to a new and easy method to count the number of parts of colored compositions.
A note on m_h(A_k)
A_k = {1, a_2, ..., a_k} is an h-basis for n if every positive integer not exceeding n can be expressed as the sum of no more than h values a_i; we write n = n_h(A_k). An extremal h-basis A_k is one for which n is as large as possible, and then we write n = n_h(k).
The "local" Postage Stamp Problem is concerned with properties of particular sets A_k, and it is clear that sets where n_h(A_k) does not exceed a_k are of little interest. We define h_0(k) to be the smallest value of h for which n_h(A_k) exceeds a_k; such sets are called "admissible".
We say that a value n can be "generated" by A_k if it can be expressed as the sum of no more than h values a_i, or - equivalently - if it can be expressed as the sum of exactly h values a_i from the set A'_k = {0, a_1, a_2, ... a_k}. No values greater than ha_k can be generated, and we now consider the number of values less than ha_k that have no generation, denoted m_h(A_k) - essentially a count of the number of "gaps" (see Challis [1], and Selmer [5] page 3.1).
It is easy to show that for some value h_2(k) exceeding h_0(k) the difference m_h(A_k) - m_(h+1)(A_k) remains constant - that is, the "pattern" of missing values between ha_k and (h+1)a_k does not change as h increases. Here we are interested in the pattern of missing values for values that lie between h_0 and h_2.
On page 7.8 of Selmer [5] he conjectures that the sequence of differences m_h(A_k) - m_(h+1)(A_k) is non-increasing as h runs from h_0 to h_2. When I came across this conjecture I could not convince myself that it was likely to be true, having found a possible error in Selmer's justification. I wrote to him in November 1995, and early in 1996 he replied, agreeing that this might be the case and hoping that I might be able to find a counter example. This paper records my successful search for a counter example, eventually found late in 1999.
The Saturation Number for the length of Degree Monotone Paths
Published
• View Publication
• BIB
A degree monotone path in a graph $G$ is a path $P$ such that the sequence of degrees of the vertices in the order in which they appear on $P$ is monotonic. The length of the longest degree monotone path in $G$ is denoted by $mp(G)$. This parameter, inspired by the well-known Erdos-Szekeres theorem, has been studied by the authors in two earlier papers. Here we consider a saturation problem for the parameter $mp(G)$. We call $G$ saturated if, for every edge $e$ added to $G$, $mp(G+e) >mp(G)$, and we define $h(n,k)$ to be the least possible number of edges in a saturated graph $G$ on $n$ vertices with $mp(G) < k$, while $mp(G+e) \geq k$ for every new edge $e$.
We obtain linear lower and upper bounds for $h(n,k)$, we determine exactly the values of $h(n,k)$ for $k=3$ and $4$, and we present constructions of saturated graphs.
Spectral Moments of Random Matrices with a Rank-One Pattern of Variances
Let $\mathbf{a}_{ij}$, $1\leq i\leq j\leq n$, be independent random variables and $\mathbf{a}_{ji}=\mathbf{a}_{ij}$, for all $i,j$. Suppose that every $\mathbf{a}_{ij}$ is bounded, has zero mean, and its variance is given by $σ_{i}σ_{j}$, for a given sequence of positive real numbers $Ψ=\{σ_{i} , i\in\mathbb{N}\}$. Hence, the matrix of variances $V_n=\left( \mbox{Var}( \mathbf{a}_{ij}) \right)_{i,j=1}^n$ has rank one for all $n$. We show that the empirical spectral distribution of the symmetric random matrix $\mathbf{A}_n(Ψ)$ $ =$ $ \left( \mathbf{a}_{ij}/\sqrt{n}\right)_{i,j=1}^n$ converges weakly (and with probability one) to a deterministic limiting spectral distribution which we fully characterize by providing closed-form expressions for its limiting spectral moments in terms of the sequence $Ψ$. Furthermore, we propose a hierarchy of semidefinite programs to compute upper and lower bound on the expected spectral norm of $\mathbf{A}_n$, for both finite $n$ and the limit $n\to\infty$.
The Complement of Binary Klein Quadric as a Combinatorial Grassmannian
Published in Mathematics 3 (2015) 481-486
• View Publication
• BIB
Given a hyperbolic quadric of PG(5,2), there are 28 points off this quadric and 56 lines skew to it. It is shown that the $(28_6, 56_3)$-configuration formed by these points and lines is isomorphic to the combinatorial Grassmannian of type $G_2(8)$. It is also pointed out that a set of seven points of $G_2(8)$ whose labels share a mark corresponds to a Conwell heptad of PG(5,2). Gradual removal of Conwell heptads from the $(28_6, 56_3)$-configuration yields a nested sequence of binomial configurations identical with part of that found to be associated with Cayley-Dickson algebras (arXiv:1405.6888).
A note on the Thue chromatic number of lexicographic products of graphs
Published
• View Publication
• BIB
A sequence is called non-repetitive if no of its subsequences forms a repetition (a sequence $r_1,r_2,\dots,r_{2n}$ such that $r_i=r_{n+i}$ for all $1\leq i \leq n$). Let $G$ be a graph whose vertices are coloured. A colouring $\varphi$ of the graph $G$ is non-repetitive if the sequence of colours on every path in $G$ is non-repetitive. The Thue chromatic number, denoted by $π(G)$, is the minimum number of colours of a non-repetitive colouring of $G$. In this short note we present a general upper bound for the Thue chromatic number for the lexicographic product $G\circ H$ of graphs $G$ and $H$ with respect to some properties of the factors. This upper bound is then used to derive the exact values for $π(G\circ H)$ when $G$ is a complete multipartite graph and $H$ is an arbitrary graph.
The Derivative Degree Sequences of Finite Simple Connected Graphs are Parking Functions
Parking functions are well researched and interesting results are found in the listed references and more. Some introductory results stemming from application to degree sequences of simple connected graphs are provided in this paper. Amongst others, the result namely, that a derivative degree sequence, $d_d(G) \in \Bbb D_d(G)= \{(\lceil\frac{d(v_1}{\ell}\rceil, \lceil\frac{d(v_2)}{\ell}\rceil, \lceil\frac{d(v_3)}{\ell}\rceil, ..., \lceil\frac{d(v_n)}{\ell}\rceil| \ell = d(v_i), \forall i,$ with $d(v_i)\geq 2\},$ of a simple connected graph $G$ is a parking function, is presented. We also introduce the concept of \emph{looping degree sequences} and the \emph{looping number}, $ξ(G)$. Four open problems are proposed as well.
A new encoding of coalescent processes. Applications to the additive and multiplicative cases
Published
• View Publication
• BIB
We revisit the discrete additive and multiplicative coalescents, starting with $n$ particles with unit mass. These cases are known to be related to some "combinatorial coalescent processes": a time reversal of a fragmentation of Cayley trees or a parking scheme in the additive case, and the random graph process $(G(n,p))_p$ in the multiplicative case. Time being fixed, encoding these combinatorial objects in real-valued processes indexed by the line is the key to describing the asymptotic behaviour of the masses as $n\to +\infty$.
We propose to use the Prim order on the vertices instead of the classical breadth-first (or depth-first) traversal to encode the combinatorial coalescent processes. In the additive case, this yields interesting connections between the different representations of the process. In the multiplicative case, it allows one to answer to a stronger version of an open question of Aldous [Ann. Probab., vol. 25, pp. 812--854, 1997]: we prove that not only the sequence of (rescaled) masses, seen as a process indexed by the time $λ$, converges in distribution to the reordered sequence of lengths of the excursions above the current minimum of a Brownian motion with parabolic drift $(B_t+λt - t^2/2, t\geq 0)$, but we also construct a version of the standard augmented multiplicative coalescent of Bhamidi, Budhiraja and Wang [Probab. Theory Rel., to appear] using an additional Poisson point process.
On the binomial sums of Horadam sequence
Published in Konuralp Journal of Mathematics 3(1), 2015
• Search Publication
The main purpose of this paper is to establish some new properties of Horadam numbers in terms of binomial sums. By that, we can obtain these special numbers in a new and direct way. Moreover, some connections between Horadam and generalized Lucas numbers are revealed to get a more strong result.
Note on islands in path-length sequences of binary trees
An earlier characterization of topologically ordered (lexicographic) path-length sequences of binary trees is reformulated in terms of an integrality condition on a scaled Kraft sum of certain subsequences (full segments, or islands). The scaled Kraft sum is seen to count the set of ancestors at a certain level of a set of topologically consecutive leaves is a binary tree.