Showing 20 papers (Total: 82901 papers, 47900 authors in database)
Three-way symbolic tree-maps and ultrametrics
Published
• View Publication
• BIB
Three-way dissimilarities are a generalization of (two-way) dissimilarities which can be used to indicate the lack of homogeneity or resemblance between any three objects. Such maps have applications in cluster analysis, and have been used in areas such as psychology and phylogenetics, where three-way data tables can arise. Special examples of such dissimilarities are three-way tree-metrics and ultrametrics, which arise from leaf-labelled trees with edges labelled by positive real numbers. Here we consider three-way maps which arise from leaf-labelled trees where instead the interior vertices are labelled by an arbitrary set of values. For unrooted trees we call such maps three-way symbolic tree-maps; for rooted trees we call them three-way symbolic ultrametrics since they can be considered as a generalization of the (two-way) symbolic ultrametrics of Böcker and Dress. We show that, as with two- and three-way tree-metrics and ultrametrics, three-way symbolic tree-maps and ultrametrics can be characterized via certain $k$-point conditions. In the unrooted case, our characterization is mathematically equivalent to one presented by Gurvich for a certain class of edge-labelled hypergraphs. We also show that it can be decided whether or not an arbitrary three-way symbolic map is a tree-map or a symbolic ultrametric using a triplet-based approach that relies on the so-called BUILD algorithm for deciding when a set of 3-leaved trees or triplets can be displayed by a single tree. We envisage that our results will be useful in developing new approaches and algorithms for understanding 3-way data, especially within the area of phylogenetics.
Long paths and toughness of k-trees and chordal planar graphs
Published
• View Publication
• BIB
We show that every $k$-tree of toughness greater than $\frac{k}{3}$ is Hamilton-connected for $k \geq 3$. (In particular, chordal planar graphs of toughness greater than $1$ are Hamilton-connected.) This improves the result of Broersma et al. (2007) and generalizes the result of Böhme et al. (1999).
On the other hand, we present graphs whose longest paths are short. Namely, we construct $1$-tough chordal planar graphs and $1$-tough planar $3$-trees, and we show that the shortness exponent of the class is $0$, at most $\log_{30}{22}$, respectively. Both improve the bound of Böhme et al. Furthermore, the construction provides $k$-trees (for $k \geq 4$) of toughness greater than $1$.
Not Conway's 99-Graph Problem
Conway's 99-graph problem is the second problem amongst the five 1000\$ 2017 open problems set. Four out of the five remain unsolved to this day, including the 99-graph problem. In this paper we quote Conway's definition of the problem and give an alternative interpretation of it, which we humorously name "not Conway's 99-graph problem". We solve the alternative interpretation completely.
Monochromatic infinite sumsets
We show that there is a rational vector space $V$ such that, whenever $V$ is finitely coloured, there is an infinite set $X$ whose sumset $X+X$ is monochromatic. Our example is the rational vector space of dimension $\sup\{\aleph_0,2^{\aleph_0},2^{2^{\aleph_0}},\ldots\,\}$. This complements a result of Hindman, Leader and Strauss, who showed that the result does not hold for dimension below $\aleph_ω$. So our result is best possible under GCH.
Interval Orders with Two Interval Lengths
Published
• View Publication
• BIB
A poset $P = (X,\prec)$ has an interval representation if each $x \in X$ can be assigned a real interval $I_x$ so that $x \prec y$ in $P$ if and only if $I_x$ lies completely to the left of $I_y$. Such orders are called \emph{interval orders}. In this paper we give a surprisingly simple forbidden poset characterization of those posets that have an interval representation in which each interval length is either 0 or 1. In addition, for posets $(X,\prec)$ with a weight of 1 or 2 assigned to each point, we characterize those that have an interval representation in which for each $x \in X$ the length of the interval assigned to $x$ equals the weight assigned to $x$. For both these problems we can determine in polynomial time whether the desired interval representation is possible and in the affirmative case, produce such a representation.
Tolerance Orders of Open and Closed Intervals
Published
• View Publication
• BIB
In this paper we combine ideas from tolerance orders with recent work on OC interval orders. We consider representations of posets by unit intervals $I_v$ in which the interval endpoints ($L(v)$ and $R(v)$) may be open or closed as well as the center point ($c(v)$). This yields four types of intervals: $A$ (endpoints and center points closed), $B$ (endpoints and center points open), $C$ (endpoints closed, center points open), and $D$ (endpoints open, center points closed). For any non-empty subset $S$ of $\{A,B,C,D\}$, we define an $S$-order as a poset $P$ that has a representation as follows: each element $v$ of $P$ is assigned a unit interval $I_v$ of type belonging to $S$, and $x \prec y$ if and only if either (i) $R(x) < c(y)$ or (ii) $R(x) = c(y)$ and at least one of $R(x), c(y)$ is open and at least one of $L(y), c(x)$ is open. We characterize several of the classes of $S$-orders and provide separating examples between unequal classes. In addition, for each $S \subseteq \{A,B,C,D\}$ we present a polynomial-time algorithm that recognizes $S$-orders, providing a representation when one exists and otherwise providing a certificate showing it is not an $S$-order.
Combinatorial and Arithmetical Properties of the Restricted and Associated Bell and Factorial Numbers
Published
• View Publication
• BIB
Set partitions and permutations with restrictions on the size of the blocks and cycles are important combinatorial sequences. Counting these objects lead to the sequences generalizing the classical Stirling and Bell numbers. The main focus of the present article is the analysis of combinatorial and arithmetical properties of them. The results include several combinatorial identities and recurrences as well as some properties of their $p$-adic valuations.
Rook theory of the finite general linear group
Published in Experimental Mathematics 29:3 (2020), 328-346
• View Publication
• BIB
Matrices over a finite field having fixed rank and restricted support are a natural $q$-analogue of rook placements on a board. We develop this $q$-rook theory by defining a corresponding analogue of the hit numbers. Using tools from coding theory, we show that these $q$-hit and $q$-rook numbers obey a variety of identities analogous to the classical case. We also explore connections to earlier $q$-analogues of rook theory, as well as settling a polynomiality conjecture and finding a counterexample of a positivity conjecture of the authors and Klein.
Estimating parameters associated with monotone properties
Published in Combinator. Probab. Comp. 29 (2020) 616-632
• View Publication
• BIB
There has been substantial interest in estimating the value of a graph parameter, i.e., of a real-valued function defined on the set of finite graphs, by querying a randomly sampled substructure whose size is independent of the size of the input. Graph parameters that may be successfully estimated in this way are said to be testable or estimable, and the sample complexity $q_z=q_z(ε)$ of an estimable parameter $z$ is the size of a random sample of a graph $G$ required to ensure that the value of $z(G)$ may be estimated within an error of $ε$ with probability at least 2/3. In this paper, for any fixed monotone graph property $\mathcal{P}=\mbox{Forb}(\mathcal{F})$, we study the sample complexity of estimating a bounded graph parameter $z_{\mathcal{P}}$ that, for an input graph $G$, counts the number of spanning subgraphs of $G$ that satisfy $\mathcal{P}$. To improve upon previous upper bounds on the sample complexity, we show that the vertex set of any graph that satisfies a monotone property $\mathcal{P}$ may be partitioned equitably into a constant number of classes in such a way that the cluster graph induced by the partition is not far from satisfying a natural weighted graph generalization of $\mathcal{P}$. Properties for which this holds are said to be recoverable, and the study of recoverable properties may be of independent interest.
Eigenvariety of Nonnegative Symmetric Weakly Irreducible Tensors Associated with Spectral Radius and Its Application to Hypergraphs
Published in Linear Algebra and its Applications, 564(2019), 72-94
• View Publication
• BIB
For a nonnegative symmetric weakly irreducible tensor, its spectral radius is an eigenvalue corresponding to a unique positive eigenvector up to a scalar called the Perron vector. But including the Perron vector, there may have more than one eigenvector corresponding to the spectral radius. The projective eigenvariety associated with the spectral radius is the set of the eigenvectors corresponding to the spectral radius considered in the complex projective space. In this paper we proved that such projective eigenvariety admits a module structure, which is determined by the support of the tensor and can be characterized explicitly by solving the Smith normal form of the incidence matrix of the tensor. We introduced two parameters: the stabilizing index and the stabilizing dimension of the tensor, where the former is exactly the cardinality of the projective eigenvariety and the latter is the composition length of the projective eigenvariety as a module. We give some upper bounds for the two parameters, and characterize the case that there is only one eigenvector of the tensor corresponding to the spectral radius, i.e. the Perron vector. By applying the above results to the adjacency tensor of a connected uniform hypergraph, we give some upper bounds for the two parameters in terms of the structural parameters of the hypergraph such as path cover number, matching number and the maximum length of paths.
The Mahler conjecture in two dimensions via the probabilistic method
Published in Amer. Math. Monthly 125(9) (2018), 820-828
• View Publication
• BIB
The "Mahler volume" is, intuitively speaking, a measure of how "round" a centrally symmetric convex body is. In one direction this intuition is given weight by a result of Santalo, who in the 1940s showed that the Mahler volume is maximized, in a given dimension, by the unit sphere and its linear images, and only these. A counterpart to this result in the opposite direction is proposed by a conjecture, formulated by Kurt Mahler in the 1930s and still open in dimensions 4 and greater, asserting that the Mahler volume should be minimized by a cuboid. In this article we present a seemingly new proof of the 2-dimensional case of this conjecture via the probabilistic method. The central idea is to show that either deleting a random pair of edges from a centrally symmetric convex polygon, or deleting a random pair of vertices, reduces the Mahler volume with positive probability.
A bijection for essentially 4-connected toroidal triangulations
Published
• View Publication
• BIB
Transversal structures (also known as regular edge labelings) are combinatorial structures defined over 4-connected plane triangulations with quadrangular outer-face. They have been intensively studied and used for many applications (drawing algorithm, random generation, enumeration ...). In this paper we introduce and study a generalization of these objects for the toroidal case. Contrary to what happens in the plane, the set of toroidal transversal structures of a given toroidal triangulation is partitioned into several distributive lattices. We exhibit a subset of toroidal transversal structures, called balanced, and show that it forms a single distributive lattice. Then, using the minimal element of the lattice, we are able to enumerate bijectively essentially 4-connected toroidal triangulations.
A note on the van der Waerden complex
Published
• View Publication
• BIB
Ehrenborg, Govindaiah, Park, and Readdy recently introduced the van der Waerden complex, a pure simplicial complex whose facets correspond to arithmetic progressions. Using techniques from combinatorial commutative algebra, we classify when these pure simplicial complexes are vertex decomposable or not Cohen-Macaulay. As a corollary, we classify the van der Waerden complexes that are shellable.
Non-kissing complexes and tau-tilting for gentle algebras
Published in Mem. Amer. Math. Soc., vol. 274(1343), vii+110 pp, 2021
• View Publication
• BIB
We interpret the support $τ$-tilting complex of any gentle bound quiver as the non-kissing complex of walks on its blossoming quiver. Particularly relevant examples were previously studied for quivers defined by a subset of the grid or by a dissection of a polygon. We then focus on the case when the non-kissing complex is finite. We show that the graph of increasing flips on its facets is the Hasse diagram of a congruence-uniform lattice. Finally, we study its $\mathbf{g}$-vector fan and prove that it is the normal fan of a non-kissing associahedron.
On minimal triangle-free 6-chromatic graphs
Published
• View Publication
• BIB
A graph with chromatic number $k$ is called $k$-chromatic. Using computational methods, we show that the smallest triangle-free 6-chromatic graphs have at least 32 and at most 40 vertices.
We also determine the complete set of all triangle-free 5-chromatic graphs up to 24 vertices. This implies that Reed's conjecture holds for triangle-free graphs up to at least this order. We also establish that the smallest regular triangle-free 5-chromatic graphs have 24 vertices. Finally, we show that the smallest 5-chromatic graphs of girth at least 5 have at least 29 vertices and that the smallest 4-chromatic graphs of girth at least 6 have at least 25 vertices.
Hamiltonian cycles in $k$-partite graphs
Published
• View Publication
• BIB
Chen, Faudree, Gould, Jacobson, and Lesniak determined the minimum degree threshold for which a balanced $k$-partite graph has a Hamiltonian cycle. We give an asymptotically tight minimum degree condition for Hamiltonian cycles in arbitrary $k$-partite graphs in which all parts have at most $n/2$ vertices (a necessary condition). To do this, we first prove a general result which both simplifies the process of checking whether a graph $G$ is a robust expander and gives useful structural information in the case when $G$ is not a robust expander. Then we use this result to prove that any $k$-partite graph satisfying the minimum degree condition is either a robust expander or else contains a Hamiltonian cycle directly.
Technical report Existence of Kirkman signal sets on $v=1,3\pmod{6}$ points, $14\leq v \leq 3000$
A partial Steiner triple system whose triples can be partitioned into $s$ partial parallel classes, each of size $m$, is a $signal$ $set$, denoted $\mbox{SS}(v,s,m)$. A $Kirkman$ $signal$ $set$ $\mbox{KSS}(v,m)$ is an $\mbox{SS}(v,s,m)$ with $s=\lfloorμ(v)/m\rfloor$. When $v \equiv 1$ or $3 \pmod{6}$, then $μ(v)=b$, so the decomposition of an $\mbox{STS}(v)$ into partial parallel classes of size $m$ is equivalent to a $\mbox{KSS}(v,m)$. Table of known existence results is given.
Minimum size of n-factor-critical graphs and k-extendable graphs
We determine the minimum size of $n$-factor-critical graphs and that of $k$-extendable bipartite graphs, by considering Harary graphs and related graphs. Moreover, we determine the minimum size of $k$-extendable non-bipartite graphs for $k=1,\ 2$, and pose a related conjecture for general $k$.
M-alternating Hamilton paths and M-alternating Hamilton cycles
Published in Discrete Mathematics, 309(10), 3385-3392 (2009)
• View Publication
• BIB
We study $M$-alternating Hamilton paths and $M$-alternating Hamilton cycles in a simple connected graph $G$ on $ν$ vertices with a perfect matching $M$. Let $G$ be a bipartite graph, we prove that if for any two vertices $x$ and $y$ in different parts of $G$, $d(x)+d(y)\geq ν/2+2$, then $G$ has an $M$-alternating Hamilton cycle. For general graphs, a condition for the existence of an $M$-alternating Hamilton path starting and ending with edges in $M$ is put forward. Then we prove that if $κ(G)\geqν/2$, where $κ(G)$ denotes the connectivity of $G$, then $G$ has an $M$-alternating Hamilton cycle or belongs to one class of exceptional graphs. Lou and Yu \cite{LY} have proved that every $k$-extendable graph $H$ with $k\geqν/4$ is bipartite or satisfies $κ(H)\geq 2k$. Combining this result with those we obtain we prove the existence of $M$-alternating Hamilton cycles in $H$.
Chern-Schwartz-MacPherson cycles of matroids
Published
• View Publication
• BIB
We define Chern-Schwartz-MacPherson (CSM) cycles of an arbitrary matroid. These are balanced weighted fans supported on the skeleta of the corresponding Bergman fan. In the case that the matroid arises from a complex hyperplane arrangement A, we show that these cycles represent the CSM class of the complement of A. We also prove that for any matroid, the degrees of its CSM cycles are given by the coefficients of (a shift of) the reduced characteristic polynomial, and that CSM cycles are valuations under matroid polytope subdivisions.