• ### Spinors on Singular Spaces and the Topology of Causal Fermion Systems(1403.7885)

June 15, 2018 math.DG, math-ph, math.MP, gr-qc
Causal fermion systems and Riemannian fermion systems are proposed as a framework for describing non-smooth geometries. In particular, this framework provides a setting for spinors on singular spaces. The underlying topological structures are introduced and analyzed. The connection to the spin condition in differential topology is worked out. The constructions are illustrated by many simple examples like the Euclidean plane, the two-dimensional Minkowski space, a conical singularity, a lattice system as well as the curvature singularity of the Schwarzschild space-time. As further examples, it is shown how complex and K\"ahler structures can be encoded in Riemannian fermion systems.
• ### On the hidden mechanism behind non-uniqueness for the anisotropic Calder{\'o}n problem with data on disjoint sets(1701.09056)

June 26, 2017 math.AP, math-ph, math.MP, math.SP
We show that there is generically non-uniqueness for the anisotropic Calder\'on problem at fixed frequency when the Dirichlet and Neumann data are measured on disjoint sets of the boundary of a given domain. More precisely, we first show that given a smooth compact connected Riemannian manifold with boundary $(M,g)$ of dimension $n\geq 3$, there exist in the conformal class of $g$ an infinite number of Riemannian metrics $\tilde{g}$ such that their corresponding DN maps at a fixed frequency coincide when the Dirichlet data $\Gamma_D$ and Neumann data $\Gamma_N$ are measured on disjoint sets and satisfy $\overline{\Gamma_D \cup \Gamma_N} \ne \partial M$. The conformal factors that lead to these non-uniqueness results for the anisotropic Calder\'on problem satisfy a nonlinear elliptic PDE of Yamabe type on the original manifold $(M,g)$ and are associated to a natural but subtle gauge invariance of the anisotropic Calder\'on problem with data on disjoint sets. We then construct a large class of counterexamples to uniqueness in dimension $n\geq 3$ to the anisotropic Calder\'on problem at fixed frequency with data on disjoint sets and \emph{modulo this gauge invariance}. This class consists in cylindrical Riemannian manifolds with boundary having two ends (meaning that the boundary has two connected components), equipped with a suitably chosen warped product metric.
• ### Local isometric immersions of pseudo-spherical surfaces and k-th order evolution equations(1701.08004)

Jan. 27, 2017 math.DG
We consider the class of evolution equations that describe pseudo-spherical surfaces of the form u\_t = F (u, $\partial$u/$\partial$x, ..., $\partial$^k u/$\partial$x^k), k $\ge$ 2 classified by Chern-Tenenblat. This class of equations is characterized by the property that to each solution of a differential equation within this class, there corresponds a 2-dimensional Riemannian metric of curvature-1. We investigate the following problem: given such a metric, is there a local isometric immersion in R 3 such that the coefficients of the second fundamental form of the surface depend on a jet of finite order of u? By extending our previous result for second order evolution equation to k-th order equations, we prove that there is only one type of equations that admit such an isometric immersion. We prove that the coefficients of the second fundamental forms of the local isometric immersion determined by the solutions u are universal, i.e., they are independent of u. Moreover, we show that there exists a foliation of the domain of the parameters of the surface by straight lines with the property that the mean curvature of the surface is constant along the images of these straight lines under the isometric immersion.
• ### Lorentzian Einstein metrics with prescribed conformal infinity(1412.4376)

