Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Many sets have more sums than differences
Published in Additive combinatorics, 287--305, CRM Proc. Lecture Notes, 43, Amer. Math. Soc., Providence, RI, 2007.
• View Publication
• BIB
Since addition is commutative but subtraction is not, the sumset S+S of a finite set S is predisposed to be smaller than the difference set S-S. In this paper, however, we show that each of the three possibilities (|S+S|>|S-S|, |S+S|=|S-S|, |S+S|<|S-S|) occur for a positive proportion of the subsets of {0, 1, ..., n-1}. We also show that the difference |S+S| - |S-S| can take any integer value, and we show that the expected number of omitted differences is asymptotically 6 while the expected number of missing sums is asymptotically 10. Other data and conjectures on the distribution of these quantities are also given.
On products of sl_n characters and support containment
Published
• View Publication
• BIB
Let $λ$, $μ$, $ν$ and $ρ$ be dominant weights of $\mathfrak{sl_n}$ satisfying $λ+ μ= ν+ ρ$. Let $V_λ$ denote the highest weight module corresponding to $λ$. Lam, Postnikov, Pylyavskyy conjectured a sufficient condition for $V_λ \otimes V_μ$ to be contained in $V_ν \otimes V_ρ$ as $\mathfrak{sl_n}$-modules. In this note we prove a weaker version of the conjecture. Namely we prove that under the conjectured conditions every irreducible $\mathfrak{sl_n}$-module which appears in the decomposition of $V_λ \otimes V_μ$ does appear in the decomposition of $V_ν \otimes V_ρ$.
$G$-reconstruction of graphs
Published in Ars Combinatoria 54 (2000) 293-299
• Search Publication
Let $G$ be a group of permutations acting on an $n$-vertex set $V$, and $X$ and $Y$ be two simple graphs on $V$. We say that $X$ and $Y$ are $G$-isomorphic if $Y$ belongs to the orbit of $X$ under the action of $G$. One can naturally generalize the reconstruction problems so that when $G$ is $S_n$, the symmetric group, we have the usual reconstruction problems. In this paper, we study $G$-edge reconstructibility of graphs. We prove some old and new results on edge reconstruction and reconstruction from end vertex deleted subgraphs.
A reconstruction problem related to balance equations-I
Published in Discrete Mathematics 176 (1997) 279-284
• View Publication
• BIB
A modified $k$-deck of a graph is obtained by removing $k$ edges in all possible ways and adding $k$ (not necessarily new) edges in all possible ways. Krasikov and Roditty used these decks to give an independent proof of Müller's result on the edge reconstructibility of graphs. They asked if a $k$-edge deck could be constructed from its modified $k$-deck. In this paper, we solve the problem when $k=1$. We also offer new proofs of Lovász's result, one describing the constructed graph explicitly, (thus answering a question of Bondy), and another based on the eigenvalues of Johnson graph.
On a conjecture of Wilf
Published in Journal of Combinatorial Theory, Series A 114 (2007), 1332-1349
• View Publication
• BIB
Let n and k be natural numbers and let S(n,k) denote the Stirling numbers of the second kind. It is a conjecture of Wilf that the alternating sum \sum_{j=0}^{n} (-1)^{j} S(n,j) is nonzero for all n>2. We prove this conjecture for all n not congruent to 2 and not congruent to 2944838 modulo 3145728 and discuss applications of this result to graph theory, multiplicative partition functions, and the irrationality of p-adic series.
Privileged users in zero-error transmission over a noisy channel
Published
• View Publication
• BIB
The $k$-th power of a graph $G$ is the graph whose vertex set is $V(G)^k$, where two distinct $k$-tuples are adjacent iff they are equal or adjacent in $G$ in each coordinate. The Shannon capacity of $G$, $c(G)$, is $\lim_{k\to\infty}α(G^k)^{1/k}$, where $α(G)$ denotes the independence number of $G$. When $G$ is the characteristic graph of a channel $\mathcal{C}$, $c(G)$ measures the effective alphabet size of $\mathcal{C}$ in a zero-error protocol. A sum of channels, $\mathcal{C}=\sum_i \mathcal{C}_i$, describes a setting when there are $t\geq 2$ senders, each with his own channel $\mathcal{C}_i$, and each letter in a word can be selected from either of the channels. This corresponds to a disjoint union of the characteristic graphs, $G=\sum_i G_i$.
We show that for any fixed $t$ and any family $F$ of subsets of $T={1,2,...,t}$, there are $t$ graphs $G_1,G_2, ...,G_t$, so that for every subset $I$ of $T$, the Shannon capacity of the disjoint union $\sum_{i \in I} G_i$ is "large" if $I$ contains a member of $F$, and is "small" otherwise.
Independent sets in tensor graph powers
Published
• View Publication
• BIB
The tensor product of two graphs, $G$ and $H$, has a vertex set $V(G)\times V(H)$ and an edge between $(u,v)$ and $(u',v')$ iff both $u u' \in E(G)$ and $v v' \in E(H)$. Let $A(G)$ denote the limit of the independence ratios of tensor powers of $G$, $\lim α(G^n)/|V(G^n)|$. This parameter was introduced by Brown, Nowakowski and Rall, who showed that $A(G)$ is lower bounded by the vertex expansion ratio of independent sets of $G$. In this note we study the relation between these parameters further, and ask whether they are in fact equal. We present several families of graphs where equality holds, and discuss the effect the above question has on various open problems related to tensor graph products.
On two biased graph processes
In [Amir et al.], the authors consider the generalization $\Gor$ of the Erdős-Rényi random graph process $G$, where instead of adding new edges uniformly, $\Gor$ gives a weight of size 1 to missing edges between pairs of isolated vertices, and a weight of size $K\in[0,\infty)$ otherwise. This can correspond to the linking of settlements or the spreading of an epidemic. The authors investigate $\tgor(K)$, the critical time for the appearance of a giant component as a function of $K$, and prove that $\tgor=(1+o(1))\frac{4}{\sqrt{3K}}$, using a proper timescale.
In this work, we show that a natural variation of the model $\Gor$ has interesting properties. Define the process $\Gand$, where a weight of size $K$ is assigned to edges between pairs of non-isolated vertices, and a weight of size 1 otherwise. We prove that the asymptotical behavior of the giant component threshold is essentially the same for $\Gand$, and namely $\tgand / \tgor$ tends to $\frac{64\sqrt{6}}{π(24+π^2)}\approx 1.47$ as $K\to\infty$. However, the corresponding thresholds for connectivity satisfy $\tcand / \tcor=\max\{{1/2},K\}$ for every $K>0$. Following the methods of [Amir et al.], $\tgand$ is characterized as the singularity point to a system of differential equations, and computer simulations of both models agree with the analytical results as well as with the asymptotic analysis. In the process, we answer the following question: when does a giant component emerge in a graph process where edges are chosen uniformly out of all edges incident to isolated vertices, while such exist, and otherwise uniformly? This corresponds to the value of $\tgand(0)$, which we show to be ${3/2}+\frac{4}{3\mathrm{e}^2-1}$.
Enumerating Constrained Non-crossing Minimally Rigid Frameworks
Published
• View Publication
• BIB
In this paper we present an algorithm for enumerating without repetitions all the non-crossing generically minimally rigid bar-and-joint frameworks under edge constraints (also called constrained non-crossing Laman frameworks) on a given generic set of $n$ points. Our algorithm is based on the reverse search paradigm of Avis and Fukuda. It generates each output graph in $O(n^4)$ time and O(n) space, or, slightly different implementation, in $O(n^3)$ time and $O(n^2)$ space. In particular, we obtain that the set of all the constrained non-crossing Laman frameworks on a given point set is connected by flips which restore the Laman property.
Truncations of random unitary matrices and Young tableaux
Published
• View Publication
• BIB
Let $U$ be a matrix chosen randomly, with respect to Haar measure, from the unitary group $U(d).$ We express the moments of the trace of any submatrix of $U$ as a sum over partitions whose terms count certain standard and semistandard Young tableaux. Using this combinatorial interpretation, we obtain a simple closed form for the moments of an individual entry of a random unitary matrix and use this to deduce that the entries converge in moments to standard complex Gaussian random variables. In addition, we recover a well-known theorem of E. Rains which shows that the moments of the trace of a random unitary matrix enumerate permutations with restricted increasing subsequence length.
A characterization of the Tutte polynomial via combinatorial embeddings
Published in Annals of Combinatorics 12, 2 (2008) 139-153
• View Publication
• BIB
We give a new characterization of the Tutte polynomial of graphs. Our characterization is formally close (but inequivalent) to the original definition given by Tutte as the generating function of spanning trees counted according to activities. Tutte's notion of activity requires to choose a \emph{linear order} on the edge set (though the generating function of the activities is, in fact, independent of this order). We define a new notion of activity, the embedding-activity, which requires to choose a \emph{combinatorial embedding} of the graph, that is, a cyclic order of the edges around each vertex. We prove that the Tutte polynomial equals the generating function of spanning trees counted according to embedding-activities (this generating function being, in fact, independent of the embedding).
A trace on fractal graphs and the Ihara zeta function
Published in Trans. Amer. Math. Soc. 361 (2009), no. 6, 3041-3070
• View Publication
• BIB
Starting with Ihara's work in 1968, there has been a growing interest in the study of zeta functions of finite graphs, by Sunada, Hashimoto, Bass, Stark and Terras, Mizuno and Sato, to name just a few authors. Then, Clair and Mokhtari-Sharghi have studied zeta functions for infinite graphs acted upon by a discrete group of automorphisms. The main formula in all these treatments establishes a connection between the zeta function, originally defined as an infinite product, and the Laplacian of the graph. In this article, we consider a different class of infinite graphs. They are fractal graphs, i.e. they enjoy a self-similarity property. We define a zeta function for these graphs and, using the machinery of operator algebras, we prove a determinant formula, which relates the zeta function with the Laplacian of the graph. We also prove functional equations, and a formula which allows approximation of the zeta function by the zeta functions of finite subgraphs.
Graph powers, Delsarte, Hoffman, Ramsey and Shannon
Published
• View Publication
• BIB
The $k$-th $p$-power of a graph $G$ is the graph on the vertex set $V(G)^k$, where two $k$-tuples are adjacent iff the number of their coordinates which are adjacent in $G$ is not congruent to 0 modulo $p$. The clique number of powers of $G$ is poly-logarithmic in the number of vertices, thus graphs with small independence numbers in their $p$-powers do not contain large homogenous subsets. We provide algebraic upper bounds for the asymptotic behavior of independence numbers of such powers, settling a conjecture of Alon and Lubetzky up to a factor of 2. For precise bounds on some graphs, we apply Delsarte's linear programming bound and Hoffman's eigenvalue bound. Finally, we show that for any nontrivial graph $G$, one can point out specific induced subgraphs of large $p$-powers of $G$ with neither a large clique nor a large independent set. We prove that the larger the Shannon capacity of $\bar{G}$ is, the larger these subgraphs are, and if $G$ is the complete graph, then some $p$-power of $G$ matches the bounds of the Frankl-Wilson Ramsey construction, and is in fact a subgraph of a variant of that construction.
On the quantum chromatic number of a graph
Published in Electronic Journal of Combinatorics 14(1), 2007
• View Publication
• BIB
We investigate the notion of quantum chromatic number of a graph, which is the minimal number of colours necessary in a protocol in which two separated provers can convince an interrogator with certainty that they have a colouring of the graph.
After discussing this notion from first principles, we go on to establish relations with the clique number and orthogonal representations of the graph. We also prove several general facts about this graph parameter and find large separations between the clique number and the quantum chromatic number by looking at random graphs.
Finally, we show that there can be no separation between classical and quantum chromatic number if the latter is 2, nor if it is 3 in a restricted quantum model; on the other hand, we exhibit a graph on 18 vertices and 44 edges with chromatic number 5 and quantum chromatic number 4.
On the Number of Facets of Three-Dimensional Dirichlet Stereohedra III: Full Cubic Groups
Published in Discrete Comput. Geom., 40(2) (2008), 159-189.
• View Publication
• BIB
We are interested in the maximum possible number of facets that Dirichlet stereohedra for three-dimensional crystallographic groups can have. The problem for non-cubic groups was studied in previous papers by D. Bochis and the second author (Discrete Comput. Geom. 25:3 (2001), 419-444, and Beitr. Algebra Geom., 47:1 (2006), 89-120). This paper deals with ''full'' cubic groups, while ''quarter'' cubic groups are left for a subsequent paper. Here, ''full'' and ''quarter'' refers to the recent classification of three-dimensional crystallographic groups by Conway, Delgado-Friedrichs, Huson and Thurston (math.MG/9911185, Beitr. Algebra Geom. 42.2 (2001), 475-507).
Our main result in this paper is that Dirichlet stereohedra for any of the 27 full groups cannot have more than 25 facets. We also find stereohedra with 17 facets for one of these groups.
The Number of Complete Maps on Surfaces
A map is a connected topological graph cellularly embedded in a surface and a complete map is a cellularly embedded complete graph in a surface. In this paper, all automorphisms of complete maps of order n are determined by permutations on its vertices. Applying a scheme for enumerating maps on surfaces with a given underlying graph, the numbers of unrooted complete maps on orientable or non-orientable surfaces are obtained.
Automorphisms and Enumeration of Maps of Cayley Graph of a Finite Group
A map is a connected topological graph $Γ$ cellularly embedded in a surface. In this paper, applying Tutte's algebraic representation of map, new ideas for enumerating non-equivalent orientable or non-orientable maps of graph are presented. By determining automorphisms of maps of Cayley graph $Γ={\rm Cay}(G:S)$ with ${\rm Aut} Γ\cong G\times H$ on locally, orientable and non-orientable surfaces, formulae for the number of non-equivalent maps of $Γ$ on surfaces (orientable, non-orientable or locally orientable) are obtained . Meanwhile, using reseults on GRR graph for finite groups, we enumerate the non-equivalent maps of GRR graph of symmetric groups, groups generated by 3 involutions and abelian groups on orientable or non-orientable surfaces.
Permutations, cycles, and the pattern 2-13
Published
• View Publication
• BIB
We count the number of occurrences of restricted patterns of length 3 in permutations with respect to length and the number of cycles. The main tool is a bijection between permutations in standard cycle form and weighted Motzkin paths.
Nonnegative Grassman Chambers are Balls
The radius of the star-shaped set need not have been continuous.
On irreducible n-ary quasigroups with reducible retracts
Published in Eur. J. Comb. 29(2) 2008, 507-513
• View Publication
• BIB
An n-ary operation q:A^n->A is called an n-ary quasigroup of order |A| if in x_0=q(x_1,...,x_n) knowledge of any n elements of x_0,...,x_n uniquely specifies the remaining one. An n-ary quasigroup q is permutably reducible if q(x_1,...,x_n)=p(r(x_{s(1)},...,x_{s(k)}),x_{s(k+1)},...,x_{s(n)}) where p and r are (n-k+1)-ary and k-ary quasigroups, s is a permutation, and 1<k<n. For even n we construct a permutably irreducible n-ary quasigroup of order 4r such that all its retracts obtained by fixing one variable are permutably reducible. We use a partial Boolean function that satisfies similar properties. For odd n the existence of a permutably irreducible n-ary quasigroup such that all its (n-1)-ary retracts are permutably reducible is an open question; however, there are nonexistence results for 5-ary and 7-ary quasigroups of order 4. Keywords:n-ary quasigroups, n-quasigroups, reducibility, Seidel switching, two-graphs