Showing 20 papers (Total: 84253 papers, 48533 authors in database)
(1,1)-Cluster Editing is Polynomial-time Solvable
Published
• View Publication
• BIB
A graph $H$ is a clique graph if $H$ is a vertex-disjoin union of cliques. Abu-Khzam (2017) introduced the $(a,d)$-{Cluster Editing} problem, where for fixed natural numbers $a,d$, given a graph $G$ and vertex-weights $a^*:\ V(G)\rightarrow \{0,1,\dots, a\}$ and $d^*{}:\ V(G)\rightarrow \{0,1,\dots, d\}$, we are to decide whether $G$ can be turned into a cluster graph by deleting at most $d^*(v)$ edges incident to every $v\in V(G)$ and adding at most $a^*(v)$ edges incident to every $v\in V(G)$. Results by Komusiewicz and Uhlmann (2012) and Abu-Khzam (2017) provided a dichotomy of complexity (in P or NP-complete) of $(a,d)$-{Cluster Editing} for all pairs $a,d$ apart from $a=d=1.$ Abu-Khzam (2017) conjectured that $(1,1)$-{Cluster Editing} is in P. We resolve Abu-Khzam's conjecture in affirmative by (i) providing a serious of five polynomial-time reductions to $C_3$-free and $C_4$-free graphs of maximum degree at most 3, and (ii) designing a polynomial-time algorithm for solving $(1,1)$-{Cluster Editing} on $C_3$-free and $C_4$-free graphs of maximum degree at most 3.
Zero-Rate Thresholds and New Capacity Bounds for List-Decoding and List-Recovery
Published
• View Publication
• BIB
In this work we consider the list-decodability and list-recoverability of arbitrary $q$-ary codes, for all integer values of $q\geq 2$. A code is called $(p,L)_q$-list-decodable if every radius $pn$ Hamming ball contains less than $L$ codewords; $(p,\ell,L)_q$-list-recoverability is a generalization where we place radius $pn$ Hamming balls on every point of a combinatorial rectangle with side length $\ell$ and again stipulate that there be less than $L$ codewords.
Our main contribution is to precisely calculate the maximum value of $p$ for which there exist infinite families of positive rate $(p,\ell,L)_q$-list-recoverable codes, the quantity we call the zero-rate threshold. Denoting this value by $p_*$, we in fact show that codes correcting a $p_*+\varepsilon$ fraction of errors must have size $O_{\varepsilon}(1)$, i.e., independent of $n$. Such a result is typically referred to as a ``Plotkin bound.'' To complement this, a standard random code with expurgation construction shows that there exist positive rate codes correcting a $p_*-\varepsilon$ fraction of errors. We also follow a classical proof template (typically attributed to Elias and Bassalygo) to derive from the zero-rate threshold other tradeoffs between rate and decoding radius for list-decoding and list-recovery.
Technically, proving the Plotkin bound boils down to demonstrating the Schur convexity of a certain function defined on the $q$-simplex as well as the convexity of a univariate function derived from it. We remark that an earlier argument claimed similar results for $q$-ary list-decoding; however, we point out that this earlier proof is flawed.
Number of spanning trees containing a given forest
We consider all spanning trees of a complete simple graph $Γ$ on $n$ vertices that contain a given $m-$forest $F$. We show that the number of such spanning trees, $τ(F)$, doesn't depend on the structure of $F$ and is completely determined by the number of vertices $q_i \, (i=1, ..., m)$ in each connected component of $F$. Specifically, $τ(F) = q_1 q_2 \cdots q_m n^{m-2}$.
Colored Tverberg theorem with new constraints on the faces
Published
• View Publication
• BIB
In this paper, we prove a version of the Colored Tverberg Theorem with new constraints on the faces, in which we limit the number of faces with each one of the colors.
Some New Results on Monochromatic Sums and Products in the Rationals
Published in New York Journal of Mathematics, Volume 29 (2023), 301 -- 322
• Search Publication
Our aim in this paper is to show that, for any $k$, there is a finite colouring of the set of rationals whose denominators contain only the first $k$ primes such that no infinite set has all of its finite sums and products monochromatic. We actually prove a `uniform' form of this: there is a finite colouring of the rationals with the property that no infinite set whose denominators contain only finitely many primes has all of its finite sums and products monochromatic. We also give various other results, including a new short proof of the old result that there is a finite colouring of the naturals such that no infinite set has all of its pairwise sums and products monochromatic.
Mutual-visibility in strong products of graphs via total mutual-visibility
Published
• View Publication
• BIB
Let $G$ be a graph and $X\subseteq V(G)$. Then $X$ is a mutual-visibility set if each pair of vertices from $X$ is connected by a geodesic with no internal vertex in $X$. The mutual-visibility number $μ(G)$ of $G$ is the cardinality of a largest mutual-visibility set. In this paper, the mutual-visibility number of strong product graphs is investigated. As a tool for this, total mutual-visibility sets are introduced. Along the way, basic properties of such sets are presented. The (total) mutual-visibility number of strong products is bounded from below in two ways, and determined exactly for strong grids of arbitrary dimension. Strong prisms are studied separately and a couple of tight bounds for their mutual-visibility number are given.
Independence of linear spectral statistics and the point process at the edge of Wigner matrices
Published
• View Publication
• BIB
In the current paper we consider a Wigner matrix and consider an analytic function of polynomial growth on a set containing the support of the semicircular law in its interior. We prove that the linear spectral statistics corresponding to the function and the point process at the edge of the Wigner matrix are asymptotically independent when the entries of the Wigner matrix are sub-Gaussian. The main ingredient of the proof is based on a recent paper by Banerjee [6]. The result of this paper can be viewed as a first step to find the joint distribution of eigenvalues in the bulk and the edge.
Spectral Bayesian Network Theory
Published
• View Publication
• BIB
A Bayesian Network (BN) is a probabilistic model that represents a set of variables using a directed acyclic graph (DAG). Current algorithms for learning BN structures from data focus on estimating the edges of a specific DAG, and often lead to many `likely' network structures. In this paper, we lay the groundwork for an approach that focuses on learning global properties of the DAG rather than exact edges. This is done by defining the structural hypergraph of a BN, which is shown to be related to the inverse-covariance matrix of the network. Spectral bounds are derived for the normalized inverse-covariance matrix, which are shown to be closely related to the maximum indegree of the associated BN.
On the Minimum Cycle Cover problem on graphs with bounded co-degeneracy
Published
• View Publication
• BIB
In 2021, Duarte, Oliveira, and Souza [MFCS 2021] showed some problems that are FPT when parameterized by the treewidth of the complement graph (called co-treewidth). Since the degeneracy of a graph is at most its treewidth, they also introduced the study of co-degeneracy (the degeneracy of the complement graph) as a parameter. In 1976, Bondy and Chvátal [DM 1976] introduced the notion of closure of a graph: let $\ell$ be an integer; the $(n+\ell)$-closure, $\operatorname{cl}_{n+\ell}(G)$, of a graph $G$ with $n$ vertices is obtained from $G$ by recursively adding an edge between pairs of nonadjacent vertices whose degree sum is at least $n+\ell$ until no such pair remains. A graph property $Υ$ defined on all graphs of order $n$ is said to be $(n+\ell)$-stable if for any graph $G$ of order $n$ that does not satisfy $Υ$, the fact that $uv$ is not an edge of $G$ and that $G+uv$ satisfies $Υ$ implies $d(u)+d(v)< n+\ell$. Duarte et al. [MFCS 2021] developed an algorithmic framework for co-degeneracy parameterization based on the notion of closures for solving problems that are $(n+\ell)$-stable for some $\ell$ bounded by a function of the co-degeneracy. In this paper, we first determine the stability of the property of having a bounded cycle cover. After that, combining the framework of Duarte et al. [MFCS 2021] with some results of Jansen, Kozma, and Nederlof [WG 2019], we obtain a $2^{\mathcal{O}(k)}\cdot n^{\mathcal{O}(1)}$-time algorithm for Minimum Cycle Cover on graphs with co-degeneracy at most $k$, which generalizes Duarte et al. [MFCS 2021] and Jansen et al. [WG 2019] results concerning the Hamiltonian Cycle problem.
Perfect matching cuts partitioning a graph into complementary subgraphs
Published
• View Publication
• BIB
In Partition Into Complementary Subgraphs (Comp-Sub) we are given a graph $G=(V,E)$, and an edge set property $Π$, and asked whether $G$ can be decomposed into two graphs, $H$ and its complement $\overline{H}$, for some graph $H$, in such a way that the edge cut $[V(H),V(\overline{H})]$ satisfies the property $Π$. Motivated by previous work, we consider Comp-Sub($Π$) when the property $Π=\mathcal{PM}$ specifies that the edge cut of the decomposition is a perfect matching. We prove that Comp-Sub($\mathcal{PM}$) is GI-hard when the graph $G$ is $\{C_{k\geq 7}, \overline{C}_{k\geq 7} \}$-free. On the other hand, we show that Comp-Sub($\mathcal{PM}$) is polynomial-time solvable on $hole$-free graphs and on $P_5$-free graphs. Furthermore, we present characterizations of Comp-Sub($\mathcal{PM}$) on chordal, distance-hereditary, and extended $P_4$-laden graphs.
Construction of non-regular $A_α$-cospectral graphs from some join of graphs
Cospectral graphs are a fascinating concept in graph theory, where two non-isomorphic graphs possess identical sets of eigenvalues. In this paper, we compute the $A_α$-characteristic polynomial of neighbour and non-neighbour splitting join, neighbour and non-neighbour shadow join, central vertex and edge join and duplicate join of two graphs. In addition, when $\graphene_1$ and $\graphene_2$ are regular, we compute the $A_α$-spectrum of these graphs. As an application, we construct non-regular, non-isomorphic graphs that are $A_α$-cospectral.
Stability of graph pairs involving vertex-transitive graphs
Published
• View Publication
• BIB
A pair of graphs $(Γ,Σ)$ is said to be stable if the full automorphism group of $Γ\timesΣ$ is isomorphic to the product of the full automorphism groups of $Γ$ and $Σ$ and unstable otherwise, where $Γ\timesΣ$ is the direct product of $Γ$ and $Σ$. In this paper, we reduce the study of the stability of any pair of regular graphs $(Γ,Σ)$ with coprime valencies and vertex-transitive $Σ$ to that of $(Γ,K_2)$. Since the latter is well studied in the literature, this enables us to determine the stability of any pair of regular graphs $(Γ,Σ)$ with coprime valencies in the case when $Σ$ is vertex-transitve and the stability of $(Γ,K_2)$ is known.
Generalized metric tree arrangements and Dressians
Metric trees and metric tree arrangements index cones in the polyhedral fan structure in the Dressian $Dr(2,n)$ and $Dr(3,n)$ respectively. We introduce the notion of generalized metric tree arrangements which parameterize points in $Dr(k,n)$ and extend previously known results to $Dr(k,n)$ along with providing explicit examples of these generalized metric tree arrangements. We study the adjacency of cones in the positive Dressian $Dr_{>0}(3, n)$ and introduce generalized Whitehead moves which provide a condition for adjacency of maximal cones in $Dr_{>0}(3,n)$ in terms of the associated metric tree arrangements.
Asymptotics for real monotone double Hurwitz numbers
Published
• View Publication
• BIB
In recent years, monotone double Hurwitz numbers were introduced as a naturally combinatorial modification of double Hurwitz numbers. Monotone double Hurwitz numbers share many structural properties with their classical counterparts, such as piecewise polynomaility, while the quantitative properties of these two numbers are quite different. We consider real analogues of monotone double Hurwitz numbers and study the asymptotics for these real analogues. The key ingredient is an interpretation of real tropical covers with arbitrary splittings as factorizations in the symmetric group which generalizes the result from Guay-Paquet, Markwig, and Rau (Int. Math. Res. Not. IMRN, 2016(1):258-293, 2016). By using the above interpretation, we consider three types of real analogues of monotone double Hurwitz numbers: real monotone double Hurwitz numbers relative to simple splittings, relative to arbitrary splittings and real mixed double Hurwitz numbers. Under certain conditions, we find lower bounds for these real analogues, and obtain logarithmic asymptotics for real monotone double Hurwitz numbers relative to arbitrary splittings and real mixed double Hurwitz numbers. In particular, under given conditions real mixed double Hurwitz numbers are logarithmically equivalent to complex double Hurwitz numbers. We construct a family of real tropical covers and use them to show that real monotone double Hurwitz numbers relative to simple splittings are logarithmically equivalent to monotone double Hurwitz numbers with specific conditions. This is consistent with the logarithmic equivalence of real double Hurwitz numbers and complex double Hurwitz numbers.
Ubiquity of oriented rays
Published
• View Publication
• BIB
Call a digraph $H$ \emph{ubiquitous} if every digraph $D$ that contains $k$ vertex-disjoint copies of $H$ for every $k \in \mathbb{N}$ also contains infinitely many vertex-disjoint copies of $H$. We characterise which digraphs whose underlying undirected graph is a ray are ubiquitous.
q,t-Catalan measures
Published
• View Publication
• BIB
We introduce the $q,t$-Catalan measures, a sequence of piece-wise polynomial measures on $\mathbb{R}^2$. These measures are defined in terms of suitable area, dinv, and bounce statistics on continuous families of paths in the plane, and have many combinatorial similarities to the $q,t$-Catalan numbers. Our main result realizes the $q,t$-Catalan measures as a limit of higher $q,t$-Catalan numbers $C^{(m)}_n(q,t)$ as $m\to\infty$. We also give a geometric interpretation of the $q,t$-Catalan measures. They are the Duistermaat-Heckman measures of the punctual Hilbert schemes parametrizing subschemes of $\mathbb{C}^2$ supported at the origin.
Polynomial Characterizations of Distance-Biregular Graphs
Published
• View Publication
• BIB
Fiol, Garriga, and Yebra introduced the notion of pseudo-distance-regular vertices, which they used to develop a new characterization of distance-regular graphs. Building on that work, Fiol and Garriga developed the spectral excess theorem for distance-regular graphs. We extend both these characterizations to distancebiregular graphs and show how these characterizations can be used to study bipartite graphs with distance-regular halved graphs and graphs with the spectrum of a distance-biregular graph.
Small subsets with large sumset: Beyond the Cauchy--Davenport bound
Published
• View Publication
• BIB
For a subset $A$ of an abelian group $G$, given its size $|A|$, its doubling $κ=|A+A|/|A|$, and a parameter $s$ which is small compared to $|A|$, we study the size of the largest sumset $A+A'$ that can be guaranteed for a subset $A'$ of $A$ of size at most $s$. We show that a subset $A'\subseteq A$ of size at most $s$ can be found so that $|A+A'| = Ω(\min(κ^{1/3},s)|A|)$. Thus a sumset significantly larger than the Cauchy--Davenport bound can be guaranteed by a bounded size subset assuming that the doubling $κ$ is large. Building up on the same ideas, we resolve a conjecture of Bollobás, Leader and Tiba that for subsets $A,B$ of $\mathbb{Z}_p$ of size at most $αp$ for an appropriate constant $α>0$, one only needs three elements $b_1,b_2,b_3\in B$ to guarantee $|A+\{b_1,b_2,b_3\}|\ge |A|+|B|-1$. Allowing the use of larger subsets $A'$, we show that for sets $A$ of bounded doubling, one only needs a subset $A'$ with $o(|A|)$ elements to guarantee that $A+A'=A+A$. We also address another conjecture and a question raised by Bollobás, Leader and Tiba on high-dimensional analogs and sets whose sumset cannot be saturated by a bounded size subset.
Almost all wreath product character values are divisible by given primes
Published in Algebraic Combinatorics, Volume 6 (2023) no. 6, pp. 1519-1531
• View Publication
• BIB
For a finite group $G$ with integer-valued character table and a prime $p$, we show that almost every entry in the character table of $G \wr S_N$ is divisible by $p$ as $N \to \infty$. This result generalizes the work of Peluse and Soundararajan on the character table of $S_N$.
Feynman checkers: number-theoretic properties
Published in Reviews in Mathematical Physics, 2023
• View Publication
• BIB
We study Feynman checkers, an elementary model of electron motion introduced by R. Feynman. In this model, a checker moves on a checkerboard, and we count the turns. Feynman checkers are also known as a one-dimensional quantum walk. We prove some new number-theoretic results in this model, for example, sign alternation of the real and imaginary parts of the electron wave function in a specific area. All our results can be stated in terms of Young diagrams, namely, we compare the number of Young diagrams with an odd and an even number of steps.