group
10263 papers tagged with this keyword
Symmetries of abelian ideals of Borel subalgebras
Published in Journal of Lie Theory, 24 (2014), No. 1, 199--224
• Search Publication
Elaborating on a paper by Suter, we provide a detailed description of the automorphism group of the poset of abelian ideals in a Borel subalgebra of a finite dimensional complex simple Lie algebra.
On permutation polytopes - notions of equivalence
Published
• View Publication
• BIB
We clarify the notion of effective equivalence and characterize geometrically the effectively equivalent permutation groups. In particular, we present examples showing that the latter do not correspond to affinely equivalent polytopes thereby answering Question 2.12 of [BHNP09]. We apply our characterization to our examples and formulate several questions.
Fourier-Deligne transform and representations of the symmetric group
Published
• View Publication
• BIB
We calculate the Fourier-Deligne transform of the IC extension to ${\C}^{n+1}$ of the local system ${\mathcal L}_Λ$ on the cone over $\Conf_n(¶^1)$ associated to a representation $Λ$ of $S_n$, where the length $n-k$ of the first row of the Young diagram of $Λ$ is at least $\frac{|Λ|-1}{2}$. The answer is the IC extension to the dual vector space ${\C}^{n+1}$ of the local system ${\mathcal R}_λ$ on the cone over the $k$-th secant variety of the rational normal curve in $¶^n$, where ${\mathcal R}_λ$ corresponds to the representation $λ$ of $S_k$, the Young diagram of which is obtained from the Young diagram of $Λ$ by deleting its first row. We also prove an analogous statement for $S_n$-local systems on fibers of the Abel-Jacobi map. We use our result on the Fourier-Deligne transform to rederive a part of a result of Michel Brion on Kronecker coefficients.
A construction for infinite families of semisymmetric graphs revealing their full automorphism group
Published
• View Publication
• BIB
We give a general construction leading to different non-isomorphic families $Γ_{n,q}(\K)$ of connected $q$-regular semisymmetric graphs of order $2q^{n+1}$ embedded in $\PG(n+1,q)$, for a prime power $q=p^h$, using the linear representation of a particular point set $\K$ of size $q$ contained in a hyperplane of $\PG(n+1,q)$. We show that, when $\K$ is a normal rational curve with one point removed, the graphs $Γ_{n,q}(\K)$ are isomorphic to the graphs constructed for $q$ prime in [9] and to the graphs constructed for $q=p^h$ in [20]. These graphs were known to be semisymmetric but their full automorphism group was up to now unknown. For $q\geq n+3$ or $q=p=n+2$, $n\geq 2$, we obtain their full automorphism group from our construction by showing that, for an arc $\K$, every automorphism of $Γ_{n,q}(\K)$ is induced by a collineation of the ambient space $\PG(n+1,q)$. We also give some other examples of semisymmetric graphs $Γ_{n,q}(\K)$ for which not every automorphism is induced by a collineation of their ambient space.
Resonant bands and local system cohomology groups for real line arrangements
Published in Vietnam Journal of Mathematics, 42, (2014) 377-392
• View Publication
• BIB
We give a new algorithm computing local system cohomology groups for complexified real line arrangements. Using it, we obtain several conditions for the first local system cohomology to vanish and to be at most one-dimensional, which generalize a result by Cohen-Dimca-Orlik. The conditions are described in terms of discrete geometric structures of real figures. The proof is based on a recent study on minimal cell structures. We also compute the characteristic variety of the deleted $B_3$-arrangement.
The 1/N expansion of multi-orientable random tensor models
Published in Annales Henri Poincare Volume 15, Issue 5 (2014), Page 965-984
• View Publication
• BIB
Multi-orientable group field theory (GFT) has been introduced in A. Tanasa, J. Phys. A 45 (2012) 165401, arXiv:1109.0694, as a quantum field theoretical simplification of GFT, which retains a larger class of tensor graphs than the colored one. In this paper we define the associated multi-orientable identically independent distributed multi-orientable tensor model and we derive its 1/N expansion. In order to obtain this result, a partial classification of general tensor graphs is performed and the combinatorial notion of jacket is extended to the multi-orientable graphs. We prove that the leading sector is given, as in the case of colored models, by the so-called melon graphs.
On harmonic functions and the linear-growth case of Gromov's theorem
We show that the space of harmonic functions on a finitely generated infinite group G is finite dimensional if, and only if, G has a finite-index subgroup isomorphic to the integers. A key tool is Wilkie and van den Dries's quantitative version of the linear-growth case of Gromov's theorem on groups of polynomial growth.
Algebraic codes, Horn's problem and Gromov-Witten invariants
We study the Horn problem in the context of algebraic codes on a smooth projective curve defined over a finite field, reducing the problem to the representation theory of the special linear group $SL(2,F_q)$. We characterize the coefficients that appear in the Kronecker product of symmetric functions in terms of Gromov-Witten invariants of the Hilbert scheme of points in the plane. In addition we classify all the algebraic codes defined over the normal rational curve providing an algorithm to compute set of generators of the ideal associated to any algebraic code constructed on the NRC over an extension $\mathbb{F}_{q^{n}}$ of $\mathbb{F}_{q}$.
Matrices, Characters and Descents
Published
• View Publication
• BIB
A new family of asymmetric matrices of Walsh-Hadamard type is introduced. We study their properties and, in particular, compute their determinants and discuss their eigenvalues. The invertibility of these matrices implies that certain character formulas are invertible, yielding expressions for the cardinalities of sets of combinatorial objects with prescribed descent sets in terms of character values of the symmetric group.
Danzer's configuration revisited
Published
• View Publication
• BIB
We revisit the configuration of Danzer DCD(4), a great inspiration for our work. This configuration of type (35_4) falls into an infinite series of geometric point-line configurations DCD(n). Each DCD(n) is characterized combinatorially by having the Kronecker cover over the Odd graph $O_n$ as its Levi graph. Danzer's configuration is deeply rooted in Pascal's Hexagrammum Mysticum. Although the combinatorial configuration is highly symmetric, we conjecture that there are no geometric point-line realizations with 7- or 5-fold rotational symmetry; on the other hand, we found a point-circle realization having the symmetry group $D_7$, the dihedral group of order 14.
Infinite reduced words and the Tits boundary of a Coxeter group
Published
• View Publication
• BIB
Let (W,S) be a finite rank Coxeter system with W infinite. We prove that the limit weak order on the blocks of infinite reduced words of W is encoded by the topology of the Tits boundary of the Davis complex X of W. We consider many special cases, including W word hyperbolic, and X with isolated flats. We establish that when W is word hyperbolic, the limit weak order is the disjoint union of weak orders of finite Coxeter groups. We also establish, for each boundary point ξ, a natural order-preserving correspondence between infinite reduced words which "point towards" ξ, and elements of the reflection subgroup of W which fixes ξ.
The Parameterized Complexity of some Permutation Group Problems
Published
• View Publication
• BIB
In this paper we study the parameterized complexity of two well-known permutation group problems which are NP-complete. 1. Given a permutation group G=<S>, subgroup of $S_n$, and a parameter $k$, find a permutation $π$ in G such that $|{i\in [n]\mid π(i)\ne i}|$ is at least $k$. This generalizes the well-known NP-complete problem of finding a fixed-point free permutation in G. (this is the case when $k=n$). We show that this problem with parameter $k$ is fixed parameter tractable. In the process, we give a simple deterministic polynomial-time algorithm for finding a fixed point free element in a transitive permutation group, answering an open question of Cameron. 2. Next we consider the problem of computing a base for a permutation group G=<S>. A base for G is a subset B of $[n]$ such that the subgroup of G that fixes B pointwise is trivial. This problem is known to be NP-complete. We show that it is fixed parameter tractable for the case of cyclic permutation groups and for permutation groups of constant orbit size. For more general classes of permutation groups we do not know whether the problem is in FPT or is W[1]-hard.
Asymptotics of symmetric polynomials with applications to statistical mechanics and representation theory
Published in Annals of Probability 2015, Vol. 43, No. 6, 3052-3132
• View Publication
• BIB
We develop a new method for studying the asymptotics of symmetric polynomials of representation-theoretic origin as the number of variables tends to infinity. Several applications of our method are presented: We prove a number of theorems concerning characters of infinite-dimensional unitary group and their $q$-deformations. We study the behavior of uniformly random lozenge tilings of large polygonal domains and find the GUE-eigenvalues distribution in the limit. We also investigate similar behavior for alternating sign matrices (equivalently, six-vertex model with domain wall boundary conditions). Finally, we compute the asymptotic expansion of certain observables in $O(n=1)$ dense loop model.
Homotopy equivalences between p-subgroup categories
Published
• View Publication
• BIB
Let p be a prime number and G a finite group of order divisible by p. Quillen showed that the Brown poset of nonidentity p-subgroups of G is homotopy equivalent to its subposet of nonidentity elementary abelian subgroups. We show here that a similar statement holds for the fusion category of nonidentity p-subgroups of G. Other categories of p-subgroups of G are also considered.
A blueprinted view on $\mathbb F_1$-geometry
Published
• View Publication
• BIB
This overview paper has two parts. In the first part, we review the development of $\mathbb F_1$-geometry from the first mentioning by Jacques Tits in 1956 until the present day. We explain the main ideas around $\mathbb F_1$, embedded into the historical context, and give an impression of the multiple connections of $\mathbb F_1$-geometry to other areas of mathematics.
In the second part, we review (and preview) the geometry of blueprints. Beyond the basic definitions of blueprints, blue schemes and projective geometry, this includes a theory of Chevalley groups over $\mathbb F_1$ together with their action on buildings over $\mathbb F_1$; computations of the Euler characteristic in terms of $\mathbb F_1$-rational points, which involve quiver Grassmannians; $K$-theory of blue schemes that reproduces the formula $K_i(\mathbb F_1)=π^{st}_i(S^0)$; models of the compactifications of $\Spec \mathbb Z$ and other arithmetic curves; and explanations about the connections to other approaches towards $\mathbb F_1$ like monoidal schemes after Deitmar, $B_1$-algebras after Lescot, $Λ$-schemes after Borger, relative schemes after Toën and Vaquié, log schemes after Kato and congruence schemes after Berkovich and Deitmar.
A New Proof of Kemperman's Theorem
Let $G$ be an additive abelian group and let $A,B \subseteq G$ be finite and nonempty. The pair $(A,B)$ is called critical if the sumset $A+B = {a+b \mid $a \in A$ and $b\in B$}$ satisfies $|A+B| < |A| + |B|$. Vosper proved a theorem which characterizes all critical pairs in the special case when $|G|$ is prime. Kemperman generalized this by proving a structure theorem for critical pairs in an arbitrary abelian group. Here we give a new proof of Kemperman's Theorem.
The Structure of Critical Product Sets
Let $G$ be a multiplicative group, let $A,B \subseteq G$ be finite and nonempty, and define the product set $AB = {ab \mid $a \in A$ and $b \in B$}$. Two fundamental problems in combinatorial number theory are to find lower bounds on $|AB|$, and then to determine structural properties of $A$ and $B$ under the assumption that $|AB|$ is small. We focus on the extreme case when $|AB| < |A| + |B|$, and call any such pair $(A,B)$ \emph{critical}.
In the case when $|G|$ is prime, the Cauchy-Davenport Theorem asserts that $|AB| \ge \min {|G|, |A| + |B| - 1}$, and Vosper refined this result by classifying all critical pairs in these groups. For abelian groups, Kneser proved a natural generalization of Cauchy-Davenport by showing that there exists $H \le G$ so that $|AB| \ge |A| + |B| - |H|$ and $ABH = AB$. Kemperman then proved a result which characterizes the structure of all critical pairs in abelian groups.
Our main result gives a classification of all critical pairs in an arbitrary group $G$. As a consequence of this we derive the following generalization of Kneser's Theorem to arbitrary groups: There exists $H \le G$ so that $|AB| \ge |A| + |B| - |H|$ and so that for every $y \in AB$ there exists $x \in G$ so that $y(x^{-1} H x) \subseteq AB$.
Flow-continuous mappings -- influence of the group
Many questions at the core of graph theory can be formulated as questions about certain group-valued flows: examples are the cycle double cover conjecture, Berge-Fulkerson conjecture, and Tutte's 3-flow, 4-flow, and 5-flow conjectures. As an approach to these problems Jaeger and DeVos, Nešetřil, and Raspaud define a notion of graph morphisms continuous with respect to group-valued flows. We discuss the influence of the group on these maps. In particular, we prove that the number of flow-continuous mappings between two graphs does not depend on the group, but only on the largest order of an element of the group (i.e., on the exponent of the group). Further, there is a nice algebraic structure describing for which groups a mapping is flow-continuous.
On the combinatorial side, we show that for cubic graphs the only relevant groups are $\Z_2$, $\Z_3$, and $\Z$.
Regular Bipartite Graphs And Their Properties
We introduce a new notation for representing labeled regular bipartite graphs of arbitrary degree. Several enumeration problems for labeled and unlabeled regular bipartite graphs have been introduced. A general algorithm for enumerating all non-isomorphic 2-regular bipartite graphs for a specified number of vertices has been described and a mathematical proof has been provided for its completeness. An abstraction of m Symmetric Permutation Tree in order to visualize a labeled r-Regular Bipartite Graph with 2m vertices and enumerate its automorphism group has been introduced. An algorithm to generate the partition associated with two compatible permutations has been introduced. The relationship between Automorphism Group and permutation enumeration problem has been used to derive formulae for the number of compatible permutations corresponding to a specified partition.
Propelinear 1-perfect codes from quadratic functions
Published in IEEE Trans. Inf. Theory 60(4) 2014, 2065-2068
• View Publication
• BIB
Perfect codes obtained by the Vasil'ev--Schönheim construction from a linear base code and quadratic switching functions are transitive and, moreover, propelinear. This gives at least $\exp(cN^2)$ propelinear $1$-perfect codes of length $N$ over an arbitrary finite field, while an upper bound on the number of transitive codes is $\exp(C(N\ln N)^2)$. Keywords: perfect code, propelinear code, transitive code, automorphism group, Boolean function.