arXiv research

We study geometric first order differential operators on quaternionic Kähler manifolds. Their principal symbols are related to the enveloping algebra and Casimir elements for $\Sp(1)\Sp(n)$. This observation leads to anti-symmetry of the principal symbols and Bochner-Weitzenböck formulas for operators. As an applicatio…

Researchers extend pseudodifferential calculus on filtered manifolds using fixed point algebras.

Study recovers C*-algebra from fields of Toeplitz algebras on specific groups.

We consider differential operators between sections of arbitrary powers of the determinant line bundle over a contact manifold. We extend the standard notions of the Heisenberg calculus: noncommutative symbolic calculus, the principal symbol, and the contact order to such differential operators. Our first main result i…

A C*algebra A generated by a class of zero-order classical pseudodifferential operator on a cylinder RxB, where B is a compact riemannian manifold, containing operators with periodic symbols, is considered. A description of the K-theory index map associated to the continuous extension to A of the principal-symbol map i…

Calculates spinor heat flow using Gaussian-Grassmann integrals.

Complex $b$-$6j$ symbols relate to hyperbolic tetrahedron volumes and determinants.

Global homotopies upgrade classical map in differential geometry.

A new approach to symbol calculus on filtered manifolds using $C^{*}$-algebras.

We consider an elliptic self-adjoint first order differential operator acting on pairs (2-columns) of complex-valued half-densities over a connected compact 3-dimensional manifold without boundary. The principal symbol of our operator is assumed to be trace-free. We study the spectral function which is the sum of squar…

Extends elliptic operator regularity to maximally hypoelliptic operators.

Global propagator for massless Dirac operator defined and analyzed.

We show that an elliptic uniform pseudodifferential operator over a manifold of bounded geometry defines a class in uniform K-homology, and that this class only depends on the principal symbol of the operator.

We consider an elliptic self-adjoint first order pseudodifferential operator acting on columns of m complex-valued half-densities over a connected compact n-dimensional manifold without boundary. The eigenvalues of the principal symbol are assumed to be simple but no assumptions are made on their sign, so the operator …

The Atiyah-Singer index theorem is a topological formula for the index of an elliptic differential operator. The topological index depends on a cohomology class that is constructed from the principal symbol of the operator. On contact manifolds, the important Fredholm operators are not elliptic, but hypoelliptic. Their…

Study $b$-$6j$ symbols linking anti-de Sitter tetrahedra to hyperbolic geometry.

We obtain an estimate for the covering dimension of the set of bifurcation points for solutions of nonlinear elliptic boundary value problems from the principal symbol of the linearization of the problem along the trivial branch of solutions.

We prove weak and strong maximum principles, including a Hopf lemma, for smooth subsolutions to equations defined by linear, second-order, partial differential operators whose principal symbols vanish along a portion of the domain boundary. The boundary regularity property of the smooth subsolutions along this boundary…

Discover equations of motion from distorted video frames.

Gradients are natural first order differential operators depending on Riemannian metrics. The principal symbols of them are related to the enveloping algebra and higher Casimir elements. We give certain relations in the enveloping algebra, which induce not only identities for higher Casimir elements but also all Bochne…

Innovative advances validate a conjecture on maximal hypoellipticity in sub-Riemannian geometry.

Isomorphism found between filtered calculus and crossed products.

We extend to orbifolds classical results on quantum ergodicity due to Shnirelman, Colin de Verdière and Zelditch, proving that, for any positive, first-order self-adjoint elliptic pseudodifferential operator P on a compact orbifold X with positive principal symbol p, ergodicity of the Hamiltonian flow of p implies quan…

Each sub-Riemannian geometry with bracket generating distribution enjoys a background structure determined by the distribution itself. At the same time, those geometries with constant sub-Riemannian symbols determine a unique Cartan connection leading to their principal invariants. We provide cohomological description …

A quantization over a manifold can be seen as a way to construct a differential operator with prescribed principal symbol. The quantization map is moreover required to be a linear bijection. It is known that there is in general no natural quantization procedure. However, considering manifolds endowed with additional st…

We generalise the Atiyah-Segal-Singer fixed point theorem to noncompact manifolds. Using $KK$-theory, we extend the equivariant index to the noncompact setting, and obtain a fixed point formula for it. The fixed point formula is the explicit cohomological expression from Atiyah-Segal-Singer's result. In the noncompact …

