Showing 20 papers (Total: 82901 papers, 47900 authors in database)
Arc-transitive Cayley graphs on non-ableian simple groups with soluble vertex stabilizers and valency seven
Published
• View Publication
• BIB
In this paper, we study arc-transitive Cayley graphs on non-abelian simple groups with soluble stabilizers and valency seven. Let $\Ga$ be such a Cayley graph on a non-abelian simple group $T$. It is proved that either $\Ga$ is a normal Cayley graph or $\Ga$ is $S$-arc-transitive, with $(S,T)=(\A_n,\A_{n-1})$ and $n=7,21,63$ or $84$; and, for each of these four values of $n$, there really exists arc-transitive $7$-valent non-normal Cayley graphs on $\A_{n-1}$ and specific examples are constructed.
Recognizing Graphs Close to Bipartite Graphs with an Application to Colouring Reconfiguration
Published
• View Publication
• BIB
We continue research into a well-studied family of problems that ask whether the vertices of a graph can be partitioned into sets $A$ and~$B$, where $A$ is an independent set and $B$ induces a graph from some specified graph class ${\cal G}$. We let ${\cal G}$ be the class of $k$-degenerate graphs. This problem is known to be polynomial-time solvable if $k=0$ (bipartite graphs) and NP-complete if $k=1$ (near-bipartite graphs) even for graphs of maximum degree $4$. Yang and Yuan [DM, 2006] showed that the $k=1$ case is polynomial-time solvable for graphs of maximum degree $3$. This also follows from a result of Catlin and Lai [DM, 1995]. We consider graphs of maximum degree $k+2$ on $n$ vertices. We show how to find $A$ and $B$ in $O(n)$ time for $k=1$, and in $O(n^2)$ time for $k\geq 2$. Together, these results provide an algorithmic version of a result of Catlin [JCTB, 1979] and also provide an algorithmic version of a generalization of Brook's Theorem, which was proven in a more general way by Borodin, Kostochka and Toft [DM, 2000] and Matamala [JGT, 2007]. Moreover, the two results enable us to complete the complexity classification of an open problem of Feghali et al. [JGT, 2016]: finding a path in the vertex colouring reconfiguration graph between two given $\ell$-colourings of a graph of maximum degree $k$.
On the Shapley value of unrooted phylogenetic trees
Published
• View Publication
• BIB
The Shapley value, a solution concept from cooperative game theory, has recently been considered for both unrooted and rooted phylogenetic trees. Here, we focus on the Shapley value of unrooted trees and first revisit the so-called split counts of a phylogenetic tree and the Shapley transformation matrix that allows for the calculation of the Shapley value from the edge lengths of a tree. We show that non-isomorphic trees may have permutation-equivalent Shapley transformation matrices and permutation-equivalent null spaces. This implies that estimating the split counts associated with a tree or the Shapley values of its leaves does not suffice to reconstruct the correct tree topology. We then turn to the use of the Shapley value as a prioritization criterion in biodiversity conservation and compare it to a greedy solution concept. Here, we show that for certain phylogenetic trees, the Shapley value may fail as a prioritization criterion, meaning that the diversity spanned by the top $k$ species (ranked by their Shapley values) cannot approximate the total diversity of all $n$ species.
Bounce statistics for rational lattice paths
Given two relatively prime positive integers $α$ and $β$, we consider simple lattice paths (with unit East and unit North steps) from $(0,0)$ to $(αk,βk)$, and enumerate them by their left and right bounces with respect to the line $y=\fracβα x$. We give the corresponding multivariate generating functions for all such paths as well as for subclasses of paths that start and end with a prescribed step. For illustration purposes, we discuss the case $β=1$ and express some of our functions in terms of the Fuss-Catalan generating function $c_α(x)$.
Bounds on the burning numbers of spiders and path-forests
Published
• View Publication
• BIB
Graph burning is one model for the spread of memes and contagion in social networks. The corresponding graph parameter is the burning number of a graph $G$, written $b(G)$, which measures the speed of the social contagion. While it is conjectured that the burning number of a connected graph of order $n$ is at most $\lceil \sqrt{n} \rceil$, this remains open in general and in many graph families. We prove the conjectured bound for spider graphs, which are trees with exactly one vertex of degree at least 3. To prove our result for spiders, we develop new bounds on the burning number for path-forests, which in turn leads to a $\frac 3 2$-approximation algorithm for computing the burning number of path-forests.
On the topology of no $k$-equal spaces
Published
• View Publication
• BIB
We consider the topology of real no $k$-equal spaces via the theory of cellular spanning trees. Our main theorem proves that the rank of the $(k-2)$-dimensional homology of the no $k$-equal subspace of $\mathbb{R}$ is equal to the number of facets in a $k$-dimensional spanning tree of the $k$-skeleton of the $n$-dimensional hypercube.
Two theorems on point-flat incidences
Published
• View Publication
• BIB
We improve the theorem of Beck giving a lower bound on the number of $k$-flats spanned by a set of points in real space, and improve the bound of Elekes and Tóth on the number of incidences between points and $k$-flats in real space.
The inverse eigenvalue problem of a graph: Multiplicities and minors
Published
• View Publication
• BIB
The inverse eigenvalue problem of a given graph $G$ is to determine all possible spectra of real symmetric matrices whose off-diagonal entries are governed by the adjacencies in $G$. Barrett et al. introduced the Strong Spectral Property (SSP) and the Strong Multiplicity Property (SMP) in [8]. In that paper it was shown that if a graph has a matrix with the SSP (or the SMP) then a supergraph has a matrix with the same spectrum (or ordered multiplicity list) augmented with simple eigenvalues if necessary, that is, subgraph monotonicity. In this paper we extend this to a form of minor monotonicity, with restrictions on where the new eigenvalues appear. These ideas are applied to solve the inverse eigenvalue problem for all graphs of order five, and to characterize forbidden minors of graphs having at most one multiple eigenvalue.
Intersection Pairings for Higher Laminations
Published
• View Publication
• BIB
One can realize higher laminations as positive configurations of points in the affine building. The duality pairings of Fock and Goncharov give pairings between higher laminations for two Langlands dual groups $G$ and $G^{\vee}$. These pairings are a generalization of the intersection pairing between measured laminations on a topological surface.
We give a geometric interpretation of these intersection pairings in the case that $G=SL_n$. In particular, we show that they can be computed as the length of minimal weighted networks in the building. Thus we relate the intersection pairings to the metric structure of the affine building. This proves several of the conjectures from [LO]
The key tools are linearized versions of well-known classical results from combinatorics, like Hall's marriage lemma, Konig's theorem, and the Kuhn-Munkres algorithm.
On facial unique-maximum (edge-)coloring
Published in Discrete Applied Mathematics 237 (2018), 26-32
• View Publication
• BIB
A facial unique-maximum coloring of a plane graph is a vertex coloring where on each face $α$ the maximal color appears exactly once on the vertices of $α$. If the coloring is required to be proper, then the upper bound for the minimal number of colors required for such a coloring is set to $5$. Fabrici and Göring [Fabrici and Goring 2016] even conjectured that $4$ colors always suffice. Confirming the conjecture would hence give a considerable strengthening of the Four Color Theorem. In this paper, we prove that the conjecture holds for subcubic plane graphs, outerplane graphs and plane quadrangulations. Additionally, we consider the facial edge-coloring analogue of the aforementioned coloring and prove that every $2$-connected plane graph admits such a coloring with at most $4$ colors.
The Projective Planarity Question for Matroids of $3$-Nets and Biased Graphs
Published in Australasian J. Combinatorics, 76(2) (2020), 299-338
• Search Publication
A biased graph is a graph with a class of selected circles ("cycles", "circuits"), called "balanced", such that no theta subgraph contains exactly two balanced circles. A biased graph has two natural matroids, the frame matroid and the lift matroid. A classical question in matroid theory is whether a matroid can be embedded in a projective geometry. There is no known general answer, but for matroids of biased graphs it is possible to give algebraic criteria. Zaslavsky has previously given such criteria for embeddability of biased-graphic matroids in Desarguesian projective spaces; in this paper we establish criteria for the remaining case, that is, embeddability in an arbitrary projective plane that is not necessarily Desarguesian.
The criteria depend on the embeddability of a quasigroup associated to the graph into the additive or multiplicative loop of a ternary coordinate ring for the plane. A 3-node biased graph is equivalent to an abstract partial 3-net; thus, we have a new algebraic criterion for an abstract 3-net to be realized in a non-Desarguesian projective plane. We work in terms of a special kind of 3-node biased graph called a biased expansion of a triangle. Our results apply to all finite 3-node biased graphs because, as we prove, every such biased graph is a subgraph of a finite biased expansion of a triangle. A biased expansion of a triangle, in turn, is equivalent to an isostrophe class of quasigroups, which is equivalent to a $3$-net. Much is not known about embedding a quasigroup into a ternary ring, so we do not say our criteria are definitive. For instance, it is not even known whether there is a finite quasigroup that cannot be embedded in any finite ternary ring. If there is, then there is a finite rank-3 matroid (of the corresponding biased expansion) that cannot be embedded in any finite projective plane---a presently unsolved problem.
The SNPR neighbourhood of tree-child networks
Published in Journal of Graph Algorithms and Applications, vol. 22, no. 2, pp. 329-355 (2018)
• View Publication
• BIB
Network rearrangement operations like SNPR (SubNet Prune and Regraft), a recent generalisation of rSPR (rooted Subtree Prune and Regraft), induce a metric on phylogenetic networks. To search the space of these networks one important property of these metrics is the sizes of the neighbourhoods, that is, the number of networks reachable by exactly one operation from a given network. In this paper, we present exact expressions for the SNPR neighbourhood of tree-child networks, which depend on both the size and the topology of a network. We furthermore give upper and lower bounds for the minimum and maximum size of such a neighbourhood.
Lambda number of the power graph of a finite group
Published
• View Publication
• BIB
The power graph $Γ_G$ of a finite group $G$ is the graph with the vertex set $G$, where two distinct elements are adjacent if one is a power of the other. An $L(2, 1)$-labeling of a graph $Γ$ is an assignment of labels from nonnegative integers to all vertices of $Γ$ such that vertices at distance two get different labels and adjacent vertices get labels that are at least $2$ apart. The lambda number of $Γ$, denoted by $λ(Γ)$, is the minimum span over all $L(2, 1)$-labelings of $Γ$. In this paper, we obtain bounds for $λ(Γ_G)$, and give necessary and sufficient conditions when the bounds are attained. As applications, we compute the exact value of $λ(Γ_G)$ if $G$ is a dihedral group, a generalized quaternion group, a $\mathcal{P}$-group or a cyclic group of order $pq^n$, where $p$ and $q$ are distinct primes and $n$ is a positive integer.
Enumeration of small Wilf classes avoiding 1342 and two other $4$-letter patterns
Published
• View Publication
• BIB
This paper is one of a series whose goal is to enumerate the avoiders, in the sense of classical pattern avoidance, for each triple of 4-letter patterns. There are 317 symmetry classes of triples of 4-letter patterns, avoiders of 267 of which have already been enumerated. Here we enumerate avoiders for all small Wilf classes that have a representative triple containing the pattern 1342, giving 40 new enumerations and leaving only 13 classes still to be enumerated. In all but one case, we obtain an explicit algebraic generating function that is rational or of degree 2. The remaining one is shown to be algebraic of degree 3. We use standard methods, usually involving detailed consideration of the left to right maxima, and sometimes the initial letters, to obtain an algebraic or functional equation for the generating function.
Virtual Crystals and Nakajima Monomials
Published in SIGMA 14 (2018), 103, 19 pages
• View Publication
• BIB
An explicit description of the virtualization map for the (modified) Nakajima monomial model for crystals is given. We give an explicit description of the Lusztig data for modified Nakajima monomials in type $A_n$.
Topological Graph Persistence
Published
• View Publication
• BIB
Graphs are a basic tool for the representation of modern data. The richness of the topological information contained in a graph goes far beyond its mere interpretation as a one-dimensional simplicial complex. We show how topological constructions can be used to gain information otherwise concealed by the low-dimensional nature of graphs. We do that by extending previous work of other researchers in homological persistence, by proposing novel graph-theoretical constructions. Beyond cliques, we use independent sets, neighborhoods, enclaveless sets and a Ramsey-inspired extended persistence.
Dual Ramsey theorems for relational structures
In this paper we provide explicit dual Ramsey statements for several classes of finite relational structures (such as finite linearly ordered graphs, finite linearly ordered metric spaces and finite posets with a linear extension) and conclude the paper with an explicit dual of the Nešetřil-Rödl Theorem for relational structures. Instead of embeddings which are crucial for "direct" Ramsey results, for each class of structures under consideration we propose a special class of surjective maps and prove a dual Ramsey theorem in such a setting. In contrast to on-going Ramsey classification projects where the research is focused on fine-tuning the objects, in this paper we advocate the idea that fine-tuning the morphisms is the key to proving dual Ramsey results. Since the setting we are interested in involves both structures and morphisms, all our results are spelled out using the reinterpretation of the (dual) Ramsey property in the language of category theory.
The diameter of KPKVB random graphs
Published in Adv. Appl. Probab. 51 (2019) 358-377
• View Publication
• BIB
We consider a model for complex networks that was recently proposed as a model for complex networks by Krioukov et al. In this model, nodes are chosen randomly inside a disk in the hyperbolic plane and two nodes are connected if they are at most a certain hyperbolic distance from each other. It has been previously shown that this model has various properties associated with complex networks, including a power-law degree distribution and a strictly positive clustering coefficient. The model is specified using three parameters : the number of nodes $N$, which we think of as going to infinity, and $α, ν> 0$ which we think of as constant. Roughly speaking $α$ controls the power law exponent of the degree sequence and $ν$ the average degree.
Earlier work of Kiwi and Mitsche has shown that when $α< 1$ (which corresponds to the exponent of the power law degree sequence being $< 3$) then the diameter of the largest component is a.a.s.~polylogarithmic in $N$. Friedrich and Krohmer have shown it is a.a.s.~$Ω(\log N)$ and they improved the exponent of the polynomial in $\log N$ in the upper bound. Here we show the maximum diameter over all components is a.a.s.~$O(\log N)$ thus giving a bound that is tight up to a multiplicative constant.
New bounds on the Ramsey number $r(I_m, L_n)$
We investigate the Ramsey numbers $r(I_m, L_n)$ which is the minimal natural number $k$ such that every oriented graph on $k$ vertices contains either an independent set of size $m$ or a transitive tournament on $n$ vertices. Apart from the finitary combinatorial interest, these Ramsey numbers are of interest to set theorists since it is known that $r(ωm, n) = ωr(I_m, L_n)$, where $ω$ is the lowest transfinite ordinal number, and $r(κm, n) = κr(I_m, L_n)$ for all initial ordinals $κ$. Continuing the research by Bermond from 1974 who did show $r(I_3, L_3) = 9$, we prove $r(I_4, L_3) = 15$ and $r(I_5, L_3) = 23$. The upper bounds for both the estimates above are obtained by improving the upper bound of $m^2$ on $r(I_m, L_3)$ due to Larson and Mitchell (1997) to $m^2 - m + 3$. Additionally, we provide asymptotic upper bounds on $r(I_m, L_n)$ for all $n \geq 3$. In particular, we show that $r(I_m, L_3) \in Θ(m^2 / \log m)$.
On Equivalence of M$^\natural$-concavity of a Set Function and Submodularity of Its Conjugate
Published in This is a revised version of the paper of the same title published in Journal of the Operations Research Society of Japan, 61 (2018), 163-171. The proofs of Lemmas 7 and 9 are improved
• View Publication
• BIB
A fundamental theorem in discrete convex analysis states that a set function is M$^\natural$-concave if and only if its conjugate function is submodular. This paper gives a new proof to this fact.