-
Fast solution to the fair ranking problem using the Sinkhorn algorithm
Authors:
Yuki Uehara,
Shunnosuke Ikeda,
Naoki Nishimura,
Koya Ohashi,
Yilin Li,
Jie Yang,
Deddy Jobson,
Xingxia Zha,
Takeshi Matsumoto,
Noriyoshi Sukegawa,
Yuichi Takano
Abstract:
In two-sided marketplaces such as online flea markets, recommender systems for providing consumers with personalized item rankings play a key role in promoting transactions between providers and consumers. Meanwhile, two-sided marketplaces face the problem of balancing consumer satisfaction and fairness among items to stimulate activity of item providers. Saito and Joachims (2022) devised an impac…
▽ More
In two-sided marketplaces such as online flea markets, recommender systems for providing consumers with personalized item rankings play a key role in promoting transactions between providers and consumers. Meanwhile, two-sided marketplaces face the problem of balancing consumer satisfaction and fairness among items to stimulate activity of item providers. Saito and Joachims (2022) devised an impact-based fair ranking method for maximizing the Nash social welfare based on fair division; however, this method, which requires solving a large-scale constrained nonlinear optimization problem, is very difficult to apply to practical-scale recommender systems. We thus propose a fast solution to the impact-based fair ranking problem. We first transform the fair ranking problem into an unconstrained optimization problem and then design a gradient ascent method that repeatedly executes the Sinkhorn algorithm. Experimental results demonstrate that our algorithm provides fair rankings of high quality and is about 1000 times faster than application of commercial optimization software.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
Higher dimensional moduli spaces on Kuznetsov components of Fano threefolds
Authors:
Chunyi Li,
Yinbang Lin,
Laura Pertusi,
Xiaolei Zhao
Abstract:
We study moduli spaces of stable objects in the Kuznetsov components of Fano threefolds. We prove a general non-emptiness criterion for moduli spaces, which applies to the cases of prime Fano threefolds of index $1$, degree $10 \leq d \leq 18$, and index $2$, degree $d \leq 4$. In the second part, we focus on cubic threefolds. We show the irreducibility of the moduli spaces, and that the general f…
▽ More
We study moduli spaces of stable objects in the Kuznetsov components of Fano threefolds. We prove a general non-emptiness criterion for moduli spaces, which applies to the cases of prime Fano threefolds of index $1$, degree $10 \leq d \leq 18$, and index $2$, degree $d \leq 4$. In the second part, we focus on cubic threefolds. We show the irreducibility of the moduli spaces, and that the general fibers of the Abel--Jacobi maps from the moduli spaces to the intermediate Jacobian are Fano varieties. When the dimension is sufficiently large, we further show that the general fibers of the Abel--Jacobi maps are stably birational equivalent to each other. As an application of our methods, we prove Conjecture A.1 in [FGLZ24] concerning the existence of Lagrangian subvarieties in moduli spaces of stable objects in the Kuznetsov components of very general cubic fourfolds.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
Gauss curvature flow to the $L_p$-Gaussian chord Minkowski problem
Authors:
Xia Zhao,
Peibiao Zhao
Abstract:
Recently, Huang and Qin \cite{HY01} introduced Gaussian chord measure and $L_p$-Gaussian chord measure by variational methods. Meanwhile, they posed Gaussian chord Minkowski problem and used variational methods to obtain an origin-symmetric normalized measure solution for the Gaussian chord Minkowski problem.
Motivated by the forgoing works of $L_p$-Gaussian chord measure, we can not only propos…
▽ More
Recently, Huang and Qin \cite{HY01} introduced Gaussian chord measure and $L_p$-Gaussian chord measure by variational methods. Meanwhile, they posed Gaussian chord Minkowski problem and used variational methods to obtain an origin-symmetric normalized measure solution for the Gaussian chord Minkowski problem.
Motivated by the forgoing works of $L_p$-Gaussian chord measure, we can not only propose the $L_p$-Gaussian chord Minkowski problem, but also obtain its smooth solutions. Specially, we provide a smooth even solution for $p=0$. In this paper, we obtain the existence of smooth even solutions to the $L_p$-Gaussian chord Minkowski problem with $p\geq 0$ and $q>2$ by method of a Gauss curvature flow.
△ Less
Submitted 9 June, 2024;
originally announced June 2024.
-
Closed mean curvature flows with asymptotically conical singularities
Authors:
Tang-Kai Lee,
Xinrui Zhao
Abstract:
In this paper, we prove that for any asymptotically conical self-shrinker, there exists an embedded closed hypersurface such that the mean curvature flow starting from it develops a singularity modeled on the given shrinker. The main technique is the Ważewski box argument, used by Stolarski in the proof of the corresponding theorem in the Ricci flow case. As a corollary, our construction, combined…
▽ More
In this paper, we prove that for any asymptotically conical self-shrinker, there exists an embedded closed hypersurface such that the mean curvature flow starting from it develops a singularity modeled on the given shrinker. The main technique is the Ważewski box argument, used by Stolarski in the proof of the corresponding theorem in the Ricci flow case. As a corollary, our construction, combined with the works of Angenent-Ilmanen-Velázquez and Chodosh-Daniels-Holgate-Schulze, implies the existence of fattening level set flows starting from smooth embedded closed hypersurfaces. This addresses a question posed by Evans-Spruck and De Giorgi.
△ Less
Submitted 22 June, 2024; v1 submitted 24 May, 2024;
originally announced May 2024.
-
Stability estimate for the discrete Calderon problem from partial data
Authors:
Xiaomeng Zhao,
Ganghua Yuan
Abstract:
In this paper, we focus on the analysis of discrete versions of the Calderon problem with partial boundary data in dimension d >= 3. In particular, we establish logarithmic stability estimates for the discrete Calderon problem on an arbitrarily small portion of the boundary under suitable a priori bounds. For this end, we will use CGO solutions and derive a new discrete Carleman estimate and a key…
▽ More
In this paper, we focus on the analysis of discrete versions of the Calderon problem with partial boundary data in dimension d >= 3. In particular, we establish logarithmic stability estimates for the discrete Calderon problem on an arbitrarily small portion of the boundary under suitable a priori bounds. For this end, we will use CGO solutions and derive a new discrete Carleman estimate and a key unique continuation estimate. Unlike the continuous case, we use a new strategy inspired by [32] to prove the key discrete unique continuation estimate by utilizing the new Carleman estimate with boundary observations for a discrete Laplace operator.
△ Less
Submitted 11 May, 2024;
originally announced May 2024.
-
The Douglas question on the Bergman and Fock spaces
Authors:
Jian-hua Chen,
Qianrui Leng,
Xianfeng Zhao
Abstract:
Let $μ$ be a positive Borel measure and $T_μ$ be the bounded Toeplitz operator induced by $μ$ on the Bergman or Fock space. In this paper, we mainly investigate the invertibility of the Toeplitz operator $T_μ$ and the Douglas question on the Bergman and Fock spaces. In the Bergman-space setting, we obtain several necessary and sufficient conditions for the invertibility of $T_μ$ in terms of the Be…
▽ More
Let $μ$ be a positive Borel measure and $T_μ$ be the bounded Toeplitz operator induced by $μ$ on the Bergman or Fock space. In this paper, we mainly investigate the invertibility of the Toeplitz operator $T_μ$ and the Douglas question on the Bergman and Fock spaces. In the Bergman-space setting, we obtain several necessary and sufficient conditions for the invertibility of $T_μ$ in terms of the Berezin transform of $μ$ and the reverse Carleson condition in two classical cases: (1) $μ$ is absolutely continuous with respect to the normalized area measure on the open unit disk $\mathbb D$; (2) $μ$ is the pull-back measure of the normalized area measure under an analytic self-map** of $\mathbb D$. Nonetheless, we show that there exists a Carleson measure for the Bergman space such that its Berezin transform is bounded below but the corresponding Toeplitz operator is not invertible. On the Fock space, we show that $T_μ$ is invertible if and only if $μ$ is a reverse Carleson measure, but the invertibility of $T_μ$ is not completely determined by the invertibility of the Berezin transform of $μ$. These suggest that the answers to the Douglas question for Toeplitz operators induced by positive measures on the Bergman and Fock spaces are both negative in general cases.
△ Less
Submitted 8 June, 2024; v1 submitted 8 May, 2024;
originally announced May 2024.
-
Improved scalar auxiliary variable schemes for original energy stability of gradient flows
Authors:
RUi Chen,
Tingfeng Wang,
Xiaofei Zhao
Abstract:
Scalar auxiliary variable (SAV) methods are a class of linear schemes for solving gradient flows that are known for the stability of a `modified' energy. In this paper, we propose an improved SAV (iSAV) scheme that not only retains the complete linearity but also ensures rigorously the stability of the original energy. The convergence and optimal error bound are rigorously established for the iSAV…
▽ More
Scalar auxiliary variable (SAV) methods are a class of linear schemes for solving gradient flows that are known for the stability of a `modified' energy. In this paper, we propose an improved SAV (iSAV) scheme that not only retains the complete linearity but also ensures rigorously the stability of the original energy. The convergence and optimal error bound are rigorously established for the iSAV scheme and discussions are made for its high-order extension. Extensive numerical experiments are done to validate the convergence, robustness and energy stability of iSAV, and some comparisons are made.
△ Less
Submitted 12 May, 2024; v1 submitted 6 May, 2024;
originally announced May 2024.
-
Flow by Gauss Curvature to the Orlicz Minkowski Problem for q-torsional rigidity
Authors:
Xia Zhao,
Peibiao Zhao
Abstract:
The Minkowski problem for torsional rigidity ($2$-torsional rigidity) was firstly studied by Colesanti and Fimiani \cite{CA} using variational method. Moreover, Hu, Liu and Ma \cite{HJ00} also studied this problem by method of curvature flows and obtain the existence of smooth even solutions. In addition, the Minkowski problem for $2$-torsional rigidity was also extended to $L_p$ version and Orlic…
▽ More
The Minkowski problem for torsional rigidity ($2$-torsional rigidity) was firstly studied by Colesanti and Fimiani \cite{CA} using variational method. Moreover, Hu, Liu and Ma \cite{HJ00} also studied this problem by method of curvature flows and obtain the existence of smooth even solutions. In addition, the Minkowski problem for $2$-torsional rigidity was also extended to $L_p$ version and Orlicz version.
Recently, Hu and Zhang \cite{HJ2} introduced the concept of Orlicz mixed $q$-torsional rigidity and obtained Orlicz $q$-torsional measure through the variational method for $q>1$.Specially, they established the functional Orlicz Brunn-Minkowski inequality and the functional Orlicz Minkowski inequality.
Motivated by the forgoing works, we can propose the Orlicz Minkowski problem for $q$-torsional rigidity, and then confirm the existence of smooth non-even solutions to the Orlicz Minkowski problem for $q$-torsional rigidity with $q>1$ by method of a Gauss curvature flow.
△ Less
Submitted 25 May, 2024; v1 submitted 30 April, 2024;
originally announced April 2024.
-
Flow by Gauss curvature to the Minkowski problem of p-harmonic measure
Authors:
Chao Li,
Xia Zhao
Abstract:
The Minkowski problem of harmonic measures was first studied by Jerison [19]. Recently, Akman and Mukherjee [1] studied the Minkowski problem corresponding to $p$-harmonic measures on convex domains and generalized Jerison's results. In this paper, we prove the existence of the smooth solution to the Minkowski problem for the $p$-harmonic measure by method of the Gauss curvature flow.
The Minkowski problem of harmonic measures was first studied by Jerison [19]. Recently, Akman and Mukherjee [1] studied the Minkowski problem corresponding to $p$-harmonic measures on convex domains and generalized Jerison's results. In this paper, we prove the existence of the smooth solution to the Minkowski problem for the $p$-harmonic measure by method of the Gauss curvature flow.
△ Less
Submitted 5 May, 2024; v1 submitted 29 April, 2024;
originally announced April 2024.
-
On instability of the Taylor-Green vortex in 2D Euler flows
Authors:
Xinyu Zhao,
Bartosz Protas,
Roman Shvydkoy
Abstract:
We consider Euler flows on two-dimensional (2D) periodic domain and are interested in the stability, both linear and nonlinear, of a simple equilibrium given by the 2D Taylor-Green vortex. As the first main result, numerical evidence is provided for the fact that such flows possess unstable eigenvalues embedded in the band of the essential spectrum of the linearized operator, which suggests that p…
▽ More
We consider Euler flows on two-dimensional (2D) periodic domain and are interested in the stability, both linear and nonlinear, of a simple equilibrium given by the 2D Taylor-Green vortex. As the first main result, numerical evidence is provided for the fact that such flows possess unstable eigenvalues embedded in the band of the essential spectrum of the linearized operator, which suggests that passage from linear to non-linear instability in the energy metric is likely for such flows. The latter is confirmed numerically as well by demonstrating exponential transient growth of the nonlinear dynamics with the rate given by the real part of the unstable eigenvalue. However, the unstable eigenfunction is a distribution, rather than a smooth function, and is unbounded in the neighbourhood of the hyperbolic stagnation points of the base flow. As the second main result, we illustrate a fundamentally different, nonmodal, growth mechanism involving a continuous family of uncorrelated functions, instead of an eigenfunction of the linearized operator. Constructed by solving a suitable PDE optimization problem, the resulting flows saturate the known estimates on the growth of the semigroup related to the essential spectrum of the linearized Euler operator as the numerical resolution is refined. These findings are contrasted with the results of earlier studies of a similar problem conducted in a slightly viscous setting where only the modal growth of instabilities was observed. This highlights the special stability properties of equilibria in inviscid flows.
△ Less
Submitted 27 April, 2024;
originally announced April 2024.
-
Dirac cohomology of minimal representations
Authors:
Xuanchen Zhao
Abstract:
In this paper, we study the Dirac cohomology of minimal representations for all real reductive groups G. The Dirac indices of these representations are also studied when G is of equal rank, giving some counterexamples of a conjecture of Huang proposed in 2015.
In this paper, we study the Dirac cohomology of minimal representations for all real reductive groups G. The Dirac indices of these representations are also studied when G is of equal rank, giving some counterexamples of a conjecture of Huang proposed in 2015.
△ Less
Submitted 26 April, 2024;
originally announced April 2024.
-
A norm inequality on noncommutative symmetric spaces related to a question of Bourin
Authors:
**chen Liu,
Kan He,
Xingpeng Zhao
Abstract:
In this note, we study a question introduced by Bourin \cite{2009Matrix} and partially solve the question of Bourin. In fact, for t\in[0,\frac{1}{4}]\cup[\frac{3}{4},1], we show that |||x^{t}y^{1-t}+y^{t}x^{1-t}|||\leq|||x+y|||, where x,y\in\mathbb{M}_{n}(\mathbb{C})^+ and \||\cdot\|| is the unitarily invariant norm. Moreover, we prove that the above inequality holds on noncommutative fully symmet…
▽ More
In this note, we study a question introduced by Bourin \cite{2009Matrix} and partially solve the question of Bourin. In fact, for t\in[0,\frac{1}{4}]\cup[\frac{3}{4},1], we show that |||x^{t}y^{1-t}+y^{t}x^{1-t}|||\leq|||x+y|||, where x,y\in\mathbb{M}_{n}(\mathbb{C})^+ and \||\cdot\|| is the unitarily invariant norm. Moreover, we prove that the above inequality holds on noncommutative fully symmetric spaces.
△ Less
Submitted 14 April, 2024;
originally announced April 2024.
-
Accelerating preconditioned ADMM via degenerate proximal point map**s
Authors:
Defeng Sun,
Yancheng Yuan,
Guojun Zhang,
Xinyuan Zhao
Abstract:
In this paper, we aim to accelerate a preconditioned alternating direction method of multipliers (pADMM), whose proximal terms are convex quadratic functions, for solving linearly constrained convex optimization problems. To achieve this, we first reformulate the pADMM into a form of proximal point method (PPM) with a positive semidefinite preconditioner which can be degenerate due to the lack of…
▽ More
In this paper, we aim to accelerate a preconditioned alternating direction method of multipliers (pADMM), whose proximal terms are convex quadratic functions, for solving linearly constrained convex optimization problems. To achieve this, we first reformulate the pADMM into a form of proximal point method (PPM) with a positive semidefinite preconditioner which can be degenerate due to the lack of strong convexity of the proximal terms in the pADMM. Then we accelerate the pADMM by accelerating the reformulated degenerate PPM (dPPM). Specifically, we first propose an accelerated dPPM by integrating the Halpern iteration and the fast Krasnosel'skiĭ-Mann iteration into it, achieving asymptotic $o(1/k)$ and non-asymptotic $O(1/k)$ convergence rates. Subsequently, building upon the accelerated dPPM, we develop an accelerated pADMM algorithm that exhibits both asymptotic $o(1/k)$ and non-asymptotic $O(1/k)$ nonergodic convergence rates concerning the Karush-Kuhn-Tucker residual and the primal objective function value gap. Preliminary numerical experiments validate the theoretical findings, demonstrating that the accelerated pADMM outperforms the pADMM in solving convex quadratic programming problems.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
The cubic nonlinear Schrödinger equation with rough potential
Authors:
Norbert J. Mauser,
Yifei Wu,
Xiaofei Zhao
Abstract:
We consider the cubic nonlinear Schrödinger equation with a spatially rough potential, a key equation in the mathematical setup for nonlinear Anderson localization. Our study comprises two main parts: new optimal results on the well-posedness analysis on the PDE level, and subsequently a new efficient numerical method, its convergence analysis and simulations that illustrate our analytical results…
▽ More
We consider the cubic nonlinear Schrödinger equation with a spatially rough potential, a key equation in the mathematical setup for nonlinear Anderson localization. Our study comprises two main parts: new optimal results on the well-posedness analysis on the PDE level, and subsequently a new efficient numerical method, its convergence analysis and simulations that illustrate our analytical results. In the analysis part, our results focus on understanding how the regularity of the solution is influenced by the regularity of the potential, where we provide quantitative and explicit characterizations. Ill-posedness results are also established to demonstrate the sharpness of the obtained regularity characterizations and to indicate the minimum regularity required from the potential for the NLS to be solvable. Building upon the obtained regularity results, we design an appropriate numerical discretization for the model and establish its convergence with an optimal error bound. The numerical experiments in the end not only verify the theoretical regularity results, but also confirm the established convergence rate of the proposed scheme. Additionally, a comparison with other existing schemes is conducted to demonstrate the better accuracy of our new scheme in the case of a rough potential.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
Derived categories of quartic double fivefolds
Authors:
Raymond Cheng,
Alexander Perry,
Xiaolei Zhao
Abstract:
We construct singular quartic double fivefolds whose Kuznetsov component admits a crepant categorical resolution of singularities by a twisted Calabi--Yau threefold. We also construct rational specializations of these fivefolds where such a resolution exists without a twist. This confirms an instance of a higher-dimensional version of Kuznetsov's rationality conjecture, and of a noncommutative ver…
▽ More
We construct singular quartic double fivefolds whose Kuznetsov component admits a crepant categorical resolution of singularities by a twisted Calabi--Yau threefold. We also construct rational specializations of these fivefolds where such a resolution exists without a twist. This confirms an instance of a higher-dimensional version of Kuznetsov's rationality conjecture, and of a noncommutative version of Reid's fantasy on the connectedness of the moduli of Calabi--Yau threefolds.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
Stability and Sharp Decay Estimates for 3D MHD Equations with Only Vertical Dissipation Near a Background Magnetic Field
Authors:
Suhua Lai,
Jiahong Wu,
Jianwen Zhang,
Xiaokui Zhao
Abstract:
This paper is concerned with the stability and large-time behavior of 3D incompressible MHD equations with only vertical dissipation near a background magnetic field. By making full use of the dissipation generated by the background magnetic field, we first establish the global stability of the solutions in $H^3$-norm. Then, the optimal decay rates of the solutions are obtained, which are consiste…
▽ More
This paper is concerned with the stability and large-time behavior of 3D incompressible MHD equations with only vertical dissipation near a background magnetic field. By making full use of the dissipation generated by the background magnetic field, we first establish the global stability of the solutions in $H^3$-norm. Then, the optimal decay rates of the solutions are obtained, which are consistent with the 2D classical heat equation. Moreover, some enhanced decay rates of $(u_1,b_1)$ are also achieved. In other words, the decay estimates of the second or third component of velocity/magnetic field coincide with those of 2D heat kernel, while the first component behaves like the 3D heat kernel. This is mainly due to the divergence-free condition and the anisotropic structure. The results obtained improve the previous ones due to Lin-Wu-Zhu [24,25].
△ Less
Submitted 11 March, 2024;
originally announced March 2024.
-
The $K_{1,2}$-structure-connectivity of graphs
Authors:
Xiao Zhao,
Haojie Zheng,
Hengzhe Li
Abstract:
In this paper, we mainly investigate $K_{1,2}$-structure-connectivity for any connected graph. Let $G$ be a connected graph with $n$ vertices, we show that $κ(G; K_{1,2})$ is well-defined if $diam(G)\geq 4$, or $n\equiv 1\pmod 3$, or $G\notin \{C_{5},K_{n}\}$ when $n\equiv 2\pmod 3$, or there exist three vertices $u,v,w$ such that $N_{G}(u)\cap (N_{G}(v,w)\cup\{v,w\})=\emptyset$ when…
▽ More
In this paper, we mainly investigate $K_{1,2}$-structure-connectivity for any connected graph. Let $G$ be a connected graph with $n$ vertices, we show that $κ(G; K_{1,2})$ is well-defined if $diam(G)\geq 4$, or $n\equiv 1\pmod 3$, or $G\notin \{C_{5},K_{n}\}$ when $n\equiv 2\pmod 3$, or there exist three vertices $u,v,w$ such that $N_{G}(u)\cap (N_{G}(v,w)\cup\{v,w\})=\emptyset$ when $n\equiv 0\pmod 3$. Furthermore, if $G$ has $K_{1,2}$-structure-cut, we prove $κ(G)/3\leqκ(G; K_{1,2})\leqκ(G)$.
△ Less
Submitted 13 March, 2024; v1 submitted 11 March, 2024;
originally announced March 2024.
-
Boosting Graph Pooling with Persistent Homology
Authors:
Chaolong Ying,
Xinjian Zhao,
Tianshu Yu
Abstract:
Recently, there has been an emerging trend to integrate persistent homology (PH) into graph neural networks (GNNs) to enrich expressive power. However, naively plugging PH features into GNN layers always results in marginal improvement with low interpretability. In this paper, we investigate a novel mechanism for injecting global topological invariance into pooling layers using PH, motivated by th…
▽ More
Recently, there has been an emerging trend to integrate persistent homology (PH) into graph neural networks (GNNs) to enrich expressive power. However, naively plugging PH features into GNN layers always results in marginal improvement with low interpretability. In this paper, we investigate a novel mechanism for injecting global topological invariance into pooling layers using PH, motivated by the observation that filtration operation in PH naturally aligns graph pooling in a cut-off manner. In this fashion, message passing in the coarsened graph acts along persistent pooled topology, leading to improved performance. Experimentally, we apply our mechanism to a collection of graph pooling methods and observe consistent and substantial performance gain over several popular datasets, demonstrating its wide applicability and flexibility.
△ Less
Submitted 1 June, 2024; v1 submitted 26 February, 2024;
originally announced February 2024.
-
Fully faithful functors, skyscraper sheaves, and birational equivalence
Authors:
Chunyi Li,
Xun Lin,
Xiaolei Zhao
Abstract:
Let $X$ and $Y$ be two smooth projective varieties such that there is a fully faithful exact functor from $D^b(\mathrm{Coh}(X))$ to $D^b(\mathrm{Coh}(Y))$. We show that $X$ and $Y$ are birational equivalent if the functor maps one skyscraper sheaf to a skyscraper sheaf. Further assuming that $X$ and $Y$ are of the same dimension, we show that if $X$ has ample canonical bundle and…
▽ More
Let $X$ and $Y$ be two smooth projective varieties such that there is a fully faithful exact functor from $D^b(\mathrm{Coh}(X))$ to $D^b(\mathrm{Coh}(Y))$. We show that $X$ and $Y$ are birational equivalent if the functor maps one skyscraper sheaf to a skyscraper sheaf. Further assuming that $X$ and $Y$ are of the same dimension, we show that if $X$ has ample canonical bundle and $H^0(X ,K_X)\neq 0$, or if $X$ is a K3 surface with Picard number one, then $Y$ is birational to a Fourier--Mukai partner of $X$.
△ Less
Submitted 19 February, 2024;
originally announced February 2024.
-
Some remarks about deformation theory and formality conjecture
Authors:
Huachen Chen,
Laura Pertusi,
Xiaolei Zhao
Abstract:
Using the algebraic criterion proved by Bandiera, Manetti and Meazzini, we show the formality conjecture for universally gluable objects with linearly reductive automorphism groups in the bounded derived category of a K3 surface. As an application, we prove the formality conjecture for polystable objects in the Kuznetsov components of Gushel--Mukai threefolds and quartic double solids.
Using the algebraic criterion proved by Bandiera, Manetti and Meazzini, we show the formality conjecture for universally gluable objects with linearly reductive automorphism groups in the bounded derived category of a K3 surface. As an application, we prove the formality conjecture for polystable objects in the Kuznetsov components of Gushel--Mukai threefolds and quartic double solids.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
Quantitative particle approximations of stochastic 2D Navier-Stokes equation
Authors:
Yufei Shao,
Xianliang Zhao
Abstract:
In this article, we investigate an interacting particle system featuring random intensities, individual noise, and environmental noise, commonly referred to as stochastic point vortex model. The model serves as an approximation for the stochastic 2-dimensional Navier-Stokes equation. We establish a quantitative mean-field convergence for the stochastic 2-dimensional Navier-Stokes equation in the f…
▽ More
In this article, we investigate an interacting particle system featuring random intensities, individual noise, and environmental noise, commonly referred to as stochastic point vortex model. The model serves as an approximation for the stochastic 2-dimensional Navier-Stokes equation. We establish a quantitative mean-field convergence for the stochastic 2-dimensional Navier-Stokes equation in the form of relative entropy. To address challenges posed by environmental noise, random intensities, and singular kernel, we compare relative entropy for conditional distributions, employing technology of disintegration and the relative entropy method developed by Jabin and Wang in [JW18].
△ Less
Submitted 3 February, 2024;
originally announced February 2024.
-
A dynamic model to study the potential TB infections and assessment of control strategies in China
Authors:
Chuanqing Xu,
Kedeng Cheng,
Songbai Guo,
Dehui Yuan,
Xiaoyu Zhao
Abstract:
China is one of the countries with a high burden of tuberculosis, and although the number of new cases of tuberculosis has been decreasing year by year, the number of new infections per year has remained high and the diagnosis rate of tuberculosis-infected patients has remained low. Based on the analysis of TB infection data, we develop a model of TB transmission dynamics that include potentially…
▽ More
China is one of the countries with a high burden of tuberculosis, and although the number of new cases of tuberculosis has been decreasing year by year, the number of new infections per year has remained high and the diagnosis rate of tuberculosis-infected patients has remained low. Based on the analysis of TB infection data, we develop a model of TB transmission dynamics that include potentially infected individuals and BCG vaccination, fit the model parameters to the data on new TB cases, calculate the basic reproduction number \mathcal{R}_v= 0.4442. A parametric sensitivity analysis of \mathcal{R}_v is performed, and we obtained the correlation coefficients of BCG vaccination rate and effectiveness rate with \mathcal{R}_v as -0.810, -0.825. According to the model, we estimate that there are 614,186 (95% CI [562,631,665,741]) potentially infected TB cases in China, accounting for about 39.5% of the total number of TB cases. We assess the feasibility of achieving the goals of the WHO strategy to end tuberculosis in China and find that reducing the number of new cases by 90 per cent by 2035 is very difficult with the current tuberculosis control measures. However, with an effective combination of control measures such as increased detection of potentially infected persons, improved drug treatment, and reduction of overall exposure to tuberculosis patients, it is feasible to reach the WHO strategic goal of ending tuberculosis by 2035.
△ Less
Submitted 25 January, 2024; v1 submitted 22 January, 2024;
originally announced January 2024.
-
Low-Tubal-Rank Tensor Recovery via Factorized Gradient Descent
Authors:
Zhiyu Liu,
Zhi Han,
Yandong Tang,
Xi-Le Zhao,
Yao Wang
Abstract:
This paper considers the problem of recovering a tensor with an underlying low-tubal-rank structure from a small number of corrupted linear measurements. Traditional approaches tackling such a problem require the computation of tensor Singular Value Decomposition (t-SVD), that is a computationally intensive process, rendering them impractical for dealing with large-scale tensors. Aim to address th…
▽ More
This paper considers the problem of recovering a tensor with an underlying low-tubal-rank structure from a small number of corrupted linear measurements. Traditional approaches tackling such a problem require the computation of tensor Singular Value Decomposition (t-SVD), that is a computationally intensive process, rendering them impractical for dealing with large-scale tensors. Aim to address this challenge, we propose an efficient and effective low-tubal-rank tensor recovery method based on a factorization procedure akin to the Burer-Monteiro (BM) method. Precisely, our fundamental approach involves decomposing a large tensor into two smaller factor tensors, followed by solving the problem through factorized gradient descent (FGD). This strategy eliminates the need for t-SVD computation, thereby reducing computational costs and storage requirements. We provide rigorous theoretical analysis to ensure the convergence of FGD under both noise-free and noisy situations. Additionally, it is worth noting that our method does not require the precise estimation of the tensor tubal-rank. Even in cases where the tubal-rank is slightly overestimated, our approach continues to demonstrate robust performance. A series of experiments have been carried out to demonstrate that, as compared to other popular ones, our approach exhibits superior performance in multiple scenarios, in terms of the faster computational speed and the smaller convergence error.
△ Less
Submitted 2 February, 2024; v1 submitted 22 January, 2024;
originally announced January 2024.
-
The powerset monad on quantale-valued sets
Authors:
Lili Shen,
Xiaojuan Zhao
Abstract:
For a small involutive quantaloid $\mathcal{Q}$, it is shown that the category of separated complete $\mathcal{Q}$-categories and left adjoint $\mathcal{Q}$-functors is strictly monadic over the category of symmetric $\mathcal{Q}$-categories. In particular, the (covariant) powerset monad on the category of quantale-valued sets is precisely formulated.
For a small involutive quantaloid $\mathcal{Q}$, it is shown that the category of separated complete $\mathcal{Q}$-categories and left adjoint $\mathcal{Q}$-functors is strictly monadic over the category of symmetric $\mathcal{Q}$-categories. In particular, the (covariant) powerset monad on the category of quantale-valued sets is precisely formulated.
△ Less
Submitted 8 January, 2024; v1 submitted 11 September, 2023;
originally announced January 2024.
-
Global Well-posedness for 2D non-resistive MHD equations in half-space
Authors:
Zhaoyun Zhang,
Xiaopeng Zhao
Abstract:
This paper focuses on the initial boundary value problem of two-dimensional non-resistive MHD equations in a half space. We prove that the MHD equations have a unique global strong solution around the equilibrium state $(0,\bf{e_1})$ for Dirichlet boundary condition of velocity and modified Neumann boundary condition of magnetic.
This paper focuses on the initial boundary value problem of two-dimensional non-resistive MHD equations in a half space. We prove that the MHD equations have a unique global strong solution around the equilibrium state $(0,\bf{e_1})$ for Dirichlet boundary condition of velocity and modified Neumann boundary condition of magnetic.
△ Less
Submitted 3 January, 2024;
originally announced January 2024.
-
octonionic Dirac operators in bounded lattices: convergence and Plemlj projections
Authors:
Guangbin Ren,
Xin Zhao
Abstract:
This article explores octonionic analysis on the lattice $\mathbb Z^8$, emphasizing the octonionic discrete Cauchy integral within a bounded domain, the Sokhotski-Plemelj jump formulas, and the convergence of discrete regular functions. We address the challenge of articulating the discrete Cauchy-Pompeiu integral formula, particularly the complexities tied to the associator of octonions. Adopting…
▽ More
This article explores octonionic analysis on the lattice $\mathbb Z^8$, emphasizing the octonionic discrete Cauchy integral within a bounded domain, the Sokhotski-Plemelj jump formulas, and the convergence of discrete regular functions. We address the challenge of articulating the discrete Cauchy-Pompeiu integral formula, particularly the complexities tied to the associator of octonions. Adopting an innovative approach, we assimilate complicating terms into integral kernels, leading to distinct surface and volume kernels. A new'star product' arises in handling octonionic function multiplications. Our study connects closely with the Teodorescu operator and singular kernel management, utilizing a Fourier variant with 24 unique singular points. Drawing from the foundational work of Shivakumar and Wong about the asymptotic expansion of the Fourier transform, we bridge the relationship between the Cauchy and Teodorescu integrals. This allows us to provide quantitative estimates for these kernels, which prove to be pivotal in the theory of discrete regular extensions. The research culminates in the revelation that a continuous octonionic function is regular precisely when it is a scale limit of discrete regular functions.
△ Less
Submitted 20 December, 2023;
originally announced December 2023.
-
Separable algebras in multitensor C$^*$-categories are unitarizable
Authors:
Luca Giorgetti,
Wei Yuan,
XuRui Zhao
Abstract:
Recently, S. Carpi et al. (Comm. Math. Phys., 402:169-212, 2023) proved that every connected (i.e. haploid) Frobenius algebra in a tensor C$^*$-category is unitarizable (i.e. isomorphic to a special C$^*$-Frobenius algebra). Building on this result, we extend it to the non-connected case by showing that an algebra in a multitensor C$^*$-category is unitarizable if and only if it is separable.
Recently, S. Carpi et al. (Comm. Math. Phys., 402:169-212, 2023) proved that every connected (i.e. haploid) Frobenius algebra in a tensor C$^*$-category is unitarizable (i.e. isomorphic to a special C$^*$-Frobenius algebra). Building on this result, we extend it to the non-connected case by showing that an algebra in a multitensor C$^*$-category is unitarizable if and only if it is separable.
△ Less
Submitted 27 March, 2024; v1 submitted 19 December, 2023;
originally announced December 2023.
-
Fourier pseudospectral methods for the spatial variable-order fractional wave equations
Authors:
Yanzhi Zhang,
Xiaofei Zhao,
Shi** Zhou
Abstract:
In this paper, we propose Fourier pseudospectral methods to solve the variable-order space fractional wave equation and develop an accelerated matrix-free approach for its effective implementation. In constant-order cases, our methods can be efficiently implemented via the (inverse) fast Fourier transforms, and the computational cost at each time step is ${\mathcal O}(N\log N)$ with $N$ the total…
▽ More
In this paper, we propose Fourier pseudospectral methods to solve the variable-order space fractional wave equation and develop an accelerated matrix-free approach for its effective implementation. In constant-order cases, our methods can be efficiently implemented via the (inverse) fast Fourier transforms, and the computational cost at each time step is ${\mathcal O}(N\log N)$ with $N$ the total number of spatial points. However, this fast algorithm fails in the variable-order cases due to the spatial dependence of the Fourier multiplier. On the other hand, the direct matrix-vector multiplication approach becomes impractical due to excessive memory requirements. To address this challenge, we proposed an accelerated matrix-free approach for the efficient computation of variable-order cases. The computational cost is ${\mathcal O}(MN\log N)$ and storage cost ${\mathcal O}(MN)$, where $M \ll N$. Moreover, our method can be easily parallelized to further enhance its efficiency. Numerical studies show that our methods are effective in solving the variable-order space fractional wave equations, especially in high-dimensional cases. Wave propagation in heterogeneous media is studied in comparison to homogeneous counterparts. We find that wave dynamics in fractional cases become more intricate due to nonlocal interactions. Specifically, dynamics in heterogeneous media are more complex than those in homogeneous media.
△ Less
Submitted 4 February, 2024; v1 submitted 21 November, 2023;
originally announced November 2023.
-
Local Convolution Enhanced Global Fourier Neural Operator For Multiscale Dynamic Spaces Prediction
Authors:
Xuanle Zhao,
Yue Sun,
Tielin Zhang,
Bo Xu
Abstract:
Neural operators extend the capabilities of traditional neural networks by allowing them to handle map**s between function spaces for the purpose of solving partial differential equations (PDEs). One of the most notable methods is the Fourier Neural Operator (FNO), which is inspired by Green's function method and approximate operator kernel directly in the frequency domain. In this work, we focu…
▽ More
Neural operators extend the capabilities of traditional neural networks by allowing them to handle map**s between function spaces for the purpose of solving partial differential equations (PDEs). One of the most notable methods is the Fourier Neural Operator (FNO), which is inspired by Green's function method and approximate operator kernel directly in the frequency domain. In this work, we focus on predicting multiscale dynamic spaces, which is equivalent to solving multiscale PDEs. Multiscale PDEs are characterized by rapid coefficient changes and solution space oscillations, which are crucial for modeling atmospheric convection and ocean circulation. To solve this problem, models should have the ability to capture rapid changes and process them at various scales. However, the FNO only approximates kernels in the low-frequency domain, which is insufficient when solving multiscale PDEs. To address this challenge, we propose a novel hierarchical neural operator that integrates improved Fourier layers with attention mechanisms, aiming to capture all details and handle them at various scales. These mechanisms complement each other in the frequency domain and encourage the model to solve multiscale problems. We perform experiments on dynamic spaces governed by forward and reverse problems of multiscale elliptic equations, Navier-Stokes equations and some other physical scenarios, and reach superior performance in existing PDE benchmarks, especially equations characterized by rapid coefficient variations.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
Error estimate of a quasi-Monte Carlo time-splitting pseudospectral method for nonlinear Schrodinger equation with random potentials
Authors:
Zhizhang Wu,
Zhiwen Zhang,
Xiaofei Zhao
Abstract:
In this paper, we consider the numerical solution of a nonlinear Schrodinger equation with spatial random potential. The randomly shifted quasi-Monte Carlo (QMC) lattice rule combined with the time-splitting pseudospectral discretization is applied and analyzed. The nonlinearity in the equation induces difficulties in estimating the regularity of the solution in random space. By the technique of w…
▽ More
In this paper, we consider the numerical solution of a nonlinear Schrodinger equation with spatial random potential. The randomly shifted quasi-Monte Carlo (QMC) lattice rule combined with the time-splitting pseudospectral discretization is applied and analyzed. The nonlinearity in the equation induces difficulties in estimating the regularity of the solution in random space. By the technique of weighted Sobolev space, we identify the possible weights and show the existence of QMC that converges optimally at the almost-linear rate without dependence on dimensions. The full error estimate of the scheme is established. We present numerical results to verify the accuracy and investigate the wave propagation.
△ Less
Submitted 19 November, 2023;
originally announced November 2023.
-
Asymptotic distributions of the average clustering coefficient and its variant
Authors:
Mingao Yuan,
Xiaofeng Zhao
Abstract:
In network data analysis, summary statistics of a network can provide us with meaningful insight into the structure of the network. The average clustering coefficient is one of the most popular and widely used network statistics. In this paper, we investigate the asymptotic distributions of the average clustering coefficient and its variant of a heterogeneous Erdös-Rényi random graph. We show that…
▽ More
In network data analysis, summary statistics of a network can provide us with meaningful insight into the structure of the network. The average clustering coefficient is one of the most popular and widely used network statistics. In this paper, we investigate the asymptotic distributions of the average clustering coefficient and its variant of a heterogeneous Erdös-Rényi random graph. We show that the standardized average clustering coefficient converges in distribution to the standard normal distribution. Interestingly, the variance of the average clustering coefficient exhibits a phase transition phenomenon. The sum of weighted triangles is a variant of the average clustering coefficient. It is recently introduced to detect geometry in a network. We also derive the asymptotic distribution of the sum weighted triangles, which does not exhibit a phase transition phenomenon as the average clustering coefficient. This result signifies the difference between the two summary statistics.
△ Less
Submitted 18 November, 2023;
originally announced November 2023.
-
On action ground states of defocusing nonlinear Schrödinger equations
Authors:
Wei Liu,
Chushan Wang,
Xiaofei Zhao
Abstract:
In this work, we study some mathematical features for the action ground states of the defocusing nonlinear Schrödinger equation with possible rotation. Main attention is paid to characterizing the relation between the action ground states and the energy ground states. Theoretical equivalence and non-equivalence results have been established. Asymptotic behaviours of the physical quantities are der…
▽ More
In this work, we study some mathematical features for the action ground states of the defocusing nonlinear Schrödinger equation with possible rotation. Main attention is paid to characterizing the relation between the action ground states and the energy ground states. Theoretical equivalence and non-equivalence results have been established. Asymptotic behaviours of the physical quantities are derived in some limiting parameter regimes. Numerical evidence of non-equivalence is observed and numerical explorations for vortices phenomena in action ground states are done.
△ Less
Submitted 6 November, 2023;
originally announced November 2023.
-
On the Whitney disks in Heegaard Floer homology theory
Authors:
Shengwen Xie,
Xuezhi Zhao
Abstract:
The Whitney disks play a central role in defining Heegaard Floer homology of a $3$-dimensional manifold. We use Nielsen theory to a simple criterion to the existence of Whitney disks, connecting two given intersections.
The Whitney disks play a central role in defining Heegaard Floer homology of a $3$-dimensional manifold. We use Nielsen theory to a simple criterion to the existence of Whitney disks, connecting two given intersections.
△ Less
Submitted 31 October, 2023;
originally announced October 2023.
-
Persistence of sub-chain groups
Authors:
Fang Sun,
Shengwen Xie,
Xuezhi Zhao
Abstract:
In this work, we present a generalization of extended persistent homology to filtrations of graded sub-groups by defining relative homology in this setting. Our work provides a more comprehensive and flexible approach to get an algebraic invariant overcoming the limitations of the standard approach. The main contribution of our work is the development of a stability theorem for extended persistenc…
▽ More
In this work, we present a generalization of extended persistent homology to filtrations of graded sub-groups by defining relative homology in this setting. Our work provides a more comprehensive and flexible approach to get an algebraic invariant overcoming the limitations of the standard approach. The main contribution of our work is the development of a stability theorem for extended persistence modules using an extension of the definition of interleaving and the rectangle measure. This stability theorem is a crucial property for the application of mathematical tools in data analysis. We apply the stability theorem to extended persistence modules obtained from extended path homology of directed graphs and extended homology of hypergraphs, which are two important examples in topological data analysis.
△ Less
Submitted 31 October, 2023;
originally announced October 2023.
-
Fair coins tend to land on the same side they started: Evidence from 350,757 flips
Authors:
František Bartoš,
Alexandra Sarafoglou,
Henrik R. Godmann,
Amir Sahrani,
David Klein Leunk,
Pierre Y. Gui,
David Voss,
Kaleem Ullah,
Malte J. Zoubek,
Franziska Nippold,
Frederik Aust,
Felipe F. Vieira,
Chris-Gabriel Islam,
Anton J. Zoubek,
Sara Shabani,
Jonas Petter,
Ingeborg B. Roos,
Adam Finnemann,
Aaron B. Lob,
Madlen F. Hoffstadt,
Jason Nak,
Jill de Ron,
Koen Derks,
Karoline Huth,
Sjoerd Terpstra
, et al. (25 additional authors not shown)
Abstract:
Many people have flipped coins but few have stopped to ponder the statistical and physical intricacies of the process. In a preregistered study we collected $350{,}757$ coin flips to test the counterintuitive prediction from a physics model of human coin tossing developed by Diaconis, Holmes, and Montgomery (DHM; 2007). The model asserts that when people flip an ordinary coin, it tends to land on…
▽ More
Many people have flipped coins but few have stopped to ponder the statistical and physical intricacies of the process. In a preregistered study we collected $350{,}757$ coin flips to test the counterintuitive prediction from a physics model of human coin tossing developed by Diaconis, Holmes, and Montgomery (DHM; 2007). The model asserts that when people flip an ordinary coin, it tends to land on the same side it started -- DHM estimated the probability of a same-side outcome to be about 51%. Our data lend strong support to this precise prediction: the coins landed on the same side more often than not, $\text{Pr}(\text{same side}) = 0.508$, 95% credible interval (CI) [$0.506$, $0.509$], $\text{BF}_{\text{same-side bias}} = 2359$. Furthermore, the data revealed considerable between-people variation in the degree of this same-side bias. Our data also confirmed the generic prediction that when people flip an ordinary coin -- with the initial side-up randomly determined -- it is equally likely to land heads or tails: $\text{Pr}(\text{heads}) = 0.500$, 95% CI [$0.498$, $0.502$], $\text{BF}_{\text{heads-tails bias}} = 0.182$. Furthermore, this lack of heads-tails bias does not appear to vary across coins. Additional exploratory analyses revealed that the within-people same-side bias decreased as more coins were flipped, an effect that is consistent with the possibility that practice makes people flip coins in a less wobbly fashion. Our data therefore provide strong evidence that when some (but not all) people flip a fair coin, it tends to land on the same side it started. Our data provide compelling statistical support for the DHM physics model of coin tossing.
△ Less
Submitted 2 June, 2024; v1 submitted 6 October, 2023;
originally announced October 2023.
-
Grid-Aware On-Route Fast-Charging Infrastructure Planning for Battery Electric Bus with Equity Considerations: A Case Study in South King County
Authors:
Xinyi Zhao,
Chaoyue Zhao,
Grace Jia
Abstract:
The transition from traditional bus fleets to zero-emission ones necessitates the development of effective planning models for battery electric bus (BEB) charging infrastructure. On-route fast charging stations, distinct from on-base charging stations, present unique challenges related to safe operation and power supply capacity, making it difficult to control grid operational costs. This paper es…
▽ More
The transition from traditional bus fleets to zero-emission ones necessitates the development of effective planning models for battery electric bus (BEB) charging infrastructure. On-route fast charging stations, distinct from on-base charging stations, present unique challenges related to safe operation and power supply capacity, making it difficult to control grid operational costs. This paper establishes a novel framework that integrates the bus route network and power network, which leverages the inter-dependency between both networks to optimize the planning outcomes of on-route BEB charging stations in South King County. The problem is formulated as a mixed-integer second-order cone programming model, aiming to minimize the overall planning cost, which includes investments in charging equipment, power facility, and grid operation. Furthermore, fairness measurements are incorporated into the planning process, allowing for the consideration of both horizontal transit equity and vertical transit equity based on different zone merging criteria within the county's existing census tracts. The results of this planning model offer valuable insights into achieving both economic efficiency and social justice in the design of on-route charging facilities for BEBs in South King County.
△ Less
Submitted 14 September, 2023;
originally announced September 2023.
-
The Minkowski problem in Heisenberg groups
Authors:
Bin Chen,
Juan Zhang,
Peibiao Zhao,
Xia Zhao
Abstract:
As we all know, the Minkowski type problem is the cornerstone of the Brunn-Minkowski theory in Euclidean space. The Heisenberg group as a sub-Riemannian space is the simplest non-Abelian degenerate Riemannian space that is completely different from a Euclidean space. By analogy with the Minkowski type problem in Euclidean space, the Minkowski type problem in Heisenberg groups is still open. In the…
▽ More
As we all know, the Minkowski type problem is the cornerstone of the Brunn-Minkowski theory in Euclidean space. The Heisenberg group as a sub-Riemannian space is the simplest non-Abelian degenerate Riemannian space that is completely different from a Euclidean space. By analogy with the Minkowski type problem in Euclidean space, the Minkowski type problem in Heisenberg groups is still open. In the present paper, we develop for the first time a sub-Riemannian version of Minkowski type problem in the horizontal distributions of Heisenberg groups, and further give a positive answer to this sub-Riemannian Minkowski type problem via the variational method.
△ Less
Submitted 3 September, 2023;
originally announced September 2023.
-
Kernel meets sieve: transformed hazards models with sparse longitudinal covariates
Authors:
Dayu Sun,
Zhuowei Sun,
Xingqiu Zhao,
Hongyuan Cao
Abstract:
We study the transformed hazards model with time-dependent covariates observed intermittently for the censored outcome. Existing work assumes the availability of the whole trajectory of the time-dependent covariates, which is unrealistic. We propose to combine kernel-weighted log-likelihood and sieve maximum log-likelihood estimation to conduct statistical inference. The method is robust and easy…
▽ More
We study the transformed hazards model with time-dependent covariates observed intermittently for the censored outcome. Existing work assumes the availability of the whole trajectory of the time-dependent covariates, which is unrealistic. We propose to combine kernel-weighted log-likelihood and sieve maximum log-likelihood estimation to conduct statistical inference. The method is robust and easy to implement. We establish the asymptotic properties of the proposed estimator and contribute to a rigorous theoretical framework for general kernel-weighted sieve M-estimators. Numerical studies corroborate our theoretical results and show that the proposed method performs favorably over existing methods. Applying to a COVID-19 study in Wuhan illustrates the practical utility of our method.
△ Less
Submitted 17 September, 2023; v1 submitted 29 August, 2023;
originally announced August 2023.
-
Margulis Lemma on $\text{RCD}(K,N)$ spaces
Authors:
Qin Deng,
Jaime Santos-Rodríguez,
Sergio Zamora,
Xinrui Zhao
Abstract:
We extend the Margulis Lemma for manifolds with lower Ricci curvature bounds to the $\text{RCD}(K,N)$ setting. As one of our main tools, we obtain improved regularity estimates for Regular Langrangian flows on these spaces.
We extend the Margulis Lemma for manifolds with lower Ricci curvature bounds to the $\text{RCD}(K,N)$ setting. As one of our main tools, we obtain improved regularity estimates for Regular Langrangian flows on these spaces.
△ Less
Submitted 29 August, 2023;
originally announced August 2023.
-
The Manin-Peyre conjecture for three del Pezzo surfaces
Authors:
Xiaodong Zhao
Abstract:
The Manin-Peyre conjecture is established for a split singular quintic del Pezzo surface with singularity type $\mathbf{A}_2$ and two split singular quartic del Pezzo surfaces with singularity types $\mathbf{A}_3+\mathbf{A}_1$ and $\mathbf{A}_4$ respectively. We use a unified and different slightly method from the previous and improve their error terms. Our method is general and can handle most of…
▽ More
The Manin-Peyre conjecture is established for a split singular quintic del Pezzo surface with singularity type $\mathbf{A}_2$ and two split singular quartic del Pezzo surfaces with singularity types $\mathbf{A}_3+\mathbf{A}_1$ and $\mathbf{A}_4$ respectively. We use a unified and different slightly method from the previous and improve their error terms. Our method is general and can handle most of singular del Pezzo surfaces of degree $d\geq 3$.
△ Less
Submitted 3 September, 2023; v1 submitted 28 August, 2023;
originally announced August 2023.
-
An inexact proximal majorization-minimization Algorithm for remote sensing image stripe noise removal
Authors:
Cheng**g Wang,
Xile Zhao,
Qingsong Wang,
Zepei Ma,
Peipei Tang
Abstract:
The stripe noise existing in remote sensing images badly degrades the visual quality and restricts the precision of data analysis. Therefore, many destri** models have been proposed in recent years. In contrast to these existing models, in this paper, we propose a nonconvex model with a DC function (i.e., the difference of convex functions) structure to remove the strip noise. To solve this mode…
▽ More
The stripe noise existing in remote sensing images badly degrades the visual quality and restricts the precision of data analysis. Therefore, many destri** models have been proposed in recent years. In contrast to these existing models, in this paper, we propose a nonconvex model with a DC function (i.e., the difference of convex functions) structure to remove the strip noise. To solve this model, we make use of the DC structure and apply an inexact proximal majorization-minimization algorithm with each inner subproblem solved by the alternating direction method of multipliers. It deserves mentioning that we design an implementable stop** criterion for the inner subproblem, while the convergence can still be guaranteed. Numerical experiments demonstrate the superiority of the proposed model and algorithm.
△ Less
Submitted 17 August, 2023;
originally announced August 2023.
-
Flow by Gauss Curvature to the orlicz Chord Minkowski Problem
Authors:
Xia Zhao,
Peibiao Zhao
Abstract:
The $L_p$ chord Minkowski problem based on Chord measures and $L_p$ chord measures introduced firstly by Lutwak, Xi, Yang and Zhang [38] is a very important and meaningful geometric measure problem in the $L_p$ Brunn-Minkowski theory. Xi, Yang, Zhang and Zhao [45] using variational methods gave a measure solution when $p > 1$ and $0<p<1$ in the symmetric case. Recently, Guo, Xi and Zhao [18] also…
▽ More
The $L_p$ chord Minkowski problem based on Chord measures and $L_p$ chord measures introduced firstly by Lutwak, Xi, Yang and Zhang [38] is a very important and meaningful geometric measure problem in the $L_p$ Brunn-Minkowski theory. Xi, Yang, Zhang and Zhao [45] using variational methods gave a measure solution when $p > 1$ and $0<p<1$ in the symmetric case. Recently, Guo, Xi and Zhao [18] also obtained a measure solution for $0\leq p<1$ by similar methods without the symmetric assumption.
In the present paper, we investigate and confirm the orlicz chord Minkowski problem, which generalizes the $L_p$ chord Minkowski problem by replacing $p$ with a fixed continuous function $\varphi:(0,\infty)\rightarrow(0,\infty)$, and achieve the existence of smooth solutions to the orlicz chord Minkowski problem by using methods of Gauss curvature flows.
△ Less
Submitted 30 April, 2024; v1 submitted 10 August, 2023;
originally announced August 2023.
-
The additively idempotent semiring $S_7^0$ is nonfinitely based
Authors:
Yanan Wu,
Miaomiao Ren,
Xianzhong Zhao
Abstract:
We show that the additively idempotent semiring $S_7^0$ has no finite basis for its equational theory. This answers an open problem posed by Jackson et al. (J. Algebra 611 (2022), 211--245).
We show that the additively idempotent semiring $S_7^0$ has no finite basis for its equational theory. This answers an open problem posed by Jackson et al. (J. Algebra 611 (2022), 211--245).
△ Less
Submitted 6 August, 2023;
originally announced August 2023.
-
($\odot$, $\vee$)-derivations on MV-algebras
Authors:
Xueting Zhao,
Ai** Gan,
Yichuan Yang
Abstract:
Let $A$ be an MV-algebra. An $(\odot,\vee)$-derivation on $A$ is a map $d: A\to A$ satisfying: $d(x \odot y) = (d(x) \odot y) \vee(x \odot d(y))$ for all $x, y \in A$. This paper initiates the study of $(\odot,\vee)$-derivations on MV-algebras. Several families of $(\odot,\vee)$-derivations on an MV-algebra are explicitly constructed to give realizations of the underlying lattice of an MV-algebra…
▽ More
Let $A$ be an MV-algebra. An $(\odot,\vee)$-derivation on $A$ is a map $d: A\to A$ satisfying: $d(x \odot y) = (d(x) \odot y) \vee(x \odot d(y))$ for all $x, y \in A$. This paper initiates the study of $(\odot,\vee)$-derivations on MV-algebras. Several families of $(\odot,\vee)$-derivations on an MV-algebra are explicitly constructed to give realizations of the underlying lattice of an MV-algebra as lattices of $(\odot,\vee)$-derivations. Furthermore, $(\odot,\vee)$-derivations on a finite MV-chain are enumerated and the underlying lattice is described.
△ Less
Submitted 12 July, 2023;
originally announced July 2023.
-
Aspherical manifolds which do not have Bounded Index Property
Authors:
Qiang Zhang,
Xuezhi Zhao
Abstract:
We prove that some aspherical manifolds do not have BIP, negating a question of Jiang.
We prove that some aspherical manifolds do not have BIP, negating a question of Jiang.
△ Less
Submitted 21 June, 2023;
originally announced June 2023.
-
A Novel Correlation-optimized Deep Learning Method for Wind Speed Forecast
Authors:
Yang Yang,
** Lang,
Jian Wu,
Yanyan Zhang,
Xiang Zhao
Abstract:
The increasing installation rate of wind power poses great challenges to the global power system. In order to ensure the reliable operation of the power system, it is necessary to accurately forecast the wind speed and power of the wind turbines. At present, deep learning is progressively applied to the wind speed prediction. Nevertheless, the recent deep learning methods still reflect the embarra…
▽ More
The increasing installation rate of wind power poses great challenges to the global power system. In order to ensure the reliable operation of the power system, it is necessary to accurately forecast the wind speed and power of the wind turbines. At present, deep learning is progressively applied to the wind speed prediction. Nevertheless, the recent deep learning methods still reflect the embarrassment for practical applications due to model interpretability and hardware limitation. To this end, a novel deep knowledge-based learning method is proposed in this paper. The proposed method hybridizes pre-training method and auto-encoder structure to improve data representation and modeling of the deep knowledge-based learning framework. In order to form knowledge and corresponding absorbers, the original data is preprocessed by an optimization model based on correlation to construct multi-layer networks (knowledge) which are absorbed by sequence to sequence (Seq2Seq) models. Specifically, new cognition and memory units (CMU) are designed to reinforce traditional deep learning framework. Finally, the effectiveness of the proposed method is verified by three wind prediction cases from a wind farm in Liaoning, China. Experimental results show that the proposed method increases the stability and training efficiency compared to the traditional LSTM method and LSTM/GRU-based Seq2Seq method for applications of wind speed forecasting.
△ Less
Submitted 9 June, 2023; v1 submitted 2 June, 2023;
originally announced June 2023.
-
An inverse Gauss curvature flow and its application to p-capacitary Orlicz-Minkowski problem
Authors:
Bin Chen,
Weidong Wang,
Xia Zhao,
Peibiao Zhao
Abstract:
In [Calc. Var., 57:5 (2018)], Hong-Ye-Zhang proposed the $p$-capacitary Orlicz-Minkowski problem and proved the existence of convex solutions to this problem by variational method for $p\in(1,n)$.
However, the smoothness and uniqueness of solutions are still open.
Notice that the $p$-capacitary Orlicz-Minkowski problem can be converted equivalently to a Monge-Ampère type equation in smooth cas…
▽ More
In [Calc. Var., 57:5 (2018)], Hong-Ye-Zhang proposed the $p$-capacitary Orlicz-Minkowski problem and proved the existence of convex solutions to this problem by variational method for $p\in(1,n)$.
However, the smoothness and uniqueness of solutions are still open.
Notice that the $p$-capacitary Orlicz-Minkowski problem can be converted equivalently to a Monge-Ampère type equation in smooth case:
\begin{align}\label{0.1}
fφ(h_K)|\nablaΨ|^p=τG
\end{align}
for $p\in(1,n)$ and some constant $τ>0$, where $f$ is a positive function defined on the unit sphere $\mathcal{S}^{n-1}$, $φ$ is a continuous positive function defined in $(0,+\infty)$, and $G$ is the Gauss curvature.
In this paper, we confirm the existence of smooth solutions to $p$-capacitary Orlicz-Minkowski problem with $p\in(1,n)$ for the first time by a class of inverse Gauss curvature flows, which converges smoothly to the solution of Equation (\ref{0.1}).
Furthermore, we prove the uniqueness result for Equation (\ref{0.1}) in a special case.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
Moduli spaces of stable objects in Enriques categories
Authors:
Alexander Perry,
Laura Pertusi,
Xiaolei Zhao
Abstract:
We study moduli spaces of stable objects in Enriques categories by exploiting their relation to moduli spaces of stable objects in associated K3 categories. In particular, we settle the nonemptiness problem for moduli spaces of stable objects in the Kuznetsov components of several interesting classes of Fano varieties, and deduce the nonemptiness of fixed loci of certain antisymplectic involutions…
▽ More
We study moduli spaces of stable objects in Enriques categories by exploiting their relation to moduli spaces of stable objects in associated K3 categories. In particular, we settle the nonemptiness problem for moduli spaces of stable objects in the Kuznetsov components of several interesting classes of Fano varieties, and deduce the nonemptiness of fixed loci of certain antisymplectic involutions on modular hyperkähler varieties.
△ Less
Submitted 18 May, 2023;
originally announced May 2023.
-
Spatio-temporal dynamics for non-monotone semiflows with limiting systems having spreading speeds
Authors:
Taishan Yi,
Xiao-Qiang Zhao
Abstract:
This paper is devoted to the study of propagation dynamics for a large class of non-monotone evolution systems. In two directions of the spatial variable, such a system has two limiting systems admitting the spatial translation invariance. Under the assumption that each of these two limiting systems has both leftward and rightward spreading speeds, we establish the spreading properties of solution…
▽ More
This paper is devoted to the study of propagation dynamics for a large class of non-monotone evolution systems. In two directions of the spatial variable, such a system has two limiting systems admitting the spatial translation invariance. Under the assumption that each of these two limiting systems has both leftward and rightward spreading speeds, we establish the spreading properties of solutions and the existence of nontrivial fixed points, steady states, traveling waves for the original systems. We also apply the developed theory to a time-delayed reaction-diffusion equation with a shifting habitat and a class of asymptotically homogeneous reaction-diffusion systems.
△ Less
Submitted 20 October, 2023; v1 submitted 28 April, 2023;
originally announced May 2023.
-
Data-driven Piecewise Affine Decision Rules for Stochastic Programming with Covariate Information
Authors:
Yiyang Zhang,
Junyi Liu,
Xiaobo Zhao
Abstract:
Focusing on stochastic programming (SP) with covariate information, this paper proposes an empirical risk minimization (ERM) method embedded within a nonconvex piecewise affine decision rule (PADR), which aims to learn the direct map** from features to optimal decisions. We establish the nonasymptotic consistency result of our PADR-based ERM model for unconstrained problems and asymptotic consis…
▽ More
Focusing on stochastic programming (SP) with covariate information, this paper proposes an empirical risk minimization (ERM) method embedded within a nonconvex piecewise affine decision rule (PADR), which aims to learn the direct map** from features to optimal decisions. We establish the nonasymptotic consistency result of our PADR-based ERM model for unconstrained problems and asymptotic consistency result for constrained ones. To solve the nonconvex and nondifferentiable ERM problem, we develop an enhanced stochastic majorization-minimization algorithm and establish the asymptotic convergence to (composite strong) directional stationarity along with complexity analysis. We show that the proposed PADR-based ERM method applies to a broad class of nonconvex SP problems with theoretical consistency guarantees and computational tractability. Our numerical study demonstrates the superior performance of PADR-based ERM methods compared to state-of-the-art approaches under various settings, with significantly lower costs, less computation time, and robustness to feature dimensions and nonlinearity of the underlying dependency.
△ Less
Submitted 20 December, 2023; v1 submitted 26 April, 2023;
originally announced April 2023.