-
Depth-Constrained ASV Navigation with Deep RL and Limited Sensing
Authors:
Amirhossein Zhalehmehrabi,
Daniele Meli,
Francesco Dal Santo,
Francesco Trotti,
Alessandro Farinelli
Abstract:
Autonomous Surface Vehicles (ASVs) play a crucial role in maritime operations, yet their navigation in shallow-water environments remains challenging due to dynamic disturbances and depth constraints. Traditional navigation strategies struggle with limited sensor information, making safe and efficient operation difficult. In this paper, we propose a reinforcement learning (RL) framework for ASV na…
▽ More
Autonomous Surface Vehicles (ASVs) play a crucial role in maritime operations, yet their navigation in shallow-water environments remains challenging due to dynamic disturbances and depth constraints. Traditional navigation strategies struggle with limited sensor information, making safe and efficient operation difficult. In this paper, we propose a reinforcement learning (RL) framework for ASV navigation under depth constraints, where the vehicle must reach a target while avoiding unsafe areas with only a single depth measurement per timestep from a downward-facing Single Beam Echosounder (SBES). To enhance environmental awareness, we integrate Gaussian Process (GP) regression into the RL framework, enabling the agent to progressively estimate a bathymetric depth map from sparse sonar readings. This approach improves decision-making by providing a richer representation of the environment. Furthermore, we demonstrate effective sim-to-real transfer, ensuring that trained policies generalize well to real-world aquatic conditions. Experimental results validate our method's capability to improve ASV navigation performance while maintaining safety in challenging shallow-water environments.
△ Less
Submitted 2 June, 2025; v1 submitted 25 April, 2025;
originally announced April 2025.
-
From Fake Perfects to Conversational Imperfects: Exploring Image-Generative AI as a Boundary Object for Participatory Design of Public Spaces
Authors:
Jose A. Guridi,
Angel Hsing-Chi Hwang,
Duarte Santo,
Maria Goula,
Cristobal Cheyre,
Lee Humphreys,
Marco Rangel
Abstract:
Designing public spaces requires balancing the interests of diverse stakeholders within a constrained physical and institutional space. Designers usually approach these problems through participatory methods but struggle to incorporate diverse perspectives into design outputs. The growing capabilities of image-generative artificial intelligence (IGAI) could support participatory design. Prior work…
▽ More
Designing public spaces requires balancing the interests of diverse stakeholders within a constrained physical and institutional space. Designers usually approach these problems through participatory methods but struggle to incorporate diverse perspectives into design outputs. The growing capabilities of image-generative artificial intelligence (IGAI) could support participatory design. Prior work in leveraging IGAI's capabilities in design has focused on augmenting the experience and performance of individual creators. We study how IGAI could facilitate participatory processes when designing public spaces, a complex collaborative task. We conducted workshops and IGAI-mediated interviews in a real-world participatory process to upgrade a park in Los Angeles. We found (1) a shift from focusing on accuracy to fostering richer conversations as the desirable outcome of adopting IGAI in participatory design, (2) that IGAI promoted more space-aware conversations, and (3) that IGAI-mediated conversations are subject to the abilities of the facilitators in managing the interaction between themselves, the AI, and stakeholders. We contribute by discussing practical implications for using IGAI in participatory design, including success metrics, relevant skills, and asymmetries between designers and stakeholders. We finish by proposing a series of open research questions.
△ Less
Submitted 1 November, 2024;
originally announced November 2024.
-
FLAMO: An Open-Source Library for Frequency-Domain Differentiable Audio Processing
Authors:
Gloria Dal Santo,
Gian Marco De Bortoli,
Karolina Prawda,
Sebastian J. Schlecht,
Vesa Välimäki
Abstract:
We present FLAMO, a Frequency-sampling Library for Audio-Module Optimization designed to implement and optimize differentiable linear time-invariant audio systems. The library is open-source and built on the frequency-sampling filter design method, allowing for the creation of differentiable modules that can be used stand-alone or within the computation graph of neural networks, simplifying the de…
▽ More
We present FLAMO, a Frequency-sampling Library for Audio-Module Optimization designed to implement and optimize differentiable linear time-invariant audio systems. The library is open-source and built on the frequency-sampling filter design method, allowing for the creation of differentiable modules that can be used stand-alone or within the computation graph of neural networks, simplifying the development of differentiable audio systems. It includes predefined filtering modules and auxiliary classes for constructing, training, and logging the optimized systems, all accessible through an intuitive interface. Practical application of these modules is demonstrated through two case studies: the optimization of an artificial reverberator and an active acoustics system for improved response coloration.
△ Less
Submitted 14 April, 2025; v1 submitted 13 September, 2024;
originally announced September 2024.
-
Similarity Metrics For Late Reverberation
Authors:
Gloria Dal Santo,
Karolina Prawda,
Sebastian J. Schlecht,
Vesa Välimäki
Abstract:
Automatic tuning of reverberation algorithms relies on the optimization of a cost function. While general audio similarity metrics are useful, they are not optimized for the specific statistical properties of reverberation in rooms. This paper presents two novel metrics for assessing the similarity of late reverberation in room impulse responses. These metrics are differentiable and can be utilize…
▽ More
Automatic tuning of reverberation algorithms relies on the optimization of a cost function. While general audio similarity metrics are useful, they are not optimized for the specific statistical properties of reverberation in rooms. This paper presents two novel metrics for assessing the similarity of late reverberation in room impulse responses. These metrics are differentiable and can be utilized within a machine-learning framework. We compare the performance of these metrics to two popular audio metrics using a large dataset of room impulse responses encompassing various room configurations and microphone positions. The results indicate that the proposed functions based on averaged power and frequency-band energy decay outperform the baselines with the former exhibiting the most suitable profile towards the minimum. The proposed work holds promise as an improvement to the design and evaluation of reverberation similarity metrics.
△ Less
Submitted 27 August, 2024;
originally announced August 2024.
-
Gemini 1.5: Unlocking multimodal understanding across millions of tokens of context
Authors:
Gemini Team,
Petko Georgiev,
Ving Ian Lei,
Ryan Burnell,
Libin Bai,
Anmol Gulati,
Garrett Tanzer,
Damien Vincent,
Zhufeng Pan,
Shibo Wang,
Soroosh Mariooryad,
Yifan Ding,
Xinyang Geng,
Fred Alcober,
Roy Frostig,
Mark Omernick,
Lexi Walker,
Cosmin Paduraru,
Christina Sorokin,
Andrea Tacchetti,
Colin Gaffney,
Samira Daruki,
Olcan Sercinoglu,
Zach Gleicher,
Juliette Love
, et al. (1112 additional authors not shown)
Abstract:
In this report, we introduce the Gemini 1.5 family of models, representing the next generation of highly compute-efficient multimodal models capable of recalling and reasoning over fine-grained information from millions of tokens of context, including multiple long documents and hours of video and audio. The family includes two new models: (1) an updated Gemini 1.5 Pro, which exceeds the February…
▽ More
In this report, we introduce the Gemini 1.5 family of models, representing the next generation of highly compute-efficient multimodal models capable of recalling and reasoning over fine-grained information from millions of tokens of context, including multiple long documents and hours of video and audio. The family includes two new models: (1) an updated Gemini 1.5 Pro, which exceeds the February version on the great majority of capabilities and benchmarks; (2) Gemini 1.5 Flash, a more lightweight variant designed for efficiency with minimal regression in quality. Gemini 1.5 models achieve near-perfect recall on long-context retrieval tasks across modalities, improve the state-of-the-art in long-document QA, long-video QA and long-context ASR, and match or surpass Gemini 1.0 Ultra's state-of-the-art performance across a broad set of benchmarks. Studying the limits of Gemini 1.5's long-context ability, we find continued improvement in next-token prediction and near-perfect retrieval (>99%) up to at least 10M tokens, a generational leap over existing models such as Claude 3.0 (200k) and GPT-4 Turbo (128k). Finally, we highlight real-world use cases, such as Gemini 1.5 collaborating with professionals on completing their tasks achieving 26 to 75% time savings across 10 different job categories, as well as surprising new capabilities of large language models at the frontier; when given a grammar manual for Kalamang, a language with fewer than 200 speakers worldwide, the model learns to translate English to Kalamang at a similar level to a person who learned from the same content.
△ Less
Submitted 16 December, 2024; v1 submitted 8 March, 2024;
originally announced March 2024.
-
Optimizing tiny colorless feedback delay networks
Authors:
Gloria Dal Santo,
Karolina Prawda,
Sebastian J. Schlecht,
Vesa Välimäki
Abstract:
A common bane of artificial reverberation algorithms is spectral coloration in the synthesized sound, typically manifesting as metallic ringing, leading to a degradation in the perceived sound quality. In delay network methods, coloration is more pronounced when fewer delay lines are used. This paper presents an optimization framework in which a tiny differentiable feedback delay network, with as…
▽ More
A common bane of artificial reverberation algorithms is spectral coloration in the synthesized sound, typically manifesting as metallic ringing, leading to a degradation in the perceived sound quality. In delay network methods, coloration is more pronounced when fewer delay lines are used. This paper presents an optimization framework in which a tiny differentiable feedback delay network, with as few as four delay lines, is used to learn a set of parameters to iteratively reduce coloration. The parameters under optimization include the feedback matrix, as well as the input and output gains. The optimization objective is twofold: to maximize spectral flatness through a spectral loss while maintaining temporal density by penalizing sparseness in the parameter values. A favorable narrow distribution of modal excitation is achieved while maintaining the desired impulse response density. In a subjective assessment, the new method proves effective in reducing perceptual coloration of late reverberation. Compared to the author's previous work, which serves as the baseline and utilizes a sparsity loss in the time domain, the proposed method achieves computational savings while maintaining performance. The effectiveness of this work is demonstrated through two application scenarios where smooth-sounding synthetic room impulse responses are obtained via the introduction of attenuation filters and an optimizable scattering feedback matrix.
△ Less
Submitted 12 March, 2025; v1 submitted 17 February, 2024;
originally announced February 2024.
-
Reconstruction of the initial condition in parabolic equations with Log-Lipschitz coefficients
Authors:
Daniele Del Santo,
Martino Prizzi
Abstract:
We consider a parabolic equation whose coefficients are Log-Lipschitz continuous in $t$ and Lipschitz continuous in $x$. Combining a recent conditional stability result with a well posed variational problem, we reconstruct the initial condition of an unknown solution from a rough measurement at the final time.
We consider a parabolic equation whose coefficients are Log-Lipschitz continuous in $t$ and Lipschitz continuous in $x$. Combining a recent conditional stability result with a well posed variational problem, we reconstruct the initial condition of an unknown solution from a rough measurement at the final time.
△ Less
Submitted 23 June, 2024; v1 submitted 8 January, 2024;
originally announced January 2024.
-
Gemini: A Family of Highly Capable Multimodal Models
Authors:
Gemini Team,
Rohan Anil,
Sebastian Borgeaud,
Jean-Baptiste Alayrac,
Jiahui Yu,
Radu Soricut,
Johan Schalkwyk,
Andrew M. Dai,
Anja Hauth,
Katie Millican,
David Silver,
Melvin Johnson,
Ioannis Antonoglou,
Julian Schrittwieser,
Amelia Glaese,
Jilin Chen,
Emily Pitler,
Timothy Lillicrap,
Angeliki Lazaridou,
Orhan Firat,
James Molloy,
Michael Isard,
Paul R. Barham,
Tom Hennigan,
Benjamin Lee
, et al. (1326 additional authors not shown)
Abstract:
This report introduces a new family of multimodal models, Gemini, that exhibit remarkable capabilities across image, audio, video, and text understanding. The Gemini family consists of Ultra, Pro, and Nano sizes, suitable for applications ranging from complex reasoning tasks to on-device memory-constrained use-cases. Evaluation on a broad range of benchmarks shows that our most-capable Gemini Ultr…
▽ More
This report introduces a new family of multimodal models, Gemini, that exhibit remarkable capabilities across image, audio, video, and text understanding. The Gemini family consists of Ultra, Pro, and Nano sizes, suitable for applications ranging from complex reasoning tasks to on-device memory-constrained use-cases. Evaluation on a broad range of benchmarks shows that our most-capable Gemini Ultra model advances the state of the art in 30 of 32 of these benchmarks - notably being the first model to achieve human-expert performance on the well-studied exam benchmark MMLU, and improving the state of the art in every one of the 20 multimodal benchmarks we examined. We believe that the new capabilities of the Gemini family in cross-modal reasoning and language understanding will enable a wide variety of use cases. We discuss our approach toward post-training and deploying Gemini models responsibly to users through services including Gemini, Gemini Advanced, Google AI Studio, and Cloud Vertex AI.
△ Less
Submitted 9 May, 2025; v1 submitted 18 December, 2023;
originally announced December 2023.
-
Application of Novel PACS-based Informatics Platform to Identify Imaging Based Predictors of CDKN2A Allelic Status in Glioblastomas
Authors:
Niklas Tillmanns,
Jan Lost,
Joanna Tabor,
Sagar Vasandani,
Shaurey Vetsa,
Neelan Marianayagam,
Kanat Yalcin,
E. Zeynep Erson-Omay,
Marc von Reppert,
Leon Jekel,
Sara Merkaj,
Divya Ramakrishnan,
Arman Avesta,
Irene Dixe de Oliveira Santo,
Lan Jin,
Anita Huttner,
Khaled Bousabarah,
Ichiro Ikuta,
MingDe Lin,
Sanjay Aneja,
Bernd Turowski,
Mariam Aboian,
Jennifer Moliterno
Abstract:
Gliomas with CDKN2A mutations are known to have worse prognosis but imaging features of these gliomas are unknown. Our goal is to identify CDKN2A specific qualitative imaging biomarkers in glioblastomas using a new informatics workflow that enables rapid analysis of qualitative imaging features with Visually AcceSAble Rembrandtr Images (VASARI) for large datasets in PACS. Sixty nine patients under…
▽ More
Gliomas with CDKN2A mutations are known to have worse prognosis but imaging features of these gliomas are unknown. Our goal is to identify CDKN2A specific qualitative imaging biomarkers in glioblastomas using a new informatics workflow that enables rapid analysis of qualitative imaging features with Visually AcceSAble Rembrandtr Images (VASARI) for large datasets in PACS. Sixty nine patients undergoing GBM resection with CDKN2A status determined by whole-exome sequencing were included. GBMs on magnetic resonance images were automatically 3D segmented using deep learning algorithms incorporated within PACS. VASARI features were assessed using FHIR forms integrated within PACS. GBMs without CDKN2A alterations were significantly larger (64% vs. 30%, p=0.007) compared to tumors with homozygous deletion (HOMDEL) and heterozygous loss (HETLOSS). Lesions larger than 8 cm were four times more likely to have no CDKN2A alteration (OR: 4.3; 95% CI:1.5-12.1; p<0.001). We developed a novel integrated PACS informatics platform for the assessment of GBM molecular subtypes and show that tumors with HOMDEL are more likely to have radiographic evidence of pial invasion and less likely to have deep white matter invasion or subependymal invasion. These imaging features may allow noninvasive identification of CDKN2A allele status.
△ Less
Submitted 18 September, 2023;
originally announced September 2023.
-
Improving CFD simulations by local machine-learned correction
Authors:
Peetak Mitra,
Majid Haghshenas,
Niccolo Dal Santo,
Conor Daly,
David P. Schmidt
Abstract:
High-fidelity computational fluid dynamics (CFD) simulations for design space explorations can be exceedingly expensive due to the cost associated with resolving the finer scales. This computational cost/accuracy trade-off is a major challenge for modern CFD simulations. In the present study, we propose a method that uses a trained machine learning model that has learned to predict the discretizat…
▽ More
High-fidelity computational fluid dynamics (CFD) simulations for design space explorations can be exceedingly expensive due to the cost associated with resolving the finer scales. This computational cost/accuracy trade-off is a major challenge for modern CFD simulations. In the present study, we propose a method that uses a trained machine learning model that has learned to predict the discretization error as a function of largescale flow features to inversely estimate the degree of lost information due to mesh coarsening. This information is then added back to the low-resolution solution during runtime, thereby enhancing the quality of the under-resolved coarse mesh simulation. The use of a coarser mesh produces a non-linear benefit in speed while the cost of inferring and correcting for the lost information has a linear cost. We demonstrate the numerical stability of a problem of engineering interest, a 3D turbulent channel flow. In addition to this demonstration, we further show the potential for speedup without sacrificing solution accuracy using this method, thereby making the cost/accuracy trade-off of CFD more favorable.
△ Less
Submitted 28 April, 2023;
originally announced May 2023.
-
Well-posedness results for hyperbolic operators with coefficients rapidly oscillating in time
Authors:
Ferruccio Colombini,
Daniele Del Santo,
Francesco Fanelli
Abstract:
In the present paper, we consider second order strictly hyperbolic linear operators of the form $Lu\,=\,\partial_t^2u\,-\,{\rm div}\big(A(t,x)\nabla u\big)$, for $(t,x)\in[0,T]\times\mathbb{R}^n$. We assume the coefficients of the matrix $A(t,x)$ to be smooth in time on $\,]0,T]\times\mathbb{R}^n$, but rapidly oscillating when $t\to 0^+$; they match instead minimal regularity assumptions (either L…
▽ More
In the present paper, we consider second order strictly hyperbolic linear operators of the form $Lu\,=\,\partial_t^2u\,-\,{\rm div}\big(A(t,x)\nabla u\big)$, for $(t,x)\in[0,T]\times\mathbb{R}^n$. We assume the coefficients of the matrix $A(t,x)$ to be smooth in time on $\,]0,T]\times\mathbb{R}^n$, but rapidly oscillating when $t\to 0^+$; they match instead minimal regularity assumptions (either Lipschitz or log-Lipschitz regularity conditions) with respect to the space variable.
Correspondingly, we prove well-posedness results for the Cauchy problem related to $L$, either with no loss of derivatives (in the Lipschitz case) or with a finite loss of derivatives, which is linearly increasing in time (in the log-Lipschitz case).
△ Less
Submitted 25 January, 2023;
originally announced January 2023.
-
Conditional stability up to the final time for backward-parabolic equations with Log-Lipschitz coefficients
Authors:
Daniele Casagrande,
Daniele Del Santo,
Martino Prizzi
Abstract:
We prove logarithmic conditional stability up to the final time for backward-parabolic operators whose coefficients are Log-Lipschitz continuous in $t$ and Lipschitz continuous in $x$. The result complements previous achievements of Del Santo and Prizzi (2009) and Del Santo, Jaeh and Prizzi (2015), concerning conditional stability (of a type intermediate between Hoelder and logarithmic), arbitrari…
▽ More
We prove logarithmic conditional stability up to the final time for backward-parabolic operators whose coefficients are Log-Lipschitz continuous in $t$ and Lipschitz continuous in $x$. The result complements previous achievements of Del Santo and Prizzi (2009) and Del Santo, Jaeh and Prizzi (2015), concerning conditional stability (of a type intermediate between Hoelder and logarithmic), arbitrarily closed, but not up to the final time.
△ Less
Submitted 27 August, 2022; v1 submitted 4 October, 2021;
originally announced October 2021.
-
On the influence of gravity in the dynamics of geophysical flows
Authors:
Daniele Del Santo,
Francesco Fanelli,
Gabriele Sbaiz,
Aneta Wróblewska-Kamińska
Abstract:
In the present paper, we study a multiscale limit for the barotropic Navier-Stokes system with Coriolis and gravitational forces, for vanishing values of the Mach, Rossby and Froude numbers ($\rm Ma$, $\rm Ro$ and $\rm Fr$, respectively). The focus here is on the effects of gravity: albeit remaining in a low stratification regime ${\rm Ma}/{\rm Fr}\,\rightarrow\,0$, we consider scaling for the Fro…
▽ More
In the present paper, we study a multiscale limit for the barotropic Navier-Stokes system with Coriolis and gravitational forces, for vanishing values of the Mach, Rossby and Froude numbers ($\rm Ma$, $\rm Ro$ and $\rm Fr$, respectively). The focus here is on the effects of gravity: albeit remaining in a low stratification regime ${\rm Ma}/{\rm Fr}\,\rightarrow\,0$, we consider scaling for the Froude number which go beyond the "critical" value $\rm Fr\,=\,\sqrt{\rm Ma}$. The rigorous derivation of suitable limiting systems for the various choices of the scaling is shown by means of a compensated compactness argument. Exploiting the precise structure of the gravitational force is the key to get the convergence.
△ Less
Submitted 20 September, 2021;
originally announced September 2021.
-
Well-posedness for hyperbolic equations whose coefficients lose regularity at one point
Authors:
Martino Prizzi,
Daniele Del Santo
Abstract:
We prove some $C^\infty$ and Gevrey well-posedness results for hyperbolic equations whose coefficients lose regularity at one point.
We prove some $C^\infty$ and Gevrey well-posedness results for hyperbolic equations whose coefficients lose regularity at one point.
△ Less
Submitted 25 October, 2021; v1 submitted 11 May, 2021;
originally announced May 2021.
-
Network Compression for Machine-Learnt Fluid Simulations
Authors:
Peetak Mitra,
Vaidehi Venkatesan,
Nomit Jangid,
Ashwati Nambiar,
Dhananjay Kumar,
Vignesh Roa,
Niccolo Dal Santo,
Majid Haghshenas,
Shounak Mitra,
David Schmidt
Abstract:
Multi-scale, multi-fidelity numerical simulations form the pillar of scientific applications related to numerically modeling fluids. However, simulating the fluid behavior characterized by the non-linear Navier Stokes equations are often times computational expensive. Physics informed machine learning methods is a viable alternative and as such has seen great interest in the community [refer to Ku…
▽ More
Multi-scale, multi-fidelity numerical simulations form the pillar of scientific applications related to numerically modeling fluids. However, simulating the fluid behavior characterized by the non-linear Navier Stokes equations are often times computational expensive. Physics informed machine learning methods is a viable alternative and as such has seen great interest in the community [refer to Kutz (2017); Brunton et al. (2020); Duraisamy et al. (2019) for a detailed review on this topic]. For full physics emulators, the cost of network inference is often trivial. However, in the current paradigm of data-driven fluid mechanics models are built as surrogates for complex sub-processes. These models are then used in conjunction to the Navier Stokes solvers, which makes ML model inference an important factor in the terms of algorithmic latency. With the ever growing size of networks, and often times overparameterization, exploring effective network compression techniques becomes not only relevant but critical for engineering systems design. In this study, we explore the applicability of pruning and quantization (FP32 to int8) methods for one such application relevant to modeling fluid turbulence. Post-compression, we demonstrate the improvement in the accuracy of network predictions and build intuition in the process by comparing the compressed to the original network state.
△ Less
Submitted 28 February, 2021;
originally announced March 2021.
-
On backward uniqueness for parabolic equations when Osgood continuity of the coefficients fails at one point
Authors:
Daniele Del Santo,
martino Prizzi
Abstract:
We prove uniqueness for backward parabolic equations whose coefficients are Osgood continuous in time for $t>0$ but not at $t=0$.
We prove uniqueness for backward parabolic equations whose coefficients are Osgood continuous in time for $t>0$ but not at $t=0$.
△ Less
Submitted 11 September, 2020;
originally announced September 2020.
-
Subradiance with saturated atoms: population enhancement of the long-lived states
Authors:
A. Cipris,
N. A. Moreira,
T. S. do Espirito Santo,
P. Weiss,
C. J. Villas-Boas,
R. Kaiser,
W. Guerin,
R. Bachelard
Abstract:
Dipole-dipole interactions are at the origin of long-lived collective atomic states, often called subradiant, which are explored for their potential use in novel photonic devices or in quantum protocols. Here, we study subradiance beyond linear optics and experimentally demonstrate a two hundred-fold increase in the population of these modes, as the saturation parameter of the driving field is inc…
▽ More
Dipole-dipole interactions are at the origin of long-lived collective atomic states, often called subradiant, which are explored for their potential use in novel photonic devices or in quantum protocols. Here, we study subradiance beyond linear optics and experimentally demonstrate a two hundred-fold increase in the population of these modes, as the saturation parameter of the driving field is increased. We attribute this enhancement to a mechanism similar to optical pumping through the well-coupled superradiant states. The lifetimes are unaffected by the pump strength, as the system is ultimately driven toward the single-excitation sector.
△ Less
Submitted 14 September, 2020; v1 submitted 10 September, 2020;
originally announced September 2020.
-
PAD-UFES-20: a skin lesion dataset composed of patient data and clinical images collected from smartphones
Authors:
Andre G. C. Pacheco,
Gustavo R. Lima,
Amanda S. Salomão,
Breno A. Krohling,
Igor P. Biral,
Gabriel G. de Angelo,
Fábio C. R. Alves Jr,
José G. M. Esgario,
Alana C. Simora,
Pedro B. C. Castro,
Felipe B. Rodrigues,
Patricia H. L. Frasson,
Renato A. Krohling,
Helder Knidel,
Maria C. S. Santos,
Rachel B. do Espírito Santo,
Telma L. S. G. Macedo,
Tania R. P. Canuto,
Luíz F. S. de Barros
Abstract:
Over the past few years, different computer-aided diagnosis (CAD) systems have been proposed to tackle skin lesion analysis. Most of these systems work only for dermoscopy images since there is a strong lack of public clinical images archive available to design them. To fill this gap, we release a skin lesion benchmark composed of clinical images collected from smartphone devices and a set of pati…
▽ More
Over the past few years, different computer-aided diagnosis (CAD) systems have been proposed to tackle skin lesion analysis. Most of these systems work only for dermoscopy images since there is a strong lack of public clinical images archive available to design them. To fill this gap, we release a skin lesion benchmark composed of clinical images collected from smartphone devices and a set of patient clinical data containing up to 22 features. The dataset consists of 1,373 patients, 1,641 skin lesions, and 2,298 images for six different diagnostics: three skin diseases and three skin cancers. In total, 58.4% of the skin lesions are biopsy-proven, including 100% of the skin cancers. By releasing this benchmark, we aim to aid future research and the development of new tools to assist clinicians to detect skin cancer.
△ Less
Submitted 9 July, 2020; v1 submitted 1 July, 2020;
originally announced July 2020.
-
A multi-scale problem for viscous heat-conducting fluids in fast rotation
Authors:
Daniele Del Santo,
Francesco Fanelli,
Gabriele Sbaiz,
Aneta Wróblewska-Kamińska
Abstract:
In the present paper, we study the combined incompressible and fast rotation limits for the full Navier-Stokes-Fourier system with Coriolis, centrifugal and gravitational forces, in the regime of small Mach, Froude and Rossby numbers and for general ill-prepared initial data. We consider both the isotropic scaling (where all the numbers have the same order of magnitude) and the multi-scale case (w…
▽ More
In the present paper, we study the combined incompressible and fast rotation limits for the full Navier-Stokes-Fourier system with Coriolis, centrifugal and gravitational forces, in the regime of small Mach, Froude and Rossby numbers and for general ill-prepared initial data. We consider both the isotropic scaling (where all the numbers have the same order of magnitude) and the multi-scale case (where some effect is predominant with respect to the others). In the case when the Mach number is of higher order than the Rossby number, we prove that the limit dynamics is described by an incompressible Oberbeck-Boussinesq system, where the velocity field is horizontal (according to the Taylor-Proudman theorem), but vertical effects on the temperature equation are not negligible. Instead, when the Mach and Rossby numbers have the same order of magnitude, and in absence of the centrifugal force, we show convergence to a quasi-geostrophic equation for a stream function of the limit velocity field, coupled with a transport-diffusion equation for a new unknown, which links the target density and temperature profiles.
The proof of the convergence is based on a compensated compactness argument. The key point is to identify some compactness properties hidden in the system of acoustic-Poincaré waves. Compared to previous results, our method enables first of all to treat the whole range of parameters in the multi-scale problem, and also to consider a low Froude number regime with the somehow critical choice $Fr=\sqrt{Ma}$, where $Ma$ is the Mach number. This allows us to capture some (low) stratification effects in the limit.
△ Less
Submitted 8 May, 2020;
originally announced May 2020.
-
Photon blockade with ground-state neutral atoms
Authors:
A. Cidrim,
T. S. do Espirito Santo,
J. Schachenmayer,
R. Kaiser,
R. Bachelard
Abstract:
We show that induced dipole-dipole interactions allow for photon blockade in subwavelength ensembles of two-level, ground-state neutral atoms. Our protocol relies on the energy shift of the single-excitation, superradiant state of $N$ atoms, which can be engineered to yield an effective two-level system. A coherent pump induces Rabi oscillation between the ground state and a collective bright stat…
▽ More
We show that induced dipole-dipole interactions allow for photon blockade in subwavelength ensembles of two-level, ground-state neutral atoms. Our protocol relies on the energy shift of the single-excitation, superradiant state of $N$ atoms, which can be engineered to yield an effective two-level system. A coherent pump induces Rabi oscillation between the ground state and a collective bright state, with at most a single excitation shared among all atoms. The possibility of using clock transitions that are long-lived and relatively robust against stray fields, alongside new prospects on experiments with subwavelength lattices, makes our proposal a promising alternative for quantum information protocols.
△ Less
Submitted 30 April, 2020;
originally announced April 2020.
-
No loss of derivatives for hyperbolic operators with Zygmund-continuous coefficients in time
Authors:
Ferruccio Colombini,
Daniele Del Santo,
Francesco Fanelli
Abstract:
In this note we prove a well-posedness result, without loss of derivatives, for strictly hyperbolic wave operators having coefficients which are Zygmund-continuous in the time variable and Lipschitz-continuous in the space variables. The proof is based on Tarama's idea of introducing a lower order corrector in the energy, in order to produce special algebraic cancellations when computing its time…
▽ More
In this note we prove a well-posedness result, without loss of derivatives, for strictly hyperbolic wave operators having coefficients which are Zygmund-continuous in the time variable and Lipschitz-continuous in the space variables. The proof is based on Tarama's idea of introducing a lower order corrector in the energy, in order to produce special algebraic cancellations when computing its time derivative, combined with paradifferential calculus with parameters, in order to handle the low regularity of the coefficients with respect to $x$.
△ Less
Submitted 24 January, 2020;
originally announced January 2020.
-
Collective Excitation Dynamics of a Cold Atom Cloud
Authors:
T. S. do Espirito Santo,
P. Weiss,
A. Cipris,
R. Kaiser,
W. Guerin,
R. Bachelard,
J. Schachenmayer
Abstract:
We study the time-dependent response of a cold atom cloud illuminated by a laser beam immediately after the light is switched on experimentally and theoretically. We show that cooperative effects, which have been previously investigated in the decay dynamics after the laser is switched off, also give rise to characteristic features in this configuration. In particular, we show that collective Rabi…
▽ More
We study the time-dependent response of a cold atom cloud illuminated by a laser beam immediately after the light is switched on experimentally and theoretically. We show that cooperative effects, which have been previously investigated in the decay dynamics after the laser is switched off, also give rise to characteristic features in this configuration. In particular, we show that collective Rabi oscillations exhibit a superradiant damping. We first consider an experiment that is performed in the linear-optics regime and well described by a linear coupled-dipole theory. We then show that this linear-optics model breaks down when increasing the saturation parameter, and that the experimental results are then well described by a nonlinear mean-field theory.
△ Less
Submitted 17 January, 2020; v1 submitted 15 October, 2019;
originally announced October 2019.
-
Collective Multi-mode Vacuum Rabi Splitting
Authors:
W. Guerin,
T. S. do Espirito Santo,
P. Weiss,
A. Cipris,
J. Schachenmayer,
R. Kaiser,
R. Bachelard
Abstract:
We report the experimental observation of collective multi-mode vacuum Rabi splitting in free space. In contrast to optical cavities, the atoms couple to a continuum of modes, and the optical thickness of the cloud provides a measure of this coupling. The splitting, also referred as normal mode splitting, is monitored through the Rabi oscillations in the scattered intensity, and the results are fu…
▽ More
We report the experimental observation of collective multi-mode vacuum Rabi splitting in free space. In contrast to optical cavities, the atoms couple to a continuum of modes, and the optical thickness of the cloud provides a measure of this coupling. The splitting, also referred as normal mode splitting, is monitored through the Rabi oscillations in the scattered intensity, and the results are fully explained by a linear-dispersion theory.
△ Less
Submitted 13 September, 2019;
originally announced September 2019.
-
Data driven approximation of parametrized PDEs by Reduced Basis and Neural Networks
Authors:
Niccolò Dal Santo,
Simone Deparis,
Luca Pegolotti
Abstract:
We are interested in the approximation of partial differential equations with a data-driven approach based on the reduced basis method and machine learning. We suppose that the phenomenon of interest can be modeled by a parametrized partial differential equation, but that the value of the physical parameters is unknown or difficult to be directly measured. Our method allows to estimate fields of i…
▽ More
We are interested in the approximation of partial differential equations with a data-driven approach based on the reduced basis method and machine learning. We suppose that the phenomenon of interest can be modeled by a parametrized partial differential equation, but that the value of the physical parameters is unknown or difficult to be directly measured. Our method allows to estimate fields of interest, for instance temperature of a sample of material or velocity of a fluid, given data at a handful of points in the domain. We propose to accomplish this task with a neural network embedding a reduced basis solver as exotic activation function in the last layer. The reduced basis solver accounts for the underlying physical phenomenonon and it is constructed from snapshots obtained from randomly selected values of the physical parameters during an expensive offline phase. The same full order solutions are then employed for the training of the neural network. As a matter of fact, the chosen architecture resembles an asymmetric autoencoder in which the decoder is the reduced basis solver and as such it does not contain trainable parameters. The resulting latent space of our autoencoder includes parameter-dependent quantities feeding the reduced basis solver, which -- depending on the considered partial differential equation -- are the values of the physical parameters themselves or the affine decomposition coefficients of the differential operators.
△ Less
Submitted 29 June, 2019; v1 submitted 2 April, 2019;
originally announced April 2019.
-
Conditional stability for backward parabolic operators with Osgood continuous coefficients
Authors:
Daniele Casagrande,
Daniele Del Santo,
Martino Prizzi
Abstract:
We prove continuous dependence on initial data for a backward parabolic operator whose leading coefficients are Osgodd continuous in time. This result fills the gap between uniqueness and continuity results obtained so far.
We prove continuous dependence on initial data for a backward parabolic operator whose leading coefficients are Osgodd continuous in time. This result fills the gap between uniqueness and continuity results obtained so far.
△ Less
Submitted 18 February, 2019;
originally announced February 2019.
-
Decay of approximate solutions for the damped semilinear wave equation on a bounded 1d domain
Authors:
Debora Amadori,
Fatima Al-Zahrà Aqel,
Edda Dal Santo
Abstract:
In this paper we study the long time behavior for a semilinear wave equation with space-dependent and nonlinear damping term. After rewriting the equation as a first order system, we define a class of approximate solutions that employ tipical tools of hyperbolic systems of conservation laws, such as the Riemann problem. By recasting the problem as a discrete-time nonhomogeneous system, which is re…
▽ More
In this paper we study the long time behavior for a semilinear wave equation with space-dependent and nonlinear damping term. After rewriting the equation as a first order system, we define a class of approximate solutions that employ tipical tools of hyperbolic systems of conservation laws, such as the Riemann problem. By recasting the problem as a discrete-time nonhomogeneous system, which is related to a probabilistic interpretation of the solution, we provide a strategy to study its long-time behavior uniformly with respect to the mesh size parameter $Δx=1/N\to 0$. The proof makes use of the Birkhoff decomposition of doubly stochastic matrices and of accurate estimates on the iteration system as $N\to\infty$.
Under appropriate assumptions on the nonlinearity, we prove the exponential convergence in $L^\infty$ of the solution to the first order system towards a stationary solution, as $t\to+\infty$, as well as uniform error estimates for the approximate solutions.
△ Less
Submitted 20 December, 2018; v1 submitted 5 July, 2018;
originally announced July 2018.
-
Conditional stability for backward parabolic equations with Osgood coefficients
Authors:
Daniele Casagrande,
Daniele Del Santo,
Martino Prizzi
Abstract:
The interest of the scientific community for the existence, uniqueness and stability of solutions to PDE's is testified by the numerous works available in the literature. In particular, in some recent publications on the subject an inequality guaranteeing stability is shown to hold provided that the coefficients of the principal part of the differential operator are Log-Lipschitz continuous. Herei…
▽ More
The interest of the scientific community for the existence, uniqueness and stability of solutions to PDE's is testified by the numerous works available in the literature. In particular, in some recent publications on the subject an inequality guaranteeing stability is shown to hold provided that the coefficients of the principal part of the differential operator are Log-Lipschitz continuous. Herein this result is improved along two directions. First, we describe how to construct an operator, whose coefficients in the principal part are not Log-Lipschitz continuous, for which the above mentioned inequality does not hold. Second, we show that the stability of the solution is guaranteed, in a suitable functional space, if the coefficients of the principal part are Osgood continuous.
△ Less
Submitted 24 January, 2018;
originally announced January 2018.
-
Quantum effects in the cooperative scattering of light by atomic clouds
Authors:
Lorenzo Pucci,
Analabha Roy,
Tiago Santiago do Espirito Santo,
Robin Kaiser,
Michael Kastner,
Romain Bachelard
Abstract:
Scattering of classical light by atomic clouds induces photon-mediated effective long-range interactions between the atoms and leads to cooperative effects even at low atomic densities. We introduce a novel simulation technique that allows us to investigate the quantum regime of the dynamics of large clouds of atoms. We show that the fluorescence spectrum of the cloud can be used to probe genuine…
▽ More
Scattering of classical light by atomic clouds induces photon-mediated effective long-range interactions between the atoms and leads to cooperative effects even at low atomic densities. We introduce a novel simulation technique that allows us to investigate the quantum regime of the dynamics of large clouds of atoms. We show that the fluorescence spectrum of the cloud can be used to probe genuine quantum cooperative effects. Signatures of these effects are the occurrence, and the scaling behavior, of additional sidebands at twice the frequency of the classical Mollow sidebands, as well as an asymmetry of the Mollow triplet.
△ Less
Submitted 30 March, 2017; v1 submitted 15 January, 2017;
originally announced January 2017.
-
On the Cauchy problem for microlocally symmetrizable hyperbolic systems with log-Lipschitz coefficients
Authors:
Ferruccio Colombini,
Daniele Del Santo,
Francesco Fanelli,
Guy Métivier
Abstract:
The present paper concerns the well-posedness of the Cauchy problem for microlocally symmetrizable hyperbolic systems whose coefficients and symmetrizer are log-Lipschitz continuous, uniformly in time and space variables. For the global in space problem we establish energy estimates with finite loss of derivatives, which is linearly increasing in time. This implies well-posedness in $H^\infty$, if…
▽ More
The present paper concerns the well-posedness of the Cauchy problem for microlocally symmetrizable hyperbolic systems whose coefficients and symmetrizer are log-Lipschitz continuous, uniformly in time and space variables. For the global in space problem we establish energy estimates with finite loss of derivatives, which is linearly increasing in time. This implies well-posedness in $H^\infty$, if the coefficients enjoy enough smoothness in $x$. From this result, by standard arguments (i.e. extension and convexification) we deduce also local existence and uniqueness. A huge part of the analysis is devoted to give an appropriate sense to the Cauchy problem, which is not evident a priori in our setting, due to the very low regularity of coefficients and solutions.
△ Less
Submitted 12 October, 2016;
originally announced October 2016.
-
DELTA: Data Extraction and Logging Tool for Android
Authors:
Mauro Conti,
Elia Dal Santo,
Riccardo Spolaor
Abstract:
In the past few years, the use of smartphones has increased exponentially, and so have the capabilities of such devices. Together with an increase in raw processing power, modern smartphones are equipped with a wide variety of sensors and expose an extensive set of API (Accessible Programming Interface). These capabilities allow us to extract a wide spectrum of data that ranges from information ab…
▽ More
In the past few years, the use of smartphones has increased exponentially, and so have the capabilities of such devices. Together with an increase in raw processing power, modern smartphones are equipped with a wide variety of sensors and expose an extensive set of API (Accessible Programming Interface). These capabilities allow us to extract a wide spectrum of data that ranges from information about the environment (e.g., position, orientation) to user habits (e.g., which apps she uses and when), as well as about the status of the operating system itself (e.g., memory, network adapters). This data can be extremely valuable in many research fields such as user authentication, intrusion detection and detection of information leaks. For these reasons, researchers need to use a solid and reliable logging tool to collect data from mobile devices.
In this paper, we first survey the existing logging tools available on the Android platform, comparing the features offered by different tools and their impact on the system, and highlighting some of their shortcomings. Then, we present DELTA - Data Extraction and Logging Tool for Android, which improves the existing Android logging solutions in terms of flexibility, fine-grained tuning capabilities, extensibility, and available set of logging features. We performed a full implementation of DELTA and we run a thorough evaluation on its performance. The results show that our tool has low impact on the performance of the system, on battery consumption, and on user experience. Finally, we make the DELTA source code and toolset available to the research community.
△ Less
Submitted 9 September, 2016;
originally announced September 2016.
-
General phase transition models for vehicular traffic with point constraints on the flow
Authors:
Edda Dal Santo,
Massimiliano D. Rosini,
Nikodem Dymski,
Mohamed Benyahia
Abstract:
We generalize the phase transition model studied in [R. Colombo. Hyperbolic phase transition in traffic flow.\ SIAM J.\ Appl.\ Math., 63(2):708-721, 2002], that describes the evolution of vehicular traffic along a one-lane road. Two different phases are taken into account, according to whether the traffic is low or heavy. The model is given by a scalar conservation law in the \emph{free-flow} phas…
▽ More
We generalize the phase transition model studied in [R. Colombo. Hyperbolic phase transition in traffic flow.\ SIAM J.\ Appl.\ Math., 63(2):708-721, 2002], that describes the evolution of vehicular traffic along a one-lane road. Two different phases are taken into account, according to whether the traffic is low or heavy. The model is given by a scalar conservation law in the \emph{free-flow} phase and by a system of two conservation laws in the \emph{congested} phase. In particular, we study the resulting Riemann problems in the case a local point constraint on the flux of the solutions is enforced.
△ Less
Submitted 17 August, 2016;
originally announced August 2016.
-
Global existence of solutions for a multi-phase flow: a drop in a gas-tube
Authors:
Debora Amadori,
Paolo Baiti,
Andrea Corli,
Edda Dal Santo
Abstract:
In this paper we study the flow of an inviscid fluid composed by three different phases. The model is a simple hyperbolic system of three conservation laws, in Lagrangian coordinates, where the phase interfaces are stationary. Our main result concerns the global existence of weak entropic solutions to the initial-value problem for large initial data.
In this paper we study the flow of an inviscid fluid composed by three different phases. The model is a simple hyperbolic system of three conservation laws, in Lagrangian coordinates, where the phase interfaces are stationary. Our main result concerns the global existence of weak entropic solutions to the initial-value problem for large initial data.
△ Less
Submitted 9 September, 2015;
originally announced September 2015.
-
Global existence of solutions for a multi-phase flow: a bubble in a liquid tube and related cases
Authors:
Debora Amadori,
Paolo Baiti,
Andrea Corli,
Edda Dal Santo
Abstract:
In this paper we study the problem of the global existence (in time) of weak, entropic solutions to a system of three hyperbolic conservation laws, in one space dimension, for large initial data. The system models the dynamics of phase transitions in an isothermal fluid; in Lagrangian coordinates, the phase interfaces are represented as stationary contact discontinuities. We focus on the persisten…
▽ More
In this paper we study the problem of the global existence (in time) of weak, entropic solutions to a system of three hyperbolic conservation laws, in one space dimension, for large initial data. The system models the dynamics of phase transitions in an isothermal fluid; in Lagrangian coordinates, the phase interfaces are represented as stationary contact discontinuities. We focus on the persistence of solutions consisting in three bulk phases separated by two interfaces. Under some stability conditions on the phase configuration and by a suitable front tracking algorithm we show that, if the BV-norm of the initial data is less than an explicit (large) threshold, then the Cauchy problem has global solutions.
△ Less
Submitted 9 September, 2015;
originally announced September 2015.
-
Global weak solutions for a model of two-phase flow with a single interface
Authors:
Debora Amadori,
Paolo Baiti,
Andrea Corli,
Edda Dal Santo
Abstract:
We consider a simple nonlinear hyperbolic system modeling the flow of an inviscid fluid. The model includes as state variable the mass density fraction of the vapor in the fluid and then phase transitions can be taken into consideration; moreover, phase interfaces are contact discontinuities for the system. We focus on the special case of initial data consisting of two different phases separated b…
▽ More
We consider a simple nonlinear hyperbolic system modeling the flow of an inviscid fluid. The model includes as state variable the mass density fraction of the vapor in the fluid and then phase transitions can be taken into consideration; moreover, phase interfaces are contact discontinuities for the system. We focus on the special case of initial data consisting of two different phases separated by an interface. We find explicit bounds on the (possibly large) initial data in order that weak entropic solutions exist for all times. The proof exploits a carefully tailored version of the front tracking scheme.
△ Less
Submitted 26 August, 2014;
originally announced August 2014.
-
Conditional stability for backward parabolic equations with $\rm{Log}\rm{Lip}_t \times \rm{Lip}_x$-coefficients
Authors:
D. Del Santo,
Ch. P. Jäh,
M. Prizzi
Abstract:
In this paper we present an improvement of [Math. Ann. 345 (2009), 213--243], where the authors proved a result concerning continuous dependence for backward parabolic operators whose coefficients are Log-Lipschitz in $t$ and $C^2$ in $x$. The $C^2$ regularity with respect to $x$ had to be assumed for technical reasons. Here we remove this assumption, replacing it with Lipschitz-continuity. The ma…
▽ More
In this paper we present an improvement of [Math. Ann. 345 (2009), 213--243], where the authors proved a result concerning continuous dependence for backward parabolic operators whose coefficients are Log-Lipschitz in $t$ and $C^2$ in $x$. The $C^2$ regularity with respect to $x$ had to be assumed for technical reasons. Here we remove this assumption, replacing it with Lipschitz-continuity. The main tools in the proof are Littlewood-Paley theory and Bony's paraproduct as well as a result of Coifman and Meyer [Astérisque 57, 1978, Th. 35].
△ Less
Submitted 17 July, 2014;
originally announced July 2014.
-
Backward uniqueness for parabolic operators with non-Lipschitz coefficients
Authors:
Daniele Del Santo,
Christian Jäh,
Marius Paicu
Abstract:
In this paper we study the backward uniqueness for parabolic equations with non-Lipschitz coefficients in time and space. The result presented here improves an old uniqueness theorem due to Lions and Malgrange [Math. Scand. ${\bf 8}$ (1960), 277--286] and some more recent results of Del Santo and Prizzi [J. Math. Pures Appl. ${\bf 84}$ (2005), 471--491; Ann. Mat. Pura Appl., to appear].
In this paper we study the backward uniqueness for parabolic equations with non-Lipschitz coefficients in time and space. The result presented here improves an old uniqueness theorem due to Lions and Malgrange [Math. Scand. ${\bf 8}$ (1960), 277--286] and some more recent results of Del Santo and Prizzi [J. Math. Pures Appl. ${\bf 84}$ (2005), 471--491; Ann. Mat. Pura Appl., to appear].
△ Less
Submitted 29 April, 2014;
originally announced April 2014.
-
The well-posedness issue in Sobolev spaces for hyperbolic systems with Zygmund-type coefficients
Authors:
Ferruccio Colombini,
Daniele Del Santo,
Francesco Fanelli,
Guy Métivier
Abstract:
In this paper we study the well-posedness of the Cauchy problem for first order hyperbolic systems with constant multiplicities and with low regularity coefficients depending just on the time variable. We consider Zygmund and log-Zygmund type assumptions, and we prove well-posedness in $H^\infty$ respectively without loss and with finite loss of derivatives. The key to obtain the results is the co…
▽ More
In this paper we study the well-posedness of the Cauchy problem for first order hyperbolic systems with constant multiplicities and with low regularity coefficients depending just on the time variable. We consider Zygmund and log-Zygmund type assumptions, and we prove well-posedness in $H^\infty$ respectively without loss and with finite loss of derivatives. The key to obtain the results is the construction of a suitable symmetrizer for our system, which allows us to recover energy estimates (with or without loss) for the hyperbolic operator under consideration. This can be achievied, in contrast with the classical case of systems with smooth (say Lipschitz) coefficients, by adding one step in the diagonalization process, and building the symmetrizer up to the second order.
△ Less
Submitted 17 April, 2014;
originally announced April 2014.
-
A well-posedness result for hyperbolic operators with Zygmund coefficients
Authors:
Ferruccio Colombini,
Daniele Del Santo,
Francesco Fanelli,
Guy Métivier
Abstract:
In this paper we prove an energy estimate with no loss of derivatives for a strictly hyperbolic operator with Zygmund continuous second order coefficients both in time and in space. In particular, this estimate implies the well-posedness for the related Cauchy problem. On the one hand, this result is quite surprising, because it allows to consider coefficients which are not Lipschitz continuous in…
▽ More
In this paper we prove an energy estimate with no loss of derivatives for a strictly hyperbolic operator with Zygmund continuous second order coefficients both in time and in space. In particular, this estimate implies the well-posedness for the related Cauchy problem. On the one hand, this result is quite surprising, because it allows to consider coefficients which are not Lipschitz continuous in time. On the other hand, it holds true only in the very special case of initial data in $H^{1/2}\times H^{-1/2}$. Paradifferential calculus with parameters is the main ingredient to the proof.
△ Less
Submitted 6 May, 2013;
originally announced May 2013.
-
Time-dependent loss of derivatives for hyperbolic operators with non regular coefficients
Authors:
Ferruccio Colombini,
Daniele Del Santo,
Francesco Fanelli,
Guy Métivier
Abstract:
In this paper we will study the Cauchy problem for strictly hyperbolic operators with low regularity coefficients in any space dimension $N\geq1$. We will suppose the coefficients to be log-Zygmund continuous in time and log-Lipschitz continuous in space. Paradifferential calculus with parameters will be the main tool to get energy estimates in Sobolev spaces and these estimates will present a tim…
▽ More
In this paper we will study the Cauchy problem for strictly hyperbolic operators with low regularity coefficients in any space dimension $N\geq1$. We will suppose the coefficients to be log-Zygmund continuous in time and log-Lipschitz continuous in space. Paradifferential calculus with parameters will be the main tool to get energy estimates in Sobolev spaces and these estimates will present a time-dependent loss of derivatives.
△ Less
Submitted 6 May, 2013;
originally announced May 2013.
-
A new result on backward uniqueness for parabolic operators
Authors:
Daniele Del Santo,
Martino Prizzi
Abstract:
Using Bony's paramultiplication we improve a result obtained in in a previous paper for operators having coefficients non-Lipschitz-continuous with respect to $t$ but ${\mathcal C}^2$ with respect to $x$, showing that the same result is valid when ${\mathcal C}^2$ regularity is replaced by Lipschitz regularity in $x$.
Using Bony's paramultiplication we improve a result obtained in in a previous paper for operators having coefficients non-Lipschitz-continuous with respect to $t$ but ${\mathcal C}^2$ with respect to $x$, showing that the same result is valid when ${\mathcal C}^2$ regularity is replaced by Lipschitz regularity in $x$.
△ Less
Submitted 12 December, 2011;
originally announced December 2011.
-
A generalized Bak-Sneppen model for Earth's magnetic field reversals
Authors:
Andres R. R. Papa,
Marco A. do Espirito Santo,
Cleiton S. Barbosa,
David Oliva
Abstract:
We introduce a simple model for Earth's magnetic field reversals. The model consists in random nodes simulating vortices in the liquid part of the core which through a simple updating algorithm converge to a self organized critical state, with inter-reversal time probability distributions functions in the form of power laws (as supposed to be in actual reversals). It should not be expected a detai…
▽ More
We introduce a simple model for Earth's magnetic field reversals. The model consists in random nodes simulating vortices in the liquid part of the core which through a simple updating algorithm converge to a self organized critical state, with inter-reversal time probability distributions functions in the form of power laws (as supposed to be in actual reversals). It should not be expected a detailed description of reversals. However, we hope to reach a profounder knowledge of reversals through some of the basic characteristic that are well reproduced.
△ Less
Submitted 24 June, 2011;
originally announced June 2011.
-
Continuous Dependence for Backward Parabolic Operators with Log-Lipschitz Coefficients
Authors:
Daniele Del Santo,
Martino Prizzi
Abstract:
We prove continuous dependence on Cauchy data for a backward parabolic operator whose coefficients are Log-Lipschitz continuous in time.
We prove continuous dependence on Cauchy data for a backward parabolic operator whose coefficients are Log-Lipschitz continuous in time.
△ Less
Submitted 25 January, 2008;
originally announced January 2008.
-
Production of $^{6}_Λ$H and $^{7}_Λ$H with the (K$^{-}_{stop}$,$π^+$) reaction
Authors:
M. Agnello,
G. Beer,
L. Benussi,
M. Bertani,
H. C. Bhang,
S. Bianco,
G. Bonomi,
E. Botta,
M. Bregant,
T. Bressani,
S. Bufalino,
L. Busso,
D. Calvo,
P. Camerini,
P. Cerello,
B. Dalena,
F. De Mori,
G. D'Erasmo,
D. Di Santo,
D. Elia,
F. L. Fabbri,
D. Faso,
A. Feliciello,
A. Filippi,
V. Filippini
, et al. (31 additional authors not shown)
Abstract:
The production of neutron rich $Λ$-hypernuclei via the ($K^-_stop$,$π^+$) reaction has been studied using data collected with the FINUDA spectrometer at the DA$Φ$NE $φ$-factory (LNF). The analysis of the inclusive $π^+$ momentum spectra is presented and an upper limit for the production of $^6_Λ$H and $^7_Λ$H from $^6$Li and $^7$Li, is assessed for the first time.
The production of neutron rich $Λ$-hypernuclei via the ($K^-_stop$,$π^+$) reaction has been studied using data collected with the FINUDA spectrometer at the DA$Φ$NE $φ$-factory (LNF). The analysis of the inclusive $π^+$ momentum spectra is presented and an upper limit for the production of $^6_Λ$H and $^7_Λ$H from $^6$Li and $^7$Li, is assessed for the first time.
△ Less
Submitted 17 July, 2006;
originally announced July 2006.
-
A study of the proton spectra following the capture of $K^-$ in $^6$Li and $^{12}$C with FINUDA
Authors:
M. Agnello,
G. Beer,
L. Benussi,
M. Bertani,
H. C. Bhang,
S. Bianco,
G. Bonomi,
E. Botta,
M. Bregant,
T. Bressani,
S. Bufalino,
L. Busso,
D. Calvo,
P. Camerini,
P. Cerello,
B. Dalena,
F. De Mori,
G. D'Erasmo,
D. Di Santo,
D. Elia,
F. L. Fabbri,
D. Faso,
A. Feliciello,
A. Filippi,
V. Filippini
, et al. (33 additional authors not shown)
Abstract:
Momenta spectra of protons emitted following the capture of $K^-$ in $^6$Li and $^{12}$C have been measured with 1% resolution. The $^{12}$C spectrum is smooth whereas for $^6$Li a well defined peak appears at about 500 MeV/$c$. The first observation of a structure in this region was identified as a strange tribaryon or, possibly, a $\bar K$-nuclear state. The peak is correlated with a $π^-$ com…
▽ More
Momenta spectra of protons emitted following the capture of $K^-$ in $^6$Li and $^{12}$C have been measured with 1% resolution. The $^{12}$C spectrum is smooth whereas for $^6$Li a well defined peak appears at about 500 MeV/$c$. The first observation of a structure in this region was identified as a strange tribaryon or, possibly, a $\bar K$-nuclear state. The peak is correlated with a $π^-$ coming from $Σ^-$ decay in flight, selected by setting momenta larger than 275 MeV/$c$. The $Σ^-$ could be produced, together with a 500 MeV/$c$ proton, by the capture of a $K^-$ in a deuteron-cluster substructure of the $^6$Li nucleus. The capture rate for such a reaction is $(1.62\pm 0.23_{stat} ^{+0.71}_{-0.44}(sys))%/K^-_{stop}$, in agreement with the existing observations on $^4$He targets and with the hypothesis that the $^6$Li nucleus can be interpreted as a $(d+α)$ cluster.
△ Less
Submitted 14 June, 2006;
originally announced June 2006.
-
On the backward uniqueness property for a class of parabolic operators
Authors:
Daniele Del Santo,
Martino Prizzi
Abstract:
We give sharp regularity conditions, ensuring the backward uniquess property to a class of parabolic operators.
We give sharp regularity conditions, ensuring the backward uniquess property to a class of parabolic operators.
△ Less
Submitted 13 January, 2006;
originally announced January 2006.
-
A dyadic decomposition approach to a finitely degenerate hyperbolic problem
Authors:
Massimo Cicognani,
Daniele Del Santo,
Michael Reissig
Abstract:
We use the Littlewood-Paley decomposition technique to obtain a $C^\infty$-well-posedness result for a weakly hyperbolic equation with a finite order of degeneration
We use the Littlewood-Paley decomposition technique to obtain a $C^\infty$-well-posedness result for a weakly hyperbolic equation with a finite order of degeneration
△ Less
Submitted 31 August, 2005;
originally announced August 2005.
-
On the absence of rapidly decaying solutions for parabolic operators whose coefficients are non-Lipschitz continuous in time
Authors:
D. Del Santo,
M. Prizzi
Abstract:
We find minimal regularity conditions on the coefficients of a parabolic operator, ensuring that no nontrivial solution tends to zero faster than any exponential.
We find minimal regularity conditions on the coefficients of a parabolic operator, ensuring that no nontrivial solution tends to zero faster than any exponential.
△ Less
Submitted 7 September, 2004;
originally announced September 2004.
-
Backward uniqueness for parabolic operators with non-Lipscitz coefficients
Authors:
D. Del Santo,
M. Prizzi
Abstract:
We investigate the relation between the backward uniqueness and the regularity of the coefficients for a parabolic operator. A necessary and sufficient condition for uniqueness is given in terms of the modulus of continuity of the coefficients.
We investigate the relation between the backward uniqueness and the regularity of the coefficients for a parabolic operator. A necessary and sufficient condition for uniqueness is given in terms of the modulus of continuity of the coefficients.
△ Less
Submitted 9 February, 2004;
originally announced February 2004.
-
A remark on well-posedness for hyperbolic equations with singular coefficients
Authors:
Martino Prizzi,
Daniele Del Santo
Abstract:
We prove some $C^\infty$ and Gevrey well-posedness results for hyperbolic equations with singular coefficients.
We prove some $C^\infty$ and Gevrey well-posedness results for hyperbolic equations with singular coefficients.
△ Less
Submitted 31 August, 2002; v1 submitted 2 July, 2002;
originally announced July 2002.
-
Possibility to deduce the emission time sequence of neutrons and protons from the neutron-proton correlation function?
Authors:
R. Ghetti,
J. Helgesson,
N. Colonna,
B. Jakobsson,
A. Anzalone,
V. Bellini,
L. Carlen,
S. Cavallaro,
L. Celano,
E. De Filippo,
G. D'Erasmo,
D. Di Santo,
E. M. Fiore,
A. Fokin,
M. Geraci,
F. Giustolisi,
A. Kuznetsov,
G. Lanzano',
D. Mahboub,
S. Marrone,
J. Maartensson,
M. Palomba,
A. Pantaleo,
V. Paticchio,
G. Riera
, et al. (4 additional authors not shown)
Abstract:
Experimental information has been derived from the neutron-proton correlation function in order to deduce the time sequence of neutrons and protons emitted at 45 degrees in the E/A = 45 MeV 58Ni + 27Al reaction.
Experimental information has been derived from the neutron-proton correlation function in order to deduce the time sequence of neutrons and protons emitted at 45 degrees in the E/A = 45 MeV 58Ni + 27Al reaction.
△ Less
Submitted 16 August, 2001;
originally announced August 2001.