English
Related papers

Related papers: Conic Formulations of Graph Homomorphisms

200 papers

Focke, Goldberg, and \v{Z}ivn\'y (arXiv 2017) prove a complexity dichotomy for the problem of counting surjective homomorphisms from a large input graph G without loops to a fixed graph H that may have loops. In this note, we give a short…

Computational Complexity · Computer Science 2017-10-05 Holger Dell

The periodic discrete Toda equation defined over finite fields has been studied. We obtained the finite graph structures constructed by the network of states where edges denote possible time evolutions. We simplify the graphs by introducing…

Exactly Solvable and Integrable Systems · Physics 2019-06-19 Masataka Kanki , Yuki Takahashi , Tetsuji Tokihiro

It is shown that a graph parameter can be realized as the number of homomorphisms into a fixed (weighted) graph if and only if it satisfies two linear algebraic conditions: reflection positivity and exponential rank-connectivity. In terms…

Combinatorics · Mathematics 2007-05-23 M. Freedman , L. Lovasz , A. Schrijver

In two seminal papers M. Kontsevich introduced graph homology as a tool to compute the homology of three infinite dimensional Lie algebras, associated to the three operads `commutative,' `associative' and `Lie.' We generalize his theorem to…

Quantum Algebra · Mathematics 2014-10-01 James Conant , Karen Vogtmann

The homology of Kontsevich's commutative graph complex parameterizes finite type invariants of odd dimensional manifolds. This {\it graph homology} is also the twisted homology of Outer Space modulo its boundary, so gives a nice point of…

Quantum Algebra · Mathematics 2010-08-25 James Conant , Ferenc Gerlits , Karen Vogtmann

A sequence of $k$-uniform hypergraphs $H_1, H_2, \dots$ is convergent if the sequence of homomorphism densities $t(F, H_1), t(F, H_2), \dots$ converges for every $k$-uniform hypergraph $F$. For graphs, Lov\'asz and Szegedy showed that every…

Combinatorics · Mathematics 2015-10-26 Yufei Zhao

The Local Computation Algorithm (LCA) model is a popular model in the field of sublinear-time algorithms that measures the complexity of an algorithm by the number of probes the algorithm makes in the neighborhood of one node to determine…

Data Structures and Algorithms · Computer Science 2021-12-06 Sebastian Brandt , Christoph Grunau , Václav Rozhoň

Two celebrated conjectures in chromatic symmetric function theory concern the positivity chromatics symmetric functions of claw-free graphs. Here we extend the claw-free idea to general graphs and consider the e-positivity question for…

Combinatorics · Mathematics 2017-09-12 Angèle M. Hamel , Chính T. Hoàng , Jake E. Tuero

An edge-weighted graph $G$, possibly with loops, is said to be antiferromagnetic if it has nonnegative weights and at most one positive eigenvalue, counting multiplicities. The number of graph homomorphisms from a graph $H$ to an…

Combinatorics · Mathematics 2025-06-18 Joonkyung Lee , Jaeseong Oh , Jaehyeon Seo

Let G2 be the exceptional Lie group of automorphisms of the complex Cayley algebra and C be a smooth, connected, projective curve of genus at least 2. Using the map obtained from extension of structure groups, we prove explicit links…

Algebraic Geometry · Mathematics 2011-03-25 Chloé Grégoire

A simple topological graph T = (V(T), E(T)) is a drawing of a graph in the plane where every two edges have at most one common point (an endpoint or a crossing) and no three edges pass through a single crossing. Topological graphs G and H…

Combinatorics · Mathematics 2022-12-13 Jan Kynčl

To any two graphs G and H one can associate a cell complex Hom(G,H) by taking all graph multihomorphisms from G to H as cells. In this paper we prove the Lovasz Conjecture which states that if Hom(C_{2r+1},G) is k-connected, then…

Combinatorics · Mathematics 2007-05-23 Eric Babson , Dmitry N. Kozlov

Constraint satisfaction problems are computational problems that naturally appear in many areas of theoretical computer science. One of the central themes is their computational complexity, and in particular the border between…

Computational Complexity · Computer Science 2026-04-28 Manuel Bodirsky

This article investigates the isomorphism problem for graphs derived from the four standard graph products: Cartesian, Kronecker (direct), strong, and lexicographic product. We provide a complete characterization of all simple connected…

Combinatorics · Mathematics 2025-08-07 Priti Prasanna Mondal , M. Rajesh Kannan , Fouzul Atik

Let G be a connected semisimple Lie group with at least one absolutely simple factor S such that R-rank(S) is at least 2, and let $\Gamma$ be a uniform lattice in G. (a) If $CH$ holds, then $\Gamma$ has a unique asymptotic cone up to…

Geometric Topology · Mathematics 2007-05-23 Linus Kramer , Saharon Shelah , Katrin Tent , Simon Thomas

In two seminal papers Kontsevich used a construction called_graph homology_ as a bridge between certain infinite dimensional Lie algebras and various topological objects, including moduli spaces of curves, the group of outer automorphisms…

Quantum Algebra · Mathematics 2010-08-25 Jim Conant , Karen Vogtmann

In this paper, we study the graph classification problem from the graph homomorphism perspective. We consider the homomorphisms from $F$ to $G$, where $G$ is a graph of interest (e.g. molecules or social networks) and $F$ belongs to some…

Machine Learning · Computer Science 2020-07-03 Hoang NT , Takanori Maehara

Counting homomorphisms from a graph $H$ into another graph $G$ is a fundamental problem of (parameterized) counting complexity theory. In this work, we study the case where \emph{both} graphs $H$ and $G$ stem from given classes of graphs:…

Computational Complexity · Computer Science 2021-08-04 Marc Roth , Philip Wellnitz

We propose a homology theory for locally compact spaces with ends in which the ends play a special role. The approach is motivated by results for graphs with ends, where it has been highly successful. But it was unclear how the original…

Algebraic Topology · Mathematics 2011-05-26 Reinhard Diestel , Philipp Sprüssel

We characterise when the Leavitt path algebras over $\mathbb{Z}$ of two arbitrary countable directed graphs are $*$-isomorphic by showing that two Leavitt path algebras over $\mathbb{Z}$ are $*$-isomorphic if and only if the corresponding…

Rings and Algebras · Mathematics 2018-04-12 Toke Meier Carlsen