Showing 1–50 of 476 results for author: Wu, H

Separation property and asymptotic behavior for a transmission problem of the bulk-surface coupled Cahn-Hilliard system with singular potentials and its Robin approximation

Authors: Maoyin Lv, Hao Wu

Abstract: We consider a class of bulk-surface coupled Cahn-Hilliard systems in a smooth, bounded domain $Ω\subset\mathbb{R}^{d}$ $(d\in\{2,3\})$, where the trace value of the bulk phase variable is connected to the surface phase variable via a Dirichlet boundary condition or its Robin approximation. For a general class of singular potentials (including the physically relevant logarithmic potential), we esta… ▽ More We consider a class of bulk-surface coupled Cahn-Hilliard systems in a smooth, bounded domain $Ω\subset\mathbb{R}^{d}$ $(d\in\{2,3\})$, where the trace value of the bulk phase variable is connected to the surface phase variable via a Dirichlet boundary condition or its Robin approximation. For a general class of singular potentials (including the physically relevant logarithmic potential), we establish the regularity propagation of global weak solutions to the initial boundary value problem. In particular, when the spatial dimension is two, we prove the instantaneous strict separation property, which ensures that every global weak solution remains uniformly away from the pure states $\pm 1$ after any given positive time. In the three-dimensional case, we obtain the eventual strict separation property that holds for sufficiently large time. This strict separation property allows us to prove that every global weak solution converges to a single equilibrium as time goes to infinity using the Łojasiewicz-Simon approach. Finally, we study the double obstacle limit for the problem with logarithmic potentials in the bulk and on the boundary, showing that as the absolute temperature $Θ$ tends to zero, the corresponding weak solutions converge (for a suitable subsequence) to a weak solution of the problem with a double obstacle potential. △ Less

Submitted 2 July, 2024; originally announced July 2024.

Comments: arXiv admin note: text overlap with arXiv:2405.20807

MSC Class: 35B40; 35B65; 35K35; 35K61; 35Q92

Hole probabilities of random zeros on compact Riemann surfaces

Authors: Hao Wu, Song-Yan Xie

Abstract: We establish a convergence speed estimate for hole probabilities of zeros of random holomorphic sections on compact Riemann surfaces. We establish a convergence speed estimate for hole probabilities of zeros of random holomorphic sections on compact Riemann surfaces. △ Less

Submitted 1 July, 2024; v1 submitted 27 June, 2024; originally announced June 2024.

MSC Class: 31A15; 32C30; 32L10; 60B10; 60D05

Multiple SLEs for $κ\in (0,8)$: Coulomb gas integrals and pure partition functions

Authors: Yu Feng, Mingchang Liu, Eveliina Peltola, Hao Wu

Abstract: In this article, we give an explicit relationship of SLE partition functions with Coulomb gas formalism of conformal field theory. We first construct a family of SLE${}_κ$ partition functions as Coulomb gas integrals and derive their various properties. In accordance with an interpretation as probabilistic correlations in loop $O(n)$ models, they are always positive when $κ\in (8/3,8)$, while they… ▽ More In this article, we give an explicit relationship of SLE partition functions with Coulomb gas formalism of conformal field theory. We first construct a family of SLE${}_κ$ partition functions as Coulomb gas integrals and derive their various properties. In accordance with an interpretation as probabilistic correlations in loop $O(n)$ models, they are always positive when $κ\in (8/3,8)$, while they may have zeroes for $κ\leq 8/3$. They also admit a Fröbenius series expansion that matches with the algebraic content from CFT. Moreover, we check that at the first level of fusion, they have logarithmic asymptotic behavior when $κ=8/3$ and $κ=8$, in accordance with logarithmic minimal models $M(2,1)$ and $M(2,3)$, respectively. Second, we construct SLE${}_κ$ pure partition functions and show that they are continuous in $κ\in (0,8)$ and they decay to zero as a polynomial of $(8-κ)$ when $κ\to 8$. We explicitly relate the Coulomb gas integrals and pure partition functions together in terms of the meander matrix. As a by-product, our results yield a construction of global non-simple multiple chordal SLE${}_κ$ measures ($κ\in (4,8)$) uniquely determined by their re-sampling property. △ Less

Submitted 10 June, 2024; originally announced June 2024.

Comments: 104 pages

The Optimal Production Transport: Model and Algorithm

Authors: Jie Fan, Tianhao Wu, Hao Wu

Abstract: In this paper, we propose the optimal production transport model, which is an extension of the classical optimal transport model. We observe in economics, the production of the factories can always be adjusted within a certain range, while the classical optimal transport does not take this situation into account. Therefore, differing from the classical optimal transport, one of the marginals is al… ▽ More In this paper, we propose the optimal production transport model, which is an extension of the classical optimal transport model. We observe in economics, the production of the factories can always be adjusted within a certain range, while the classical optimal transport does not take this situation into account. Therefore, differing from the classical optimal transport, one of the marginals is allowed to vary within a certain range in our proposed model. To address this, we introduce a multiple relaxation optimal production transport model and propose the generalized alternating Sinkhorn algorithms, inspired by the Sinkhorn algorithm and the double regularization method. By incorporating multiple relaxation variables and multiple regularization terms, the inequality and capacity constraints in the optimal production transport model are naturally satisfied. Alternating iteration algorithms are derived based on the duality of the regularized model. We also provide a theoretical analysis to guarantee the convergence of our proposed algorithms. Numerical results indicate significant advantages in terms of accuracy and efficiency. Furthermore, we apply the optimal production transport model to the coal production and transport problem. Numerical simulation demonstrates that our proposed model can save the production and transport cost by 13.17%. △ Less

Submitted 5 June, 2024; originally announced June 2024.

Comments: 28 pages, 4 figures

On the Cahn-Hilliard equation with kinetic rate dependent dynamic boundary condition and non-smooth potential: separation property and long-time behavior

Authors: Maoyin Lv, Hao Wu

Abstract: We consider a class of Cahn-Hilliard equation that characterizes phase separation phenomena of binary mixtures in a bounded domain $Ω\subset \mathbb{R}^d$ $(d\in \{2,3\})$ with non-permeable boundary. The equations in the bulk are subject to kinetic rate dependent dynamic boundary conditions with possible boundary diffusion acting on the boundary chemical potential. For the initial boundary value… ▽ More We consider a class of Cahn-Hilliard equation that characterizes phase separation phenomena of binary mixtures in a bounded domain $Ω\subset \mathbb{R}^d$ $(d\in \{2,3\})$ with non-permeable boundary. The equations in the bulk are subject to kinetic rate dependent dynamic boundary conditions with possible boundary diffusion acting on the boundary chemical potential. For the initial boundary value problem with singular potentials, we prove that any global weak solution exhibits a propagation of regularity in time. In the two dimensional case, we establish the instantaneous strict separation property by a suitable De Giorgi's iteration scheme, which yields that the weak solution stays uniformly away from the pure phases $\pm 1$ from any positive time on. In particular, when the bulk and boundary chemical potentials are in equilibrium, we obtain the instantaneous separation property with or without possible boundary diffusion acting on the boundary chemical potential. Next, in the three dimensional case, we show the eventual strict separation property that holds after a sufficiently large time. These separation properties are obtained in an unified way with respect to the structural parameters. Moreover, they allow us to achieve higher-order regularity of the global weak solution and prove the convergence to a single equilibrium as $t \rightarrow \infty$. △ Less

Submitted 31 May, 2024; originally announced May 2024.

MSC Class: 35B40; 35B65; 35K35; 35K61; 35Q92

A numerical algorithm with linear complexity for Multi-marginal Optimal Transport with $L^1$ Cost

Authors: Chunhui Chen, **g Chen, Baojia Luo, Shi **, Hao Wu

Abstract: Numerically solving multi-marginal optimal transport (MMOT) problems is computationally prohibitive, even for moderate-scale instances involving $l\ge4$ marginals with support sizes of $N\ge1000$. The cost in MMOT is represented as a tensor with $N^l$ elements. Even accessing each element once incurs a significant computational burden. In fact, many algorithms require direct computation of tensor-… ▽ More Numerically solving multi-marginal optimal transport (MMOT) problems is computationally prohibitive, even for moderate-scale instances involving $l\ge4$ marginals with support sizes of $N\ge1000$. The cost in MMOT is represented as a tensor with $N^l$ elements. Even accessing each element once incurs a significant computational burden. In fact, many algorithms require direct computation of tensor-vector products, leading to a computational complexity of $O(N^l)$ or beyond. In this paper, inspired by our previous work [$Comm. \ Math. \ Sci.$, 20 (2022), pp. 2053 - 2057], we observe that the costly tensor-vector products in the Sinkhorn Algorithm can be computed with a recursive process by separating summations and dynamic programming. Based on this idea, we propose a fast tensor-vector product algorithm to solve the MMOT problem with $L^1$ cost, achieving a miraculous reduction in the computational cost of the entropy regularized solution to $O(N)$. Numerical experiment results confirm such high performance of this novel method which can be several orders of magnitude faster than the original Sinkhorn algorithm. △ Less

Submitted 29 May, 2024; originally announced May 2024.

