Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Clustering and percolation on superpositions of Bernoulli random graphs
Published
• View Publication
• BIB
A simple but powerful network model with $n$ nodes and $m$ partly overlapping layers is generated as an overlay of independent random graphs $G_1,\dots,G_m$ with variable sizes and densities. The model is parameterised by a joint distribution $P_n$ of layer sizes and densities. When $m$ grows linearly and $P_n \to P$ as $n \to \infty$, the model generates sparse random graphs with a rich statistical structure, admitting a nonvanishing clustering coefficient together with a limiting degree distribution and clustering spectrum with tunable power-law exponents. Remarkably, the model admits parameter regimes in which bond percolation exhibits two phase transitions: the first related to the emergence of a giant connected component, and the second to the appearance of gigantic single-layer components.
Convergence of Eulerian triangulations
Published in Electron. J. Probab. 26: 1-48 (2021)
• View Publication
• BIB
We prove that properly rescaled large planar Eulerian triangulations converge to the Brownian map. This result requires more than a standard application of the methods that have been used to obtain the convergence of other families of planar maps to the Brownian map, as the natural distance for Eulerian triangulations is a canonical oriented pseudo-distance. To circumvent this difficulty, we adapt the layer decomposition method established by Curien and Le Gall, which yields asymptotic proportionality between three natural distances on planar Eulerian triangulations: the usual graph distance, the canonical oriented pseudo-distance, and the Riemannian metric. This notably gives the first mathematical proof of a convergence to the Brownian map for maps endowed with their Riemannian metric. Along the way, we also construct new models of infinite random maps, as local limits of large planar Eulerian triangulations.
Torsion in the Magnitude homology of graphs
Published
• View Publication
• BIB
Magnitude homology is a bigraded homology theory for finite graphs defined by Hepworth and Willerton, categorifying the power series invariant known as magnitude which was introduced by Leinster. We analyze the structure and implications of torsion in magnitude homology. We show that any finitely generated abelian group may appear as a subgroup of the magnitude homology of a graph, and, in particular, that torsion of a given prime order can appear in the magnitude homology of a graph and that there are infinitely many such graphs. Finally, we provide complete computations of magnitude homology of outerplanar graphs and focus on the ranks of the groups along the main diagonal of magnitude homology.
Domination number of graphs with minimum degree five
We prove that for every graph $G$ on $n$ vertices and with minimum degree five, the domination number $γ(G)$ cannot exceed $n/3$. The proof combines an algorithmic approach and the discharging method. Using the same technique, we provide a shorter proof for the known upper bound $4n/11$ on the domination number of graphs of minimum degree four.
Large rainbow cliques in randomly perturbed dense graphs
Published
• View Publication
• BIB
For two graphs $G$ and $H$, write $G \stackrel{\mathrm{rbw}}{\longrightarrow} H$ if $G$ has the property that every {\sl proper} colouring of its edges yields a {\sl rainbow} copy of $H$.
We study the thresholds for such so-called {\sl anti-Ramsey} properties in randomly perturbed dense graphs, which are unions of the form $G \cup \mathbb{G}(n,p)$, where $G$ is an $n$-vertex graph with edge-density at least $d$, and $d$ is a constant that does not depend on $n$.
Our results in this paper, combined with our results in a companion paper, determine the threshold for the property $G \cup \mathbb{G}(n,p) \stackrel{\mathrm{rbw}}{\longrightarrow} K_s$ for every $s$. In this paper, we show that for $s \geq 9$ the threshold is $n^{-1/m_2(K_{\left\lceil s/2 \right\rceil})}$; in fact, our $1$-statement is a supersaturation result. This turns out to (almost) be the threshold for $s=8$ as well, but for every $4 \leq s \leq 7$, the threshold is lower; see our companion paper for more details.
In this paper, we also consider the property $G \cup \mathbb{G}(n,p) \stackrel{\mathrm{rbw}}{\longrightarrow} C_{2\ell - 1}$, and show that the threshold for this property is $n^{-2}$ for every $\ell \geq 2$; in particular, it does not depend on the length of the cycle $C_{2\ell - 1}$. It is worth mentioning that for even cycles, or more generally for any fixed bipartite graph, no random edges are needed at all.
Planar kinematic invariants, matroid subdivisions and generalized Feynman diagrams
In recent work of Cachazo, Guevara, Mizera and the author, a generalization of the biadjoint scattering amplitude $m^{(k)}(\mathbb{I}_n,\mathbb{I}_n)$ was introduced as an integral over the moduli space of $n$ points in $\mathbb{CP}^{k-1}$, with value a sum of certain rational functions on the kinematic space $\mathcal{K}_{k,n}$. It was shown there for $m^{(3)}(\mathbb{I}_6,\mathbb{I}_6)$ and later by Cachazo and Rojas that collections of poles appearing in $m^{(3)}(\mathbb{I}_7,\mathbb{I}_7)$ are compatible exactly when they are dual to collections of rays which generate the maximal faces of a polyhedral complex known as the (nonnegative) tropical Grassmannian.
In this note, we derive a remarkable planar basis for the space of generalized kinematic invariants which coincides in the case $k=2$ with usual standard planar multi-particle basis for the kinematic space. We implement in Mathematica the action on formal linear combinations of planar matroid subdivisions of a boundary operator which, together with the planar basis, determines compatibility for any given poles appearing in the expansion of $m^{(k)}(\mathbb{I}_n,\mathbb{I}_n)$, by computing a certain combinatorial non-crossing condition on the second hypersimplicial faces $Δ_{2,n-(k-2)}$ of $Δ_{k,n}$. The algorithms are implemented in an accompanying Mathematica notebook and are evaluated on existing tables of rays, in the form of tropical Plucker vectors, to tabulate the finest planar subdivisions of $Δ_{3,8},Δ_{3,9}$ and $ Δ_{4,8}$, or equivalently the set of maximal cones for the corresponding nonnegative tropical Grassmannians.
Quasigraphs and skeletal partitions
Published
• View Publication
• BIB
We give a new proof of the Skeletal Lemma, which is the main technical tool in our paper on Hamilton cycles in line graphs [T. Kaiser and P. Vrána, Hamilton cycles in 5-connected line graphs, European J. Combin. 33 (2012), 924-947]. It generalises results on disjoint spanning trees in graphs to the context of 3-hypergraphs. The lemma is proved in a slightly stronger version that is more suitable for applications. The proof is simplified and formulated in a more accessible way.
The hamiltonicity of essentially 9-connected line graphs
Published
• View Publication
• BIB
Yang et al. proved that every 3-connected, essentially 11-connected line graph is Hamilton-connected. This was extended by Li and Yang to 3-connected, essentially 10-connected graphs. Strengthening their result further, we prove that 3-connected, essentially 9-connected line graphs are Hamilton-connected. We use a method based on quasigraphs in combination with the discharging technique. The result extends to claw-free graphs.
The nil-blob algebra: An incarnation of type $\tilde{A}_1$ Soergel calculus and of the truncated blob algebra
Published
• View Publication
• BIB
We introduce a type $B$ analogue of the nil Temperley-Lieb algebra in terms of generators and relations, that we call the (extended) nil-blob algebra. We show that this algebra is isomorphic to the endomorphism algebra of a Bott-Samelson bimodule in type $\tilde{A}_1$. We also prove that it is isomorphic to an idempotent truncation of the classical blob algebra.Thus we provide strong evidence in favor of the recent Blob vs. Soergel conjecture.
Constructive Characterization for Bidirected Analogue of Critical Graphs I: Principal Classes of Radials and Semiradials
This paper is the first from serial papers that provide constructive characterizations for classes of bidirected graphs known as radials and semiradials. In this paper, we provide constructive characterizations for five principle classes of radials and semiradials to be used for characterizing general radials and semiradials. A bidirected graph is a graph in which each end of each edge has a sign $+$ or $-$. Bidirected graphs are a common generalization of digraphs and signed graphs. We define a new concept of radials as a generalization of a classical concept in matching theory, critical graphs. Radials are also a generalization of a class of digraphs known as flowgraphs. We also define semiradials, which are a relaxed concept of radials. We further define special classes of radials and semiradials, that is, absolute semiradials, strong and almost strong radials, linear semiradials, and sublinear radials. We provide constructive characterizations for these five classes of bidirected graphs. Our serial papers are a part of a series of works that establish the strong component decomposition for bidirected graphs.
Distinguishing Orthogonality Graphs
Published in Journal of Graph Theory, Vol. 93(3), (2021): pp. 384-404
• View Publication
• BIB
A graph $G$ is said to be $d$-distinguishable if there is a labeling of the vertices with $d$ labels so that only the trivial automorphism preserves the labels. The smallest such $d$ is the distinguishing number, Dist($G$). A subset of vertices $S$ is a determining set for $G$ if every automorphism of $G$ is uniquely determined by its action on $S$. The size of a smallest determining set for $G$ is called the determining number, Det($G$). The orthogonality graph $Ω_{2k}$ has vertices which are bitstrings of length $2k$ with an edge between two vertices if they differ in precisely $k$ bits. This paper shows that Det($Ω_{2k}$) $= 2^{2k-1}$ and that if $\binom{m}{2} \geq 2k$ then $2<$ Dist($Ω_{2k}$) $\leq m$.
Minimal Codes From Characteristic Functions Not Satisfying The Ashikhmin-Barg Condition
A minimal code is a linear code where the only instance that a codeword has its support contained in the support of another codeword is when the codewords are scalar multiples of each other. Ashikhmin and Barg gave a sufficient condition for a code to be minimal, which led to much interest in constructing minimal codes that do not satisfy their condition. We consider a particular family of codes $\mathcal C_f$ when $f$ is the indicator function of a set of points, and prove a sufficient condition for $\mathcal C_f$ to be minimal and not satisfy Ashikhmin and Barg's condition based on certain geometric properties of the support of $f$. We give a lower bound on the size of a set of points satisfying these geometric properties and show that the bound is tight.
Cop number of graphs without long holes
A hole in a graph is an induced cycle of length at least 4. We give a simple winning strategy for t-3 cops to capture a robber in the game of cops and robbers played in a graph that does not contain a hole of length at least t. This strengthens a theorem of Joret-Kaminski-Theis, who proved that t-2 cops have a winning strategy in such graphs. As a consequence of our bound, we also give an inequality relating the cop number and the Dilworth number of a graph.
Positivity for quasi-cluster algebras
We generalise the expansion formulae of Musiker, Schiffler and Williams, obtained for cluster algebras from orientable surfaces, to a larger class of coefficients which we call principal laminations. In doing so, for any quasi-cluster algebra from a non-orientable surface, we are able to obtain expansion formulae for each cluster variable with respect to any initial quasi-triangulation $T$, and any choice of principal lamination. Moreover, generalising the `separation of additions' formula of Fomin and Zelevinsky, we settle a conjecture of Lam and Pylyavskyy in the setting of quasi-cluster algebras. Namely, we prove the positivity conjecture for quasi-cluster algebras with respect to any choice of coefficients.
Globally Optimal Selection of Ground Stations in Satellite Systems with Site Diversity
Published in IEEE Wireless Communications Letters, vol. 9, no. 7, pp. 1101-1104, July 2020
• View Publication
• BIB
The availability of satellite communication systems is extremely limited by atmospheric impairments, such as rain (for radio frequencies) and cloud coverage (for optical frequencies). A solution to this problem is the site diversity technique, where a network of geographically distributed ground stations (GSs) can ensure, with high probability, that at least one GS is available for connection to the satellite at each time period. However, the installation of redundant GSs induces unnecessary additional costs for the network operator. In this context, we study an optimization problem that minimizes the number of required GSs, subject to availability constraints. First, the problem is transformed into a binary-integer-linear-programming (BILP) problem, which is proven to be NP-hard. Subsequently, we design a branch-and-bound (B&B) algorithm, with global-optimization guarantee, based on the linear-programming (LP) relaxation and a greedy method as well. Finally, numerical results show that the proposed algorithm significantly outperforms state-of-the-art methods, and has low complexity in the average case.
Joins of Hypergraphs and Their Spectra
Published
• View Publication
• BIB
Here, we represent a general hypergraph by a matrix and study its spectrum. We extend the definition of equitable partition and joining operation for hypergraphs, and use those to compute eigenvalues of different hypergraphs. We derive the characteristics polynomial of a complete $m$-uniform $m$-partite hypergraph $K^m_{n_1,n_2,\dots,n_m}$. Studying edge corona of hypergraphs we find the complete spectrum of $s$-loose cycles $C^m_{L(s;n)}$ for $m \geq 2s+1$ and the characteristics polynomial of a $s$-loose paths $P^{(m)}_{L(s;n)}$. Some of the eigenvalues of $P^{(m)}_{L(s;n)}$ are also derived. Moreover, using vertex corona, we show how to generate infinitely many pairs of non-isomorphic co-spectral hypergraphs.
Causal Diamonds, Cluster Polytopes and Scattering Amplitudes
Published
• View Publication
• BIB
The "amplituhedron" for tree-level scattering amplitudes in the bi-adjoint $φ^3$ theory is given by the ABHY associahedron in kinematic space, which has been generalized to give a realization for all finite-type cluster algebra polytopes, labelled by Dynkin diagrams. In this letter we identify a simple physical origin for these polytopes, associated with an interesting (1+1)-dimensional causal structure in kinematic space, along with solutions to the wave equation in this kinematic "spacetime" with a natural positivity property. The notion of time evolution in this kinematic spacetime can be abstracted away to a certain "walk", associated with any acyclic quiver, remarkably yielding a finite cluster polytope for the case of Dynkin quivers. The ${\cal A}_{n{-}3},{\cal B}_{n{-}1}/{\cal C}_{n{-}1}$ and ${\cal D}_n$ polytopes are the amplituhedra for $n$-point tree amplitudes, one-loop tadpole diagrams, and full integrand of one-loop amplitudes. We also introduce a polytope $\bar{\cal D}_n$, which chops the ${\cal D}_n$ polytope in half along a symmetry plane, capturing one-loop amplitudes in a more efficient way.
A Note on the Parallel Cleaning of Cliques
We disprove a conjecture proposed in [Gaspers et al., Discrete Applied Mathematics, 2010] and provide a new upper bound for the minimum number of brushes required to continually parallel clean a clique.
Compactifications of cluster varieties and convexity
Published
• View Publication
• BIB
In [GHKK18], Gross-Hacking-Keel-Kontsevich discuss compactifications of cluster varieties from "positive subsets" in the real tropicalization of the mirror. To be more precise, let $\mathfrak{D}$ be the scattering diagram of a cluster variety $V$ (of either type -- $\mathcal{A}$ or $\mathcal{X}$), and let $S$ be a closed subset of $\left(V^\vee\right)^{\text{trop}}(\mathbb{R})$ -- the ambient space of $\mathfrak{D}$. The set $S$ is positive if the theta functions corresponding to the integral points of $S$ and its $\mathbb{N}$-dilations define an $\mathbb{N}$-graded subalgebra of $Γ(V, \mathcal{O}_V)[x]$. In particular, a positive set $S$ defines a compactification of $V$ through a Proj construction applied to the corresponding $\mathbb{N}$-graded algebra. In this paper we give a natural convexity notion for subsets of $\mathfrak{D}$, called "broken line convexity", and show that a set is positive if and only if it is broken line convex. The combinatorial criterion of broken line convexity provides a tractable way to construct positive subsets of $\mathfrak{D}$, or to check positivity of a given subset.
Moments of Partitions and Derivatives of Higher Order
Published
• View Publication
• BIB
We Define moments of partitions of integers, and show that they appear in higher order derivatives of certain combinations of functions.