Showing 20 papers (Total: 82064 papers, 47505 authors in database)
In Honour of Ted Swart
This is a tribute to my dear life-long friend, mentor and colleague Ted Swart. It includes anecdotal stories and memories of our times together, and also includes a new academic contribution in his honour, Teds polytope. Tweeks made to the Birkhoff polytope Bn endow Teds polytope Tn(ε) with a special tunable parameter ε = ε(n). Observe how Bn can be viewed as the convex hull of both the TSP polytope, and the set of non-tour permutation extrema, and, that its extended formulation is compact. Tours (connected 2-factor permutation matrices when viewed as adjacency matrices) can be distinguished from non-tours (disconnected 2-factor permutation matrices) where ε scales the magnitude of tweeks made to Bn. For ε > 0, Tn(ε) is tuned so that the convex hull of extrema corresponding to transformed tours is lifted from Bn, and separated (by a hyperplane) from the convex hull of extrema corresponding to translated non-tours. This leads to creation of the feasible region of an LP model that can decide existence of a tour in a graph based on an extended formulation of the TSP polytope. That is, by designing for polynomial-time distinguishable tour extrema embedded in a subspace disjoint from non-tour extrema, NP-completeness strongholds come into play, necessarily expressed in a non-compact extended formulation of Tn(ε) i.e. a compact extended formulation of the TSP polytope cannot exist. No matter, Ted would have loved these ideas, and Tn(ε) might one day yet be useful in the study of the P versus NP conundrum. In summary, Tn(ε) is a perturbed Bn i.e. the convex hull of both an ε-stretched TSP polytope, and the set of translated non-tour permutation extrema i.e. a TSP-like polytope and separable non-tour extrema.
Improved upper bounds on longest-path and maximal subdivision transversals
Published
• View Publication
• BIB
Let $G$ be a connected graph on $n$ vertices. The Gallai number $Gal(G)$ of $G$ is the size of the smallest set of vertices that meets every maximum path in $G$. Grünbaum constructed a graph $G$ with $Gal(G)=3$. Very recently, Long, Milans, and Munaro, proved that $Gal(G)\leq 8n^{{3}/{4}}$. This was the first sublinear upper bound on $Gal(G)$ in terms of $n$. We improve their bound to $Gal(G)\leq 5 n^{{2}/{3}}$. We also tighten a more general result of Long et al. For a multigraph $M$ on m edges, we prove that if the set $L(M,G)$ of maximum $M$-subdivisions in $G$ is pairwise intersecting and $n\geq m^{6}$, then $G$ has a set of vertices with size at most $5 n^{{2}/{3}}$ that meets every $Q\in \mathcal{L}(M,G)$
On combinatorial differential operators on species of structures
In 1981, André Joyal provided a combinatorial interpretation of the algebra of formal power series, a central gadget in the toolkit of enumerative combinatorics. In Joyal's theory of species of structures, combinatorial species (like permutations, graphs, partitions, etc.) are incarnated in endofunctors on the category of finite sets and bijections. Species can be added, multiplied, composed and differentiated; new species arise as solutions to functional and differential equations. Moreover, everything achieved at the level of species can be directly translated into the language of generating series for enumeration of labelled, as well as unlabelled structures. More recently, Labelle and Lamathe developed a general theory of differential operators on species of structures, such as cycles or diagrams of derivatives. The main goal of this dissertation is to present some parts of this theory.
On Blecher and Knopfmacher's Fixed Points for Integer Partitions
Published in Discrete Math. 347 (2024) 113938
• View Publication
• BIB
Recently, Blecher and Knopfmacher explored the notion of fixed points in integer partitions and hypothesized on the relative number of partitions with and without a fixed point. We resolve their open question by working fixed points into a growing number of interconnected partition statistics involving Frobenius symbols, Dyson's crank, and the mex (minimal excluded part). Also, we generalize the definition of fixed points and connect that expanded notion to the $\text{mex}_j$ defined by Hopkins, Sellers, and Stanton as well as the $j$-Durfee rectangle defined by Hopkins, Sellers, and Yee.
The absolute values of the perfect matching derangement graph's eigenvalues almost follow the lexicographic order of partitions
Published
• View Publication
• BIB
In 2013, Ku and Wong showed that for any partitions $μ$ and $μ'$ of a positive integer $n$ with the same first part $u$ and the lexicographic order $μ\triangleleft μ'$, the eigenvalues $ξ_μ$ and $ξ_{μ'}$ of the derangement graph $Γ_n$ have the property $|ξ_μ|\le |ξ_{μ'}|$, where the equality holds if and only if $u=3$ and all other parts are less than $3$. In this article, we obtain an analogous conclusion on the eigenvalues of the perfect matching derangement graph $\mathcal{M}_{2n}$ of $K_{2n}$ by finding a new recurrence formula for the eigenvalues of $\mathcal{M}_{2n}$.
The distributions under two species-tree models of the total number of ancestral configurations for matching gene trees and species trees
Published
• View Publication
• BIB
Given a gene-tree labeled topology $G$ and a species tree $S$, the "ancestral configurations" at an internal node $k$ of $S$ represent the combinatorially different sets of gene lineages that can be present at $k$ when all possible realizations of $G$ in $S$ are considered. Ancestral configurations have been introduced as a data structure for evaluating the conditional probability of a gene-tree labeled topology given a species tree, and their enumeration assists in describing the complexity of this computation. In the case that the gene-tree labeled topology $G=t$ matches that of the species tree $S$, by techniques of analytic combinatorics, we study distributional properties of the "total" number of ancestral configurations measured across the different nodes of a random labeled topology $t$ selected under the uniform and the Yule probability models. Under both of these probabilistic scenarios, we show that the total number $T_n$ of ancestral configurations of a random labeled topology of $n$ taxa asymptotically follows a lognormal distribution. Over uniformly distributed labeled topologies, the asymptotic growth of the mean and the variance of $T_n$ are found to satisfy $\mathbb{E}_{\rm U}[T_n] \sim 2.449 \cdot 1.333^n$ and $\mathbb{V}_{\rm U}[T_n] \sim 5.050 \cdot 1.822^n$, respectively. Under the Yule model, which assigns higher probabilities to more balanced labeled topologies, we obtain the mean $\mathbb{E}_{\rm Y}[T_n] \sim 1.425^n$ and the variance $\mathbb{V}_{\rm Y}[T_n] \sim 2.045^n$.
Random Turán theorem for expansions of spanning subgraphs of tight trees
Published
• View Publication
• BIB
The $r$-expansion of a $k$-uniform hypergraph $H$, denoted by $H^{(+r)}$, is an $r$-uniform hypergraph obtained by enlarging each $k$-edge of $H$ with a set of $r-k$ vertices of degree one. The random Turán number $\mathrm{ex}(G^r_{n,p},H)$ is the maximum number of edges in an $H$-free subgraph of $G^r_{n,p}$, where $G^r_{n,p}$ is the Erdős-Rényi random $r$-graph with parameter $p$. In this paper, we prove an upper bound for $\mathrm{ex}(G^r_{n,p},H)$ when $H$ belongs to a large family of $r$-partite $r$-graphs: the $r$-expansion of spanning subgraphs of tight trees. This upper bound is essentially tight for at least the following two families of hypergraphs.
1. Our upper bounds are essentially tight for expansions of $K^{k-1}_{k}$, the complete $(k-1)$-graph on $k$ vertices. The proof of the lower bound makes use of a recent construction of Gowers and Janzer generalizing the famous Ruzsa-Szemerëdi construction. In particular, when $k=3$, this answers a question of the current author, Spiro and Verstraëte concerning the random Turán number of linear triangle.
2. Let $T$ be a tight tree such that the intersection of all edges of $T$ is empty. Simple construction shows that the upper bounds we have for expansions of $T$ are essentially tight.
The main technical contribution of this paper is a new way to obtain balanced supersaturation results for expansions of hypergraphs: we combine two ideas, one of Mubayi-Yepremyan and another of Balogh-Narayanan-Skokan, via codegree dichotomy. We note that neither of these two ideas alone would be enough to recover results in this paper.
Spectral condition for spanning $k$-ended trees in $t$-connected graphs
Published
• View Publication
• BIB
For any integer $k\geq 2$, a spanning $k$-ended tree is a spanning tree with at most $k$ leaves. In this paper, we provide a tight spectral radius condition for the existence of a spanning $k$-ended tree in $t$-connected graphs, which generalizes a result of Ao, Liu and Yuan (2023).
Laplacian eigenvalues and eigenspaces of cographs generated by finite sequence
Published
• View Publication
• BIB
In this paper we consider particular graphs defined by $\overline{\overline{\overline{K_{α_1}}\cup K_{α_2}}\cup\cdots \cup K_{α_k}}$, where $k$ is even, $K_α$ is a complete graph on $α$ vertices, $\cup$ stands for the disjoint union and an overline denotes the complementary graph. These graphs do not contain the $4$-vertex path as an induced subgraph, i.e., they belong to the class of cographs. In addition, they are iteratively constructed from the generating sequence $(α_1, α_2, \ldots, α_k)$. Our primary question is what invariants or graph properties can be deduced form a given sequence. In this context, we compute the Lapacian eigenvalues and the corresponding eigenspaces, and derive a lower and an upper bound for the number of distinct Laplacian eigenvalues. We also determine the graphs under consideration with a fixed number of vertices that either minimize or maximize the algebraic connectivity (that is the second smallest Laplacian eigenvalue). The clique number is computed in terms of a generating sequence and a relationship between it and the algebraic connectivity is established.
Resolution of a conjecture about linking ring structures
Published
• View Publication
• BIB
An LR-structure is a tetravalent vertex-transitive graph together with a special type of a decomposition of its edge-set into cycles. LR-structures were introduced in a paper by P. Potočnik and S. Wilson, titled `Linking rings structures and tetravalent semisymmetric graphs', in Ars Math. Contemp. 7 (2014), as a tool to study tetravalent semisymmetric graphs of girth 4. In this paper, we use the methods of group amalgams to resolve some problems left open in the above-mentioned paper.
Generalized degenerate stirling numbers arising from degenerate boson normal ordering
Published
• View Publication
• BIB
It is remarkable that, in recent years, intensive studies have been done for degenerate versions of many special polynomials and numbers and have yielded many interesting results. The aim of this paper is to study the generalized degenerate (r, s)-Stirling numbers of the second and their natural extensions to polynomials, namely the generalized degenerate (r, s)-Bell polynomials, arising from certain degenerate boson normal ordering. We derive some properties, explicit expressions and generating functions for those numbers and polynomials. The generalized degenerate (r, s)-Stirling numbers of the second and the degenerate boson normal ordering are respectively degenerate versions of the generalized (r, s)-Stirling numbers of the second and the boson normal ordering studied earlier by Blasiak-Person-Solomon.
Online size Ramsey number for $C_4$ and $P_6$
Published
• View Publication
• BIB
In this paper we consider a game played on the edge set of the infinite clique $K_\mathbb{N}$ by two players, Builder and Painter. In each round of the game, Builder chooses an edge and Painter colors it red or blue. Builder wins when Painter creates a red copy of $G$ or a blue copy of $H$, for some fixed graphs $G$ and $H$. Builder wants to win in as few rounds as possible, and Painter wants to delay Builder for as many rounds as possible. The online size Ramsey number $\tilde{r}(G,H)$, is the minimum number of rounds within which Builder can win, assuming both players play optimally. So far it has been proven by Dybizbański, Dzido and Zakrzewska that $11\leq\tilde{r}(C_4,P_6)\leq13$ \cite{Dzido}. In this paper, we refine this result and show the exact value, namely we will present the Theorem that $\tilde{r}(C_4,P_6)=11$, with the details of the proof.
Keywords: graph theory, Ramsey theory, combinatorial games, online size Ramsey number
Reconsideration of Tangle and Ultrafilter using Separation and Partition
Published in International Journal of Mathematics Trends and Technology (IJMTT), vol. 70, no. 7, pp. 5-12, 2024
• View Publication
• BIB
Tangle is a concept in graph theory that has a dual relationship with branch-width which is well-known graph width parameter. Ultrafilter, a fundamental notion in mathematics, is similarly known to have a dual relationship with branch-width when extended to a connectivity system (X, f). We will reconsider these concepts using separation and partition.
Moderate deviations of triangle counts in sparse Erdős-Rényi random graphs $G(n,m)$ and $G(n,p)$
Published
• View Publication
• BIB
We consider the question of determining the probability of triangle count deviations in the Erdős-Rényi random graphs $G(n,m)$ and $G(n,p)$ with densities larger than $n^{-1/2}(\log{n})^{1/2}$. In particular, we determine the log probability $\log\mathbb{P}(N_{\triangle}(G)\, >\, (1+δ)p^3n^3)$ up to a constant factor across essentially the entire range of possible deviations, in both the $G(n,m)$ and $G(n,p)$ model. For the $G(n,p)$ model we also prove a stronger result, up to a $(1+o(1))$ factor, in the non-localised regime. We also obtain some results for the lower tail and for counts of cherries (paths of length $2$).
Graphs that contain a $K_{1,2,3}$ and no induced subdivision of $K_4$ are $4$-colorable
In 2012, Lévêque, Maffray, and Trotignon conjectured that each graph $G$ that contains no induced subdivision of $K_4$ is $4$-colorable. In this paper, we prove that this conjecture holds when $G$ contains a $K_{1,2,3}$.
A Recurrence Relation Associated with Unit-Primitive Matrices
In this paper we obtained several properties that the characteristic polynomials of the unit-primitive matrix satisfy. In addition, using these properties we have shown that the recurrence relation given as in the formula (1) is true. In fact, Xin and Zhong([4]) showed it earlier. However, we provide simpler method here.
Spectral extremal problem on the square of $\ell$-cycle
Published
• View Publication
• BIB
Let $C_{\ell}$ be the cycle of order ${\ell}$. The square of $C_{\ell}$, denoted by $C_{\ell}^2$, is obtained by joining all pairs of vertices with distance no more than two in $C_{\ell}$. A graph is called $F$-free if it does not contain $F$ as a subgraph. Denote by $ex(n,F)$ and $spex(n,F)$ the maximum size and spectral radius over all $n$-vertex $F$-free graphs, respectively. The well-known Turán problem asks for the $ex(n,F)$, and Nikiforov in 2010 proposed a spectral counterpart, known as Brualdi-Solheid-Turán type problem, focusing on determining $spex(n,F)$. In this paper, we consider a Turán problem on $ex(n,C_{\ell}^2)$ and a Brualdi--Solheid--Turán type problem on $spex(n,C_{\ell}^2)$. We give a sharp bound of $ex(n,C_{\ell}^2)$ and $spex(n,C_{\ell}^2)$ for sufficiently large $n$, respectively. Moreover, in both results, we characterize the corresponding extremal graphs for any integer $\ell\geq 6$ that is not divisible by $3$.
The sum-product problem for integers with few prime factors
Published in Compositio Math. 161 (2025) 427-446
• View Publication
• BIB
It was asked by E. Szemerédi if, for a finite set $A\subset\mathbb{Z}$, one can improve estimates for $\max\{|A+A|,|A\cdot A|\}$, under the constraint that all integers involved have a bounded number of prime factors -- that is, each $a\in A$ satisfies $ω(a)\leq k$. In this paper, answer Szemerédi's question in the affirmative by showing that this maximum is of order $|A|^{\frac{5}{3}-o(1)}$ provided $k\leq (\log|A|)^{1-ε}$ for some $ε>0$. In fact, this will follow from an estimate for additive energy which is best possible up to factors of size $|A|^{o(1)}$.
A digraph version of the Friendship Theorem
Published
• View Publication
• BIB
The Friendship Theorem states that if in a party any pair of persons has precisely one common friend, then there is always a person who is everybody's friend and the theorem has been proved by Paul Erdős, Alfréd Rényi, and Vera T. Sós in 1966. ``What would happen if instead any pair of persons likes precisely one person?" While a friendship relation is symmetric, a liking relation may not be symmetric. Therefore to represent a liking relation we should use a directed graph. We call this digraph a ``liking digraph". It is easy to check that a symmetric liking digraph becomes a friendship graph if each directed cycle of length two is replaced with an edge. In this paper, we provide a digraph formulation of the Friendship Theorem which characterizes the liking digraphs. We also establish a sufficient and necessary condition for the existence of liking digraphs.
Combinatorics of higher-dimensional tropical covers
We develop a combinatorial framework to study certain polyhedral maps which are higher-dimensional analogues of tropical covers between metric graphs. Under a mild combinatorial assumption, we show that a map satisfies the so-called balancing condition if and only if it is an indexed branched cover, i.e.~locally over connected sets the count with multiplicity of points in every fibre is a constant, which in particular gives a well-defined global degree when the target is connected. Given a balanced map $(Σ, m_Σ) \to Δ$, we lift several connectivity properties of $Δ$ to~$Σ$. Using these lifting results we determine whether a multiplicity $m_{\mathcal U}$ that is defined only on the interiors of maximal cells of $Σ$ can be extended to all $Σ$ in a balanced manner. This relies on a strong connectivity assumption; we give a counterexample when this is missing.