-
Inverse scattering without phase: Carleman convexification and phase retrieval via the Wentzel--Kramers--Brillouin approximation
Authors:
Thuy T. Le,
Phuong M. Nguyen,
Loc H. Nguyen
Abstract:
This paper addresses the challenging and interesting inverse problem of reconstructing the spatially varying dielectric constant of a medium from phaseless backscattering measurements generated by single-point illumination. The underlying mathematical model is governed by the three-dimensional Helmholtz equation, and the available data consist solely of the magnitude of the scattered wave field. T…
▽ More
This paper addresses the challenging and interesting inverse problem of reconstructing the spatially varying dielectric constant of a medium from phaseless backscattering measurements generated by single-point illumination. The underlying mathematical model is governed by the three-dimensional Helmholtz equation, and the available data consist solely of the magnitude of the scattered wave field. To address the nonlinearity and severe ill-posedness of this phaseless inverse scattering problem, we introduce a robust, globally convergent numerical framework combining several key regularization strategies. Our method first employs a phase retrieval step based on the Wentzel--Kramers--Brillouin (WKB) ansatz, where the lost phase information is reconstructed by solving a nonlinear optimization problem. Subsequently, we implement a Fourier-based dimension reduction technique, transforming the original problem into a more stable system of elliptic equations with Cauchy boundary conditions. To solve this resulting system reliably, we apply the Carleman convexification approach, constructing a strictly convex weighted cost functional whose global minimizer provides an accurate approximation of the true solution. Numerical simulations using synthetic data with high noise levels demonstrate the effectiveness and robustness of the proposed method, confirming its capability to accurately recover both the geometric location and contrast of hidden scatterers.
△ Less
Submitted 26 June, 2025;
originally announced June 2025.
-
Inverse initial data reconstruction for Maxwell's equations via time-dimensional reduction method
Authors:
Thuy T. Le,
Cong B. Van,
Trong D. Dang,
Loc H. Nguyen
Abstract:
We study an inverse problem for the time-dependent Maxwell system in an inhomogeneous and anisotropic medium. The objective is to recover the initial electric field $\mathbf{E}_0$ in a bounded domain $Ω\subset \mathbb{R}^3$, using boundary measurements of the electric field and its normal derivative over a finite time interval. Informed by practical constraints, we adopt an under-determined formul…
▽ More
We study an inverse problem for the time-dependent Maxwell system in an inhomogeneous and anisotropic medium. The objective is to recover the initial electric field $\mathbf{E}_0$ in a bounded domain $Ω\subset \mathbb{R}^3$, using boundary measurements of the electric field and its normal derivative over a finite time interval. Informed by practical constraints, we adopt an under-determined formulation of Maxwell's equations that avoids the need for initial magnetic field data and charge density information. To address this inverse problem, we develop a time-dimension reduction approach by projecting the electric field onto a finite-dimensional Legendre polynomial-exponential basis in time. This reformulates the original space-time problem into a sequence of spatial systems for the projection coefficients. The reconstruction is carried out using the quasi-reversibility method within a minimum-norm framework, which accommodates the inherent non-uniqueness of the under-determined setting. We prove a convergence theorem that ensures the quasi-reversibility solution approximates the true solution as the noise and regularization parameters vanish. Numerical experiments in a fully three-dimensional setting validate the method's performance. The reconstructed initial electric field remains accurate even with $10\%$ noise in the data, demonstrating the robustness and applicability of the proposed approach to realistic inverse electromagnetic problems.
△ Less
Submitted 25 June, 2025;
originally announced June 2025.
-
Frobenius homomorphisms for stated ${\rm SL}_n$-skein modules
Authors:
Hyun Kyu Kim,
Thang T. Q. Lê,
Zhihao Wang
Abstract:
The stated ${\rm SL}_n$-skein algebra $\mathscr{S}_{\hat{q}}(\mathfrak{S})$ of a surface $\mathfrak{S}$ is a quantization of the ${\rm SL}_n$-character variety, and is spanned over $\mathbb{Z}[\hat{q}^{\pm 1}]$ by framed tangles in $\mathfrak{S} \times (-1,1)$. If $\hat{q}$ is evaluated at a root of unity $\hatω$ with the order of $\hatω^{4n^2}$ being $N$, then for $\hatη = \hatω^{N^2}$, the Frobe…
▽ More
The stated ${\rm SL}_n$-skein algebra $\mathscr{S}_{\hat{q}}(\mathfrak{S})$ of a surface $\mathfrak{S}$ is a quantization of the ${\rm SL}_n$-character variety, and is spanned over $\mathbb{Z}[\hat{q}^{\pm 1}]$ by framed tangles in $\mathfrak{S} \times (-1,1)$. If $\hat{q}$ is evaluated at a root of unity $\hatω$ with the order of $\hatω^{4n^2}$ being $N$, then for $\hatη = \hatω^{N^2}$, the Frobenius homomorphism $Φ: \mathscr{S}_{\hatη}(\mathfrak{S}) \to \mathscr{S}_{\hatω}(\mathfrak{S})$ is a surface generalization of the well-known Frobenius homomorphism between quantum groups. We show that the image under $Φ$ of a framed oriented knot $α$ is given by threading along $α$ of the reduced power elementary polynomial, which is an ${\rm SL}_n$-analog of the Chebyshev polynomial $T_N$. This generalizes Bonahon and Wong's result for $n=2$, and confirms a conjecture of Bonahon and Higgins. Our proof uses representation theory of quantum groups and its skein theoretic interpretation, and does not require heavy computations. We also extend our result to marked 3-manifolds.
△ Less
Submitted 11 April, 2025;
originally announced April 2025.
-
Sensitivity Analysis and Monte Carlo Based Uncertainty Quantification of the In-process Modal Parameters in Milling
Authors:
M. Hashemitaheri,
T. T. Le,
T. Khan,
H. Cherukuri
Abstract:
The material removal rates during milling operations are affected by the selection of the cutting depth and spindle speed. Poor selection of these parameters can result in chatter or suboptimal material removal rates. Stability Lobe Diagrams (SLDs) are the well-known approach to selecting appropriate chatter-free values for these parameters. The Physics-based stability lobe diagram is usually gene…
▽ More
The material removal rates during milling operations are affected by the selection of the cutting depth and spindle speed. Poor selection of these parameters can result in chatter or suboptimal material removal rates. Stability Lobe Diagrams (SLDs) are the well-known approach to selecting appropriate chatter-free values for these parameters. The Physics-based stability lobe diagram is usually generated using the structural dynamics and the cutting parameters. However, since the machine dynamics are measured in the static state of the machine (zero speed), the generated SLD is not reliable as the machine behavior may vary during the cutting operations. Besides, measuring structural dynamics parameters under cutting conditions is difficult and needs new equipment. This study proposes a new approach to determining in-process structural dynamics parameters based on a multivariate Newton-Raphson method. The physics-based model is combined with empirical records to extract reliable structural dynamics parameters inversely. Some examples based on synthetic data are presented to illustrate this inverse approach. Also, the performance of the algorithm is evaluated on an empirical data set and its ability to improve the stability boundary is verified. Furthermore, the sensitivity analysis is performed to quantify the exposure of the SLD to the changes in each structural dynamics parameter.
△ Less
Submitted 14 July, 2024;
originally announced July 2024.
-
A fixed-time stable forward-backward dynamical system for solving generalized monotone inclusions
Authors:
Nam V Tran,
Hai T. T. Le,
An V. Truong,
Vuong T. Phan
Abstract:
We propose a forward-backward splitting dynamical system for solving inclusion problems of the form $0\in A(x)+B(x)$ in Hilbert spaces, where $A$ is a maximal operator and $B$ is a single-valued operator. Involved operators are assumed to satisfy a generalized monotonicity condition, which is weaker than the standard monotone assumptions. Under mild conditions on parameters, we establish the fixed…
▽ More
We propose a forward-backward splitting dynamical system for solving inclusion problems of the form $0\in A(x)+B(x)$ in Hilbert spaces, where $A$ is a maximal operator and $B$ is a single-valued operator. Involved operators are assumed to satisfy a generalized monotonicity condition, which is weaker than the standard monotone assumptions. Under mild conditions on parameters, we establish the fixed-time stability of the proposed dynamical system. In addition, we consider an explicit forward Euler discretization of the dynamical system leading to a new forward backward algorithm for which we present the convergence analysis. Applications to other optimization problems such as Constrained Optimization Problems (COPs), Mixed Variational Inequalities (MVIs), and Variational Inequalities (VIs) are presented and some numerical examples are given to illustrate the theoretical results.
△ Less
Submitted 10 July, 2024;
originally announced July 2024.
-
The Problem Of Image Super-Resolution, Denoising And Some Image Restoration Methods In Deep Learning Models
Authors:
Ngoc-Giau Pham,
Thanh-Hai Tong Le,
Van-Hieu Duong,
Hong-Ngoc Tran,
Phuoc-Hung Vo
Abstract:
In this article, we address the challenges of image super-resolution and noise reduction, which are crucial for enhancing the quality of images derived from low-resolution or noisy data. We compared and assessed several approaches for upgrading low-resolution images to higher resolutions and for eliminating unwanted noise, all while maintaining the essential characteristics of the original images…
▽ More
In this article, we address the challenges of image super-resolution and noise reduction, which are crucial for enhancing the quality of images derived from low-resolution or noisy data. We compared and assessed several approaches for upgrading low-resolution images to higher resolutions and for eliminating unwanted noise, all while maintaining the essential characteristics of the original images and recovering images from poor quality or damaged data using deep learning models. Our analysis and the experimental outcomes on image quality metrics indicate that the EDCNN neural network model, enhanced with pretrained weights, significantly outperforms other methods with a Train PSNR of 31.215, a Valid PSNR of 29.493, and a Test PSNR of 31.6632.
△ Less
Submitted 13 June, 2024; v1 submitted 15 April, 2024;
originally announced April 2024.
-
A Carleman-Picard approach for reconstructing zero-order coefficients in parabolic equations with limited data
Authors:
Ray Abney,
Thuy T. Le,
Loc H. Nguyen,
Cam Peters
Abstract:
We propose a globally convergent computational technique for the nonlinear inverse problem of reconstructing the zero-order coefficient in a parabolic equation using partial boundary data. This technique is called the "reduced dimensional method". Initially, we use the polynomial-exponential basis to approximate the inverse problem as a system of 1D nonlinear equations. We then employ a Picard ite…
▽ More
We propose a globally convergent computational technique for the nonlinear inverse problem of reconstructing the zero-order coefficient in a parabolic equation using partial boundary data. This technique is called the "reduced dimensional method". Initially, we use the polynomial-exponential basis to approximate the inverse problem as a system of 1D nonlinear equations. We then employ a Picard iteration based on the quasi-reversibility method and a Carleman weight function. We will rigorously prove that the sequence derived from this iteration converges to the accurate solution for that 1D system without requesting a good initial guess of the true solution. The key tool for the proof is a Carleman estimate. We will also show some numerical examples.
△ Less
Submitted 25 September, 2023;
originally announced September 2023.
-
Numerical challenges for the understanding of localised solutions with different symmetries in non-local hyperbolic systems
Authors:
Thanh Trung Le,
Raluca Eftimie
Abstract:
We consider a one-dimensional nonlocal hyperbolic model introduced to describe the formation and movement of self-organizing collectives of animals in homogeneous 1D environments. Previous research has shown that this model exhibits a large number of complex spatial and spatiotemporal aggregation patterns, as evidenced by numerical simulations and weakly nonlinear analysis. In this study, we focus…
▽ More
We consider a one-dimensional nonlocal hyperbolic model introduced to describe the formation and movement of self-organizing collectives of animals in homogeneous 1D environments. Previous research has shown that this model exhibits a large number of complex spatial and spatiotemporal aggregation patterns, as evidenced by numerical simulations and weakly nonlinear analysis. In this study, we focus on a particular type of localised patterns with odd/even/no symmetries (which are usually part of snaking solution branches with different symmetries that form complex bifurcation structures called snake-and-ladder bifurcations). To numerically investigate the bifurcating solution branches (to eventually construct the full bifurcating structures), we first need to understand the numerical issues that could appear when using different numerical schemes. To this end, in this study, we consider ten different numerical schemes (the upwind scheme, the MacCormack scheme, the Fractional-Step method, and the Quasi-Steady Wave-Propagation algorithm, combining them with high-resolution methods), while paying attention to the preservation of the solution symmetries with all these schemes. We show several numerical issues: first, we observe the presence of two distinct types of numerical solutions (with different symmetries) that exhibit very small errors; second, in some cases, none of the investigated numerical schemes converge, posing a challenge for the development of numerical continuation algorithms for nonlocal hyperbolic systems; lastly, the choice of the numerical schemes, as well as their corresponding parameters such as time-space steps, exert a significant influence on the type and symmetry of bifurcating solutions.
△ Less
Submitted 11 September, 2023;
originally announced September 2023.
-
The time dimensional reduction method to determine the initial conditions without the knowledge of damping coefficients
Authors:
Thuy T. Le,
Linh V. Nguyen,
Loc H. Nguyen,
Hyunha Park
Abstract:
This paper aims to reconstruct the initial condition of a hyperbolic equation with an unknown damping coefficient. Our approach involves approximating the hyperbolic equation's solution by its truncated Fourier expansion in the time domain and using a polynomial-exponential basis. This truncation process facilitates the elimination of the time variable, consequently, yielding a system of quasi-lin…
▽ More
This paper aims to reconstruct the initial condition of a hyperbolic equation with an unknown damping coefficient. Our approach involves approximating the hyperbolic equation's solution by its truncated Fourier expansion in the time domain and using a polynomial-exponential basis. This truncation process facilitates the elimination of the time variable, consequently, yielding a system of quasi-linear elliptic equations. To globally solve the system without needing an accurate initial guess, we employ the Carleman contraction principle. We provide several numerical examples to illustrate the efficacy of our method. The method not only delivers precise solutions but also showcases remarkable computational efficiency.
△ Less
Submitted 24 August, 2023;
originally announced August 2023.
-
From 3-dimensional skein theory to functions near Q
Authors:
Stavros Garoufalidis,
Thang T. T. Q. Le
Abstract:
Motivated by the Quantum Modularity Conjecture and its arithmetic aspects related to the Habiro ring of a number field, we define a map from the Kauffman bracket skein module of an integer homology 3-sphere to the Habiro ring, and use Witten's conjecture (now a theorem) to show that the image is an effectively computable module of finite rank that can be used to phrase the quantum modularity conje…
▽ More
Motivated by the Quantum Modularity Conjecture and its arithmetic aspects related to the Habiro ring of a number field, we define a map from the Kauffman bracket skein module of an integer homology 3-sphere to the Habiro ring, and use Witten's conjecture (now a theorem) to show that the image is an effectively computable module of finite rank that can be used to phrase the quantum modularity conjecture.
△ Less
Submitted 10 August, 2023; v1 submitted 18 July, 2023;
originally announced July 2023.
-
The dimensional reduction method for solving a nonlinear inverse heat conduction problem with limited boundary data
Authors:
Dinh-Nho H`ao,
Thuy T. Le,
Loc H. Nguyen
Abstract:
The objective of this article is to introduce a novel technique for computing numerical solutions to the nonlinear inverse heat conduction problem. This involves solving nonlinear parabolic equations with Cauchy data provided on one side $Γ$ of the boundary of the computational domain $Ω$. The key step of our proposed method is the truncation of the Fourier series of the solution to the governing…
▽ More
The objective of this article is to introduce a novel technique for computing numerical solutions to the nonlinear inverse heat conduction problem. This involves solving nonlinear parabolic equations with Cauchy data provided on one side $Γ$ of the boundary of the computational domain $Ω$. The key step of our proposed method is the truncation of the Fourier series of the solution to the governing equation. The truncation technique enables us to derive a system of 1D ordinary differential equations. Then, we employ the well-known Runge-Kutta method to solve this system, which aids in addressing the nonlinearity and the lack of data on $\partial Ω\setmunus Γ$. This new approach is called the dimensional reduction method. By converting the high-dimensional problem into a 1D problem, we achieve exceptional computational speed. Numerical results are provided to support the effectiveness of our approach.
△ Less
Submitted 30 May, 2023;
originally announced May 2023.
-
Numerical differentiation by the polynomial-exponential basis
Authors:
Phuong M. Nguyen,
Thuy T. Le,
Loc H. Nguyen,
Michael V. Klibanov
Abstract:
Our objective is to calculate the derivatives of data corrupted by noise. This is a challenging task as even small amounts of noise can result in significant errors in the computation. This is mainly due to the randomness of the noise, which can result in high-frequency fluctuations. To overcome this challenge, we suggest an approach that involves approximating the data by eliminating high-frequen…
▽ More
Our objective is to calculate the derivatives of data corrupted by noise. This is a challenging task as even small amounts of noise can result in significant errors in the computation. This is mainly due to the randomness of the noise, which can result in high-frequency fluctuations. To overcome this challenge, we suggest an approach that involves approximating the data by eliminating high-frequency terms from the Fourier expansion of the given data with respect to the polynomial-exponential basis. This truncation method helps to regularize the issue, while the use of the polynomial-exponential basis ensures accuracy in the computation. We demonstrate the effectiveness of our approach through numerical examples in one and two dimensions.
△ Less
Submitted 12 April, 2023;
originally announced April 2023.
-
Quantum traces for $SL_n$-skein algebras
Authors:
Thang T. Q. Lê,
Tao Yu
Abstract:
We establish the existence of several quantum trace maps. The simplest one is an algebra map between two quantizations of the algebra of regular functions on the $SL_n$-character variety of a surface $\mathfrak{S}$ equipped with an ideal triangulation $λ$. The first is the (stated) $SL_n$-skein algebra $\mathscr{S}(\mathfrak{S})$. The second $\overline{\mathcal{X}}(\mathfrak{S},λ)$ is the Fock and…
▽ More
We establish the existence of several quantum trace maps. The simplest one is an algebra map between two quantizations of the algebra of regular functions on the $SL_n$-character variety of a surface $\mathfrak{S}$ equipped with an ideal triangulation $λ$. The first is the (stated) $SL_n$-skein algebra $\mathscr{S}(\mathfrak{S})$. The second $\overline{\mathcal{X}}(\mathfrak{S},λ)$ is the Fock and Goncharov's quantization of their $X$-moduli space. The quantum trace is an algebra homomorphism $\bar{tr}^X:\overline{\mathscr{S}}(\mathfrak{S})\to\overline{\mathcal{X}}(\mathfrak{S},λ)$ where the reduced skein algebra $\overline{\mathscr{S}}(\mathfrak{S})$ is a quotient of $\mathscr{S}(\mathfrak{S})$. When the quantum parameter is 1, the quantum trace $\bar{tr}^X$ coincides with the classical Fock-Goncharov homomorphism. This is a generalization of the Bonahon-Wong quantum trace map for the case $n=2$. We then define the extended Fock-Goncharov algebra $\mathcal{X}(\mathfrak{S},λ)$ and show that $\bar{tr}^X$ can be lifted to $tr^X:\mathscr{S}(\mathfrak{S})\to\mathcal{X}(\mathfrak{S},λ)$. We show that both $\bar{tr}^X$ and $tr^X$ are natural with respect to the change of triangulations. When each connected component of $\mathfrak{S}$ has non-empty boundary and no interior ideal point, we define a quantization of the Fock-Goncharov $A$-moduli space $\overline{\mathcal{A}}(\mathfrak{S},λ)$ and its extension $\mathcal{A}(\mathfrak{S},λ)$. We then show that there exist quantum traces $\bar{tr}^A:\overline{\mathscr{S}}(\mathfrak{S})\to\overline{\mathcal{A}}(\mathfrak{S},λ)$ and $tr^A:\mathscr{S}(\mathfrak{S})\hookrightarrow\mathcal{A}(\mathfrak{S},λ)$, where the second map is injective, while the first is injective at least when $\mathfrak{S}$ is a polygon. They are equivalent to the $X$-versions but have better algebraic properties.
△ Less
Submitted 28 May, 2025; v1 submitted 14 March, 2023;
originally announced March 2023.
-
Optimal discrete pipe sizing for tree-shaped CO2 networks
Authors:
Jaap Pedersen,
Thi Thai Le,
Thorsten Koch,
Janina Zittel
Abstract:
Many energy-intensive industries, like the steel industry, plan to switch to renewable energy sources. Other industries, such as the cement industry, have to rely on carbon capture utilization and storage (CCUS) technologies to reduce their production processes' inevitable carbon dioxide (CO2) emissions. However, a new transport infrastructure needs to be established to connect the point of captur…
▽ More
Many energy-intensive industries, like the steel industry, plan to switch to renewable energy sources. Other industries, such as the cement industry, have to rely on carbon capture utilization and storage (CCUS) technologies to reduce their production processes' inevitable carbon dioxide (CO2) emissions. However, a new transport infrastructure needs to be established to connect the point of capture and the point of storage or utilization. Given a tree-shaped network transporting captured CO2 from multiple sources to a single sink, we investigate how to select optimal pipeline diameters from a discrete set of diameters. The general problem of optimizing arc capacities in potential-based fluid networks is already a challenging mixed-integer nonlinear optimization problem. The problem becomes even more complex when adding the highly sensitive nonlinear behavior of CO2 regarding temperature and pressure changes. We propose an iterative algorithm that splits the problem into two parts: a) the pipe-sizing problem under a fixed supply scenario and temperature distribution and b) the thermophysical modeling, including mixing effects, the Joule-Thomson effect, and the heat exchange with the surrounding environment. We show the effectiveness of our approach by applying our algorithm to a real-world network planning problem for a CO2 network in Germany.
△ Less
Submitted 9 November, 2022;
originally announced November 2022.
-
Stated skein modules of 3-manifolds and TQFT
Authors:
Francesco Costantino,
Thang T. Q. Le
Abstract:
We study the behaviour of the Kauffman bracket skein modules of 3-manifolds under gluing along surfaces. For this purpose we extend the notion of Kauffman bracket skein modules to $3$-manifolds with marking consisting of open intervals and circles in the boundary. The new module is called the stated skein module.
The first main results concern non-injectivity of certain natural maps defined when…
▽ More
We study the behaviour of the Kauffman bracket skein modules of 3-manifolds under gluing along surfaces. For this purpose we extend the notion of Kauffman bracket skein modules to $3$-manifolds with marking consisting of open intervals and circles in the boundary. The new module is called the stated skein module.
The first main results concern non-injectivity of certain natural maps defined when forming connected sums along a sphere or along a closed disk. These maps are injective for surfaces, or for generic quantum parameter, but we show that in general they are not injective when the quantum parameter is a root of 1. The result applies to the classical skein modules as well. A particular interesting result is that when the quantum parameter is a root of 1, the empty skein is zero in a connected sum where each constituent manifold has non-empty marking.
We also prove various non injectivity results for the Chebyshev-Frobenius map and the natural map induced by the deletion of marked balls.
We then consider the general case of gluing along a surface, showing that the stated skein module can be interpreted as a monoidal symmetric functor from a category of "decorated cobordisms" to a Morita category of algebras and their bimodules. We apply this result to deduce several properties of stated skein modules as a Van-Kampen like theorem as well as a computation through Heegaard decompositions and a relation to Hochshild homology for trivial circle bundles over surfaces.
△ Less
Submitted 22 June, 2022;
originally announced June 2022.
-
The Carleman convexification method for Hamilton-Jacobi equations on the whole space
Authors:
Huynh P. N. Le,
Thuy T. Le,
Loc H. Nguyen
Abstract:
We propose a new globally convergent numerical method to solve Hamilton-Jacobi equations in $\mathbb{R}^d$, $d \geq 1$. This method is named as the Carleman convexification method. By Carleman convexification, we mean that we use a Carleman weight function to convexify the conventional least squares mismatch functional. We will prove a new version of the convexification theorem guaranteeing that t…
▽ More
We propose a new globally convergent numerical method to solve Hamilton-Jacobi equations in $\mathbb{R}^d$, $d \geq 1$. This method is named as the Carleman convexification method. By Carleman convexification, we mean that we use a Carleman weight function to convexify the conventional least squares mismatch functional. We will prove a new version of the convexification theorem guaranteeing that the mismatch functional involving the Carleman weight function is strictly convex and, therefore, has a unique minimizer. Moreover, a consequence of our convexification theorem guarantees that the minimizer of the Carleman weighted mismatch functional is an approximation of the viscosity solution we want to compute. Some numerical results in 1D and 2D will be presented.
△ Less
Submitted 20 June, 2022;
originally announced June 2022.
-
Global reconstruction of initial conditions of nonlinear parabolic equations via the Carleman-contraction method
Authors:
Thuy T. Le
Abstract:
We propose a global convergent numerical method to reconstruct the initial condition of a nonlinear parabolic equation from the measurement of both Dirichlet and Neumann data on the boundary of a bounded domain. The first step in our method is to derive, from the nonlinear governing parabolic equation, a nonlinear systems of elliptic partial differential equations (PDEs) whose solution yields dire…
▽ More
We propose a global convergent numerical method to reconstruct the initial condition of a nonlinear parabolic equation from the measurement of both Dirichlet and Neumann data on the boundary of a bounded domain. The first step in our method is to derive, from the nonlinear governing parabolic equation, a nonlinear systems of elliptic partial differential equations (PDEs) whose solution yields directly the solution of the inverse source problem. We then establish a contraction mapping-like iterative scheme to solve this system. The convergence of this iterative scheme is rigorously proved by employing a Carleman estimate and the argument in the proof of the traditional contraction mapping principle. This convergence is fast in both theoretical and numerical senses. Moreover, our method, unlike the methods based on optimization, does not require a good initial guess of the true solution. Numerical examples are presented to verify these results.
△ Less
Submitted 24 May, 2022; v1 submitted 21 May, 2022;
originally announced May 2022.
-
Stated SL(n)-Skein Modules and Algebras
Authors:
Thang T. Q. Lê,
Adam S. Sikora
Abstract:
We develop a theory of stated SL(n)-skein modules, $S_n(M,N),$ of 3-manifolds $M$ marked with intervals $N$ in their boundaries. They consist of linear combinations of $n$-webs with ends in $N$, considered up to skein relations inspired by the relations of the Reshetikhin-Turaev theory.
We prove that cutting $M$ along a disk resulting in a $3$-manifold $M'$ yields a homomorphism…
▽ More
We develop a theory of stated SL(n)-skein modules, $S_n(M,N),$ of 3-manifolds $M$ marked with intervals $N$ in their boundaries. They consist of linear combinations of $n$-webs with ends in $N$, considered up to skein relations inspired by the relations of the Reshetikhin-Turaev theory.
We prove that cutting $M$ along a disk resulting in a $3$-manifold $M'$ yields a homomorphism $S_n(M)\to S_n(M')$. That result allows to analyze the skein modules of $3$-manifolds through the skein modules of their pieces.
The theory of stated skein modules is particularly rich for thickened surfaces $M=Σ\times (-1,1),$ in whose case, $S_n(M)$ is an algebra, denoted by $S_n(Σ).$ We prove that the skein algebra of the ideal bigon is $O_q(SL(n))$ and that it provides simple geometric interpretations of the product, coproduct, counit, the antipode, and the cobraided structure on $O_q(SL(n)).$
Additionally, we show that a splitting of a thickened bigon near a marking defines a $O_q(SL(n))$-comodule structure on $S_n(M),$ or dually, an $U_q(sl_n)$-module structure. Furthermore, we show that the skein algebra of surfaces $Σ_1, Σ_2$ glued along two sides of a triangle is isomorphic with the braided tensor product $S_n(Σ_1)\underline{\otimes} S_n(Σ_2)$ of Majid. These results allow for a geometric interpretation of further concepts in the theory of quantum groups, for example, of the braided products and of Majid's transmutation operation.
We prove that the factorization homology of surfaces with coefficients in $Rep\, U_q(sl_n)$ is equivalent to the category of left modules over $S_n(Σ)$. We also discuss the relation with the quantum moduli spaces of Alekseev-Schomerus.
Finally, we show that for surfaces $Σ$ with boundary, $S_n(Σ)$ is a free module with a basis induced from the Kashiwara-Lusztig canonical bases.
△ Less
Submitted 8 June, 2024; v1 submitted 31 December, 2021;
originally announced January 2022.
-
Carleman contraction mapping for a 1D inverse scattering problem with experimental time-dependent data
Authors:
Thuy T. Le,
Michael V. Klibanov,
Loc H. Nguyen,
Anders Sullivan,
Lam Nguyen
Abstract:
It is shown that the contraction mapping principle with the involvement of a Carleman Weight Function works for a Coefficient Inverse Problem for a 1D hyperbolic equation. Using a Carleman estimate, the global convergence of the corresponding numerical method is established. Numerical studies for both computationally simulated and experimentally collected data are presented. The experimental part…
▽ More
It is shown that the contraction mapping principle with the involvement of a Carleman Weight Function works for a Coefficient Inverse Problem for a 1D hyperbolic equation. Using a Carleman estimate, the global convergence of the corresponding numerical method is established. Numerical studies for both computationally simulated and experimentally collected data are presented. The experimental part is concerned with the problem of computing dielectric constants of explosive-like targets in the standoff mode using severely underdetermined data.
△ Less
Submitted 22 September, 2021;
originally announced September 2021.
-
A Carleman-based numerical method for quasilinear elliptic equations with over-determined boundary data and applications
Authors:
Thuy T. Le,
Loc H. Nguyen,
Hung V. Tran
Abstract:
We propose a new iterative scheme to compute the numerical solution to an over-determined boundary value problem for a general quasilinear elliptic PDE. The main idea is to repeatedly solve its linearization by using the quasi-reversibility method with a suitable Carleman weight function. The presence of the Carleman weight function allows us to employ a Carleman estimate to prove the convergence…
▽ More
We propose a new iterative scheme to compute the numerical solution to an over-determined boundary value problem for a general quasilinear elliptic PDE. The main idea is to repeatedly solve its linearization by using the quasi-reversibility method with a suitable Carleman weight function. The presence of the Carleman weight function allows us to employ a Carleman estimate to prove the convergence of the sequence generated by the iterative scheme above to the desired solution. The convergence of the iteration is fast at an exponential rate without the need of an initial good guess. We apply this method to compute solutions to some general quasilinear elliptic equations and a large class of first-order Hamilton-Jacobi equations. Numerical results are presented.
△ Less
Submitted 28 April, 2022; v1 submitted 17 August, 2021;
originally announced August 2021.
-
Root of unity quantum cluster algebras and Cayley-Hamilton algebras
Authors:
Shengnan Huang,
Thang T. Q. Lê,
Milen Yakimov
Abstract:
We prove that large classes of algebras in the framework of root of unity quantum cluster algebras have the structures of maximal orders in central simple algebras and Cayley-Hamilton algebras in the sense of Procesi. We show that every root of unity upper quantum cluster algebra is a maximal order and obtain an explicit formula for its reduced trace. Under mild assumptions, inside each such algeb…
▽ More
We prove that large classes of algebras in the framework of root of unity quantum cluster algebras have the structures of maximal orders in central simple algebras and Cayley-Hamilton algebras in the sense of Procesi. We show that every root of unity upper quantum cluster algebra is a maximal order and obtain an explicit formula for its reduced trace. Under mild assumptions, inside each such algebra we construct a canonical central subalgebra isomorphic to the underlying upper cluster algebra, such that the pair is a Cayley-Hamilton algebra; its fully Azumaya locus is shown to contain a copy of the underlying cluster $\mathcal{A}$-variety. Both results are proved in the wider generality of intersections of mixed quantum tori over subcollections of seeds. Furthermore, we prove that all monomial subalgebras of root of unity quantum tori are Cayley-Hamilton algebras and classify those ones that are maximal orders. Arbitrary intersections of those over subsets of seeds are also proved to be Cayley-Hamilton algebras. Previous approaches to constructing maximal orders relied on filtration and homological methods. We use new methods based on cluster algebras.
△ Less
Submitted 5 January, 2023; v1 submitted 25 July, 2021;
originally announced July 2021.
-
Convexification-based globally convergent numerical method for a 1D coefficient inverse problem with experimental data
Authors:
Michael V. Klibanov,
Thuy T. Le,
Loc H. Nguyen,
Anders Sullivan,
Lam Nguyen
Abstract:
To compute the spatially distributed dielectric constant from the backscattering data, we study a coefficient inverse problem for a 1D hyperbolic equation. To solve the inverse problem, we establish a new version of Carleman estimate and then employ this estimate to construct a cost functional which is strictly convex on a convex bounded set with an arbitrary diameter in a Hilbert space. The stric…
▽ More
To compute the spatially distributed dielectric constant from the backscattering data, we study a coefficient inverse problem for a 1D hyperbolic equation. To solve the inverse problem, we establish a new version of Carleman estimate and then employ this estimate to construct a cost functional which is strictly convex on a convex bounded set with an arbitrary diameter in a Hilbert space. The strict convexity property is rigorously proved. This result is called the convexification theorem and is considered as the central analytical result of this paper. Minimizing this convex functional by the gradient descent method, we obtain the desired numerical solution to the coefficient inverse problems. We prove that the gradient descent method generates a sequence converging to the minimizer and we also establish a theorem confirming that the minimizer converges to the true solution as the noise in the measured data and the regularization parameter tend to zero. Unlike the methods that are based on optimization, our convexification method converges globally in the sense that it delivers a good approximation of the exact solution without requiring any initial guess. Results of numerical studies of both computationally simulated and experimental data are presented.
△ Less
Submitted 22 April, 2021;
originally announced April 2021.
-
Faithfullness of geometric action of skein algebras
Authors:
Thang T. Q. Le
Abstract:
We show that the action of the Kauffman bracket skein algebra of a surface $Σ$ on the skein module of the handlebody bounded by $Σ$ is faithful if and only if the quantum parameter is not a root of 1.
We show that the action of the Kauffman bracket skein algebra of a surface $Σ$ on the skein module of the handlebody bounded by $Σ$ is faithful if and only if the quantum parameter is not a root of 1.
△ Less
Submitted 21 March, 2021;
originally announced March 2021.
-
Multiple normalized solutions for a Sobolev critical Schrödinger-Poisson-Slater equation
Authors:
Louis Jeanjean,
Thanh Trung Le
Abstract:
We look for solutions to the Schrödinger-Poisson-Slater equation $$- Δu + λu - γ(|x|^{-1} * |u|^2) u - a |u|^{p-2}u = 0 \quad \text{in} \quad \mathbb{R}^3, $$ which satisfy \begin{equation*} \int_{\mathbb{R}^3}|u|^2 \, dx = c \end{equation*} for some prescribed $c>0$. Here $ u \in H^1(\mathbb{R}^3)$, $γ\in \mathbb{R},$ $ a \in \mathbb{R}$ and $p \in (\frac{10}{3}, 6]$. When $γ>0$ and $a > 0$, both…
▽ More
We look for solutions to the Schrödinger-Poisson-Slater equation $$- Δu + λu - γ(|x|^{-1} * |u|^2) u - a |u|^{p-2}u = 0 \quad \text{in} \quad \mathbb{R}^3, $$ which satisfy \begin{equation*} \int_{\mathbb{R}^3}|u|^2 \, dx = c \end{equation*} for some prescribed $c>0$. Here $ u \in H^1(\mathbb{R}^3)$, $γ\in \mathbb{R},$ $ a \in \mathbb{R}$ and $p \in (\frac{10}{3}, 6]$. When $γ>0$ and $a > 0$, both in the Sobolev subcritical case $p \in (\frac{10}{3}, 6)$ and in the Sobolev critical case $p=6$, we show that there exists a $c_1>0$ such that, for any $c \in (0,c_1)$, the equation admits two solutions $u_c^+$ and $u_c^-$ which can be characterized respectively as a local minima and as a mountain pass critical point of the associated {\it Energy} functional restricted to the norm constraint. In the case $γ>0$ and $a < 0$, we show that, for any $p \in (\frac{10}{3},6]$ and any $c>0$, the equation admits a solution which is a global minimizer. Finally, in the case $γ<0$, $a >0$ and $p=6$ we show that it does not admit positive solutions.
△ Less
Submitted 9 October, 2021; v1 submitted 9 March, 2021;
originally announced March 2021.
-
The gradient descent method for the convexification to solve boundary value problems of quasi-linear PDEs and a coefficient inverse problem
Authors:
Thuy T. Le,
Loc. H. Nguyen
Abstract:
We study the global convergence of the gradient descent method of the minimization of strictly convex functionals on an open and bounded set of a Hilbert space. Such results are unknown for this type of sets, unlike the case of the entire Hilbert space. Then, we use our result to establish a general framework to numerically solve boundary value problems for quasi-linear partial differential equati…
▽ More
We study the global convergence of the gradient descent method of the minimization of strictly convex functionals on an open and bounded set of a Hilbert space. Such results are unknown for this type of sets, unlike the case of the entire Hilbert space. Then, we use our result to establish a general framework to numerically solve boundary value problems for quasi-linear partial differential equations (PDEs) with noisy Cauchy data. The procedure involves the use of Carleman weight functions to convexify a cost functional arising from the given boundary value problem and thus to ensure the convergence of the gradient descent method above. We prove the global convergence of the method as the noise tends to 0. The convergence rate is Lipschitz. Next, we apply this method to solve a highly nonlinear and severely ill-posed coefficient inverse problem, which is the so-called back scattering inverse problem. This problem has many real-world applications. Numerical examples are presented.
△ Less
Submitted 6 April, 2022; v1 submitted 6 March, 2021;
originally announced March 2021.
-
Quantum traces and embeddings of stated skein algebras into quantum tori
Authors:
Thang T. Q. Lê,
Tao Yu
Abstract:
The stated skein algebra of a punctured bordered surface (or equivalently, a marked surface) is a generalization of the well-known Kauffman bracket skein algebra of unmarked surfaces and can be considered as an extension of the quantum special linear group $\mathcal{O}_{q^2}(SL_2)$ from a bigon to general surfaces. We show that the stated skein algebra of a punctured bordered surface with non-empt…
▽ More
The stated skein algebra of a punctured bordered surface (or equivalently, a marked surface) is a generalization of the well-known Kauffman bracket skein algebra of unmarked surfaces and can be considered as an extension of the quantum special linear group $\mathcal{O}_{q^2}(SL_2)$ from a bigon to general surfaces. We show that the stated skein algebra of a punctured bordered surface with non-empty boundary can be embedded into quantum tori in two different ways. The first embedding can be considered as a quantization of the map expressing the trace of a closed curve in terms of the shear coordinates of the enhanced Teichmüller space, and is a lift of Bonahon-Wong's quantum trace map. The second embedding can be considered as a quantization of the map expresses the trace of a closed curve in terms of the lambda length coordinates of the decorated Teichmüller space, and is an extension of Muller's quantum trace map. We explain the relation between the two quantum trace maps. We also show that the quantum cluster algebra of Muller is equal to a reduced version of the stated skein algebra. As applications we show that the stated skein algebra is an orderly finitely generated Noetherian domain and calculate its Gelfand-Kirillov dimension.
△ Less
Submitted 30 December, 2020;
originally announced December 2020.
-
The quasi-reversibility method to numerically solve an inverse source problem for hyperbolic equations
Authors:
Thuy T. Le,
Loc H. Nguyen,
Thi-Phong Nguyen,
William Powell
Abstract:
We propose a numerical method to solve an inverse source problem of computing the initial condition of hyperbolic equations from the measurements of Cauchy data. This problem arises in thermo- and photo- acoustic tomography in a bounded cavity, in which the reflection of the wave makes the widely-used approaches, such as the time reversal method, not applicable. In order to solve this inverse sour…
▽ More
We propose a numerical method to solve an inverse source problem of computing the initial condition of hyperbolic equations from the measurements of Cauchy data. This problem arises in thermo- and photo- acoustic tomography in a bounded cavity, in which the reflection of the wave makes the widely-used approaches, such as the time reversal method, not applicable. In order to solve this inverse source problem, we approximate the solution to the hyperbolic equation by its Fourier series with respect to a special orthogonal basis of $L^2$. Then, we derive a coupled system of elliptic equations for the corresponding Fourier coefficients. We solve it by the quasi-reversibility method. The desired initial condition follows. We rigorously prove the convergence of the quasi-reversibility method as the noise level tends to 0. Some numerical examples are provided. In addition, we numerically prove that the use of the special basic above is significant.
△ Less
Submitted 11 January, 2021; v1 submitted 9 November, 2020;
originally announced November 2020.
-
Multiple normalized solutions for a Sobolev critical Schrödinger equation
Authors:
Louis Jeanjean,
Thanh Trung LE
Abstract:
We study the existence of standing waves, of prescribed $L^2$-norm (the mass), for the nonlinear Schrödinger equation with mixed power nonlinearities
$$
i \partial_t φ+ Δφ+ μφ|φ|^{q-2} + φ|φ|^{2^* - 2} = 0, \quad (t, x) \in R \times R^N,
$$
where $N \geq 3$, $φ: R \times R^N \to C$, $μ> 0$, $2 < q < 2 + 4/N $ and $2^* = 2N/(N-2)$ is the critical Sobolev exponent. It was already proved that…
▽ More
We study the existence of standing waves, of prescribed $L^2$-norm (the mass), for the nonlinear Schrödinger equation with mixed power nonlinearities
$$
i \partial_t φ+ Δφ+ μφ|φ|^{q-2} + φ|φ|^{2^* - 2} = 0, \quad (t, x) \in R \times R^N,
$$
where $N \geq 3$, $φ: R \times R^N \to C$, $μ> 0$, $2 < q < 2 + 4/N $ and $2^* = 2N/(N-2)$ is the critical Sobolev exponent. It was already proved that, for small mass, ground states exist and correspond to local minima of the associated Energy functional. It was also established that despite the nonlinearity is Sobolev critical, the set of ground states is orbitally stable. Here we prove that, when $N \geq 4$, there also exist standing waves which are not ground states and are located at a mountain-pass level of the Energy functional. These solutions are unstable by blow-up in finite time. Our study is motivated by a question raised by N. Soave.
△ Less
Submitted 27 June, 2021; v1 submitted 5 November, 2020;
originally announced November 2020.
-
The Chebyshev-Frobenius homomorphism for stated skein modules of 3-manifolds
Authors:
Wade Bloomquist,
Thang T. Q. Lê
Abstract:
We study the stated skein modules of marked 3-manifolds. We generalize the splitting homomorphism for stated skein algebras of surfaces to a splitting homomorphism for stated skein modules of 3-manifolds. We show that there exists a Chebyshev-Frobenius homomorphism for the stated skein modules of 3-manifolds which extends the Chebyshev homomorphism of the skein algebras of unmarked surfaces origin…
▽ More
We study the stated skein modules of marked 3-manifolds. We generalize the splitting homomorphism for stated skein algebras of surfaces to a splitting homomorphism for stated skein modules of 3-manifolds. We show that there exists a Chebyshev-Frobenius homomorphism for the stated skein modules of 3-manifolds which extends the Chebyshev homomorphism of the skein algebras of unmarked surfaces originally constructed by Bonahon and Wong. Additionally, we show that the Chebyshev-Frobenius map commutes with the splitting homomorphism. This is then used to show that in the case of the stated skein algebra of a surface, the Chebyshev-Frobenius map is the unique extension of the dual Frobenius map (in the sense of Lusztig) of $\mathcal{O}_{q^2}(SL(2))$ through the triangular decomposition afforded by an ideal triangulation of the surface. In particular, this gives a skein theoretic construction of the Hopf dual of Lusztig's Frobenius homomorphism. A second conceptual framework is given, which shows that the Chebyshev-Frobenius homomorphism for the stated skein algebra of a surface is the unique restriction of the Frobenius homomorphism of quantum tori through the quantum trace map.
△ Less
Submitted 11 November, 2020; v1 submitted 4 November, 2020;
originally announced November 2020.
-
Orbital stability of ground states for a Sobolev critical Schrödinger equation
Authors:
Louis Jeanjean,
Jacek Jendrej,
Thanh Trung Le,
Nicola Visciglia
Abstract:
We study the existence of ground state standing waves, of prescribed mass, for the nonlinear Schrödinger equation with mixed power nonlinearities \begin{equation*}
i \partial_t v + Δv + μv |v|^{q-2} + v |v|^{2^* - 2} = 0, \quad (t, x) \in \mathbb{R} \times \mathbb{R}^N,
\end{equation*} where $N \geq 3$, $v: \mathbb{R} \times \mathbb{R}^N \to \mathbb{C}$, $μ> 0$, $2 < q < 2 + 4/N $ and…
▽ More
We study the existence of ground state standing waves, of prescribed mass, for the nonlinear Schrödinger equation with mixed power nonlinearities \begin{equation*}
i \partial_t v + Δv + μv |v|^{q-2} + v |v|^{2^* - 2} = 0, \quad (t, x) \in \mathbb{R} \times \mathbb{R}^N,
\end{equation*} where $N \geq 3$, $v: \mathbb{R} \times \mathbb{R}^N \to \mathbb{C}$, $μ> 0$, $2 < q < 2 + 4/N $ and $2^* = 2N/(N-2)$ is the critical Sobolev exponent. We show that all ground states correspond to local minima of the associated Energy functional. Next, despite the fact that the nonlinearity is Sobolev critical, we show that the set of ground states is orbitally stable. Our results settle a question raised by N. Soave [35].
△ Less
Submitted 17 June, 2022; v1 submitted 27 August, 2020;
originally announced August 2020.
-
Stated skein modules of marked 3-manifolds/surfaces, a survey
Authors:
Thang T. Q. Lê,
Tao Yu
Abstract:
We give a survey of some old and new results about the stated skein modules/algebras of 3-manifolds/surfaces. For generic quantum parameter, we discuss the splitting homomorphism for the 3-manifold case, general structures of the stated skein algebras of marked surfaces (or bordered punctured surfaces) and their embeddings into quantum tori. For roots of 1 quantum parameter, we discuss the Frobeni…
▽ More
We give a survey of some old and new results about the stated skein modules/algebras of 3-manifolds/surfaces. For generic quantum parameter, we discuss the splitting homomorphism for the 3-manifold case, general structures of the stated skein algebras of marked surfaces (or bordered punctured surfaces) and their embeddings into quantum tori. For roots of 1 quantum parameter, we discuss the Frobenius homomorphism (for both marked 3-manifolds and marked surfaces), describe the center of the skein algebra of marked surfaces, the dimension of the skein algebra over the center, and the representation theory of the skein algebra. In particular, we show that the skein algebra of non-closed marked surface at any root of 1 is a maximal order. We give a full description of the Azumaya locus of the skein algebra of the puncture torus and give partial results for closed surfaces.
△ Less
Submitted 29 May, 2020;
originally announced May 2020.
-
Convergent numerical method for a linearized travel time tomography problem with incomplete data
Authors:
Michael V. Klibanov,
Thuy T. Le,
Loc H. Nguyen
Abstract:
We propose a new numerical method to solve the linearized problem of travel time tomography with incomplete data. Our method is based on the technique of the truncation of the Fourier series with respect to a special basis of L2. This way we derive a boundary value problem for a system of coupled partial diffeerential equations (PDEs) of the first order. This system is solved by the quasi-reversib…
▽ More
We propose a new numerical method to solve the linearized problem of travel time tomography with incomplete data. Our method is based on the technique of the truncation of the Fourier series with respect to a special basis of L2. This way we derive a boundary value problem for a system of coupled partial diffeerential equations (PDEs) of the first order. This system is solved by the quasi-reversibility method. Hence, the spatially dependent Fourier coefficients of the solution to the linearized Eikonal equation are obtained. The convergence of this method is established. Numerical results for highly noisy data are presented.
△ Less
Submitted 11 November, 2019;
originally announced November 2019.
-
A convergent numerical method to recover the initial condition of nonlinear parabolic equations from lateral Cauchy data
Authors:
Thuy T. Le,
Loc H. Nguyen
Abstract:
We propose a new numerical method for the solution of the problem of the reconstruction of the initial condition of a quasilinear parabolic equation from the measurements of both Dirichlet and Neumann data on the boundary of a bounded domain. Although this problem is highly nonlinear, we do not require an initial guess of the true solution. The key in our method is the derivation of a boundary val…
▽ More
We propose a new numerical method for the solution of the problem of the reconstruction of the initial condition of a quasilinear parabolic equation from the measurements of both Dirichlet and Neumann data on the boundary of a bounded domain. Although this problem is highly nonlinear, we do not require an initial guess of the true solution. The key in our method is the derivation of a boundary value problem for a system of coupled quasilinear elliptic equations whose solution is the vector function of the spatially dependent Fourier coefficients of the solution to the governing parabolic equation. We solve this problem by an iterative method. The global convergence of the system is rigorously established using a Carleman estimate. Numerical examples are presented.
△ Less
Submitted 27 September, 2020; v1 submitted 12 October, 2019;
originally announced October 2019.
-
Lower and Upper Bounds for Positive Bases of Skein Algebras
Authors:
Thang T. Q. Lê,
Dylan P. Thurston,
Tao Yu
Abstract:
We show that the if a sequence of normalized polynomials gives rise to a positive basis of the skein algebra of a surface, then it is sandwiched between the two types of Chebyshev polynomials. For the closed torus, we show that the normalized sequence of Chebyshev polynomials of type one $(\hat{T}_n)$ is the only one which gives a positive basis.
We show that the if a sequence of normalized polynomials gives rise to a positive basis of the skein algebra of a surface, then it is sandwiched between the two types of Chebyshev polynomials. For the closed torus, we show that the normalized sequence of Chebyshev polynomials of type one $(\hat{T}_n)$ is the only one which gives a positive basis.
△ Less
Submitted 15 August, 2019;
originally announced August 2019.
-
Stated skein algebras of surfaces
Authors:
Francesco Costantino,
Thang T. Q. Le
Abstract:
We study the algebraic and geometric properties of stated skein algebras of surfaces with punctured boundary. We prove that the skein algebra of the bigon is isomorphic to the quantum group ${\mathcal O}_{q^2}(\mathrm{SL}(2))$ providing a topological interpretation for its structure morphisms. We also show that its stated skein algebra lifts in a suitable sense the Reshetikhin-Turaev functor and i…
▽ More
We study the algebraic and geometric properties of stated skein algebras of surfaces with punctured boundary. We prove that the skein algebra of the bigon is isomorphic to the quantum group ${\mathcal O}_{q^2}(\mathrm{SL}(2))$ providing a topological interpretation for its structure morphisms. We also show that its stated skein algebra lifts in a suitable sense the Reshetikhin-Turaev functor and in particular we recover the dual $R$-matrix for ${\mathcal O}_{q^2}(\mathrm{SL}(2))$ in a topological way. We deduce that the skein algebra of a surface with $n$ boundary components is an algebra-comodule over ${\mathcal O}_{q^2}(\mathrm{SL}(2))^{\otimes{n}}$ and prove that cutting along an ideal arc corresponds to Hochshild cohomology of bicomodules. We give a topological interpretation of braided tensor product of stated skein algebras of surfaces as "glueing on a triangle"; then we recover topologically some braided bialgebras in the category of ${\mathcal O}_{q^2}(\mathrm{SL}(2))$-comodules, among which the "transmutation" of ${\mathcal O}_{q^2}(\mathrm{SL}(2))$. We also provide an operadic interpretation of stated skein algebras as an example of a "geometric non symmetric modular operad". In the last part of the paper we define a reduced version of stated skein algebras and prove that it allows to recover Bonahon-Wong's quantum trace map and interpret skein algebras in the classical limit when $q\to 1$ as regular functions over a suitable version of moduli spaces of twisted bundles.
△ Less
Submitted 2 November, 2020; v1 submitted 26 July, 2019;
originally announced July 2019.
-
Quenched large deviations for brownian motion in a random potential
Authors:
Daniel Boivin,
Thi Thu Hien Lê
Abstract:
A quenched large deviation principle for Brownian motion in a non-negative, stationary potential is proved. A sufficient moment condition on the potential is given but unlike the results of Armstrong and Tran (2014) no regularity is assumed. The proof is based on a method developed by Sznitman (1994) for Brownian motion among Poissonian potential. In particular, the LDP holds for potentials…
▽ More
A quenched large deviation principle for Brownian motion in a non-negative, stationary potential is proved. A sufficient moment condition on the potential is given but unlike the results of Armstrong and Tran (2014) no regularity is assumed. The proof is based on a method developed by Sznitman (1994) for Brownian motion among Poissonian potential. In particular, the LDP holds for potentials with polynomially decaying correlations such as the classical potentials studied by L. Pastur (1977) and R. Fukushima (2008) and the potentials recently introduced by H. Lacoin (2012).
△ Less
Submitted 17 January, 2019;
originally announced January 2019.
-
${\rm SL}_2$ quantum trace in quantum Teichmüller theory via writhe
Authors:
Hyun Kyu Kim,
Thang T. Q. Lê,
Miri Son
Abstract:
Quantization of the Teichmüller space of a punctured Riemann surface $S$ is an approach to $3$-dimensional quantum gravity, and is a prototypical example of quantization of cluster varieties. Any simple loop $γ$ in $S$ gives rise to a natural trace-of-monodromy function $\mathbb{I}(γ)$ on the Teichmüller space. For any ideal triangulation $Δ$ of $S$, this function $\mathbb{I}(γ)$ is a Laurent poly…
▽ More
Quantization of the Teichmüller space of a punctured Riemann surface $S$ is an approach to $3$-dimensional quantum gravity, and is a prototypical example of quantization of cluster varieties. Any simple loop $γ$ in $S$ gives rise to a natural trace-of-monodromy function $\mathbb{I}(γ)$ on the Teichmüller space. For any ideal triangulation $Δ$ of $S$, this function $\mathbb{I}(γ)$ is a Laurent polynomial in the square-roots of the exponentiated shear coordinates for the arcs of $Δ$. An important problem was to construct a quantization of this function $\mathbb{I}(γ)$, namely to replace it by a noncommutative Laurent polynomial in the quantum variables. This problem, which is closely related to the framed protected spin characters in physics, has been solved by Allegretti and Kim using Bonahon and Wong's ${\rm SL}_2$ quantum trace for skein algebras, and by Gabella using Gaiotto, Moore and Neitzke's Seiberg-Witten curves, spectral networks, and writhe of links. We show that these two solutions to the quantization problem coincide. We enhance Gabella's solution and show that it is a twist of the Bonahon-Wong quantum trace.
△ Less
Submitted 31 March, 2023; v1 submitted 30 December, 2018;
originally announced December 2018.
-
Construction of the Minimum Time Function for Linear Systems Via Higher-Order Set-Valued Methods
Authors:
Robert Baier,
Thuy T. T. Le
Abstract:
The paper is devoted to introducing an approach to compute the approximate minimum time function of control problems which is based on reachable set approximation and uses arithmetic operations for convex compact sets. In particular, in this paper the theoretical justification of the proposed approach is restricted to a class of linear control systems. The error estimate of the fully discrete reac…
▽ More
The paper is devoted to introducing an approach to compute the approximate minimum time function of control problems which is based on reachable set approximation and uses arithmetic operations for convex compact sets. In particular, in this paper the theoretical justification of the proposed approach is restricted to a class of linear control systems. The error estimate of the fully discrete reachable set is provided by employing the Hausdorff distance to the continuous-time reachable set. The detailed procedure solving the corresponding discrete set-valued problem is described. Under standard assumptions, by means of convex analysis and knowledge of the regularity of the true minimum time function, we estimate the error of its approximation. Higher-order discretization of the reachable set of the linear control problem can balance missing regularity (e.g., Holder continuity) of the minimum time function for smoother problems. To illustrate the error estimates and to demonstrate differences to other numerical approaches we provide a collection of numerical examples which either allow higher order of convergence with respect to time discretization or where the continuity of the minimum time function cannot be sufficiently granted, i.e., we study cases in which the minimum time function is Holder continuous or even discontinuous.
△ Less
Submitted 4 May, 2018;
originally announced May 2018.
-
On Kauffman bracket skein modules of marked 3-manifolds and the Chebyshev-Frobenius homomorphism
Authors:
Thang T. Q. Le,
Jonathan Paprocki
Abstract:
In this paper we study the skein algebras of marked surfaces and the skein modules of marked 3-manifolds. Muller showed that skein algebras of totally marked surfaces may be embedded in easy to study algebras known as quantum tori. We first extend Muller's result to permit marked surfaces with unmarked boundary components. The addition of unmarked components allows us to develop a surgery theory w…
▽ More
In this paper we study the skein algebras of marked surfaces and the skein modules of marked 3-manifolds. Muller showed that skein algebras of totally marked surfaces may be embedded in easy to study algebras known as quantum tori. We first extend Muller's result to permit marked surfaces with unmarked boundary components. The addition of unmarked components allows us to develop a surgery theory which enables us to extend the Chebyshev homomorphism of Bonahon and Wong between skein algebras of unmarked surfaces to a "Chebyshev-Frobenius homomorphism" between skein modules of marked 3-manifolds. We show that the image of the Chebyshev-Frobenius homomorphism is either transparent or skew-transparent. In addition, we make use of the Muller algebra method to calculate the center of the skein algebra of a marked surface when the quantum parameter is not a root of unity.
△ Less
Submitted 9 November, 2018; v1 submitted 24 April, 2018;
originally announced April 2018.
-
Triangular decomposition of skein algebras
Authors:
Thang T. Q. Le
Abstract:
By introducing a finer version of the Kauffman bracket skein algebra, we show how to decompose the Kauffman bracket skein algebra of a surface into elementary blocks corresponding to the triangles in an ideal triangulation of the surface. The new skein algebra of an ideal triangle has a simple presentation. This gives an easy proof of the existence of the quantum trace map of Bonahon and Wong. We…
▽ More
By introducing a finer version of the Kauffman bracket skein algebra, we show how to decompose the Kauffman bracket skein algebra of a surface into elementary blocks corresponding to the triangles in an ideal triangulation of the surface. The new skein algebra of an ideal triangle has a simple presentation. This gives an easy proof of the existence of the quantum trace map of Bonahon and Wong. We also explain the relation between our skein algebra and the one defined by Muller, and use it to show that the quantum trace map can be extended to the Muller skein algebra.
△ Less
Submitted 16 September, 2016;
originally announced September 2016.
-
Synthesis of optimal controls and numerical optimization for the vibration-based energy harvesters
Authors:
Thuy T. T. Le,
Binh D. Truong,
Felix Jost,
Cuong P. Le,
Einar Halvorsen,
Sebastian Sager
Abstract:
This work is devoted to demonstration of the analysis on optimizing the output power harvested from vibration energy harvester.
This work is devoted to demonstration of the analysis on optimizing the output power harvested from vibration energy harvester.
△ Less
Submitted 26 January, 2017; v1 submitted 29 August, 2016;
originally announced August 2016.
-
The colored HOMFLYPT function is $q$-holonomic
Authors:
Stavros Garoufalidis,
Aaron D. Lauda,
Thang T. Q. Lê
Abstract:
We prove that the HOMFLYPT polynomial of a link, colored by partitions with a fixed number of rows is a $q$-holonomic function. Specializing to the case of knots colored by a partition with a single row, it proves the existence of an $(a,q)$ super-polynomial of knots in 3-space, as was conjectured by string theorists. Our proof uses skew Howe duality that reduces the evaluation of web diagrams and…
▽ More
We prove that the HOMFLYPT polynomial of a link, colored by partitions with a fixed number of rows is a $q$-holonomic function. Specializing to the case of knots colored by a partition with a single row, it proves the existence of an $(a,q)$ super-polynomial of knots in 3-space, as was conjectured by string theorists. Our proof uses skew Howe duality that reduces the evaluation of web diagrams and their ladders to a Poincare-Birkhoff-Witt computation of an auxiliary quantum group of rank the number of strings of the ladder diagram.
△ Less
Submitted 18 February, 2017; v1 submitted 28 April, 2016;
originally announced April 2016.
-
On positivity of Kauffman bracket skein algebras of surfaces
Authors:
Thang T. Q. Lê
Abstract:
We show that the Chebyshev polynomials form a basic block of any positive basis of the Kauffman bracket skein algebras of surfaces.
We show that the Chebyshev polynomials form a basic block of any positive basis of the Kauffman bracket skein algebras of surfaces.
△ Less
Submitted 25 October, 2016; v1 submitted 27 March, 2016;
originally announced March 2016.
-
A survey of $q$-holonomic functions
Authors:
Stavros Garoufalidis,
T. T. Q. Le
Abstract:
We give a survey of basic facts of $q$-holonomic functions of one or several variables, following Zeilberger and Sabbah. We provide detailed proofs and examples.
We give a survey of basic facts of $q$-holonomic functions of one or several variables, following Zeilberger and Sabbah. We provide detailed proofs and examples.
△ Less
Submitted 20 September, 2016; v1 submitted 27 January, 2016;
originally announced January 2016.
-
Construction of the Minimum Time Function Via Reachable Sets of Linear Control Systems. Part 2: Numerical Computations
Authors:
Robert Baier,
Thuy Thi Thien Le
Abstract:
In the first part of this paper we introduced an algorithm that uses reachable set approximation to approximate the minimum time function of linear control problems. To illustrate the error estimates and to demonstrate differences to other numerical approaches we provide a collection of numerical examples which either allow higher order of convergence with respect to time discretization or where t…
▽ More
In the first part of this paper we introduced an algorithm that uses reachable set approximation to approximate the minimum time function of linear control problems. To illustrate the error estimates and to demonstrate differences to other numerical approaches we provide a collection of numerical examples which either allow higher order of convergence with respect to time discretization or where the continuity of the minimum time function cannot be sufficiently granted, i.e. we study cases in which the minimum time function is Hölder continuous or even discontinuous.
△ Less
Submitted 31 December, 2015; v1 submitted 29 December, 2015;
originally announced December 2015.
-
Construction of the Minimum Time Function Via Reachable Sets of Linear Control Systems. Part I: Error Estimates
Authors:
Robert Baier,
Thuy Thi Thien Le
Abstract:
The first part of this paper is devoted to introducing an approach to compute the approximate minimum time function of control problems which is based on reachable set approximation and uses arithmetic operations for convex compact sets. In particular, in this paper the theoretical justification of the proposed approach is restricted to a class of linear control systems. The error estimate of the…
▽ More
The first part of this paper is devoted to introducing an approach to compute the approximate minimum time function of control problems which is based on reachable set approximation and uses arithmetic operations for convex compact sets. In particular, in this paper the theoretical justification of the proposed approach is restricted to a class of linear control systems. The error estimate of the fully discrete reachable set is provided by employing the Hausdorff distance to the continuous-time reachable set. The detailed procedure solving the corresponding discrete set-valued problem is described. Under standard assumptions, by means of convex analysis and knowledge of the regularity of the true minimum time function, we estimate the error of its approximation. Numerical examples are included in the second part.
△ Less
Submitted 31 December, 2015; v1 submitted 29 December, 2015;
originally announced December 2015.
-
Quantum Teichmüller spaces and quantum trace map
Authors:
Thang T. Q. Lê
Abstract:
We show how the quantum trace map of Bonahon and Wong can be constructed in a natural way using the skein algebra of Muller, which is an extension of the Kauffman bracket skein algebra of surfaces. We also show that the quantum Teichmüller space of a marked surface, defined by Chekhov-Fock (and Kashaev) in an abstract way, can be realized as a concrete subalgebra of the skew field of the skein alg…
▽ More
We show how the quantum trace map of Bonahon and Wong can be constructed in a natural way using the skein algebra of Muller, which is an extension of the Kauffman bracket skein algebra of surfaces. We also show that the quantum Teichmüller space of a marked surface, defined by Chekhov-Fock (and Kashaev) in an abstract way, can be realized as a concrete subalgebra of the skew field of the skein algebra.
△ Less
Submitted 25 October, 2016; v1 submitted 18 November, 2015;
originally announced November 2015.
-
Character varieties, A-polynomials, and the AJ Conjecture
Authors:
Thang T. Q. Le,
Xingru Zhang
Abstract:
We establish some facts about the behavior of the rational-geometric subvariety of the $SL_2(\c)$ or $PSL_2(\c)$ character variety of a hyperbolic knot manifold under the restriction map to the $SL_2(\c)$ or $PSL_2(\c)$ character variety of the boundary torus, and use the results to get some properties about the A-polynomials and to prove the AJ conjecture for certain class of knots in $S^3$ inclu…
▽ More
We establish some facts about the behavior of the rational-geometric subvariety of the $SL_2(\c)$ or $PSL_2(\c)$ character variety of a hyperbolic knot manifold under the restriction map to the $SL_2(\c)$ or $PSL_2(\c)$ character variety of the boundary torus, and use the results to get some properties about the A-polynomials and to prove the AJ conjecture for certain class of knots in $S^3$ including in particular any $2$-bridge knot over which the double branched cover of $S^3$ is a lens space of prime order.
△ Less
Submitted 10 September, 2015;
originally announced September 2015.
-
Unified quantum invariants for integral homology spheres associated with simple Lie algebras
Authors:
Kazuo Habiro,
Thang T. Q. Lê
Abstract:
For each finite dimensional, simple, complex Lie algebra $\mathfrak g$ and each root of unity $ξ$ (with some mild restriction on the order) one can define the Witten-Reshetikhin-Turaev (WRT) quantum invariant $τ_M^{\mathfrak g}(ξ)\in \mathbb C$ of oriented 3-manifolds $M$. In the present paper we construct an invariant $J_M$ of integral homology spheres $M$ with values in the cyclotomic completion…
▽ More
For each finite dimensional, simple, complex Lie algebra $\mathfrak g$ and each root of unity $ξ$ (with some mild restriction on the order) one can define the Witten-Reshetikhin-Turaev (WRT) quantum invariant $τ_M^{\mathfrak g}(ξ)\in \mathbb C$ of oriented 3-manifolds $M$. In the present paper we construct an invariant $J_M$ of integral homology spheres $M$ with values in the cyclotomic completion $\widehat {\mathbb Z [q]}$ of the polynomial ring $\mathbb Z [q]$, such that the evaluation of $J_M$ at each root of unity gives the WRT quantum invariant of $M$ at that root of unity. This result generalizes the case ${\mathfrak g}=sl_2$ proved by the first author. It follows that $J_M$ unifies all the quantum invariants of $M$ associated with $\mathfrak g$, and represents the quantum invariants as a kind of "analytic function" defined on the set of roots of unity. For example, $τ_M(ξ)$ for all roots of unity are determined by a "Taylor expansion" at any root of unity, and also by the values at infinitely many roots of unity of prime power orders. It follows that WRT quantum invariants $τ_M(ξ)$ for all roots of unity are determined by the Ohtsuki series, which can be regarded as the Taylor expansion at $q=1$, and hence by the Le-Murakami-Ohtsuki invariant. Another consequence is that the WRT quantum invariants $τ_M^{ \mathfrak g}(ξ)$ are algebraic integers. The construction of the invariant $J_M$ is done on the level of quantum group, and does not involve any finite dimensional representation, unlike the definition of the WRT quantum invariant. Thus, our construction gives a unified, "representation-free" definition of the quantum invariants of integral homology spheres.
△ Less
Submitted 24 November, 2015; v1 submitted 11 March, 2015;
originally announced March 2015.
-
On Kauffman Bracket Skein Modules at Root of Unity
Authors:
Thang T. Q. Le
Abstract:
We reprove and expand results of Bonahon and Wong on central elements of the Kauffman bracket skein modules at root of 1 and on the existence of the Chebyshev homomorphism, using elementary skein methods.
We reprove and expand results of Bonahon and Wong on central elements of the Kauffman bracket skein modules at root of 1 and on the existence of the Chebyshev homomorphism, using elementary skein methods.
△ Less
Submitted 9 September, 2014; v1 submitted 13 December, 2013;
originally announced December 2013.
