-
Computation of the Łojasiewicz exponents of real bivariate analytic functions
Authors:
Si Tiep Dinh,
Feng Guo,
Hong Duc Nguyen,
Tien Son Pham
Abstract:
The main goal of this paper is to present some explicit formulas for computing the {Ł}ojasiewicz exponent in the {Ł}ojasiewicz inequality comparing the rate of growth of two real bivariate analytic function germs.
The main goal of this paper is to present some explicit formulas for computing the {Ł}ojasiewicz exponent in the {Ł}ojasiewicz inequality comparing the rate of growth of two real bivariate analytic function germs.
△ Less
Submitted 10 May, 2024;
originally announced May 2024.
-
Enhancing Q&A with Domain-Specific Fine-Tuning and Iterative Reasoning: A Comparative Study
Authors:
Zooey Nguyen,
Anthony Annunziata,
Vinh Luong,
Sang Dinh,
Quynh Le,
Anh Hai Ha,
Chanh Le,
Hong An Phan,
Shruti Raghavan,
Christopher Nguyen
Abstract:
This paper investigates the impact of domain-specific model fine-tuning and of reasoning mechanisms on the performance of question-answering (Q&A) systems powered by large language models (LLMs) and Retrieval-Augmented Generation (RAG). Using the FinanceBench SEC financial filings dataset, we observe that, for RAG, combining a fine-tuned embedding model with a fine-tuned LLM achieves better accura…
▽ More
This paper investigates the impact of domain-specific model fine-tuning and of reasoning mechanisms on the performance of question-answering (Q&A) systems powered by large language models (LLMs) and Retrieval-Augmented Generation (RAG). Using the FinanceBench SEC financial filings dataset, we observe that, for RAG, combining a fine-tuned embedding model with a fine-tuned LLM achieves better accuracy than generic models, with relatively greater gains attributable to fine-tuned embedding models. Additionally, employing reasoning iterations on top of RAG delivers an even bigger jump in performance, enabling the Q&A systems to get closer to human-expert quality. We discuss the implications of such findings, propose a structured technical design space capturing major technical components of Q&A AI, and provide recommendations for making high-impact technical choices for such components. We plan to follow up on this work with actionable guides for AI teams and further investigations into the impact of domain-specific augmentation in RAG and into agentic AI capabilities such as advanced planning and reasoning.
△ Less
Submitted 19 April, 2024; v1 submitted 17 April, 2024;
originally announced April 2024.
-
Optimal control of large quantum systems: assessing memory and runtime performance of GRAPE
Authors:
Yunwei Lu,
Sandeep Joshi,
Vinh San Dinh,
Jens Koch
Abstract:
Gradient Ascent Pulse Engineering (GRAPE) is a popular technique in quantum optimal control, and can be combined with automatic differentiation (AD) to facilitate on-the-fly evaluation of cost-function gradients. We illustrate that the convenience of AD comes at a significant memory cost due to the cumulative storage of a large number of states and propagators. For quantum systems of increasing Hi…
▽ More
Gradient Ascent Pulse Engineering (GRAPE) is a popular technique in quantum optimal control, and can be combined with automatic differentiation (AD) to facilitate on-the-fly evaluation of cost-function gradients. We illustrate that the convenience of AD comes at a significant memory cost due to the cumulative storage of a large number of states and propagators. For quantum systems of increasing Hilbert space size, this imposes a significant bottleneck. We revisit the strategy of hard-coding gradients in a scheme that fully avoids propagator storage and significantly reduces memory requirements. Separately, we present improvements to numerical state propagation to enhance runtime performance. We benchmark runtime and memory usage and compare this approach to AD-based implementations, with a focus on pushing towards larger Hilbert space sizes. The results confirm that the AD-free approach facilitates the application of optimal control for large quantum systems which would otherwise be difficult to tackle.
△ Less
Submitted 12 April, 2023;
originally announced April 2023.
-
A model with vectorlike fermions and $U(1)_X$ symmetry: CKM unitarity, $b \rightarrow s$ transitions, and prospect at Belle II
Authors:
Sang Quang Dinh,
Hieu Minh Tran
Abstract:
The updated analysis of the LHCb Collaboration on the lepton flavor violation suggests that the new physics should couple to muons and electrons with comparable magnitudes, resulting in the anomalies in both rare decay channels, $b \rightarrow s μ^+ μ^-$ and $b \rightarrow s e^+ e^-$. Meanwhile, the recent result of the Muon $g-2$ experiment with higher precision has increased the existing tension…
▽ More
The updated analysis of the LHCb Collaboration on the lepton flavor violation suggests that the new physics should couple to muons and electrons with comparable magnitudes, resulting in the anomalies in both rare decay channels, $b \rightarrow s μ^+ μ^-$ and $b \rightarrow s e^+ e^-$. Meanwhile, the recent result of the Muon $g-2$ experiment with higher precision has increased the existing tension with the standard model prediction. In this paper, we consider an extension of the standard model with a new sector consisting of vectorlike fermions and two scalar charged under an extra $U(1)_X$ gauge symmetry. The exotic Yukawa interactions in the this model lead to the quark mixing responsible for the additional contributions to the flavor changing neutral currents in $B$-meson decays, and solve the muon $g-2$ discrepancy. We derive the analytic expression of the new physics contributions to the Wilson coefficient $C_7$ in the effective Hamiltonian, and point out that the CKM unitarity violation can be explained within this context. By calculating the branching ratio of the inclusive radiative $B$ decay, the impact of current experimental data of the $b \rightarrow s γ$ transition on the model and the future prospect at the Belle II experiment are investigated. Taking into account the current data on the muon anomalous magnetic moment, the CKM unitarity violation, the constraints on the flavor observables relevant to the $b \rightarrow s$ transitions, the LHC searches for vectorlike quarks, and the perturbation limits of the couplings, the viable parameter regions of the model are identified.
△ Less
Submitted 26 October, 2023; v1 submitted 27 March, 2023;
originally announced March 2023.
-
Characterizations of directional openness for set-valued map**s
Authors:
Si Tiep Dinh,
Tien Son Pham
Abstract:
We provide necessary and sufficient conditions for a set-valued map** between finite dimensional spaces to be directionally open by relating this property with directional regularity, Hölder continuity of the inverse map**, coderivatives and variations. These generalize and refine some previously known results.
We provide necessary and sufficient conditions for a set-valued map** between finite dimensional spaces to be directionally open by relating this property with directional regularity, Hölder continuity of the inverse map**, coderivatives and variations. These generalize and refine some previously known results.
△ Less
Submitted 25 July, 2022;
originally announced July 2022.
-
Quantum computing hardware for HEP algorithms and sensing
Authors:
M. Sohaib Alam,
Sergey Belomestnykh,
Nicholas Bornman,
Gustavo Cancelo,
Yu-Chiu Chao,
Mattia Checchin,
Vinh San Dinh,
Anna Grassellino,
Erik J. Gustafson,
Roni Harnik,
Corey Rae Harrington McRae,
Ziwen Huang,
Keshav Kapoor,
Taeyoon Kim,
James B. Kowalkowski,
Matthew J. Kramer,
Yulia Krasnikova,
Prem Kumar,
Doga Murat Kurkcuoglu,
Henry Lamm,
Adam L. Lyon,
Despina Milathianaki,
Akshay Murthy,
Josh Mutus,
Ivan Nekrashevich
, et al. (15 additional authors not shown)
Abstract:
Quantum information science harnesses the principles of quantum mechanics to realize computational algorithms with complexities vastly intractable by current computer platforms. Typical applications range from quantum chemistry to optimization problems and also include simulations for high energy physics. The recent maturing of quantum hardware has triggered preliminary explorations by several ins…
▽ More
Quantum information science harnesses the principles of quantum mechanics to realize computational algorithms with complexities vastly intractable by current computer platforms. Typical applications range from quantum chemistry to optimization problems and also include simulations for high energy physics. The recent maturing of quantum hardware has triggered preliminary explorations by several institutions (including Fermilab) of quantum hardware capable of demonstrating quantum advantage in multiple domains, from quantum computing to communications, to sensing. The Superconducting Quantum Materials and Systems (SQMS) Center, led by Fermilab, is dedicated to providing breakthroughs in quantum computing and sensing, mediating quantum engineering and HEP based material science. The main goal of the Center is to deploy quantum systems with superior performance tailored to the algorithms used in high energy physics. In this Snowmass paper, we discuss the two most promising superconducting quantum architectures for HEP algorithms, i.e. three-level systems (qutrits) supported by transmon devices coupled to planar devices and multi-level systems (qudits with arbitrary N energy levels) supported by superconducting 3D cavities. For each architecture, we demonstrate exemplary HEP algorithms and identify the current challenges, ongoing work and future opportunities. Furthermore, we discuss the prospects and complexities of interconnecting the different architectures and individual computational nodes. Finally, we review several different strategies of error protection and correction and discuss their potential to improve the performance of the two architectures. This whitepaper seeks to reach out to the HEP community and drive progress in both HEP research and QIS hardware.
△ Less
Submitted 29 April, 2022; v1 submitted 18 April, 2022;
originally announced April 2022.
-
Limits of real bivariate rational functions
Authors:
Si Tiep Dinh,
Feng Guo,
Hong Duc Nguyen,
Tien Son Pham
Abstract:
Given two nonzero polynomials $f, g \in\mathbb R[x,y]$ and a point $(a, b) \in \mathbb{R}^2,$ we give some necessary and sufficient conditions for the existence of the limit $\displaystyle \lim_{(x, y) \to (a, b)} \frac{f(x, y)}{g(x, y)}.$ We also show that, if the denominator $g$ has an isolated zero at the given point $(a, b),$ then the set of possible limits of…
▽ More
Given two nonzero polynomials $f, g \in\mathbb R[x,y]$ and a point $(a, b) \in \mathbb{R}^2,$ we give some necessary and sufficient conditions for the existence of the limit $\displaystyle \lim_{(x, y) \to (a, b)} \frac{f(x, y)}{g(x, y)}.$ We also show that, if the denominator $g$ has an isolated zero at the given point $(a, b),$ then the set of possible limits of $\displaystyle \lim_{(x, y) \to (a, b)} \frac{f(x, y)}{g(x, y)}$ is a closed interval in $\overline{\mathbb{R}}$ and can be explicitly determined. As an application, we propose an effective algorithm to verify the existence of the limit and compute the limit (if it exists). Our approach is geometric and is based on Puiseux expansions.
△ Less
Submitted 10 February, 2022;
originally announced February 2022.
-
On definable open continuous map**s
Authors:
Si Tiep Dinh,
Tien Son Pham
Abstract:
For a definable continuous map** $f$ from a definable connected open subset $Ω$ of $\mathbb R^n$ into $\mathbb R^n,$ we show that the following statements are equivalent:
(i) The map** $f$ is open.
(ii) The fibers of $f$ are finite and the Jacobian of $f$ does not change sign on the set of points at which $f$ is differentiable.
(iii) The fibers of ${f}$ are finite and the set of points a…
▽ More
For a definable continuous map** $f$ from a definable connected open subset $Ω$ of $\mathbb R^n$ into $\mathbb R^n,$ we show that the following statements are equivalent:
(i) The map** $f$ is open.
(ii) The fibers of $f$ are finite and the Jacobian of $f$ does not change sign on the set of points at which $f$ is differentiable.
(iii) The fibers of ${f}$ are finite and the set of points at which $f$ is not a local homeomorphism has dimension at most $n - 2.$
As an application, we prove that Whyburn's conjecture is true for definable map**s: A definable open continuous map** of one closed ball into another which maps boundary homeomorphically onto boundary is necessarily a homeomorphism.
△ Less
Submitted 7 July, 2021; v1 submitted 3 June, 2021;
originally announced June 2021.
-
Some variational properties of tangent directions at infinity of real algebraic sets
Authors:
Si Tiep Dinh,
Tien Son Pham
Abstract:
In this paper, we relate the set of asymptotic critical values of a polynomial function $f$ with the set of discontinuity of two functions, the multivalued function which associate to each value $t$ the set of tangent directions at infinity of the fiber $f^{-1}(t)$ and the composition of the $(n-2)$-dimensional volume function with the first one. This gives necessary conditions of equisingularity…
▽ More
In this paper, we relate the set of asymptotic critical values of a polynomial function $f$ with the set of discontinuity of two functions, the multivalued function which associate to each value $t$ the set of tangent directions at infinity of the fiber $f^{-1}(t)$ and the composition of the $(n-2)$-dimensional volume function with the first one. This gives necessary conditions of equisingularity at infinity for the family of the fibers of a real polynomial function.
△ Less
Submitted 21 May, 2021;
originally announced May 2021.
-
Nichtnegativstellensätze for definable functions in o-minimal structures
Authors:
Si Tiep Dinh,
Tien Son Pham
Abstract:
This paper addresses to Nichtnegativstellensätze for definable functions in o-minimal structures on $(\mathbb{R}, +, \cdot).$ Namely, let $f, g_1, \ldots, g_l \colon \mathbb{R}^n \to \mathbb{R}$ be definable $C^p$-functions ($p \ge 2$) and assume that $f$ is non-negative on $S := \{x \in \mathbb{R}^n \ | \ g_1(x) \ge 0, \ldots, g_l(x) \ge 0 \}.$ Under some natural hypotheses on zeros of $f$ in…
▽ More
This paper addresses to Nichtnegativstellensätze for definable functions in o-minimal structures on $(\mathbb{R}, +, \cdot).$ Namely, let $f, g_1, \ldots, g_l \colon \mathbb{R}^n \to \mathbb{R}$ be definable $C^p$-functions ($p \ge 2$) and assume that $f$ is non-negative on $S := \{x \in \mathbb{R}^n \ | \ g_1(x) \ge 0, \ldots, g_l(x) \ge 0 \}.$ Under some natural hypotheses on zeros of $f$ in $S,$ we show that $f$ is expressible in the form $f = φ_0 + \sum_{i = 1}^l φ_i g_i,$ where each $φ_i$ is a sum of squares of definable $C^{p - 2}$-functions. As a consequence, we derive global optimality conditions which generalize the Karush--Kuhn--Tucker optimality conditions for nonlinear optimization.
△ Less
Submitted 18 May, 2021;
originally announced May 2021.
-
The mountain pass theorem in terms of tangencies
Authors:
Si Tiep Dinh,
Tien Son Pham
Abstract:
This paper addresses the Mountain Pass Theorem for locally Lipschitz functions on finite-dimensional vector spaces in terms of tangencies. Namely, let $f \colon \mathbb R^n \to \mathbb R$ be a locally Lipschitz function with a mountain pass geometry. Let $$c := \inf_{γ\in \mathcal A}\max_{t\in[0,1]}f(γ(t)),$$ where $\mathcal{A}$ is the set of all continuous paths joining $x^*$ to $y^*.$ We show th…
▽ More
This paper addresses the Mountain Pass Theorem for locally Lipschitz functions on finite-dimensional vector spaces in terms of tangencies. Namely, let $f \colon \mathbb R^n \to \mathbb R$ be a locally Lipschitz function with a mountain pass geometry. Let $$c := \inf_{γ\in \mathcal A}\max_{t\in[0,1]}f(γ(t)),$$ where $\mathcal{A}$ is the set of all continuous paths joining $x^*$ to $y^*.$ We show that either $c$ is a critical value of $f$ or $c$ is a tangency value at infinity of $f.$ This reduces to the Mountain Pass Theorem of Ambrosetti and Rabinowitz in the case where the function $f$ is definable (such as, semi-algebraic) in an o-minimal structure.
△ Less
Submitted 15 May, 2021;
originally announced May 2021.
-
Muon $g-2$ and semileptonic $B$ decays in Bélanger-Delaunay-Westhoff model with gauge kinetic mixing
Authors:
Sang Quang Dinh,
Hieu Minh Tran
Abstract:
In the model proposed by Bélanger, Delaunay and Westhoff (BDW), a new sector consisted of vectorlike fermions and two complex scalars is charged under an extra Abelian symmetry $U(1)_X$. In this paper, we generalize the BDW model by introducing the kinetic mixing between the $U(1)_X$ and the standard model $U(1)_Y$ gauge fields. The new physics contributions to the muon anomalous magnetic moment a…
▽ More
In the model proposed by Bélanger, Delaunay and Westhoff (BDW), a new sector consisted of vectorlike fermions and two complex scalars is charged under an extra Abelian symmetry $U(1)_X$. In this paper, we generalize the BDW model by introducing the kinetic mixing between the $U(1)_X$ and the standard model $U(1)_Y$ gauge fields. The new physics contributions to the muon anomalous magnetic moment and the Wilson coefficients $C_{9,10}^{(')}$ are obtained analytically. We have explored the free parameter space of the model, taking into account various constraints on the muon $g-2$ using recent data from the E989 experiment at Fermilab, the lepton universality violation in terms of $R_K$ and $R_{K^*}$, and the branching ratios of the semileptonic decays, $B^+ \rightarrow K^+ μ^+ μ^-$ and $B^0 \rightarrow K^{*0} μ^+ μ^-$, the LEP and LHC searches for sleptons and $Z'$ boson, as well as the perturbative requirement. The viable parameter regions of the model are identified. In the presence of the gauge kinetic mixing term, those regions are enlarged and significantly deformed in comparison to the case with vanishing kinetic mixing. In the near future, the E989 experiment with the projected sensitivity will be able to test significant parts of the currently allowed parameter regions.
△ Less
Submitted 13 October, 2021; v1 submitted 13 November, 2020;
originally announced November 2020.
-
Facial UV Map Completion for Pose-invariant Face Recognition: A Novel Adversarial Approach based on Coupled Attention Residual UNets
Authors:
In Seop Na,
Chung Tran,
Dung Nguyen,
Sang Dinh
Abstract:
Pose-invariant face recognition refers to the problem of identifying or verifying a person by analyzing face images captured from different poses. This problem is challenging due to the large variation of pose, illumination and facial expression. A promising approach to deal with pose variation is to fulfill incomplete UV maps extracted from in-the-wild faces, then attach the completed UV map to a…
▽ More
Pose-invariant face recognition refers to the problem of identifying or verifying a person by analyzing face images captured from different poses. This problem is challenging due to the large variation of pose, illumination and facial expression. A promising approach to deal with pose variation is to fulfill incomplete UV maps extracted from in-the-wild faces, then attach the completed UV map to a fitted 3D mesh and finally generate different 2D faces of arbitrary poses. The synthesized faces increase the pose variation for training deep face recognition models and reduce the pose discrepancy during the testing phase. In this paper, we propose a novel generative model called Attention ResCUNet-GAN to improve the UV map completion. We enhance the original UV-GAN by using a couple of U-Nets. Particularly, the skip connections within each U-Net are boosted by attention gates. Meanwhile, the features from two U-Nets are fused with trainable scalar weights. The experiments on the popular benchmarks, including Multi-PIE, LFW, CPLWF and CFP datasets, show that the proposed method yields superior performance compared to other existing methods.
△ Less
Submitted 2 November, 2020;
originally announced November 2020.
-
Stability of closedness of semi-algebraic sets under continuous semi-algebraic map**s
Authors:
Si Tiep Dinh,
Zbigniew Jelonek,
Tien Son Pham
Abstract:
Given a closed semi-algebraic set $X \subset \mathbb{R}^n$ and a continuous semi-algebraic map** $G \colon X \to \mathbb{R}^m,$ it will be shown that there exists an open dense semi-algebraic subset $\mathscr{U}$ of $L(\mathbb{R}^n, \mathbb{R}^m),$ the space of all linear map**s from $\mathbb{R}^n$ to $\mathbb{R}^m,$ such that for all $F \in \mathscr{U},$ the image $(F + G)(X)$ is a closed (se…
▽ More
Given a closed semi-algebraic set $X \subset \mathbb{R}^n$ and a continuous semi-algebraic map** $G \colon X \to \mathbb{R}^m,$ it will be shown that there exists an open dense semi-algebraic subset $\mathscr{U}$ of $L(\mathbb{R}^n, \mathbb{R}^m),$ the space of all linear map**s from $\mathbb{R}^n$ to $\mathbb{R}^m,$ such that for all $F \in \mathscr{U},$ the image $(F + G)(X)$ is a closed (semi-algebraic) set in $\mathbb{R}^m.$ To do this, we study the tangent cone at infinity $C_\infty X$ and the set $E_\infty X \subset C_\infty X$ of (unit) exceptional directions at infinity of $X.$ Specifically we show that the set $E_\infty X$ is nowhere dense in $C_\infty X \cap \mathbb{S}^{n - 1}.$
△ Less
Submitted 2 April, 2021; v1 submitted 10 October, 2020;
originally announced October 2020.
-
Limits of tangent spaces to definable sets
Authors:
Si Tiep Dinh,
Olivier Le Gal,
Tien Son Pham
Abstract:
We study the set of tangent limits at a given point to a set definable in any o-minimal structure by characterizing the set of exceptional rays in the tangent cone to the set at that point and investigating the set of tangent limits along these rays. Several criteria for determining exceptional rays will be given. The main results of the paper generalize, to the o-minimal setting and to arbitrary…
▽ More
We study the set of tangent limits at a given point to a set definable in any o-minimal structure by characterizing the set of exceptional rays in the tangent cone to the set at that point and investigating the set of tangent limits along these rays. Several criteria for determining exceptional rays will be given. The main results of the paper generalize, to the o-minimal setting and to arbitrary dimension, the main results of O'Shea--Wilson which deals with algebraic surfaces in $\mathbb R^3$.
△ Less
Submitted 7 October, 2020;
originally announced October 2020.
-
Stability of closedness of closed convex sets under linear map**s
Authors:
Si Tiep Dinh,
Tien Son Pham
Abstract:
We study the problem of when the continuous linear image of a fixed closed convex set $X \subset\mathbb{R}^n$ is closed. Specifically, we improve the main results in the papers \cite{Borwein2009, Borwein2010} by showing that for all, except for at most a $σ$-porous set, of the linear map**s $T$ from $\mathbb{R}^n$ into $\mathbb{R}^m,$ not only $T(X)$ is closed, but there is also an open neighbor…
▽ More
We study the problem of when the continuous linear image of a fixed closed convex set $X \subset\mathbb{R}^n$ is closed. Specifically, we improve the main results in the papers \cite{Borwein2009, Borwein2010} by showing that for all, except for at most a $σ$-porous set, of the linear map**s $T$ from $\mathbb{R}^n$ into $\mathbb{R}^m,$ not only $T(X)$ is closed, but there is also an open neighborhood of $T$ whose members also preserve the closedness of $X.$
△ Less
Submitted 2 April, 2021; v1 submitted 22 January, 2020;
originally announced January 2020.
-
Global Łojasiewicz inequalities on comparing the rate of growth of polynomial functions
Authors:
Si-Tiep Dinh,
Feng Guo,
Tien-Son Pham
Abstract:
We present a global version of the Łojasiewicz inequality on comparing the rate of growth of two polynomial functions in the case the map** defined by these functions is (Newton) non-degenerate at infinity. In addition, we show that the condition of non-degeneracy at infinity is generic in the sense that it holds in an open and dense semi-algebraic set of the entire space of input data.
We present a global version of the Łojasiewicz inequality on comparing the rate of growth of two polynomial functions in the case the map** defined by these functions is (Newton) non-degenerate at infinity. In addition, we show that the condition of non-degeneracy at infinity is generic in the sense that it holds in an open and dense semi-algebraic set of the entire space of input data.
△ Less
Submitted 13 February, 2021; v1 submitted 2 December, 2019;
originally announced December 2019.
-
Analysis of Global Fixed-Priority Scheduling for Generalized Sporadic DAG Tasks
Authors:
Son Dinh,
Christopher Gill,
Kunal Agrawal
Abstract:
We consider global fixed-priority (G-FP) scheduling of parallel tasks, in which each task is represented as a directed acyclic graph (DAG). We summarize and highlight limitations of the state-of-the-art analyses for G-FP and propose a novel technique for bounding interfering workload, which can be applied directly to generalized DAG tasks. Our technique works by constructing optimization problems…
▽ More
We consider global fixed-priority (G-FP) scheduling of parallel tasks, in which each task is represented as a directed acyclic graph (DAG). We summarize and highlight limitations of the state-of-the-art analyses for G-FP and propose a novel technique for bounding interfering workload, which can be applied directly to generalized DAG tasks. Our technique works by constructing optimization problems for which the optimal solution values serve as safe and tight upper bounds for interfering workloads. Using the proposed workload bounding technique, we derive a response-time analysis and show that it improves upon state-of-the-art analysis techniques for G-FP scheduling.
△ Less
Submitted 13 May, 2019;
originally announced May 2019.
-
Global mixed Łojasiewicz inequalities and asymptotic critical values
Authors:
Si Tiep Dinh,
Krzysztof Kurdyka,
Tien Son Pham
Abstract:
In this paper, we prove a version of global Łojasiewicz inequality for $C^1$ semialgebraic functions and relate its existence to the set of asymptotic critical values.
In this paper, we prove a version of global Łojasiewicz inequality for $C^1$ semialgebraic functions and relate its existence to the set of asymptotic critical values.
△ Less
Submitted 17 November, 2018;
originally announced November 2018.
-
Thom isotopy theorem for non proper maps and computation of sets of stratified generalized critical values
Authors:
Si Tiep Dinh,
Zbigniew Jelonek
Abstract:
Let $X\subset\Bbb C^n$ be an affine variety and $f:X\to\Bbb C^m$ be the restriction to $X$ of a polynomial map $\Bbb C^n\to\Bbb C^m$. In this paper, we construct an affine Whitney stratification of $X$. The set $K(f)$ of stratified generalized critical values of $f$ can be also computed. We show that $K(f)$ is a nowhere dense subset of $\Bbb C^m$, which contains the set $B(f)$ of bifurcation value…
▽ More
Let $X\subset\Bbb C^n$ be an affine variety and $f:X\to\Bbb C^m$ be the restriction to $X$ of a polynomial map $\Bbb C^n\to\Bbb C^m$. In this paper, we construct an affine Whitney stratification of $X$. The set $K(f)$ of stratified generalized critical values of $f$ can be also computed. We show that $K(f)$ is a nowhere dense subset of $\Bbb C^m$, which contains the set $B(f)$ of bifurcation values of $f$ by proving a version of the isotopy lemma for non-proper polynomial maps on singular varieties.
△ Less
Submitted 5 July, 2018; v1 submitted 7 May, 2018;
originally announced May 2018.
-
Łojasiewicz inequalities with explicit exponent for smallest singular value functions
Authors:
Si Tiep Dinh,
Tien Son Pham
Abstract:
Let $F(x) := (f_{ij}(x))_{i=1,\ldots,p; j=1,\ldots,q},$ be a ($p\times q$)-real polynomial matrix and let $f(x)$ be the smallest singular value function of $F(x).$ In this paper, we first give the following {\em nonsmooth} version of Łojasiewicz gradient inequality for the function $f$ with an explicit exponent: {\em For any $\bar x\in \Bbb R^n$, there exist $c > 0$ and $ε> 0$ such that we have fo…
▽ More
Let $F(x) := (f_{ij}(x))_{i=1,\ldots,p; j=1,\ldots,q},$ be a ($p\times q$)-real polynomial matrix and let $f(x)$ be the smallest singular value function of $F(x).$ In this paper, we first give the following {\em nonsmooth} version of Łojasiewicz gradient inequality for the function $f$ with an explicit exponent: {\em For any $\bar x\in \Bbb R^n$, there exist $c > 0$ and $ε> 0$ such that we have for all $\|x - \bar{x}\| < ε,$ \begin{equation*} \inf \{ \| w \| \ : \ w \in {\partial} f(x) \} \ \ge \ c\, |f(x)-f(\bar x)|^{1 - \frac{2}{\mathscr R(n+p,2d+2)}}, \end{equation*} where ${\partial} f(x)$ is the limiting subdifferential of $f$ at $x$, $d:=\max_{i=1,\ldots,p; j=1,\ldots,q}°f_{i j}$ and $\mathscr R(n, d) := d(3d - 3)^{n-1}$ if $d \ge 2$ and $\mathscr R(n, d) := 1$ if $d = 1.$} Then we establish some versions of Łojasiewicz inequality for the distance function with explicit exponents, locally and globally, for the smallest singular value function $f(x)$ of the matrix $F(x)$.
△ Less
Submitted 11 April, 2016;
originally announced April 2016.
-
Łojasiewicz-type inequalities with explicit exponents for the largest eigenvalue function of real symmetric polynomial matrices
Authors:
Si Tiep Dinh,
Tien Son Pham
Abstract:
Let $F(x) := (f_{ij}(x))_{i,j=1,\ldots,p},$ be a real symmetric polynomial matrix of order $p$ and let $f(x)$ be the largest eigenvalue function of the matrix $F(x).$ We denote by ${\partial}^\circ f(x)$ the Clarke subdifferential of $f$ at $x.$ In this paper, we first give the following {\em nonsmooth} version of Łojasiewicz gradient inequality for the function $f$ with an explicit exponent: For…
▽ More
Let $F(x) := (f_{ij}(x))_{i,j=1,\ldots,p},$ be a real symmetric polynomial matrix of order $p$ and let $f(x)$ be the largest eigenvalue function of the matrix $F(x).$ We denote by ${\partial}^\circ f(x)$ the Clarke subdifferential of $f$ at $x.$ In this paper, we first give the following {\em nonsmooth} version of Łojasiewicz gradient inequality for the function $f$ with an explicit exponent: For any $\bar x\in \Bbb R^n$ there exist $c > 0$ and $ε> 0$ such that we have for all $\|x - \bar{x}\| < ε,$ \begin{equation*} \inf \{ \| w \| \ : \ w \in {\partial}^\circ f(x) \} \ \ge \ c\, |f(x) - f(\bar x)|^{1 - \frac{1}{\mathscr{R}(2n+p(n+1),d+3)}}, \end{equation*} where $d:=\max_{i,j = 1, \ldots, p}°f_{i j}$ and $\mathscr{R}$ is a function introduced by D'Acunto and Kurdyka: $\mathscr{R}(n, d) := d(3d - 3)^{n-1}$ if $d \ge 2$ and $\mathscr{R}(n, d) := 1$ if $d = 1.$ Then we establish error bounds with explicitly determined exponents, local and global, for the largest eigenvalue function $f(x)$ of the matrix $F(x)$.
△ Less
Submitted 4 January, 2016; v1 submitted 7 January, 2015;
originally announced January 2015.
-
Hölder-Type Global Error Bounds for Non-degenerate Polynomial Systems
Authors:
Si Tiep Dinh,
Ha Huy Vui,
Pham Tien Son
Abstract:
Let $F := (f_1, \ldots, f_p) \colon {\Bbb R}^n \to {\Bbb R}^p$ be a polynomial map, and suppose that $S := \{x \in {\Bbb R}^n \ : \ f_i(x) \le 0, i = 1, \ldots, p\} \ne \emptyset.$ Let $d := \max_{i = 1, \ldots, p} °f_i$ and $\mathcal{H}(d, n, p) := d(6d - 3)^{n + p - 1}.$ Under the assumption that the map $F \colon {\Bbb R}^n \rightarrow {\Bbb R}^p$ is convenient and non-degenerate at infinity, w…
▽ More
Let $F := (f_1, \ldots, f_p) \colon {\Bbb R}^n \to {\Bbb R}^p$ be a polynomial map, and suppose that $S := \{x \in {\Bbb R}^n \ : \ f_i(x) \le 0, i = 1, \ldots, p\} \ne \emptyset.$ Let $d := \max_{i = 1, \ldots, p} °f_i$ and $\mathcal{H}(d, n, p) := d(6d - 3)^{n + p - 1}.$ Under the assumption that the map $F \colon {\Bbb R}^n \rightarrow {\Bbb R}^p$ is convenient and non-degenerate at infinity, we show that there exists a constant $c > 0$ such that the following so-called {\em Hölder-type global error bound result} holds $$c d(x,S) \le [f(x)]_+^{\frac{2}{\mathcal{H}(2d, n, p)}} + [f(x)]_+ \quad \textrm{ for all } \quad x \in \mathbb{R}^n,$$ where $d(x, S)$ denotes the Euclidean distance between $x$ and $S,$ $f(x) := \max_{i = 1, \ldots, p} f_i(x),$ and $[f(x)]_+ := \max \{f(x), 0 \}.$ The class of polynomial maps (with fixed Newton polyhedra), which are non-degenerate at infinity, is generic in the sense that it is an open and dense semi-algebraic set. Therefore, Hölder-type global error bounds hold for a large class of polynomial maps, which can be recognized relatively easily from their combinatoric data.
△ Less
Submitted 4 November, 2014;
originally announced November 2014.
-
Horizontal gradient of polynomial functions for the standard Engel structure on $\mathbb R^4$
Authors:
Si Tiep Dinh,
Krzysztof Kurdyka
Abstract:
We investigate the set $V_f$ of horizontal critical points of a polynomial function $f$ for the standard Engel structure defined by the 1-forms $ω_3=dx_3-x_1dx_2,$ $ω_4=dx_4-x_3dx_2$, endowed with the sub-Riemannian metric $g_{SR}=dx_1^2+dx_2^2$. For a generic polynomial, we show that the intersection of any fiber of $f$ and $V_f$ does not contain a horizontal curve. Then we prove that each trajec…
▽ More
We investigate the set $V_f$ of horizontal critical points of a polynomial function $f$ for the standard Engel structure defined by the 1-forms $ω_3=dx_3-x_1dx_2,$ $ω_4=dx_4-x_3dx_2$, endowed with the sub-Riemannian metric $g_{SR}=dx_1^2+dx_2^2$. For a generic polynomial, we show that the intersection of any fiber of $f$ and $V_f$ does not contain a horizontal curve. Then we prove that each trajectory of the horizontal gradient of $f$ approaching the set $V_f$ has a limit.
△ Less
Submitted 21 January, 2014;
originally announced January 2014.
-
Interaction Quench in Nonequilibrium Luttinger Liquids
Authors:
Stéphane Ngo Dinh,
Dmitry A. Bagrets,
Alexander D. Mirlin
Abstract:
We study the relaxation dynamics of a nonequilibrium Luttinger liquid after a sudden interaction switch-on ("quench"), focussing on a double-step initial momentum distribution function. In the framework of the non-equilibrium bosonization, the results are obtained in terms of singular Fredholm determinants that are evaluated numerically and whose asymptotics are found analytically. While the quasi…
▽ More
We study the relaxation dynamics of a nonequilibrium Luttinger liquid after a sudden interaction switch-on ("quench"), focussing on a double-step initial momentum distribution function. In the framework of the non-equilibrium bosonization, the results are obtained in terms of singular Fredholm determinants that are evaluated numerically and whose asymptotics are found analytically. While the quasi-particle weights decay exponentially with time after the quench, this is not a relaxation into a thermal state, in view of the integrability of the model. The steady-state distribution emerging at infinite times retains two edges which support Luttinger-liquid-like power-law singularities smeared by dephasing. The obtained critical exponents and the dephasing length are found to depend on the initial nonequilibrium state.
△ Less
Submitted 2 October, 2013;
originally announced October 2013.
-
Analytically solvable model of an electronic Mach-Zehnder interferometer
Authors:
Stéphane Ngo Dinh,
Dmitry A. Bagrets,
Alexander D. Mirlin
Abstract:
We consider a class of models of non-equilibrium electronic Mach-Zehnder interferometers built on integer quantum Hall edges states. The models are characterized by the electron-electron interaction being restricted to the inner part of the interferometer and transmission coefficients of the quantum quantum point contacts, defining the interferometer, which may take arbitrary values from zero to o…
▽ More
We consider a class of models of non-equilibrium electronic Mach-Zehnder interferometers built on integer quantum Hall edges states. The models are characterized by the electron-electron interaction being restricted to the inner part of the interferometer and transmission coefficients of the quantum quantum point contacts, defining the interferometer, which may take arbitrary values from zero to one. We establish an exact solution of these models in terms of single-particle quantities --- determinants and resolvents of Fredholm integral operators. In the general situation, the results can be obtained numerically. In the case of strong charging interaction, the operators acquire the block Toeplitz form. Analyzing the corresponding Riemann-Hilbert problem, we reduce the result to certain singular single-channel determinants (which are a generalization of Toeplitz determinants with Fisher-Hartwig singularities), and obtain an analytic result for the interference current (and, in particular, for the visibility of Aharonov-Bohm oscillations). Our results, which are in good agreement with experimental observations, show an intimate connection between the observed "lobe" structure in the visibility of Aharonov-Bohm oscillations and multiple branches in the asymptotics of singular integral determinants.
△ Less
Submitted 12 February, 2013;
originally announced February 2013.
-
Nonequilibrium functional bosonization of quantum wire networks
Authors:
Stephane Ngo Dinh,
Dmitry A. Bagrets,
Alexander D. Mirlin
Abstract:
We develop a general approach to nonequilibrium nanostructures formed by one-dimensional channels coupled by tunnel junctions and/or by impurity scattering. The formalism is based on nonequilibrium version of functional bosonization. A central role in this approach is played by the Keldysh action that has a form reminiscent of the theory of full counting statistics. To proceed with evaluation of p…
▽ More
We develop a general approach to nonequilibrium nanostructures formed by one-dimensional channels coupled by tunnel junctions and/or by impurity scattering. The formalism is based on nonequilibrium version of functional bosonization. A central role in this approach is played by the Keldysh action that has a form reminiscent of the theory of full counting statistics. To proceed with evaluation of physical observables, we assume the weak-tunneling regime and develop a real-time instanton method. A detailed exposition of the formalism is supplemented by two important applications: (i) tunneling into a biased Luttinger liquid with an impurity, and (ii) quantum-Hall Fabry-Perot interferometry.
△ Less
Submitted 15 May, 2012;
originally announced May 2012.
-
Influence of Coulomb interaction on the Aharonov-Bohm effect in an electronic Fabry-Perot interferometer
Authors:
Stephane Ngo Dinh,
Dmitry A. Bagrets
Abstract:
We study the role of Coulomb interaction in an electronic Fabry-Perot interferometer (FPI) realized with chiral edge states in the integer quantum Hall regime in the limit of weak backscattering. Assuming that a compressible Coulomb island in a bulk region of the FPI is formed, we develop a capacitance model which explains the plethora of experimental data on the flux and gate periodicity of condu…
▽ More
We study the role of Coulomb interaction in an electronic Fabry-Perot interferometer (FPI) realized with chiral edge states in the integer quantum Hall regime in the limit of weak backscattering. Assuming that a compressible Coulomb island in a bulk region of the FPI is formed, we develop a capacitance model which explains the plethora of experimental data on the flux and gate periodicity of conductance oscillations. It is also shown that a suppression of finite-bias visibility stems from a combination of weak Coulomb blockade and a nonequilibrium dephasing by the quantum shot noise.
△ Less
Submitted 22 June, 2011;
originally announced June 2011.
-
Tunneling into Nonequilibrium Luttinger Liquid with Impurity
Authors:
Stéphane Ngo Dinh,
Dmitry A. Bagrets,
Alexander D. Mirlin
Abstract:
We evaluate tunneling rates into/from a voltage biased quantum wire containing weak backscattering defect. Interacting electrons in such a wire form a true nonequilibrium state of the Luttinger liquid (LL). This state is created due to inelastic electron backscattering leading to the emission of nonequilibrium plasmons with typical frequency $\hbar ω\leq U$. The tunneling rates are split into tw…
▽ More
We evaluate tunneling rates into/from a voltage biased quantum wire containing weak backscattering defect. Interacting electrons in such a wire form a true nonequilibrium state of the Luttinger liquid (LL). This state is created due to inelastic electron backscattering leading to the emission of nonequilibrium plasmons with typical frequency $\hbar ω\leq U$. The tunneling rates are split into two edges. The tunneling exponent at the Fermi edge is positive and equals that of the equilibrium LL, while the exponent at the side edge $E_F-U$ is negative if Coulomb interaction is not too strong.
△ Less
Submitted 20 October, 2009;
originally announced October 2009.