Related papers: Generating Compatibility Conditions in Mathematica…
Our recent arXiv preprints and published papers on the solution of the Riemann-Lanczos and Weyl-Lanczos problems have brought our attention on the importance of revisiting the algebraic structure of the Bianchi identities in Riemannian…
A few physicists have recently constructed the generating compatibility conditions (CC) of the Killing operator for the Minkowski (M) , Schwarzschild (S) and Kerr (K) metrics. They discovered second order CC, well known for M, but also…
In this paper, we study the problem of generating inputs to a higher-order program causing it to error. We first study the problem in the setting of PCF, a typed, core functional language and contribute the first relatively complete method…
One of the basic sanity properties of a behavioural semantics is that it constitutes a congruence with respect to standard process operators. This issue has been traditionally addressed by the development of rule formats for transition…
The conformal-to-Einstein operator is a conformally invariant linear overdetermined differential operator whose non-vanishing solutions correspond to Einstein metrics within a conformal class. We construct compatibility complexes for this…
Our concern is the completeness problem for spi-logics, that is, sets of implications between strictly positive formulas built from propositional variables, conjunction and modal diamond operators. Originated in logic, algebra and computer…
We consider the conformal properties of geometries described by higher-rank line elements. A crucial role is played by the conformal Killing equation (CKE). We introduce the concept of null-flat spaces in which the line element can be…
The "similarity" degree of a unital operator algebra $A$ was defined and studied in two recent papers of ours, where in particular we showed that it coincides with the "length" of an operator algebra. This paper brings several complements:…
In quantum theory, real degrees of freedom are usually described by operators which are self-adjoint. There are, however, exceptions to the rule. This is because, in infinite dimensional Hilbert spaces, an operator is not necessarily…
Agentic AI systems can now generate code with remarkable fluency, but a fundamental question remains: \emph{does the generated code actually do what the user intended?} The gap between informal natural language requirements and precise…
In spin-adapted open-shell coupled cluster (CC) theory, the choice of spin-free spatial substitution operators is generally not unique. Due to an increasing linear dependence of the cluster operator (with increasing substitution level), the…
Language models (LMs) have exhibited impressive abilities in generating codes from natural language requirements. In this work, we highlight the diversity of code generated by LMs as a critical criterion for evaluating their code generation…
We develop a new functional-analytic technique for investigating the degree of noncompactness of an operator defined on a quasinormed space and taking values in a Marcinkiewicz space. The main result is a general principle from which it can…
The quantum metrological performance of spin coherent states superposition is considered, and conditions for measurements with the Heisenberg-limit (HL) precision are identified. It is demonstrated that the choice of the…
Motivated by the Model-Based Design process for Cyber-Physical Systems, we consider issues in conformance testing of systems. Conformance is a quantitative notion of similarity between the output trajectories of systems, which considers…
Conjunctive database queries have been extended with a mechanism for object creation to capture important applications such as data exchange, data integration, and ontology-based data access. Object creation generates new object identifiers…
We provide a sufficient condition for an operator $T$ on a non-metrizable and sequentially separable topological vector space $X$ to be sequentially hypercyclic. This condition is applied to some particular examples, namely, a composition…
We will focus on studying the ball measure of non-compactness $\alpha(T)$ for various particular instances of embedding operators in sequence spaces. Our first main goal is to find necessary and sufficient conditions for an identity…
Eigenvalue problems for semidefinite operators with infinite dimensional kernels appear for instance in electromagnetics. Variational discretizations with edge elements have long been analyzed in terms of a discrete compactness property. As…
The necessity of complex numbers in quantum mechanics has long been debated. This paper develops a real Kahler space formulation of quantum mechanics [19], asserting equivalence to the standard complex Hilbert space framework. By mapping…