Jan. 17, 2017 math.DG, math.AP, math-ph, math.MP, gr-qc
We prove a local well-posedness theorem for the (n+1)-dimensional Einstein equations in Lorentzian signature, with initial data $(\tilde g, K)$ whose asymptotic geometry at infinity is similar to that anti-de Sitter (AdS) space, and compatible boundary data $\hat g$ prescribed at the time-like conformal boundary of space-time. More precisely, we consider an n-dimensional asymptotically hyperbolic Riemannian manifold $(M,\tilde g)$ such that the conformally rescaled metric $x^2 \tilde g$ (with $x$ a boundary defining function) extends to the closure $\bar M$ of $M$ as a metric of class $C^{n-1}$ which is also polyhomogeneous of class $C^{p}$ on $\bar M$. Likewise we assume that the conformally rescaled symmetric (0,2)-tensor $x^{2}K$ extends to the closure as a tensor field of class $C^{n-1}$ which is polyhomogeneous of class $C^{p-1}$. We assume that the initial data $(\tilde g, K)$ satisfy the Einstein constraint equations and also that the boundary datum is of class $C^p$ on $\partial M\times (-T_0,T_0)$ and satisfies a set of natural compatibility conditions with the initial data. We then prove that there exists an integer $r_n$, depending only on the dimension n, such that if $p \geq 2q+r_n$, with $q$ a positive integer, then there is $T>0$, depending only on the norms of the initial and boundary data, such that the Einstein equations have a unique (up to a diffeomorphism) solution $g$ on $(-T,T)\times M$ with the above initial and boundary data, which is such that $x^2g$ is of class $C^{n-1}$ and polyhomogeneous of class $C^q$. Furthermore, if $x^2\tilde g$ and $x^2K$ are polyhomogeneous of class $C^\infty$ and $\hat g$ is in $C^\infty$, then $x^2g$ is polyhomogeneous of class $C^\infty$.
• ### Non-uniqueness results for the anisotropic Calderon problem with data measured on disjoint sets(1510.06559)

Oct. 22, 2015 math-ph, math.MP, math.SP
In this paper, we give some simple counterexamples to uniqueness for the Calderon problem on Riemannian manifolds with boundary when the Dirichlet and Neumann data are measured on disjoint sets of the boundary. We provide counterexamples in the case of two and three dimensional Riemannian manifolds with boundary having the topology of circular cylinders in dimension two and toric cylinders in dimension three. The construction could be easily extended to higher dimensional Riemannian manifolds.
• ### Determining an asymptotically AdS spacetime from data on its conformal boundary(1502.01622)

Sept. 25, 2015 hep-th, math-ph, math.MP, gr-qc
An outstanding question lying at the core of the AdS/CFT correspondence in string theory is the holographic prescription problem for Einstein metrics, which asserts that one can slightly perturb the conformal geometry at infinity of the anti-de Sitter space and still obtain an asymptotically anti-de Sitter spacetime that satisfies the Einstein equations with a negative cosmological constant. The purpose of this paper is to address this question by providing a precise quantitative statement of the real-time holographic principle for Einstein spacetimes, to outline its proof and to discuss its physical implications.
• ### Second-order equations and local isometric immersions of pseudo-spherical surfaces(1308.6545)

Sept. 8, 2015 math.DG
We consider the class of differential equations that describe pseudo-spherical surfaces of the form $u\_t=F(u,u\_x,u\_{xx})$ and $u\_{xt}=F(u, u\_x)$ given in Chern-Tenenblat \cite{ChernTenenblat} and Rabelo-Tenenblat \cite{RabeloTenenblat90}. We answer the following question: Given a pseudo-spherical surface determined by a solution $u$ of such an equation, do the coefficients of the second fundamental form of the local isometric immersion in $\mathbb{R}^3$ depend on a jet of finite order of $u$? We show that, except for the sine-Gordon equation, where the coefficients depend on a jet of order zero, for all other differential equations, whenever such an immersion exists, the coefficients are universal functions of $x$ and $t$, independent of $u$.
• ### Gaussian measures on the of space of Riemannian metrics(1309.1348)

Sept. 6, 2015 math.DG, math.PR
We introduce Gaussian-type measures on the manifold of all metrics with a fixed volume form on a compact Riemannian manifold of dimension $\geq 3$. For this random model we compute the characteristic function for the $L^2$ (Ebin) distance to the reference metric. In the Appendix, we study Lipschitz-type distance between Riemannian metrics and give applications to the diameter, eigenvalue and volume entropy functionals.
• ### Third order differential equations and local isometric immersions of pseudospherical surfaces(1506.08085)

