group
10399 papers tagged with this keyword
The Covariance of Topological Indices that Depend on the Degree of a Vertex
We consider topological indices I that are sums of f(deg(u)) f(deg(v)), where {u,v} are adjacent vertices and f is a function. The Randi{ć} connectivity index or the Zagreb group index are examples for indices of this kind. In earlier work on topological indices that are sums of independent random variables, we identified the correlation between I and the edge set of the molecular graph as the main cause for correlated indices. We prove a necessary and sufficient condition for I having zero covariance with the edge set.
Weak Bruhat order on the set of faces of the permutahedra
Published
• View Publication
• BIB
We extend the weak Bruhat order of a finite Coxeter group to the set of its coclasses, modulo parabolic standard subgroups. We use this order to describe associative algebra structures on the vector spaces spanned by the faces of permutahedra on one side, and on the vector space spanned by the planar rooted trees, on the other one.
Signed Mahonian polynomials for classical Weyl groups
Published
• View Publication
• BIB
The generating functions of the major index and of the flag-major index, with each of the one-dimensional characters over the symmetric and hyperoctahedral group, respectively, have simple product formulas. In this paper, we give a factorial-type formula for the generating function of the D-major index with sign over the Weyl groups of type D. This completes a picture which is now known for all the classical Weyl groups.
A local-global theorem on periodic maps
Published in J. Algebra 293(2005), 506--512
• View Publication
• BIB
Let $ψ_1,...,ψ_k$ be maps from Z to an additive abelian group with positive periods $n_1,...,n_k$ respectively. We show that the function $ψ=ψ_1+...+ψ_k$ is constant if $ψ(x)$ equals a constant for |S| consecutive integers x where S={r/n_s: r=0,...,n_s-1; s=1,...,k}; moreover, there are periodic maps $f_0,...,f_{|S|-1}$ from Z to Z only depending on S such that $ψ(x)=\sum_{r=0}^{|S|-1}f_r(x)ψ(r)$ for all integers x. This local-global theorem extends a previous result [Math. Res. Lett. 11(2004), 187--196], and has various applications.
Improved bounds for the crossing numbers of K_m,n and K_n
Published in SIAM J. Discr. Math. 20(2006), 189--202
• View Publication
• BIB
It has been long--conjectured that the crossing number cr(K_m,n) of the complete bipartite graph K_m,n equals the Zarankiewicz Number Z(m,n):= floor((m-1)/2) floor(m/2) floor((n-1)/2) floor(n/2). Another long--standing conjecture states that the crossing number cr(K_n) of the complete graph K_n equals Z(n):= floor(n/2) floor((n-1)/2) floor((n-2)/2) floor((n-3)/2)/4. In this paper we show the following improved bounds on the asymptotic ratios of these crossing numbers and their conjectured values:
(i) for each fixed m >= 9, lim_{n->infty} cr(K_m,n)/Z(m,n) >= 0.83m/(m-1);
(ii) lim_{n->infty} cr(K_n,n)/Z(n,n) >= 0.83; and
(iii) lim_{n->infty} cr(K_n)/Z(n) >= 0.83.
The previous best known lower bounds were 0.8m/(m-1), 0.8, and 0.8, respectively. These improved bounds are obtained as a consequence of the new bound cr(K_{7,n}) >= 2.1796n^2 - 4.5n. To obtain this improved lower bound for cr(K_{7,n}), we use some elementary topological facts on drawings of K_{2,7} to set up a quadratic program on 6! variables whose minimum p satisfies cr(K_{7,n}) >= (p/2)n^2 - 4.5n, and then use state--of--the--art quadratic optimization techniques combined with a bit of invariant theory of permutation groups to show that p >= 4.3593.
Laplacian operators and Radon transforms on Grassmann graphs
Published
• View Publication
• BIB
Let $Ω$ be a vector space over a finite field with q elements. Let G denote the general linear group of endomorphisms of $Ω$ and let us consider the left regular representation $ρ: G \to B(L_2(X))$ associated to the natural action of G on the set X of linear subspaces of $Ω$. In this paper we study a natural basis B of the algebra $End_{G}(L_2(X))$ of intertwining maps on $L_2(X)$. By using a Laplacian operator on Grassmann graphs, we identify the kernels in B as solutions of a basic hypergeometric difference equation. This provides two expressions for these kernels. One in terms of the q-Hahn polynomials and the other by means of a Rodrigues type formula. Finally, we obtain a useful product formula for the mappings in B. We give two different proofs. One uses the theory of classical hypergeometric polynomials and the other is supported by a characterization of spherical functions in finite symmetric spaces. Both proofs require the use of certain associated Radon transforms.
Schubert varieties and free braidedness
Published
• View Publication
• BIB
We give a simple necessary and sufficient condition for a Schubert variety $X_w$ to be smooth when $w$ is a freely braided element of a simply laced Weyl group; such elements were introduced by the authors in a previous work (math.CO/0301104). This generalizes in one direction a result of Fan concerning varieties indexed by short-braid avoiding elements. We also derive generating functions for the freely braided elements that index smooth Schubert varieties. All results are stated and proved only for the simply laced case.
Classification of Ding's Schubert varieties: finer rook equivalence
Published in Canadian J. Math. 59, no. 1 (2007), 36-62
• View Publication
• BIB
K. Ding studied a class of Schubert varieties X_λin type A partial flag manifolds, corresponding to integer partitions λand in bijection with dominant permutations. He observed that the Schubert cell structure of X_λis indexed by maximal rook placements on the Ferrers board B_λ, and that the integral cohomology groups H^*(X_λ; Zz), H^*(X_μ; Zz) are additively isomorphic exactly when the Ferrers boards B_λ, B_μsatisfy the combinatorial condition of rook-equivalence.
We classify the varieties X_λup to isomorphism, distinguishing them by their graded cohomology rings with integer coefficients. The crux of our approach is studying the nilpotence orders of linear forms in the cohomology ring.
One-Point Suspensions and Wreath Products of Polytopes and Spheres
Published
• View Publication
• BIB
It is known that the suspension of a simplicial complex can be realized with only one additional point. Suitable iterations of this construction generate highly symmetric simplicial complexes with various interesting combinatorial and topological properties. In particular, infinitely many non-PL spheres as well as contractible simplicial complexes with a vertex-transitive group of automorphisms can be obtained in this way.
Kazhdan-Lusztig-Polynome und unzerlegbare Bimoduln "uber Polynomringen
Published in JIMJ (2007) 6(3), 501-525
• View Publication
• BIB
We explain a strategy for a proof of the positivity of all coefficients of Kazhdan-Lusztig-polynomials for arbitrary Coxeter groups by constructing spaces whose dimensions we conjecture to be these coefficients.
Pieces of 2^d: Existence and uniqueness for Barnes-Wall and Ypsilanti lattices
Published
• View Publication
• BIB
We give a new existence proof for the rank 2^d even lattices usually called the Barnes-Wall lattices, and establish new results on uniqueness, structure and transitivity of the automorphism group on certain kinds of sublattices. Our proofs are relatively free of calculations, matrix work and counting, due to the uniqueness viewpoint. We deduce the labeling of coordinates on which earlier constructions depend. Extending these ideas, we construct in dimensions 2^d, for d>>0, the Ypsilanti lattices, which are families of indecomposable even unimodular lattices which resemble the Barnes-Wall lattices. The number Upsilon (2^d) of isometry types here is large: log_2 (Upsilon (2^d)) has dominant term at least (r/4) d 2^{2d}, for any r in [0, 1/2). The Ypsilanti lattices may be the first explicitly given families whose sizes are asymptotically comparable to the Siegel mass formula estimate (log_2(mass(n)) has dominant term (1/4) log_2(n) n^2). This work continues our general uniqueness program for lattices, begun in Pieces of Eight. See also our new uniquness proof for the E_8-lattice.
Non-backtracking random walks and cogrowth of graphs
Published in Canadian J. Math.59 (2007) 828-844
• View Publication
• BIB
Let X be a locally finite, connected graph without vertices of degree 1. Non-backtracking random walk moves at each step with equal probability to one of the "forward" neighbours of the actual state, i.e., it does not go back along the preceding edge to the preceding state. This is not a Markov chain, but can be turned into a Markov chain whose state space is the set of oriented edges of X. Thus we obtain for infinite X that the n-step non-backtracking transition probabilities tend to zero, and we can also compute their limit when X is finite. This provides a short proof of old results concerning cogrowth of groups, and makes the extension of that result to arbitrary regular graphs rigorous. Even when X is non-regular, but "small cycles are dense" in X, we show that the graph X is non-amenable if and only if the non-backtracking n-step transition probabilities decay exponentially fast. This is a partial generalization of the cogrowth criterion for regular graphs which comprises the original cogrowth criterion for finitely generated groups of Grigorchuk and Cohen.
SPM Bulletin 8
Never has an issue of the SPM Bulletin contained as much interesting information as this issue does. In addition to the interesting research announcements, this issue contains announcements of solutions for three open problems, one of which being a Problem of the Month in an earlier issue.
CONTENTS: The Reznichenko property and the Pytkeev property in hyperspaces; Between Maharam's and von Neumann's problems; Fraisse Limits, Ramsey Theory, and Topological Dynamics of Automorphism Groups; Concerning problems about cardinal invariants on Boolean algebras; Small Locally Compact Linearly Lindelof Spaces; Luzin gaps; The weak Fréchet-Urysohn property in function spaces; $F$-Hurewicz spaces; Open problems in topology; The hyper-weak distributive law and a related game in Boolean algebras; Problem of Issue 7 solved; Errata to: Hereditary topological diagonalizations and the Menger-Hurewicz Conjectures; The additivity number of the Menger and Scheepers properties; Conferences: Geometric Topology: Infinite-Dimensional Topology, Absolute Extensors, Applications; Problem of the month; Problems from earlier issues; References
Sets with small sumset and rectification
Published
• View Publication
• BIB
We study the extent to which sets A in Z/NZ, N prime, resemble sets of integers from the additive point of view (``up to Freiman isomorphism''). We give a direct proof of a result of Freiman, namely that if |A + A| < K|A| and |A| < c(K)N then A is Freiman isomorphic to a set of integers. Because we avoid appealing to Freiman's structure theorem, we get a reasonable bound: we can take c(K) > exp(-cK^2 log K).
As a byproduct of our argument we obtain a sharpening of the second author's result on sets with small sumset in torsion groups. For example if A is a subset of F_2^n, and if |A + A| < K|A|, then A is contained in a coset of a subspace of size no more than 2^{CK^2}|A|.
Counting conjugacy classes of subgroups in a finitely generated group
Published
• View Publication
• BIB
A new general formula for the number of conjugacy classes of subgroups of given index in a finitely generated group is obtained.
A phase transition in the random transposition random walk
Published
• View Publication
• BIB
Our work is motivated by Bourque and Pevzner's (2002) simulation study of the effectiveness of the parsimony method in studying genome rearrangement, and leads to a surprising result about the random transposition walk on the group of permutations on $n$ elements. Consider this walk in continuous time starting at the identity and let $D_t$ be the minimum number of transpositions needed to go back to the identity from the location at time $t$. $D_t$ undergoes a phase transition: the distance $D_{cn/2} \sim u(c)n$, where $u$ is an explicit function satisfying $u(c)=c/2$ for $c \le 1$ and $u(c)1$. In other words, the distance to the identity is roughly linear during the subcritical phase, and after critical time $n/2$ it becomes sublinear. In addition, we describe the fluctuations of $D_{cn/2}$ about its mean in each of the threeregimes (subcritical, critical and supercritical). The techniques used involve viewing the cycles in the random permutation as a coagulation-fragmentation process and relating the behavior to the \Erdős-Renyi random graph model.
On the sandpile group of regular trees
Published
• View Publication
• BIB
The sandpile group of a connected graph is the group of recurrent configurations in the abelian sandpile model on this graph. We study the structure of this group for the case of regular trees. A description of this group is the following: Let T(d,h) be the d-regular tree of depth h and let V be the set of its vertices. Denote the adjacency matrix of T(d,h) by A and consider the modified Laplacian matrix D:=dI-A. Let the rows of D span the lattice L in Z^V. The sandpile group of T(d,h) is Z^V/L. We compute the rank, the exponent and the order of this abelian group and find a cyclic Hall-subgroup of order (d-1)^h. We find that the base (d-1)-logarithm of the exponent and of the order are asymptotically 3h^2/pi^2 and c_d(d-1)^h, respectively. We conjecture an explicit formula for the ranks of all Sylow subgroups.
A Homotopy Theory for Graphs
The recently introduced A-homotopy groups for graphs are investigated. The main concern of the present article is the construction of an infinite cell complex, the homotopy groups of which are isomorphic to the A-homotopy groups of the given graph. We present a natural candidate for such a cell complex, together with a homomorphism between the corresponding groups that indeed yields an isomorphism, if a cubical analog of the simplicial approximation theorem holds, which - so far - we were unable to prove.
Properties of some character tables related to the symmetric groups
Published
• View Publication
• BIB
We determine invariants like the Smith normal form and the determinant for certain integral matrices which arise from the character tables of the symmetric groups S_n and their double covers. In particular, we give a simple computation, based on the theory of Hall-Littlewood symmetric functions, of the determinant of the regular character table of S_n with respect to an integer r>1. This result had earlier been proved by Olsson in a longer and more indirect manner. As a consequence, we obtain a new proof of the Mathas' Conjecture on the determinant of the Cartan matrix of the Iwahori-Hecke algebra. When r is prime we determine the Smith normal form of the regular character table. Taking r large yields the Smith normal form of the full character table of S_n. Analogous results are then given for spin characters.
Fixed points of involutive automorphisms of the Bruhat order
Published
• View Publication
• BIB
Applying a classical theorem of Smith, we show that the poset property of being Gorenstein$^*$ over $\mathbb{Z}_2$ is inherited by the subposet of fixed points under an involutive poset automorphism. As an application, we prove that every interval in the Bruhat order on (twisted) involutions in an arbitrary Coxeter group has this property, and we find the rank function. This implies results conjectured by F. Incitti. We also show that the Bruhat order on the fixed points of an involutive automorphism induced by a Coxeter graph automorphism is isomorphic to the Bruhat order on the fixed subgroup viewed as a Coxeter group in its own right.