Showing 20 papers (Total: 82139 papers, 47531 authors in database)
On the strength and domination number of graphs
Published
• View Publication
• BIB
A numbering $f$ of a graph $G$ of order $n$ is a labeling that assigns distinct elements of the set $\left\{ 1,2,\ldots ,n\right\} $ to the vertices of $G$. The strength $\textrm{str}_{f}\left( G\right)$ of a numbering $f:V\left( G\right) \rightarrow \left\{ 1,2,\ldots ,n\right\} $ of $G$ is defined by% \begin{equation*} \mathrm{str}_{f}\left( G\right) =\max \left\{ f\left( u\right) +f\left( v\right) \left| uv\in E\left( G\right) \right. \right\} \text{,} \end{equation*}% that is, $\mathrm{str}_{f}\left( G\right) $ is the maximum edge label of $G$ and the strength\ \textrm{str}$\left( G\right) $ of a graph $G$ itself is \begin{equation*} \mathrm{str}\left( G\right) =\min \left\{ \mathrm{str}_{f}\left( G\right) \left| f\text{ is a numbering of }G\right. \right\} \text{.} \end{equation*} In this paper, we present a sharp lower bound for the strength of a graph in terms of its domination number as well as its (edge) covering and (edge) independence number. We also provide a necessary and sufficient condition for the strength of a graph to attain the earlier bound in terms of their subgraph structure. In addition, we establish a sharp lower bound for the domination number of a graph under certain conditions.
Variety of mutual-visibility problems in graphs
Published
• View Publication
• BIB
If $X$ is a subset of vertices of a graph $G$, then vertices $u$ and $v$ are $X$-visible if there exists a shortest $u,v$-path $P$ such that $V(P)\cap X \subseteq \{u,v\}$. If each two vertices from $X$ are $X$-visible, then $X$ is a mutual-visibility set. The mutual-visibility number of $G$ is the cardinality of a largest mutual-visibility set of $G$ and has been already investigated. In this paper a variety of mutual-visibility problems is introduced based on which natural pairs of vertices are required to be $X$-visible. This yields the total, the dual, and the outer mutual-visibility numbers. We first show that these graph invariants are related to each other and to the classical mutual-visibility number, and then we prove that the three newly introduced mutual-visibility problems are computationally difficult. According to this result, we compute or bound their values for several graphs classes that include for instance grid graphs and tori. We conclude the study by presenting some inter-comparison between the values of such parameters, which is based on the computations we made for some specific families.
Local Differences Determined by Convex sets
This paper introduces a new problem concerning additive properties of convex sets. Let $S= \{s_1 < \dots <s_n \}$ be a set of real numbers and let $D_i(S)= \{s_x-s_y: 1 \leq x-y \leq i\}$. We expect that $D_i(S)$ is large, with respect to the size of $S$ and the parameter $i$, for any convex set $S$.
We give a construction to show that $D_3(S)$ can be as small as $n+2$, and show that this is the smallest possible size. On the other hand, we use an elementary argument to prove a non-trivial lower bound for $D_4(S)$, namely $|D_4(S)| \geq \frac{5}{4}n -1$. For sufficiently large values of $i$, we are able to prove a non-trivial bound that grows with $i$ using incidence geometry.
A computation of the ninth Dedekind Number
In this article, we present an algorithm to compute the 9th Dedekind Number. The key aspects are the use of matrix multiplication and symmetries in the free distributive lattice, which are detected with techniques from Formal Concept Analysis.
Spectral monotonicity of the Hodge Laplacian
If K,G are finite abstract simplicial complexes and K is a subcomplex of G then the eigenvalues of the Hodge Laplacian of K are smaller or equal than the eigenvalues of the Hodge Laplacian of G, provided the eigenvalue lists are padded left.
Maximum Agreement Subtrees and Hölder homeomorphisms between Brownian trees
Published
• View Publication
• BIB
We prove that the size of the largest common subtree between two uniform, independent, leaf-labelled random binary trees of size $n$ is typically less than $n^{1/2-\varepsilon}$ for some $\varepsilon>0$. Our proof relies on the coupling between discrete random trees and the Brownian tree and on a recursive decomposition of the Brownian tree due to Aldous. Along the way, we also show that almost surely, there is no $(1-\varepsilon)$-Hölder homeomorphism between two independent copies of the Brownian tree.
$L_{\infty}$ norm minimization for nowhere-zero integer eigenvectors of the block graphs of Steiner triple systems and Johnson graphs
We study nowhere-zero integer eigenvectors of the block graphs of Steiner triple systems and the Johnson graphs. For the first eigenvalue we obtain the minimums of $L_{\infty}$-norm for several infinite series of Johnson graphs, including J(n,3) as well as general upper and lower bounds. The minimization of $L_{\infty}$-norm for nowhere-zero integer eigenvectors with the second eigenvalue of the block graph of a Steiner triple system $S$ is equivalent to finding the minimum nowhere-zero flow for Steiner triple system S. For the all Assmuss-Mattson Steiner triple systems of order at least 99 we prove that this minimum is bounded above by 4.
Planar site percolation via tree embeddings
We prove that if $G$ is an infinite, connected, planar graph properly embedded in $\mathbb{R}^2$ with minimum degree at least $7$, then i.i.d.\ Bernoulli$(p)$ site percolation on $G$ almost surely has infinitely many infinite open (1-)clusters for every \[ p \in \bigl(p_c^{\mathrm{site}},\, 1-p_c^{\mathrm{site}}\bigr). \] Moreover, we show that $p_c^{\mathrm{site}}<\tfrac12$, so this non-uniqueness interval is nonempty. This verifies Conjecture~7 of Benjamini and Schramm~\cite{bs96} for this class of properly embedded planar graphs.
Our proof introduces a new construction of embedded trees in $G$. These trees yield infinitely many infinite clusters for percolation parameters near $\tfrac12$, and they also enable exponential decay of two-point connection probabilities by partitioning $G$ using infinitely many disjoint trees. Variants of this approach were later used in~\cite{ZL26} to construct a counterexample to Conjecture~7 of~\cite{bs96} for planar graphs with uncountably many ends.
Finally, the methods developed here have further applications: in~\cite{perc24} they are used to prove a vertex-cut characterization of $p_c^{\mathrm{site}}$ (conjectured by Kahn in~\cite{JK03}) and to refute an edge-cut characterization proposed by Lyons and Peres~\cite{LP16} and Tang (\cite{Tang2023}).
Some existence theorems on path-factor critical avoidable graphs
Published
• View Publication
• BIB
A spanning subgraph $F$ of $G$ is called a path factor if every component of $F$ is a path of order at least 2. Let $k\geq2$ be an integer. A $P_{\geq k}$-factor of $G$ means a path factor in which every component has at least $k$ vertices. A graph $G$ is called a $P_{\geq k}$-factor avoidable graph if for any $e\in E(G)$, $G$ has a $P_{\geq k}$-factor avoiding $e$. A graph $G$ is called a $(P_{\geq k},n)$-factor critical avoidable graph if for any $W\subseteq V(G)$ with $|W|=n$, $G-W$ is a $P_{\geq k}$-factor avoidable graph. In other words, $G$ is $(P_{\geq k},n)$-factor critical avoidable if for any $W\subseteq V(G)$ with $|W|=n$ and any $e\in E(G-W)$, $G-W-e$ admits a $P_{\geq k}$-factor. In this article, we verify that (\romannumeral1) an $(n+r+2)$-connected graph $G$ is $(P_{\geq2},n)$-factor critical avoidable if $I(G)>\frac{n+r+3}{2(r+2)}$; (\romannumeral2) an $(n+r+2)$-connected graph $G$ is $(P_{\geq3},n)$-factor critical avoidable if $t(G)>\frac{n+r+2}{2(r+2)}$; (\romannumeral3) an $(n+r+2)$-connected graph $G$ is $(P_{\geq3},n)$-factor critical avoidable if $I(G)>\frac{n+3(r+2)}{2(r+2)}$; where $n$ and $r$ are two nonnegative integers.
Canonical Decompositions of 3-Connected Graphs
Published in Advances in Combinatorics 2025:7, 73pp [Journal]; FOCS '23, 1887-1920 [Conference Proceedings]
• View Publication
• BIB
We offer a new structural basis for the theory of 3-connected graphs, providing a unique decomposition of every such graph into parts that are either quasi 4-connected, wheels, or thickened $K_{3,m}$'s. Our construction is explicit, canonical, and has the following applications: we obtain a new theorem characterising all finite Cayley graphs as either essentially 4-connected, cycles, or complete graphs on at most four vertices, and we provide an automatic proof of Tutte's wheel theorem.
Two curious q-supercongruences and their extensions
Published
• View Publication
• BIB
We prove two single-parameter q-supercongruences which were recently conjectured by Guo, and establish their further extensions with one more parameter. Crucial ingredients in the proof are the terminating form of q-binomial theorem and a Karlsson-Minton type summation formula due to Gasper. Incidentally, an assertion of Wang, Li and Tang is also verified by establishing its q-analogue.
On the Number of Regular Integers Modulo $n$ and Its Significance for Cryptography
We present four combinatorial proofs of Morgado's formula for the number $\varrho(n)$ of non-congruent regular integers modulo $n$, corresponding to sequence A055653 in the On-Line Encyclopedia of Integer Sequences (OEIS), where an integer $m$ is said to be regular modulo $n$ if the congruence $m^2 x \equiv m \pmod{n}$ has a solution $x\in\mathbb{Z}$. To illustrate the significance of the sequence and Morgado's formula, we relate them to a recent multi prime, multi-power generalization of the RSA cryptosystem.
Unimodality of partition polynomials related to Borwein's conjecture
Published
• View Publication
• BIB
The objective of this paper is to prove that the polynomials $\prod_{k=0}^n(1+q^{3k+1})(1+q^{3k+2})$ are symmetric and unimodal for $n\geq 0$ by an analytical method.
A complete classification of shuffle groups
Published in Forum of Mathematics, Sigma 12 (2024) e104
• View Publication
• BIB
For positive integers $k$ and $n$, the shuffle group $G_{k,kn}$ is generated by the $k!$ permutations of a deck of $kn$ cards performed by cutting the deck into $k$ piles with $n$ cards in each pile, and then perfectly interleaving these cards following a certain permutation of the $k$ piles. For $k=2$, the shuffle group $G_{2,2n}$ was determined by Diaconis, Graham and Kantor in 1983. The Shuffle Group Conjecture states that, for general $k$, the shuffle group $G_{k,kn}$ contains $\mathrm{A}_{kn}$ whenever $k\notin\{2,4\}$ and $n$ is not a power of $k$. In particular, the conjecture in the case $k=3$ was posed by Medvedoff and Morrison in 1987. The only values of $k$ for which the Shuffle Group Conjecture has been confirmed so far are powers of $2$, due to recent work of Amarra, Morgan and Praeger based on Classification of Finite Simple Groups. In this paper, we confirm the Shuffle Group Conjecture for all cases using results on $2$-transitive groups and elements of large fixed point ratio in primitive groups.
Dichotomies for Maximum Matching Cut: $H$-Freeness, Bounded Diameter, Bounded Radius
Published
• View Publication
• BIB
The (Perfect) Matching Cut problem is to decide if a graph $G$ has a (perfect) matching cut, i.e., a (perfect) matching that is also an edge cut of $G$. Both Matching Cut and Perfect Matching Cut are known to be NP-complete. A perfect matching cut is also a matching cut with maximum number of edges. To increase our understanding of the relationship between the two problems, we perform a complexity study for the Maximum Matching Cut problem, which is to determine a largest matching cut in a graph. Our results yield full dichotomies of Maximum Matching Cut for graphs of bounded diameter, bounded radius and $H$-free graphs. A disconnected perfect matching of a graph $G$ is a perfect matching that contains a matching cut of $G$. We also show how our new techniques can be used for finding a disconnected perfect matching with a largest matching cut for special graph classes. In this way we can prove that the decision problem Disconnected Perfect Matching is polynomial-time solvable for $(P_6+sP_2)$-free graphs for every $s\geq 0$, extending a known result for $P_5$-free graphs (Bouquet and Picouleau, 2020).
On a generalisation of the coupon collector problem
Published
• View Publication
• BIB
We consider a generalisation of the classical coupon collector problem. We define a super-coupon to be any $s$-subset of a universe of $n$ coupons. In each round, a random $r$-subset from the universe is drawn and all its $s$-subsets are marked as collected. We show that the time to collect all super-coupons is $\binom{r}{s}^{-1}\binom{n}{s} \log \binom{n}{s}(1 + o(1))$ on average and has a Gumbel limit after a suitable normalisation. In a similar vein, we show that for any $α\in (0, 1)$, the expected time to collect $(1 - α)$ proportion of all super-coupons is $\binom{r}{s}^{-1}\binom{n}{s} \log \big(\frac{1}α\big)(1 + o(1))$. The $r = s$ case of this model is equivalent to the classical coupon collector model.
We also consider a temporally dependent model where the $r$-subsets are drawn according to the following Markovian dynamics: the $r$-subset at round $k + 1$ is formed by replacing a random coupon from the $r$-subset drawn at round $k$ with another random coupon from outside this $r$-subset. We link the time it takes to collect all super-coupons in the $r = s$ case of this model to the cover time of random walk on a certain finite regular graph and conjecture that in general, it takes $\frac{r}{s} \binom{r}{s}^{-1}\binom{n}{s}\log\binom{n}{s}(1 + o(1))$ time on average to collect all super-coupons.
Universality in prelimiting tail behavior for regular subgraph counts in the Poisson regime
Published
• View Publication
• BIB
Let $N$ be the number of copies of a small subgraph $H$ in an Erdős-Rényi graph $G \sim \mathcal{G}(n, p_n)$ where $p_n \to 0$ is chosen so that $\mathbb{E} N = c$, a constant. Results of Bollobás show that for regular graphs $H$, the count $N$ weakly converges to a Poisson random variable. For large but finite $n$, and for the specific case of the triangle, investigations of the upper tail $\mathbb{P}(N \geq k_n)$ by Ganguly, Hiesmayr and Nam (2022) revealed that there is a phase transition in the tail behavior and the associated mechanism. Smaller values of $k_n$ correspond to disjoint occurrences of $H$, leading to Poisson tails, with a different behavior emerging when $k_n$ is large, guided by the appearance of an almost clique. We show that a similar phase transition also occurs when $H$ is any regular graph, at the point where $k_n^{1 -2/q}\log k_n = \log n$ ($q$ is the number of vertices in $H$). This establishes universality of this transition, previously known only for the case of the triangle.
The sharp doubling threshold for approximate convexity
Published
• View Publication
• BIB
We show for $A,B\subset\mathbb{R}^d$ of equal volume and $t\in (0,1/2]$ that if $|tA+(1-t)B|< (1+t^d)|A|$, then (up to translation) $|\text{co}(A\cup B)|/|A|$ is bounded. This establishes the sharp threshold for Figalli and Jerison's quantative stability of the Brunn-Minkowski inequality. We additionally establish a similar sharp threshold for iterated sumsets.
Locality in Sumsets
Published
• View Publication
• BIB
Motivated by the Polynomial Freiman-Ruzsa (PFR) Conjecture, we develop a theory of locality in sumsets, with applications to John-type approximation and sets with small doubling. First we show that if $A \subset \mathbb{Z}$ with $|A+A| \le (1-ε) 2^d |A|$ is non-degenerate then $A$ is covered by $O(2^d)$ translates of a $d$-dimensional generalised arithmetic progression ($d$-GAP) $P$ with $|P| \le O_{d,ε}(|A|)$; thus we obtain one of the polynomial bounds required by PFR, under the non-degeneracy assumption that $A$ is not efficiently covered by $O_{d,ε}(1)$ translates of a $(d-1)$-GAP. We also prove a stability result showing for any $ε,α>0$ that if $A \subset \mathbb{Z}$ with $|A+A| \le (2-ε)2^d|A|$ is non-degenerate then some $A' \subset A$ with $|A'|>(1-α)|A|$ is efficiently covered by either a $(d+1)$-GAP or $O_α(1)$ translates of a $d$-GAP. This `dimension-free' bound for approximate covering makes for a stark contrast with exact covering, where the required number of translates grows exponentially with $d$. We further show that if $A \subset \mathbb{Z}$ is non-degenerate with $|A+A| \le (2^d + \ell)|A|$ and $\ell \le 0.1 \cdot 2^d$ then $A$ is covered by $\ell+1$ translates of a $d$-GAP $P$ with $|P| \le O_d(|A|)$; this is tight, in that $\ell+1$ cannot be replaced by any smaller number. The above results also hold for $A \subset \mathbb{R}^d$, replacing GAPs by a suitable common generalisation of GAPs and convex bodies. In this setting the non-degeneracy condition holds automatically, so we obtain essentially optimal bounds with no additional assumption on $A$. These results are all deduced from a unifying theory, in which we introduce a new intrinsic structural approximation of any set, which we call the `additive hull', and develop its theory via a refinement of Freiman's theorem with additional separation properties.
The limit points of the top and bottom eigenvalues of regular graphs
We prove that for each $d \geq 3$ the set of all limit points of the second largest eigenvalue of growing sequences of $d$-regular graphs is $[2\sqrt{d-1},d]$. A similar argument shows that the set of all limit points of the smallest eigenvalue of growing sequences of $d$-regular graphs with growing (odd) girth is $[-d, -2 \sqrt{d-1}]$. The more general question of identifying all vectors which are limit points of the vectors of the top $k$ eigenvalues of sequences of $d$-regular graphs is considered as well. As a by product, in the study of discrete counterpart of the "scarring" phenomenon observed in the investigation of quantum ergodicity on manifolds, our technique provides a method to construct $d$-regular almost Ramanujan graphs with large girth and localized eigenvectors corresponding to eigenvalues larger than $2\sqrt{d-1}$, strengthening a result of Alon, Ganguly, and Srivastava.