Showing 20 papers (Total: 81623 papers, 47312 authors in database)
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
For what number of cars must self organization occur in the Biham-Middleton-Levine traffic model from any possible starting configuration?
For any initial configuration of fewer than N/2 cars the BML model will self organize to attain speed one. On the other hand, there is a configuration of size m in which no car can move if and only if m is at least 2N.
Minimal Generators for Symmetric Ideals
Published
• View Publication
• BIB
Let $K$ be a field, and let $R = K[X]$ be the polynomial ring in an infinite collection $X$ of indeterminates over $K$. Let ${\mathfrak S}_{X}$ be the symmetric group of $X$. The group ${\mathfrak S}_{X}$ acts naturally on $R$, and this in turn gives $R$ the structure of a left module over the (left) group ring $R[{\mathfrak S}_{X}]$. A recent theorem of Aschenbrenner and Hillar states that the module $R$ is Noetherian. We prove that submodules of $R$ can have any number of minimal generators.
An algebraic extension of the MacMahon Master Theorem
Published
• View Publication
• BIB
We present a new algebraic extension of the classical MacMahon Master Theorem. The basis of our extension is the Koszul duality for non-quadratic algebras defined by Berger. Combinatorial implications are also discussed.
Dessins d'enfants and differential equations
We state and solve a discrete version of the classical Riemann-Hilbert problem. In particular, we associate a Riemann-Hilbert problem to every dessin d'enfants. We show how to compute the solution for a dessin that is a tree. This amounts to finding a Fuchsian differential equation satisfied by the local inverses of a Shabat polynomial. We produce a universal annihilating operator for the inverses of a generic polynomial. We classify those plane trees that have a representation by Mobius transformations and those that have a linear representation of dimension at most two. This yields an analogue for trees of Schwarz's classical list, that is, a list of those plane trees whose Riemann-Hilbert problem has a hypergeometric solution of order at most two.
A New Upper Bound for Diagonal Ramsey Numbers
Published
• View Publication
• BIB
We prove a new upper bound for diagonal two-colour Ramsey numbers, showing that there exists a constant $C$ such that \[r(k+1, k+1) \leq k^{- C \frac{\log k}{\log \log k}} \binom{2k}{k}.\]
The Slope Polynomial and Collinear Points in Permutations
Withdrawn due to fatal errors.
On arithmetic and asymptotic properties of up-down numbers
Published
• View Publication
• BIB
Let $σ=(σ_1,..., σ_N)$, where $σ_i =\pm 1$, and let $C(σ)$ denote the number of permutations $π$ of $1,2,..., N+1,$ whose up-down signature $\mathrm{sign}(π(i+1)-π(i))=σ_i$, for $i=1,...,N$.
We prove that the set of all up-down numbers $C(σ)$ can be expressed by a single universal polynomial $Φ$, whose coefficients are products of numbers from the Taylor series of the hyperbolic tangent function. We prove that $Φ$ is a modified exponential, and deduce some remarkable congruence properties for the set of all numbers $C(σ)$, for fixed $N$. We prove a concise upper-bound for $C(σ)$, which describes the asymptotic behaviour of the up-down function $C(σ)$ in the limit $C(σ) \ll (N+1)!$.
Chern classes of Schubert cells and varieties
Published in J. Algebraic Geom. 18 (2009), no. 1, 63-100
• View Publication
• BIB
We give explicit formulas for the Chern-Schwartz-MacPherson classes of all Schubert varieties in the Grassmannian of $d$-planes in a vector space, and conjecture that these classes are effective. We prove this is the case for (very) small values of $d$.