Showing 1–34 of 34 results for author: Stern, M

Kullback-Leibler Consistency of $p$-dimensional Pólya Tree Posteriors and Differential Entropy Estimation

Authors: Fernando Corrêa, Rafael Bassi Stern, Julio Michael Stern

Abstract: We exploit the multiplicative structure of Pólya Tree priors for density and differential entropy estimation in $p$-dimensions. We establish: (i) a representation theorem of entropy functionals and (ii) conditions on the parameters of Pólya Trees to obtain Kullback-Leibler and Total Variation consistency for vectors with compact support. Those results motivate a novel differential entropy estimato… ▽ More We exploit the multiplicative structure of Pólya Tree priors for density and differential entropy estimation in $p$-dimensions. We establish: (i) a representation theorem of entropy functionals and (ii) conditions on the parameters of Pólya Trees to obtain Kullback-Leibler and Total Variation consistency for vectors with compact support. Those results motivate a novel differential entropy estimator that is consistent in probability for compact supported vectors under mild conditions. In order to enable applications of both results, we also provide a theoretical motivation for the truncation of Univariate Pólya Trees at level $3 \log_2 n $. △ Less

Submitted 3 April, 2025; originally announced April 2025.

Comments: 20 pages

Lp -cohomology and the geometry of p-harmonic forms

Authors: Mark A. Stern

Abstract: In this note we describe basic geometric properties of p-harmonic forms and p-coclosed forms and use them to reprove vanishing theorems of Pansu and new injectivity theorems for the Lp -cohomology of simply connected, pinched negatively curved manifolds. We also provide a partial resolution of a conjecture of Gromov on the vanishing of Lp -cohomology on symmetric spaces. In this note we describe basic geometric properties of p-harmonic forms and p-coclosed forms and use them to reprove vanishing theorems of Pansu and new injectivity theorems for the Lp -cohomology of simply connected, pinched negatively curved manifolds. We also provide a partial resolution of a conjecture of Gromov on the vanishing of Lp -cohomology on symmetric spaces. △ Less

Submitted 2 September, 2024; v1 submitted 28 March, 2024; originally announced March 2024.

Comments: 17 pages. Comments welcome. Results depending on the Hodge decomposition of reference [Ama17] removed

MSC Class: 57

Instantons on multi-Taub-NUT Spaces III: Down Transform, Completeness, and Isometry

Authors: Sergey A. Cherkis, Andrés Larraín-Hubach, Mark Stern

Abstract: The index bundle of a family of Dirac operators associated to an instanton on a multi-Taub-NUT space forms a bow representation. We prove that the gauge equivalence classes of solutions of this bow representation are in one-to-one correspondence with the instantons. We also prove that this correspondence establishes an isometry of the bow and instanton moduli spaces. The index bundle of a family of Dirac operators associated to an instanton on a multi-Taub-NUT space forms a bow representation. We prove that the gauge equivalence classes of solutions of this bow representation are in one-to-one correspondence with the instantons. We also prove that this correspondence establishes an isometry of the bow and instanton moduli spaces. △ Less

Submitted 7 January, 2025; v1 submitted 3 August, 2023; originally announced August 2023.

Comments: Minor corrections, 54 page, 1 figure

MSC Class: 53C26; 53D20

The e-value and the Full Bayesian Significance Test: Logical Properties and Philosophical Consequences

Authors: Julio Michael Stern, Carlos Alberto de Braganca Pereira, Marcelo de Souza Lauretto, Luis Gustavo Esteves, Rafael Izbicki, Rafael Bassi Stern, Marcio Alves Diniz, Wagner de Souza Borges

Abstract: This article gives a conceptual review of the e-value, ev(H|X) -- the epistemic value of hypothesis H given observations X. This statistical significance measure was developed in order to allow logically coherent and consistent tests of hypotheses, including sharp or precise hypotheses, via the Full Bayesian Significance Test (FBST). Arguments of analysis allow a full characterization of this stat… ▽ More This article gives a conceptual review of the e-value, ev(H|X) -- the epistemic value of hypothesis H given observations X. This statistical significance measure was developed in order to allow logically coherent and consistent tests of hypotheses, including sharp or precise hypotheses, via the Full Bayesian Significance Test (FBST). Arguments of analysis allow a full characterization of this statistical test by its logical or compositional properties, showing a mutual complementarity between results of mathematical statistics and the logical desiderata lying at the foundations of this theory. △ Less

Submitted 22 June, 2024; v1 submitted 16 May, 2022; originally announced May 2022.

MSC Class: 62A01; 62F15

Logical coherence in Bayesian simultaneous three-way hypothesis tests

Authors: Bernardo F. Reimann, Rafael Izbicki, Julio M. Stern, Rafael B. Stern, Luis G. Esteves