The largest Laplacian eigenvalue and the balancedness of simplicial complexes

Authors: Yi-Zheng Fan, Hui-Feng Wu, Yi Wang

Abstract: Let $K$ be a simplical complex, and let $\mathcal{L}_i^{up}(K), \mathcal{Q}_i^{up}(K)$ be the $i$-th up Laplacian and signless Laplacian of $K$, respectively. In this paper we proved that the largest eigenvalue of $\mathcal{L}_i^{up}(K)$ is not greater than the largest eigenvalue of $\mathcal{Q}_i^{up}(K)$; furthermore, if $K$ is $(i+1)$-path connected, then the equality holds if and only if the… ▽ More Let $K$ be a simplical complex, and let $\mathcal{L}_i^{up}(K), \mathcal{Q}_i^{up}(K)$ be the $i$-th up Laplacian and signless Laplacian of $K$, respectively. In this paper we proved that the largest eigenvalue of $\mathcal{L}_i^{up}(K)$ is not greater than the largest eigenvalue of $\mathcal{Q}_i^{up}(K)$; furthermore, if $K$ is $(i+1)$-path connected, then the equality holds if and only if the $i$-th incidence signed graph $B_i(K)$ of $K$ is balanced. As an application we provided an upper bound for the largest eigenvalue of the $i$-th up Laplacian of $K$, which improves the bound given by Horak and Jost and generalizes the result of Anderson and Morley on graphs.We characterized the balancedness of simplicial complexes under operations such as wedge sum, join, Cartesian product and duplication of motifs. For each $i \ge 0$, by using wedge sum or duplication of motifs, we can construct an infinitely many $(i+1)$-path connected simplicial complexes $K$ with $B_i(K)$ being balanced. △ Less

Submitted 29 May, 2024; originally announced May 2024.

MSC Class: 05E45; 05C65; 47J10; 55U05

Unisolver: PDE-Conditional Transformers Are Universal PDE Solvers

Authors: Hang Zhou, Yuezhou Ma, Haixu Wu, Haowen Wang, Mingsheng Long

Abstract: Deep models have recently emerged as a promising tool to solve partial differential equations (PDEs), known as neural PDE solvers. While neural solvers trained from either simulation data or physics-informed loss can solve the PDEs reasonably well, they are mainly restricted to a specific set of PDEs, e.g. a certain equation or a finite set of coefficients. This bottleneck limits the generalizabil… ▽ More Deep models have recently emerged as a promising tool to solve partial differential equations (PDEs), known as neural PDE solvers. While neural solvers trained from either simulation data or physics-informed loss can solve the PDEs reasonably well, they are mainly restricted to a specific set of PDEs, e.g. a certain equation or a finite set of coefficients. This bottleneck limits the generalizability of neural solvers, which is widely recognized as its major advantage over numerical solvers. In this paper, we present the Universal PDE solver (Unisolver) capable of solving a wide scope of PDEs by leveraging a Transformer pre-trained on diverse data and conditioned on diverse PDEs. Instead of simply scaling up data and parameters, Unisolver stems from the theoretical analysis of the PDE-solving process. Our key finding is that a PDE solution is fundamentally under the control of a series of PDE components, e.g. equation symbols, coefficients, and initial and boundary conditions. Inspired by the mathematical structure of PDEs, we define a complete set of PDE components and correspondingly embed them as domain-wise (e.g. equation symbols) and point-wise (e.g. boundaries) conditions for Transformer PDE solvers. Integrating physical insights with recent Transformer advances, Unisolver achieves consistent state-of-the-art results on three challenging large-scale benchmarks, showing impressive gains and endowing favorable generalizability and scalability. △ Less

Submitted 1 June, 2024; v1 submitted 27 May, 2024; originally announced May 2024.

Adaptive Finite Element Method for a Nonlinear Helmholtz Equation with High Wave Number

Authors: Run Jiang, Haijun Wu, Yifeng Xu, Jun Zou

Abstract: A nonlinear Helmholtz (NLH) equation with high frequencies and corner singularities is discretized by the linear finite element method (FEM). After deriving some wave-number-explicit stability estimates and the singularity decomposition for the NLH problem, a priori stability and error estimates are established for the FEM on shape regular meshes including the case of locally refined meshes. Then… ▽ More A nonlinear Helmholtz (NLH) equation with high frequencies and corner singularities is discretized by the linear finite element method (FEM). After deriving some wave-number-explicit stability estimates and the singularity decomposition for the NLH problem, a priori stability and error estimates are established for the FEM on shape regular meshes including the case of locally refined meshes. Then a posteriori upper and lower bounds using a new residual-type error estimator, which is equivalent to the standard one, are derived for the FE solutions to the NLH problem. These a posteriori estimates have confirmed a significant fact that is also valid for the NLH problem, namely the residual-type estimator seriously underestimates the error of the FE solution in the preasymptotic regime, which was first observed by Babuška et al. [Int J Numer Methods Eng 40 (1997)] for a one-dimensional linear problem. Based on the new a posteriori error estimator, both the convergence and the quasi-optimality of the resulting adaptive finite element algorithm are proved the first time for the NLH problem, when the initial mesh size lying in the preasymptotic regime. Finally, numerical examples are presented to validate the theoretical findings and demonstrate that applying the continuous interior penalty (CIP) technique with appropriate penalty parameters can reduce the pollution errors efficiently. In particular, the nonlinear phenomenon of optical bistability with Gaussian incident waves is successfully simulated by the adaptive CIPFEM. △ Less

Submitted 27 May, 2024; v1 submitted 24 May, 2024; originally announced May 2024.

A conjecture of Zhi-Wei Sun on matrices concerning multiplicative subgroups of finite fields

Authors: Jie Li, Hai-Liang Wu

Abstract: Motivated by the recent work of Zhi-Wei Sun on determinants involving the Legendre symbol, in this paper, we study some matrices concerning subgroups of finite fields. For example, let $q\equiv 3\pmod 4$ be an odd prime power and let $φ$ be the unique quadratic multiplicative character of the finite field $\mathbb{F}_q$. If set… ▽ More Motivated by the recent work of Zhi-Wei Sun on determinants involving the Legendre symbol, in this paper, we study some matrices concerning subgroups of finite fields. For example, let $q\equiv 3\pmod 4$ be an odd prime power and let $φ$ be the unique quadratic multiplicative character of the finite field $\mathbb{F}_q$. If set $\{s_1,\cdots,s_{(q-1)/2}\}=\{x^2:\ x\in\mathbb{F}_q\setminus\{0\}\}$, then we prove that $$\det\left[t+φ(s_i+s_j)+φ(s_i-s_j)\right]_{1\le i,j\le (q-1)/2}=\left(\frac{q-1}{2}t-1\right)q^{\frac{q-3}{4}}.$$ This confirms a conjecture of Zhi-Wei Sun. △ Less

Submitted 22 May, 2024; v1 submitted 14 May, 2024; originally announced May 2024.

Commutation relations for two-sided radial SLE

Authors: Yilin Wang, Hao Wu

Abstract: We study the commutation relation for 2-radial SLE in the unit disc starting from two boundary points. We follow the framework introduced by Dubédat. Under an additional requirement of the interchangeability of the two curves, we classify all locally commuting 2-radial SLE$_κ$ for $κ\in (0,4]$: it is either a two-sided radial SLE$_κ$ with spiral of constant spiraling rate or a chordal SLE$_κ$ weig… ▽ More We study the commutation relation for 2-radial SLE in the unit disc starting from two boundary points. We follow the framework introduced by Dubédat. Under an additional requirement of the interchangeability of the two curves, we classify all locally commuting 2-radial SLE$_κ$ for $κ\in (0,4]$: it is either a two-sided radial SLE$_κ$ with spiral of constant spiraling rate or a chordal SLE$_κ$ weighted by a power of the conformal radius of its complement. Namely, for fixed $κ$ and starting points, we have exactly two one-parameter continuous families of locally commuting 2-radial SLE. Two-sided radial SLE with spiral is a generalization of two-sided radial SLE (without spiral) which satisfies the resampling property. We define it by weighting two independent radial SLEs by a two-time parameter martingale. However, unlike in the chordal case, the resampling property does not uniquely determine the pair due to the additional degree of freedom in the spiraling rate. We also discuss the semiclassical limit of the commutation relation as $κ\to 0$. △ Less

Submitted 11 May, 2024; originally announced May 2024.

Comments: 40 pages, 5 figures

MSC Class: 60J67

On a generalization of R. Chapman's "evil determinant"

Authors: Li-Yuan Wang, Hai-Liang Wu, He-Xia Ni

