Showing 1–13 of 13 results for author: Mirandola, H

Get rid of your constraints and reparametrize: A study in NNLS and implicit bias

Authors: Hung-Hsu Chou, Johannes Maly, Claudio Mayrink Verdun, Bernardo Freitas Paulo da Costa, Heudson Mirandola

Abstract: Over the past years, there has been significant interest in understanding the implicit bias of gradient descent optimization and its connection to the generalization properties of overparametrized neural networks. Several works observed that when training linear diagonal networks on the square loss for regression tasks (which corresponds to overparametrized linear regression) gradient descent conv… ▽ More Over the past years, there has been significant interest in understanding the implicit bias of gradient descent optimization and its connection to the generalization properties of overparametrized neural networks. Several works observed that when training linear diagonal networks on the square loss for regression tasks (which corresponds to overparametrized linear regression) gradient descent converges to special solutions, e.g., non-negative ones. We connect this observation to Riemannian optimization and view overparametrized GD with identical initialization as a Riemannian GD. We use this fact for solving non-negative least squares (NNLS), an important problem behind many techniques, e.g., non-negative matrix factorization. We show that gradient flow on the reparametrized objective converges globally to NNLS solutions, providing convergence rates also for its discretized counterpart. Unlike previous methods, we do not rely on the calculation of exponential maps or geodesics. We further show accelerated convergence using a second-order ODE, lending itself to accelerated descent methods. Finally, we establish the stability against negative perturbations and discuss generalization to other constrained optimization problems. △ Less

Submitted 10 March, 2025; v1 submitted 18 July, 2022; originally announced July 2022.

Reference Bayesian analysis for hierarchical models

Authors: Thaís C. O. Fonseca, Helio S. Migon, Heudson Mirandola

Abstract: This paper proposes an alternative approach for constructing invariant Jeffreys prior distributions tailored for hierarchical or multilevel models. In particular, our proposal is based on a flexible decomposition of the Fisher information for hierarchical models which overcomes the marginalization step of the likelihood of model parameters. The Fisher information matrix for the hierarchical model… ▽ More This paper proposes an alternative approach for constructing invariant Jeffreys prior distributions tailored for hierarchical or multilevel models. In particular, our proposal is based on a flexible decomposition of the Fisher information for hierarchical models which overcomes the marginalization step of the likelihood of model parameters. The Fisher information matrix for the hierarchical model is derived from the Hessian of the Kullback-Liebler (KL) divergence for the model in a neighborhood of the parameter value of interest. Properties of the KL divergence are used to prove the proposed decomposition. Our proposal takes advantage of the hierarchy and leads to an alternative way of computing Jeffreys priors for the hyperparameters and an upper bound for the prior information. While the Jeffreys prior gives the minimum information about parameters, the proposed bound gives an upper limit for the information put in any prior distribution. A prior with information above that limit may be considered too informative. From a practical point of view, the proposed prior may be evaluated computationally as part of a MCMC algorithm. This property might be essential for modeling setups with many levels in which analytic marginalization is not feasible. We illustrate the usefulness of our proposal with examples in mixture models, in model selection priors such as lasso and in the Student-t model. △ Less

Submitted 25 April, 2019; originally announced April 2019.

Comments: 17 pages. Comments are welcome

Hardy and Rellich Inequalities for submanifolds in Hadamard spaces

Authors: Marcio Batista, Heudson Mirandola, Feliciano Vitorio

Abstract: Some of the most known integral inequalities are the Sobolev, Hardy and Rellich inequalities in Euclidean spaces. In the context of submanifolds, the Sobolev inequality was proved by Michael-Simon and Hoffman-Spruck. Since then, a sort of applications to the submanifold theory has been derived from those inequalities. Years later, Carron obtained a Hardy inequality for submanifolds in Hadamard spa… ▽ More Some of the most known integral inequalities are the Sobolev, Hardy and Rellich inequalities in Euclidean spaces. In the context of submanifolds, the Sobolev inequality was proved by Michael-Simon and Hoffman-Spruck. Since then, a sort of applications to the submanifold theory has been derived from those inequalities. Years later, Carron obtained a Hardy inequality for submanifolds in Hadamard spaces. In this paper, we prove the general Hardy and Rellich Inequalities for submanifolds in Hadamard spaces. Some applications are given and we also analyse the equality cases. △ Less

Submitted 14 November, 2016; originally announced November 2016.

The Caffarelli-Kohn-Nirenberg Inequality for Submanifolds in Riemannian Manifolds

Authors: Márcio Batista, Heudson Mirandola, Feliciano Vitório