June 26, 2015 math.DG
The class of differential equations describing pseudospherical surfaces enjoys important integrability properties which manifest themselves by the existence of infinite hierarchies of conservation laws (both local and non-local) and the presence associated linear problems. It thus contains many important known examples of integrable equations, like the sine-Gordon, Liouville, KdV, mKdV, Camassa-Holm and Degasperis-Procesi equations, and is also home to many new families of integrable equations. Our paper is concerned with the question of the local isometric immersion in ${\bf E}^{3}$ of the pseudospherical surfaces defined by the solutions of equations belonging to the class of Chern and Tenenblat. In the case of the sine-Gordon equation, it is a classical result that the second fundamental form of the immersion depends only on a jet of finite order of the solution of the pde. A natural question is therefore to know if this remarkable property extends to equations other than the sine-Gordon equation within the class of differential equations describing pseudospherical surfaces. In the present paper, we consider third-order equations of the form $u_{t}-u_{xxt}=\lambda u u_{xxx} + G(u,u_x,u_{xx}),\, \lambda \in \mathbb{R},$ which describe pseudospherical surfaces. This class contains the Camassa-Holm and Degasperis-Procesi equations as special cases. We show that whenever there exists a local isometric immersion in ${\bf E}^3$ for which the coefficients of the second fundamental form depend on a jet of finite order of $u$, then these coefficients are universal in the sense of being independent on the choice of solution $u$.
• ### Local Isometric immersions of pseudo-spherical surfaces and evolution equations(1506.02803)

June 9, 2015 math.DG
The class of differential equations describing pseudo-spherical surfaces, first introduced by Chern and Tenenblat [3], is characterized by the property that to each solution of a differential equation, within the class, there corresponds a 2-dimensional Riemannian metric of curvature equal to $-1$. The class of differential equations describing pseudo-spherical surfaces carries close ties to the property of complete integrability, as manifested by the existence of infinite hierarchies of conservation laws and associated linear problems. As such, it contains many important known examples of integrable equations, like the sine-Gordon, Liouville and KdV equations. It also gives rise to many new families of integrable equations. The question we address in this paper concerns the local isometric immersion of pseudo-spherical surfaces in ${\bf E}^{3}$ from the perspective of the differential equations that give rise to the metrics. Indeed, a classical theorem in the differential geometry of surfaces states that any pseudo-spherical surface can be locally isometrically immersed in ${\bf E}^{3}$. In the case of the sine-Gordon equation, one can derive an expression for the second fundamental form of the immersion that depends only on a jet of finite order of the solution of the pde. A natural question is to know if this remarkable property extends to equations other than the sine-Gordon equation within the class of differential equations describing pseudo-spherical surfaces. In an earlier paper [11], we have shown that this property fails to hold for all other second order equations, except for those belonging to a very special class of evolution equations. In the present paper, we consider a class of evolution equations for $u(x,t)$ of order $k\geq 3$ describing pseudo-spherical surfaces. We show that whenever an isometric immersion in ${\bf E}^3$ exists, depending on a jet of finite order of $u$, then the coefficients of the second fundamental forms are functions of the independent variables $x$ and $t$ only.
• ### Inverse scattering at fixed energy on asymptotically hyperbolic Liouville surfaces(1409.6229)

