group
10405 papers tagged with this keyword
Strong failures of higher analogs of Hindman's theorem
Published in Transactions of the American Mathematical Society 369 no. 12 (2017), 8939-8966
• View Publication
• BIB
We show that various analogs of Hindman's Theorem fail in a strong sense when one attempts to obtain uncountable monochromatic sets:
Theorem 1: There exists a colouring $c:\mathbb R\rightarrow\mathbb Q$, such that for every $X\subseteq\mathbb R$ with $|X|=|\mathbb R|$, and every colour $γ\in\mathbb Q$, there are two distinct elements $x_0,x_1$ of $X$ for which $c(x_0+x_1)=γ$. This forms a simultaneous generalization of a theorem of Hindman, Leader and Strauss and a theorem of Galvin and Shelah.
Theorem 2: For every Abelian group $G$, there exists a colouring $c:G\rightarrow\mathbb Q$ such that for every uncountable $X\subseteq G$, and every colour $γ$, for some large enough integer $n$, there are pairwise distinct elements $x_0,\ldots,x_n$ of $X$ such that $c(x_0+\cdots+x_n)=γ$. In addition, it is consistent that the preceding statement remains valid even after enlarging the set of colours from $\mathbb Q$ to $\mathbb R$.
Theorem 3: Let $\circledast_κ$ assert that for every Abelian group $G$ of cardinality $κ$, there exists a colouring $c:G\rightarrow G$ such that for every positive integer $n$, every $X_0,\ldots,X_n \in[G]^κ$, and every $γ\in G$, there are $x_0\in X_0,\ldots, x_n\in X_n$ such that $c(x_0+\cdots+x_n)=γ$. Then $\circledast_κ$ holds for unboundedly many uncountable cardinals $κ$, and it is consistent that $\circledast_κ$ holds for all regular uncountable cardinals $κ$.
A Classification of Semeai with Approach Moves
Published in ICGA Journal, Vol. 38, No. 4 (Dec 2015), pp. 224-241
• View Publication
• BIB
The paper analyzes liberty races (semeai) in the game of Go. A rigorous treatment of positions with approach moves but no ko revealed a class of positions not described in the literature before.
The complete presented classification is simpler and more compact than the one used so far. This was achieved through a classification by the types of liberties and the order they are to be filled instead of a classification by group status.
A principal difference to semeai without approach moves is that in the presence of approach moves and shared liberties and the absence of eyes, two different strategies are possible because the un-orthodox filling of shared liberties instead of outer liberties may be a better strategy.
The colored symmetric and exterior algebras
Published in J. Algebra 496 (2018), 187-215
• Search Publication
We study colored generalizations of the symmetric algebra and its Koszul dual, the exterior algebra. The symmetric group $\mathfrak{S}_n$ acts on the multilinear components of these algebras. While $\mathfrak{S}_n$ acts trivially on the multilinear components of the colored symmetric algebra, we use poset topology techniques to understand the representation on its Koszul dual. We introduce an $\mathfrak{S}_n$-poset of weighted subsets that we call the weighted boolean algebra and we prove that the multilinear components of the colored exterior algebra are $\mathfrak{S}_n$-isomorphic to the top cohomology modules of its maximal intervals. We use a technique of Sundaram to compute group representations on Cohen-macaulay posets to give a generating formula for the Frobenius series of the colored exterior algebra. We exploit that formula to find an explicit expression for the expansion of the corresponding representations in terms of irreducible $\mathfrak{S}_n$-representations. We show that the two colored Koszul dual algebras are Koszul in the sense of Priddy.
Enumerative and bijective aspects of combinatorial maps: generalization, unification and application (PhD thesis)
This thesis deals with the enumerative study of combinatorial maps, and its application to the enumeration of other combinatorial objects.
Combinatorial maps, or simply maps, form a rich combinatorial model. They have an intuitive and geometric definition, but are also related to some deep algebraic structures. For instance, a special type of maps called constellations provides a unifying framework for some enumeration problems concerning factorizations in the symmetric group. Standing on a position where many domains meet, maps can be studied using a large variety of methods, and their enumeration can also help us count other combinatorial objects. This thesis is a sampling from the rich results and connections in the enumeration of maps.
This thesis is structured into four major parts. The first part, including Chapter 1 and 2, consist of an introduction to the enumerative study of maps. The second part, Chapter 3 and 4, contains my work in the enumeration of constellations, which are a special type of maps that can serve as a unifying model of some factorizations of the identity in the symmetric group. The third part, composed by Chapter 5 and 6, shows my research on the enumerative link from maps to other combinatorial objects, such as generalizations of the Tamari lattice and random graphs embeddable onto surfaces. The last part is the closing chapter, in which the thesis concludes with some perspectives and future directions in the enumerative study of maps.
Bohr topology and difference sets for some abelian groups
For a fixed prime $p$, $\mathbb F_{p}$ denotes the field with $p$ elements, and $\mathbb F_{p}^ω$ denotes the countable direct sum $\bigoplus_{n=1}^{\infty} \mathbb F_{p}$. Viewing $\mathbb F_{p}^ω$ as a countable abelian group, we construct a set $A\subseteq \mathbb F_{p}^ω$ having positive upper Banach density while the difference set $A-A:=\{a-b:a,b\in A\}$ does not contain a Bohr neighborhood of any $c\in \mathbb F_{p}^ω$. For $p=2$ we obtain a stronger conclusion: $A-A$ does not contain a set of the form $g+(B-B)$, where $B$ is piecewise syndetic. This construction answers negatively a variant of the following question asked by several authors: if $A\subseteq \mathbb Z$ has positive upper Banach density, must $A-A$ contain a Bohr neighborhood of some $n\in \mathbb Z$?
We also construct sets $S, A\subseteq \mathbb F_{p}^ω$ such that $S$ is dense in the Bohr topology of $\mathbb F_{p}^ω$, $A$ has positive upper Banach density, and $A+S$ is not piecewise Bohr. For $p=2$ we show that every translate of $S$ is a set of topological recurrence and $A+S$ is not piecewise syndetic. These constructions answer a variant of a question asked by the author.
Impartial achievement games for generating generalized dihedral groups
Published in Australas. J. Combinatorics 68(3), 2017 (http://ajc.maths.uq.edu.au)
• Search Publication
We study an impartial game introduced by Anderson and Harary. This game is played by two players who alternately choose previously-unselected elements of a finite group. The first player who builds a generating set from the jointly-selected elements wins. We determine the nim-numbers of this game for generalized dihedral groups, which are of the form $\operatorname{Dih}(A)= \mathbb{Z}_2 \ltimes A$ for a finite abelian group $A$.
On the addition of squares of units modulo n
Published
• View Publication
• BIB
Let $\mathbb{Z}_n$ be the ring of residue classes modulo $n$, and let $\mathbb{Z}_n^{\ast}$ be the group of its units. 90 years ago, Brauer obtained a formula for the number of representations of $c\in \mathbb{Z}_n$ as the sum of $k$ units. Recently, Yang and Tang in [Q. Yang, M. Tang, On the addition of squares of units and nonunits modulo $n$, J. Number Theory., 155 (2015) 1--12] gave a formula for the number of solutions of the equation $x_1^2+x_2^2=c$ with $x_{1},x_{2}\in \mathbb{Z}_n^{\ast}$. In this paper, we generalize this result. We find an explicit formula for the number of solutions of the equation $x^2_{1}+\cdots+x^2_{k}=c$ with $x_{1},\ldots,x_{k}\in \mathbb{Z}_n^{\ast}$.
On Hyperoctahedral Enumeration System, Application to Signed Permutations
Published
• View Publication
• BIB
In this paper, we start by giving the definitions and basic facts about hyperoctahedral number system. There is a natural correspondence between the integers expressed in the latter and the elements of the hyperoctahedral group when we use the inversion statistic on this group to code the signed permutations. We use this correspondence to define a way with which the signed permutations group can be ordered. With this classification scheme, we can find the r-th signed permutation from a given number r and vice versa without consulting the list in lexicographical order of the elements of the signed permutations group.
Asymptotic Enumeration of Difference Matrices over Cyclic Groups
Published
• View Publication
• BIB
We identify a relationship between a certain family of random walks on Euclidean lattices and difference matrices over cyclic groups. We then use the techniques of Fourier analysis to estimate the return probabilities of these random walks, which in turn yields the asymptotic number of difference matrices over cyclic groups as the number of columns increases.
On conjugacy classes of $S_n$ containing all irreducibles
Published in Isr. J. Math. 225, No. 1, 321-342 (2018)
• View Publication
• BIB
It is shown that for the conjugation action of the symmetric group $S_n,$ when $n=6$ or $n\geq 8,$ all $S_n$-irreducibles appear as constituents of a single conjugacy class, namely, one indexed by a partition $λ$ of $n$ with at least two parts, whose parts are all distinct and taken from the set of odd primes and 1. The following simple characterisation of conjugacy classes containing all irreducibles is proved: If $n\neq 4,8,$ the partition $λ$ of $n$ indexes a global conjugacy class for $S_n$ if and only if it has at least two parts, and all its parts are odd and distinct.
A Selectable Sloppy Heap
Published
• View Publication
• BIB
We study the selection problem, namely that of computing the $i$th order statistic of $n$ given elements. Here we offer a data structure called \emph{selectable sloppy heap} handling a dynamic version in which upon request: (i)~a new element is inserted or (ii)~an element of a prescribed quantile group is deleted from the data structure. Each operation is executed in (ideal!) constant time---and is thus independent of $n$ (the number of elements stored in the data structure)---provided that the number of quantile groups is fixed. This is the first result of this kind accommodating both insertion and deletion in constant time. As such, our data structure outperforms the soft heap data structure of Chazelle (which only offers constant amortized complexity for a fixed error rate $0<\varepsilon \leq 1/2$) in applications such as dynamic percentile maintenance. The design demonstrates how slowing down a certain computation can speed up the data structure.
Real line arrangements with Hirzebruch property
Published in Geom. Topol. 22 (2018) 2697-2711
• View Publication
• BIB
A line arrangement of $3n$ lines in $\mathbb CP^2$ satisfies Hirzebruch property if each line intersect others in $n+1$ points. Hirzebruch asked if all such arrangements are related to finite complex reflection groups. We give a positive answer to this question in the case when the line arrangement in $\mathbb CP^2$ is real, confirming that there exist exactly four such arrangements.
On groups and simplicial complexes
Published
• View Publication
• BIB
The theory of $k$-regular graphs is closely related to group theory. Every $k$-regular, bipartite graph is a Schreier graph with respect to some group $G$, a set of generators $S$ (depending only on $k$) and a subgroup $H$. The goal of this paper is to begin to develop such a framework for $k$-regular simplicial complexes of general dimension $d$. Our approach does not directly generalize the concept of a Schreier graph, but still presents an extensive family of $k$-regular simplicial complexes as quotients of one universal object: the $k$-regular $d$-dimensional arboreal complex, which is itself a simplicial complex originating in one specific group depending only on $d$ and $k$. Along the way we answer a question from [PR12] on the spectral gap of higher dimensional Laplacians and prove a high dimensional analogue of Leighton's graph covering theorem. This approach also suggests a random model for $k$-regular $d$-dimensional multicomplexes.
Topological Crystals
Sunada's work on crystallography emphasizes the role of the "maximal abelian cover" of a graph $X$. This is a covering space of $X$ for which the group of deck transformations is the first homology group $H_1(X,\mathbb{Z})$. An embedding of the maximal abelian cover in a vector space can serve as the pattern for a crystal: atoms are located at the vertices, while bonds lie along the edges. We prove that for any connected graph $X$ without bridges, there is a canonical embedding of the maximal abelian cover of $X$ into the vector space $H_1(X,\mathbb{R})$, called a "topological crystal". Crystals of graphene and diamond are examples of this construction. We prove that any symmetry of a graph lifts to a symmetry of its topological crystal. We also compute the density of atoms in a topological crystal. The key technical tools are a way of decomposing the 1-chain coming from a path in $X$ into manageable pieces, and the work of Bacher, de la Harpe and Nagnibeda on integral cycles and integral cuts.
Integral homology of random simplicial complexes
The random $2$-dimensional simplicial complex process starts with a complete graph on $n$ vertices, and in every step a new $2$-dimensional face, chosen uniformly at random, is added. We prove that with probability tending to $1$ as $n\to\infty$, the first homology group over $\mathbb Z$ vanishes at the very moment when all the edges are covered by triangular faces.
Factorial characters of some classical Lie groups
A definition is offered of the factorial characters of the general linear group, the symplectic group and the orthogonal group in an odd dimensional space. It is shown that these characters satisfy certain flagged Jacobi-Trudi identities. These identities are then used to give combinatorial expressions for the factorial characters: first in terms of a lattice path model and then in terms of the well known tableaux associated with the classical groups. Factorial Q-functions are then defined in terms of three sets of primed shifted tableaux, and shown to satisfy Tokuyama type identities in each case.
Three-person impartial avoidance games for generating finite cyclic, dihedral, and nilpotent groups
Published
• View Publication
• BIB
We study a three-player variation of the impartial avoidance game introduced by Anderson and Harary. Three players take turns selecting previously-unselected elements of a finite group. The losing player is the one who selects an element that causes the set of jointly-selected elements to be a generating set for the group, with the previous player winning and the remaining player coming in second place. We describe the winning strategy for these games on cyclic, dihedral, and nilpotent groups.
Simion's type $B$ associahedron is a pulling triangulation of the Legendre polytope
Published
• View Publication
• BIB
We show that Simion's type $B$ associahedron is combinatorially equivalent to a pulling triangulation of a type $B$ root polytope called the Legendre polytope. Furthermore, we show that every pulling triangulation of the Legendre polytope yields a flag complex. Our triangulation refines a decomposition of the Legendre polytope given by Cho. We extend Cho's cyclic group action to the triangulation in such a way that it corresponds to rotating centrally symmetric triangulations of a regular $(2n+2)$-gon. Finally, we present a bijection between the faces of the Simion's type $B$ associahedron and Delannoy paths.
On the abelianity of the stochastic sandpile model
We consider a stochastic variant of the Abelian Sandpile Model (ASM) on a finite graph, introduced by Chan, Marckert and Selig. Even though it is a more general model, some nice properties still hold. We show that on a certain probability space, even if we lose the group structure due to topplings not being deterministic, some operators still commute. As a corollary, we show that the stationary distribution still does not depend on how sand grains are added onto the graph in our model, answering a conjecture of Selig.
Set Reconstruction on the Hypercube
Published in Discrete Analysis, 2017:17, 10 pp
• View Publication
• BIB
Given an action of a group $G$ on a set $S$, the $k$-deck of a subset $T$ of $S$ is the multiset of all subsets of $T$ of size $k$, each given up to translation by $G$. For a given subset $T$, the {\em reconstruction number} of $T$ is the minimum $k$ such that the $k$-deck uniquely identifies $T$ up to translation by $G$, and the {\em reconstruction number} of the action $G:S$ is the maximum reconstruction number of any subset of $S$. The concept of reconstruction number extends naturally to multisubsets $T$ of $S$ and in~\cite{CPC:257539}, the author calculated the multiset-reconstruction number of all finite abelian groups. In particular, it was shown that the multiset-reconstruction number of $\mathbb{Z}_2^n$ was $n+1$. This provides an upper bound of $n+1$ to the reconstruction number of $\mathbb{Z}_2^n$. The author also showed a lower bound of $\lfloor{\frac{n+1}2}\rfloor$ in the same paper. The purpose of this note is to close the gap. The reconstruction number of $\mathbb{Z}_2^n$ is $\lfloor{n+1-\log_2(n+1-\log_2(n))}\rfloor.$