Showing 20 papers (Total: 81756 papers, 47371 authors in database)
On Freiman's Theorem in Nilpotent Groups
Published
• View Publication
• BIB
We generalize a result of Tao which extends Freiman's theorem to the Heisenberg group. We extend it to simply connected nilpotent Lie groups of arbitrary step.
A bracket polynomial for graphs. II. Links, Euler circuits and marked graphs
Published
• View Publication
• BIB
Let $D$ be an oriented classical or virtual link diagram with directed universe $\vec{U}$. Let $C$ denote a set of directed Euler circuits, one in each connected component of $U$. There is then an associated looped interlacement graph $L(D,C)$ whose construction involves very little geometric information about the way $D$ is drawn in the plane; consequently $L(D,C)$ is different from other combinatorial structures associated with classical link diagrams, like the checkerboard graph, which can be difficult to extend to arbitrary virtual links. $L(D,C)$ is determined by three things: the structure of $\vec{U}$ as a 2-in, 2-out digraph, the distinction between crossings that make a positive contribution to the writhe and those that make a negative contribution, and the relationship between $C$ and the directed circuits in $\vec{U}$ arising from the link components; this relationship is indicated by marking the vertices where $C$ does not follow the incident link component(s). We introduce a bracket polynomial for arbitrary marked graphs, defined using either a formula involving matrix nullities or a recursion involving the local complement and pivot operations; the marked-graph bracket of $L(D,C)$ is the same as the Kauffman bracket of $D$. This provides a unified combinatorial description of the Jones polynomial that applies seamlessly to both classical and non-classical virtual links.
Counting Bipartite, k-Colored and Directed Acyclic Multi Graphs Through F-nomial coefficients
F-nomial coefficients encompass among others well-known binomial coefficients or Gaussian coefficients that count subsets of finite set and subspaces of finite vector space respectively. Here, the so called F-cobweb tiling sequences N(a) are considered. For such specific sequences a new interpretation with respect to Kwasniewski general combinatorial interpretation of F-nomial coefficients is unearhed.
Namely, for tiling sequences F = N(a)$ the F-nomial coefficients are equal to the number of labeled special bipartite multigraphs denoted here as a-multigraphs G(a,n,k).
An explicit relation between the number of k-colored a-multigraphs and multi N(a)-nomial coefficients is established. We also prove that the unsigned values of the first row of inversion matrix for N(a) -nomial coefficients considered here are equal to the numbers of directed acyclic a-multigraphs with n nodes.
A Characterization On Potentially $K_6-C_4$-graphic Sequences
For given a graph $H$, a graphic sequence $π=(d_1,d_2,...,d_n)$ is said to be potentially $H$-graphic if there exists a realization of $π$ containing $H$ as a subgraph. Let $K_m-H$ be the graph obtained from $K_m$ by removing the edges set $E(H)$ where $H$ is a subgraph of $K_m$. In this paper, we characterize the potentially $K_6-C_4$-graphic sequences. This characterization implies a theorem due to Hu and Lai [7].
A Characterization On Potentially $K_{2,5}$-graphic Sequences
For given a graph $H$, a graphic sequence $π=(d_1,d_2,...,d_n)$ is said to be potentially $H$-graphic if there exists a realization of $π$ containing $H$ as a subgraph. Let $K_m-H$ be the graph obtained from $K_m$ by removing the edges set $E(H)$ where $H$ is a subgraph of $K_m$. In this paper, we characterize potentially $K_{2,5}$-graphic sequences. This characterization implies a special case of a theorem due to Yin et al. [26].
Lattice width directions and Minkowski's 3^d-theorem
Published in SIAM Journal on Discrete Mathematics 26(3), 1104-1107, 2012
• View Publication
• BIB
We show that the number of lattice directions in which a d-dimensional convex body in R^d has minimum width is at most 3^d-1, with equality only for the regular cross-polytope. This is deduced from a sharpened version of the 3^d-theorem due to Hermann Minkowski (22 June 1864--12 January 1909), for which we provide two independent proofs.
Torelli theorem for graphs and tropical curves
Published in Duke Math. J. 153, no. 1 (2010), 129-171
• View Publication
• BIB
Algebraic curves have a discrete analogue in finite graphs. Pursuing this analogy we prove a Torelli theorem for graphs. Namely, we show that two graphs have the same Albanese torus if and only if the graphs obtained from them by contracting all separating edges are 2-isomorphic. In particular, the strong Torelli theorem holds for 3-connected graphs. Next, using the correspondence between compact tropical curves and metric graphs, we prove a tropical Torelli theorem giving necessary and sufficient conditions for two tropical curves to have the same principally polarized tropical Jacobian. Finally we describe some natural posets associated to a graph and prove that they characterize its Delaunay decomposition.
The sphericity of the Phan geometries of type Bn and Cn and the Phan-type theorem of type F4
Published in Trans. Amer. Math. Soc. 365 (2013), no. 3, 1577-1602
• View Publication
• BIB
We adapt and refine methods developed by Abramenko and Devillers--Köhl--Mühlherr in order to establish the sphericity of the Phan geometries of type B_n and C_n, and their generalizations. As an application we determine the finiteness length of the unitary form of certain hyperbolic Kac--Moody groups. We also reproduce the finiteness length of the unitary form of the groups Sp_{2n}(GF(q^2)[t,t^{-1}]). Another application is the first published proof of the Phan-type theorem of type F_4. Within the revision of the classification of the finite simple groups this concludes the revision of Phan's theorems and their extension to the non-simply laced diagrams. We also reproduce the Phan-type theorems of types B_n and C_n.
Non-crossing linked partitions, the partial order << on NC(n), and the S-transform
Published
• View Publication
• BIB
The paper establishes a connection between two recent combinatorial developments in free probability: the non-crossing linked partitions introduced by Dykema in 2007 to study the S-transform, and the partial order << on NC(n) introduced by Belinschi and Nica in 2008 in order to study relations between free and Boolean probability. More precisely, one has a canonical bijection between NCL(n) (the set of all non-crossing linked partitions of {1, ..., n}) and the set {(p,q) | p,q in NC(n), p<<q}. As a consequence of this bijection, one gets an alternative description of Dykema's formula expressing the moments of a noncommutative random variable a in terms of the coefficients of the reciprocal S-transform 1/S_a. Moreover, due to the Boolean features of <<, this formula can be simplified to a form which resembles the moment-cumulant formula from c-free probability.
Notes on a minimal set of generators for the radical ideal defining the diagonal locus of $(\C^2)^n$
We develop several techniques for the study of the radical ideal $I$ defining the diagonal locus of $(\C^2)^n$. Using these techniques, we give combinatorial construction of generators for $I$ of certain bi-degrees.
Computing the number of numerical semigroups using generating functions
Published
• View Publication
• BIB
This paper presents a new methodology to count the number of numerical semigroups of given genus or Frobenius number. We apply generating function tools to the bounded polyhedron that classifies the semigroups with given genus (or Frobenius number) and multiplicity. First, we give theoretical results about the polynomial-time complexity of counting the number of these semigroups. We also illustrate the methodology analyzing the cases of multiplicity 3 and 4 where some formulas for the number of numerical semigroups for any genus and Frobenius number are obtained.
Graph-Chromatic Implicit Relations
A theory about the implication structure in graph coloring is presented. Discovering hidden relations is a crucial activity in every scientific discipline. The development of mathematical models to study and discover such hidden relations is of the most highest interest. The main contribution presented in this work is a model of hidden relations materialized as implicit-edges and implicit-identities in the graph coloring problem, these relations can be interpreted in physical and chemical models as hidden forces, hidden interactions, hidden reactions or hidden variables. Also this theory can be extended to the complete class of NP-complete problems.
Seifert cohomology of trees
To every tree we associate a filtered cochain complex. Its cohomology and the corresponding spectral sequence have clear combinatorial description. If a tree is the Dynkin diagram of a simple plane curve singularity, the graded Euler characteristic of this complex coincides with the Alexander polynomial of the link. In this case we also point the relation to the Heegard-Floer homology theory, constructed by P. Ozsvath and Z. Szabo.
A new Kempe invariant and the (non)-ergodicity of the Wang-Swendsen-Kotecky algorithm
Published in J. Phys. A: Math. Theor. 42 (2009) 225204
• View Publication
• BIB
We prove that for the class of three-colorable triangulations of a closed oriented surface, the degree of a four-coloring modulo 12 is an invariant under Kempe changes. We use this general result to prove that for all triangulations T(3L,3M) of the torus with 3<= L <= M, there are at least two Kempe equivalence classes. This result implies in particular that the Wang-Swendsen-Kotecky algorithm for the zero-temperature 4-state Potts antiferromagnet on these triangulations T(3L,3M) of the torus is not ergodic.
The Symmetries of the $π$-metric
Let V be an n-dimensional vector space over a finite field F_q. We consider on V the $π$-metric recently introduced by K. Feng, L. Xu and F. J. Hickernell. In this short note we give a complete description of the group of symmetries of V under the $π$-metric.
Combinatorics and N-Koszul algebras
Published
• View Publication
• BIB
The numerical Hilbert series combinatorics and the comodule Hilbert series combinatorics are introduced, and some applications are presented, including the MacMahon Master Theorem.
Constructing subsets of a given packing index in Abelian groups
Published in Acta Univ. Carolinae, Math. Phys. 48:2 (2007)
• Search Publication
By definition, the sharp packing index $\ind_P^\sharp(A)$ of a subset $A$ of an abelian group $G$ is the smallest cardinal $κ$ such that for any subset $B\subset G$ of size $|B|\geκ$ the family $\{b+A:b\in B\}$ is not disjoint. We prove that an infinite Abelian group $G$ contains a subset $A$ with given index $\ind_P^\sharp(A)=κ$ if and only if one of the following conditions holds: (1) $2\le κ\le|G|^+$ and $k\notin \{3,4\}$; (2) $κ=3$ and $G$ is not isomorphic to $\oplus_{i\in I} \mathbb{Z}_3$; (3) $κ=4$ and $G$ is not isomorphic to $\oplus_{i\in I} \mathbb{Z}_2$ or to
$\mathbb{Z}_4\oplus(\oplus_{i\in I} \mathbb{Z}_2)$.
Positive definite functions in distance geometry
Published in European Congress of Mathematics Amsterdam, 14-18 July, 2008, 115-134, EMS Publishing House, 2010
• View Publication
• BIB
I. J. Schoenberg proved that a function is positive definite in the unit sphere if and only if this function is a nonnegative linear combination of Gegenbauer polynomials. This fact play a crucial role in Delsarte's method for finding bounds for the density of sphere packings on spheres and Euclidean spaces. One of the most excited applications of Delsarte's method is a solution of the kissing number problem in dimensions 8 and 24. However, 8 and 24 are the only dimensions in which this method gives a precise result. For other dimensions (for instance, three and four) the upper bounds exceed the lower. We have found an extension of the Delsarte method that allows to solve the kissing number problem (as well as the one-sided kissing number problem) in dimensions three and four. In this paper we also will discuss the maximal cardinalities of spherical two-distance sets. Using the so-called polynomial method and Delsarte's method these cardinalities can be determined for all dimensions $n<40$. Recently, were found extensions of Schoenberg's theorem for multivariate positive-definite functions. Using these extensions and semidefinite programming can be improved some upper bounds for spherical codes.
A simplicial $A_\infty$-operad acting on $R$-resolutions
Published
• View Publication
• BIB
We construct a combinatorial model of an A-infinity-operad which acts simplicially on the cobar resolution (not just its total space) of a simplicial set with respect to a ring R.
Circular edge-colorings of cubic graphs with girth six
Published in Journal of Combinatorial Theory, Series B 100(4):352--358, 2010
• View Publication
• BIB
We show that the circular chromatic index of a (sub)cubic graph with girth at least six is at most 7/2.