相关论文: Generating Compatibility Conditions in Mathematica…
In this paper we extensively investigate the class of conditionally positive definite operators, namely operators generating conditionally positive definite sequences. This class itself contains subnormal operators, $2$- and $3$-isometries…
Necessary and sufficient conditions are already known in the Hardy spaces of both the disc and the half plane for a composition operator to be an isometry, by Nordgren in the disc and by Chalendar and Partington in the half plane. All the…
Let $A$ be a unital operator algebra. Let us assume that every {\it bounded\/} unital homomorphism $u\colon \ A\to B(H)$ is similar to a {\it contractive\/} one. Let $\text{\rm Sim}(u) = \inf\{\|S\|\, \|S^{-1}\|\}$ where the infimum runs…
We consider the problem of defining an action of Hecke operators on the coherent cohomology of certain integral models of Shimura varieties. We formulate a general conjecture describing which Hecke operators should act integrally and solve…
This paper obtains a completeness result for inequational reasoning with applicative terms without variables in a setting where the intended semantic models are the full structures, the full type hierarchies over preorders for the base…
Machine learning systems regularly deal with structured data in real-world applications. Unfortunately, such data has been difficult to faithfully represent in a way that most machine learning techniques would expect, i.e. as a real-valued…
n this paper, we review and connect the three essential conditions needed by the collapse model to achieve a complete and exact formulation, namely the theoretical, the experimental, and the ontological ones. These features correspond to…
We introduce the coordination principle, which states that perfect coordination, in the form of agreement on a uniformly random output, among N parties is possible only if they share a common cause. This principle is purely causal and can…
Compilers use control flow graph (CFG) representations of low-level programs because they are suited to program analysis and optimizations. However, formalizing the behavior and metatheory of CFG programs is non-trivial: CFG programs don't…
After more than a century of concerted effort, physics still lacks basic principles of spontaneous self-organization. To appreciate why, we first state the problem, outline historical approaches, and survey the present state of the physics…
Using the large-charge expansion, we prove a necessary condition for a CFT to exhibit conformal symmetry breaking, under the assumption that a continuous global symmetry is ${\it also}$ broken on the moduli space: there must be a tower of…
On the ground of a general theorem concerning the admissibility of the structural rules in sequent calculi with additional atomic rules, we develop a proof theoretic analysis for several extensions of the ${\bf G3[mic]}$ sequent calculi…
We found in 2016 a few results on the mathematical structure of the conformal Killing differential sequence in arbitrary dimension $n$, in particular the rank and order changes of the successive differential operators for $n=3,n=4$ or…
We study the dynamics of (R\'enyi) mutual information, logarithmic negativity, and (R\'enyi) reflected entropy after exciting the ground state by a local operator. Together with recent results from Ref. [1], we are able to conjecture a…
A junction is a particular network given by the collection of $N\ge 1$ half lines $[0,+\infty)$ glued together at the origin. On such a junction, we consider evolutive Hamilton-Jacobi equations with $N$ coercive Hamiltonians. Furthermore,we…
In this note we expose some surprising connections between string theory and statistical inference. We consider a large collective of agents sweeping out a family of nearby statistical models for an M-dimensional manifold of statistical…
We study integral operators on the space of square-integrable functions from a compact set, $X$, to a separable Hilbert space, $H$. The kernel of such an operator takes values in the ideal of Hilbert-Schmidt operators on $H$. We establish…
The aim of this work is to develop a systematic manner to close overdetermined systems arising from conformal Killing tensors (CKT). The research performs this action for 1-tensor and 2-tensors. This research makes it possible to develop a…
We discuss when an operator, subject to a rather general inequality in hereditary form, admits a unitarily equivalent functional model of Agler type in the reproducing kernel Hilbert space associated to the inequality. To the contrary to…
In [B1, Theorem 2.36] we proved the equivalence of six conditions on a continuous function f on an interval. These conditions define a subset of the set of operator convex functions, whose elements are called strongly operator convex. Two…