Abstract: Let $p$ be an odd prime and $x$ be an indeterminate. Recently, Z.-W. Sun proposed the following conjecture: $$\det\left[x+\left(\frac{j-i}{p}\right)\right]_{0\le i,j\le \frac{p-1}{2}}=\begin{cases} (\frac{2}{p})pb_px-a_p & \mbox{if}\ p\equiv 1\pmod4, 1 & \mbox{if}\ p\equiv 3\pmod4, \end{cases}$$ where $a_p$ and $b_p$ are rational numbers related to the fundamental unit and class number of the real… ▽ More Let $p$ be an odd prime and $x$ be an indeterminate. Recently, Z.-W. Sun proposed the following conjecture: $$\det\left[x+\left(\frac{j-i}{p}\right)\right]_{0\le i,j\le \frac{p-1}{2}}=\begin{cases} (\frac{2}{p})pb_px-a_p & \mbox{if}\ p\equiv 1\pmod4, 1 & \mbox{if}\ p\equiv 3\pmod4, \end{cases}$$ where $a_p$ and $b_p$ are rational numbers related to the fundamental unit and class number of the real quadratic field $\mathbb{Q}(\sqrt{p})$. In this paper, we confirm the above conjecture of Sun based on Vsemirnov's decomposition of Chapman's "evil determinant". △ Less

Submitted 3 May, 2024; originally announced May 2024.

MSC Class: Primary 11C20; Secondary 11L05; 11R18

A Double Maximization Approach for Optimizing the LM Rate of Mismatched Decoding

Authors: Lingyi Chen, Shitong Wu, Xinwei Li, Huihui Wu, Hao Wu, Wenyi Zhang

Abstract: An approach is established for maximizing the Lower bound on the Mismatch capacity (hereafter abbreviated as LM rate), a key performance bound in mismatched decoding, by optimizing the channel input probability distribution. Under a fixed channel input probability distribution, the computation of the corresponding LM rate is a convex optimization problem. When optimizing the channel input probabil… ▽ More An approach is established for maximizing the Lower bound on the Mismatch capacity (hereafter abbreviated as LM rate), a key performance bound in mismatched decoding, by optimizing the channel input probability distribution. Under a fixed channel input probability distribution, the computation of the corresponding LM rate is a convex optimization problem. When optimizing the channel input probability distribution, however, the corresponding optimization problem adopts a max-min formulation, which is generally non-convex and is intractable with standard approaches. To solve this problem, a novel dual form of the LM rate is proposed, thereby transforming the max-min formulation into an equivalent double maximization formulation. This new formulation leads to a maximization problem setup wherein each individual optimization direction is convex. Consequently, an alternating maximization algorithm is established to solve the resultant maximization problem setup. Each step of the algorithm only involves a closed-form iteration, which is efficiently implemented with standard optimization procedures. Numerical experiments show the proposed approach for optimizing the LM rate leads to noticeable rate gains. △ Less

Submitted 1 May, 2024; originally announced May 2024.

Landmark Alternating Diffusion

Authors: Sing-Yuan Yeh, Hau-Tieng Wu, Ronen Talmon, Mao-Pei Tsui

Abstract: Alternating Diffusion (AD) is a commonly applied diffusion-based sensor fusion algorithm. While it has been successfully applied to various problems, its computational burden remains a limitation. Inspired by the landmark diffusion idea considered in the Robust and Scalable Embedding via Landmark Diffusion (ROSELAND), we propose a variation of AD, called Landmark AD (LAD), which captures the essen… ▽ More Alternating Diffusion (AD) is a commonly applied diffusion-based sensor fusion algorithm. While it has been successfully applied to various problems, its computational burden remains a limitation. Inspired by the landmark diffusion idea considered in the Robust and Scalable Embedding via Landmark Diffusion (ROSELAND), we propose a variation of AD, called Landmark AD (LAD), which captures the essence of AD while offering superior computational efficiency. We provide a series of theoretical analyses of LAD under the manifold setup and apply it to the automatic sleep stage annotation problem with two electroencephalogram channels to demonstrate its application. △ Less

Submitted 29 April, 2024; originally announced April 2024.

MSC Class: 53Z50; 65D18

Parameterized Wasserstein Gradient Flow

Authors: Yijie **, Shu Liu, Hao Wu, Xiao**g Ye, Haomin Zhou

Abstract: We develop a fast and scalable numerical approach to solve Wasserstein gradient flows (WGFs), particularly suitable for high-dimensional cases. Our approach is to use general reduced-order models, like deep neural networks, to parameterize the push-forward maps such that they can push a simple reference density to the one solving the given WGF. The new dynamical system is called parameterized WGF… ▽ More We develop a fast and scalable numerical approach to solve Wasserstein gradient flows (WGFs), particularly suitable for high-dimensional cases. Our approach is to use general reduced-order models, like deep neural networks, to parameterize the push-forward maps such that they can push a simple reference density to the one solving the given WGF. The new dynamical system is called parameterized WGF (PWGF), and it is defined on the finite-dimensional parameter space equipped with a pullback Wasserstein metric. Our numerical scheme can approximate the solutions of WGFs for general energy functionals effectively, without requiring spatial discretization or nonconvex optimization procedures, thus avoiding some limitations of classical numerical methods and more recent deep-learning-based approaches. A comprehensive analysis of the approximation errors measured by Wasserstein distance is also provided in this work. Numerical experiments show promising computational efficiency and verified accuracy on various WGF examples using our approach. △ Less

Submitted 22 May, 2024; v1 submitted 29 April, 2024; originally announced April 2024.

On cyclotomic matrices involving Gauss sums over finite fields

Authors: Hai-Liang Wu, Jie Li, Li-Yuan Wang, Chi Hoi Yip

Abstract: Inspired by the works of L. Carlitz and Z.-W. Sun on cyclotomic matrices, in this paper, we investigate certain cyclotomic matrices involving Gauss sums over finite fields, which can be viewed as finite field analogues of certain matrices related to the Gamma function. For example, let $q=p^n$ be an odd prime power with $p$ prime and $n\in\mathbb{Z}^+$. Let $ζ_p=e^{2π{\bf i}/p}$ and let $χ$ be a… ▽ More Inspired by the works of L. Carlitz and Z.-W. Sun on cyclotomic matrices, in this paper, we investigate certain cyclotomic matrices involving Gauss sums over finite fields, which can be viewed as finite field analogues of certain matrices related to the Gamma function. For example, let $q=p^n$ be an odd prime power with $p$ prime and $n\in\mathbb{Z}^+$. Let $ζ_p=e^{2π{\bf i}/p}$ and let $χ$ be a generator of the group of all mutiplicative characters of the finite field $\mathbb{F}_q$. For the Gauss sum $$G_q(χ^{r})=\sum_{x\in\mathbb{F}_q}χ^{r}(x)ζ_p^{{\rm Tr}_{\mathbb{F}_q/\mathbb{F}_p}(x)},$$ we prove that $$\det \left[G_q(χ^{2i+2j})\right]_{0\le i,j\le (q-3)/2}=(-1)^{α_p}\left(\frac{q-1}{2}\right)^{\frac{q-1}{2}}2^{\frac{p^{n-1}-1}{2}},$$ where $$α_p= \begin{cases} 1 & \mbox{if}\ n\equiv 1\pmod 2, (p^2+7)/8 & \mbox{if}\ n\equiv 0\pmod 2. \end{cases}$$ △ Less

Submitted 30 April, 2024; v1 submitted 23 April, 2024; originally announced April 2024.

Comments: 15 pages. Comments are very welcome

Asymptotic behavior of unstable perturbations of the Fubini-Study metric in Ricci flow

Authors: David Garfinkle, James Isenberg, Dan Knopf, Haotian Wu

Abstract: Kröncke has shown that the Fubini-Study metric is an unstable generalized stationary solution of Ricci flow [Krö20]. In this paper, we carry out numerical simulations which indicate that Ricci flow solutions originating at unstable perturbations of the Fubini-Study metric develop local singularities modeled by the blowdown soliton discovered in [FIK03]. Kröncke has shown that the Fubini-Study metric is an unstable generalized stationary solution of Ricci flow [Krö20]. In this paper, we carry out numerical simulations which indicate that Ricci flow solutions originating at unstable perturbations of the Fubini-Study metric develop local singularities modeled by the blowdown soliton discovered in [FIK03]. △ Less

Submitted 11 March, 2024; originally announced March 2024.

Comments: 14 pages, 3 figures. Comments are welcome!

Decomposition of Persistent Homology and Spectral Sequences

Authors: Peiqi Yang, Yingfeng Hu, Hao Wu

Abstract: We study the relation between the persistent homology and the spectral sequence of a filtered chain complex over a field. Our method is based on a decomposition of the persistent homology. We demonstrate that, under fairly general assumptions, these two algebraic structures capture the same information from the filtered chain complex. We study the relation between the persistent homology and the spectral sequence of a filtered chain complex over a field. Our method is based on a decomposition of the persistent homology. We demonstrate that, under fairly general assumptions, these two algebraic structures capture the same information from the filtered chain complex. △ Less

Submitted 21 March, 2024; v1 submitted 9 March, 2024; originally announced March 2024.

MSC Class: 55N31; 55T05

Hole event for random holomorphic sections on compact Riemann surfaces

Authors: Tien-Cuong Dinh, Subhroshekhar Ghosh, Hao Wu

