arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81756 papers, 47371 authors in database)
2008-04-26 v3
Potentially $K_{m}-G$-graphical Sequences: A Survey
Published in Czechoslovak Mathematical Journal, 59(4)(2009), 1059-1075. • View PublicationBIB
The set of all non-increasing nonnegative integers sequence $π=$ ($d(v_1),$ $d(v_2),$ $...,$ $d(v_n)$) is denoted by $NS_n$. A sequence $π\in NS_n$ is said to be graphic if it is the degree sequence of a simple graph $G$ on $n$ vertices, and such a graph $G$ is called a realization of $π$. The set of all graphic sequences in $NS_n$ is denoted by $GS_n$. A graphical sequence $π$ is potentially $H$-graphical if there is a realization of $π$ containing $H$ as a subgraph, while $π$ is forcibly $H$-graphical if every realization of $π$ contains $H$ as a subgraph. Let $K_k$ denote a complete graph on $k$ vertices. Let $K_{m}-H$ be the graph obtained from $K_{m}$ by removing the edges set $E(H)$ of the graph $H$ ($H$ is a subgraph of $K_{m}$). This paper summarizes briefly some recent results on potentially $K_{m}-G$-graphic sequences and give a useful classification for determining $σ(H,n)$.
2008-04-26
A state sum invariant for regular isotopy of links having a polynomial number of states
The state sum regular isotopy invariant of links which I introduce in this work is a generalization of the Jones Polynomial. So it distinguishes any pair of links which are distinguishable by Jones'. This new invariant, denoted {\em VSE-invariant} is strictly stronger than Jones': I detected a pair of links which are not distinguished by Jones' but are distinguished by the new invariant. The full VSE-invariant has $3^n$ states. However, there are useful specializations of it parametrized by an integer k, having $O(n^k)=\sum_{\ell=0}^k {n \choose \ell} 2^\ell $ states. The link with more crossings of the pair which was distinguished by the VSE-invariant has 20 crossings. The specialization which is enough to distinguish corresponds to k=2 and has only 801 states, as opposed to the $2^{20} = 1,048,576$ states of the Jones polynomial of the same link. The full VSE-invariant of it has $3^{20} = 3,486,784,401$ states. The VSE-invariant is a good alternative for the Jones polynomial when the number of crossings makes the computation of this polynomial impossible. For instance, for $k=2$ the specialization of the VSE-invariant of a link with $n=500$ crossings can be computed in a few minutes, since it has only $2 n^2+1 = 500,001$ states.
2008-04-26
Embeddings of four-valent framed graphs into two-surfaces
Published • View PublicationBIB
We study the problem of finding the minimal (maximal) genus for a surface where a given four-valent graph with fixed opposite edge structure can be embedded into. We find several partial relations and give new reformulations in combinatorial and knot theoretic languages.
2008-04-25
Geometric construction of cluster algebras and cluster categories
Published in Trends in Mathematics, R. Meyer, T. Schick, Y. Tschinkel (Eds.), Mathematisches Institut, Georg-August-Universität Göttingen, Courant-Colloquium Göttingen 2007 (2008), 13-30 • Search Publication
In this note we explain how to obtain cluster algebras from triangulations of (punctured) discs following the approach of S. Fomin, M. Shapiro and D. Thurston. Furthermore, we give a description of m-cluster categories via diagonals (arcs) in (punctured) polygons and of m-cluster categories via powers of translation quivers as given in joint work with R. Marsh.
2008-04-25
Reconstruction of p-disconnected graphs
We prove that Kelly-Ulam conjecture is true for p-disconnected graphs.
The Cops and Robber game on graphs with forbidden (induced) subgraphs
Published in Contributions to Discrete Mathematics, vol. 5/2, pp. 40--51, 2010 • View PublicationBIB
The two-player, complete information game of Cops and Robber is played on undirected finite graphs. A number of cops and one robber are positioned on vertices and take turns in sliding along edges. The cops win if, after a move, a cop and the robber are on the same vertex. The minimum number of cops needed to catch the robber on a graph is called the cop number of that graph. In this paper, we study the cop number in the classes of graphs defined by forbidding one or more graphs as either subgraphs or induced subgraphs. In the case of a single forbidden graph we completely characterize (for both relations) the graphs which force bounded cop number. En passant, we bound the cop number in terms of tree-width.
2008-04-25 v2
Tiling tripartite graphs with 3-colorable graphs
Published in Electron. J. Combin. 16(1) (2009), Research Paper 109, 16pp • View PublicationBIB
For a fixed integer h>=1, let G be a tripartite graph with N vertices in each vertex class, N divisible by 6h, such that every vertex is adjacent to at least 2N/3+h-1 vertices in each of the other classes. We show that if N is sufficiently large, then G can be tiled perfectly by copies of K_{h,h,h}. This extends the work in [19] and also gives a sufficient condition for tiling by any (fixed) 3-colorable graph. Furthermore, we show that this minimum-degree condition is best possible and provide very tight bounds when N is divisible by h but not by 6h.
2008-04-25
Cohomology Jumping Loci and Relative Malcev Completion
Two standard invariants used to study the fundamental group G of the complement X of a hyperplane arrangement are the Malcev completion of G and the cohomology groups of X with coefficients in rank one local systems. In this paper, we develop a tool that unifies these two approaches. This tool is the Malcev completion S_p of G relative to a homomorphism p from G into (C^*)^N. This is a prosolvable group that is tightly controlled by the cohomology groups of X with coefficients in rank one local systems. The prounipotent radical U_p of the relative completion S_p corresponds to a pronilpotent Lie algebra u_p. We provide an example of a hyperplane complement X for which this algebra is not quadratically presented. In addition, we show that if X is a hyperplane complement and Y is a subtorus of the character torus, then S_p is combinatorially determined for general p in Y. Finally, we show that the relative completion S_p is generally constant over subvarieties of the character torus.
2008-04-24 v2
A binomial-coefficient identity arising from the middle discrete series of SU(2,2)
The aim of this paper is to give an elementary proof of certain identities on binomials and state an answer to Remark 8.2 in Takahiro Hayata, Harutaka Koseki, and Takayuki Oda, Matrix coefficients of the middle discrete series of SU(2,2), J. Funct. Anal. 185 (2001), 297-341.
2008-04-24
Witt vectors. Part 1
Published • View PublicationBIB
This is the first part of a 2 part survey on the functor of the big and p-adic Witt vectors.
Metaheuristics and Their Hybridization to Solve the Bi-objective Ring Star Problem: a Comparative Study
Published • View PublicationBIB
This paper presents and experiments approaches to solve a new bi-objective routing problem called the ring star problem. It consists of locating a simple cycle through a subset of nodes of a graph while optimizing two kinds of cost. The first objective is the minimization of a ring cost that is related to the length of the cycle. The second one is the minimization of an assignment cost from non-visited nodes to visited ones. In spite of its obvious bi-objective formulation, this problem has always been investigated in a single-objective way. To tackle the bi-objective ring star problem, we first investigate different stand-alone search methods. Then, we propose two cooperative strategies that combines two multiple objective metaheuristics: an elitist evolutionary algorithm and a population-based local search. We apply this new hybrid approaches to well-known benchmark test instances and demonstrate their effectiveness in comparison to non-hybrid algorithms and to state-of-the-art methods.
2008-04-24 v3
On sublattice determinants in reduced bases
We prove several inequalities on the determinants of sublattices in LLL-reduced bases. They generalize the inequalities on the length of the shortest vector proven by Lenstra, Lenstra, and Lovasz, and show that LLL-reduction finds not only a short vector, but more generally, sublattices with small determinants. We also prove new upper bounds on the product of the norms of the first few vectors.
2008-04-24
Distinguishing Number of Countable Homogeneous Relational Structures
Published • View PublicationBIB
The distinguishing number of a graph $G$ is the smallest positive integer $r$ such that $G$ has a labeling of its vertices with $r$ labels for which there is no non-trivial automorphism of $G$ preserving these labels. Albertson and Collins computed the distinguishing number for various finite graphs, and Imrich, Klavžar and Trofimov computed the distinguishing number of some infinite graphs, showing in particular that the Random Graph has distinguishing number 2. We compute the distinguishing number of various other finite and countable homogeneous structures, including undirected and directed graphs, and posets. We show that this number is in most cases two or infinite, and besides a few exceptions conjecture that this is so for all primitive homogeneous countable structures.
2008-04-23
New hook length formulas for binary trees
Published • View PublicationBIB
We find two new hook length formulas for binary trees. The particularity of our formulas is that the hook length $h_v$ appears as an exponent.
2008-04-23 v3
On the Log-Concavity of Hilbert Series of Veronese Subrings and Ehrhart Series
Published in Mathematische Zeitschrift 264, no. 1 (2010), 195-207 • View PublicationBIB
For every positive integer $n$, consider the linear operator $\U_{n}$ on polynomials of degree at most $d$ with integer coefficients defined as follows: if we write $\frac{h(t)}{(1 - t)^{d + 1}} = \sum_{m \geq 0} g(m) t^{m}$, for some polynomial $g(m)$ with rational coefficients, then $\frac{\U_{n}h(t)}{(1- t)^{d + 1}} = \sum_{m \geq 0} g(nm) t^{m}$. We show that there exists a positive integer $n_{d}$, depending only on $d$, such that if $h(t)$ is a polynomial of degree at most $d$ with nonnegative integer coefficients and $h(0) \geq 1$, then for $n \geq n_{d}$, $\U_{n}h(t)$ has simple, real, strictly negative roots and positive, strictly log concave and strictly unimodal coefficients. Applications are given to Ehrhart $δ$-polynomials and unimodular triangulations of dilations of lattice polytopes, as well as Hilbert series of Veronese subrings of Cohen--MacCauley graded rings.
2008-04-23
Super edge-graceful paths
A graph $G(V,E)$ of order $|V|=p$ and size $|E|=q$ is called super edge-graceful if there is a bijection $f$ from $E$ to $\{0,\pm 1,\pm 2,...,\pm \frac{q-1}{2}\}$ when $q$ is odd and from $E$ to $\{\pm 1,\pm 2,...,\pm \frac{q}{2}\}$ when $q$ is even such that the induced vertex labeling $f^*$ defined by $f^*(x) = \sum_{xy\in E(G)}f(xy)$ over all edges $xy$ is a bijection from $V$ to $\{0,\pm 1,\pm 2...,\pm \frac{p-1}{2}\}$ when $p$ is odd and from $V$ to $\{\pm 1,\pm 2,...,\pm \frac{p}{2}\}$ when $p$ is even. \indent We prove that all paths $P_n$ except $P_2$ and $P_4$ are super edge-graceful.
2008-04-23
Cayley decompositions of lattice polytopes and upper bounds for h^*-polynomials
Published in J. Reine Angew. Math. 637 (2009), 207-216 • View PublicationBIB
We give an effective upper bound on the h^*-polynomial of a lattice polytope in terms of its degree and leading coefficient, confirming a conjecture of Batyrev. We deduce this bound as a consequence of a strong Cayley decomposition theorem which says, roughly speaking, that any lattice polytope with a large multiple that has no interior lattice points has a nontrivial decomposition as a Cayley sum of polytopes of smaller dimension. In an appendix, we interpret this result in terms of adjunction theory for toric varieties.
2008-04-23
Distinct Distances in Graph Drawings
Published in The Electronic Journal of Combinatorics 15(1):R107, 2008 • View PublicationBIB
The \emph{distance-number} of a graph $G$ is the minimum number of distinct edge-lengths over all straight-line drawings of $G$ in the plane. This definition generalises many well-known concepts in combinatorial geometry. We consider the distance-number of trees, graphs with no $K^-_4$-minor, complete bipartite graphs, complete graphs, and cartesian products. Our main results concern the distance-number of graphs with bounded degree. We prove that $n$-vertex graphs with bounded maximum degree and bounded treewidth have distance-number in $\mathcal{O}(\log n)$. To conclude such a logarithmic upper bound, both the degree and the treewidth need to be bounded. In particular, we construct graphs with treewidth 2 and polynomial distance-number. Similarly, we prove that there exist graphs with maximum degree 5 and arbitrarily large distance-number. Moreover, as $Δ$ increases the existential lower bound on the distance-number of $Δ$-regular graphs tends to $Ω(n^{0.864138})$.
2008-04-23 v5
Mixed sums of squares and triangular numbers (III)
Published in J. Number Theory 129(2009), no.4, 964-969 • View PublicationBIB
In this paper we confirm a conjecture of Sun which states that each positive integer is a sum of a square, an odd square and a triangular number. Given any positive integer m, we show that p=2m+1 is a prime congruent to 3 modulo 4 if and only if T_m=m(m+1)/2 cannot be expressed as a sum of two odd squares and a triangular number, i.e., p^2=x^2+8(y^2+z^2) for no odd integers x,y,z. We also show that a positive integer cannot be written as a sum of an odd square and two triangular numbers if and only if it is of the form 2T_m (m>0) with 2m+1 having no prime divisor congruent to 3 modulo 4.
2008-04-23 v3
Hecke group algebras as quotients of affine Hecke algebras at level 0
Published in Journal of Combinatorial Theory, Series A 116 (2009) 844-863 • View PublicationBIB
The Hecke group algebra $HW_0$ of a finite Coxeter group $W_0$, as introduced by the first and last author, is obtained from $W_0$ by gluing appropriately its 0-Hecke algebra and its group algebra. In this paper, we give an equivalent alternative construction in the case when $W_0$ is the classical Weyl group associated to an affine Weyl group $W$. Namely, we prove that, for $q$ not a root of unity, $HW_0$ is the natural quotient of the affine Hecke algebra through its level 0 representation. We further show that the level 0 representation is a calibrated principal series representation for a suitable choice of character, so that the quotient factors (non trivially) through the principal central specialization. This explains in particular the similarities between the representation theory of the classical 0-Hecke algebra and that of the affine Hecke algebra at this specialization.