group
10399 papers tagged with this keyword
A Plethysm formula on the characteristic map of induced linear characters from $U_n(\mathbb F_q)$ to $GL_n(\mathbb F_q)$
Published
• View Publication
• BIB
This paper gives a plethysm formula on the characteristic map of the induced linear characters from the unipotent upper-triangular matrices $U_n(\mathbb F_q)$ to $GL_n(\mathbb F_q)$, the general linear group over finite field $\mathbb F_q$. The result turns out to be a multiple of a twisted version of the Hall-Littlewood symmetric functions $\tilde{P}_n(Y,q)$. A recurrence relation is also given which makes it easy to carry out the computation.
Affine dual equivalence and k-Schur functions
Published
• View Publication
• BIB
The k-Schur functions were first introduced by Lapointe, Lascoux and Morse (2003) in the hopes of refining the expansion of Macdonald polynomials into Schur functions. Recently, an alternative definition for k-Schur functions was given by Lam, Lapointe, Morse, and Shimozono (2010) as the weighted generating function of starred strong tableaux which correspond with labeled saturated chains in the Bruhat order on the affine symmetric group modulo the symmetric group. This definition has been shown to correspond to the Schubert basis for the affine Grassmannian of type A by Lam (2008), and, at t = 1, it is equivalent to the k-tableaux characterization of Lapointe and Morse (2007). In this paper, we extend Haiman's (1992) dual equivalence relation on standard Young tableaux to all starred strong tableaux. The elementary equivalence relations can be interpreted as labeled edges in a graph which share many of the properties of Assaf's dual equivalence graphs. These graphs display much of the complexity of working with k-Schur functions and the interval structure on affine Symmetric Group modulo the Symmetric Group. We introduce the notions of flattening and squashing skew starred strong tableaux in analogy with jeu da taquin slides in order to give a method to find all isomorphism types for affine dual equivalence graphs of rank 4. Finally, we make connections between k-Schur functions and both LLT and Macdonald polynomials by comparing the graphs for these functions.
Spectrum of Cayley graphs on the symmetric group generated by transpositions
Published
• View Publication
• BIB
For an integer $n\geq 2$, let $X_n$ be the Cayley graph on the symmetric group $S_n$ generated by the set of transpositions ${(1 2),(1 3),...,(1 n)}$. It is shown that the spectrum of $X_n$ contains all integers from $-(n-1)$ to $n-1$ (except 0 if $n=2$ or $n=3$).
More on the Kechris-Pestov-Todorcevic correspondence: precompact expansions
Published in Fund. Math., 222, 19-47, 2013
• View Publication
• BIB
In 2005, the paper "Fraissé limits, Ramsey theory, and topological dynamics of automorphism groups"
[KPT] by Kechris, Pestov and Todorcevic provided a powerful tool to compute an invariant of topological groups known as the universal minimal flow. This immediately led to an explicit representation of this invariant in many concrete cases. However, in some particular situations, the framework of [KPT] does not allow to perform the computation directly, but only after a slight modification of the original argument. The purpose of the present paper is to supplement [KPT] in order to avoid that twist and to make it adapted for further applications.
The simplicial boundary of a CAT(0) cube complex
Published in Algebr. Geom. Topol. 13 (2013) 1299-1367
• View Publication
• BIB
For a CAT(0) cube complex $\mathbf X$, we define a simplicial flag complex $\partial_Δ\mathbf X$, called the \emph{simplicial boundary}, which is a natural setting for studying non-hyperbolic behavior of $\mathbf X$. We compare $\partial_Δ\mathbf X$ to the Roller, visual, and Tits boundaries of $\mathbf X$ and give conditions under which the natural CAT(1) metric on $\partial_Δ\mathbf X$ makes it (quasi)isometric to the Tits boundary. $\partial_Δ\mathbf X$ allows us to interpolate between studying geodesic rays in $\mathbf X$ and the geometry of its \emph{contact graph} $Γ\mathbf X$, which is known to be quasi-isometric to a tree, and we characterize essential cube complexes for which the contact graph is bounded. Using related techniques, we study divergence of combinatorial geodesics in $\mathbf X$ using $\partial_Δ\mathbf X$. Finally, we rephrase the rank-rigidity theorem of Caprace-Sageev in terms of group actions on $Γ\mathbf X$ and $\partial_Δ\mathbf X$ and state characterizations of cubulated groups with linear divergence in terms of $Γ\mathbf X$ and $\partial_Δ\mathbf X$.
Notions of Möbius inversion
Published in Bulletin of the Belgian Mathematical Society 19 (2012), 911-935
• View Publication
• BIB
Möbius inversion, originally a tool in number theory, was generalized to posets for use in group theory and combinatorics. It was later generalized to categories in two different ways, both of which are useful. We provide a unifying abstract framework. This allows us to compare and contrast the two theories of Möbius inversion for categories, and advance each of them. Among several side benefits is an improved understanding of the following fact: the Euler characteristic of the classifying space of a (suitably finite) category depends only on its underlying graph.
Spectral gaps of random graphs and applications
Published in International Mathematics Research Notices (IMRN) 2019
• View Publication
• BIB
We study the spectral gap of the Erdős--Rényi random graph through the connectivity threshold. In particular, we show that for any fixed $δ> 0$ if $$p \ge \frac{(1/2 + δ) \log n}{n},$$ then the normalized graph Laplacian of an Erdős--Rényi graph has all of its nonzero eigenvalues tightly concentrated around $1$. We estimate both the decay rate of the spectral gap to $1$ and the failure probability, up to a constant factor. We also show that the $1/2$ in the above is optimal, and that if $p = \frac{c \log n}{n}$ for $c < 1/2,$ then there are eigenvalues of the Laplacian restricted to the giant component that are separated from $1.$
We then describe several applications of our spectral gap results to stochastic topology and geometric group theory. These all depend on Garland's "p-adic curvature" method, a kind of spectral geometry for simplicial complexes. These can all be considered to be high-dimensional expander properties.
Automorphism Groups of the Pancake Graphs
Published in Information Processing Letters, 2012
• View Publication
• BIB
It is well-known that the pancake graphs are widely used as models for interconnection networks \cite{Akers}. In this paper, some properties of the pancake graphs are investigated. We first prove that the pancake graph, denoted by $P_n (n\geq 4),$ is super-connected and hyper-connected. Further, we study the symmetry of $P_n$ and completely determine its full automorphism group,which shows that $P_n (n\geq 5)$ is a graphical regular representation of $S_n.$
Weighted Zero-Sum Problems Over $C_3^r$
Let $C_n$ be the cyclic group of order $n$ and set $s_{A}(C_n^r)$ as the smallest integer $\ell$ such that every sequence $\mathcal{S}$ in $C_n^r$ of length at least $\ell$ has an $A$-zero-sum subsequence of length equal to $\exp(C_n^r)$, for $A=\{-1,1\}$. In this paper, among other things, we give estimates for $s_A(C_3^r)$, and prove that $s_A(C_{3}^{3})=9$, $s_A(C_{3}^{4})=21$ and $41\leq s_A(C_{3}^{5})\leq45$.
The subset sum problem for finite abelian groups
Published
• View Publication
• BIB
Let G be a finite abelian group. For g in G and i an integer we define N(i,g) to be the number of subsets of G of size i which sum up to g. We will give a short proof, using character theory, of a formula for these N(i,g) due to Li and Wan. We also give a formula for N(i,g)*, the number of subsets of G not containing 0 of size i which sum up to g. This generalizes another result of Wan.
An inverse theorem: when the measure of the sumset is the sum of the measures in a locally compact abelian group
Published
• View Publication
• BIB
We classify the pairs of subsets (A,B) of a locally compact abelian group satisfying m(A+B)=m(A)+m(B), where m is Haar measure. This generalizes a result of M. Kneser classifying such pairs under the additional assumption that G is compact and connected. Our proof combines Kneser's proof with arguments of D. Grynkiewicz, who classified the pairs of subsets (A,B) of abelian groups satisfying |A+B|=|A|+|B|, where |A| is the cardinality of A.
Fake degrees for reflection actions on roots
A finite irreducible real reflection group of rank l and Coxeter number h has root system of cardinality h*l. It is shown that the fake degree for the permutation action on its roots is divisible by [h]_q = 1+q+q^2+...+q^{h-1}, and that in simply-laced types, it equals [h]_q times the summation of q^{e_i - 1} where e_i runs through the exponents, so that e_i - 1 are the codegrees.
A Problem of W. R. Scott: Classify the Subgroup of Elements with Many Roots
Let G be an infinite group and let h and g be elements. We say that h is a root of g if some integer power of h is equal to g. We define K(G) to be the subgroup of all elements of G for which the number of elements which are not roots is of smaller cardinality than the cardinality of the group. That is, each element in K has almost every element in G as a root. This paper discusses the problem: When can K(G) be non-trivial?
Primer for the algebraic geometry of sandpiles
Published
• View Publication
• BIB
The Abelian Sandpile Model (ASM) is a game played on a graph realizing the dynamics implicit in the discrete Laplacian matrix of the graph. The purpose of this primer is to apply the theory of lattice ideals from algebraic geometry to the Laplacian matrix, drawing out connections with the ASM. An extended summary of the ASM and of the required algebraic geometry is provided. New results include a characterization of graphs whose Laplacian lattice ideals are complete intersection ideals; a new construction of arithmetically Gorenstein ideals; a generalization to directed multigraphs of a duality theorem between elements of the sandpile group of a graph and the graph's superstable configurations (parking functions); and a characterization of the top Betti number of the minimal free resolution of the Laplacian lattice ideal as the number of elements of the sandpile group of least degree. A characterization of all the Betti numbers is conjectured.
Double Aztec Diamonds and the Tacnode Process
Published
• View Publication
• BIB
Discrete and continuous non-intersecting random processes have given rise to critical "infinite dimensional diffusions", like the Airy process, the Pearcey process and variations thereof. It has been known that domino tilings of very large Aztec diamonds lead macroscopically to a disordered region within an inscribed ellipse (arctic circle in the homogeneous case), and a regular brick-like region outside the ellipse. The fluctuations near the ellipse, appropriately magnified and away from the boundary of the Aztec diamond, form an Airy process, run with time tangential to the boundary.
This paper investigates the domino tiling of two overlapping Aztec diamonds; this situation also leads to non-intersecting random walks and an induced point process; this process is shown to be determinantal. In the large size limit, when the overlap is such that the two arctic ellipses for the single Aztec diamonds merely touch, a new critical process will appear near the point of osculation (tacnode), which is run with a time in the direction of the common tangent to the ellipses: this is the "tacnode process". It is also shown here that this tacnode process is universal: it coincides with the one found in the context of two groups of non-intersecting random walks or also Brownian motions, meeting momentarily.
Asymptotical behaviour of roots of infinite Coxeter groups
Published in Can. J. Math.-J. Can. Math. 66 (2014) 323-353
• View Publication
• BIB
Let W be an infinite Coxeter group. We initiate the study of the set E of limit points of "normalized" positive roots (representing the directions of the roots) of W. We show that E is contained in the isotropic cone of the bilinear form B associated to a geometric representation, and illustrate this property with numerous examples and pictures in rank 3 and 4. We also define a natural geometric action of W on E, and then we exhibit a countable subset of E, formed by limit points for the dihedral reflection subgroups of W. We explain that this subset is built from the intersection with Q of the lines passing through two positive roots, and finally we establish that it is dense in E.
Triangulations of the sphere, bitrades and abelian groups
Published
• View Publication
• BIB
Let $G$ be a triangulation of the sphere with vertex set $V$, such that the faces of the triangulation are properly coloured black and white. Motivated by applications in the theory of bitrades, Cavenagh and Wanless defined $A_W$ to be the abelian group generated by the set $V$, with relations $r+c+s=0$ for all white triangles with vertices $r$, $c$ and $s$. The group $A_B$ can be defined similarly, using black triangles.
The paper shows that $A_W$ and $A_B$ are isomorphic, thus establishing the truth of a well-known conjecture of Cavenagh and Wanless. Connections are made between the structure of $A_W$ and the theory of asymmetric Laplacians of finite directed graphs, and weaker results for orientable surfaces of higher genus are given. The relevance of the group $A_W$ to the understanding of the embeddings of a partial latin square in an abelian group is also explained.
On prisms, Möbius ladders and the cycle space of dense graphs
Published in European Journal of Combinatorics 36 (2014), 503-520
• View Publication
• BIB
For a graph X, let f_0(X) denote its number of vertices, d(X) its minimum degree and Z_1(X;Z/2) its cycle space in the standard graph-theoretical sense (i.e. 1-dimensional cycle group in the sense of simplicial homology theory with Z/2-coefficients). Call a graph Hamilton-generated if and only if the set of all Hamilton circuits is a Z/2-generating system for Z_1(X;Z/2). The main purpose of this paper is to prove the following: for every s > 0 there exists n_0 such that for every graph X with f_0(X) >= n_0 vertices, (1) if d(X) >= (1/2 + s) f_0(X) and f_0(X) is odd, then X is Hamilton-generated, (2) if d(X) >= (1/2 + s) f_0(X) and f_0(X) is even, then the set of all Hamilton circuits of X generates a codimension-one subspace of Z_1(X;Z/2), and the set of all circuits of X having length either f_0(X)-1 or f_0(X) generates all of Z_1(X;Z/2), (3) if d(X) >= (1/4 + s) f_0(X) and X is square bipartite, then X is Hamilton-generated. All these degree-conditions are essentially best-possible. The implications in (1) and (2) give an asymptotic affirmative answer to a special case of an open conjecture which according to [European J. Combin. 4 (1983), no. 3, p. 246] originates with A. Bondy.
The down operator and expansions of near rectangular k-Schur functions
Published
• View Publication
• BIB
We prove that the Lam-Shimozono "down operator" on the affine Weyl group induces a derivation of the affine Fomin-Stanley subalgebra of the affine nilCoxeter algebra. We use this to verify a conjecture of Berg, Bergeron, Pon and Zabrocki describing the expansion of k-Schur functions of "near rectangles" in the affine nilCoxeter algebra. Consequently, we obtain a combinatorial interpretation of the corresponding k-Littlewood--Richardson coefficients.
A nilpotent Freiman dimension lemma
Published
• View Publication
• BIB
We prove that a K-approximate subgroup of an arbitrary torsion-free nilpotent group can be covered by a bounded number of cosets of a nilpotent subgroup of bounded rank, where the bounds are explicit and depend only on K. The result can be seen as a nilpotent analogue to Freiman's dimension lemma.