Related papers: NP-completeness of Partial Chirotope Extendibility
We analyse the axioms of Euclidean geometry according to standard object-oriented software development methodology. We find a perfect match: the main undefined concepts of the axioms translate to object classes. The result is a suite of C++…
We show three Hahn-Banach type extension criteria for (sets of) bounded C*-linear maps of Hilbert C*-modules to the underlying C*-algebras of coefficients. One criterion establishes an alternative description of the property of (AW*-)…
In this summary of Habilitation Thesis, it is outlined author's 18 years research activity on mathematical physics, geometric methods in particle physics and gravity, modifications and applications (after defending his PhD thesis in 1994).…
This paper analyzes general spatially-coupled (SC) systems with multi-dimensional coupling. A continuum approximation is used to derive potential functions that characterize the performance of the SC systems. For any dimension of coupling,…
This paper can be considered as an extension to our paper [On symplectically harmonic forms on six-dimensional nilmanifolds, Comment. Math. Helv. 76 (2001), n 1, 89-109]. Also, it contains a brief survey of recent results on symplectically…
Using conformal field theory (CFT) arguments we derive an infinite number of constraints on the large spin expansion of the anomalous dimensions and structure constants of higher spin operators. These arguments rely only on analiticity,…
For a real valued function defined on a compact set $K \subset \mathbb{R}^m$, the classical Whitney Extension Theorem from 1934 gives necessary and sufficient conditions for the existence of a $C^k$ extension to $\mathbb{R}^m$. In this…
This paper considers completions of COMs (complexes oriented matroids) to ample partial cubes of the same VC-dimension. We show that these exist for OMs (oriented matroids) and CUOMs (complexes of uniform oriented matroids). This implies…
Motivated by the analysis and geometry of metric-measure structures in infinite dimensions, we study the category of extended metric-topological spaces, along with many of its distinguished subcategories (such as the one of compact spaces).…
A theory $T$ is said to be relatively decidable if for every model of $T$, one can compute the elementary diagram of that model from its atomic diagram together with $T$. We verify a conjecture of Chubb, Miller, and Solomon by showing that…
We introduce a new family of separability criteria that are based on the existence of extensions of a bipartite quantum state $\rho$ to a larger number of parties satisfying certain symmetry properties. It can be easily shown that all…
In the large-Nc limit of QCD, the chiral expansion of the vacuum polarization at low energies determines the whole function at any arbitrarily large (but finite) energy. This result is an immediate consequence of the Theory of Pade…
By considering a generalisation of the CPM construction, we develop an infinite hierarchy of probabilistic theories, exhibiting compositional decoherence structures which generalise the traditional quantum-to-classical transition.…
The problem of extending the insights and techniques of categorical quantum mechanics to infinite-dimensional systems was considered in (Coecke and Heunen, 2016). In that work the $\mathrm{CP}^{\infty}$-construction, which recovers the…
Some of the fundamental notions related to sets of lengths of Krull monoids with finite class group are discussed, and a survey of recent results is given. These include the elasticity and related notions, the set of distances, and the…
A compactness theorem is proved for a family of K\"{a}hler surfaces with constant scalar curvature and volume bounded from below, diameter bounded from above, Ricci curvature bounded and the signature bounded from below. Furthermore, a…
The constraint satisfaction problem, parameterized by a relational structure, provides a general framework for expressing computational decision problems. Already the restriction to the class of all finite structures forms an interesting…
Let A be a commutative noetherian ring, and \a an ideal in it. In this paper we continue the study, begun in [PSY1], of the derived \a-adic completion and the derived \a-torsion functors. Here are our results: (1) a structural…
We introduce a condition on arrays in some way maximally distinct from Latin square condition, as well as some other conditions on algebras, graphs and $0,1$-matrices. We show that these are essentially the same structures, generalising a…
I characterize the combinatorially complete pargoids (partial applicative systems) by expandability with two constants that satisfy the well-known identities. An example shows that this class contains more than just the reducts of partial…