English
Related papers

Related papers: The Signed Positive Semidefinite Matrix Completion…

200 papers

Given a graph $G = (V, E)$, a signed Roman dominating function is a function $f: V \rightarrow \{-1, 1, 2\}$ such that for every vertex $u \in V$: $\sum_{v \in N[u]} f(v) \geq 1$ and for every vertex $u \in V$ with $f(u) = -1$, there exists…

Data Structures and Algorithms · Computer Science 2025-12-03 Sangam Balchandar Reddy

We present a streamlined and (hopefully) accessible proof of the model-completeness of the weak monadic second order version of a dense linear order with left-endpoint but no right-endpoint in a particular finite signature. We also show how…

Logic · Mathematics 2022-09-15 Deacon Linkhorn

The positive semidefinite rank of a nonnegative $(m\times n)$-matrix~$S$ is the minimum number~$q$ such that there exist positive semidefinite $(q\times q)$-matrices $A_1,\dots,A_m$, $B_1,\dots,B_n$ such that $S(k,\ell) = \mbox{tr}(A_k^*…

Combinatorics · Mathematics 2013-11-19 Troy Lee , Dirk Oliver Theis

We study homomorphism problems of signed graphs. A signed graph is an undirected graph where each edge is given a sign, positive or negative. An important concept for signed graphs is the operation of switching at a vertex, which is to…

Data Structures and Algorithms · Computer Science 2020-12-08 François Dross , Florent Foucaud , Valia Mitsou , Pascal Ochem , Théo Pierron

This paper investigates an extremely classic NP-complete problem: How to determine if a graph G, where each vertex has a degree of at most 4, can be 3-colorable(The research in this paper focuses on graphs G that satisfy the condition where…

Computational Complexity · Computer Science 2024-05-21 Zikang Deng

We determine the maximum index and the signed graphs with the maximum index among all $\mathcal{K}_{2,t}^-$-free unbalanced signed graphs with fixed order for $t\geq 3$, as well as the second maximum index and the signed graphs with the…

Combinatorics · Mathematics 2024-08-29 Hongying Lin

This paper presents various worst-case results on the positive semidefinite (psd) rank of a nonnegative matrix, primarily in the context of polytopes. We prove that the psd rank of a generic n-dimensional polytope with v vertices is at…

Optimization and Control · Mathematics 2014-06-03 João Gouveia , Richard Z. Robinson , Rekha R. Thomas

We introduce a method for proving Sum-of-Squares (SoS)/ Lasserre hierarchy lower bounds when the initial problem formulation exhibits a high degree of symmetry. Our main technical theorem allows us to reduce the study of the positive…

Data Structures and Algorithms · Computer Science 2016-02-11 Adam Kurpisz , Samuli Leppänen , Monaldo Mastrolilli

Given a k-uniform hypergraph on n vertices, partitioned in k equal parts such that every hyperedge includes one vertex from each part, the k-dimensional matching problem asks whether there is a disjoint collection of the hyperedges which…

Data Structures and Algorithms · Computer Science 2010-02-03 Andreas Björklund

This survey paper deals with upper and lower bounds on the number of $k$-matchings in regular graphs on $N$ vertices. For the upper bounds we recall the upper matching conjecture which is known to hold for perfect matchings. For the lower…

Combinatorics · Mathematics 2012-01-06 Shmuel Friedland

In this thesis we consider ordered graphs (that is, graphs with a fixed linear ordering on their vertices). We summarize and further investigations on the number of edges an ordered graph may have while avoiding a fixed forbidden ordered…

Discrete Mathematics · Computer Science 2009-07-16 Craig Weidert

We show that finding orthogonal grid-embeddings of plane graphs (planar with fixed combinatorial embedding) with the minimum number of bends in the so-called Kandinsky model (which allows vertices of degree $> 4$) is NP-complete, thus…

Computational Geometry · Computer Science 2014-05-12 Thomas Bläsius , Guido Brückner , Ignaz Rutter

The Deligne--Simpson problem is an existence problem for connections with specified local behavior. Almost all previous work on this problem has restricted attention to connections with regular or unramified singularities. Recently, the…

Algebraic Geometry · Mathematics 2023-03-14 Neal Livesay , Daniel S. Sage , Bach Nguyen

We continue and extend previous work on the parameterized complexity analysis of the NP-hard Stable Roommates with Ties and Incomplete Lists problem, thereby strengthening earlier results both on the side of parameterized hardness as well…

Computational Complexity · Computer Science 2021-03-09 Robert Bredereck , Klaus Heeger , Dušan Knop , Rolf Niedermeier

In this paper, we review the problem of matrix completion and expose its intimate relations with algebraic geometry, combinatorics and graph theory. We present the first necessary and sufficient combinatorial conditions for matrices of…

Machine Learning · Computer Science 2012-07-03 Franz Kiraly , Ryota Tomioka

Let $\mathcal{C}_{k}^{-}$ be the set of all negative $C_k$. For odd cycle, Wang, Hou and Li [29] gave a spectral condition for the existence of negative $C_3$ in unbalanced signed graphs. For even cycle, we determine the maximum index among…

Combinatorics · Mathematics 2023-09-11 Yongang Wang , Huiqiu Lin

Bermond, Jackson and Jaeger [{\em J. Combin. Theory Ser. B} 35 (1983): 297-308] proved that every bridgeless ordinary graph $G$ has a circuit $4$-cover and Fan [{\em J. Combin. Theory Ser. B} 54 (1992): 113-122] showed that $G$ has a…

Combinatorics · Mathematics 2023-10-27 You Lu , Rong Luo , Zhengke Miao , Cun-Quan Zhang

In the vertex cover problem, the input is a graph $G$ and an integer $k$, and the goal is to decide whether there is a set of vertices $S$ of size at most $k$ such that every edge of $G$ is incident on at least one vertex in $S$. We study…

Data Structures and Algorithms · Computer Science 2018-12-31 Dekel Tsur

We demonstrate that for every positive integer $\Delta$, every K\_4-minor-free graph with maximum degree $\Delta$ admits an equitable coloring with k colors wherek $\ge$ ($\Delta$+3)/2. This bound is tight and confirms a conjecture by Zhang…

Combinatorics · Mathematics 2017-03-08 Rémi De Joannis de Verclos , Jean-Sébastien Sereni

Low-rank matrix completion consists of computing a matrix of minimal complexity that recovers a given set of observations as accurately as possible. Unfortunately, existing methods for matrix completion are heuristics that, while highly…

Machine Learning · Computer Science 2026-03-12 Dimitris Bertsimas , Ryan Cory-Wright , Sean Lo , Jean Pauphilet