Related papers: Refined Analytic Torsion on Manifolds with Boundar…
We derive an effective Hamiltonian for a quantum system constrained to a submanifold (the constraint manifold) of configuration space (the ambient space) by an infinite restoring force. We pay special attention to how this Hamiltonian…
We extend Turaev's definition of torsion invariants of 3-dimensional manifolds equipped with non-singular vector fields, by allowing (suitable) tangency circles to the boundary, and manifolds with non-zero Euler characteristic. We show that…
Given an oriented closed manifold $M$ of odd dimension and a unitary representation $\rho : \pi_1(M) \ra \GL_n(\F)$, we define a Reidemeister torsion, even if the cohomology associated with $\rho$ is not acyclic. As corollaries, we…
It has been proposed recently that topological A-model string amplitudes for toric Calabi-Yau 3-folds in non self-dual graviphoton background can be caluculated by a diagrammatic method that is called the ``refined topological vertex''. We…
Accurate finite element analysis of refined shell theories is crucial but often hindered by membrane and shear locking effects. While various element-based locking-free techniques exist, this work addresses the problem at the theoretical…
We give the p-adic and F_q((t)) analogue of the real van der Corput Lemma, where the real condition of sufficient smoothness for the phase is replaced by the condition that the phase is a convergent power series. This van der Corput style…
Since the celebrated resolution of Kadison-Singer (via the Paving Conjecture) by Marcus, Spielman, and Srivastava, much study has been devoted to further understanding and generalizing the techniques of their proof. Specifically, their…
We characterize the global maximizers of a certain non-local functional defined on the space of all positively curved metrics on an ample line bundle L over a Kahler manifold X. This functional is an adjoint version, introduced by…
Spectral theory and functional calculus for unbounded self-adjoint operators on a Hilbert space are usually treated through von Neumann's Cayley transform. Based on ideas of Woronowicz, we redevelop this theory from the point of view of…
The CEGAR loop in software model checking notoriously diverges when the abstraction refinement procedure does not derive a loop invariant. An abstraction refinement procedure based on an SMT solver is applied to a trace, i.e., a restricted…
By integrating curvatures multiplied non-trivial densities, we introduce an integral expression of the Arnold strangeness that is a celebrated plane curve invariant. The key is a partition function by Shumakovitch to reformulate Arnold…
Given a finite simplicial complex, a unimodular representation of its fundamental group and a closed twisted cochain of odd degree, we define a twisted version of the Reidemeister torsion, extending a previous definition of V. Mathai and S.…
In previous work, the second author introduced a topology, for spaces of irreducible representations, that reduces to the classical Zariski topology over commutative rings but provides a proper refinement in various noncommutative settings.…
Distributed optimization has gained substantial interest in recent years due to its wide applications in machine learning. However, most of existing algorithms are designed for Euclidean spaces, leaving composite optimization on Riemannian…
This paper studies the limits of recursive classifications in proof theory and program extraction, using the refined $A$-translation as a central example. The refined $A$-translation, due to Berger, Buchholz, and Schwichtenberg, is based on…
For a finite rank projective bundle over a compact manifold, so associated to a torsion, Dixmier-Douady, 3-class, w, on the manifold, we define the ring of differential operators `acting on sections of the projective bundle' in a formal…
The finite strain theory is reformulated in the frame of the Tangential Differential Calculus (TDC) resulting in a unification in a threefold sense. Firstly, ropes, membranes and three-dimensional continua are treated with one set of…
Given a smooth manifold $M$ (with or without boundary), in this paper we study the regularisation of traces for the global pseudo-differential calculus in the context of non-harmonic analysis. Indeed, using the global pseudo-differential…
In this paper we study the analytic torsion for a complete oriented hyperbolic manifold of finite volume. This requires the definition of a regularized trace of heat operators. We use the Selberg trace formula to study the asymptotic…
Several proofs have been published of the Mod Z gluing formula for the eta-invariant of a Dirac operator. However, so far the integer contribution to the gluing formula for the eta-invariant is left obscure in the literature. In this…