Showing 20 papers (Total: 81378 papers, 47165 authors in database)
A Heawood-type result for the algebraic connectivity of graphs on surfaces
We prove that the algebraic connectivity a(G) of a graph embedded on a nonplanar surface satisfies a Heawood-type result. More precisely, it is shown that the algebraic connectivity of a surface S, defined as the supremum of a(G) over all graphs that can be embedded in S, is equal to the chromatic number of S. Furthermore, and with the possible exception of the Klein bottle, we prove that this bound is attained only in the case of the maximal complete graph that can be embedded in S. In the planar case, we show that, at least for some classes of graphs which include the set of regular graphs, a(G) is less than or equal to four. As an application of these results and techniques, we obtain a lower bound for the genus of Ramanujan graphs.
We also present some bounds for the asymptotic behaviour of a(G) for certain classes of graphs as the number of vertices goes to infinity.
The problem of harmonic analysis on the infinite-dimensional unitary group
Published in J. Funct. Anal. 205 (2003), no. 2, 464--524
• View Publication
• BIB
The goal of harmonic analysis on a (noncommutative) group is to decompose the most `natural' unitary representations of this group (like the regular representation) on irreducible ones. The infinite-dimensional unitary group U(infinity) is one of the basic examples of `big' groups whose irreducible representations depend on infinitely many parameters. Our aim is to explain what the harmonic analysis on U(infinity) consists of.
We deal with unitary representations of a reasonable class, which are in 1-1 correspondence with characters (central, positive definite, normalized functions on U(infinity)). The decomposition of any representation of this class is described by a probability measure (called spectral measure) on the space of indecomposable characters. The indecomposable characters were found by Dan Voiculescu in 1976.
The main result of the present paper consists in explicitly constructing a 4-parameter family of `natural' representations and computing their characters. We view these representations as a substitute of the nonexisting regular representation of U(infinity). We state the problem of harmonic analysis on U(infinity) as the problem of computing the spectral measures for these `natural' representations. A solution to this problem is given in the next paper math/0109194, joint with Alexei Borodin.
We also prove a few auxiliary general results. In particular, it is proved that the spectral measure of any character of U(infinity) can be approximated by a sequence of (discrete) spectral measures for the restrictions of the character to the compact unitary groups U(N). This fact is a starting point for computing spectral measures.
Harmonic analysis on the infinite-dimensional unitary group and determinantal point processes
Published in Ann. of Math. 161 (2005), no. 3, 1319--1422
• View Publication
• BIB
The infinite-dimensional unitary group U(infinity) is the inductive limit of growing compact unitary groups U(N). In this paper we solve a problem of harmonic analysis on U(infinity) stated in the previous paper math/0109193. The problem consists in computing spectral decomposition for a remarkable 4-parameter family of characters of U(infinity). These characters generate representations which should be viewed as analogs of nonexisting regular representation of U(infinity).
The spectral decomposition of a character of U(infinity) is described by the spectral measure which lives on an infinite-dimensional space Omega of indecomposable characters. The key idea which allows us to solve the problem is to embed Omega into the space of point configurations on the real line without 2 points. This turns the spectral measure into a stochastic point process on the real line. The main result of the paper is a complete description of the processes corresponding to our concrete family of characters. We prove that each of the processes is a determinantal point process. That is, its correlation functions have determinantal form with a certain kernel. Our kernels have a special `integrable' form and are expressed through the Gauss hypergeometric function.
In simpler situations of harmonic analysis on infinite symmetric group and harmonic analysis of unitarily invariant measures on infinite hermitian matrices similar results were obtained in our papers math/9810015, math/9904010, math-ph/0010015.
Separating Geometric Thickness from Book Thickness
We show that geometric thickness and book thickness are not asymptotically equivalent: for every t, there exists a graph with geometric thickness two and book thickness >= t.
The WP - Bailey Tree and its Implications
Published
• View Publication
• BIB
Our object is a thorough analysis of the WP-Bailey tree, a recent extension of classical Bailey chains. We begin by observing how the WP-Bailey tree naturally entails a finite number of classical q-hypergeometric transformation formulas. We then show how to move beyond this closed set of results and in the process we explicate heretofore mysterious identities of D. Bressoud. Next, we use WP-Bailey pairs to provide a new proof of recent formula of A. Kirillov. Finally, we discuss the relation between our approach and that of W. Burge.
Catalan paths, Quasi-symmetric functions and Super-Harmonic Spaces
Published in Proc. Amer. Math. Soc. 131 (2003), no. 4, 1053-1062
• View Publication
• BIB
We investigate the quotient ring $R$ of the ring of formal power series $\Q[[x_1,x_2,...]]$ over the closure of the ideal generated by non-constant quasi-\break symmetric functions. We show that a Hilbert basis of the quotient is naturally indexed by Catalan paths (infinite Dyck paths). We also give a filtration of ideals related to Catalan paths from $(0,0)$ and above the line $y=x-k$. We investigate as well the quotient ring $R_n$ of polynomial ring in $n$ variables over the ideal generated by non-constant quasi-symmetric polynomials. We show that the dimension of $R_n$ is bounded above by the $n$th Catalan number.
Clairvoyant scheduling of random walks
Two infinite walks on the same finite graph are called compatible if it is possible to introduce delays into them in such a way that they never collide. Years ago, Peter Winkler asked the question: for which graphs are two independent walks compatible with positive probability. Up to now, no such graphs were found. We show in this paper that large complete graphs have this property. The question is equivalent to a certain dependent percolation with a power-law behavior: the probability that the origin is blocked at distance n but not closer decreases only polynomially fast and not, as usual, exponentially.
A characterization of finite sets that tile the integers
We consider the problem of characterizing finite sets which tile the integers by translations. Coven and Meyerowitz (J. Algebra 1999) found necessary and sufficient conditions for a finite set A to tile the integers under the assumption that |A| has at most 2 distinct prime factors. The purpose of this article is to settle, for the first time, certain three-prime cases.
The Gelfand map and symmetric products
Published
• View Publication
• BIB
If A is an algebra of functions on X, there are many cases when X can be regarded as included in Hom(A,C) as the set of ring homomorphisms. In this paper the corresponding results for the symmetric products of X are introduced. It is shown that the symmetric product Sym^n(X) is included in Hom(A,C) as the set of those functions that satisfy equations generalising f(xy)=f(x)f(y). These equations are related to formulae introduced by Frobenius and, for the relevant A, they characterise linear maps on A that are the sum of ring homomorphisms. The main theorem is proved using an identity satisfied by partitions of finite sets.
A New Matrix-Tree Theorem
The classical Matrix-Tree Theorem allows one to list the spanning trees of a graph by monomials in the expansion of the determinant of a certain matrix. We prove that in the case of three-graphs (that is, hypergraphs whose edges have exactly three vertices) the spanning trees are generated by the Pfaffian of a suitably defined matrix. This result can be interpreted topologically as an expression for the lowest order term of the Alexander-Conway polynomial of an algebraically split link. We also prove some algebraic properties of our Pfaffian-tree polynomial.
Tangent and Bernoulli numbers related to Motzkin and Catalan numbers by means of numerical triangles
It is shown that Bernoulli numbers and tangent numbers (the derivatives of the tangent function at zero) can be obtained by means of easily defined triangles of numbers in several ways, some of them very similar to the Catalan triangle and a Motzkin-like triangle. Our starting point in order to show this is a new expression of Zeta(2n) involving Motzkin paths.
Natural Associativity without the Pentagon condition
A premonoidal category is equipped only with a bifunctor and a natural isomorphism for associativity. We introduce a (deformation) natural automorphism representing the deviation from the Pentagon condition. We uncover a binary tree representation for all diagrams involving associativity natural isomorphisms and (deformation) natural automorphisms and provide a link to permutations and linear orderings. This leads to other notions of premonoidalness. We define these notions and prove coherence results for each.
The Rank and Minimal Border Strip Decompositions of a Skew Partition
Published
• View Publication
• BIB
Nazarov and Tarasov recently generalized the notion of the rank of a partition to skew partitions. We give several characterizations of the rank of a skew partition and one possible characterization that remains open. One of the characterizations involves the decomposition of a skew shape into a minimal number of border strips, and we develop a theory of these MBSD's as well as of the closely related minimal border strip tableaux. An application is given to the value of a character of the symmetric group S_n indexed by a skew shape z at a permutation whose number of cycles is the rank of z.
Irreducible Symmetric Group Characters of Rectangular Shape
We give a new formula for the values of an irreducible character of the symmetric group S_n indexed by a partition of rectangular shape. Some observations and a conjecture are given concerning a generalization to arbitrary shapes.
GL(n,q) and Increasing Subsequences in Nonuniform Random Permutations
Published
• View Publication
• BIB
Connections between longest increasing subsequences in random permutations and eigenvalues of random matrices with complex entries have been intensely studied. This note applies properties of random elements of the finite general linear group to obtain results about the longest increasing subsequence in non- uniform random permutations.
Lower central series and free resolutions of hyperplane arrangements
Published in Trans. Amer. Math. Soc. 354 (2002), no. 9, 3409-3433
• View Publication
• BIB
If $M$ is the complement of a hyperplane arrangement, and $A=H^*(M,\k)$ is the cohomology ring of $M$ over a field of characteristic 0, then the ranks, $φ_k$, of the lower central series quotients of $π_1(M)$ can be computed from the Betti numbers, $b_{ii}=\dim_{\k} \Tor^A_i(\k,\k)_i$, of the linear strand in a (minimal) free resolution of $\k$ over $A$. We use the Cartan-Eilenberg change of rings spectral sequence to relate these numbers to the graded Betti numbers, $b'_{ij}=\dim_{\k} \Tor^E_i(A,\k)_j$, of a (minimal) resolution of $A$ over the exterior algebra $E$.
From this analysis, we recover a formula of Falk for $φ_3$, and obtain a new formula for $φ_4$. The exact sequence of low degree terms in the spectral sequence allows us to answer a question of Falk on graphic arrangements, and also shows that for these arrangements, the algebra $A$ is Koszul iff the arrangement is supersolvable. We also give combinatorial lower bounds on the Betti numbers, $b'_{i,i+1}$, of the linear strand of the free resolution of $A$ over $E$; if the lower bound is attained for $i = 2$, then it is attained for all $i \ge 2$. For such arrangements, we compute the entire linear strand of the resolution, and we prove that all components of the first resonance variety of $A$ are local. For graphic arrangements (which do not attain the lower bound, unless they have no braid sub-arrangements), we show that $b'_{i,i+1}$ is determined by the number of triangles and $K_4$ subgraphs in the graph.
Augmental Homology and the Kynneth Formula for Joins
The "simplicial complexes" and "join" (*) today used within combinatorics aren't the classical concepts, cf. Spanier (1966) p. 108-9, but, exept for \emptyset, complexes having {\emptyset} as a subcomplex resp. \Sigma1 * \Sigma2 := {\sigma1 \cup \sigma2 | \sigmai \in \Sigmai} implying a tacit change of unit element w.r.t. the join operation, from \emptyset to {\emptyset}. Extending the classical realization functor to this category of simplicial complexes we end up with a "restricted" category of topological spaces, "containing" the classical and where the classical (co)homology theory, as well as the ad-hoc invented reduced versions, automatically becomes obsolete, in favor of a unifying and more algebraically efficient theory.
This very modest category modification greatly improves the interaction between algebra and topology. E.g. it makes it possible to calculate the homology groups of a topological pair-join, expressed in the relative factor groups, leading up to a truly simple boundary formula for joins of manifolds: Bd(X1 * X2) = ((BdX1 * X2) \cup (X1 * BdX2)), the product counterpart of which is true also classically. It is also easily seen that no finite simplicial n-manifold has an (n-2)-dimensional boundary, cf. Cor. 1 p. 26, and that simplicial homology manifolds with the integers as koefficient module are all locally orientable, cf. Cor. 2 p. 29.
A residue theorem for rational trigonometric sums and Verlinde's formula
Published
• View Publication
• BIB
We present a compact formula computing rational trigonometric sums. E. Verlinde's expression for the dimension of conformal blocks in WZW theory is an example of such a sum. As an application, we show that a formula of Bismut and Labourie for the Riemann-Roch numbers of moduli spaces of flat connections on a Riemann surface coincides with Verlinde's expression.
A special tiling of the rectangle
We count tilings of a rectangle of integer sides m-1 and n-1 by a special set of tiles. The result is obtained fron the study of the kernel of the adjacency matrix of an n x n rectangular graph of Z x Z.
A sharp bound for the Castelnuovo-Mumford regularity of subspace arrangements
Published
• View Publication
• BIB
We show that the ideal of an arrangement of d linear subspaces of projective space is d-regular in the sense of Castelnuovo and Mumford, answering a question of B. Sturmfels. In particular this implies that the ideal of an arrangement of d subspaces is generated in degrees less than or equal to d.