Abstract: After works by Michael and Simon [10], Hoffman and Spruck [9], and White [14], the celebrated Sobolev inequality could be extended to submanifolds in a huge class of Riemannian manifolds. The universal constant obtained depends only on the dimension of the submanifold. A sort of applications to the submanifold theory and geometric analysis have been obtained from that inequality. It is worthwhile… ▽ More After works by Michael and Simon [10], Hoffman and Spruck [9], and White [14], the celebrated Sobolev inequality could be extended to submanifolds in a huge class of Riemannian manifolds. The universal constant obtained depends only on the dimension of the submanifold. A sort of applications to the submanifold theory and geometric analysis have been obtained from that inequality. It is worthwhile to point out that, by a Nash Theorem, every Riemannian manifold can be seen as a submanifold in some Euclidean space. In the same spirit, Carron obtained a Hardy inequality for submanifolds in Euclidean spaces. In this paper, we will prove the Hardy, weighted Sobolev and Caffarelli-Kohn-Nirenberg inequalities, as well as some of their derivatives, as Galiardo-Nirenberg and Heisenberg-Pauli-Weyl inequalities, for submanifolds in a class of manifolds, that include, the Cartan-Hadamard ones. △ Less

Submitted 13 September, 2015; originally announced September 2015.

Comments: 21 pages. Comments are welcome

MSC Class: 53C21; 53C42

Rigidity Theorems of conformal class on compact manifolds with boundary

Authors: Ezequiel Barbosa, Heudson Mirandola, Feliciano Vitorio

Abstract: Let M be a compact manifold with boundary. In this paper, we discuss some rigidity theorems of metrics in a same conformal class that fixes the boundary and satisfy certain integral conditions on the the scalar curvatures and the mean curvatures on the boundary. No condition on the first eigenvalues of operators is need. Let M be a compact manifold with boundary. In this paper, we discuss some rigidity theorems of metrics in a same conformal class that fixes the boundary and satisfy certain integral conditions on the the scalar curvatures and the mean curvatures on the boundary. No condition on the first eigenvalues of operators is need. △ Less

Submitted 25 November, 2014; originally announced November 2014.

Comments: 9 pages, comments welcome

The positive mass Theorem and Penrose inequality for graphical manifolds

Authors: Heudson Mirandola, Feliciano Vitorio

Abstract: We give, via elementary methods, explicit formulas for the ADM mass which allow us to conclude the positive mass theorem and Penrose inequality for a class of graphical manifolds which includes, for instance, that ones with flat normal bundle. We give, via elementary methods, explicit formulas for the ADM mass which allow us to conclude the positive mass theorem and Penrose inequality for a class of graphical manifolds which includes, for instance, that ones with flat normal bundle. △ Less

Submitted 11 April, 2013; originally announced April 2013.

Comments: Preliminary version

Sobolev and isoperimetric inequalities for submanifolds in weighted ambient spaces

Authors: Marcio Batista, Heudson Mirandola

Abstract: In this paper, we prove a Sobolev and isoperimetric inequalities for submanifold in weighted manifold. Our results generalize the Hoffman-Spruck's inequalities. In this paper, we prove a Sobolev and isoperimetric inequalities for submanifold in weighted manifold. Our results generalize the Hoffman-Spruck's inequalities. △ Less

Submitted 11 April, 2013; v1 submitted 8 April, 2013; originally announced April 2013.

Comments: 15 pages. Comments are welcome

Global isometric embeddings of multiple warped product metrics into quadrics

Authors: Heudson Mirandola, Feliciano Vitorio

Abstract: In this paper, we construct smooth isometric embeddings of multiple warped product manifolds in quadrics of semi-Euclidean spaces. Our main theorem generalizes previous results as given by Blanusa, Rozendorn, Henke and Azov. In this paper, we construct smooth isometric embeddings of multiple warped product manifolds in quadrics of semi-Euclidean spaces. Our main theorem generalizes previous results as given by Blanusa, Rozendorn, Henke and Azov. △ Less

Submitted 22 May, 2014; v1 submitted 5 October, 2012; originally announced October 2012.

Comments: 13 pages. To appear in Kodai Mathematical Journal

MSC Class: 53C42

Isometry actions and geodesics orthogonal to submanifolds

Authors: Antonio J. Di Scala, Sérgio Mendonça, Heudson Mirandola, Gabriel Ruiz-Hernández

Abstract: We investigate submanifolds in space forms such that every geodesic orthogonal to the submanifold intersects a fixed totally geodesic submanifold. We obtain an application to horospheres in Hadamard manifolds. We investigate submanifolds in space forms such that every geodesic orthogonal to the submanifold intersects a fixed totally geodesic submanifold. We obtain an application to horospheres in Hadamard manifolds. △ Less

Submitted 1 October, 2012; originally announced October 2012.

Comments: 16 pages

Integral estimates for the trace of symmetric operators

Authors: Marcio Batista, Heudson Mirandola

