Approximating the Orthogonality Dimension of Graphs and Hypergraphs

From MaRDI portal



Abstract: A t-dimensional orthogonal representation of a hypergraph is an assignment of nonzero vectors in mathbbRt to its vertices, such that every hyperedge contains two vertices whose vectors are orthogonal. The orthogonality dimension of a hypergraph H, denoted by overlinexi(H), is the smallest integer t for which there exists a t-dimensional orthogonal representation of H. In this paper we study computational aspects of the orthogonality dimension of graphs and hypergraphs. We prove that for every kgeq4, it is mathsfNP-hard (resp. quasi-mathsfNP-hard) to distinguish n-vertex k-uniform hypergraphs H with overlinexi(H)leq2 from those satisfying overlinexi(H)geqOmega(logdeltan) for some constant delta>0 (resp. overlinexi(H)geqOmega(log1−o(1)n)). For graphs, we relate the mathsfNP-hardness of approximating the orthogonality dimension to a variant of a long-standing conjecture of Stahl. We also consider the algorithmic problem in which given a graph G with overlinexi(G)leq3 the goal is to find an orthogonal representation of G of as low dimension as possible, and provide a polynomial time approximation algorithm based on semidefinite programming.














This page was built for publication: Approximating the Orthogonality Dimension of Graphs and Hypergraphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6320378)