Showing 1–11 of 11 results for author: Morgado, S

SaulLM-7B: A pioneering Large Language Model for Law

Authors: Pierre Colombo, Telmo Pessoa Pires, Malik Boudiaf, Dominic Culver, Rui Melo, Caio Corro, Andre F. T. Martins, Fabrizio Esposito, Vera Lúcia Raposo, Sofia Morgado, Michael Desa

Abstract: In this paper, we introduce SaulLM-7B, a large language model (LLM) tailored for the legal domain. With 7 billion parameters, SaulLM-7B is the first LLM designed explicitly for legal text comprehension and generation. Leveraging the Mistral 7B architecture as its foundation, SaulLM-7B is trained on an English legal corpus of over 30 billion tokens. SaulLM-7B exhibits state-of-the-art proficiency i… ▽ More In this paper, we introduce SaulLM-7B, a large language model (LLM) tailored for the legal domain. With 7 billion parameters, SaulLM-7B is the first LLM designed explicitly for legal text comprehension and generation. Leveraging the Mistral 7B architecture as its foundation, SaulLM-7B is trained on an English legal corpus of over 30 billion tokens. SaulLM-7B exhibits state-of-the-art proficiency in understanding and processing legal documents. Additionally, we present a novel instructional fine-tuning method that leverages legal datasets to further enhance SaulLM-7B's performance in legal tasks. SaulLM-7B is released under the MIT License. △ Less

Submitted 7 March, 2024; v1 submitted 6 March, 2024; originally announced March 2024.

A selection principle for a viscosity solution of the Mañé Lagrangian

Authors: Iker Martínez Juárez, Héctor Sánchez Morgado

Abstract: For a vector field on a compact manifold we consider the invariant measure for the stochastic perturbation as well as the corresponding Mañé lagrangian. We show that the limit of the invariant measure of the perturbated system, when the perturbation tends to zero, determines a particular weak KAM solution of the lagrangian. For a vector field on a compact manifold we consider the invariant measure for the stochastic perturbation as well as the corresponding Mañé lagrangian. We show that the limit of the invariant measure of the perturbated system, when the perturbation tends to zero, determines a particular weak KAM solution of the lagrangian. △ Less

Submitted 18 January, 2024; originally announced January 2024.

Comments: 9 pages

MSC Class: 37J50; 60F10; 49L25

Stochastic Differential Mean-Field Games in a Weak Formulation

Authors: Hector Sanchez Morgado, Jesus Sierra

Abstract: We study a Mean Field Game system in a weak formulation through its associated McKean-Vlasov Forward-Backward Stochastic Differential Equation (FBSDE). Our main goal is to obtain existence and regularity results of this FBSDE using the techniques of Malliavin calculus, in particular, classical and Malliavin differentiability. Using these results, we characterize the decoupling (master) field. We study a Mean Field Game system in a weak formulation through its associated McKean-Vlasov Forward-Backward Stochastic Differential Equation (FBSDE). Our main goal is to obtain existence and regularity results of this FBSDE using the techniques of Malliavin calculus, in particular, classical and Malliavin differentiability. Using these results, we characterize the decoupling (master) field. △ Less

Submitted 8 September, 2023; originally announced September 2023.

Comments: 21 pages

MSC Class: 49N80; 91A15; 35Q89

Weak KAM theory for subriemannian Lagrangians

Authors: Hector Sanchez Morgado

Abstract: We extend weak KAM theory to Lagrangians that are defined only on the horizontal distribution of a sub-Riemannian manifold. The main tool is Tonelli's theorem which allows dispending on a Lagrangian dynamics. We extend weak KAM theory to Lagrangians that are defined only on the horizontal distribution of a sub-Riemannian manifold. The main tool is Tonelli's theorem which allows dispending on a Lagrangian dynamics. △ Less

Submitted 21 March, 2022; v1 submitted 3 January, 2022; originally announced January 2022.

MSC Class: 49L25; 35D40

Discrete Approximation Of Stationary Mean Field Games

Authors: Tigran Bakaryan, Diogo Gomes, Héctor Sánchez Morgado

