Related papers: Cohomology in electromagnetic modeling
Given a connected manifold with corners of any codimension there is a very basic and computable homology theory called conormal homology defined in terms of faces and orientations of their conormal bundles, and whose cycles correspond…
The goal of this article is to motivate and describe how Gromov-Witten theory can and has provided tools to understand the moduli space of curves. For example, ideas and methods from Gromov-Witten theory have led to both conjectures and…
Symmetries and isomorphisms play similar conceptual roles when we consider how models represent physical situations, but they are formally distinct, as two models related by symmetries are not typically isomorphic. I offer a rigorous…
We introduce a formalism for constructing cohomological field theories (CohFT) out of nonlinear PDEs based on the first author's previous work (arXiv:2202.12425). We apply the formalism to the generalized Seiberg-Witten equations and show…
De Rham cohomology with spacelike compact and timelike compact supports has recently been noticed to be of importance for understanding the structure of classical and quantum Maxwell theory on curved spacetimes. Similarly causally…
In this paper we define a family of theories, quasi-theories, motivated by quasi-elliptic cohomology. They can be defined from constant loop spaces. With them, the constructions on certain theories can be made in a neat way, such as those…
The state of art of electromagnetic integral equations has seen significant growth over the past few decades, overcoming some of the fundamental bottlenecks: computational complexity, low frequency and dense discretization breakdown,…
Persistent homology, a technique from computational topology, has recently shown strong empirical performance in the context of graph classification. Being able to capture long range graph properties via higher-order topological features,…
In this paper, we construct cochain complexes generated by the cohomology of critical manifolds in the abstract setup of flow categories for Morse-Bott theories under minimum transversality assumptions. We discuss the relations between…
For families of Hamiltonians defined by parts that are local, the most general definition of a symmetry algebra is the commutant algebra, i.e., the algebra of operators that commute with each local part. Thinking about symmetry algebras as…
The purpose of this article is to relate coarse cohomology of metric spaces with a more computable cohomology. We introduce a notion of boundedly supported cohomology and prove that coarse cohomology of many spaces are isomorphic to the…
Scattering of electromagnetic (EM) waves by many small particles (bodies) embedded in a homogeneous medium is studied. Physical properties of the particles are described by their boundary impedances. The limiting equation is obtained for…
Electromagnetic duality is discussed in the context of Einstein-Maxwell-scalar (EMS) models including axionic-type couplings. This family of models introduces two non-minimal coupling functions $f(\phi)$ and $g(\phi)$, depending on a real…
Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical computable model theory is used to examine the algorithmic structure of…
Cut-elimination is the bedrock of proof theory with a multitude of applications from computational interpretations to proof analysis. It is also the starting point for important meta-theoretical investigations including decidability,…
The quantum cohomology algebra of a projective manifold X is the cohomology H(X,Q) endowed with a different algebra structure, which takes into account the geometry of rational curves in X. We show that this algebra takes a remarkably…
Dynamical black-hole scenarios have been developed in loop quantum gravity in various ways, combining results from mini and midisuperspace models. In the past, the underlying geometry of space-time has often been expressed in terms of line…
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…
The purpose of this article is to give an interpretation of real projective structures and associated cohomology classes in terms of connections, sections, etc. satisfying elliptic partial differential equations in the spirit of Hodge…
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus involving induction and co-induction. These proof principles…