Sept. 22, 2014 math-ph, math.MP
In this paper, we study an inverse scattering problem on Liouville surfaces having two asymptotically hyperbolic ends. The main property of Liouville surfaces consists in the complete separability of the Hamilton-Jacobi equations for the geodesic flow. An important related consequence is the fact that the stationary wave equation can be separated into a system of a radial and angular ODEs. The full scattering matrix at fixed energy associated to a scalar wave equation on asymptotically hyperbolic Liouville surfaces can be thus simplified by considering its restrictions onto the generalized harmonics corresponding to the angular separated ODE. The resulting partial scattering matrices consists in a countable set of $2 \times 2$ matrices whose coefficients are the so called transmission and reflection coefficients. It is shown that the reflection coefficients are nothing but generalized Weyl-Titchmarsh functions for the radial ODE in which the generalized angular momentum is seen as the spectral parameter. Using the Complex Angular Momentum method and recent results on 1D inverse problem from generalized Weyl-Titchmarsh functions, we show that the knowledge of the reflection operators at a fixed non zero energy is enough to determine uniquely the metric of the asymptotically hyperbolic Liouville surface under consideration.
• ### A singular initial-boundary value problem for nonlinear wave equations and holography in asymptotically anti-de Sitter spaces(1310.0158)

Oct. 14, 2013 math.AP, math-ph, math.MP
We analyze the initial value problem for semilinear wave equations on asymptotically anti-de Sitter spaces using energy methods adapted to the geometry of the problem at infinity. The key feature is that the coefficients become strongly singular at infinity, which leads to considering nontrivial data on the conformal boundary of the manifold. This question arises in Physics as the holographic prescription problem in string theory.
• ### An Exact Expression for Photon Polarization in Kerr Geometry(1306.6292)

June 26, 2013 hep-th, math-ph, math.MP, gr-qc
We analyze the transformation of the polarization of a photon propagating along an arbitrary null geodesic in Kerr geometry. The motivation comes from the problem of an observer trying to communicate quantum information to another observer in Kerr spacetime by transmitting polarized photons. It is essential that the observers understand the relationship between their frames of reference and also know how the photon's polarization transforms as it travels through Kerr spacetime. Existing methods to calculate the rotation of the photon polarization (Faraday rotation) depend on choices of coordinate systems, are algebraically complex and yield results only in the weak-field limit. We give a closed-form expression for a parallel propagated frame along an arbitrary null geodesic using Killing-Yano theory, and thereby solve the problem of parallel transport of the polarization vector in an intrinsic, geometrically-motivated fashion. The symmetries of Kerr geometry are utilized to obtain a remarkably compact expression for the geometrically induced phase of the photon's polarization. We show that this phase vanishes on the equatorial plane and the axis of symmetry.
• ### On orthogonal polynomials spanning a non-standard flag(1101.5584)

May 21, 2012 math-ph, math.MP, math.CA
We survey some recent developments in the theory of orthogonal polynomials defined by differential equations. The key finding is that there exist orthogonal polynomials defined by 2nd order differential equations that fall outside the classical families of Jacobi, Laguerre, and Hermite polynomials. Unlike the classical families, these new examples, called exceptional orthogonal polynomials, feature non-standard polynomial flags; the lowest degree polynomial has degree $m>0$. In this paper we review the classification of codimension $m=1$ exceptional polynomials, and give a novel, compact proof of the fundamental classification theorem for codimension 1 polynomial flags. As well, we describe the mechanism or rational factorizations of 2nd order operators as the analogue of the Darboux transformation in this context. We finish with the example of higher codimension generalization of Jacobi polynomials and perform the complete analysis of parameter values for which these families have non-singular weights.
• ### On the Scalar Spectrum of the Y^{p,q} Manifolds(1201.5394)

April 8, 2012 hep-th, math-ph, math.MP
The spectra of supergravity modes in anti de Sitter (AdS) space on a five-sphere endowed with the round metric (which is the simplest 5d Sasaki-Einstein space) has been studied in detail in the past. However for the more general class of cohomogeneity one Sasaki-Einstein metrics on S^2 x S^3, given by the Y^{p, q} class, a complete study of the spectra has not been attempted. Earlier studies on scalar spectrum were restricted to only the first few eigenstates. In this paper we take a step in this direction by analysing the full scalar spectrum on these spaces. However it turns out that finding the exact solution of the corresponding eigenvalue problem in closed form is not feasible since the computation of the eigenvalues of the Laplacian boils down to the analysis of a one-dimensional operator of Heun type, whose spectrum cannot be computed in closed form. However, despite this analytical obstacle, we manage to get both lower and upper bounds on the eigenvalues of the scalar spectrum by comparing the eigenvalue problem with a simpler, solvable system. We also briefly touch upon various other new avenues such as non-commutative and dipole deformations as well as possible non-conformal extensions of these models.
• ### A conjecture on Exceptional Orthogonal Polynomials(1203.6857)

