Showing 20 papers (Total: 82374 papers, 47635 authors in database)
Recolouring planar graphs of girth at least five
Published
• View Publication
• BIB
For a positive integer $k$, the $k$-recolouring graph of a graph $G$ has as vertex set all proper $k$-colourings of $G$ with two $k$-colourings being adjacent if they differ by the colour of exactly one vertex. A result of Dyer et al. regarding graphs of bounded degeneracy implies that the $7$-recolouring graphs of planar graphs, the $5$-recolouring graphs of triangle-free planar graphs and the $4$-recolouring graphs planar graphs of girth at least six are connected. On the other hand, there are planar graphs whose $6$-recolouring graph is disconnected, triangle-free planar graphs whose $4$-recolouring graph is disconnected and planar graphs of any given girth whose $3$-recolouring graph is disconnected.
The main result of this paper consists in showing, via a novel application of the discharging method, that the $4$-recolouring graph of every planar graph of girth five is connected. This completes the classification of the connectedness of the recolouring graph for planar graphs of given girth. We also prove some theorems regarding the diameter of the recolouring graph of planar graphs.
On torsional rigidity and ground-state energy of compact quantum graphs
Published
• View Publication
• BIB
We develop the theory of torsional rigidity -- a quantity routinely considered for Dirichlet Laplacians on bounded planar domains -- for Laplacians on metric graphs with at least one Dirichlet vertex. Using a variational characterization that goes back to Pólya, we develop surgical principles that, in turn, allow us to prove isoperimetric-type inequalities: we can hence compare the torsional rigidity of general metric graphs with that of intervals of the same total length. In the spirit of the Kohler-Jobin Inequality, we also derive sharp bounds on the ground-state energy of a quantum graph in terms of its torsional rigidity: this is particularly attractive since computing the torsional rigidity reduces to inverting a matrix whose size is the number of the graph's vertices and is, thus, much easier than computing eigenvalues.
Periodicity of Grover walks on bipartite regular graphs with at most five distinct eigenvalues
Published
• View Publication
• BIB
We determine connected bipartite regular graphs with four distinct adjacency eigenvalues that induce periodic Grover walks, and show that it is only $C_6$. We also show that there are only three kinds of the second largest eigenvalues of bipartite regular periodic graphs with five distinct eigenvalues. Using walk-regularity, we enumerate feasible spectra for such graphs.
Proper elements of Coxeter groups
Published in European Journal of Mathematics 10, 32 (2024)
• View Publication
• BIB
We extend the notion of proper elements to all Coxeter groups. For all infinite families of finite Coxeter groups we prove that the probability a random element is proper goes to zero in the limit. This proves a conjecture of the third author and A. Yong regarding the proportion of Schubert varieties that are Levi spherical for all infinite families of Weyl groups. We also enumerate the proper elements in the exceptional Coxeter groups.
An extension of Thomassen's result on choosability
Published in Applied Mathematics and Computation, 425 (2022) 127100
• View Publication
• BIB
Thomassen proved that all planar graphs are $5$-choosable. Škrekovski strengthened the result by showing that all $K_{5}$-minor-free graphs are $5$-choosable. Dvořák and Postle pointed out that all planar graphs are DP-$5$-colorable. In this note, we first improve these results by showing that every $K_{5}$-minor-free or $K_{3, 3}$-minor-free graph is DP-$5$-colorable. In the final section, we further improve these results under the term strictly $f$-degenerate transversal.
Brauer and partition diagram models for phylogenetic trees and forests
Published
• View Publication
• BIB
We introduce a correspondence between phylogenetic trees and Brauer diagrams, inspired by links between binary trees and matchings described by Diaconis and Holmes (1998). This correspondence gives rise to a range of semigroup structures on the set of phylogenetic trees, and opens the prospect of many applications. We furthermore extend the Diaconis-Holmes correspondence from binary trees to non-binary trees and to forests, showing for instance that the set of all forests is in bijection with the set of partitions of finite sets.
Markov's problem for free groups
We prove that every unconditionally closed subset of a free group is algebraic, thereby answering affirmatively a 76 years old problem of Markov for free groups. In modern terminology, this means that Markov and Zariski topologies coincide in free groups. It follows that the class of groups for which Markov and Zariski topologies coincide is not closed under taking quotients. We also show that Markov and Zariski topologies differ from the so-called precompact Markov topology in non-commutative free groups.
Finding counterexamples for a conjecture of Akbari, Alazemi and Andjelić
For a graph $G$, its energy $\mathcal{E}(G)$ is the sum of absolute values of the eigenvalues of its adjacency matrix, the matching number $μ(G)$ is the number of edges in a maximum matching of $G$, while $Δ$ is the maximum vertex degree of $G$. Akbari, Alazemi and Anđelić in [Appl. Anal. Discrete Math. 15 (2021), 444--459] proved that $\mathcal{E}(G) \leq 2μ(G)$ when $G$ is connected and $Δ\geq6$, and conjectured that the same inequality is also valid when $2\leqΔ\leq5$. Here we first computationally enumerate small counterexamples for this conjecture and then provide two infinite families of counterexamples.
A Combinatorial Approach to Flag Codes
In network coding, a flag code is a collection of flags, that is, sequences of nested subspaces of a vector space over a finite field. Due to its definition as the sum of the corresponding subspace distances, the flag distance parameter encloses a hidden combinatorial structure. To bring it to light, in this paper, we interpret flag distances by means of distance paths drawn in a convenient distance support. The shape of such a support allows us to create an ad hoc associated Ferrers diagram frame where we develop a combinatorial approach to flag codes by relating the possible realizations of their minimum distance to different partitions of appropriate integers. This novel viewpoint permits to establish noteworthy connections between the flag code parameters and the ones of its projected codes in terms of well known concepts coming from the classical partitions theory.
Semi-equivelar toroidal maps and their k-semiregular covers
If the face\mbox{-}cycles at all the vertices in a map are of same type then the map is called semi\mbox{-}equivelar. In particular, it is called equivelar if the face-cycles contain same type of faces. A map is semiregular (or almost regular) if it has as few flag orbits as possible for its type. A map is $k$-regular if it is equivelar and the number of flag orbits of the map $k$ under the automorphism group. In particular, if $k =1$, its called regular. A map is $k$-semiregular if it contains more number of flags as compared to its type with the number of flags orbits $k$. Drach et al. \cite{drach:2019} have proved that every semi-equivelar toroidal map has a finite unique minimal semiregular cover. In this article, we show the bounds of flag orbits of semi-equivelar toroidal maps, i.e., there exists $k$ for each type such that every semi-equivelar map is $\ell$-uniform for some $\ell \le k$. We show that none of the Archimedean types on the torus is semiregular, i.e., for each type, there exists a map whose number of flag orbits is more than its type. We also prove that if a semi-equivelar map is $m$-semiregular then it has a finite index $t$-semiregular minimal cover for $t \le m$. We also show the existence and classification of $n$ sheeted $k$-semiregular maps for some $k$ of semi-equivelar toroidal maps for each $n \in \mathbb{N}$.
Facets of the Total Matching Polytope for bipartite graphs
The Total Matching Polytope generalizes the Stable Set Polytope and the Matching Polytope. In this paper, we give the perfect formulation for Trees and we derive two new families of valid inequalities, the balanced biclique inequalities which are always facet-defining and the non-balanced lifted biclique inequalities obtained by a lifting procedure, which are facet-defining for bipartite graphs. Finally, we give a complete description for Complete Bipartite Graphs.
A Graph-Matching Formulation of the Interleaving Distance between Merge Trees
Published
• View Publication
• BIB
In this work we study the interleaving distance between merge trees from a combinatorial point of view. We use a particular type of matching between trees to obtain a novel formulation of the distance. With such formulation, we tackle the problem of approximating the interleaving distance by solving linear binary optimization problems in a recursive and dynamical fashion, obtaining lower and upper bounds. We implement those algorithms to compare the outputs with another approximation procedure presented by other authors. We believe that further research in this direction could lead to polynomial time algorithms to approximate the distance and novel theoretical developments on the topic.
Peaks of cylindric plane partitions
We study the asymptotic distribution, as the volume parameter goes to 1, of the peak (largest part) of finite- or slowly-growing-width cylindric plane partitions weighted by their trace, seam, and volume. There are two natural asymptotic regimes depending on the trace/seam parameters, and in both cases we obtain asymptotics governed by finite temperature (periodic) analogues of the Bessel and Airy gap probabilities from random matrix theory. In particular, the distributions we obtain interpolate \emph{in more than one way} between two well-known extremal value distributions: the Gumbel distribution of maxima of iid random variables and the Tracy--Widom distribution of maxima of eigenvalues of random Hermitian matrices. We also interpret our results in terms of last passage percolation on a cylinder, which yields to interesting connections to the Kardar--Parisi--Zhang equation.
Warning Propagation: stability and subcriticality
Warning Propagation is a combinatorial message passing algorithm that unifies and generalises a wide variety of recursive combinatorial procedures. Special cases include the Unit Clause Propagation and Pure Literal algorithms for satisfiability as well as the peeling process for identifying the $k$-core of a random graph. Here we analyse Warning Propagation in full generality on a very general class of multi-type random graphs. We prove that under mild assumptions on the random graph model and the stability of the the message limit, Warning Propagation converges rapidly. In effect, the analysis of the fixed point of the message passing process on a random graph reduces to analysing the process on a multi-type Galton-Watson tree. This result corroborates and generalises a heuristic first put forward by Pittel, Spencer and Wormald in their seminal $k$-core paper (JCTB 1996).
Kinematic Hopf Algebra for BCJ Numerators in Heavy-Mass Effective Field Theory and Yang-Mills Theory
Published
• View Publication
• BIB
We present a closed formula for all Bern-Carrasco-Johansson (BCJ) numerators describing $D$-dimensional tree-level scattering amplitudes in a heavy-mass effective field theory with two massive particles and an arbitrary number of gluons. The corresponding gravitational amplitudes obtained via the double copy directly enter the computation of black-hole scattering and gravitational-wave emission. Our construction is based on finding a kinematic algebra for the numerators, which we relate to a quasi-shuffle Hopf algebra. The BCJ numerators thus obtained have a compact form and intriguing features: gauge invariance is manifest, locality is respected for massless exchange, and they contain poles corresponding to massive exchange. Counting the number of terms in a BCJ numerator for $n{-}2$ gluons gives the Fubini numbers $\mathsf{F}_{n-3}$, reflecting the underlying quasi-shuffle Hopf algebra structure. Finally, by considering an appropriate factorisation limit, the massive particles decouple, and we thus obtain a kinematic algebra and all tree-level BCJ numerators for $D$-dimensional pure Yang-Mills theory.
Equivariant Chevalley, Giambelli, and Monk Formulae for the Peterson Variety
We present a formula for the Poincaré dual in the flag manifold of the equivariant fundamental class of any regular nilpotent or regular semisimple Hessenberg variety as a polynomial in terms of certain Chern classes. We then develop a type-independent proof of the Giambelli formula for the Peterson variety, and use this formula to compute the intersection multiplicity of a Peterson variety with an opposite Schubert variety corresponding to a Coxeter word. Finally, we develop an equivariant Chevalley formula for the cap product of a divisor class with a fundamental class, and a dual Monk rule, for the Peterson variety.
The number of cliques in graphs covered by long cycles
Published
• View Publication
• BIB
Let $G$ be a 2-connected $n$-vertex graph and $N_s(G)$ be the total number of $s$-cliques in $G$. Let $k\ge 4$ and $s\ge 2$ be integers. In this paper, we show that if $G$ has an edge $e$ which is not on any cycle of length at least $k$, then $N_s(G)\le r{k-1\choose s}+{t+2\choose s}$, where $n-2=r(k-3)+t$ and $0\le t\le k-4$. This result settles a conjecture of Ma and Yuan and provides a clique version of a theorem of Fan, Wang and Lv. As a direct corollary, if $N_s(G)> r{k-1\choose s}+{t+2\choose s}$, every edge of $G$ is covered by a cycle of length at least $k$.
Describing hereditary properties by forbidden circular orderings
Published
• View Publication
• BIB
Each hereditary property can be characterized by its set of minimal obstructions; these sets are often unknown, or known but infinite. By allowing extra structure it is sometimes possible to describe such properties by a finite set of forbidden objects. This has been studied most intensely when the extra structure is a linear ordering of the vertex set. For instance, it is known that a graph G is $k$-colourable if and only if $V(G)$ admits a linear ordering $\le$ with no vertices $v_1 \le \cdots \le v_{k+1}$ such that $v_i v_{i+1} \in E(G)$ for every $i \in \{ 1, \dots, k \}$. In this paper, we study such characterizations when the extra structure is a circular ordering of the vertex set. We show that the classes that can be described by finitely many forbidden circularly ordered graphs include forests, circular-arc graphs, and graphs with circular chromatic number less than $k$. In fact, every description by finitely many forbidden circularly ordered graphs can be translated to a description by finitely many forbidden linearly ordered graphs. Nevertheless, our observations underscore the fact that in many cases the circular order descriptions are nicer and more natural.
The tropical Manin-Mumford conjecture
Published
• View Publication
• BIB
In analogy with the Manin-Mumford conjecture for algebraic curves, one may ask how a metric graph under the Abel-Jacobi embedding intersects torsion points of its Jacobian. We show that the number of torsion points is finite for metric graphs of genus $g\geq 2$ which are biconnected and have edge lengths which are "sufficiently irrational" in a precise sense. Under these assumptions, the number of torsion points is bounded by $3g-3$. Next we study bounds on the number of torsion points in the image of higher-degree Abel-Jacobi embeddings, which send $d$-tuples of points to the Jacobian. This motivates the definition of the "independent girth" of a graph, a number which is a sharp upper bound for $d$ such that the higher-degree Manin-Mumford property holds.
Projective Self-dual polygons in higher dimensions
Published
• View Publication
• BIB
Motivated by a question from V. Arnold about self-dual curves in projective spaces, we study {\cal M}_{m,n,k}: the moduli space of m-self-dual n-gons in {\mathbb P}^k. This paper lays out an explicit construction of self-dual polygons, and for specific cases of n and m, provides the dimension of {\cal M}_{m,n,k}. We include a conjecture about the Pentagram map in higher dimensions that generalizes Clebsch's theorem, which states that every pentagon in \mathbb{RP}^2 is invariant under the Pentagram map.