Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Max-plus objects to study the complexity of graphs
Published
• View Publication
• BIB
Given an undirected graph $G$, we define a new object $H_G$, called the mp-chart of $G$, in the max-plus algebra. We use it, together with the max-plus permanent, to describe the complexity of graphs. We show how to compute the mean and the variance of $H_G$ in terms of the adjacency matrix of $G$ and we give a central limit theorem for $H_G$. Finally, we show that the mp-chart is easily tractable also for the complement graph.
A short proof for Dougall's $_2H_2$-series identity
Published
• View Publication
• BIB
According to Chen and Fu's method, we offer a short proof for Dougall's $_2H_2$-series identity.
Derivative operator and harmonic number identities
Published
• View Publication
• BIB
By applying the derivative operator to the corresponding hypergeometric form of a $q$-series transformation due to Andrews [1,Theorem 4], we establish a general harmonic number identity. As the special cases of it, several interesting Chu-Donno type identities and Paule-Schneider type identities are displayed.
Constructing highly arc transitive digraphs using a layerwise direct product
Published
• View Publication
• BIB
We introduce a construction of highly arc transitive digraphs using a layerwise direct product. This product generalizes some known classes of highly arc transitive digraphs but also allows to construct new such. We use the product to obtain counterexamples to a conjecture by Cameron, Praeger and Wormald on the structure of certain highly arc transitive digraphs.
Structure Theorem and Isomorphism Test for Graphs with Excluded Topological Subgraphs
Published
• View Publication
• BIB
We generalize the structure theorem of Robertson and Seymour for graphs excluding a fixed graph $H$ as a minor to graphs excluding $H$ as a topological subgraph. We prove that for a fixed $H$, every graph excluding $H$ as a topological subgraph has a tree decomposition where each part is either "almost embeddable" to a fixed surface or has bounded degree with the exception of a bounded number of vertices. Furthermore, we prove that such a decomposition is computable by an algorithm that is fixed-parameter tractable with parameter $|H|$.
We present two algorithmic applications of our structure theorem. To illustrate the mechanics of a "typical" application of the structure theorem, we show that on graphs excluding $H$ as a topological subgraph, Partial Dominating Set (find $k$ vertices whose closed neighborhood has maximum size) can be solved in time $f(H,k)\cdot n^{O(1)}$ time. More significantly, we show that on graphs excluding $H$ as a topological subgraph, Graph Isomorphism can be solved in time $n^{f(H)}$. This result unifies and generalizes two previously known important polynomial-time solvable cases of Graph Isomorphism: bounded-degree graphs and $H$-minor free graphs. The proof of this result needs a generalization of our structure theorem to the context of invariant treelike decomposition.
Combinatorics of the Casselman-Shalika formula in type A
Published in Proc. Amer. Math. Soc. 142 (2014), 2291-2301
• View Publication
• BIB
In the recent works of Brubaker-Bump-Friedberg, Bump-Nakasuji, and others, the product in the Casselman-Shalika formula is written as a sum over a crystal. The coefficient of each crystal element is defined using the data coming from the whole crystal graph structure. In this paper, we adopt the tableaux model for the crystal and obtain the same coefficients using data from each individual tableaux; i.e., we do not need to look at the graph structure. We also show how to combine our results with tensor products of crystals to obtain the sum of coefficients for a given weight. The sum is a q-polynomial which exhibits many interesting properties. We use examples to illustrate these properties.
Lattice Platonic Solids and their Ehrhart polynomial
First, we calculate the Ehrhart polynomial associated to an arbitrary cube with integer coordinates for its vertices. Then, we use this result to derive relationships between the Ehrhart polynomials for regular lattice tetrahedrons and those for regular lattice octahedrons. These relations allow one to reduce the calculation of these polynomials to only one coefficient.
Spectra of Coronae
Published in Linear Algebra and its Applications, Volume 435, no. 5, (2011)
• View Publication
• BIB
We introduce a new invariant, the coronal of a graph, and use it to compute the spectrum of the corona $G\circ H$ of two graphs $G$ and $H$. In particular, we show that this spectrum is completely determined by the spectra of $G$ and $H$ and the coronal of $H$. Previous work has computed the spectrum of a corona only in the case that $H$ is regular. We then explicitly compute the coronals for several families of graphs, including regular graphs, complete $n$-partite graphs, and paths. Finally, we use the corona construction to generate many infinite families of pairs of cospectral graphs.
On a Generalization of Zaslavsky's Theorem for Hyperplane Arrangements
Published in Annals of Combinatorics, March 2014, Volume 18, Issue 1, pp 35-55
• View Publication
• BIB
We define arrangements of codimension-1 submanifolds in a smooth manifold which generalize arrangements of hyperplanes. When these submanifolds are removed the manifold breaks up into regions, each of which is homeomorphic to an open disc. The aim of this paper is to derive formulas that count the number of regions formed by such an arrangement. We achieve this aim by generalizing Zaslavsky's theorem to this setting. We show that this number is determined by the combinatorics of the intersections of these submanifolds.
Mixing Chiral Polytopes
Published
• View Publication
• BIB
An abstract polytope of rank n is said to be chiral if its automorphism group has two orbits on the flags, such that adjacent flags belong to distinct orbits. Examples of chiral polytopes have been difficult to find. A "mixing" construction lets us combine polytopes to build new regular and chiral polytopes. By using the chirality group of a polytope, we are able to give simple criteria for when the mix of two polytopes is chiral.
The median Genocchi numbers, Q-analogues and continued fractions
Published
• View Publication
• BIB
The goal of this paper is twofold. First, we review the recently developed geometric approach to the combinatorics of the median Genocchi numbers. The Genocchi numbers appear in this context as Euler characteristics of the degenerate flag varieties. Second, we prove that the generating function of the Poincar\' e polynomials of the degenerate flag varieties can be written as a simple continued fraction. As an application we prove that the Poincar\' e polynomials coincide with the $q$-version of the normalized median Genocchi numbers introduced by Han and Zeng.
On intersection of two embedded spheres in 3-space
This article is covered by the article arxiv.1012.0925
We study intersection of two polyhedral spheres without self-intersections in 3-space. We find necessary and sufficient conditions on sequences x = x_1,x_2,...,x_n, y = y_1,y_2,...,y_n of positive integers, for existence of 2-dimensional polyhedra f,g in R^3 homeomorphic to the sphere and such that * f-g has n connected components, of which the i-th one has x_i neighbors in f and * g-f has n connected components, of which the i-th one has y_i neighbors in g. Analogously we study intersection of three polyhedral spheres without self-intersections in 3-space.
Russian version is accessible to high-school teachers and students interested in mathematics.
Exponential Lower Bounds for Polytopes in Combinatorial Optimization
Published
• View Publication
• BIB
We solve a 20-year old problem posed by Yannakakis and prove that there exists no polynomial-size linear program (LP) whose associated polytope projects to the traveling salesman polytope, even if the LP is not required to be symmetric. Moreover, we prove that this holds also for the cut polytope and the stable set polytope. These results were discovered through a new connection that we make between one-way quantum communication protocols and semidefinite programming reformulations of LPs.
The black-and-white coloring problem on distance hereditary graphs and strongly chordal graphs
Published
• View Publication
• BIB
Given a graph G and integers b and w. The black-and-white coloring problem asks if there exist disjoint sets of vertices B and W with |B|=b and |W|=w such that no vertex in B is adjacent to any vertex in W. In this paper we show that the problem is polynomial when restricted to cographs, distance-hereditary graphs, interval graphs and strongly chordal graphs. We show that the problem is NP-complete on splitgraphs.
Improved integer programming models for simple assembly line balancing and related problems
Published
• View Publication
• BIB
We propose a stronger formulation of the precedence constraints and the station limits for the simple assembly line balancing problem. The linear relaxation of the improved integer program theoretically dominates all previous formulations using impulse variables, and produces solutions of significantly better quality in practice. The improved formulation can be used to strengthen related problems with similar restrictions. We demonstrate their effectiveness on the U-shaped assembly line balancing problem and on the bin packing problem with precedence constraints.
Alternating permutations containing the pattern 123 or 321 exactly once
Inspired by a recent note of Zeilberger (arXiv:1110.4379), Alejandro Morales asked whether one can count alternating (i.e., up-down) permutations that contain the pattern 123 or 321 exactly once. In this note we answer the question in the affirmative; in particular, we show that for m > 1, a_(2m)(123) = 10 (2m)!/((m - 2)! (m + 3)!), a_(2m)(321) = 4(m - 2) (2m + 3)!/((m + 1)! (m + 4)!), and a_(2m + 1)(123) = a_(2m + 1)(321) = 3(3m + 4)(m - 1) (2m + 2)!/((m + 1)! (m + 4)!) where a_n(p) is the number of alternating permutations of length n containing the pattern p exactly once.
A combinatorial interpretation of the Catalan transform of the Catalan numbers
The Catalan transform of a sequence (a_{n})_{n>=0} is the sequence (b_{n})_{n>=0} with b_{n} = Sum[k/(2n-k) (2n-k)-choose-(n-k) a_{k},k=0..n]. Here we show that the Catalan transform of the Catalan numbers has a simple interpretation: it counts functions f:[1,n] -> [1,n] satisfying the condition that, for all i<j, f(j)-(j-i) is not in the interval [1,f(i)-1].
Symmetry and colorings: some results and open problems, II
We survey some principal results and open problems related to colorings of geometric and algebraic objects endowed with symmetries, concentrating the exposition on the maximal symmetry numbers of such objects.
A Graph Invariant and 2-factorizations of a graph
A spanning subgraph of a graph G is called a [0,2]-factor of G, if for . is a union of some disjoint cycles, paths and isolate vertices, that span the graph G. It is easy to get a [0,2]-factor of G and there would be many of [0,2]-factors for a G.A characteristic number for a [0,2]-factor, which reflect the number of the paths and isolate vertices in it,is defineted. The [0,2]-factor of G is called maximum if its characteristic number is minimum, and is called characteristic number of G.It to be proved that characteristic number of graph is a graph invariant and a polynomial time algorithm for computing a maximum [0,2]-factor of a graph G has been given in this paper.
A [0,2]-factor is Called a 2-factor, if its characteristic number is zero. That is, a 2-factor is a set of some disjoint cycles, that span G.We propose a A polynomial time algorism for computing 2-factor from a [0,2]-factor,which can be got easily.
A HAMILTON Cycle is a 2-factor, therefore a necessary condition of a HAMILTON Graph is that, the graph have a 2-factor or the characteristic number of the graph is zero. The algorism, given in this paper, make it possible to examine the condition in polynomial time.
Combinatorial Bounds on Nonnegative Rank and Extended Formulations
Published
• View Publication
• BIB
An extended formulation of a polytope P is a polytope Q which can be projected onto P. Extended formulations of small size (i.e., number of facets) are of interest, as they allow to model corresponding optimization problems as linear programs of small sizes.
The main known lower bounds on the minimum sizes of extended formulations for fixed polytope P (Yannakakis 1991) are closely related to the concept of nondeterministic communication complexity. We study the relative power and limitations of the bounds on several examples.