group
10266 papers tagged with this keyword
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.
Hopf monoids from class functions on unitriangular matrices
Published in Algebra and Number Theory, Vol. 7-7 (2013) 1743-1779
• View Publication
• BIB
We build, from the collection of all groups of unitriangular matrices, Hopf monoids in Joyal's category of species. Such structure is carried by the collection of class function spaces on those groups, and also by the collection of superclass function spaces, in the sense of Diaconis and Isaacs. Superclasses of unitriangular matrices admit a simple description from which we deduce a combinatorial model for the Hopf monoid of superclass functions, in terms of the Hadamard product of the Hopf monoids of linear orders and of set partitions. This implies a recent result relating the Hopf algebra of superclass functions on unitriangular matrices to symmetric functions in noncommuting variables. We determine the algebraic structure of the Hopf monoid: it is a free monoid in species, with the canonical Hopf structure. As an application, we derive certain estimates on the number of conjugacy classes of unitriangular matrices.
Weyl modules and q-Whittaker functions
Published in Math. Ann. 359 (2014), no.1-2, 45--59
• View Publication
• BIB
Let G be a semi-simple simply connected group over complex numbers. In this paper we give a geometric definition of the (dual) Weyl modules over the group G[t] and show that their characters form an eigen-function of the lattice version of the q-Toda integrable integrable system (defined by means of the quantum group version of Kostant-Whittaker reduction due to Etingof and Sevostyanov). All the proofs are algebro-geometric and rely on our previous work which interprets the universal eigen-function of the q-Toda system in terms of rings of functions on the spaces of based quasi-maps from P^1 to the flag variety of G.
We discuss in detail the relation between the current work and the works of Cherednik, Ion, Sanderson and Gerasimov-Lebedev-Oblezin.
A combinatorial description of the affine Gindikin-Karpelevich formula of type A_n^(1)
Published in Proc. Sympos. Pure Math., vol. 92, Amer. Math. Soc., Providence, RI, 2016, pp. 145-165
• View Publication
• BIB
The classical Gindikin-Karpelevich formula appears in Langlands' calculation of the constant terms of Eisenstein series on reductive groups and in Macdonald's work on p-adic groups and affine Hecke algebras. The formula has been generalized in the work of Garland to the affine Kac-Moody case, and the affine case has been geometrically constructed in a recent paper of Braverman, Finkelberg, and Kazhdan. On the other hand, there have been efforts to write the formula as a sum over Kashiwara's crystal basis or Lusztig's canonical basis, initiated by Brubaker, Bump, and Friedberg. In this paper, we write the affine Gindikin-Karpelevich formula as a sum over the crystal of generalized Young walls when the underlying Kac-Moody algebra is of affine type A_n^(1). The coefficients of the terms in the sum are determined explicitly by the combinatorial data from Young walls.
Rees products and lexicographic shellability
Published
• View Publication
• BIB
We use the theory of lexicographic shellability to provide various examples in which the rank of the homology of a Rees product of two partially ordered sets enumerates some set of combinatorial objects, perhaps according to some natural statistic on the set. Many of these examples generalize a result of J. Jonsson, which says that the rank of the unique nontrivial homology group of the Rees product of a truncated Boolean algebra of degree $n$ and a chain of length $n-1$ is the number of derangements in $§_n$.\
Quotients of CI-groups are CI-groups
Published
• View Publication
• BIB
We show that a quotient group of a CI-group with respect to (di)graphs is a CI-group with respect to (di)graphs.
Asymptotic Automorphism Groups of Circulant Graphs and Digraphs
Published
• View Publication
• BIB
We show that almost all circulant graphs have automorphism groups as small as possible. Of the circulant graphs that do not have automorphism group as small as possible, we give some families of integers such that it is not true that almost all circulant graphs whose order lies in any one of these families, are normal. That almost all Cayley (di)graphs whose automorphism group is not as small as possible are normal was conjectured by the second author, so these results provide counterexamples to this conjecture. It is then shown that there is a large family of integers for which almost every circulant digraph whose order lies in this family and that does not have automorphism group as small as possible, is normal. We additionally explore the asymptotic behavior of the automorphism groups of circulant (di)graphs that are not normal, and show that no general conclusion can be obtained.
A Structure Theorem for Small Sumsets in Nonabelian Groups
Published in European J. Combinatorics, Vol. 34, No 8 (2013) pp. 1436--1453
• View Publication
• BIB
Let G be an arbitrary finite group and let S and T be two subsets such that |S|>1, |T|>1, and |TS|< |T|+|S|< |G|-1. We show that if |S|< |G|-4|G|^{1/2}+1 then either S is a geometric progression or there exists a non-trivial subgroup H such that either |HS|< |S|+|H| or |SH| < |S|+|H|. This extends to the nonabelian case classical results for Abelian groups. When we remove the hypothesis |S|<|G|-4|G|^{1/2}+1 we show the existence of counterexamples to the above characterization whose structure is described precisely.
The structure of decomposition of a triconnected graph
Published in Journal of Mathematical Sciences, Volume 184, Issue 5 (2012), pp 601-628
• View Publication
• BIB
We describe the structure of triconnected graph with the help of its decomposition by 3-cutsets. We divide all 3-cutsets of a triconnected graph into rather small groups with a simple structure, named complexes. The detailed description of all complexes is presented. Moreover, we prove that the structure of a hypertree could be introduced on the set of all complexes. This structure gives us a complete description of the relative disposition of the complexes.
Keywords: connectivity, triconneted graphs.
Parity Types, Cycle Structures and Autotopisms of Latin Squares
Published in Electronic J. Combinatorics, volume 19(3) (2012)
• View Publication
• BIB
The parity type of a Latin square is defined in terms of the numbers of even and odd rows and columns. It is related to an Alon-Tarsi-like conjecture that applies to Latin squares of odd order. Parity types are used to derive upper bounds for the size of autotopy groups. A fast algorithm for finding the autotopy group of a Latin square, based on the cycle decomposition of its rows, is presented.
Quaternary Constant-Composition Codes with Weight Four and Distances Five or Six
Published
• View Publication
• BIB
The sizes of optimal constant-composition codes of weight three have been determined by Chee, Ge and Ling with four cases in doubt. Group divisible codes played an important role in their constructions. In this paper, we study the problem of constructing optimal quaternary constant-composition codes with Hamming weight four and minimum distances five or six through group divisible codes and Room square approaches. The problem is solved leaving only five lengths undetermined. Previously, the results on the sizes of such quaternary constant-composition codes were scarce.
On the Cyclically Fully Commutative Elements of Coxeter Groups
Published in J. Algebraic Combin. 36(1), 2012
• View Publication
• BIB
Let W be an arbitrary Coxeter group. If two elements have expressions that are cyclic shifts of each other (as words), then they are conjugate (as group elements) in W. We say that w is "cyclically fully commutative" (CFC) if every cyclic shift of any reduced expression for w is fully commutative (i.e., avoids long braid relations). These generalize Coxeter elements in that their reduced expressions can be described combinatorially by acyclic directed graphs, and cyclically shifting corresponds to source-to-sink conversions. In this paper, we explore the combinatorics of the CFC elements and enumerate them in all Coxeter groups. Additionally, we characterize precisely which CFC elements have the property that powers of them remain fully commutative, via the presence of a simple combinatorial feature called a "band." This allows us to give necessary and sufficient conditions for a CFC element w to be "logarithmic," that is, l(w^k) = k l(w) for all k > 0, for a large class of Coxeter groups that includes all affine Weyl groups and simply-laced Coxeter groups. Finally, we give a simple non-CFC element that fails to be logarithmic under these conditions.
The range of thresholds for diameter 2 in random Cayley graphs
Published
• View Publication
• BIB
Given a group G, the model \mathcal{G}(G,p) denotes the probability space of all Cayley graphs of G where each element of the generating set is chosen independently at random with probability p.
Given a family of groups (G_k) and a c \in \mathbb{R}_+ we say that c is the threshold for diameter 2 for (G_k) if for any \varepsilon > 0 with high probability Γ\in \mathcal{G}(G_k,p) has diameter greater than 2 if p \leqslant \sqrt{(c - \eps)\frac{\log{n}}{n}} and diameter at most 2 if p \geqslant \sqrt{(c + \eps)\frac{\log{n}}{n}}. In [5] we proved that if c is a threshold for diameter 2 for a family of groups (G_k) then c \in [1/4,2] and provided two families of groups with thresholds 1/4 and 2 respectively.
In this paper we study the question of whether every c \in [1/4,2] is the threshold for diameter 2 for some family of groups. Rather surprisingly it turns out that the answer to this question is negative. We show that every c \in [1/4,4/3] is a threshold but a c \in (4/3,2] is a threshold if and only if it is of the form 4n/(3n-1) for some positive integer n.
The geometry of elation groups of a finite projective space
Published
• View Publication
• BIB
We study the geometry of point-orbits of elation groups with a given center and axis of a finite projective space. We show that there exists a 1-1 correspondence from conjugacy classes of such groups and orbits on projective subspaces (of a suitable dimension) of Singer groups of projective spaces. Together with a recent result of Drudge we establish the number of these elation groups.
Combinatorics of r-Dyck paths, r-Parking functions, and the r-Tamari lattices
This paper's aim is to present recent combinatorial considerations on r-Dyck paths, r-Parking functions, and the r-Tamari lattices. Giving a better understanding of the combinatorics of these objects has become important in view of their (conjectural) role in the description of the graded character of the Sn-modules of bivariate and trivariate diagonal coinvariant spaces for the symmetric group.