Developer(s) | Kasper Peeters |
---|---|
Stable release | 2.5.8 / 25 October 2024 [1] |
Repository | |
Written in | C++, Python |
Operating system | Linux, macOS, Microsoft Windows |
Type | Computer algebra system |
License | GPL |
Website | cadabra |
Cadabra is a computer algebra system designed specifically for the solution of problems encountered in classical field theory, quantum field theory and string theory.
The first version of Cadabra was developed around 2001 for computing higher-derivative string theory correction to supergravity. [2] [3]
Released under the GNU General Public License, Cadabra is free software.
Cadabra has extensive functionality for tensor polynomial simplification including multi-term symmetries, fermions and anti-commuting variables, Clifford algebras and Fierz transformations, implicit coordinate dependence, multiple index types and many more. The input format is a subset of TeX. Both a command-line and a graphical interface are available.
A Java program inspired by Cadabra called Redberry was developed between 2013 and 2016. It achieved faster speeds for most index contractions with an approach based on the graph isomorphism problem rather than canonicalisation. [4]
Loop quantum gravity (LQG) is a theory of quantum gravity that incorporates matter of the Standard Model into the framework established for the intrinsic quantum gravity case. It is an attempt to develop a quantum theory of gravity based directly on Albert Einstein's geometric formulation rather than the treatment of gravity as a mysterious mechanism (force). As a theory, LQG postulates that the structure of space and time is composed of finite loops woven into an extremely fine fabric or network. These networks of loops are called spin networks. The evolution of a spin network, or spin foam, has a scale on the order of a Planck length, approximately 10−35 meters, and smaller scales are meaningless. Consequently, not just matter, but space itself, prefers an atomic structure.
In theoretical physics, twistor theory was proposed by Roger Penrose in 1967 as a possible path to quantum gravity and has evolved into a widely studied branch of theoretical and mathematical physics. Penrose's idea was that twistor space should be the basic arena for physics from which space-time itself should emerge. It has led to powerful mathematical tools that have applications to differential and integral geometry, nonlinear differential equations and representation theory, and in physics to general relativity, quantum field theory, and the theory of scattering amplitudes.
In physics, black hole thermodynamics is the area of study that seeks to reconcile the laws of thermodynamics with the existence of black hole event horizons. As the study of the statistical mechanics of black-body radiation led to the development of the theory of quantum mechanics, the effort to understand the statistical mechanics of black holes has had a deep impact upon the understanding of quantum gravity, leading to the formulation of the holographic principle.
Laurent Freidel is a French theoretical physicist and mathematical physicist known mainly for his contributions to quantum gravity, including loop quantum gravity, spin foam models, doubly special relativity, group field theory, relative locality and most recently metastring theory. He is currently a faculty member at Perimeter Institute for Theoretical Physics in Waterloo, Ontario, Canada.
In particle physics, the hypothetical dilaton particle is a particle of a scalar field that appears in theories with extra dimensions when the volume of the compactified dimensions varies. It appears as a radion in Kaluza–Klein theory's compactifications of extra dimensions. In Brans–Dicke theory of gravity, Newton's constant is not presumed to be constant but instead 1/G is replaced by a scalar field and the associated particle is the dilaton.
In theoretical physics, type II string theory is a unified term that includes both type IIA strings and type IIB strings theories. Type II string theory accounts for two of the five consistent superstring theories in ten dimensions. Both theories have extended supersymmetry which is maximal amount of supersymmetry — namely 32 supercharges — in ten dimensions. Both theories are based on oriented closed strings. On the worldsheet, they differ only in the choice of GSO projection. They were first discovered by Michael Green and John Henry Schwarz in 1982, with the terminology of type I and type II coined to classify the three string theories known at the time.
In theoretical physics, quantum field theory in curved spacetime (QFTCS) is an extension of quantum field theory from Minkowski spacetime to a general curved spacetime. This theory uses a semi-classical approach; it treats spacetime as a fixed, classical background, while giving a quantum-mechanical description of the matter and energy propagating through that spacetime. A general prediction of this theory is that particles can be created by time-dependent gravitational fields (multigraviton pair production), or by time-independent gravitational fields that contain horizons. The most famous example of the latter is the phenomenon of Hawking radiation emitted by black holes.
In string theory, K-theory classification refers to a conjectured application of K-theory to superstrings, to classify the allowed Ramond–Ramond field strengths as well as the charges of stable D-branes.
In theoretical particle physics, the non-commutative Standard Model, is a model based on noncommutative geometry that unifies a modified form of general relativity with the Standard Model.
In quantum gravity, a virtual black hole is a hypothetical micro black hole that exists temporarily as a result of a quantum fluctuation of spacetime. It is an example of quantum foam and is the gravitational analog of the virtual electron–positron pairs found in quantum electrodynamics. Theoretical arguments suggest that virtual black holes should have mass on the order of the Planck mass, lifetime around the Planck time, and occur with a number density of approximately one per Planck volume.
In physical cosmology, fractal cosmology is a set of minority cosmological theories which state that the distribution of matter in the Universe, or the structure of the universe itself, is a fractal across a wide range of scales. More generally, it relates to the usage or appearance of fractals in the study of the universe and matter. A central issue in this field is the fractal dimension of the universe or of matter distribution within it, when measured at very large or very small scales.
The BTZ black hole, named after Máximo Bañados, Claudio Teitelboim, and Jorge Zanelli, is a black hole solution for (2+1)-dimensional topological gravity with a negative cosmological constant.
In mathematical physics, de Sitter invariant special relativity is the speculative idea that the fundamental symmetry group of spacetime is the indefinite orthogonal group SO(4,1), that of de Sitter space. In the standard theory of general relativity, de Sitter space is a highly symmetrical special vacuum solution, which requires a cosmological constant or the stress–energy of a constant scalar field to sustain.
Group field theory (GFT) is a quantum field theory in which the base manifold is taken to be a Lie group. It is closely related to background independent quantum gravity approaches such as loop quantum gravity, the spin foam formalism and causal dynamical triangulation. Its perturbative expansion can be interpreted as spin foams and simplicial pseudo-manifolds (depending on the representation of the fields). Thus, its partition function defines a non-perturbative sum over all simplicial topologies and geometries, giving a path integral formulation of quantum spacetime.
Ruth Ann Watson Gregory is a British mathematician and physicist, currently Head of Department of Physics and Professor of Theoretical Physics at King's College London. Her fields of specialisation are general relativity and cosmology.
A. W. Peet is a professor of physics at the University of Toronto. Peet's research interests include string theory as a quantum theory of gravity, quantum field theory and applications of string theory to black holes, gauge theories, cosmology, and the correspondence between anti-de Sitter space and conformal field theories.
Hermann Nicolai is a German theoretical physicist and director emeritus at the Max Planck Institute for Gravitational Physics in Potsdam-Golm.
The spectral dimension is a real-valued quantity that characterizes a spacetime geometry and topology. It characterizes a spread into space over time, e.g. an ink drop diffusing in a water glass or the evolution of a pandemic in a population. Its definition is as follow: if a phenomenon spreads as , with the time, then the spectral dimension is . The spectral dimension depends on the topology of the space, e.g., the distribution of neighbors in a population, and the diffusion rate.
Barak Kol is an Israeli theoretical physicist who studies fundamental laws, high-energy physics, and general relativity. He holds the Michael Polak chair in theoretical physics at the Racah Institute of Physics at the Hebrew University of Jerusalem.
Pietro G. Frè is an Italian theoretical physicist and an emeritus full professor of the University of Turin.