Abstract: This paper studies whether Bayesian simultaneous three-way hypothesis tests can be logically coherent. Two types of results are obtained. First, under the standard error-wise constant loss, only for a limited set of models can a Bayes simultaneous test be logically coherent. Second, if more general loss functions are used, then it is possible to obtain Bayes simultaneous tests that are always logi… ▽ More This paper studies whether Bayesian simultaneous three-way hypothesis tests can be logically coherent. Two types of results are obtained. First, under the standard error-wise constant loss, only for a limited set of models can a Bayes simultaneous test be logically coherent. Second, if more general loss functions are used, then it is possible to obtain Bayes simultaneous tests that are always logically coherent. An explicit example of such a loss function is provided. △ Less

Submitted 4 April, 2022; originally announced April 2022.

Comments: 19 pages, 1 figure

MSC Class: 62C10

Dynamic Posted-Price Mechanisms for the Blockchain Transaction Fee Market

Authors: Matheus V. X. Ferreira, Daniel J. Moroz, David C. Parkes, Mitchell Stern

Abstract: In recent years, prominent blockchain systems such as Bitcoin and Ethereum have experienced explosive growth in transaction volume, leading to frequent surges in demand for limited block space and causing transaction fees to fluctuate by orders of magnitude. Existing systems sell space using first-price auctions; however, users find it difficult to estimate how much they need to bid in order to ge… ▽ More In recent years, prominent blockchain systems such as Bitcoin and Ethereum have experienced explosive growth in transaction volume, leading to frequent surges in demand for limited block space and causing transaction fees to fluctuate by orders of magnitude. Existing systems sell space using first-price auctions; however, users find it difficult to estimate how much they need to bid in order to get their transactions accepted onto the chain. If they bid too low, their transactions can have long confirmation times. If they bid too high, they pay larger fees than necessary. In light of these issues, new transaction fee mechanisms have been proposed, most notably EIP-1559, aiming to provide better usability. EIP-1559 is a history-dependent mechanism that relies on block utilization to adjust a base fee. We propose an alternative design -- a {\em dynamic posted-price mechanism} -- which uses not only block utilization but also observable bids from past blocks to compute a posted price for subsequent blocks. We show its potential to reduce price volatility by providing examples for which the prices of EIP-1559 are unstable while the prices of the proposed mechanism are stable. More generally, whenever the demand for the blockchain stabilizes, we ask if our mechanism is able to converge to a stable state. Our main result provides sufficient conditions in a probabilistic setting for which the proposed mechanism is approximately welfare optimal and the prices are stable. Our main technical contribution towards establishing stability is an iterative algorithm that, given oracle access to a Lipschitz continuous and strictly concave function $f$, converges to a fixed point of $f$. △ Less

Submitted 16 November, 2021; v1 submitted 25 March, 2021; originally announced March 2021.

Journal ref: AFT '21: Proceedings of the 3rd ACM Conference on Advances in Financial Technologies, 2021, 86-99

Instantons on multi-Taub-NUT Spaces II: Bow Construction

Authors: Sergey Cherkis, Andrés Larraín-Hubach, Mark Stern

Abstract: Unitary anti-self-dual connections on Asymptotically Locally Flat (ALF) hyperkähler spaces are constructed in terms of data organized in a bow. Bows generalize quivers, and the relevant bow gives rise to the underlying ALF space as the moduli space of its particular representation -- the small representation. Any other representation of that bow gives rise to anti-self-dual connections on that ALF… ▽ More Unitary anti-self-dual connections on Asymptotically Locally Flat (ALF) hyperkähler spaces are constructed in terms of data organized in a bow. Bows generalize quivers, and the relevant bow gives rise to the underlying ALF space as the moduli space of its particular representation -- the small representation. Any other representation of that bow gives rise to anti-self-dual connections on that ALF space. We prove that each resulting connection has finite action, i.e. it is an instanton. Moreover, we derive the asymptotic form of such a connection and compute its topological class. △ Less

Submitted 23 March, 2021; originally announced March 2021.

Comments: 65 pages, 5 figures

MSC Class: 53C26; 53D20

On the Betti Numbers of Finite Volume Hyperbolic Manifolds

Authors: Luca F. Di Cerbo, Mark Stern

Abstract: We obtain strong upper bounds for the Betti numbers of compact complex-hyperbolic manifolds. We use the unitary holonomy to improve the results given by the most direct application of the techniques of [DS17]. We also provide effective upper bounds for Betti numbers of compact quaternionic- and Cayley-hyperbolic manifolds in most degrees. More importantly, we extend our techniques to complete fini… ▽ More We obtain strong upper bounds for the Betti numbers of compact complex-hyperbolic manifolds. We use the unitary holonomy to improve the results given by the most direct application of the techniques of [DS17]. We also provide effective upper bounds for Betti numbers of compact quaternionic- and Cayley-hyperbolic manifolds in most degrees. More importantly, we extend our techniques to complete finite volume real- and complex-hyperbolic manifolds. In this setting, we develop new monotonicity inequalities for strongly harmonic forms on hyperbolic cusps and employ a new peaking argument to estimate $L^2$-cohomology ranks. Finally, we provide bounds on the de Rham cohomology of such spaces, using a combination of our bounds on $L^2$-cohomology, bounds on the number of cusps in terms of the volume, and the topological interpretation of reduced $L^2$-cohomology on certain rank one locally symmetric spaces. △ Less

