-
On some classes of bivalent and trivalent planar graphs
Authors:
Jorge Alencar,
Jean-Guy Caputo,
Leonardo de Lima,
Arnaud Knippel
Abstract:
A graph is called bivalent or trivalent if there exists an eigenvector of the graph Laplacian composed from {-1,1} or {-1,0,1}, respectively. These bivalent and trivalent eigenvectors are important for engineering applications, in particular for vibrating systems. In this article, we determine the structure of bivalent and trivalent graphs in the following planar graph families: trees, unicyclic,…
▽ More
A graph is called bivalent or trivalent if there exists an eigenvector of the graph Laplacian composed from {-1,1} or {-1,0,1}, respectively. These bivalent and trivalent eigenvectors are important for engineering applications, in particular for vibrating systems. In this article, we determine the structure of bivalent and trivalent graphs in the following planar graph families: trees, unicyclic, bicyclic, and cactus.
△ Less
Submitted 19 May, 2025;
originally announced May 2025.
-
A graph-based approach to customer segmentation using the RFM model
Authors:
André Luiz Corrêa Vianna Filho,
Leonardo de Lima,
Mariana Kleina
Abstract:
The present article proposes a graph-based approach to customer segmentation, combining the RFM analysis with the classical optimization max-$k$-cut problem. We consider each customer as a vertex of a weighted graph, and the edge weights are given by the distances between the vectors corresponding to the $(R,F,M)$-scores of the customers. We design a procedure to build a reduced graph with fewer v…
▽ More
The present article proposes a graph-based approach to customer segmentation, combining the RFM analysis with the classical optimization max-$k$-cut problem. We consider each customer as a vertex of a weighted graph, and the edge weights are given by the distances between the vectors corresponding to the $(R,F,M)$-scores of the customers. We design a procedure to build a reduced graph with fewer vertices and edges, and the customer segmentation is obtained by solving the max-$k$-cut for this reduced graph. We prove that the optimal objective function values of the original and the reduced problems are equal. Additionally, we show that an optimal solution to the original problem can be easily obtained from an optimal solution to the reduced problem, which provides an advantage in dealing with computational complexity in large instances. Applying our methodology to a real customer dataset allowed us to identify distinct behaviors between groups and analyze their meaning and value from a business perspective.
△ Less
Submitted 12 May, 2025;
originally announced May 2025.
-
Robust Quantum Control for Bragg Pulse Design in Atom Interferometry
Authors:
Luke S. Baker,
Andre Luiz P. de Lima,
Andrew Harter,
Ceren Uzun,
Jr-Shin Li,
Anatoly Zlotnik,
Michael J. Martin,
Malcolm G. Boshier
Abstract:
We formulate a robust optimal control algorithm to synthesize minimum energy pulses that can transfer a cold atom system into various momentum states. The algorithm uses adaptive linearization of the evolution operator and sequential quadratic programming to iterate the control towards a minimum energy signal that achieves optimal target state fidelity. Robustness to parameter variation is achieve…
▽ More
We formulate a robust optimal control algorithm to synthesize minimum energy pulses that can transfer a cold atom system into various momentum states. The algorithm uses adaptive linearization of the evolution operator and sequential quadratic programming to iterate the control towards a minimum energy signal that achieves optimal target state fidelity. Robustness to parameter variation is achieved using Legendre polynomial approximation over the domain of variation. The method is applied to optimize the Bragg beamsplitting operation in ultra-cold atom interferometry. Even in the presence of 10-40% variability in the initial momentum dispersion of the atomic cloud and the intensity of the optical pulse, the algorithm reliably converges to a control protocol that robustly achieves unprecedented momentum levels with high fidelity for a single-frequency multi-photon Bragg diffraction scheme (e.g. $|\pm 40\hbar k\rangle$). Advantages of the proposed method are demonstrated by comparison to stochastic optimization using sampled parameter values.
△ Less
Submitted 10 February, 2025; v1 submitted 6 February, 2025;
originally announced February 2025.
-
Coexistence of Species in a Competition Model on Random Geometric Graphs
Authors:
Cristian F. Coletti,
Lucas R. de Lima
Abstract:
This paper investigates the coexistence of two competing species on random geometric graphs (RGGs) in continuous time. The species grow by occupying vacant sites according to Richardson's model, while simultaneously competing for occupied sites under the dynamics of the voter model. Coexistence is defined as the event in which both species occupy at least one site simultaneously at any given time.…
▽ More
This paper investigates the coexistence of two competing species on random geometric graphs (RGGs) in continuous time. The species grow by occupying vacant sites according to Richardson's model, while simultaneously competing for occupied sites under the dynamics of the voter model. Coexistence is defined as the event in which both species occupy at least one site simultaneously at any given time. We prove that coexistence occurs with strictly positive annealed probability by applying results from moderate deviations in first-passage percolation and random walk theory, with a focus on specific regions of the space.
△ Less
Submitted 27 January, 2025; v1 submitted 17 January, 2025;
originally announced January 2025.
-
Speed of Convergence and Moderate Deviations of FPP on Random Geometric Graphs
Authors:
Lucas R. de Lima,
Daniel Valesin
Abstract:
This study delves into first-passage percolation on random geometric graphs in the supercritical regime, where the graphs exhibit a unique infinite connected component. We investigate properties such as geodesic paths, moderate deviations, and fluctuations, aiming to establish a quantitative shape theorem. Furthermore, we examine fluctuations in geodesic paths and characterize the properties of sp…
▽ More
This study delves into first-passage percolation on random geometric graphs in the supercritical regime, where the graphs exhibit a unique infinite connected component. We investigate properties such as geodesic paths, moderate deviations, and fluctuations, aiming to establish a quantitative shape theorem. Furthermore, we examine fluctuations in geodesic paths and characterize the properties of spanning trees and their semi-infinite paths.
△ Less
Submitted 5 March, 2025; v1 submitted 4 November, 2024;
originally announced November 2024.
-
Critical domains for certain Dirichlet integrals in weighted manifolds
Authors:
Levi Lopes de Lima
Abstract:
We start by revisiting the derivation of the variational formulae for the functional assigning to a bounded regular domain in a Riemannian manifold its first Dirichlet eigenvalue and extend it to (not necessarily bounded) domains in certain weighted manifolds. This is further extended to other functionals defined by certain Dirichlet energy integrals, with a Morse index formula for the correspondi…
▽ More
We start by revisiting the derivation of the variational formulae for the functional assigning to a bounded regular domain in a Riemannian manifold its first Dirichlet eigenvalue and extend it to (not necessarily bounded) domains in certain weighted manifolds. This is further extended to other functionals defined by certain Dirichlet energy integrals, with a Morse index formula for the corresponding critical domains being established. We complement these infinitesimal results by proving a couple of global rigidity theorems for (possibly critical) domains in Gaussian half-space, including an Alexandrov-type soap bubble theorem. Although we provide direct proofs of these latter results, we find it worthwhile to point out that the main tools employed (specifically, certain Pohozhaev and Reilly identities) can be formally understood as limits (when the dimension goes to infinity) of tools previously established by Ciarolo-Vezzoni and Qiu-Xia to handle similar problems in round hemispheres, with the notion of "convergence" of weighted manifolds being loosely inspired by the celebrated Poincaré's limit theorem in the theory of Gaussian random vectors.
△ Less
Submitted 10 October, 2024; v1 submitted 5 September, 2024;
originally announced September 2024.
-
Asymptotic Shape of Subadditive Processes on Groups and on Random Geometric Graphs
Authors:
Lucas R. de Lima
Abstract:
This doctoral thesis undertakes an in-depth exploration of limiting shape theorems across diverse mathematical structures, with a specific focus on subadditive processes within finitely generated groups exhibiting polynomial growth rates, as well as standard First-Passage Percolation (FPP) models applied to Random Geometric Graphs (RGGs). Employing a diverse range of techniques, including subaddit…
▽ More
This doctoral thesis undertakes an in-depth exploration of limiting shape theorems across diverse mathematical structures, with a specific focus on subadditive processes within finitely generated groups exhibiting polynomial growth rates, as well as standard First-Passage Percolation (FPP) models applied to Random Geometric Graphs (RGGs). Employing a diverse range of techniques, including subadditive ergodic theorems and tailored modifications suited for polygonal paths within groups, the thesis examines the asymptotic shape under varying conditions. The investigation extends to subadditive cocycles characterized by at least and at most linear growth. Moreover, the study delves into moderate deviations for FPP models on RGGs, refining previous results with theorems that quantify its speed of convergence to the limiting shape, the fluctuation of the geodesics, and its spanning trees. Additionally, we apply the obtained results in a competition model to verify the positive probability of coexistence of two species competing for territory in a random geometric graph.
△ Less
Submitted 21 August, 2024;
originally announced August 2024.
-
Convergence of Iterative Quadratic Programming for Robust Fixed-Endpoint Transfer of Bilinear Systems
Authors:
Luke S. Baker,
Andre Luiz P. de Lima,
Anatoly Zlotnik,
Jr-Shin Li,
Michael J. Martin
Abstract:
We present a computational method for open-loop minimum-norm control synthesis for fixed-endpoint transfer of bilinear ensemble systems that are indexed by two continuously varying parameters. We suppose that one ensemble parameter scales the homogeneous, linear part of the dynamics, and the second parameter scales the effect of the applied control inputs on the inhomogeneous, bilinear dynamics. T…
▽ More
We present a computational method for open-loop minimum-norm control synthesis for fixed-endpoint transfer of bilinear ensemble systems that are indexed by two continuously varying parameters. We suppose that one ensemble parameter scales the homogeneous, linear part of the dynamics, and the second parameter scales the effect of the applied control inputs on the inhomogeneous, bilinear dynamics. This class of dynamical systems is motivated by robust quantum control pulse synthesis, where the ensemble parameters correspond to uncertainty in the free Hamiltonian and inhomogeneity in the control Hamiltonian, respectively. Our computational method is based on polynomial approximation of the ensemble state in parameter space and discretization of the evolution equations in the time domain using a product of matrix exponentials corresponding to zero-order hold controls over the time intervals. The dynamics are successively linearized about control and trajectory iterates to formulate a sequence of quadratic programs for computing perturbations to the control that successively improve the objective until the iteration converges. We use a two-stage computation to first ensure transfer to the desired terminal state, and then minimize the norm of the control function. The method is demonstrated for the canonical uniform transfer problem for the Bloch system that appears in nuclear magnetic resonance, as well as the matter-wave splitting problem for the Raman-Nath system that appears in ultra-cold atom interferometry.
△ Less
Submitted 11 October, 2024; v1 submitted 26 March, 2024;
originally announced March 2024.
-
Location of Zeros of Holomorphic Functions
Authors:
Leonardo de Lima
Abstract:
In this article, various results will be demonstrated that enable the delimitation of a zero-free region for holomorphic functions on a set $K$, studying the behavior of their imaginary or real part on the boundary of $K$. These findings contribute to a deeper understanding of the distribution of zeros, shedding light on the intricate nature of holomorphic functions within the specified set.
In this article, various results will be demonstrated that enable the delimitation of a zero-free region for holomorphic functions on a set $K$, studying the behavior of their imaginary or real part on the boundary of $K$. These findings contribute to a deeper understanding of the distribution of zeros, shedding light on the intricate nature of holomorphic functions within the specified set.
△ Less
Submitted 1 January, 2024;
originally announced March 2024.
-
Asymptotic shape for subadditve processes on groups of polynomial growth
Authors:
Cristian F. Coletti,
Lucas R. de Lima
Abstract:
This study delves into the exploration of the limiting shape theorem for subadditive processes on finitely generated groups with polynomial growth, commonly referred to as virtually nilpotent groups. Investigating the algebraic structures underlying these processes, we present a generalized form of the asymptotic shape theorem within this framework. Extending subadditive ergodic theory in this con…
▽ More
This study delves into the exploration of the limiting shape theorem for subadditive processes on finitely generated groups with polynomial growth, commonly referred to as virtually nilpotent groups. Investigating the algebraic structures underlying these processes, we present a generalized form of the asymptotic shape theorem within this framework. Extending subadditive ergodic theory in this context, we consider processes which exhibit both at most and at least linear random growth. We conclude with applications and illustrative examples.
△ Less
Submitted 25 April, 2024; v1 submitted 12 December, 2023;
originally announced December 2023.
-
Optimal Ensemble Control of Matter-Wave Splitting in Bose-Einstein Condensates
Authors:
Andre Luiz P. de Lima,
Andrew K. Harter,
Michael J. Martin,
Anatoly Zlotnik
Abstract:
We present a framework for designing optimal optical pulses for the matter-wave splitting of a Bose-Einstein Condensate (BEC) under the influence of experimental inhomogeneities, so that the sample is transferred from an initial rest position into a singular higher diffraction order. To represent the evolution of the population of atoms, the Schroedinger's equation is reinterpreted as a parameteri…
▽ More
We present a framework for designing optimal optical pulses for the matter-wave splitting of a Bose-Einstein Condensate (BEC) under the influence of experimental inhomogeneities, so that the sample is transferred from an initial rest position into a singular higher diffraction order. To represent the evolution of the population of atoms, the Schroedinger's equation is reinterpreted as a parameterized ensemble of dynamical units that are disparately impacted by the beam light-shift potential in a continuous manner. The derived infinite-dimensional coupled Raman-Nath equations are truncated to a finite system of diffraction levels, and we suppose that the parameter that defines the inhomogeneity in the control applied to the ensemble system is restricted to a compact interval. We first design baseline square pulse sequences for the excitation of BEC beam-splitter states following a previous study, subject to dynamic constraints for either a nominal system assuming no inhomogeneity or for several samples of the uncertain parameter. We then approximate the continuum state-space of the ensemble of dynamics using a spectral approach based on Legendre moments, which is truncated at a finite order. Control functions that steer the BEC system from an equivalent rest position to a desired final excitation are designed using a constrained optimal control approach developed for handling nonlinear dynamics. This representation results in a minimal dimension of the computational problem and is shown to be highly robust to inhomogeneity in comparison to the baseline approach. Our method accomplishes the BEC-splitting state transfer for each subsystem in the ensemble, and is promising for precise excitation in experimental settings where robustness to environmental and intrinsic noise is paramount.
△ Less
Submitted 28 February, 2024; v1 submitted 15 September, 2023;
originally announced September 2023.
-
A harmonic level set proof of a positive mass theorem
Authors:
Rondinelle Batista,
Levi Lopes de Lima
Abstract:
We provide a harmonic level set proof of the positive mass theorem for asymptotically flat $3$-manifolds with a non-compact boundary first established by Almaraz-Barbosa-de Lima.
We provide a harmonic level set proof of the positive mass theorem for asymptotically flat $3$-manifolds with a non-compact boundary first established by Almaraz-Barbosa-de Lima.
△ Less
Submitted 15 June, 2023;
originally announced June 2023.
-
Algorithms for the Bin Packing Problem with Scenarios
Authors:
Yulle G. F. Borges,
Vinícius L. de Lima,
Flávio K. Miyazawa,
Lehilton L. C. Pedrosa,
Thiago A. de Queiroz,
Rafael C. S. Schouery
Abstract:
This paper presents theoretical and practical results for the bin packing problem with scenarios, a generalization of the classical bin packing problem which considers the presence of uncertain scenarios, of which only one is realized. For this problem, we propose an absolute approximation algorithm whose ratio is bounded by the square root of the number of scenarios times the approximation ratio…
▽ More
This paper presents theoretical and practical results for the bin packing problem with scenarios, a generalization of the classical bin packing problem which considers the presence of uncertain scenarios, of which only one is realized. For this problem, we propose an absolute approximation algorithm whose ratio is bounded by the square root of the number of scenarios times the approximation ratio for an algorithm for the vector bin packing problem. We also show how an asymptotic polynomial-time approximation scheme is derived when the number of scenarios is constant. As a practical study of the problem, we present a branch-and-price algorithm to solve an exponential model and a variable neighborhood search heuristic. To speed up the convergence of the exact algorithm, we also consider lower bounds based on dual feasible functions. Results of these algorithms show the competence of the branch-and-price in obtaining optimal solutions for about 59% of the instances considered, while the combined heuristic and branch-and-price optimally solved 62% of the instances considered.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
Einstein-Yang-Mills fields in conformally compact manifolds
Authors:
Levi Lopes de Lima
Abstract:
We study the deformation theory of Einstein-Yang-Mills fields over conformally compact, asymptotically locally hyperbolic manifolds. We prove that if an Einstein-Yang-Mills field $(g_0,ω_0)$ is trivial (which means that $g_0$ is Poincaré-Einstein and $ω_0$ is a flat connection on a principal bundle over the underlying manifold) and non-degenerate in the appropriate sense then any sufficiently smal…
▽ More
We study the deformation theory of Einstein-Yang-Mills fields over conformally compact, asymptotically locally hyperbolic manifolds. We prove that if an Einstein-Yang-Mills field $(g_0,ω_0)$ is trivial (which means that $g_0$ is Poincaré-Einstein and $ω_0$ is a flat connection on a principal bundle over the underlying manifold) and non-degenerate in the appropriate sense then any sufficiently small perturbation of its boundary data at infinity may be realized as the boundary data of some Einstein-Yang-Mills field. This result is obtained as an application of the $0$-calculus of Mazzeo and Melrose and may be viewed as a natural extension of previous results by Graham-Lee, Lee and Usula.
△ Less
Submitted 31 July, 2023; v1 submitted 11 April, 2023;
originally announced April 2023.
-
Positive and Negative Square Energies of Graphs
Authors:
Aida Abiad,
Leonardo de Lima,
Dheer Noal Desai,
Krystal Guo,
Leslie Hogben,
Jose Madrid
Abstract:
The energy of a graph $G$ is the sum of the absolute values of the eigenvalues of the adjacency matrix of $G$. Let $s^+(G), s^-(G)$ denote the sum of the squares of the positive and negative eigenvalues of $G$, respectively. It was conjectured by [Elphick, Farber, Goldberg, Wocjan, Discrete Math. (2016)] that if $G$ is a connected graph of order $n$, then $s^+(G)\geq n-1$ and $s^-(G) \geq n-1$. In…
▽ More
The energy of a graph $G$ is the sum of the absolute values of the eigenvalues of the adjacency matrix of $G$. Let $s^+(G), s^-(G)$ denote the sum of the squares of the positive and negative eigenvalues of $G$, respectively. It was conjectured by [Elphick, Farber, Goldberg, Wocjan, Discrete Math. (2016)] that if $G$ is a connected graph of order $n$, then $s^+(G)\geq n-1$ and $s^-(G) \geq n-1$. In this paper, we show partial results towards this conjecture. In particular, numerous structural results that may help in proving the conjecture are derived, including the effect of various graph operations. These are then used to establish the conjecture for several graph classes, including graphs with certain fraction of positive eigenvalues and unicyclic graphs.
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
The scalar curvature in wedge spaces: existence and obstructions
Authors:
Levi Lopes de Lima
Abstract:
We study the scalar curvature of incomplete wedge metrics in certain stratified spaces with a single singular stratum (wedge spaces). Building upon several well established technical tools for this category of spaces (the corresponding Yamabe, elliptic and index theories) we provide existence and obstruction results for such metrics under suitable positivity assumptions on the underlying geometry.…
▽ More
We study the scalar curvature of incomplete wedge metrics in certain stratified spaces with a single singular stratum (wedge spaces). Building upon several well established technical tools for this category of spaces (the corresponding Yamabe, elliptic and index theories) we provide existence and obstruction results for such metrics under suitable positivity assumptions on the underlying geometry. This is meant to be a follow-up to a previous paper of ours (AGAG, 2022), where the case of spaces with an isolated conical singularity was considered.
△ Less
Submitted 18 April, 2023; v1 submitted 12 January, 2023;
originally announced January 2023.
-
Infinite-dimensional genetic and evolution algebras generated by Gibbs measures
Authors:
Cristian F. Coletti,
Lucas R. de Lima,
Denis A. Luiz
Abstract:
Genetic and evolution algebras arise naturally from applied probability and stochastic processes. Gibbs measures describe interacting systems commonly studied in thermodynamics and statistical mechanics with applications in several fields. Here, we consider that the algebras are determined by configurations of finite spins on a countable set with their associated Gibbs distributions. The model pre…
▽ More
Genetic and evolution algebras arise naturally from applied probability and stochastic processes. Gibbs measures describe interacting systems commonly studied in thermodynamics and statistical mechanics with applications in several fields. Here, we consider that the algebras are determined by configurations of finite spins on a countable set with their associated Gibbs distributions. The model preserves properties of the finite-dimensional Gibbs algebras found in the literature and extend their results. We introduce infertility in the genetic dynamics when the configurations differ macroscopically. It induces a decomposition of the algebra into a direct sum of fertile ideals with genetic realization.
The proposed infinite-dimensional algebras are commutative, non-associative, with uncountable basis and zero divisors. The properties of Gibbs measures allow us to deal with the difficulties arising from the algebraic structure and obtain the results presented in this article.
△ Less
Submitted 21 March, 2025; v1 submitted 13 December, 2022;
originally announced December 2022.
-
On graphs with eigenvectors in $\{1, -1, 0\}$ and the max $k$-cut problem
Authors:
Jorge Alencar,
Leonardo de Lima,
Vladimir Nikiforov
Abstract:
In this paper, we characterize all graphs with eigenvectors of the signless Laplacian and adjacency matrices with components equal to $\{- 1, 0, 1\}.$ We extend the graph parameter max $k$-cut to square matrices and prove a general sharp upper bound, which implies upper bounds on the max $k$-cut of a graph using the smallest signless Laplacian eigenvalue, the smallest adjacency eigenvalue, and the…
▽ More
In this paper, we characterize all graphs with eigenvectors of the signless Laplacian and adjacency matrices with components equal to $\{- 1, 0, 1\}.$ We extend the graph parameter max $k$-cut to square matrices and prove a general sharp upper bound, which implies upper bounds on the max $k$-cut of a graph using the smallest signless Laplacian eigenvalue, the smallest adjacency eigenvalue, and the largest Laplacian eigenvalue of the graph. In addition, we construct infinite families of extremal graphs for the obtained upper bounds.
△ Less
Submitted 25 November, 2022;
originally announced November 2022.
-
Bounding the sum of the largest signless Laplacian eigenvalues of a graph
Authors:
Aida Abiad,
Leonardo de Lima,
Sina Kalantarzadeh,
Mona Mohammadi,
Carla Oliveira
Abstract:
We show several sharp upper and lower bounds for the sum of the largest eigenvalues of the signless Laplacian matrix. These bounds improve and extend previously known bounds.
We show several sharp upper and lower bounds for the sum of the largest eigenvalues of the signless Laplacian matrix. These bounds improve and extend previously known bounds.
△ Less
Submitted 7 October, 2022;
originally announced October 2022.
-
Mapping properties of geometric elliptic operators in conformally conical spaces: an introduction with examples
Authors:
Levi Lopes de Lima
Abstract:
In this largely expository note, we discuss the mapping properties of the Laplacian (and other geometric elliptic operators) in spaces with an isolated conical singularity following the approach developed by B.-W. Schulze and collaborators. Our presentation aims at illustrating the versatility of these results by describing how certain representative (and seemingly disparate) applications in Geome…
▽ More
In this largely expository note, we discuss the mapping properties of the Laplacian (and other geometric elliptic operators) in spaces with an isolated conical singularity following the approach developed by B.-W. Schulze and collaborators. Our presentation aims at illustrating the versatility of these results by describing how certain representative (and seemingly disparate) applications in Geometric Analysis follow from a common setup.
△ Less
Submitted 6 July, 2022;
originally announced July 2022.
-
Rigidity of non-compact static domains in hyperbolic space via positive mass theorems
Authors:
Sergio Almaraz,
Levi Lopes de Lima
Abstract:
We single out a notion of staticity which applies to any domain in hyperbolic space whose boundary is a non-compact totally umbilical hypersurface. For (time-symmetric) initial data sets modeled at infinity on any of these latter examples, we formulate and prove a positive mass theorem in the spin category under natural dominant energy conditions (both in the interior and along the boundary) whose…
▽ More
We single out a notion of staticity which applies to any domain in hyperbolic space whose boundary is a non-compact totally umbilical hypersurface. For (time-symmetric) initial data sets modeled at infinity on any of these latter examples, we formulate and prove a positive mass theorem in the spin category under natural dominant energy conditions (both in the interior and along the boundary) whose rigidity statement retrieves, among other things, a sharper version of a recent result by Souam to the effect that no such hypersurface admits a compactly supported deformation keeping the original lower bound on the mean curvature. A key ingredient in our approach is the consideration of a family of elliptic boundary conditions on spinors interpolating between chirality and MIT bag boundary conditions.
△ Less
Submitted 12 November, 2022; v1 submitted 20 June, 2022;
originally announced June 2022.
-
Limiting shape for First-Passage Percolation models on Random Geometric Graphs
Authors:
Cristian F. Coletti,
Lucas R. de Lima,
Alexander Hinsen,
Benedikt Jahnel,
Daniel Valesin
Abstract:
Let a random geometric graph be defined in the supercritical regime for the existence of a unique infinite connected component in Euclidean space. Consider the first-passage percolation model with independent and identically distributed random variables on the random infinite connected component. We provide sufficient conditions for the existence of the asymptotic shape and we show that the shape…
▽ More
Let a random geometric graph be defined in the supercritical regime for the existence of a unique infinite connected component in Euclidean space. Consider the first-passage percolation model with independent and identically distributed random variables on the random infinite connected component. We provide sufficient conditions for the existence of the asymptotic shape and we show that the shape is an Euclidean ball. We give some examples exhibiting the result for Bernoulli percolation and the Richardson model. For the Richardson model we further show that it converges weakly to a nonstandard branching process in the joint limit of large intensities and slow passage times.
△ Less
Submitted 10 January, 2023; v1 submitted 16 September, 2021;
originally announced September 2021.
-
Extrinsic black hole uniqueness in pure Lovelock gravity
Authors:
Levi Lopes de Lima,
Frederico Girão,
José Natário
Abstract:
We define a notion of extrinsic black hole in pure Lovelock gravity of degree $k$ which captures the essential features of the so-called Lovelock-Schwarzschild solutions, viewed as rotationally invariant hypersurfaces with null $2k$-mean curvature in Euclidean space $\mathbb R^{n+1}$, $2\leq 2k\leq n-1$. We then combine a regularity argument with a rigidity result by Araújo-Leite to prove, under a…
▽ More
We define a notion of extrinsic black hole in pure Lovelock gravity of degree $k$ which captures the essential features of the so-called Lovelock-Schwarzschild solutions, viewed as rotationally invariant hypersurfaces with null $2k$-mean curvature in Euclidean space $\mathbb R^{n+1}$, $2\leq 2k\leq n-1$. We then combine a regularity argument with a rigidity result by Araújo-Leite to prove, under a natural ellipticity condition, a global uniqueness theorem for this class of black holes. As a consequence we obtain, in the context of the corresponding Penrose inequality for graphs established by Ge-Wang-Wu, a local rigidity result for the Lovelock-Schwarzschild solutions.
△ Less
Submitted 12 October, 2021; v1 submitted 7 July, 2021;
originally announced July 2021.
-
Exact solution of network flow models with strong relaxations
Authors:
Vinícius L. de Lima,
Manuel Iori,
Flávio K. Miyazawa
Abstract:
We address the solution of Mixed Integer Linear Programming (MILP) models with strong relaxations that are derived from Dantzig-Wolfe decompositions and allow a pseudo-polynomial pricing algorithm. We exploit their network-flow characterization and provide a framework based on column generation, reduced-cost variable-fixing, and a highly asymmetric branching scheme that allows us to take advantage…
▽ More
We address the solution of Mixed Integer Linear Programming (MILP) models with strong relaxations that are derived from Dantzig-Wolfe decompositions and allow a pseudo-polynomial pricing algorithm. We exploit their network-flow characterization and provide a framework based on column generation, reduced-cost variable-fixing, and a highly asymmetric branching scheme that allows us to take advantage of the potential of the current MILP solvers. We apply our framework to a variety of cutting and packing problems from the literature. The efficiency of the framework is proved by extensive computational experiments, in which a significant number of open instances could be solved to proven optimality for the first time.
△ Less
Submitted 31 May, 2021;
originally announced May 2021.
-
The scalar curvature in conical manifolds: some results on existence and obstructions
Authors:
Levi Lopes de Lima
Abstract:
We first show that existence results due to Kazdan-Warner and Cruz-Vitório can be extended to the category of manifolds with an isolated conical singularity. More precisely, we check that, under suitable conditions on the link manifold, any bounded and smooth function which is negative somewhere is the scalar curvature of some conical metric (with the boundary being minimal whenever it is non-empt…
▽ More
We first show that existence results due to Kazdan-Warner and Cruz-Vitório can be extended to the category of manifolds with an isolated conical singularity. More precisely, we check that, under suitable conditions on the link manifold, any bounded and smooth function which is negative somewhere is the scalar curvature of some conical metric (with the boundary being minimal whenever it is non-empty). By way of comparison, we complement this analysis by indicating how index theory, as developed by Albin-Gell-Redman, may be used to transfer to this conical setting some of the classical obstructions to the existence of metrics with positive scalar curvature in the spin context. In particular, we use a version of the notion of infinite $K$-area to obstruct such metrics.
△ Less
Submitted 2 February, 2022; v1 submitted 28 April, 2021;
originally announced April 2021.
-
Conserved quantities in General Relativity: the case of initial data sets with a noncompact boundary
Authors:
Levi Lopes de Lima
Abstract:
It is well-known that considerations of symmetry lead to the definition of a host of conserved quantities (energy, linear momentum, center of mass, etc.) for an asymptotically flat initial data set, and a great deal of progress in Mathematical Relativity in recent decades essentially amounts to establishing fundamental properties for such quantities (positive mass theorems, Penrose inequalities, g…
▽ More
It is well-known that considerations of symmetry lead to the definition of a host of conserved quantities (energy, linear momentum, center of mass, etc.) for an asymptotically flat initial data set, and a great deal of progress in Mathematical Relativity in recent decades essentially amounts to establishing fundamental properties for such quantities (positive mass theorems, Penrose inequalities, geometric representation of the center of mass by means of isoperimetric foliations at infinity, etc.) under suitable energy conditions. In this article I first review certain aspects of this classical theory and then describe how they can be (partially) extended to the setting in which the initial data set carries a non-compact boundary. In this case, lower bounds for the scalar curvature in the interior and for the mean curvature along the boundary both play a key role. Our presentation aims to highlight various rigidity/flexibility phenomena coming from the validity, or lack thereof, of the corresponding positive mass theorems and/or Penrose inequalities.
△ Less
Submitted 10 March, 2021;
originally announced March 2021.
-
Arc Flow Formulations Based on Dynamic Programming: Theoretical Foundations and Applications
Authors:
Vinícius L. de Lima,
Cláudio Alves,
François Clautiaux,
Manuel Iori,
José M. Valério de Carvalho
Abstract:
Network flow formulations are among the most successful tools to solve optimization problems. Such formulations correspond to determining an optimal flow in a network. One particular class of network flow formulations is the arc flow, where variables represent flows on individual arcs of the network. For $\mathcal{NP}$-hard problems, polynomial-sized arc flow models typically provide weak linear r…
▽ More
Network flow formulations are among the most successful tools to solve optimization problems. Such formulations correspond to determining an optimal flow in a network. One particular class of network flow formulations is the arc flow, where variables represent flows on individual arcs of the network. For $\mathcal{NP}$-hard problems, polynomial-sized arc flow models typically provide weak linear relaxations and may have too much symmetry to be efficient in practice. Instead, arc flow models with a pseudo-polynomial size usually provide strong relaxations and are efficient in practice. The interest in pseudo-polynomial arc flow formulations has grown considerably in the last twenty years, in which they have been used to solve many open instances of hard problems. A remarkable advantage of pseudo-polynomial arc flow models is the possibility to solve practical-sized instances directly by a Mixed Integer Linear Programming solver, avoiding the implementation of complex methods based on column generation.
In this survey, we present theoretical foundations of pseudo-polynomial arc flow formulations, by showing a relation between their network and Dynamic Programming (DP). This relation allows a better understanding of the strength of these formulations, through a link with models obtained by Dantzig-Wolfe decomposition. The relation with DP also allows a new perspective to relate state-space relaxation methods for DP with arc flow models. We also present a dual point of view to contrast the linear relaxation of arc flow models with that of models based on paths and cycles. To conclude, we review the main solution methods and applications of arc flow models based on DP in several domains such as cutting, packing, scheduling, and routing.
△ Less
Submitted 15 April, 2021; v1 submitted 1 October, 2020;
originally announced October 2020.
-
Laplacian integral graphs with a given degree sequence constraint
Authors:
Anderson Fernandes Novanta,
Carla S. Oliveira,
Leonardo S. de Lima
Abstract:
Let G be a graph on n vertices. The Laplacian matrix of G, denoted by L(G), is defined as L(G) = D(G) - A(G), where A(G) is the adjacency matrix of G and D(G) is the diagonal matrix of the vertex degrees of G. A graph G is said to be L-integral is all eigenvalues of the matrix L(G) are integers. In this paper, we characterize all L-integral non-bipartite graphs among all connected graphs with at m…
▽ More
Let G be a graph on n vertices. The Laplacian matrix of G, denoted by L(G), is defined as L(G) = D(G) - A(G), where A(G) is the adjacency matrix of G and D(G) is the diagonal matrix of the vertex degrees of G. A graph G is said to be L-integral is all eigenvalues of the matrix L(G) are integers. In this paper, we characterize all L-integral non-bipartite graphs among all connected graphs with at most two vertices of degree larger than or equal to three.
△ Less
Submitted 24 September, 2020;
originally announced September 2020.
-
Generic spectrum of the weighted Laplacian operator on Cayley graphs
Authors:
Cristian F. Coletti,
Lucas R. de Lima,
Diego S. de Oliveira,
Marcus A. M. Marrocos
Abstract:
In this paper, we investigate the spectrum of a class of weighted Laplacians on Cayley graphs and determine under what conditions the corresponding eigenspaces are generically irreducible. Specifically, we analyze the spectrum on left-invariant Cayley graphs endowed with an invariant metric, and we give some criteria for generically irreducible eigenspaces. Additionally, we introduce an operator t…
▽ More
In this paper, we investigate the spectrum of a class of weighted Laplacians on Cayley graphs and determine under what conditions the corresponding eigenspaces are generically irreducible. Specifically, we analyze the spectrum on left-invariant Cayley graphs endowed with an invariant metric, and we give some criteria for generically irreducible eigenspaces. Additionally, we introduce an operator that is comparable to the Laplacian and show that the same criterion holds.
△ Less
Submitted 17 May, 2024; v1 submitted 16 September, 2020;
originally announced September 2020.
-
Mass, center of mass and isoperimetry in asymptotically flat $3$-manifolds
Authors:
Sergio Almaraz,
Levi Lopes de Lima
Abstract:
We revisit the interplay between the mass, the center of mass and the large scale behavior of certain isoperimetric quotients in the setting of asymptotically flat $3$-manifolds (both without and with a non-compact boundary). In the boundaryless case, we first check that the isoperimetric deficits involving the total mean curvature recover the ADM mass in the asymptotic limit, thus extending a cla…
▽ More
We revisit the interplay between the mass, the center of mass and the large scale behavior of certain isoperimetric quotients in the setting of asymptotically flat $3$-manifolds (both without and with a non-compact boundary). In the boundaryless case, we first check that the isoperimetric deficits involving the total mean curvature recover the ADM mass in the asymptotic limit, thus extending a classical result due to G. Huisken. Next, under a Schwarzschild asymptotics and assuming that the mass is positive we indicate how the implicit function method pioneered by R. Ye and refined by L.-H. Huang may be adapted to establish the existence of a foliation of a neighborhood of infinity satisfying the corresponding curvature conditions. Recovering the mass as the asymptotic limit of the corresponding relative isoperimetric deficit also holds true in the presence of a non-compact boundary, where we additionally obtain, again under a Schwarzschild asymptotics, a foliation at infinity by free boundary constant mean curvature hemispheres, which are shown to be the unique relative isoperimetric surfaces for all sufficiently large enclosed volume, thus extending to this setting a celebrated result by M. Eichmair and J. Metzger. Also, in each case treated here we relate the geometric center of the foliation to the center of mass of the manifold as defined by Hamiltonian methods.
△ Less
Submitted 7 February, 2021; v1 submitted 21 July, 2020;
originally announced July 2020.
-
Limit theorems for a random walk with memory perturbed by a dynamical system
Authors:
Cristian F. Coletti,
Lucas R. de Lima,
Renato J. Gava,
Denis A. Luiz
Abstract:
We introduce a new random walk with unbounded memory obtained as a mixture of the Elephant Random Walk and the Dynamic Random Walk which we call the Dynamic Elephant Random Walk (DERW). As a consequence of this mixture the distribution of the increments of the resulting random process is time dependent. We prove a strong law of large numbers for the DERW and, in a particular case, we provide an ex…
▽ More
We introduce a new random walk with unbounded memory obtained as a mixture of the Elephant Random Walk and the Dynamic Random Walk which we call the Dynamic Elephant Random Walk (DERW). As a consequence of this mixture the distribution of the increments of the resulting random process is time dependent. We prove a strong law of large numbers for the DERW and, in a particular case, we provide an explicit expression for its speed. Finally, we give sufficient conditions for the central limit theorem and the law of the iterated logarithm to hold.
△ Less
Submitted 3 February, 2021; v1 submitted 14 May, 2020;
originally announced May 2020.
-
On the Graovac-Ghorbani index for bicyclic graphs with no pendant vertices
Authors:
Diego Pacheco,
Leonardo de Lima,
Carla Silva Oliveira
Abstract:
Let $G=(V,E)$ be a simple undirected and connected graph on $n$ vertices. The Graovac--Ghorbani index of a graph $G$ is defined as $$ABC_{GG}(G)= \sum_{uv \in E(G)} \sqrt{\frac{n_{u}+n_{v}-2} {n_{u} n_{v}}},$$ where $n_u$ is the number of vertices closer to vertex $u$ than vertex $v$ of the edge $uv \in E(G)$ and $n_{v}$ is defined analogously. It is well-known that all bicyclic graphs with no pen…
▽ More
Let $G=(V,E)$ be a simple undirected and connected graph on $n$ vertices. The Graovac--Ghorbani index of a graph $G$ is defined as $$ABC_{GG}(G)= \sum_{uv \in E(G)} \sqrt{\frac{n_{u}+n_{v}-2} {n_{u} n_{v}}},$$ where $n_u$ is the number of vertices closer to vertex $u$ than vertex $v$ of the edge $uv \in E(G)$ and $n_{v}$ is defined analogously. It is well-known that all bicyclic graphs with no pendant vertices are composed by three families of graphs, which we denote by $\mathcal{B}_{n} = B_1(n) \cup B_2(n) \cup B_3(n).$ In this paper, we give an lower bound to the $ABC_{GG}$ index for all graphs in $B_1(n)$ and prove it is sharp by presenting its extremal graphs. Additionally, we conjecture a sharp lower bound to the $ABC_{GG}$ index for all graphs in $\mathcal{B}_{n}.$
△ Less
Submitted 30 April, 2020;
originally announced May 2020.
-
Exact Solution Techniques for Two-dimensional Cutting and Packing
Authors:
Manuel Iori,
Vinícius L. de Lima,
Silvano Martello,
Flávio K. Miyazawa,
Michele Monaci
Abstract:
We survey the main formulations and solution methods for two-dimensional orthogonal cutting and packing problems, where both items and bins are rectangles. We focus on exact methods and relaxations for the four main problems from the literature: finding a packing with minimum height, packing the items into the minimum number of bins, finding a packing of maximum value, and determining the existenc…
▽ More
We survey the main formulations and solution methods for two-dimensional orthogonal cutting and packing problems, where both items and bins are rectangles. We focus on exact methods and relaxations for the four main problems from the literature: finding a packing with minimum height, packing the items into the minimum number of bins, finding a packing of maximum value, and determining the existence of a feasible packing.
△ Less
Submitted 27 April, 2020;
originally announced April 2020.
-
On graphs with adjacency and signless Laplacian matrix eigenvectors entries in $\{-1, +1\}$
Authors:
Jorge Alencar,
Leonardo de Lima
Abstract:
Let $G$ be a simple graph. In 1986, Herbert Wilf asked what kind of graphs have an eigenvector with entries formed only by $\pm 1$? In this paper, we answer this question for the adjacency, Laplacian and signless Laplacian matrix of a graph. Besides, we generalize the concept of an exact graph to the adjacency and signless Laplacian matrices. Infinity families of exact graphs for all those matrice…
▽ More
Let $G$ be a simple graph. In 1986, Herbert Wilf asked what kind of graphs have an eigenvector with entries formed only by $\pm 1$? In this paper, we answer this question for the adjacency, Laplacian and signless Laplacian matrix of a graph. Besides, we generalize the concept of an exact graph to the adjacency and signless Laplacian matrices. Infinity families of exact graphs for all those matrices are presented.
△ Less
Submitted 25 September, 2019;
originally announced September 2019.
-
The asymptotic shape theorem for the frog model on finitely generated abelian groups
Authors:
Cristian F. Coletti,
Lucas R. de Lima
Abstract:
We study the frog model on Cayley graphs of groups with polynomial growth rate $D \geq 3$. The frog model is an interacting particle system in discrete time. We consider that the process begins with a particle at each vertex of the graph and only one of these particles is active when the process begins. Each activated particle performs a simple random walk in discrete time activating the inactive…
▽ More
We study the frog model on Cayley graphs of groups with polynomial growth rate $D \geq 3$. The frog model is an interacting particle system in discrete time. We consider that the process begins with a particle at each vertex of the graph and only one of these particles is active when the process begins. Each activated particle performs a simple random walk in discrete time activating the inactive particles in the visited vertices. We prove that the activation time of particles grows at least linearly and we show that in the abelian case with any finite generator set the set of activated sites has a limiting shape.
△ Less
Submitted 24 March, 2021; v1 submitted 27 August, 2019;
originally announced August 2019.
-
Limit theorems for a minimal random walk model
Authors:
Cristian F Coletti,
Lucas R de Lima,
Renato Gava
Abstract:
We study the minimal random walk introduced by Kumar, Harbola and Lindenberg. It is a random process on $\{0, 1, \ldots \}$ with unbounded memory which exhibits subdiffusive, diffusive and superdiffusive regimes. We prove the law of large numbers for the whole parameter set. Then we prove the central limit theorem and the law of the iterated logarithm for the minimal random walk under diffusive an…
▽ More
We study the minimal random walk introduced by Kumar, Harbola and Lindenberg. It is a random process on $\{0, 1, \ldots \}$ with unbounded memory which exhibits subdiffusive, diffusive and superdiffusive regimes. We prove the law of large numbers for the whole parameter set. Then we prove the central limit theorem and the law of the iterated logarithm for the minimal random walk under diffusive and marginally superdiffusive behaviors. More interestingly, we establish a result for the minimal random walk when it possesses the three regimes; we show the convergence of its rescaled version to a non-normal random variable.
△ Less
Submitted 24 August, 2019;
originally announced August 2019.
-
Spacetime positive mass theorems for initial data sets with noncompact boundary
Authors:
Sergio Almaraz,
Levi Lopes de Lima,
Luciano Mari
Abstract:
In this paper, we define an energy-momentum vector at the spatial infinity of either asymptotically flat or asymptotically hyperbolic initial data sets carrying a non-compact boundary. Under suitable dominant energy conditions (DECs) imposed both on the interior and along the boundary, we prove the corresponding positive mass inequalities under the assumption that the underlying manifold is spin.…
▽ More
In this paper, we define an energy-momentum vector at the spatial infinity of either asymptotically flat or asymptotically hyperbolic initial data sets carrying a non-compact boundary. Under suitable dominant energy conditions (DECs) imposed both on the interior and along the boundary, we prove the corresponding positive mass inequalities under the assumption that the underlying manifold is spin. In the asymptotically flat case, we also prove a rigidity statement when the energy-momentum vector is lightlike. Our treatment aims to underline both the common features and the differences between the asymptotically Euclidean and hyperbolic settings, especially regarding the boundary DECs.
△ Less
Submitted 15 November, 2020; v1 submitted 3 July, 2019;
originally announced July 2019.
-
The mass in terms of Einstein and Newton
Authors:
Levi Lopes de Lima,
Frederico Girão,
Amilcar Montalbán
Abstract:
It is shown that the mass of an asymptotically flat manifold with a noncompact boundary can be computed in terms of limiting surface integrals involving the Einstein tensor of the interior metric and the Newton tensor attached to the second fundamental form of the boundary. This extends to this setting previous results by several authors in the boundaryless case. The method outlined below, which i…
▽ More
It is shown that the mass of an asymptotically flat manifold with a noncompact boundary can be computed in terms of limiting surface integrals involving the Einstein tensor of the interior metric and the Newton tensor attached to the second fundamental form of the boundary. This extends to this setting previous results by several authors in the boundaryless case. The method outlined below, which is based on a coordinate-free approach due to Herzlich, also applies to asymptotically hyperbolic manifolds, again with a noncompact boundary, for which a similar notion of mass has been recently considered by Almaraz and the first named author, and both cases will be discussed here.
△ Less
Submitted 16 November, 2018;
originally announced November 2018.
-
The mass of an asymptotically hyperbolic manifold with a noncompact boundary
Authors:
Sergio Almaraz,
Levi Lopes de Lima
Abstract:
We define a mass-type invariant for asymptotically hyperbolic manifolds with a noncompact boundary which are modelled at infinity on the hyperbolic half-space and prove a sharp positive mass inequality in the spin case under suitable dominant energy conditions. As an application we show that any such manifold which is Einstein and either has a totally geodesic boundary or is conformally compact an…
▽ More
We define a mass-type invariant for asymptotically hyperbolic manifolds with a noncompact boundary which are modelled at infinity on the hyperbolic half-space and prove a sharp positive mass inequality in the spin case under suitable dominant energy conditions. As an application we show that any such manifold which is Einstein and either has a totally geodesic boundary or is conformally compact and has a mean convex boundary is isometric to the hyperbolic half-space.
△ Less
Submitted 3 January, 2019; v1 submitted 16 November, 2018;
originally announced November 2018.
-
Heat conservation for generalized Dirac Laplacians on manifolds with boundary
Authors:
Levi Lopes de Lima
Abstract:
We consider a notion of conservation for the heat semigroup associated to a generalized Dirac Laplacian acting on sections of a vector bundle over a noncompact manifold with a (possibly noncompact) boundary under mixed boundary conditions. Assuming that the geometry of the underlying manifold is controlled in a suitable way and imposing uniform lower bounds on the zero order (Weitzenböck) piece of…
▽ More
We consider a notion of conservation for the heat semigroup associated to a generalized Dirac Laplacian acting on sections of a vector bundle over a noncompact manifold with a (possibly noncompact) boundary under mixed boundary conditions. Assuming that the geometry of the underlying manifold is controlled in a suitable way and imposing uniform lower bounds on the zero order (Weitzenböck) piece of the Dirac Laplacian and on the endomorphism defining the mixed boundary condition we show that the corresponding conservation principle holds. A key ingredient in the proof is a domination property for the heat semigroup which follows from an extension to this setting of a Feynman-Kac formula recently proved in \cite{dL1} in the context of differential forms. When applied to the Hodge Laplacian acting on differential forms satisfying absolute boundary conditions, this extends previous results by Vesentini \cite{Ve} and Masamune \cite{M} in the boundaryless case. Along the way we also prove a vanishing result for $L^2$ harmonic sections in the broader context of generalized (not necessarily Dirac) Laplacians. These results are further illustrated with applications to the Dirac Laplacian acting on spinors and to the Jacobi operator acting on sections of the normal bundle of a free boundary minimal immersion.
△ Less
Submitted 18 December, 2017;
originally announced December 2017.
-
A probabilistic proof of the Gauss-Bonnet formula for manifolds with boundary
Authors:
Levi Lopes de Lima
Abstract:
In this short note we outline a simple probabilistic proof of the Gauss-Bonnet formula for compact Riemannian manifolds with boundary, which adapts to this setting an argument due to Hsu \cite{Hs1,Hs2} in the closed case. The new technical ingredient is the Feynman-Kac formula for differential forms satisfying absolute boundary conditions proved in \cite{dL}. Combined with the so-called supersymme…
▽ More
In this short note we outline a simple probabilistic proof of the Gauss-Bonnet formula for compact Riemannian manifolds with boundary, which adapts to this setting an argument due to Hsu \cite{Hs1,Hs2} in the closed case. The new technical ingredient is the Feynman-Kac formula for differential forms satisfying absolute boundary conditions proved in \cite{dL}. Combined with the so-called supersymmetric aproach to index theory, this leads to a path integral representation of the Euler characteristic of the manifold in terms of normally reflected Brownian motion whose short time asymptotics clarifies the role played by the shape operator in determining the boundary contribution to the formula. As a consequence we obtain the expected {\em local} Gauss-Bonnet formula which upon integration yields the desired global result.
△ Less
Submitted 12 September, 2017;
originally announced September 2017.
-
Recurrence and transience for normally reflected Brownian motion in warped product manifolds
Authors:
Levi Lopes de Lima
Abstract:
We establish an integral test describing the exact cut-off between recurrence and transience for normally reflected Brownian motion in certain unbounded domains in a class of warped product manifolds. Besides extending a previous result by R. Pinsky, who treated the case in which the ambient space is flat, our result recovers the classical test for the standard Brownian motion in model spaces. Mor…
▽ More
We establish an integral test describing the exact cut-off between recurrence and transience for normally reflected Brownian motion in certain unbounded domains in a class of warped product manifolds. Besides extending a previous result by R. Pinsky, who treated the case in which the ambient space is flat, our result recovers the classical test for the standard Brownian motion in model spaces. Moreover, it allows us to discuss the recurrence/transience dichotomy for certain generalized tube domains around totally geodesic submanifolds in hyperbolic space.
△ Less
Submitted 23 August, 2016; v1 submitted 19 July, 2016;
originally announced July 2016.
-
The generalized Poho{z}aev-Schoen identity and some geometric applications
Authors:
Ezequiel Barbosa,
Levi Lopes de Lima,
Allan Freitas
Abstract:
In this note we show how a generalized Pohozaev-Schoen identity due to Gover and Orsted \cite{GO} can be used to obtain some rigidity results for $V$-static manifolds and generalized solitons. We also obtain an Alexandrov type result for certain hypersurfaces in Einstein manifolds.
In this note we show how a generalized Pohozaev-Schoen identity due to Gover and Orsted \cite{GO} can be used to obtain some rigidity results for $V$-static manifolds and generalized solitons. We also obtain an Alexandrov type result for certain hypersurfaces in Einstein manifolds.
△ Less
Submitted 11 July, 2016;
originally announced July 2016.
-
A Feynman-Kac formula for differential forms on manifolds with boundary and applications
Authors:
Levi Lopes de Lima
Abstract:
We prove a Feynman-Kac formula for differential forms satisfying absolute boundary conditions on Riemannian manifolds with boundary and of bounded geometry. We use this to construct $L^2$ harmonic forms out of bounded ones on the universal cover of a compact Riemannian manifold whose geometry displays a positivity property expressed in terms of a certain stochastic average of the Weitzenböck opera…
▽ More
We prove a Feynman-Kac formula for differential forms satisfying absolute boundary conditions on Riemannian manifolds with boundary and of bounded geometry. We use this to construct $L^2$ harmonic forms out of bounded ones on the universal cover of a compact Riemannian manifold whose geometry displays a positivity property expressed in terms of a certain stochastic average of the Weitzenböck operator $R_p$ acting on $p$-forms and the second fundamental form of the boundary. This extends previous work by Elworthy-Li-Rosenberg on closed manifolds to this setting. As an application we find a geometric obstruction to the existence of metrics with 2-convex boundary and positive $R_2$ in this stochastic sense. We also discuss a version of the Feynman-Kac formula for spinors under suitable boundary conditions.
△ Less
Submitted 3 December, 2015;
originally announced December 2015.
-
The clique number and the smallest Q-eigenvalue of graphs
Authors:
Leonardo de Lima,
Vladimir Nikiforov,
Carla Oliveira
Abstract:
Let $q_{\min}(G)$ stand for the smallest eigenvalue of the signless Laplacian of a graph $G$ of order $n.$ This paper gives some results on the following extremal problem:
How large can $q_\min\left( G\right) $ be if $G$ is a graph of order $n,$ with no complete subgraph of order $r+1?$
It is shown that this problem is related to the well-known topic of making graphs bipartite. Using known cla…
▽ More
Let $q_{\min}(G)$ stand for the smallest eigenvalue of the signless Laplacian of a graph $G$ of order $n.$ This paper gives some results on the following extremal problem:
How large can $q_\min\left( G\right) $ be if $G$ is a graph of order $n,$ with no complete subgraph of order $r+1?$
It is shown that this problem is related to the well-known topic of making graphs bipartite. Using known classical results, several bounds on $q_{\min}$ are obtained, thus extending previous work of Brandt for regular graphs.
In addition, using graph blowups, a general asymptotic result about the maximum $q_{\min}$ is established. As a supporting tool, the spectra of the Laplacian and the signless Laplacian of blowups of graphs are calculated.
△ Less
Submitted 7 August, 2015;
originally announced August 2015.
-
A lower bound for the sum of the two largest signless Laplacian eigenvalues
Authors:
Leonardo de Lima,
Carla Oliveira
Abstract:
Let $G$ be a graph of order $n \geq 3$ with sequence degree given as $d_{1}(G) \geq ... \geq d_{n}(G)$ and let $μ_1(G),..., μ_n(G)$ and $q_1(G), ..., q_{n}(G)$ be the Laplacian and signless Laplacian eigenvalues of $G$ arranged in non increasing order, respectively. Here, we consider the Grone's inequality [R. Grone, Eigenvalues and degree sequences of graphs, Lin. Multilin. Alg. 39 (1995) 133--13…
▽ More
Let $G$ be a graph of order $n \geq 3$ with sequence degree given as $d_{1}(G) \geq ... \geq d_{n}(G)$ and let $μ_1(G),..., μ_n(G)$ and $q_1(G), ..., q_{n}(G)$ be the Laplacian and signless Laplacian eigenvalues of $G$ arranged in non increasing order, respectively. Here, we consider the Grone's inequality [R. Grone, Eigenvalues and degree sequences of graphs, Lin. Multilin. Alg. 39 (1995) 133--136] $$ \sum_{i=1}^{k} μ_{i}(G) \geq \sum_{i=1}^{k} d_{i}(G)+1$$ and prove that for $k=2$, the equality holds if and only if $G$ is the star graph $S_{n}.$ The signless Laplacian version of Grone's inequality is known to be true when $k=1.$ In this paper, we prove that it is also true for $k=2,$ that is, $$q_{1}(G)+q_{2}(G) \geq d_1(G)+d_2(G)+1$$ with equality if and only if $G$ is the star $S_{n}$ or the complete graph $K_{3}.$ When $k \geq 3$, we show a counterexample.
△ Less
Submitted 30 November, 2014;
originally announced December 2014.
-
Spectra of the blow-up graphs
Authors:
Carla Oliveira,
Leonardo de Lima,
Vladimir Nikiforov
Abstract:
Let $G$ be graph on $n$ vertices and $G^{(t)}$ its blow-up graph of order $t.$ In this paper, we determine all eigenvalues of the Laplacian and the signless Laplacian matrix of $G^{(t)}$ and its complement $\bar{G^{(t)}}.$
Let $G$ be graph on $n$ vertices and $G^{(t)}$ its blow-up graph of order $t.$ In this paper, we determine all eigenvalues of the Laplacian and the signless Laplacian matrix of $G^{(t)}$ and its complement $\bar{G^{(t)}}.$
△ Less
Submitted 30 November, 2014;
originally announced December 2014.
-
Deforming the scalar curvature of the de Sitter-Schwarzschild space
Authors:
C. Tiarlos Cruz,
Levi Lopes de Lima,
José Fabio Montenegro
Abstract:
Building upon the work of Brendle, Marques and Neves on the construction of counterexamples to Min-Oo's conjecture, we exhibit deformations of the de Sitter-Schwarzschild space of dimension $n\geq 3$ satisfying the dominant energy condition and agreeing with the standard metric along the event and cosmological horizons, which remain totally geodesic. Our results actually hold for generalized Kottl…
▽ More
Building upon the work of Brendle, Marques and Neves on the construction of counterexamples to Min-Oo's conjecture, we exhibit deformations of the de Sitter-Schwarzschild space of dimension $n\geq 3$ satisfying the dominant energy condition and agreeing with the standard metric along the event and cosmological horizons, which remain totally geodesic. Our results actually hold for generalized Kottler-de Sitter-Schwarzschild spaces whose cross sections are compact rank one symmetric spaces and indicate that there exists no analogue of the Penrose inequality in the case of positive cosmological constant. As an application we construct solutions of Einstein field equations satisfying the dominant energy condition and being asymptotic to (or agreeing with) the de Sitter-Schwarzschild space-time both at the event horizon and at spatial infinity.
△ Less
Submitted 6 November, 2014;
originally announced November 2014.
-
A positive mass theorem for asymptotically flat manifolds with a non-compact boundary
Authors:
Sergio Almaraz,
Ezequiel Barbosa,
Levi Lopes de Lima
Abstract:
We prove a positive mass theorem for $n$-dimensional asymptotically flat manifolds with a non-compact boundary if either $3\leq n\leq 7$ or if $n\geq 3$ and the manifold is spin. This settles, for this class of manifolds, a question posed in a recent paper by the first author in connection with the long-term behavior of a certain Yamabe-type flow on scalar-flat compact manifolds with boundary.
We prove a positive mass theorem for $n$-dimensional asymptotically flat manifolds with a non-compact boundary if either $3\leq n\leq 7$ or if $n\geq 3$ and the manifold is spin. This settles, for this class of manifolds, a question posed in a recent paper by the first author in connection with the long-term behavior of a certain Yamabe-type flow on scalar-flat compact manifolds with boundary.
△ Less
Submitted 2 July, 2014;
originally announced July 2014.
-
On the limiting behavior of the Brown-York quasi-local mass in asymptotically hyperbolic manifolds
Authors:
Ezequiel Barbosa,
Levi Lopes de Lima,
Frederico Girão
Abstract:
We show that the limit at infinity of the vector-valued Brown-York-type quasi-local mass along any coordinate exhaustion of an asymptotically hyperbolic $3$-manifold satisfying the relevant energy condition on the scalar curvature has the conjectured causal character. Our proof uses spinors and relies on a Witten-type formula expressing the asymptotic limit of this quasi-local mass as a bulk integ…
▽ More
We show that the limit at infinity of the vector-valued Brown-York-type quasi-local mass along any coordinate exhaustion of an asymptotically hyperbolic $3$-manifold satisfying the relevant energy condition on the scalar curvature has the conjectured causal character. Our proof uses spinors and relies on a Witten-type formula expressing the asymptotic limit of this quasi-local mass as a bulk integral which manifestly has the right sign under the above assumptions. In the spirit of recent work by Hijazi, Montiel and Raulot, we also provide another proof of this result which uses the theory of boundary value problems for Dirac operators on compact domains to show that a certain quasi-local mass, which converges to the Brown-York mass in the asymptotic limit, has the expected causal character under suitable geometric assumptions.
△ Less
Submitted 2 July, 2014;
originally announced July 2014.
