Showing 20 papers (Total: 83842 papers, 48355 authors in database)
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.
Rigidity expander graphs
Published
• View Publication
• BIB
Jordán and Tanigawa recently introduced the $d$-dimensional algebraic connectivity $a_d(G)$ of a graph $G$. This is a quantitative measure of the $d$-dimensional rigidity of $G$ which generalizes the well-studied notion of spectral expansion of graphs. We present a new lower bound for $a_d(G)$ defined in terms of the spectral expansion of certain subgraphs of $G$ associated with a partition of its vertices into $d$ parts. In particular, we obtain a new sufficient condition for the rigidity of a graph $G$. As a first application, we prove the existence of an infinite family of $k$-regular $d$-rigidity-expander graphs for every $d\ge 2$ and $k\ge 2d+1$. Conjecturally, no such family of $2d$-regular graphs exists. Second, we show that $a_d(K_n)\geq \frac{1}{2}\left\lfloor\frac{n}{d}\right\rfloor$, which we conjecture to be essentially tight. In addition, we study the extremal values $a_d(G)$ attained if $G$ is a minimally $d$-rigid graph.
Slow Coloring of 3k-Connected Graphs
Published
• View Publication
• BIB
The slow coloring game was introduced by Mahoney, Puleo, and West and it is played by two players, Lister and Painter, on a graph \(G\). In round \(i\), Lister marks a nonempty subset \(M\) of \(V(G)\). By doing this he scores \(|M|\) points. Painter responds by deleting a maximal independent subset of \(M\). This process continues until all vertices are deleted. Lister aims to maximize the score, while Painter aims to minimize it. The best score that both players can guarantee is called the \textit{slow coloring number} or \textit{sum-color cost} of \(G\), denoted \(\spo{(G)}\).
Puleo and West found that for an \(n\)-vertex tree \(T\), the slow coloring number is at most \(\lfloor \frac{3n}{2} \rfloor\), and that the maximum can be reached when \(T\) contains a spanning forest with vertices of degree 1 or 3. This implies that every n-vertex graph \(G\) having a perfect matching satisfies \(\spo(G) \geq \lfloor{\frac{3n}{2}}\rfloor\). In this paper, we prove that for \(3k\)-connected graphs with \(|V(G)| \geq 4k\) and with a perfect matching the lower bound is higher: \(\spo(G) \geq \frac{3n}{2} + k\).
A Rademacher-type exact formula for partitions without sequences
Published
• View Publication
• BIB
In this paper we prove an exact formula for the number of partitions without sequences. By work of Andrews, the corresponding generating function is a product of a modular form and a mock theta function, giving an overall weight of 0. The proof requires evaluating and bounding Kloosterman sums and the Circle Method
Some combinatorial interpretations of the Macdonald identities for affine root systems
We explore some connections between vectors of integers and integer partitions seen as bi-infinite words. This methodology enables us to give a combinatorial interpretation of the Macdonald identities for affine root systems of the seven infinite families in terms of symplectic and special orthogonal Schur functions. From these results, we are able to derive $q$-Nekrasov--Okounkov formulas associated to each family. Nevertheless we only give results for types $\tilde{C}$ and $\tilde{C}^{\vee}$, and give a sketch of the proof for type $\tilde{C}$.
Randomly Punctured Reed-Solomon Codes Achieve the List Decoding Capacity over Polynomial-Size Alphabets
Published
• View Publication
• BIB
This paper shows that, with high probability, randomly punctured Reed-Solomon codes over fields of polynomial size achieve the list decoding capacity. More specifically, we prove that for any $ε>0$ and $R\in (0,1)$, with high probability, randomly punctured Reed-Solomon codes of block length $n$ and rate $R$ are $\left(1-R-ε, O({1}/ε)\right)$ list decodable over alphabets of size at least $2^{\mathrm{poly}(1/ε)}n^2$. This extends the recent breakthrough of Brakensiek, Gopi, and Makam (STOC 2023) that randomly punctured Reed-Solomon codes over fields of exponential size attain the generalized Singleton bound of Shangguan and Tamo (STOC 2020).
Gallai-like characterization of strong cocomparability graphs
Published
• View Publication
• BIB
Strong cocomparability graphs are the reflexive graphs whose adjacency matrix can be rearranged by a simultaneous row and column permutation to avoid the submatrix with rows $01, 10$. Strong cocomparability graphs form a subclass of cocomparability graphs (i.e., the complements of comparability graphs) and can be recognized in polynomial time. In his seminal paper, Gallai characterized cocomparability graphs in terms of a forbidden structure called asteroids. Gallai proved that cocomparability graphs are precisely those reflexive graphs which do not contain asteroids.
In this paper, we give a characterization of strong cocomparability graphs which is analogous to Gallai's characterization for cocomparability graphs. We prove that strong cocomparability graphs are precisely those reflexive graphs which do not contain weak edge-asteroids (a weaker version of asteroids). Our characterization also leads to a polynomial time recognition algorithm for strong cocomparability graphs.
$p$-numerical semigroup of generalized Fibonacci triples
Published
• View Publication
• BIB
For a nonnegative integer $p$, we give explicit formulas for the $p$-Frobenius number and the $p$-genus of generalized Fibonacci numerical semigroups. Here, the $p$-numerical semigroup $S_p$ is defined as the set of integers whose nonnegative integral linear combinations of given positive integers $a_1,a_2,\dots,a_k$ are expressed more than $p$ ways. When $p=0$, $S_0$ with the $0$-Frobenius number and the $0$-genus is the original numerical semigroup with the Frobenius number and the genus. In this paper, we consider the $p$-numerical semigroup involving Jacobsthal polynomials, which include Fibonacci numbers as special cases. We can also treat with the Jacobsthal-Lucas polynomials, including Lucas numbers accordingly. One of the applications on the $p$-Hilbert series is mentioned.
Substitution drawing rules on the Fibonacci word
This paper is a sharp and focussed exploration of the Fibonacci substitution and the mathematical entity it gives rise to, the Fibonacci word. Our investigations are both of an algebraic and a geometric nature. Indeed, it is the combination of the two that gives this paper its overall character. The work is in four parts. Chapter 1 is a brisk tour of necessary basics; definitions, key theorems, and a number of techniques subsequently used extensively. A simple one dimensional drawing rule is investigated in chapter 2 with the aid of what is thought to be an original geometric figure that we will call a "deviation from zero diagram". A highlight of the chapter is its concluding elementary proof of a non-trivial result. Chapter 3 presents a two dimensional drawing rule. Although selected because it is amongst the simplest form possible, this time the object derived from the rule is a fractal. That this is so is proven and its fractal (Hausdorff) dimension calculated. This fractal is a (possibly previously unexplored) variant of that known in the literature as "The Fibonacci Fractal". By way of an overall conclusion, the last chapter, the fourth, suggests a few aspects of those preceding it worthy of further analysis.