Showing 20 papers (Total: 82851 papers, 47869 authors in database)
A family of $ω_1$ many topological types of locally finite trees
Published
• View Publication
• BIB
Two rooted locally finite trees are considered equivalent if both can be embedded into each other as topological minors by means of tree-order preserving mappings. By exploiting Nash-William's Theorem, Matthiesen provided a non-constructive proof of the uncountability of such equivalence classes, thus answering a question of van der Holst. As an open problem, Matthiesen asks for a constructive proof of this fact. The purpose of this paper is to provide one such construction; working solely within ZFC we illustrate a collection of !1 many topological types of rooted trees. In particular, we also show that this construction strengthens that of Matthiesen in that it also applies to free (unrooted) trees of degree two.
Cospectral digraphs from locally line digraphs
A digraph $\G=(V,E)$ is a line digraph when every pair of vertices $u,v\in V$ have either equal or disjoint in-neighborhoods. When this condition only applies for vertices in a given subset (with at least two elements), we say that $\G$ is a locally line digraph. In this paper we give a new method to obtain a digraph $\G'$ cospectral with a given locally line digraph $\G$ with diameter $D$, where the diameter $D'$ of $\G'$ is in the interval $[D-1,D+1]$. In particular, when the method is applied to De Bruijn or Kautz digraphs, we obtain cospectral digraphs with the same algebraic properties that characterize the formers.
Bounding the search number of graph products
In this paper, we provide results for the search number of the Cartesian product of graphs. We consider graphs on opposing ends of the spectrum: paths and cliques. Our main result determines the pathwidth of the product of cliques and provides a lower bound for the search number of the product of cliques. A consequence of this result is a bound for the search number of arbitrary graphs G and H based on their respective clique numbers.
Chern class of Schubert cells in the flag manifold and related algebras
Published
• View Publication
• BIB
We discuss a relationship between Chern-Schwartz-MacPherson classes for Schubert cells in flag manifolds, Fomin-Kirillov algebra, and the generalized nil-Hecke algebra. We show that nonnegativity conjecture in Fomin-Kirillov algebra implies the nonnegativity of the Chern-Schwartz-MacPherson classes for Schubert cells in flag manifolds for type A. Motivated by this connection, we also prove that the (equivariant) Chern-Schwartz-MacPherson classes for Schubert cells in flag manifolds are certain summations of the structure constants of the equivariant cohomology of the Bott-Samelson varieties. We also discuss the refined positivity conjectures of the Chern-Schwartz-MacPherson classes for Schubert cells motivated by the nonnegativity conjecture in Fomin-Kirillov algebra.
Scalefree hardness of average-case Euclidean TSP approximation
We show that if P$\neq$NP, then a wide class of TSP heuristics fail to approximate the length of the TSP to asymptotic optimality, even for random Euclidean instances. Previously, this result was not even known for any heuristics (greedy, etc) used in practice. As an application, we show that when using a heuristic from this class, a natural class of branch-and-bound algorithms takes exponential time to find an optimal tour (again, even on a random point-set), regardless of the particular branching strategy or lower-bound algorithm used.
$1$-perfectly orientable $K_4$-minor-free and outerplanar graphs
A graph $G$ is said to be $1$-perfectly orientable if it has an orientation such that for every vertex $v\in V(G)$, the out-neighborhood of $v$ in $D$ is a clique in $G$. In $1982$, Skrien posed the problem of characterizing the class of $1$-perfectly orientable graphs. This graph class forms a common generalization of the classes of chordal and circular arc graphs; however, while polynomially recognizable via a reduction to $2$-SAT, no structural characterization of this intriguing class of graphs is known. Based on a reduction of the study of $1$-perfectly orientable graphs to the biconnected case, we characterize, both in terms of forbidden induced minors and in terms of composition theorems, the classes of $1$-perfectly orientable $K_4$-minor-free graphs and of $1$-perfectly orientable outerplanar graphs. As part of our approach, we introduce a class of graphs defined similarly as the class of $2$-trees and relate the classes of graphs under consideration to two other graph classes closed under induced minors studied in the literature: cyclically orientable graphs and graphs of separability at most~$2$.
Asymptotics of Bivariate Analytic Functions with Algebraic Singularities
Published
• View Publication
• BIB
In this paper, we use the multivariate analytic techniques of Pemantle and Wilson to derive asymptotic formulae for the coefficients of a broad class of multivariate generating functions with algebraic singularities. Flajolet and Odlyzko (1990) analyzed the coefficients of a class of univariate generating functions with algebraic singularities. These results have been extended to classes of multivariate generating functions by Gao and Richmond (1992) and Hwang (1996, 1998), in both cases by immediately reducing the multivariate case to the univariate case. Pemantle and Wilson (2013) outlined new multivariate analytic techniques and used them to analyze the coefficients of rational generating functions. These same multivariate techniques can be used to analyze functions with algebraic singularities.
Products in a Category with One Object
We study monoids equipped with a second binary operation that captures the structure of the endomorphisms of an object $X$ such that $X=X\times X$. We construct a universal monoid of this type and examine some of its rich combinatorial structure. We show that if $X$ has a nontrivial endomorphism and $X=X\times X$, then every finite monoid has a faithful action on $X$.
Partitions with fixed largest hook length
Published
• View Publication
• BIB
Motivated by a recent paper of Straub, we study the distribution of integer partitions according to the length of their largest hook, instead of the usual statistic, namely the size of the partitions. We refine Straub's analogue of Euler's Odd-Distinct partition theorem, derive a generalization in the spirit of Alder's conjecture, as well as a curious analogue of the first Rogers-Ramanujan identity. Moreover, we obtain a partition theorem that is the counterpart of Euler's pentagonal number theory in this setting, and connect it with the Rogers-Fine identity. We concludes with some congruence properties.
Pebbling in Semi-2-Trees
Graph pebbling is a network model for transporting discrete resources that are consumed in transit. Deciding whether a given configuration on a particular graph can reach a specified target is ${\sf NP}$-complete, even for diameter two graphs, and deciding whether the pebbling number has a prescribed upper bound is $Π_2^{\sf P}$-complete. Recently we proved that the pebbling number of a split graph can be computed in polynomial time. This paper advances the program of finding other polynomial classes, moving away from the large tree width, small diameter case (such as split graphs) to small tree width, large diameter, continuing an investigation on the important subfamily of chordal graphs called $k$-trees. In particular, we provide a formula, that can be calculated in polynomial time, for the pebbling number of any semi-2-tree, falling shy of the result for the full class of 2-trees.
Graph Nimors
In the game of Graph Nimors, two players alternately perform graph minor operations (deletion and contraction of edges) on a graph until no edges remain, at which point the player who last moved wins. We present theoretical and experimental results and conjectures regarding this game.
Multivariate P-Eulerian polynomials
arXiv only
The P-Eulerian polynomial counts the linear extensions of a labeled partially ordered set, P, by their number of descents. It is known that the P-Eulerian polynomials are real-rooted for various classes of posets P. The purpose of this paper is to extend these results to polynomials in several variables. To this end we study multivariate extensions of P-Eulerian polynomials and prove that for certain posets these polynomials are stable, i.e., non-vanishing whenever all variables are in the upper half-plane of the complex plane. A natural setting for our proofs is the Malvenuto-Reutenauer algebra of permutations (or the algebra of free quasi-symmetric functions). In the process we identify an algebra on Dyck paths, which to our knowledge has not been studied before.
Efficient Counting of Degree Sequences
Published
• View Publication
• BIB
Novel dynamic programming algorithms to count the set $D(n)$ of zero-free degree sequences of length $n$, the set $D_c(n)$ of degree sequences of connected graphs on $n$ vertices and the set $D_b(n)$ of degree sequences of biconnected graphs on $n$ vertices exactly are presented. They are all based on a recurrence of Barnes and Savage and shown to run in polynomial time and are asymptotically much faster than the previous best known algorithms for these problems. These appear to be the first polynomial time algorithms to compute $|D(n)|$, $|D_c(n)|$ and $|D_b(n)|$ to the author's knowledge and have enabled us to tabulate them up to $n=118$, the majority of which were unknown. The available numerical results of $|D(n)|$ tend to give more supporting evidence of a conjecture of Gordon F. Royle about the limit of $|D(n)|/|D(n-1)|$. The OEIS entries that can be computed by algorithms in this paper are A004251, A007721, A007722 and A095268.
Decomposition of tournament limits
Published in European Journal of Combinatorics, Volume 67, January 2018, Pages 96-125
• View Publication
• BIB
The theory of tournament limits and tournament kernels (often called graphons) is developed by extending common notions for finite tournaments to this setting; in particular we study transitivity and irreducibility of limits and kernels. We prove that each tournament kernel and each tournament limit can be decomposed into a direct sum of irreducible components, with transitive components interlaced. We also show that this decomposition is essentially unique.
Remarks on the energy of regular graphs
Published
• View Publication
• BIB
The energy of a graph is the sum of the absolute values of the eigenvalues of its adjacency matrix. This note is about the energy of regular graphs. It is shown that graphs that are close to regular can be made regular with a negligible change of the energy. Also a $k$-regular graph can be extended to a $k$-regular graph of a slightly larger order with almost the same energy. As an application, it is shown that for every sufficiently large $n,$ there exists a regular graph $G$ of order $n$ whose energy $\left\Vert G\right\Vert_{\ast}$ satisfies \[ \left\Vert G\right\Vert_{\ast}>\frac{1}{2}n^{3/2}-n^{13/10}. \] Several infinite families of graphs with maximal or submaximal energy are given, and the energy of almost all regular graphs is determined.
Small minimal $(3, 3)$-Ramsey graphs
Published in Ann. Univ. Sofia Fac. Math. Inform., 103:123-147, 2016
• Search Publication
We say that $G$ is a $(3, 3)$-Ramsey graph if every $2$-coloring of the edges of $G$ forces a monochromatic triangle. The $(3, 3)$-Ramsey graph $G$ is minimal if $G$ does not contain a proper $(3, 3)$-Ramsey subgraph. In this work we find all minimal $(3, 3)$-Ramsey graphs with up to 13 vertices with the help of a computer, and we obtain some new results for these graphs. We also obtain new upper bounds on the independence number and new lower bounds on the minimum degree of arbitrary $(3, 3)$-Ramsey graphs.
On $(2k+1, 2k+3)$-core partitions with distinct parts
In this paper, we are mainly concerned with the enumeration of $(2k+1, 2k+3)$-core partitions with distinct parts. We derive the number and the largest size of such partitions, confirming two conjectures posed by Straub.
Distinguishing number and distinguishing index of natural and fractional powers of graphs
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial automorphism. For any $n \in \mathbb{N}$, the $n$-subdivision of $G$ is a simple graph $G^{\frac{1}{n}}$ which is constructed by replacing each edge of $G$ with a path of length $n$. The $m^{th}$ power of $G$, is a graph with same set of vertices of $G$ and an edge between two vertices if and only if there is a path of length at most $m$ between them. The fractional power of $G$, denoted by $G^{\frac{m}{n}}$ is $m^{th}$ power of the $n$-subdivision of $G$ or $n$-subdivision of $m$-th power of $G$. In this paper we study the distinguishing number and distinguishing index of natural and fractional powers of $G$. We show that the natural powers more than two of a graph distinguished by three edge labels. Also we show that for a connected graph $G$ of order $n \geqslant 3$ with maximum degree $Δ(G)$, $D(G^{\frac{1}{k}})\leqslant min\{s: 2^k+\sum^s_{n=3}n^{k-1}\geqslant Δ(G)\}$ and for $m\geqslant 3$, $D'(G^{\frac{m}{k}})\leqslant 3$.
New results on metric-locating-dominating sets of graphs
A dominating set $S$ of a graph is a metric-locating-dominating set if each vertex of the graph is uniquely distinguished by its distances from the elements of $S$, and the minimum cardinality of such a set is called the metric-location-domination number. In this paper, we undertake a study that, in general graphs and specific families, relates metric-locating-dominating sets to other special sets: resolving sets, dominating sets, locating-dominating sets and doubly resolving sets. We first characterize classes of trees according to certain relationships between their metric-location-domination number and their metric dimension and domination number. Then, we show different methods to transform metric-locating-dominating sets into locating-dominating sets and doubly resolving sets. Our methods produce new bounds on the minimum cardinalities of all those sets, some of them involving parameters that have not been related so far.
Shortcut sets for the locus of plane Euclidean networks
We study the problem of augmenting the locus $\mathcal{N}_{\ell}$ of a plane Euclidean network $\mathcal{N}$ by inserting iteratively a finite set of segments, called \emph{shortcut set}, while reducing the diameter of the locus of the resulting network. There are two main differences with the classical augmentation problems: the endpoints of the segments are allowed to be points of $\mathcal{N}_{\ell}$ as well as points of the previously inserted segments (instead of only vertices of $\mathcal{N}$), and the notion of diameter is adapted to the fact that we deal with $\mathcal{N}_{\ell}$ instead of $\mathcal{N}$. This increases enormously the hardness of the problem but also its possible practical applications to network design. Among other results, we characterize the existence of shortcut sets, compute them in polynomial time, and analyze the role of the convex hull of $\mathcal{N}_{\ell}$ when inserting a shortcut set. Our main results prove that, while the problem of minimizing the size of a shortcut set is NP-hard, one can always determine in polynomial time whether inserting only one segment suffices to reduce the diameter.