Abstract: Let $X$ be a compact Riemann surface and $\mathcal L$ be a positive line bundle on it. We study the conditional zero expectation of all the holomorphic sections of $\mathcal L^n$ which do not vanish on $D$ for some fixed open subset $D$ of $X$. We prove that as $n$ tends to infinity, the zeros of these sections are equidistributed outside $D$ with respect to a probability measure $ν$. This gives r… ▽ More Let $X$ be a compact Riemann surface and $\mathcal L$ be a positive line bundle on it. We study the conditional zero expectation of all the holomorphic sections of $\mathcal L^n$ which do not vanish on $D$ for some fixed open subset $D$ of $X$. We prove that as $n$ tends to infinity, the zeros of these sections are equidistributed outside $D$ with respect to a probability measure $ν$. This gives rise to a surprising forbidden set. △ Less

Submitted 18 February, 2024; originally announced February 2024.

Comments: fisrt draft

MSC Class: 31A15; 32C30; 32L10; 60B10; 60D05; 60F10

Distributionally Robust Ground Delay Programs with Learning-Driven Airport Capacity Predictions

Authors: Haochen Wu, Xinting Zhu, Shuchang Li, Ying Zhou, Lishuai Li, Max Z. Li

Abstract: Strategic Traffic Management Initiatives (TMIs) such as Ground Delay Programs (GDPs) play a crucial role in mitigating operational costs associated with demand-capacity imbalances. However, GDPs can only be planned (e.g., duration, delay assignments) with confidence if the future capacities at constrained resources (i.e., airports) are predictable. In reality, such future capacities are uncertain,… ▽ More Strategic Traffic Management Initiatives (TMIs) such as Ground Delay Programs (GDPs) play a crucial role in mitigating operational costs associated with demand-capacity imbalances. However, GDPs can only be planned (e.g., duration, delay assignments) with confidence if the future capacities at constrained resources (i.e., airports) are predictable. In reality, such future capacities are uncertain, and predictive models may provide forecasts that are vulnerable to errors and distribution shifts. Motivated by the goal of planning optimal GDPs that are \emph{distributionally robust} against airport capacity prediction errors, we study a fully integrated learning-driven optimization framework. We design a deep learning-based prediction model capable of forecasting arrival and departure capacity distributions across a network of airports. We then integrate the forecasts into a distributionally robust formulation of the multi-airport ground holding problem (\textsc{dr-MAGHP}). We show how \textsc{dr-MAGHP} can outperform stochastic optimization when distribution shifts occur, and conclude with future research directions to improve both the learning and optimization stages. △ Less

Submitted 17 February, 2024; originally announced February 2024.

Comments: 8 pages, 6 figures

Spaceport Facility Location Planning within the US National Airspace System

Authors: Haochen Wu, Kevin R. Sun, Jackson A. Miller, Oliver Jia-Richards, Max Z. Li

Abstract: The burgeoning commercial space transportation industry necessitates an expansion of launch infrastructure to meet rising demands. However, future operations from these large-scale infrastructures can result in new impacts, particularly to air traffic operations. To rigorously reason about where such future spaceports might be located and what their impacts might be, we introduce a facility locati… ▽ More The burgeoning commercial space transportation industry necessitates an expansion of launch infrastructure to meet rising demands. However, future operations from these large-scale infrastructures can result in new impacts, particularly to air traffic operations. To rigorously reason about where such future spaceports might be located and what their impacts might be, we introduce a facility location planning model for future US spaceports (SPFLP). Central considerations for the SPFLP include population density, space launch trajectories, and potential impacts to air traffic within the US National Airspace System (NAS). The SPFLP outputs a cost-optimal set of candidate locations for future spaceports while satisfying a range of operational constraints. By conducting sensitivity analyses on the SPFLP, we are able to examine differences in flight rerouting costs and optimal launch mission allocations. Our model and numerical experiments offer valuable insights for future spaceport site selection, contributing to the strategic development of commercial space transportation while kee** in mind the need to integrate these operations within the NAS. △ Less

Submitted 17 February, 2024; originally announced February 2024.

Comments: 10 pages, 5 figures

On the Cahn-Hilliard equation with kinetic rate dependent dynamic boundary conditions and non-smooth potentials: Well-posedness and asymptotic limits

Authors: Maoyin Lv, Hao Wu

Abstract: We consider a class of Cahn-Hilliard equation with kinetic rate dependent dynamic boundary conditions that describe possible short-range interactions between the binary mixture and the solid boundary. In the presence of surface diffusion on the boundary, the initial boundary value problem can be viewed as a transmission problem consisting of Cahn-Hilliard type equations both in the bulk and on the… ▽ More We consider a class of Cahn-Hilliard equation with kinetic rate dependent dynamic boundary conditions that describe possible short-range interactions between the binary mixture and the solid boundary. In the presence of surface diffusion on the boundary, the initial boundary value problem can be viewed as a transmission problem consisting of Cahn-Hilliard type equations both in the bulk and on the boundary. We first prove existence, uniqueness and continuous dependence of global weak solutions. In the construction of solutions, an explicit convergence rate in terms of the parameter for the Yosida approximation is established. Under some additional assumptions, we also obtain the existence and uniqueness of global strong solutions. Next, we study the asymptotic limit as the coefficient of the boundary diffusion goes to zero and show that the limit problem with a forward-backward dynamic boundary condition is well-posed in a suitable weak formulation. Besides, we investigate the asymptotic limit as the kinetic rate tends to zero and infinity, respectively. Our results are valid for a general class of bulk and boundary potentials with double-well structure, including the physically relevant logarithmic potential and the non-smooth double-obstacle potential. △ Less

Submitted 7 February, 2024; originally announced February 2024.

Comments: 40 pages

MSC Class: 35K25; 35K61; 35B20; 35B40; 80A22

Transolver: A Fast Transformer Solver for PDEs on General Geometries

Authors: Haixu Wu, Huakun Luo, Haowen Wang, Jianmin Wang, Mingsheng Long

Abstract: Transformers have empowered many milestones across various fields and have recently been applied to solve partial differential equations (PDEs). However, since PDEs are typically discretized into large-scale meshes with complex geometries, it is challenging for Transformers to capture intricate physical correlations directly from massive individual points. Going beyond superficial and unwieldy mes… ▽ More Transformers have empowered many milestones across various fields and have recently been applied to solve partial differential equations (PDEs). However, since PDEs are typically discretized into large-scale meshes with complex geometries, it is challenging for Transformers to capture intricate physical correlations directly from massive individual points. Going beyond superficial and unwieldy meshes, we present Transolver based on a more foundational idea, which is learning intrinsic physical states hidden behind discretized geometries. Specifically, we propose a new Physics-Attention to adaptively split the discretized domain into a series of learnable slices of flexible shapes, where mesh points under similar physical states will be ascribed to the same slice. By calculating attention to physics-aware tokens encoded from slices, Transovler can effectively capture intricate physical correlations under complex geometrics, which also empowers the solver with endogenetic geometry-general modeling capacity and can be efficiently computed in linear complexity. Transolver achieves consistent state-of-the-art with 22% relative gain across six standard benchmarks and also excels in large-scale industrial simulations, including car and airfoil designs. Code is available at https://github.com/thuml/Transolver. △ Less

Submitted 1 June, 2024; v1 submitted 4 February, 2024; originally announced February 2024.

Newton's method and its hybrid with machine learning for Navier-Stokes Darcy Models discretized by mixed element methods

Authors: Jianguo Huang, Hui Peng, Haohao Wu

Abstract: This paper focuses on discussing Newton's method and its hybrid with machine learning for the steady state Navier-Stokes Darcy model discretized by mixed element methods. First, a Newton iterative method is introduced for solving the relative discretized problem. It is proved technically that this method converges quadratically with the convergence rate independent of the finite element mesh size,… ▽ More This paper focuses on discussing Newton's method and its hybrid with machine learning for the steady state Navier-Stokes Darcy model discretized by mixed element methods. First, a Newton iterative method is introduced for solving the relative discretized problem. It is proved technically that this method converges quadratically with the convergence rate independent of the finite element mesh size, under certain standard conditions. Later on, a deep learning algorithm is proposed for solving this nonlinear coupled problem. Following the ideas of an earlier work by Huang, Wang and Yang (2020), an Int-Deep algorithm is constructed by combining the previous two methods so as to further improve the computational efficiency and robustness. A series of numerical examples are reported to show the numerical performance of the proposed methods. △ Less

Submitted 6 March, 2024; v1 submitted 19 January, 2024; originally announced January 2024.

On $p$-th cyclotomic field and Zhi-Wei Sun's Legendre determinants over $\mathbb{F}_p$

Authors: Li-Yuan Wang, Hai-Liang Wu

Abstract: In 2019, Zhi-Wei Sun posed an interesting conjecture on certain determinants with Legendre symbol entries. In this paper, by using the arithmetic properties of $p$-th cyclotomic field and the finite field $\mathbb{F}_p$, we confirm this conjecture. In 2019, Zhi-Wei Sun posed an interesting conjecture on certain determinants with Legendre symbol entries. In this paper, by using the arithmetic properties of $p$-th cyclotomic field and the finite field $\mathbb{F}_p$, we confirm this conjecture. △ Less

Submitted 19 March, 2024; v1 submitted 11 January, 2024; originally announced January 2024.

Comments: 13 pages

An Unfitted Interface Penalty DG--FE Method for Elliptic Interface Problems

Authors: Juan Han, Haijun Wu, Yuanming Xiao

