-
Delay-Aware Robust Edge Network Hardening Under Decision-Dependent Uncertainty
Authors:
Jiaming Cheng,
Duong Thuy Anh Nguyen,
Ni Trieu,
Duong Tung Nguyen
Abstract:
Edge computing promises to offer low-latency and ubiquitous computation to numerous devices at the network edge. For delay-sensitive applications, link delays can have a direct impact on service quality. These delays can fluctuate drastically over time due to various factors such as network congestion, changing traffic conditions, cyberattacks, component failures, and natural disasters. Thus, it i…
▽ More
Edge computing promises to offer low-latency and ubiquitous computation to numerous devices at the network edge. For delay-sensitive applications, link delays can have a direct impact on service quality. These delays can fluctuate drastically over time due to various factors such as network congestion, changing traffic conditions, cyberattacks, component failures, and natural disasters. Thus, it is crucial to efficiently harden the edge network to mitigate link delay variation as well as ensure a stable and improved user experience. To this end, we propose a novel robust model for optimal edge network hardening, considering the link delay uncertainty. Departing from the existing literature that treats uncertainties as exogenous, our model incorporates an endogenous uncertainty set to properly capture the impact of hardening and workload allocation decisions on link delays. However, the endogenous set introduces additional complexity to the problem due to the interdependence between decisions and uncertainties. We present two efficient methods to transform the problem into a solvable form. Extensive numerical results are shown to demonstrate the effectiveness of the proposed approach.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
Constrained multi-cluster game: Distributed Nash equilibrium seeking over directed graphs
Authors:
Duong Thuy Anh Nguyen,
Mattia Bianchi,
Florian Dörfler,
Duong Tung Nguyen,
Angelia Nedić
Abstract:
Motivated by the complex dynamics of cooperative and competitive interactions within networked agent systems, multi-cluster games provide a framework for modeling the interconnected goals of self-interested clusters of agents. For this setup, the existing literature lacks comprehensive gradient-based solutions that simultaneously consider constraint sets and directed communication networks, both o…
▽ More
Motivated by the complex dynamics of cooperative and competitive interactions within networked agent systems, multi-cluster games provide a framework for modeling the interconnected goals of self-interested clusters of agents. For this setup, the existing literature lacks comprehensive gradient-based solutions that simultaneously consider constraint sets and directed communication networks, both of which are crucial for many practical applications. To address this gap, this paper proposes a distributed Nash equilibrium seeking algorithm that integrates consensus-based methods and gradient-tracking techniques, where inter-cluster and intra-cluster communications only use row- and column-stochastic weight matrices, respectively. To handle constraints, we introduce an averaging procedure, which can effectively address the complications associated with projections. In turn, we can show linear convergence of our algorithm, focusing on the contraction property of the optimality gap. We demonstrate the efficacy of the proposed algorithm through a microgrid energy management application.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
Two-Stage Distributionally Robust Edge Node Placement Under Endogenous Demand Uncertainty
Authors:
Jiaming Cheng,
Duong Thuy Anh Nguyen,
Duong Tung Nguyen
Abstract:
Edge computing (EC) promises to deliver low-latency and ubiquitous computation to numerous devices at the network edge. This paper aims to jointly optimize edge node (EN) placement and resource allocation for an EC platform, considering demand uncertainty. Diverging from existing approaches treating uncertainties as exogenous, we propose a novel two-stage decision-dependent distributionally robust…
▽ More
Edge computing (EC) promises to deliver low-latency and ubiquitous computation to numerous devices at the network edge. This paper aims to jointly optimize edge node (EN) placement and resource allocation for an EC platform, considering demand uncertainty. Diverging from existing approaches treating uncertainties as exogenous, we propose a novel two-stage decision-dependent distributionally robust optimization (DRO) framework to effectively capture the interdependence between EN placement decisions and uncertain demands. The first stage involves making EN placement decisions, while the second stage optimizes resource allocation after uncertainty revelation. We present an exact mixed-integer linear program reformulation for solving the underlying ``min-max-min" two-stage model. We further introduce a valid inequality method to enhance computational efficiency, especially for large-scale networks. Extensive numerical experiments demonstrate the benefits of considering endogenous uncertainties and the advantages of the proposed model and approach.
△ Less
Submitted 15 January, 2024;
originally announced January 2024.
-
Levinson's theorem for two-dimensional scattering systems: it was a surprise, it is now topological!
Authors:
A. Alexander,
D. T. Nguyen,
A. Rennie,
S. Richard
Abstract:
We prove a general Levinson's theorem for Schrödinger operators in two dimensions with threshold obstructions at zero energy. Our results confirm and simplify earlier seminal results of Bollé, Gesztesy et al., while providing an explicit topological interpretation. We also derive explicit formulas for the wave operators, and so show that they are elements of a $C^*$-algebra introduced by Cordes. A…
▽ More
We prove a general Levinson's theorem for Schrödinger operators in two dimensions with threshold obstructions at zero energy. Our results confirm and simplify earlier seminal results of Bollé, Gesztesy et al., while providing an explicit topological interpretation. We also derive explicit formulas for the wave operators, and so show that they are elements of a $C^*$-algebra introduced by Cordes. As a consequence of our approach, we provide an evaluation of the spectral shift function at zero in the presence of $p$-resonances.
△ Less
Submitted 16 November, 2023;
originally announced November 2023.
-
Optimal Workload Allocation for Distributed Edge Clouds With Renewable Energy and Battery Storage
Authors:
Duong Thuy Anh Nguyen,
Jiaming Cheng,
Ni Trieu,
Duong Tung Nguyen
Abstract:
This paper studies an optimal workload allocation problem for a network of renewable energy-powered edge clouds that serve users located across various geographical areas. Specifically, each edge cloud is furnished with both an on-site renewable energy generation unit and a battery storage unit. Due to the discrepancy in electricity pricing and the diverse temporal-spatial characteristics of renew…
▽ More
This paper studies an optimal workload allocation problem for a network of renewable energy-powered edge clouds that serve users located across various geographical areas. Specifically, each edge cloud is furnished with both an on-site renewable energy generation unit and a battery storage unit. Due to the discrepancy in electricity pricing and the diverse temporal-spatial characteristics of renewable energy generation, how to optimally allocate workload to different edge clouds to minimize the total operating cost while maximizing renewable energy utilization is a crucial and challenging problem. To this end, we introduce and formulate an optimization-based framework designed for Edge Service Providers (ESPs) with the overarching goal of simultaneously reducing energy costs and environmental impacts through the integration of renewable energy sources and battery storage systems, all while maintaining essential quality-of-service standards. Numerical results demonstrate the effectiveness of the proposed model and solution in maintaining service quality as well as reducing operational costs and emissions. Furthermore, the impacts of renewable energy generation and battery storage on optimal system operations are rigorously analyzed.
△ Less
Submitted 21 October, 2023; v1 submitted 1 October, 2023;
originally announced October 2023.
-
A translation of N.M. Katz's "Exponential Sums"
Authors:
David T. Nguyen
Abstract:
These notes are devoted to the theory of exponential sums over finite fields. The first chapter recalls some of the number-theoretic interest of such sums. The second chapter discusses the $L$-functions attached to such sums, the "Weil conjectures" for these $L$-functions as established by Deligne, andthe consequences for the exponential sums themselves. The third chapter is devoted to the cohomol…
▽ More
These notes are devoted to the theory of exponential sums over finite fields. The first chapter recalls some of the number-theoretic interest of such sums. The second chapter discusses the $L$-functions attached to such sums, the "Weil conjectures" for these $L$-functions as established by Deligne, andthe consequences for the exponential sums themselves. The third chapter is devoted to the cohomological interpretation of exponential sums and of their associated $L$-functions. These first three chapters are largely of an expository nature.
The main results are found in chapters four and five. Chapter four is devoted to theorems of uniformity "for almost all $p$" for the cohomological structure of quite general exponential sums. Chapter five is devoted to a precise analysis of the cohomological structure of certain specific classes of exponential sums for which the associated algebro-geometric situation is especially attractive.
△ Less
Submitted 13 August, 2023;
originally announced August 2023.
-
Generalized divisor functions in arithmetic progressions: I
Authors:
David T. Nguyen
Abstract:
We prove some distribution results for the $k$-fold divisor function in arithmetic progressions to moduli that exceed the square-root of length $X$ of the sum, with appropriate constrains and averaging on the moduli, saving a power of $X$ from the trivial bound. On assuming the Generalized Riemann Hypothesis, we obtain uniform power saving error terms that are independent of $k$.
We follow and s…
▽ More
We prove some distribution results for the $k$-fold divisor function in arithmetic progressions to moduli that exceed the square-root of length $X$ of the sum, with appropriate constrains and averaging on the moduli, saving a power of $X$ from the trivial bound. On assuming the Generalized Riemann Hypothesis, we obtain uniform power saving error terms that are independent of $k$.
We follow and specialize Y.T. Zhang's method on bounded gaps between primes to our setting. Our arguments are essentially self-contained, with the exception on the use of Deligne's work on the Riemann Hypothesis for varieties over finite fields. In particular, we avoid the reliance on Siegel's theorem, leading to some effective estimates.
△ Less
Submitted 13 August, 2023;
originally announced August 2023.
-
On Ramanujan-Fourier expansions
Authors:
David T. Nguyen
Abstract:
We heuristically study the shifted convolution $\sum_{n\le X} τ_k(n) τ_\ell(n+h)$ using a normalized version of Ramanujan-Fourier expansions for $τ_k(n)$ and verify they produce the expected answer.
We heuristically study the shifted convolution $\sum_{n\le X} τ_k(n) τ_\ell(n+h)$ using a normalized version of Ramanujan-Fourier expansions for $τ_k(n)$ and verify they produce the expected answer.
△ Less
Submitted 27 May, 2023;
originally announced May 2023.
-
Distributed Stochastic Optimization with Gradient Tracking over Time-Varying Directed Networks
Authors:
Duong Thuy Anh Nguyen,
Duong Tung Nguyen,
Angelia Nedich
Abstract:
We study a distributed method called SAB-TV, which employs gradient tracking to collaboratively minimize the sum of smooth and strongly-convex local cost functions for networked agents communicating over a time-varying directed graph. Each agent, assumed to have access to a stochastic first-order oracle for obtaining an unbiased estimate of the gradient of its local cost function, maintains an aux…
▽ More
We study a distributed method called SAB-TV, which employs gradient tracking to collaboratively minimize the sum of smooth and strongly-convex local cost functions for networked agents communicating over a time-varying directed graph. Each agent, assumed to have access to a stochastic first-order oracle for obtaining an unbiased estimate of the gradient of its local cost function, maintains an auxiliary variable to asymptotically track the stochastic gradient of the global cost. The optimal decision and gradient tracking are updated over time through limited information exchange with local neighbors using row- and column-stochastic weights, guaranteeing both consensus and optimality. With a sufficiently small constant step-size, we demonstrate that, in expectation, SAB-TV converges linearly to a neighborhood of the optimal solution. Numerical simulations illustrate the effectiveness of the proposed algorithm.
△ Less
Submitted 29 October, 2023; v1 submitted 30 April, 2023;
originally announced May 2023.
-
Generalized divisor functions in arithmetic progressions: II
Authors:
D. T. Nguyen
Abstract:
We obtain a new bound on the second moment of modified shifted convolutions of the generalized 3-fold divisor function, and show that, for applications, the modified version is sufficient.
We obtain a new bound on the second moment of modified shifted convolutions of the generalized 3-fold divisor function, and show that, for applications, the modified version is sufficient.
△ Less
Submitted 13 August, 2023; v1 submitted 24 February, 2023;
originally announced February 2023.
-
Accelerated $AB$/Push-Pull Methods for Distributed Optimization over Time-Varying Directed Networks
Authors:
Duong Thuy Anh Nguyen,
Duong Tung Nguyen,
Angelia Nedich
Abstract:
This paper investigates a novel approach for solving the distributed optimization problem in which multiple agents collaborate to find the global decision that minimizes the sum of their individual cost functions. First, the $AB$/Push-Pull gradient-based algorithm is considered, which employs row- and column-stochastic weights simultaneously to track the optimal decision and the gradient of the gl…
▽ More
This paper investigates a novel approach for solving the distributed optimization problem in which multiple agents collaborate to find the global decision that minimizes the sum of their individual cost functions. First, the $AB$/Push-Pull gradient-based algorithm is considered, which employs row- and column-stochastic weights simultaneously to track the optimal decision and the gradient of the global cost function, ensuring consensus on the optimal decision. Building on this algorithm, we then develop a general algorithm that incorporates acceleration techniques, such as heavy-ball momentum and Nesterov momentum, as well as their combination with non-identical momentum parameters. Previous literature has established the effectiveness of acceleration methods for various gradient-based distributed algorithms and demonstrated linear convergence for static directed communication networks. In contrast, we focus on time-varying directed communication networks and establish linear convergence of the methods to the optimal solution, when the agents' cost functions are smooth and strongly convex. Additionally, we provide explicit bounds for the step-size value and momentum parameters, based on the properties of the cost functions, the mixing matrices, and the graph connectivity structures. Our numerical results illustrate the benefits of the proposed acceleration techniques on the $AB$/Push-Pull algorithm.
△ Less
Submitted 21 June, 2023; v1 submitted 2 February, 2023;
originally announced February 2023.
-
A Fairness-Aware Attacker-Defender Model for Optimal Edge Network Operation and Protection
Authors:
Duong Thuy Anh Nguyen,
Jiaming Cheng,
Ni Trieu,
Duong Tung Nguyen
Abstract:
While various aspects of edge computing (EC) have been studied extensively, the current literature has overlooked the robust edge network operations and planning problem. To this end, this letter proposes a novel fairness-aware attacker-defender model for optimal edge network operation and hardening against possible attacks and disruptions. The proposed model helps EC platforms identify the set of…
▽ More
While various aspects of edge computing (EC) have been studied extensively, the current literature has overlooked the robust edge network operations and planning problem. To this end, this letter proposes a novel fairness-aware attacker-defender model for optimal edge network operation and hardening against possible attacks and disruptions. The proposed model helps EC platforms identify the set of most critical nodes to be protected to mitigate the impact of failures on system performance. Numerical results show that the proposed solution can not only ensure good service quality but also maintain fairness among different areas during disruptions.
△ Less
Submitted 6 February, 2023; v1 submitted 16 January, 2023;
originally announced January 2023.
-
AB/Push-Pull Method for Distributed Optimization in Time-Varying Directed Networks
Authors:
Angelia Nedich,
Duong Thuy Anh Nguyen,
Duong Tung Nguyen
Abstract:
In this paper, we study the distributed optimization problem for a system of agents embedded in time-varying directed communication networks. Each agent has its own cost function and agents cooperate to determine the global decision that minimizes the summation of all individual cost functions. We consider the so-called push-pull gradient-based algorithm (termed as AB/Push-Pull) which employs both…
▽ More
In this paper, we study the distributed optimization problem for a system of agents embedded in time-varying directed communication networks. Each agent has its own cost function and agents cooperate to determine the global decision that minimizes the summation of all individual cost functions. We consider the so-called push-pull gradient-based algorithm (termed as AB/Push-Pull) which employs both row- and column-stochastic weights simultaneously to track the optimal decision and the gradient of the global cost while ensuring consensus and optimality. We show that the algorithm converges linearly to the optimal solution over a time-varying directed network for a constant stepsize when the agent's cost function is smooth and strongly convex. The linear convergence of the method has been shown in Saadatniaki et al. (2020), where the multi-step consensus contraction parameters for row- and column-stochastic mixing matrices are not directly related to the underlying graph structure, and the explicit range for the stepsize value is not provided. With respect to Saadatniaki et al. (2020), the novelty of this work is twofold: (1) we establish the one-step consensus contraction for both row- and column-stochastic mixing matrices with the contraction parameters given explicitly in terms of the graph diameter and other graph properties; and (2) we provide explicit upper bounds for the stepsize value in terms of the properties of the cost functions, the mixing matrices, and the graph connectivity structure.
△ Less
Submitted 26 September, 2022; v1 submitted 14 September, 2022;
originally announced September 2022.
-
On correlation of the 3-fold divisor function with itself
Authors:
David T. Nguyen
Abstract:
Let $ζ^k(s) = \sum_{n=1}^\infty τ_k(n) n^{-s}, \Re s > 1$.
We present three conditional results on the ternary additive correlation sum $$\sum_{n\le X} τ_3(n) τ_3(n+h),\quad (h\ge 1),$$ and give numerical verifications of our method. The first is a conditional proof for the full main term of the above correlation sum for any composite shift $1 \le h \le X^{2/3}$, on assuming an averaged level of…
▽ More
Let $ζ^k(s) = \sum_{n=1}^\infty τ_k(n) n^{-s}, \Re s > 1$.
We present three conditional results on the ternary additive correlation sum $$\sum_{n\le X} τ_3(n) τ_3(n+h),\quad (h\ge 1),$$ and give numerical verifications of our method. The first is a conditional proof for the full main term of the above correlation sum for any composite shift $1 \le h \le X^{2/3}$, on assuming an averaged level of distribution for the three-fold divisor function $τ_3(n)$ in arithmetic progressions to level two-thirds. The second is a conditional derivation for the leading order main term asymptotics of this correlation sum, also valid for any composite shift $1 \le h \le X^{2/3}$. The third result gives a complete expansion of the polynomial for the full main term for the special case $h=1$ from both our method and from the delta-method, showing that our answers match.
Our method is essentially elementary, especially for the $h=1$ case, uses congruences, and, as alluded to earlier, gives the same answer as in prior prediction of Conrey and Gonek [Duke Math. J. 107 (3) 2002], previously computed by Ng and Thom [Funct. Approx. Comment. Math. 60(1) 2019], and unpublished heuristic probabilistic arguments of Tao. Our procedure is general and works to give the full main term with a power-saving error term for any correlations of the form $\sum_{n\le X} τ_k(n) f(n+h)$, to any composite shift $h$, and for a wide class of arithmetic function $f(n)$.
△ Less
Submitted 13 August, 2023; v1 submitted 12 June, 2022;
originally announced June 2022.
-
Variance of the k-fold divisor function in arithmetic progressions for individual modulus
Authors:
David T. Nguyen
Abstract:
In this paper, we confirm a smoothed version of a recent conjecture on the variance of the k-fold divisor function in arithmetic progressions to individual composite moduli, in a restricted range. In contrast to a previous result of Rodgers and Soundararajan, we do not require averaging over the moduli. Our proof adapts a technique of S. Lester who treated in the same range the variance of the k-f…
▽ More
In this paper, we confirm a smoothed version of a recent conjecture on the variance of the k-fold divisor function in arithmetic progressions to individual composite moduli, in a restricted range. In contrast to a previous result of Rodgers and Soundararajan, we do not require averaging over the moduli. Our proof adapts a technique of S. Lester who treated in the same range the variance of the k-fold divisor function in the short intervals setting, and is based on a smoothed Voronoi summation formula but twisted by multiplicative characters. The use of Dirichlet characters allows us to extend to a wider range from previous result of Kowalski and Ricotta who used additive characters. Smoothing also permits us to treat all k unconditionally. This result is closely related to moments of Dirichlet L-functions.
△ Less
Submitted 24 February, 2023; v1 submitted 4 May, 2022;
originally announced May 2022.
-
A Bilevel Programming Framework for Joint Edge Resource Management and Pricing
Authors:
Tarannum Nisha,
Duong Tung Nguyen,
Vijay K. Bhargava
Abstract:
The emerging edge computing paradigm promises to provide low latency and ubiquitous computation to numerous mobile and Internet of Things (IoT) devices at the network edge. How to efficiently allocate geographically distributed heterogeneous edge resources to a variety of services is a challenging task. While this problem has been studied extensively in recent years, most of the previous work has…
▽ More
The emerging edge computing paradigm promises to provide low latency and ubiquitous computation to numerous mobile and Internet of Things (IoT) devices at the network edge. How to efficiently allocate geographically distributed heterogeneous edge resources to a variety of services is a challenging task. While this problem has been studied extensively in recent years, most of the previous work has largely ignored the preferences of the services when making edge resource allocation decisions. To this end, this paper introduces a novel bilevel optimization model, which explicitly takes the service preferences into consideration, to study the interaction between an EC platform and multiple services. The platform manages a set of edge nodes (ENs) and acts as the leader while the services are the followers. Given the service placement and resource pricing decisions of the leader, each service decides how to optimally divide its workload to different ENs. The proposed framework not only maximizes the profit of the platform but also minimizes the cost of every service. When there is a single EN, we derive a simple analytic solution for the underlying problem. For the general case with multiple ENs and multiple services, we present a Karush Kuhn Tucker based solution and a duality based solution, combining with a series of linearizations, to solve the bilevel problem. Extensive numerical results are shown to illustrate the efficacy of the proposed model.
△ Less
Submitted 14 February, 2022; v1 submitted 18 July, 2021;
originally announced July 2021.
-
Resilient Edge Service Placement under Demand and Node Failure Uncertainties
Authors:
Jiaming Cheng,
Duong Tung Nguyen,
Vijay K. Bhargava
Abstract:
Resiliency plays a critical role in designing future communication networks. How to make edge computing systems resilient against unpredictable failures and fluctuating demand is an important and challenging problem. To this end, this paper investigates a resilient service placement and workload allocation problem for a service provider (SP) who can procure resources from numerous edge nodes to se…
▽ More
Resiliency plays a critical role in designing future communication networks. How to make edge computing systems resilient against unpredictable failures and fluctuating demand is an important and challenging problem. To this end, this paper investigates a resilient service placement and workload allocation problem for a service provider (SP) who can procure resources from numerous edge nodes to serve its users, considering both resource demand and node failure uncertainties. We introduce a novel two-stage adaptive robust model to capture this problem. The service placement and resource procurement decisions are optimized in the first stage while the workload allocation decision is determined in the second stage after the uncertainty realization. By exploiting the special structure of the uncertainty set, we develop an efficient iterative algorithm that can converge to an exact optimal solution within a finite number of iterations. We further present an affine decision rule approximation approach for solving large-scale problem instances in a reasonable time. Extensive numerical results demonstrate the advantages of the proposed model and approaches, which can help the SP make proactive decisions to mitigate the impacts of the uncertainties.
△ Less
Submitted 27 June, 2023; v1 submitted 9 July, 2021;
originally announced July 2021.
-
Unified modelling of epidemics by coupled dynamics via Monte-Carlo Markov Chain algorithms
Authors:
Frédéric Protin,
Martel Jules,
Duc Thang Nguyen,
Hang T. T. Nguyen,
Charles Piffault,
Willy Rodríguez,
Susely Figueroa Iglesias,
Tat Dat Tô,
Wilderich Tuschmann,
Hông Vân Lê,
Tenan Yeo,
Tien Zung Nguyen
Abstract:
To forecast the time dynamics of an epidemic, we propose a discrete stochastic model that unifies and generalizes previous approaches to the subject. Viewing a given population of individuals or groups of individuals with given health state attributes as living in and moving between the nodes of a graph, we use Monte-Carlo Markov Chain techniques to simulate the movements and health state changes…
▽ More
To forecast the time dynamics of an epidemic, we propose a discrete stochastic model that unifies and generalizes previous approaches to the subject. Viewing a given population of individuals or groups of individuals with given health state attributes as living in and moving between the nodes of a graph, we use Monte-Carlo Markov Chain techniques to simulate the movements and health state changes of the individuals according to given probabilities of stay that have been preassigned to each of the nodes. We utilize this model to either capture and predict the future geographic evolution of an epidemic in time, or the evolution of an epidemic inside a heterogeneous population which is divided into homogeneous sub-populations, or, more generally, its evolution in a combination or superposition of the previous two contexts. We also prove that when the size of the population increases and a natural hypothesis is satisfied, the stochastic process associated to our model converges to a deterministic process. Indeed, when the length of the time step used in the discrete model converges to zero, in the limit this deterministic process is driven by a differential equation yielding the evolution of the expectation value of the number of infected as a function of time. In the second part of the paper, we apply our model to study the evolution of the Covid-19 epidemic. We deduce a decomposition of the function yielding the number of infectious individuals into "wavelets", which allows to trace in time the expectation value for the number of infections inside each sub-population. Within this framework, we also discuss possible causes for the occurrence of multiple epidemiological waves.
△ Less
Submitted 25 June, 2021;
originally announced June 2021.
-
Stable and accurate numerical methods for generalized Kirchhoff-Love plates
Authors:
Duong T. A. Nguyen,
Longfei Li,
Hangjie Ji
Abstract:
Efficient and accurate numerical algorithms are developed to solve a generalized Kirchhoff-Love plate model subject to three common physical boundary conditions: (i) clamped; (ii) simply supported; and (iii) free. We solve the model equation by discretizing the spatial derivatives using second-order finite-difference schemes, and then advancing the semi-discrete problem in time with either an expl…
▽ More
Efficient and accurate numerical algorithms are developed to solve a generalized Kirchhoff-Love plate model subject to three common physical boundary conditions: (i) clamped; (ii) simply supported; and (iii) free. We solve the model equation by discretizing the spatial derivatives using second-order finite-difference schemes, and then advancing the semi-discrete problem in time with either an explicit predictor-corrector or an implicit Newmark-Beta time-step** algorithm. Stability analysis is conducted for the schemes and the results are used to determine stable time steps in practice.
A series of carefully chosen test problems are solved to demonstrate the properties and applications of our numerical approaches. The numerical results confirm the stability and 2nd-order accuracy of the algorithms, and are also comparable with experiments for similar thin plates. As an application, we illustrate a strategy to identify the natural frequencies of a plate using our numerical methods in conjunction with a fast Fourier transformation (FFT) power spectrum analysis of the computed data. Then we take advantage of one of the computed natural frequencies to simulate the interesting physical phenomena known as resonance and beat for a generalized Kirchhoff-Love plate.
△ Less
Submitted 4 August, 2020;
originally announced August 2020.
-
MDFEM: Multivariate decomposition finite element method for elliptic PDEs with lognormal diffusion coefficients using higher-order QMC and FEM
Authors:
Dong T. P. Nguyen,
Dirk Nuyens
Abstract:
We introduce the multivariate decomposition finite element method for elliptic PDEs with lognormal diffusion coefficient $a=\exp(Z)$ where $Z$ is a Gaussian random field defined by an infinite series expansion $Z(\boldsymbol{y}) = \sum_{j\ge1} y_j\,φ_j$ with $y_j\sim\mathcal{N}(0,1)$ and a given sequence of functions $\{φ_j\}_{j\ge1}$. We use the MDFEM to approximate the expected value of a linear…
▽ More
We introduce the multivariate decomposition finite element method for elliptic PDEs with lognormal diffusion coefficient $a=\exp(Z)$ where $Z$ is a Gaussian random field defined by an infinite series expansion $Z(\boldsymbol{y}) = \sum_{j\ge1} y_j\,φ_j$ with $y_j\sim\mathcal{N}(0,1)$ and a given sequence of functions $\{φ_j\}_{j\ge1}$. We use the MDFEM to approximate the expected value of a linear functional of the solution of the PDE which is an infinite-dimensional integral over the parameter space. The proposed algorithm uses the multivariate decomposition method (MDM) to compute the infinite-dimensional integral by a decomposition into finite-dimensional integrals, which we resolve using quasi-Monte Carlo (QMC) methods, and for which we use the finite element method (FEM) to solve different instances of the PDE.
We develop higher-order quasi-Monte Carlo rules for integration over the finite-dimensional Euclidean space with respect to the Gaussian distribution by use of a truncation strategy. By linear transformations of interlaced polynomial lattice rules from the unit cube to a multivariate box of the Euclidean space we achieve higher-order convergence rates for functions belonging to a class of anchored Gaussian Sobolev spaces, taking into account the truncation error.
Under appropriate conditions, the MDFEM achieves higher-order convergence rates in term of error versus cost, i.e., to achieve an accuracy of $O(ε)$ the computational cost is $O(ε^{-1/λ-d'/λ}) = O(ε^{-(p^*+d'/τ)/(1-p^*)})$ where $ε^{-1/λ}$ and $ε^{-d'/λ}$ are respectively the cost of the quasi-Monte Carlo cubature and the finite element approximations, with $d' = d \, (1+δ')$ for some $δ' \ge 0$ and $d$ the physical dimension, and $0 < p^* \le (2+d'/τ)^{-1}$ is a parameter representing the sparsity of $\{φ_j\}_{j\ge1}$.
△ Less
Submitted 27 September, 2021; v1 submitted 30 April, 2019;
originally announced April 2019.
-
MDFEM: Multivariate decomposition finite element method for elliptic PDEs with uniform random diffusion coefficients using higher-order QMC and FEM
Authors:
Dong T. P. Nguyen,
Dirk Nuyens
Abstract:
We introduce the multivariate decomposition finite element method (MDFEM) for solving elliptic PDEs with uniform random diffusion coefficients. We show that the MDFEM can be used to reduce the computational complexity of estimating the expected value of a linear functional of the solution of the PDE. The proposed algorithm combines the multivariate decomposition method (MDM), to compute infinite d…
▽ More
We introduce the multivariate decomposition finite element method (MDFEM) for solving elliptic PDEs with uniform random diffusion coefficients. We show that the MDFEM can be used to reduce the computational complexity of estimating the expected value of a linear functional of the solution of the PDE. The proposed algorithm combines the multivariate decomposition method (MDM), to compute infinite dimensional integrals, with the finite element method (FEM), to solve different instances of the PDE. The strategy of the MDFEM is to decompose the infinite-dimensional problem into multiple finite-dimensional ones which lends itself to easier parallelization than to solve a single large dimensional problem. Our first result adjusts the analysis of the multivariate decomposition method to incorporate the log-factor which typically appears in error bounds for multivariate quadrature, i.e., cubature, methods; and we take care of the fact that the number of points $n$ needs to come, e.g., in powers of 2 for higher order approximations. For the further analysis we specialize the cubature methods to be two types of quasi-Monte Carlo (QMC) rules, being digitally shifted polynomial lattice rules and interlaced polynomial lattice rules. The second and main contribution then presents a bound on the error of the MDFEM and shows higher-order convergence w.r.t. the total computational cost in case of the interlaced polynomial lattice rules in combination with a higher-order finite element method.
△ Less
Submitted 8 July, 2021; v1 submitted 31 October, 2018;
originally announced October 2018.
-
Sticky Brownian motions and a probabilistic solution to a two-point boundary value problem
Authors:
Thu Dang Thien Nguyen
Abstract:
In this paper, we study a two-point boundary value problem consisting of the heat equation on the open interval $(0,1)$ with boundary conditions which relate first and second spatial derivatives at the boundary points. Moreover, the unique solution to this problem can be represented probabilistically in terms of a sticky Brownian motion. This probabilistic representation is attained from the stoch…
▽ More
In this paper, we study a two-point boundary value problem consisting of the heat equation on the open interval $(0,1)$ with boundary conditions which relate first and second spatial derivatives at the boundary points. Moreover, the unique solution to this problem can be represented probabilistically in terms of a sticky Brownian motion. This probabilistic representation is attained from the stochastic differential equation for a sticky Brownian motion on the bounded interval $[0,1]$.
△ Less
Submitted 15 October, 2018;
originally announced October 2018.
-
Particle model for the reservoirs in the simple symmetric exclusion process
Authors:
Thu Dang Thien Nguyen
Abstract:
In this paper, we will study the long time behavior of the simple symmetric exclusion process in the ``channel'' $Λ_N=[1,N]\cap \mathbb{N}$ with reservoirs at the boundaries. These reservoirs are also systems of particles which can be exchanged with the particles in the channel. The size $M$ of each reservoir is much larger than the one of the channel, i.e. $M=N^{1+α}$ for a fixed number $α>0$. Ba…
▽ More
In this paper, we will study the long time behavior of the simple symmetric exclusion process in the ``channel'' $Λ_N=[1,N]\cap \mathbb{N}$ with reservoirs at the boundaries. These reservoirs are also systems of particles which can be exchanged with the particles in the channel. The size $M$ of each reservoir is much larger than the one of the channel, i.e. $M=N^{1+α}$ for a fixed number $α>0$. Based on the size of the channel and the holding time at each reservoir, we will investigate some types of rescaling time.
△ Less
Submitted 25 July, 2018;
originally announced July 2018.
-
Fick law and sticky Brownian motions
Authors:
Thu Dang Thien Nguyen
Abstract:
We consider an interacting particle system in the interval $[1,N]$ with reservoirs at the boundaries. While the dynamics in the channel is the simple symmetric exclusion process, the reservoirs are also particle systems which interact with the given system by exchanging particles. In this paper we study the case where the size of each reservoir is the same as the size of the channel . We will prov…
▽ More
We consider an interacting particle system in the interval $[1,N]$ with reservoirs at the boundaries. While the dynamics in the channel is the simple symmetric exclusion process, the reservoirs are also particle systems which interact with the given system by exchanging particles. In this paper we study the case where the size of each reservoir is the same as the size of the channel . We will prove that the hydrodynamic limit equation is the heat equation with boundary conditions which relate first and second spatial derivatives at the boundaries for which we will prove the existence and uniqueness of weak solutions. The propagation of chaos property can also be derived.
△ Less
Submitted 20 April, 2018;
originally announced April 2018.
-
E-motives and motivic stable homotopy
Authors:
Le Dang Thi Nguyen
Abstract:
We introduce in this work the notion of the category of pure $\mathbf{E}$-Motives, where $\mathbf{E}$ is a motivic strict ring spectrum and construct twisted $\mathbf{E}$-cohomology by using six functors formalism of J. Ayoub. In particular, we construct the category of pure Chow-Witt motives $CHW(k)_{\mathbb{Q}}$ over a field $k$ and show that this category admits a fully faithful embedding into…
▽ More
We introduce in this work the notion of the category of pure $\mathbf{E}$-Motives, where $\mathbf{E}$ is a motivic strict ring spectrum and construct twisted $\mathbf{E}$-cohomology by using six functors formalism of J. Ayoub. In particular, we construct the category of pure Chow-Witt motives $CHW(k)_{\mathbb{Q}}$ over a field $k$ and show that this category admits a fully faithful embedding into the geometric stable $\mathbb{A}^1$-derived category $D_{\mathbb{A}^1,gm}(k)_{\mathbb{Q}}$.
△ Less
Submitted 25 April, 2017;
originally announced April 2017.
-
Explicit formulas for enumeration of lattice paths: basketball and the kernel method
Authors:
Cyril Banderier,
Christian Krattenthaler,
Alan Krinik,
Dmitry Kruchinin,
Vladimir Kruchinin,
David Tuan Nguyen,
Michael Wallner
Abstract:
This article deals with the enumeration of directed lattice walks on the integers with any finite set of steps, starting at a given altitude $j$ and ending at a given altitude $k$, with additional constraints such as, for example, to never attain altitude $0$ in-between. We first discuss the case of walks on the integers with steps $-h, \dots, -1, +1, \dots, +h$. The case $h=1$ is equivalent to th…
▽ More
This article deals with the enumeration of directed lattice walks on the integers with any finite set of steps, starting at a given altitude $j$ and ending at a given altitude $k$, with additional constraints such as, for example, to never attain altitude $0$ in-between. We first discuss the case of walks on the integers with steps $-h, \dots, -1, +1, \dots, +h$. The case $h=1$ is equivalent to the classical Dyck paths, for which many ways of getting explicit formulas involving Catalan-like numbers are known. The case $h=2$ corresponds to "basketball" walks, which we treat in full detail. Then we move on to the more general case of walks with any finite set of steps, also allowing some weights/probabilities associated with each step. We show how a method of wide applicability, the so-called "kernel method", leads to explicit formulas for the number of walks of length $n$, for any $h$, in terms of nested sums of binomials. We finally relate some special cases to other combinatorial problems, or to problems arising in queuing theory.
△ Less
Submitted 3 February, 2017; v1 submitted 21 September, 2016;
originally announced September 2016.
-
Multivariate integration over $\R^s$ with exponential rate of convergence
Authors:
Dong T. P. Nguyen,
Dirk Nuyens
Abstract:
In this paper we analyze the approximation of multivariate integrals over the Euclidean plane for functions which are analytic. We show explicit upper bounds which attain the exponential rate of convergence. We use an infinite grid with different mesh sizes and lengths in each direction to sample the function, and then truncate it. In our analysis, the mesh sizes and the truncated domain are chose…
▽ More
In this paper we analyze the approximation of multivariate integrals over the Euclidean plane for functions which are analytic. We show explicit upper bounds which attain the exponential rate of convergence. We use an infinite grid with different mesh sizes and lengths in each direction to sample the function, and then truncate it. In our analysis, the mesh sizes and the truncated domain are chosen by optimally balancing the truncation error and the discretization error.
This paper derives results in comparable function space settings, extended to $\R^s$, as which were recently obtained in the unit cube by Dick, Larcher, Pillichshammer and Wo{ź}niakowski (2011).
They showed that both lattice rules and regular grids, with different mesh sizes in each direction, attain exponential rates, hence motivating us to analyze only cubature formula based on regular meshes.
We further also amend the analysis of older publications, e.g., Sloan and Osborn (1987) and Sugihara (1987), using lattice rules on $\R^s$ by taking the truncation error into account and extending them to take the anisotropy of the function space into account.
△ Less
Submitted 16 March, 2018; v1 submitted 26 August, 2016;
originally announced August 2016.
-
A cellular basis of the $q$-Brauer algebra related with Murphy bases of the Hecke algebras
Authors:
Dung Tien Nguyen
Abstract:
A new basis of the $q$-Brauer algebra is introduced, which is a lift of Murphy bases of Hecke algebras of symmetric groups. This basis is a cellular basis in the sense of Graham and Lehrer. Subsequently, using combinatorial language we prove that the non-isomorphic simple $q$-Brauer modules are indexed by the $e(q^2)$-restricted partitions of $n-2k$ where $k$ is an integer, $0 \le k \le [n/2]$. Wh…
▽ More
A new basis of the $q$-Brauer algebra is introduced, which is a lift of Murphy bases of Hecke algebras of symmetric groups. This basis is a cellular basis in the sense of Graham and Lehrer. Subsequently, using combinatorial language we prove that the non-isomorphic simple $q$-Brauer modules are indexed by the $e(q^2)$-restricted partitions of $n-2k$ where $k$ is an integer, $0 \le k \le [n/2]$. When the $q$-Brauer algebra has low-dimension a criterion of semisimplicity is given, which is used to show that the $q$-Brauer algebra is in general not isomorphic to the BMW-algebra.}
△ Less
Submitted 12 September, 2013; v1 submitted 18 February, 2013;
originally announced February 2013.
-
Cellular structure of $q$-Brauer algebras
Authors:
Dung Tien Nguyen
Abstract:
In this paper we consider the $q$-Brauer algebra over $R$ a commutative noetherian domain. We first construct a new basis for $q$-Brauer algebras, and we then prove that it is a cell basis, and thus these algebras are cellular in the sense of Graham and Lehrer. In particular, they are shown to be an iterated inflation of Hecke algebras of type $A_{n-1}.$ Moreover, when $R$ is a field of arbitrary…
▽ More
In this paper we consider the $q$-Brauer algebra over $R$ a commutative noetherian domain. We first construct a new basis for $q$-Brauer algebras, and we then prove that it is a cell basis, and thus these algebras are cellular in the sense of Graham and Lehrer. In particular, they are shown to be an iterated inflation of Hecke algebras of type $A_{n-1}.$ Moreover, when $R$ is a field of arbitrary characteristic, we determine for which parameters the $q$-Brauer algebras are quasi-heredity. So the general theory of cellular algebras and quasi-hereditary algebras applies to $q$-Brauer algebras. As a consequence, we can determine all irreducible representations of $q$-Brauer algebras by linear algebra methods.
△ Less
Submitted 16 October, 2012; v1 submitted 31 August, 2012;
originally announced August 2012.
-
Embedding of category of twisted Chow-Witt correspondences into geometric stable $\A^1$-derived category over a field
Authors:
Le Dang Thi Nguyen
Abstract:
We introduce in this note the notion of the category of twisted Chow-Witt correspondences $CHW(k)$ over a field $k$ of characteristic different from $2$. Moreover, we show that over an infinite perfect field this category $CHW(k)$ admits a fully faithful embedding into the geometric stable $\A^1$-derived category $D_{\A^1,gm}(k)$ after taking $\Q$-localization. We also prove a conjecture of F. Mor…
▽ More
We introduce in this note the notion of the category of twisted Chow-Witt correspondences $CHW(k)$ over a field $k$ of characteristic different from $2$. Moreover, we show that over an infinite perfect field this category $CHW(k)$ admits a fully faithful embedding into the geometric stable $\A^1$-derived category $D_{\A^1,gm}(k)$ after taking $\Q$-localization. We also prove a conjecture of F. Morel about the rational splitting of stable $\A^1$-cohomology over an essentially smooth scheme $S$ over a field $k$ of $char(k) \neq 2$.
△ Less
Submitted 18 March, 2014; v1 submitted 12 April, 2012;
originally announced April 2012.