-
On the Regularity of Navier-Stokes Equations in Critical Space
Authors:
Shiyang Xiong,
Liqun Zhang
Abstract:
This paper focuses on the regularity of the Navier-Stokes equations in critical space. Let $ u(x,t) $ and $ p(x,t) $ denote suitable weak solution of the Navier-Stokes equations in $Q_T=\mathbb{R}^3\times(-T, 0)$. We prove that if $u(x,t)$ is in the scaling invariant spaces $L_t^{\infty}L_{x_3}^{p_1}L_{x_h}^{p_2}(Q_T)$ , where $ \frac{1}{p_1}+\frac{2}{p_2}=1 $ , $p_1\geq 2$ and…
▽ More
This paper focuses on the regularity of the Navier-Stokes equations in critical space. Let $ u(x,t) $ and $ p(x,t) $ denote suitable weak solution of the Navier-Stokes equations in $Q_T=\mathbb{R}^3\times(-T, 0)$. We prove that if $u(x,t)$ is in the scaling invariant spaces $L_t^{\infty}L_{x_3}^{p_1}L_{x_h}^{p_2}(Q_T)$ , where $ \frac{1}{p_1}+\frac{2}{p_2}=1 $ , $p_1\geq 2$ and $ x_h = (x_1, x_2) $ , then $ u $ is a smooth solution in $ Q_T $ and doesn't blow up at $ t = 0 $. In particular, if $ u(x,t) \in L_t^{\infty}L_{x_3}^{\infty}L_{x_h}^{2}(Q_T)$, then $u(x,t)$ is a smooth solution in $ Q_T $ and regular up to $ t = 0 $.
△ Less
Submitted 4 July, 2025;
originally announced July 2025.
-
Physical Parameter Calibration
Authors:
Yang Li,
Shifeng Xiong
Abstract:
Computer simulation models are widely used to study complex physical systems. A related fundamental topic is the inverse problem, also called calibration, which aims at learning about the values of parameters in the model based on observations. In most real applications, the parameters have specific physical meanings, and we call them physical parameters. To recognize the true underlying physical…
▽ More
Computer simulation models are widely used to study complex physical systems. A related fundamental topic is the inverse problem, also called calibration, which aims at learning about the values of parameters in the model based on observations. In most real applications, the parameters have specific physical meanings, and we call them physical parameters. To recognize the true underlying physical system, we need to effectively estimate such parameters. However, existing calibration methods cannot do this well due to the model identifiability problem. This paper proposes a semi-parametric model, called the discrepancy decomposition model, to describe the discrepancy between the physical system and the computer model. The proposed model possesses a clear interpretation, and more importantly, it is identifiable under mild conditions. Under this model, we present estimators of the physical parameters and the discrepancy, and then establish their asymptotic properties. Numerical examples show that the proposed method can better estimate the physical parameters than existing methods.
△ Less
Submitted 2 January, 2024; v1 submitted 29 July, 2022;
originally announced August 2022.
-
An Inconsistent Forcing Axiom at $ω_2$
Authors:
Stevo Todorčević,
Shihao Xiong
Abstract:
We show that the forcing axiom for countably compact, $ω_2$-Knaster, well-met posets is inconsistent. This is supplemental to an inconsistency result of Shelah and sets a new limit to the generalization of Martin's Axiom to the stage of $ω_2$.
We show that the forcing axiom for countably compact, $ω_2$-Knaster, well-met posets is inconsistent. This is supplemental to an inconsistency result of Shelah and sets a new limit to the generalization of Martin's Axiom to the stage of $ω_2$.
△ Less
Submitted 3 August, 2020;
originally announced August 2020.
-
Symplectic Neural Networks in Taylor Series Form for Hamiltonian Systems
Authors:
Yunjin Tong,
Shiying Xiong,
Xingzhe He,
Guanghan Pan,
Bo Zhu
Abstract:
We propose an effective and lightweight learning algorithm, Symplectic Taylor Neural Networks (Taylor-nets), to conduct continuous, long-term predictions of a complex Hamiltonian dynamic system based on sparse, short-term observations. At the heart of our algorithm is a novel neural network architecture consisting of two sub-networks. Both are embedded with terms in the form of Taylor series expan…
▽ More
We propose an effective and lightweight learning algorithm, Symplectic Taylor Neural Networks (Taylor-nets), to conduct continuous, long-term predictions of a complex Hamiltonian dynamic system based on sparse, short-term observations. At the heart of our algorithm is a novel neural network architecture consisting of two sub-networks. Both are embedded with terms in the form of Taylor series expansion designed with symmetric structure. The key mechanism underpinning our infrastructure is the strong expressiveness and special symmetric property of the Taylor series expansion, which naturally accommodate the numerical fitting process of the gradients of the Hamiltonian with respect to the generalized coordinates as well as preserve its symplectic structure. We further incorporate a fourth-order symplectic integrator in conjunction with neural ODEs' framework into our Taylor-net architecture to learn the continuous-time evolution of the target systems while simultaneously preserving their symplectic structures. We demonstrated the efficacy of our Taylor-net in predicting a broad spectrum of Hamiltonian dynamic systems, including the pendulum, the Lotka--Volterra, the Kepler, and the Hénon--Heiles systems. Our model exhibits unique computational merits by outperforming previous methods to a great extent regarding the prediction accuracy, the convergence rate, and the robustness despite using extremely small training data with a short training period (6000 times shorter than the predicting period), small sample sizes, and no intermediate data to train the networks.
△ Less
Submitted 19 February, 2022; v1 submitted 11 May, 2020;
originally announced May 2020.
-
New Kloosterman sum identities from the Helleseth-Zinoviev result on $ Z_{4}$-linear Goethals codes
Authors:
Minglong Qi,
Shengwu Xiong
Abstract:
In the paper of Tor Helleseth and Victor Zinoviev (Designs, Codes and Cryptography, \textbf{17}, 269-288(1999)), the number of solutions of the system of equations from $ Z_{4} $-linear Goethals codes $ G_{4} $ was determined and stated in Theorem 4. We found that Theorem 4 is wrong for $ m $ even. In this note, we complete Theorem 4, and present a series of new Kloosterman sum identities deduced…
▽ More
In the paper of Tor Helleseth and Victor Zinoviev (Designs, Codes and Cryptography, \textbf{17}, 269-288(1999)), the number of solutions of the system of equations from $ Z_{4} $-linear Goethals codes $ G_{4} $ was determined and stated in Theorem 4. We found that Theorem 4 is wrong for $ m $ even. In this note, we complete Theorem 4, and present a series of new Kloosterman sum identities deduced from Theorem 4. Moreover, we show that several previously established formulas on the Kloosterman sum identities can be rediscovered from Theorem 4 with much simpler proofs.
△ Less
Submitted 1 April, 2019;
originally announced April 2019.
-
Extension of the Helleseth-Zinoviev result on the system of equations from Goethals codes and Kloosterman sums
Authors:
Minglong Qi,
Shengwu Xiong
Abstract:
In the paper of Tor Helleseth and Victor Zinoviev (Designs, Codes and Cryptography, \textbf{17}, 269-288(1999)), the number of solutions of the system of equations from $ Z_{4} $-linear Goethals codes $ G_{4} $ was determined and stated in Theorem 4. We found that Theorem 4 is wrong for $ m $ even. In this note, we complete Theorem 4, and give new divisibility modulo 12 of the Kloosterman sums ded…
▽ More
In the paper of Tor Helleseth and Victor Zinoviev (Designs, Codes and Cryptography, \textbf{17}, 269-288(1999)), the number of solutions of the system of equations from $ Z_{4} $-linear Goethals codes $ G_{4} $ was determined and stated in Theorem 4. We found that Theorem 4 is wrong for $ m $ even. In this note, we complete Theorem 4, and give new divisibility modulo 12 of the Kloosterman sums deduced from Theorem 4, which is different from the result of the same authors for $ K(a^{4}+a^{3}) $ modulo 12.
△ Less
Submitted 28 February, 2019;
originally announced February 2019.
-
Better Solution Principle: A Facet of Concordance between Optimization and Statistics
Authors:
Shifeng Xiong
Abstract:
Many statistical methods require solutions to optimization problems. When the global solution is hard to attain, statisticians always use the better if there are two solutions for chosen, where the word "better" is understood in the sense of optimization. This seems reasonable in that the better solution is more likely to be the global solution, whose statistical properties of interest usually hav…
▽ More
Many statistical methods require solutions to optimization problems. When the global solution is hard to attain, statisticians always use the better if there are two solutions for chosen, where the word "better" is understood in the sense of optimization. This seems reasonable in that the better solution is more likely to be the global solution, whose statistical properties of interest usually have been well established. From the statistical perspective, we use the better solution because we intuitively believe the principle, called better solution principle (BSP) in this paper, that a better solution to a statistical optimization problem also has better statistical properties of interest. BSP displays some concordance between optimization and statistics, and is expected to widely hold. Since theoretical study on BSP seems to be neglected by statisticians, this paper aims to establish a framework for discussing BSP in various statistical optimization problems. We demonstrate several simple but effective comparison theorems as the key results of this paper, and apply them to verify BSP in commonly encountered statistical optimization problems, including maximum likelihood estimation, best subsample selection, and best subset regression. It can be seen that BSP for these problems holds under reasonable conditions, i.e., a better solution indeed has better statistical properties of interest. In addition, guided by the BSP theory, we develop a new best subsample selection method that performs well when there are clustered outliers.
△ Less
Submitted 15 January, 2019; v1 submitted 15 February, 2014;
originally announced February 2014.
-
Open quantum random walks with decoherence on coins with $n$ degrees of freedom
Authors:
Sheng Xiong,
Wei-Shih Yang
Abstract:
In this paper, we define a new type of decoherent quantum random walks with parameter $0\le p\le 1$, which becomes a unitary quantum random walk (UQRW) when $p=0$ and an open quantum random walk (OPRW) when $p=1$ respectively. We call this process a partially open quantum random walk (POQRW). We study the limiting distribution of a POQRW on $Z^1$ subject to decoherence on coins with $n$ degrees of…
▽ More
In this paper, we define a new type of decoherent quantum random walks with parameter $0\le p\le 1$, which becomes a unitary quantum random walk (UQRW) when $p=0$ and an open quantum random walk (OPRW) when $p=1$ respectively. We call this process a partially open quantum random walk (POQRW). We study the limiting distribution of a POQRW on $Z^1$ subject to decoherence on coins with $n$ degrees of freedom, which converges to a convex combination of normal distributions if the superoperator $\mathcal{L}_{kk}$ satisfies the eigenvalue condition, that is, 1 is an eigenvalue of $\mathcal{L}_{kk}$ with multiplicity one and all other eigenvalues have absolute values less than 1. A Perron-Frobenius type of theorem is provided in determining whether or not the superoperator satisfies the eigenvalue condition. Moreover, we compute the limiting distributions of characteristic equations of the position probability functions for $n=2$ and 3.
△ Less
Submitted 26 January, 2013; v1 submitted 31 December, 2012;
originally announced January 2013.
-
Better subset regression
Authors:
Shifeng Xiong
Abstract:
To find efficient screening methods for high dimensional linear regression models, this paper studies the relationship between model fitting and screening performance. Under a sparsity assumption, we show that a subset that includes the true submodel always yields smaller residual sum of squares (i.e., has better model fitting) than all that do not in a general asymptotic setting. This indicates t…
▽ More
To find efficient screening methods for high dimensional linear regression models, this paper studies the relationship between model fitting and screening performance. Under a sparsity assumption, we show that a subset that includes the true submodel always yields smaller residual sum of squares (i.e., has better model fitting) than all that do not in a general asymptotic setting. This indicates that, for screening important variables, we could follow a "better fitting, better screening" rule, i.e., pick a "better" subset that has better model fitting. To seek such a better subset, we consider the optimization problem associated with best subset regression. An EM algorithm, called orthogonalizing subset screening, and its accelerating version are proposed for searching for the best subset. Although the two algorithms cannot guarantee that a subset they yield is the best, their monotonicity property makes the subset have better model fitting than initial subsets generated by popular screening methods, and thus the subset can have better screening performance asymptotically. Simulation results show that our methods are very competitive in high dimensional variable screening even for finite sample sizes.
△ Less
Submitted 18 March, 2013; v1 submitted 4 December, 2012;
originally announced December 2012.
-
Convergence of quantum random walks with decoherence
Authors:
Shimao Fan,
Zhiyong Feng,
Sheng Xiong,
Wei-Shih Yang
Abstract:
In this paper, we study the discrete-time quantum random walks on a line subject to decoherence. The convergence of the rescaled position probability distribution $p(x,t)$ depends mainly on the spectrum of the superoperator $\mathcal{L}_{kk}$. We show that if 1 is an eigenvalue of the superoperator with multiplicity one and there is no other eigenvalue whose modulus equals to 1, then…
▽ More
In this paper, we study the discrete-time quantum random walks on a line subject to decoherence. The convergence of the rescaled position probability distribution $p(x,t)$ depends mainly on the spectrum of the superoperator $\mathcal{L}_{kk}$. We show that if 1 is an eigenvalue of the superoperator with multiplicity one and there is no other eigenvalue whose modulus equals to 1, then $\hat {P}(\fracν {\sqrt t},t)$ converges to a convex combination of normal distributions. In terms of position space, the rescaled probability mass function $p_t (x, t) \equiv p(\sqrt t x, t)$, $ x \in Z/\sqrt t$, converges in distribution to a continuous convex combination of normal distributions. We give an necessary and sufficient condition for a U(2) decoherent quantum walk that satisfies the eigenvalue conditions.
We also give a complete description of the behavior of quantum walks whose eigenvalues do not satisfy these assumptions. Specific examples such as the Hadamard walk, walks under real and complex rotations are illustrated. For the O(2) quantum random walks, an explicit formula is provided for the scaling limit of $p(x,t)$ and their moments. We also obtain exact critical exponents for their moments at the critical point and show universality classes with respect to these critical exponents.
△ Less
Submitted 22 August, 2011;
originally announced August 2011.
-
A proof of a conjecture in the Cramér-Lundberg model with investments
Authors:
Shimao Fan,
Sheng Xiong,
Wei-Shih Yang
Abstract:
In this paper, we discuss the Cramér-Lundberg model with investments, where the price of the invested risk asset follows a geometric Brownian motion with drift $a$ and volatility $σ> 0.$ By assuming there is a cap on the claim sizes, we prove that the probability of ruin has at least an algebraic decay rate if $2a/σ^2 > 1$. More importantly, without this assumption, we show that the probability…
▽ More
In this paper, we discuss the Cramér-Lundberg model with investments, where the price of the invested risk asset follows a geometric Brownian motion with drift $a$ and volatility $σ> 0.$ By assuming there is a cap on the claim sizes, we prove that the probability of ruin has at least an algebraic decay rate if $2a/σ^2 > 1$. More importantly, without this assumption, we show that the probability of ruin is certain for all initial capital $u$, if $2a/σ^2 \le 1$.
△ Less
Submitted 27 February, 2010;
originally announced March 2010.