Abstract: We design an unfitted interface penalty DG-FE method (UIPDG-FEM) for an elliptic interface problem, which uses the interior penalty discontinuous Galerkin methods locally along the interface together with additional penalty terms on the interface (or the Nitsche's trick) to deal with the jump conditions, and uses the finite element methods away from the interface. Moreover, the trick of merging el… ▽ More We design an unfitted interface penalty DG-FE method (UIPDG-FEM) for an elliptic interface problem, which uses the interior penalty discontinuous Galerkin methods locally along the interface together with additional penalty terms on the interface (or the Nitsche's trick) to deal with the jump conditions, and uses the finite element methods away from the interface. Moreover, the trick of merging elements is used to keep the condition number of the algebraic system not affected by the interface position. The proposed UIPDG-FEM not only possesses flexibilities of the IPDG method, in particular, simplifying the process of merging elements near a complex interface, but also avoids its drawback of larger number of global degrees of freedom. The convergence rates of the UIPDG-FEM solution are optimal and independent of the interface position. Furthermore, a uniform estimate of the flux value is established in terms of the discontinuous physical coefficients. A two dimensional merging algorithm is also presented, which is guaranteed to succeed under appropriate assumptions on the interface. Numerical examples are given to verify the theoretical results. △ Less

Submitted 23 December, 2023; originally announced December 2023.

Comments: 33 pages, 15 figures

Higher-order FEM and CIP-FEM for Helmholtz equation with high wave number and perfectly matched layer truncation

Authors: Yonglin Li, Haijun Wu

Abstract: The high-frequency Helmholtz equation on the entire space is truncated into a bounded domain using the perfectly matched layer (PML) technique and subsequently, discretized by the higher-order finite element method (FEM) and the continuous interior penalty finite element method (CIP-FEM). By formulating an elliptic problem involving a linear combination of a finite number of eigenfunctions related… ▽ More The high-frequency Helmholtz equation on the entire space is truncated into a bounded domain using the perfectly matched layer (PML) technique and subsequently, discretized by the higher-order finite element method (FEM) and the continuous interior penalty finite element method (CIP-FEM). By formulating an elliptic problem involving a linear combination of a finite number of eigenfunctions related to the PML differential operator, a wave-number-explicit decomposition lemma is proved for the PML problem, which implies that the PML solution can be decomposed into a non-oscillating elliptic part and an oscillating but analytic part. The preasymptotic error estimates in the energy norm for both the $p$-th order CIP-FEM and FEM are proved to be $C_1(kh)^p + C_2k(kh)^{2p} +C_3 E^{\rm PML}$ under the mesh condition that $k^{2p+1}h^{2p}$ is sufficiently small, where $k$ is the wave number, $h$ is the mesh size, and $E^{\rm PML}$ is the PML truncation error which is exponentially small. In particular, the dependences of coefficients $C_j~(j=1,2)$ on the source $f$ are improved. Numerical experiments are presented to validate the theoretical findings, illustrating that the higher-order CIP-FEM can greatly reduce the pollution errors. △ Less

Submitted 4 December, 2023; originally announced December 2023.

Spectrum Sharing between UAV-based Wireless Mesh Networks and Ground Networks

Authors: Zhiqing Wei, Zijun Guo, Zhiyong Feng, Jialin Zhu, Caijun Zhong, Qihui Wu, Huici Wu

Abstract: The unmanned aerial vehicle (UAV)-based wireless mesh networks can economically provide wireless services for the areas with disasters. However, the capacity of air-to-air communications is limited due to the multi-hop transmissions. In this paper, the spectrum sharing between UAV-based wireless mesh networks and ground networks is studied to improve the capacity of the UAV networks. Considering t… ▽ More The unmanned aerial vehicle (UAV)-based wireless mesh networks can economically provide wireless services for the areas with disasters. However, the capacity of air-to-air communications is limited due to the multi-hop transmissions. In this paper, the spectrum sharing between UAV-based wireless mesh networks and ground networks is studied to improve the capacity of the UAV networks. Considering the distribution of UAVs as a three-dimensional (3D) homogeneous Poisson point process (PPP) within a vertical range, the stochastic geometry is applied to analyze the impact of the height of UAVs, the transmit power of UAVs, the density of UAVs and the vertical range, etc., on the coverage probability of ground network user and UAV network user, respectively. The optimal height of UAVs is numerically achieved in maximizing the capacity of UAV networks with the constraint of the coverage probability of ground network user. This paper provides a basic guideline for the deployment of UAV-based wireless mesh networks. △ Less

Submitted 25 November, 2023; originally announced November 2023.

Comments: 6 pages, 6 figures

Entire curves generating all shapes of Nevanlinna currents

Authors: Hao Wu, Song-Yan Xie

Abstract: First, we show that every complex torus $\mathbb{T}$ contains some entire curve $g: \mathbb{C}\rightarrow \mathbb{T}$ such that the concentric holomorphic discs $\{g\restriction_{\overline{\mathbb D}_{r}}\}_{r>0}$ can generate all the Nevanlinna/Ahlfors currents on $\mathbb T$ at cohomological level. This confirms an anticipation of Sibony. Develo** further our new method, we can construct some… ▽ More First, we show that every complex torus $\mathbb{T}$ contains some entire curve $g: \mathbb{C}\rightarrow \mathbb{T}$ such that the concentric holomorphic discs $\{g\restriction_{\overline{\mathbb D}_{r}}\}_{r>0}$ can generate all the Nevanlinna/Ahlfors currents on $\mathbb T$ at cohomological level. This confirms an anticipation of Sibony. Develo** further our new method, we can construct some twisted entire curve $f: \mathbb{C}\rightarrow \mathbb{CP}^1\times E$ in the product of the rational curve $\mathbb{CP}^1$ and an elliptic curve $E$, such that, concerning Siu's decomposition, demanding any cardinality $|J|\in \mathbb{Z}_{\geqslant 0}\cup \{\infty\}$ and that $\mathcal{T}_{\mathrm{diff}}$ is trivial ($|J|\geqslant 1$) or not ($|J|\geqslant 0$), we can always find a sequence of concentric holomorphic discs $\{f\restriction_{\overline{\mathbb D}_{r_j}}\}_{j \geqslant 1}$ to generate a Nevanlinna/Ahlfors current $\mathcal{T}=\mathcal{T}_{\mathrm{alg}}+\mathcal{T}_{\mathrm{diff}}$ with the singular part $\mathcal{T}_{\mathrm{alg}}=\sum_{j\in J} \,λ_j\cdot[\mathsf C_j]$ in the desired shape. This fulfills the missing case where $|J|=0$ in the previous work of Huynh-Xie. By a result of Duval, each $\mathsf C_j$ must be rational or elliptic. We will show that there is no a priori restriction on the numbers of rational and elliptic components in the support of $\mathcal{T}_{\mathrm{alg}}$, thus answering a question of Yau and Zhou. Moreover, we will show that the positive coefficients $\{λ_j\}_{j\in J}$ can be arbitrary as long as the total mass of $\mathcal{T}_{\mathrm{alg}}$ is less than or equal to $1$. Our results foreshadow striking holomorphic flexibility of entire curves in Oka geometry, which deserves further exploration. △ Less

Submitted 17 November, 2023; originally announced November 2023.

MSC Class: 32A22; 32C30; 32Q56

Multiple SLEs and Dyson Brownian motion: transition density and Green's function

Authors: Hao Wu, Lu Yang

Abstract: We consider multiple chordal SLEs. Under common time parameterization, we show that the transition density of the driving function of multiple chordal SLEs can be given by the transition density of Dyson Brownian motion and Green's function. As a consequence, we show that the driving function of multiple chordal SLEs, conditional on the rare event that it survives forever, becomes Dyson Brownian m… ▽ More We consider multiple chordal SLEs. Under common time parameterization, we show that the transition density of the driving function of multiple chordal SLEs can be given by the transition density of Dyson Brownian motion and Green's function. As a consequence, we show that the driving function of multiple chordal SLEs, conditional on the rare event that it survives forever, becomes Dyson Brownian motion. △ Less

Submitted 12 November, 2023; originally announced November 2023.

Comments: 17 pages. arXiv admin note: text overlap with arXiv:2302.08124

MSC Class: 60J67

Unveil Sleep Spindles with Concentration of Frequency and Time

Authors: Riki Shimizu, Hau-Tieng Wu

Abstract: Objective: Sleep spindles contain crucial brain dynamics information. We introduce the novel non-linear time-frequency analysis tool 'Concentration of Frequency and Time' (ConceFT) to create an interpretable automated algorithm for sleep spindle annotation in EEG data and to measure spindle instantaneous frequencies (IFs). Methods: ConceFT effectively reduces stochastic EEG influence, enhancing sp… ▽ More Objective: Sleep spindles contain crucial brain dynamics information. We introduce the novel non-linear time-frequency analysis tool 'Concentration of Frequency and Time' (ConceFT) to create an interpretable automated algorithm for sleep spindle annotation in EEG data and to measure spindle instantaneous frequencies (IFs). Methods: ConceFT effectively reduces stochastic EEG influence, enhancing spindle visibility in the time-frequency representation. Our automated spindle detection algorithm, ConceFT-Spindle (ConceFT-S), is compared to A7 (non-deep learning) and SUMO (deep learning) using Dream and MASS benchmark databases. We also quantify spindle IF dynamics. Results: ConceFT-S achieves F1 scores of 0.749 in Dream and 0.786 in MASS, which is equivalent to or surpass A7 and SUMO with statistical significance. We reveal that spindle IF is generally nonlinear. Conclusion: ConceFT offers an accurate, interpretable EEG-based sleep spindle detection algorithm and enables spindle IF quantification. △ Less

