sequence
7073 papers tagged with this keyword
On the Classification of Universal Rotor-Routers
The combinatorial theory of rotor-routers has connections with problems of statistical mechanics, graph theory, chaos theory, and computer science. A rotor-router network defines a deterministic walk on a digraph G in which a particle walks from a source vertex until it reaches one of several target vertices. Motivated by recent results due to Giacaglia et al., we study rotor-router networks in which all non-target vertices have the same type. A rotor type r is universal if every hitting sequence can be achieved by a homogeneous rotor-router network consisting entirely of rotors of type r. We give a conjecture that completely classifies universal rotor types. Then, this problem is simplified by a theorem we call the Reduction Theorem that allows us to consider only two-state rotors. A rotor-router network called the compressor, because it tends to shorten rotor periods, is introduced along with an associated algorithm that determines the universality of almost all rotors. New rotor classes, including boppy rotors, balanced rotors, and BURD rotors, are defined to study this algorithm rigorously. Using the compressor the universality of new rotor classes is proved, and empirical computer results are presented to support our conclusions. Prior to these results, less than 100 of the roughly 260,000 possible two-state rotor types of length up to 17 were known to be universal, while the compressor algorithm proves the universality of all but 272 of these rotor types.
Bootstrap percolation in power-law random graphs
Published
• View Publication
• BIB
A bootstrap percolation process on a graph $G$ is an "infection" process which evolves in rounds. Initially, there is a subset of infected nodes and in each subsequent round each uninfected node which has at least $r$ infected neighbours becomes infected and remains so forever. The parameter $r\geq 2$ is fixed. Such processes have been used as models for the spread of ideas or trends within a network of individuals.
We analyse bootstrap percolation process in the case where the underlying graph is an inhomogeneous random graph, which exhibits a power-law degree distribution, and initially there are $a(n)$ randomly infected nodes. The main focus of this paper is the number of vertices that will have been infected by the end of the process. The main result of this work is that if the degree sequence of the random graph follows a power law with exponent $β$, where $2 < β< 3$, then a sublinear number of initially infected vertices is enough to spread the infection over a linear fraction of the nodes of the random graph, with high probability.
More specifically, we determine explicitly a critical function $a_c(n)$ such that $a_c(n)=o(n)$ with the following property. Assuming that $n$ is the number of vertices of the underlying random graph, if $a(n) \ll a_c(n)$, then the process does not evolve at all, with high probability as $n$ grows, whereas if $a(n)\gg a_c(n)$, then there is a constant $\eps>0$ such that, with high probability, the final set of infected vertices has size at least $\eps n$. It turns out that when the maximum degree is $o(n^{1/(β-1)})$, then $a_c(n)$ depends also on $r$. But when the maximum degree is $Θ(n^{1/(β-1)})$, then $a_c (n)=n^{β-2 \over β-1}$.
On intersection of two embedded spheres in 3-space
This article is covered by the article arxiv.1012.0925
We study intersection of two polyhedral spheres without self-intersections in 3-space. We find necessary and sufficient conditions on sequences x = x_1,x_2,...,x_n, y = y_1,y_2,...,y_n of positive integers, for existence of 2-dimensional polyhedra f,g in R^3 homeomorphic to the sphere and such that * f-g has n connected components, of which the i-th one has x_i neighbors in f and * g-f has n connected components, of which the i-th one has y_i neighbors in g. Analogously we study intersection of three polyhedral spheres without self-intersections in 3-space.
Russian version is accessible to high-school teachers and students interested in mathematics.
A combinatorial interpretation of the Catalan transform of the Catalan numbers
The Catalan transform of a sequence (a_{n})_{n>=0} is the sequence (b_{n})_{n>=0} with b_{n} = Sum[k/(2n-k) (2n-k)-choose-(n-k) a_{k},k=0..n]. Here we show that the Catalan transform of the Catalan numbers has a simple interpretation: it counts functions f:[1,n] -> [1,n] satisfying the condition that, for all i<j, f(j)-(j-i) is not in the interval [1,f(i)-1].
Jeu de taquin dynamics on infinite Young tableaux and second class particles
Published in Annals of Probability 2015, Vol. 43, 682-737
• View Publication
• BIB
We study an infinite version of the "jeu de taquin" sliding game, which can be thought of as a natural measure-preserving transformation on the set of infinite Young tableaux equipped with the Plancherel probability measure. We use methods from representation theory to show that the Robinson-Schensted-Knuth ($\operatorname {RSK}$) algorithm gives an isomorphism between this measure-preserving dynamical system and the one-sided shift dynamics on a sequence of independent and identically distributed random variables distributed uniformly on the unit interval. We also show that the jeu de taquin paths induced by the transformation are asymptotically straight lines emanating from the origin in a random direction whose distribution is computed explicitly, and show that this result can be interpreted as a statement on the limiting speed of a second-class particle in the Plancherel-TASEP particle system (a variant of the Totally Asymmetric Simple Exclusion Process associated with Plancherel growth), in analogy with earlier results for second class particles in the ordinary TASEP.
Partially Ordinal Sums and $P$-partitions
Published in The Electronic Journal of Combinatorics 19(4) (2012) #P29
• View Publication
• BIB
We present a method of computing the generating function $f_P(\x)$ of $P$-partitions of a poset $P$. The idea is to introduce two kinds of transformations on posets and compute $f_P(\x)$ by recursively applying these transformations. As an application, we consider the partially ordinal sum $P_n$ of $n$ copies of a given poset, which generalizes both the direct sum and the ordinal sum. We show that the sequence $\{f_{P_n}(\x)\}_{n\ge 1}$ satisfies a finite system of recurrence relations with respect to $n$. We illustrate the method by several examples, including a kind of 3-rowed posets and the multi-cube posets.
Algebraic Properties of Codimension Series of PI-Algebras
Published
• View Publication
• BIB
For a PI-algebra R over a field of characteristic 0 let T(R) be the T-ideal of the polynomial identities of R and let c(R,t) be the codimension series of R (i.e., the generating function of the codimension sequence of R). Let A, B and R be PI-algebras such that T(R)=T(A)T(B). We show that if c(A,t) and c(B,t) are rational functions, then c(R,t) is also rational. If c(A,t) is rational and c(B,t) is algebraic, then c(R,t) is also algebraic. The proof is based on the fact that the product of two exponential generating functions behaves as the exponential generating function of the sequence of the degrees of the outer tensor products of two sequences of representations of symmetric groups.
The number of \bar{2}413\bar{5}-avoiding permutations
We answer a question of R. J. Mathar and confirm that the counting sequence for $\bar{2}413\bar{5}$-avoiding permutations is the Invert transform of the Bell numbers. The proof relies on a simple decomposition of these permutations and the known fact that $\bar{2}413$-avoiding permutations are counted by the Bell numbers.
A novel method for identification of local conformational changes in proteins
Motivation: Proteins are known to undergo conformational changes in the course of their functions. The changes in conformation are often attributable to a small fraction of residues within the protein. Therefore identification of these variable regions is important for an understanding of protein function.
Results: We propose a novel method for identification of local conformational changes in proteins. In our method, backbone conformations are encoded into a sequence of letters from a 16-letter alphabet (called D2 codes) to perform structural comparison. Since we do not use clustering analysis to encode local structures, the D2 codes not only provides a intuitively understandable description of protein structures, but also covers wide varieties of distortions. This paper shows that the D2 codes are better correlated with changes in the dihedral angles than a structural alphabet and a secondary structure description. In the case of the N37S mutant of HIV-1 protease, local conformational changes were captured by the D2 coding method more accurately than other methods. The D2 coding also provided a reliable representation of the difference between NMR models of an HIV-1 protease mutant.
Enumeration of Golomb Rulers and Acyclic Orientations of Mixed Graphs
Published in Electronic Journal of Combinatorics 19, no. 3 (2012), P42
• View Publication
• BIB
A \emph{Golomb ruler} is a sequence of distinct integers (the \emph{markings} of the ruler) whose pairwise differences are distinct. Golomb rulers can be traced back to additive number theory in the 1930s and have attracted recent research activities on existence problems, such as the search for \emph{optimal} Golomb rulers (those of minimal length given a fixed number of markings). Our goal is to enumerate Golomb rulers in a systematic way: we study
[g_m(t) := # {\x \in \Z^{m+1} : \, 0 = x_0 < x_1 < ... < x_{m-1} < x_m = t, \text{all} x_j - x_k \text{distinct}},]
the number of Golomb rulers with $m+1$ markings and length $t$. Our main result is that $g_m(t)$ is a quasipolynomial in $t$ which satisfies a combinatorial reciprocity theorem: $(-1)^{m-1} g_m(-t)$ equals the number of rulers $\x$ of length $t$ with $m+1$ markings, each counted with its \emph{Golomb multiplicity}, which measures how many combinatorially different Golomb rulers are in a small neighborhood of $\x$. Our reciprocity theorem can be interpreted in terms of certain mixed graphs associated to Golomb rulers; in this language, it is reminiscent of Stanley's reciprocity theorem for chromatic polynomials. Thus in the second part of the paper we develop an analogue of Stanley's theorem to mixed graphs, which connects their chromatic polynomials to acyclic orientations.
Asymptotics of trees with a prescribed degree sequence and applications
Published
• View Publication
• BIB
Let $t$ be a rooted tree and $n_i(t)$ the number of nodes in $t$ having $i$ children. The degree sequence $(n_i(t),i\geq 0)$ of $t$ satisfies $\sum_{i\ge 0} n_i(t)=1+\sum_{i\ge 0} in_i(t)=|t|$, where $|t|$ denotes the number of nodes in $t$. In this paper, we consider trees sampled uniformly among all trees having the same degree sequence $\ds$; we write $`P_\ds$ for the corresponding distribution. Let $\ds(κ)=(n_i(κ),i\geq 0)$ be a list of degree sequences indexed by $κ$ corresponding to trees with size $\nk\to+\infty$. We show that under some simple and natural hypotheses on $(\ds(κ),κ>0)$ the trees sampled under $`P_{\ds(κ)}$ converge to the Brownian continuum random tree after normalisation by $\nk^{1/2}$. Some applications concerning Galton--Watson trees and coalescence processes are provided.
A Universal 4D Model for Double-Efficient Lossless Data Compressions
This article discusses the theory, model, implementation and performance of a combinatorial fuzzy-binary and-or (FBAR) algorithm for lossless data compression (LDC) and decompression (LDD) on 8-bit characters. A combinatorial pairwise flags is utilized as new zero/nonzero, impure/pure bit-pair operators, where their combination forms a 4D hypercube to compress a sequence of bytes. The compressed sequence is stored in a grid file of constant size. Decompression is by using a fixed size translation table (TT) to access the grid file during I/O data conversions. Compared to other LDC algorithms, double-efficient (DE) entropies denoting 50% compressions with reasonable bitrates were observed. Double-extending the usage of the TT component in code, exhibits a Universal Predictability via its negative growth of entropy for LDCs > 87.5% compression, quite significant for scaling databases and network communications. This algorithm is novel in encryption, binary, fuzzy and information-theoretic methods such as probability. Therefore, information theorists, computer scientists and engineers may find the algorithm useful for its logic and applications.
Rademacher's infinite partial fraction conjecture is (almost certainly) false
Published in Journal of Difference Equations and Applications 19 (2013) 680--689
• View Publication
• BIB
In his book \emph{Topics in Analytic Number Theory}, Hans Rademacher conjectured that the limits of certain sequences of coefficients that arise in the ordinary partial fraction decomposition of the generating function for partitions of integers into at most $N$ parts exist and equal particular values that he specified. Despite being open for nearly four decades, little progress has been made toward proving or disproving the conjecture, perhaps in part due to the difficulty in actually computing the coefficients in question.
In this paper, we provide a fast algorithm for calculating the Rademacher coefficients, a large amount of data, direct formulas for certain collections of Rademacher coefficients, and overwhelming evidence against the truth of the conjecture. While the limits of the sequences of Rademacher coefficients do not exist (the sequences oscillate and attain arbitrarily large positive and negative values), the sequences do get very close to Rademacher's conjectured limits for certain (predictable) indices in the sequences.
On 2-switches and isomorphism classes
Published in Discrete Mathematics 312 (2012) 2217-2222
• View Publication
• BIB
A 2-switch is an edge addition/deletion operation that changes adjacencies in the graph while preserving the degree of each vertex. A well known result states that graphs with the same degree sequence may be changed into each other via sequences of 2-switches. We show that if a 2-switch changes the isomorphism class of a graph, then it must take place in one of four configurations. We also present a sufficient condition for a 2-switch to change the isomorphism class of a graph. As consequences, we give a new characterization of matrogenic graphs and determine the largest hereditary graph family whose members are all the unique realizations (up to isomorphism) of their respective degree sequences.
On a problem of Sierpinski
Published in Acta Arith. 156 (2012), 373-382
• View Publication
• BIB
Let $s\ge 2$ be an integer. Denote by $μ_s$ the least integer so that every integer $\ell >μ_s$ is the sum of exactly $s$ integers $>1 $ which are pairwise relatively prime. In 1964, Sierpiński asked a determination of $μ_s$. Let $p_1=2$, $p_2=3, ...$ be the sequence of consecutive primes and let $μ_s = p_2+p_3+...+p_{s+1}+c_s$. P. Erd\H os proved that there exists an absolute constant $C$ with $-2\le c_s\le C$. In this paper, we determine $μ_s$ for all $s\ge 2$. As a corollary, we show that $-2\le c_s\le 1100$ and the set of integers $s$ with $μ_s= p_2+p_3+... +p_{s+1}+1100$ has the asymptotic density 1.
Central sets defined by words of low factor complexity
A subset $A$ of $\mathbb{N}$ is called an IP-set if $A$ contains all finite sums of distinct terms of some infinite sequence $(x_n)_{n\in \mathbb{N}} $ of natural numbers. Central sets, first introduced by Furstenberg using notions from topological dynamics, constitute a special class of IP-sets possessing additional nice combinatorial properties: Each central set contains arbitrarily long arithmetic progressions, and solutions to all partition regular systems of homogeneous linear equations. In this paper we show how certain families of aperiodic words of low factor complexity may be used to generate a wide assortment of central sets having additional nice properties inherited from the rich combinatorial structure of the underlying word. We consider Sturmian words and their extensions to higher alphabets (so-called Arnoux-Rauzy words), as well as words generated by substitution rules including the famous Thue-Morse word. We also describe a connection between central sets and the strong coincidence condition for fixed points of primitive substitutions which represents a new approach to the strong coincidence conjecture for irreducible Pisot substitutions. Our methods simultaneously exploit the general theory of combinatorics on words, the arithmetic properties of abstract numeration systems defined by substitution rules, notions from topological dynamics including proximality and equicontinuity, the spectral theory of symbolic dynamical systems, and the beautiful and elegant theory, developed by N. Hindman, D. Strauss and others, linking IP-sets to the algebraic/topological properties of the Stone-Čech compactification of $\mathbb{N}.$ Using the key notion of $p$-$\lim_n,$ regarded as a mapping from words to words, we apply ideas from combinatorics on words in the framework of ultrafilters.
A Space Efficient Algorithm for the Calculation of the Digit Distribution in the Kolakoski Sequence
With standard algorithms for generating the classical Kolakoski sequence, the numerical calculation of the digit distribution requires a linear amount of space. Here, we present an algorithm for calculating the distribution of the digits in the classical Kolakoski sequence, that only requires a logarithmic amount of space and still runs in linear time. The algorithm is easily adaptable to generalised Kolakoski sequences.
The General Traveling Salesman Problem, Version 5
This paper is example 5 in chapter 5. Let H be an n-cycle. A permutation s is H-admissible if Hs = H' where H' is an n-cycle. Here we define a 19 X 19 matrix, M, in the following way: We obtain the remainders modulo 100 of each of the smallest 342 odd primes. we obtain the remainders modulo 100 of each of the primes. They are placed in M according to the original value of each prime. Thus their placement depends on the the original ordinal values of the primes according to size. We use this ordering to place the primes in M. Let H_0 be an initial 19 cycles arbitrarily chosen. We apply a sequence of up to [ln(n)+1] H_0 3-cycles to obtain a 19-cycle of smaller value than H_0, call the new 19-cycle H_1. We follow this procedure to obtain H_1. We call [ln(n)] + 1 a chain. We add up the values of the 19-cycles in each chain. This procedure continues until we cannot obtain a chain the sum of whose values is not negative. COMMENT. I've renamed the document "Yhe General Traveling Salesman Problem, Version 5". I preciously named it "The Traveling Salesman, Version 5". Although the algorithms work on the GTSP, I thought that more people would google it if it was named "The Traveling Salesman Problem." Rhar qas because my work is only available through arxiv.org,
Excluding Degree Sequences of Cycles
In this paper, we characterize the degree sequences excluding the degree sequence of a square in terms of forcibly chordal graphs, and we prove several related results.
The independent set sequence of regular bipartite graphs
Published
• View Publication
• BIB
Let $i_t(G)$ be the number of independent sets of size $t$ in a graph $G$. Alavi, Erdős, Malde and Schwenk made the conjecture that if $G$ is a tree then the independent set sequence $\{i_t(G)\}_{t\geq 0}$ of $G$ is unimodal; Levit and Mandrescu further conjectured that this should hold for all bipartite $G$.
We consider the independent set sequence of finite regular bipartite graphs, and graphs obtained from these by percolation (independent deletion of edges). Using bounds on the independent set polynomial $P(G,λ):=\sum_{t \geq 0} i_t(G)λ^t$ for these graphs, we obtain partial unimodality results in these cases.
We then focus on the discrete hypercube $Q_d$, the graph on vertex set $\{0,1\}^d$ with two strings adjacent if they differ on exactly one coordinate. We obtain asymptotically tight estimates for $i_{t(d)}(Q_d)$ in the range $t(d)/2^{d-1} > 1-1/\sqrt{2}$, and nearly matching upper and lower bounds otherwise. We use these estimates to obtain a stronger partial unimodality result for the independent set sequence of $Q_d$.