Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Coassociative magmatic bialgebras and the Fine numbers
Published in J. Algebraic Combin. 28 (2008), no. 1, 97-114
• View Publication
• BIB
We prove a structure theorem for the connected coassociative magmatic bialgebras. The space of primitive elements is an algebra over an operad called the primitive operad. We prove that the primitive operad is magmatic generated by n-2 operations of arity n. The dimension of the space of all the n-ary operations of this primitive operad turns out to be the Fine number F_{n-1}. In short, the triple of operads (As, Mag, MagFine) is good.
Mark sequences in digraphs
Published in Seminare Lotharingien de Combinatoire, 55(2006) Art.B55c
• Search Publication
A k-digraph is an orientation of a multi-graph that is without loops and contains at most k edges between any pair of distinct vertices. We obtain necessary and sufficient conditions for a sequence of non-negative integers in non-decreasing order to be a sequence of numbers, called marks (k-scores), attached to vertices of a k-digraph. We characterize irreducible mark sequences in k-digraphs and uniquely realizable mark sequences in 2-digraphs.
New proof of a Theorem on k-hypertournament losing scores
In this paper, we give a new and short proof of a Theorem on k-hypertournament losing scores due to Zhou et al.[7].
Polyboxes, cube tilings and rigidity
Published
• View Publication
• BIB
A non-empty subset A of X = X_1 x...x X_d is a (proper) box if A = A_1 x...x A_d and A_i is a (proper) subset of X_i for each i. Suppose that for each pair of boxes A, B and each i, one can only know which of the three states takes place: A_i = B_i, A_i = X_i\setminus B_i, A_i is different from each of the sets B_i, X_i\setminus B_i. Let F and G be two systems of disjoint boxes. Can one decide whether their unions are equal? In general, the answer is no, but as is shown in the paper, it is yes if both systems consist of pairwise dichotomous boxes. Several criteria that enable to compare such systems are collected. The paper includes also rigidity results, which say what assumptions have to be imposed on F to ensure that \bigcup F = \bigcup G implies F = G. As an application, the rigidity conjecture for 2-extremal cube tilings of Lagarias and Shor is verified.
Approximation by the Dickman distribution and quasi-logarithmic combinatorial structures
Published
• View Publication
• BIB
This paper has been withdrawn by the author; a revised version is part of the author's phd-thesis "Quasi-logarithmic structures" (Zurich, 2007).
Score lists in [h-k]-bipartite hypertournaments
Published
• View Publication
• BIB
Given non-negative integers m, n, h and k with $ m\geq h>1 $ and $ n\geq k>1, $an [h-k]-bipartite hypertournament on $ m+n$ vertices is a triple $(U,V,A) $, where U and V are two sets of vertices with $| U| =m$ and $ | V| =n,$ and $A$ is a set of $(h+k) -$ tuples of vertices, called arcs, with exactly $h$ vertices from $U$ and exactly $k$ vertices from $V$, such that any $h+k$ subsets $ U_{1}\cup V_{1}$ of $U\cup V, A$ contains exactly one of the $(h+k) ! (h+k) -$tuples whose entries belong to $U_{1}\cup V_{1}.$ We obtain necessary and sufficient conditions for a pair of non-decreasing sequences of non-negative integers to be the losing score lists or score lists of some$[h-k]-$bipartite hypertournament.\bigskip
Score sets in oriented bipartite graphs
Published in Novi Sad J. Mathematics, Vol.36, No.1(2006)35-45
• Search Publication
The set A of distinct scores of the vertices of an oriented bipartite graph D(U, V) is called its score set. We consider the following question: given a finite, nonempty set A of positive integers, is there an oriented bipartite graph D(U, V) such that score set of D(U, V) is A? We conjecture that there is an affirmative answer, and verify this conjecture when $\mid A\mid $ = 1, 2, 3, or when A is a geometric or arithmetic progression.
A Lie theoretic approach to renormalization
Published in Commun.Math.Phys.276:519-549,2007
• View Publication
• BIB
Motivated by recent work of Connes and Marcolli, based on the Connes-Kreimer approach to renormalization, we augment the latter by a combinatorial, Lie algebraic point of view. Our results rely both on the properties of the Dynkin idempotent, one of the fundamental Lie idempotents in the theory of free Lie algebras, and on properties of Hopf algebras encapsulated in the notion of associated descent algebras. Besides leading very directly to proofs of the main combinatorial aspects of the renormalization procedures, the new techniques give rise to an algebraic approach to the Galois theory of renormalization. In particular, they do not depend on the geometry underlying the case of dimensional regularization and the Riemann-Hilbert correspondence. This is illustrated with a discussion of the BPHZ renormalization scheme.
Asymptotic density in quasi-logarithmic additive number systems
Published in Math. Proc. Cambridge Philos. Soc. (2008), 144, 267-287
• View Publication
• BIB
This paper has been withdrawn by the author; a revised version is part of the author's phd-thesis "Quasi-logarithmic structures" (Zurich, 2007).
Dirac's theorem on simplicial matroids
Published
• View Publication
• BIB
We introduce the notion of k-hyperclique complexes, i.e., the largest simplicial complexes on the set [n] with a fixed k-skeleton. These simplicial complexes are a higher-dimensional analogue of clique (or flag) complexes (case k=2) and they are a rich new class of simplicial complexes.
We show that Dirac's theorem on chordal graphs has a higher-dimensional analogue in which graphs and clique complexes get replaced, respectively, by simplicial matroids and k-hyperclique complexes. We prove also a higher-dimensional analogue of Stanley's reformulation of Dirac's theorem on chordal graphs.
Bounds for Codes by Semidefinite Programming
Published in Proc. Steklov Inst. Math., 263 (2008), 134-149.
• View Publication
• BIB
Delsarte's method and its extensions allow to consider the upper bound problem for codes in 2-point-homogeneous spaces as a linear programming problem with perhaps infinitely many variables, which are the distance distribution. We show that using as variables power sums of distances this problem can be considered as a finite semidefinite programming problem. This method allows to improve some linear programming upper bounds. In particular we obtain new bounds of one-sided kissing numbers.
Affine insertion and Pieri rules for the affine Grassmannian
Published
• View Publication
• BIB
We study combinatorial aspects of the Schubert calculus of the affine Grassmannian Gr associated with SL(n,C). Our main results are: 1) Pieri rules for the Schubert bases of H^*(Gr) and H_*(Gr), which expresses the product of a special Schubert class and an arbitrary Schubert class in terms of Schubert classes. 2) A new combinatorial definition for k-Schur functions, which represent the Schubert basis of H_*(Gr). 3) A combinatorial interpretation of the pairing between homology and cohomology of the affine Grassmannian.
These results are obtained by interpreting the Schubert bases of Gr combinatorially as generating functions of objects we call strong and weak tableaux, which are respectively defined using the strong and weak orders on the affine symmetric group. We define a bijection called affine insertion, generalizing the Robinson-Schensted Knuth correspondence, which sends certain biwords to pairs of tableaux of the same shape, one strong and one weak. Affine insertion offers a duality between the weak and strong orders which does not seem to have been noticed previously.
Our cohomology Pieri rule conjecturally extends to the affine flag manifold, and we give a series of related combinatorial conjectures.
Revisiting two classical results on graph spectra
Published
• View Publication
• BIB
Let mu(G) and mu_min(G) be the largest and smallest eigenvalues of the adjacency matricx of a graph G. We refine quantitatively the following two results on graph spectra. (i) if H is a proper subgraph of a connected graph G, then mu(G)>mu(H). (ii) if G is a connected nonbipartite graph, then mu(G)>-mu_min(G).
The irreducibility of certain pure-cycle Hurwitz spaces
Published
• View Publication
• BIB
We study "pure-cycle" Hurwitz spaces, parametrizing covers of the projective line having only one ramified point over each branch point. We start with the case of genus-0 covers, using a combination of limit linear series theory and group theory to show that these spaces are always irreducible. In the case of four branch points, we also compute the associated Hurwitz numbers. Finally, we give a conditional result in the higher-genus case, requiring at least 3g simply branched points. These results have equivalent formulations in group theory, and in this setting complement results of Conway-Fried-Parker-Volklein.
Chirality Groups of Maps and Hypermaps
Although the phenomenon of chirality appears in many investigations of maps and hypermaps no detailed study of chirality seems to have been carried out. Chirality of maps and hypermaps is not merely a binary invariant but can be quantified by two new invariants -- the chirality group and the chirality index, the latter being the size of the chirality group. A detailed investigation of the chirality groups of maps and hypermaps will be the main objective of this paper. The most extreme type of chirality arises when the chirality group coincides with the monodromy group. Such hypermaps are called totally chiral. Examples of them are constructed by considering appropriate ``asymmetric'' pairs of generators for some non-abelian simple groups. We also show that every finite abelian group is the chirality group of some hypermap, whereas many non-abelian groups, including symmetric and dihedral groups, cannot arise as chirality groups.
Three proofs of the Goulden-Litsyn-Shevelev conjecture on a sequence arising in algebraic geometry
Published in Three proofs and a generalization of the Goulden-Litsyn-Shevelev conjecture on a sequence arising in algebraic geometry, J. Integer Seq. 10 (2007), Article 07.3.7
• Search Publication
I. P. Goulden, S. Litsyn, and V. Shevelev [On a sequence arising in algebraic geometry, J. Integer Sequences 8 (2005), 05.4.7] conjectured that certain Laurent polynomials associated with the solution of a functional equation have only odd negative powers. We prove their conjecture and generalize it.
On the monodromy action on Milnor fibers of graphic arrangements
Published in Topology and its Applications 156 (2009), 761-774
• View Publication
• BIB
We analyze the monodromy action, over the rationals, on the first homology group of the Milnor fiber, for arbitrary subarrangements of Coxeter arrangements. We propose a combinatorial formula for the monodromy action, involving Aomoto complexes in positive characteristic. We verify the formula, in cases A, B and D.
Orthogonal maximal abelian *-subalgebras of the 6x6 matrices
We construct new pairs of orthogonal maximal abelian $*$-subalgebras of $M_6(\mathbb C)$, by classifying all self-adjoint complex Hadamard matrices of order 6. In particular, we exhibit a non-affine one-parameter family of non-equivalent Hadamard matrices of order 6. In the last part of the paper we present other previously unknown examples of complex Hadamard matrices of higher orders.
The Kauffman bracket of virtual links and the Bollobás-Riordan polynomial
Published
• View Publication
• BIB
We show that the Kauffman bracket $[L]$ of a checkerboard colorable virtual link $L$ is an evaluation of the Bollobás-Riordan polynomial $R_{G_L}$ of a ribbon graph associated with $L$. This result generalizes Thistlethwaite's celebrated theorem relating the Kauffman bracket with the Tutte polynomial of planar graphs.
Compression of root systems and the E-sequence
Published
• View Publication
• BIB
We examine certain maps from root systems to vector spaces over finite fields. By choosing appropriate bases, the images of these maps can turn out to have nice combinatorial properties, which reflect the structure of the underlying root system. The main examples are E_6 and E_7.