Submitted 9 April, 2024; v1 submitted 23 September, 2020; originally announced September 2020.

Comments: Some changes and references updated following the comments of the referees. 56 pages, no figures. To appear in J. Differential Geom

Journal ref: J. Differential Geom. Vol. 130, Issue 2 (2025), pp. 343-402

Cointegration and unit root tests: A fully Bayesian approach

Authors: Marcio Alves Diniz, Carlos Alberto de Braganca Pereira, Julio Michael Stern

Abstract: To perform statistical inference for time series, one should be able to assess if they present deterministic or stochastic trends. For univariate analysis one way to detect stochastic trends is to test if the series has unit roots, and for multivariate studies it is often relevant to search for stationary linear relationships between the series, or if they cointegrate. The main goal of this articl… ▽ More To perform statistical inference for time series, one should be able to assess if they present deterministic or stochastic trends. For univariate analysis one way to detect stochastic trends is to test if the series has unit roots, and for multivariate studies it is often relevant to search for stationary linear relationships between the series, or if they cointegrate. The main goal of this article is to briefly review the shortcomings of unit root and cointegration tests proposed by the Bayesian approach of statistical inference and to show how they can be overcome by the fully Bayesian significance test (FBST), a procedure designed to test sharp or precise hypothesis. We will compare its performance with the most used frequentist alternatives, namely, the Augmented Dickey-Fuller for unit roots and the maximum eigenvalue test for cointegration. Keywords: Time series; Bayesian inference; Hypothesis testing; Unit root; Cointegration. △ Less

Submitted 12 September, 2020; v1 submitted 8 June, 2020; originally announced June 2020.

MSC Class: 62F15 (Primary) 62M10 (Secondary)

Journal ref: Entropy 2020, 22(9), 968, 1-23

The e-value: A Fully Bayesian Significance Measure for Precise Statistical Hypotheses and its Research Program

Authors: Julio Michael Stern, Carlos Alberto de Braganca Pereira

Abstract: This article gives a survey of the e-value, a statistical significance measure a.k.a. the evidence rendered by observational data, X, in support of a statistical hypothesis, H, or, the other way around, the epistemic value of H given X. The $e$-value and the accompanying FBST, the Full Bayesian Significance Test, constitute the core of a research program that was started at IME-USP, is being devel… ▽ More This article gives a survey of the e-value, a statistical significance measure a.k.a. the evidence rendered by observational data, X, in support of a statistical hypothesis, H, or, the other way around, the epistemic value of H given X. The $e$-value and the accompanying FBST, the Full Bayesian Significance Test, constitute the core of a research program that was started at IME-USP, is being developed by over 20 researchers worldwide, and has, so far, been referenced by over 200 publications. The e-value and the FBST comply with the best principles of Bayesian inference, including the likelihood principle, complete invariance, asymptotic consistency, etc. Furthermore, they exhibit powerful logic or algebraic properties in situations where one needs to compare or compose distinct hypotheses that can be formulated either in the same or in different statistical models. Moreover, they effortlessly accommodate the case of sharp or precise hypotheses, a situation where alternative methods often require ad hoc and convoluted procedures. Finally, the FBST has outstanding robustness and reliability characteristics, outperforming traditional tests of hypotheses in many practical applications of statistical modeling and operations research. △ Less

Submitted 28 April, 2020; v1 submitted 28 January, 2020; originally announced January 2020.

MSC Class: 62F15; 62F03; 62A01

Harmonic Forms, Price Inequalities, and Benjamini-Schramm Convergence

Authors: Luca F. Di Cerbo, Mark Stern

Abstract: We study Betti numbers of sequences of Riemannian manifolds which Benjamini-Schramm converge to their universal covers. Using the Price inequalities we developed elsewhere, we derive two distinct convergence results. First, under a negative Ricci curvature assumption and no assumption on sign of the sectional curvature, we have a convergence result for weakly uniform discrete sequences of closed R… ▽ More We study Betti numbers of sequences of Riemannian manifolds which Benjamini-Schramm converge to their universal covers. Using the Price inequalities we developed elsewhere, we derive two distinct convergence results. First, under a negative Ricci curvature assumption and no assumption on sign of the sectional curvature, we have a convergence result for weakly uniform discrete sequences of closed Riemannian manifolds. In the negative sectional curvature case, we are able to remove the weakly uniform discreteness assumption. This is achieved by combining a refined Thick-Thin decomposition together with a Moser iteration argument for harmonic forms on manifolds with boundary. △ Less

