-
Asymptotically accurate and locking-free finite element implementation of the refined shell theory
Authors:
Khanh Chau Le,
Hoang-Giang Bui
Abstract:
A formulation of the 2D refined shell theory incorporating transverse shear in the rescaled coordinates and angles of rotation is considered. This novel approach provides the first asymptotically accurate and inherently locking-free finite element implementation. Numerical simulations of semi-cylindrical shells demonstrate excellent agreement between the analytical solution, the 2D refined shell t…
▽ More
A formulation of the 2D refined shell theory incorporating transverse shear in the rescaled coordinates and angles of rotation is considered. This novel approach provides the first asymptotically accurate and inherently locking-free finite element implementation. Numerical simulations of semi-cylindrical shells demonstrate excellent agreement between the analytical solution, the 2D refined shell theory, and three-dimensional elasticity theory, validating the effectiveness and accuracy of the method.
△ Less
Submitted 30 March, 2025;
originally announced March 2025.
-
Convex Analysis in Spectral Decomposition Systems
Authors:
Hòa T. Bùi,
Minh N. Bùi,
Christian Clason
Abstract:
This work is concerned with convex analysis of so-called spectral functions of matrices that only depend on eigenvalues of the matrix. An abstract framework of spectral decomposition systems is proposed that covers a wide range of previously studied settings, including eigenvalue decomposition of Hermitian matrices and singular value decomposition of rectangular matrices and allows deriving new re…
▽ More
This work is concerned with convex analysis of so-called spectral functions of matrices that only depend on eigenvalues of the matrix. An abstract framework of spectral decomposition systems is proposed that covers a wide range of previously studied settings, including eigenvalue decomposition of Hermitian matrices and singular value decomposition of rectangular matrices and allows deriving new results in more general settings such as Euclidean Jordan algebras. The main results characterize convexity, lower semicontinuity, Fenchel conjugates, convex subdifferentials, and Bregman proximity operators of spectral functions in terms of the reduced functions. As a byproduct, a generalization of the Ky Fan majorization theorem is obtained.
△ Less
Submitted 19 March, 2025;
originally announced March 2025.
-
Design of Targeted Community-Based Resource Allocation in the Presence of Vaccine Hesitancy via a Data-Driven Compartmental Stochastic Optimization Model
Authors:
Hieu Bui,
Sandra Eksioglu,
Ruben Proano,
Haoming Shen
Abstract:
Vaccines have proven effective in mitigating the threat of severe infections and deaths during outbreaks of infectious diseases. However, vaccine hesitancy (VH) complicates disease spread prediction and healthcare resource assessment across regions and populations. We propose a modeling framework that integrates an epidemiological compartmental model that captures the spread of an infectious disea…
▽ More
Vaccines have proven effective in mitigating the threat of severe infections and deaths during outbreaks of infectious diseases. However, vaccine hesitancy (VH) complicates disease spread prediction and healthcare resource assessment across regions and populations. We propose a modeling framework that integrates an epidemiological compartmental model that captures the spread of an infectious disease within a multi-stage stochastic program (MSP) that determines the allocation of critical resources under uncertainty. The proposed compartmental MSP model adaptively manages the allocation of resources to account for changes in population behavior toward vaccines (i.e., variability in VH), the unique patterns of disease spread, and the availability of healthcare resources over time and space. The compartmental MSP model allowed us to analyze the price of fairness in resource allocation. Using real COVID-19 vaccination and healthcare resource data from Arkansas, U.S. (January-May 2021), our findings include: (i) delaying the initial deployment of additional ventilators by one month could lead to an average increase in the expected number of deaths by 285.41/month, highlighting the importance of prompt action; (ii) each additional ventilator in the initial stockpile and in supply leads to a decrease in the expected number of deaths by 1.09/month and 0.962/month, respectively, emphasizing the importance of maintaining a large stockpile and scalable production response; (iii) the cost of ensuring equitable resource allocation varies over time and location, peaking during the peak of a disease outbreak and in densely populated areas. This study emphasizes the importance of flexible, informed public health decision-making and preparedness, providing a model for effective resource allocation in public health emergencies.
△ Less
Submitted 8 May, 2024;
originally announced May 2024.
-
Correspondence theorems for infinite Hopf-Galois extensions
Authors:
Hoan-Phung Bui,
Joost Vercruysse,
Gabor Wiese
Abstract:
This paper extends Hopf-Galois theory to infinite field extensions and provides a natural definition of subextensions. For separable (possibly infinite) Hopf-Galois extensions, it provides a Galois correspondence. This correspondence also is a refinement of what was known in the case of finite separable Hopf-Galois extensions.
This paper extends Hopf-Galois theory to infinite field extensions and provides a natural definition of subextensions. For separable (possibly infinite) Hopf-Galois extensions, it provides a Galois correspondence. This correspondence also is a refinement of what was known in the case of finite separable Hopf-Galois extensions.
△ Less
Submitted 10 April, 2024;
originally announced April 2024.
-
Evaluating the Impact of Vaccine Hesitancy on the Allocation of Vital Resources During COVID-19 Pandemic
Authors:
Hieu Bui,
Sandra Eksioglu,
Ruben Proano
Abstract:
The COVID-19 pandemic highlighted significant challenges in the allocation of vital healthcare resources. Existing epidemiological models, specifically compartmental models, aimed to predict the spread of the COVID-19 virus and its impact on the population, but they overlooked the influence of \ac{VH} on disease dynamics, including the expected number of hospitalizations and fatalities. We propose…
▽ More
The COVID-19 pandemic highlighted significant challenges in the allocation of vital healthcare resources. Existing epidemiological models, specifically compartmental models, aimed to predict the spread of the COVID-19 virus and its impact on the population, but they overlooked the influence of \ac{VH} on disease dynamics, including the expected number of hospitalizations and fatalities. We propose improvements to the \ac{SEIR} model for COVID-19 by incorporating the influence of vaccination, \ac{VH}, and resource availability on the disease dynamics. We collect publicly available data and perform data analysis to capture \ac{VH} dynamic changes over time and develop scenario paths for \ac{VH}. We simulate the proposed compartmental model for each \ac{VH} path to explain the impacts of public attitudes toward vaccination, the impacts of healthcare resources on patient outcomes, and the timing of vaccination rollout on the progression and severity of the epidemic. Our analysis demonstrates that reducing \ac{VH} improves health outcomes, reinforcing the importance of addressing \ac{VH} to curb the spread of infectious diseases. Our results show that adequate levels of critical healthcare resources are crucial for minimizing fatalities and also highlight the life-saving impact of timely and effective vaccination programs.
△ Less
Submitted 12 March, 2024;
originally announced March 2024.
-
Enhancing Biomechanical Simulations Based on A Posteriori Error Estimates: The Potential of Dual Weighted Residual-Driven Adaptive Mesh Refinement
Authors:
Huu Phuoc Bui,
Michel Duprez,
Pierre-Yves Rohan,
Arnaud Lejeune,
Stephane P. A. Bordas,
Marek Bucki,
Franz Chouly
Abstract:
The Finite Element Method (FEM) is a well-established procedure for computing approximate solutions to deterministic engineering problems described by partial differential equations. FEM produces discrete approximations of the solution with a discretisation error that can be an be quantified with \emph{a posteriori} error estimates. The practical relevance of error estimates for biomechanics probl…
▽ More
The Finite Element Method (FEM) is a well-established procedure for computing approximate solutions to deterministic engineering problems described by partial differential equations. FEM produces discrete approximations of the solution with a discretisation error that can be an be quantified with \emph{a posteriori} error estimates. The practical relevance of error estimates for biomechanics problems, especially for soft tissue where the response is governed by large strains, is rarely addressed. In this contribution, we propose an implementation of \emph{a posteriori} error estimates targeting a user-defined quantity of interest, using the Dual Weighted Residual (DWR) technique tailored to biomechanics. The proposed method considers a general setting that encompasses three-dimensional geometries and model non-linearities, which appear in hyperelastic soft tissues. We take advantage of the automatic differentiation capabilities embedded in modern finite element software, which allows the error estimates to be computed generically for a large class of models and constitutive laws. First we validate our methodology using experimental measurements from silicone samples, and then illustrate its applicability for patient-specific computations of pressure ulcers on a human heel.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Stability of asymptotic waves in the Fisher-Stefan equation
Authors:
T. T. H. Bui,
P. van Heijster,
R. Marangell
Abstract:
We establish spectral, linear, and nonlinear stability of the vanishing and slow-moving travelling waves that arise as time asymptotic solutions to the Fisher-Stefan equation. Nonlinear stability is in terms of the limiting equations that the asymptotic waves satisfy.
We establish spectral, linear, and nonlinear stability of the vanishing and slow-moving travelling waves that arise as time asymptotic solutions to the Fisher-Stefan equation. Nonlinear stability is in terms of the limiting equations that the asymptotic waves satisfy.
△ Less
Submitted 14 March, 2024; v1 submitted 15 February, 2024;
originally announced February 2024.
-
Asymptotically accurate and locking-free finite element implementation of first order shear deformation theory for plates
Authors:
Khanh Chau Le,
Hoang Giang Bui
Abstract:
A formulation of the asymptotically exact first-order shear deformation theory for linear-elastic homogeneous plates in the rescaled coordinates and rotation angles is considered. This allows the development of its asymptotically accurate and shear-locking-free finite element implementation. As applications, numerical simulations are performed for circular and rectangular plates, showing complete…
▽ More
A formulation of the asymptotically exact first-order shear deformation theory for linear-elastic homogeneous plates in the rescaled coordinates and rotation angles is considered. This allows the development of its asymptotically accurate and shear-locking-free finite element implementation. As applications, numerical simulations are performed for circular and rectangular plates, showing complete agreement between the analytical solution and the numerical solutions based on two-dimensional theory and three-dimensional elasticity theory.
△ Less
Submitted 16 April, 2024; v1 submitted 30 October, 2023;
originally announced October 2023.
-
Negative discrete moments of the derivative of the Riemann zeta-function
Authors:
Hung M. Bui,
Alexandra Florea,
Micah B. Milinovich
Abstract:
We obtain conditional upper bounds for negative discrete moments of the derivative of the Riemann zeta-function averaged over a subfamily of zeros of the zeta function which is expected to have full density inside the set of all zeros. For $k\leq 1/2$, our bounds for the $2k$-th moments are expected to be almost optimal. Assuming a conjecture about the maximum size of the argument of the zeta func…
▽ More
We obtain conditional upper bounds for negative discrete moments of the derivative of the Riemann zeta-function averaged over a subfamily of zeros of the zeta function which is expected to have full density inside the set of all zeros. For $k\leq 1/2$, our bounds for the $2k$-th moments are expected to be almost optimal. Assuming a conjecture about the maximum size of the argument of the zeta function on the critical line, we obtain upper bounds for these negative moments of the same strength while summing over a larger subfamily of zeta zeros.
△ Less
Submitted 5 October, 2023;
originally announced October 2023.
-
Cutting Plane Algorithms are Exact for Euclidean Max-Sum Problems
Authors:
Hoa T. Bui,
Sandy Spiers,
Ryan Loxton
Abstract:
This paper studies binary quadratic programs in which the objective is defined by a Euclidean distance matrix, subject to a general polyhedral constraint set. This class of nonconcave maximisation problems includes the capacitated, generalised and bi-level diversity problems as special cases. We introduce two exact cutting plane algorithms to solve this class of optimisation problems. The new algo…
▽ More
This paper studies binary quadratic programs in which the objective is defined by a Euclidean distance matrix, subject to a general polyhedral constraint set. This class of nonconcave maximisation problems includes the capacitated, generalised and bi-level diversity problems as special cases. We introduce two exact cutting plane algorithms to solve this class of optimisation problems. The new algorithms remove the need for a concave reformulation, which is known to significantly slow down convergence. We establish exactness of the new algorithms by examining the concavity of the quadratic objective in a given direction, a concept we refer to as directional concavity. Numerical results show that the algorithms outperform other exact methods for benchmark diversity problems (capacitated, generalised and bi-level), and can easily solve problems of up to three thousand variables.
△ Less
Submitted 17 September, 2023;
originally announced September 2023.
-
Elasto-plastic large deformation analysis of multi-patch thin shells by isogeometric approach
Authors:
Giang Huynh,
Xiaoying Zhuang,
Hoang-Giang Bui,
G. Meschke,
Hung Nguyen-Xuan
Abstract:
This paper studies elasto-plastic large deformation behavior of thin shell structures using the isogeometric computational approach with the main focus on the efficiency in modelling the multi-patches and arbitrary material formulations. In terms of modelling, we employ the bending strip method to connect the patches in the structure. The incorporation of bending strips allows to eliminate the str…
▽ More
This paper studies elasto-plastic large deformation behavior of thin shell structures using the isogeometric computational approach with the main focus on the efficiency in modelling the multi-patches and arbitrary material formulations. In terms of modelling, we employ the bending strip method to connect the patches in the structure. The incorporation of bending strips allows to eliminate the strict demand of the C1 continuity condition, which is postulated in the Kirchhoff-Love theory for thin shell, and therefore it enables us to use the standard multi-patch structure even with C0 continuity along the patch boundaries. Furthermore, arbitrary nonlinear material models such as hyperelasticity and finite strain plasticity are embedded in the shell formulation, from which a unified thin shell formulation can be achieved. In terms of analysis, the Bezier decomposition concept is used to retain the local support of the traditional finite element. The performance of the presented approach is verified through several numerical benchmarks.
△ Less
Submitted 11 July, 2023;
originally announced July 2023.
-
A note on the zeros of the derivatives of Hardy's function $Z(t)$
Authors:
Hung M. Bui,
R. R. Hall
Abstract:
Using the twisted fourth moment of the Riemann zeta-function we study large gaps between consecutive zeros of the derivatives of Hardy's function $Z(t)$, improving upon previous results of Conrey and Ghosh [J. London Math. Soc. 32 (1985), 193--202], and of the second named author [Acta Arith. 111 (2004), 125--140]. We also exhibit small distances between the zeros of $Z(t)$ and the zeros of…
▽ More
Using the twisted fourth moment of the Riemann zeta-function we study large gaps between consecutive zeros of the derivatives of Hardy's function $Z(t)$, improving upon previous results of Conrey and Ghosh [J. London Math. Soc. 32 (1985), 193--202], and of the second named author [Acta Arith. 111 (2004), 125--140]. We also exhibit small distances between the zeros of $Z(t)$ and the zeros of $Z^{(2k)}(t)$ for every $k\in\mathbb{N}$, in support of our numerical observation that the zeros of $Z^{(k)}(t)$ and $Z^{(\ell)}(t)$, when $k$ and $\ell$ have the same parity, seem to come in pairs which are very close to each other. The latter result is obtained using the mollified discrete second moment of the Riemann zeta-function.
△ Less
Submitted 11 April, 2023;
originally announced April 2023.
-
On the derivatives of Hardy's function $Z(t)$
Authors:
Hung M. Bui,
R. R. Hall
Abstract:
Let $Z^{(k)}(t)$ be the $k$-th derivative of Hardy's $Z$-function. The numerics seem to suggest that if $k$ and $\ell$ have the same parity, then the zeros of $Z^{(k)}(t)$ and $Z^{(\ell)}(t)$ come in pairs which are very close to each other. That is to say that $Z^{(k)}(t)Z^{(\ell)}(t)$ has constant sign for the majority, if not almost all, of values $t$. In this paper we show that this is true a…
▽ More
Let $Z^{(k)}(t)$ be the $k$-th derivative of Hardy's $Z$-function. The numerics seem to suggest that if $k$ and $\ell$ have the same parity, then the zeros of $Z^{(k)}(t)$ and $Z^{(\ell)}(t)$ come in pairs which are very close to each other. That is to say that $Z^{(k)}(t)Z^{(\ell)}(t)$ has constant sign for the majority, if not almost all, of values $t$. In this paper we show that this is true a positive proportion of times. We also study the sign of the product of four derivatives of Hardy's function, $Z^{(k)}(t)Z^{(\ell)}(t)Z^{(m)}(t)Z^{(n)}(t)$.
△ Less
Submitted 11 April, 2023;
originally announced April 2023.
-
Negative moments of the Riemann zeta-function
Authors:
Hung M. Bui,
Alexandra Florea
Abstract:
Assuming the Riemann Hypothesis we study negative moments of the Riemann zeta-function and obtain asymptotic formulas in certain ranges of the shift in $ζ(s)$. For example, integrating $|ζ(1/2+α+it)|^{-2k}$ with respect to $t$ from $T$ to $2T$, we obtain an asymptotic formula when the shift $α$ is roughly bigger than $\frac{1}{\log T}$ and $k < 1/2$. We also obtain non-trivial upper bounds for muc…
▽ More
Assuming the Riemann Hypothesis we study negative moments of the Riemann zeta-function and obtain asymptotic formulas in certain ranges of the shift in $ζ(s)$. For example, integrating $|ζ(1/2+α+it)|^{-2k}$ with respect to $t$ from $T$ to $2T$, we obtain an asymptotic formula when the shift $α$ is roughly bigger than $\frac{1}{\log T}$ and $k < 1/2$. We also obtain non-trivial upper bounds for much smaller shifts, as long as $\log\frac{1}α \ll \log \log T$. This provides partial progress towards a conjecture of Gonek on negative moments of the Riemann zeta-function, and settles the conjecture in certain ranges. As an application, we also obtain an upper bound for the average of the generalized Möbius function.
△ Less
Submitted 14 February, 2023;
originally announced February 2023.
-
A problem of Erdős-Graham-Granville-Selfridge on integral points on hyperelliptic curves
Authors:
Hung M. Bui,
Kyle Pratt,
Alexandru Zaharescu
Abstract:
Erdős, Graham, and Selfridge considered, for each positive integer $n$, the least value of $t_n$ so that the integers $n+1, n+2, \dots, n+t_n $ contain a subset the product of whose members with $n$ is a square. An open problem posed by Granville concerns the size of $t_n$, under the assumption of the ABC Conjecture. We establish some results on the distribution of $t_n$, and in the process solve…
▽ More
Erdős, Graham, and Selfridge considered, for each positive integer $n$, the least value of $t_n$ so that the integers $n+1, n+2, \dots, n+t_n $ contain a subset the product of whose members with $n$ is a square. An open problem posed by Granville concerns the size of $t_n$, under the assumption of the ABC Conjecture. We establish some results on the distribution of $t_n$, and in the process solve Granville's problem unconditionally.
△ Less
Submitted 22 November, 2022;
originally announced November 2022.
-
Single-Projection Procedure for Infinite Dimensional Convex Optimization Problems
Authors:
Hoa T. Bui,
Regina S. Burachik,
Evgeni A. Nurminski,
Matthew K. Tam
Abstract:
In this work, we consider a class of convex optimization problems in a real Hilbert space that can be solved by performing a single projection, i.e., by projecting an infeasible point onto the feasible set. Our results improve those established for the linear programming setting in Nurminski (2015) by considering problems that: (i) may have multiple solutions, (ii) do not satisfy strict complement…
▽ More
In this work, we consider a class of convex optimization problems in a real Hilbert space that can be solved by performing a single projection, i.e., by projecting an infeasible point onto the feasible set. Our results improve those established for the linear programming setting in Nurminski (2015) by considering problems that: (i) may have multiple solutions, (ii) do not satisfy strict complementary conditions, and (iii) possess non-linear convex constraints. As a by-product of our analysis, we provide a quantitative estimate on the required distance between the infeasible point and the feasible set in order for its projection to be a solution of the problem. Our analysis relies on a "sharpness" property of the constraint set; a new property we introduce here.
△ Less
Submitted 9 April, 2024; v1 submitted 20 October, 2022;
originally announced October 2022.
-
Small gaps and small spacings between zeta zeros
Authors:
Hung M. Bui,
Daniel A. Goldston,
Micah B. Milinovich,
Hugh L. Montgomery
Abstract:
We show assuming RH that phenomena concerning pairs of zeros established $via$ pair correlations occur with positive density (with at most a slight adjustment of the constants). Also, while a double zero is commonly considered to be a close pair, we consider the difference between two $distinct$ zeros.
We show assuming RH that phenomena concerning pairs of zeros established $via$ pair correlations occur with positive density (with at most a slight adjustment of the constants). Also, while a double zero is commonly considered to be a close pair, we consider the difference between two $distinct$ zeros.
△ Less
Submitted 3 August, 2022;
originally announced August 2022.
-
An exact cutting plane method for solving p-dispersion-sum problems
Authors:
Sandy Spiers,
Hoa T. Bui,
Ryan Loxton
Abstract:
This paper aims to answer an open question recently posed in the literature, that is to find a fast exact method for solving the p-dispersion-sum problem (PDSP), a nonconcave quadratic binary maximization problem. We show that, since the Euclidean distance matrix defining the quadratic term in (PDSP) is always conditionally negative definite, the cutting plane method is exact for (PDSP) even in th…
▽ More
This paper aims to answer an open question recently posed in the literature, that is to find a fast exact method for solving the p-dispersion-sum problem (PDSP), a nonconcave quadratic binary maximization problem. We show that, since the Euclidean distance matrix defining the quadratic term in (PDSP) is always conditionally negative definite, the cutting plane method is exact for (PDSP) even in the absence of concavity. As such, the cutting plane method, which is primarily designed for concave maximisation problems, converges to the optimal solution of the (PDSP). The numerical results show that the method outperforms other exact methods for solving (PDSP), and can solve to optimality large instances of up to two thousand variables.
△ Less
Submitted 22 July, 2022;
originally announced July 2022.
-
Power savings for counting solutions to polynomial-factorial equations
Authors:
Hung M. Bui,
Kyle Pratt,
Alexandru Zaharescu
Abstract:
Let $P$ be a polynomial with integer coefficients and degree at least two. We prove an upper bound on the number of integer solutions $n\leq N$ to $n! = P(x)$ which yields a power saving over the trivial bound. In particular, this applies to a century-old problem of Brocard and Ramanujan. The previous best result was that the number of solutions is $o(N)$. The proof uses techniques of Diophantine…
▽ More
Let $P$ be a polynomial with integer coefficients and degree at least two. We prove an upper bound on the number of integer solutions $n\leq N$ to $n! = P(x)$ which yields a power saving over the trivial bound. In particular, this applies to a century-old problem of Brocard and Ramanujan. The previous best result was that the number of solutions is $o(N)$. The proof uses techniques of Diophantine and Padé approximation.
△ Less
Submitted 18 April, 2022;
originally announced April 2022.
-
Cutting plane algorithms for nonlinear binary optimization
Authors:
Hoa T. Bui,
Qun Lin,
Ryan Loxton
Abstract:
Current state-of-the-art methods for solving discrete optimization problems are usually restricted to convex settings. In this paper, we propose a general approach based on cutting planes for solving nonlinear, possibly nonconvex, binary optimization problems. We provide a rigorous convergence analysis that quantifies the number of iterations required under different conditions. This is different…
▽ More
Current state-of-the-art methods for solving discrete optimization problems are usually restricted to convex settings. In this paper, we propose a general approach based on cutting planes for solving nonlinear, possibly nonconvex, binary optimization problems. We provide a rigorous convergence analysis that quantifies the number of iterations required under different conditions. This is different to most other work in discrete optimization where only finite convergence is proved. Moreover, using tools from variational analysis, we provide necessary and sufficient dual optimality conditions.
△ Less
Submitted 17 March, 2022;
originally announced March 2022.
-
The Impact of Changes in Resolution on the Persistent Homology of Images
Authors:
Teresa Heiss,
Sarah Tymochko,
Brittany Story,
Adélie Garin,
Hoa Bui,
Bea Bleile,
Vanessa Robins
Abstract:
Digital images enable quantitative analysis of material properties at micro and macro length scales, but choosing an appropriate resolution when acquiring the image is challenging. A high resolution means longer image acquisition and larger data requirements for a given sample, but if the resolution is too low, significant information may be lost. This paper studies the impact of changes in resolu…
▽ More
Digital images enable quantitative analysis of material properties at micro and macro length scales, but choosing an appropriate resolution when acquiring the image is challenging. A high resolution means longer image acquisition and larger data requirements for a given sample, but if the resolution is too low, significant information may be lost. This paper studies the impact of changes in resolution on persistent homology, a tool from topological data analysis that provides a signature of structure in an image across all length scales. Given prior information about a function, the geometry of an object, or its density distribution at a given resolution, we provide methods to select the coarsest resolution yielding results within an acceptable tolerance. We present numerical case studies for an illustrative synthetic example and samples from porous materials where the theoretical bounds are unknown.
△ Less
Submitted 10 November, 2021;
originally announced November 2021.
-
The Ratios Conjecture and upper bounds for negative moments of $L$-functions over function fields
Authors:
Hung M. Bui,
Alexandra Florea,
Jonathan P. Keating
Abstract:
We prove special cases of the Ratios Conjecture for the family of quadratic Dirichlet $L$--functions over function fields. More specifically, we study the average of $L(1/2+α,χ_D)/L(1/2+β,χ_D)$, when $D$ varies over monic, square-free polynomials of degree $2g+1$ over $\mathbb{F}_q[x]$, as $g \to \infty$, and we obtain an asymptotic formula when $\Re β\gg g^{-1/2+\varepsilon}$. We also study avera…
▽ More
We prove special cases of the Ratios Conjecture for the family of quadratic Dirichlet $L$--functions over function fields. More specifically, we study the average of $L(1/2+α,χ_D)/L(1/2+β,χ_D)$, when $D$ varies over monic, square-free polynomials of degree $2g+1$ over $\mathbb{F}_q[x]$, as $g \to \infty$, and we obtain an asymptotic formula when $\Re β\gg g^{-1/2+\varepsilon}$. We also study averages of products of $2$ over $2$ and $3$ over $3$ $L$--functions, and obtain asymptotic formulas when the shifts in the denominator have real part bigger than $g^{-1/4+\varepsilon}$ and $g^{-1/6+\varepsilon}$ respectively. The main ingredient in the proof is obtaining upper bounds for negative moments of $L$--functions. The upper bounds we obtain are expected to be almost sharp in the ranges described above. As an application, we recover the asymptotic formula for the one-level density of zeros in the family with the support of the Fourier transform in $(-2,2)$.
△ Less
Submitted 21 September, 2021;
originally announced September 2021.
-
Weighted central limit theorems for central values of $L$-functions
Authors:
Hung M. Bui,
Natalie Evans,
Stephen Lester,
Kyle Pratt
Abstract:
We establish a central limit theorem for the central values of Dirichlet $L$-functions with respect to a weighted measure on the set of primitive characters modulo $q$ as $q \rightarrow \infty$. Under the Generalized Riemann Hypothesis (GRH), we also prove a weighted central limit theorem for the joint distribution of the central $L$-values corresponding to twists of two distinct primitive Hecke e…
▽ More
We establish a central limit theorem for the central values of Dirichlet $L$-functions with respect to a weighted measure on the set of primitive characters modulo $q$ as $q \rightarrow \infty$. Under the Generalized Riemann Hypothesis (GRH), we also prove a weighted central limit theorem for the joint distribution of the central $L$-values corresponding to twists of two distinct primitive Hecke eigenforms. As applications, we obtain (under GRH) positive proportions of twists for which the central $L$-values simultaneously grow or shrink with $q$ as well as a positive proportion of twists for which linear combinations of the central $L$-values are nonzero.
△ Less
Submitted 29 September, 2021; v1 submitted 14 September, 2021;
originally announced September 2021.
-
A hybrid discrete-continuum approach to model hydro-mechanical behaviour of soil during desiccation
Authors:
Khoa M. Tran,
Ha H. Bui,
Giang D. Nguyen
Abstract:
Desiccation cracking in clayey soils occurs when they lose moisture, leading to an increase in their compressibility and hydraulic conductivity and hence significant reduction of soil strength. The prediction of desiccation cracking in soils is challenging due to the lack of insights into the complex coupled hydro-mechanical process at the grain scale. In this paper, a new hybrid discrete-continuu…
▽ More
Desiccation cracking in clayey soils occurs when they lose moisture, leading to an increase in their compressibility and hydraulic conductivity and hence significant reduction of soil strength. The prediction of desiccation cracking in soils is challenging due to the lack of insights into the complex coupled hydro-mechanical process at the grain scale. In this paper, a new hybrid discrete-continuum numerical framework, capable of capturing hydro-mechanical behaviour of soil at both grain and macro scales, is proposed for predicting desiccation cracking in clayey soil. In this framework, a soil layer is represented by an assembly of DEM particles, each occupies an equivalent continuum space and carries physical properties governing unsaturated flow. These particles move freely in the computational space following the discrete element method (DEM), while their contact network and the continuum mixture theory are used to model the unsaturated flow. The dependence of particle-to-particle contact behaviour on water content is represented by a cohesive-frictional contact model, whose material properties are governed by the water content. In parallel with the theoretical development is a series of experiments on 3D soil desiccation cracking to determine essential properties and provide data for the validation of mechanical and physical behaviour. Very good agreement in both physical behaviour (e.g. evolution of water content) and mechanical behaviour (e.g. occurrence and development of cracks, and distribution of compressive and tensile strains) demonstrates that the proposed framework is capable of capturing the hydro-mechanical behaviour of soil during desiccation. The capability of the proposed framework facilitates numerical experiments for insights into the hydro-mechanical behaviour of unsaturated soils that have not been possible before.
△ Less
Submitted 25 May, 2021;
originally announced June 2021.
-
A generalized polar-coordinate integration formula with applications to the study of convolution powers of complex-valued functions on $\mathbb{Z}^d$
Authors:
Huan Q. Bui,
Evan Randles
Abstract:
In this article, we consider a class of functions on $\mathbb{R}^d$, called positive homogeneous functions, which interact well with certain continuous one-parameter groups of (generally anisotropic) dilations. Generalizing the Euclidean norm, positive homogeneous functions appear naturally in the study of convolution powers of complex-valued functions on $\mathbb{Z}^d$. As the spherical measure i…
▽ More
In this article, we consider a class of functions on $\mathbb{R}^d$, called positive homogeneous functions, which interact well with certain continuous one-parameter groups of (generally anisotropic) dilations. Generalizing the Euclidean norm, positive homogeneous functions appear naturally in the study of convolution powers of complex-valued functions on $\mathbb{Z}^d$. As the spherical measure is a Radon measure on the unit sphere which is invariant under the symmetry group of the Euclidean norm, to each positive homogeneous function $P$, we construct a Radon measure $σ_P$ on $S=\{η\in \mathbb{R}^d:P(η)=1\}$ which is invariant under the symmetry group of $P$. With this measure, we prove a generalization of the classical polar-coordinate integration formula and deduce a number of corollaries in this setting. We then turn to the study of convolution powers of complex functions on $\mathbb{Z}^d$ and certain oscillatory integrals which arise naturally in that context. Armed with our integration formula and the Van der Corput lemma, we establish sup norm-type estimates for convolution powers; this result is new and partially extends results of [20] and [21].
△ Less
Submitted 30 March, 2021; v1 submitted 6 March, 2021;
originally announced March 2021.
-
On Robust Optimal Transport: Computational Complexity and Barycenter Computation
Authors:
Khang Le,
Huy Nguyen,
Quang Nguyen,
Tung Pham,
Hung Bui,
Nhat Ho
Abstract:
We consider robust variants of the standard optimal transport, named robust optimal transport, where marginal constraints are relaxed via Kullback-Leibler divergence. We show that Sinkhorn-based algorithms can approximate the optimal cost of robust optimal transport in $\widetilde{\mathcal{O}}(\frac{n^2}{\varepsilon})$ time, in which $n$ is the number of supports of the probability distributions a…
▽ More
We consider robust variants of the standard optimal transport, named robust optimal transport, where marginal constraints are relaxed via Kullback-Leibler divergence. We show that Sinkhorn-based algorithms can approximate the optimal cost of robust optimal transport in $\widetilde{\mathcal{O}}(\frac{n^2}{\varepsilon})$ time, in which $n$ is the number of supports of the probability distributions and $\varepsilon$ is the desired error. Furthermore, we investigate a fixed-support robust barycenter problem between $m$ discrete probability distributions with at most $n$ number of supports and develop an approximating algorithm based on iterative Bregman projections (IBP). For the specific case $m = 2$, we show that this algorithm can approximate the optimal barycenter value in $\widetilde{\mathcal{O}}(\frac{mn^2}{\varepsilon})$ time, thus being better than the previous complexity $\widetilde{\mathcal{O}}(\frac{mn^2}{\varepsilon^2})$ of the IBP algorithm for approximating the Wasserstein barycenter.
△ Less
Submitted 27 October, 2021; v1 submitted 12 February, 2021;
originally announced February 2021.
-
Analytic ranks of automorphic L-functions and Landau-Siegel zeros
Authors:
Hung M. Bui,
Kyle Pratt,
Alexandru Zaharescu
Abstract:
We relate the study of Landau-Siegel zeros to the ranks of Jacobians $J_0(q)$ of modular curves for large primes $q$. By a conjecture of Brumer-Murty, the rank should be equal to half of the dimension. Equivalently, almost all newforms of weight two and level $q$ have analytic rank $\leq 1$. We show that either Landau-Siegel zeros do not exist, or that almost all such newforms have analytic rank…
▽ More
We relate the study of Landau-Siegel zeros to the ranks of Jacobians $J_0(q)$ of modular curves for large primes $q$. By a conjecture of Brumer-Murty, the rank should be equal to half of the dimension. Equivalently, almost all newforms of weight two and level $q$ have analytic rank $\leq 1$. We show that either Landau-Siegel zeros do not exist, or that almost all such newforms have analytic rank $\leq 2$. In particular, almost all odd newforms have analytic rank equal to one. Additionally, for a sparse set of primes $q$ we show the rank of $J_0(q)$ is asymptotically equal to the rank predicted by the Brumer-Murty conjecture.
△ Less
Submitted 5 February, 2021;
originally announced February 2021.
-
Exceptional characters and nonvanishing of Dirichlet $L$-functions
Authors:
H. M. Bui,
Kyle Pratt,
Alexandru Zaharescu
Abstract:
Let $ψ$ be a real primitive character modulo $D$. If the $L$-function $L(s,ψ)$ has a real zero close to $s=1$, known as a Landau-Siegel zero, then we say the character $ψ$ is exceptional. Under the hypothesis that such exceptional characters exist, we prove that at least fifty percent of the central values $L(1/2,χ)$ of the Dirichlet $L$-functions $L(s,χ)$ are nonzero, where $χ$ ranges over primit…
▽ More
Let $ψ$ be a real primitive character modulo $D$. If the $L$-function $L(s,ψ)$ has a real zero close to $s=1$, known as a Landau-Siegel zero, then we say the character $ψ$ is exceptional. Under the hypothesis that such exceptional characters exist, we prove that at least fifty percent of the central values $L(1/2,χ)$ of the Dirichlet $L$-functions $L(s,χ)$ are nonzero, where $χ$ ranges over primitive characters modulo $q$ and $q$ is a large prime of size $D^{O(1)}$. Under the same hypothesis we also show that, for almost all $χ$, the function $L(s,χ)$ has at most a simple zero at $s = 1/2$.
△ Less
Submitted 10 December, 2020; v1 submitted 8 December, 2020;
originally announced December 2020.
-
The linkedness of cubical polytopes: The cube
Authors:
Hoa T. Bui,
Guillermo Pineda-Villavicencio,
Julien Ugon
Abstract:
The paper is concerned with the linkedness of the graphs of cubical polytopes. A graph with at least $2k$ vertices is \textit{$k$-linked} if, for every set of $k$ disjoint pairs of vertices, there are $k$ vertex-disjoint paths joining the vertices in the pairs. We say that a polytope is \textit{$k$-linked} if its graph is $k$-linked. We establish that the $d$-dimensional cube is…
▽ More
The paper is concerned with the linkedness of the graphs of cubical polytopes. A graph with at least $2k$ vertices is \textit{$k$-linked} if, for every set of $k$ disjoint pairs of vertices, there are $k$ vertex-disjoint paths joining the vertices in the pairs. We say that a polytope is \textit{$k$-linked} if its graph is $k$-linked. We establish that the $d$-dimensional cube is $\lfloor(d+1)/2\rfloor$-linked, for every $d\ne 3$; this is the maximum possible linkedness of a $d$-polytope. This result implies that, for every $d\ge 1$, a cubical $d$-polytope is $\lfloor{d/2}\rfloor$-linked, which answers a question of Wotzlaw \cite{Ron09}. Finally, we introduce the notion of strong linkedness, which is slightly stronger than that of linkedness. A graph $G$ is {\it strongly $k$-linked} if it has at least $2k+1$ vertices and, for every vertex $v$ of $G$, the subgraph $G-v$ is $k$-linked. We show that cubical 4-polytopes are strongly $2$-linked and that, for each $d\ge 1$, $d$-dimensional cubes are strongly $\lfloor{d/2}\rfloor$-linked.
△ Less
Submitted 6 March, 2021; v1 submitted 12 September, 2020;
originally announced September 2020.
-
The linkedness of cubical polytopes: beyond the cube
Authors:
Hoa T. Bui,
Guillermo Pineda-Villavicencio,
Julien Ugon
Abstract:
A cubical polytope is a polytope with all its facets being combinatorially equivalent to cubes. The paper is concerned with the linkedness of the graphs of cubical polytopes.
A graph with at least $2k$ vertices is \textit{$k$-linked} if, for every set of $k$ disjoint pairs of vertices, there are $k$ vertex-disjoint paths joining the vertices in the pairs. We say that a polytope is \textit{$k$-li…
▽ More
A cubical polytope is a polytope with all its facets being combinatorially equivalent to cubes. The paper is concerned with the linkedness of the graphs of cubical polytopes.
A graph with at least $2k$ vertices is \textit{$k$-linked} if, for every set of $k$ disjoint pairs of vertices, there are $k$ vertex-disjoint paths joining the vertices in the pairs. We say that a polytope is \textit{$k$-linked} if its graph is $k$-linked.
In a previous paper \cite{BuiPinUgo20a} we proved that every cubical $d$-polytope is $\floor{d/2}$-linked. Here we strengthen this result by establishing the $\floor{(d+1)/2}$-linkedness of cubical $d$-polytopes, for every $d\ne 3$.
A graph $G$ is {\it strongly $k$-linked} if it has at least $2k+1$ vertices and, for every vertex $v$ of $G$, the subgraph $G-v$ is $k$-linked.
We say that a polytope is (strongly) \textit{$k$-linked} if its graph is (strongly) $k$-linked. In this paper, we also prove that every cubical $d$-polytope is strongly $\floor{d/2}$-linked, for every $d\ne 3$.
These results are best possible for this class of polytopes.
△ Less
Submitted 12 October, 2023; v1 submitted 12 September, 2020;
originally announced September 2020.
-
A Note on the Finite Convergence of Alternating Projections
Authors:
Hoa T. Bui,
Ryan Loxton,
Asghar Moeini
Abstract:
We establish sufficient conditions for finite convergence of the alternating projections method for two non-intersecting and potentially nonconvex sets. Our results are based on a generalization of the concept of intrinsic transversality, which until now has been restricted to sets with nonempty intersection. In the special case of a polyhedron and closed half space, our sufficient conditions defi…
▽ More
We establish sufficient conditions for finite convergence of the alternating projections method for two non-intersecting and potentially nonconvex sets. Our results are based on a generalization of the concept of intrinsic transversality, which until now has been restricted to sets with nonempty intersection. In the special case of a polyhedron and closed half space, our sufficient conditions define the minimum distance between the two sets that is required for alternating projections to converge in a single iteration.
△ Less
Submitted 16 February, 2021; v1 submitted 13 August, 2020;
originally announced August 2020.
-
On Unbalanced Optimal Transport: An Analysis of Sinkhorn Algorithm
Authors:
Khiem Pham,
Khang Le,
Nhat Ho,
Tung Pham,
Hung Bui
Abstract:
We provide a computational complexity analysis for the Sinkhorn algorithm that solves the entropic regularized Unbalanced Optimal Transport (UOT) problem between two measures of possibly different masses with at most $n$ components. We show that the complexity of the Sinkhorn algorithm for finding an $\varepsilon$-approximate solution to the UOT problem is of order…
▽ More
We provide a computational complexity analysis for the Sinkhorn algorithm that solves the entropic regularized Unbalanced Optimal Transport (UOT) problem between two measures of possibly different masses with at most $n$ components. We show that the complexity of the Sinkhorn algorithm for finding an $\varepsilon$-approximate solution to the UOT problem is of order $\widetilde{\mathcal{O}}(n^2/ \varepsilon)$, which is near-linear time. To the best of our knowledge, this complexity is better than the complexity of the Sinkhorn algorithm for solving the Optimal Transport (OT) problem, which is of order $\widetilde{\mathcal{O}}(n^2/\varepsilon^2)$. Our proof technique is based on the geometric convergence of the Sinkhorn updates to the optimal dual solution of the entropic regularized UOT problem and some properties of the primal solution. It is also different from the proof for the complexity of the Sinkhorn algorithm for approximating the OT problem since the UOT solution does not have to meet the marginal constraints.
△ Less
Submitted 18 November, 2020; v1 submitted 9 February, 2020;
originally announced February 2020.
-
Type-I contributions to the one and two level densities of quadratic Dirichlet $L$--functions over function fields
Authors:
Hung M. Bui,
Alexandra Florea,
Jonathan Keating
Abstract:
Using the Ratios Conjecture, we write down precise formulas with lower order terms for the one and the two level densities of zeros of quadratic Dirichlet $L$--functions over function fields. We denote the various terms arising as Type-$0$, Type-I and Type-II contributions. When the support of the Fourier transform of the test function is sufficiently restricted, we rigorously compute the Type-…
▽ More
Using the Ratios Conjecture, we write down precise formulas with lower order terms for the one and the two level densities of zeros of quadratic Dirichlet $L$--functions over function fields. We denote the various terms arising as Type-$0$, Type-I and Type-II contributions. When the support of the Fourier transform of the test function is sufficiently restricted, we rigorously compute the Type-$0$ and Type-I terms and confirm that they match the conjectured answer. When the restrictions on the support are relaxed, our results suggest that Type-II contributions become important in the two level density.
△ Less
Submitted 9 January, 2020;
originally announced January 2020.
-
Zero Duality Gap in View of Abstract Convexity
Authors:
Hoa T. Bui,
Regina S. Burachik,
Alexander Y. Kruger,
David T. Yost
Abstract:
Using tools provided by the theory of abstract convexity, we extend conditions for zero duality gap to the context of nonconvex and nonsmooth optimization. Mimicking the classical setting, an abstract convex function is the upper envelope of a family of abstract affine functions (being conventional vertical translations of the abstract linear functions). We establish new conditions for zero dualit…
▽ More
Using tools provided by the theory of abstract convexity, we extend conditions for zero duality gap to the context of nonconvex and nonsmooth optimization. Mimicking the classical setting, an abstract convex function is the upper envelope of a family of abstract affine functions (being conventional vertical translations of the abstract linear functions). We establish new conditions for zero duality gap under no topological assumptions on the space of abstract linear functions. In particular, we prove that the zero duality gap property can be fully characterized in terms of an inclusion involving (abstract) $\varepsilon-$subdifferentials. This result is new even for the classical convex setting. Endowing the space of abstract linear functions with the topology of pointwise convergence, we extend several fundamental facts of functional/convex analysis. This includes (i) the classical Banach--Alaoglu--Bourbaki theorem (ii) the subdifferential sum rule, and (iii) a constraint qualification for zero duality gap which extends a fact established by Borwein, Burachik and Yao (2014) for the conventional convex case. As an application, we show with a specific example how our results can be exploited to show zero duality for a family of nonconvex, non-differentiable problems.
△ Less
Submitted 12 September, 2020; v1 submitted 4 October, 2019;
originally announced October 2019.
-
Necessary Conditions for Non-Intersection of Collections of Sets
Authors:
Hoa T. Bui,
Alexander Y. Kruger
Abstract:
This paper continues studies of non-intersection properties of finite collections of sets initiated 40 years ago by the extremal principle. We study elementary non-intersection properties of collections of sets, making the core of the conventional definitions of extremality and stationarity. In the setting of general Banach/Asplund spaces, we establish new primal (slope) and dual (generalized sepa…
▽ More
This paper continues studies of non-intersection properties of finite collections of sets initiated 40 years ago by the extremal principle. We study elementary non-intersection properties of collections of sets, making the core of the conventional definitions of extremality and stationarity. In the setting of general Banach/Asplund spaces, we establish new primal (slope) and dual (generalized separation) necessary conditions for these non-intersection properties. The results are applied to convergence analysis of alternating projections.
△ Less
Submitted 17 April, 2021; v1 submitted 18 September, 2019;
originally announced September 2019.
-
Moments of Dirichlet $L$-functions with prime conductors over function fields
Authors:
Hung M. Bui,
Alexandra Florea
Abstract:
We compute the second moment in the family of quadratic Dirichlet $L$-functions with prime conductors over $\mathbb{F}_q[x]$ when the degree of the discriminant goes to infinity, obtaining one of the lower order terms. We also obtain an asymptotic formula with the leading order term for the mean value of the derivatives of $L$-functions associated to quadratic twists of a fixed elliptic curve over…
▽ More
We compute the second moment in the family of quadratic Dirichlet $L$-functions with prime conductors over $\mathbb{F}_q[x]$ when the degree of the discriminant goes to infinity, obtaining one of the lower order terms. We also obtain an asymptotic formula with the leading order term for the mean value of the derivatives of $L$-functions associated to quadratic twists of a fixed elliptic curve over $\mathbb{F}_q(t)$ by monic irreducible polynomials, which allows us to show that there exists a monic irreducible polynomial such that the analytic rank of the corresponding twisted elliptic curve is equal to $1$.
△ Less
Submitted 2 September, 2019;
originally announced September 2019.
-
Moments of quadratic twists of elliptic curve L-functions over function fields
Authors:
H. M. Bui,
Alexandra Florea,
Jonathan P. Keating,
Edva Roditty-Gershon
Abstract:
We calculate the first and second moments of L-functions in the family of quadratic twists of a fixed elliptic curve E over F_q[x], asymptotically in the limit as the degree of the twists tends to infinity. We also compute moments involving derivatives of L-functions over quadratic twists, enabling us to deduce lower bounds on the correlations between the analytic ranks of the twists of two distin…
▽ More
We calculate the first and second moments of L-functions in the family of quadratic twists of a fixed elliptic curve E over F_q[x], asymptotically in the limit as the degree of the twists tends to infinity. We also compute moments involving derivatives of L-functions over quadratic twists, enabling us to deduce lower bounds on the correlations between the analytic ranks of the twists of two distinct curves.
△ Less
Submitted 1 February, 2019;
originally announced February 2019.
-
Some new characterizations of intrinsic transversality in Hilbert spaces
Authors:
Nguyen Hieu Thao,
Hoa Thi Bui,
Nguyen Duy Cuong,
Michel Verhaegen
Abstract:
Motivated by a number of research questions concerning transversality-type properties of pairs of sets recently raised by Ioffe and Kruger, this paper reports several new characterizations of the intrinsic transversality property in Hilbert spaces. Our dual space results clarify the picture of intrinsic transversality, its variants and the only existing sufficient dual condition for subtransversal…
▽ More
Motivated by a number of research questions concerning transversality-type properties of pairs of sets recently raised by Ioffe and Kruger, this paper reports several new characterizations of the intrinsic transversality property in Hilbert spaces. Our dual space results clarify the picture of intrinsic transversality, its variants and the only existing sufficient dual condition for subtransversality, and actually unify them. New primal space characterizations of the intrinsic transversality which is originally a dual space condition lead to new understanding of the property in terms of primal space elements for the first time. As a consequence, the obtained analysis allows us to address a number of research questions asked by the two aforementioned researchers about the intrinsic transversality property in the Hilbert space setting.
△ Less
Submitted 31 December, 2018;
originally announced December 2018.
-
Weighted Besov and Triebel--Lizorkin spaces associated to operators
Authors:
Huy-Qui Bui,
The Anh Bui,
Xuan Thinh Duong
Abstract:
Let $X$ be a space of homogeneous type and $L$ be a nonnegative self-adjoint operator on $L^2(X)$ satisfying Gaussian upper bounds on its heat kernels. In this paper we develop the theory of weighted Besov spaces $\dot{B}^{α,L}_{p,q,w}(X)$ and weighted Triebel--Lizorkin spaces $\dot{F}^{α,L}_{p,q,w}(X)$ associated to the operator $L$ for the full range $0<p,q\le \infty$, $α\in \mathbb R$ and $w$ b…
▽ More
Let $X$ be a space of homogeneous type and $L$ be a nonnegative self-adjoint operator on $L^2(X)$ satisfying Gaussian upper bounds on its heat kernels. In this paper we develop the theory of weighted Besov spaces $\dot{B}^{α,L}_{p,q,w}(X)$ and weighted Triebel--Lizorkin spaces $\dot{F}^{α,L}_{p,q,w}(X)$ associated to the operator $L$ for the full range $0<p,q\le \infty$, $α\in \mathbb R$ and $w$ being in the Muckenhoupt weight class $A_\infty$. Similarly to the classical case in the Euclidean setting, we prove that our new spaces satisfy important features such as continuous charaterizations in terms of square functions, atomic decompositions and the identifications with some well known function spaces such as Hardy type spaces and Sobolev type spaces. Moreover, with extra assumptions on the operator $L$, we prove that the new function spaces associated to $L$ coincide with the classical function spaces. Finally we apply our results to prove the boundedness of the fractional power of $L$ and the spectral multiplier of $L$ in our new function spaces.
△ Less
Submitted 8 September, 2018;
originally announced September 2018.
-
Breaking the $\frac{1}{2}$-barrier for the twisted second moment of Dirichlet $L$-functions
Authors:
H. M. Bui,
Kyle Pratt,
Nicolas Robles,
Alexandru Zaharescu
Abstract:
We study the second moment of Dirichlet $L$-functions to a large prime modulus $q$ twisted by the square of an arbitrary Dirichlet polynomial. We break the $\frac{1}{2}$-barrier in this problem, and obtain an asymptotic formula provided that the length of the Dirichlet polynomial is less than $q^{51/101} = q^{1/2 +1/202}$. As an application, we obtain an upper bound of the correct order of magnitu…
▽ More
We study the second moment of Dirichlet $L$-functions to a large prime modulus $q$ twisted by the square of an arbitrary Dirichlet polynomial. We break the $\frac{1}{2}$-barrier in this problem, and obtain an asymptotic formula provided that the length of the Dirichlet polynomial is less than $q^{51/101} = q^{1/2 +1/202}$. As an application, we obtain an upper bound of the correct order of magnitude for the third moment of Dirichlet $L$-functions. We give further results when the coefficients of the Dirichlet polynomial are more specialized.
△ Less
Submitted 31 August, 2018;
originally announced August 2018.
-
Extremality, Stationarity and Generalized Separation of Collections of Sets
Authors:
Hoa T. Bui,
Alexander Y. Kruger
Abstract:
The core arguments used in various proofs of the extremal principle and its extensions as well as in primal and dual characterizations of approximate stationarity and transversality of collections of sets are exposed, analyzed and refined, leading to a unifying theory, encompassing all existing approaches to obtaining 'extremal' statements. For that, we examine and clarify quantitative relationshi…
▽ More
The core arguments used in various proofs of the extremal principle and its extensions as well as in primal and dual characterizations of approximate stationarity and transversality of collections of sets are exposed, analyzed and refined, leading to a unifying theory, encompassing all existing approaches to obtaining 'extremal' statements. For that, we examine and clarify quantitative relationships between the parameters involved in the respective definitions and statements. Some new characterizations of extremality properties are obtained.
△ Less
Submitted 29 December, 2018; v1 submitted 16 August, 2018;
originally announced August 2018.
-
Characterizations of Nonsmooth Robustly Quasiconvex Functions
Authors:
Hoa T. Bui,
Pham Duy Khanh,
Tran Thi Tu Trinh
Abstract:
Two criteria for the robust quasiconvexity of lower semicontinuous functions are established in terms of Fréchet subdifferentials in Asplund spaces.
Two criteria for the robust quasiconvexity of lower semicontinuous functions are established in terms of Fréchet subdifferentials in Asplund spaces.
△ Less
Submitted 18 April, 2018;
originally announced April 2018.
-
The linkedness of cubical polytopes
Authors:
Hoa Thi Bui,
Guillermo Pineda-Villavicencio,
Julien Ugon
Abstract:
A cubical polytope is a polytope with all its facets being combinatorially equivalent to cubes. The paper is concerned with the linkedness of the graphs of cubical polytopes. A graph with at least $2k$ vertices is $k$-linked if, for every set of $2k$ distinct vertices organised in arbitrary $k$ pairs of vertices, there are $k$ vertex-disjoint paths joining the vertices in the pairs.
Larman and M…
▽ More
A cubical polytope is a polytope with all its facets being combinatorially equivalent to cubes. The paper is concerned with the linkedness of the graphs of cubical polytopes. A graph with at least $2k$ vertices is $k$-linked if, for every set of $2k$ distinct vertices organised in arbitrary $k$ pairs of vertices, there are $k$ vertex-disjoint paths joining the vertices in the pairs.
Larman and Mani in 1970 proved that simplicial $d$-polytopes, polytopes with all their facets being combinatorially equivalent to simplices, are $\floor{(d+1)/2}$-linked; this is the maximum possible linkedness given the facts that a $\floor{(d+1)/2}$-linked graph is at least $(2\floor{(d+1)/2}-1)$-connected and that some of these graphs are $d$-connected but not $(d+1)$-connected.
Here we establish that cubical $d$-polytopes are also $\floor{(d+1)/2}$-linked for every $d\ne 3$; this is again the maximum possible linkedness for such a class of polytopes.
△ Less
Submitted 26 September, 2019; v1 submitted 26 February, 2018;
originally announced February 2018.
-
Connectivity of cubical polytopes
Authors:
Hoa T. Bui,
Guillermo Pineda-Villavicencio,
Julien Ugon
Abstract:
A cubical polytope is a polytope with all its facets being combinatorially equivalent to cubes. We deal with the connectivity of the graphs of cubical polytopes. We first establish that, for any $d\ge 3$, the graph of a cubical $d$-polytope with minimum degree $δ$ is $\min\{δ,2d-2\}$-connected. Second, we show, for any $d\ge 4$, that every minimum separator of cardinality at most $2d-3$ in such a…
▽ More
A cubical polytope is a polytope with all its facets being combinatorially equivalent to cubes. We deal with the connectivity of the graphs of cubical polytopes. We first establish that, for any $d\ge 3$, the graph of a cubical $d$-polytope with minimum degree $δ$ is $\min\{δ,2d-2\}$-connected. Second, we show, for any $d\ge 4$, that every minimum separator of cardinality at most $2d-3$ in such a graph consists of all the neighbours of some vertex and that removing the vertices of the separator from the graph leaves exactly two components, with one of them being the vertex itself.
△ Less
Submitted 14 July, 2019; v1 submitted 20 January, 2018;
originally announced January 2018.
-
Corotational Cut Finite Element Method for real-time surgical simulation: application to needle insertion simulation
Authors:
Huu Phuoc Bui,
Satyendra Tomar,
Stéphane P. A. Bordas
Abstract:
This paper describes the use of the corotational cut Finite Element Method (FEM) for real-time surgical simulation. Users only need to provide a background mesh which is not necessarily conforming to the boundaries/interfaces of the simulated object. The details of the surface, which can be directly obtained from binary images, are taken into account by a multilevel embedding algorithm applied to…
▽ More
This paper describes the use of the corotational cut Finite Element Method (FEM) for real-time surgical simulation. Users only need to provide a background mesh which is not necessarily conforming to the boundaries/interfaces of the simulated object. The details of the surface, which can be directly obtained from binary images, are taken into account by a multilevel embedding algorithm applied to elements of the background mesh that cut by the surface. Boundary conditions can be implicitly imposed on the surface using Lagrange multipliers. The implementation is verified by convergence studies with optimal rates. The algorithm is applied to various needle insertion simulations (e.g. for biopsy or brachytherapy) into brain and liver to verify the reliability of method, and numerical results show that the present method can make the discretisation independent from geometric description, and can avoid the complexity of mesh generation of complex geometries while retaining the accuracy of the standard FEM. Using the proposed approach is very suitable for real-time and patient specific simulations as it improves the simulation accuracy by taking into account automatically and properly the simulated geometry.
△ Less
Submitted 8 December, 2017;
originally announced December 2017.
-
About Extensions of the Extremal Principle
Authors:
Hoa T. Bui,
Alexander Y. Kruger
Abstract:
In this article, after recalling and discussing the conventional extremality, local extremality, stationarity and approximate stationarity properties of collections of sets and the corresponding (extended) extremal principle, we focus on extensions of these properties and the corresponding dual conditions with the goal to refine the main arguments used in this type of results, clarify the relation…
▽ More
In this article, after recalling and discussing the conventional extremality, local extremality, stationarity and approximate stationarity properties of collections of sets and the corresponding (extended) extremal principle, we focus on extensions of these properties and the corresponding dual conditions with the goal to refine the main arguments used in this type of results, clarify the relationships between different extensions and expand the applicability of the generalised separability results. We introduce and study new more universal concepts of relative extremality and stationarity and formulate the relative extended extremal principle. Among other things, certain stability of the relative approximate stationarity is proved. Some links are established between the relative extremality and stationarity properties of collections of sets and (the absence of) certain regularity, lower semicontinuity and Lipschitz-like properties of set-valued mappings.
△ Less
Submitted 23 February, 2018; v1 submitted 24 July, 2017;
originally announced July 2017.
-
Real-time Error Control for Surgical Simulation
Authors:
Huu Phuoc Bui,
Satyendra Tomar,
Hadrien Courtecuisse,
Stéphane Cotin,
Stéphane Bordas
Abstract:
Objective: To present the first real-time a posteriori error-driven adaptive finite element approach for real-time simulation and to demonstrate the method on a needle insertion problem. Methods: We use corotational elasticity and a frictional needle/tissue interaction model. The problem is solved using finite elements within SOFA. The refinement strategy relies upon a hexahedron-based finite elem…
▽ More
Objective: To present the first real-time a posteriori error-driven adaptive finite element approach for real-time simulation and to demonstrate the method on a needle insertion problem. Methods: We use corotational elasticity and a frictional needle/tissue interaction model. The problem is solved using finite elements within SOFA. The refinement strategy relies upon a hexahedron-based finite element method, combined with a posteriori error estimation driven local $h$-refinement, for simulating soft tissue deformation. Results: We control the local and global error level in the mechanical fields (e.g. displacement or stresses) during the simulation. We show the convergence of the algorithm on academic examples, and demonstrate its practical usability on a percutaneous procedure involving needle insertion in a liver. For the latter case, we compare the force displacement curves obtained from the proposed adaptive algorithm with that obtained from a uniform refinement approach. Conclusions: Error control guarantees that a tolerable error level is not exceeded during the simulations. Local mesh refinement accelerates simulations. Significance: Our work provides a first step to discriminate between discretization error and modeling error by providing a robust quantification of discretization error during simulations.
△ Less
Submitted 14 February, 2017; v1 submitted 8 October, 2016;
originally announced October 2016.
-
Hybrid Euler-Hadamard product for quadratic Dirichlet $L$-functions in function fields
Authors:
H. M. Bui,
Alexandra Florea
Abstract:
We develop a hybrid Euler-Hadamard product model for quadratic Dirichlet $L$--functions over function fields (following the model introduced by Gonek, Hughes and Keating for the Riemann-zeta function). After computing the first three twisted moments in this family of $L$--functions, we provide further evidence for the conjectural asymptotic formulas for the moments of the family.
We develop a hybrid Euler-Hadamard product model for quadratic Dirichlet $L$--functions over function fields (following the model introduced by Gonek, Hughes and Keating for the Riemann-zeta function). After computing the first three twisted moments in this family of $L$--functions, we provide further evidence for the conjectural asymptotic formulas for the moments of the family.
△ Less
Submitted 17 September, 2016;
originally announced September 2016.
-
A quadratic divisor problem and moments of the Riemann zeta-function
Authors:
Sandro Bettin,
H. M. Bui,
Xiannan Li,
Maksym Radziwiłł
Abstract:
We estimate asymptotically the fourth moment of the Riemann zeta-function twisted by a Dirichlet polynomial of length $T^{\frac14 - \varepsilon}$. Our work relies crucially on Watt's theorem on averages of Kloosterman fractions. In the context of the twisted fourth moment, Watt's result is an optimal replacement for Selberg's eigenvalue conjecture.
Our work extends the previous result of Hughes…
▽ More
We estimate asymptotically the fourth moment of the Riemann zeta-function twisted by a Dirichlet polynomial of length $T^{\frac14 - \varepsilon}$. Our work relies crucially on Watt's theorem on averages of Kloosterman fractions. In the context of the twisted fourth moment, Watt's result is an optimal replacement for Selberg's eigenvalue conjecture.
Our work extends the previous result of Hughes and Young, where Dirichlet polynomials of length $T^{\frac{1}{11}-\varepsilon}$ were considered. Our result has several applications, among others to the proportion of critical zeros of the Riemann zeta-function, zero spacing and lower bounds for moments.
Along the way we obtain an asymptotic formula for a quadratic divisor problem, where the condition $a m_1 m_2 - b n_1 n_2 = h$ is summed with smooth averaging on the variables $m_1, m_2, n_1, n_2, h$ and arbitrary weights in the average on $a,b$. Using Watt's work allows us to exploit all averages simultaneously. It turns out that averaging over $m_1, m_2, n_1, n_2, h$ right away in the quadratic divisor problem simplifies considerably the combinatorics of the main terms in the twisted fourth moment.
△ Less
Submitted 8 September, 2016;
originally announced September 2016.
-
Zeros of quadratic Dirichlet $L$-functions in the hyperelliptic ensemble
Authors:
Hung M. Bui,
Alexandra Florea
Abstract:
We study the $1$-level density and the pair correlation of zeros of quadratic Dirichlet $L$-functions in function fields, as we average over the ensemble $\mathcal{H}_{2g+1}$ of monic, square-free polynomials with coefficients in $\mathbb{F}_q[x]$. In the case of the $1$-level density, when the Fourier transform of the test function is supported in the restricted interval $(\frac{1}{3},1)$, we com…
▽ More
We study the $1$-level density and the pair correlation of zeros of quadratic Dirichlet $L$-functions in function fields, as we average over the ensemble $\mathcal{H}_{2g+1}$ of monic, square-free polynomials with coefficients in $\mathbb{F}_q[x]$. In the case of the $1$-level density, when the Fourier transform of the test function is supported in the restricted interval $(\frac{1}{3},1)$, we compute a secondary term of size $q^{-\frac{4g}{3}}/g$, which is not predicted by the Ratios Conjecture. Moreover, when the support is even more restricted, we obtain several lower order terms. For example, if the Fourier transform is supported in $(\frac{1}{3}, \frac{1}{2})$, we identify another lower order term of size $q^{-\frac{8g}{5}}/g$. We also compute the pair correlation, and as for the $1$-level density, we detect lower order terms under certain restrictions; for example, we see a term of size $q^{-g}/g^2$ when the Fourier transform is supported in $(\frac{1}{4},\frac{1}{2})$. The $1$-level density and the pair correlation allow us to obtain non-vanishing results for $L(\frac12,χ_D)$, as well as lower bounds for the proportion of simple zeros of this family of $L$-functions.
△ Less
Submitted 23 May, 2016;
originally announced May 2016.
