-
Large Language Models for Water Distribution Systems Modeling and Decision-Making
Authors:
Yinon Goldshtein,
Gal Perelman,
Assaf Schuster,
Avi Ostfeld
Abstract:
The design, operations, and management of water distribution systems (WDS) involve complex mathematical models. These models are continually improving due to computational advancements, leading to better decision-making and more efficient WDS management. However, the significant time and effort required for modeling, programming, and analyzing results remain substantial challenges. Another issue i…
▽ More
The design, operations, and management of water distribution systems (WDS) involve complex mathematical models. These models are continually improving due to computational advancements, leading to better decision-making and more efficient WDS management. However, the significant time and effort required for modeling, programming, and analyzing results remain substantial challenges. Another issue is the professional burden, which confines the interaction with models, databases, and other sophisticated tools to a small group of experts, thereby causing non-technical stakeholders to depend on these experts or make decisions without modeling support. Furthermore, explaining model results is challenging even for experts, as it is often unclear which conditions cause the model to reach a certain state or recommend a specific policy. The recent advancements in Large Language Models (LLMs) open doors for a new stage in human-model interaction. This study proposes a framework of plain language interactions with hydraulic and water quality models based on LLM-EPANET architecture. This framework is tested with increasing levels of complexity of queries to study the ability of LLMs to interact with WDS models, run complex simulations, and report simulation results. The performance of the proposed framework is evaluated across several categories of queries and hyper-parameter configurations, demonstrating its potential to enhance decision-making processes in WDS management.
△ Less
Submitted 20 March, 2025;
originally announced March 2025.
-
Synthetic Random Environmental Time Series Generation with Similarity Control, Preserving Original Signal's Statistical Characteristics
Authors:
Ofek Aloni,
Gal Perelman,
Barak Fishbain
Abstract:
Synthetic datasets are widely used in many applications, such as missing data imputation, examining non-stationary scenarios, in simulations, training data-driven models, and analyzing system robustness. Typically, synthetic data are based on historical data obtained from the observed system. The data needs to represent a specific behavior of the system, yet be new and diverse enough so that the s…
▽ More
Synthetic datasets are widely used in many applications, such as missing data imputation, examining non-stationary scenarios, in simulations, training data-driven models, and analyzing system robustness. Typically, synthetic data are based on historical data obtained from the observed system. The data needs to represent a specific behavior of the system, yet be new and diverse enough so that the system is challenged with a broad range of inputs. This paper presents a method, based on discrete Fourier transform, for generating synthetic time series with similar statistical moments for any given signal. The suggested method makes it possible to control the level of similarity between the given signal and the generated synthetic signals. Proof shows analytically that this method preserves the first two statistical moments of the input signal, and its autocorrelation function. The method is compared to known methods, ARMA, GAN, and CoSMoS. A large variety of environmental datasets with different temporal resolutions, and from different domains are used, testing the generality and flexibility of the method. A Python library implementing this method is made available as open-source software.
△ Less
Submitted 4 February, 2025;
originally announced February 2025.
-
$H^s$ Bounds for the Derivative Nonlinear Schrödinger Equation
Authors:
Hajer Bahouri,
Trevor M. Leslie,
Galina Perelman
Abstract:
We study the derivative nonlinear Schrödinger equation on the real line and obtain global-in-time bounds on high order Sobolev norms.
We study the derivative nonlinear Schrödinger equation on the real line and obtain global-in-time bounds on high order Sobolev norms.
△ Less
Submitted 26 July, 2021;
originally announced July 2021.
-
Global well-posedness for the derivative nonlinear Schrödinger equation
Authors:
Hajer Bahouri,
Galina Perelman
Abstract:
This paper is dedicated to the study of the derivative nonlinear Schrödinger equation on the real line. The local well-posedness of this equation in the Sobolev spaces is well understood since a couple of decades, while the global well-posedness is not completely settled. For the latter issue, the best known results up-to-date concern either Cauchy data in $H^{\frac12}$ with mass strictly less tha…
▽ More
This paper is dedicated to the study of the derivative nonlinear Schrödinger equation on the real line. The local well-posedness of this equation in the Sobolev spaces is well understood since a couple of decades, while the global well-posedness is not completely settled. For the latter issue, the best known results up-to-date concern either Cauchy data in $H^{\frac12}$ with mass strictly less than $4π$ or general initial conditions in the weighted Sobolev space $H^{2, 2}$. In this article, we prove that the derivative nonlinear Schrödinger equation is globally well-posed for general Cauchy data in $H^{\frac12}$ and that furthermore the $H^{\frac12}$ norm of the solutions remains globally bounded in time. One should recall that for $H^s$, with $s < 1 / 2 $, the associated Cauchy problem is ill-posed in the sense that uniform continuity with respect to the initial data fails. Thus, our result closes the discussion in the setting of the Sobolev spaces $H^s$. The proof is achieved by combining the profile decomposition techniques with the integrability structure of the equation.
△ Less
Submitted 3 December, 2020;
originally announced December 2020.
-
A decay microscope for trapped neon isotopes
Authors:
Ben Ohayon,
Hitesh Rahangdale,
Elad Parnes,
Gedalia Perelman,
Oded Heber,
Guy Ron
Abstract:
We review the design, simulation, and tests, of a detection system for measuring the energy distribution of daughter nuclei recoiling from the beta-decay of laser trapped neon isotopes. This distribution is sensitive to several new physics effects in the weak sector. Our `decay microscope' relies on imaging the velocity distribution of high energy recoil ions in coincidence with electrons shaken-o…
▽ More
We review the design, simulation, and tests, of a detection system for measuring the energy distribution of daughter nuclei recoiling from the beta-decay of laser trapped neon isotopes. This distribution is sensitive to several new physics effects in the weak sector. Our `decay microscope' relies on imaging the velocity distribution of high energy recoil ions in coincidence with electrons shaken-off in the decay. We demonstrate by way of Monte-Carlo simulation, that the nuclear microscope increases the statistical sensitivity of kinematic measurements to the underlying energy distribution, and limits the main systematic bias caused by discrepancy in the trap position along the detection axis.
△ Less
Submitted 23 February, 2020; v1 submitted 28 October, 2019;
originally announced October 2019.
-
Blow up dynamics for the hyperbolic vanishing mean curvature flow of surfaces asymptotic to Simons cone
Authors:
Hajer Bahouri,
Alaa Marachli,
Galina Perelman
Abstract:
In this article, we establish the existence of a family of hypersurfaces $(Γ(t))_{0< t \leq T}$ which evolve by the vanishing mean curvature flow in Minkowski space and which as $t$ tends to~$0$ blow up towards a hypersurface which behaves like the Simons cone at infinity. This issue amounts to investigate the singularity formation for a second order quasilinear wave equation. Our constructive app…
▽ More
In this article, we establish the existence of a family of hypersurfaces $(Γ(t))_{0< t \leq T}$ which evolve by the vanishing mean curvature flow in Minkowski space and which as $t$ tends to~$0$ blow up towards a hypersurface which behaves like the Simons cone at infinity. This issue amounts to investigate the singularity formation for a second order quasilinear wave equation. Our constructive approach consists in proving the existence of finite time blow up solutions of this hyperbolic equation under the form $u(t,x) \sim t^ {ν+1} Q\Big(\frac {x} {t^ {ν+1}} \Big) $, where~$Q$ is a stationary solution and $ν$ an arbitrary large positive irrational number. Our approach roughly follows that of Krieger, Schlag and Tataru. However contrary to these works, the equation to be handled in this article is quasilinear. This induces a number of difficulties to face.
△ Less
Submitted 19 February, 2019;
originally announced February 2019.
-
A Fourier approach to the profile decomposition in Orlicz spaces
Authors:
Hajer Bahouri,
Galina Perelman
Abstract:
This paper is devoted to the characterization of the lack of compactness of the Sobolev embedding of $H^N(R^{2N})$ into the Orlicz space using Fourier analysis.
This paper is devoted to the characterization of the lack of compactness of the Sobolev embedding of $H^N(R^{2N})$ into the Orlicz space using Fourier analysis.
△ Less
Submitted 4 December, 2013;
originally announced December 2013.
-
Scattering for the critical 2-D NLS with exponential growth
Authors:
Hajer Bahouri,
Slim Ibrahim,
Galina Perelman
Abstract:
In this article, we establish in the radial framework the $H^1$-scattering for the critical 2-D nonlinear Schrödinger equation with exponential growth. Our strategy relies on both the a priori estimate derived in \cite{CGT, PV} and the characterization of the lack of compactness of the Sobolev embedding of $H_{rad}^1(\R^2)$ into the critical Orlicz space ${\cL}(\R^2)$ settled in \cite{BMM}. The ra…
▽ More
In this article, we establish in the radial framework the $H^1$-scattering for the critical 2-D nonlinear Schrödinger equation with exponential growth. Our strategy relies on both the a priori estimate derived in \cite{CGT, PV} and the characterization of the lack of compactness of the Sobolev embedding of $H_{rad}^1(\R^2)$ into the critical Orlicz space ${\cL}(\R^2)$ settled in \cite{BMM}. The radial setting, and particularly the fact that we deal with bounded functions far away from the origin, occurs in a crucial way in our approach.
△ Less
Submitted 6 February, 2013;
originally announced February 2013.
-
Non-dispersive vanishing and blow up at infinity for the energy critical nonlinear Schrödinger equation in R^3
Authors:
Cecilia Ortoleva,
Galina Perelman
Abstract:
We consider the energy critical focusing NLS in R^3 and prove, for any $ν$ sufficiently small, the existence of radial finite energy solutions that as $t\to\infty$ behave as a sum of a dynamically rescaled ground state plus a radiation, the scaling law being of the form $t^ν$.
We consider the energy critical focusing NLS in R^3 and prove, for any $ν$ sufficiently small, the existence of radial finite energy solutions that as $t\to\infty$ behave as a sum of a dynamically rescaled ground state plus a radiation, the scaling law being of the form $t^ν$.
△ Less
Submitted 30 December, 2012;
originally announced December 2012.
-
Blow up dynamics for equivariant critical Schrödinger maps
Authors:
Galina Perelman
Abstract:
For the Schrödinger map problem from 2+1 dimensions into the 2-sphere we prove the existence of equivariant finite time blow up solutions that are close to a dynamically rescaled lowest energy harmonic map, the scaling parameter being given by $t^{-ν}$ with $ν>3/2$.
For the Schrödinger map problem from 2+1 dimensions into the 2-sphere we prove the existence of equivariant finite time blow up solutions that are close to a dynamically rescaled lowest energy harmonic map, the scaling parameter being given by $t^{-ν}$ with $ν>3/2$.
△ Less
Submitted 30 December, 2012;
originally announced December 2012.
-
A solution to the focusing 3d NLS that blows up on a contracting sphere
Authors:
Justin Holmer,
Galina Perelman,
Svetlana Roudenko
Abstract:
We rigorously construct radial $H^1$ solutions to the 3d cubic focusing NLS equation $i\partial_t ψ+ Δψ+ 2 |ψ|^2ψ=0$ that blow-up along a contracting sphere. With blow-up time set to $t=0$, the solutions concentrate on a sphere at radius $\sim t^{1/3}$ but focus towards this sphere at the faster rate $\sim t^{2/3}$. Such dynamics were originally proposed heuristically by Degtyarev-Zakharov-Rudakov…
▽ More
We rigorously construct radial $H^1$ solutions to the 3d cubic focusing NLS equation $i\partial_t ψ+ Δψ+ 2 |ψ|^2ψ=0$ that blow-up along a contracting sphere. With blow-up time set to $t=0$, the solutions concentrate on a sphere at radius $\sim t^{1/3}$ but focus towards this sphere at the faster rate $\sim t^{2/3}$. Such dynamics were originally proposed heuristically by Degtyarev-Zakharov-Rudakov (1975) and independently later in Holmer-Roudenko (2007), where it was demonstrated to be consistent with all conservation laws of this equation. In the latter paper, it was proposed as a solution that would yield divergence of the $L_x^3$ norm within the "wide" radius $\sim |\nabla u(t)|_{L_x^2}^{-1/2}$ but not within the "tight" radius $\sim |\nabla u(t)|_{L_x^2}^{-2}$, the second being the rate of contraction of self-similar blow-up solutions observed numerically and described in detail in Chapter 7 of Sulem-Sulem (1998).
△ Less
Submitted 26 December, 2012;
originally announced December 2012.
-
Effective dynamics of double solitons for perturbed mKdV
Authors:
Justin Holmer,
Galina Perelman,
Maciej Zworski
Abstract:
We show that an interacting double soliton solution to the perturbed mKdV equation is close in $H^2$ to a double soliton following an effective dynamics obtained as Hamilton's equations for the restriction of the mKdV Hamiltonian to the submanifold of solitons. The interplay between algebraic aspects of complete integrability of the unperturbed equation and the analytic ideas related to soliton st…
▽ More
We show that an interacting double soliton solution to the perturbed mKdV equation is close in $H^2$ to a double soliton following an effective dynamics obtained as Hamilton's equations for the restriction of the mKdV Hamiltonian to the submanifold of solitons. The interplay between algebraic aspects of complete integrability of the unperturbed equation and the analytic ideas related to soliton stability is central in the proof.
△ Less
Submitted 29 June, 2010; v1 submitted 27 December, 2009;
originally announced December 2009.
-
Vey theorem in infinite dimensions and its application to KdV
Authors:
Sergei Kuksin,
Galina Perelman
Abstract:
We consider an integrable infinite-dimensional Hamiltonian system in a Hilbert space $H=\{u=(u_1^+,u_1^-; u_2^+,u_2^-;....)\}$ with integrals $I_1, I_2,...$ which can be written as $I_j={1/2}|F_j|^2$, where $F_j:H\to \R^2$, $F_j(0)=0$ for $j=1,2,...$ . We assume that the maps $F_j$ define a germ of an analytic diffeomorphism $F=(F_1,F_2,...):H\to H$, such that dF(0)=id$, $(F-id)$ is a $κ…
▽ More
We consider an integrable infinite-dimensional Hamiltonian system in a Hilbert space $H=\{u=(u_1^+,u_1^-; u_2^+,u_2^-;....)\}$ with integrals $I_1, I_2,...$ which can be written as $I_j={1/2}|F_j|^2$, where $F_j:H\to \R^2$, $F_j(0)=0$ for $j=1,2,...$ . We assume that the maps $F_j$ define a germ of an analytic diffeomorphism $F=(F_1,F_2,...):H\to H$, such that dF(0)=id$, $(F-id)$ is a $κ$-smoothing map ($κ\geq 0$) and some other mild restrictions on $F$ hold. Under these assumptions we show that the maps $F_j$ may be modified to maps $F_j^\prime$ such that $F_j-F_j^\prime=O(|u|^2)$ and each $\frac12|F'_j|^2$ still is an integral of motion. Moreover, these maps jointly define a germ of an analytic symplectomorphism $F^\prime: H\to H$, the germ $(F^\prime-id)$ is $κ$-smoothing, and each $I_j$ is an analytic function of the vector $(\frac12|F'_j|^2,j\ge1)$. Next we show that the theorem with $κ=1$ applies to the KdV equation. It implies that in the vicinity of the origin in a functional space KdV admits the Birkhoff normal form and the integrating transformation has the form `identity plus a 1-smoothing analytic map'.
△ Less
Submitted 1 October, 2009;
originally announced October 2009.
-
Stark-Wannier type operators with purely singular spectrum
Authors:
Galina Perelman
Abstract:
We consider the one-dimensional Stark-Wannier type operators with potentials given by a smooth function with a logarithmic growth at infinity plus a periodic function with the Fourier coefficients of the form $(\ln |n|)^{-b}, 0<b<1/2$. We prove that in the case of rational electric field the spectrum of the corresponding operator is purely singular continuous.
We consider the one-dimensional Stark-Wannier type operators with potentials given by a smooth function with a logarithmic growth at infinity plus a periodic function with the Fourier coefficients of the form $(\ln |n|)^{-b}, 0<b<1/2$. We prove that in the case of rational electric field the spectrum of the corresponding operator is purely singular continuous.
△ Less
Submitted 11 June, 2004;
originally announced June 2004.
-
Asymptotic stability of multi-soliton solutions for nonlinear Schroedinger eqations
Authors:
G. Perelman
Abstract:
We consider the Cauchy problem for the nonlinear Schroedinger eqiation with initial data close to a sum of N decoupled solitons. Under some suitable assumptions on the spectral structure of the one soliton linearizations we prove that for large time the asymptotics of the solution is given by a sum of solitons with slightly modified parameters and a small dispersive term.
We consider the Cauchy problem for the nonlinear Schroedinger eqiation with initial data close to a sum of N decoupled solitons. Under some suitable assumptions on the spectral structure of the one soliton linearizations we prove that for large time the asymptotics of the solution is given by a sum of solitons with slightly modified parameters and a small dispersive term.
△ Less
Submitted 9 September, 2003;
originally announced September 2003.
-
Finite extinction time for the solutions to the Ricci flow on certain three-manifolds
Authors:
Grisha Perelman
Abstract:
Let M be a closed oriented three-manifold, whose prime decomposition contains no aspherical factors. We show that for any initial riemannian metric on M the solution to the Ricci flow with surgery, defined in our previous paper math.DG/0303109, becomes extinct in finite time. The proof uses a version of the minimal disk argument from 1999 paper by Richard Hamilton, and a regularization of the cu…
▽ More
Let M be a closed oriented three-manifold, whose prime decomposition contains no aspherical factors. We show that for any initial riemannian metric on M the solution to the Ricci flow with surgery, defined in our previous paper math.DG/0303109, becomes extinct in finite time. The proof uses a version of the minimal disk argument from 1999 paper by Richard Hamilton, and a regularization of the curve shortening flow, worked out by Altschuler and Grayson.
△ Less
Submitted 17 July, 2003;
originally announced July 2003.
-
Ricci flow with surgery on three-manifolds
Authors:
Grisha Perelman
Abstract:
This is a technical paper, which is a continuation of math.DG/0211159. Here we construct Ricci flow with surgeries and verify most of the assertions, made in section 13 of that e-print; the exceptions are (1) the statement that manifolds that can collapse with local lower bound on sectional curvature are graph manifolds - this is deferred to a separate paper, since the proof has nothing to do wi…
▽ More
This is a technical paper, which is a continuation of math.DG/0211159. Here we construct Ricci flow with surgeries and verify most of the assertions, made in section 13 of that e-print; the exceptions are (1) the statement that manifolds that can collapse with local lower bound on sectional curvature are graph manifolds - this is deferred to a separate paper, since the proof has nothing to do with the Ricci flow, and (2) the claim on the lower bound for the volume of maximal horns and the smoothness of solutions from some time on, which turned out to be unjustified and, on the other hand, irrelevant for the other conclusions.
△ Less
Submitted 10 March, 2003;
originally announced March 2003.
-
The entropy formula for the Ricci flow and its geometric applications
Authors:
Grisha Perelman
Abstract:
We present a monotonic expression for the Ricci flow, valid in all dimensions and without curvature assumptions. It is interpreted as an entropy for a certain canonical ensemble. Several geometric applications are given. In particular, (1) Ricci flow, considered on the space of riemannian metrics modulo diffeomorphism and scaling, has no nontrivial periodic orbits (that is, other than fixed poin…
▽ More
We present a monotonic expression for the Ricci flow, valid in all dimensions and without curvature assumptions. It is interpreted as an entropy for a certain canonical ensemble. Several geometric applications are given. In particular, (1) Ricci flow, considered on the space of riemannian metrics modulo diffeomorphism and scaling, has no nontrivial periodic orbits (that is, other than fixed points); (2) In a region, where singularity is forming in finite time, the injectivity radius is controlled by the curvature; (3) Ricci flow can not quickly turn an almost euclidean region into a very curved one, no matter what happens far away. We also verify several assertions related to Richard Hamilton's program for the proof of Thurston geometrization conjecture for closed three-manifolds, and give a sketch of an eclectic proof of this conjecture, making use of earlier results on collapsing with local lower curvature bound.
△ Less
Submitted 11 November, 2002;
originally announced November 2002.
