Showing 20 papers (Total: 83133 papers, 48023 authors in database)
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.
On the representability of totally unimodular matrices on bidirected graphs
Published in Discrete Mathematics, Volume 309, Issue 16, 28 August 2009, Pages 5024-5042
• View Publication
• BIB
Seymour's famous decomposition theorem for regular matroids states that any totally unimodular (TU) matrix can be constructed through a series of composition operations called $k$-sums starting from network matrices and their transposes and two compact representation matrices $B_{1}, B_{2}$ of a certain ten element matroid. Given that $B_{1}, B_{2}$ are binet matrices we examine the $k$-sums of network and binet matrices. It is shown that the $k$-sum of a network and a binet matrix is a binet matrix, but binet matrices are not closed under this operation for $k=2,3$. A new class of matrices is introduced the so called {\em tour matrices}, which generalises network, binet and totally unimodular matrices. For any such matrix there exists a bidirected graph such that the columns represent a collection of closed tours in the graph. It is shown that tour matrices are closed under $k$-sums, as well as under pivoting and other elementary operations on its rows and columns. Given the constructive proofs of the above results regarding the $k$-sum operation and existing recognition algorithms for network and binet matrices, an algorithm is presented which constructs a bidirected graph for any TU matrix.
Finitely forcible graphons
Published in Journal of Combinatorial Theory, Series B 101 (2011), 269-301
• Search Publication
We investigate families of graphs and graphons (graph limits) that are defined by a finite number of prescribed subgraph densities. Our main focus is the case when the family contains only one element, i.e., a unique structure is forced by finitely many subgraph densities. Generalizing results of Turan, Erdos-Simonovits and Chung-Graham-Wilson, we construct numerous finitely forcible graphons. Most of these fall into two categories: one type has an algebraic structure and the other type has an iterated (fractal-like) structure. We also give some necessary conditions for forcibility, which imply that finitely forcible graphons are "rare", and exhibit simple and explicit non-forcible graphons.
Isomorphism and Symmetries in Random Phylogenetic Trees
The probability that two randomly selected phylogenetic trees of the same size are isomorphic is found to be asymptotic to a decreasing exponential modulated by a polynomial factor. The number of symmetrical nodes in a random phylogenetic tree of large size obeys a limiting Gaussian distribution, in the sense of both central and local limits. The probability that two random phylogenetic trees have the same number of symmetries asymptotically obeys an inverse square-root law. Precise estimates for these problems are obtained by methods of analytic combinatorics, involving bivariate generating functions, singularity analysis, and quasi-powers approximations.