group
10399 papers tagged with this keyword
More Torsion in the Homology of the Matching Complex
Published in Experimental Mathematics 19 (2010), no. 3, 363-383
• View Publication
• BIB
A matching on a set $X$ is a collection of pairwise disjoint subsets of $X$ of size two. Using computers, we analyze the integral homology of the matching complex $M_n$, which is the simplicial complex of matchings on the set $\{1, >..., n\}$. The main result is the detection of elements of order $p$ in the homology for $p \in \{5,7,11,13\}$. Specifically, we show that there are elements of order 5 in the homology of $M_n$ for $n \ge 18$ and for $n \in {14,16}$. The only previously known value was $n = 14$, and in this particular case we have a new computer-free proof. Moreover, we show that there are elements of order 7 in the homology of $M_n$ for all odd $n$ between 23 and 41 and for $n=30$. In addition, there are elements of order 11 in the homology of $M_{47}$ and elements of order 13 in the homology of $M_{62}$. Finally, we compute the ranks of the Sylow 3- and 5-subgroups of the torsion part of $H_d(M_n;Z)$ for $13 \le n \le 16$; a complete description of the homology already exists for $n \le 12$. To prove the results, we use a representation-theoretic approach, examining subcomplexes of the chain complex of $M_n$ obtained by letting certain groups act on the chain complex.
Permutation resolutions for Specht modules of Hecke algebras
Published
• View Publication
• BIB
In [Boltje,Hartmann: Permutation resolutions for Specht modules, J. Algebraic Combin. 34 (2011), 141-162], a chain complex was constructed in a combinatorial way which conjecturally is a resolution of the (dual of the) integral Specht module for the symmetric group in terms of permutation modules. In this paper we extend the definition of the chain complex to the integral Iwahori Hecke algebra and prove the same partial exactness results that were proved in the symmetric group case. A complete proof of the exactness conjecture in the symmetric group case was recently given by Santana and Yudin, Adv. in Math. 229 (2012), 2578-2601.
Combinatorics of random tensor models
Published in Proceedings of the Romanian Academy A, vol. 13, no. 1, pages 27-31, 2012
• Search Publication
In this short review we introduce group field theory, a particular class of random tensor models, which represents nowadays one of the candidates for a fundamental theory of quantum gravity. We insist on the combinatorial richness of associated structures, namely tensor graphs, natural generalization of ribbon graph (or combinatorial maps).
The fundamental group of a locally finite graph with ends: a hyperfinite approach
Published
• View Publication
• BIB
The end compactification |Γ| of the locally finite graph Γis the union of the graph and its ends, endowed with a suitable topology. We show that π_1(|Γ|) embeds into a nonstandard free group with hyperfinitely many generators, i.e. an ultraproduct of finitely generated free groups, and that the embedding we construct factors through an embedding into an inverse limit of free groups, recovering a result of Diestel and Sprüssel.
Circular Planar Resistor Networks with Nonlinear and Signed Conductors
We consider the inverse boundary value problem in the case of discrete electrical networks containing nonlinear (non-ohmic) resistors. Generalizing work of Curtis, Ingerman, Morrow, Colin de Verdiere, Gitler, and Vertigan, we characterize the circular planar graphs for which the inverse boundary value problem has a solution in this generalized non-linear setting. The answer is the same as in the linear setting. Our method of proof never requires that the resistors behave in a continuous or monotone fashion; this allows us to recover signed conductances in many cases. We apply this to the problem of recovery in graphs that are not circular planar. We also use our results to make a frivolous knot-theoretic statement, and to slightly generalize a fact proved by Lam and Pylyavskyy about factorization schemes in their electrical linear group.
Between Arrow and Gibbard-Satterthwaite; A representation theoretic approach
Published
• View Publication
• BIB
A central theme in social choice theory is that of impossibility theorems, such as Arrow's theorem and the Gibbard-Satterthwaite theorem, which state that under certain natural constraints, social choice mechanisms are impossible to construct. In recent years, beginning in Kalai`01, much work has been done in finding \textit{robust} versions of these theorems, showing "approximate" impossibility remains even when most, but not all, of the constraints are satisfied. We study a spectrum of settings between the case where society chooses a single outcome (á-la-Gibbard-Satterthwaite) and the choice of a complete order (as in Arrow's theorem). We use algebraic techniques, specifically representation theory of the symmetric group, and also prove robust versions of the theorems that we state. Our relaxations of the constraints involve relaxing of a version of "independence of irrelevant alternatives", rather than relaxing the demand of a transitive outcome, as is done in most other robustness results.
On the maximal number of coprime subdegrees in finite primitive permutation groups
Published
• View Publication
• BIB
The subdegrees of a transitive permutation group are the orbit lengths of a point stabilizer. For a finite primitive permutation group which is not cyclic of prime order, the largest subdegree shares a non-trivial common factor with each non-trivial subdegree. On the other hand it is possible for non-trivial subdegrees of primitive groups to be coprime, a famous example being the rank 5 action of the small Janko group on 266 points which has subdegrees of lengths 11 and 12. We prove that, for every finite primitive group, the maximal size of a set of pairwise coprime non-trivial subdegrees is at most 2.
Geodesic growth in right-angled and even Coxeter groups
The objective of this paper is to detect which combinatorial properties of a regular graph can completely determine the geodesic growth of the right-angled Coxeter or Artin group this graph defines, and to provide the first examples of right-angled and even Coxeter groups with the same geodesic growth series.
The Magnus expansion, trees and Knuth's rotation correspondence
Published in Foundations in Computational Mathematics, 14, (2014) 1-25
• View Publication
• BIB
W. Magnus introduced a particular differential equation characterizing the logarithm of the solution of linear initial value problems for linear operators. The recursive solution of this differential equation leads to a peculiar Lie series, which is known as Magnus expansion, and involves Bernoulli numbers, iterated Lie brackets and integrals. This paper aims at obtaining further insights into the fine structure of the Magnus expansion. By using basic combinatorics on planar rooted trees we prove a closed formula for the Magnus expansion in the context of free dendriform algebra. From this, by using a well-known dendriform algebra structure on the vector space generated by the disjoint union of the symmetric groups, we derive the Mielnik-Plebański-Strichartz formula for the continuous Baker-Campbell-Hausdorff series.
Grassmannians of lines defined in the geometry of a pseudo-polarity
The regular point-line geometry with respect to a pseudo-polarity is introduced. It is weaker than the underlying metric-projective geometry. The automorphism group of this geometry is determined. This geometry can be also expressed as the geometry of regular lines and planes.
Sums of dilates in $\mathbb{Z}_p$
Published
• View Publication
• BIB
We consider the problem of sums of dilates in groups of prime order. We show that given $A\subset \Z{p}$ of sufficiently small density then $$\big| λ_{1}A+λ_{2}A+...+ λ_{k}A \big| \,\ge\,\bigg(\sum_{i}|λ_{i}|\bigg)|A|- o(|A|),$$ whereas on the other hand, for any $ε>0$, we construct subsets of density $1/2-ε$ such that $|A+λA|\leq (1-δ)p$, showing that there is a very different behaviour for subsets of large density.
Affine polar spaces derived from symplectic spaces, their geometry and representations: alternating semiforms
Deleting a hyperplane from a polar space associated with a symplectic polarity we get a specific, symplectic, affine polar space. Similar geometry, called an \afsempol\ arises as a result of generalization of the notion of an alternating form to a semiform. Some properties of these two geometries are given and their automorphism groups are characterized.
The greedy flip tree of a subword complex
We describe a canonical spanning tree of the ridge graph of a subword complex on a finite Coxeter group. It is based on properties of greedy facets in subword complexes, defined and studied in this paper. Searching this tree yields an enumeration scheme for the facets of the subword complex. This algorithm extends the greedy flip algorithm for pointed pseudotriangulations of points or convex bodies in the plane.
Elliptic curves in honeycomb form
Published
• View Publication
• BIB
A plane cubic curve, defined over a field with valuation, is in honeycomb form if its tropicalization exhibits the standard hexagonal cycle. We explicitly compute such representations from a given j-invariant with negative valuation, we give an analytic characterization of elliptic curves in honeycomb form, and we offer a detailed analysis of the tropical group law on such a curve.
On the number of monochromatic solutions of integer linear systems on Abelian groups
Published
• View Publication
• BIB
Let $G$ be a finite abelian group with exponent $n$, and let $r$ be a positive integer. Let $A$ be a $k\times m$ matrix with integer entries. We show that if $A$ satisfies some natural conditions and $|G|$ is large enough then, for each $r$--coloring of $G\setminus \{0\}$, there is $δ$ depending only on $r,n$ and $m$ such that the homogeneous linear system $Ax=0$ has at least $δ|G|^{m-k}$ monochromatic solutions. Density versions of this counting result are also addressed.
On higher order Fourier analysis
We develop a theory of higher order structures in compact abelian groups. In the frame of this theory we prove general inverse theorems and regularity lemmas for Gowers's uniformity norms. We put forward an algebraic interpretation of the notion "higher order Fourier analysis" in terms of continuous morphisms between structures called compact $k$-step nilspaces. As a byproduct of our results we obtain a new type of limit theory for functions on abelian groups in the spirit of the so-called graph limit theory. Our proofs are based on an exact (non-approximative) version of higher order Fourier analysis which appears on ultra product groups.
Total positivity, Schubert positivity, and Geometric Satake
Published
• View Publication
• BIB
Let G be a simple and simply-connected complex algebraic group, and let X \subset G^\vee be the centralizer subgroup of a principal nilpotent element. Ginzburg and Peterson independently related the ring of functions on X with the homology ring of the affine Grassmannian Gr_G. Peterson furthermore connected this ring to the quantum cohomology rings of partial flag varieties G/P.
The first aim of this paper is to study three different notions of positivity on X: (1) Schubert positivity arising via Peterson's work, (2) total positivity in the sense of Lusztig, and (3) Mirkovic-Vilonen positivity obtained from the MV-cycles in Gr_G. Our first main theorem establishes that these three notions of positivity coincide. The second aim of this paper is to parametrize the totally nonnegative part of X, confirming a conjecture of the second author.
In type A a substantial part of our results were previously established by the second author. The crucial new component of this paper is the connection with the affine Grassmannian and the geometric Satake correspondence.
Combinatorics and topology of the Robinson tiling
We study the space of all tilings which can be obtained using the Robinson tiles (this is a two-dimensional subshift of finite type). We prove that it has a unique minimal subshift, and describe it by means of a substitution. This description allows to compute its cohomology groups, and prove that it is a model set.
Paley Graphs and Their Generalizations
To construct a Paley graph, we fix a finite field and consider its elements as vertices of the Paley graph. Two vertices are connected by an edge if their difference is a square in the field. We will study some important properties of the Paley graphs. In particular, we will show that the Paley graphs are connected, symmetric, and self-complementary. Also we will show that the Paley graph of order q is (q-1)/2 -regular, and every two adjacent vertices have (q-5)/4 common neighbors, and every two non-adjacent vertices have q-1/4 common neighbors, which means that the Paley graphs are strongly regular with parameters(q,q-1/2,q-5/4, q-1/4). Paley graphs are generalized by many mathematicians. In the first section of Chapter 3 we will see three examples of these generalizations and some of their basic properties. In the second section of Chapter 3 we will define a new generalization of the Paley graphs, in which pairs of elements of a finite field are connected by an edge if and only if there difference belongs to the m-th power of the multiplicative group of the field, for any odd integer m > 1, and we call them the m-Paley graphs. In the third section we will show that the m-Paley graph of order q is complete if and only if gcd(m, q - 1) = 1 and when d = gcd(m, q - 1) > 1, the m-Paley graph is q-1/d -regular. Also we will prove that the m-Paley graphs are symmetric but not self-complementary. We will show also that the m-Paley graphs of prime order are connected but the m-Paley graphs of order p^n, n > 1 are not necessary connected, for example they are disconnected if gcd(m, p^n - 1) =(p^n-1)/ 2.
Tropical matrices and group representations
Published
• View Publication
• BIB
The paper gives a complete description of the subgroups of the semigroup of tropical n-by-n matrices up to an isomorphism. In particular, we show that every of these groups has a torsion-free abelian subgroup of index at most n!, proving the conjecture of Johnson and Kambites.