English
Related papers

Related papers: Solving Unique Games over Globally Hypercontractiv…

200 papers

Many combinatorial optimization problems can be phrased in the language of constraint satisfaction problems. We introduce a graph neural network architecture for solving such optimization problems. The architecture is generic; it works for…

Artificial Intelligence · Computer Science 2020-02-12 Jan Toenshoff , Martin Ritzert , Hinrikus Wolf , Martin Grohe

External knowledge graphs (KGs) can be used to augment large language models (LLMs), while simultaneously providing an explainable knowledge base of facts that can be inspected by a human. This approach may be particularly valuable in…

Human-Computer Interaction · Computer Science 2024-05-01 Steph Buongiorno , Corey Clark

The class of quasi-chain graphs is an extension of the well-studied class of chain graphs. This latter class enjoys many nice and important properties, such as bounded clique-width, implicit representation, well-quasi-ordering by induced…

Combinatorics · Mathematics 2021-04-12 Bogdan Alecu , Aistis Atminas , Vadim Lozin , Dmitriy Malyshev

In Clique Cover, given a graph $G$ and an integer $k$, the task is to partition the vertices of $G$ into $k$ cliques. Clique Cover on unit ball graphs has a natural interpretation as a clustering problem, where the objective function is the…

Data Structures and Algorithms · Computer Science 2024-10-07 Tomohiro Koana , Nidhi Purohit , Kirill Simonov

We study the extent to which it is possible to approximate the optimal value of a Unique Games instance in Fixed-Point Logic with Counting (FPC). Formally, we prove lower bounds against the accuracy of FPC-interpretations that map Unique…

Logic in Computer Science · Computer Science 2024-08-07 Jamie Tucker-Foltz

Many problems in real life can be converted to combinatorial optimization problems (COPs) on graphs, that is to find a best node state configuration or a network structure such that the designed objective function is optimized under some…

Machine Learning · Computer Science 2019-09-17 Jing Liu , Fei Gao , Jiang Zhang

Graph Transformers (GTs) have made remarkable achievements in graph-level tasks. However, most existing works regard graph structures as a form of guidance or bias for enhancing node representations, which focuses on node-central…

Machine Learning · Computer Science 2024-12-10 Xiaorui Qi , Qijie Bai , Yanlong Wen , Haiwei Zhang , Xiaojie Yuan

Given a connected graph $G$ and its vertex $x$, let $U_x(G)$ denote the universal cover of $G$ obtained by unfolding $G$ into a tree starting from $x$. Let $T=T(n)$ be the minimum number such that, for graphs $G$ and $H$ with at most $n$…

Logic in Computer Science · Computer Science 2015-01-30 Andreas Krebs , Oleg Verbitsky

Causal discovery aims to recover a causal graph from data generated by it; constraint based methods do so by searching for a d-separating conditioning set of nodes in the graph via an oracle. In this paper, we provide analytic evidence that…

Machine Learning · Computer Science 2023-10-04 Itai Feigenbaum , Huan Wang , Shelby Heinecke , Juan Carlos Niebles , Weiran Yao , Caiming Xiong , Devansh Arpit

We study unit ball graphs (and, more generally, so-called noisy uniform ball graphs) in $d$-dimensional hyperbolic space, which we denote by $\mathbb{H}^d$. Using a new separator theorem, we show that unit ball graphs in $\mathbb{H}^d$…

Computational Geometry · Computer Science 2019-10-01 Sándor Kisfaludi-Bak

Graph neural networks have pushed state-of-the-arts in graph classifications recently. Typically, these methods are studied within the context of supervised end-to-end training, which necessities copious task-specific labels. However, in…

Machine Learning · Computer Science 2023-06-01 Xiao Luo , Yusheng Zhao , Yifang Qin , Wei Ju , Ming Zhang

In this paper, we prove an almost-optimal hardness for Max $k$-CSP$_R$ based on Khot's Unique Games Conjecture (UGC). In Max $k$-CSP$_R$, we are given a set of predicates each of which depends on exactly $k$ variables. Each variable can…

Computational Complexity · Computer Science 2015-11-23 Pasin Manurangsi , Preetum Nakkiran , Luca Trevisan

Graph neural networks (GNNs) have emerged as a powerful tool for solving combinatorial optimization problems (COPs), exhibiting state-of-the-art performance in both graph-structured and non-graph-structured domains. However, existing…

Artificial Intelligence · Computer Science 2024-06-21 Yaochu Jin , Xueming Yan , Shiqing Liu , Xiangyu Wang

We show how the discovery of robust scalable numerical solvers for arbitrary bounded linear operators can be automated as a Game Theory problem by reformulating the process of computing with partial information and limited resources as that…

Numerical Analysis · Mathematics 2017-05-31 Houman Owhadi , Clint Scovel

While stabilizer tableaus have proven useful as a descriptive tool for additive quantum codes, they otherwise offer little guidance for concrete constructions or algorithm analysis. We introduce a representation of stabilizer codes as…

Quantum Physics · Physics 2025-11-10 Andrey Boris Khesin , Jonathan Z. Lu , Peter W. Shor

Functional graphs (FGs) model the graph structures used to analyse the behaviour of functions from a discrete set to itself. In turn, such functions are used to study real complex phenomena evolving in time. As the systems involved can be…

Dynamical Systems · Mathematics 2024-04-05 François Doré , Enrico Formenti , Antonio E. Porreca , Sara Riva

Let $\mathcal{G}$ be a compact group and let $f_{ij} \in L^2(\mathcal{G})$. We define the Non-Unique Games (NUG) problem as finding $g_1,\dots,g_n \in \mathcal{G}$ to minimize $\sum_{i,j=1}^n f_{ij} \left( g_i g_j^{-1}\right)$. We devise a…

Computer Vision and Pattern Recognition · Computer Science 2015-05-15 Afonso S. Bandeira , Yutong Chen , Amit Singer

Previous work has suggested that the structural restrictions of graphs from classes of bounded expansion--locally dense pockets in a globally sparse graph--naturally coincide with common properties of real-world networks such as clustering…

Data Structures and Algorithms · Computer Science 2018-04-24 Michael P. O'Brien , Blair D. Sullivan

Expander graphs play a central role in graph theory and algorithms. With a number of powerful algorithmic tools developed around them, such as the Cut-Matching game, expander pruning, expander decomposition, and algorithms for decremental…

Data Structures and Algorithms · Computer Science 2022-12-12 Julia Chuzhoy

Designing effective graph neural networks (GNNs) with message passing has two fundamental challenges, i.e., determining optimal message-passing pathways and designing local aggregators. Previous methods of designing optimal pathways are…

Machine Learning · Computer Science 2024-11-01 Junshu Sun , Shuhui Wang , Chenxue Yang , Qingming Huang