Submitted 28 October, 2024; v1 submitted 12 September, 2019; originally announced September 2019.

Comments: Final version to appear in J. Geometric Analysis. 25 pages

Logically-consistent hypothesis testing in the hexagon of oppositions

Authors: Julio M. Stern, Luis G. Esteves, Rafael Izbicki, Rafael B. Stern

Abstract: Although logical consistency is desirable in scientific research, standard statistical hypothesis tests are typically logically inconsistent. In order to address this issue, previous work introduced agnostic hypothesis tests and proved that they can be logically consistent while retaining statistical optimality properties. This paper characterizes the credal modalities in agnostic hypothesis tests… ▽ More Although logical consistency is desirable in scientific research, standard statistical hypothesis tests are typically logically inconsistent. In order to address this issue, previous work introduced agnostic hypothesis tests and proved that they can be logically consistent while retaining statistical optimality properties. This paper characterizes the credal modalities in agnostic hypothesis tests and uses the hexagon of oppositions to explain the logical relations between these modalities. Geometric solids that are composed of hexagons of oppositions illustrate the conditions for these modalities to be logically consistent. Prisms composed of hexagons of oppositions show how the credal modalities obtained from two agnostic tests vary according to their threshold values. Nested hexagons of oppositions summarize logical relations between the credal modalities in these tests and prove new relations. △ Less

Submitted 18 May, 2019; originally announced May 2019.

Comments: 25 pages, 9 figures

Journal ref: Logic Journal of the IGPL, 25(5), 741-757 (2017)

Auditable Blockchain Randomization Tool

Authors: Olivia Saa, Julio Michael Stern

Abstract: Randomization is an integral part of well-designed statistical trials, and is also a required procedure in legal systems, see Marcondes et al. (2019) This paper presents an easy to implement randomization protocol that assures, in a formal mathematical setting, a statistically sound, computationally efficient, cryptographically secure, traceable and auditable randomization procedure that is also r… ▽ More Randomization is an integral part of well-designed statistical trials, and is also a required procedure in legal systems, see Marcondes et al. (2019) This paper presents an easy to implement randomization protocol that assures, in a formal mathematical setting, a statistically sound, computationally efficient, cryptographically secure, traceable and auditable randomization procedure that is also resistant to collusion and manipulation by participating agents. △ Less

Submitted 20 April, 2019; originally announced April 2019.

Comments: 7 pages

Journal ref: MaxEnt 2019 - Proceedings of the 39th International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, Garching, Germany, 30 June - 5 July 2019

Stochastic Cubic Regularization for Fast Nonconvex Optimization

Authors: Nilesh Tripuraneni, Mitchell Stern, Chi Jin, Jeffrey Regier, Michael I. Jordan

Abstract: This paper proposes a stochastic variant of a classic algorithm---the cubic-regularized Newton method [Nesterov and Polyak 2006]. The proposed algorithm efficiently escapes saddle points and finds approximate local minima for general smooth, nonconvex functions in only $\mathcal{\tilde{O}}(ε^{-3.5})$ stochastic gradient and stochastic Hessian-vector product evaluations. The latter can be computed… ▽ More This paper proposes a stochastic variant of a classic algorithm---the cubic-regularized Newton method [Nesterov and Polyak 2006]. The proposed algorithm efficiently escapes saddle points and finds approximate local minima for general smooth, nonconvex functions in only $\mathcal{\tilde{O}}(ε^{-3.5})$ stochastic gradient and stochastic Hessian-vector product evaluations. The latter can be computed as efficiently as stochastic gradients. This improves upon the $\mathcal{\tilde{O}}(ε^{-4})$ rate of stochastic gradient descent. Our rate matches the best-known result for finding local minima without requiring any delicate acceleration or variance-reduction techniques. △ Less

Submitted 5 December, 2017; v1 submitted 8 November, 2017; originally announced November 2017.

Comments: The first two authors contributed equally

Price Inequalities and Betti Number Growth on Manifolds without Conjugate Points

Authors: Luca F. Di Cerbo, Mark Stern

Abstract: We derive Price inequalities for harmonic forms on manifolds without conjugate points and with a negative Ricci upper bound. The techniques employed in the proof work particularly well for manifolds of non-positive sectional curvature, and in this case we prove a strengthened Price inequality. We employ these inequalities to study the asymptotic behavior of the Betti numbers of coverings of Rieman… ▽ More We derive Price inequalities for harmonic forms on manifolds without conjugate points and with a negative Ricci upper bound. The techniques employed in the proof work particularly well for manifolds of non-positive sectional curvature, and in this case we prove a strengthened Price inequality. We employ these inequalities to study the asymptotic behavior of the Betti numbers of coverings of Riemannian manifolds without conjugate points. Finally, we give a vanishing result for $L^{2}$-Betti numbers of closed manifolds without conjugate points. △ Less

