English
Related papers

Related papers: Stokes' formulae on classical symbol valued forms …

200 papers

Based on the intuitive notion of convexity, we formulate a universal property defining interval objects in a category with finite products. Interval objects are structures corresponding to closed intervals of the real line, but their…

Category Theory · Mathematics 2025-05-01 Martin Escardo , Alex Simpson

We use a simplicial product version of Quillen's Theorem A to prove classical Waldhausen Additivity of wS., which says that the "subobject" and "quotient" functors of cofiber sequences induce a weak equivalence wS.E(A,C,B)--> wS.A x wS.B .…

Algebraic Topology · Mathematics 2018-07-11 Thomas M. Fiore , Malte Pieper

The classical problem of computing a complete system of Stokes multipliers of a linear system of ODEs of rank one in terms of some connection coefficients of an associated hypergeometric system of ODEs, is solved with no genericness…

Classical Analysis and ODEs · Mathematics 2014-08-01 Davide Guzzetti

There has been a recent interest in hierarchical generalisations of classic incompleteness results. This paper provides evidence that such generalisations are readibly obtainable from suitably hierarchical versions of the principles used in…

Logic · Mathematics 2022-01-12 Rasmus Blanck

We exhibit a basis for the space of spherical characters of a distinguished supercuspidal representation $\pi$ of a connected reductive $p$-adic group, subject to the assumption that $\pi$ is obtained via induction from a representation of…

Representation Theory · Mathematics 2007-09-24 Fiona Murnaghan

We generalize Grothendieck's residues $Res\frac{\psi}{s}$ to virtual cases, namely cases when the zero loci of the section $s$ has dimension larger than the expected dimension(zero). We also provide an exponential type integral formalism…

Algebraic Geometry · Mathematics 2018-01-08 Huai-Liang Chang , Mu-Lin Li

The Gutzwiller trace formula provides a semiclassical approximation for the density of states of a quantum system in terms of classical periodic orbits. In its original form Gutzwiller derived the trace formula for quantum systems without…

Chaotic Dynamics · Physics 2007-05-23 Jens Bolte

We derive finite rational formulas for the traces of cycle integrals of certain meromorphic modular forms. Moreover, we prove the modularity of a completion of the generating function of such traces. The theoretical framework for these…

Number Theory · Mathematics 2020-06-19 Claudia Alfes-Neumann , Kathrin Bringmann , Markus Schwagenscheidt

Real atomic systems, like the hydrogen atom in a magnetic field or the helium atom, whose classical dynamics are chaotic, generally present both discrete and continuous symmetries. In this letter, we explain how these properties must be…

Chaotic Dynamics · Physics 2016-08-16 Benoît Grémaud

We prove that the modular symbols appropriately normalized and ordered have a Gaussian distribution for all cofinite subgroups of SL_2(R). We use spectral deformations to study the poles and the residues of Eisenstein series twisted by…

Number Theory · Mathematics 2007-05-23 Yiannis N. Petridis , Morten Skarsholm Risager

Many quantum systems may have the same classical limit. We argue that in the classical limit their traces do not necessarily converge one to another. The trace formula allows to express quantum traces by means of classical quantities as…

chao-dyn · Physics 2009-10-31 Prot Pakonski

Let M be a closed manifold. Wodzicki shows that, in the stable range, the cyclic cohomology of the associative algebra of pseudodifferential symbols of order \leq 0 is isomorphic to the homology of the cosphere bundle of M. In this article…

K-Theory and Homology · Mathematics 2011-12-09 Denis Perrot

This work is devoted to the algebraic and arithmetic properties of Rankin-Cohen brackets allowing to define and study them in several natural situations of number theory. It focuses on the property of these brackets to be formal…

Number Theory · Mathematics 2021-02-10 Youngju Choie , François Dumas , François Martin , Emmanuel Royer

The key to the proof-theoretic study of a logic is a proof calculus with a subformula property. Many different proof formalisms have been introduced (e.g. sequent, nested sequent, labelled sequent formalisms) in order to provide such…

Logic in Computer Science · Computer Science 2023-06-22 Revantha Ramanayake

We consider Fourier integral operators with symbols in modulation spaces and non-smooth phase functions whose second orders of derivatives belong to certain types of modulation space. We establish continuity and Schatten-von Neumann…

Analysis of PDEs · Mathematics 2008-02-19 Joachim Toft , Francesco Concetti , Gianluca Garello

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…

Logic · Mathematics 2024-03-12 Franco Parlamento , Flavio Previale

This work explores the spectra of quantum graphs where the Schr\"odinger operator on the edges is equipped with a potential. The scattering approach, which was originally introduced for the potential free case, is extended to this case and…

Mathematical Physics · Physics 2015-06-11 Ralf Rueckriemen , Uzy Smilansky

Correspondence between classical periodic orbits and quantum shell structure is investigated for a reflection-asymmetric deformed oscillator model as a function of quadrupole and octupole deformation parameters. Periodic orbit theory…

Nuclear Theory · Physics 2009-10-28 Ken-ichiro Arita , Kenichi Matsuyanagi

A Hecke action on the space of periods of cusp forms, which is compatible with that on the space of cusp forms, was first computed using continued fraction and an explicit algebraic formula of Hecke operators acting on the space of period…

Number Theory · Mathematics 2013-02-12 Youngju Choie , Seokho Jin

We present a streamlined and (hopefully) accessible proof of the model-completeness of the weak monadic second order version of a dense linear order with left-endpoint but no right-endpoint in a particular finite signature. We also show how…

Logic · Mathematics 2022-09-15 Deacon Linkhorn