Maxine E. Calle,Julian J. Gould
Abstract:We provide a framework for abstract reconstruction problems using the $K$-theory of categories with covering families, which we then apply to reformulate the edge reconstruction conjecture in graph theory. Along the way, we state some fundamental theorems for the $K$-theory of categories with covering families.
What problem does this paper attempt to address?
This paper attempts to solve the Edge Reconstruction Conjecture in graph theory. Specifically, the main problem of this paper can be summarized as follows:
**Can a graph be uniquely reconstructed (up to isomorphism) from its edge deck?**
### Detailed Explanation
1. **Background of the Edge Reconstruction Conjecture**:
- The Edge Reconstruction Conjecture is a well - known conjecture in graph theory, first proposed by Harary in 1964 [Har64]. This conjecture states that for any finite graph \(G\) with at least four edges, the graph can be uniquely determined by the set of all subgraphs obtained by deleting one edge (called the edge deck \(ED(G)\)).
- The edge deck \(ED(G)\) is the multiset of all subgraphs obtained by deleting each edge from the graph \(G\), where each subgraph is considered up to isomorphism.
2. **Main Contributions of the Paper**:
- The author provides a new framework by introducing combinatorial K - theory to reformulate the Edge Reconstruction Conjecture.
- Specifically, the author defines a category \(\Gamma_{n,n - 1}\) with a covering family and explores the Edge Reconstruction Conjecture by studying the K - theory of this category.
3. **Main Results**:
- Theorem A shows that for a graph \(G\) with \(n\) edges, the Edge Reconstruction Conjecture holds if and only if a certain map \(\iota_n:G_n\rightarrow K_0(\Gamma_{n,n - 1})\) is injective, where \(G_n\) represents the set of isomorphism classes of graphs with \(n\) edges.
- Theorem B states that if \(f:G_n\rightarrow A\) is a reconstruction invariant, then \(f\) can be uniquely factored in the form of \(G_n\rightarrow K_0(\Gamma_{n,n - 1})\rightarrow A\).
4. **Further Research Directions**:
- Although the author does not directly prove or disprove the Edge Reconstruction Conjecture, they find a counterexample to a stronger version of the Edge Reconstruction Conjecture through the study of K - theory (see Section 3.2). This shows that K - theory provides new perspectives and tools for studying such problems.
### Formula Representation
In the paper, some of the key formulas involved are as follows:
- Definition of the edge deck \(ED(G)\):
\[
ED(G)=\left\{G - e\mid e\in E(G)\right\}
\]
where \(G - e\) represents the subgraph obtained by deleting the edge \(e\) from the graph \(G\).
- Definition of the \(K_0\) group (Theorem 2.4):
\[
K_0(C)=\mathbb{Z}[ObC]/\left\langle[A]=\sum_{i\in I}[A_i]\mid\{A_i\rightarrow A\}_{i\in I}\text{ is a covering family}\right\rangle
\]
These formulas and concepts together form the core content of the paper, aiming to re - understand and explore the Edge Reconstruction Conjecture through the framework of K - theory.