group
10405 papers tagged with this keyword
A problem on partial sums in abelian groups
Published
• View Publication
• BIB
In this paper we propose a conjecture concerning partial sums of an arbitrary finite subset of an abelian group, that naturally arises investigating simple Heffter systems. Then, we show its connection with related open problems and we present some results about the validity of these conjectures.
Vertex transitive graphs $G$ with $χ_D(G) > χ(G)$ and small automorphism group
Published
• View Publication
• BIB
For a graph $G$ and a positive integer $k$, a vertex labelling $f:V(G)\to\{1,2\ldots,k\}$ is said to be $k$-distinguishing if no non-trivial automorphism of $G$ preserves the sets $f^{-1}(i)$ for each $i\in\{1,\ldots,k\}$. The distinguishing chromatic number of a graph $G$, denoted $χ_D(G)$, is defined as the minimum $k$ such that there is a $k$-distinguishing labelling of $V(G)$ which is also a proper coloring of the vertices of $G$. In this paper, we prove the following theorem: Given $k\in\mathbb{N}$, there exists an infinite sequence of vertex-transitive graphs $G_{i}=(V_i,E_i)$ such that $χ_D(G_i)>χ(G_i)>k$ and $|\mathrm{Aut}(G_i)|=O_k(|V_i|)$, where $\mathrm{Aut}(G_i)$ denotes the full automorphism group of $G_i$. In particular, this answers a problem raised in the paper $χ_D(G)$, $|\mathrm{Aut}(G)|$ and a variant of the Motion lemma.
Hilbert series for twisted commutative algebras
Published in Algebraic Combinatorics 1 (2018), no. 1, 147-172
• View Publication
• BIB
Suppose that for each n >= 0 we have a representation $M_n$ of the symmetric group S_n. Such sequences arise in a wide variety of contexts, and often exhibit uniformity in some way. We prove a number of general results along these lines in this paper: our prototypical theorem states that if $M_n$ can be given a suitable module structure over a twisted commutative algebra then the sequence $M_n$ follows a predictable pattern. We phrase these results precisely in the language of Hilbert series (or Poincaré series, or formal characters) of modules over tca's.
Tutte Polynomials of Symmetric Hyperplane Arrangements
Originally in 1954 the Tutte polynomial was a bivariate polynomial associated to a graph in order to enumerate the colorings of this graph and of its dual graph at the same time. However the Tutte polynomial reveals more of the internal structure of a graph, and contains even other specializations from other sciences like the Jones polynomial in Knot theory, the partition function of the Pott model in statistical physics, and the reliability polynomial in network theory. In this article, we study the Tutte polynomial associated to more general objects which are the arrangements of hyperplanes. Indeed determining the Tutte polynomial of a graph is equivalent to determining the Tutte polynomial of a special hyperplane arrangement called graphic arrangement. In 2007 Ardila computed the Tutte polynomials of the hyperplane arrangements associated to the classical Weyl groups, and the characteristic polynomials of the Catalan arrangements. The charateristic polynomial is also a specialization of the Tutte polynomial. In 2012 Seo computed the characteristic polynomials of the Shi threshold arrangements, and in 2017 Song computed the characteristic polynomials of the $\mathcal{I}_n$ arrangements in the plane and in the space. We aim to bring a more general result by introducing a wider class of hyperplane arrangements which is the set of symmetric hyperplane arrangements. We compute the Tutte polynomial of a symmetric hyperplane arrangement, and, as examples of application, we deduce the Tutte polynomials of the Catalan, the Shi threshold, and the $\mathcal{I}_n$ arrangements.
Minimizing the Cost of Team Exploration
Published
• View Publication
• BIB
A group of mobile agents is given a task to explore an edge-weighted graph $G$, i.e., every vertex of $G$ has to be visited by at least one agent. There is no centralized unit to coordinate their actions, but they can freely communicate with each other. The goal is to construct a deterministic strategy which allows agents to complete their task optimally. In this paper we are interested in a cost-optimal strategy, where the cost is understood as the total distance traversed by agents coupled with the cost of invoking them. Two graph classes are analyzed, rings and trees, in the off-line and on-line setting, i.e., when a structure of a graph is known and not known to agents in advance. We present algorithms that compute the optimal solutions for a given ring and tree of order $n$, in $O(n)$ time units. For rings in the on-line setting, we give the $2$-competitive algorithm and prove the lower bound of $3/2$ for the competitive ratio for any on-line strategy. For every strategy for trees in the on-line setting, we prove the competitive ratio to be no less than $2$, which can be achieved by the $DFS$ algorithm.
Operations preserving equivalence relations
In 2014, Cégielski, Grigorieff and Guessarian characterized unary self-maps on the set $\mathbb{Z}$ of integers which preserve all congruences of the additive group. In this note, we propose a shorter and straigthforward proof. We replace this result in the frame of universal algebra.
Complex Hadamard matrices with noncommutative entries
Published in Ann. Funct. Anal. 9, no. 3 (2018), 354-368
• View Publication
• BIB
We axiomatize and study the matrices of type $H\in M_N(A)$, having unitary entries, $H_{ij}\in U(A)$, and whose rows and columns are subject to orthogonality type conditions. Here $A$ can be any $C^*$-algebra, for instance $A=\mathbb C$, where we obtain the usual complex Hadamard matrices, or $A=C(X)$, where we obtain the continuous families of complex Hadamard matrices. Our formalism allows the construction of a quantum permutation group $G\subset S_N^+$, whose structure and computation is discussed here.
Maximum nullity of Cayley graph
One of the most interesting problems on maximum nullity (minimum rank) is to characterize $M(\mathcal{G})$ ($mr(\mathcal{G})$) for a graph $\mathcal{G}$. In this regard, many researchers have been trying to find an upper or lower bound for the maximum nullity. For more results on this topic, see \cite{4}, \cite{2}, \cite{10} and \cite{1}.
In this paper, by using a result of Babai \cite{Babai}, which presents the spectrum of a Cayley graph in terms of irreducible characters of the underlying group, and using representation and character of groups, we give a lower bound for the maximum nullity of Cayley graph, $X_S(G)$, where $G=\langle a\rangle$ is a cyclic group, or $G=G_1\times \cdots\times G_t$ such that $G_1=\langle a\rangle$ is a cyclic group and $G_i$ is an arbitrary finite group, for some $2\leq i\leq t$, with determine the spectrum of Cayley graphs.
The maximal subgroups and the complexity of the flow semigroup of finite (di)graphs
The flow semigroup, introduced by John Rhodes, is an invariant for digraphs and a complete invariant for graphs. After collecting together previous partial results, we refine and prove Rhodes's conjecture on the structure of the maximal groups in the flow semigroup for finite, antisymmetric, strongly connected digraphs.
Building on this result, we investigate and fully describe the structure and actions of the maximal subgroups of the flow semigroup acting on all but $k$ points for all finite digraphs and graphs for all $k\geq 1$. A linear algorithm (in the number of edges) is presented to determine these so-called `defect $k$ groups' for any finite (di)graph.
Finally, we prove that the complexity of the flow semigroup of a 2-vertex connected (and strongly connected di)graph with $n$ vertices is $n-2$, completely confirming Rhodes's conjecture for such (di)graphs.
A Demazure crystal construction for Schubert polynomials
Published in Algebraic Combinatorics 1(2) (2018) 225-247
• View Publication
• BIB
Stanley symmetric functions are the stable limits of Schubert polynomials. In this paper, we show that, conversely, Schubert polynomials are Demazure truncations of Stanley symmetric functions. This parallels the relationship between Schur functions and Demazure characters for the general linear group. We establish this connection by imposing a Demazure crystal structure on key tableaux, recently introduced by the first author in connection with Demazure characters and Schubert polynomials, and linking this to the type A crystal structure on reduced word factorizations, recently introduced by Morse and the second author in connection with Stanley symmetric functions.
Restriction of Odd Degree Characters of $\mathfrak{S}_n$
Published in SIGMA 13 (2017), 070, 10 pages
• View Publication
• BIB
Let $n$ and $k$ be natural numbers such that $2^k < n$. We study the restriction to $\mathfrak{S}_{n-2^k}$ of odd-degree irreducible characters of the symmetric group $\mathfrak{S}_n$. This analysis completes the study begun in [Ayyer A., Prasad A., Spallone S., Sem. Lothar. Combin. 75 (2015), Art. B75g, 13 pages] and recently developed in [Isaacs I.M., Navarro G., Olsson J.B., Tiep P.H., J. Algebra 478 (2017), 271-282].
Group divisible (K_4-e)-packings with any minimum leave
Published
• View Publication
• BIB
A decomposition of $K_{n(g)}\setminus L$, the complete n-partite equipartite graph with a subgraph L (called the leave) removed, into edge disjoint copies of a graph G is called a maximum group divisible packing of $K_{n(g)}$ with G if L contains as few edges as possible. We examine all possible minimum leaves for maximum group divisible $(K_4-e)$-packings. Necessary and sufficient conditions are established for their existences.
Conscious and controlling elements in combinatorial group testing problems with more defectives
Published
• View Publication
• BIB
In combinatorial group testing problems Questioner needs to find a defective element $x\in [n]$ by testing subsets of $[n]$. In [18] the authors introduced a new model, where each element knows the answer for those queries that contain it and each element should be able to identify the defective one. In this article we continue to investigate this kind of models with more defective elements. We also consider related models inspired by secret sharing models, where the elements should share information among them to find out the defectives. Finally the adaptive versions of the different models are also investigated.
Construction of strongly regular Cayley graphs based on three-valued Gauss periods
Published
• View Publication
• BIB
In this paper, we give a construction of strongly regular Cayley graphs on the additive groups of finite fields based on three-valued Gauss periods. As consequences, we obtain two infinite families and one sporadic example of new strongly regular Cayley graphs. This construction can be viewed as a generalization of that of strongly regular Cayley graphs obtained in \cite{BLMX}.
Sandpile Groups of Random Bipartite Graphs
Published
• View Publication
• BIB
We determine the asymptotic distribution of the p-rank of the sandpile groups of random bipartite graphs. We see that this depends on the ratio between the number of vertices on each side, with a threshold when the ratio between the sides is equal to 1/p. We follow the approach of Melanie Wood and consider random graphs as a special case of random matrices, and rely on a variant the definition of min-entropy given by Maples, in order to obtain useful results about these random matrices. Our results show that unlike the sandpile groups of Erdos-Renyi random graphs, the distribution of the sandpile groups of random bipartite graphs depends on the properties of the graph, rather than coming from some more general random group model.
Conjectures about certain parabolic Kazhdan--Lusztig polynomials
Published in Geometric Aspects of the Trace Formula, Simons Symposia (Springer, 2018), p. 267-298
• View Publication
• BIB
Irreducibility results for parabolic induction of representations of the general linear group over a local non-archimedean field can be formulated in terms of Kazhdan--Lusztig polynomials of type $A$. Spurred by these results and some computer calculations, we conjecture that certain alternating sums of Kazhdan--Lusztig polynomials known as parabolic Kazhdan--Lusztig polynomials satisfy properties analogous to those of the ordinary ones.
A vanishing result for the first twisted cohomology of affine varieties and applications to line arrangements
Published in Manuscripta Mathematica 157 (2018), no. 3-4, 497-511
• View Publication
• BIB
A general vanishing result for the first cohomology group of affine smooth complex varieties with values in rank one local systems is established. This is applied to the determination of the monodromy action on the first cohomology group of the Milnor fiber of some line arrangements, including the monomial arrangement and the exceptional reflection arrangement of type $G_{31}$.
Connectedness of two-sided group digraphs and graphs
Published in Involve 11 (2018) 679-699
• View Publication
• BIB
Two-sided group digraphs and graphs, introduced by Iradmusa and Praeger, provide a generalization of Cayley digraphs and graphs in which arcs are determined by left and right multiplying by elements of two subsets of the group. We characterize when two-sided group digraphs and graphs are weakly and strongly connected and count connected components, using both an explicit elementary perspective and group actions. Our results and examples address four open problems posed by Iradmusa and Praeger that concern connectedness and valency. We pose five new open problems.
Cherlin's conjecture for sporadic simple groups
Published in Pacific J. Math. 297 (2018) 47-66
• View Publication
• BIB
We prove Cherlin's conjecture, concerning binary primitive permutation groups, for those groups with socle isomorphic to a sporadic simple group.
On disjoint $(v,k,k-1)$ difference families
Published
• View Publication
• BIB
A disjoint $(v,k,k-1)$ difference family in an additive group $G$ is a partition of $G\setminus\{0\}$ into sets of size $k$ whose lists of differences cover, altogether, every non-zero element of $G$ exactly $k-1$ times. The main purpose of this paper is to get the literature on this topic in order, since some authors seem to be unaware of each other's work. We show, for instance, that a couple of heavy constructions recently presented as new, had been given in several equivalent forms over the last forty years. We also show that they can be quickly derived from a general nearring theory result which probably passed unnoticed by design theorists and that we restate and reprove in terms of differences. We exploit this result to get an infinite class of disjoint $(v,k,k-1)$ difference families coming from the Fibonacci sequence. Finally, we will prove that if all prime factors of $v$ are congruent to 1 modulo $k$, then there exists a disjoint $(v,k,k-1)$ difference family in every group, even non-abelian, of order $v$.