Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Minimum Weight Dynamo and Fast Opinion Spreading
Published
• View Publication
• BIB
We consider the following multi--level opinion spreading model on networks. Initially, each node gets a weight from the set [0..k-1], where such a weight stands for the individuals conviction of a new idea or product. Then, by proceeding to rounds, each node updates its weight according to the weights of its neighbors. We are interested in the initial assignments of weights leading each node to get the value k-1 --e.g. unanimous maximum level acceptance-- within a given number of rounds. We determine lower bounds on the sum of the initial weights of the nodes under the irreversible simple majority rules, where a node increases its weight if and only if the majority of its neighbors have a weight that is higher than its own one. Moreover, we provide constructive tight upper bounds for some class of regular topologies: rings, tori, and cliques.
Abelian Repetitions in Sturmian Words
Published in LNCS 7907, pp. 227-238, 2013
• View Publication
• BIB
We investigate abelian repetitions in Sturmian words. We exploit a bijection between factors of Sturmian words and subintervals of the unitary segment that allows us to study the periods of abelian repetitions by using classical results of elementary Number Theory. We prove that in any Sturmian word the superior limit of the ratio between the maximal exponent of an abelian repetition of period $m$ and $m$ is a number $\geq\sqrt{5}$, and the equality holds for the Fibonacci infinite word. We further prove that the longest prefix of the Fibonacci infinite word that is an abelian repetition of period $F_j$, $j>1$, has length $F_j(F_{j+1}+F_{j-1} +1)-2$ if $j$ is even or $F_j(F_{j+1}+F_{j-1})-2$ if $j$ is odd. This allows us to give an exact formula for the smallest abelian periods of the Fibonacci finite words. More precisely, we prove that for $j\geq 3$, the Fibonacci word $f_j$ has abelian period equal to $F_n$, where $n = \lfloor{j/2}\rfloor$ if $j = 0, 1, 2\mod{4}$, or $n = 1 + \lfloor{j/2}\rfloor$ if $ j = 3\mod{4}$.
Realization of affine type A Kirillov-Reshetikhin crystals via polytopes
Published in J. Combin. Theory Ser. A 120 (2013), no. 8, 2093-2117
• View Publication
• BIB
On the polytope defined in Feigin, Fourier, and Littelmann (2011), associated to any rectangle highest weight, we define a structure of an type $A_n$-crystal. We show, by using the Stembridge axioms, that this crystal is isomorphic to the one obtained from Kashiwara's crystal bases theory. Further we define on this polytope a bijective map and show that this map satisfies the properties of a weak promotion operator. This implies in particular that we provide an explicit realization of Kirillov-Reshetikhin crystals for the affine type $A^{(1)}_n$ via polytopes.
Coefficients of a relative of cyclotomic polynomials
Published
• View Publication
• BIB
Let $N=p_1p_2... p_n$ be a product of $n$ distinct primes. Define $P_N(x)$ to be the polynomial $(1-x^N)\prod_{1\leq i<j\leq n}(1-x^{N/(p_ip_j)})/\prod_{i=1}^n (1-x^{N/p_i})$. (When $n=2$, $P_{pq}(x)$ is the $pq$-th cyclotomic polynomial, and when $n=3$, $P_{pqr}(x)$ is $(1-x)$ times the $pqr$-th cyclotomic polynomial.) Let the height of a polynomial be the maximum absolute value of one of its coefficients. It is well known that the height of $Φ_{pq}(x)$ is 1, and Gallot and Moree showed that the same is true for $P_{pqr}(x)$ when $n=3$. We show that the coefficients of $P_N(x)$ depend mainly on the relative order of sums of residues of the form $p_j^{-1} \pmod {p_i}$. This allows us to explicitly describe the coefficients of $P_N(x)$ when $n=3$ and show that the height of $P_N(x)$ is at most 2 when $n=4$. We also show that for any $n$ there exist $P_N(x)$ with height 1 but that in general the maximum height of $P_N(x)$ is a function depending only on $n$ with growth rate $2^{n^2/2+O(n\log n)}$.
Genetic Theory for Cubic Graphs
Published
• View Publication
• BIB
We propose a partitioning of the set of unlabelled, connected cubic graphs into two disjoint subsets named genes and descendants, where the cardinality of the descendants is much larger than that of the genes. The key distinction between the two subsets is the presence of special edge cut sets, called crackers, in the descendants. We show that every descendant can be created by starting from a finite set of genes, and introducing the required crackers by special breeding operations. We prove that it is always possible to identify genes that can be used to generate any given descendant, and provide inverse operations that enable their reconstruction. A number of interesting properties of genes may be inherited by the descendant, and we therefore propose a natural algorithm that decomposes a descendant into its ancestor genes. We conjecture that each descendant can only be generated by starting with a unique set of ancestor genes. The latter is supported by numerical experiments.
A quasi-stability result for dictatorships in $S_{n}$
Published
• View Publication
• BIB
We prove that Boolean functions on $S_{n}$ whose Fourier transform is highly concentrated on the first two irreducible representations of $S_n$, are close to being unions of cosets of point-stabilizers. We use this to give a natural proof of a stability result on intersecting families of permutations, originally conjectured by Cameron and Ku, and first proved by the first author. We also use it to prove a `quasi-stability' result for an edge-isoperimetric inequality in the transposition graph on $S_n$, namely that subsets of $S_n$ with small edge-boundary in the transposition graph are close to being unions of cosets of point-stabilizers.
An Elementary Proof of Jin's Theorem with a Bound
Published
• View Publication
• BIB
We present a short proof of Jin's theorem which is entirely elementary, in the sense that no use is made of nonstandard analysis, ergodic theory, measure theory, ultrafilters, or other advanced tools. The given proof provides the explicit bound 1/c where c=BD(A)*BD(B) to the number of shifts of A+B that are needed to cover a thick set.
Minimizing the number of episodes and Gallai's theorem on intervals
In 1996, Guigo et al. [Mol. Phylogenet. Evol., 6 (1996), 189-203] posed the following problem: for a given species tree and a number of gene trees, what is the minimum number of duplication episodes, where several genes could have undergone duplication together to generate the observed situation. (Gene order is neglected, but duplication of genes could have happened only on certain segments that duplicated). We study two versions of this problem, one of which was algorithmically solved not long ago by Bansal and Eulenstein [Bioinformatics, 24(13), (2008), 132-138]. We provide min-max theorems for both versions that generalize Gallai's archetypal min-max theorem on intervals, allowing simplified proofs to the correctness of the algorithms (as it always happens with duality) and deeper understanding. An interesting feature of our approach is that its recursive nature requires a generality that bioinformaticians attempting to solve a particular problem usually avoid.
The degree of point configurations: Ehrhart theory, Tverberg points and almost neighborly polytopes
Published
• View Publication
• BIB
The degree of a point configuration is defined as the maximal codimension of its interior faces. This concept is motivated from a corresponding Ehrhart-theoretic notion for lattice polytopes and is related to neighborly polytopes and the generalized lower bound theorem and, by Gale duality, to Tverberg theory.
The main results of this paper are a complete classification of point configurations of degree 1, as well as a structure result on point configurations whose degree is less than a third of the dimension. Statements and proofs involve the novel notion of a weak Cayley decomposition, and imply that the m-core of a set S of n points in R^r is contained in the set of Tverberg points of order 3m-2(n-r) of S.
Threshold functions for distinct parts: revisiting Erdos-Lehner
Published
• View Publication
• BIB
We study four problems: put $n$ distinguishable/non-distinguishable balls into $k$ non-empty distinguishable/non-distinguishable boxes randomly. What is the threshold function $k=k(n) $ to make almost sure that no two boxes contain the same number of balls? The non-distinguishable ball problems are very close to the Erd\H os--Lehner asymptotic formula for the number of partitions of the integer $n$ into $k$ parts with $k=o(n^{1/3})$. The problem is motivated by the statistics of an experiment, where we only can tell whether outcomes are identical or different.
Polynomiality, Wall Crossings and Tropical Geometry of Rational Double Hurwitz Cycles
Published
• View Publication
• BIB
We study rational double Hurwitz cycles, i.e. loci of marked rational stable curves admitting a map to the projective line with assigned ramification profiles over two fixed branch points. Generalizing the phenomenon observed for double Hurwitz numbers, such cycles are piecewise polynomial in the entries of the special ramification; the chambers of polynomiality and wall crossings have an explicit and "modular" description. A main goal of this paper is to simultaneously carry out this investigation for the corresponding objects in tropical geometry, underlining a precise combinatorial duality between classical and tropical Hurwitz theory.
The $k$-Dominating Graph
Published
• View Publication
• BIB
Given a graph $G$, the $k$-dominating graph of $G$, $D_k(G)$, is defined to be the graph whose vertices correspond to the dominating sets of $G$ that have cardinality at most $k$. Two vertices in $D_k(G)$ are adjacent if and only if the corresponding dominating sets of $G$ differ by either adding or deleting a single vertex. The graph $D_k(G)$ aids in studying the reconfiguration problem for dominating sets. In particular, one dominating set can be reconfigured to another by a sequence of single vertex additions and deletions, such that the intermediate set of vertices at each step is a dominating set if and only if they are in the same connected component of $D_k(G)$. In this paper we give conditions that ensure $D_k(G)$ is connected.
Effective resistance on graphs and the Epidemic quasimetric
Published in Involve 7 (2014) 97-124
• View Publication
• BIB
We introduce the epidemic quasimetric on graphs and study its behavior with respect to clustering techniques. In particular we compare its behavior to known objects such as the graph distance, effective resistance, and modulus of path families.
Bounds on Characteristic Polynomials
Published
• View Publication
• BIB
Suppose $G$ is a simple graph with $n$ vertices, $m$ edges, and rank $r$. Let $χ_G(t)=a_0t^n-a_1t^{n-1}+\cdots +(-1)^ra_rt^{n-r}$ be the chromatic polynomial of $G$. For $q,k\in \Bbb{Z}$ and $0\le k\le q+r+1$, we obtain a sharp two-side bound for the partial binomial sum of the coefficient sequence, that is, \[ {r+q\choose k}\le \sum_{i=0}^{k}{q\choose k-i}a_{i}\le {m+q\choose k}. \] Indeed, this bound holds for the characteristic polynomial of hyperplane arrangements and matroids, and its weak version can be generalized to the characteristic polynomial of toric arrangements and arithmetic matroids. We also propose a problem on the geometric interpretation of the above bound.
Bipermutahedron and biassociahedron
Published
• View Publication
• BIB
We give a simple description of the face poset of the biassociahedra that generalizes, in a straightforward manner, the description of the faces of the Stasheff's associahedra via planar trees.
Random k-SAT and the Power of Two Choices
Published
• View Publication
• BIB
We study an Achlioptas-process version of the random k-SAT process: a bounded number of k-clauses are drawn uniformly at random at each step, and exactly one added to the growing formula according to a particular rule. We prove the existence of a rule that shifts the satisfiability threshold. This extends a well-studied area of probabilistic combinatorics (Achlioptas processes) to random CSP's. In particular, while a rule to delay the 2-SAT threshold was known previously, this is the first proof of a rule to shift the threshold of k-SAT for k >= 3.
We then propose a gap decision problem based upon this semi-random model. The aim of the problem is to investigate the hardness of the random k-SAT decision problem, as opposed to the problem of finding an assignment or certificate of unsatisfiability. Finally, we discuss connections to the study of Achlioptas random graph processes.
Forcing finite minors in sparse infinite graphs by large-degree assumptions
Published
• View Publication
• BIB
Developing further Stein's recent notion of relative end degrees in infinite graphs, we investigate which degree assumptions can force a locally finite graph to contain a given finite minor, or a finite subgraph of given minimum degree. This is part of a wider project which seeks to develop an extremal theory of sparse infinite graphs.
A bijection proving the Aztec diamond theorem by combing lattice paths
Published
• View Publication
• BIB
We give a bijective proof of the Aztec diamond theorem, stating that there are $2^{n(n+1)/2}$ domino tilings of the Aztec diamond of order $n$. The proof in fact establishes a similar result for non-intersecting families of $n+1$ Schröder paths, with horizontal, diagonal or vertical steps, linking the grid points of two adjacent sides of an $n\times n$ square grid; these families are well known to be in bijection with tilings of the Aztec diamond. Our bijection is produced by an invertible "combing" algorithm, operating on families of paths without non-intersection condition, but instead with the requirement that any vertical steps come at the end of a path, and which are clearly $2^{n(n+1)/2}$ in number; it transforms them into non-intersecting families.
Schubert problems with respect to osculating flags of stable rational curves
Published
• View Publication
• BIB
Given a point z in P^1, let F(z) be the osculating flag to the rational normal curve at point z. The study of Schubert problems with respect to such flags F(z_1), F(z_2), ..., F(z_r) has been studied both classically and recently, especially when the points z_i are real. Since the rational normal curve has an action of PGL_2, it is natural to consider the points (z_1, ..., z_r) as living in the moduli space of r distinct point in P^1 -- the famous M_{0,r}. One can then ask to extend the results on Schubert intersections to the compactification \bar{M}_{0,r}.
The first part of this paper achieves this goal. We construct a flat, Cohen-Macaulay family over \bar{M}_{0,r}, whose fibers over M_{0,r} are isomorphic to G(d,n) and, given partitions lambda_1, ..., lambda_r, we construct a flat Cohen-Macualay family over \bar{M}_{0,r} whose fiber over (z_1, ..., z_r) in M_{0,r} is the intersection of the Schubert varieties indexed by lambda_i with respect to the osculating flags F(z_i).
In the second part of the paper, we investigate the topology of the real points of our family, in the case that sum |lambda_i| = dim G(d,n). We show that our family is a finite covering space of \bar{M}_{0,r}, and give an explicit CW decomposition of this cover whose faces are indexed by objects from the theory of Young tableaux.
Characterizing partition functions of the spin model by rank growth
Published
• View Publication
• BIB
We characterize which graph invariants are partition functions of a spin model over the complex numbers, in terms of the rank growth of associated `connection matrices'.