Related papers: Weighted linearization of vector fields via a form…
We consider the theory of a light conformally coupled scalar field, i.e., one that is coupled directly to the Ricci scalar of the gravitational sector. This theory can be written equivalently as one of a light scalar that is coupled to the…
In this paper we consider the field equations for linearized gravity and other integer spin fields on the Kerr spacetime, and more generally on spacetimes of Petrov type D. We give a derivation, using the GHP formalism, of decoupled field…
New splitting theorems in a semi-Riemannian manifold which admits an irrotational vector field (not necessarily a gradient) with some suitable properties are obtained. According to the extras hypothesis assumed on the vector field, we can…
We investigate matrix-weighted bounds for the sublinear non-kernel operators considered by F. Bernicot, D. Frey, and S. Petermichl. We extend their result to sublinear operators acting upon vector-valued functions. First, we dominate these…
We study the properties of several proximity measures for the vertices of weighted multigraphs and multidigraphs. Unlike the classical distance for the vertices of connected graphs, these proximity measures are applicable to weighted…
Applying machine learning to mathematical terms and formulas requires a suitable representation of formulas that is adequate for AI methods. In this paper, we develop an encoding that allows for logical properties to be preserved and is…
The graph matching problem is a significant special case of the Quadratic Assignment Problem, with extensive applications in pattern recognition, computer vision, protein alignments and related fields. As the problem is NP-hard, relaxation…
Inspired by the work of Fischer-Marsden [Duke Math. J. 42 (1975), 519-547], we study in this paper the deformation of the weighted scalar curvature. By studying the kernel of the formal $L_\phi^2$-adjoint for the linearization of the…
A vector composition of a vector $\mathbf{\ell}$ is a matrix $\mathbf{A}$ whose rows sum to $\mathbf{\ell}$. We define a weighted vector composition as a vector composition in which the column values of $\mathbf{A}$ may appear in different…
We classify the unitary, renormalizable, Lorentz violating quantum field theories of interacting scalars and fermions, obtained improving the behavior of Feynman diagrams by means of higher space derivatives. Higher time derivatives are not…
Weighted model counting (WMC) has proven effective at a range of tasks within computer science, physics, and beyond. However, existing approaches for using WMC in quantum physics only target specific problem instances, lacking a general…
The deformation quantization formalism is applied to the linearized gravitational field. Standard aspects of this formalism are worked out before the ground state Wigner functional is obtained. Finally, the propagator for the graviton is…
Let $T$ be a multilinear integral operator which is bounded on certain products of Lebesgue spaces on $\mathbb R^n$. We assume that its associated kernel satisfies some mild regularity condition which is weaker than the usual H\"older…
Gravitational theories with multiple scalar fields coupled to the metric and each other --- a natural extension of the well studied single-scalar-tensor theories --- are interesting phenomenological frameworks to describe deviations from…
In \cite{PSMA}, Pal et al. introduced some weighted means and gave some related inequalities by using an approach for operator monotone functions. This paper discusses the construction of these weighted means in a simple and nice setting…
In this paper we generalize the construction of generally covariant quantum theories given in the work of Brunetti, Fredenhagen and Verch to encompass the conformal covariant case. After introducing the abstract framework, we discuss the…
We consider general linear gauge theory, with independent solder form and connection. These spaces have both torsion and nonmetricity. We show that the Cartan structure equations together with the defining equation for nonmetricity allow…
Rational twisted power series over a (commutative) field are studied. We give several characterizations of such series, which are similar to the classical results concerning rational power series over a commutative field. In particular, we…
Formal verification techniques based on computer algebra have proven highly effective for circuit verification. The circuit, given as an and-inverter graph, is encoded as a set of polynomials that automatically generates a Gr\"obner basis…
A quantitative test for the validity of the semi-classical approximation in gravity is given. The criterion proposed is that solutions to the semi-classical Einstein equations should be stable to linearized perturbations, in the sense that…