Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Percolation transition for random forests in $d\geq 3$
Published in Invent. Math., 237, 445-540, (2024)
• View Publication
• BIB
The arboreal gas is the probability measure on (unrooted spanning) forests of a graph in which each forest is weighted by a factor $β>0$ per edge. It arises as the $q\to 0$ limit of the $q$-state random cluster model with $p=βq$. We prove that in dimensions $d\geq 3$ the arboreal gas undergoes a percolation phase transition. This contrasts with the case of $d=2$ where no percolation transition occurs.
The starting point for our analysis is an exact relationship between the arboreal gas and a non-linear sigma model with target space the fermionic hyperbolic plane $\mathbb{H}^{0|2}$. This latter model can be thought of as the $0$-state Potts model, with the arboreal gas being its random cluster representation. Unlike the standard Potts models, the $\mathbb{H}^{0|2}$ model has continuous symmetries. By combining a renormalisation group analysis with Ward identities we prove that this symmetry is spontaneously broken at low temperatures. In terms of the arboreal gas, this symmetry breaking translates into the existence of infinite trees in the thermodynamic limit. Our analysis also establishes massless free field correlations at low temperatures and the existence of a macroscopic tree on finite tori.
Combining Orthology and Xenology Data in a Common Phylogenetic Tree
Published
• View Publication
• BIB
A rooted tree $T$ with vertex labels $t(v)$ and set-valued edge labels $λ(e)$ defines maps $δ$ and $\varepsilon$ on the pairs of leaves of $T$ by setting $δ(x,y)=q$ if the last common ancestor $\text{lca}(x,y)$ of $x$ and $y$ is labeled $q$, and $m\in \varepsilon(x,y)$ if $m\inλ(e)$ for at least one edge $e$ along the path from $\text{lca}(x,y)$ to $y$. We show that a pair of maps $(δ,\varepsilon)$ derives from a tree $(T,t,λ)$ if and only if there exists a common refinement of the (unique) least-resolved vertex labeled tree $(T_δ,t_δ)$ that explains $δ$ and the (unique) least resolved edge labeled tree $(T_{\varepsilon},λ_{\varepsilon})$ that explains $\varepsilon$ (provided both trees exist). This result remains true if certain combinations of labels at incident vertices and edges are forbidden.
Polynomial growth and asymptotic dimension
Published
• View Publication
• BIB
Bonamy et al \cite{BBEGLPS} showed that graphs of polynomial growth have finite asymptotic dimension. We refine their result showing that a graph of polynomial growth strictly less than $n^{k+1}$ has asymptotic dimension at most $k$. As a corollary Riemannian manifolds of bounded geometry and polynomial growth strictly less than $n^{k+1}$ have asymptotic dimension at most $k$.
We show also that there are graphs of growth $<n^{1+ε}$ for any $ε>0$ and infinite asymptotic Assouad-Nagata dimension.
Crux and long cycles in graphs
Published in SIAM Journal on Discrete Mathematics, Vol. 36, Iss. 4 (2022)
• View Publication
• BIB
We introduce a notion of the \emph{crux} of a graph $G$, measuring the order of a smallest dense subgraph in $G$. This simple-looking notion leads to some generalisations of known results about cycles, offering an interesting paradigm of `replacing average degree by crux'. In particular, we prove that \emph{every} graph contains a cycle of length linear in its crux.
Long proved that every subgraph of a hypercube $Q^m$ (resp. discrete torus $C_3^m$) with average degree $d$ contains a path of length $2^{d/2}$ (resp. $2^{d/4}$), and conjectured that there should be a path of length $2^{d}-1$ (resp. $3^{d/2}-1$). As a corollary of our result, together with isoperimetric inequalities, we close these exponential gaps giving asymptotically optimal bounds on long paths in hypercubes, discrete tori, and more generally Hamming graphs.
We also consider random subgraphs of $C_4$-free graphs and hypercubes, proving near optimal bounds on lengths of long cycles.
Parking on Cayley trees & Frozen Erdös-Rényi
Published
• View Publication
• BIB
Consider a uniform rooted Cayley tree $T_{n}$ with $n$ vertices and let $m$ cars arrive sequentially, independently, and uniformly on its vertices. Each car tries to park on its arrival node, and if the spot is already occupied, it drives towards the root of the tree and parks as soon as possible. Lackner & Panholzer (arXiv:1504.04972) established a phase transition for this process when $ m \approx \frac{n}{2}$. In this work, we couple this model with a variant of the classical Erdös-Rényi random graph process. This enables us to describe the phase transition for the size of the components of parked cars using a modification of the multiplicative coalescent which we name the frozen multiplicative coalescent. The geometry of critical parked clusters is also studied. Those trees are very different from Bienaymé-Galton-Watson trees and should converge towards the growth-fragmentation trees canonically associated to the $3/2$-stable process that already appeared in the study of random planar maps.
The Curious Case of the Diamond Network
This work considers the one-shot capacity of communication networks subject to adversarial noise affecting a subset of network edges. In particular, we examine previously-established upper bounds on one-shot capacity. We introduce the Diamond Network as a minimal example to show that known cut-set bounds are not sharp in general. We then give a capacity-achieving scheme for the Diamond Network that implements an adversary detection strategy. Finally, we give a sufficient condition for tightness of the Singleton Cut-Set Bound in a family of two-level networks.
Conditions forcing the existence of relative complements in lattices and posets
Published
• View Publication
• BIB
It is elementary and well-known that if an element x of a bounded modular lattice L has a complement in L then x has a relative complement in every interval [a,b] containing x. We show that the relatively strong assumption of modularity of L can be replaced by a weaker one formulated in the language of so-called modular triples. We further show that, in general, we need not suppose that x has a complement in L. By introducing the concept of modular triples in posets, we extend our results obtained for lattices to posets. It should be remarked that the notion of a complement can be introduced also in posets that are not bounded.
Solution Regularity of k-partite Linear Systems -- A Variant of Rado's Theorem
A classical question in combinatorial number theory asks whether an equation has a solution inside a particular subset of its domain. The Rado's Theorem gives a set of necessary and sufficient conditions for a systems of linear equations to have a monochromatic solution whenever the positive integers are finitely colored. In this paper, we provide a variant of this theorem. For $k \ge 2$, we present conditions such that, when the set of variables is partitioned into $k$ subsets, there is a solution such that the variables of each subset are monochromatic, which we call a semi-monochromatic solution. We adopt the smod $p$ coloring by Graham, Rothschild, and Spencer but turn the existence of semi-monochromatic solution into the existence of common roots of linear polynomials. With this idea, one can further generalize the theorem to systems of linear equations over general algebraic number fields.
55- and 56-configurations are reducible
Let $G$ be a 4-chromatic maximal planar graph (MPG) with the minimum degree of at least 4 and let $C$ be an even-length cycle of $G$.If $|f(C)|=2$ for every $f$ in some Kempe equivalence class of $G$, then we call $C$ an unchanged bichromatic cycle (UBC) of $G$, and correspondingly $G$ an unchanged bichromatic cycle maximal planar graph (UBCMPG) with respect to $C$, where $f(C)=\{f(v)| v\in V(C)\}$. For an UBCMPG $G$ with respect to an UBC $C$, the subgraph of $G$ induced by the set of edges belonging to $C$ and its interior (or exterior), denoted by $G^C$, is called a base-module of $G$; in particular, when the length of $C$ is equal to four, we use $C_4$ instead of $C$ and call $G^{C_4}$ a 4-base-module. In this paper, we first study the properties of UBCMPGs and show that every 4-base-module $G^{C_4}$ contains a 4-coloring under which $C_4$ is bichromatic and there are at least two bichromatic paths with different colors between one pair of diagonal vertices of $C_4$ (these paths are called module-paths). We further prove that every 4-base-module $G^{C_4}$ contains a 4-coloring (called decycle coloring) for which the ends of a module-path are colored by distinct colors. Finally, based on the technique of the contracting and extending operations of MPGs, we prove that 55-configurations and 56-configurations are reducible by converting the reducibility problem of these two classes of configurations into the decycle coloring problem of 4-base-modules.
Infinite Ramsey-minimal graphs for star forests
Published
• View Publication
• BIB
For graphs $F$, $G$, and $H$, we write $F \to (G,H)$ if every red-blue coloring of the edges of $F$ produces a red copy of $G$ or a blue copy of $H$. The graph $F$ is said to be $(G,H)$-minimal if it is subgraph-minimal with respect to this property. The characterization problem for Ramsey-minimal graphs is classically done for finite graphs. In 2021, Barrett and the second author generalized this problem to infinite graphs. They asked which pairs $(G,H)$ admit a Ramsey-minimal graph and which ones do not. We show that any pair of star forests such that at least one of them involves an infinite-star component admits no Ramsey-minimal graph. Also, we construct a Ramsey-minimal graph for a finite star forest versus a subdivision graph. This paper builds upon the results of Burr et al. in 1981 on Ramsey-minimal graphs for finite star forests.
Vertex-Face/Zeta correspondence
Published
• View Publication
• BIB
We present the characteristic polynomial for the transition matrix of a vertex-face walk on a graph, and obtain its spectra. Furthermore, we express the characteristic polynomial for the transition matrix of a vertex-face walk on the 2-dimensional torus by using its adjacency matrix, and obtain its spectra. As an application, we define a new walk-type zeta function with respect to the transition matrix of a vertex-face walk on the 2-dimensional torus, and present its explicit formula.
The $b$-weight distribution for MDS codes
Published
• View Publication
• BIB
For a positive integer $b\ge2$, the $b$-symbol code is a new coding framework proposed to combat $b$-errors in $b$-symbol read channels. Especially, the $2$-symbol code is called a symbol-pair code. Remarkably, a classical maximum distance separable (MDS) code is also an MDS $b$-symbol code. Recently, for any MDS code $\mathcal{C}$, Ma and Luo determined the symbol-pair weight distribution of $\mathcal{C}$. In this paper, by calculating the number of solutions for some equations and utilizing some shortened codes of $\mathcal{C}$, we give the connection between the $b$-weight distribution and the number of codewords in shortened codes of $\mathcal{C}$ with special shape. Furthermore, note that shortened codes of $\mathcal{C}$ are also MDS codes, the number of these codewords with special shape are also determined by the shorten method. From the above calculation, the $b$-weight distribution of $\mathcal{C}$ is determined. Our result generalies the corresonding result of Ma and Luo.
Asymptotics for the number of directions determined by $[n] \times [n]$ in $\mathbb{F}_p^2$
Published in Mathematika 68 (2022), no. 2, 511-534
• View Publication
• BIB
Let $p$ be a prime and $n$ a positive integer such that $\sqrt{\frac p2} + 1 \leq n \leq \sqrt{p}$. For any arithmetic progression $A$ of length $n$ in $\mathbb{F}_p$, we establish an asymptotic formula for the number of directions determined by $A \times A \subset \mathbb{F}_p^2$. The key idea is to reduce the problem to counting the number of solutions to the bilinear Diophantine equation $ad+bc=p$ in variables $1\le a,b,c,d\le n$; our asymptotic formula for the number of solutions is of independent interest.
Enumerating partitions arising in homotopy theory
Published
• View Publication
• BIB
We present an infinite family of recursive formulas that count binary integer partitions satisfying natural divisibility conditions and show that these counts are interrelated via partial sums. Moreover, we interpret the partitions we study in the language of graded polynomial rings and apply this to the mod $2$ Steenrod algebra to compute the free rank of certain homology modules in stable homotopy theory.
On central difference sets in Suzuki $p$-groups of type $A$
Published
• View Publication
• BIB
In this paper, when the order of $θ$ is even, we prove that there exists no central difference sets in $A_2(m,θ)$ and establish some non-existence results of central partial difference sets in $A_p(m,θ)$ with $p>2$. When the order of $θ$ is odd, we construct central difference sets in $A_2(m,θ)$. Furthermore, we give some reduced linking systems of difference sets in $A_2(m,θ)$ by using the difference sets we constructed. In the case $p>2$, we construct Latin square type central partial difference sets in $A_p(m,θ)$ by a similar method.
A Class of Simple Rearrangements of the Alternating Harmonic Series
Published in "A class of simple rearrangements of the alternating harmonic series." Amer. Math. Monthly 125 (2018), no. 3, 245-256
• View Publication
• BIB
We present an easily defined countable family of permutations of the natural numbers for which explicit rearrangements (i.e., the sums induced by the permutations) can be computed. The digamma function proves to be the key tool for the computations found here for the alternating harmonic series. The permutations $φ$ under consideration are simple in a sense: they are involutions ($φ\circφ$ is the identity function). We show that the countable set of rearrangements obtained from the simple involutions considered below are dense in the reals.
Vertex and edge metric dimensions of cacti
Published
• View Publication
• BIB
In a graph G; a vertex (resp. an edge) metric generator is a set of vertices S such that any pair of vertices (resp. edges) from G is distinguished by at least one vertex from S: The cardinality of a smallest vertex (resp. edge) metric generator is the vertex (resp. edge) metric dimension of G: In [19] we determined the vertex (resp. edge) metric dimension of unicyclic graphs and that it takes its value from two consecutive integers. Therein, several cycle configurations were introduced and the vertex (resp. edge) metric dimension takes the greater of the two consecutive values only if any of these configurations is present in the graph. In this paper we extend the result to cactus graphs i.e. graphs in which all cycles are pairwise edge disjoint. We do so by defining a unicyclic subgraph of G for every cycle of G and applying the already introduced approach for unicyclic graphs which involves the configurations. The obtained results enable us to prove the cycle rank conjecture for cacti. They also yield a simple upper bound on metric dimensions of cactus graphs and we conclude the paper by conjecturing that the same upper bound holds in general.
The maximum size of a graph with prescribed order, circumference and minimum degree
Erdős determined the maximum size of a nonhamiltonian graph of order $n$ and minimum degree at least $k$ in 1962. Recently, Ning and Peng generalized. Erdős' work and gave the maximum size $h(n,c,k)$ of graphs with prescribed order $n$, circumference $c$ and minimum degree at least $k.$ But for some triples $n,c,k,$ the maximum size is not attained by a graph of minimum degree $k.$ For example, $h(15,14,3)=77$ is attained by a unique graph of minimum degree $7,$ not $3.$ In this paper we obtain more precise information by determining the maximum size of a graph with prescribed order, circumference and minimum degree. Consequently we solve the corresponding problem for longest paths. All these results on the size of graphs have clique versions.
On the semitotal dominating sets of graphs
A set $D$ of vertices in an isolate-free graph $G$ is a semitotal dominating set of $G$ if $D$ is a dominating set of $G$ and every vertex in $D$ is within distance $2$ from another vertex of $D$.The semitotal domination number of $G$ is the minimum cardinality of a semitotal dominating set of $G$ and is denoted by $γ_{t2}(G)$. In this paper after computation of semitotal domination number of specific graphs, we count the number of this kind of dominating sets of arbitrary size in some graphs.
Dynamical characterization of central sets along filter
Published
• View Publication
• BIB
Using the notions of Topological dynamics, H. Furstenberg defined central sets and proved the Central Sets Theorem. Later V. Bergelson and N. Hindman characterized central sets in terms of algebra of the Stone-Čech Compactification of discrete semigroup. They found that central sets are the members of the minimal idempotents of $βS$, the Stone-Čech Compactification of a semigroup $\left(S,\cdot\right)$. We know that any closed subsemigroup of $βS$ is generated by a filter. We call a set $A$ to be a $\mathcal{F}$-central set if it is a member of a minimal idempotent of a closed subsemigroup of $βS$, generated by the filter $\mathcal{F}$. In this article we will characterize the $\mathcal{F}$-central sets dynamically.