Showing 20 papers (Total: 83657 papers, 48289 authors in database)
Random regular graphs and the systole of a random surface
Published
• View Publication
• BIB
We study the systole of a random surface, where by a random surface we mean a surface constructed by randomly gluing together an even number of triangles. We study two types of metrics on these surfaces, the first one coming from using ideal hyperbolic triangles and the second one using triangles that carry a given Riemannian metric.
In the hyperbolic case we compute the limit of the expected value of the systole when the number of triangles goes to infinity (approximately 2.484). We also determine the asymptotic probability distribution of the number of curves of any finite length. This turns out to be a Poisson distribution.
In the Riemannian case we give an upper bound to the limit supremum and a lower bound to the limit infimum of the expected value of the systole depending only on the metric on the triangle. We also show that this upper bound is sharp in the sense that there is a sequence of metrics for which the limit infimum comes arbitrarily close to the upper bound.
The main tool we use is random regular graphs. One of the difficulties in the proof of the limits is controlling the probability that short closed curves are separating. To do this we first prove that the probability that a random cubic graph has a short separating circuit tends to 0 for the number of vertices going to infinity and show that this holds for circuits of a length up to $\log_2$ of the number of vertices.
Signed Mahonian polynomials for major and sorting indices
Published
• View Publication
• BIB
We derive some new signed Mahonian polynomials over the complex reflection group $G(r,1,n)=C_r\wr\mathfrak{S}_n$, where the "sign" is taken to be any of the $2r$ $1$-dim characters and the "Mahonian" statistics are the $\mathsf{lmaj}$ defined by Bagno and the $\mathsf{sor}$ defined by Eu et al. Various new signed Mahonian polynomials over Coxeter groups of types $B_n$ and $D_n$ are derived as well. We also investigate the signed counting polynomials on $G(r,1,n)$ for those statistics with the distribution $[r]_q[2r]_q\cdots [nr]_q$.
Influence Diffusion in Social Networks under Time Window Constraints
Published
• View Publication
• BIB
We study a combinatorial model of the spread of influence in networks that generalizes existing schemata recently proposed in the literature. In our model, agents change behaviors/opinions on the basis of information collected from their neighbors in a time interval of bounded size whereas agents are assumed to have unbounded memory in previously studied scenarios. In our mathematical framework, one is given a network $G=(V,E)$, an integer value $t(v)$ for each node $v\in V$, and a time window size $λ$. The goal is to determine a small set of nodes (target set) that influences the whole graph. The spread of influence proceeds in rounds as follows: initially all nodes in the target set are influenced; subsequently, in each round, any uninfluenced node $v$ becomes influenced if the number of its neighbors that have been influenced in the previous $λ$ rounds is greater than or equal to $t(v)$. We prove that the problem of finding a minimum cardinality target set that influences the whole network $G$ is hard to approximate within a polylogarithmic factor. On the positive side, we design exact polynomial time algorithms for paths, rings, trees, and complete graphs.
Cellular resolutions from mapping cones
Published in Journal of Combinatorial Theory, Series A 128 (2014) pp. 180-206
• View Publication
• BIB
One can iteratively obtain a free resolution of any monomial ideal $I$ by considering the mapping cone of the map of complexes associated to adding one generator at a time. Herzog and Takayama have shown that this procedure yields a minimal resolution if $I$ has linear quotients, in which case the mapping cone in each step cones a Koszul complex onto the previously constructed resolution. Here we consider cellular realizations of these resolutions. Extending a construction of Mermin we describe a regular CW-complex that supports the resolutions of Herzog and Takayama in the case that $I$ has a `regular decomposition function'. By varying the choice of chain map we recover other known cellular resolutions, including the `box of complexes' resolutions of Corso, Nagel, and Reiner and the related `homomorphism complex' resolutions of Dochtermann and Engström. Other choices yield combinatorially distinct complexes with interesting structure, and suggests a notion of a `space of cellular resolutions'.
Constructions of Snake-in-the-Box Codes for Rank Modulation
Published
• View Publication
• BIB
Snake-in-the-box code is a Gray code which is capable of detecting a single error. Gray codes are important in the context of the rank modulation scheme which was suggested recently for representing information in flash memories. For a Gray code in this scheme the codewords are permutations, two consecutive codewords are obtained by using the "push-to-the-top" operation, and the distance measure is defined on permutations. In this paper the Kendall's $τ$-metric is used as the distance measure. We present a general method for constructing such Gray codes. We apply the method recursively to obtain a snake of length $M_{2n+1}=((2n+1)(2n)-1)M_{2n-1}$ for permutations of $S_{2n+1}$, from a snake of length $M_{2n-1}$ for permutations of~$S_{2n-1}$. Thus, we have $\lim\limits_{n\to \infty} \frac{M_{2n+1}}{S_{2n+1}}\approx 0.4338$, improving on the previous known ratio of $\lim\limits_{n\to \infty} \frac{1}{\sqrt{πn}}$. By using the general method we also present a direct construction. This direct construction is based on necklaces and it might yield snakes of length $\frac{(2n+1)!}{2} -2n+1$ for permutations of $S_{2n+1}$. The direct construction was applied successfully for $S_7$ and $S_9$, and hence $\lim\limits_{n\to \infty} \frac{M_{2n+1}}{S_{2n+1}}\approx 0.4743$.
Markov complexity of monomial curves
Published
• View Publication
• BIB
Let $\mathcal{A}=\{{\bf a}_1,\ldots,{\bf a}_n\}\subset\Bbb{N}^m$. We give an algebraic characterization of the universal Markov basis of the toric ideal $I_{\mathcal{A}}$. We show that the Markov complexity of $\mathcal{A}=\{n_1,n_2,n_3\}$ is equal to two if $I_{\mathcal{A}}$ is complete intersection and equal to three otherwise, answering a question posed by Santos and Sturmfels. We prove that for any $r\geq 2$ there is a unique minimal Markov basis of $\mathcal{A}^{(r)}$. Moreover, we prove that for any integer $l$ there exist integers $n_1,n_2,n_3$ such that the Graver complexity of $\mathcal{A}$ is greater than $l$.
A Case Study in Meta-AUTOMATION: AUTOMATIC Generation of Congruence AUTOMATA For Combinatorial Sequences
Published in Journal of Difference Equations and Applications 20 (2014) 973-988
• View Publication
• BIB
This article is a sequel to a recent article by Eric Rowland and Reem Yassawi, presenting yet another approach to the fast determination of congruence properties of `famous' combinatorial sequences. The present approach can be taught to a computer, and our beloved servant, Shalosh B. Ekhad, was able to generate many new theorems, for famous sequences, of course, but also for many obscure ones!
Group actions and geometric combinatorics in ${\mathbb F}_q^d$
Published
• View Publication
• BIB
In this paper we apply a group action approach to the study of Erd\H os-Falconer type problems in vector spaces over finite fields and use it to obtain non-trivial exponents for the distribution of simplices. We prove that there exists $s_0(d)<d$ such that if $E \subset {\mathbb F}_q^d$, $d \ge 2$, with $|E| \ge Cq^{s_0}$, then $|T^d_d(E)| \ge C'q^{d+1 \choose 2}$, where $T^d_k(E)$ denotes the set of congruence classes of $k$-dimensional simplices determined by $k+1$-tuples of points from $E$. Non-trivial exponents were previously obtained by Chapman, Erdogan, Hart, Iosevich and Koh (\cite{CEHIK12}) for $T^d_k(E)$ with $2 \leq k \leq d-1$. A non-trivial result for $T^2_2(E)$ in the plane was obtained by Bennett, Iosevich and Pakianathan (\cite{BIP12}). These results are significantly generalized and improved in this paper. In particular, we establish the Wolff exponent $\frac{4}{3}$, previously established in \cite{CEHIK12} for the $q\equiv3\mbox{ mod }4$ case to the case $q\equiv1\mbox{ mod }4$, and this results in a new sum-product type inequality. We also obtain non-trivial results for subsets of the sphere in ${\mathbb F}_q^d$, where previous methods have yielded nothing. The key to our approach is a group action perspective which quickly leads to natural and effective formulae in the style of the classical Mattila integral from geometric measure theory.
On the Complexity of Random Satisfiability Problems with Planted Solutions
Published
• View Publication
• BIB
The problem of identifying a planted assignment given a random $k$-SAT formula consistent with the assignment exhibits a large algorithmic gap: while the planted solution becomes unique and can be identified given a formula with $O(n\log n)$ clauses, there are distributions over clauses for which the best known efficient algorithms require $n^{k/2}$ clauses. We propose and study a unified model for planted $k$-SAT, which captures well-known special cases. An instance is described by a planted assignment $σ$ and a distribution on clauses with $k$ literals. We define its distribution complexity as the largest $r$ for which the distribution is not $r$-wise independent ($1 \le r \le k$ for any distribution with a planted assignment).
Our main result is an unconditional lower bound, tight up to logarithmic factors, for statistical (query) algorithms [Kearns 1998, Feldman et. al 2012], matching known upper bounds, which, as we show, can be implemented using a statistical algorithm. Since known approaches for problems over distributions have statistical analogues (spectral, MCMC, gradient-based, convex optimization etc.), this lower bound provides a rigorous explanation of the observed algorithmic gap. The proof introduces a new general technique for the analysis of statistical query algorithms. It also points to a geometric paring phenomenon in the space of all planted assignments.
We describe consequences of our lower bounds to Feige's refutation hypothesis [Feige 2002] and to lower bounds on general convex programs that solve planted $k$-SAT. Our bounds also extend to other planted $k$-CSP models, and, in particular, provide concrete evidence for the security of Goldreich's one-way function and the associated pseudorandom generator when used with a sufficiently hard predicate [Goldreich 2000].
Dirichlet convolution and enumeration of pyramid polycubes
We investigate the enumeration of two families of polycubes, namely pyramids and espaliers, in connection with the multi-indexed Dirichlet convolution
On the construction of tree decompositions of hypercubes
Published in Bulletin of the Institute of Combinatorics and its Applications, Vol 72 (2014) 76-82
• Search Publication
There are different concepts regarding to tree decomposition of a graph $G$. For the Hypercube $Q_n$, these concepts have been shown to have many applications. But some diverse papers on this subject make it difficult to follow what is precisely known. In this note first we will mention some known results on the tree decomposition of hypercubes and then introduce new explicit constructions for the previously known and unknown cases.
Nucleation-free $3D$ rigidity
When all non-edge distances of a graph realized in $\mathbb{R}^{d}$ as a {\em bar-and-joint framework} are generically {\em implied} by the bar (edge) lengths, the graph is said to be {\em rigid} in $\mathbb{R}^{d}$. For $d=3$, characterizing rigid graphs, determining implied non-edges and {\em dependent} edge sets remains an elusive, long-standing open problem.
One obstacle is to determine when implied non-edges can exist without non-trivial rigid induced subgraphs, i.e., {\em nucleations}, and how to deal with them.
In this paper, we give general inductive construction schemes and proof techniques to generate {\em nucleation-free graphs} (i.e., graphs without any nucleation) with implied non-edges. As a consequence, we obtain (a) dependent graphs in $3D$ that have no nucleation; and (b) $3D$ nucleation-free {\em rigidity circuits}, i.e., minimally dependent edge sets in $d=3$. It additionally follows that true rigidity is strictly stronger than a tractable approximation to rigidity given by Sitharam and Zhou \cite{sitharam:zhou:tractableADG:2004}, based on an inductive combinatorial characterization.
As an independently interesting byproduct, we obtain a new inductive construction for independent graphs in $3D$. Currently, very few such inductive constructions are known, in contrast to $2D$.
Alliances and related parameters in graphs
In this paper, we show that several graph parameters are known in different areas under completely different names. More specifically, our observations connect signed domination, monopolies, $α$-domination, $α$-independence, positive influence domination, and a parameter associated to fast information propagation in networks to parameters related to various notions of global $r$-alliances in graphs. We also propose a new framework, called (global) $(D,O)$-alliances, not only in order to characterize various known variants of alliance and domination parameters, but also to suggest a unifying framework for the study of alliances and domination. Finally, we also give a survey on the mentioned graph parameters, indicating how results transfer due to our observations.
Collision Times in Multicolor Urn Models and Sequential Graph Coloring With Applications to Discrete Logarithms
Published
• View Publication
• BIB
Consider an urn model where at each step one of $q$ colors is sampled according to some probability distribution and a ball of that color is placed in an urn. The distribution of assigning balls to urns may depend on the color of the ball. Collisions occur when a ball is placed in an urn which already contains a ball of different color. Equivalently, this can be viewed as sequentially coloring a complete $q$-partite graph wherein a collision corresponds to the appearance of a monochromatic edge. Using a Poisson embedding technique, the limiting distribution of the first collision time is determined and the possible limits are explicitly described. Joint distribution of successive collision times and multi-fold collision times are also derived. The results can be used to obtain the limiting distributions of running times in various birthday problem based algorithms for solving the discrete logarithm problem, generalizing previous results which only consider expected running times. Asymptotic distributions of the time of appearance of a monochromatic edge are also obtained for other graphs.
A generalization of the Davis-Januszkiewicz construction and applications to toric manifolds and iterated polyhedral products
Published
• View Publication
• BIB
The fundamental Davis-Januszkiewicz construction of toric manifolds is reinterpreted in order to allow for generalization. Applications involve the simplicial wedge $J$-construction and Ayzenberg's recent identities arising from composed simplicial complexes.
On the order of vertex-stabilisers in vertex-transitive graphs with local group $C_p\times C_p$ or $C_p \wr C_2$
Let $p$ be a prime and let $L$ be either the intransitive permutation group $C_p\times C_p$ of degree $2p$ or the transitive permutation group $C_p \wr C_2$ of degree $2p$. Let $Γ$ be a connected $G$-vertex-transitive and $G$-edge-transitive graph and let $v$ be a vertex of $Γ$. We show that if the permutation group induced by the vertex-stabiliser $G_v$ on the neighbourhood $Γ(v)$ is isomorphic to $L$ then either $|V(Γ)|\geq p|G_v|\log_p\left(|G_v|/2\right)$, or $|V(Γ)|$ is bounded by a constant depending only on $p$, or $Γ$ is a very-well understood graph. This generalises a few recent results.
Geometry of the inversion in a finite field and partitions of ${\mathrm{PG}}(2^k-1,q)$ in normal rational curves
Published
• View Publication
• BIB
Let $L=\mathbb F_{q^n}$ be a finite field and let $F=\mathbb F_q$ be a subfield of $L$.
Consider $L$ as a vector space over $F$ and the associated projective space that is isomorphic to ${\mathrm{PG}}(n-1,q)$.
The properties of the projective mapping induced by $x\mapsto x^{-1}$ have been studied in \cite{Cs13,Fa02,Ha83,He85,Bu95}, where it is proved that the image of any line is a normal rational curve in some subspace.
In this note a more detailed geometric description is achieved.
Consequences are found related to mixed partitions of the projective spaces; in particular, it is proved that for any positive integer $k$, if $q\ge2^k-1$, then there are partitions of ${\mathrm{PG}}(2^k-1,q)$ in normal rational curves of degree $2^k-1$.
For smaller $q$ the same construction gives partitions in $(q+1)$-tuples of independent points.
Notions of Anonymity, Fairness and Symmetry for Finite Strategic-Form Games
In this paper we survey various notions of anonymity and symmetry for finite strategic-form games present in relevant literature, and discuss notions of fairness; show that game bijections and game isomorphisms form groupoids; introduce matchings as a convenient characterisation of strategy triviality; and outline how to construct and partially order parameterised (symmetric) games with examples that range all combinations of surveyed symmetry notions, which when combined with other results in this paper gives the precise relationship between the various symmetry notions.
Asymptotics of crank generating functions and Ramanujan congruences
Published
• View Publication
• BIB
In this paper we obtain asymptotic formulas for the Fourier coefficients of an infinite family of crank generating functions. Moreover we use this result to show that the crank obeys certain inequalities. This implies that the crank can not explain any partition congruences in the usual way beside the three deduced by Ramanujan.
The Potts model and chromatic functions of graphs
Published in Ann. Inst. Henri Poincaré Comb. Phys. Interact. 1 (2014), 47-60
• View Publication
• BIB
The $U$-polynomial of Noble and Welsh is known to have intimate connections with the Potts model as well as with several important graph polynomials. For each graph $G$, $U(G)$ is equivalent to Stanley's symmetric bad colouring polynomial $XB(G)$. Moreover Sarmiento established the equivalence between $U$ and the polychromate of Brylawski. Loebl defined the $q$-dichromate $B_q(G,x,y)$ as a function of a graph $G$ and three independent variables $q,x,y$, proved that it is equal to the partition function of the Potts model with variable number of states and with a certain external field contribution, and conjectured that the $q$-dichromate is equivalent to the $U$-polynomial. He also proposed a stronger conjecture on integer partitions. The aim of this paper is two-fold. We present a construction disproving Loebl's integer partitions conjecture, and we introduce a new function $B_{r,q}(G;x,k)$ which is also equal to the partition function of the Potts model with variable number of states and with a (different) external field contribution, and we show that $B_{r,q}(G;x,k)$ is equivalent to the $U$-polynomial and to Stanley's symmetric bad colouring polynomial.