group
10224 papers tagged with this keyword
Extended visual cryptography systems
Published
• View Publication
• BIB
Visual cryptography schemes have been introduced in 1994 by Naor and Shamir. Their idea was to encode a secret image into $n$ shadow images and to give exactly one such shadow image to each member of a group $P$ of $n$ persons. Whereas most work in recent years has been done concerning the problem of qualified and forbidden subsets of $P$ or the question of contrast optimizing, in this paper we study extended visual cryptography schemes, i.e. shared secret systems where any subset of $P$ shares its own secret.
On the Hanna Neumann Conjecture
The Hanna Neumann conjecture states that if F is a free group, then for all nontrivial finitely generated subgroups H,K <= F, rank(H intersect K) - 1 <= [rank(H)-1] [rank(K)-1]. Where most papers to date have considered a direct graph theoretic interpretation of the conjecture, here we consider the use of monomorphisms. We illustrate the effectiveness of this approach with two results. First, we show that for any finitely generated groups H,K <= F either the pair H,K or the pair H^{-}, K satisfy the Hanna Neumann conjecture--Here {-} denotes the automorphism which sends each generator of F to its inverse. Next, using particular monomorphisms from F to F_2, we obtain that if the Hanna Neumann conjecture is false then there is a counterexample H,K < F_2 having the additional property that all the branch vertices in the foldings of H and K are of degree 3, and all degree 3 vertices have the same local structure or ``type''.
Symmetric groups and random matrices
The convolution of indicators of two conjugacy classes on the symmetric group S_q is usually a complicated linear combination of indicators of many conjugacy classes. Similarly, a product of the moments of the Jucys--Murphy element involves many conjugacy classes with complicated coefficients. In this article we consider a combinatorial setup which allows us to manipulate such products easily and we show that it very closely related to the combinatorial approach to random matrices. Our formulas are exact (in a sense that they hold not only asymptotically for large q). This result has many interesting applications, for example it allows to find precise asymptotics of characters of large symmetric groups and asymptotics of the Plancherel measure on Young diagrams.
Couplings of Uniform Spanniing Forests
Published
• View Publication
• BIB
We prove the existence of an automorphism-invariant coupling for the wired and the free uniform spanning forests on Cayley graphs of finitely generated residually amenable groups.
Complexity and Completeness of Immanants
Immanants are polynomial functions of n by n matrices attached to irreducible characters of the symmetric group S_n, or equivalently to Young diagrams of size n. Immanants include determinants and permanents as extreme cases. Valiant proved that computation of permanents is a complete problem in his algebraic model of NP theory, i.e., it is VNP-complete. We prove that computation of immanants is VNP-complete if the immanants are attached to a family of diagrams whose separation is $Ω(n^δ)$ for some $δ>0$. We define the separation of a diagram to be the largest number of overhanging boxes contained in a single row. Our theorem proves a conjecture of Buergisser for a large variety of families, and in particular we recover with new proofs his VNP-completeness results for hooks and rectangles.
Asymptotics for random walks in alcoves of affine Weyl groups
Published in Séminaire Lotharingien Combin. 52 (2007), Article B52i, 72 pp
• Search Publication
Asymptotic results are derived for the number of random walks in alcoves of affine Weyl groups (which are certain regions in $n$-dimensional Euclidean space bounded by hyperplanes), thus solving problems posed by Grabiner [J. Combin. Theory Ser. A 97 (2002), 285-306]. These results include asymptotic expressions for the number of vicious walkers on a circle, and as well for the number of vicious walkers in an interval. The proofs depart from the exact results of Grabiner [loc. cit.], and require as diverse means as results from symmetric function theory and the saddle point method, among others.
Freely braided elements in Coxeter groups
Published in Annals of Combinatorics 6 (2002), 337-348
• View Publication
• BIB
We introduce a notion of "freely braided element" for simply laced Coxeter groups. We show that an arbitrary group element $w$ has at most $2^{N(w)}$ commutation classes of reduced expressions, where $N(w)$ is a certain statistic defined in terms of the positive roots made negative by $w$. This bound is achieved if $w$ is freely braided. In the type $A$ setting, we show that the bound is achieved only for freely braided $w$.
On the symmetry classes of the first covariant derivatives of tensor fields
Published in Seminaire Lotharingien de Combinatoire, 49 (2003) Article B49f
• Search Publication
We show that the symmetry classes of torsion-free covariant derivatives $\nabla T$ of r-times covariant tensor fields T can be characterized by Littlewood-Richardson products $σ[1]$ where $σ$ is a representation of the symmetric group $S_r$ which is connected with the symmetry class of T. If $σ= [λ]$ is irreducible then $σ[1]$ has a multiplicity free reduction $[λ][1] = \sum [μ]$ and all primitive idempotents belonging to that sum can be calculated from a generating idempotent e of the symmetry class of T by means of the irreducible characters or of a discrete Fourier transform of $S_{r+1}$. We apply these facts to derivatives $\nabla S$, $\nabla A$ of symmetric or alternating tensor fields. The symmetry classes of the differences $\nabla S - sym(\nabla S)$ and $\nabla A - alt(\nabla A)$ are characterized by Young frames (r, 1) and (2, 1^{r-1}), respectively. However, while the symmetry class of $\nabla A - alt(\nabla A)$ can be generated by Young symmetrizers of (2, 1^{r-1}), no Young symmetrizer of (r, 1) generates the symmetry class of $\nabla S - sym(\nabla S)$. Furthermore we show in the case r = 2 that $\nabla S - sym(\nabla S)$ and $\nabla A - alt(\nabla A)$ can be applied in generator formulas of algebraic covariant derivative curvature tensors. For certain symbolic calculations we used the Mathematica packages Ricci and PERMS.
A generalization of the Simion-Schmidt bijection for restricted permutations
Published
• View Publication
• BIB
We consider the two permutation statistics which count the distinct pairs obtained from the last two terms of occurrences of patterns t_1...t_{m-2}m(m-1) and t_1...t_{m-2}(m-1)m in a permutation, respectively. By a simple involution in terms of permutation diagrams we will prove their equidistribution over the symmetric group. As special case we derive a one-to-one correspondence between permutations which avoid each of the patterns t_1...t_{m-2}m(m-1) in S_m and such ones which avoid each of the patterns t_1...t_{m-2}(m-1)m. For m=3, this correspondence coincides with the bijection given by Simion and Schmidt in their famous paper on restricted permutations.
Bravais colourings of planar modules with N-fold symmetry
Published in Zeitschrift f. Kristallographie 219 (2004) 72-80
• View Publication
• BIB
The first step in investigating colour symmetries for periodic and aperiodic systems is the determination of all colouring schemes that are compatible with the symmetry group of the underlying structure, or with a subgroup of it. For an important class of colourings of planar structures, this mainly combinatorial question can be addressed with methods of algebraic number theory. We present the corresponding results for all planar modules with N-fold symmetry that emerge as the rings of integers in cyclotomic fields with class number one. The counting functions are multiplicative and can be encapsulated in Dirichlet series generating functions, which turn out to be the Dedekind zeta functions of the corresponding cyclotomic fields.
SPM Bulletin 1
This is the first issue of a semi-formal bulletin dealing with Selection Principles in Mathematics (SPM) -- this field deals with all sorts of studies of diagonalization arguments, especially in topology (covering properties, sequences of covers, etc.) and infinite combinatorics (cardinal characteristics of the continuum), and their applications to other areas of mathematics (function spaces, game theory, group theory, etc.)
On certain organic compounds with one mono-substitution and at least three di-substitution homogeneous derivatives
Published
• View Publication
• BIB
In this paper parent substances with molecules which can be divided into a skeleton and six univalent substituents, and that have the properties mentioned in the title, are considered. Two instances are the molecules of benzene and cyclopropane. The Lunn-Senior's symmetry groups of substitution isomerism of these compounds are described and upper bounds of the numbers of their di-substitution and tri-substitution homogeneous derivatives are found. Lists of the possible simple substitution reactions among di-substitution homogeneous derivatives, on one hand, and di-substitution heterogeneous, and tri-substitution homogeneous derivatives, on the other, are given. These substitution reactions allow for some derivatives to be identified with their structural formulae.
Zigzag Structure of Simple Two-faced Polyhedra
Published
• View Publication
• BIB
A zigzag in a plane graph is a circuit of edges, such that any two, but no three, consecutive edges belong to the same face. A railroad in a plane graph is a circuit of hexagonal faces, such that any hexagon is adjacent to its neighbors on opposite edges. A graph without a railroad is called tight. We consider the zigzag and railroad structures of general 3-valent plane graph and, especially, of simple two-faced polyhedra, i.e., 3-valent 3-polytopes with only $a$-gonal and $b$-gonal faces, where $3 \le a < b \le 6$; the main cases are $(a,b)=(3,6)$, $(4,6)$ and $(5,6)$ (the fullerenes).
We completely describe the zigzag structure for the case $(a,b)$=$(3,6)$. For the case $(a,b)$=$(4,6)$ we describe symmetry groups, classify all tight graphs with simple zigzags and give the upper bound 9 for the number of zigzags in general tight graphs. For the remaining case $(a,b)$=$(5,6)$ we give a construction realizing a prescribed zigzag structure.
4-valent plane graphs with 2-, 3- and 4-gonal faces
Published
• View Publication
• BIB
Call {\em i-hedrite} any 4-valent n-vertex plane graph, whose faces are 2-, 3- and 4-gons only and $p_2+p_3=i$. The edges of an i-hedrite, as of any Eulerian plane graph, are partitioned by its {\em central circuits}, i.e. those, which are obtained by starting with an edge and continuing at each vertex by the edge opposite the entering one. So, any i-hedrite is a projection of an alternating link, whose components correspond to its central circuits.
Call an i-hedrite {\em irreducible}, if it has no {\em rail-road}, i.e. a circuit of 4-gonal faces, in which every 4-gon is adjacent to two of its neighbors on opposite edges.
We present the list of all i-hedrites with at most 15 vertices. Examples of other results:
(i) All i-hedrites, which are not 3-connected, are identified. (ii) Any irreducible i-hedrite has at most i-2 central circuits. (iii) All i-hedrites without self-intersecting central circuits are listed. (iv) All symmetry group of i-hedrites are listed.
The excedances and descents of bi-increasing permutations
Starting from some considerations we make about the relations between certain difference statistics and the classical permutation statistics we study permutations whose inversion number and excedance difference coincide. It turns out that these (so-called bi-increasing) permutations are just the 321-avoiding ones. The paper investigates their excedance and descent structure. In particular, we find some nice combinatorial interpretations for the distribution coefficients of the number of excedances and descents, respectively, and their difference analogues over the bi-increasing permutations in terms of parallelogram polyominoes and 2-Motzkin paths. This yields a connection between restricted permutations, parallelogram polyominoes, and lattice paths that reveals the relations between several well-known bijections given for these objects (e.g. by Delest-Viennot, Billey-Jockusch-Stanley, Francon-Viennot, and Foata-Zeilberger). As an application, we enumerate skew diagrams according to their rank and give a simple combinatorial proof for a result concerning the symmetry of the joint distribution of the number of excedances and inversions, respectively, over the symmetric group.
Reversible coagulation-fragmentation processes and random combinatorial structures:asymptotics for the number of groups
Published
• View Publication
• BIB
We establish the central limit theorem for the number of groups at the equilibrium of a coagulation-fragmentation process given by a parameter function with polynomial rate of growth. The result obtained is compared with the one for random combinatorial structures obeying the logarithmic condition.
Symplectic operad geometry and graph homology
A theorem of Kontsevich relates the homology of certain infinite dimensional Lie algebras to graph homology. We formulate this theorem using the language of reversible operads and mated species. All ideas are explained using a pictorial calculus of cuttings and matings. The Lie algebras are constructed as Hamiltonian functions on a symplectic operad manifold. And graph complexes are defined for any mated species. The general formulation gives us many examples including a graph homology for groups. We also speculate on the role of deformation theory for operads in this setting.
Castelnuovo-Mumford regularity by approximation
Published in Adv. Math. 188 (2004), no. 1, 104-123
• View Publication
• BIB
The Castelnuovo-Mumford regularity of a module gives a rough measure of its complexity. We bound the regularity of a module given a system of approximating modules whose regularities are known. Such approximations can arise naturally for modules constructed by inductive combinatorial means. We apply these methods to bound the regularity of ideals constructed as combinations of linear ideals and the module of derivations of a hyperplane arrangement as well as to give degree bounds for invariants of finite groups.
Resonant local systems on complements of discriminantal arrangements and sl_2 representations
Published in Geom. Dedicata 101 (2003), 217-234
• View Publication
• BIB
We calculate the skew-symmetric cohomology of the complement of a discriminantal hyperplane arrangement with coefficients in local systems arising in the context of the representation theory of the Lie algebra sl_2. For a discriminantal arrangement in C^k, the skew-symmetric cohomology is nontrivial in dimension k-1 precisely when the "master function" which defines the local system on the complement has nonisolated critical points. In symmetric coordinates, the critical set is a union of lines. Generically, the dimension of this nontrivial skew-symmetric cohomology group is equal to the number of critical lines.
Decomposing Hessenberg varieties over classical groups
Hessenberg varieties are a family of subvarieties of the flag variety, including the Springer fibers, the Peterson variety, and the entire flag variety itself. The seminal example arises from a problem in numerical analysis and consists for a fixed linear operator M of the full flags V_1 \subsetneq V_2 >... \subsetneq V_n in GL_n with M V_i contained in V_{i+1} for all i.
In this paper I show that all Hessenberg varieties in type A_n and semisimple and regular nilpotent Hessenberg varieties in types B_n,C_n, and D_n can be paved by affine spaces. Moreover, this paving is the intersection of a particular Bruhat decomposition with the Hessenberg variety. In type A_n, an equivalent description of the cells of the paving in terms of certain fillings of a Young diagram can be used to compute the Betti numbers of Hessenberg varieties. As an example, I show that the Poincare polynomial of the Peterson variety in A_n is \sum_{i =0}^{n-1} \binom{n-1}{i} x^{2i}.