Bogoliubov theory of the Hawking effect in Bose-Einstein condensates

U. Leonhardt,T. Kiss,P. Ohberg

DOI: https://doi.org/10.48550/arXiv.cond-mat/0211464

2002-11-21

Abstract:Artificial black holes may demonstrate some of the elusive quantum properties of the event horizon, in particular Hawking radiation. One promising candidate is a sonic hole in a Bose-Einstein condensate. We clarify why Hawking radiation emerges from the condensate and how this condensed-matter analog reflects some of the intriguing aspects of quantum black holes.

Soft Condensed Matter

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to restate and generalize Kontsevich's theorem on the relationship between the homology of infinite - dimensional Lie algebras and graph homology in the language of reversible operads. Specifically, the author Swapneel Mahajan attempts to understand Kontsevich's original theorem in a broader framework, that is, to construct Lie algebras and graph complexes in the world of reversible operads and prove that they have the same homology.

### Main Goals of the Paper
1. **Generalize Kontsevich's Theorem**: Kontsevich's original theorem relates the homology of certain infinite - dimensional Lie algebras to graph homology. The author hopes to generalize this result to more general cases by introducing the concept of reversible operads.
2. **Construct Lie Algebras and Graph Complexes**: For a reversible operad \(P\), the author defines a Lie algebra \(QA^{\infty}\) and a graph complex \((QG, \partial_E)\) and proves that their homologies are the same.
3. **Use Reversible Operads**: The author explains how to use the properties of reversible operads to construct these mathematical objects and shows the homology relationships between these objects.

### Key Concepts in the Paper
- **Reversible Operads**: This is a special type of operad that allows the exchange of output and any input. This structure plays a crucial role in constructing Lie algebras and graph complexes.
- **Mating Functor**: This is a functor from reversible operads to species, which is used to construct Lie algebras and graph complexes.
- **Lie Algebra \(QA^{\infty}\)**: This is a Lie algebra constructed through the reversible operad \(P\), and its homology has the structure of a Hopf algebra.
- **Graph Complex \((QG, \partial_E)\)**: This is a graph complex constructed through the reversible operad \(P\), which is used to calculate graph homology.

### Structure of the Paper
- **Part 1**: Introduce the background and goals of the paper, as well as Kontsevich's original theorem.
- **Part 2**: Introduce species and operads and define reversible operads.
- **Part 3**: Introduce the mating functor and explain how to construct Lie algebras and graph complexes through the mating functor.
- **Part 4**: Discuss in detail the construction of the Lie algebra \(QA^{\infty}\) and the properties of its homology.
- **Part 5**: Explain Kontsevich's symplectic geometry mini - theory and show how the Lie algebra \(QA^{\infty}\) naturally emerges from the symplectic form.
- **Part 6**: Define the graph complex \((QG, \partial_E)\) and discuss its properties.
- **Part 7**: Contain some interesting examples based on groups.
- **Part 8**: Continue to discuss graph homology and develop some tools for proving the main theorem.
- **Part 9**: Contain the precise formulation of the main theorem and its proof.

### Main Contributions
- **Generalize Kontsevich's Theorem**: By introducing reversible operads, the author generalizes Kontsevich's theorem to a broader context.
- **Construct New Mathematical Objects**: The author defines new Lie algebras and graph complexes and proves their homology relationships.
- **Provide a New Perspective**: Through the framework of reversible operads, the author provides a new perspective for understanding and applying Kontsevich's theorem.

In summary, this paper aims to generalize and deepen Kontsevich's research on the relationship between the homology of infinite - dimensional Lie algebras and graph homology through the framework of reversible operads.