March 30, 2012 math-ph, math.MP
Exceptional orthogonal polynomial systems (X-OPS) arise as eigenfunctions of Sturm-Liouville problems and generalize in this sense the classical families of Hermite, Laguerre and Jacobi. They also generalize the family of CPRS orthogonal polynomials. We formulate the following conjecture: every exceptional orthogonal polynomial system is related to a classical system by a Darboux-Crum transformation. We give a proof of this conjecture for codimension 2 exceptional orthogonal polynomials (X2-OPs). As a by-product of this analysis, we prove a Bochner-type theorem classifying all possible X2-OPS. The classification includes all cases known to date plus some new examples of X2-Laguerre and X2-Jacobi polynomials.
• ### Causality and the conformal boundary of AdS in real-time holography(1203.2743)

March 13, 2012 hep-th, math-ph, math.MP, gr-qc
We consider the holographic prescription problem in a (Lorentzian) AdS background, deriving from first principles the explicit formulas that relate the field at infinity with the field in the bulk. In contrast with the previous studies of the "real-time" holography problem, our derivation uses purely classical arguments that involve causality, as in the usual treatment of the holographic prescription problem in Wick-rotated spaces of Euclidean signature. We show that there is a unique propagator that preserves causality and see that this provides a simple picture of the relationship between the bulk manifold and its conformal boundary.
• ### Two-step Darboux transformations and exceptional Laguerre polynomials(1103.5724)

Aug. 21, 2011 math-ph, math.MP, math.CA
It has been recently discovered that exceptional families of Sturm-Liouville orthogonal polynomials exist, that generalize in some sense the classical polynomials of Hermite, Laguerre and Jacobi. In this paper we show how new families of exceptional orthogonal polynomials can be constructed by means of multiple-step algebraic Darboux transformations. The construction is illustrated with an example of a 2-step Darboux transformation of the classical Laguerre polynomials, which gives rise to a new orthogonal polynomial system indexed by two integer parameters. For particular values of these parameters, the classical Laguerre and the type II $X_\ell$-Laguerre polynomials are recovered.
• ### Spinor Green's functions via spherical means on products of space forms(1003.5615)

March 29, 2010 hep-th, math-ph, math.MP, gr-qc
We explicitly compute the Green's function of the spinor Klein-Gordon equation on the Riemannian and Lorentzian manifolds of the form $M_0 \times ... \times M_N$, with each factor being a space of constant sectional curvature. Our approach is based on an extension of the method of spherical means to the case of spinor fields and on the use of Riesz distributions.
• ### Exceptional orthogonal polynomials and the Darboux transformation(1002.2666)

March 4, 2010 math-ph, math.MP
We adapt the notion of the Darboux transformation to the context of polynomial Sturm-Liouville problems. As an application, we characterize the recently described $X_m$ Laguerre polynomials in terms of an isospectral Darboux transformation. We also show that the shape-invariance of these new polynomial families is a direct consequence of the permutability property of the Darboux-Crum transformation.
• ### Global causal propagator for the Klein-Gordon equation on a class of supersymmetric AdS backgrounds(1001.2200)

