-
Numerical coupling of aerosol emissions, dry removal, and turbulent mixing in the E3SM Atmosphere Model version 1 (EAMv1), part II: a semi-discrete error analysis framework for assessing coupling schemes
Authors:
Christopher J. Vogl,
Hui Wan,
Carol S. Woodward,
Quan M. Bui
Abstract:
This paper complements the empirical justification of the revised scheme in Part I of this work with a mathematical justification leveraging a semi-discrete analysis framework for assessing the splitting error of process coupling methods. The novelty of the framework is that splitting error is distinguished from the process time integration errors, i.e., the errors caused by discrete time integrat…
▽ More
This paper complements the empirical justification of the revised scheme in Part I of this work with a mathematical justification leveraging a semi-discrete analysis framework for assessing the splitting error of process coupling methods. The novelty of the framework is that splitting error is distinguished from the process time integration errors, i.e., the errors caused by discrete time integration of individual processes, leading to expressions that are more easily interpreted utilizing existing physical understanding of the processes that the terms represent. This application of this framework to dust life cycle in EAMv1 showcases such an interpretation, using the leading-order splitting error that results from the framework to confirm (i) that the original EAMv1 scheme artificially strengthens the effect of dry removal processes, and (ii) that the revised splitting reduces that artificial strengthening. While the error analysis framework is presented in the context of the dust life cycle in EAMv1, the framework can be broadly leveraged to evaluate process coupling schemes, both in other physical problems and for any number of processes. This framework will be particularly powerful when the various process implementations support a variety of time integration approaches. Whereas traditional local truncation error approaches require separate consideration of each combination of time integration methods, this framework enables evaluation of coupling schemes independent of particular time integration approaches for each process while still allowing for the incorporation of these specific time integration errors if so desired. The framework also explains how the splitting error terms result from (i) the integration of individual processes in isolation from other processes, and (ii) the choices of input state and timestep size for the isolated integration of processes.
△ Less
Submitted 20 February, 2024; v1 submitted 8 June, 2023;
originally announced June 2023.
-
The Distribution of Error Terms of Smoothed Summatory Totient Functions
Authors:
Sanjana Das,
Hannah Lang,
Hamilton Wan,
Nancy Xu
Abstract:
We consider the summatory function of the totient function after applications of a suitable smoothing operator and study the limiting behavior of the associated error term. Under several conditional assumptions, we show that the smoothed error term possesses a limiting logarithmic distribution through a framework consolidated by Akbary--Ng--Shahabi. To obtain this result, we prove a truncated vers…
▽ More
We consider the summatory function of the totient function after applications of a suitable smoothing operator and study the limiting behavior of the associated error term. Under several conditional assumptions, we show that the smoothed error term possesses a limiting logarithmic distribution through a framework consolidated by Akbary--Ng--Shahabi. To obtain this result, we prove a truncated version of Perron's inversion formula for arbitrary Riesz typical means. We conclude with a conditional proof that at least two applications of the smoothing operator are necessary and sufficient to bound the growth of the error term by $\sqrt{x}$.
△ Less
Submitted 15 July, 2022;
originally announced July 2022.
-
Distributions of Hook Lengths Divisible by Two or Three
Authors:
Hannah Lang,
Hamilton Wan,
Nancy Xu
Abstract:
For fixed $t = 2$ or $3$, we investigate the statistical properties of $\{Y_t(n)\}$, the sequence of random variables corresponding to the number of hook lengths divisible by $t$ among the partitions of $n$. We characterize the support of $Y_t(n)$ and show, in accordance with empirical observations, that the support is vanishingly small for large $n$. Moreover, we demonstrate that the nonzero valu…
▽ More
For fixed $t = 2$ or $3$, we investigate the statistical properties of $\{Y_t(n)\}$, the sequence of random variables corresponding to the number of hook lengths divisible by $t$ among the partitions of $n$. We characterize the support of $Y_t(n)$ and show, in accordance with empirical observations, that the support is vanishingly small for large $n$. Moreover, we demonstrate that the nonzero values of the mass functions of $Y_2(n)$ and $Y_3(n)$ approximate continuous functions. Finally, we prove that although the mass functions fail to converge, the cumulative distribution functions of $\{Y_2(n)\}$ and $\{Y_3(n)\}$ converge pointwise to shifted Gamma distributions, completing a characterization initiated by Griffin--Ono--Tsai for $t \geq 4$.
△ Less
Submitted 11 November, 2022; v1 submitted 13 July, 2022;
originally announced July 2022.
-
The Distribution of $k$-Free Effective Divisors and the Summatory Totient Function in Function Fields
Authors:
Sanjana Das,
Hannah Lang,
Hamilton Wan,
Nancy Xu
Abstract:
Motivated by the study of the summatory $k$-free indicator and totient functions in the classical setting, we investigate their function field analogues. First, we derive an expression for the error terms of the summatory functions in terms of the zeros of the associated zeta function. Under the Linear Independence hypothesis, we explicitly construct the limiting distributions of these error terms…
▽ More
Motivated by the study of the summatory $k$-free indicator and totient functions in the classical setting, we investigate their function field analogues. First, we derive an expression for the error terms of the summatory functions in terms of the zeros of the associated zeta function. Under the Linear Independence hypothesis, we explicitly construct the limiting distributions of these error terms and compute the frequency with which they occur in an interval $[-β, β]$ for a real $β> 0$. We also show that these error terms are unbiased, that is, they are positive and negative equally often. Finally, we examine the average behavior of these error terms across families of hyperelliptic curves of fixed genus. We obtain these results by following a general framework initiated by Cha and Humphries.
△ Less
Submitted 25 July, 2023; v1 submitted 30 June, 2022;
originally announced July 2022.
-
Slope Gap Distribution of Saddle Connections on the 2n-gon
Authors:
Jonah Berman,
Taylor McAdam,
Ananth Miller-Murthy,
Caglar Uyanik,
Hamilton Wan
Abstract:
We explicitly compute the limiting slope gap distribution for saddle connections on any 2n-gon. Our calculations show that the slope gap distribution for a translation surface is not always unimodal, answering a question of Athreya. We also give linear lower and upper bounds for number of non-differentiability points as n grows. The latter result exhibits the first example of a non-trivial bound o…
▽ More
We explicitly compute the limiting slope gap distribution for saddle connections on any 2n-gon. Our calculations show that the slope gap distribution for a translation surface is not always unimodal, answering a question of Athreya. We also give linear lower and upper bounds for number of non-differentiability points as n grows. The latter result exhibits the first example of a non-trivial bound on an infinite family of translation surfaces and answers a question by Kumanduri-Sanchez-Wang.
△ Less
Submitted 18 June, 2022; v1 submitted 9 September, 2021;
originally announced September 2021.
-
The optimal global estimate and boundary behavior for large solutions to the k-Hessian equation
Authors:
Haitao Wan,
Yongxiu Shi
Abstract:
In this paper, we consider the $k$-Hessian equation $S_{k}(D^{2}u)=b(x)f(u)\mbox{ in }Ω,\,u=+\infty \mbox{ on }\partialΩ$, where $Ω$ is a smooth, bounded, strictly convex domain in $\mathbb{R}^{N}$ with $N\geq2$, $b\in \rm C^{\infty}(Ω)$ is positive in $Ω$ and may be singular or vanish on the boundary, $f\in C^{\infty}(0,\infty)\cap C[0, +\infty)$ (or $f\in C^{\infty}(\mathbb{R})$) is positive and…
▽ More
In this paper, we consider the $k$-Hessian equation $S_{k}(D^{2}u)=b(x)f(u)\mbox{ in }Ω,\,u=+\infty \mbox{ on }\partialΩ$, where $Ω$ is a smooth, bounded, strictly convex domain in $\mathbb{R}^{N}$ with $N\geq2$, $b\in \rm C^{\infty}(Ω)$ is positive in $Ω$ and may be singular or vanish on the boundary, $f\in C^{\infty}(0,\infty)\cap C[0, +\infty)$ (or $f\in C^{\infty}(\mathbb{R})$) is positive and increasing on $[0, +\infty)$ (or $\mathbb{R}$) and satisfies the Keller-Osserman type condition. We first supply an upper and lower solution method of classical $k$-convex large solutions to the above equation, and then we studied the optimal global estimate and boundary behavior of large solutions. In particular, we investigate the asymptotic behavior of such solutions when the parameters on $b$ tend to the corresponding critical values and infinity.
△ Less
Submitted 4 May, 2020; v1 submitted 27 April, 2020;
originally announced April 2020.
-
On A Fully Nonlinear Equation in Relativistic Teichmüller Theory
Authors:
Leun-Fai Tam,
Tom Yau-Heng Wan
Abstract:
We obtain basic estimates for a Monge-Ampère equation introduced by Moncrief in the study of the Relativistic Teichmüller Theory. We then give another proof of the parametrization of the Teichmüller space obtained by Moncrief. Our approach provides yet another proof of the classical Teichmüller theorem that the Teichmüller space of a compact oriented surface of genus $g(Σ)>1$ is diffeomorphic to t…
▽ More
We obtain basic estimates for a Monge-Ampère equation introduced by Moncrief in the study of the Relativistic Teichmüller Theory. We then give another proof of the parametrization of the Teichmüller space obtained by Moncrief. Our approach provides yet another proof of the classical Teichmüller theorem that the Teichmüller space of a compact oriented surface of genus $g(Σ)>1$ is diffeomorphic to the disk of dimension $6g(Σ)-6$. We also give another proof of properness of a certain energy function on the Teichmüller space.
△ Less
Submitted 8 May, 2019;
originally announced May 2019.
-
Improving solution accuracy and convergence for stochastic physics parameterizations with colored noise
Authors:
Panos Stinis,
Huan Lei,
**g Li,
Hui Wan
Abstract:
Stochastic parameterizations are used in numerical weather prediction and climate modeling to help capture the uncertainty in the simulations and improve their statistical properties. Convergence issues can arise when time integration methods originally developed for deterministic differential equations are applied naively to stochastic problems. (Hodyss et al 2013, 2014) demonstrated that a corre…
▽ More
Stochastic parameterizations are used in numerical weather prediction and climate modeling to help capture the uncertainty in the simulations and improve their statistical properties. Convergence issues can arise when time integration methods originally developed for deterministic differential equations are applied naively to stochastic problems. (Hodyss et al 2013, 2014) demonstrated that a correction term to various deterministic numerical schemes, known in stochastic analysis as the Itô correction, can help improve solution accuracy and ensure convergence to the physically relevant solution without substantial computational overhead. The usual formulation of the Itô correction is valid only when the stochasticity is represented by {\it white} noise. In this study, a generalized formulation of the Itô correction is derived for noises of any color. The formulation is applied to a test problem described by an advection-diffusion equation forced with a spectrum of fast processes. We present numerical results for cases with both constant and spatially varying advection velocities to show that, for the same time step sizes, the introduction of the generalized Itô correction helps to substantially reduce time integration error and significantly improve the convergence rate of the numerical solutions when the forcing term in the governing equation is rough (fast varying); alternatively, for the same target accuracy, the generalized Itô correction allows for the use of significantly longer time steps and hence helps to reduce the computational cost of the numerical simulation.
△ Less
Submitted 17 October, 2019; v1 submitted 17 April, 2019;
originally announced April 2019.
-
Asymptotically Optimal Inventory Control for Assemble-to-Order Systems
Authors:
Martin I. Reiman,
Haohua Wan,
Qiong Wang
Abstract:
We consider Assemble-to-Order (ATO) inventory systems with a general Bill of Materials and general deterministic lead times. Unsatisfied demands are always backlogged. We apply a four-step asymptotic framework to develop inventory policies for minimizing the long-run average expected total inventory cost. Our approach features a multi-stage Stochastic Program (SP) to establish a lower bound on the…
▽ More
We consider Assemble-to-Order (ATO) inventory systems with a general Bill of Materials and general deterministic lead times. Unsatisfied demands are always backlogged. We apply a four-step asymptotic framework to develop inventory policies for minimizing the long-run average expected total inventory cost. Our approach features a multi-stage Stochastic Program (SP) to establish a lower bound on the inventory cost and determine parameter values for inventory control. Our replenishment policy deviates from the conventional constant base stock policies to accommodate non-identical lead times. Our component allocation policy differentiates demands based on backlog costs, Bill of Materials, and component availabilities. We prove that our policy is asymptotically optimal on the diffusion scale, that is, as the longest lead time grows, the percentage difference between the average cost under our policy and its lower bound converges to zero. In develo** these results, we formulate a broad Stochastic Tracking Model and prove general convergence results from which the asymptotic optimality of our policy follows as specialized corollaries.
△ Less
Submitted 12 August, 2021; v1 submitted 21 September, 2018;
originally announced September 2018.
-
Exchange of Renewable Energy among Prosumers using Blockchain with Dynamic Pricing
Authors:
Arnob Ghosh,
Vaneet Aggarwal,
Hong Wan
Abstract:
We consider users which may have renewable energy harvesting devices, or distributed generators. Such users can behave as consumer or producer (hence, we denote them as prosumers) at different time instances. A prosumer may sell the energy to other prosumers in exchange of money. We consider a demand response model, where the price of conventional energy depends on the total demand of all the pros…
▽ More
We consider users which may have renewable energy harvesting devices, or distributed generators. Such users can behave as consumer or producer (hence, we denote them as prosumers) at different time instances. A prosumer may sell the energy to other prosumers in exchange of money. We consider a demand response model, where the price of conventional energy depends on the total demand of all the prosumers at a certain time. A prosumer depending on its own utility has to select the amount of energy it wants to buy either from the grid or from other prosumers, or the amount of excess energy it wants to sell to other prosumers. However, the strategy, and the payoff of a prosumer inherently depends on the strategy of other prosumers as a prosumer can only buy if the other prosumers are willing to sell. We formulate the problem as a coupled constrained game, and seek to obtain the generalized Nash equilibrium. We show that the game is a concave potential game and show that there exists a unique generalized Nash equilibrium. We consider that a platform will set the price for distributed interchange of energy among the prosumers in order to minimize the consumption of the conventional energy. We propose a distributed algorithm where the platform sets a price to each prosumer, and then each prosumer at a certain time only optimizes its own payoff. The prosumer then updates the price depending on the supply and demand for each prosumer. We show that the algorithm converges to an optimal generalized Nash equilibrium. The distributed algorithm also provides an optimal price for the exchange market.
△ Less
Submitted 22 April, 2018;
originally announced April 2018.
-
Calabi-Yau components in general type hypersurfaces
Authors:
Naichung Conan Leung,
Tom Y. H. Wan
Abstract:
For a one-parameter family of general type hypersurfaces with bases of holomorphic n-forms, we construct open covers using tropical geometry. We show that after normalization, each holomorphic n-form is approximately supported on a unique open component and such a pair approximates a Calabi-Yau hypersurface together with its holomorphic n-form as the parameter becomes large. We also show that th…
▽ More
For a one-parameter family of general type hypersurfaces with bases of holomorphic n-forms, we construct open covers using tropical geometry. We show that after normalization, each holomorphic n-form is approximately supported on a unique open component and such a pair approximates a Calabi-Yau hypersurface together with its holomorphic n-form as the parameter becomes large. We also show that the Lagrangian fibers in the fibration constructed by Mikhalkin are asymptotically special Lagrangian. As the holomorphic n-form plays an important role in mirror symmetry for Calabi-Yau manifolds, our results is a step toward understanding mirror symmetry for general type manifolds.
△ Less
Submitted 11 July, 2008;
originally announced July 2008.