Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Partial vertex covers and the complexity of some problems concerning static and dynamic monopolies
Published in Utilitas Mathematica, Vol. 106 (2018)
• Search Publication
Let $G$ be a graph and $τ$ be an assignment of nonnegative integer thresholds to the vertices of $G$. Denote the average of thresholds in $τ$ by $\barτ$. A subset of vertices $D$ is said to be a $τ$-dynamic monopoly, if $V(G)$ can be partitioned into subsets $D_0, D_1, \ldots, D_k$ such that $D_0=D$ and for any $i\in \{0, \ldots, k-1\}$, each vertex $v$ in $D_{i+1}$ has at least $τ(v)$ neighbors in $D_0\cup \ldots \cup D_i$. Denote the size of smallest $τ$-dynamic monopoly by $dyn_τ(G)$. Also a subset of vertices $M$ is said to be a $τ$-static monopoly (or simply $τ$-monopoly) if any vertex $v\in V(G)\setminus M$ has at least $τ(v)$ neighbors in $M$. Denote the size of smallest $τ$-monopoly by $mon_τ(G)$. For a given positive number $t$, denote by $Sdyn_t(G)$ (resp. $Smon_t(G)$), the minimum $dyn_τ(G)$ (resp. $mon_τ(G)$) among all threshold assignments $τ$ with $\overlineτ\geq t$. In this paper we consider the concept of partial vertex cover as follows. Let $G=(V, E)$ be a graph and $t$ be any positive integer. A subset $S\subseteq V$ is said to be a $t$-partial vertex cover of $G$, if $S$ covers at least $t$ edges of $G$. Denote the smallest size of a $t$-partial vertex cover of $G$ by $Pβ_t(G)$. Let $ρ$, $0<ρ<1$ be any fixed number and $G$ be a given bipartite graph with $m$ edges. We first prove that to determine the smallest cardinality of a set $S\subseteq V(G)$ such that $S$ covers at least $ρm$ edges of $G$, is an NP-hard problem. Then we prove that for any constant $t$, $Sdyn_{t}(G)=Pβ_{nt-m}(G)$ and $Smon_t(G)=Pβ_{nt/2}(G)$, where $n$ and $m$ are the order and size of $G$, respectively.
Structural Rounding: Approximation Algorithms for Graphs Near an Algorithmically Tractable Class
We develop a new framework for generalizing approximation algorithms from the structural graph algorithm literature so that they apply to graphs somewhat close to that class (a scenario we expect is common when working with real-world networks) while still guaranteeing approximation ratios. The idea is to $\textit{edit}$ a given graph via vertex- or edge-deletions to put the graph into an algorithmically tractable class, apply known approximation algorithms for that class, and then $\textit{lift}$ the solution to apply to the original graph. We give a general characterization of when an optimization problem is amenable to this approach, and show that it includes many well-studied graph problems, such as Independent Set, Vertex Cover, Feedback Vertex Set, Minimum Maximal Matching, Chromatic Number, ($\ell$-)Dominating Set, Edge ($\ell$-)Dominating Set, and Connected Dominating Set.
To enable this framework, we develop new editing algorithms that find the approximately-fewest edits required to bring a given graph into one of several important graph classes (in some cases, also approximating the target parameter of the family). For bounded degeneracy, we obtain a bicriteria $(4,4)$-approximation which also extends to a smoother bicriteria trade-off. For bounded treewidth, we obtain a bicriteria $(O(\log^{1.5} n), O(\sqrt{\log w}))$-approximation, and for bounded pathwidth, we obtain a bicriteria $(O(\log^{1.5} n), O(\sqrt{\log w} \cdot \log n))$-approximation. For treedepth $2$ (also related to bounded expansion), we obtain a $4$-approximation. We also prove complementary hardness-of-approximation results assuming $\mathrm{P} \neq \mathrm{NP}$: in particular, these problems are all log-factor inapproximable, except the last which is not approximable below some constant factor ($2$ assuming UGC).
Weak dynamic monopolies in social graphs
Published in Utilitas Mathematica 2017
• Search Publication
Dynamic monopolies were already defined and studied for the formulation of the phenomena of the spread of influence in social networks such as disease, opinion, adaptation of new product and etc. The elements of the network which have been influenced (e.g. infected or adapted an opinion) are called active vertices. It is assumed in these models that when an element is activated, it remains active until the end of the process. But in some phenomena of the spread of influence this property does not hold. For example in some diseases the infection lasts only a limited period of time or consider the spread of disease or propagation of computer virus together with some quarantination or decontamination methods. Dynamic monopolies are not useful for the study of these latter phenomena. For this purpose, we introduce a new model for such diffusions of influence and call it weak dynamic monopoly. A social network is represented by a graph $G$. Assume that any vertex $v$ of $G$ has a threshold $τ(v)\in \Bbb{N}$. Then a subset $D\subseteq V(G)$ is said to be a weak dynamic monopoly if $V(G)$ can be partitioned into $D_0=D, D_1, \ldots, D_k$ such that for any $i$, any vertex $v$ of $D_i$ has at least $τ(v)$ neighbors in $D_{i-1}$. In this definition, by the size and the processing time of $D$ we mean $|D|$ and $k$, respectively. We first investigate the relationships between weak dynamic monopolies and other related concepts and then obtain some bounds for the smallest size of weak dynamic monopolies. Next we obtain some results concerning the processing time of weak dynamic monopolies in terms of some graph parameters. Finally, a hardness result concerning inapproximibility of the determining the smallest size of weak dynamic monopolies in general graphs is obtained.
On Turán exponents of bipartite graphs
Published in Combinator. Probab. Comp. 31 (2022) 333-344
• View Publication
• BIB
A long-standing conjecture of Erdős and Simonovits asserts that for every rational number $r\in (1,2)$ there exists a bipartite graph $H$ such that $\ex(n,H)=Θ(n^r)$. So far this conjecture is known to be true only for rationals of form $1+1/k$ and $2-1/k$, for integers $k\geq 2$. In this paper we add a new form of rationals for which the conjecture is true; $2-2/(2k+1)$, for $k\geq 2$. This in its turn also gives an affirmative answer to a question of Pinchasi and Sharir on cube-like graphs.
Recently, a version of Erdős and Simonovits's conjecture where one replaces a single graph by a family, was confirmed by Bukh and Conlon. They proposed a construction of bipartite graphs which should satisfy Erdős and Simonovits's conjecture. Our result can also be viewed as a first step towards verifying Bukh and Conlon's conjecture.
We also prove the an upper bound on the Turán's number of $θ$-graphs in an asymmetric setting and employ this result to obtain yet another new rational exponent for Turán exponents; $r=7/5$.
A Sharp Threshold for Bootstrap Percolation in a Random Hypergraph
Published
• View Publication
• BIB
Given a hypergraph $\mathcal{H}$, the $\mathcal{H}$-bootstrap process starts with an initial set of infected vertices of $\mathcal{H}$ and, at each step, a healthy vertex $v$ becomes infected if there exists a hyperedge of $\mathcal{H}$ in which $v$ is the unique healthy vertex. We say that the set of initially infected vertices percolates if every vertex of $\mathcal{H}$ is eventually infected. We show that this process exhibits a sharp threshold when $\mathcal{H}$ is a hypergraph obtained by randomly sampling hyperedges from an approximately $d$-regular $r$-uniform hypergraph satisfying some mild degree and codegree conditions; this confirms a conjecture of Morris. As a corollary, we obtain a sharp threshold for a variant of the graph bootstrap process for strictly $2$-balanced graphs which generalises a result of Korándi, Peled and Sudakov. Our approach involves an application of the differential equations method.
Morphisms of Neural Codes
Published
• View Publication
• BIB
We define a notion of morphism between combinatorial codes, making the class of all combinatorial codes into a category $\mathbf{Code}$. We show that morphisms can be used to remove redundant information from a code, and that morphisms preserve convexity. This fact leads us to define "minimally non-convex" codes. We propose a program to characterize these minimal obstructions to convexity and hence characterize all convex codes.
We implement a library of Sage code to perform computation with morphisms. These computational methods yield the smallest to-date example of a non-convex code with no local obstructions. We conclude by giving an algebraic formulation of our results.
New Lower Bounds for the First Variable Zagreb Index
The aim of this paper is to obtain new sharp inequalities for a large family of topological indices, including the first variable Zagreb index $M_1^α$, and to characterize the set of extremal graphs with respect to them. Our main results provide lower bounds on this family of topological indices involving just the minimum and the maximum degree of the graph. These inequalities are new even for the first Zagreb, the inverse and the forgotten indices.
Tropical friezes and the index in higher homological algebra
Cluster categories and cluster algebras encode two dimensional structures. For instance, the Auslander--Reiten quiver of a cluster category can be drawn on a surface, and there is a class of cluster algebras determined by surfaces with marked points.
Cluster characters are maps from cluster categories (and more general triangulated categories) to cluster algebras. They have a tropical shadow in the form of so-called tropical friezes, which are maps from cluster categories (and more general triangulated categories) to the integers.
This paper will define higher dimensional tropical friezes. One of the motivations is the higher dimensional cluster categories of Oppermann and Thomas, which encode $( d+1 )$-dimensional structures for an integer $d \geqslant 1$. They are $( d+2 )$-angulated categories, which belong to the subject of higher homological algebra.
We will define higher dimensional tropical friezes as maps from higher cluster categories (and more general $( d+2 )$-angulated categories) to the integers. Following Palu, we will define a notion of $( d+2 )$-angulated index, establish some of its properties, and use it to construct higher dimensional tropical friezes.
Blockers for simple Hamiltonian paths in convex geometric graphs of odd order
Let G be a complete convex geometric graph, and let F be a family of subgraphs of G. A blocker for F is a set of edges, of smallest possible size, that has an edge in common with every element of F. In [C. Keller and M. A. Perles, Blockers for simple Hamiltonian paths in convex geometric graphs of even order, Disc. Comput. Geom., 60(1) (2018), pp. 1-8] we gave an explicit description of all blockers for the family of simple (i.e., non-crossing) Hamiltonian paths (SHPs) in G in the `even' case |V(G)|=2m. It turned out that all the blockers are simple caterpillar trees of a certain class. In this paper we give an explicit description of all blockers for the family of SHPs in the `odd' case |V(G)|=2m-1. In this case, the structure of the blockers is more complex, and in particular, they are not necessarily simple. Correspondingly, the proof is more complicated.
Orlik-Solomon-type presentations for the cohomology algebra of toric arrangements
Published in Trans. Amer. Math. Soc. 373 (2020), no. 3, 1909-1940
• View Publication
• BIB
We give an explicit presentation for the integral cohomology ring of the complement of any arrangement of level sets of characters in a complex torus (alias "toric arrangement"). Our description parallels the one given by Orlik and Solomon for arrangements of hyperplanes, and builds on De Concini and Procesi's work on the rational cohomology of unimodular toric arrangements. As a byproduct we extend Dupont's rational formality result to formality over $\mathbb Z$.
The data needed in order to state the presentation is fully encoded in the poset of connected components of intersections of the arrangement.
Antiflag Transitive Collineation Groups
We present known results concerning antiflag transitive collineation groups of finite projective spaces and finite polar spaces.
Topology of random d-clique complexes
For a simplicial complex $X$, the $d$-clique complex $Δ_d(X)$ is the simplicial complex having all subsets of vertices whose $(d + 1)$-subsets are contained by $X$ as its faces. We prove that if $p = n^α$, with $α< \max\{\frac{-1}{k-d +1},-\frac{d+1}{\binom{k}{d}}\}$ or $α> \frac{-1}{\binom{2k+2}{d}}$, then the $k$-th reduced homology group of the random $d$-clique complex $Δ_d(G_d(n,p))$ is asymptotically almost surely vanishing, and if $\frac{-1}{t} < α< \frac{-1}{t+1}$ where $t = (\frac{(d+1)(k+1)}{\binom{(d+1)(k+1)}{d+1}-(k+1)})^{-1}$, then the $(kd + d -1)$-st reduced homology group of $Δ_d(G_d(n,p))$ is asymptotically almost surely nonvanishing. This provides a partial answer to a question posed by Eric Babson.
K3 Polytopes and their Quartic Surfaces
Published
• View Publication
• BIB
K3 polytopes appear in complements of tropical quartic surfaces. They are dual to regular unimodular central triangulations of reflexive polytopes in the fourth dilation of the standard tetrahedron. Exploring these combinatorial objects, we classify K3 polytopes with up to $30$ vertices. Their number is $36\,297\,333$. We study the singular loci of quartic surfaces that tropicalize to K3 polytopes. These surfaces are stable in the sense of Geometric Invariant Theory.
Proofs of two conjectures on Catalan triangle numbers
Published
• View Publication
• BIB
We prove two conjectures on sums of products of Catalan triangle numbers, which were originally conjectured by Miana, Ohtsuka, and Romero [Discrete Math. 340 (2017), 2388--2397]. The first one is proved by using Zeilberger's algorithm, and the second one is proved by establishing its $q$-analogue.
On the minimal value of global Tjurina numbers for line arrangements
Published
• View Publication
• BIB
We show that a general lower bound for the global Tjurina number of a reduced complex projective plane curve, given by A. A. du Plessis and C.T.C. Wall, can be improved when the curve is a line arrangement.
Set partitions without blocks of certain sizes
Published
• View Publication
• BIB
We give an asymptotic estimate for the number of partitions of a set of $n$ elements, whose block sizes avoid a given set $\mathcal{S}$ of natural numbers. As an application, we derive an estimate for the number of partitions of a set with $n$ elements, which have the property that its blocks can be combined to form subsets of any size between $1$ and $n$.
A new family of bijections for planar maps
Published in J. Combin. Theory Ser. A 168 (2019), 374-395
• View Publication
• BIB
We present bijections for the planar cases of two counting formulas on maps that arise from the KP hierarchy (Goulden-Jackson and Carrell-Chapuy formulas), relying on a "cut-and-slide" operation. This is the first time a bijective proof is given for quadratic map-counting formulas derived from the KP hierarchy. Up to now, only the linear one-faced case was known (Harer-Zagier recurrence and Chapuy-Féray-Fusy bijection). As far as we know, this bijection is new and not equivalent to any of the well-known bijections between planar maps and tree-like objects.
Maximum and minimum nullity of a tree degree sequence
The nullity of a graph is the multiplicity of the eigenvalue zero in its adjacency spectrum. In this paper, we give a closed formula for the minimum and maximum nullity among trees with the same degree sequence, using the notion of matching number and annihilation number. Algorithms for constructing such minimum-nullity and maximum-nullity trees are described.
Product formulas for certain skew tableaux
Published
• View Publication
• BIB
The hook length formula gives a product formula for the number of standard Young tableaux of a partition shape. The number of standard Young tableaux of a skew shape does not always have a product formula. However, for some special skew shapes, there is a product formula. Recently, Morales, Pak and Panova joint with Krattenthaler conjectured a product formula for the number of standard Young tableaux of shape $λ/μ$ for $λ=((2a+c)^{c+a},(a+c)^a)$ and $μ=(a+1,a^{a-1},1)$. They also conjectured a product formula for the number of standard Young tableaux of a certain skew shifted shape. In this paper we prove their conjectures using Selberg-type integrals. We also give a generalization of MacMahon's box theorem and a product formula for the trace generating function for a certain skew shape, which is a generalization of a recent result of Morales, Pak and Panova.
Simplicity of the automorphism groups of some binary homogeneous structures determined by triangle constraints
We study some amalgamation classes introduced by Cherlin and prove the simplicity of the automorphism groups of the Fra{\"ı}ss{é} limits of these classes. We employ the machinery of stationary independence relations used by Tent and Ziegler.