Showing 20 papers (Total: 83133 papers, 48023 authors in database)
A conjecture on square roots of Laplacian and signless Laplacian eigenvalues of graphs
We conjecture that the sum of the square roots of the Laplacian eigenvalues of a graph does not exceed the sum of the square roots of its signless Laplacian eigenvalues.
Euclidean designs and coherent configurations
Published
• View Publication
• BIB
The concept of spherical $t$-design, which is a finite subset of the unit sphere, was introduced by Delsarte-Goethals-Seidel (1977). The concept of Euclidean $t$-design, which is a two step generalization of spherical design in the sense that it is a finite weighted subset of Euclidean space, by Neumaier-Seidel (1988). We first review these two concepts, as well as the concept of tight $t$-design, i.e., the one whose cardinality reaches the natural lower bound. We are interested in $t$-designs (spherical or Euclidean) which are either tight or close to tight. As is well known by Delsarte-Goethals-Seidel (1977), in the study of spherical $t$-designs and in particular of those which are either tight or close to tight, association schemes play important roles. The main purpose of this paper is to show that in the study of Euclidean $t$-designs and in particular of those which are either tight or close to tight, coherent configurations play important roles. Here, coherent configuration is a purely combinatorial concept defined by D. G. Higman, and is obtained by axiomatizing the properties of general, not necessarily transitive, permutation groups, in the same way as association scheme was obtained by axiomatizing the properties of transitive permutation groups. The main purpose of this paper is to prove that Euclidean $t$-designs satisfying certain conditions give the structure of coherent configurations. Moreover we study the classification problems of Euclidean 4-designs on two concentric spheres with certain additional conditions.
A sum-division estimate of reals
Published
• View Publication
• BIB
Let $A$ be a finite set of positive real numbers. We present a sum-division estimate: |A+A|^2|A/A|\geq\frac{|A|^4}{4}.
The competition numbers of regular polyhedra
Published in Congressus Numerantium 198 (2009) 211-219
• Search Publication
The notion of a competition graph was introduced by J. E. Cohen in 1968. The competition graph C(D) of a digraph D is a (simple undirected) graph which has the same vertex set as D and has an edge between two distinct vertices x and y if and only if there exists a vertex v in D such that (x,v) and (y,v) are arcs of D. For any graph G, G together with sufficiently many new isolated vertices is the competition graph of some acyclic digraph. In 1978, F. S. Roberts defined the competition number k(G) of a graph G as the minimum number of such isolated vertices. In general, it is hard to compute the competition number k(G) for a graph G and it has been one of important research problems in the study of competition graphs to characterize a graph by computing its competition number.
It is well known that there exist 5 kinds of regular polyhedra in the three dimensional Euclidean space: a tetrahedron, a hexahedron, an octahedron, a dodecahedron, and an icosahedron. We regard a polyhedron as a graph. The competition numbers of a tetrahedron, a hexahedron, an octahedron, and a dodecahedron are easily computed by using known results on competition numbers. In this paper, we focus on an icosahedron and give the exact value of the competition number of an icosahedron.
Summing a polynomial function over integral points of a polygon. User's guide
This document is a companion for the Maple program \textbf{Summing a polynomial function over integral points of a polygon}. It contains two parts. First, we see what this programs does. In the second part, we briefly recall the mathematical background.
A Noncrossing Basis for Noncommutative Invariants of SL(2,C)
Published in J. Comb. Th. A 118 (2011), no. 1, 257-269
• View Publication
• BIB
Noncommutative invariant theory is a generalization of the classical invariant theory of the action of $SL(2,\IC)$ on binary forms. The dimensions of the spaces of invariant noncommutative polynomials coincide with the numbers of certain noncrossing partitions. We give an elementary combinatorial explanation of this fact by constructing a noncrossing basis of the homogeneous components. Using the theory free stochastic measures this provides a combinatorial proof of the Molien-Weyl formula in this setting.
On the Reconstruction of Graph Invariants
Published in Electronic Notes in Discrete Mathematics, Volume 34 (2009), pp. 375-379
• View Publication
• BIB
The reconstruction conjecture has remained open for simple undirected graphs since it was suggested in 1941 by Kelly and Ulam. In an attempt to prove the conjecture, many graph invariants have been shown to be reconstructible from the vertex-deleted deck, and in particular, some prominent graph polynomials. Among these are the Tutte polynomial, the chromatic polynomial and the characteristic polynomial. We show that the interlace polynomial, the U -polynomial, the universal edge elimination polynomial xi and the colored versions of the latter two are reconstructible.
The structure of almost all graphs in a hereditary property
Published
• View Publication
• BIB
A hereditary property of graphs is a collection of graphs which is closed under taking induced subgraphs. The speed of ¶is the function n \mapsto |¶_n|, where ¶_n denotes the graphs of order n in ¶. It was shown by Alekseev, and by Bollobas and Thomason, that if ¶is a hereditary property of graphs then |¶_n| = 2^{(1 - 1/r + o(1))n^2/2}, where r = r(¶) \in \N is the so-called `colouring number' of ¶. However, their results tell us very little about the structure of a typical graph G \in ¶.
In this paper we describe the structure of almost every graph in a hereditary property of graphs, ¶. As a consequence, we derive essentially optimal bounds on the speed of ¶, improving the Alekseev-Bollobas-Thomason Theorem, and also generalizing results of Balogh, Bollobas and Simonovits.
Counting substructures II: triple systems
Published
• View Publication
• BIB
For various triple systems $F$, we give tight lower bounds on the number of copies of $F$ in a triple system with a prescribed number of vertices and edges. These are the first such results for hypergraphs, and extend earlier theorems of Bollobás, Frankl, Füredi, Keevash, Pikhurko, Simonovits, and Sudakov who proved that there is one copy of $F$.
A sample result is the following: Füredi-Simonovits and independently Keevash-Sudakov settled an old conjecture of Sós by proving that the maximum number of triples in an $n$ vertex triple system (for $n$ sufficiently large and even) that contains no copy of the Fano plane is $p(n)={n/2 \choose 2}n.$
We prove that there is an absolute constant $c$ such that if $n$ is sufficiently large and $1 \le q \le cn^2$, then every $n$ vertex triple system with $p(n)+q$ edges contains at least $6q({n/2 \choose 4}+(n/2 -3){n/2 \choose 3}$$ copies of the Fano plane. This is sharp for $q\le n/2-2$.
Our proofs use the recently proved hypergraph removal lemma and stability results for the corresponding Turán problem.
Odd-dimensional Charney-Davis conjecture
Published in Discrete and Computational Geometry, Volume 44 (2010), Number 4, pp. 802-804
• View Publication
• BIB
More than once we have heard that the Charney-Davis Conjecture makes sense only for odd-dimensional spheres. This is to point out that in fact it is also a statement about even-dimensional spheres.
New inequalities for subspace arrangements
Published in J. Combin. Theory Ser. A, 2010
• View Publication
• BIB
For each positive integer $n \geq 4$, we give an inequality satisfied by rank functions of arrangements of $n$ subspaces. When $n=4$ we recover Ingleton's inequality; for higher $n$ the inequalities are all new. These inequalities can be thought of as a hierarchy of necessary conditions for a (poly)matroid to be realizable. Some related open questions about the "cone of realizable polymatroids" are also presented.
Ball polytopes and the Vazsonyi problem
Published
• View Publication
• BIB
Let V be a finite set of points in Euclidean d-space (d >= 2). The intersection of all unit balls B(v,1) centered at v, where v ranges over V, henceforth denoted by B(V) is the ball polytope associated with V. Note that B(V) is non-empty iff the circumradius of V is <= 1. After some preparatory discussion on spherical convexity and spindle convexity, the paper focuses on two central themes. [a] Define the boundary complex of B(V) (assuming it is non-empty, of course), i.e., define its vertices, edges and facets in dimension 3 (in dimension 2 this complex is just a circuit), and investigate its basic properties. [b] Apply results of this investigation to characterize finite sets of diameter 1 in (Euclidean) 3-space for which the diameter is attained a maximal number of times as a segment (of length 1) with both endpoints in V. A basic result for such a characterization goes back to Grunbaum, Heppes and Straszewicz, who proved independently that the diameter of V is attained at most 2|V|-2 times, thus affirming a conjecture of Vazsonyi from circa 1935. Call V extremal if its diameter is attained this maximal number (2|V|-2) of times. We extend the aforementioned basic result by showing that V is extremal iff V coincides with the set of vertices of its ball polytope B(V) and show that in this case the boundary complex of B(V) is self-dual in some strong sense. For the sake of priority we mention that, in the present form (except for a few changes in the footnotes), the paper was submitted to a journal already in February 1, 2008.
Möbius numbers of some modified generalized noncrossing partitions
In this paper we will give a Möbius number of $NC^{k}(W) \setminus \bf{mins} \cup \{\hat{0} \}$ for a Coxeter group $W$ which contains an affirmative answer for the conjecture 3.7.9 in Armstrong's paper [ Generalized noncrossing partitions and combinatorics of Coxeter groups. arXiv:math/0611106].
Metric Properties of the Tropical Abel-Jacobi Map
Published
• View Publication
• BIB
Let X be a tropical curve (or metric graph), and fix a base point p on X. We define the Jacobian group J(G) of a finite weighted graph G, and show that the Jacobian J(X) is canonically isomorphic to the direct limit of J(G) over all weighted graph models G for X. This result is useful for reducing certain questions about the Abel-Jacobi map Phi_p : X -> J(X), defined by Mikhalkin and Zharkov, to purely combinatorial questions about weighted graphs. We prove that J(G) is finite if and only if the edges in each 2-connected component of G are commensurable over the rationals. As an application of our direct limit theorem, we derive some local comparison formulas between g and its pullback Phi_p^*(g) for three different natural "metrics" g on J(X). One of these formulas implies that Phi_p is a tropical isometry when X is 2-edge-connected. Another shows that the canonical measure on a metric graph X, defined by S. Zhang, measures lengths on the image Phi_p(X) with respect to the "sup-norm" on J(X).
Optimizing Linear Extensions
Published
• View Publication
• BIB
The minimum number of elements needed for a poset to have exactly n linear extensions is at most 2sqrt{n}. In a special case, the bound can be improved to sqrt{n}.
The additive group of the rationals does not have an automatic presentation
Published
• View Publication
• BIB
We prove that the additive group of the rationals does not have an automatic presentation. The proof also applies to certain other abelian groups, for example, torsion-free groups that are $p$-divisible for infinitely many primes $p$, or $Q/Z$. The proof is combinatorial and uses most notably Freiman's theorem on sets with small doubling.
On Longest Cycle $C$ of a graph $G$ via Structures of $G-C$
Two sharp lower bounds for the length of a longest cycle $C$ of a graph $G$ are presented in terms of the lengths of a longest path and a longest cycle of $G-C$, denoted by $\overline{p}$ and $\overline{c}$, respectively, combined with minimum degree $δ$: (1) $|C|\geq(\overline{p}+2)(δ-\overline{p})$ and (2) $|C|\geq(\overline{c}+1)(δ-\overline{c}+1)$.
Generalizing the Splits Equivalence Theorem and Four Gamete Condition: Perfect Phylogeny on Three State Characters
Published
• View Publication
• BIB
We study the perfect phylogeny problem and establish a generalization of the four gamete condition (also called the Splits Equivalence Theorem) for sequences over three state characters. Our main result is that a set of input sequences over three state characters allows a perfect phylogeny if and only if every subset of three characters allows a perfect phylogeny. In establishing these results, we prove fundamental structural features of the perfect phylogeny problem on three state characters and completely characterize the minimal obstruction sets that must occur in three state input sequences that do not have a perfect phylogeny. We further give a proof for a stated lower bound involved in the conjectured generalization of our main result to any number of states. The techniques are based on the chordal graph view of perfect phylogeny.
Until this work, the notion of a conflict, or incompatibility, graph has been defined for two state characters only. Our generalization of the four gamete condition allows us to generalize the notion of incompatibility to three state characters. The resulting incompatibility structure is a hypergraph, which can be used to solve algorithmic and theoretical problems.
Interleaved adjoints on directed graphs
Published in European J. Combin., 32(7), pp. 1018--1024, 2011
• View Publication
• BIB
For an integer k >= 1, the k-th interlacing adjoint of a digraph G is the digraph i_k(G) with vertex-set V(G)^k, and arcs ((u_1, ..., u_k), (v_1, ..., v_k)) such that (u_i,v_i) \in A(G) for i = 1, ..., k and (v_i, u_{i+1}) \in A(G) for i = 1, ..., k-1. For every k we derive upper and lower bounds for the chromatic number of i_k(G) in terms of that of G. In particular, we find tight bounds on the chromatic number of interlacing adjoints of transitive tournaments. We use this result in conjunction with categorial properties of adjoint functors to derive the following consequence. For every integer ell, there exists a directed path Q_{\ell} of algebraic length ell which admits homomorphisms into every directed graph of chromatic number at least 4. We discuss a possible impact of this approach on the multifactor version of the weak Hedetniemi conjecture.
Abstract involutions of algebraic groups and of Kac-Moody groups
Published in J. Group Theory 14 (2011), no. 2, 213-249
• View Publication
• BIB
Based on the second author's thesis in this article we provide a uniform treatment of abstract involutions of algebraic groups and of Kac-Moody groups using twin buildings, RGD systems, and twisted involutions of Coxeter groups. Notably we simultaneously generalize the double coset decompositions established by Springer and by Helminck-Wang for algebraic groups and by Kac-Wang for certain Kac-Moody groups, we analyze the filtration studied by Devillers-Muhlherr in the context of arbitrary involutions, and we answer a structural question on the combinatorics of involutions of twin buildings raised by Bennett-Gramlich-Hoffman-Shpectorov.