Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Sharp Thresholds for Factors in Random Graphs
Let $F$ be a graph on $r$ vertices and let $G$ be a graph on $n$ vertices. Then an $F$-factor in $G$ is a subgraph of $G$ composed of $n/r$ vertex-disjoint copies of $F$, if $r$ divides $n$. In other words, an $F$-factor yields a partition of the $n$ vertices of $G$. The study of such $F$-factors in the Erdős-Rényi random graph dates back to Erdős himself. Decades later, in 2008, Johansson, Kahn and Vu established the thresholds for the existence of an $F$-factor for strictly 1-balanced $F$ -- up to the leading constant. The sharp thresholds, meaning the leading constants, were obtained only recently by Riordan and Heckel, but only for complete graphs $F=K_r$ and for so-called nice graphs. Their results rely on sophisticated couplings that utilize the recent, celebrated solution of Shamir's problem by Kahn.
We extend the couplings by Riordan and Heckel to any strictly 1-balanced $F$ and thereby obtain the sharp threshold for the existence of an $F$-factor. In particular, we confirm the thirty year old conjecture by Rucínski that this sharp threshold indeed coincides with the sharp threshold for the disappearance of the last vertices which are not contained in a copy of $F$.
The structure of sets with cube-avoiding sumsets
Published
• View Publication
• BIB
We prove that if $d \ge 2$ is an integer, $G$ is a finite abelian group, $Z_0$ is a subset of $G$ not contained in any strict coset in $G$, and $E_1,\dots,E_d$ are dense subsets of $G^n$ such that the sumset $E_1+\dots+E_d$ avoids $Z_0^n$ then $E_1, \dots, E_d$ essentially have bounded dimension. More precisely, they are almost entirely contained in sets $E_1' \times G^{I^c}, \dots, E_d' \times G^{I^c}$, where the size of $I \subset [n]$ is non-zero and independent of $n$, and $E_1',\dots,E_d'$ are subsets of $G^{I}$ such that the sumset $E_1'+\dots+E_d'$ avoids $Z_0^I$.
Computing the permanental polynomial of $4k$-intercyclic bipartite graphs
Published in American Journal of Combinatorics, 3:35-43, (2024)
• View Publication
• BIB
Let $G$ be a bipartite graph with adjacency matrix $A(G)$. The characteristic polynomial $φ(G,x)=\det(xI-A(G))$ and the permanental polynomial $π(G,x) = \text{per}(xI-A(G))$ are both graph invariants used to distinguish graphs. For bipartite graphs, we define the modified characteristic polynomial, which is obtained by changing the signs of some of the coefficients of $φ(G,x)$. For $4k$-intercyclic bipartite graphs, i.e., those for which the removal of any $4k$-cycle results in a $C_{4k}$-free graph, we provide an expression for $π(G,x)$ in terms of the modified characteristic polynomial of the graph and its subgraphs. Our approach is purely combinatorial in contrast to the Pfaffian orientation method found in the literature to compute the permanental polynomial.
The dib-chromatic number of digraphs
Published
• View Publication
• BIB
We study an extension to directed graphs of the parameter called the $b$-chromatic number of a graph in terms of acyclic vertex colorings: the dib-chromatic number. We give general bounds for this parameter. We also show some results about tournaments and regular digraphs.
Improved Lower Bounds for all Odd-Query Locally Decodable Codes
Published
• View Publication
• BIB
We prove that for every odd $q\geq 3$, any $q$-query binary, possibly non-linear locally decodable code ($q$-LDC) $E:\{\pm1\}^k \rightarrow \{\pm1\}^n$ must satisfy $k \leq \tilde{O}(n^{1-2/q})$. For even $q$, this bound was established in a sequence of prior works. For $q=3$, the above bound was achieved in a recent work of Alrabiah, Guruswami, Kothari and Manohar using an argument that crucially exploits known exponential lower bounds for $2$-LDCs. Their strategy hits an inherent bottleneck for $q \geq 5$.
Our key insight is identifying a general sufficient condition on the hypergraph of local decoding sets called $t$-approximate strong regularity. This condition demands that 1) the number of hyperedges containing any given subset of vertices of size $t$ (i.e., its co-degree) be equal to the same but arbitrary value $d_t$ up to a multiplicative constant slack, and 2) all other co-degrees be upper-bounded relative to $d_t$. This condition significantly generalizes related proposals in prior works that demand absolute upper bounds on all co-degrees.
We give an argument based on spectral bounds on Kikuchi Matrices that lower bounds the blocklength of any LDC whose local decoding sets satisfy $t$-approximate strong regularity for any $t \leq q$. Crucially, unlike prior works, our argument works despite having no non-trivial absolute upper bound on the co-degrees of any set of vertices. To apply our argument to arbitrary $q$-LDCs, we give a new, greedy, approximate strong regularity decomposition that shows that arbitrary, dense enough hypergraphs can be partitioned (up to a small error) into approximately strongly regular pieces satisfying the required relative bounds on the co-degrees.
A new lower bound for the multicolor Ramsey number $r_k(K_{2, t + 1})$
In this short note, we provide a new infinite family of $K_{2, t+1}$-free graphs for each prime power $t$. Using these graphs, we show that it is possible to partition the edges of $K_n$ into parts, such that each part is isomorphic to our $K_{2, t+1}$-free graph. This yields an improved lower bound to the multicolor Ramsey number $r_k(K_{2, t+1})$ when $k$ and $t$ are powers of the same prime. For these values of $k$ and $t$, our coloring implies that $$ tk^2 + 1 \leq r_k(K_{2, t+1}) \leq tk^2 + k + 2. $$ where the upper bound is due to Chung and Graham.
Emergence in graphs with near-extreme constraints
We consider entropy-optimal graphons associated with extreme and near-extreme constraints on the densities of edges and triangles. We prove that the optimizers for near-extreme constraints are unique and multipodal and are perturbations of the previously known unique optimzers for extreme constraints. This proves the existence of infinitely many phases. We determine the podal structures in these phases and prove the existence of phase transitions between them.
A canonical Ramsey theorem for even cycles in random graphs
Published
• View Publication
• BIB
The celebrated canonical Ramsey theorem of Erdős and Rado implies that for $2\leq k\in \mathbb{N}$, any colouring of the edges of $K_n$ with $n$ sufficiently large gives a copy of $C_{2k}$ which has one of three canonical colour patterns: monochromatic, rainbow or lexicographic. In this paper we show that if $p=ω(n^{-1+1/(2k-1)}\log n)$, then ${\mathbf{G}}(n,p)$ will asymptotically almost surely also have the property that any colouring of its edges induces canonical copies of $C_{2k}$. This determines the threshold for the canonical Ramsey property with respect to even cycles, up to a $\log$ factor.
Eigenvalues and eigenfunctions of a Hamming ball
We describe the eigenvalues and the eigenspaces of the adjacency matrices of subgraphs of the Hamming cube induced by Hamming balls, and more generally, by a union of adjacent concentric Hamming spheres.
As a corollary, we extend the range of cardinalities of subsets of the Hamming cube for which Hamming balls have essentially the largest maximal eigenvalue (among all subsets of the same size). We show that this holds even when the sets in question are large, with cardinality which is an arbitrary subconstant fraction of the whole cube.
Combining the theorems of Turán and de Bruijn-Erd\H os
Published
• View Publication
• BIB
Fix an integer $s \ge 2$. Let $\mathcal{P}$ be a set of $n$ points and let $\mathcal{L}$ be a set of lines in a linear space such that no line in $\mathcal{L}$ contains more than $(n-1)/(s-1)$ points of $\mathcal{P}$. Suppose that for every $s$-set $S$ in $\mathcal{P}$, there is a pair of points in $S$ that lies in a line from $\mathcal{L}$. We prove that $|\mathcal{L}| \ge (n-1)/(s-1)+s-1$ for $n$ large, and this is sharp when $n-1$ is a multiple of $s-1$. This generalizes the de Bruijn-Erd\H os theorem which is the case $s=2$. Our result is proved in the more general setting of linear hypergraphs.
Pure Simplicial and Clique Complexes with a Fixed Number of Facets
Published
• View Publication
• BIB
We study structural and enumerative aspects of pure simplicial complexes and clique complexes. We prove a necessary and sufficient condition for any simplicial complex to be a clique complex that depends only on the list of facets. We also prove a theorem that a class of ``triangle-intersection free" pure clique complexes are uniquely determined up to isomorphism merely from the facet-adjacency matrix. Lastly, we count the number of pure simplicial complexes with a fixed number of facets and find an upper bound to the number of pure clique complexes.
Sharp Bounds for Neighborhood degree based indices of Graphs
In this paper, we will construct formulas and bounds for Neighborhood Degree-based indices of graphs and describe graphs that attain the bounds. Furthermore, we will establish a lower bound for the spectral radius of any graph.
Gracefulness of two nested cycles: a first approach
Published
• View Publication
• BIB
It is known that if a plane graph is graceful (resp. near-graceful), then its semidual is conservative (resp. near-conservative). In this work we prove that the semidual of a plane graph of size $M$ consisting of two nested cycles is conservative if $M \equiv 0,3 \pmod 4$, and near-conservative otherwise. We also show that for a given integer $m_1 \geq 3$, there exists $m^* > m_1$ such that for $m_2 \geq m^*$, if $m_1+m_2 \equiv 0,3 \pmod 4$ (resp. $m_1+m_2 \equiv 1,2 \pmod 4$), then there exists a graceful (resp. near-graceful) plane graph consisting of two nested cycles with sizes $m_1$ and $m_2$, respectively.
A group-action Szemerédi-Trotter theorem and applications to orchard problems in all characteristics
We establish a group-action version of the Szemerédi-Trotter theorem over any field, extending Bourgain's result for the group $\mathrm{SL}_2(k)$. As an Elekes-Szabó-type application, we obtain quantitative bounds on the number of collinear triples on reducible cubic surfaces in $\mathbb{P}^3(k)$, where $k = \mathbb{F}_{q}$ and $k = \mathbb{C}$, thereby improving a recent result by Bays, Dobrowolski, and the second author.
On the strong geodeticity in the corona type product of graphs
Published
• View Publication
• BIB
The paper focuses on studying strong geodetic sets and numbers in the context of corona-type products of graphs. Our primary focus is on three variations of the corona products: the generalized corona, generalized edge corona, and generalized neighborhood corona products. A strong geodetic set is a minimal subset of vertices that covers all vertices in the graph through unique geodesics connecting pairs from this subset. We obtain the strong geodetic set and number of the corona-type product graph using the strong 2-geodetic set and strong 2-geodetic number of the initial arbitrary graphs. We analyze how the structural properties of these corona products affect the strong geodetic number, providing new insights into geodetic coverage and the relationships between graph compositions. This work contributes to expanding research on the geodetic parameters of product graphs.
(Independent) Roman Domination Parameterized by Distance to Cluster
Published
• View Publication
• BIB
Given a graph $G=(V,E)$, a function $f:V\to \{0,1,2\}$ is said to be a \emph{Roman Dominating function} (RDF) if for every $v\in V$ with $f(v)=0$, there exists a vertex $u\in N(v)$ such that $f(u)=2$. A Roman Dominating function $f$ is said to be an \emph{Independent Roman Dominating function} (IRDF), if $V_1\cup V_2$ forms an independent set, where $V_i=\{v\in V~\vert~f(v)=i\}$, for $i\in \{0,1,2\}$. The total weight of $f$ is equal to $\sum_{v\in V} f(v)$, and is denoted as $w(f)$. The \emph{Roman Domination Number} (resp. \emph{Independent Roman Domination Number}) of $G$, denoted by $γ_R(G)$ (resp. $i_R(G)$), is defined as min$\{w(f)~\vert~f$ is an RDF (resp. IRDF) of $G\}$. For a given graph $G$, the problem of computing $γ_R(G)$ (resp. $i_R(G)$) is defined as the \emph{Roman Domination problem} (resp. \emph{Independent Roman Domination problem}).
In this paper, we examine structural parameterizations of the (Independent) Roman Domination problem. We propose fixed-parameter tractable (FPT) algorithms for the (Independent) Roman Domination problem in graphs that are $k$ vertices away from a cluster graph. These graphs have a set of $k$ vertices whose removal results in a cluster graph. We refer to $k$ as the distance to the cluster graph. Specifically, we prove the following results when parameterized by the deletion distance $k$ to cluster graphs: we can find the Roman Domination Number (and Independent Roman Domination Number) in time $4^kn^{O(1)}$. In terms of lower bounds, we show that the Roman Domination number can not be computed in time $2^{εk}n^{O(1)}$, for any $0<ε<1$ unless a well-known conjecture, SETH fails. In addition, we also show that the Roman Domination problem parameterized by distance to cluster, does not admit a polynomial kernel unless NP $\subseteq$ coNP$/$poly.
An Analytical Exploration of the Erdös-Moser Equation $ \sum_{i=1}^{m-1} i^k = m^k $ Using Approximation Methods
The Erdös-Moser equation $ \sum_{i=1}^{m - 1} i^k = m^k $ is a longstanding challenge in number theory, with the only known integer solution being $ (k,m) = (1,3) $. Here, we investigate whether other solutions might exist by using the Euler-MacLaurin formula to approximate the discrete sum $ S(m-1,k) $ with a continuous function $ S_{\mathbb{R}}(m-1,k) $. We then analyze the resulting approximate polynomial $ P_{\mathbb{R}}(m) = S_{\mathbb{R}}(m-1,k) - m^k $ under the rational root theorem to look for integer roots. Our approximation confirms that for $ k=1 $, the only solution is $ m=3 $, and for $ k \geq 2 $ it suggests there are no further positive integer solutions. However, because Diophantine problems demand exactness, any omission of correction terms in the Euler-MacLaurin formula could mask genuine solutions. Thus, while our method offers valuable insights into the behavior of the Erdös-Moser equation and illustrates the analytical challenges involved, it does not constitute a definitive proof. We discuss the implications of these findings and emphasize that fully rigorous approaches, potentially incorporating prime-power constraints, are needed to conclusively resolve the conjecture.
An Amalgamation Nim with Restriction
In an amalgamation Nim, players are allowed to use a move from the traditional form of Nim or to amalgamate two piles when they are not empty. No formula that describes the set of P-positions of Amalgamation Nim is known. The author gives a condition on the amalgamation of two piles. Players can amalgamate two piles only when the number of stones in these two piles is equal to or more than 2. Then, we get a formula that describes the set of P-positions for this variant of amalgamation Nim.
Geometric view of interval poset permutations
In a recent study by Tenner, the concept of the interval poset of a permutation was introduced to effectively represent all intervals and their inclusions within a permutation. In this paper, we present a new geometric viewpoint on interval posets. We establish a one-to-one correspondence between the set of interval posets for permutations of size n and a specific subset of dissections of a convex polygon with n sides. Through this correspondence, we investigate various intriguing subsets of interval posets and uncover their connections with specific polygon dissections.
Strong orientation of a connected graph for a crossing family
Published
• View Publication
• BIB
Given a connected graph $G=(V,E)$ and a crossing family $\mathcal{C}$ over ground set $V$ such that $|δ_G(U)|\geq 2$ for every $U\in \mathcal{C}$, we prove there exists a strong orientation of $G$ for $\mathcal{C}$, i.e., an orientation of $G$ such that each set in $\mathcal{C}$ has at least one outgoing and at least one incoming arc. This implies the main conjecture in Chudnovsky et al. (Disjoint dijoins. Journal of Combinatorial Theory, Series B, 120:18--35, 2016). In particular, in every minimal counterexample to the Edmonds-Giles conjecture where the minimum weight of a dicut is $2$, the arcs of nonzero weight must be disconnected.