Showing 20 papers (Total: 84191 papers, 48510 authors in database)
Graph comparison meets Alexandrov
Published in Sib. Math. J. 64, 624--628 (2023)
• View Publication
• BIB
Graph comparison is a certain type of condition on metric space encoded by a finite graph. We show that any nontrivial graph comparison implies one of Alexandrov's comparisons. The proof gives a complete description of graphs with trivial graph comparisons.
Practical and Structural Infinitary Expansions
Given a structure $M$ we introduce infinitary logic expansions, which generalise the Morleyisation. We show that these expansions are tame, in the sense that they preserve and reflect both the Embedding Ramsey Property (ERP) and the Modelling Property (MP). We then turn our attention to Scow's theorem connecting generalised indiscernibles with Ramsey classes and show that by passing through infinitary logic, one can obtain a stronger result, which does not require any technical assumptions. We also show that every structure with ERP, not necessarily countable, admits a linear order which is a union of quantifier-free types, effectively proving that any Ramsey structure is ``essentially'' ordered. We also introduce a version of ERP for classes of structures which are not necessarily finite (the finitary-ERP) and prove a strengthening of the Kechris-Pestov-Todorcevic correspondence for this notion.
Random Polynomial Graphs for Random Turán Problems
Published
• View Publication
• BIB
Bukh and Conlon used random polynomial graphs to give effective lower bounds on $\mathrm{ex}(n,\mathcal{T}^\ell)$, where $\mathcal{T}^\ell$ is the $\ell$th power of a balanced rooted tree $T$. We extend their result to give effective lower bounds on $\mathrm{ex}(G_{n,p},\mathcal{T}^\ell)$, which is the maximum number of edges in a $\mathcal{T}^\ell$-free subgraph of the random graph $G_{n,p}$. Analogous bounds for generalized Turán numbers in random graphs are also proven.
The tower of Kontsevich deformations for Nambu-Poisson structures on $\mathbb{R}^{d}$: dimension-specific micro-graph calculus
Published in SciPost Phys. Proc., Vol. 14 (2023), Paper 020, pp.1--11
• View Publication
• BIB
In Kontsevich's graph calculus, internal vertices of directed graphs are inhabited by multi-vectors, e.g., Poisson bi-vectors; the Nambu-determinant Poisson brackets are differential-polynomial in the Casimir(s) and density $\varrho$ times Levi-Civita symbol. We resolve the old vertices into subgraphs such that every new internal vertex contains one Casimir or one Levi-Civita symbol${}\times\varrho$. Using this micro-graph calculus, we show that Kontsevich's tetrahedral $γ_3$-flow on the space of Nambu-determinant Poisson brackets over $\mathbb{R}^3$ is a Poisson coboundary: we realize the trivializing vector field $\smash{\vec{X}}$ over $\smash{\mathbb{R}^3}$ using micro-graphs. This $\smash{\vec{X}}$ projects to the known trivializing vector field for the $γ_3$-flow over $\smash{\mathbb{R}^2}$.
The number of correct guesses with partial feedback
We consider the following game. A deck with $m$ copies of each of $n$ distinct cards is shuffled in a perfectly random way. The Guesser sequentially guesses the card from top to bottom. After each guess, the Guesser is informed whether the guess is correct. The goal is to maximize the expected number of correct guesses.
We prove that, if $n= Ω(\sqrt{m})$, then at most $m+O(\sqrt{m})$ cards can be guessed correctly. Our result matches a lower bound of the maximal expected payoff by Diaconis, Graham and Spiro when $n=Ω(m)$.
Approximate counting using Taylor's theorem: a survey
Published in Bulletin of EATCS 138, no. 3 (2022)
• Search Publication
In this article we consider certain well-known polynomials associated with graphs including the independence polynomial and the chromatic polynomial. These polynomials count certain objects in graphs: independent sets in the case of the independence polynomial and proper colourings in the case of the chromatic polynomial. They also have interpretations as partition functions in statistical physics.
The algorithmic problem of (approximately) computing these types of polynomials has been studied for close to 50 years, especially using Markov chain techniques. Around eight years ago, Barvinok devised a new algorithmic approach based on Taylor's theorem for computing the permanent of certain matrices, and the approach has been applied to various graph polynomials since then. This article is intended as a gentle introduction to the approach as well as a partial survey of associated techniques and results.
Cherry picking in forests: A new characterization for the unrooted hybrid number of two phylogenetic trees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:2, Graph Theory (May 20, 2025) dmtcs:11633
• View Publication
• BIB
Phylogenetic networks are a special type of graph which generalize phylogenetic trees and that are used to model non-treelike evolutionary processes such as recombination and hybridization. In this paper, we consider {\em unrooted} phylogenetic networks, i.e. simple, connected graphs $\mathcal{N}=(V,E)$ with leaf set $X$, for $X$ some set of species, in which every internal vertex in $\mathcal{N}$ has degree three. One approach used to construct such phylogenetic networks is to take as input a collection $\mathcal{P}$ of phylogenetic trees and to look for a network $\mathcal{N}$ that contains each tree in $\mathcal{P}$ and that minimizes the quantity $r(\mathcal{N}) = |E|-(|V|-1)$ over all such networks. Such a network always exists, and the quantity $r(\mathcal{N})$ for an optimal network $\mathcal{N}$ is called the hybrid number of $\mathcal{P}$. In this paper, we give a new characterization for the hybrid number in case $\mathcal{P}$ consists of two trees. This characterization is given in terms of a cherry picking sequence for the two trees, although to prove that our characterization holds we need to define the sequence more generally for two forests. Cherry picking sequences have been intensively studied for collections of rooted phylogenetic trees, but our new sequences are the first variant of this concept that can be applied in the unrooted setting. Since the hybrid number of two trees is equal to the well-known tree bisection and reconnection distance between the two trees, our new characterization also provides an alternative way to understand this important tree distance.
Positive curvature, torus symmetry, and matroids
Published in J. Eur. Math. Soc. (JEMS), 2025
• View Publication
• BIB
We identify a link between regular matroids and torus representations all of whose isotropy groups have an odd number of components. Applying Seymour's 1980 classification of the former objects, we obtain a classification of the latter. In addition, we prove optimal upper bounds for the cogirth of regular matroids up to rank nine, and we apply this to prove the existence of fixed-point sets of circles with large dimension in a torus representation with this property up to rank nine. Finally, we apply these results to prove new obstructions to the existence of Riemannian metrics with positive sectional curvature and torus symmetry.
The tropical critical points of an affine matroid
Published
• View Publication
• BIB
We prove that the number of tropical critical points of an affine matroid (M,e) is equal to the beta invariant of M. Motivated by the computation of maximum likelihood degrees, this number is defined to be the degree of the intersection of the Bergman fan of (M,e) and the inverted Bergman fan of N=(M/e)*, where e is an element of M that is neither a loop nor a coloop. Equivalently, for a generic weight vector w on E-e, this is the number of ways to find weights (0,x) on M and y on N with x+y=w such that on each circuit of M (resp. N), the minimum x-weight (resp. y-weight) occurs at least twice. This answers a question of Sturmfels.
A polynomial-size extended formulation for the multilinear polytope of beta-acyclic hypergraphs
Published
• View Publication
• BIB
We consider the multilinear polytope defined as the convex hull of the set of binary points satisfying a collection of multilinear equations. The complexity of the facial structure of the multilinear polytope is closely related to the acyclicity degree of the underlying hypergraph. We obtain a polynomial-size extended formulation for the multilinear polytope of beta-acyclic hypergraphs, hence characterizing the acyclic hypergraphs for which such a formulation can be constructed.
Fault-Tolerant Locating-Dominating sets with Error-correction
Published
• View Publication
• BIB
A locating-dominating set is a subset of vertices representing "detectors" in a graph G; each detector monitors its closed neighborhood and can distinguish its own location from its neighbors, and given all sensor input, the system can locate an "intruder" anywhere in the graph. We explore a fault-tolerant variant of locating-dominating sets, error-correcting locating-dominating (ERR:LD) sets, which can tolerate an incorrect signal from a single detector. In particular, we characterize error-correcting locating-dominating sets, and derive its existence criteria. We also prove that the problem of determining the minimum cardinality of ERR:LD set in arbitrary graphs is NP-complete. Additionally, we establish lower and upper bounds for the minimum density of ERR:LD sets in infinite grids and cubic graphs, and prove the lower bound for cubic graphs is sharp.
A random coloring process gives improved bounds for the Erdős-Gyárfás problem on generalized Ramsey numbers
Published
• View Publication
• BIB
The Erdős-Gyárfás number $f(n, p, q)$ is the smallest number of colors needed to color the edges of the complete graph $K_n$ so that all of its $p$-clique spans at least $q$ colors. In this paper we improve the best known upper bound on $f(n, p, q)$ for many fixed values of $p, q$ and large $n$. Our proof uses a randomized coloring process, which we analyze using the so-called differential equation method to establish dynamic concentration.
Some stable plethysms
Published
• View Publication
• BIB
In this note, we prove some new stability results for plethysm coefficients. As special cases, we verify a conjecture of Wildon, and show the stability of sequences recently predicted by Bessenrodt, Bowman and Paget to be weakly increasing.
On Eigenvalue Gaps of Integer Matrices
Published
• View Publication
• BIB
Given an $n\times n$ matrix with integer entries in the range $[-h,h]$, how close can two of its distinct eigenvalues be?
The best previously known examples have a minimum gap of $h^{-O(n)}$. Here we give an explicit construction of matrices with entries in $[0,h]$ with two eigenvalues separated by at most $h^{-n^2/16+o(n^2)}$. Up to a constant in the exponent, this agrees with the known lower bound of $Ω((2\sqrt{n})^{-n^2}h^{-n^2})$ \cite{mahler1964inequality}. Bounds on the minimum gap are relevant to the worst case analysis of algorithms for diagonalization and computing canonical forms of integer matrices.
In addition to our explicit construction, we show there are many matrices with a slightly larger gap of roughly $h^{-n^2/32}$. We also construct 0-1 matrices which have two eigenvalues separated by at most $2^{-n^2/64+o(n^2)}$.
Cameron-Liebler sets for maximal totally isotropic flats in classical affine spaces
Published
• View Publication
• BIB
Let $ACG(2ν,\mathbb{F}_q)$ be the $2ν$-dimensional classical affine space with parameter $e$ over a $q$-element finite field $\mathbb{F}_q$, and ${\cal O}_ν$ be the set of all maximal totally isotropic flats in $ACG(2ν,\mathbb{F}_q)$. In this paper, we discuss Cameron-Liebler sets in ${\cal O}_ν$, obtain several equivalent definitions and present some classification results.
Some remarks on the distribution of additive energy
The aim of this note is two-fold. In the first part of the paper we are going to investigate an inverse problem related to additive energy. In the second, we investigate how dense a subset of a finite structure can be for a given additive energy.
Rainbow variations on a theme by Mantel: extremal problems for Gallai colouring templates
Published
• View Publication
• BIB
Let $\mathbf{G}:=(G_1, G_2, G_3)$ be a triple of graphs on the same vertex set $V$ of size $n$. A rainbow triangle in $\mathbf{G}$ is a triple of edges $(e_1, e_2, e_3)$ with $e_i\in G_i$ for each $i$ and $\{e_1, e_2, e_3\}$ forming a triangle in $V$. The triples $\mathbf{G}$ not containing rainbow triangles, also known as Gallai colouring templates, are a widely studied class of objects in extremal combinatorics.
In the present work, we fully determine the set of edge densities $(α_1, α_2, α_3)$ such that if $\vert E(G_i)\vert> α_i n^2$ for each $i$ and $n$ is sufficiently large, then $\mathbf{G}$ must contain a rainbow triangle. This resolves a problem raised by Aharoni, DeVos, de la Maza, Montejanos and Šámal, generalises several previous results on extremal Gallai colouring templates, and proves a recent conjecture of Frankl, Györi, He, Lv, Salia, Tompkins, Varga and Zhu.
Minors, connectivity, and diameter in randomly perturbed sparse graphs
Published
• View Publication
• BIB
Extremal properties of sparse graphs, randomly perturbed by the binomial random graph are considered. It is known that every $n$-vertex graph $G$ contains a complete minor of order $Ω(n/α(G))$. We prove that adding $ξn$ random edges, where $ξ> 0$ is arbitrarily small yet fixed, to an $n$-vertex graph $G$ satisfying $α(G) \leq ζ(ξ)n$ asymptotically almost surely results in a graph containing a complete minor of order $\tilde Ω\left( n/\sqrt{α(G)}\right)$; this result is tight up to the implicit logarithmic terms.
For complete topological minors, we prove that there exists a constant $C>0$ such that adding $C n$ random edges to a graph $G$ satisfying $δ(G) = ω(1)$, asymptotically almost surely results in a graph containing a complete topological minor of order $\tilde Ω(\min\{δ(G),\sqrt{n}\})$; this result is tight up to the implicit logarithmic terms.
Finally, extending results of Bohman, Frieze, Krivelevich, and Martin for the dense case, we analyse the asymptotic behaviour of the vertex-connectivity and the diameter of randomly perturbed sparse graphs.
Graphs with total mutual-visibility number zero and total mutual-visibility in Cartesian products
Published
• View Publication
• BIB
If $G$ is a graph and $X\subseteq V(G)$, then $X$ is a total mutual-visibility set if every pair of vertices $x$ and $y$ of $G$ admits a shortest $x,y$-path $P$ with $V(P) \cap X \subseteq \{x,y\}$. The cardinality of a largest total mutual-visibility set of $G$ is the total mutual-visibility number $μ_{\rm t}(G)$ of $G$. Graphs with $μ_{\rm t}(G) = 0$ are characterized as the graphs in which no vertex is the central vertex of a convex $P_3$. The total mutual-visibility number of Cartesian products is bounded and several exact results proved. For instance, $μ_{\rm t}(K_n\,\square\, K_m) = \max\{n,m\}$ and $μ_{\rm t}(T\,\square\, H) = μ_{\rm t}(T)μ_{\rm t}(H)$, where $T$ is a tree and $H$ an arbitrary graph. It is also demonstrated that $μ_{\rm t}(G\,\square\, H)$ can be arbitrary larger than $μ_{\rm t}(G)μ_{\rm t}(H)$.
Inversion sequences avoiding the pattern 010
Inversion sequences are integer sequences $(σ_1, \dots, σ_n)$ such that $0 \leqslant σ_i < i$ for all $1 \leqslant i \leqslant n$. The study of pattern-avoiding inversion sequences began in two independent articles by Mansour-Shattuck and Corteel-Martinez-Savage-Weselcouch in 2015 and 2016. These two initial articles solved the enumeration of inversion sequences avoiding a single pattern for every pattern of length 3 except the patterns 010 and 100. The case 100 was recently solved by Mansour and Yildirim. We solve the final case by making use of a decomposition of inversion sequences avoiding the pattern 010. Our decomposition needs to take into account the maximal value, and the number of distinct values occurring in the inversion sequence. We then expand our method to solve the enumeration of inversion sequences avoiding the pairs of patterns $\{010, 000\}, \{010, 110\}, \{010, 120\}$, and the Wilf-equivalent pairs $\{010, 201\} \sim \{010, 210\}$. For each family of pattern-avoiding inversion sequences considered, its enumeration requires the enumeration of some family of constrained words avoiding the same patterns, a question which we also solve.