Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Planar Turán Number of intersecting triangles
Published
• View Publication
• BIB
The planar Turán number of a given graph $H$, denoted by $ex_{\mathcal{P}}(n,H)$, is the maximum number of edges over all planar graphs on $n$ vertices that do not contain a copy of $H$ as a subgraph. Let $H_k$ be a friendship graph, which is obtained from $k$ triangles by sharing a common vertex. In this paper, we obtain sharp bounds of $ex_{\mathcal{P}}(n,H_k)$ and $ex_{\mathcal{P}}(n,K_1+P_{k+1})$ for $k\ge2$, which improves the results of Lan and Shi in Electron. J. Combin. 26 (2) (2019), \#P2.11.
Combinatorial and stochastic properties of ranked tree-child networks
Published in Random Structures & Algorithms, 60(4):653-689 (2022)
• View Publication
• BIB
Tree-child networks are a recently-described class of directed acyclic graphs that have risen to prominence in phylogenetics (the study of evolutionary trees and networks). Although these networks have a number of attractive mathematical properties, many combinatorial questions concerning them remain intractable. In this paper, we show that endowing these networks with a biologically relevant ranking structure yields mathematically tractable objects, which we term ranked tree-child networks (RTCNs). We explain how to derive exact and explicit combinatorial results concerning the enumeration and generation of these networks. We also explore probabilistic questions concerning the properties of RTCNs when they are sampled uniformly at random. These questions include the lengths of random walks between the root and leaves (both from the root to the leaves and from a leaf to the root); the distribution of the number of cherries in the network; and sampling RTCNs conditional on displaying a given tree. We also formulate a conjecture regarding the scaling limit of the process that counts the number of lineages in the ancestry of a leaf. The main idea in this paper, namely using ranking as a way to achieve combinatorial tractability, may also extend to other classes of networks.
Path spaces I: A Menger-type result
Infinite graphs are finitary in the sense that their points are connected via finite paths. So what would an infinitary generalization of finite graphs look like? Usually this question is answered with the aid of topology, e.g. in the case of graph-like spaces. Here we introduce a more combinatorial answer, which we call path space, and prove a version of Menger's theorem for it. Since there are many topological path-like objects which induce path spaces, this result can be applied in a variety of settings.
Rainbow odd cycles
Published in SIAM Journal on Discrete Mathematics, Volume 35, Issue 4, pp 2293-2303, October 2021
• View Publication
• BIB
We prove that every family of (not necessarily distinct) odd cycles $O_1, \dots, O_{2\lceil n/2 \rceil-1}$ in the complete graph $K_n$ on $n$ vertices has a rainbow odd cycle (that is, a set of edges from distinct $O_i$'s, forming an odd cycle). As part of the proof, we characterize those families of $n$ odd cycles in $K_{n+1}$ that do not have any rainbow odd cycle. We also characterize those families of $n$ cycles in $K_{n+1}$, as well as those of $n$ edge-disjoint nonempty subgraphs of $K_{n+1}$, without any rainbow cycle.
On lengths of burn-off chip-firing games
We continue our studies of burn-off chip-firing games from [Discrete Math. Theor. Comput. Sci. 15 (2013), no. 1, 121-132; MR3040546] and [Australas. J. Combin. 68 (2017), no. 3, 330-345; MR3656659]. The latter article introduced randomness by choosing successive seeds uniformly from the vertex set of a graph $G$. The length of a game is the number of vertices that fire (by sending a chip to each neighbor and annihilating one chip) as an excited chip configuration passes to a relaxed state. This article determines the probability distribution of the game length in a long sequence of burn-off games. Our main results give exact counts for the number of pairs $(C,v)$, with $C$ a relaxed legal configuration and $v$ a seed, corresponding to each possible length. In support, we give our own proof of the well-known equicardinality of the set $\mathcal{R}$ of relaxed legal configurations on $G$ and the set of spanning trees in the cone $G^*$ of $G$. We present an algorithmic, bijective proof of this correspondence.
Total coloring and efficient domination applications to non-Cayley non-Schreier vertex-transitive graphs
Published
• View Publication
• BIB
Let $0<k\in\mathbb{Z}$. Let the star 2-set transposition graph $ST^2_k$ be the $(2k-1)$-regular graph whose vertices are the $2k$-strings on $k$ symbols, each symbol repeated twice, with its edges given each by the transposition of the initial entry of one such $2k$-string with any entry that contains a different symbol than that of the initial entry. The pancake 2-set transposition graph $PC^2_k$ has the same vertex set of $ST^2_k$ and its edges involving each the maximal product of concentric disjoint transpositions in any prefix of an endvertex string, including the external transposition being that of an edge of $ST^2_k$. For $1<k\in\mathbb{Z}$, we show that $ST^2_k$ and $PC^2_k$, among other intermediate transposition graphs, have total colorings via $2k-1$ colors. They, in turn, yield efficient dominating sets, or E-sets, of the vertex sets of $ST^2_k$ and $PC^2_k$, and partitions into into $2k-1$ such E-sets, generalizing Dejter-Serra work on E-sets in such graphs.
FPT Algorithms for Finding Near-Cliques in $c$-Closed Graphs
Finding large cliques or cliques missing a few edges is a fundamental algorithmic task in the study of real-world graphs, with applications in community detection, pattern recognition, and clustering. A number of effective backtracking-based heuristics for these problems have emerged from recent empirical work in social network analysis. Given the NP-hardness of variants of clique counting, these results raise a challenge for beyond worst-case analysis of these problems. Inspired by the triadic closure of real-world graphs, Fox et al. (SICOMP 2020) introduced the notion of $c$-closed graphs and proved that maximal clique enumeration is fixed-parameter tractable with respect to $c$.
In practice, due to noise in data, one wishes to actually discover "near-cliques", which can be characterized as cliques with a sparse subgraph removed. In this work, we prove that many different kinds of maximal near-cliques can be enumerated in polynomial time (and FPT in $c$) for $c$-closed graphs. We study various established notions of such substructures, including $k$-plexes, complements of bounded-degeneracy and bounded-treewidth graphs. Interestingly, our algorithms follow relatively simple backtracking procedures, analogous to what is done in practice. Our results underscore the significance of the $c$-closed graph class for theoretical understanding of social network analysis.
Normal Reflection Subgroups of Complex Reflection Groups
Published in Journal of the Institute of Mathematics of Jussieu 22(2), 879-917 (2023)
• View Publication
• BIB
We study normal reflection subgroups of complex reflection groups. Our approach leads to a refinement of a theorem of Orlik and Solomon to the effect that the generating function for fixed-space dimension over a reflection group is a product of linear factors involving generalized exponents. Our refinement gives a uniform proof and generalization of a recent theorem of the second author.
A Bijection Between Two Different Classes of Partitions Enumerated by $p_ν(n)$
In this paper, we give a purely bijective proof that two different partition classes that are both combinatorial interpretations of the partition function $p_ν(n)$, a partition function related to the third order mock theta function $ν(q)$, are equinumerous. In doing so, we give a partial solution to a combinatorial problem proposed in a paper by Andrews.
Congruences for the coefficients of the Gordon and McIntosh mock theta function $ξ(q)$
Published in Ramanujan Journal 58, no. 3 (2022), 815-834
• View Publication
• BIB
Recently Gordon and McIntosh introduced the third order mock theta function $ξ(q)$ defined by $$ ξ(q)=1+2\sum_{n=1}^{\infty}\frac{q^{6n^2-6n+1}}{(q;q^6)_{n}(q^5;q^6)_{n}}. $$ Our goal in this paper is to study arithmetic properties of the coefficients of this function. We present a number of such properties, including several infinite families of Ramanujan--like congruences.
Two new transformation formulas for ${}_{8}ψ_{8}$ and ${}_{8}W_{7}$ series associated with Weierstrass' theta identity
In this paper, we establish two new transformation formulas for ${}_{8}ψ_{8}$ and ${}_8φ_7$ series by means of Slater's general transformation for bilateral series. As applications, some specific transformation formulas are presented among which include a general form of Weierstrass' theta identity and new proofs of Bailey's VWP ${}_6ψ_6$ and Jackson's ${}_8φ_7$ summation formula.
Combinatorial and computational investigations of Neighbor-Joining bias
Published
• View Publication
• BIB
The Neighbor-Joining algorithm is a popular distance-based phylogenetic method that computes a tree metric from a dissimilarity map arising from biological data. Realizing dissimilarity maps as points in Euclidean space, the algorithm partitions the input space into polyhedral regions indexed by the combinatorial type of the trees returned. A full combinatorial description of these regions has not been found yet; different sequences of Neighbor-Joining agglomeration events can produce the same combinatorial tree, therefore associating multiple geometric regions to the same algorithmic output. We resolve this confusion by defining agglomeration orders on trees, leading to a bijection between distinct regions of the output space and weighted Motzkin paths. As a result, we give a formula for the number of polyhedral regions depending only on the number of taxa. We conclude with a computational comparison between these polyhedral regions, to unveil biases introduced in any implementation of the algorithm.
Infinite friezes and triangulations of annuli
Published
• View Publication
• BIB
It is known that any infinite frieze comes from a triangulation of an annulus by Baur, Parsons and Tschabold. In this paper we show that each periodic infinite frieze determines a triangulation of an annulus in essentially a unique way. Since each triangulation of an annulus determines a pair of friezes, we study such pairs and show how they determine each other. We study associated module categories and determine the growth coefficient of the pair of friezes in terms of modules as well as their quiddity sequences.
On Virtually Cohen-Macaulay Simplicial Complexes
Published
• View Publication
• BIB
We examine virtual resolutions of Stanley-Reisner ideals for a product of projective spaces. In particular, we provide sufficient conditions for a simplicial complex to be virtually Cohen-Macaulay (to have a virtual resolution with length equal to its codimension). We also show that all balanced simplicial complexes are virtually Cohen-Macaulay.
Partition dimension and strong metric dimension of chain cycle
Published in Jordanian Journal of Mathematics and Statistics, 13(2), 2020, 305-325
• Search Publication
Let $G$ be a connected graph with vertex set $V(G)$ and edge set $E(G)$. For an ordered $k$-partition $Π=\{Q_1,\ldots,Q_k\}$ of $V(G)$, the representation of a vertex $v \in V(G)$ with respect to $Π$ is the $k$-vectors $r(v|Π)=(d(v,Q_1),\ldots,d(v,Q_k))$, where $d(v,Q_i)$ is the distance between $v$ and $Q_i$. The partition $Π$ is a resolving partition if $r(u|Π)\neq r(v|Π)$, for each pair of distinct vertices $u,v \in V(G)$. The minimum $k$ for which there is a resolving $k$-partition of $V(G)$ is the partition dimension of $G$. A vertex $w\in V(G)$ strongly resolves two distinct vertices $u,v \in V(G)$ if $u$ belongs to a shortest $v-w$ path or $v$ belongs to a shortest $u-w$ path. An ordered set $W=\{w_{1},\ldots, w_{t}\}\subseteq V(G)$ is a strong resolving set for $G$ if for every two distinct vertices $u$ and $v$ of $G$ there exists a vertex $w\in W$ which strongly resolves $u$ and $v$. A strong metric basis of $G$ is a strong resolving set of minimal cardinality. The cardinality of a strong metric basis is called strong metric dimension of $G$. In this paper, we determine the partition dimension and strong metric dimension of a chain cycle constructed by even cycles and a chain cycle constructed by odd cycles.
Domino tilings of cylinders: connected components under flips and normal distribution of the twist
Published in The Electronic Journal of Combinatorics, 28(1), (2021), #P1.28
• View Publication
• BIB
We consider domino tilings of $3$-dimensional cubiculated regions. A three-dimensional domino is a 2x2x1 rectangular cuboid. We are particularly interested in regions of the form $R_N = D \times [0,N]$ where $D$ is a fixed quadriculated disk. In dimension 3, the twist associates to each tiling $t$ an integer $Tw(t)$. We prove that, when $N$ goes to infinity, the twist follows a normal distribution.
A flip is a local move: two neighboring parallel dominoes are removed and placed back in a different position. The twist is invariant under flips. A quadriculated disk $D$ is regular if, whenever two tilings $t_0$ and $t_1$ of $R_N$ satisfy $Tw(t_0) = Tw(t_1)$, $t_0$ and $t_1$ can be joined by a sequence of flips provided some extra vertical space is allowed. Many large disks are regular, including rectangles $D = [0,L] \times [0,M]$ with $LM$ even and $L,M \ge 3$. For regular disks, we describe the larger connected components under flips of the set of tilings of the region $R_N = D \times [0,N]$. As a corollary, let $p_N$ be the probability that two random tilings $T_0$ and $T_1$ of $D \times [0,N]$ can be joined by a sequence of flips conditional to their twists being equal. Then $p_N$ tends to 1 if and only if $D$ is regular.
Under a suitable equivalence relation, the set of tilings has a group structure, the domino group. These results illustrate the fact that the domino group dictates many properties of the space of tilings of the cylinder $R_N = D \times [0,N]$, particularly for large $N$.
A family of matrix-tree multijections
Published in Algebraic Combinatorics, Volume 4 (2021) no. 5, pp. 795-822
• View Publication
• BIB
For a natural class of $r \times n$ integer matrices, we construct a non-convex polytope which periodically tiles $\mathbb R^n$. From this tiling, we provide a family of geometrically meaningful maps from a generalized sandpile group to a set of generalized spanning trees which give multijective proofs for several higher-dimensional matrix-tree theorems. In particular, these multijections can be applied to graphs, regular matroids, cell complexes with a torsion-free spanning forest, and representable arithmetic matroids with a multiplicity one basis. This generalizes a bijection given by Backman, Baker, and Yuen and extends work by Duval, Klivans, and Martin.
Dominated Minimal Separators are Tame (Nearly All Others are Feral)
A class ${\cal F}$ of graphs is called {\em tame} if there exists a constant $k$ so that every graph in ${\cal F}$ on $n$ vertices contains at most $O(n^k)$ minimal separators, {\em strongly-quasi-tame} if every graph in ${\cal F}$ on $n$ vertices contains at most $O(n^{k \log n})$ minimal separators, and {\em feral} if there exists a constant $c > 1$ so that ${\cal F}$ contains $n$-vertex graphs with at least $c^n$ minimal separators for arbitrarily large $n$. The classification of graph classes into tame or feral has numerous algorithmic consequences, and has recently received considerable attention.
A key graph-theoretic object in the quest for such a classification is the notion of a $k$-{\em creature}. In a recent manuscript [Abrishami et al., Arxiv 2020] conjecture that every hereditary class ${\cal F}$ that excludes $k$-creatures for some fixed constant $k$ is tame. We give a counterexample to this conjecture and prove the weaker result that a hereditary class ${\cal F}$ is strongly quasi-tame if it excludes $k$-creatures for some fixed constant $k$ and additionally every minimal separator can be dominated by another fixed constant $k'$ number of vertices. The tools developed also lead to a number of additional results of independent interest.
{\bf (i) We obtain a complete classification of all hereditary graph classes defined by a finite set of forbidden induced subgraphs into strongly quasi-tame or feral. This generalizes Milanič and Pivač [WG'19]. {\bf (ii)} We show that hereditary class that excludes $k$-creatures and additionally excludes all cycles of length at least $c$, for some constant $c$, are tame. This generalizes the result of [Chudnovsky et al., Arxiv 2019]. {\bf (iii)} We show that every hereditary class that excludes $k$-creatures and additionally excludes a complete graph on $c$ vertices for some fixed constant $c$ is tame.
Asymptotic dimension of minor-closed families and beyond
Published in Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), (2021) 1997--2013
• View Publication
• BIB
The asymptotic dimension of metric spaces is an important notion in geometric group theory introduced by Gromov. The metric spaces considered in this paper are the ones whose underlying spaces are the vertex-sets of graphs and whose metrics are the distance functions in graphs. A standard compactness argument shows that it suffices to consider the asymptotic dimension of classes of finite graphs.
In this paper we prove that the asymptotic dimension of any proper minor-closed family, any class of graphs of bounded tree-width, and any class of graphs of bounded layered tree-width are at most 2, 1, and 2, respectively. The first result solves a question of Fujiwara and Papasoglu; the second and third results solve a number of questions of Bonamy, Bousquet, Esperet, Groenland, Pirot and Scott. These bounds for asymptotic dimension are optimal and improve a number of results in the literature. Our proofs can be transformed into linear or quadratic time algorithms for finding coverings witnessing the asymptotic dimension which is equivalent to finding weak diameter colorings for graphs. The key ingredient of our proof is a unified machinery about the asymptotic dimension of classes of graphs that have tree-decompositions of bounded adhesion over hereditary classes with known asymptotic dimension, which might be of independent interest.
On Algorithms for Solving the Rubik's Cube
In this paper, we present a novel algorithm and its three variations for solving the Rubik's cube more efficiently. This algorithm can be used to solve the complete $n \times n \times n$ cube in $O(\frac{n^2}{\log n})$ moves. This algorithm can also be useful in certain cases for speedcubers. We will prove that our algorithm always works and then perform a basic analysis on the algorithm to determine its algorithmic complexity of $O(n^2)$. Finally, we further optimize this complexity to $O(\frac{n^2}{\log n})$.