group
10405 papers tagged with this keyword
Note on the group edge irregularity strength of graphs
Published
• View Publication
• BIB
We investigate the \textit{edge group irregularity strength} ($es_g(G)$) of graphs, i.e. the smallest value of $s$ such that taking any Abelian group $\mathcal{G}$ of order $s$, there exists a function $f:V(G)\rightarrow \mathcal{G}$ such that the sums of vertex labels at every edge are distinct. In this note we provide some upper bounds on $es_g(G)$ as well as for edge irregularity strength $es(G)$ and harmonious order $\rm{har}(G)$.
Immaculate line bundles on toric varieties
Published
• View Publication
• BIB
We call a sheaf on an algebraic variety immaculate if it lacks any cohomology including the zero-th one, that is, if the derived version of the global section functor vanishes. Such sheaves are the basic tools when building exceptional sequences, investigating the diagonal property, or the toric Frobenius morphism.
In the present paper we focus on line bundles on toric varieties. First, we present a possibility of understanding their cohomology in terms of their (generalized) momentum polytopes. Then we present a method to exhibit the entire locus of immaculate divisors within the class group. This will be applied to the cases of smooth toric varieties of Picard rank two and three and to those being given by splitting fans.
The locus of immaculate line bundles contains several linear strata of varying dimensions. We introduce a notion of relative immaculacy with respect to certain contraction morphisms. This notion will be stronger than plain immaculacy and provides an explanation of some of these linear strata.
Safe 3-coloring of graphs
The applications of graph coloring are diverse and many so lots of new types of coloring are being proposed and explored. Here we define a safe k-coloring, motivated by the application of coloring to secret sharing. Secret sharing is a way of securing a secret from a number of attackers by dividing it into parts and then distributing those parts to some persons, represented here by graph vertices. Parts of the secret are represented by colors which are then assigned to the vertices under certain conditions, making a coloring safe if a predetermined number of attackers cannot read the whole secret, nor disable the rest of the group from doing so. We observe a fixed number of colors, namely 3, and analyze what kind of graphs have a safe 3-coloring.
Tableau Correspondences and Representation Theory
Published in Contributions in Algebra and Algebraic Geometry, Contemporary Mathematics, vol. 738, pages 109-124, 2019
• View Publication
• BIB
We deduce decompositions of natural representations of general linear groups and symmetric groups from combinatorial bijections involving tableaux. These include some of Howe's dualities, Gelfand models, the Schur-Weyl decomposition of tensor space, and multiplicity-free decompositions indexed by threshold partitions.
Automorphisms of Kronrod-Reeb graphs of Morse functions on compact surfaces
Published in European Journal of Mathematics, 2020
• View Publication
• BIB
Let $M$ be a connected orientable compact surface, $f:M\to\mathbb{R}$ be a Morse function, and $\mathcal{D}_{\mathrm{id}}(M)$ be the group of difeomorphisms of $M$ isotopic to the identity. Denote by $\mathcal{S}'(f)=\{f\circ h = f\mid h\in\mathcal{D}_{\mathrm{id}}(M)\}$ the subgroup of $\mathcal{D}_{\mathrm{id}}(M)$ consisting of difeomorphisms "preserving" $f$, i.e. the stabilizer of $f$ with respect to the right action of $\mathcal{D}_{\mathrm{id}}(M)$ on the space $\mathcal{C}^{\infty}(M,\mathbb{R})$ of smooth functions on $M$. Let also $\mathbf{G}(f)$ be the group of automorphisms of the Kronrod-Reeb graph of $f$ induced by diffeomorphisms belonging to $\mathcal{S}'(f)$. This group is an important ingredient in determining the homotopy type of the orbit of $f$ with respect to the above action of $\mathcal{D}_{\mathrm{id}}(M)$ and it is trivial if $f$ is "generic", i.e. has at most one critical point at each level set $f^{-1}(c)$, $c\in\mathbb{R}$.
For the case when $M$ is distinct from $2$-sphere and $2$-torus we present a precise description of the family $\mathbf{G}(M,\mathbb{R})$ of isomorphism classes of groups $\mathbf{G}(f)$, where $f$ runs over all Morse functions on $M$, and of its subfamily $\mathbf{G}^{smp}(M,\mathbb{R}) \subset \mathbf{G}(M,\mathbb{R})$ consisting of groups corresponding to simple Morse functions, i.e. functions having at most one critical point at each connected component of each level set.
In fact, $\mathbf{G}(M,\mathbb{R})$, (resp. $\mathbf{G}^{smp}(M,\mathbb{R})$), coincides with the minimal family of isomorphism classes of groups containing the trivial group and closed with respect to direct products and also with respect to wreath products "from the top" with arbitrary finite cyclic groups, (resp. with group $\mathbb{Z}_2$ only).
Hadamard full propelinear codes with associated group $C_{2t}\times C_2$; rank and kernel
We introduce the Hadamard full propelinear codes that factorize as direct product of groups such that their associated group is $C_{2t}\times C_2$. We study the rank, the dimension of the kernel, and the structure of these codes. For several specific parameters we establish some links from circulant Hadamard matrices and the nonexistence of the codes we study. We prove that the dimension of the kernel of these codes is bounded by 3 if the code is nonlinear. We also get an equivalence between circulant complex Hadamard matrix and a type of Hadamard full propelinear code, and we find a new example of circulant complex Hadamard matrix of order 16.
Modified Erdös--Ginzburg--Ziv Constants for $\mathbb Z/n\mathbb Z$ and $(\mathbb Z/n\mathbb Z)^2$
For an abelian group $G$ and an integer $t > 0$, the \emph{modified Erdös--Ginzburg--Ziv constant} $s_t'(G)$ is the smallest integer $\ell$ such that any zero-sum sequence of length at least $\ell$ with elements in $G$ contains a zero-sum subsequence (not necessarily consecutive) of length $t$. We compute $s_t'(G)$ for $G = \mathbb Z/n\mathbb Z$ and for $t = n$, $G = (\mathbb Z/n\mathbb Z)^2$.
Bent Vectorial Functions, Codes and Designs
Published
• View Publication
• BIB
Bent functions, or equivalently, Hadamard difference sets in the elementary Abelian group $(\gf(2^{2m}), +)$, have been employed to construct symmetric and quasi-symmetric designs having the symmetric difference property. The main objective of this paper is to use bent vectorial functions for a construction of a two-parameter family of binary linear codes that do not satisfy the conditions of the Assmus-Mattson theorem, but nevertheless hold $2$-designs. A new coding-theoretic characterization of bent vectorial functions is presented.
Inequalities of Riesz-Sobolev type for compact connected Abelian groups
Published
• View Publication
• BIB
A version of the Riesz-Sobolev convolution inequality is formulated and proved for arbitrary compact connected Abelian groups. Maximizers are characterized and a quantitative stability theorem is proved, under natural hypotheses. A corresponding stability theorem for sets whose sumset has nearly minimal measure is also proved, sharpening recent results of other authors. For the special case of the group $\mathbb{R}/\mathbb{Z}$, a continuous deformation of sets is developed, under which an appropriately scaled Riesz-Sobolev functional is shown to be nondecreasing.
Large deviations and one-sided scaling limit of randomized multicolor box-ball system
Published
• View Publication
• BIB
The basic $κ$-color box-ball (BBS) system is an integrable cellular automaton on one dimensional lattice whose local states take $\{0,1,\cdots,κ\}$ with $0$ regarded as an empty box. The time evolution is defined by a combinatorial rule of quantum group theoretical origin, and the complete set of conserved quantities is given by a $κ$-tuple of Young diagrams. In the randomized BBS, a probability distribution on $\{0,1,\cdots,κ\}$ to independently fill the consecutive $n$ sites in the initial state induces a highly nontrivial probability measure on the $κ$-tuple of those invariant Young diagrams. In a recent work \cite{kuniba2018randomized}, their large $n$ `equilibrium shape' has been determined in terms of Schur polynomials by a Markov chain method and also by a very different approach of Thermodynamic Bethe Ansatz (TBA). In this paper, we establish a large deviations principle for the row lengths of the invariant Young diagrams. As a corollary, they are shown to converge almost surely to the equilibrium shape at an exponential rate. We also refine the TBA analysis and obtain the exact scaling form of the vacancy, the row length and the column multiplicity, which exhibit nontrivial factorization in a one-parameter specialization.
Set-partition tableaux and representations of diagram algebras
Published
• View Publication
• BIB
The partition algebra is an associative algebra with a basis of set-partition diagrams and multiplication given by diagram concatenation. It contains as subalgebras a large class of diagram algebras including the Brauer, planar partition, rook monoid, rook-Brauer, Temperley-Lieb, Motzkin, planar rook monoid, and symmetric group algebras. We give a construction of the irreducible modules of these algebras in two isomorphic ways: first, as the span of symmetric diagrams on which the algebra acts by conjugation twisted with an irreducible symmetric group representation and, second, on a basis indexed by set-partition tableaux such that diagrams in the algebra act combinatorially on tableaux. The first representation is analogous to the Gelfand model and the second is a generalization of Young's natural representation of the symmetric group on standard tableaux. The methods of this paper work uniformly for the partition algebra and its diagram subalgebras. As an application, we express the characters of each of these algebras as nonnegative integer combinations of symmetric group characters whose coefficients count fixed points under conjugation.
Equivariant Kazhdan-Lusztig polynomials of $q$-niform matroids
Published
• View Publication
• BIB
We introduce $q$-analogues of uniform matroids, which we call $q$-niform matroids. While uniform matroids admit actions of symmetric groups, $q$-niform matroids admit actions of finite general linear groups. We show that the equivariant Kazhdan-Lusztig polynomial of a $q$-niform matroid is the unipotent $q$-analogue of the equivariant Kazhdan-Lusztig polynomial of the corresponding uniform matroid, thus providing evidence for the positivity conjecture for equivariant Kazhdan-Lusztig polynomials.
Uncertainty in finite planes
We establish a number of uncertainty inequalities for the additive group of a finite affine plane, showing that for $p$ prime, a nonzero function $f\colon\mathbb F_p^2\to\mathbb C$ and its Fourier transform $\hat f\colon\widehat{\mathbb F_p^2}\to\mathbb C$ cannot have small supports simultaneously. The "baseline" of our investigation is the well-known Meshulam's bound, which we sharpen, for the particular groups under consideration, taking into account not only the sizes of the support sets $\mathrm{supp}\,f$ and $\mathrm{supp}\,\hat f$, but also their structure.
Our results imply in particular that, with some explicitly classified exceptions, one has $|\mathrm{supp}\,f||\mathrm{supp}\,\hat f|\ge3p(p-2)$; in comparison, the classical uncertainty inequality gives $|\mathrm{supp}\,f||\mathrm{supp}\,\hat f|\ge p^2$.
New lower bound on the Shannon capacity of C7 from circular graphs
Published in Information Processing Letters, 143 (2019), 37-40
• View Publication
• BIB
We give an independent set of size $367$ in the fifth strong product power of $C_7$, where $C_7$ is the cycle on $7$ vertices. This leads to an improved lower bound on the Shannon capacity of $C_7$: $Θ(C_7)\geq 367^{1/5} > 3.2578$. The independent set is found by computer, using the fact that the set $\{t \cdot (1,7,7^2,7^3,7^4) \,\, | \,\, t \in \mathbb{Z}_{382}\} \subseteq \mathbb{Z}_{382}^5$ is independent in the fifth strong product power of the circular graph $C_{108,382}$. Here the circular graph $C_{k,n}$ is the graph with vertex set $\mathbb{Z}_{n}$, the cyclic group of order $n$, in which two distinct vertices are adjacent if and only if their distance (mod $n$) is strictly less than $k$.
On generalized Erdős-Ginzburg-Ziv constants for $\mathbb{Z}_2^d$
Published in J. Combin. Theory, ser. A, vol. 174, 2020, article 105254
• View Publication
• BIB
Let $G$ be a finite abelian group, and $r$ be a multiple of its exponent. The generalized Erdős-Ginzburg-Ziv constant $s_r(G)$ is the smallest integer $s$ such that every sequence of length $s$ over $G$ has a zero-sum subsequence of length $r$. We find exact values of $s_{2m}(\mathbb{Z}_2^d)$ for $d \leq 2m+1$. Connections to linear binary codes of maximal length and codes without a forbidden weight are discussed.
Designs over finite fields by difference methods
Published in Finite Fields and Their Applications, Volume 57, May 2019, Pages 128-138
• View Publication
• BIB
One of the very first results about designs over finite fields, by S. Thomas, is the existence of a cyclic 2-$(n,3,7)$ design over $\mathbb{F}_{2}$ for every integer $n$ coprime with 6. Here, by means of difference methods, we reprove and improve a little bit this result showing that it is true, more generally, for every odd $n$. In this way, we also find the first infinite family of non-trivial cyclic group divisible designs over $\mathbb{F}_{2}$.
Cayley Digraphs Associated to Arithmetic Groups
Published
• View Publication
• BIB
We explore a paradigm which ties together seemingly disparate areas in number theory, additive combinatorics, and geometric combinatorics including the classical Waring problem, the Furstenberg-Sárközy theorem on squares in sets of integers with positive density, and the study of triangles (also called $2$-simplices) in finite fields. Among other results we show that if $\mathbb{F}_q$ is the finite field of odd order $q$, then every matrix in $Mat_d(\mathbb{F}_q), d \geq 2$ is the sum of a certain (finite) number of orthogonal matrices, this number depending only on $d$, the size of the matrix, and on whether $q$ is congruent to $1$ or $3$ (mod $4$), but independent of $q$ otherwise.
The 4-Component Connectivity of Alternating Group Networks
Published in Theoretical Computer Science, Vol. 766, (2019) pp. 38-45
• View Publication
• BIB
The $\ell$-component connectivity (or $\ell$-connectivity for short) of a graph $G$, denoted by $κ_\ell(G)$, is the minimum number of vertices whose removal from $G$ results in a disconnected graph with at least $\ell$ components or a graph with fewer than $\ell$ vertices. This generalization is a natural extension of the classical connectivity defined in term of minimum vertex-cut. As an application, the $\ell$-connectivity can be used to assess the vulnerability of a graph corresponding to the underlying topology of an interconnection network, and thus is an important issue for reliability and fault tolerance of the network. So far, only a little knowledge of results have been known on $\ell$-connectivity for particular classes of graphs and small $\ell$'s. In a previous work, we studied the $\ell$-connectivity on $n$-dimensional alternating group networks $AN_n$ and obtained the result $κ_3(AN_n)=2n-3$ for $n\geqslant 4$. In this sequel, we continue the work and show that $κ_4(AN_n)=3n-6$ for $n\geqslant 4$.
$Z_2\times Z_2$-cordial cycle-free hypergraphs
Published in Discussiones Mathematicae - Graph Theory 41 (2021) 1021-1040
• View Publication
• BIB
Hovey introduced $A$-cordial labelings as a generalization of cordial and harmonious labelings \cite{Hovey}. If $A$ is an Abelian group, then a labeling $f \colon V (G) \rightarrow A$ of the vertices of some graph $G$ induces an edge labeling on $G$, the edge $uv$ receives the label $f (u) + f (v)$. A graph $G$ is $A$-cordial if there is a vertex-labeling such that (1) the vertex label classes differ in size by at most one and (2) the induced edge label classes differ in size by at most one. The problem of $A$-cordial labelings of graphs can be naturally extended for hypergraphs. It was shown that not every $2$-uniform hypertree (i.e., tree) admits a $Z_2\times Z_2$-cordial labeling \cite{Pechnik}. The situation changes if we consider $p$-uniform hypetrees for a bigger $p$. We prove that a $p$-uniform hypertree is $Z_2\times Z_2$-cordial for any $p>2$, and so is every path hypergraph in which all edges have size at least~3. The property is not valid universally in the class of hypergraphs of maximum degree~1, for which we provide a necessary and sufficient condition.
Edge-transitive graphs of small order and the answer to a 1967 question by Folkman
Published
• View Publication
• BIB
In this paper, we introduce a method for finding all edge-transitive graphs of small order, using faithful representations of transitive permutation groups of small degree, and we explain how we used this method to find all edge-transitive graphs of order up to $47$, and all bipartite edge-transitive graphs of order up to $63$. We also give an answer to a 1967 question of Folkman about semi-symmetric graphs of large valency; in fact we show that for semi-symmetric graphs of order $2n$ and valency $d$, the ratio $d/n$ can be arbitrarily close to $1$.