Showing 20 papers (Total: 82505 papers, 47699 authors in database)
The complexity of the bondage problem in planar graphs
A set $S\subseteq V(G)$ of a graph $G$ is a dominating set if each vertex has a neighbor in $S$ or belongs to $S$. Let $γ(G)$ be the cardinality of a minimum dominating set in $G$. The bondage number $b(G)$ of a graph $G$ is the smallest cardinality of a set of edges $A\subseteq E(G)$, such that $γ(G-A)=γ(G)+1$. The $d$-Bondage is the problem of deciding, given a graph $G$ and an integer $d\geq 1$, if $b(G)\leq d$. This problem is known to be $\mathsf{NP}$-hard even for bipartite graphs and $d=1$. In this paper, we show that $1$-Bondage is $\mathsf{NP}$-hard, even for the class of $3$-regular planar graphs, the class of subcubic claw-free graphs, and the class of bipartite planar graphs of maximum degree $3$, with girth $k$, for any fixed $k\geq 3$. On the positive side, for any planar graph $G$ of girth at least $8$, we show that we can find, in polynomial time, a set of three edges $A$ such that $γ(G-A)>γ(G)$. Last, we exposed some classes of graphs for which Dominating Set can be solved in polynomial time, and where $d$-Bondage can also be solved in polynomial time, for any fixed $d\geq 1$.
Computational approximations of compact metric spaces
Published
• View Publication
• BIB
Given a compact metric space $X$, we associate to it an inverse sequence of finite $T_0$ topological spaces. The inverse limit of this inverse sequence contains a homeomorphic copy of $X$ that is a strong deformation retract. We provide a method to approximate the homology groups of $X$ and other algebraic invariants. Finally, we study computational aspects and the implementation of this method.
On the Randić energy of caterpillar graphs
Published
• View Publication
• BIB
A caterpillar graph $T(p_1, \ldots, p_r)$ of order $n= r+\sum_{i=1}^r p_i$, $r\geq 2$, is a tree such that removing all its pendent vertices gives rise to a path of order $r$. In this paper we establish a necessary and sufficient condition for a real number to be an eigenvalue of the Randić matrix of $T(p_1, \ldots, p_r)$. This result is applied to determine the extremal caterpillars for the Randić energy of $T(p_1,\ldots, p_r)$ for cases $r=2$ (the double star) and $r=3$. We characterize the extremal caterpillars for $r=2$. Moreover, we study the family of caterpillars $T\big(p,n-p-q-3,q\big)$ of order $n$, where $q$ is a function of $p$, and we characterize the extremal caterpillars for three cases: $q=p$, $q=n-p-b-3$ and $q=b$, for $b\in \{1,\ldots,n-6\}$ fixed. Some illustrative examples are included.
The Möbius function on Affine Grassmannian elements
To any saturated chain in the affine Weyl group whose translation parts are sufficiently regular, we associate a near path and a far path in the quantum Bruhat graph. Using this, working in the Bruhat order on the minimal-length representatives of the cosets in the affine Weyl group with respect to the finite Weyl group, we characterize the pairs of elements for which the Möbius function is nonzero. This is applied to obtain explicit expansions in the $K$-theory of affine Grassmannians, of the basis of ideal sheaves into the basis of structure sheaves of Schubert varieties.
Perturbing eigenvalues of nonnegative centrosymmetric matrices
An $n\times n$ matrix $C$ is said to be {\it centrosymmetric} if it satisfies the relation $JCJ=C$, where $J$ is the $n\times n$ counteridentity matrix. Centrosymmetric matrices have a rich eigenstructure that has been studied extensively in the literature. Many results for centrosymmetric matrices have been generalized to wider classes of matrices that arise in a wide variety of disciplines. In this paper, we obtain interesting spectral properties for nonnegative centrosymmetric matrices. We show how to change one single eigenvalue, two or three eigenvalues of an $n\times n$ nonnegative centrosymmetric matrix without changing any of the remaining eigenvalues neither nonnegativity nor the centrosymmetric structure. Moreover, our results allow partially answer some known questions given by Guo [11] and by Guo and Guo [12]. Our proofs generate algorithmic procedures that allow to compute a solution matrix.
Approximate PSD-Completion for Generalized Chordal Graphs
Recently, there has been interest in the question of whether a partial matrix in which many of the fully defined principal submatrices are PSD is approximately PSD completable. These questions are related to graph theory because we can think of the entries of a symmetric matrix as corresponding to the edges of a graph.
We first introduce a family of graphs, which we call thickened graphs; these contain both triangle-free and chordal graphs, and can be viewed as the result of replacing the edges of a graph by an arbitrary chordal graph. We believe these graphs might be of independent interest.
We then show that for a class of graphs including thickened graphs, it is possible to get quantitative bounds on how well the property of having these principal submatrices being PSD approximates the PSD-completability property. These bounds frequently only depend on the size of the smallest cycle of size at least 4 in the graph. We introduce some tools that allow us to better control the quality of these approximations and indicate how these approximations can be used to improve the performance of semidefinite programs. The tools we use in this paper are an interesting mix of algebraic topology, structural graph theory, and spectral analysis.
"Normal" phylogenetic networks may be emerging as the leading class
Published
• View Publication
• BIB
The rich and varied ways that genetic material can be passed between species has motivated extensive research into the theory of phylogenetic networks. Features that align with biological processes, or with desirable mathematical properties, have been used to define classes and prove results, with the goal of developing the theoretical foundations for network reconstruction methods. We may have now reached the point where a collection of recent results can be drawn together to make one class of network, the \emph{normal} networks, a leading contender, sitting in the sweet spot between biological relevance and mathematical tractability.
Action of Virasoro operators on Hall-Littlewood polynomials
Published
• View Publication
• BIB
In this paper, we prove formulas for the action of Virasoro operators on Hall-Littlewood polynomials at roots of unity.
High dimensional expansion implies amplified local testability
In this work we show that high dimensional expansion implies locally testable code. Specifically, we define a notion that we call high-dimensional-expanding-system (HDE-system). This is a set system defined by incidence relations with certain high dimensional expansion relations between its sets. We say that a linear code is modelled over HDE-system, if the collection of linear constraints that the code satisfies could by described via the HDE-system. We show that a code that can be modelled over HDE-system is locally testable.
This implies that high dimensional expansion phenomenon solely implies local testability of codes. Prior work had to rely to local notions of local testability to get some global forms of testability (e.g. co-systolic expansion from local one, global agreement from local one), while our work infers global testability directly from high dimensional expansion without relying on some local form of testability.
The local testability result that we obtain from HDE-systems is, in fact, stronger than standard one, and we term it amplified local testability.
We further show that most of the well studied locally testable codes as Reed-Muller codes and more generally affine invariant codes with single-orbit property fall into our framework. Namely, it is possible to show that they are modelled over an HDE-system, and hence the family of all p-ary affine invariant codes is amplified locally testable. This yields the strongest known testing results for affine invariant codes with single orbit, strengthening the work of Kaufman and Sudan.
Likelihood Degenerations
Published
• View Publication
• BIB
Computing all critical points of a monomial on a very affine variety is a fundamental task in algebraic statistics, particle physics and other fields. The number of critical points is known as the maximum likelihood (ML) degree. When the variety is smooth, it coincides with the Euler characteristic. We introduce degeneration techniques that are inspired by the soft limits in CEGM theory, and we answer several questions raised in the physics literature. These pertain to bounded regions in discriminantal arrangements and to moduli spaces of point configurations. We present theory and practise, connecting complex geometry, tropical combinatorics, and numerical nonlinear algebra.
Counting finite linearly ordered involutive bisemilattices
Published in Lecture Notes in Computer Science, vol 11194, 2018
• Search Publication
The class of involutive bisemilattices plays the role of the algebraic counterpart of paraconsistent weak Kleene logic. Involutive bisemilattices can be represented as Plonka sums of Boolean algebras, that is semilattice direct systems of Boolean algebras. In this paper we exploit the Plonka sum representation with the aim of counting, up to isomorphism, finite involutive bisemilattices whose direct system is given by totally ordered semilattices.
A combinatorial proof of a sumset conjecture of Furstenberg
Published in Combinatorica 43 2023, no 2, 299-328
• View Publication
• BIB
We give a new proof of a sumset conjecture of Furstenberg that was first proved by Hochman and Shmerkin in 2012: if $\log r / \log s$ is irrational and $X$ and $Y$ are $\times r$- and $\times s$-invariant subsets of $[0,1]$, respectively, then $\dim_\text{H} (X+Y) = \min ( 1, \dim_\text{H} X + \dim_\text{H} Y)$. Our main result yields information on the size of the sumset $λX + ηY$ uniformly across a compact set of parameters at fixed scales. The proof is combinatorial and avoids the machinery of local entropy averages and CP-processes, relying instead on a quantitative, discrete Marstrand projection theorem and a subtree regularity theorem that may be of independent interest.
A planar network proof for Hankel total positivity of type $B$ Narayana polynomials
Published
• View Publication
• BIB
The Hankel matrix of type B Narayana polynomials was proved to be totally positive by Wang and Zhu, and independently by Sokal. Pan and Zeng raised the problem of giving a planar network proof of this result. In this paper, we present such a proof by constructing a planar network allowing negative weights, applying the Lindström-Gessel-Viennot lemma and establishing an involution on the set of nonintersecting families of directed paths.
Generalized Turán problems for $K_{2,t}$
Published
• View Publication
• BIB
We study the generalized Turán function $ex(n,H,F)$, when $H$ or $F$ is $K_{2,t}$. We determine the order of magnitude of $ex(n,H,K_{2,t})$ when $H$ is a tree, and determine its asymptotics for a large class of trees. We also determine the asymptotics of $ex(n,K_{2,t},H)$ in most cases.
Linear sets on the projective line with complementary weights
Published
• View Publication
• BIB
Linear sets on the projective line have attracted a lot of attention because of their link with blocking sets, KM-arcs and rank-metric codes. In this paper, we study linear sets having two points of complementary weight, that is with two points for which the sum of their weights equals the rank of the linear set. As a special case, we study those linear sets having exactly two points of weight greater than one, by showing new examples and studying their equivalence issue. Also we determine some linearized polynomials defining the linear sets recently introduced by Jena and Van de Voorde (2021).
Testing isomorphism of chordal graphs of bounded leafage is fixed-parameter tractable
Published
• View Publication
• BIB
The computational complexity of the graph isomorphism problem is considered to be a major open problem in theoretical computer science. It is known that testing isomorphism of chordal graphs is polynomial-time equivalent to the general graph isomorphism problem. Every chordal graph can be represented as the intersection graph of some subtrees of a representing tree, and the leafage of a chordal graph is defined to be the minimum number of leaves in a representing tree for it. We prove that chordal graph isomorphism is fixed parameter tractable with leafage as parameter. In the process we introduce the problem of isomorphism testing for higher-order hypergraphs and show that finding the automorphism group of order-$k$ hypergraphs with vertex color classes of size $b$ is fixed parameter tractable for any constant $k$ and $b$ as fixed parameter.
Are the Catalan Numbers a Linear Recurrence Sequence?
Published
• View Publication
• BIB
We answer the question in the title in the negative by providing four proofs.
Towards a Practical, Budget-Oblivious Algorithm for the Adwords Problem under Small Bids
Published
• View Publication
• BIB
Motivated by recent insights into the online bipartite matching problem (\textsc{OBM}), our goal was to extend the optimal algorithm for it, namely \textsc{Ranking}, all the way to the special case of adwords problem, called \textsc{Small}, in which bids are small compared to budgets; the latter has been of considerable practical significance in ad auctions \cite{MSVV}. The attractive feature of our approach was that it would yield a {\em budget-oblivious algorithm}, i.e., the algorithm would not need to know budgets of advertisers and therefore could be used in autobidding platforms.
We were successful in obtaining an optimal, budget-oblivious algorithm for \textsc{Single-Valued}, under which each advertiser can make bids of one value only. However, our next extension, to \textsc{Small}, failed because of a fundamental reason, namely failure of the {\em No-Surpassing Property}. Since the probabilistic ideas underlying our algorithm are quite substantial, we have stated them formally, after assuming the No-Surpassing Property, and we leave the open problem of removing this assumption.
With the help of two undergrads, we conducted extensive experiments on our algorithm on randomly generated instances. Our findings are that the No-Surpassing Property fails less than $2\%$ of the time and that the performance of our algorithms for \textsc{Single-Valued} and \textsc{Small} are comparable to that of \cite{MSVV}. If further experiments confirm this, our algorithm may be useful as such in practice, especially because of its budget-obliviousness.
Applications of the Harary-Sachs Theorem for Hypergraphs
Published
• View Publication
• BIB
The Harary-Sachs theorem for $k$-uniform hypergraphs equates the codegree-$d$ coefficient of the adjacency characteristic polynomial of a uniform hypergraph with a weighted sum of subgraph counts over certain multi-hypergraphs with $d$ edges. We begin by showing that the classical Harary-Sachs theorem for graphs is indeed a special case of this general theorem. To this end we apply the generalized Harary-Sachs theorem to the leading coefficients of the characteristic polynomial of various hypergraphs. In particular, we provide explicit and asymptotic formulas for the contribution of the $k$-uniform simplex to the codegree-$d$ coefficient. Moreover, we provide an explicit formula for the leading terms of the characteristic polynomial of a 3-uniform hypergraph and further show how this can be used to determine the complete spectrum of a hypergraph. We conclude with a conjecture concerning the multiplicity of the zero-eigenvalue of a hypergraph.
The Equidistant Dimension of Graphs
Published in Bull. Malays. Math. Sci. Soc. (2022) 45:1757-1775
• View Publication
• BIB
A subset $S$ of vertices of a connected graph $G$ is a distance-equalizer set if for every two distinct vertices $x, y \in V (G) \setminus S$ there is a vertex $w \in S$ such that the distances from $x$ and $y$ to $w$ are the same. The equidistant dimension of $G$ is the minimum cardinality of a distance-equalizer set of G. This paper is devoted to introduce this parameter and explore its properties and applications to other mathematical problems, not necessarily in the context of graph theory. Concretely, we first establish some bounds concerning the order, the maximum degree, the clique number, and the independence number, and characterize all graphs attaining some extremal values. We then study the equidistant dimension of several families of graphs (complete and complete multipartite graphs, bistars, paths, cycles, and Johnson graphs), proving that, in the case of paths and cycles, this parameter is related with 3-AP-free sets. Subsequently, we show the usefulness of distance-equalizer sets for constructing doubly resolving sets.