-
Fully Dynamic Correlation Clustering: Breaking 3-Approximation
Authors:
Soheil Behnezhad,
Moses Charikar,
Vincent Cohen-Addad,
Alma Ghafari,
Weiyun Ma
Abstract:
We study the classic correlation clustering in the dynamic setting. Given $n$ objects and a complete labeling of the object-pairs as either similar or dissimilar, the goal is to partition the objects into arbitrarily many clusters while minimizing disagreements with the labels. In the dynamic setting, an update consists of a flip of a label of an edge. In a breakthrough result, [BDHSS, FOCS'19] sh…
▽ More
We study the classic correlation clustering in the dynamic setting. Given $n$ objects and a complete labeling of the object-pairs as either similar or dissimilar, the goal is to partition the objects into arbitrarily many clusters while minimizing disagreements with the labels. In the dynamic setting, an update consists of a flip of a label of an edge. In a breakthrough result, [BDHSS, FOCS'19] showed how to maintain a 3-approximation with polylogarithmic update time by providing a dynamic implementation of the Pivot algorithm of [ACN, STOC'05]. Since then, it has been a major open problem to determine whether the 3-approximation barrier can be broken in the fully dynamic setting. In this paper, we resolve this problem. Our algorithm, Modified Pivot, locally improves the output of Pivot by moving some vertices to other existing clusters or new singleton clusters. We present an analysis showing that this modification does indeed improve the approximation to below 3. We also show that its output can be maintained in polylogarithmic time per update.
△ Less
Submitted 11 April, 2024; v1 submitted 10 April, 2024;
originally announced April 2024.
-
Fully Dynamic Matching and Ordered Ruzsa-Szemerédi Graphs
Authors:
Soheil Behnezhad,
Alma Ghafari
Abstract:
We study the fully dynamic maximum matching problem. In this problem, the goal is to efficiently maintain an approximate maximum matching of a graph that is subject to edge insertions and deletions. Our focus is particularly on algorithms that maintain the edges of a $(1-ε)$-approximate maximum matching for an arbitrarily small constant $ε> 0$. Until recently, the fastest known algorithm for this…
▽ More
We study the fully dynamic maximum matching problem. In this problem, the goal is to efficiently maintain an approximate maximum matching of a graph that is subject to edge insertions and deletions. Our focus is particularly on algorithms that maintain the edges of a $(1-ε)$-approximate maximum matching for an arbitrarily small constant $ε> 0$. Until recently, the fastest known algorithm for this problem required $Θ(n)$ time per update where $n$ is the number of vertices. This bound was slightly improved to $n/(\log^* n)^{Ω(1)}$ by Assadi, Behnezhad, Khanna, and Li [STOC'23] and very recently to $n/2^{Ω(\sqrt{\log n})}$ by Liu [ArXiv'24]. Whether this can be improved to $n^{1-Ω(1)}$ remains a major open problem.
In this paper, we present a new algorithm that maintains a $(1-ε)$-approximate maximum matching. The update-time of our algorithm is parametrized based on the density of a certain class of graphs that we call Ordered Ruzsa-Szemerédi (ORS) graphs, a generalization of the well-known Ruzsa-Szemerédi graphs. While determining the density of ORS (or RS) remains a hard problem in combinatorics, we prove that if the existing constructions of ORS graphs are optimal, then our algorithm runs in $n^{1/2+O(ε)}$ time for any fixed $ε> 0$ which would be significantly faster than existing near-linear in $n$ time algorithms.
△ Less
Submitted 25 April, 2024; v1 submitted 9 April, 2024;
originally announced April 2024.
-
Long-term electrical characteristics of a poly-3-hexylthiophene water-gated thin-film transistor
Authors:
Axel Luukkonen,
Amit Tewari,
Kim Björkström,
Amir Mohammad Ghafari,
Ronald Österbacka,
Eleonora Macchia,
Fabrizio Torricelli,
Luisa Torsi
Abstract:
Organic water-gated thin-film transistors (WG-TFTs) are of great interest in develo** low-cost and high-performance biosensors. The device's sensitivity to changes in measurement conditions can impair long-term operation, and care must be taken to ensure that the WG-TFT sensor response is due to an actual biorecognition event occurring on the sensing electrode. This work aims to clarify the long…
▽ More
Organic water-gated thin-film transistors (WG-TFTs) are of great interest in develo** low-cost and high-performance biosensors. The device's sensitivity to changes in measurement conditions can impair long-term operation, and care must be taken to ensure that the WG-TFT sensor response is due to an actual biorecognition event occurring on the sensing electrode. This work aims to clarify the long-term stability of a poly-3-hexylthiophene (P3HT) WG-TFT operated intermittently over two months during 5750 measurement cycles. We have evaluated the device figures of merit (FOM), such as threshold voltage, mobility, and trap density, during the whole measurement period. Short-term changes in the FOM are mainly attributed to work function changes on the gate electrode, whereas long-term changes are consistent with an increase in the semiconductor trap density. The shift in threshold voltage and decrease in mobility are found to be linear as a function of measurement cycles and caused by electrical stress, with time immersed in water having a negligible effect on the device. The trap density-of-states estimated using the subthreshold slope is similar to earlier reported values for P3HT OFETs and exhibits a gradual increase during device use and a partial recovery after rest, indicating the formation of shorter- and longer-lived traps.
△ Less
Submitted 24 August, 2022;
originally announced August 2022.
-
Some Mixed Graphs Determined by Their Spectrum
Authors:
S. Akbari,
A. Ghafari,
M. Nahvi,
M. A. Nematollahi
Abstract:
A mixed graph is obtained from a graph by orienting some of its edges. The Hermitian adjacency matrix of a mixed graph with the vertex set $ \{v_{1}, \ldots , v_{n}\} $, is the matrix $ H=[h_{ij}]_{n \times n} $, where $ h_{ij}=-h_{ji}=i $ if there is a directed edge from $ v_{i} $ to $ v_{j} $, $ h_{ij}=1 $ if there exists an undirected edge between $v_i$ and $v_{j}$, and $h_{ij}=0$ otherwise. Th…
▽ More
A mixed graph is obtained from a graph by orienting some of its edges. The Hermitian adjacency matrix of a mixed graph with the vertex set $ \{v_{1}, \ldots , v_{n}\} $, is the matrix $ H=[h_{ij}]_{n \times n} $, where $ h_{ij}=-h_{ji}=i $ if there is a directed edge from $ v_{i} $ to $ v_{j} $, $ h_{ij}=1 $ if there exists an undirected edge between $v_i$ and $v_{j}$, and $h_{ij}=0$ otherwise. The Hermitian spectrum of a mixed graph is defined to be the spectrum of its Hermitian adjacency matrix. In this paper we study mixed graphs which are determined by their Hermitian spectrum (DHS). First, we show that each mixed cycle is switching equivalent to either a mixed cycle with no directed edges ($C_{n}$), a mixed cycle with exactly one directed edge ($C_{n}^{1}$), or a mixed cycle with exactly two consecutive directed edges with the same direction ($C_{n}^{2}$) and we determine the spectrum of these three types of cycles. Next, we characterize all DHS mixed paths and mixed cycles. We show that all mixed paths of even order, except $P_{8}$ and $P_{14}$, are DHS. It is also shown that mixed paths of odd order, except $P_{3}$, are not DHS. Also, all cospectral mates of $P_{8}$, $P_{14}$ and $P_{4k+1}$ and two families of cospectral mates of $P_{4k+3}$, where $k\geq1$, are introduced. Finally, we show that the mixed cycles $C_{2k}$ and $C_{2k}^{2}$, where $k\geq3$, are not DHS, but the mixed cycles $C_{4}$, $C_{4}^{2}$, $C_{2k+1}$, $C_{2k+1}^{2}$, $C_{2k+1}^{1}$ and $C_{2j}^{1}$ except $C_{7}^{1}$, $C_{9}^{1}$, $C_{12}^{1}$ and $C_{15}^{1}$, are DHS, where $k\geq1$ and $j\geq2$.
△ Less
Submitted 10 June, 2018;
originally announced June 2018.
-
Some Criteria for a Signed Graph to Have Full Rank
Authors:
S. Akbari,
A. Ghafari,
K. Kazemian,
M. Nahvi
Abstract:
A weighted graph $G^ω$ consists of a simple graph $G$ with a weight $ω$, which is a map**,$ω$: $E(G)\rightarrow\mathbb{Z}\backslash\{0\}$. A signed graph is a graph whose edges are labeled with $-1$ or $1$. In this paper, we characterize graphs which have a sign such that their signed adjacency matrix has full rank, and graphs which have a weight such that their weighted adjacency matrix does no…
▽ More
A weighted graph $G^ω$ consists of a simple graph $G$ with a weight $ω$, which is a map**,$ω$: $E(G)\rightarrow\mathbb{Z}\backslash\{0\}$. A signed graph is a graph whose edges are labeled with $-1$ or $1$. In this paper, we characterize graphs which have a sign such that their signed adjacency matrix has full rank, and graphs which have a weight such that their weighted adjacency matrix does not have full rank. We show that for any arbitrary simple graph $G$, there is a sign $σ$ so that $G^σ$ has full rank if and only if $G$ has a $\{1,2\}$-factor. We also show that for a graph $G$, there is a weight $ω$ so that $G^ω$ does not have full rank if and only if $G$ has at least two $\{1,2\}$-factors.
△ Less
Submitted 23 August, 2017;
originally announced August 2017.
-
Graphs with Integer Matching Polynomial Roots
Authors:
S. Akbari,
P. Csikvari,
A. Ghafari,
S. Khalashi Ghezelahmad,
M. Nahvi
Abstract:
In this paper, we study graphs whose matching polynomial have only integer zeros. A graph is matching integral if the zeros of its matching polynomial are all integers. We characterize all matching integral traceable graphs.. We show that apart from K7 n (E(C3) [ E(C4)) there is no connected k-regular matching integral graph if k ? 2. It is also shown that if G is a graph with a perfect matching,…
▽ More
In this paper, we study graphs whose matching polynomial have only integer zeros. A graph is matching integral if the zeros of its matching polynomial are all integers. We characterize all matching integral traceable graphs.. We show that apart from K7 n (E(C3) [ E(C4)) there is no connected k-regular matching integral graph if k ? 2. It is also shown that if G is a graph with a perfect matching, then its matching polynomial has a zero in the interval (0, 1]. Finally, we describe all claw-free matching integral graphs.
△ Less
Submitted 5 February, 2017; v1 submitted 2 August, 2016;
originally announced August 2016.