group
10399 papers tagged with this keyword
Large values of the Gowers-Host-Kra seminorms
Published
• View Publication
• BIB
The \emph{Gowers uniformity norms} $\|f\|_{U^k(G)}$ of a function $f: G \to \C$ on a finite additive group $G$, together with the slight variant $\|f\|_{U^k([N])}$ defined for functions on a discrete interval $[N] := \{1,...,N\}$, are of importance in the modern theory of counting additive patterns (such as arithmetic progressions) inside large sets. Closely related to these norms are the \emph{Gowers-Host-Kra seminorms} $\|f\|_{U^k(X)}$ of a measurable function $f: X \to \C$ on a measure-preserving system $X = (X, {\mathcal X}, μ, T)$. Much recent effort has been devoted to the question of obtaining necessary and sufficient conditions for these Gowers norms to have non-trivial size (e.g. at least $η$ for some small $η> 0$), leading in particular to the inverse conjecture for the Gowers norms, and to the Host-Kra classification of characteristic factors for the Gowers-Host-Kra seminorms.
In this paper we investigate the near-extremal (or "property testing") version of this question, when the Gowers norm or Gowers-Host-Kra seminorm of a function is almost as large as it can be subject to an $L^\infty$ or $L^p$ bound on its magnitude. Our main results assert, roughly speaking, that this occurs if and only if $f$ behaves like a polynomial phase, possibly localised to a subgroup of the domain; this can be viewed as a higher-order analogue of classical results of Russo and Fournier, and are also related to the polynomiality testing results over finite fields of Blum-Luby-Rubinfeld and Alon-Kaufman-Krivelevich-Litsyn-Ron. We investigate the situation further for the $U^3$ norms, which are associated to 2-step nilsequences, and find that there is a threshold behaviour, in that non-trivial 2-step nilsequences (not associated with linear or quadratic phases) only emerge once the $U^3$ norm is at most $2^{-1/8}$ of the $L^\infty$ norm.
Enumeration of closed random walks in the square lattice according to their areas
We study the area distribution of closed walks of length $n$, beginning and ending at the origin. The concept of area of a walk in the square lattice is generalized and the usefulness of the new concept is demonstrated through a simple argument. It is concluded that the number of walks of length $n$ and area $s$ equals to the coefficient of $z^s$ in the expression $(x+x^{-1}+y+y^{-1})^n$, where the calculations are performed in a special group ring $R[x,y,z]$. A polynomial time algorithm for calculating these values, is then concluded. Finally, the provided algorithm and the results of implementation are compared with previous works.
A triangulation of $\CC P^3$ as symmetric cube of $S^2$
Published in Discrete Comput Geom 48 (2012), 310--329
• View Publication
• BIB
The symmetric group $S_3$ acts on $S^2 \times S^2 \times S^2$ by coordinate permutation, and the quotient space $(S^2 \times S^2 \times S^2)/S_3$ is homeomorphic to the complex projective space $\CC P^3$. In this paper, we construct an 124-vertex simplicial subdivision $(S^2 \times S^2 \times S^2)_{124}$ of the 64-vertex standard cellulation $S^2_4 \times S^2_4 \times S^2_4$ of $S^2 \times S^2 \times S^2$, such that the $S_3$-action on this cellulation naturally extends to an action on $(S^2 \times S^2 \times S^2)_{124}$. Further, the $S_3$-action on $(S^2 \times S^2 \times S^2)_{124}$ is "good", so that the quotient simplicial complex $(S^2 \times S^2 \times S^2)_{124}/S_3$ is a 30-vertex triangulation $\CC P^3_{30}$ of $\CC P^3$. In other words, we construct a simplicial realization $(S^2 \times S^2 \times S^2)_{124} \to \CC P^3_{30}$ of the branched covering $S^2 \times S^2 \times S^2 \to \CC P^3$. Finally, we apply the BISTELLAR program of Lutz on $\CC P^3_{30}$, resulting in an 18-vertex 2-neighbourly triangulation $\CC P^3_{18}$ of $\CC P^3$. The automorphism group of $\CC P^3_{18}$ is trivial. It may be recalled that, by a result of Arnoux and Marin, any triangulation of $\CC P^3$ requires at least 17 vertices. So, $\CC P^3_{18}$ is close to vertex-minimal, if not actually vertex-minimal. Moreover, no explicit triangulation of $\CC P^3$ was known so far.
On the Homology of the Real Complement of the $k$-Parabolic Subspace Arrangement
Published
• View Publication
• BIB
In this paper, we study $k$-parabolic arrangements, a generalization of the $k$-equal arrangement for any finite real reflection group. When $k=2$, these arrangements correspond to the well-studied Coxeter arrangements. We construct a cell complex $Perm_k(W)$ that is homotopy equivalent to the complement. We then apply discrete Morse theory to obtain a minimal cell complex for the complement. As a result, we give combinatorial interpretations for the Betti numbers, and show that the homology groups are torsion free. We also study a generalization of the Independence Complex of a graph, and show that this generalization is shellable when the graph is a forest. This result is used in studying $Perm_k(W)$ using discrete Morse theory.
Relative symmetric polynomials and money change problem
This article is devoted to the number of non-negative solutions of the linear Diophantine equation $$ a_1t_1+a_2t_2+... a_nt_n=d, $$ where $a_1, ..., a_n$, and $d$ are positive integers. We obtain a relation between the number of solutions of this equation and characters of the symmetric group, using {\em relative symmetric polynomials}. As an application, we give a necessary and sufficient condition for the space of the relative symmetric polynomials to be non-zero.
The Discrete Fundamental Group of the Associahedron, and the Exchange Module
Published
• View Publication
• BIB
The associahedron is an object that has been well studied and has numerous applications, particularly in the theory of operads, the study of non-crossing partitions, lattice theory and more recently in the study of cluster algebras. We approach the associahedron from the point of view of discrete homotopy theory. We study the abelianization of the discrete fundamental group, and show that it is free abelian of rank $\binom{n+2}{4}$. We also find a combinatorial description for a basis of this rank. We also introduce the exchange module of the type $A_n$ cluster algebra, used to model the relations in the cluster algebra. We use the discrete fundamental group to the study of exchange module, and show that it is also free abelian of rank $\binom{n+2}{3}$.
Combinatorial methods of character enumeration for the unitriangular group
Published in J. Algebra 345 (2011), 295-323
• View Publication
• BIB
Let $\UT_n(q)$ denote the group of unipotent $n\times n$ upper triangular matrices over a field with $q$ elements. The degrees of the complex irreducible characters of $\UT_n(q)$ are precisely the integers $q^e$ with $0\leq e\leq \lfloor \frac{n}{2} \rfloor \lfloor \frac{n-1}{2} \rfloor$, and it has been conjectured that the number of irreducible characters of $\UT_n(q)$ with degree $q^e$ is a polynomial in $q-1$ with nonnegative integer coefficients (depending on $n$ and $e$). We confirm this conjecture when $e\leq 8$ and $n$ is arbitrary by a computer calculation. In particular, we describe an algorithm which allows us to derive explicit bivariate polynomials in $n$ and $q$ giving the number of irreducible characters of $\UT_n(q)$ with degree $q^e$ when $n>2e$ and $e\leq 8$. When divided by $q^{n-e-2}$ and written in terms of the variables $n-2e-1$ and $q-1$, these functions are actually bivariate polynomials with nonnegative integer coefficients, suggesting an even stronger conjecture concerning such character counts. As an application of these calculations, we are able to show that all irreducible characters of $\UT_n(q)$ with degree $\leq q^8$ are Kirillov functions. We also discuss some related results concerning the problem of counting the irreducible constituents of individual supercharacters of $\UT_n(q)$.
The Graph Isomorphism Problem and approximate categories
Published
• View Publication
• BIB
It is unknown whether two graphs can be tested for isomorphism in polynomial time. A classical approach to the Graph Isomorphism Problem is the d-dimensional Weisfeiler-Lehman algorithm. The d-dimensional WL-algorithm can distinguish many pairs of graphs, but the pairs of non-isomorphic graphs constructed by Cai, Furer and Immerman it cannot distinguish. If d is fixed, then the WL-algorithm runs in polynomial time. We will formulate the Graph Isomorphism Problem as an Orbit Problem: Given a representation V of an algebraic group G and two elements v_1,v_2 in V, decide whether v_1 and v_2 lie in the same G-orbit. Then we attack the Orbit Problem by constructing certain approximate categories C_d(V), d=1,2,3,... whose objects include the elements of V. We show that v_1 and v_2 are not in the same orbit by showing that they are not isomorphic in the category C_d(V) for some d. For every d this gives us an algorithm for isomorphism testing. We will show that the WL-algorithms reduce to our algorithms, but that our algorithms cannot be reduced to the WL-algorithms. Unlike the Weisfeiler-Lehman algorithm, our algorithm can distinguish the Cai-Furer-Immerman graphs in polynomial time.
On Skew Hadamard difference sets
In this paper we construct exponentionally many non-isomorphic skew Hadamard difference sets over an elementary abelian group of order $q^3$.
Littlewood-Richardson coefficients for reflection groups
Published in Advances in Math. vol 284, 22 (2015), 54-111
• View Publication
• BIB
In this paper we explicitly compute all Littlewood-Richardson coefficients for semisimple or Kac-Moody groups G, that is, the structure coefficients of the cohomology algebra H^*(G/P), where P is a parabolic subgroup of G. These coefficients are of importance in enumerative geometry, algebraic combinatorics and representation theory. Our formula for the Littlewood-Richardson coefficients is given in terms of the Cartan matrix and the Weyl group of G. However, if some off-diagonal entries of the Cartan matrix are 0 or -1, the formula may contain negative summands. On the other hand, if the Cartan matrix satisfies $a_{ij}a_{ji}\ge 4$ for all $i,j$, then each summand in our formula is nonnegative that implies nonnegativity of all Littlewood-Richardson coefficients. We extend this and other results to the structure coefficients of the T-equivariant cohomology of flag varieties G/P and Bott-Samelson varieties Gamma_\ii(G).
Generalization of the Bollobás-Riordan polynomial for tensor graphs
Published in J. Math. Phys. 52, 073514 (2011)
• View Publication
• BIB
Tensor models are used nowadays for implementing a fundamental theory of quantum gravity. We define here a polynomial $\mathcal T$ encoding the supplementary topological information. This polynomial is a natural generalization of the Bollobás-Riordan polynomial (used to characterize matrix graphs) and is different of the Gur\uau polynomial, (R. Gur\uau, "Topological Graph Polynomials in Colored Group Field Theory", Annales Henri Poincare {\bf 11}, 565-584 (2010)) defined for a particular class of tensor graphs, the colorable ones. The polynomial $\mathcal T$ is defined for both colorable and non-colorable graphs and it is proved to satisfy the contraction/deletion relation. A non-trivial example of a non-colorable graphs is analyzed.
Hom-configurations and noncrossing partitions
Let Q be a Dynkin quiver. The bounded derived category of the path algebra of Q has an autoequivalence given by the composition of the Auslander-Reiten translate and the square of the shift functor. We study maximal Hom-free sets in the corresponding orbit category C(Q). We prove that these sets are in bijection with periodic combinatorial configurations, as introduced by Riedtmann, certain Hom<=0-configurations, studied by Buan, Reiten and Thomas, and noncrossing partitions of the Coxeter group associated to Q which are not contained in any proper standard parabolic subgroup. Note that Reading has proved that these noncrossing partitions are in bijection with positive clusters in the associated cluster algebra. Finally, we give a definition of mutations of maximal Hom-free sets in C(Q) and prove that the graph of these mutations is connected.
Transitive Sets in Euclidean Ramsey Theory
Published
• View Publication
• BIB
A finite set $X$ in some Euclidean space $R^n$ is called Ramsey if for any $k$ there is a $d$ such that whenever $R^d$ is $k$-coloured it contains a monochromatic set congruent to $X$. This notion was introduced by Erdos, Graham, Montgomery, Rothschild, Spencer and Straus, who asked if a set is Ramsey if and only if it is spherical, meaning that it lies on the surface of a sphere. This question (made into a conjecture by Graham) has dominated subsequent work in Euclidean Ramsey theory. In this paper we introduce a new conjecture regarding which sets are Ramsey; this is the first ever `rival' conjecture to the conjecture above. Calling a finite set transitive if its symmetry group acts transitively---in other words, if all points of the set look the same---our conjecture is that the Ramsey sets are precisely the transitive sets, together with their subsets. One appealing feature of this conjecture is that it reduces (in one direction) to a purely combinatorial statement. We give this statement as well as several other related conjectures. We also prove the first non-trivial cases of the statement. Curiously, it is far from obvious that our new conjecture is genuinely different from the old. We show that they are indeed different by proving that not every spherical set embeds in a transitive set. This result may be of independent interest.
The biHecke monoid of a finite Coxeter group and its representations
Published in Algebra and Number Theory Vol. 7 (2013), No. 3, 595-671
• View Publication
• BIB
For any finite Coxeter group W, we introduce two new objects: its cutting poset and its biHecke monoid. The cutting poset, constructed using a generalization of the notion of blocks in permutation matrices, almost forms a lattice on W. The construction of the biHecke monoid relies on the usual combinatorial model for the 0-Hecke algebra H_0(W), that is, for the symmetric group, the algebra (or monoid) generated by the elementary bubble sort operators. The authors previously introduced the Hecke group algebra, constructed as the algebra generated simultaneously by the bubble sort and antisort operators, and described its representation theory. In this paper, we consider instead the monoid generated by these operators. We prove that it admits |W| simple and projective modules. In order to construct the simple modules, we introduce for each w in W a combinatorial module T_w whose support is the interval [1,w]_R in right weak order. This module yields an algebra, whose representation theory generalizes that of the Hecke group algebra, with the combinatorics of descents replaced by that of blocks and of the cutting poset.
Algebra of differential operators associated with Young diagrams
Published in Journal of Geometry and Physics 62 (2012), pp. 148-155
• View Publication
• BIB
We establish a correspondence between Young diagrams and differential operators of infinitely many variables. These operators form a commutative associative algebra isomorphic to the algebra of the conjugated classes of finite permutations of the set of natural numbers. The Schur functions form a complete system of common eigenfunctions of these differential operators, and their eigenvalues are expressed through the characters of symmetric groups. The structure constants of the algebra are expressed through the Hurwitz numbers.
Cells in Coxeter groups I
Published in J. Algebra 385 (2013), 134-144
• View Publication
• BIB
The purpose of this article is to shed new light on the combinatorial structure of Kazhdan-Lusztig cells in infinite Coxeter groups $W$. Our main focus is the set $\D$ of distinguished involutions in $W$, which was introduced by Lusztig in one of his first papers on cells in affine Weyl groups. We conjecture that the set $\D$ has a simple recursive structure and can be enumerated algorithmically starting from the distinguished involutions of finite Coxeter groups. Moreover, to each element of $\D$ we assign an explicitly defined set of equivalence relations on $W$ that altogether conjecturally determine the partition of $W$ into left (right) cells. We are able to prove these conjectures only in a special case, but even from these partial results we can deduce some interesting corollaries.
Rough ends of infinite primitive groups
Published in Journal of Group Theory 15 (2012) 279-289
• View Publication
• BIB
If $G$ is a group of permutations of a set $Ω$, then the suborbits of $G$ are the orbits of point-stabilisers $G_α$ acting on $Ω$. The cardinalities of these suborbits are the subdegrees of $G$. Every infinite primitive permutation group $G$ with finite subdegrees acts faithfully as a group of automorphisms of a locally-finite connected vertex-primitive directed graph $Γ$ with vertex set $Ω$, and there is consequently a natural action of $G$ on the ends of $Γ$.
We show that if $G$ is closed in the permutation topology of pointwise convergence, then the structure of $G$ is determined by the length of any orbit of $G$ acting on the ends of $Γ$.
Examining the ends of a Cayley graph of a finitely generated group to determine the structure of the group is often fruitful. B. Kr{ö}n and R. G. M{ö}ller have recently generalised the Cayley graph to what they call a {\it rough Cayley graph}, and they call the ends of this graph the {\it rough ends} of the group.
It transpires that the ends of $Γ$ are the rough ends of $G$, and so our result is equivalent to saying that the structure of a closed primitive group $G$ whose subdegrees are all finite is determined by the length of any orbit of $G$ on its rough ends.
Contractors for flows
Published
• View Publication
• BIB
We answer a question raised by Lovász and B. Szegedy [Contractors and connectors in graph algebras, J. Graph Theory 60:1 (2009)] asking for a contractor for the graph parameter counting the number of B-flows of a graph, where B is a subset of a finite Abelian group closed under inverses. We prove our main result using the duality between flows and tensions and finite Fourier analysis. We exhibit several examples of contractors for B-flows, which are of interest in relation to the family of B-flow conjectures formulated by Tutte, Fulkerson, Jaeger, and others.
Idempotents with polynomial coefficients
We combine Young idempotents in the group algebra of the symmetric group with the action of the symmetric group on products of Vandermonde determinants to obtain idempotents with polynomial coefficients.
Expected length of a product of random reflections
We present a simple formula for the expected number of inversions in a permutation of size $n$ obtained by applying $t$ random (not necessarily adjacent) transpositions to the identity permutation. More general, for any finite irreducible Coxeter group belonging to one of the infinite families (type A, B, D, and I), an exact expression is obtained for the expected length of a product of $t$ random reflections.