Jan. 28, 2010 hep-th, math-ph, math.MP, gr-qc
We analyze the Cauchy problem for the Klein-Gordon equation on the type IIB supergravity backgrounds $AdS^5 \times Y^{p,q}$, where $Y^{p,q}$ is any of the Sasaki-Einstein 5-manifolds recently discovered by Gaunlett, Martelli, Sparks and Waldram (Adv. Theor. Math. Phys. 8 (2004) 711--734). Although these spaces are not globally hyperbolic, we prove that there exists a unique admissible propagator and derive an integral representation thereof using spectral-theoretic techniques.
• ### Linear Waves in the Kerr Geometry: A Mathematical Voyage to Black Hole Physics(0801.1423)

July 25, 2009 math-ph, math.MP, gr-qc
This paper gives a survey of wave dynamics in the Kerr space-time geometry, the mathematical model of a rotating black hole in equilibrium. After a brief introduction to the Kerr metric, we review the separability properties of linear wave equations for fields of general spin $s=0, 1/2, 1, 2$, corresponding to scalar, Dirac, electromagnetic fields and linearized gravitational waves. We give results on the long-time dynamics of Dirac and scalar waves, including decay rates for massive Dirac fields. For scalar waves, we give a rigorous treatment of superradiance and describe rigorously a mechanism of energy extraction from a rotating black hole. Finally, we discuss the open problem of linear stability of the Kerr metric and present partial results.
• ### An extended class of orthogonal polynomials defined by a Sturm-Liouville problem(0807.3939)

Jan. 21, 2009 math-ph, math.MP, math.CA
We present two infinite sequences of polynomial eigenfunctions of a Sturm-Liouville problem. As opposed to the classical orthogonal polynomial systems, these sequences start with a polynomial of degree one. We denote these polynomials as $X_1$-Jacobi and $X_1$-Laguerre and we prove that they are orthogonal with respect to a positive definite inner product defined over the the compact interval $[-1,1]$ or the half-line $[0,\infty)$, respectively, and they are a basis of the corresponding $L^2$ Hilbert spaces. Moreover, we prove a converse statement similar to Bochner's theorem for the classical orthogonal polynomial systems: if a self-adjoint second order operator has a complete set of polynomial eigenfunctions $\{p_i\}_{i=1}^\infty$, then it must be either the $X_1$-Jacobi or the $X_1$-Laguerre Sturm-Liouville problem. A Rodrigues-type formula can be derived for both of the $X_1$ polynomial sequences.
• ### An Extension of Bochner's Problem: Exceptional Invariant Subspaces(0805.3376)

Jan. 21, 2009 math-ph, math.MP
A classical result due to Bochner characterizes the classical orthogonal polynomial systems as solutions of a second-order eigenvalue equation. We extend Bochner's result by dropping the assumption that the first element of the orthogonal polynomial sequence be a constant. This approach gives rise to new families of complete orthogonal polynomial systems that arise as solutions of second-order eigenvalue equations with rational coefficients. The results are based on a classification of exceptional polynomial subspaces of codimension one under projective transformations.
• ### Dynamics with Infinitely Many Derivatives: Variable Coefficient Equations(0809.4513)

Sept. 26, 2008 hep-th, math-ph, math.MP
Infinite order differential equations have come to play an increasingly significant role in theoretical physics. Field theories with infinitely many derivatives are ubiquitous in string field theory and have attracted interest recently also from cosmologists. Crucial to any application is a firm understanding of the mathematical structure of infinite order partial differential equations. In our previous work we developed a formalism to study the initial value problem for linear infinite order equations with constant coefficients. Our approach relied on the use of a contour integral representation for the functions under consideration. In many applications, including the study of cosmological perturbations in nonlocal inflation, one must solve linearized partial differential equations about some time-dependent background. This typically leads to variable coefficient equations, in which case the contour integral methods employed previously become inappropriate. In this paper we develop the theory of a particular class of linear infinite order partial differential equations with variable coefficients. Our formalism is particularly well suited to the types of equations that arise in nonlocal cosmological perturbation theory. As an example to illustrate our formalism we compute the leading corrections to the scalar field perturbations in p-adic inflation and show explicitly that these are small on large scales.