Abstract: In this paper, we focus on stationary (ergodic) mean-field games (MFGs). These games arise in the study of the long-time behavior of finite-horizon MFGs. Motivated by a prior scheme for Hamilton-Jacobi equations introduced in Aubry-Mather's theory, we introduce a discrete approximation to stationary MFGs. Relying on Kakutani's fixed-point theorem, we prove the existence and uniqueness (up to addit… ▽ More In this paper, we focus on stationary (ergodic) mean-field games (MFGs). These games arise in the study of the long-time behavior of finite-horizon MFGs. Motivated by a prior scheme for Hamilton-Jacobi equations introduced in Aubry-Mather's theory, we introduce a discrete approximation to stationary MFGs. Relying on Kakutani's fixed-point theorem, we prove the existence and uniqueness (up to additive constant) of solutions to the discrete problem. Moreover, we show that the solutions to the discrete problem converge, uniformly in the nonlocal case and weakly in the local case, to the classical solutions of the stationary problem. △ Less

Submitted 26 September, 2021; originally announced September 2021.

Comments: 30 pages

MSC Class: 35J47; 35A01; 35J50

Discrete approximation of the viscous HJ equation

Authors: Andrea Davini, Hitoshi Ishii, Renato Iturriaga, Hector Sanchez Morgado

Abstract: We consider a stochastic discretization of the stationary viscous Hamilton Jacobi equation on the flat d dimensional torus, associated with a Hamiltonian, convex and superlinear in the momentum variable. We show that each discrete problem admits a unique continuous solution on the torus, up to additive constants. By additionally assuming a technical condition on the associated Lagrangian, we show… ▽ More We consider a stochastic discretization of the stationary viscous Hamilton Jacobi equation on the flat d dimensional torus, associated with a Hamiltonian, convex and superlinear in the momentum variable. We show that each discrete problem admits a unique continuous solution on the torus, up to additive constants. By additionally assuming a technical condition on the associated Lagrangian, we show that each solution of the viscous Hamilton Jacobi equation is the limit of solutions of the discrete problems, as the discretization step goes to zero. △ Less

Submitted 16 February, 2020; originally announced February 2020.

Report number: Roma01.Math MSC Class: 45D40; 65K10

Time-periodic Evans approach to weak KAM theory

Authors: Hector Sanchez Morgado

Abstract: We study the time-periodic version of Evans approach to weak KAM theory. Evans minimization problem is equivalent to a first oder mean field game system. For the mechanical Hamiltonian we prove the existence of smooth solutions. We introduce the corresponding effective Lagrangian and Hamiltonian and prove that they are smooth. We also consider the limiting behavior of the effective Lagrangian and… ▽ More We study the time-periodic version of Evans approach to weak KAM theory. Evans minimization problem is equivalent to a first oder mean field game system. For the mechanical Hamiltonian we prove the existence of smooth solutions. We introduce the corresponding effective Lagrangian and Hamiltonian and prove that they are smooth. We also consider the limiting behavior of the effective Lagrangian and Hamiltonian, Mather measures and minimizers. △ Less

Submitted 29 December, 2017; originally announced December 2017.

MSC Class: 37J20; 35J70; 37J50

Free time minimizers for the planar three-body problem

Authors: Rick Moeckel, Richard Montgomery, Hector Sanchez Morgado

Abstract: Free time minimizers of the action (called"semi-static" solutions by Mañe) play a central role in the theory of weak KAM solutions to the Hamilton-Jacobi equation (see Fathi). We prove that any solution to Newton's three-body problem which is asymptotic to Lagrange's parabolic homothetic solution is eventually a free time minimizer. Conversely, we prove that every free time minimizer tends to Lagr… ▽ More Free time minimizers of the action (called"semi-static" solutions by Mañe) play a central role in the theory of weak KAM solutions to the Hamilton-Jacobi equation (see Fathi). We prove that any solution to Newton's three-body problem which is asymptotic to Lagrange's parabolic homothetic solution is eventually a free time minimizer. Conversely, we prove that every free time minimizer tends to Lagrange's solution, provided the mass ratios lie in a certain large open set of mass ratios. We were inspired by the work of Da Luz-Maderna who had shown that every free time minimizer for the N-body problem is parabolic, and therefore must be asymptotic to the set of central configurations. We exclude being asymptotic to Euler's central configurations by a second variation argument. Central configurations correspond to rest points for the McGehee blown-up dynamics. The large open set of mass ratios are those for which the linearized dynamics at each Euler rest point has a complex eigenvalue. △ Less

Submitted 1 May, 2017; originally announced May 2017.

Comments: 21 pages, 2 figures

MSC Class: 37J50; 70F10; 70H20; 74H35

The Lax-Oleinik semi-group on graphs

Authors: Renato Iturriaga, Hector Sanchez Morgado

Abstract: We consider Tonelli Lagrangians on a graph, define weak KAM solutions, which happen to be the fixed points of the Lax-Oleinik semi-group, and identify their uniqueness set as the Aubry set, giving a representation formula. Our main result is the long time convergence of the Lax Oleinik semi-group. Weak KAM solutions are viscosity solutions, and in the case of Hamiltonians called of eikonal type in… ▽ More We consider Tonelli Lagrangians on a graph, define weak KAM solutions, which happen to be the fixed points of the Lax-Oleinik semi-group, and identify their uniqueness set as the Aubry set, giving a representation formula. Our main result is the long time convergence of the Lax Oleinik semi-group. Weak KAM solutions are viscosity solutions, and in the case of Hamiltonians called of eikonal type in [CS], we prove that the converse holds. △ Less

Submitted 27 April, 2017; v1 submitted 14 January, 2016; originally announced January 2016.

Comments: 23 pages

MSC Class: 35R02; 35F21; 35Q93

Busseman functions for the N-body problem

Authors: Boris Percino, Héctor Sánchez Morgado

Abstract: We prove that the Busemann function of the parabolic homotetic motion for a minimal central coniguration of the N-body problem is a viscosity solution of the Hamilton-Jacobi equation and that its calibrating curves are asymptotic to the homotetic motion. We prove that the Busemann function of the parabolic homotetic motion for a minimal central coniguration of the N-body problem is a viscosity solution of the Hamilton-Jacobi equation and that its calibrating curves are asymptotic to the homotetic motion. △ Less

Submitted 25 August, 2013; originally announced August 2013.

Comments: 10 pages

MSC Class: 37J50; 70F10

The Design and Performance of the ZEUS Central Tracking Detector z-by-Timing System

Authors: D. S. Bailey, R. C. Carter, B. Foster, N. Harnew, G. P. Heath, M. D. Jeffs, T. Khatri, M. Lancaster, J. B. Lane, I. C. McArthur, J. D. McFall, R. Milborrow, C. J. S. Morgado, M. C. Morrissey, J. Nash, G. Nixon, D. A. Phillips, M. Postranecky, S. P. H. Quinton, P. D. Shield, S. Topp-Jorgensen, G. Westlake, D. J. White, F. F. Wilson, .

Abstract: The ZEUS Central Tracking Detector utilizes a time difference measurement to provide a fast determination of the z-coordinate of each hit. The z-by-timing measurement is achieved by using a Time-to-Amplitude Converter which has an intrinsic timing resolution of 36 ps, has pipelined readout, and has a multihit capability of 48 ns. In order to maintain the required sub-nanosecond timing accuracy,… ▽ More The ZEUS Central Tracking Detector utilizes a time difference measurement to provide a fast determination of the z-coordinate of each hit. The z-by-timing measurement is achieved by using a Time-to-Amplitude Converter which has an intrinsic timing resolution of 36 ps, has pipelined readout, and has a multihit capability of 48 ns. In order to maintain the required sub-nanosecond timing accuracy, the technique incorporates an automated self-calibration system. The readout of the z-by-timing data utilizes a fully customized timing control system which runs synchronously with the HERA beam-crossing clock, and a data acquisition system implemented on a network of Transputers. Three dimensional space-points provided by the z-by-timing system are used as input to all three levels of the ZEUS trigger and for offline track reconstruction. The average z-resolution is determined to be 4.4 cm for multi-track events from positron-proton collisions in the ZEUS detector. △ Less

Submitted 18 July, 1997; originally announced July 1997.

Comments: 49 pages, 32 figures. Accepted for publication in NIM-A

Journal ref: Nucl.Instrum.Meth. A396 (1997) 320-349