The notion of pseudo-differential operators with coefficients in a continuous trace algebra over a manifold are introduced and their index theory is studied. The algebra of principal symbols in this calculus provides an abstract Poincaré dual to the continuous trace algebra. Index formulas for pseudo-differential opera…

We consider Toeplitz operators associated with the renormalized Bochner-Laplacian on high tensor powers of a positive line bundle on a compact symplectic manifold. We study the asymptotic behavior, in the semiclassical limit, of low-lying eigenvalues and the corresponding eigenfunctions of a self-adjoint Toeplitz opera…

Constructs graded jet bundles for Z-graded manifolds and vector bundles.

This memoir deals with the hypoelliptic calculus on Heisenberg manifolds, or Heisenberg calculus. The Heisenberg manifolds generalize CR and contact manifolds and in this context the main differential operators at stake include the Hörmander's sum of squares, the Kohn Laplacian, the horizontal sublaplacian and its conf…

New method for quantizing symplectic manifolds with Lagrangian bundles.

We show that the index of an elliptic Fourier integral operator associated to a contact diffeomorphism $φ$ of cosphere bundles of two Riemannian manifolds X and Y is given by $\int_{B^*X}\hat{A}(T^*X)\expθ - \int_{B^*Y}\hat{A}(T^*Y)\expθ$. Here $B^*$ stands for the unit coball bundle and $θ$ is a certain characteristic…

Clarifies a trace for Heisenberg operators on contact manifolds.

We give a proof of the cobordism invariance of the index of elliptic pseudodifferential operators on sigma-compact manifolds, where, in the non-compact case, the operators are assumed to be multiplication outside a compact set. We show that, if the principal symbol class of such an elliptic operator on the boundary of …

We propose a new method of computing cohomology groups of spaces of knots in $\R^n$, $n \ge 3$, based on the topology of configuration spaces and two-connected graphs, and calculate all such classes of order $\le 3.$ As a byproduct we define the higher indices, which invariants of knots in $\R^3$ define at arbitrary si…

We consider an elliptic self-adjoint first order differential operator L acting on pairs (2-columns) of complex-valued half-densities over a connected compact 3-dimensional manifold without boundary. The principal symbol of the operator L is assumed to be trace-free and the subprincipal symbol is assumed to be zero. Gi…

Geometrically represents path integral reduction Jacobian for interacting systems.

VaSST uses soft symbolic trees for probabilistic symbolic regression.

We study boundary value problems for linear elliptic differential operators of order one. The underlying manifold may be noncompact, but the boundary is assumed to be compact. We require a symmetry property of the principal symbol of the operator along the boundary. This is satisfied by Dirac type operators, for instan…

Characterizes Fredholm conditions for group-invariant pseudodifferential operators.

Researchers study spectral asymmetry using pseudodifferential projections on the massless Dirac operator.

We describe dimensionally constrained symbolic regression which has been developed for mass measurement in certain classes of events in high-energy physics (HEP). With symbolic regression, we can derive equations that are well known in HEP. However, in problems with large number of variables, we find that by constraini…

Paper closes neural-symbolic learning loop with grammar model and back-search algorithm.

Reinforcement learning and symbolic planning have both been used to build intelligent autonomous agents. Reinforcement learning relies on learning from interactions with real world, which often requires an unfeasibly large amount of experience. Symbolic planning relies on manually crafted symbolic knowledge, which may …

For an arbitrary Riemannian manifold $X$ and Hermitian vector bundles $E$ and $F$ over $X$ we define the notion of the normal symbol of a pseudodifferential operator $P$ from $E$ to $F$. The normal symbol of $P$ is a certain smooth function from the cotangent bundle $T^*X$ to the homomorphism bundle $Hom (E,F)$ and dep…

Quantum propagation studied for Berezin-Toeplitz operators.

Based on the ideas of Optimal Control, we introduce the new basic characteristic of a bracket generating distribution, the Jacobi symbol. In contrast to the classical Tanaka symbol, the set of Jacobi symbols is discrete and classifiable. We give an explicit and unified algebraic procedure for the construction of the ca…

A proof that hyperbolic plane cannot be immersed in Euclidean 3-space.