Submitted 12 August, 2019; v1 submitted 20 April, 2017; originally announced April 2017.

Comments: Some changes and typos corrected following referees' reports. To appear in Comm. Anal. Geom., 31 pages

Geometry of the smallest 1-form Laplacian eigenvalue on hyperbolic manifolds

Authors: Michael Lipnowski, Mark Stern

Abstract: We relate small 1-form Laplacian eigenvalues to relative cycle complexity on closed hyperbolic manifolds: small eigenvalues correspond to closed geodesics no multiple of which bounds a surface of small genus. We describe potential applications of this equivalence principle toward proving optimal torsion homology growth in families of hyperbolic 3-manifolds Benjamini-Schramm converging to… ▽ More We relate small 1-form Laplacian eigenvalues to relative cycle complexity on closed hyperbolic manifolds: small eigenvalues correspond to closed geodesics no multiple of which bounds a surface of small genus. We describe potential applications of this equivalence principle toward proving optimal torsion homology growth in families of hyperbolic 3-manifolds Benjamini-Schramm converging to $\mathbb{H}^3.$ △ Less

Submitted 10 November, 2016; originally announced November 2016.

Instantons on multi-Taub-NUT Spaces I: Asymptotic Form and Index Theorem

Authors: Sergey A. Cherkis, Andres Larrain-Hubach, Mark Stern

Abstract: We study finite action anti-self-dual Yang-Mills connections on the multi-Taub-NUT space. We establish the curvature and the harmonic spinors decay rates and compute the index of the associated Dirac operator. This is the first in a series of papers proving the completeness of the bow construction of instantons on multi-Taub-NUT spaces and exploring it in detail. We study finite action anti-self-dual Yang-Mills connections on the multi-Taub-NUT space. We establish the curvature and the harmonic spinors decay rates and compute the index of the associated Dirac operator. This is the first in a series of papers proving the completeness of the bow construction of instantons on multi-Taub-NUT spaces and exploring it in detail. △ Less

Submitted 7 December, 2019; v1 submitted 29 July, 2016; originally announced August 2016.

Comments: 70 pages, LaTeX, Exposition Improved

Journal ref: Journal of Differential Geometry, Vol. 119, No. 1 (2021), pp. 1-72

Eigenvalues of block structured asymmetric random matrices

Authors: Johnatan Aljadeff, David Renfrew, Merav Stern

Abstract: We study the spectrum of an asymmetric random matrix with block structured variances. The rows and columns of the random square matrix are divided into $D$ partitions with arbitrary size (linear in $N$). The parameters of the model are the variances of elements in each block, summarized in $g\in\mathbb{R}^{D\times D}_+$. Using the Hermitization approach and by studying the matrix-valued Stieltjes… ▽ More We study the spectrum of an asymmetric random matrix with block structured variances. The rows and columns of the random square matrix are divided into $D$ partitions with arbitrary size (linear in $N$). The parameters of the model are the variances of elements in each block, summarized in $g\in\mathbb{R}^{D\times D}_+$. Using the Hermitization approach and by studying the matrix-valued Stieltjes transform we show that these matrices have a circularly symmetric spectrum, we give an explicit formula for their spectral radius and a set of implicit equations for the full density function. We discuss applications of this model to neural networks. △ Less

Submitted 4 August, 2015; v1 submitted 10 November, 2014; originally announced November 2014.

Nonlinear Harmonic Forms and an Indefinite Bochner Formula

Authors: Mark Stern

Abstract: We introduce the study of nonlinear harmonic forms. These are forms which minimize the $L_2$ energy in a cohomology class subject to a nonlinear constraint. In this note, we include only motivations and the most basic existence results. We also introduce a variant of the Bochner formula suitable for probing the structure of the intersection form of a 4-manifold. We introduce the study of nonlinear harmonic forms. These are forms which minimize the $L_2$ energy in a cohomology class subject to a nonlinear constraint. In this note, we include only motivations and the most basic existence results. We also introduce a variant of the Bochner formula suitable for probing the structure of the intersection form of a 4-manifold. △ Less

Submitted 21 October, 2015; v1 submitted 1 November, 2014; originally announced November 2014.

Comments: 12 pages, title changed, first and second variation discussion added

$C^{\infty}$ Stability, Canonical Maps, and Discrete Dynamics

Authors: Mark Stern

