Showing 20 papers (Total: 83657 papers, 48289 authors in database)
Local algorithms for independent sets are half-optimal
Published in Ann. Probab. 45 (2017), no. 3, 1543-1577
• View Publication
• BIB
We show that the largest density of factor of i.i.d. independent sets on the d-regular tree is asymptotically at most (log d)/d as d tends to infinity. This matches the lower bound given by previous constructions. It follows that the largest independent sets given by local algorithms on random d-regular graphs have the same asymptotic density. In contrast, the density of the largest independent sets on these graphs is asymptotically 2(log d)/d. We also prove analogous results for Poisson-Galton-Watson trees, which yield bounds for local algorithms on sparse Erdos-Renyi graphs.
Turan Problems and Shadows II: Trees
Published
• View Publication
• BIB
The expansion $G^+$ of a graph $G$ is the 3-uniform hypergraph obtained from $G$ by enlarging each edge of $G$ with a vertex disjoint from $V(G)$ such that distinct edges are enlarged by distinct vertices. Let ex$_r(n,F)$ denote the maximum number of edges in an $r$-uniform hypergraph with $n$ vertices not containing any copy of $F$. The authors \cite{KMV} recently determined ex$_3(n,G^+)$ more generally, namely when $G$ is a path or cycle, thus settling conjectures of Füredi-Jiang \cite{FJ} (for cycles) and Füredi-Jiang-Seiver \cite{FJS} (for paths). Here we continue this project by determining the asymptotics for ex$_3(n,G^+)$ when $G$ is any fixed forest. This settles a conjecture of Füredi \cite{Furedi}. Using our methods, we also show that for any graph $G$, either ex$_3(n,G^{+}) \leq \left(\frac{1}{2} + o(1)\right)n^2$ or ex$_3(n,G^{+}) \geq (1 + o(1))n^2,$ thereby exhibiting a jump for the Turán number of expansions.
Enumeration of nonisomorphic Hamiltonian cycles on square grid graphs
The enumeration of Hamiltonian cycles on 2n*2n grids of nodes is a longstanding problem in combinatorics. Previous work has concentrated on counting all cycles. The current work enumerates nonisomorphic cycles -- that is, the number of isomorphism classes (up to all symmetry operations of the square). It is shown that the matrix method used previously can be modified to count cycles with all combinations of reflective and 180-degree rotational symmetry. Cycles with 90-degree rotational symmetry were counted by a direct search, using a modification of Knuth's Dancing Links algorithm. From these counts, the numbers of nonisomorphic cycles were calculated for n<=10.
Harmonic measure in the presence of a spectral gap
Published
• View Publication
• BIB
We study harmonic measure in finite graphs with an emphasis on expanders, that is, positive spectral gap. It is shown that if the spectral gap is positive then for all sets that are not too large the harmonic measure from a uniform starting point is not more than a constant factor of the uniform measure on the set. For large sets there is a tight logarithmic correction factor. We also show that positive spectral gap does not allow for a fixed proportion of the harmonic measure of sets to be supported on small subsets, in contrast to the situation in Euclidean space. The results are quantitative as a function of the spectral gap, and apply also when the spectral gap decays to 0 as the size of the graph grows to infinity. As an application we consider a model of diffusion limited aggregation, or DLA, on finite graphs, obtaining upper bounds on the growth rate of the aggregate.
Computing the local metric dimension of a graph from the local metric dimension of primary subgraphs
Published in International Journal of Computer Mathematics 92 (4) (2015) 686-693
• Search Publication
For an ordered subset $W = \{w_1, w_2,\dots w_k\}$ of vertices and a vertex $u$ in a connected graph $G$, the representation of $u$ with respect to $W$ is the ordered $k$-tuple $ r(u|W)=(d(v,w_1), d(v,w_2),\dots,$ $d(v,w_k))$, where $d(x,y)$ represents the distance between the vertices $x$ and $y$. The set $W$ is a local metric generator for $G$ if every two adjacent vertices of $G$ have distinct representations. A minimum local metric generator is called a \emph{local metric basis} for $G$ and its cardinality the \emph{local metric dimension} of G. We show that the computation of the local metric dimension of a graph with cut vertices is reduced to the computation of the local metric dimension of the so-called primary subgraphs. The main results are applied to specific constructions including bouquets of graphs, rooted product graphs, corona product graphs, block graphs and chain of graphs.
Improved Bounds for Relaxed Graceful Trees
Published in Graphs and Combinatorics 33: 287-305, (2017)
• View Publication
• BIB
We introduce left and right-layered trees as trees with a specific representation and define the excess of a tree. Applying these ideas, we show a range-relaxed graceful labeling which improves on the upper bound for maximum vertex label given by Van Bussel. For the case when the tree is a lobster of size $m$ and diameter $d$, the labeling produces vertex labels no greater than $\frac{3}{2}m-\frac{1}{2}d$. Furthermore, we show that any lobster $T$ with $m$ edges and diameter $d$ has an edge-relaxed graceful bipartite labeling with at least $\max\{\frac{3m-d+6}{4},\frac{5m+d+15}{8}\}$ of the edge weights distinct, which is an improvement on a bound given by Rosa and Širáň on the $α$-size of trees, for $d<\frac{m+22}{7}$ and $d>\frac{5m-65}{7}$. We also show that there exists an edge-relaxed graceful labeling (not necessarily bipartite) with at least $\max\left\{\frac{3}{4}m+\frac{d-ν}{8}+\frac{3}{2},ν\right\}$ of the edge weights distinct, where $ν$ is twice the size of a partial matching of $T$. This is an improvement on the gracesize bound of Rosa and Širáň for certain values of $ν$ and $d$. We view these results as a step towards Bermond's conjecture.
Subproduct systems and Cartesian systems; new results on factorial languages and their relations with other areas
Published in Journal of Stochastic Analysis: Vol. 1 : No. 4 , Article 5 (2020)
• View Publication
• BIB
We point out that a sequence of natural numbers is the dimension sequence of a subproduct system if and only if it is the cardinality sequence of a word system (or factorial language). Determining such sequences is, therefore, reduced to a purely combinatorial problem in the combinatorics of words. A corresponding (and equivalent) result for graded algebras has been known in abstract algebra, but this connection with pure combinatorics has not yet been noticed by the product systems community. We also introduce Cartesian systems, which can be seen either as a set theoretic version of subproduct systems or an abstract version of word systems. Applying this, we provide several new results on the cardinality sequences of word systems and the dimension sequences of subproduct systems.
Signed arc permutations
Published
• View Publication
• BIB
Arc permutations, which were originally introduced in the study of triangulations and characters, have recently been shown to have interesting combinatorial properties. The first part of this paper continues their study by providing signed enumeration formulas with respect to their descent set and major index. Next, we generalize the notion of arc permutations to the hyperoctahedral group in two different directions. We show that these extensions to type $B$ carry interesting analogues of the properties of type $A$ arc permutations, such as characterizations by pattern avoidance, and elegant unsigned and signed enumeration formulas with respect to the flag-major index.
Refined Cauchy and Littlewood identities, plane partitions and symmetry classes of alternating sign matrices
Published in Journal of Combinatorial Theory Series A, 137 (2016), 126-165
• View Publication
• BIB
We prove and conjecture some new symmetric function identities, which equate the generating series of 1. Plane partitions, subject to certain restrictions and weightings, and 2. Alternating sign matrices, subject to certain symmetry properties. The left hand side of each of our identities is a simple refinement of a relevant Cauchy or Littlewood identity, allowing them to be interpreted as generating series for plane partitions. The right hand side of each identity is a partition function of the six-vertex model, on a relevant domain. These can be interpreted as generating series for alternating sign matrices, using the well known bijection with six-vertex model configurations.
Linking Rigid Bodies Symmetrically
Published
• View Publication
• BIB
The mathematical theory of rigidity of body-bar and body-hinge frameworks provides a useful tool for analyzing the rigidity and flexibility of many articulated structures appearing in engineering, robotics and biochemistry. In this paper we develop a symmetric extension of this theory which permits a rigidity analysis of body-bar and body-hinge structures with point group symmetries. The infinitesimal rigidity of body-bar frameworks can naturally be formulated in the language of the exterior (or Grassmann) algebra. Using this algebraic formulation, we derive symmetry-adapted rigidity matrices to analyze the infinitesimal rigidity of body-bar frameworks with Abelian point group symmetries in an arbitrary dimension. In particular, from the patterns of these new matrices, we derive combinatorial characterizations of infinitesimally rigid body-bar frameworks which are generic with respect to a point group of the form $\mathbb{Z}/2\mathbb{Z}\times \dots \times \mathbb{Z}/2\mathbb{Z}$. Our characterizations are given in terms of packings of bases of signed-graphic matroids on quotient graphs. Finally, we also extend our methods and results to body-hinge frameworks with Abelian point group symmetries in an arbitrary dimension. As special cases of these results, we obtain combinatorial characterizations of infinitesimally rigid body-hinge frameworks with $\mathcal{C}_2$ or $\mathcal{D}_2$ symmetry - the most common symmetry groups found in proteins.
Performance of the Survey Propagation-guided decimation algorithm for the random NAE-K-SAT problem
Published
• View Publication
• BIB
We show that the Survey Propagation-guided decimation algorithm fails to find satisfying assignments on random instances of the "Not-All-Equal-$K$-SAT" problem if the number of message passing iterations is bounded by a constant independent of the size of the instance and the clause-to-variable ratio is above $(1+o_K(1)){2^{K-1}\over K}\log^2 K$ for sufficiently large $K$. Our analysis in fact applies to a broad class of algorithms described as "sequential local algorithms". Such algorithms iteratively set variables based on some local information and then recurse on the reduced instance. Survey Propagation-guided as well as Belief Propagation-guided decimation algorithms - two widely studied message passing based algorithms, fall under this category of algorithms provided the number of message passing iterations is bounded by a constant. Another well-known algorithm falling into this category is the Unit Clause algorithm. Our work constitutes the first rigorous analysis of the performance of the SP-guided decimation algorithm.
The approach underlying our paper is based on an intricate geometry of the solution space of random NAE-$K$-SAT problem. We show that above the $(1+o_K(1)){2^{K-1}\over K}\log^2 K$ threshold, the overlap structure of $m$-tuples of satisfying assignments exhibit a certain clustering behavior expressed in the form of constraints on distances between the $m$ assignments, for appropriately chosen $m$. We further show that if a sequential local algorithm succeeds in finding a satisfying assignment with probability bounded away from zero, then one can construct an $m$-tuple of solutions violating these constraints, thus leading to a contradiction. Along with (citation), this result is the first work which directly links the clustering property of random constraint satisfaction problems to the computational hardness of finding satisfying assignments.
On Classification of Toric Surface Codes of Low Dimension
Published in Finite Fields Appl., Vol. 33, pp. 90-102, 2015
• View Publication
• BIB
This work is a natural continuation of our previous work \cite{yz}. In this paper, we give a complete classification of toric surface codes of dimension less than or equal to 6, except a special pair, $C_{P_6^{(4)}}$ and $C_{P_6^{(5)}}$ over $\mathbb{F}_8$. Also, we give an example, $C_{P_6^{(5)}}$ and $C_{P_6^{(6)}}$ over $\mathbb{F}_7$, to illustrate that two monomially equivalent toric codes can be constructed from two lattice non-equivalent polygons.
Unfriendly or weakly unfriendly partitions of graphs
For each infinite cardinal $κ$ and each graph $G=(V,E)$, we say that a partition $π:V\rightarrow \left\{ 0,1\right\} $ is $κ$-unfriendly if, for each $x\in V$, $\left| \left\{ y\in V\mid \left\{ x,y\right\} \in E\text{ and }π(y)\neq π(x)\right\} \right| $ is $\geq \left| \left\{ y\in V\mid \left\{ x,y\right\} \in E\text{ and }π(y)=π(x)\right\} \right| $ or $\geq κ$; $π$ is unfriendly if the first property is true for each $x\in V$. Some uncountable graphs of infinite minimum degree without unfriendly partition have been constructed by S. Shelah and E.C. Milner, but it is not presently known if countable graphs without unfriendly partition exist. We show that, for each integer $n$, each graph of infinite minimum degree has an $ω_{n}$-unfriendly partition. We also prove that the following properties are equivalent: (i) each graph has an $ω$-unfriendly partition; (ii) each countable graph has an unfriendly partition; (iii) each countable graph without nonempty induced subgraph of infinite minimum degree has an unfriendly partition (actually it is enough to consider a smaller class of graphs).
The Combinatorics of Tandem Duplication
Published
• View Publication
• BIB
Tandem duplication is an evolutionary process whereby a segment of DNA is replicated and proximally inserted. The different configurations that can arise from this process give rise to some interesting combinatorial questions. Firstly, we introduce an algebraic formalism to represent this process as a word producing automaton. The number of words arising from n tandem duplications can then be recursively derived. Secondly, each single word accounts for multiple evolutions. With the aid of a bi-coloured 2d- tree, a Hasse diagram corresponding to a partially ordered set is constructed, from which we can count the number of evolutions corresponding to a given word. Thirdly, we implement some subtree prune and graft operations on this structure to show that the total number of possible evolutions arising from n tandem duplications is $\prod_{k=1}^n(4^k - (2k + 1))$. The space of structures arising from tandem duplication thus grows at a super-exponential rate with leading order term $\mathcal{O}(4^{\frac{1}{2}n^2})$.
On the Decision Number of Graphs
Let $G$ be a graph. A good function is a function $f:V(G)\rightarrow \{-1,1\}$, satisfying $f(N(v))\geq 1$, for each $v\in V(G)$, where $ N(v)=\{u\in V(G)\, |\, uv\in E(G) \} $ and $f(S) = \sum_{u\in S} f(u)$ for every $S \subseteq V(G) $. For every cubic graph $G$ of order $ n, $ we prove that $ γ(G) \leq \frac{5n}{7} $ and show that this inequality is sharp. A function $f:V(G)\rightarrow \{-1,1\}$ is called a nice function, if $f(N[v])\le1$, for each $v\in V(G)$, where $ N[v]=\{v\} \cup N(v) $. Define $\overlineβ(G)=max\{f(V(G))\}$, where $f$ is a nice function for $G$. We show that $\overlineβ(G)\ge -\frac{3n}{7}$ for every cubic graph $G$ of order $n$, which improves the best known bound $-\frac{n}{2}$.
On the Longest Common Pattern Contained in Two or More Random Permutations
Published
• View Publication
• BIB
We provide upper and lower bounds for the expected length $\mathbb E(L_{n,m})$ of the longest common pattern contained in $m$ random permutations of length $n$. We also address the tightness of the concentration of $L_{n,m}$ around $\mathbb E(L_{n,m})$.
On generating functions of Hausdorff moment sequences
Published in Trans. Amer. Math. Soc. 368 (2016) 8499-8518
• View Publication
• BIB
The class of generating functions for completely monotone sequences (moments of finite positive measures on $[0,1]$) has an elegant characterization as the class of Pick functions analytic and positive on $(-\infty,1)$. We establish this and another such characterization and develop a variety of consequences. In particular, we characterize generating functions for moments of convex and concave probability distribution functions on $[0,1]$. Also we provide a simple analytic proof that for any real $p$ and $r$ with $p>0$, the Fuss-Catalan or Raney numbers $\frac{r}{pn+r}\binom{pn+r}{n}$, $n=0,1,\ldots$ are the moments of a probability distribution on some interval $[0,τ]$ {if and only if} $p\ge1$ and $p\ge r\ge 0$. The same statement holds for the binomial coefficients $\binom{pn+r-1}n$, $n=0,1,\ldots$. A corrigendum (Trans. Amer. Math.Soc., to appear) has been included as an appendix, correcting gaps in the proof of Lemma 3.
Primitive recursive bounds for the finite version of Gowers' $c_0$ theorem
Published in Mathematika 61 (2015) 501-522
• View Publication
• BIB
We provide primitive recursive bounds for the finite version of Gowers' $c_0$ theorem for both the positive and the general case. We also provide multidimensional versions of these results.
Interval colorings of edges of a multigraph
Published in Applied Mathematics 5, Yerevan State University, 1987, pp. 25--34
• Search Publication
Let $G=(V_1(G),V_2(G),E(G))$ be a bipartite multigraph, and $R\subseteq V_1(G)\cup V_2(G)$. A proper coloring of edges of $G$ with the colors $1,\ldots,t$ is called interval (respectively, continuous) on $R$, if each color is used for at least one edge and the edges incident with each vertex $x\in R$ are colored by $d(x)$ consecutive colors (respectively, by the colors $1,\ldots,d(x))$, where $d(x)$ is a degree of the vertex $x$. We denote by $w_1(G)$ and $W_1(G)$, respectively, the least and the greatest values of $t$, for which there exists an interval on $V_1(G)$ coloring of the multigraph $G$ with the colors $1,\ldots,t$.
In the paper the following basic results are obtained.
\textbf{Theorem 2.} For an arbitrary $k$, $w_1(G)\leq k\leq W_1(G)$, there is an interval on $V_1(G)$ coloring of the multigraph $G$ with the colors $1,\ldots,k$.
\textbf{Theorem 3.} The problem of recognition of the existence of a continuous on $V_1(G)$ coloring of the multigraph $G$ is $NP$-complete.
\textbf{Theorem 4.} If for any edge $(x,y)\in E(G)$, where $x\in V_1(G)$, the inequality $d(x)\geq d(y)$ holds then there is a continuous on $V_1(G)$ coloring of the multigraph $G$.
\textbf{Theorem 1.} If $G$ has no multiple edges and triangles, and there is an interval on $V(G)$ coloring of the graph $G$ with the colors $1,\ldots,k$, then $k\leq|V(G)|-1$.
Number of vertices in graphs with locally small chromatic number and large chromatic number
We discuss the minimal number of vertices in a graph with a large chromatic number such that each ball of a fixed radius in it has a small chromatic number. It is shown that for every graph $G$ on $\sim((n+rc)/(c+rc))^{r+1}$ vertices such that each ball of radius $r$ is properly $c$-colorable, we have $χ(G)\leq n$.