Showing 20 papers (Total: 83502 papers, 48219 authors in database)
A note on strong edge-colorings of 2-degenerate graphs
We show that every 2-degenerate graph with maximum degree $Δ$ has a strong edge-coloring with at most $8Δ-4$ colors.
Strong edge-colorings for k-degenerate graphs
Published
• View Publication
• BIB
We prove that the strong chromatic index for each $k$-degenerate graph with maximum degree $Δ$ is at most $(4k-2)Δ-k(2k-1)+1$.
On Curling Numbers of Integer Sequences
Published in J. Integer Sequences 16 (2013), #13.4.3
• Search Publication
Given a finite nonempty sequence S of integers, write it as XY^k, where Y^k is a power of greatest exponent that is a suffix of S: this k is the curling number of S. The Curling Number Conjecture is that if one starts with any initial sequence S, and extends it by repeatedly appending the curling number of the current sequence, the sequence will eventually reach 1. The conjecture remains open. In this paper we discuss the special case when S consists just of 2's and 3's. Even this case remains open, but we determine how far a sequence of n 2's and 3's can extend before reaching a 1, conjecturally for n <= 80. We investigate several related combinatorial problems, such as finding c(n,k), the number of binary sequences of length n and curling number k, and t(n,i), the number of sequences of length n which extend for i steps before reaching a 1. A number of interesting combinatorial problems remain unsolved.
Pfaffian Systems of A-Hypergeometric Equations I: Bases of Twisted Cohomology Groups
Published
• View Publication
• BIB
This is the third revision. We study bases of Pfaffian systems for $A$-hypergeometric system. Gröbner deformations give bases. These bases also give those for twisted cohomology groups. For hypergeometric system associated to a class of order polytopes, these bases have a combinatorial description. The size of the bases associated to a subclass of the order polytopes have the growth rate of the polynomial order. Bases associated to two chain posets and bouquets are studied.
A simplification of Apéry's proof of the irrationality of ζ(3)
A simplification of Apéry's proof of the irrationality of ζ(3) is presented. The construction of approximations is motivated from the viewpoint of 2-dimensional recurrence relations which simplifies many of the details of the proof. Conclusive evidence is also presented that these constructions arise from a continued fraction due to Ramanujan.
Some Bounds on the Rainbow Connection Number of 3-, 4- and 5-connected Graphs
The rainbow connection number, $rc(G)$, of a connected graph $G$ is the minimum number of colors needed to color its edges so that every pair of vertices is connected by at least one path in which no two edges are colored the same. We show that for $κ=3$ or $κ= 4$, every $κ$-connected graph $G$ on $n$ vertices with diameter $\frac{n}κ-c$ satisfies $rc(G) \leq \frac{n}κ + 15c + 18$. We also show that for every maximal planar graph $G$, $rc(G) \leq \frac{n}κ + 36$. This proves a conjecture of Li et al. for graphs with large diameter and maximal planar graphs.
Misere Hackenbush Flowers
We show that any disjunctive sum of Hackenbush Flowers $G$ has as evil twin $G^* \in {G, G+*}$ such that the outcomes of $G$ under normal and misère play are the same as the outcomes of $G^*$ under misère and normal play respectively. We also show that, under misère play, any Green Hackenbush position that has a single edge incident with the ground is equivalent to a nim-heap.
A Canonical Characterization of the Family of Barriers in General Graphs
Given a graph, a barrier is a set of vertices determined by the Berge formula---the min-max theorem characterizing the size of maximum matchings. The notion of barriers plays important roles in numerous contexts of matching theory, since barriers essentially coincides with dual optimal solutions of the maximum matching problem. In a special class of graphs called the elementary graphs, the family of maximal barriers forms a partition of the vertices; this partition was found by Lovász and is called the canonical partition. The canonical partition has produced many fundamental results in matching theory, such as the two ear theorem. However, in non-elementary graphs, the family of maximal barriers never forms a partition, and there has not been the canonical partition for general graphs. In this paper, using our previous work, we give a canonical description of structures of the odd-maximal barriers---a class of barriers including the maximal barriers---for general graphs; we also reveal structures of odd components associated with odd-maximal barriers. This result of us can be regarded as a generalization of Lovász's canonical partition.
On terminal forms for topological polynomials for ribbon graphs: The $N$-petal flower
Published in European Journal of Combinatorics 36, February 2014, p.348-366
• View Publication
• BIB
The Bollobas-Riordan polynomial [Math. Ann. 323, 81 (2002)] extends the Tutte polynomial and its contraction/deletion rule for ordinary graphs to ribbon graphs. Given a ribbon graph $\cG$, the related polynomial should be computable from the knowledge of the terminal forms of $\cG$ namely specific induced graphs for which the contraction/deletion procedure becomes more involved. We consider some classes of terminal forms as rosette ribbon graphs with $N\ge 1$ petals and solve their associate Bollobas-Riordan polynomial. This work therefore enlarges the list of terminal forms for ribbon graphs for which the Bollobas-Riordan polynomial could be directly deduced.
Lifting Constructions of Strongly Regular Cayley Graphs
Published
• View Publication
• BIB
We give two "lifting" constructions of strongly regular Cayley graphs. In the first construction we "lift" a cyclotomic strongly regular graph by using a subdifference set of the Singer difference set. The second construction uses quadratic forms over finite fields and it is a common generalization of the construction of the affine polar graphs \cite{CK86} and a construction of strongly regular Cayley graphs given in \cite{FWXY}. The two constructions are related in the following way: The second construction can be viewed as a recursive construction, and the strongly regular Cayley graphs obtained from the first construction can serve as starters for the second construction. We also obtain association schemes from the second construction.
Standard 2D Crystalline Patterns and Rational Points in Complex Quadrics
A certain Diophantine problem and 2D crystallography are linked through the notion of standard realizations which was introduced originally in the study of random walks. In the discussion, a complex projective quadric defined over Q is associated with a finite graph. "Rational points" on this quadric turns out to be related to standard realizations of 2D crystal structures.
Assembling crystals of type A
Published
• View Publication
• BIB
Regular $A_n$-crystals are certain edge-colored directed graphs which are related to representations of the quantized universal enveloping algebra $U_q(\mathfrak{sl}_{n+1})$. For such a crystal $K$ with colors $1,2,...,n$, we consider its maximal connected subcrystals with colors $1,...,n-1$ and with colors $2,...,n$ and characterize the interlacing structure for all pairs of these subcrystals. This is used to give a recursive description of the combinatorial structure of $K$ and develop an efficient procedure of assembling $K$.
On the method of typical bounded differences
Published in Combinator. Probab. Comp. 25 (2016) 269-299
• View Publication
• BIB
Concentration inequalities are fundamental tools in probabilistic combinatorics and theoretical computer science for proving that random functions are near their means. Of particular importance is the case where f(X) is a function of independent random variables X=(X_1, ..., X_n). Here the well known bounded differences inequality (also called McDiarmid's or Hoeffding-Azuma inequality) establishes sharp concentration if the function f does not depend too much on any of the variables. One attractive feature is that it relies on a very simple Lipschitz condition (L): it suffices to show that |f(X)-f(X')| \leq c_k whenever X,X' differ only in X_k. While this is easy to check, the main disadvantage is that it considers worst-case changes c_k, which often makes the resulting bounds too weak to be useful.
In this paper we prove a variant of the bounded differences inequality which can be used to establish concentration of functions f(X) where (i) the typical changes are small although (ii) the worst case changes might be very large. One key aspect of this inequality is that it relies on a simple condition that (a) is easy to check and (b) coincides with heuristic considerations why concentration should hold. Indeed, given an event Γthat holds with very high probability, we essentially relax the Lipschitz condition (L) to situations where Γoccurs. The point is that the resulting typical changes c_k are often much smaller than the worst case ones.
To illustrate its application we consider the reverse H-free process, where H is 2-balanced. We prove that the final number of edges in this process is concentrated, and also determine its likely value up to constant factors. This answers a question of Bollobás and Erdős.
Many projectively unique polytopes
Published
• View Publication
• BIB
We construct an infinite family of 4-polytopes whose realization spaces have dimension smaller or equal to 96. This in particular settles a problem going back to Legendre and Steinitz: whether and how the dimension of the realization space of a polytope is determined/bounded by its f-vector.
From this, we derive an infinite family of combinatorially distinct 69-dimensional polytopes whose realization is unique up to projective transformation. This answers a problem posed by Perles and Shephard in the sixties. Moreover, our methods naturally lead to several interesting classes of projectively unique polytopes, among them projectively unique polytopes inscribed to the sphere.
The proofs rely on a novel construction technique for polytopes based on solving Cauchy problems for discrete conjugate nets in S^d, a new Alexandrov--van Heijenoort Theorem for manifolds with boundary and a generalization of Lawrence's extension technique for point configurations.
Embeddings of *-graphs into 2-surfaces
Published
• View Publication
• BIB
This paper considers *-graphs in which all vertices have degree 4 or 6, and studies the question of calculating the genus of orientable 2-surfaces into which such graphs may be embedded. A *-graph is a graph endowed with a formal adjacency structure on the half-edges around each vertex, and an embedding of a *-graph is an embedding under which the formal adjacency relation on half-edges corresponds to the adjacency relation induced by the embedding. *-graphs are a natural generalization of four-valent framed graphs, which are four-valent graphs with an opposite half-edge structure. In [5], the question of whether a four-valent framed graph admits a Z2-homologically trivial embedding into a given surface was shown to be equivalent to a problem on matrices. We show that a similar result holds for *-graphs in which all vertices have degree 4 or 6. This gives an algorithm in quadratic time to determine whether a *-graph admits an embedding into the plane.
Quantitative Combinatorial Nullstellensatz
Published in Uwe Schauz: Algebraically Solvable Problems: Describing Polynomials as Equivalent to Explicit Solutions. The Electronic Journal of Combinatorics 15 (2008), #R10
• Search Publication
The main result of this paper is a coefficient formula that sharpens and generalizes Alon and Tarsi's Combinatorial Nullstellensatz, which provides some information about the polynomial map $P|_{\X_1\times...\times\X_n}$ when only incomplete information about the polynomial $P(X_1,...c,X_n)$ is given.
In a very general working frame, the grid points $x\in\X_1\times\...b\times\X_n$ which do not vanish under an algebraic solution -- a certain describing polynomial $P(X_1,...c,X_n)$ -- correspond to the explicit solutions of a problem. As a consequence of the coefficient formula, we prove that the existence of an algebraic solution is equivalent to the existence of a nontrivial solution to a problem. By a problem, we mean everything that "owns" both, a set $§$, which may be called the \emph{set of solutions}; and a subset $\St\subseteq§$, the \emph{set of trivial solutions}.
We give several examples of how to find algebraic solutions, and how to apply our coefficient formula. These examples are mainly from graph theory and combinatorial number theory, but we also prove several versions of Chevalley and Warning's Theorem, including a generalization of Olson's Theorem, as examples and useful corollaries.
We obtain a permanent formula by applying our coefficient formula to the matrix polynomial, which is a generalization of the graph polynomial. This formula is an integrative generalization and sharpening of:
1. Ryser's permanent formula. 2. Alon's Permanent Lemma. 3. Alon and Tarsi's Theorem about orientations and colorings of graphs.
Furthermore, in combination with the Vigneron-Ellingham-Goddyn property of planar (n)regular graphs, the formula contains as very special cases:
4. Scheim's formula for the number of edge (n)-colorings of such graphs. 5. Ellingham and Goddyn's partial answer to the list coloring conjecture.
Lattice Path Matroid Polytopes
Fix two lattice paths $P$ and $Q$ from $(0,0)$ to $(m,r)$ that use East and North steps with $P $ never going above $Q$. Bonin et al. show that the lattice paths that go from $(0,0)$ to $(m,r)$ and remain bounded by $P$ and $Q$ can be identified with the bases of a particular type of transversal matroid, which we call it a lattice path matroid.
In this paper, we consider properties of lattice path matroid polytopes. These are the polytopes associated to the lattice path matroids. We investigate their face structure, decomposition, triangulation, Ehrhart polynomial and volume.
The Freiman--Ruzsa Theorem over Finite Fields
Published in Journal of Combinatorial Theory, Series A, Volume 125, July 2014, Pages 333-341
• View Publication
• BIB
Let G be a finite abelian group of torsion r and let A be a subset of G. The Freiman--Ruzsa theorem asserts that if |A+A| < K|A| then A is contained in a coset of a subgroup of G of size at most r^{K^4}K^2|A|. It was conjectured by Ruzsa that the subgroup size can be reduced to r^{CK}|A| for some absolute constant C >= 2. This conjecture was verified for r = 2 in a sequence of recent works, which have, in fact, yielded a tight bound. In this work, we establish the same conjecture for any prime torsion.
Generalized Schubert Calculus
Published in Journal of the Ramanujan Mathematical Society 28A (Special Issue-2013) pp. 1-42
• Search Publication
In this paper we study the T-equivariant generalized cohomology of flag varieties using two models, the Borel model and the moment graph model. We study the differences between the Schubert classes and the Bott-Samelson classes. After setup of the general framework we compute, for classes of Schubert varieties of complex dimension <4 in rank 2 (including A_2, B_2, G_2 and A_1^{(1)}), moment graph representatives, Pieri-Chevalley formulas and products of Schubert classes. These computations generalize the computations in equivariant K-theory for rank 2 cases which are given in Griffeth-Ram arXiv:math/0405333.
Distance sets of two subsets of vector spaces over finite fields
Published
• View Publication
• BIB
We investigate the size of the distance set determined by two subsets of finite dimensional vector spaces over finite fields. A lower bound of the size is given explicitly in terms of cardinalities of the two subsets. As a result, we improve upon the results by Rainer Dietmann. In the case that one of the subsets is a product set, we obtain further improvement on the estimate.