Abstract: We study a discrete dynamical system designed to find a 'most holomorphic' connection on a smooth complex vector bundle $E$. We examine the relation between the distance of the chern classes of $E$ from the $(p,p)$ axis of the Hodge diamond and singularity formation. Canonical connections and canonical metrics pulled back from Grassmannians play a major role, and we review their differential geome… ▽ More We study a discrete dynamical system designed to find a 'most holomorphic' connection on a smooth complex vector bundle $E$. We examine the relation between the distance of the chern classes of $E$ from the $(p,p)$ axis of the Hodge diamond and singularity formation. Canonical connections and canonical metrics pulled back from Grassmannians play a major role, and we review their differential geometry. As an exercise in the geometry of canonical connections, we include an expression for the curvature in terms of heat kernels. △ Less

Submitted 31 October, 2014; originally announced October 2014.

Comments: 13 pages

Transition to chaos in random networks with cell-type-specific connectivity

Authors: Johnatan Aljadeff, Merav Stern, Tatyana O. Sharpee

Abstract: In neural circuits, statistical connectivity rules strongly depend on neuronal type. Here we study dynamics of neural networks with cell-type specific connectivity by extending the dynamic mean field method, and find that these networks exhibit a phase transition between silent and chaotic activity. By analyzing the locus of this transition, we derive a new result in random matrix theory: the spec… ▽ More In neural circuits, statistical connectivity rules strongly depend on neuronal type. Here we study dynamics of neural networks with cell-type specific connectivity by extending the dynamic mean field method, and find that these networks exhibit a phase transition between silent and chaotic activity. By analyzing the locus of this transition, we derive a new result in random matrix theory: the spectral radius of a random connectivity matrix with block-structured variances. We apply our results to show how a small group of hyper-excitable neurons within the network can significantly increase the network's computational capacity. △ Less

Submitted 8 July, 2014; originally announced July 2014.

Journal ref: Phys. Rev. Lett. 114, 088101 (2015)

Witten spinors on nonspin manifolds

Authors: Anda Degeratu, Mark Stern

Abstract: Motivated by Witten's spinor proof of the positive mass theorem, we analyze asymptotically constant harmonic spinors on complete asymptotically flat nonspin manifolds with nonnegative scalar curvature. Motivated by Witten's spinor proof of the positive mass theorem, we analyze asymptotically constant harmonic spinors on complete asymptotically flat nonspin manifolds with nonnegative scalar curvature. △ Less

Submitted 25 September, 2013; v1 submitted 1 December, 2011; originally announced December 2011.

Comments: revised version; aceepted in Communications in Mathematical Physics

Asymptotic Hodge Theory of Vector Bundles

Authors: Benoit Charbonneau, Mark Stern

Abstract: We introduce several families of filtrations on the space of vector bundles over a smooth projective variety. These filtrations are defined using the large k asymptotics of the kernel of the Dolbeault Dirac operator on a bundle twisted by the kth power of an ample line bundle. The filtrations measure the failure of the bundle to admit a holomorphic structure. We study compatibility under the Chern… ▽ More We introduce several families of filtrations on the space of vector bundles over a smooth projective variety. These filtrations are defined using the large k asymptotics of the kernel of the Dolbeault Dirac operator on a bundle twisted by the kth power of an ample line bundle. The filtrations measure the failure of the bundle to admit a holomorphic structure. We study compatibility under the Chern isomorphism of these filtrations with the Hodge filtration on cohomology. △ Less

Submitted 2 November, 2011; originally announced November 2011.

Comments: 23 pages

Journal ref: Communications in Analysis and Geometry vol. 23 no. 3, pp. 559-609. (2015)

Esparsidade, Estrutura, Escalamento e Estabilidade em Algebra Linear Computacional

Authors: Julio M. Stern

Abstract: Sparsity, Structure, Scaling and Stability in Computational Linear Algebra - Textbook from the IX School of Computer Science, held on July 24-31 of 1994 at Recife, Brazil. Esparsidade, Estrutura, Escalamento e Estabilidade em Algebra Linear Computacional - Livro texto da IX Escola de Computacao, realizada nos dias 24 a 31 de Julho de 1994 em Recife, Brasil. This textbook is written in Portugue… ▽ More Sparsity, Structure, Scaling and Stability in Computational Linear Algebra - Textbook from the IX School of Computer Science, held on July 24-31 of 1994 at Recife, Brazil. Esparsidade, Estrutura, Escalamento e Estabilidade em Algebra Linear Computacional - Livro texto da IX Escola de Computacao, realizada nos dias 24 a 31 de Julho de 1994 em Recife, Brasil. This textbook is written in Portuguese Language. △ Less

Submitted 28 July, 2011; v1 submitted 20 July, 2011; originally announced July 2011.

Spectral asymmetry for manifolds of special holonomy

Authors: Mark Stern

Abstract: We define a measure of spectral asymmetry for G_2 and Spin(7) manifolds. We show that this invariant can be computed in terms of characteristic classes and the covariant constant form defining the G_2 or Spin(7) structure. We define a measure of spectral asymmetry for G_2 and Spin(7) manifolds. We show that this invariant can be computed in terms of characteristic classes and the covariant constant form defining the G_2 or Spin(7) structure. △ Less