Abstract: Let $Φ:TM\to TM$ be a positive-semidefinite symmetric operator of class $C^1$ defined on a complete non-compact manifold $M$ isometrically immersed in a Hadamard space $\bar{M}$. In this paper, we given conditions on the operator $Φ$ and on the second fundamental form to guarantee that either $Φ\equiv 0$ or the integral $\int_M \mathrm{tr}\,ΦdM$ is infinite. We will given some applications. The fi… ▽ More Let $Φ:TM\to TM$ be a positive-semidefinite symmetric operator of class $C^1$ defined on a complete non-compact manifold $M$ isometrically immersed in a Hadamard space $\bar{M}$. In this paper, we given conditions on the operator $Φ$ and on the second fundamental form to guarantee that either $Φ\equiv 0$ or the integral $\int_M \mathrm{tr}\,ΦdM$ is infinite. We will given some applications. The first one says that if $M$ admits an integrable distribution whose integrals are minimal submanifolds in $\bar{M}$ then the volume of $M$ must be infinite. Another application states that if the sectional curvature of $\bar{M}$ satisfies $\bar{K}\leq -c^2$, for some $c\geq 0$, and $λ:M^m\to [0,\infty)$ is a nonnegative $C^1$ function such that gradient vector of $λ$ and the mean curvature vector $H$ of the immersion satisfy $|H+p\nabla λ|\leq (m-1)c λ$, for some $p\geq 1$, then either $λ\equiv 0$ or the integral $\int_M λ^s dM$ is infinite, for all $1\leq s\leq p$. △ Less

Submitted 12 August, 2012; v1 submitted 31 March, 2012; originally announced April 2012.

Comments: 22 pages, submitted

MSC Class: 53C42; 53C40

The non-parabolicity of infinite volume ends

Authors: Marcos P. Cavalcante, Heudson Mirandola, Feliciano Vitorio

Abstract: Let $M^m$, with $m\geq 3$, be an $m$-dimensional complete noncompact manifold isometrically immersed in a Hadamard manifold $\bar M$. Assume that the mean curvature vector has finite $L^p$-norm, for some $2\leq p\leq m$. We prove that each end of $M$ must either have finite volume or be non-parabolic. Let $M^m$, with $m\geq 3$, be an $m$-dimensional complete noncompact manifold isometrically immersed in a Hadamard manifold $\bar M$. Assume that the mean curvature vector has finite $L^p$-norm, for some $2\leq p\leq m$. We prove that each end of $M$ must either have finite volume or be non-parabolic. △ Less

Submitted 13 April, 2013; v1 submitted 30 January, 2012; originally announced January 2012.

Comments: Minor corrections in Theorem B. To appear in Proc. Amer. Math. Soc

MSC Class: 53C40

L^2 Harmonic 1-forms on submanifolds with finite total curvature

Authors: Marcos P. Cavalcante, Heudson Mirandola, Feliciano Vitorio

Abstract: Let $x:M^m\to \bar M$, with $m\geq 3$, be an isometric immersion of a complete noncompact manifold $M$ in a complete simply-connected manifold $\bar M$ with sectional curvature satisfying $-c^2\leq K_{\bar M}\leq 0$, for some constant $c$. Assume that the immersion has finite total curvature. If $c\neq 0$, assume further that the first eigenvalue of the Laplacian of $M$ is bounded from below by a… ▽ More Let $x:M^m\to \bar M$, with $m\geq 3$, be an isometric immersion of a complete noncompact manifold $M$ in a complete simply-connected manifold $\bar M$ with sectional curvature satisfying $-c^2\leq K_{\bar M}\leq 0$, for some constant $c$. Assume that the immersion has finite total curvature. If $c\neq 0$, assume further that the first eigenvalue of the Laplacian of $M$ is bounded from below by a suitable constant. We prove that the space of the $L^2$ harmonic 1-forms on $M$ has finite dimension. Moreover there exists a constant $\La>0$, explicitly computed, such that if the total curvature is bounded from above by $\La$ then there is no nontrivial $L^2$-harmonic 1-forms on $M$. △ Less

Submitted 5 June, 2012; v1 submitted 25 January, 2012; originally announced January 2012.

Comments: 17 pages, to appear in Journal of Geometric Analysis

Homotopy Groups, Focal Points and Totally Geodesic Immersions

Authors: Sérgio Mendonça, Heudson Mirandola

Abstract: In this paper we consider on a complete Riemannian manifold $M$ an immersed totally geodesic hypersurface $\Si$ existing together with an immersed submanifold $N$ without focal points. No curvature condition is needed. We obtained several connectedness results relating the topologies of $M$ and $\Si$ which depend on the codimension of $N$. In this paper we consider on a complete Riemannian manifold $M$ an immersed totally geodesic hypersurface $\Si$ existing together with an immersed submanifold $N$ without focal points. No curvature condition is needed. We obtained several connectedness results relating the topologies of $M$ and $\Si$ which depend on the codimension of $N$. △ Less

Submitted 3 June, 2013; v1 submitted 8 August, 2011; originally announced August 2011.

Comments: 24 pages. To appear in Indiana University Mathematical Journal

MSC Class: Primary 53C20; Secondary 53C42