group
10275 papers tagged with this keyword
Counting MSTD Sets in Finite Abelian Groups
Published in J. Number Theory 130 (2010), 2308-2322
• View Publication
• BIB
In an abelian group G, a more sums than differences (MSTD) set is a subset A of G such that |A+A|>|A-A|. We provide asymptotics for the number of MSTD sets in finite abelian groups, extending previous results of Nathanson. The proof contains an application of a recently resolved conjecture of Alon and Kahn on the number of independent sets in a regular graph.
Families of regular matroids
This is an introductory paper about the category of regular oriented matroids (ROMs). We compare the homotopy types of the categories of regular and binary matroids. For example, in the unoriented case, they have the same fundamental group but we show that the higher homotopy groups are different for rank three regular and binary matroids. We also speculate on the possible impact of a recent theorem of Galatius [Gal] computing the stable cohomology of the category of graphs and on possible applications to higher Reidemeister torsion.
Isometries and Construction of Permutation Arrays
Published
• View Publication
• BIB
An (n,d)-permutation code is a subset C of Sym(n) such that the Hamming distance d_H between any two distinct elements of C is at least equal to d. In this paper, we use the characterisation of the isometry group of the metric space (Sym(n),d_H) in order to develop generating algorithms with rejection of isomorphic objects. To classify the (n,d)-permutation codes up to isometry, we construct invariants and study their efficiency. We give the numbers of non-isometric (4,3)- and (5,4)- permutation codes. Maximal and balanced (n,d)-permutation codes are enumerated in a constructive way.
Higher order Fourier analysis as an algebraic theory II
Our approach to higher order Fourier analysis is to study the ultra product of finite (or compact) Abelian groups on which a new algebraic theory appears. This theory has consequences on finite (or compact) groups usually in the form of approximative statements. The present paper is the second part of a paper in which higher order characters and decompositions were introduced. We generalize the concept of the Pontrjagin dual group and introduce higher order versions of it. We study the algebraic structure of the higher order dual groups. We prove a simple formula for the Gowers uniformity norms in terms of higher order decompositions. We present a simple spectral algorithm to produce higher order decompositions. We briefly study a multi linear version of Fourier analysis. Along these lines we obtain new inverse theorems for Gowers's norms.
On Commensurizer Growth
We study new asymptotic invariant of a pair consisting of a group and a subgroup, which we call Commensurizer Growth. We compute the commensurizer growth for several examples, concentrating mainly on the case of a locally compact topological group and a lattice inside it.
Asymptotics of characters of symmetric groups: structure of Kerov character polynomials
Published in Journal of Combinatorial Theory, Series A, 119 (6), 2012, pp 1174-1193
• View Publication
• BIB
We study asymptotics of characters of the symmetric groups on a fixed conjugacy class. It was proved by Kerov that such a character can be expressed as a polynomial in free cumulants of the Young diagram (certain functionals describing the shape of the Young diagram). We show that for each genus there exists a universal symmetric polynomial which gives the coefficients of the part of Kerov character polynomials with the prescribed homogeneous degree. The existence of such symmetric polynomials was conjectured by Lassalle.
Curtis-Tits groups generalizing Kac-Moody groups of type $\widetilde{A}_n$
Published in Journal of Algebra 399 (2014) 978-1012
• Search Publication
In a previous paper we define a Curtis-Tits group as a certain generalization of a Kac-Moody group. We distinguish between orientable and non-orientable Curtis-Tits groups and identify all orientable Curtis-Tits groups as
Kac-Moody groups associated to twin-buildings.
In the present paper we construct all orientable and non-orientable Curtis-Tits groups with diagram $\widetilde{A}_n$ over a field ${\mathbb F}$. The resulting groups are quite interesting in their own right. The orientable ones are related to Drinfel'd' s construction of vector bundles over a non-commutative projective line and to the classical groups over cyclic algebras. The non-orientable ones are related to q-CCR algebras in physics and have symplectic, orthogonal and unitary groups as quotients.
Finite groups acting linearly: Hochschild cohomology and the cup product
Published
• View Publication
• BIB
When a finite group acts linearly on a complex vector space, the natural semi-direct product of the group and the polynomial ring over the space forms a skew group algebra. This algebra plays the role of the coordinate ring of the resulting orbifold and serves as a substitute for the ring of invariant polynomials from the viewpoint of geometry and physics. Its Hochschild cohomology predicts various Hecke algebras and deformations of the orbifold. In this article, we investigate the ring structure of the Hochschild cohomology of the skew group algebra. We show that the cup product coincides with a natural smash product, transferring the cohomology of a group action into a group action on cohomology. We express the algebraic structure of Hochschild cohomology in terms of a partial order on the group (modulo the kernel of the action). This partial order arises after assigning to each group element the codimension of its fixed point space. We describe the algebraic structure for Coxeter groups, where this partial order is given by the reflection length function; a similar combinatorial description holds for an infinite family of complex reflection groups.
Order algebras: a quantitative model of interaction
Published
• View Publication
• BIB
A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This algebraic structure is shown to provide faithful interpretations of finitary process algebras, for an extension of the standard notion of testing semantics, leading to a model that is both denotational (in the sense that the internal workings of processes are ignored) and non-interleaving. Constructions on algebras and their subspaces enjoy a good structure that make them (nearly) a model of differential linear logic, showing that the underlying approach to the representation of non-determinism as linear combinations is the same.
The measurement of quantum entanglement and enumeration of graph coverings
Published
• View Publication
• BIB
We provide formulas for invariants defined on a tensor product of defining representations of unitary groups, under the action of the product group. This situation has a physical interpretation, as it is related to the quantum mechanical state space of a multi-particle system in which each particle has finitely many outcomes upon observation. Moreover, these invariant functions separate the entangled and unentangled states, and are therefore viewed as measurements of quantum entanglement. When the ranks of the unitary groups are large, we provide a graph theoretic interpretation for the dimension of the invariants of a fixed degree. We also exhibit a bijection between isomorphism classes of finite coverings of connected simple graphs and a basis for the space of invariants. The graph coverings are related to branched coverings of surfaces.
Perfect Matchings as IID Factors on Non-Amenable Groups
Published in Europ. J. Combin. 32 (2011), 1115--1125
• View Publication
• BIB
We prove that in every bipartite Cayley graph of every non-amenable group, there is a perfect matching that is obtained as a factor of independent uniform random variables. We also discuss expansion properties of factors and improve the Hoffman spectral bound on independence number of finite graphs.
A combinatorial version of Sylvester's four-point problem
Published in Adv. in App. Math., 45 (2010) no. 3, 390--394
• View Publication
• BIB
J. J. Sylvester's four-point problem asks for the probability that four points chosen uniformly at random in the plane have a triangle as their convex hull. Using a combinatorial classification of points in the plane due to Goodman and Pollack, we generalize Sylvester's problem to one involving reduced expressions for the long word in the symmetric group. We conjecture an answer of 1/4 for this new version of the problem.
On the homology of locally finite graphs
We show that the topological cycle space of a locally finite graph is a canonical quotient of the first singular homology group of its Freudenthal compactification, and we characterize the graphs for which the two coincide. We construct a new singular-type homology for non-compact spaces with ends, which in dimension~1 captures precisely the topological cycle space of graphs but works in any dimension.
The fundamental group of a locally finite graph with ends
Published
• View Publication
• BIB
We characterize the fundamental group of a locally finite graph G with ends combinatorially, as a group of infinite words. Our characterization gives rise to a canonical embedding of this group in the inverse limit of the (free) fundamental groups of the finite subgraphs of G.
4-regular and self-dual analogs of fullerenes
An i-hedrite is a 4-regular plane graph with faces of size 2, 3 and 4. We do a short survey of their known properties and explain some new algorithms that allow their efficient enumeration. Using this we give the symmetry groups of all i-hedrites and the minimal representative for each. We also review the link of 4-hedrites with knot theory and the classification of 4-hedrites with simple central circuits. An i-self-hedrite is a self-dual plane graph with faces and vertices of size/degree 2, 3 and 4. We give a new efficient algorithm for enumerating them based on i-hedrites. We give a classification of their possible symmetry groups and a classification of 4-self-hedrites of symmetry T, Td in terms of the Goldberg-Coxeter construction. Then we give a method for enumerating 4-self-hedrites with simple zigzags.
Dismantlability of weakly systolic complexes and applications
Published
• View Publication
• BIB
The main goal of this paper is proving the fixed point theorem for finite groups acting on weakly systolic complexes. As corollaries we obtain results concerning classifying spaces for the family of finite subgroups of weakly systolic groups and conjugacy classes of finite subgroups. As immediate consequences we get new results on systolic complexes and groups. The fixed point theorem is proved by using a graph-theoretical tool - dismantlability. In particular we show that 1-skeleta of weakly systolic complexes, i.e. weakly bridged graphs, are dismantlable. On the way we show numerous characterizations of weakly bridged graphs and weakly systolic complexes.
The Non-commutative Topological Vertex and Wall Crossing Phenomena
Published in Adv.Theor.Math.Phys.14:1147-1181,2010
• View Publication
• BIB
We propose a generalization of the topological vertex, which we call the "non-commutative topological vertex". This gives open BPS invariants for a toric Calabi-Yau manifold without compact 4-cycles, where we have D0/D2/D6-branes wrapping holomorphic 0/2/6-cycles, as well as D2-branes wrapping disks whose boundaries are on D4-branes wrapping non-compact Lagrangian 3-cycles. The vertex is defined combinatorially using the crystal melting model proposed recently, and depends on the value of closed string moduli at infinity. The vertex in one special chamber gives the same answer as that computed by the ordinary topological vertex. We prove an identify expressing the non-commutative topological vertex of a toric Calabi-Yau manifold X as a specialization of the closed BPS partition function of an orbifold of X, thus giving a closed expression for our vertex. We also clarify the action of the Weyl group of an affine A_L Lie algebra on chambers, and comment on the generalization of our results to the case of refined BPS invariants.
A combinatorial approach to Specht module cohomology
Published
• View Publication
• BIB
For a Specht module S^λfor the symmetric group Σ_d, the cohomology H^i(Σ_d, S^λ) is known only in degree i=0. We give a combinatorial criterion equivalent to the nonvanishing of the degree i=1 cohomology, valid in odd characteristic. Our condition generalizes James' solution in degree zero. We apply this combinatorial description to give some computations of Specht module cohomology, together with an explicit description of the corresponding modules. Finally we suggest some general conjectures that might be particularly amenable to proof using this description.
Involutions of the Symmetric Group and Congruence B-orbits of Anti-Symmetric Matrices
Published
• View Publication
• BIB
We present the poset of Borel congruence classes of anti-symmetric matrices ordered by containment of closures. We show that there exists a bijection between the set of these classes and the set of involutions of the symmetric group. We give two formulas for the rank function of this poset.
Block diagonalization for algebra's associated with block codes
For a matrix *-algebra B, consider the matrix *-algebra A consisting of the symmetric tensors in the n-fold tensor product of B. Examples of such algebras in coding theory include the Bose-Mesner algebra and Terwilliger algebra of the (non)binary Hamming cube, and algebras arising in SDP-hierarchies for coding bounds using moment matrices. We give a computationally efficient block diagonalization of A in terms of a given block diagonalization of B, and work out some examples, including the Terwilliger algebra of the binary- and nonbinary Hamming cube. As a tool we use some basic facts about representations of the symmetric group.