Submitted 12 February, 2009; originally announced February 2009.

Comments: 9 pages

Geometry of minimal energy Yang-Mills connections

Authors: Mark A. Stern

Abstract: We study the converse to the statement that instantons are minimizers of the Yang--Mills energy in four dimensions. We show that given an energy minimizing connection, A, the curvature of A takes values in a subbundle of the adjoint bundle which decomposes as a sum of instantons. We study the converse to the statement that instantons are minimizers of the Yang--Mills energy in four dimensions. We show that given an energy minimizing connection, A, the curvature of A takes values in a subbundle of the adjoint bundle which decomposes as a sum of instantons. △ Less

Submitted 16 August, 2008; v1 submitted 5 August, 2008; originally announced August 2008.

Comments: 16 pages; removed sections on duality for tori in dimensions greater than 4 and on G_2; references added

MSC Class: 53C07

Fixed point theorems from a de Rham perspective

Authors: Mark Stern

Abstract: Using an elementary argument, we prove new fixed point theorems for classical elliptic complexes. We obtain new results for conformal relations and coisotropic intersections. We obtain theorems for the average intersections of families of special lagrangian and lagrangian varieties in certain homogeneous spaces. Using an elementary argument, we prove new fixed point theorems for classical elliptic complexes. We obtain new results for conformal relations and coisotropic intersections. We obtain theorems for the average intersections of families of special lagrangian and lagrangian varieties in certain homogeneous spaces. △ Less

Submitted 14 December, 2006; v1 submitted 22 June, 2006; originally announced June 2006.

Comments: 22 pages. References and new examples added

MSC Class: 58J20

The Positive Mass Conjecture for Non-spin Manifolds

Authors: Anda Degeratu, Mark Stern

Abstract: We extend Witten's spinor proof of the positive mass theorem to large classes of complete asymptotically flat non-spin manifolds, including all manifolds of dimension less than or equal to 11 and all manifolds of dimension less than 26 which admit a codimension 3 immersion in Euclidean space. We extend Witten's spinor proof of the positive mass theorem to large classes of complete asymptotically flat non-spin manifolds, including all manifolds of dimension less than or equal to 11 and all manifolds of dimension less than 26 which admit a codimension 3 immersion in Euclidean space. △ Less

Submitted 21 September, 2005; v1 submitted 7 December, 2004; originally announced December 2004.

Comments: This paper has been withdrawn due to a sign error in proposition 6.5

Report number: DUKE-CGTP-04-10

Non-commutativity and Supersymmetry

Authors: Sonia Paban, Savdeep Sethi, Mark Stern

Abstract: We study the extent to which the gauge symmetry of abelian Yang-Mills can be deformed under two conditions: first, that the deformation depend on a two-form scale. Second, that the deformation preserve supersymmetry. We show that (up to a single parameter) the only allowed deformation is the one determined by the star product. We then consider the supersymmetry algebra satisfied by NCYM expresse… ▽ More We study the extent to which the gauge symmetry of abelian Yang-Mills can be deformed under two conditions: first, that the deformation depend on a two-form scale. Second, that the deformation preserve supersymmetry. We show that (up to a single parameter) the only allowed deformation is the one determined by the star product. We then consider the supersymmetry algebra satisfied by NCYM expressed in commutative variables. The algebra is peculiar since the supercharges are not gauge-invariant. However, the action, expressed in commutative variables, appears to be quadratic in fermions to all orders in theta. △ Less

Submitted 11 February, 2002; v1 submitted 30 January, 2002; originally announced January 2002.

Comments: 21 pages, LaTeX; a reference added

Journal ref: JHEP 0203 (2002) 012

Counting Yang-Mills Dyons with Index Theorems

Authors: Mark Stern, Piljin Yi

Abstract: We count the supersymmetric bound states of many distinct BPS monopoles in N=4 Yang-Mills theories and in pure N=2 Yang-Mills theories. The novelty here is that we work in generic Coulombic vacua where more than one adjoint Higgs fields are turned on. The number of purely magnetic bound states is again found to be consistent with the electromagnetic duality of the N=4 SU(n) theory, as expected.… ▽ More We count the supersymmetric bound states of many distinct BPS monopoles in N=4 Yang-Mills theories and in pure N=2 Yang-Mills theories. The novelty here is that we work in generic Coulombic vacua where more than one adjoint Higgs fields are turned on. The number of purely magnetic bound states is again found to be consistent with the electromagnetic duality of the N=4 SU(n) theory, as expected. We also count dyons of generic electric charges, which correspond to 1/4 BPS dyons in N=4 theories and 1/2 BPS dyons in N=2 theories. Surprisingly, the degeneracy of dyons is typically much larger than would be accounted for by a single supermultiplet of appropriate angular momentum, implying many supermutiplets of the same charge and the same mass. △ Less

