-
On the Z_2-valued index of elliptic odd symmetric operators on non-compact manifolds
Authors:
Maxim Braverman,
Ahmad Reza Haj Saeedi Sadegh
Abstract:
We investigate elliptic operators with a symmetry that forces their index to vanish. We study the secondary index, defined modulo 2. We examine Callias-type operators with this symmetry on non-compact manifolds and establish mod 2 versions of the Gromov-Lawson relative index theorem, the Callias index theorem, and the Boutet de Monvel's index theorem for Toeplitz operators.
We investigate elliptic operators with a symmetry that forces their index to vanish. We study the secondary index, defined modulo 2. We examine Callias-type operators with this symmetry on non-compact manifolds and establish mod 2 versions of the Gromov-Lawson relative index theorem, the Callias index theorem, and the Boutet de Monvel's index theorem for Toeplitz operators.
△ Less
Submitted 11 April, 2024; v1 submitted 20 March, 2024;
originally announced March 2024.
-
Improved Monotonicity Testers via Hypercube Embeddings
Authors:
Mark Braverman,
Subhash Khot,
Guy Kindler,
Dor Minzer
Abstract:
We show improved monotonicity testers for the Boolean hypercube under the $p$-biased measure, as well as over the hypergrid $[m]^n$. Our results are:
1. For any $p\in (0,1)$, for the $p$-biased hypercube we show a non-adaptive tester that makes $\tilde{O}(\sqrt{n}/\varepsilon^2)$ queries, accepts monotone functions with probability $1$ and rejects functions that are $\varepsilon$-far from monoto…
▽ More
We show improved monotonicity testers for the Boolean hypercube under the $p$-biased measure, as well as over the hypergrid $[m]^n$. Our results are:
1. For any $p\in (0,1)$, for the $p$-biased hypercube we show a non-adaptive tester that makes $\tilde{O}(\sqrt{n}/\varepsilon^2)$ queries, accepts monotone functions with probability $1$ and rejects functions that are $\varepsilon$-far from monotone with probability at least $2/3$.
2. For all $m\in\mathbb{N}$, we show an $\tilde{O}(\sqrt{n}m^3/\varepsilon^2)$ query monotonicity tester over $[m]^n$.
We also establish corresponding directed isoperimetric inequalities in these domains. Previously, the best known tester due to Black, Chakrabarty and Seshadhri had $Ω(n^{5/6})$ query complexity. Our results are optimal up to poly-logarithmic factors and the dependency on $m$.
Our proof uses a notion of monotone embeddings of measures into the Boolean hypercube that can be used to reduce the problem of monotonicity testing over an arbitrary product domains to the Boolean cube. The embedding maps a function over a product domain of dimension $n$ into a function over a Boolean cube of a larger dimension $n'$, while preserving its distance from being monotone; an embedding is considered efficient if $n'$ is not much larger than $n$, and we show how to construct efficient embeddings in the above mentioned settings.
△ Less
Submitted 16 November, 2022;
originally announced November 2022.
-
Deformation Spaces, Rescaled Bundles and the Kirillov Character Formula
Authors:
Maxim Braverman,
Ahmad Reza Haj Saeedi Sadegh
Abstract:
In this paper, we construct a smooth vector bundle over the deformation to the normal cone $\text{DNC}(V,M)$ through a rescaling of a vector bundle $E\to V$, which generalizes the construction of the spinor rescaled bundle over the tangent groupoid by Nigel Higson and Zelin Yi. We also provide an equivariant version of their construction. As the main application, we recover the Kirillov character…
▽ More
In this paper, we construct a smooth vector bundle over the deformation to the normal cone $\text{DNC}(V,M)$ through a rescaling of a vector bundle $E\to V$, which generalizes the construction of the spinor rescaled bundle over the tangent groupoid by Nigel Higson and Zelin Yi. We also provide an equivariant version of their construction. As the main application, we recover the Kirillov character formula for the equivariant index of Dirac-type operators. As another application, we get an equivariant generalization of the description of the Witten and the Novikov deformations of the de Rham-Dirac operator using the deformation to the normal cone obtained recently by O. Mohsen.
△ Less
Submitted 7 November, 2022; v1 submitted 25 October, 2022;
originally announced October 2022.
-
An Invariance Principle for the Multi-slice, with Applications
Authors:
Mark Braverman,
Subhash Khot,
Noam Lifshitz,
Dor Minzer
Abstract:
Given an alphabet size $m\in\mathbb{N}$ thought of as a constant, and $\vec{k} = (k_1,\ldots,k_m)$ whose entries sum of up $n$, the $\vec{k}$-multi-slice is the set of vectors $x\in [m]^n$ in which each symbol $i\in [m]$ appears precisely $k_i$ times. We show an invariance principle for low-degree functions over the multi-slice, to functions over the product space $([m]^n,μ^n)$ in which…
▽ More
Given an alphabet size $m\in\mathbb{N}$ thought of as a constant, and $\vec{k} = (k_1,\ldots,k_m)$ whose entries sum of up $n$, the $\vec{k}$-multi-slice is the set of vectors $x\in [m]^n$ in which each symbol $i\in [m]$ appears precisely $k_i$ times. We show an invariance principle for low-degree functions over the multi-slice, to functions over the product space $([m]^n,μ^n)$ in which $μ(i) = k_i/n$. This answers a question raised by Filmus et al.
As applications of the invariance principle, we show:
1. An analogue of the "dictatorship test implies computational hardness" paradigm for problems with perfect completeness, for a certain class of dictatorship tests. Our computational hardness is proved assuming a recent strengthening of the Unique-Games Conjecture, called the Rich $2$-to-$1$ Games Conjecture. Using this analogue, we show that assuming the Rich $2$-to-$1$ Games Conjecture, (a) there is an $r$-ary CSP $\mathcal{P}_r$ for which it is NP-hard to distinguish satisfiable instances of the CSP and instances that are at most $\frac{2r+1}{2^r} + o(1)$ satisfiable, and (b) hardness of distinguishing $3$-colorable graphs, and graphs that do not contain an independent set of size $o(1)$.
2. A reduction of the problem of studying expectations of products of functions on the multi-slice to studying expectations of products of functions on correlated, product spaces. In particular, we are able to deduce analogues of the Gaussian bounds from \cite{MosselGaussian} for the multi-slice.
3. In a companion paper, we show further applications of our invariance principle in extremal combinatorics, and more specifically to proving removal lemmas of a wide family of hypergraphs $H$ called $ζ$-forests, which is a natural extension of the well-studied case of matchings.
△ Less
Submitted 20 October, 2021;
originally announced October 2021.
-
Statistically Near-Optimal Hypothesis Selection
Authors:
Olivier Bousquet,
Mark Braverman,
Klim Efremenko,
Gillat Kol,
Shay Moran
Abstract:
Hypothesis Selection is a fundamental distribution learning problem where given a comparator-class $Q=\{q_1,\ldots, q_n\}$ of distributions, and a sampling access to an unknown target distribution $p$, the goal is to output a distribution $q$ such that $\mathsf{TV}(p,q)$ is close to $opt$, where $opt = \min_i\{\mathsf{TV}(p,q_i)\}$ and $\mathsf{TV}(\cdot, \cdot)$ denotes the total-variation distan…
▽ More
Hypothesis Selection is a fundamental distribution learning problem where given a comparator-class $Q=\{q_1,\ldots, q_n\}$ of distributions, and a sampling access to an unknown target distribution $p$, the goal is to output a distribution $q$ such that $\mathsf{TV}(p,q)$ is close to $opt$, where $opt = \min_i\{\mathsf{TV}(p,q_i)\}$ and $\mathsf{TV}(\cdot, \cdot)$ denotes the total-variation distance. Despite the fact that this problem has been studied since the 19th century, its complexity in terms of basic resources, such as number of samples and approximation guarantees, remains unsettled (this is discussed, e.g., in the charming book by Devroye and Lugosi `00). This is in stark contrast with other (younger) learning settings, such as PAC learning, for which these complexities are well understood.
We derive an optimal $2$-approximation learning strategy for the Hypothesis Selection problem, outputting $q$ such that $\mathsf{TV}(p,q) \leq2 \cdot opt + \eps$, with a (nearly) optimal sample complexity of~$\tilde O(\log n/ε^2)$. This is the first algorithm that simultaneously achieves the best approximation factor and sample complexity: previously, Bousquet, Kane, and Moran (COLT `19) gave a learner achieving the optimal $2$-approximation, but with an exponentially worse sample complexity of $\tilde O(\sqrt{n}/ε^{2.5})$, and Yatracos~(Annals of Statistics `85) gave a learner with optimal sample complexity of $O(\log n /ε^2)$ but with a sub-optimal approximation factor of $3$.
△ Less
Submitted 17 August, 2021;
originally announced August 2021.
-
Optimization-friendly generic mechanisms without money
Authors:
Mark Braverman
Abstract:
The goal of this paper is to develop a generic framework for converting modern optimization algorithms into mechanisms where inputs come from self-interested agents. We focus on aggregating preferences from $n$ players in a context without money. Special cases of this setting include voting, allocation of items by lottery, and matching. Our key technical contribution is a new meta-algorithm we cal…
▽ More
The goal of this paper is to develop a generic framework for converting modern optimization algorithms into mechanisms where inputs come from self-interested agents. We focus on aggregating preferences from $n$ players in a context without money. Special cases of this setting include voting, allocation of items by lottery, and matching. Our key technical contribution is a new meta-algorithm we call \apex (Adaptive Pricing Equalizing Externalities). The framework is sufficiently general to be combined with any optimization algorithm that is based on local search. We outline an agenda for studying the algorithm's properties and its applications. As a special case of applying the framework to the problem of one-sided assignment with lotteries, we obtain a strengthening of the 1979 result by Hylland and Zeckhauser on allocation via a competitive equilibrium from equal incomes (CEEI). The [HZ79] result posits that there is a (fractional) allocation and a set of item prices such that the allocation is a competitive equilibrium given prices. We further show that there is always a reweighing of the players' utility values such that running unit-demand VCG with reweighed utilities leads to a HZ-equilibrium prices. Interestingly, not all HZ competitive equilibria come from VCG prices. As part of our proof, we re-prove the [HZ79] result using only Brouwer's fixed point theorem (and not the more general Kakutani's theorem). This may be of independent interest.
△ Less
Submitted 14 June, 2021;
originally announced June 2021.
-
Optimal tiling of the Euclidean space using symmetric bodies
Authors:
Mark Braverman,
Dor Minzer
Abstract:
What is the least surface area of a symmetric body $B$ whose $\mathbb{Z}^n$ translations tile $\mathbb{R}^n$? Since any such body must have volume $1$, the isoperimetric inequality implies that its surface area must be at least $Ω(\sqrt{n})$. Remarkably, Kindler et al.\ showed that for general bodies $B$ this is tight, i.e.\ that there is a tiling body of $\mathbb{R}^n$ whose surface area is…
▽ More
What is the least surface area of a symmetric body $B$ whose $\mathbb{Z}^n$ translations tile $\mathbb{R}^n$? Since any such body must have volume $1$, the isoperimetric inequality implies that its surface area must be at least $Ω(\sqrt{n})$. Remarkably, Kindler et al.\ showed that for general bodies $B$ this is tight, i.e.\ that there is a tiling body of $\mathbb{R}^n$ whose surface area is $O(\sqrt{n})$.
In theoretical computer science, the tiling problem is intimately to the study of parallel repetition theorems (which are an important component in PCPs), and more specifically in the question of whether a "strong version" of the parallel repetition theorem holds. Raz showed, using the odd cycle game, that strong parallel repetition fails in general, and subsequently these ideas were used in order to construct non-trivial tilings of $\mathbb{R}^n$.
In this paper, motivated by the study of a symmetric parallel repetition, we consider the symmetric variant of the tiling problem in $\mathbb{R}^n$. We show that any symmetric body that tiles $\mathbb{R}^n$ must have surface area at least $Ω(n/\sqrt{\log n})$, and that this bound is tight, i.e.\ that there is a symmetric tiling body of $\mathbb{R}^n$ with surface area $O(n/\sqrt{\log n})$. We also give matching bounds for the value of the symmetric parallel repetition of Raz's odd cycle game.
Our result suggests that while strong parallel repetition fails in general, there may be important special cases where it still applies.
△ Less
Submitted 8 November, 2020;
originally announced November 2020.
-
Misha Shubin. 1944 -- 2020
Authors:
M. Braverman,
B. M. Buchshtaber,
M. Gromov,
V. Ivrii,
Yu. A. Kordyukov,
P. Kuchment,
V. Maz'ya,
S. P. Novikov,
T. Sunada,
L. Friedlander,
A. G. Khovanskii
Abstract:
The article describes the biography and manifold contributions to research in mathematics of Mikhail Aleksandrovich Shubin.
The article describes the biography and manifold contributions to research in mathematics of Mikhail Aleksandrovich Shubin.
△ Less
Submitted 26 August, 2020;
originally announced August 2020.
-
Mikhail Aleksandrovich Shubin. December 19, 1944 -- May 13, 2020
Authors:
Maxim Braverman,
Arnold Dikansky,
Leonid Friedlander,
Misha Gromov,
Victor Ivrii,
Yuri Kordyukov,
Peter Kuchment,
Vladimir Maz'ya,
Robert Mc Owen,
Toshikazu Sunada,
Alexander Zvonkin
Abstract:
The article is dedicated to thye memory of a distinguished mathematician Professor Misha Shubin
The article is dedicated to thye memory of a distinguished mathematician Professor Misha Shubin
△ Less
Submitted 3 August, 2020;
originally announced August 2020.
-
The gradient complexity of linear regression
Authors:
Mark Braverman,
Elad Hazan,
Max Simchowitz,
Blake Woodworth
Abstract:
We investigate the computational complexity of several basic linear algebra primitives, including largest eigenvector computation and linear regression, in the computational model that allows access to the data via a matrix-vector product oracle. We show that for polynomial accuracy, $Θ(d)$ calls to the oracle are necessary and sufficient even for a randomized algorithm.
Our lower bound is based…
▽ More
We investigate the computational complexity of several basic linear algebra primitives, including largest eigenvector computation and linear regression, in the computational model that allows access to the data via a matrix-vector product oracle. We show that for polynomial accuracy, $Θ(d)$ calls to the oracle are necessary and sufficient even for a randomized algorithm.
Our lower bound is based on a reduction to estimating the least eigenvalue of a random Wishart matrix. This simple distribution enables a concise proof, leveraging a few key properties of the random Wishart ensemble.
△ Less
Submitted 23 May, 2021; v1 submitted 6 November, 2019;
originally announced November 2019.
-
Geometric quantization of b-symplectic manifolds
Authors:
Maxim Braverman,
Yiannis Loizides,
Yanli Song
Abstract:
We introduce a method of geometric quantization for compact $b$-symplectic manifolds in terms of the index of an Atiyah-Patodi-Singer (APS) boundary value problem. We show further that b-symplectic manifolds have canonical Spin-c structures in the usual sense, and that the APS index above coincides with the index of the Spin-c Dirac operator. We show that if the manifold is endowed with a Hamilton…
▽ More
We introduce a method of geometric quantization for compact $b$-symplectic manifolds in terms of the index of an Atiyah-Patodi-Singer (APS) boundary value problem. We show further that b-symplectic manifolds have canonical Spin-c structures in the usual sense, and that the APS index above coincides with the index of the Spin-c Dirac operator. We show that if the manifold is endowed with a Hamiltonian action of a compact connected Lie group with non-zero modular weights, then this method satisfies the Guillemin-Sternberg ``quantization commutes with reduction'' property. In particular our quantization coincides with the formal quantization defined by Guillemin, Miranda and Weitsman, providing a positive answer to a question posed in their paper.
△ Less
Submitted 15 February, 2021; v1 submitted 22 October, 2019;
originally announced October 2019.
-
The index of a local boundary value problem for strongly Callias-type operators
Authors:
Maxim Braverman,
Pengshuai Shi
Abstract:
We consider a complete Riemannian manifold M whose boundary is a disjoint union of finitely many complete connected Riemannian manifolds. We compute the index of a local boundary value problem for a strongly Callias-type operator on M. Our result extends an index theorem of D. Freed to non-compact manifolds, thus providing a new insight on the Horava-Witten anomaly.
We consider a complete Riemannian manifold M whose boundary is a disjoint union of finitely many complete connected Riemannian manifolds. We compute the index of a local boundary value problem for a strongly Callias-type operator on M. Our result extends an index theorem of D. Freed to non-compact manifolds, thus providing a new insight on the Horava-Witten anomaly.
△ Less
Submitted 14 October, 2018;
originally announced October 2018.
-
An index of strongly Callias operators on Lorentzian manifolds with non-compact boundary
Authors:
Maxim Braverman
Abstract:
We consider a hyperbolic Dirac-type operator with growing potential on a a spatially non-compact globally hyperbolic manifold. We show that the Atiyah-Patodi-Singer boundary value problem for such operator is Fredholm and obtain a formula for this index in terms of the local integrals and the relative eta-invariant introduced by Braverman and Shi. This extends recent results of Bär and Strohmaier,…
▽ More
We consider a hyperbolic Dirac-type operator with growing potential on a a spatially non-compact globally hyperbolic manifold. We show that the Atiyah-Patodi-Singer boundary value problem for such operator is Fredholm and obtain a formula for this index in terms of the local integrals and the relative eta-invariant introduced by Braverman and Shi. This extends recent results of Bär and Strohmaier, who studied the index of a hyperbolic Dirac operator on a spatially compact globally hyperbolic manifold.
△ Less
Submitted 29 January, 2019; v1 submitted 10 July, 2018;
originally announced July 2018.
-
The spectral Flow of a family of Toeplitz operators
Authors:
Maxim Braverman
Abstract:
We show that the (graded) spectral flow of a family of Toeplitz operators on a complete Riemannian manifold is equal to the index of a certain Callias-type operator. When the dimension of the manifold is even this leads to a cohomological formula for the spectral flow. As an application, we compute the spectral flow of a family of Toeplitz operators on a strongly pseudoconvex domain in $C^n$. This…
▽ More
We show that the (graded) spectral flow of a family of Toeplitz operators on a complete Riemannian manifold is equal to the index of a certain Callias-type operator. When the dimension of the manifold is even this leads to a cohomological formula for the spectral flow. As an application, we compute the spectral flow of a family of Toeplitz operators on a strongly pseudoconvex domain in $C^n$. This result is similar to the Boutet de Monvel's computation of the index of a single Toeplitz operator on a strongly pseudoconvex domain. Finally, we show that the bulk-boundary correspondence in a tight-binding model of topological insulators is a special case of our result.
In the appendix, Koen van den Dungen reviewed the main result in the context of (unbounded) KK-theory.
△ Less
Submitted 21 November, 2018; v1 submitted 29 March, 2018;
originally announced March 2018.
-
APS index theorem for even-dimensional manifolds with non-compact boundary
Authors:
Maxim Braverman,
Pengshuai Shi
Abstract:
We study the index of the APS boundary value problem for a strongly Callias-type operator $D$ on a complete even dimensional Riemannian manifold $M$ (the odd dimensional case was considered in our previous paper arXiv:1706.06737). We use this index to define the relative $η$-invariant $η(A_1,A_0)$ of two strongly Callias-type operators, which are equal outside of a compact set. Even though in our…
▽ More
We study the index of the APS boundary value problem for a strongly Callias-type operator $D$ on a complete even dimensional Riemannian manifold $M$ (the odd dimensional case was considered in our previous paper arXiv:1706.06737). We use this index to define the relative $η$-invariant $η(A_1,A_0)$ of two strongly Callias-type operators, which are equal outside of a compact set. Even though in our situation the $η$-invariants of $A_1$ and $A_0$ are not defined, the relative $η$-invariant behaves as if it were the difference $η(A_1)-η(A_0)$. We also define the spectral flow of a family of such operators and use it compute the variation of the relative $η$-invariant.
△ Less
Submitted 26 November, 2018; v1 submitted 24 August, 2017;
originally announced August 2017.
-
The Atiyah-Patodi-Singer index on manifolds with non-compact boundary
Authors:
Maxim Braverman,
Pengshuai Shi
Abstract:
We study the index of the APS boundary value problem for a strongly Callias-type operator D on a complete Riemannian manifold $M$. We show that this index is equal to an index on a simpler manifold whose boundary is a disjoint union of two complete manifolds $N_0$ and $N_1$. If the dimension of $M$ is odd we show that the latter index depends only on the restrictions $A_0$ and $A_1$ of $D$ to…
▽ More
We study the index of the APS boundary value problem for a strongly Callias-type operator D on a complete Riemannian manifold $M$. We show that this index is equal to an index on a simpler manifold whose boundary is a disjoint union of two complete manifolds $N_0$ and $N_1$. If the dimension of $M$ is odd we show that the latter index depends only on the restrictions $A_0$ and $A_1$ of $D$ to $N_0$ and $N_1$ and thus is an invariant of the boundary. We use this invariant to define the relative eta-invariant $η(A_1,A_0)$. We show that even though in our situation the eta-invariants of $A_1$ and $A_0$ are not defined, the relative eta-invariant behaves as if it was the difference $η(A_1)-η(A_0)$.
△ Less
Submitted 30 November, 2019; v1 submitted 21 June, 2017;
originally announced June 2017.
-
Equivariant APS index for Dirac operators of non-product type near the boundary
Authors:
Maxim Braverman,
Gideon Maschler
Abstract:
We consider a generalized APS boundary problem for a G-invariant Dirac-type operator, which is not of product type near the boundary. We establish a delocalized version (a so-called Kirillov formula) of the equivariant index theorem for this operator. We obtain more explicit formulas for different geometric Dirac-type operators. In particular, we get a formula for the equivariant signature of a lo…
▽ More
We consider a generalized APS boundary problem for a G-invariant Dirac-type operator, which is not of product type near the boundary. We establish a delocalized version (a so-called Kirillov formula) of the equivariant index theorem for this operator. We obtain more explicit formulas for different geometric Dirac-type operators. In particular, we get a formula for the equivariant signature of a local system over a manifold with boundary. In case of a trivial local system, our formula can be viewed as a new way to compute the infinitesimal equivariant eta-invariant of S. Goette. We explicitly compute all the terms in this formula, which involve the equivariant Hirzebruch L-form and its transgression, for four-dimensional SKR manifolds, a class including many Kaehler conformally Einstein manifolds, in the case where the boundary is given as the zero level set of a certain Killing potential. In the case of SKR metrics which are local Kaehler products, these terms are zero, and we obtain a vanishing result for the infinitesimal equivariant eta invariant.
△ Less
Submitted 18 September, 2017; v1 submitted 26 February, 2017;
originally announced February 2017.
-
Callias-type operators in von Neumann algebras
Authors:
Maxim Braverman,
Simone Cecchini
Abstract:
We study differential operators on complete Riemannian manifolds which act on sections of a bundle of finite type modules over a von Neumann algebra with a trace. We prove a relative index and a Callias-type index theorems for von Neumann indexes of such operators. We apply these results to obtain a version of Atiyah's $L^2$-index theorem, which states that the index of a Callias-type operator on…
▽ More
We study differential operators on complete Riemannian manifolds which act on sections of a bundle of finite type modules over a von Neumann algebra with a trace. We prove a relative index and a Callias-type index theorems for von Neumann indexes of such operators. We apply these results to obtain a version of Atiyah's $L^2$-index theorem, which states that the index of a Callias-type operator on a non-compact manifold $M$ is equal to the $Γ$-index of its lift to a Galois cover of $M$. We also prove the cobordism invariance of the index of Callias-type operators. In particular, we give a new proof of the cobordism invariance of the von Neumann index of operators on compact manifolds.
△ Less
Submitted 22 February, 2016;
originally announced February 2016.
-
Cobordism Invariance of the Index of Callias-Type Operators
Authors:
Maxim Braverman,
Pengshuai Shi
Abstract:
We introduce a notion of cobordism of Callias-type operators over complete Riemannian manifolds and prove that the index is preserved by such a cobordism. As an application we prove a gluing formula for Callias-type index. In particular, a usual index of an elliptic operator on a compact manifold can be computed as a sum of indexes of Callias-type operators on two non-compact, but topologically si…
▽ More
We introduce a notion of cobordism of Callias-type operators over complete Riemannian manifolds and prove that the index is preserved by such a cobordism. As an application we prove a gluing formula for Callias-type index. In particular, a usual index of an elliptic operator on a compact manifold can be computed as a sum of indexes of Callias-type operators on two non-compact, but topologically simpler manifolds. As another application we give a new proof of the relative index theorem for Callias-type operators, which also leads to a new proof of the Callias index theorem.
△ Less
Submitted 12 December, 2015;
originally announced December 2015.
-
Tight space-noise tradeoffs in computing the ergodic measure
Authors:
Mark Braverman,
Cristobal Rojas,
Jon Schneider
Abstract:
In this note we obtain tight bounds on the space-complexity of computing the ergodic measure of a low-dimensional discrete-time dynamical system affected by Gaussian noise. If the scale of the noise is $\varepsilon$, and the function describing the evolution of the system is not by itself a source of computational complexity, then the density function of the ergodic measure can be approximated wit…
▽ More
In this note we obtain tight bounds on the space-complexity of computing the ergodic measure of a low-dimensional discrete-time dynamical system affected by Gaussian noise. If the scale of the noise is $\varepsilon$, and the function describing the evolution of the system is not by itself a source of computational complexity, then the density function of the ergodic measure can be approximated within precision $δ$ in space polynomial in $\log 1/\varepsilon+\log\log 1/δ$. We also show that this bound is tight up to polynomial factors.
In the course of showing the above, we prove a result of independent interest in space-bounded computation: that it is possible to exponentiate an $n$ by $n$ matrix to an exponentially large power in space polylogarithmic in $n$.
△ Less
Submitted 21 August, 2015;
originally announced August 2015.
-
Spectral theory of von Neumann algebra valued differential operators over non-compact manifolds
Authors:
Maxim Braverman,
Simone Cecchini
Abstract:
We provide criteria for self-adjointness and τ-Fredhomness of first and second order differential operators acting on sections of infinite dimensional bundles, whose fibers are modules of finite type over a von Neumann algebra A endowed with a trace τ. We extend the Callias-type index to operators acting on sections of such bundles and show that this index is stable under compact perturbations.
We provide criteria for self-adjointness and τ-Fredhomness of first and second order differential operators acting on sections of infinite dimensional bundles, whose fibers are modules of finite type over a von Neumann algebra A endowed with a trace τ. We extend the Callias-type index to operators acting on sections of such bundles and show that this index is stable under compact perturbations.
△ Less
Submitted 30 November, 2015; v1 submitted 10 March, 2015;
originally announced March 2015.
-
The index theory on non-compact manifolds with proper group action
Authors:
Maxim Braverman
Abstract:
We construct a regularized index of a generalized Dirac operator on a complete Riemannian manifold endowed with a proper action of a unimodular Lie group. We show that the index is preserved by a certain class of non-compact cobordisms and prove a gluing formula for the regularized index. The results of this paper generalize our previous construction of index for compact group action and the recen…
▽ More
We construct a regularized index of a generalized Dirac operator on a complete Riemannian manifold endowed with a proper action of a unimodular Lie group. We show that the index is preserved by a certain class of non-compact cobordisms and prove a gluing formula for the regularized index. The results of this paper generalize our previous construction of index for compact group action and the recent paper of Mathai and Hochs who studied the case of a Hamiltonian action on a symplectic manifold. As an application of the cobordism invariance of the index we give an affirmative answer to a question of Mathai and Hochs about the independence of the Mathai-Hochs quantization of the metric, connection and other choices.
△ Less
Submitted 15 April, 2015; v1 submitted 28 March, 2014;
originally announced March 2014.
-
The Berry phase and the phase of the determinant
Authors:
Maxim Braverman
Abstract:
In 1984 Michael Berry discovered that an isolated eigenstate of an adiabatically changing periodic Hamiltonian $H(t)$ acquires a phase, called the Berry phase. We show that under very general assumptions the adiabatic approximation of the phase of the zeta-regularized determinant of the imaginary-time Schrodinger operator with periodic Hamiltonian is equal to the Berry phase.
In 1984 Michael Berry discovered that an isolated eigenstate of an adiabatically changing periodic Hamiltonian $H(t)$ acquires a phase, called the Berry phase. We show that under very general assumptions the adiabatic approximation of the phase of the zeta-regularized determinant of the imaginary-time Schrodinger operator with periodic Hamiltonian is equal to the Berry phase.
△ Less
Submitted 18 March, 2014; v1 submitted 23 October, 2013;
originally announced October 2013.
-
Refined analytic torsion as analytic function on the representation variety and applications
Authors:
Maxim Braverman,
Boris Vertman
Abstract:
We prove that refined analytic torsion on a manifold with boundary is an analytic section of the determinant line bundle over the representation variety. As a fundamental application we establish a gluing formula for refined analytic torsion on connected components of the complex representation space which contain a unitary point. Finally we provide a new proof of Bruening-Ma gluing formula for th…
▽ More
We prove that refined analytic torsion on a manifold with boundary is an analytic section of the determinant line bundle over the representation variety. As a fundamental application we establish a gluing formula for refined analytic torsion on connected components of the complex representation space which contain a unitary point. Finally we provide a new proof of Bruening-Ma gluing formula for the Ray-Singer torsion associated to a non-Hermitian connection. Our proof is quite different from the one given by Bruening and Ma and uses a temporal gauge transformation.
△ Less
Submitted 24 March, 2016; v1 submitted 18 July, 2013;
originally announced July 2013.
-
A new proof of a Bismut-Zhang formula for some class of representations
Authors:
Maxim Braverman,
Boris Vertman
Abstract:
Bismut and Zhang computed the ratio of the Ray-Singer and the combinatorial torsions corresponding to non-unitary representations of the fundamental group. In this note we show that for representations which belong to a connected component containing a unitary representation the Bismut-Zhang formula follows rather easily from the Cheeger-Mueller theorem, i.e. from the equality of the two torsions…
▽ More
Bismut and Zhang computed the ratio of the Ray-Singer and the combinatorial torsions corresponding to non-unitary representations of the fundamental group. In this note we show that for representations which belong to a connected component containing a unitary representation the Bismut-Zhang formula follows rather easily from the Cheeger-Mueller theorem, i.e. from the equality of the two torsions on the set of unitary representations. The proof uses the fact that the refined analytic torsion is a holomorphic function on the space of representations.
△ Less
Submitted 19 April, 2013;
originally announced April 2013.
-
Index Theory of Non-compact $G$-manifolds
Authors:
Maxim Braverman,
Leonardo Cano
Abstract:
The index theorem, discovered by Atiyah and Singer in 1963, is one of most important results in the twentieth century mathematics. It found numerous applications in analysis, geometry and physics. Since it was discovered numerous attempts to generalize it were made, see for example [5, 3, 4, 16, 12] to mention a few; some of these generalizations gave rise to new very productive areas of mathemati…
▽ More
The index theorem, discovered by Atiyah and Singer in 1963, is one of most important results in the twentieth century mathematics. It found numerous applications in analysis, geometry and physics. Since it was discovered numerous attempts to generalize it were made, see for example [5, 3, 4, 16, 12] to mention a few; some of these generalizations gave rise to new very productive areas of mathematics. In this lectures we first review the classical Atiyah-Singer index theorem and its generalization to so called transversally elliptic operators (Atiyah, 1974) due to Atiyah and Singer. Then we discuss the recent developments aimed at generalization of the index theorem for transversally elliptic operators to non-compact manifolds, [24, 10].
△ Less
Submitted 2 October, 2012;
originally announced October 2012.
-
Background cohomology of a non-compact Kahler G-manifold
Authors:
Maxim Braverman
Abstract:
For a compact Lie group G we define a regularized version of the Dolbeault cohomology of a G-equivariant holomorphic vector bundles over non-compact Kahler manifolds. The new cohomology is infinite-dimensional, but as a representation of G it decomposes into a sum of irreducible components, each of which appears in it with finite multiplicity. Thus equivariant Betti numbers are well defined. We st…
▽ More
For a compact Lie group G we define a regularized version of the Dolbeault cohomology of a G-equivariant holomorphic vector bundles over non-compact Kahler manifolds. The new cohomology is infinite-dimensional, but as a representation of G it decomposes into a sum of irreducible components, each of which appears in it with finite multiplicity. Thus equivariant Betti numbers are well defined. We study various properties of the new cohomology and prove that it satisfies a Kodaira-type vanishing theorem.
△ Less
Submitted 25 February, 2013; v1 submitted 30 March, 2012;
originally announced March 2012.
-
Noise vs computational intractability in dynamics
Authors:
Mark Braverman,
Alexander Grigo,
Cristobal Rojas
Abstract:
Computation plays a key role in predicting and analyzing natural phenomena. There are two fundamental barriers to our ability to computationally understand the long-term behavior of a dynamical system that describes a natural process. The first one is unaccounted-for errors, which may make the system unpredictable beyond a very limited time horizon. This is especially true for chaotic systems, whe…
▽ More
Computation plays a key role in predicting and analyzing natural phenomena. There are two fundamental barriers to our ability to computationally understand the long-term behavior of a dynamical system that describes a natural process. The first one is unaccounted-for errors, which may make the system unpredictable beyond a very limited time horizon. This is especially true for chaotic systems, where a small change in the initial conditions may cause a dramatic shift in the trajectories. The second one is Turing-completeness. By the undecidability of the Halting Problem, the long-term prospects of a system that can simulate a Turing Machine cannot be determined computationally.
We investigate the interplay between these two forces -- unaccounted-for errors and Turing-completeness. We show that the introduction of even a small amount of noise into a dynamical system is sufficient to "destroy" Turing-completeness, and to make the system's long-term behavior computationally predictable. On a more technical level, we deal with long-term statistical properties of dynamical systems, as described by invariant measures. We show that while there are simple dynamical systems for which the invariant measures are non-computable, perturbing such systems makes the invariant measures efficiently computable. Thus, noise that makes the short term behavior of the system harder to predict, may make its long term statistical behavior computationally tractable. We also obtain some insight into the computational complexity of predicting systems affected by random noise.
△ Less
Submitted 2 January, 2012;
originally announced January 2012.
-
The Grothendieck constant is strictly smaller than Krivine's bound
Authors:
Mark Braverman,
Konstantin Makarychev,
Yury Makarychev,
Assaf Naor
Abstract:
We prove that $K_G<\fracπ{2\log(1+\sqrt{2})}$, where $K_G$ is the Grothendieck constant.
We prove that $K_G<\fracπ{2\log(1+\sqrt{2})}$, where $K_G$ is the Grothendieck constant.
△ Less
Submitted 17 August, 2011; v1 submitted 31 March, 2011;
originally announced March 2011.
-
Thurston equivalence to a rational map is decidable
Authors:
Sylvain Bonnot,
Mark Braverman,
Michael Yampolsky
Abstract:
We demonstrate that the question whether or not a given postcritically finite topological ramified covering map of the 2-sphere is Thurston equivalent to a rational map is algorithmically decidable.
We demonstrate that the question whether or not a given postcritically finite topological ramified covering map of the 2-sphere is Thurston equivalent to a rational map is algorithmically decidable.
△ Less
Submitted 28 September, 2010;
originally announced September 2010.
-
Computability of Brolin-Lyubich Measure
Authors:
Ilia Binder,
Mark Braverman,
Cristobal Rojas,
Michael Yampolsky
Abstract:
Brolin-Lyubich measure $λ_R$ of a rational endomorphism $R:\riem\to\riem$ with $°R\geq 2$ is the unique invariant measure of maximal entropy $h_{λ_R}=h_{\text{top}}(R)=\log d$. Its support is the Julia set $J(R)$. We demonstrate that $λ_R$ is always computable by an algorithm which has access to coefficients of $R$, even when $J(R)$ is not computable. In the case when $R$ is a polynomial, Brolin-L…
▽ More
Brolin-Lyubich measure $λ_R$ of a rational endomorphism $R:\riem\to\riem$ with $°R\geq 2$ is the unique invariant measure of maximal entropy $h_{λ_R}=h_{\text{top}}(R)=\log d$. Its support is the Julia set $J(R)$. We demonstrate that $λ_R$ is always computable by an algorithm which has access to coefficients of $R$, even when $J(R)$ is not computable. In the case when $R$ is a polynomial, Brolin-Lyubich measure coincides with the harmonic measure of the basin of infinity. We find a sufficient condition for computability of the harmonic measure of a domain, which holds for the basin of infinity of a polynomial map**, and show that computability may fail for a general domain.
△ Less
Submitted 9 November, 2010; v1 submitted 17 September, 2010;
originally announced September 2010.
-
Extremes of Levy processes with light tails
Authors:
Michael Braverman
Abstract:
We give conditions under which the tail probability of the supremum over unit interval of a Levy process with light tail is equivalent to the tail of the value of the process at the right endpoint.
We give conditions under which the tail probability of the supremum over unit interval of a Levy process with light tail is equivalent to the tail of the value of the process at the right endpoint.
△ Less
Submitted 6 February, 2009;
originally announced February 2009.
-
The rate of convergence of the Walk on Spheres Algorithm
Authors:
Ilia Binder,
Mark Braverman
Abstract:
In this paper we examine the rate of convergence of one of the standard algorithms for emulating exit probabilities of Brownian motion, the Walk on Spheres (WoS) algorithm. We obtain the complete characterization of the rate of convergence of WoS in terms of the local geomnetry of a domain.
In this paper we examine the rate of convergence of one of the standard algorithms for emulating exit probabilities of Brownian motion, the Walk on Spheres (WoS) algorithm. We obtain the complete characterization of the rate of convergence of WoS in terms of the local geomnetry of a domain.
△ Less
Submitted 18 October, 2008;
originally announced October 2008.
-
A Canonical Quadratic Form on the Determinant Line of a Flat Vector Bundle
Authors:
Maxim Braverman,
Thomas Kappeler
Abstract:
We introduce and study a canonical quadratic form, called the torsion quadratic form, of the determinant line of a flat vector bundle over a closed oriented odd-dimensional manifold. This quadratic form caries less information than the refined analytic torsion, introduced in our previous work, but is easier to construct and closer related to the combinatorial Farber-Turaev torsion. In fact, the…
▽ More
We introduce and study a canonical quadratic form, called the torsion quadratic form, of the determinant line of a flat vector bundle over a closed oriented odd-dimensional manifold. This quadratic form caries less information than the refined analytic torsion, introduced in our previous work, but is easier to construct and closer related to the combinatorial Farber-Turaev torsion. In fact, the torsion quadratic form can be viewed as an analytic analogue of the Poincare-Reidemeister scalar product, introduced by Farber and Turaev. Moreover, it is also closely related to the complex analytic torsion defined by Cappell and Miller and we establish the precise relationship between the two. In addition, we show that up to an explicit factor, which depends on the Euler structure, and a sign the Burghelea-Haller complex analytic torsion, whenever it is defined, is equal to our quadratic form. We conjecture a formula for the value of the torsion quadratic form at the Farber-Turaev torsion and prove some weak version of this conjecture. As an application we establish a relationship between the Cappell-Miller and the combinatorial torsions.
△ Less
Submitted 5 October, 2007;
originally announced October 2007.
-
Symmetrized Trace and Symmetrized Determinant of Odd Class Pseudo-Differential Operators
Authors:
Maxim Braverman
Abstract:
We introduce a new canonical trace on odd class logarithmic pseudo-differential operators on an odd dimensional manifold, which vanishes on commutators. When restricted to the algebra of odd class classical pseudo-differential operators our trace coincides with the canonical trace of Kontsevich and Vishik. Using the new trace we construct a new determinant of odd class classical elliptic pseudo-…
▽ More
We introduce a new canonical trace on odd class logarithmic pseudo-differential operators on an odd dimensional manifold, which vanishes on commutators. When restricted to the algebra of odd class classical pseudo-differential operators our trace coincides with the canonical trace of Kontsevich and Vishik. Using the new trace we construct a new determinant of odd class classical elliptic pseudo-differential operators. This determinant is multiplicative up to sign whenever the multiplicative anomaly formula for usual determinants of Kontsevich-Vishik and Okikiolu holds. When restricted to operators of Dirac type our determinant provides a sign refined version of the determinant constructed by Kontsevich and Vishik. We discuss some applications of the symmetrized determinant to a non-linear $σ$-model in superconductivity.
△ Less
Submitted 26 April, 2007; v1 submitted 16 February, 2007;
originally announced February 2007.
-
Computability of Julia sets
Authors:
Mark Braverman,
Michael Yampolsky
Abstract:
In this paper we settle most of the open questions on algorithmic computability of Julia sets. In particular, we present an algorithm for constructing quadratics whose Julia sets are uncomputable. We also show that a filled Julia set of a polynomial is always computable.
In this paper we settle most of the open questions on algorithmic computability of Julia sets. In particular, we present an algorithm for constructing quadratics whose Julia sets are uncomputable. We also show that a filled Julia set of a polynomial is always computable.
△ Less
Submitted 29 September, 2007; v1 submitted 10 October, 2006;
originally announced October 2006.
-
Mafia: A theoretical study of players and coalitions in a partial information environment
Authors:
Mark Braverman,
Omid Etesami,
Elchanan Mossel
Abstract:
In this paper, we study a game called ``Mafia,'' in which different players have different types of information, communication and functionality. The players communicate and function in a way that resembles some real-life situations. We consider two types of operations. First, there are operations that follow an open democratic discussion. Second, some subgroups of players who may have different…
▽ More
In this paper, we study a game called ``Mafia,'' in which different players have different types of information, communication and functionality. The players communicate and function in a way that resembles some real-life situations. We consider two types of operations. First, there are operations that follow an open democratic discussion. Second, some subgroups of players who may have different interests make decisions based on their own group interest. A key ingredient here is that the identity of each subgroup is known only to the members of that group. In this paper, we are interested in the best strategies for the different groups in such scenarios and in evaluating their relative power. The main focus of the paper is the question: How large and strong should a subgroup be in order to dominate the game? The concrete model studied here is based on the popular game ``Mafia.'' In this game, there are three groups of players: Mafia, detectives and ordinary citizens. Initially, each player is given only his/her own identity, except the mafia, who are given the identities of all mafia members. At each ``open'' round, a vote is made to determine which player to eliminate. Additionally, there are collective decisions made by the mafia where they decide to eliminate a citizen. Finally, each detective accumulates data on the mafia/citizen status of players. The citizens win if they eliminate all mafia members. Otherwise, the mafia wins. We first find a randomized strategy that is optimal in the absence of detectives. This leads to a stochastic asymptotic analysis where it is shown that the two groups have comparable probabilities of winning exactly when the total population size is $R$ and the mafia size is of order $\sqrt{R}$. We then show that even a single detective changes the qualitative behavior of the game dramatically. Here, the mafia and citizens have comparable winning probabilities only for a mafia size linear in $R$. Finally, we provide a summary of simulations complementing the theoretical results obtained in the paper.
△ Less
Submitted 16 June, 2008; v1 submitted 19 September, 2006;
originally announced September 2006.
-
Comparison of the refined analytic and the Burghelea-Haller torsions
Authors:
Maxim Braverman,
Thomas Kappeler
Abstract:
The refined analytic torsion associated to a flat vector bundle over a closed odd-dimensional manifold canonically defines a quadratic form $τ$ on the determinant line of the cohomology. Both $τ$ and the Burghelea-Haller torsion are refinements of the Ray-Singer torsion. We show that whenever the Burghelea-Haller torsion is defined it is equal to $\pmτ$. As an application we obtain new results a…
▽ More
The refined analytic torsion associated to a flat vector bundle over a closed odd-dimensional manifold canonically defines a quadratic form $τ$ on the determinant line of the cohomology. Both $τ$ and the Burghelea-Haller torsion are refinements of the Ray-Singer torsion. We show that whenever the Burghelea-Haller torsion is defined it is equal to $\pmτ$. As an application we obtain new results about the Burghelea-Haller torsion. In particular, we prove a weak version of the Burghelea-Haller conjecture relating their torsion with the square of the Farber-Turaev combinatorial torsion.
△ Less
Submitted 28 June, 2007; v1 submitted 16 June, 2006;
originally announced June 2006.
-
Constructing Non-Computable Julia Sets
Authors:
Mark Braverman,
Michael Yampolsky
Abstract:
We completely characterize the conformal radii of Siegel disks in the family $$P_θ(z)=e^{2πiθ}z+z^2,$$ corresponding to {\bf computable} parameters $θ$. As a consequence, we constructively produce quadratic polynomials with {\bf non-computable} Julia sets.
We completely characterize the conformal radii of Siegel disks in the family $$P_θ(z)=e^{2πiθ}z+z^2,$$ corresponding to {\bf computable} parameters $θ$. As a consequence, we constructively produce quadratic polynomials with {\bf non-computable} Julia sets.
△ Less
Submitted 17 April, 2006;
originally announced April 2006.
-
On computability of Julia sets: answers to questions of Milnor and Shub
Authors:
Mark Braverman,
Michael Yampolsky
Abstract:
In this note we give answers to questions posed to us by J.Milnor and M.Shub, which shed further light on the structure of non-computable Julia sets.
In this note we give answers to questions posed to us by J.Milnor and M.Shub, which shed further light on the structure of non-computable Julia sets.
△ Less
Submitted 7 April, 2006;
originally announced April 2006.
-
Ray-Singer Type Theorem for the Refined Analytic Torsion
Authors:
Maxim Braverman,
Thomas Kappeler
Abstract:
We show that the refined analytic torsion is a holomorphic section of the determinant line bundle over the space of complex representations of the fundamental group of a closed oriented odd dimensional manifold. Further, we calculate the ratio of the refined analytic torsion and the Farber-Turaev combinatorial torsion.
As an application, we establish a formula relating the eta-invariant and th…
▽ More
We show that the refined analytic torsion is a holomorphic section of the determinant line bundle over the space of complex representations of the fundamental group of a closed oriented odd dimensional manifold. Further, we calculate the ratio of the refined analytic torsion and the Farber-Turaev combinatorial torsion.
As an application, we establish a formula relating the eta-invariant and the phase of the Farber-Turaev torsion, which extends a theorem of Farber and earlier results of ours. This formula allows to study the spectral flow using methods of combinatorial topology.
△ Less
Submitted 17 October, 2006; v1 submitted 28 March, 2006;
originally announced March 2006.
-
Refined Analytic Torsion as an Element of the Determinant Line
Authors:
Maxim Braverman,
Thomas Kappeler
Abstract:
We construct a canonical element, called the refined analytic torsion, of the determinant line of the cohomology of a closed oriented odd-dimensional manifold M with coefficients in a flat complex vector bundle E. We compute the Ray-Singer norm of the refined analytic torsion. In particular, if there exists a flat Hermitian metric on E, we show that this norm is equal to 1. We prove a duality th…
▽ More
We construct a canonical element, called the refined analytic torsion, of the determinant line of the cohomology of a closed oriented odd-dimensional manifold M with coefficients in a flat complex vector bundle E. We compute the Ray-Singer norm of the refined analytic torsion. In particular, if there exists a flat Hermitian metric on E, we show that this norm is equal to 1. We prove a duality theorem, establishing a relationship between the refined analytic torsions corresponding to a flat connection and its dual.
△ Less
Submitted 15 May, 2006; v1 submitted 25 October, 2005;
originally announced October 2005.
-
A Refinement of the Ray-Singer Torsion
Authors:
Maxim Braverman,
Thomas Kappeler
Abstract:
This is a short version of math.DG/0505537. For an acyclic representation of the fundamental group of a compact oriented odd-dimensional manifold, which is close enough to a unitary representation, we define a refinement of the Ray-Singer torsion associated to this representation. This new invariant can be viewed as an analytic counterpart of the refined combinatorial torsion introduced by Turae…
▽ More
This is a short version of math.DG/0505537. For an acyclic representation of the fundamental group of a compact oriented odd-dimensional manifold, which is close enough to a unitary representation, we define a refinement of the Ray-Singer torsion associated to this representation. This new invariant can be viewed as an analytic counterpart of the refined combinatorial torsion introduced by Turaev.
The refined analytic torsion is a holomorphic function of the representation of the fundamental group. When the representation is unitary, the absolute value of the refined analytic torsion is equal to the Ray-Singer torsion, while its phase is determined by the eta-invariant. The fact that the Ray-Singer torsion and the eta-invariant can be combined into one holomorphic function allows to use methods of complex analysis to study both invariants.
△ Less
Submitted 23 September, 2005;
originally announced September 2005.
-
On computational complexity of Riemann map**
Authors:
Ilia Binder,
Mark Braverman,
Michael Yampolsky
Abstract:
In this paper we consider the computational complexity of uniformizing a domain with a given computable boundary. We give nontrivial upper and lower bounds in two settings: when the approximation of boundary is given either as a list of pixels, or by a Turing Machine.
In this paper we consider the computational complexity of uniformizing a domain with a given computable boundary. We give nontrivial upper and lower bounds in two settings: when the approximation of boundary is given either as a list of pixels, or by a Turing Machine.
△ Less
Submitted 5 February, 2007; v1 submitted 27 May, 2005;
originally announced May 2005.
-
Refined Analytic Torsion
Authors:
Maxim Braverman,
Thomas Kappeler
Abstract:
For an acyclic representation of the fundamental group of a compact oriented odd-dimensional manifold, which is close enough to a unitary representation, we define a refinement of the Ray-Singer torsion associated to this representation. This new invariant can be viewed as an analytic counterpart of the refined combinatorial torsion introduced by Turaev.
The refined analytic torsion is a holom…
▽ More
For an acyclic representation of the fundamental group of a compact oriented odd-dimensional manifold, which is close enough to a unitary representation, we define a refinement of the Ray-Singer torsion associated to this representation. This new invariant can be viewed as an analytic counterpart of the refined combinatorial torsion introduced by Turaev.
The refined analytic torsion is a holomorphic function of the representation of the fundamental group. When the representation is unitary, the absolute value of the refined analytic torsion is equal to the Ray-Singer torsion, while its phase is determined by the eta-invariant. The fact that the Ray-Singer torsion and the eta-invariant can be combined into one holomorphic function allows to use methods of complex analysis to study both invariants. In particular, we extend and improve a result of Farber about the relationship between the Farber-Turaev absolute torsion and the eta-invariant.
△ Less
Submitted 20 December, 2005; v1 submitted 25 May, 2005;
originally announced May 2005.
-
Parabolic Julia Sets are Polynomial Time Computable
Authors:
Mark Braverman
Abstract:
In this paper we prove that parabolic Julia sets of rational functions are locally computable in polynomial time.
In this paper we prove that parabolic Julia sets of rational functions are locally computable in polynomial time.
△ Less
Submitted 22 June, 2005; v1 submitted 3 May, 2005;
originally announced May 2005.
-
On computational complexity of Siegel Julia sets
Authors:
I. Binder,
M. Braverman,
M. Yampolsky
Abstract:
It has been previously shown by two of the authors that some polynomial Julia sets are algorithmically impossible to draw with arbitrary magnification. On the other hand, for a large class of examples the problem of drawing a picture has polynomial complexity. In this paper we demonstrate the existence of computable quadratic Julia sets whose computational complexity is arbitrarily high.
It has been previously shown by two of the authors that some polynomial Julia sets are algorithmically impossible to draw with arbitrary magnification. On the other hand, for a large class of examples the problem of drawing a picture has polynomial complexity. In this paper we demonstrate the existence of computable quadratic Julia sets whose computational complexity is arbitrarily high.
△ Less
Submitted 7 November, 2005; v1 submitted 16 February, 2005;
originally announced February 2005.
-
On the Complexity of Real Functions
Authors:
Mark Braverman
Abstract:
We develop a notion of computability and complexity of functions over the reals, which seems to be very natural when one tries to determine just how "difficult" a certain function is. This notion can be viewed as an extension of both BSS computability [Blum, Cucker, Shub, Smale 1998], and bit computability in the tradition of computable analysis [Weihrauch 2000] as it relies on the latter but al…
▽ More
We develop a notion of computability and complexity of functions over the reals, which seems to be very natural when one tries to determine just how "difficult" a certain function is. This notion can be viewed as an extension of both BSS computability [Blum, Cucker, Shub, Smale 1998], and bit computability in the tradition of computable analysis [Weihrauch 2000] as it relies on the latter but allows some discontinuities and multiple values.
△ Less
Submitted 15 February, 2005;
originally announced February 2005.
-
Filled Julia sets with empty interior are computable
Authors:
I. Binder,
M. Braverman,
M. Yampolsky
Abstract:
We show that if a polynomial filled Julia set has empty interior, then it is computable.
We show that if a polynomial filled Julia set has empty interior, then it is computable.
△ Less
Submitted 27 June, 2006; v1 submitted 27 October, 2004;
originally announced October 2004.
-
Non-computable Julia sets
Authors:
Mark Braverman,
Michael Yampolsky
Abstract:
We show that under the definition of computability which is natural from the point of view of applications, there exist non-computable quadratic Julia sets.
We show that under the definition of computability which is natural from the point of view of applications, there exist non-computable quadratic Julia sets.
△ Less
Submitted 6 December, 2005; v1 submitted 22 June, 2004;
originally announced June 2004.
