Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Properties of $θ$-super positive graphs
Published
• View Publication
• BIB
Let the matching polynomial of a graph $G$ be denoted by $μ(G,x)$. A graph $G$ is said to be $θ$-super positive if $μ(G,θ)\neq 0$ and $μ(G\setminus v,θ)=0$ for all $v\in V(G)$. In particular, $G$ is 0-super positive if and only if $G$ has a perfect matching. While much is known about 0-super positive graphs, almost nothing is known about $θ$-super positive graphs for $θ\not = 0$. This motivates us to investigate the structure of $θ$-super positive graphs in this paper. Though a 0-super positive graph may not contain any cycle, we show that a $θ$-super positive graph with $θ\not = 0$ must contain a cycle. We introduce two important types of $θ$-super positive graphs, namely $θ$-elementary and $θ$-base graphs. One of our main results is that any $θ$-super positive graph $G$ can be constructed by adding certain type of edges to a disjoint union of $θ$-base graphs; moreover, these $θ$-base graphs are uniquely determined by $G$. We also give a characterization of $θ$-elementary graphs: a graph $G$ is $θ$-elementary if and only if the set of all its $θ$-barrier sets form a partition of $V(G)$. Here, $θ$-elementary graphs and $θ$-barrier sets can be regarded as $θ$-analogue of elementary graphs and Tutte sets in classical matching theory.
Locally finite graphs with ends: a topological approach
Published
• View Publication
• BIB
This paper is intended as an introductory survey of a newly emerging field: a topological approach to the study of locally finite graphs that crucially incorporates their ends. Topological arcs and circles, which may pass through ends, assume the role played in finite graphs by paths and cycles.
This approach has made it possible to extend to locally finite graphs many classical theorems of finite graph theory that do not extend verbatim. The shift of paradigm it proposes is thus as much an answer to old questions as a source of new ones; many concrete problems of both types are suggested in the paper.
This paper attempts to provide an entry point to this field for readers that have not followed the literature that has emerged in the last 10 years or so. It takes them on a quick route through what appear to be the most important lasting results, introduces them to key proof techniques, identifies the most promising open problems, and offers pointers to the literature for more detail.
Companion to "An update on the Hirsch conjecture"
This is an appendix to our paper "An update of the Hirsch Conjecture" (arXiv:0907.1186), containing proofs of some of the results and comments that were omitted in it.
A Survey of Alternating Permutations
Published
• View Publication
• BIB
This survey of alternating permutations and Euler numbers includes refinements of Euler numbers, other occurrences of Euler numbers, longest alternating subsequences, umbral enumeration of classes of alternating permutations, and the cd-index of the symmetric group.
Maltsev digraphs have a majority polymorphism
Published in European Journal of Combinatorics 32 (2011), pages 390-397
• View Publication
• BIB
We prove that when a digraph $G$ has a Maltsev polymorphism, then $G$ also has a majority polymorphism. We consider the consequences of this result for the structure of Maltsev graphs and the complexity of the Constraint Satisfaction Problem.
Random skew plane partitions with a piecewise periodic back wall
Published in Annales Henri Poincaré: Volume 13, Issue 2 (2012), Page 271-296
• View Publication
• BIB
Random skew plane partitions of large size distributed according to an appropriately scaled Schur process develop limit shapes. In the present work we consider the limit of large random skew plane partitions where the inner boundary approaches a piecewise linear curve with non-lattice slopes, describing the limit shape and the local fluctuations in various regions. This analysis is fairly similar to that in [OR2], but we do find some new behavior. For instance, the boundary of the limit shape is now a single smooth (not algebraic) curve, whereas the boundary in [OR2] is singular. We also observe the bead process introduced in [B] appearing in the asymptotics at the top of the limit shape.
Eigenvalues of Transmission Graph Laplacians
The standard notion of the Laplacian of a graph is generalized to the setting of a graph with the extra structure of a ``transmission`` system. A transmission system is a mathematical representation of a means of transmitting (multi-parameter) data along directed edges from vertex to vertex. The associated transmission graph Laplacian is shown to have many of the former properties of the classical case, including: an upper Cheeger type bound on the second eigenvalue minus the first of a geometric isoperimetric character, relations of this difference of eigenvalues to diameters for k-regular graphs, eigenvalues for Cayley graphs with transmission systems. An especially natural transmission system arises in the context of a graph endowed with an association. Other relations to transmission systems arising naturally in quantum mechanics, where the transmission matrices are scattering matrices, are made. As a natural merging of graph theory and matrix theory, there are numerous potential applications, for example to random graphs and random matrices.
A concentration result with application to subgraph count
Published
• View Publication
• BIB
Let H = (V,E) be a k-uniform hypergraph with a vertex set V and an edge set E. Let V_p be constructed by taking every vertex in V independently with probability p. Let X be the number of edges in E that are contained in V_p. We give a condition that guarantees the concentration of X within a small interval around its mean. The applicability of this result is demonstrated by deriving new sub-Gaussian tails for the number of copies of small complete and complete bipartite graphs in the binomial random graph, extending results of Ruciński and Vu.
Time evolution of dense multigraph limits under edge-conservative preferential attachment dynamics
We define the edge reconnecting model, a random multigraph evolving in time. At each time step we change one endpoint of a uniformly chosen edge: the new endpoint is chosen by linear preferential attachment. We consider a sequence of edge reconnecting models where the sequence of initial multigraphs is convergent in a sense which is a natural generalization of the notion of convergence of dense graph sequences, defined by Lovasz and Szegedy in arXiv:math/0408173. We investigate how the limit object evolves under the edge reconnecting dynamics if we rescale time properly: we give the complete characterization of the time evolution of the limit object from its initial state up to the stationary state, which is described in the companion paper arXiv:1106.2058. In our proofs we use the theory of exchangeable arrays, queuing and diffusion processes. The number of parallel edges and the degrees evolve on different timescales and because of this the model exhibits subaging.
A note on the third invariant factor of the Laplacian matrix of a graph
Let $G$ be a simple connected graph with $n\geq 5$ vertices. In this note, we will prove that $s_3(G)\leq n$, and characterize the graphs which satisfy that $s_3(G)=n, n-1, n-2, $ or $n-3$, where $s_3(G)$ is the third invariant factor of the Laplacian matrix of $G$.
The critical group of $K_m\times C_n$
In this paper, the structure of the critical group of the graph $K_m\times C_n$ is determined, where $m, n\ge 3$.
The dunce hat in a minimal non-extendably collapsible 3-ball
We obtain a geometric realization of a minimal 8-vertex triangulation of the dunce hat in Euclidean 3-space. We show there is a simplicial 3-ball with 8 vertices that is collapsible, but also collapses onto the dunce hat, which is not collapsible. This 3-ball is as small as possible, because all triangulated 3-balls with fewer vertices are extendably collapsible. As we will see, the Alexander dual of the dunce hat is collapsible.
Tight Lower Bounds on the Sizes of Symmetric Extensions of Permutahedra and Similar Results
Published
• View Publication
• BIB
It is well known that the permutahedron Pi_n has 2^n-2 facets. The Birkhoff polytope provides a symmetric extended formulation of Pi_n of size Theta(n^2). Recently, Goemans described a non-symmetric extended formulation of Pi_n of size Theta(n log(n)). In this paper, we prove that Omega(n^2) is a lower bound for the size of symmetric extended formulations of Pi_n.
Counting reducible, powerful, and relatively irreducible multivariate polynomials over finite fields
Published in SIAM Journal on Discrete Mathematics 27 (2013) 855-891
• View Publication
• BIB
We present counting methods for some special classes of multivariate polynomials over a finite field, namely the reducible ones, the s-powerful ones (divisible by the s-th power of a nonconstant polynomial), and the relatively irreducible ones (irreducible but reducible over an extension field). One approach employs generating functions, another one uses a combinatorial method. They yield exact formulas and approximations with relative errors that essentially decrease exponentially in the input size.
Satisfying states of triangulations of a convex n-gon
In this work we count the number of satisfying states of triangulations of a convex n-gon using the transfer matrix method. We show an exponential (in n) lower bound. We also give the exact formula for the number of satisfying states of a strip of triangles.
The critical group of $C_4\times C_n$
In this paper, the critical group structure of the Cartesian product graph $C_4\times C_n$ is determined, where $n\ge 3$.
On the geodetic and the hull numbers in strong product graphs
A set S of vertices of a connected graph G is convex, if for any pair of vertices u; v 2 S, every shortest path joining u and v is contained in S . The convex hull CH(S) of a set of vertices S is defined as the smallest convex set in G containing S. The set S is geodetic, if every vertex of G lies on some shortest path joining two vertices in S, and it is said to be a hull set if its convex hull is V(G). The geodetic and the hull numbers of G are the cardinality of a minimum geodetic and a minimum hull set, respectively. In this work, we investigate the behavior of both geodetic and hull sets with respect to the strong product operation for graphs. We also stablish some bounds for the geodetic number and the hull number and obtain the exact value of these parameters for a number of strong product graphs.
Discrete Dirac Operators, Critical Embeddings and Ihara-Selberg Functions
Published in The Electronic Journal of Combinatorics 22(1) (2015), #P1.10
• View Publication
• BIB
The aim of the paper is to formulate a discrete analogue of the claim made by Alvarez-Gaume et al., realizing the partition function of the free fermion on a closed Riemann surface of genus g as a linear combination of 2^{2g} Pfaffians of Dirac operators. Let G=(V,E) be a finite graph embedded in a closed Riemann surface X of genus g, x_e the collection of independent variables associated with each edge e of G (collected in one vector variable x) and S the set of all 2^{2g} Spin-structures on X. We introduce 2^{2g} rotations rot_s and (2|E| times 2|E|) matrices D(s)(x), s in S, of the transitions between the oriented edges of G determined by rotations rot_s. We show that the generating function for the even subsets of edges of G, i.e., the Ising partition function, is a linear combination of the square roots of 2^{2g} Ihara-Selberg functions I(D(s)(x)) also called Feynman functions. By a result of Foata--Zeilberger holds I(D(s)(x))= det(I-D'(s)(x)), where D'(s)(x) is obtained from D(s)(x) by replacing some entries by 0. Thus each Feynman function is computable in polynomial time. We suggest that in the case of critical embedding of a bipartite graph G, the Feynman functions provide suitable discrete analogues for the Pfaffians of discrete Dirac operators.
Real radical initial ideals
Published in Journal of Algebra 352 (2012), pp. 392-407
• View Publication
• BIB
We explore the consequences of an ideal I of real polynomials having a real radical initial ideal, both for the geometry of the real variety of I and as an application to sums of squares representations of polynomials. We show that if in_w(I) is real radical for a vector w in the tropical variety, then w is in the logarithmic set of the real variety. We also give algebraic sufficient conditions for w to be in the logarithmic limit set of a more general semialgebraic set. If in addition the entries of w are positive, then the corresponding quadratic module is stable. In particular, if in_w(I) is real radical for some positive vector w then the set of sums of squares modulo I is stable. This provides a method for checking the conditions for stability given by Powers and Scheiderer.
On Polygons Excluding Point Sets
Published
• View Publication
• BIB
By a polygonization of a finite point set $S$ in the plane we understand a simple polygon having $S$ as the set of its vertices. Let $B$ and $R$ be sets of blue and red points, respectively, in the plane such that $B\cup R$ is in general position, and the convex hull of $B$ contains $k$ interior blue points and $l$ interior red points. Hurtado et al. found sufficient conditions for the existence of a blue polygonization that encloses all red points. We consider the dual question of the existence of a blue polygonization that excludes all red points $R$. We show that there is a minimal number $K=K(l)$, which is polynomial in $l$, such that one can always find a blue polygonization excluding all red points, whenever $k\geq K$. Some other related problems are also considered.