Submitted 29 May, 2000; originally announced May 2000.

Comments: 34 pages, 1 figure, LaTeX

Report number: Duke-CGTP-00-06, KIAS-P00022

Journal ref: Phys.Rev. D62 (2000) 125006

Summing Up Instantons in Three-Dimensional Yang-Mills Theories

Authors: Sonia Paban, Savdeep Sethi, Mark Stern

Abstract: We show that the four derivative terms in the effective action of three-dimensional N=8 Yang-Mills theory are determined by supersymmetry. These terms receive both perturbative and non-perturbative corrections. Using our technique for constraining the effective action, we are able to determine the exact form of the eight fermion terms in the supersymmetric completion of the $F^4$ term, including… ▽ More We show that the four derivative terms in the effective action of three-dimensional N=8 Yang-Mills theory are determined by supersymmetry. These terms receive both perturbative and non-perturbative corrections. Using our technique for constraining the effective action, we are able to determine the exact form of the eight fermion terms in the supersymmetric completion of the $F^4$ term, including all instanton corrections. As a consequence, we argue that the integral of the Euler density over $k$ monopole moduli space in SU(2) Yang-Mills is determined by our non-renormalization theorem for all values of $k$. △ Less

Submitted 3 September, 1998; v1 submitted 19 August, 1998; originally announced August 1998.

Comments: 18 pages, harvmac; a comment added

Journal ref: Adv.Theor.Math.Phys. 3 (1999) 343-361

Pure Hodge structure on the $L_2$-cohomology of varieties with isolated singularities

Authors: William Pardon, Mark Stern

Abstract: Let $V$ be a complex projective variety with isolated singularities. Let the smooth part be given the metric induced by a projective imbedding. Then we develop the $L_2$ harmonic theory and construct a pure Hodge structure on the $L_2$-cohomology of $V$. If the dimension of $V$ is two, we put a cohomological Hodge structure on its complex of sheaves of $L_2$ forms. Let $V$ be a complex projective variety with isolated singularities. Let the smooth part be given the metric induced by a projective imbedding. Then we develop the $L_2$ harmonic theory and construct a pure Hodge structure on the $L_2$-cohomology of $V$. If the dimension of $V$ is two, we put a cohomological Hodge structure on its complex of sheaves of $L_2$ forms. △ Less

Submitted 3 November, 1997; originally announced November 1997.

Comments: 53 pages, amstex

D-Brane Bound States Redux

Authors: Savdeep Sethi, Mark Stern

Abstract: We study the existence of D-brane bound states at threshold in Type II string theories. In a number of situations, we can reduce the question of existence to quadrature, and the study of a particular limit of the propagator for the system of D-branes. This involves a derivation of an index theorem for a family of non-Fredholm operators. In support of the conjectured relation between compactified… ▽ More We study the existence of D-brane bound states at threshold in Type II string theories. In a number of situations, we can reduce the question of existence to quadrature, and the study of a particular limit of the propagator for the system of D-branes. This involves a derivation of an index theorem for a family of non-Fredholm operators. In support of the conjectured relation between compactified eleven-dimensional supergravity and Type IIA string theory, we show that a bound state exists for two coincident zero-branes. This result also provides support for the conjectured description of M-theory as a matrix model. In addition, we provide further evidence that there are no BPS bound states for two and three-branes twice wrapped on Calabi-Yau vanishing cycles. △ Less

Submitted 12 November, 1997; v1 submitted 8 May, 1997; originally announced May 1997.

Comments: 42 pages, harvmac; references altered and a typo is corrected

Report number: IASSNS-HEP-97/45, DUK-M-97/5

Journal ref: Commun.Math.Phys. 194 (1998) 675-705

Monopole and Dyon Bound States in N=2 Supersymmetric Yang-Mills Theories

Authors: S. Sethi, M. Stern, E. Zaslow

Abstract: We study the existence of monopole bound states saturating the BPS bound in N=2 supersymmetric Yang-Mills theories. We describe how the existence of such bound states relates to the topology of index bundles over the moduli space of BPS solutions. Using an $L^2$ index theorem, we prove the existence of certain BPS states predicted by Seiberg and Witten based on their study of the vacuum structur… ▽ More We study the existence of monopole bound states saturating the BPS bound in N=2 supersymmetric Yang-Mills theories. We describe how the existence of such bound states relates to the topology of index bundles over the moduli space of BPS solutions. Using an $L^2$ index theorem, we prove the existence of certain BPS states predicted by Seiberg and Witten based on their study of the vacuum structure of N=2 Yang-Mills theories. △ Less

Submitted 23 August, 1995; originally announced August 1995.

Comments: 34 pages, harvmac

Report number: HUTP-95/A031, DUK-M-95-12

Journal ref: Nucl.Phys. B457 (1995) 484-512