Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Simple, Fast and Deterministic Gossip and Rumor Spreading
Published
• View Publication
• BIB
We study gossip algorithms for the rumor spreading problem which asks each node to deliver a rumor to all nodes in an unknown network. Gossip algorithms allow nodes only to call one neighbor per round and have recently attracted attention as message efficient, simple and robust solutions to the rumor spreading problem.
Recently, non-uniform random gossip schemes were devised to allow efficient rumor spreading in networks with bottlenecks. In particular, [Censor-Hillel et al., STOC'12] gave an O(log^3 n) algorithm to solve the 1-local broadcast problem in which each node wants to exchange rumors locally with its 1-neighborhood. By repeatedly applying this protocol one can solve the global rumor spreading quickly for all networks with small diameter, independently of the conductance.
This and all prior gossip algorithms for the rumor spreading problem have been inherently randomized in their design and analysis. This resulted in a parallel research direction trying to reduce and determine the amount of randomness needed for efficient rumor spreading. This has been done via lower bounds for restricted models and by designing gossip algorithms with a reduced need for randomness. The general intuition and consensus of these results has been that randomization plays a important role in effectively spreading rumors.
In this paper we improves over this state of the art in several ways by presenting a deterministic gossip algorithm that solves the the k-local broadcast problem in 2(k+log n)log n rounds. Besides being the first efficient deterministic solution to the rumor spreading problem this algorithm is interesting in many aspects: It is simpler, more natural, more robust and faster than its randomized pendant and guarantees success with certainty instead of with high probability. Its analysis is furthermore simple, self-contained and fundamentally different from prior works.
Semidirect sums of matroids
Published in Annals of Combinatorics, 2015
• View Publication
• BIB
For matroids M and N on disjoint sets S and T, a semidirect sum of M and N is a matroid K on the union of S and T that, like the direct sum and the free product, has the restriction of K to S equal to M and the contraction of K to T equal to N. We abstract a matrix construction to get a general matroid construction: the matroid union of any rank-preserving extension of M on the union of S and T with the direct sum of N and the rank-0 matroid on S is a semidirect sum of M and N. We study principal sums in depth; these are such matroid unions where the extension of M has each element of T added either as a loop or freely on a fixed flat of M. A second construction of semidirect sums, defined by a Higgs lift, also specializes to principal sums. We also explore what can be deduced if M and N, or certain of their semidirect sums, are transversal or fundamental transversal matroids.
The t-tone chromatic number of random graphs
Published
• View Publication
• BIB
A proper 2-tone $k$-coloring of a graph is a labeling of the vertices with elements from $\binom{[k]}{2}$ such that adjacent vertices receive disjoint labels and vertices distance 2 apart receive distinct labels. The 2-tone chromatic number of a graph $G$, denoted $τ_2(G)$ is the smallest $k$ such that $G$ admits a proper 2-tone $k$ coloring. In this paper, we prove that w.h.p. for $p\ge Cn^{-1/4}\ln^{9/4}n$, $τ_2(G_{n,p})=(2+o(1))χ(G_{n,p})$ where $χ$ represents the ordinary chromatic number. For sparse random graphs with $p=c/n$, $c$ constant, we prove that $τ_2(G_{n,p}) = \lceil{{\sqrt{8Δ+1} +5}/{2}}\rceil$ where $Δ$ represents the maximum degree. For the more general concept of $t$-tone coloring, we achieve similar results.
On the Poincaré series of Kac-Moody Lie algebras
In this paper, we discuss the Poincaré series of Kac-Moody Lie algebras, especially for indefinite type. Firstly, we compute the Poincaré series of certain indefinite Kac-Moody Lie algebras whose Cartan matrices have the same type of $2\times 2$ principal sub-matrices. Secondly, we show that the Poincaré series of Kac-Moody Lie algebras satisfy certain interesting properties. Lastly we give some applications of the Poincaré series to other fields. Particularly we construct some counter examples to a conjecture of Victor Kac\cite{Kac_85} and a conjecture of Chapavalov, Leites and Stekolshchik\cite{CDR_10}.
Combinatorial Derivation
Published
• View Publication
• BIB
Let $G$ be a group, $\mathcal{P}_G$ be the family of all subsets of $G$. For a subset $A\subseteq G$, we put $Δ(A)=\{g\in G:|gA\cap A|=\infty\}$. The mapping $Δ:\mathcal{P}_G\rightarrow\mathcal{P}_G$, $A\mapstoΔ(A)$, is called a combinatorial derivation and can be considered as an analogue of the topological derivation $d:\mathcal{P}_X\rightarrow\mathcal{P}_X$, $A\mapsto A^d$, where $X$ is a topological space and $A^d$ is the set of all limit points of $A$. Content: elementary properties, thin and almost thin subsets, partitions, inverse construction and $Δ$-trajectories, $Δ$ and $d$.
Data types with symmetries and polynomial functors over groupoids
Published in Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, Bath 2012, Electronic Notes in Theoretical Computer Science 286 (2012), 351-365
• View Publication
• BIB
Polynomial functors are useful in the theory of data types, where they are often called containers. They are also useful in algebra, combinatorics, topology, and higher category theory, and in this broader perspective the polynomial aspect is often prominent and justifies the terminology. For example, Tambara's theorem states that the category of finite polynomial functors is the Lawvere theory for commutative semirings. In this talk I will explain how an upgrade of the theory from sets to groupoids is useful to deal with data types with symmetries, and provides a common generalisation of and a clean unifying framework for quotient containers (cf. Abbott et al.), species and analytic functors (Joyal 1985), as well as the stuff types of Baez-Dolan. The multi-variate setting also includes relations and spans, multispans, and stuff operators. An attractive feature of this theory is that with the correct homotopical approach - homotopy slices, homotopy pullbacks, homotopy colimits, etc. - the groupoid case looks exactly like the set case. After some standard examples, I will illustrate the notion of data-types-with-symmetries with examples from quantum field theory, where the symmetries of complicated tree structures of graphs play a crucial role, and can be handled elegantly using polynomial functors over groupoids. (These examples, although beyond species, are purely combinatorial and can be appreciated without background in quantum field theory.) Locally cartesian closed 2-categories provide semantics for 2-truncated intensional type theory. For a fullfledged type theory, locally cartesian closed \infty-categories seem to be needed. The theory of these is being developed by D.Gepner and the author as a setting for homotopical species, and several of the results exposed in this talk are just truncations of \infty-results obtained in joint work with Gepner. Details will appear elsewhere.
Combinatorial identities related to eigenfunction decompositions of Hill operators: Open Questions
Published
• View Publication
• BIB
We formulate several open questions related to enumerative combinatorics, which arise in the spectral analysis of Hill operators with trigonometric polynomial potentials.
On the weights of simple paths in weighted complete graphs
Published
• View Publication
• BIB
Consider a weighted graph G with n vertices, numbered by the set {1,...,n}. For any path p in G, we call w_G(p) the sum of the weights of the edges of the path and we define the multiset {\cal D}_{i,j} (G) = {w_G(p) | p simple path between i and j} We establish a criterion to say when, given a multisubset of the set of the real numbers there exists a weighted complete graph G such that the multisubset is equal to {\cal D}_{i,j} (G) for some i,j vertices of G. Besides we establish a criterion to say when, given for any i, j in {1,...,n} a multisubset of the set of the real numbers,{\cal D}_{i,j}, there exists a weighted complete graph G with vertices {1,...,n} such that {\cal D}_{i,j} (G)= {\cal D}_{i,j} for any i,j.
Abstract approach to Ramsey theory and Ramsey theorems for finite trees
Published
• View Publication
• BIB
I will give a presentation of an abstract approach to finite Ramsey theory found in an earlier paper of mine. I will prove from it a common generalization of Deuber's Ramsey theorem for regular trees and a recent Ramsey theorem of Jasinski for boron tree structures. This generalization appears to be new. I will also show, in exercises, how to deduce from it the Milliken Ramsey theorem for strong subtrees.
A Class of Permutation Binomials over Finite Fields
Published
• View Publication
• BIB
Let $q>2$ be a prime power and $f={\tt x}^{q-2}+t{\tt x}^{q^2-q-1}$, where $t\in\Bbb F_q^*$. It was recently conjectured that $f$ is a permutation polynomial of $\Bbb F_{q^2}$ if and only if one of the following holds: (i) $t=1$, $q\equiv 1\pmod 4$; (ii) $t=-3$, $q\equiv \pm1\pmod{12}$; (iii) $t=3$, $q\equiv -1\pmod 6$. We confirm this conjecture in the present paper.
Manifold arrangements
Published in Journal of Combinatorial Theory Series A 125 (2014), 214--239
• View Publication
• BIB
We determine the cd-index of the induced subdivision arising from a manifold arrangement. This generalizes earlier results in several directions: (i) One can work with manifolds other than the n-sphere and n-torus, (ii) the induced subdivision is a Whitney stratification, and (iii) the submanifolds in the arrangement are no longer required to be codimension one.
Extended Orbits-Fixedpoints Relations
I extend further, using new proofs, two generalizations of an earlier orbits-fixed-points theorem, which was restricted to group action of the symmetric group. The extended equality makes use of the Stirling numbers of the second kind. An illustration using Mathieu group M24 is discussed. Possible applications using tensor products of matrix permutation representations is indicated.
A Sidon-type condition on set systems
Published
• View Publication
• BIB
Consider families of $k$-subsets (or blocks) on a ground set of size $v$. Recall that if all $t$-subsets occur with the same frequency $λ$, one obtains a $t$-design with index $λ$. On the other hand, if all $t$-subsets occur with different frequencies, such a family has been called (by Sarvate and others) a $t$-adesign. An elementary observation shows that such families always exist for $v > k \ge t$. Here, we study the smallest possible maximum frequency $μ=μ(t,k,v)$.
The exact value of $μ$ is noted for $t=1$ and an upper bound (best possible up to a constant multiple) is obtained for $t=2$ using PBD closure. Weaker, yet still reasonable asymptotic bounds on $μ$ for higher $t$ follow from a probabilistic argument. Some connections are made with the famous Sidon problem of additive number theory.
Oriented Hypergraphs I: Introduction and Balance
Published in Electronic Journal of Combinatorics. Vol. 20 (3), 2013
• View Publication
• BIB
An oriented hypergraph is an oriented incidence structure that extends the concept of a signed graph. We introduce hypergraphic structures and techniques central to the extension of the circuit classification of signed graphs to oriented hypergraphs. Oriented hypergraphs are further decomposed into three families -- balanced, balanceable, and unbalanceable -- and we obtain a complete classification of the balanced circuits of oriented hypergraphs.
The critical surface fugacity of self-avoiding walks on a rotated honeycomb lattice
Published in J. Phys. A: Math. Theor. 47 (2014), 075003+
• View Publication
• BIB
In a recent paper by Beaton et al, it was proved that a model of self-avoiding walks on the honeycomb lattice, interacting with an impenetrable surface, undergoes an adsorption phase transition when the surface fugacity is $1+\sqrt{2}$. Their proof used a generalisation of an identity obtained by Duminil-Copin and Smirnov, and confirmed a conjecture of Batchelor and Yung. We consider a similar model of self-avoiding walk adsorption on the honeycomb lattice, but with the lattice rotated by $π/2$. For this model there also exists a conjecture for the critical surface fugacity, made in 1998 by Batchelor, Bennett-Wood and Owczarek. Using similar methods to Beaton et al, we prove that this is indeed the critical fugacity.
Enumerating topological $(n_k)$-configurations
Published in Comput. Geom., 47(2):175-186, 2014
• View Publication
• BIB
An $(n_k)$-configuration is a set of $n$ points and $n$ lines in the projective plane such that their point-line incidence graph is $k$-regular. The configuration is geometric, topological, or combinatorial depending on whether lines are considered to be straight lines, pseudolines, or just combinatorial lines. We provide an algorithm for generating, for given $n$ and $k$, all topological $(n_k)$-configurations up to combinatorial isomorphism, without enumerating first all combinatorial $(n_k)$-configurations. We apply this algorithm to confirm efficiently a former result on topological $(18_4)$-configurations, from which we obtain a new geometric $(18_4)$-configuration. Preliminary results on $(19_4)$-configurations are also briefly reported.
There is no upper bound for the diameter of the commuting graph of a finite group
Published
• View Publication
• BIB
We construct a family of finite special 2-groups which have commuting graph of increasing diameter
Trinets encode tree-child and level-2 phylogenetic networks
Published
• View Publication
• BIB
Phylogenetic networks generalize evolutionary trees, and are commonly used to represent evolutionary histories of species that undergo reticulate evolutionary processes such as hybridization, recombination and lateral gene transfer. Recently, there has been great interest in trying to develop methods to construct rooted phylogenetic networks from triplets, that is rooted trees on three species. However, although triplets determine or encode rooted phylogenetic trees, they do not in general encode rooted phylogenetic networks, which is a potential issue for any such method. Motivated by this fact, Huber and Moulton recently introduced trinets as a natural extension of rooted triplets to networks. In particular, they showed that level-1 phylogenetic networks are encoded by their trinets, and also conjectured that all "recoverable" rooted phylogenetic networks are encoded by their trinets. Here we prove that recoverable binary level-2 networks and binary tree-child networks are also encoded by their trinets. To do this we prove two decomposition theorems based on trinets which hold for all recoverable binary rooted phylogenetic networks. Our results provide some additional evidence in support of the conjecture that trinets encode all recoverable rooted phylogenetic networks, and could also lead to new approaches to construct phylogenetic networks from trinets.
Sets of unit vectors with small subset sums
Published in Transactions of the American Mathematical Society 368 (2016), 7153--7188
• View Publication
• BIB
We say that a family ${x_i|i\in[m]}$ of vectors in a Banach space $X$ satisfies the $k$-collapsing condition if $|\sum_{i\in I}x_i|\leq 1$ for all $k$-element subsets $I\subseteq{1,2,...,m}$. Let $C(k,d)$ denote the maximum cardinality of a $k$-collapsing family of unit vectors in a $d$\dimensional Banach space, where the maximum is taken over all spaces of dimension $d$. Similarly, let $CB(k,d)$ denote the maximum cardinality if we require in addition that $\sum_{i=1}^m x_i=o$. The case $k=2$ was considered by Füredi, Lagarias and Morgan (1991). These conditions originate in a theorem of Lawlor and Morgan (1994) on geometric shortest networks in smooth finite-dimensional Banach spaces. We show that $CB(k,d)=\max{k+1,2d}$ for all $k,d\geq 2$. The behaviour of $C(k,d)$ is not as simple, and we derive various upper and lower bounds for various ranges of $k$ and $d$. These include the exact values $C(k,d)=\max{k+1,2d}$ in certain cases.
We use a variety of tools from graph theory, convexity and linear algebra in the proofs: in particular the Hajnal-Szemerédi Theorem, the Brunn-Minkowski inequality, and lower bounds for the rank of a perturbation of the identity matrix.
Ramanujan's q-continued fractions and Schroeder-like numbers
In a recent paper G. Bhatnagar has given simple proofs of some of Ramanujan's continued fractions. In this note we show that some variants of these continued fractions are generating functions of q-Schroeder-like numbers.