group
10399 papers tagged with this keyword
Feynman Graph Integrals and Almost Modular Forms
Published
• View Publication
• BIB
We introduce a type of graph integrals on elliptic curves from the heat kernel. We show that such graph integrals have modular properties under the modular group $SL(2, \Z)$, and prove the polynomial nature of the anti-holomorphic dependence.
Path Model for Representations of Generalized Kac--Moody Algebras
Published
• View Publication
• BIB
We show that Joseph-Lamprou's path model for representations of generalized Kac-Moody algebras can be embedded into Littelmann's path model for certain Kac-Moody algebras. Using this embedding, for Joseph-Lamprou's path crystals, we give a decomposition rule for tensor product and a branching rule for restriction to Levi subalgebras. Also, we obtain a characterization of standard paths in terms of a certain monoid, which can be thought of as a generalization of a Coxeter group.
Ideals generated by diagonal 2-minors
Published
• View Publication
• BIB
With a simple graph $G$ on $[n]$, we associate a binomial ideal $P_G$ generated by diagonal minors of an $n \times n$ matrix $X=(x_{ij})$ of variables. We show that for any graph $G$, $P_G$ is a prime complete intersection ideal and determine the divisor class group of $K[X]/ P_G$. By using these ideals, one may find a normal domain with free divisor class group of any given rank.
Line-transitive point-imprimitive linear spaces with Fang-Li parameter gcd(k,r) at most 10
Published
• View Publication
• BIB
This paper is a further contribution to the classification of line-transitive finite linear spaces. We prove that if S is a non-trivial finite linear space with the Fang-Li parameter gcd(k,r) is 9 or 10, the automorphism group G of S is line-transitive and point-imprimitive, then S is the Desarguesian projective plane PG(2,9).
The Combinatorial Game Theory of Well-Tempered Scoring Games
Published
• View Publication
• BIB
We consider the class of "well-tempered" integer-valued scoring games, which have the property that the parity of the length of the game is independent of the line of play. We consider disjunctive sums of these games, and develop a theory for them analogous to the standard theory of disjunctive sums of normal-play partizan games. We show that the monoid of well-tempered scoring games modulo indistinguishability is cancellative but not a group, and we describe its structure in terms of the group of normal-play partizan games. We also classify Boolean-valued well-tempered scoring games, showing that there are exactly seventy, up to equivalence.
Permutahedra and Associahedra: Generalized associahedra from the geometry of finite reflection groups
Published
• View Publication
• BIB
This is a chapter in an upcoming Tamari Festscrift. Permutahedra are a class of convex polytopes arising naturally from the study of finite reflection groups, while generalized associahedra are a class of polytopes indexed by finite reflection groups. We present the intimate links those two classes of polytopes share.
Model theoretic connected components of finitely generated nilpotent groups
Published
• View Publication
• BIB
We prove that for a finitely generated infinite nilpotent group G with a first order structure (G,*,...), the connected component G*0 of a sufficiently saturated extension G* of G exists and equals $\bigcap_{n\in\N} {g^n : g\in G^*}$. We construct a first order expansion of Z by a predicate (Z,+,P) such that the type-connected component Z*00_{\emptyset} is strictly smaller than Z*0. We generalize this to finitely generated virtually solvable groups. As a corollary of our construction we obtain an optimality result for the van der Waerden theorem.
The fundamental invariants of 3 x 3 x 3 arrays
Published
• View Publication
• BIB
We determine the three fundamental invariants in the entries of a $3 \times 3 \times 3$ array over $\mathbb{C}$ as explicit polynomials in the 27 variables $x_{ijk}$ for $1 \le i, j, k \le 3$. By the work of Vinberg on $θ$-groups, it is known that these homogeneous polynomials have degrees 6, 9 and 12; they freely generate the algebra of invariants for the Lie group $SL_3(\mathbb{C}) \times SL_3(\mathbb{C}) \times SL_3(\mathbb{C})$ acting irreducibly on its natural representation $\mathbb{C}^3 \otimes \mathbb{C}^3 \otimes \mathbb{C}^3$. These generators have respectively 1152, 9216 and 209061 terms; we find compact expressions in terms of the orbits of the finite group $(S_3 \times S_3 \times S_3) \rtimes S_3$ acting on monomials of weight zero for the action of the Lie algebra $\mathfrak{sl}_3(\mathbb{C}) \oplus \mathfrak{sl}_3(\mathbb{C}) \oplus \mathfrak{sl}_3(\mathbb{C})$.
Groupes, courbes et croissance
- Synthèse des travaux présentés en vue d'une Habilitation à Diriger des Recherches
- Synthesis of works presented towards the Habilitation degree
This is a summary (in French) of my work in number theory, group theory and combinatorics in the last eight years.
Sutured Floer homology and hypergraphs
Published in Math. Res. Lett. 19 (2012), no. 6, 1309-1328
• View Publication
• BIB
By applying Seifert's algorithm to a special alternating diagram of a link L, one obtains a Seifert surface F of L. We show that the support of the sutured Floer homology of the sutured manifold complementary to F is affine isomorphic to the set of lattice points given as hypertrees in a certain hypergraph that is naturally associated to the diagram. This implies that the Floer groups in question are supported in a set of Spin^c structures that are the integer lattice points of a convex polytope. This property has an immediate extension to Seifert surfaces arising from homogeneous link diagrams (including all alternating and positive diagrams).
In another direction, together with work in progress of the second author and others, our correspondence suggests a method for computing the "top" coefficients of the HOMFLY polynomial of a special alternating link from the sutured Floer homology of a Seifert surface complement for a certain dual link.
2-Groups that factorise as products of cyclic groups, and regular embeddings of complete bipartite graphs
Published
• View Publication
• BIB
We classify those 2-groups G which factorise as a product of two disjoint cyclic subgroups A and B, transposed by an automorphism of order 2. The case where G is metacyclic having been dealt with elsewhere, we show that for each e>2 there are exactly three such non-metacyclic groups G with $|A|=|B|=2^e$, and for e=2 there is one. These groups appear in a classification by Berkovich and Janko of 2-groups with one non-metacyclic maximal subgroup; we enumerate these groups, give simpler presentations for them, and determine their automorphism groups.
Reflection group presentations arising from cluster algebras
Published
• View Publication
• BIB
We give a presentation of a finite crystallographic reflection group in terms of an arbitrary seed in the corresponding cluster algebra of finite type and interpret the presentation in terms of companion bases in the associated root system.
Subset sums in abelian groups
Published in European Journal of Combinatorics 34, 8 (2013) 1269-1286
• View Publication
• BIB
Denoting by Sigma(S) the set of subset sums of a subset S of a finite abelian group G, we prove that |Sigma(S)| >= |S|(|S|+2)/4-1 whenever S is symmetric, |G| is odd and Sigma(S) is aperiodic. Up to an additive constant of 2 this result is best possible, and we obtain the stronger (exact best possible) bound in almost all cases. We prove similar results in the case |G| is even. Our proof requires us to extend a theorem of Olson on the number of subset sums of anti-symmetric subsets S from the case of Z_p to the case of a general finite abelian group. To do so, we adapt Olson's method using a generalisation of Vosper's Theorem proved by Hamidoune and Plagne.
On Small Separations in Cayley Graphs
Published
• View Publication
• BIB
We present two results on expansion of Cayley graphs. The first result settles a conjecture made by DeVos and Mohar. Specifically, we prove that for any positive constant $c$ there exists a finite connected subset $A$ of the Cayley graph of $\mathbb{Z}^2$ such that $\frac{|\partial A|}{|A|}< \frac{c}{depth(A)}$. This yields that there can be no universal bound for $\frac{|\partial A|depth(A)}{|A|}$ for subsets of either infinite or finite vertex transitive graphs. Let $X=(V,E)$ be the Cayley graph of a finitely generated infinite group and $A\subset V$ finite such that $A\cup\partial A$ is connected. Our second result is that if $|A|> 16|\partial A|^2$ then $X$ has a ring-like structure.
Dihedral symmetries of multiple logarithms
Published in Journal of Number Theory and Physics, 2014, vol 7, no. 1
• View Publication
• BIB
This paper finds relationships between multiple logarithms with a dihedral group action on the arguments. I generalize the combinatorics developed in Gangl, Goncharov and Levin's R-deco polygon representation of multiple logarithms to find these relations. By writing multiple logarithms as iterated integrals, my arguments are valid for iterated integrals as over an arbitrary field.
Neighbour transitivity on codes in Hamming graphs
Published in Designs, Codes and Cryptography June 2013, Volume 67, Issue 3, pp 385-393
• View Publication
• BIB
We consider a \emph{code} to be a subset of the vertex set of a \emph{Hamming graph}. In this setting a \emph{neighbour} of the code is a vertex which differs in exactly one entry from some codeword. This paper examines codes with the property that some group of automorphisms acts transitively on the \emph{set of neighbours} of the code. We call these codes \emph{neighbour transitive}. We obtain sufficient conditions for a neighbour transitive group to fix the code setwise. Moreover, we construct an infinite family of neighbour transitive codes, with \emph{minimum distance} $δ=4$, where this is not the case. That is to say, knowledge of even the complete set of code neighbours does not determine the code.
Uniqueness of certain completely regular Hadamard codes
Published in Journal of Combinatorial Theory, Series A, Volume 120, Issue 7, September 2013, Pages 1394-1400
• View Publication
• BIB
We classify binary completely regular codes of length $m$ with minimum distance $δ$ for $(m,δ)=(12,6)$ and $(11,5)$. We prove that such codes are unique up to equivalence, and in particular, are equivalent to certain Hadamard codes. We prove that the automorphism groups of these Hadamard codes, modulo the kernel of a particular action, are isomorphic to certain Mathieu groups, from which we prove that completely regular codes with these parameters are necessarily completely transitive.
The absolute order of a permutation representation of a Coxeter group
Published
• View Publication
• BIB
A permutation representation of a Coxeter group $W$ naturally defines an absolute order. This family of partial orders (which includes the absolute order on $W$) is introduced and studied in this paper. Conditions under which the associated rank generating polynomial divides the rank generating polynomial of the absolute order on $W$ are investigated when $W$ is finite. Several examples, including a symmetric group action on perfect matchings, are discussed. As an application, a well-behaved absolute order on the alternating subgroup of $W$ is defined.
A characterization of incomplete sequences in $F_p^d$
Published
• View Publication
• BIB
A sequence $A$ of elements an additive group $G$ is {\it incomplete} if there exists a group element that {\it can not} be expressed as a sum of elements from $A$. The study of incomplete sequences is a popular topic in combinatorial number theory. However, the structure of incomplete sequences is still far from being understood, even in basic groups. The main goal of this paper is to give a characterization of incomplete sequences in the vector space $F_p^d$, where $d$ is a fixed integer and $p$ is a large prime. As an application, we give a new proof for a recent result by Gao-Ruzsa-Thangadurai on the Olson's constant of $\F_p^2$ and partially answer their conjecture concerning $F_p^3$.
A new approach to an old problem of Erdos and Moser
Published
• View Publication
• BIB
Let $η_i, i=1,..., n$ be iid Bernoulli random variables, taking values $\pm 1$ with probability 1/2. Given a multiset $V$ of $n$ elements $v_1, ..., v_n$ of an additive group $G$, we define the \emph{concentration probability} of $V$ as
$$ρ(V) := \sup_{v\in G} P(η_1 v_1 + ... η_n v_n =v). $$
An old result of Erdos and Moser asserts that if $v_i $ are distinct real numbers then $ρ(V)$ is $O(n^{-3/2}\log n)$. This bound was then refined by Sarkozy and Szemeredi to $O(n^{-3/2})$, which is sharp up to a constant factor. The ultimate result dues to Stanley who used tools from algebraic geometry to give a complete description for sets having optimal concentration probability; the result now becomes classic in algebraic combinatorics.
In this paper, we will prove that the optimal sets from Stanley's work are stable. More importantly, our result gives an almost complete description for sets having large concentration probability.