sequence
6845 papers tagged with this keyword
A preferential attachment model with random initial degrees
Published
• View Publication
• BIB
In this paper, a random graph process ${G(t)}_{t\geq 1}$ is studied and its degree sequence is analyzed. Let $(W_t)_{t\geq 1}$ be an i.i.d. sequence. The graph process is defined so that, at each integer time $t$, a new vertex, with $W_t$ edges attached to it, is added to the graph. The new edges added at time t are then preferentially connected to older vertices, i.e., conditionally on $G(t-1)$, the probability that a given edge is connected to vertex i is proportional to $d_i(t-1)+δ$, where $d_i(t-1)$ is the degree of vertex $i$ at time $t-1$, independently of the other edges. The main result is that the asymptotical degree sequence for this process is a power law with exponent $τ=\min\{τ_{W}, τ_{P}\}$, where $τ_{W}$ is the power-law exponent of the initial degrees $(W_t)_{t\geq 1}$ and $τ_{P}$ the exponent predicted by pure preferential attachment. This result extends previous work by Cooper and Frieze, which is surveyed.
Diameters in preferential attachment models
Published in Journal of Statistical Physics, 139(1):72-107, (2010)
• View Publication
• BIB
In this paper, we investigate the diameter in preferential attachment (PA-) models, thus quantifying the statement that these models are small worlds. The models studied here are such that edges are attached to older vertices proportional to the degree plus a constant, i.e., we consider affine PA-models. There is a substantial amount of literature proving that, quite generally, PA-graphs possess power-law degree sequences with a power-law exponent τ>2.
We prove that the diameter of the PA-model is bounded above by a constant times \log{t}, where t is the size of the graph. When the power-law exponent τexceeds 3, then we prove that \log{t} is the right order, by proving a lower bound of this order, both for the diameter as well as for the typical distance. This shows that, for τ>3, distances are of the order \log{t}. For τ\in (2,3), we improve the upper bound to a constant times \log\log{t}, and prove a lower bound of the same order for the diameter. Unfortunately, this proof does not extend to typical distances. These results do show that the diameter is of order \log\log{t}.
These bounds partially prove predictions by physicists that the typical distance in PA-graphs are similar to the ones in other scale-free random graphs, such as the configuration model and various inhomogeneous random graph models, where typical distances have been shown to be of order \log\log{t} when τ\in (2,3), and of order \log{t} when τ>3.
Homotopy groups of Hom complexes of graphs
Published
• View Publication
• BIB
The notion of $\times$-homotopy from \cite{DocHom} is investigated in the context of the category of pointed graphs. The main result is a long exact sequence that relates the higher homotopy groups of the space $\Hom_*(G,H)$ with the homotopy groups of $\Hom_*(G,H^I)$. Here $\Hom_*(G,H)$ is a space which parametrizes pointed graph maps from $G$ to $H$ (a pointed version of the usual $\Hom$ complex), and $H^I$ is the graph of based paths in $H$. As a corollary it is shown that $π_i \big(\Hom_*(G,H) \big) \cong [G,Ω^i H]_{\times}$, where $ΩH$ is the graph of based closed paths in $H$ and $[G,K]_{\times}$ is the set of $\times$-homotopy classes of pointed graph maps from $G$ to $K$. This is similar in spirit to the results of \cite{BBLL}, where the authors seek a space whose homotopy groups encode a similarly defined homotopy theory for graphs. The categorical connections to those constructions are discussed.
Limits of Hypergraphs, Removal and Regularity Lemmas. A Non-standard Approach
We study the integral and measure theory of the ultraproduct of finite sets. As a main application we construct limit objects for hypergraph sequences. We give a new proof for the Hypergraph Removal Lemma and the Hypergraph Regularity Lemma.
The Rotor-Router Model on Regular Trees
Published in Journal of Combinatorial Theory, Series A 116(2), 421--433, 2009
• View Publication
• BIB
The rotor-router model is a deterministic analogue of random walk. It can be used to define a deterministic growth model analogous to internal DLA. We show that the set of occupied sites for this model on an infinite regular tree is a perfect ball whenever it can be, provided the initial rotor configuration is acyclic (that is, no two neighboring vertices have rotors pointing to one another). This is proved by defining the rotor-router group of a graph, which we show is isomorphic to the sandpile group. We also address the question of recurrence and transience: We give two rotor configurations on the infinite ternary tree, one for which chips exactly alternate escaping to infinity with returning to the origin, and one for which every chip returns to the origin. Further, we characterize the possible "escape sequences" for the ternary tree, that is, binary words a_1 ... a_n for which there exists a rotor configuration so that the k-th chip escapes to infinity if and only if a_k=1.
The descent statistic on involutions is not log-concave
Published
• View Publication
• BIB
We establish a combinatorial connection between the sequence $(i_{n,k})$ counting the involutions on $n$ letters with $k$ descents and the sequence $(a_{n,k})$ enumerating the semistandard Young tableaux on $n$ cells with $k$ symbols. This allows us to show that the sequences $(i_{n,k})$ are not log-concave for some values of $n$, hence answering a conjecture due to F. Brenti.
Reconstruction for models on random graphs
Published
• View Publication
• BIB
Consider a collection of random variables attached to the vertices of a graph. The reconstruction problem requires to estimate one of them given `far away' observations. Several theoretical results (and simple algorithms) are available when their joint probability distribution is Markov with respect to a tree. In this paper we consider the case of sequences of random graphs that converge locally to trees. In particular, we develop a sufficient condition for the tree and graph reconstruction problem to coincide. We apply such condition to colorings of random graphs.
Further, we characterize the behavior of Ising models on such graphs, both with attractive and random interactions (respectively, `ferromagnetic' and `spin glass').
Multiple pattern matching: A Markov chain approach
Published
• View Publication
• BIB
RNA motifs typically consist of short, modular patterns that include base pairs formed within and between modules. Estimating the abundance of these patterns is of fundamental importance for assessing the statistical significance of matches in genomewide searches, and for predicting whether a given function has evolved many times in different species or arose from a single common ancestor. In this manuscript, we review in an integrated and self-contained manner some basic concepts of automata theory, generating functions and transfer matrix methods that are relevant to pattern analysis in biological sequences. We formalize, in a general framework, the concept of Markov chain embedding to analyze patterns in random strings produced by a memoryless source. This conceptualization, together with the capability of automata to recognize complicated patterns, allows a systematic analysis of problems related to the occurrence and frequency of patterns in random strings. The applications we present focus on the concept of synchronization of automata, as well as automata used to search for a finite number of keywords (including sets of patterns generated according to base pairing rules) in a general text.
Some integer sequences based on derangements
Sequences whose terms are equal to the number of functions with specified properties are considered. Properties are based on the notion of derangements in a more general sense. Several sequences which generalize the standard notion of derangements are thus obtained. These sequences generate a number of integer sequences from the well-known Sloane's encyclopedia.
Solvability of linear equations within weak mixing sets
Published
• View Publication
• BIB
We introduce a new class of "random" subsets of natural numbers, WM sets. This class contains normal sets (sets whose characteristic function is a normal binary sequence). We establish necessary and sufficient conditions for solvability of systems of linear equations within every WM set and within every normal set. We also show that partition-regular system of linear equations with integer coefficients is solvable in any WM set.
Littlewood-Richardson polynomials
Published in J. Algebra 321 (2009), 3450-3468.
• View Publication
• BIB
We introduce a family of rings of symmetric functions depending on an infinite sequence of parameters. A distinguished basis of such a ring is comprised by analogues of the Schur functions. The corresponding structure coefficients are polynomials in the parameters which we call the Littlewood-Richardson polynomials. We give a combinatorial rule for their calculation by modifying an earlier result of B. Sagan and the author. The new rule provides a formula for these polynomials which is manifestly positive in the sense of W. Graham. We apply this formula for the calculation of the product of equivariant Schubert classes on Grassmannians which implies a stability property of the structure coefficients. The first manifestly positive formula for such an expansion was given by A. Knutson and T. Tao by using combinatorics of puzzles while the stability property was not apparent from that formula. We also use the Littlewood-Richardson polynomials to describe the multiplication rule in the algebra of the Casimir elements for the general linear Lie algebra in the basis of the quantum immanants constructed by A. Okounkov and G. Olshanski.
Linkedness and ordered cycles in digraphs
The minimum semi-degree of a digraph D is the minimum of its minimum outdegree and its minimum indegree. We show that every sufficiently large digraph D with minimum semi-degree at least n/2 +k-1 is k-linked. The bound on the minimum semi-degree is best possible and confirms a conjecture of Manoussakis from 1990. We also determine the smallest minimum semi-degree which ensures that a sufficiently large digraph D is k-ordered, i.e. that for every ordered sequence of k distinct vertices of D there is a directed cycle which encounters these vertices in this order.
The Sandpile Group of a Tree
Published in European Journal of Combinatorics 30(4): 1026--1035, 2009
• View Publication
• BIB
A wired tree is a graph obtained from a tree by collapsing the leaves to a single vertex. We describe a pair of short exact sequences relating the sandpile group of a wired tree to the sandpile groups of its principal subtrees. In the case of a regular tree these sequences split, enabling us to compute the full decomposition of the sandpile group as a product of cyclic groups. This resolves in the affirmative a conjecture of E. Toumpakari concerning the ranks of the Sylow p-subgroups.
On pattern-avoiding partitions
A \emph{set partition} of the set $[n]=\{1,...c,n\}$ is a collection of disjoint blocks $B_1,B_2,...c, B_d$ whose union is $[n]$. We choose the ordering of the blocks so that they satisfy $\min B_1<\min B_2<...b<\min B_d$. We represent such a set partition by a \emph{canonical sequence} $π_1,π_2,...c,π_n$, with $π_i=j$ if $i\in B_j$. We say that a partition $π$ \emph{contains} a partition $σ$ if the canonical sequence of $π$ contains a subsequence that is order-isomorphic to the canonical sequence of $σ$. Two partitions $σ$ and $σ'$ are \emph{equivalent}, if there is a size-preserving bijection between $σ$-avoiding and $σ'$-avoiding partitions.
We determine several infinite families of sets of equivalent patterns; for instance, we prove that there is a bijection between $k$-noncrossing and $k$-nonnesting partitions, with a notion of crossing and nesting based on the canonical sequence. We also provide new combinatorial interpretations of the Catalan numbers and the Stirling numbers. Using a systematic computer search, we verify that our results characterize all the pairs of equivalent partitions of size at most seven.
We also present a correspondence between set partitions and fillings of Ferrers shapes and stack polyominoes. This correspondence allows us to apply recent results on polyomino fillings in the study of partitions, and conversely, some of our results on partitions imply new results on polyomino fillings and ordered graphs.
Unbounded regions of Infinitely Logconcave Sequences
Published in Elec. J. Combin. 14 (2007), #R72
• View Publication
• BIB
We study the properties of a logconcavity operator on a symmetric, unimodal subset of finite sequences. In doing so we are able to prove that there is a large unbounded region in this subset that is $\infty$-logconcave. This problem was motivated by the conjecture of Moll and Boros in that the binomial coefficients are $\infty$-logconcave.
Multiplier ideals of sums via cellular resolutions
Published
• View Publication
• BIB
Fix nonzero ideal sheaves a_1,...,a_r on a normal Q-Gorenstein complex variety X. Fix any positive real number c, and consider the multiplier ideal J of the sum a_1+...+a_r with weighting coefficient c. We construct an exact sequence resolving J by sheaves over X that are direct sums of multiplier ideals for products a_1^{v_1}...a_r^{v_r} for various real vectors v such that v_1+...+v_r = c. The resolution is cellular, in the sense that its boundary maps are encoded by the algebraic chain complex of a regular CW-complex. The CW-complex is naturally expressed as a triangulation T of the simplex of nonnegative real vectors summing to c. The acyclicity of our resolution reduces to that of a cellular free resolution, supported on T, of a related monomial ideal. This acyclicity rests on a comparison between the homology of certain homology-manifolds-with-boundary and the homology of the simplicial complexes obtained by deleting collections of boundary faces from them. Our resolution implies the multiplier ideal sum formula J((a_1+...+a_r)^c) = \sum_{|v|=c} J(a_1^{v_1}...a_r^{v_r}), which implicitly follows from Takagi's proof of the two-summand formula (math.AG/0410612). We recover Howald's multiplier ideal formula for monomial ideals (math.AG/0003232) as a special case. Our resolution also yields a new exactness proof for the Skoda complex.
Percolation on sparse random graphs with given degree sequence
Published
• View Publication
• BIB
We study the two most common types of percolation process on a sparse random graph with a given degree sequence. Namely, we examine first a bond percolation process where the edges of the graph are retained with probability p and afterwards we focus on site percolation where the vertices are retained with probability p. We establish critical values for p above which a giant component emerges in both cases. Moreover, we show that in fact these coincide. As a special case, our results apply to power law random graphs. We obtain rigorous proofs for formulas derived by several physicists for such graphs.
Counting preimages of TCP reordering patterns
Published
• View Publication
• BIB
Packet reordering is an important property of network traffic that should be captured by analytical models of the Transmission Control Protocol (TCP). We study a combinatorial problem motivated by RESTORED, a TCP modeling methodology that incorporates information about packet dynamics. A significant component of this model is a many-to-one mapping B that transforms sequences of packet IDs into buffer sequences, in a manner that is compatible with TCP semantics. We show that the following hold:
1. There exists a linear time algorithm that, given a buffer sequence W of length n, decides whether there exists a permutation A of 1,2,..., n such that $A\in B^{-1}(W)$ (and constructs such a permutation, when it exists).
2. The problem of counting the number of permutations in $B^{-1}(W)$ has a polynomial time algorithm.
We also show how to extend these results to sequences of IDs that contain repeated packets.
Constructive decomposition of functions of two variables using functions of one variable
Given a compact set K in the plane, which contains no triple of points forming a vertical and a horizontal segment, and a continuous real-valued map f on K, we give a construction of real-valued continuous maps of one variable g,h such that f(x,y)=g(x)+h(y) for all points (x,y) from K. This provides a constructive proof of a part of Sternfeld's theorem on basic embeddings in the plane. In the proof we construct a sequence of finite graphs, which provide an arbitrarily good approximation of the set K.
Shifted Schur process and asymptotics of large random strict plane partitions
Published in Int. Math. Res. Notices (2007), Vol 2007, article ID rnm043, 53 pages
• View Publication
• BIB
In this paper we define the shifted Schur process as a measure on sequences of strict partitions. This process is a generalization of the shifted Schur measure introduced in [TW] and [Mat] and is a shifted version of the Schur process introduced in [OR]. We prove that the shifted Schur process defines a Pfaffian point process. We further apply this fact to compute the bulk scaling limit of the correlation functions for a measure on strict plane partitions which is an analog of the uniform measure on ordinary plane partitions. As a byproduct, we obtain a shifted analog of the famous MacMahon's formula.