-
Lower eigenvalue bounds with hybrid high-order methods
Authors:
Ngoc Tien Tran
Abstract:
This paper proposes hybrid high-order eigensolvers for the computation of guaranteed lower eigenvalue bounds. These bounds display higher order convergence rates and are accessible to adaptive mesh-refining algorithms. The involved constants arise from local embeddings and are available for all polynomial degrees. Applications include the linear elasticity and Steklov eigenvalue problem.
This paper proposes hybrid high-order eigensolvers for the computation of guaranteed lower eigenvalue bounds. These bounds display higher order convergence rates and are accessible to adaptive mesh-refining algorithms. The involved constants arise from local embeddings and are available for all polynomial degrees. Applications include the linear elasticity and Steklov eigenvalue problem.
△ Less
Submitted 12 June, 2024; v1 submitted 10 June, 2024;
originally announced June 2024.
-
The Landau--Lifshitz--Bloch equation: Unique existence and finite element approximation
Authors:
Kim-Ngan Le,
Agus L. Soenjaya,
Thanh Tran
Abstract:
The Landau--Lifshitz--Bloch equation (LLBE) describes the evolution of magnetic spin field in a ferromagnet at high temperatures. We consider a viscous (pseudo-parabolic) regularisation of the LLBE for temperatures higher than the Curie temperature, which we call the $ε$-LLBE. Variants of the $ε$-LLBE are applicable to model pattern formation, phase transition, and heat conduction for non-simple m…
▽ More
The Landau--Lifshitz--Bloch equation (LLBE) describes the evolution of magnetic spin field in a ferromagnet at high temperatures. We consider a viscous (pseudo-parabolic) regularisation of the LLBE for temperatures higher than the Curie temperature, which we call the $ε$-LLBE. Variants of the $ε$-LLBE are applicable to model pattern formation, phase transition, and heat conduction for non-simple materials, among other things. In this paper, we show well-posedness of the $ε$-LLBE and the convergence of the solution $\boldsymbol{u}^ε$ of the regularised equation to the solution $\boldsymbol{u}$ of the LLBE as $ε\to 0^+$. As a by-product of our analysis, we show the existence and uniqueness of regular solution to the LLBE for temperatures higher than the Curie temperature. Furthermore, we propose a linear fully discrete conforming finite element scheme to approximate the solution of the $ε$-LLBE. Error analysis is performed to show unconditional stability and optimal uniform-in-time convergence rate for the schemes. Several numerical simulations corroborate our theoretical results.
△ Less
Submitted 9 June, 2024;
originally announced June 2024.
-
The stochastic Landau--Lifshitz--Baryakhtar equation: Global solution and invariant measure
Authors:
Beniamin Goldys,
Agus L. Soenjaya,
Thanh Tran
Abstract:
The Landau--Lifshitz--Baryakhtar (LLBar) equation perturbed by a space-dependent noise is a system of fourth order stochastic PDEs which models the evolution of magnetic spin fields in ferromagnetic materials at elevated temperatures, taking into account longitudinal dam**, long-range interactions, and noise-induced phenomena at high temperatures. In this paper, we show the existence of a martin…
▽ More
The Landau--Lifshitz--Baryakhtar (LLBar) equation perturbed by a space-dependent noise is a system of fourth order stochastic PDEs which models the evolution of magnetic spin fields in ferromagnetic materials at elevated temperatures, taking into account longitudinal dam**, long-range interactions, and noise-induced phenomena at high temperatures. In this paper, we show the existence of a martingale solution (which is analytically strong) to the stochastic LLBar equation posed in a bounded domain $\mathscr{D}\subset \mathbb{R}^d$, where $d=1,2,3$. We also prove pathwise uniqueness of the solution, which implies the existence of a unique probabilistically strong solution. Finally, we show the Feller property of the Markov semigroup associated with the strong solution, which implies the existence of invariant measures.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Mahonian Statistics and Vincular Patterns on Permutations over Multisets
Authors:
Lien T. P. Ta,
Huong T. T. Tran
Abstract:
Most Mahonian statistics can be expressed as a linear combination of vincular patterns. This is not only true with statistics on the permutation set, but it can also be applied for statistics on the permutation with repetition set. By following the method extending the vincular patterns combinations presented by Kitaev and Vajnovszki, we discover 8 vincular-patterns combinations of mad and madl ex…
▽ More
Most Mahonian statistics can be expressed as a linear combination of vincular patterns. This is not only true with statistics on the permutation set, but it can also be applied for statistics on the permutation with repetition set. By following the method extending the vincular patterns combinations presented by Kitaev and Vajnovszki, we discover 8 vincular-patterns combinations of mad and madl extensions that are possible to be Mahonian. Some of these have been proved to be Mahonian on repetitive permutations by Clarke, Steingrimsson and Zeng, while the rest are new statistics extensions. In this thesis, we determine combinations of vincular pattern extension of mad and madl in Clarke, Steingrimsson and Zeng s paper, which have been proved to be Mahonian on the repetitive permutations. This result will be used to support the proof of Mahonity of the new statistics extensions. We show that these new statistics extensions are also Mahonian by constructing an involution Φ on repetitive permutations, which preserves the descents statistics and transforms new statistics extensions to Mahonian mad and madl extensions of Clarke.
△ Less
Submitted 14 May, 2024;
originally announced May 2024.
-
The Riemann hypothesis and dynamics of Backtracking New Q-Newton's method
Authors:
Thuan Quang Tran,
Tuyen Trung Truong
Abstract:
A new variant of Newton's method - named Backtracking New Q-Newton's method (BNQN) - was recently introduced by the second author. This method has good global convergence guarantees, specially concerning finding roots of meromorphic functions. This paper explores using BNQN for the Riemann xi function. We show in particular that the Riemann hypothesis is equivalent to that all attractors of BNQN l…
▽ More
A new variant of Newton's method - named Backtracking New Q-Newton's method (BNQN) - was recently introduced by the second author. This method has good global convergence guarantees, specially concerning finding roots of meromorphic functions. This paper explores using BNQN for the Riemann xi function. We show in particular that the Riemann hypothesis is equivalent to that all attractors of BNQN lie on the critical line. We also explain how an apparent relation between the basins of attraction of BNQN and Voronoi's diagram can be helpful for verifying the Riemann hypothesis or finding a counterexample to it. Some illustrating experimental results are included, which convey some interesting phenomena. The experiments show that BNQN works very stably with highly transcendental functions like the Riemann xi function and its derivatives. Based on insights from the experiments, we discuss some concrete steps on using BNQN towards the Riemann hypothesis, by combining with de Bruijn -Newman's constant. Ideas and results from this paper can be extended to other zeta functions.
△ Less
Submitted 5 June, 2024; v1 submitted 9 May, 2024;
originally announced May 2024.
-
Locking-free hybrid high-order method for linear elasticity
Authors:
Carsten Carstensen,
Ngoc Tien Tran
Abstract:
The hybrid-high order (HHO) scheme has many successful applications including linear elasticity as the first step towards computational solid mechanics. The striking advantage is the simplicity among other higher-order nonconforming schemes and its geometric flexibility as a polytopal method on the expanse of a parameter-free refined stabilization. The classical suggestion of a locking-free HHO di…
▽ More
The hybrid-high order (HHO) scheme has many successful applications including linear elasticity as the first step towards computational solid mechanics. The striking advantage is the simplicity among other higher-order nonconforming schemes and its geometric flexibility as a polytopal method on the expanse of a parameter-free refined stabilization. The classical suggestion of a locking-free HHO discretization requires a split of the the reconstruction terms with an additional reconstruction of the divergence operator that might be motivated by the Stokes equations for the robust approximation in the incompressible limit, when one Lamé parameter $λ\to\infty$ becomes very large. This paper utilizes just one reconstruction operator for the linear Green strain and therefore does not rely on a split in deviatoric and spherical behavior. The a priori error analysis provides quasi-best approximation with $λ$-independent equivalence constants. The reliable and (up to data oscillations) efficient a posteriori error estimates are stabilization-free and $λ$-robust. The error analysis is carried out on simplicial meshes to allow conforming piecewise polynomials finite elements in the kernel of the stabilization terms. Numerical benchmarks provide empirical evidence for optimal convergence rates of the a posteriori error estimator in some associated adaptive mesh-refining algorithm also in the incompressible limit.
△ Less
Submitted 3 April, 2024;
originally announced April 2024.
-
Adaptive hybrid high-order method for guaranteed lower eigenvalue bounds
Authors:
Carsten Carstensen,
Benedikt Gräßle,
Ngoc Tien Tran
Abstract:
The higher-order guaranteed lower eigenvalue bounds of the Laplacian in the recent work by Carstensen, Ern, and Puttkammer [Numer. Math. 149, 2021] require a parameter $C_{\mathrm{st},1}$ that is found $\textit{not}$ robust as the polynomial degree $p$ increases. This is related to the $H^1$ stability bound of the $L^2$ projection onto polynomials of degree at most $p$ and its growth…
▽ More
The higher-order guaranteed lower eigenvalue bounds of the Laplacian in the recent work by Carstensen, Ern, and Puttkammer [Numer. Math. 149, 2021] require a parameter $C_{\mathrm{st},1}$ that is found $\textit{not}$ robust as the polynomial degree $p$ increases. This is related to the $H^1$ stability bound of the $L^2$ projection onto polynomials of degree at most $p$ and its growth $C_{\rm st, 1}\propto (p+1)^{1/2}$ as $p \to \infty$. A similar estimate for the Galerkin projection holds with a $p$-robust constant $C_{\mathrm{st},2}$ and $C_{\mathrm{st},2} \le 2$ for right-isosceles triangles. This paper utilizes the new inequality with the constant $C_{\mathrm{st},2}$ to design a modified hybrid high-order (HHO) eigensolver that directly computes guaranteed lower eigenvalue bounds under the idealized hypothesis of exact solve of the generalized algebraic eigenvalue problem and a mild explicit condition on the maximal mesh-size in the simplicial mesh. A key advance is a $p$-robust parameter selection.
The analysis of the new method with a different fine-tuned volume stabilization allows for a priori quasi-best approximation and improved $L^2$ error estimates as well as a stabilization-free reliable and efficient a posteriori error control. The associated adaptive mesh-refining algorithm performs superior in computer benchmarks with striking numerical evidence for optimal higher empirical convergence rates.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
Worpitzky-compatible sets and the freeness of arrangements between Shi and Catalan
Authors:
Takuro Abe,
Tan Nhat Tran
Abstract:
Given an irreducible root system, the Worpitzky-compatible subsets are defined by a geometric property of the alcoves inside the fundamental parallelepiped of the root system. This concept is motivated and mainly understood through a lattice point counting formula concerning the characteristic and Ehrhart quasi-polynomials. In this paper, we show that the Worpitzky-compatibility has a simple combi…
▽ More
Given an irreducible root system, the Worpitzky-compatible subsets are defined by a geometric property of the alcoves inside the fundamental parallelepiped of the root system. This concept is motivated and mainly understood through a lattice point counting formula concerning the characteristic and Ehrhart quasi-polynomials. In this paper, we show that the Worpitzky-compatibility has a simple combinatorial characterization in terms of roots. As a byproduct, we obtain a complete characterization by means of Worpitzky-compatibility for the freeness of the arrangements interpolating between the extended Shi and Catalan arrangements. This is a completion of the earlier result by Yoshinaga in 2010 which was done for simply-laced root systems.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
Shuffling Momentum Gradient Algorithm for Convex Optimization
Authors:
Trang H. Tran,
Quoc Tran-Dinh,
Lam M. Nguyen
Abstract:
The Stochastic Gradient Descent method (SGD) and its stochastic variants have become methods of choice for solving finite-sum optimization problems arising from machine learning and data science thanks to their ability to handle large-scale applications and big datasets. In the last decades, researchers have made substantial effort to study the theoretical performance of SGD and its shuffling vari…
▽ More
The Stochastic Gradient Descent method (SGD) and its stochastic variants have become methods of choice for solving finite-sum optimization problems arising from machine learning and data science thanks to their ability to handle large-scale applications and big datasets. In the last decades, researchers have made substantial effort to study the theoretical performance of SGD and its shuffling variants. However, only limited work has investigated its shuffling momentum variants, including shuffling heavy-ball momentum schemes for non-convex problems and Nesterov's momentum for convex settings. In this work, we extend the analysis of the shuffling momentum gradient method developed in [Tran et al (2021)] to both finite-sum convex and strongly convex optimization problems. We provide the first analysis of shuffling momentum-based methods for the strongly convex setting, attaining a convergence rate of $O(1/nT^2)$, where $n$ is the number of samples and $T$ is the number of training epochs. Our analysis is a state-of-the-art, matching the best rates of existing shuffling stochastic gradient algorithms in the literature.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
A gradient flow method for smooth splines versus least-squares fitting on Riemannian manifolds
Authors:
Chun-Chi Lin,
The Dung Tran
Abstract:
This article presents a novel resolution to the problem of spline interpolation versus least-squares fitting on smooth Riemannian manifolds utilizing the method of gradient flows of networks. This approach represents a contribution to both geometric control theory and statistical shape data analysis. Our work encompasses a rigorous proof for the existence of global solutions in Hölder spaces for t…
▽ More
This article presents a novel resolution to the problem of spline interpolation versus least-squares fitting on smooth Riemannian manifolds utilizing the method of gradient flows of networks. This approach represents a contribution to both geometric control theory and statistical shape data analysis. Our work encompasses a rigorous proof for the existence of global solutions in Hölder spaces for the gradient flow. The asymptotic limits of these solutions establish the existence of the spline interpolation versus least-squares fitting problem on smooth Riemannian manifolds, offering a comprehensive solution. Notably, the constructive nature of the proof suggests potential numerical schemes for finding solutions.
△ Less
Submitted 29 May, 2024; v1 submitted 28 February, 2024;
originally announced February 2024.
-
Proximal Algorithms for a class of abstract convex functions
Authors:
Ewa Bednarczuk,
Dirk Lorenz,
The Hung Tran
Abstract:
In this paper we analyze a class of nonconvex optimization problem from the viewpoint of abstract convexity. Using the respective generalizations of the subgradient we propose an abstract notion proximal operator and derive a number of algorithms, namely an abstract proximal point method, an abstract forward-backward method and an abstract projected subgradient method. Global convergence results f…
▽ More
In this paper we analyze a class of nonconvex optimization problem from the viewpoint of abstract convexity. Using the respective generalizations of the subgradient we propose an abstract notion proximal operator and derive a number of algorithms, namely an abstract proximal point method, an abstract forward-backward method and an abstract projected subgradient method. Global convergence results for all algorithms are discussed and numerical examples are given
△ Less
Submitted 28 February, 2024; v1 submitted 26 February, 2024;
originally announced February 2024.
-
Stochastic ISTA/FISTA Adaptive Step Search Algorithms for Convex Composite Optimization
Authors:
Lam M. Nguyen,
Katya Scheinberg,
Trang H. Tran
Abstract:
We develop and analyze stochastic variants of ISTA and a full backtracking FISTA algorithms [Beck and Teboulle, 2009, Scheinberg et al., 2014] for composite optimization without the assumption that stochastic gradient is an unbiased estimator. This work extends analysis of inexact fixed step ISTA/FISTA in [Schmidt et al., 2011] to the case of stochastic gradient estimates and adaptive step-size pa…
▽ More
We develop and analyze stochastic variants of ISTA and a full backtracking FISTA algorithms [Beck and Teboulle, 2009, Scheinberg et al., 2014] for composite optimization without the assumption that stochastic gradient is an unbiased estimator. This work extends analysis of inexact fixed step ISTA/FISTA in [Schmidt et al., 2011] to the case of stochastic gradient estimates and adaptive step-size parameter chosen by backtracking. It also extends the framework for analyzing stochastic line-search method in [Cartis and Scheinberg, 2018] to the proximal gradient framework as well as to the accelerated first order methods.
△ Less
Submitted 23 February, 2024;
originally announced February 2024.
-
Graph with any rational density and no rich subsets of linear size
Authors:
Seonghyuk Im,
Suyun Jiang,
Hong Liu,
Tuan Tran
Abstract:
A well-known application of the dependent random choice asserts that any $n$-vertex graph $G$ with positive edge density contains a `rich' vertex subset $U$ of size $n^{1-o(1)}$ such that every pair of vertices in $U$ has at least $n^{1-o(1)}$ common neighbors. In 2003, using a beautiful construction on hypercube, Kostochka and Sudakov showed that this is tight: one cannot remove the $o(1)$ terms…
▽ More
A well-known application of the dependent random choice asserts that any $n$-vertex graph $G$ with positive edge density contains a `rich' vertex subset $U$ of size $n^{1-o(1)}$ such that every pair of vertices in $U$ has at least $n^{1-o(1)}$ common neighbors. In 2003, using a beautiful construction on hypercube, Kostochka and Sudakov showed that this is tight: one cannot remove the $o(1)$ terms even if the edge density of $G$ is $1/2$. In this paper, we generalize their result from pairs to tuples. To be precise, we show that given every pair of positive integers $p<q$, there is an $n$-vertex graph $G$ for all sufficiently large $n$ with edge density $p/q$ such that any vertex subset $U$ of size $Ω(n)$ contains $q$ vertices, any $p+1$ of which have $o(n)$ common neighbors. The edge density $p/q$ is best possible. Our construction uses isoperimetry and concentration of measure on high dimensional complex spheres.
△ Less
Submitted 22 February, 2024; v1 submitted 21 February, 2024;
originally announced February 2024.
-
High-order QMC nonconforming FEMs for nearly incompressible planar stochastic elasticity equations
Authors:
J. Dick,
T. Le Gia,
W. McLean,
K. Mustapha,
T. Tran
Abstract:
In a recent work (Dick et al, arXiv:2310.06187), we considered a linear stochastic elasticity equation with random Lamé parameters which are parameterized by a countably infinite number of terms in separate expansions. We estimated the expected values over the infinite dimensional parametric space of linear functionals ${\mathcal L}$ acting on the continuous solution $\vu$ of the elasticity equati…
▽ More
In a recent work (Dick et al, arXiv:2310.06187), we considered a linear stochastic elasticity equation with random Lamé parameters which are parameterized by a countably infinite number of terms in separate expansions. We estimated the expected values over the infinite dimensional parametric space of linear functionals ${\mathcal L}$ acting on the continuous solution $\vu$ of the elasticity equation. This was achieved by truncating the expansions of the random parameters, then using a high-order quasi-Monte Carlo (QMC) method to approximate the high dimensional integral combined with the conforming Galerkin finite element method (FEM) to approximate the displacement over the physical domain $Ω.$ In this work, as a further development of aforementioned article, we focus on the case of a nearly incompressible linear stochastic elasticity equation. To serve this purpose, in the presence of stochastic inhomogeneous (variable Lamé parameters) nearly compressible material, we develop a new locking-free symmetric nonconforming Galerkin FEM that handles the inhomogeneity. In the case of nearly incompressible material, one known important advantage of nonconforming approximations is that they yield optimal order convergence rates that are uniform in the Poisson coefficient. Proving the convergence of the nonconforming FEM leads to another challenge that is summed up in showing the needed regularity properties of $\vu$. For the error estimates from the high-order QMC method, which is needed to estimate the expected value over the infinite dimensional parametric space of ${\mathcal L}\vu,$ we %rely on (Dick et al. 2022). We are required here to show certain regularity properties of $\vu$ with respect to the random coefficients. Some numerical results are delivered at the end.
△ Less
Submitted 18 February, 2024;
originally announced February 2024.
-
Approximate packing of independent transversals in locally sparse graphs
Authors:
Debsoumya Chakraborti,
Tuan Tran
Abstract:
Consider a multipartite graph $G$ with maximum degree at most $n-o(n)$, parts $V_1,\ldots,V_k$ have size $|V_i|=n$, and every vertex has at most $o(n)$ neighbors in any part $V_i$. Loh and Sudakov proved that any such $G$ has an independent transversal. They further conjectured that the vertex set of $G$ can be decomposed into pairwise disjoint independent transversals. In the present paper, we re…
▽ More
Consider a multipartite graph $G$ with maximum degree at most $n-o(n)$, parts $V_1,\ldots,V_k$ have size $|V_i|=n$, and every vertex has at most $o(n)$ neighbors in any part $V_i$. Loh and Sudakov proved that any such $G$ has an independent transversal. They further conjectured that the vertex set of $G$ can be decomposed into pairwise disjoint independent transversals. In the present paper, we resolve this conjecture approximately by showing that $G$ contains $n-o(n)$ pairwise disjoint independent transversals. As applications, we give approximate answers to questions of Yuster, and of Fischer, Kühn, and Osthus.
△ Less
Submitted 5 February, 2024;
originally announced February 2024.
-
Higher-order Riemannian splines and the interpolation problem: an approach of gradient flows
Authors:
Chun-Chi Lin,
Dung The Tran
Abstract:
In this paper, we resolve problems of spline interpolation, regardless of whether least-squares fitting is incorporated, on smooth Riemannian manifolds. Our approach leverages the concept of gradient flows for successively connected curves or networks, offering a fresh perspective on addressing such challenges. Notably, this method extends to the problem of spline interpolation on Lie groups, comm…
▽ More
In this paper, we resolve problems of spline interpolation, regardless of whether least-squares fitting is incorporated, on smooth Riemannian manifolds. Our approach leverages the concept of gradient flows for successively connected curves or networks, offering a fresh perspective on addressing such challenges. Notably, this method extends to the problem of spline interpolation on Lie groups, commonly encountered in mechanical optimal control theory formulations, thus contributing to both geometric control theory and statistical shape data analysis. We rigorously establish the existence of global solutions in Hölder spaces for the gradient flow, with the asymptotic limits of these solutions confirming the existence to the problem of spline interpolation. This comprehensive solution underscores the constructive nature of our proof, hinting at potential numerical schemes for discovering solutions.
△ Less
Submitted 5 June, 2024; v1 submitted 16 December, 2023;
originally announced December 2023.
-
One to beat them all: "RYU'' -- a unifying framework for the construction of safe balls
Authors:
Thu-Le Tran,
Clément Elvira,
Hong-Phuong Dang,
Cédric Herzet
Abstract:
In this paper, we put forth a novel framework (named ``RYU'') for the construction of ``safe'' balls, i.e. regions that provably contain the dual solution of a target optimization problem. We concentrate on the standard setup where the cost function is the sum of two terms: a closed, proper, convex Lipschitz-smooth function and a closed, proper, convex function. The RYU framework is shown to gener…
▽ More
In this paper, we put forth a novel framework (named ``RYU'') for the construction of ``safe'' balls, i.e. regions that provably contain the dual solution of a target optimization problem. We concentrate on the standard setup where the cost function is the sum of two terms: a closed, proper, convex Lipschitz-smooth function and a closed, proper, convex function. The RYU framework is shown to generalize or improve upon all the results proposed in the last decade for the considered family of optimization problems.
△ Less
Submitted 1 December, 2023;
originally announced December 2023.
-
Vines and MAT-labeled graphs
Authors:
Hung Manh Tran,
Tan Nhat Tran,
Shuhei Tsujie
Abstract:
The present paper explores a connection between two concepts arising from different fields of mathematics. The first concept, called vine, is a graphical model for dependent random variables. This concept first appeared in a work of Joe (1994), and the formal definition was given later by Cooke (1997). Vines have nowadays become an active research area whose applications can be found in probabilit…
▽ More
The present paper explores a connection between two concepts arising from different fields of mathematics. The first concept, called vine, is a graphical model for dependent random variables. This concept first appeared in a work of Joe (1994), and the formal definition was given later by Cooke (1997). Vines have nowadays become an active research area whose applications can be found in probability theory and uncertainty analysis. The second concept, called MAT-freeness, is a combinatorial property in the theory of freeness of logarithmic derivation modules of hyperplane arrangements. This concept was first studied by Abe-Barakat-Cuntz-Hoge-Terao (2016), and soon afterwards investigated further by Cuntz-M{ü}cksch (2020).
In the particular case of graphic arrangements, the last two authors (2023) recently proved that the MAT-freeness is completely characterized by the existence of certain edge-labeled graphs, called MAT-labeled graphs. In this paper, we first introduce a poset characterization of a vine, the so-called vine. Then we show that, interestingly, there exists an explicit equivalence between the categories of locally regular vines and MAT-labeled graphs. In particular, we obtain an equivalence between the categories of regular vines and MAT-labeled complete graphs.
Several applications will be mentioned to illustrate the interaction between the two concepts. Notably, we give an affirmative answer to a question of Cuntz-M{ü}cksch that MAT-freeness can be characterized by a generalization of the root poset in the case of graphic arrangements.
△ Less
Submitted 23 February, 2024; v1 submitted 29 November, 2023;
originally announced November 2023.
-
Duality Theory on Vector Spaces
Authors:
Dang Van Cuong,
Tuyen Tran
Abstract:
In this paper, we study the Fenchel-Rockafellar duality and the Lagrange duality in the general frame work of vector spaces without topological structures. We utilize the geometric approach, inspired from its successful application by B. S. Mordukhovich and his coauthors in variational and convex analysis (see \cite{CBN21,CBNC,CBNG22,CBNG,m-book,mn-book}). After revisiting coderivative calculus ru…
▽ More
In this paper, we study the Fenchel-Rockafellar duality and the Lagrange duality in the general frame work of vector spaces without topological structures. We utilize the geometric approach, inspired from its successful application by B. S. Mordukhovich and his coauthors in variational and convex analysis (see \cite{CBN21,CBNC,CBNG22,CBNG,m-book,mn-book}). After revisiting coderivative calculus rules and providing the subdifferential maximum rule in vector spaces, we establish conjugate calculus rules under qualifying conditions through the algebraic interior of the function's domains. Then we develop sufficient conditions which guarantee the Fenchel-Rockafellar strong duality. Finally, after deriving some necessary and sufficient conditions for optimal solutions to convex minimization problems, under a Slater condition via the algebraic interior, we then obtain a sufficient condition for the Lagrange strong duality.
△ Less
Submitted 15 January, 2024; v1 submitted 22 November, 2023;
originally announced November 2023.
-
The Boosted DC Algorithm for Clustering with Constraints
Authors:
Tuyen Tran,
Kate Figenschou,
Phan Tu Vuong
Abstract:
This paper aims to investigate the effectiveness of the recently proposed Boosted Difference of Convex functions Algorithm (BDCA) when applied to clustering with constraints and set clustering with constraints problems. This is the first paper to apply BDCA to a problem with nonlinear constraints. We present the mathematical basis for the BDCA and Difference of Convex functions Algorithm (DCA), al…
▽ More
This paper aims to investigate the effectiveness of the recently proposed Boosted Difference of Convex functions Algorithm (BDCA) when applied to clustering with constraints and set clustering with constraints problems. This is the first paper to apply BDCA to a problem with nonlinear constraints. We present the mathematical basis for the BDCA and Difference of Convex functions Algorithm (DCA), along with a penalty method based on distance functions. We then develop algorithms for solving these problems and computationally implement them, with publicly available implementations. We compare old examples and provide new experiments to test the algorithms. We find that the BDCA method converges in fewer iterations than the corresponding DCA-based method. In addition, BDCA yields faster CPU running-times in all tested problems.
△ Less
Submitted 21 October, 2023;
originally announced October 2023.
-
Sparse grid approximation of stochastic parabolic PDEs: The Landau--Lifshitz--Gilbert equation
Authors:
Xin An,
Josef Dick,
Michael Feischl,
Andrea Scaglioni,
Thanh Tran
Abstract:
We show convergence rates for a sparse grid approximation of the distribution of solutions of the stochastic Landau-Lifshitz-Gilbert equation. Beyond being a frequently studied equation in engineering and physics, the stochastic Landau-Lifshitz-Gilbert equation poses many interesting challenges that do not appear simultaneously in previous works on uncertainty quantification: The equation is stron…
▽ More
We show convergence rates for a sparse grid approximation of the distribution of solutions of the stochastic Landau-Lifshitz-Gilbert equation. Beyond being a frequently studied equation in engineering and physics, the stochastic Landau-Lifshitz-Gilbert equation poses many interesting challenges that do not appear simultaneously in previous works on uncertainty quantification: The equation is strongly non-linear, time-dependent, and has a non-convex side constraint. Moreover, the parametrization of the stochastic noise features countably many unbounded parameters and low regularity compared to other elliptic and parabolic problems studied in uncertainty quantification. We use a novel technique to establish uniform holomorphic regularity of the parameter-to-solution map based on a Gronwall-type estimate and the implicit function theorem. This method is very general and based on a set of abstract assumptions. Thus, it can be applied beyond the Landau-Lifshitz-Gilbert equation as well. We demonstrate numerically the feasibility of approximating with sparse grid and show a clear advantage of a multi-level sparse grid scheme.
△ Less
Submitted 13 March, 2024; v1 submitted 17 October, 2023;
originally announced October 2023.
-
Quasi-Monte Carlo sparse grid Galerkin finite element methods for linear elasticity equations with uncertainties
Authors:
J. Dick,
Q. T. Le Gia,
K. Mustapha,
T. Tran
Abstract:
We explore a linear inhomogeneous elasticity equation with random Lamé parameters. The latter are parameterized by a countably infinite number of terms in separated expansions. The main aim of this work is to estimate expected values (considered as an infinite dimensional integral on the parametric space corresponding to the random coefficients) of linear functionals acting on the solution of the…
▽ More
We explore a linear inhomogeneous elasticity equation with random Lamé parameters. The latter are parameterized by a countably infinite number of terms in separated expansions. The main aim of this work is to estimate expected values (considered as an infinite dimensional integral on the parametric space corresponding to the random coefficients) of linear functionals acting on the solution of the elasticity equation. To achieve this, the expansions of the random parameters are truncated, a high-order quasi-Monte Carlo (QMC) is combined with a sparse grid approach to approximate the high dimensional integral, and a Galerkin finite element method (FEM) is introduced to approximate the solution of the elasticity equation over the physical domain. The error estimates from (1) truncating the infinite expansion, (2) the Galerkin FEM, and (3) the QMC sparse grid quadrature rule are all studied. For this purpose, we show certain required regularity properties of the continuous solution with respect to both the parametric and physical variables. To achieve our theoretical regularity and convergence results, some reasonable assumptions on the expansions of the random coefficients are imposed. Finally, some numerical results are delivered.
△ Less
Submitted 4 February, 2024; v1 submitted 9 October, 2023;
originally announced October 2023.
-
Complexity of null dynamical systems and Sauer--Shelah lemmas
Authors:
Guorong Gao,
Jie Ma,
Mingyuan Rong,
Tuan Tran
Abstract:
The topological entropy of a topological dynamical system, introduced in a foundational paper by Adler, Konheim and McAndrew [Trans. Am. Math. Soc., 1965], is a nonnegative number that measures the uncertainty or disorder of the system. Comparing with positive entropy systems, zero entropy systems are much less understood. In order to distinguish between zero entropy systems, Huang and Ye [Adv. Ma…
▽ More
The topological entropy of a topological dynamical system, introduced in a foundational paper by Adler, Konheim and McAndrew [Trans. Am. Math. Soc., 1965], is a nonnegative number that measures the uncertainty or disorder of the system. Comparing with positive entropy systems, zero entropy systems are much less understood. In order to distinguish between zero entropy systems, Huang and Ye [Adv. Math., 2009] introduced the concept of maximal pattern entropy of a topological dynamical system. At the heart of their analysis is a Sauer-Shelah type lemma. In the present paper, we provide a shorter and more conceptual proof of a strengthening of this lemma, and discuss its surprising connection between dynamical system, combinatorics and a recent breakthrough in communication complexity. We also improve one of the main results of Huang and Ye on the maximal pattern entropy of zero-dimensional systems, by proving a new Sauer-Shelah type lemma, which unifies and enhances various extremal results on VC-dimension, Natarajan dimension and Steele dimension.
△ Less
Submitted 11 October, 2023; v1 submitted 8 October, 2023;
originally announced October 2023.
-
On the braid index of a two-bridge knot
Authors:
Masaaki Suzuki,
Anh T. Tran
Abstract:
In this paper, we consider two properties on the braid index of a two-bridge knot. We prove an inequality on the braid indices of two-bridge knots if there exists an epimorphism between their knot groups. Moreover, we provide the average braid index of all two-bridge knots with a given crossing number.
In this paper, we consider two properties on the braid index of a two-bridge knot. We prove an inequality on the braid indices of two-bridge knots if there exists an epimorphism between their knot groups. Moreover, we provide the average braid index of all two-bridge knots with a given crossing number.
△ Less
Submitted 3 October, 2023;
originally announced October 2023.
-
Robust Approximation Algorithms for Non-monotone $k$-Submodular Maximization under a Knapsack Constraint
Authors:
Dung T. K. Ha,
Canh V. Pham,
Tan D. Tran,
Huan X. Hoang
Abstract:
The problem of non-monotone $k$-submodular maximization under a knapsack constraint ($\kSMK$) over the ground set size $n$ has been raised in many applications in machine learning, such as data summarization, information propagation, etc. However, existing algorithms for the problem are facing questioning of how to overcome the non-monotone case and how to fast return a good solution in case of th…
▽ More
The problem of non-monotone $k$-submodular maximization under a knapsack constraint ($\kSMK$) over the ground set size $n$ has been raised in many applications in machine learning, such as data summarization, information propagation, etc. However, existing algorithms for the problem are facing questioning of how to overcome the non-monotone case and how to fast return a good solution in case of the big size of data. This paper introduces two deterministic approximation algorithms for the problem that competitively improve the query complexity of existing algorithms.
Our first algorithm, $\LAA$, returns an approximation ratio of $1/19$ within $O(nk)$ query complexity. The second one, $\RLA$, improves the approximation ratio to $1/5-ε$ in $O(nk)$ queries, where $ε$ is an input parameter.
Our algorithms are the first ones that provide constant approximation ratios within only $O(nk)$ query complexity for the non-monotone objective. They, therefore, need fewer the number of queries than state-of-the-the-art ones by a factor of $Ω(\log n)$.
Besides the theoretical analysis, we have evaluated our proposed ones with several experiments in some instances: Influence Maximization and Sensor Placement for the problem. The results confirm that our algorithms ensure theoretical quality as the cutting-edge techniques and significantly reduce the number of queries.
△ Less
Submitted 21 September, 2023;
originally announced September 2023.
-
Stable $C^1$-conforming finite element methods for the Landau--Lifshitz--Baryakhtar equation
Authors:
Agus L. Soenjaya,
Thanh Tran
Abstract:
The Landau--Lifshitz--Baryakhtar equation describes the evolution of magnetic spin field in magnetic materials at elevated temperature below the Curie temperature, when long-range interactions and longitudinal dynamics are taken into account. We propose two linear fully-discrete $C^1$-conforming methods to solve the problem, namely a semi-implicit Euler method and a semi-implicit BDF method, and s…
▽ More
The Landau--Lifshitz--Baryakhtar equation describes the evolution of magnetic spin field in magnetic materials at elevated temperature below the Curie temperature, when long-range interactions and longitudinal dynamics are taken into account. We propose two linear fully-discrete $C^1$-conforming methods to solve the problem, namely a semi-implicit Euler method and a semi-implicit BDF method, and show that these schemes are unconditionally stable. Error analysis is performed which shows optimal convergence rates in each case. Numerical results corroborate our theoretical results.
△ Less
Submitted 11 September, 2023;
originally announced September 2023.
-
Discrete weak duality of hybrid high-order methods for convex minimization problems
Authors:
Ngoc Tien Tran
Abstract:
This paper derives a discrete dual problem for a prototypical hybrid high-order method for convex minimization problems. The discrete primal and dual problem satisfy a weak convex duality that leads to a priori error estimates with convergence rates under additional smoothness assumptions. This duality holds for general polyhedral meshes and arbitrary polynomial degrees of the discretization. A no…
▽ More
This paper derives a discrete dual problem for a prototypical hybrid high-order method for convex minimization problems. The discrete primal and dual problem satisfy a weak convex duality that leads to a priori error estimates with convergence rates under additional smoothness assumptions. This duality holds for general polyhedral meshes and arbitrary polynomial degrees of the discretization. A novel postprocessing is proposed and allows for a~posteriori error estimates on regular triangulations into simplices using primal-dual techniques. This motivates an adaptive mesh-refining algorithm, which performs superiorly compared to uniform mesh refinements.
△ Less
Submitted 5 April, 2024; v1 submitted 6 August, 2023;
originally announced August 2023.
-
SEEDS: Exponential SDE Solvers for Fast High-Quality Sampling from Diffusion Models
Authors:
Martin Gonzalez,
Nelson Fernandez,
Thuy Tran,
Elies Gherbi,
Hatem Hajri,
Nader Masmoudi
Abstract:
A potent class of generative models known as Diffusion Probabilistic Models (DPMs) has become prominent. A forward diffusion process adds gradually noise to data, while a model learns to gradually denoise. Sampling from pre-trained DPMs is obtained by solving differential equations (DE) defined by the learnt model, a process which has shown to be prohibitively slow. Numerous efforts on speeding-up…
▽ More
A potent class of generative models known as Diffusion Probabilistic Models (DPMs) has become prominent. A forward diffusion process adds gradually noise to data, while a model learns to gradually denoise. Sampling from pre-trained DPMs is obtained by solving differential equations (DE) defined by the learnt model, a process which has shown to be prohibitively slow. Numerous efforts on speeding-up this process have consisted on crafting powerful ODE solvers. Despite being quick, such solvers do not usually reach the optimal quality achieved by available slow SDE solvers. Our goal is to propose SDE solvers that reach optimal quality without requiring several hundreds or thousands of NFEs to achieve that goal. We propose Stochastic Explicit Exponential Derivative-free Solvers (SEEDS), improving and generalizing Exponential Integrator approaches to the stochastic case on several frameworks. After carefully analyzing the formulation of exact solutions of diffusion SDEs, we craft SEEDS to analytically compute the linear part of such solutions. Inspired by the Exponential Time-Differencing method, SEEDS use a novel treatment of the stochastic components of solutions, enabling the analytical computation of their variance, and contains high-order terms allowing to reach optimal quality sampling $\sim3$-$5\times$ faster than previous SDE methods. We validate our approach on several image generation benchmarks, showing that SEEDS outperform or are competitive with previous SDE solvers. Contrary to the latter, SEEDS are derivative and training free, and we fully prove strong convergence guarantees for them.
△ Less
Submitted 26 October, 2023; v1 submitted 23 May, 2023;
originally announced May 2023.
-
A type $B$ analog of Ish arrangement
Authors:
Tan Nhat Tran,
Shuhei Tsujie
Abstract:
The Shi arrangement due to Shi (1986) and the Ish arrangement due to Armstrong (2013) are deformations of the type $A$ Coxeter arrangement that share many common properties. Motivated by a question of Armstrong and Rhoades since 2012 to seek for Ish arrangements of other types, in this paper we introduce an Ish arrangement of type $B$. We study this Ish arrangement through various aspects similar…
▽ More
The Shi arrangement due to Shi (1986) and the Ish arrangement due to Armstrong (2013) are deformations of the type $A$ Coxeter arrangement that share many common properties. Motivated by a question of Armstrong and Rhoades since 2012 to seek for Ish arrangements of other types, in this paper we introduce an Ish arrangement of type $B$. We study this Ish arrangement through various aspects similar to as known in type $A$ with a main emphasis on freeness and supersolvability. Our method is based on the concept of $ψ$-digraphic arrangements recently introduced due to Abe and the authors with a type $B$ extension.
△ Less
Submitted 24 April, 2023;
originally announced April 2023.
-
Inductive and divisional posets
Authors:
Roberto Pagaria,
Maddalena Pismataro,
Tan Nhat Tran,
Lorenzo Vecchi
Abstract:
We call a poset factorable if its characteristic polynomial has all positive integer roots. Inspired by inductive and divisional freeness of a central hyperplane arrangement, we introduce and study the notion of inductive posets and their superclass of divisional posets. It then motivates us to define the so-called inductive and divisional abelian (Lie group) arrangements, whose posets of layers s…
▽ More
We call a poset factorable if its characteristic polynomial has all positive integer roots. Inspired by inductive and divisional freeness of a central hyperplane arrangement, we introduce and study the notion of inductive posets and their superclass of divisional posets. It then motivates us to define the so-called inductive and divisional abelian (Lie group) arrangements, whose posets of layers serve as the main examples of our posets. Our first main result is that every divisional poset is factorable. Our second main result shows that the class of inductive posets contains strictly supersolvable posets, the notion recently introduced due to Bibby and Delucchi (2022). This result can be regarded as an extension of a classical result due to Jambu and Terao (1984), which asserts that every supersolvable hyperplane arrangement is inductively free. Our third main result is an application to toric arrangements, which states that the toric arrangement defined by an arbitrary ideal of a root system of type $A$, $B$ or $C$ with respect to the root lattice is inductive.
△ Less
Submitted 25 April, 2023; v1 submitted 17 April, 2023;
originally announced April 2023.
-
Well-Rounded ideal lattices of cyclic cubic and quartic fields
Authors:
Dat T. Tran,
Nam H. Le,
Ha T. N. Tran
Abstract:
In this paper, we find criteria for when cyclic cubic and cyclic quartic fields have well-rounded ideal lattices. We show that every cyclic cubic field has at least one well-rounded ideal. We also prove that there exist families of cyclic quartic fields which have well-rounded ideals and explicitly construct their minimal bases. In addition, for a given prime number $p$, if a cyclic quartic field…
▽ More
In this paper, we find criteria for when cyclic cubic and cyclic quartic fields have well-rounded ideal lattices. We show that every cyclic cubic field has at least one well-rounded ideal. We also prove that there exist families of cyclic quartic fields which have well-rounded ideals and explicitly construct their minimal bases. In addition, for a given prime number $p$, if a cyclic quartic field has a unique prime ideal above $p$, then we provide the necessary and sufficient conditions for that ideal to be well-rounded. Moreover, in cyclic quartic fields, we provide the prime decomposition of all odd prime numbers and construct an explicit integral basis for every prime ideal.
△ Less
Submitted 13 October, 2023; v1 submitted 29 March, 2023;
originally announced March 2023.
-
Multiplicity of non-acyclic $\operatorname{SL}_2$-representations and L-functions of twisted Whitehead links
Authors:
Léo Bénard,
Ryoto Tange,
Anh T. Tran,
Jun Ueki
Abstract:
We consider a natural divisor on $\operatorname{SL}_2(\mathbb C)$-character varieties of knots and links, given by the so-called acyclic Reidemeister torsion. We provide a geometric interpretation of this divisor. We focus on the particular family of odd twisted Whitehead links, where we show that this divisor has multiplicity two. Moreover, we apply these results to the study of the $L$-functions…
▽ More
We consider a natural divisor on $\operatorname{SL}_2(\mathbb C)$-character varieties of knots and links, given by the so-called acyclic Reidemeister torsion. We provide a geometric interpretation of this divisor. We focus on the particular family of odd twisted Whitehead links, where we show that this divisor has multiplicity two. Moreover, we apply these results to the study of the $L$-functions of the universal deformations of representations over finite fields of twisted Whitehead links.
△ Less
Submitted 28 March, 2023;
originally announced March 2023.
-
Forward-Backward algorithms for weakly convex problems
Authors:
Ewa Bednarczuk,
Giovanni Bruccola,
Gabriele Scrivanti,
The Hung Tran
Abstract:
We investigate the convergence properties of exact and inexact forward-backward algorithms to minimise the sum of two weakly convex functions defined on a Hilbert space, where one has a Lipschitz-continuous gradient. We show that the exact forward-backward algorithm converges strongly to a global solution, provided that the objective function satisfies a sharpness condition. For the inexact forwar…
▽ More
We investigate the convergence properties of exact and inexact forward-backward algorithms to minimise the sum of two weakly convex functions defined on a Hilbert space, where one has a Lipschitz-continuous gradient. We show that the exact forward-backward algorithm converges strongly to a global solution, provided that the objective function satisfies a sharpness condition. For the inexact forward-backward algorithm, the same condition ensures that the distance from the iterates to the solution set approaches a positive threshold depending on the accuracy level of the proximal computations. As an application of the considered setting, we provide numerical experiments related to discrete tomography.
△ Less
Submitted 21 June, 2024; v1 submitted 24 March, 2023;
originally announced March 2023.
-
Real matrices whose columns have equal modulus coordinates
Authors:
Sara Botelho-Andrade,
Peter G. Casazza,
Desai Cheng,
Tin Tran,
Janet Tremain
Abstract:
We study $m \times n$ matrices whose columns are of the form \[\{(a_{1j},\ldots, a_{nj}): \quad a_{1j} = λ_j,\ a_{ij} = \pmλ_j\ , \ λ_j >0 ,\ j=1,2,\ldots,n\}.\]
We explicitly construct for all $a = (a_1,\ldots, a_{\frac{m(m- 1)}{2}}) \in \mathbb{R}^{\frac{m(m-1)}{2}}$ a matrix of the above form whose rows have pairwise dot product equal to $a$. Using Hardamard matrices constructed by Sylvester…
▽ More
We study $m \times n$ matrices whose columns are of the form \[\{(a_{1j},\ldots, a_{nj}): \quad a_{1j} = λ_j,\ a_{ij} = \pmλ_j\ , \ λ_j >0 ,\ j=1,2,\ldots,n\}.\]
We explicitly construct for all $a = (a_1,\ldots, a_{\frac{m(m- 1)}{2}}) \in \mathbb{R}^{\frac{m(m-1)}{2}}$ a matrix of the above form whose rows have pairwise dot product equal to $a$. Using Hardamard matrices constructed by Sylvester we classify all matrices of the above form whose rows have pairwise dot product equal to $a$. We also use our results to reformulate the Hadamard conjecture.
△ Less
Submitted 22 March, 2023;
originally announced March 2023.
-
The size function for imaginary cyclic sextic fields
Authors:
Ha Thanh Nguyen Tran,
Peng Tian,
Amy Feaver
Abstract:
In this paper, we investigate the size function $h^0$ for number fields. This size function is analogous to the dimension of the Riemann-Roch spaces of divisors on an algebraic curve. Van der Geer and Schoof conjectured that $h^0$ attains its maximum at the trivial class of Arakelov divisors. This conjecture was proved for all number fields with unit group of rank 0 and 1, and also for cyclic cubi…
▽ More
In this paper, we investigate the size function $h^0$ for number fields. This size function is analogous to the dimension of the Riemann-Roch spaces of divisors on an algebraic curve. Van der Geer and Schoof conjectured that $h^0$ attains its maximum at the trivial class of Arakelov divisors. This conjecture was proved for all number fields with unit group of rank 0 and 1, and also for cyclic cubic fields which have unit group of rank two. We prove the conjecture also holds for totally imaginary cyclic sextic fields, another class of number fields with unit group of rank two.
△ Less
Submitted 12 February, 2023;
originally announced February 2023.
-
Finite element approximation for uniformly elliptic linear PDE of second order in nondivergence form
Authors:
Ngoc Tien Tran
Abstract:
This paper proposes a novel technique for the approximation of strong solutions $u \in C(\overlineΩ) \cap W^{2,n}_\mathrm{loc}(Ω)$ to uniformly elliptic linear PDE of second order in nondivergence form with continuous leading coefficient in nonsmooth domains by finite element methods. These solutions satisfy the Alexandrov-Bakelman-Pucci (ABP) maximum principle, which provides an a~posteriori erro…
▽ More
This paper proposes a novel technique for the approximation of strong solutions $u \in C(\overlineΩ) \cap W^{2,n}_\mathrm{loc}(Ω)$ to uniformly elliptic linear PDE of second order in nondivergence form with continuous leading coefficient in nonsmooth domains by finite element methods. These solutions satisfy the Alexandrov-Bakelman-Pucci (ABP) maximum principle, which provides an a~posteriori error control for $C^1$ conforming approximations. By minimizing this residual, we obtain an approximation to the solution $u$ in the $L^\infty$ norm. Although discontinuous functions do not satisfy the ABP maximum principle, this approach extends to nonconforming FEM as well thanks to well-established enrichment operators. Convergence of the proposed FEM is established for uniform mesh-refinements. The built-in a~posteriori error control (even for inexact solve) can be utilized in adaptive computations for the approximation of singular solutions, which performs superiorly in the numerical benchmarks in comparison to the uniform mesh-refining algorithm.
△ Less
Submitted 2 February, 2024; v1 submitted 8 February, 2023;
originally announced February 2023.
-
Global solutions of the Landau--Lifshitz--Baryakhtar equation
Authors:
Agus L. Soenjaya,
Thanh Tran
Abstract:
The Landau--Lifshitz--Baryakhtar (LLBar) equation is a generalisation of the Landau--Lifshitz--Gilbert and the Landau--Lifshitz--Bloch equations which takes into account contributions from nonlocal dam** and is valid at moderate temperature below the Curie temperature. Therefore, it is used to explain some discrepancies between the experimental observations and the known theories in various prob…
▽ More
The Landau--Lifshitz--Baryakhtar (LLBar) equation is a generalisation of the Landau--Lifshitz--Gilbert and the Landau--Lifshitz--Bloch equations which takes into account contributions from nonlocal dam** and is valid at moderate temperature below the Curie temperature. Therefore, it is used to explain some discrepancies between the experimental observations and the known theories in various problems on magnonics and magnetic domain-wall dynamics. In this paper, the existence and uniqueness of global weak, strong, and regular solutions to LLBar equation are proven. Hölder continuity of the solution is also discussed.
△ Less
Submitted 29 June, 2023; v1 submitted 5 February, 2023;
originally announced February 2023.
-
Flag-accurate arrangements
Authors:
Paul Mücksch,
Gerhard Roehrle,
Tan Nhat Tran
Abstract:
In [MR21], the first two authors introduced the notion of an accurate arrangement, a particular notion of freeness. In this paper, we consider a special subclass, where the property of accuracy stems from a flag of flats in the intersection lattice of the underlying arrangement. Members of this family are called flag-accurate. One relevance of this new notion is that it entails divisional freeness…
▽ More
In [MR21], the first two authors introduced the notion of an accurate arrangement, a particular notion of freeness. In this paper, we consider a special subclass, where the property of accuracy stems from a flag of flats in the intersection lattice of the underlying arrangement. Members of this family are called flag-accurate. One relevance of this new notion is that it entails divisional freeness. There are a number of important natural classes which are flag-accurate, the most prominent one among them is the one consisting of Coxeter arrangements. This warrants a systematic study which is put forward in the present paper. More specifically, let $\mathscr A$ be a free arrangement of rank $\ell$. Suppose that for every $1\leq d \leq \ell$, the first $d$ exponents of $\mathscr A$ -- when listed in increasing order -- are realized as the exponents of a free restriction of $\mathscr A$ to some intersection of reflecting hyperplanes of $\mathscr A$ of dimension $d$. Following [MR21], we call such an arrangement $\mathscr A$ with this natural property accurate. If in addition the flats involved can be chosen to form a flag, we call $\mathscr A$ flag-accurate. We investigate flag-accuracy among reflection arrangements, extended Shi and extended Catalan arrangements, and further for various families of graphic and digraphic arrangements. We pursue these both from theoretical and computational perspectives. Along the way we present examples of accurate arrangements that are not flag-accurate. The main result of [MR21] shows that MAT-free arrangements are accurate. We provide strong evidence for the conjecture that MAT-freeness actually entails flag-accuracy.
△ Less
Submitted 1 February, 2023;
originally announced February 2023.
-
Stability and guaranteed error control of approximations to the Monge--Ampère equation
Authors:
Dietmar Gallistl,
Ngoc Tien Tran
Abstract:
This paper analyzes a regularization scheme of the Monge--Ampère equation by uniformly elliptic Hamilton--Jacobi--Bellman equations. The main tools are stability estimates in the $L^\infty$ norm from the theory of viscosity solutions which are independent of the regularization parameter $\varepsilon$. They allow for the uniform convergence of the solution $u_\varepsilon$ to the regularized problem…
▽ More
This paper analyzes a regularization scheme of the Monge--Ampère equation by uniformly elliptic Hamilton--Jacobi--Bellman equations. The main tools are stability estimates in the $L^\infty$ norm from the theory of viscosity solutions which are independent of the regularization parameter $\varepsilon$. They allow for the uniform convergence of the solution $u_\varepsilon$ to the regularized problem towards the Alexandrov solution $u$ to the Monge--Ampère equation for any nonnegative $L^n$ right-hand side and continuous Dirichlet data. The main application are guaranteed a posteriori error bounds in the $L^\infty$ norm for continuously differentiable finite element approximations of $u$ or $u_\varepsilon$.
△ Less
Submitted 17 January, 2023;
originally announced January 2023.
-
Calculus rules for proximal ε-subdifferentials and inexact proximity operators for weakly convex functions
Authors:
Ewa Bednarczuk,
Giovanni Bruccola,
Gabriele Scrivanti,
The Hung Tran
Abstract:
We investigate inexact proximity operators for weakly convex functions. To this aim, we derive sum rules for proximal ε-subdifferentials, by incorporating the moduli of weak convexity of the functions into the respective formulas. This allows us to investigate inexact proximity operators for weakly convex functions in terms of proximal ε-subdifferentials.
We investigate inexact proximity operators for weakly convex functions. To this aim, we derive sum rules for proximal ε-subdifferentials, by incorporating the moduli of weak convexity of the functions into the respective formulas. This allows us to investigate inexact proximity operators for weakly convex functions in terms of proximal ε-subdifferentials.
△ Less
Submitted 23 April, 2024; v1 submitted 26 November, 2022;
originally announced November 2022.
-
Remarks on scalable frames
Authors:
Peter G. Casazza,
Laura De Carli,
Tin T. Tran
Abstract:
This paper investigates scalable frame in ${\mathbb R}^n$. We define the reduced diagram matrix of a frame and use it to classify scalability of the frame under some conditions. We give a new approach to the scaling problem by breaking the problem into two smaller ones, each of which is easily solved, giving a simple way to check scaling. Finally, we study the scalability of dual frames.
This paper investigates scalable frame in ${\mathbb R}^n$. We define the reduced diagram matrix of a frame and use it to classify scalability of the frame under some conditions. We give a new approach to the scaling problem by breaking the problem into two smaller ones, each of which is easily solved, giving a simple way to check scaling. Finally, we study the scalability of dual frames.
△ Less
Submitted 20 November, 2022;
originally announced November 2022.
-
Rainbow cycles in properly edge-colored graphs
Authors:
Jaehoon Kim,
Joonkyung Lee,
Hong Liu,
Tuan Tran
Abstract:
We prove that every properly edge-colored $n$-vertex graph with average degree at least $100(\log n)^2$ contains a rainbow cycle, improving upon $(\log n)^{2+o(1)}$ bound due to Tomon. We also prove that every properly colored $n$-vertex graph with at least $10^5 k^2 n^{1+1/k}$ edges contains a rainbow $2k$-cycle, which improves the previous bound $2^{ck^2}n^{1+1/k}$ obtained by Janzer.
Our meth…
▽ More
We prove that every properly edge-colored $n$-vertex graph with average degree at least $100(\log n)^2$ contains a rainbow cycle, improving upon $(\log n)^{2+o(1)}$ bound due to Tomon. We also prove that every properly colored $n$-vertex graph with at least $10^5 k^2 n^{1+1/k}$ edges contains a rainbow $2k$-cycle, which improves the previous bound $2^{ck^2}n^{1+1/k}$ obtained by Janzer.
Our method using homomorphism inequalities and a lopsided regularization lemma also provides a simple way to prove the Erdős--Simonovits supersaturation theorem for even cycles, which may be of independent interest.
△ Less
Submitted 6 November, 2022;
originally announced November 2022.
-
Well-Rounded Twists of Ideal Lattices from Imaginary Quadratic Fields
Authors:
Nam H. Le,
Dat T. Tran,
Ha T. N. Tran
Abstract:
In this paper, we investigate the properties of well-rounded twists of a given ideal lattice of an imaginary quadratic field $K$. We show that every ideal lattice $I$ of $K$ has at least one well-rounded twist lattice. Moreover, we provide an explicit algorithm to compute all well-rounded twists of $I$.
In this paper, we investigate the properties of well-rounded twists of a given ideal lattice of an imaginary quadratic field $K$. We show that every ideal lattice $I$ of $K$ has at least one well-rounded twist lattice. Moreover, we provide an explicit algorithm to compute all well-rounded twists of $I$.
△ Less
Submitted 26 October, 2022;
originally announced October 2022.
-
Uniqueness of the stochastic Keller-Segel model in one dimension
Authors:
Erika Hausenblas,
Debopriya Mukherjee,
Thanh Tran
Abstract:
In a recent paper (J. Differential Equations, 310: 506-554, 2022), the authors proved the existence of martingale solutions to a stochastic version of the classical Patlak-Keller-Segel system in 1 dimension (1D), driven by time-homogeneous spatial Wiener processes. The current paper is a continuation and consists of two results about the stochastic Patlak-Keller-Segel system in 1D. First, we estab…
▽ More
In a recent paper (J. Differential Equations, 310: 506-554, 2022), the authors proved the existence of martingale solutions to a stochastic version of the classical Patlak-Keller-Segel system in 1 dimension (1D), driven by time-homogeneous spatial Wiener processes. The current paper is a continuation and consists of two results about the stochastic Patlak-Keller-Segel system in 1D. First, we establish some additional regularity results of the solutions. The additional regularity is, e.g. important for its numerical modeling. Then, as a second result, we obtain the pathwise uniqueness of the solutions to the stochastic Patlak-Keller-Segel system in 1D. Finally, we conclude the paper with the existence of the strong solution to this system in 1D.
△ Less
Submitted 27 September, 2022;
originally announced September 2022.
-
Shadowing, Generalized hyperbolic and Aluthge transforms
Authors:
Linh T. T. Tran
Abstract:
In this note, we introduce the notion of $r$-homoclinic points. We show that an operator on a Banach space is hyperbolic if and only if it is shadowing and has no nonzero $r$-homoclinic points. We also solve invariant subspace problem (ISP for brevity) for shadowing operators on Banach spaces. Afterwards, we verify that the set of generalized hyperbolic operators is invariant under $λ$-Aluthge tra…
▽ More
In this note, we introduce the notion of $r$-homoclinic points. We show that an operator on a Banach space is hyperbolic if and only if it is shadowing and has no nonzero $r$-homoclinic points. We also solve invariant subspace problem (ISP for brevity) for shadowing operators on Banach spaces. Afterwards, we verify that the set of generalized hyperbolic operators is invariant under $λ$-Aluthge transforms for every $λ\in \left( 0,1 \right)$. Next, the Aluthge iterates of invertible operators converge to hyperbolic operators only if the initial operators are hyperbolic. Finally, we prove that the Aluthge iterates of shifted hyperbolic bilateral weighted shifts diverge and that hyperbolic bilateral weighted shifts with divergent Aluthge iterates exist.
△ Less
Submitted 16 September, 2022; v1 submitted 15 September, 2022;
originally announced September 2022.
-
Duality for Composite Optimization Problem within the Framework of Abstract Convexity
Authors:
The Hung Tran,
Ewa Bednarczuk
Abstract:
We study conjugate and Lagrange dualities for composite optimization problems within the framework of abstract convexity. We provide conditions for zero duality gap in conjugate duality. For Lagrange duality, intersection property is applied to obtain zero duality gap. Connection between Lagrange dual and conjugate dual is also established. Examples related to convex and weakly convex functions ar…
▽ More
We study conjugate and Lagrange dualities for composite optimization problems within the framework of abstract convexity. We provide conditions for zero duality gap in conjugate duality. For Lagrange duality, intersection property is applied to obtain zero duality gap. Connection between Lagrange dual and conjugate dual is also established. Examples related to convex and weakly convex functions are given.
△ Less
Submitted 5 September, 2022;
originally announced September 2022.
-
Stabilization-free HHO a posteriori error control
Authors:
Fleurianne Bertrand,
Carsten Carstensen,
Benedikt Gräßle,
Ngoc Tien Tran
Abstract:
The known a posteriori error analysis of hybrid high-order methods (HHO) treats the stabilization contribution as part of the error and as part of the error estimator for an efficient and reliable error control. This paper circumvents the stabilization contribution on simplicial meshes and arrives at a stabilization-free error analysis with an explicit residual-based a posteriori error estimator f…
▽ More
The known a posteriori error analysis of hybrid high-order methods (HHO) treats the stabilization contribution as part of the error and as part of the error estimator for an efficient and reliable error control. This paper circumvents the stabilization contribution on simplicial meshes and arrives at a stabilization-free error analysis with an explicit residual-based a posteriori error estimator for adaptive mesh-refining as well as an equilibrium-based guaranteed upper error bound (GUB). Numerical evidence in a Poisson model problem supports that the GUB leads to realistic upper bounds for the displacement error in the piecewise energy norm. The adaptive mesh-refining algorithm associated to the explicit residual-based a posteriori error estimator recovers the optimal convergence rates in computational benchmarks.
△ Less
Submitted 24 July, 2023; v1 submitted 3 July, 2022;
originally announced July 2022.
-
Finding Optimal Policy for Queueing Models: New Parameterization
Authors:
Trang H. Tran,
Lam M. Nguyen,
Katya Scheinberg
Abstract:
Queueing systems appear in many important real-life applications including communication networks, transportation and manufacturing systems. Reinforcement learning (RL) framework is a suitable model for the queueing control problem where the underlying dynamics are usually unknown and the agent receives little information from the environment to navigate. In this work, we investigate the optimizat…
▽ More
Queueing systems appear in many important real-life applications including communication networks, transportation and manufacturing systems. Reinforcement learning (RL) framework is a suitable model for the queueing control problem where the underlying dynamics are usually unknown and the agent receives little information from the environment to navigate. In this work, we investigate the optimization aspects of the queueing model as a RL environment and provide insight to learn the optimal policy efficiently. We propose a new parameterization of the policy by using the intrinsic properties of queueing network systems. Experiments show good performance of our methods with various load conditions from light to heavy traffic.
△ Less
Submitted 20 June, 2022;
originally announced June 2022.
-
On the Convergence to a Global Solution of Shuffling-Type Gradient Algorithms
Authors:
Lam M. Nguyen,
Trang H. Tran
Abstract:
Stochastic gradient descent (SGD) algorithm is the method of choice in many machine learning tasks thanks to its scalability and efficiency in dealing with large-scale problems. In this paper, we focus on the shuffling version of SGD which matches the mainstream practical heuristics. We show the convergence to a global solution of shuffling SGD for a class of non-convex functions under over-parame…
▽ More
Stochastic gradient descent (SGD) algorithm is the method of choice in many machine learning tasks thanks to its scalability and efficiency in dealing with large-scale problems. In this paper, we focus on the shuffling version of SGD which matches the mainstream practical heuristics. We show the convergence to a global solution of shuffling SGD for a class of non-convex functions under over-parameterized settings. Our analysis employs more relaxed non-convex assumptions than previous literature. Nevertheless, we maintain the desired computational complexity as shuffling SGD has achieved in the general convex setting.
△ Less
Submitted 25 October, 2023; v1 submitted 12 June, 2022;
originally announced June 2022.
-
Orientations and cycles in supersingular isogeny graphs
Authors:
Sarah Arpin,
Mingjie Chen,
Kristin E. Lauter,
Renate Scheidler,
Katherine E. Stange,
Ha T. N. Tran
Abstract:
The paper concerns several theoretical aspects of oriented supersingular $\ell$-isogeny volcanoes and their relationship to closed walks in the supersingular $\ell$-isogeny graph. Our main result is a bijection between the rims of the union of all oriented supersingular $\ell$-isogeny volcanoes over $\overline{\mathbb{F}}_p$ (up to conjugation of the orientations), and isogeny cycles (non-backtrac…
▽ More
The paper concerns several theoretical aspects of oriented supersingular $\ell$-isogeny volcanoes and their relationship to closed walks in the supersingular $\ell$-isogeny graph. Our main result is a bijection between the rims of the union of all oriented supersingular $\ell$-isogeny volcanoes over $\overline{\mathbb{F}}_p$ (up to conjugation of the orientations), and isogeny cycles (non-backtracking closed walks which are not powers of smaller walks) of the supersingular $\ell$-isogeny graph over $\overline{\mathbb{F}}_p$. The exact proof and statement of this bijection are made more intricate by special behaviours arising from extra automorphisms and the ramification of $p$ in certain quadratic orders. We use the bijection to count isogeny cycles of given length in the supersingular $\ell$-isogeny graph exactly as a sum of class numbers of these orders, and also give an explicit upper bound by estimating the class numbers.
△ Less
Submitted 4 December, 2022; v1 submitted 8 May, 2022;
originally announced May 2022.