group
10263 papers tagged with this keyword
Abelian groups yield many large families for the diamond problem
Published
• View Publication
• BIB
There is much recent interest in excluded subposets. Given a fixed poset $P$, how many subsets of $[n]$ can found without a copy of $P$ realized by the subset relation? The hardest and most intensely investigated problem of this kind is when $P$ is a diamond, i.e. the power set of a 2 element set. In this paper, we show infinitely many asymptotically tight constructions using random set families defined from posets based on Abelian groups. They are provided by the convergence of Markov chains on groups. Such constructions suggest that the diamond problem is hard.
On the cohomology of real Grassmann manifolds
We give an explicit and simple construction of the incidence graph for the integral cohomology of real Grassmann manifold Gr(k,n) in terms of the Young diagrams filled with the letter q in checkered pattern. It turns out that there are two types of graphs, one for the trivial coefficients and other for the twisted coefficients, and they compute the homology groups of the orientable and non-orientable cases of Gr(k,n) via the Poincaré-Verdier duality. We also give an explicit formula of the Poincaré polynomial for Gr(k,n) and show that the Poincaré polynomial is also related to the number of points on Gr(k,n) over a finite field {F}_q with q being a power of prime which is also used in the Young diagrams.
Enumerating Regular Objects associated with Suzuki Groups
We use the Möbius function of the simple Suzuki group Sz(q) to enumerate regular objects such as maps, hypermaps, dessins d'enfants and surface coverings with automorphism groups isomorphic to Sz(q).
On planar right groups
Published
• View Publication
• BIB
In 1896 Heinrich Maschke characterized planar finite groups, that is groups which admit a generating system such that the resulting Cayley graph is planar. In our study we consider the question, which finite semigroups have a planar Cayley graph. Right groups are a class of semigroups relatively close to groups. We present a complete characterization of planar right groups.
The cogrowth series for $\mathrm{BS}(N,N)$ is D-finite
Published in International Journal of Algebra and Computation 24 (2014) Issue 2 pages 171-187
• View Publication
• BIB
We compute the cogrowth series for Baumslag-Solitar groups $\mathrm{BS}(N,N) = < a,b | a^N b = b a^N > $, which we show to be D-finite. It follows that their cogrowth rates are algebraic numbers.
Complexities of relational structures
Published
• View Publication
• BIB
The relational complexity, introduced by G. Cherlin, G. Martin, and D. Saracino, is a measure of ultrahomogeneity of a relational structure. It provides an information on minimal arity of additional invariant relations needed to turn given structure into an ultrahomogeneous one. The original motivation was group theory. This work focuses more on structures and provides an alternative approach. Our study is motivated by related concept of lift complexity studied by Hubicka and Nesetril.
Non-conventional ergodic averages for several commuting actions of an amenable group
Published
• View Publication
• BIB
Let $(X,μ)$ be a probability space, $G$ a countable amenable group and $(F_n)_n$ a left Følner sequence in $G$. This paper analyzes the non-conventional ergodic averages \[\frac{1}{|F_n|}\sum_{g \in F_n}\prod_{i=1}^d (f_i\circ T_1^g\cdots T_i^g)\] associated to a commuting tuple of $μ$-preserving actions $T_1$, ..., $T_d:G\curvearrowright X$ and $f_1$, ..., $f_d \in L^\infty(μ)$. We prove that these averages always converge in $\|\cdot\|_2$, and that they witness a multiple recurrence phenomenon when $f_1 = \ldots = f_d = 1_A$ for a non-negligible set $A\subseteq X$. This proves a conjecture of Bergelson, McCutcheon and Zhang. The proof relies on an adaptation from earlier works of the machinery of sated extensions.
Dimension-free Maximal Inequalities for Spherical Means in the Hypercube
Published
• View Publication
• BIB
We extend the main result of Harrow, Kolla, and Schulman -- the existence of dimension-free $L^2$-bounds for the spherical maximal function in the hypercube -- to all $L^p, p > 1$. Our approach is motivated by the spectral technique developed by Stein and Nevo and Stein in the context of pointwise ergodic theorems on general groups. We provide an example which demonstrates that no dimension-free weak-type (1-1) bound exists at the endpoint.
Lie elements in the group algebra
Given a representation V of a group G, there are two natural ways of defining a representation of the group algebra k[G] in the external power V^{\wedge m}. The set L(V) of elements of k[G] for which these two ways give the same result is a Lie algebra and a representation of G. For the case when G is a symmetric group and V = C^n, a permutation representation, these spaces L(C^n) are naturally embedded into one another. We describe L(C^n) for small n and formulate some questions and conjectures.
This is a note on research in progress.
FI_W-modules and stability criteria for representations of the classical Weyl groups
Published in Journal of Algebra, Volume 420, 15 December 2014, Pages 269-332
• View Publication
• BIB
In this paper we develop machinery for studying sequences of representations of any of the three families of classical Weyl groups, extending work of Church, Ellenberg, Farb, and Nagpal on the symmetric groups S_n to the signed permutation groups B_n and the even-signed permutation groups D_n. For each family W_n, we present an algebraic framework where a sequence V_n of W_n-representations is encoded into a single object we call an FI_W-module. We prove that if an FI_W-module V satisfies a simple finite generation condition then the structure of the sequence is highly constrained. One consequence is that the sequence is uniformly representation stable in the sense of Church-Farb, that is, the pattern of irreducible representations in the decomposition of each V_n eventually stabilizes in a precise sense. Using the theory developed here we obtain new results about the cohomology of generalized flag varieties associated to the classical Weyl groups, and more generally the r-diagonal coinvariant algebras.
We analyze the algebraic structure of the category of FI_W-modules, and introduce restriction and induction operations that enable us to study interactions between the three families of groups. We use this theory to prove analogues of Murnaghan's 1938 stability theorem for Kronecker coefficients for the families B_n and D_n. The theory of FI_W-modules gives a conceptual framework for stability results such as these.
Coherent configurations over copies of association schemes of prime order
Published
• View Publication
• BIB
Let $G$ be a group acting faithfully and transitively on $Ω_i$ for $i=1,2$. A famous theorem by Burnside implies the following fact: If $|Ω_1|=|Ω_2|$ is a prime and the rank of one of the actions is greater than two, then the actions are equivalent, or equivalently $|(α,β)^G|=|Ω_1|=|Ω_2|$ for some $(α,β)\in Ω_1\times Ω_2$.
In this paper we consider a combinatorial analogue to this fact through the theory of coherent configurations, and give some arithmetic sufficient conditions for a coherent configuration with two homogeneous components of prime order to be uniquely determined by one of the homogeneous components.
New and simple algorithms for stable flow problems
Published
• View Publication
• BIB
Stable flows generalize the well-known concept of stable matchings to markets in which transactions may involve several agents, forwarding flow from one to another. An instance of the problem consists of a capacitated directed network, in which vertices express their preferences over their incident edges. A network flow is stable if there is no group of vertices that all could benefit from rerouting the flow along a walk.
Fleiner established that a stable flow always exists by reducing it to the stable allocation problem. We present an augmenting-path algorithm for computing a stable flow, the first algorithm that achieves polynomial running time for this problem without using stable allocation as a black-box subroutine. We further consider the problem of finding a stable flow such that the flow value on every edge is within a given interval. For this problem, we present an elegant graph transformation and based on this, we devise a simple and fast algorithm, which also can be used to find a solution to the stable marriage problem with forced and forbidden edges.
Finally, we study the stable multicommodity flow model introduced by Király and Pap. The original model is highly involved and allows for commodity-dependent preference lists at the vertices and commodity-specific edge capacities. We present several graph-based reductions that show equivalence to a significantly simpler model. We further show that it is NP-complete to decide whether an integral solution exists.
Centralizers of the infinite symmetric group
Published
• View Publication
• BIB
We review and introduce several approaches to the study of centralizer algebras of the infinite symmetric group $S_\infty$. Our study is led by the double commutant relationships between finite symmetric groups and partition algebras; each approach produces a centralizer algebra that is contained in a partition algebra. Our goal is to incorporate invariants of $S_\infty$, which ties our work to the study of symmetric functions in non-commuting variables. We resultantly explore sequence spaces as permutation modules, which yields families of non-unitary representations of $S_\infty$.
Partial difference equations over compact Abelian groups, II: step-polynomial solutions
This paper continues an earlier work on the structure of solutions to two classes of functional equation. Let $Z$ be a compact Abelian group and $U_1$, \ldots, $U_k \leq Z$ be closed subgroups. Given $f:Z\to\mathbb{T}$ and $w \in Z$, one defines the differenced function \[d_wf(z) := f(z+w) - f(z).\] In this notation, we shall study solutions to the system of difference equations \[d_{u_1}\cdots d_{u_k}f \equiv 0 \quad \forall (u_1,\ldots,u_k) \in \prod_{i\leq k}U_i,\] and to the zero-sum problem \[f_1 + \cdots + f_k = 0\] for functions $f_i:Z\to \mathbb{T}$ that are $U_i$-invariant for each $i$.
Part I of this work showed that the $Z$-modules of solutions to these problems can be described using a general theory of `almost modest $¶$-modules'. Much of the global structure of these solution $Z$-modules could then be extracted from results about the closure of this general class under certain natural operations, such as forming cohomology groups. The main result of the present paper is that solutions to either problem can always be decomposed into summands which either solve a simpler system of equations, or have some special `step polynomial' structure. This will be proved by augmenting the definition of `almost modest $\mathcal{P}$-modules' further, to isolate a subclass in which elements can be represented by the desired `step polynomials'. We will then find that this subclass is closed under the same operations.
On Block Security of Regenerating Codes at the MBR Point for Distributed Storage Systems
Published
• View Publication
• BIB
A passive adversary can eavesdrop stored content or downloaded content of some storage nodes, in order to learn illegally about the file stored across a distributed storage system (DSS). Previous work in the literature focuses on code constructions that trade storage capacity for perfect security. In other words, by decreasing the amount of original data that it can store, the system can guarantee that the adversary, which eavesdrops up to a certain number of storage nodes, obtains no information (in Shannon's sense) about the original data. In this work we introduce the concept of block security for DSS and investigate minimum bandwidth regenerating (MBR) codes that are block secure against adversaries of varied eavesdropping strengths. Such MBR codes guarantee that no information about any group of original data units up to a certain size is revealed, without sacrificing the storage capacity of the system. The size of such secure groups varies according to the number of nodes that the adversary can eavesdrop. We show that code constructions based on Cauchy matrices provide block security. The opposite conclusion is drawn for codes based on Vandermonde matrices.
The Cardinality of Sumsets: Different Summands
Published in Acta Arith. 167 (4), 2015, 375-395
• View Publication
• BIB
Let $h$ be a positive integer and $A, B_1, B_2,\dots, B_h$ be finite sets in a commutative group. We bound $|A+B_1+...+B_h|$ from above in terms of $|A|, |A+B_1|,\dots,|A+B_h|$ and $h$. Extremal examples, which demonstrate that the bound is asymptotically sharp in all the parameters, are furthermore provided.
Expansion in finite simple groups of Lie type
Published
• View Publication
• BIB
We show that random Cayley graphs of finite simple (or semisimple) groups of Lie type of fixed rank are expanders. The proofs are based on the Bourgain-Gamburd method and on the main result of our companion paper, establishing strongly dense subgroups in simple algebraic groups.
On generalized Hadamard matrices GH(q,q)'s and GH(q,q^2)'s
A matrix $H=[d_{ij}]$ is a generalized Hadamard matrix of order $uλ$ with entries from $U$ which is a finite group of order $u$ (for short $\mathrm{GH}(u,\,λ)$) such that whenever $i\neq \ell$ the set $\{d_{ij}d_{\ell j}^{-1}\,|\, 1\leq j\leq uλ\}$ contains each element of $U$ exactly $λ$ times. In this paper, we construct $\mathrm{GH}(q,\,q)$'s and $\mathrm{GH}(q,\,q^{2})$'s over additive groups of finite fields $\mathrm{GF}(q)$'s by using some sorts of functions.
Some new problems in additive combinatorics
Published in Nanjing Univ. J. Math. Biquarterly 36 (2019), 134-155
• Search Publication
In this paper we investigate some new problems in additive combinatorics. Our problems mainly involve permutations (or circular permutations) $n$ distinct numbers (or elements of an additive abelian group) $a_1,\ldots,a_n$ with adjacent sums $a_i+a_{i+1}$ (or differences $a_i-a_{i+1}$) pairwise distinct. For an odd prime power $q=2n+1>13$ with $q\not=25$, we show that there is a circular permutation $(a_1,\ldots,a_n)$ of the elements of $S=\{a^2:\ a\in\mathbb F_q\setminus\{0\}\}$ such that $\{a_1+a_2,\ldots,a_{n-1}+a_n,a_n+a_1\}=S$, where $\mathbb F_q$ denotes the field of order $q$. For any finite subset $A$ of an additive torsion-free abelian group $G$ with $|A|=n>3$, we prove that there is a numbering $a_1,\ldots,a_n$ of the elements of $A$ such that $$a_1+2a_2,\ a_2+2a_3,\ \ldots,\ a_{n-1}+2a_n,\ a_n+2a_1$$ are pairwise distinct. We also pose 30 open conjectures for further research.
Tiling Problems on Baumslag-Solitar groups
Published in EPTCS 128, 2013, pp. 35-46
• View Publication
• BIB
We exhibit a weakly aperiodic tile set for Baumslag-Solitar groups, and prove that the domino problem is undecidable on these groups. A consequence of our construction is the existence of an arecursive tile set on Baumslag-Solitar groups.