Submitted 26 October, 2023; originally announced October 2023.

Comments: 22 pages, 6 figures, and 1 table

Decomposition of global 2-SLE for $κ\in (4,8)$ and an application for critical FK-Ising model

Authors: Yu Feng, Mingchang Liu, Hao Wu

Abstract: We consider global 2-SLE$_κ$ $(η_1, η_2)$ in a topological rectangle with $κ\in (4,8)$. We derive the law of a random hitting point of the curves and show that, conditional on this random hitting point, the pair of two curves has the same law as Gaussian free field flow lines with proper boundary data. Using a similar idea, we derive the asymptotic of the probability for $η_1\capη_2=\emptyset$. As… ▽ More We consider global 2-SLE$_κ$ $(η_1, η_2)$ in a topological rectangle with $κ\in (4,8)$. We derive the law of a random hitting point of the curves and show that, conditional on this random hitting point, the pair of two curves has the same law as Gaussian free field flow lines with proper boundary data. Using a similar idea, we derive the asymptotic of the probability for $η_1\capη_2=\emptyset$. As an application, we derive the asymptotic of the probability for the existence of two disjoint open paths in critical FK-Ising model. △ Less

Submitted 16 October, 2023; originally announced October 2023.

Comments: 31 pages, 3 figures

MSC Class: 60J67

Circular External Difference Families: Construction and Non-Existence

Authors: Huawei Wu, **g Yang, Keqin Feng

Abstract: The circular external difference family and its strong version, which themselves are of independent combinatorial interest, were proposed as variants of the difference family to construct new unconditionally secure non-malleable threshold schemes. In this paper, we present new results regarding the construction and non-existence of (strong) circular external difference families, thereby solving se… ▽ More The circular external difference family and its strong version, which themselves are of independent combinatorial interest, were proposed as variants of the difference family to construct new unconditionally secure non-malleable threshold schemes. In this paper, we present new results regarding the construction and non-existence of (strong) circular external difference families, thereby solving several open problems on this topic. △ Less

Submitted 30 October, 2023; v1 submitted 16 October, 2023; originally announced October 2023.

Qin's Algorithm, Continued Fractions and 2-dimensional Lattices

Authors: Han Wu, Guangwu Xu

Abstract: In his celebrated book "Mathematical Treatise in Nine Sections" of 1247, Qin, Jiushao described the Chinese remainder theorem with great detail and generality. He also gave a method for computing modular inverse under the name of "DaYan deriving one". Historical significance of DaYan deriving one method has been well studied. In this paper, we investigate its modern mathematical nature from the pe… ▽ More In his celebrated book "Mathematical Treatise in Nine Sections" of 1247, Qin, Jiushao described the Chinese remainder theorem with great detail and generality. He also gave a method for computing modular inverse under the name of "DaYan deriving one". Historical significance of DaYan deriving one method has been well studied. In this paper, we investigate its modern mathematical nature from the perspectives of number theory and algorithm. One of the remarkable features of Qin's algorithm is that it keeps a state of four variables in a matrix form. Its choice of variables and layout provide natural ways of connecting several important mathematical concepts. An invariant about the state is also observed which provides a convenient yet powerful tool in proving several important mathematical results. The paper first explains Qin's algorithm and proves some of its properties. Then the connection with continued fractions is examined, the results show that the states of Qin's algorithm contain rich information about continued fractions and some classical arguments can be derived easily. The last part of the paper discusses a family of 2-dimensional lattices of number theoretic significance by proving that the shortest vectors of these lattices can be obtained from the states of Qin's algorithm. This result is surprising in that a shortest lattice vector is found in a well-regulated set. A method of computing such shortest vectors is proposed.ed. △ Less

Submitted 7 November, 2023; v1 submitted 13 October, 2023; originally announced October 2023.

On A Generalization of Motohashi's Formula

Authors: Han Wu

Abstract: We give an adelic version of a spectral reciprocity formula relating $\mathrm{GL}_3 \times \mathrm{GL}_2$ with $\mathrm{GL}_3 \times \mathrm{GL}_1$ and $\mathrm{GL}_1$ moments of $L$-functions discovered by Xiaoqing Li. For many types of the $\mathrm{GL}_3$ representation, we describe the local weight transforms via a decomposition of Voronoi's formula in terms of elementary transforms, which gene… ▽ More We give an adelic version of a spectral reciprocity formula relating $\mathrm{GL}_3 \times \mathrm{GL}_2$ with $\mathrm{GL}_3 \times \mathrm{GL}_1$ and $\mathrm{GL}_1$ moments of $L$-functions discovered by Xiaoqing Li. For many types of the $\mathrm{GL}_3$ representation, we describe the local weight transforms via a decomposition of Voronoi's formula in terms of elementary transforms, which generalizes the one given by Miller--Schmid in a way consistent with the local Langlands correspondence. We obtain some integral representation of the Bessel functions for $\mathrm{GL}_2$ uniformly over all local fields. We announce the dual weight computation in a new case, which identifies the coset problem parallel to that in Petrow--Young's Weyl-type subconvexity for general Dirichlet $L$-functions. The proof and extensive study of other accessible cases will be given in a separate paper. △ Less

Submitted 23 March, 2024; v1 submitted 12 October, 2023; originally announced October 2023.

Comments: We clarify the main ideas and methods in this version, especially its difference from Kwan or any other existing methods

Transposed Poisson Structures on the planar Galilean conformal algebra

Authors: Henan Wu, Wenting Zhang

Abstract: Each $\frac{1}{2}$-derivation of the planar Galilean conformal algebra is proven to be a scalar. As a corollary, all transposed Poisson structures on the planar Galilean conformal algebra are trivial. Each $\frac{1}{2}$-derivation of the planar Galilean conformal algebra is proven to be a scalar. As a corollary, all transposed Poisson structures on the planar Galilean conformal algebra are trivial. △ Less

Submitted 4 October, 2023; originally announced October 2023.

Global viscosity solutions to Lorentzian eikonal equation on globally hyperbolic space-times

Authors: Siyao Zhu, Hongguang Wu, Xiaojun Cui

Abstract: In this paper, we show that any globally hyperbolic space-time admits at least one globally defined distance-like function, which is a viscosity solution to the Lorentzian eikonal equation. According to whether the time orientation is changed, we divide the set of viscosity solutions into some subclasses. We show if the time orientation is consistent, then a viscosity solution has a variational re… ▽ More In this paper, we show that any globally hyperbolic space-time admits at least one globally defined distance-like function, which is a viscosity solution to the Lorentzian eikonal equation. According to whether the time orientation is changed, we divide the set of viscosity solutions into some subclasses. We show if the time orientation is consistent, then a viscosity solution has a variational representation locally. As a result, such a viscosity solution is locally semiconcave, as the one in the Riemannian case. Also, if the time orientation of a viscosity solution is non-consistent, we analyse its peculiar properties which make this kind of viscosity solutions are totally different from the ones where the Hamiltonians are convex. △ Less

Submitted 24 January, 2024; v1 submitted 26 September, 2023; originally announced September 2023.

Birational geometry of moduli space of del Pezzo pairs

Authors: Long Pan, Fei Si, Haoyu Wu

Abstract: In this paper, we investigate the geometry of moduli space $P_d$ of degree $d$ del Pezzo pair, that is, a del Pezzo surface $X$ of degree $d$ with a curve $C \sim -2K_X$. More precisely, we study compactifications for $P_d$ from both Hodge's theoretical and geometric invariant theoretical (GIT) perspective. We compute the Picard numbers of these compact moduli spaces which is an important step to… ▽ More In this paper, we investigate the geometry of moduli space $P_d$ of degree $d$ del Pezzo pair, that is, a del Pezzo surface $X$ of degree $d$ with a curve $C \sim -2K_X$. More precisely, we study compactifications for $P_d$ from both Hodge's theoretical and geometric invariant theoretical (GIT) perspective. We compute the Picard numbers of these compact moduli spaces which is an important step to set up the Hassett-Keel-Looijenga models for $P_d$. For $d=8$ case, we propose the Hassett-Keel-Looijenga program $\cF_8(s)=\Proj(R(\cF_8,Δ(s) )$ as the section rings of certain $\bQ$-line bundle $Δ_8(s)$ on locally symmetric variety $\cF_8$, which is birational to $P_8$. Moreover, we give an arithmetic stratification on $\cF_8$. After using the arithmetic computation of pullback $Δ(s)$ on these arithmetic strata, we give the arithmetic predictions for the wall-crossing behavior of $\cF_8(s)$ when $s\in [0,1]$ varies. The relation of $\cF_8(s)$ with the K-moduli spaces of degree $8$ del Pezzo pairs is also proposed. △ Less

Submitted 19 September, 2023; originally announced September 2023.

Comments: 43 pages, comments are very welcome !

Ridge detection for nonstationary multicomponent signals with time-varying wave-shape functions and its applications

Authors: Yan-Wei Su, Gi-Ren Liu, Yuan-Chung Sheu, Hau-Tieng Wu

Abstract: We introduce a novel ridge detection algorithm for time-frequency (TF) analysis, particularly tailored for intricate nonstationary time series encompassing multiple non-sinusoidal oscillatory components. The algorithm is rooted in the distinctive geometric patterns that emerge in the TF domain due to such non-sinusoidal oscillations. We term this method \textit{shape-adaptive mode decomposition-ba… ▽ More We introduce a novel ridge detection algorithm for time-frequency (TF) analysis, particularly tailored for intricate nonstationary time series encompassing multiple non-sinusoidal oscillatory components. The algorithm is rooted in the distinctive geometric patterns that emerge in the TF domain due to such non-sinusoidal oscillations. We term this method \textit{shape-adaptive mode decomposition-based multiple harmonic ridge detection} (\textsf{SAMD-MHRD}). A swift implementation is available when supplementary information is at hand. We demonstrate the practical utility of \textsf{SAMD-MHRD} through its application to a real-world challenge. We employ it to devise a cutting-edge walking activity detection algorithm, leveraging accelerometer signals from an inertial measurement unit across diverse body locations of a moving subject. △ Less

Submitted 12 September, 2023; originally announced September 2023.

Reaction coordinate flows for model reduction of molecular kinetics

Authors: Hao Wu, Frank Noé

Abstract: In this work, we introduce a flow based machine learning approach, called reaction coordinate (RC) flow, for discovery of low-dimensional kinetic models of molecular systems. The RC flow utilizes a normalizing flow to design the coordinate transformation and a Brownian dynamics model to approximate the kinetics of RC, where all model parameters can be estimated in a data-driven manner. In contrast… ▽ More In this work, we introduce a flow based machine learning approach, called reaction coordinate (RC) flow, for discovery of low-dimensional kinetic models of molecular systems. The RC flow utilizes a normalizing flow to design the coordinate transformation and a Brownian dynamics model to approximate the kinetics of RC, where all model parameters can be estimated in a data-driven manner. In contrast to existing model reduction methods for molecular kinetics, RC flow offers a trainable and tractable model of reduced kinetics in continuous time and space due to the invertibility of the normalizing flow. Furthermore, the Brownian dynamics-based reduced kinetic model investigated in this work yields a readily discernible representation of metastable states within the phase space of the molecular system. Numerical experiments demonstrate how effectively the proposed method discovers interpretable and accurate low-dimensional representations of given full-state kinetics from simulations. △ Less

Submitted 11 September, 2023; originally announced September 2023.

Webs for the Quantum Orthogonal Group

Authors: Elijah Bodish, Haihan Wu

Abstract: We give a generators and relations presentation for the full monoidal subcategory of representations of the quantum orthogonal group generated by the quantum exterior powers of the defining representation. We give a generators and relations presentation for the full monoidal subcategory of representations of the quantum orthogonal group generated by the quantum exterior powers of the defining representation. △ Less

Submitted 7 September, 2023; originally announced September 2023.

Comments: 46 pages, many figures

MSC Class: 17B10 (Primary) 17B37 (Secondary)

Optimal Distributed Control for a Cahn-Hilliard-Darcy System with Mass Sources, Unmatched Viscosities and Singular Potential

Authors: Marco Abatangelo, Cecilia Cavaterra, Maurizio Grasselli, Hao Wu

Abstract: We study a Cahn-Hilliard-Darcy system with mass sources, which can be considered as a basic, though simplified, diffuse interface model for the evolution of tumor growth. This system is equipped with an impermeability condition for the (volume) averaged velocity $\mathbf{u}$ as well as homogeneous Neumann boundary conditions for the phase function $\varphi$ and the chemical potential $μ$. The sour… ▽ More We study a Cahn-Hilliard-Darcy system with mass sources, which can be considered as a basic, though simplified, diffuse interface model for the evolution of tumor growth. This system is equipped with an impermeability condition for the (volume) averaged velocity $\mathbf{u}$ as well as homogeneous Neumann boundary conditions for the phase function $\varphi$ and the chemical potential $μ$. The source term in the convective Cahn-Hilliard equation contains a control $R$ that can be thought, for instance, as a drug or a nutrient in applications. Our goal is to study a distributed optimal control problem in the two dimensional setting with a cost functional of tracking-type. In the physically relevant case with unmatched viscosities for the binary fluid mixtures and a singular potential, we first prove the existence and uniqueness of a global strong solution with $\varphi$ being strictly separated from the pure phases $\pm 1$. This well-posedness result enables us to characterize the control-to-state map** $\mathcal{S}:R \mapsto \varphi$. Then we obtain the existence of an optimal control, the Fréchet differentiability of $\mathcal{S}$ and first-order necessary optimality conditions expressed through a suitable variational inequality for the adjoint variables. Finally, we prove the differentiability of the control-to-costate operator and establish a second-order sufficient condition for the strict local optimality. △ Less

Submitted 5 April, 2024; v1 submitted 3 August, 2023; originally announced August 2023.

Comments: Minor revision has been made. This is a full length preprint version with detailed computations

MSC Class: 35Q35; 35Q92; 49J20; 49J50; 49K20; 76D27; 76T06

Well-posedness and Long-time Behavior of a Bulk-surface Coupled Cahn-Hilliard-diffusion System with Singular Potential for Lipid Raft Formation

Authors: Hao Wu, Shengqin Xu

Abstract: We study a bulk-surface coupled system that describes the processes of lipid-phase separation and lipid-cholesterol interaction on cell membranes, in which cholesterol exchange between cytosol and cell membrane is also incorporated. The PDE system consists of a surface Cahn-Hilliard equation for the relative concentration of saturated/unsaturated lipids and a surface diffusion-reaction equation fo… ▽ More We study a bulk-surface coupled system that describes the processes of lipid-phase separation and lipid-cholesterol interaction on cell membranes, in which cholesterol exchange between cytosol and cell membrane is also incorporated. The PDE system consists of a surface Cahn-Hilliard equation for the relative concentration of saturated/unsaturated lipids and a surface diffusion-reaction equation for the cholesterol concentration on the membrane, together with a diffusion equation for the cytosolic cholesterol concentration in the bulk. The detailed coupling between bulk and surface evolutions is characterized by a mass exchange term $q$. For the system with a physically relevant singular potential, we first prove the existence, uniqueness and regularity of global weak solutions to the full bulk-surface coupled system under suitable assumptions on the initial data and the mass exchange term $q$. Next, we investigate the large cytosolic diffusion limit that gives a reduction of the full bulk-surface coupled system to a system of surface equations with non-local contributions. Afterwards, we study the long-time behavior of global solutions in two categories, i.e., the equilibrium and non-equilibrium models according to different choices of the mass exchange term $q$. For the full bulk-surface coupled system with a decreasing total free energy, we prove that every global weak solution converges to a single equilibrium as $t\to +\infty$. For the reduced surface system with a mass exchange term of reaction type, we establish the existence of a global attractor. △ Less

Submitted 2 August, 2023; originally announced August 2023.

MSC Class: 35A01; 35A02; 35K35; 35Q92

Journal ref: Discrete Contin. Dyn. Syst. Ser. S, 17(1) (2024), 1-61

Decay estimates for a class of semigroups related to self-adjoint operators on metric measure spaces

Authors: Guoxia Feng, Manli Song, Huoxiong Wu

Abstract: Assume that $(X,d,μ)$ is a metric space endowed with a non-negative Borel measure $μ$ satisfying the doubling condition and the additional condition that $μ(B(x,r))\gtrsim r^n$ for any $x\in X, \,r>0$ and some $n\geq1$. Let $L$ be a non-negative self-adjoint operator on $L^2(X,μ)$. We assume that $e^{-tL}$ satisfies a Gaussian upper bound and the Schrödinger operator $e^{itL}$ satisfies an… ▽ More Assume that $(X,d,μ)$ is a metric space endowed with a non-negative Borel measure $μ$ satisfying the doubling condition and the additional condition that $μ(B(x,r))\gtrsim r^n$ for any $x\in X, \,r>0$ and some $n\geq1$. Let $L$ be a non-negative self-adjoint operator on $L^2(X,μ)$. We assume that $e^{-tL}$ satisfies a Gaussian upper bound and the Schrödinger operator $e^{itL}$ satisfies an $L^1\to L^\infty$ decay estimate of the form \begin{equation*} \|e^{itL}\|_{L^1\to L^\infty} \lesssim |t|^{-\frac{n}{2}}. \end{equation*} Then for a general class of dispersive semigroup $e^{itφ(L)}$, where $φ: \mathbb{R}^+ \to \mathbb{R}$ is smooth, we establish a similar $L^1\to L^\infty$ decay estimate by a suitable subordination formula connecting it with the Schrödinger operator $e^{itL}$. As applications, we derive new Strichartz estimates for several dispersive equations related to Hermite operators, twisted Laplacians and Laguerre operators. △ Less

Submitted 1 August, 2023; originally announced August 2023.

On finite field analogues of determinants involving the Beta function

Authors: Hai-Liang Wu, Li-Yuan Wang, Hao Pan

Abstract: Motivated by the works of L. Carlitz, R. Chapman and Z.-W. Sun on cyclotomic matrices, in this paper, we investigate certain cyclotomic matrices concerning the Jacobi sums over finite fields, which can be viewed as finite field analogues of certain matrices involving the Beta function. For example, let $q>1$ be a prime power and let $χ$ be a generator of the group of all multiplicative characters… ▽ More Motivated by the works of L. Carlitz, R. Chapman and Z.-W. Sun on cyclotomic matrices, in this paper, we investigate certain cyclotomic matrices concerning the Jacobi sums over finite fields, which can be viewed as finite field analogues of certain matrices involving the Beta function. For example, let $q>1$ be a prime power and let $χ$ be a generator of the group of all multiplicative characters of $\mathbb{F}_q$. Then we prove that $$\det\left[J_q(χ^i,χ^j)\right]_{1\le i,j\le q-2}=(q-1)^{q-3},$$ where $J_q(χ^i,χ^j)$ is the Jacobi sum over $\mathbb{F}_q$. This is a finite analogue of $$\det [B(i,j)]_{1\le i,j\le n}=(-1)^{\frac{n(n-1)}{2}}\prod_{r=0}^{n-1}\frac{(r!)^3}{(n+r)!},$$ where $B$ is the Beta function. Also, if $q=p\ge5$ is an odd prime, then we show that $$\det \left[J_p(χ^{2i},χ^{2j})\right]_{1\le i,j\le (p-3)/2}=\frac{1+(-1)^{\frac{p+1}{2}}p}{4}\left(\frac{p-1}{2}\right)^{\frac{p-5}{2}}.$$ △ Less

Submitted 2 May, 2024; v1 submitted 23 July, 2023; originally announced July 2023.

Comments: 16 pages. Comments are welcome

Reversed Dickson polynomials

Authors: Jiaqi Fang, Neranga Fernando, Haoming Wu

Abstract: We investigate fixed points and cycle types of permutation polynomials and complete permutation polynomials arising from reversed Dickson polynomials of the first kind and second kind over $\mathbb{F}_p$. We also study the permutation behaviour of reversed Dickson polynomials of the first kind and second kind over $\mathbb{Z}_m$. Moreover, we prove two special cases of a conjecture on the permutat… ▽ More We investigate fixed points and cycle types of permutation polynomials and complete permutation polynomials arising from reversed Dickson polynomials of the first kind and second kind over $\mathbb{F}_p$. We also study the permutation behaviour of reversed Dickson polynomials of the first kind and second kind over $\mathbb{Z}_m$. Moreover, we prove two special cases of a conjecture on the permutation behaviour of reversed Dickson polynomials over $\mathbb{F}_p$. △ Less

Submitted 12 July, 2023; originally announced July 2023.

Comments: 40 pages

MSC Class: 11T06; 11T55

Wasserstein-$1$ distance and nonuniform Berry-Esseen bound for a supercritical branching process in a random environment

Authors: Hao Wu, Xiequan Fan, Zhiqiang Gao, Yinna Ye

Abstract: Let $ (Z_{n})_{n\geq 0} $ be a supercritical branching process in an independent and identically distributed random environment. We establish an optimal convergence rate in the Wasserstein-$1$ distance for the process $ (Z_{n})_{n\geq 0} $, which completes a result of Grama et al. [Stochastic Process. Appl., 127(4), 1255-1281, 2017]. Moreover, an exponential nonuniform Berry-Esseen bound is also g… ▽ More Let $ (Z_{n})_{n\geq 0} $ be a supercritical branching process in an independent and identically distributed random environment. We establish an optimal convergence rate in the Wasserstein-$1$ distance for the process $ (Z_{n})_{n\geq 0} $, which completes a result of Grama et al. [Stochastic Process. Appl., 127(4), 1255-1281, 2017]. Moreover, an exponential nonuniform Berry-Esseen bound is also given. At last, some applications of the main results to the confidence interval estimation for the criticality parameter and the population size $Z_n$ are discussed. △ Less

Submitted 4 December, 2023; v1 submitted 3 July, 2023; originally announced July 2023.

Comments: Corrected typos, updated publication information. 19 pages, published in "Journal of Mathematical Research with Applications" (ISSN: 2095-2651), 2023, 43(6): 737-753

MSC Class: 60J80; 60K37; 60F05; 62E20

Pupil-driven quantitative differential phase contrast imaging

Authors: Shuhe Zhang, Hao Wu, Tao Peng, Zeyu Ke, Meng Shao, Tos T. J. M. Berendschot, **hua Zhou

Abstract: In this research, we reveal the inborn but hitherto ignored properties of quantitative differential phase contrast (qDPC) imaging: the phase transfer function being an edge detection filter. Inspired by this, we highlighted the duality of qDPC between optics and pattern recognition, and propose a simple and effective qDPC reconstruction algorithm, termed Pupil-Driven qDPC (pd-qDPC), to facilitate… ▽ More In this research, we reveal the inborn but hitherto ignored properties of quantitative differential phase contrast (qDPC) imaging: the phase transfer function being an edge detection filter. Inspired by this, we highlighted the duality of qDPC between optics and pattern recognition, and propose a simple and effective qDPC reconstruction algorithm, termed Pupil-Driven qDPC (pd-qDPC), to facilitate the phase reconstruction quality for the family of qDPC-based phase reconstruction algorithms. We formed a new cost function in which modified L0-norm was used to represent the pupil-driven edge sparsity, and the qDPC convolution operator is duplicated in the data fidelity term to achieve automatic background removal. Further, we developed the iterative reweighted soft-threshold algorithms based on split Bregman method to solve this modified L0-norm problem. We tested pd-qDPC on both simulated and experimental data and compare against state-of-the-art (SOTA) methods including L2-norm, total variation regularization (TV-qDPC), isotropic-qDPC, and Retinex qDPC algorithms. Results show that our proposed model is superior in terms of phase reconstruction quality and implementation efficiency, in which it significantly increases the experimental robustness while maintaining the data fidelity. In general, the pd-qDPC enables the high-quality qDPC reconstruction without any modification of the optical system. It simplifies the system complexity and benefits the qDPC community and beyond including but not limited to cell segmentation and PTF learning based on the edge filtering property. △ Less

Submitted 29 June, 2023; originally announced June 2023.

The Brauer-Manin obstruction on algebraic stacks

Authors: Chang Lv, Han Wu

Abstract: For algebraic stacks over a number field, we define their Brauer-Manin pairings, Brauer-Manin sets, and extend the descent theory of Colliot-Thélène and Sansuc. By extending Sansuc's exact sequence, we show the torsionness of Brauer groups of stacks that are locally quotients of varieties by connected groups. With mild assumptions, for stacks that are locally quotients or Deligne-Mumford, we show… ▽ More For algebraic stacks over a number field, we define their Brauer-Manin pairings, Brauer-Manin sets, and extend the descent theory of Colliot-Thélène and Sansuc. By extending Sansuc's exact sequence, we show the torsionness of Brauer groups of stacks that are locally quotients of varieties by connected groups. With mild assumptions, for stacks that are locally quotients or Deligne-Mumford, we show that the Brauer-Manin obstruction coincides with some other cohomological obstructions such as obstructions given by torsors under connected groups or abelian gerbes, generalizing Harari's original results. For Brauer-Manin sets on these stacks, we show the properties such as descent along a torsor, product preservation are still correct. These results extend classical theories of those on varieties. △ Less

Submitted 30 July, 2023; v1 submitted 26 June, 2023; originally announced June 2023.

Comments: 16 pages, revised some proofs (git: 20220302/60acc33)

MSC Class: (primary) 14F22; 14A20; (secondary) 14F20

Rényi--Sobolev Inequalities and Connections to Spectral Graph Theory

Authors: Lei Yu, Hao Wu

Abstract: In this paper, we generalize the log-Sobolev inequalities to Rényi--Sobolev inequalities by replacing the entropy with the two-parameter entropy, which is a generalized version of entropy closely related to Rényi divergences. We derive the sharp nonlinear dimension-free version of this kind of inequalities. Interestingly, the resultant inequalities show a phase transition depending on the paramete… ▽ More In this paper, we generalize the log-Sobolev inequalities to Rényi--Sobolev inequalities by replacing the entropy with the two-parameter entropy, which is a generalized version of entropy closely related to Rényi divergences. We derive the sharp nonlinear dimension-free version of this kind of inequalities. Interestingly, the resultant inequalities show a phase transition depending on the parameters. We then connect Rényi--Sobolev inequalities to the spectral graph theory. Our proofs in this paper are based on the information-theoretic characterization of the Rényi--Sobolev inequalities, as well as the method of types. △ Less

Submitted 21 June, 2023; originally announced June 2023.

Comments: 15 pages; comments welcome. arXiv admin note: text overlap with arXiv:2211.01788