-
Dynamic Layered Decoding Scheduling for LDPC Codes Aided by Check Node Error Probabilities
Authors:
Chenyuan Jia,
Dongxu Chang,
Ruiyuan Wang,
Guanghui Wang,
Guiying Yan,
Cunquan Qu
Abstract:
In this study, a new scheduling strategies for low-density parity-check (LDPC) codes under layered belief propagation (LBP) is designed. Based on the criteria of prioritizing the update of check nodes with lower error probabilities, we propose two dynamic scheduling methods: dynamic error belief propagation (Dyn-EBP) and dynamic penalty error belief propagation (Dyn-PEBP). In Dyn-EBP, each check n…
▽ More
In this study, a new scheduling strategies for low-density parity-check (LDPC) codes under layered belief propagation (LBP) is designed. Based on the criteria of prioritizing the update of check nodes with lower error probabilities, we propose two dynamic scheduling methods: dynamic error belief propagation (Dyn-EBP) and dynamic penalty error belief propagation (Dyn-PEBP). In Dyn-EBP, each check node is restricted from being updated the same number of times, whereas Dyn-PEBP removes this restriction and instead introduces a penalty term to balance the number of updates. Simulation results show that, for 5G new radio (NR) LDPC codes, our proposed scheduling methods can outperform existing dynamic and offline scheduling strategies under various blocklengths and code rates. This demonstrates that prioritizing the update of check nodes with lower error probabilities can lead to higher decoding efficiency and validates the effectiveness of our algorithms.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Sufficient conditions for $t$-tough graphs to be Hamiltonian and pancyclic or bipartite
Authors:
Xiangge Liu,
Caili Jia,
Yong Lu,
Jiaxu Zhong
Abstract:
The toughness of graph $G$, denoted by $τ(G)$, is $τ(G)=\min\{\frac{|S|}{c(G-S)}:S\subseteq V(G),c(G-S)\geq2\}$ for every vertex cut $S$ of $V(G)$ and the number of components of $G$ is denoted by $c(G)$. Bondy in 1973, suggested the ``metaconjecture" that almost any nontrivial condition on a graph which implies that the graph is Hamiltonian also implies that the graph is pancyclic. Recently, Bene…
▽ More
The toughness of graph $G$, denoted by $τ(G)$, is $τ(G)=\min\{\frac{|S|}{c(G-S)}:S\subseteq V(G),c(G-S)\geq2\}$ for every vertex cut $S$ of $V(G)$ and the number of components of $G$ is denoted by $c(G)$. Bondy in 1973, suggested the ``metaconjecture" that almost any nontrivial condition on a graph which implies that the graph is Hamiltonian also implies that the graph is pancyclic. Recently, Benediktovich [Discrete Applied Mathematics. 365 (2025) 130--137] confirmed the Bondy's metaconjecture for $t$-tough graphs in the case when $t\in\{1;2;3\}$ in terms of the size, the spectral radius and the signless Laplacian spectral radius of the graph. In this paper, we will confirm the Bondy's metaconjecture for $t$-tough graphs in the case when $t\geq4$ in terms of the size, the spectral radius, the signless Laplacian spectral radius, the distance spectral radius and the distance signless Laplacian spectral radius of graphs.
△ Less
Submitted 16 May, 2025;
originally announced May 2025.
-
Distance signless Laplacian spectral radius and tough graphs involving minimun degree
Authors:
Xiangge Liu,
Yong Lu,
Caili Jia,
Qiannan Zhou,
Yue Cui
Abstract:
Let $G=(V(G),E(G))$ be a simple graph, where $V(G)$ and $E(G)$ are the vertex set and the edge set of $G$, respectively. The number of components of $G$ is denoted by $c(G)$. Let $t$ be a positive real number, and a connected graph $G$ is $t$-tough if $t c(G-S)\leq|S|$ for every vertex cut $S$ of $V(G)$. The toughness of graph $G$, denoted by $τ(G)$, is the largest value of $t$ for which $G$ is…
▽ More
Let $G=(V(G),E(G))$ be a simple graph, where $V(G)$ and $E(G)$ are the vertex set and the edge set of $G$, respectively. The number of components of $G$ is denoted by $c(G)$. Let $t$ be a positive real number, and a connected graph $G$ is $t$-tough if $t c(G-S)\leq|S|$ for every vertex cut $S$ of $V(G)$. The toughness of graph $G$, denoted by $τ(G)$, is the largest value of $t$ for which $G$ is $t$-tough. Recently, Fan, Lin and Lu [European J. Combin. 110(2023), 103701] presented sufficient conditions based on the spectral radius for graphs to be 1-tough with minimum degree $δ(G)$ and graphs to be $t$-tough with $t\geq 1$ being an integer, respectively. In this paper, we establish sufficient conditions in terms of the distance signless Laplacian spectral radius for graphs to be 1-tough with minimum degree $δ(G)$ and graphs to be $t$-tough, where $\frac{1}{t}$ is a positive integer. Moreover, we consider the relationship between the distance signless Laplacian spectral radius and $t$-tough graphs in terms of the order $n$.
△ Less
Submitted 11 April, 2025; v1 submitted 10 April, 2025;
originally announced April 2025.
-
Pathwise Solvability and Bubbling in 2D Stochastic Landau-Lifshitz-Gilbert Equations
Authors:
Ben Goldys,
Chunxi Jiao,
Christof Melcher
Abstract:
We investigate the stochastic Landau-Lifshitz-Gilbert (LLG) equation on a periodic 2D domain, driven by infinite-dimensional Gaussian noise in a Sobolev class. We establish strong local well-posedness in the energy space and characterize blow-up at random times in terms of energy concentration at small scales (bubbling). By iteration, we construct pathwise global weak solutions, with energy evolvi…
▽ More
We investigate the stochastic Landau-Lifshitz-Gilbert (LLG) equation on a periodic 2D domain, driven by infinite-dimensional Gaussian noise in a Sobolev class. We establish strong local well-posedness in the energy space and characterize blow-up at random times in terms of energy concentration at small scales (bubbling). By iteration, we construct pathwise global weak solutions, with energy evolving as a c{à}dl{à}g process, and prove uniqueness within this class. These results offer a stochastic counterpart to the deterministic concept of Struwe solutions. The approach relies on a transformation that leads to a magnetic Landau-Lifshitz-Gilbert equation with random gauge coefficients.
△ Less
Submitted 24 April, 2025; v1 submitted 5 April, 2025;
originally announced April 2025.
-
An efficient fifth-order interpolation-based Hermite WENO scheme for hyperbolic conservation laws
Authors:
Xiaoyang Xie,
Zhanjing Tao,
Chunhai Jiao,
Min Zhang
Abstract:
In this paper, we develop a simple, efficient, and fifth-order finite difference interpolation-based Hermite WENO (HWENO-I) scheme for one- and two-dimensional hyperbolic conservation laws. We directly interpolate the solution and first-order derivative values and evaluate the numerical fluxes based on these interpolated values. We do not need the split of the flux functions when reconstructing nu…
▽ More
In this paper, we develop a simple, efficient, and fifth-order finite difference interpolation-based Hermite WENO (HWENO-I) scheme for one- and two-dimensional hyperbolic conservation laws. We directly interpolate the solution and first-order derivative values and evaluate the numerical fluxes based on these interpolated values. We do not need the split of the flux functions when reconstructing numerical fluxes and there is no need for any additional HWENO interpolation for the modified derivative. The HWENO interpolation only needs to be applied one time which utilizes the same candidate stencils, Hermite interpolation polynomials, and linear/nonlinear weights for the solution and first-order derivative at the cell interface, as well as the modified derivative at the cell center. The HWENO-I scheme inherits the advantages of the finite difference flux-reconstruction-based HWENO-R scheme [Fan et al., Comput. Methods Appl. Mech. Engrg., 2023], including fifth-order accuracy, compact stencils, arbitrary positive linear weights, and high resolution. The HWENO-I scheme is simpler and more efficient than the HWENO-R scheme and the previous finite difference interpolation-based HWENO scheme [Liu and Qiu, J. Sci. Comput., 2016] which needs the split of flux functions for the stability and upwind performance for the high-order derivative terms. Various benchmark numerical examples are presented to demonstrate the accuracy, efficiency, high resolution, and robustness of the proposed HWENO-I scheme.
△ Less
Submitted 17 November, 2024;
originally announced November 2024.
-
Congruences involving Delannoy numbers and Schröder numbers
Authors:
Chen-Bo Jia,
Jia-Qing Huang
Abstract:
The central Delannoy numbers $D_n=\sum_{k=0}^{n}\binom{n}{k}\binom{n+k}{k}$ and the little Schröder number $s_n=\sum_{k=1}^{n}\frac{1}{n}\binom{n}{k}\binom{n}{k-1}2^{n-k}$ are important quantities. In this paper, we confirm \[\frac{2}{3n(n+1)}\sum_{k=1}^n (-1)^{n-k}k^2D_kD_{k-1}\ \text{and}\ \ \frac 1n\sum_{k=1}^n (-1)^{n-k}(4k^2+2k-1)D_{k-1}s_k\]are positive odd integers for all $n=1,2,3,\cdots$.…
▽ More
The central Delannoy numbers $D_n=\sum_{k=0}^{n}\binom{n}{k}\binom{n+k}{k}$ and the little Schröder number $s_n=\sum_{k=1}^{n}\frac{1}{n}\binom{n}{k}\binom{n}{k-1}2^{n-k}$ are important quantities. In this paper, we confirm \[\frac{2}{3n(n+1)}\sum_{k=1}^n (-1)^{n-k}k^2D_kD_{k-1}\ \text{and}\ \ \frac 1n\sum_{k=1}^n (-1)^{n-k}(4k^2+2k-1)D_{k-1}s_k\]are positive odd integers for all $n=1,2,3,\cdots$. We also show that for any prime number $p>3$, \[\sum_{k=1}^{p-1} (-1)^kk^2D_kD_{k-1}\ \equiv\ -\frac56p \pmod{p^2}\] and \[\sum_{k=1}^p (-1)^k(4k^2+2k-1)D_{k-1}s_k\ \equiv\ -4p \pmod{p^2}\text{.}\] Moreover, define \begin{equation*} s_n(x)=\sum_{k=1}^{n}\frac{1}{n}\binom{n}{k}\binom{n}{k-1}x^{k-1}(x+1)^{n-k}, \end{equation*} for any $n\in\mathbb{Z}^+$ is even we have \begin{equation*} \frac{4}{n(n+1)(n+2)(1+2x)^3}\sum_{k=1}^{n}k(k+1)(k+2)s_k(x)s_{k+1}(x)\in\mathbb{Z}[x]. \end{equation*}
△ Less
Submitted 22 October, 2024;
originally announced October 2024.
-
Power-partible Reduction and Congruences for Schröder Polynomials
Authors:
Chen-Bo Jia,
Rong-Hua Wang,
Michael X. X. Zhong
Abstract:
In this note, we apply the power-partible reduction to show the following arithmetic properties of large Schröder polynomials $S_n(z)$ and little Schröder polynomials $s_n(z)$: for any odd prime $p$, nonnegative integer $r\in\mathbb{N}$, $\varepsilon\in\{-1,1\}$ and $z\in\mathbb{Z}$ with $\gcd(p,z(z+1))=1$, we have \[ \sum_{k=0}^{p-1}(2k+1)^{2r+1}\varepsilon^k S_k(z)\equiv 1\pmod {p}\quad \text{an…
▽ More
In this note, we apply the power-partible reduction to show the following arithmetic properties of large Schröder polynomials $S_n(z)$ and little Schröder polynomials $s_n(z)$: for any odd prime $p$, nonnegative integer $r\in\mathbb{N}$, $\varepsilon\in\{-1,1\}$ and $z\in\mathbb{Z}$ with $\gcd(p,z(z+1))=1$, we have \[ \sum_{k=0}^{p-1}(2k+1)^{2r+1}\varepsilon^k S_k(z)\equiv 1\pmod {p}\quad \text{and} \quad \sum_{k=0}^{p-1}(2k+1)^{2r+1}\varepsilon^k s_k(z)\equiv 0\pmod {p}. \]
△ Less
Submitted 10 October, 2023;
originally announced October 2023.
-
Stochastic Landau-Lifshitz-Gilbert equations for frustrated magnets under fluctuating currents
Authors:
Beniamin Goldys,
Chunxi Jiao,
Christof Melcher
Abstract:
We examine a stochastic Landau-Lifshitz-Gilbert equation for a frustrated ferromagnet with competing first and second order exchange interactions exposed to deterministic and random spin transfer torques in form of transport noise. We prove the existence and pathwise uniqueness of weak martingale solutions in the energy space. The result ensures the persistence of topological patterns, occurring i…
▽ More
We examine a stochastic Landau-Lifshitz-Gilbert equation for a frustrated ferromagnet with competing first and second order exchange interactions exposed to deterministic and random spin transfer torques in form of transport noise. We prove the existence and pathwise uniqueness of weak martingale solutions in the energy space. The result ensures the persistence of topological patterns, occurring in such magnetic systems, under the influence of a fluctuating spin current.
△ Less
Submitted 27 June, 2023;
originally announced June 2023.
-
Numerical method and Error estimate for stochastic Landau--Lifshitz--Bloch equation
Authors:
Beniamin Goldys,
Chunxi Jiao,
Kim-Ngan Le
Abstract:
We study numerical methods for solving a system of quasilinear stochastic partial differential equations known as the stochastic Landau-Lifshitz-Bloch (LLB) equation on a bounded domain in $\mathbb R^d$ for $d=1,2$. Our main results are estimates of the rate of convergence of the Finite Element Method to the solutions of stochastic LLB. To overcome the lack of regularity of the solution in the cas…
▽ More
We study numerical methods for solving a system of quasilinear stochastic partial differential equations known as the stochastic Landau-Lifshitz-Bloch (LLB) equation on a bounded domain in $\mathbb R^d$ for $d=1,2$. Our main results are estimates of the rate of convergence of the Finite Element Method to the solutions of stochastic LLB. To overcome the lack of regularity of the solution in the case $d=2$, we propose a Finite Element scheme for a regularised version of the equation. We then obtain error estimates of numerical solutions and for the solution of the regularised equation as well as the rate of convergence of this solution to the solution of the stochastic LLB equation. As a consequence, the convergence in probability of the approximate solutions to the solution of the stochastic LLB equation is derived. To the best of our knowledge this is the first result on error estimates for a system of stochastic quasilinear partial differential equations. A stronger result is obtained in the case $d=1$ due to a new regularity result for the LLB equation which allows us to avoid regularisation.
△ Less
Submitted 21 December, 2022;
originally announced December 2022.
-
Monte Carlo method for parabolic equations involving fractional Laplacian
Authors:
Caiyu Jiao,
Changpin Li
Abstract:
We apply the Monte Carlo method to solving the Dirichlet problem of linear parabolic equations with fractional Laplacian. This method exploit- s the idea of weak approximation of related stochastic differential equations driven by the symmetric stable Lévy process with jumps. We utilize the jump- adapted scheme to approximate Lévy process which gives exact exit time to the boundary. When the solut…
▽ More
We apply the Monte Carlo method to solving the Dirichlet problem of linear parabolic equations with fractional Laplacian. This method exploit- s the idea of weak approximation of related stochastic differential equations driven by the symmetric stable Lévy process with jumps. We utilize the jump- adapted scheme to approximate Lévy process which gives exact exit time to the boundary. When the solution has low regularity, we establish a numeri- cal scheme by removing the small jumps of the Lévy process and then show the convergence order. When the solution has higher regularity, we build up a higher-order numerical scheme by replacing small jumps with a simple process and then display the higher convergence order. Finally, numerical experiments including ten- and one hundred-dimensional cases are presented, which confirm the theoretical estimates and show the numerical efficiency of the proposed schemes for high dimensional parabolic equations.
△ Less
Submitted 27 October, 2022;
originally announced October 2022.
-
Large deviations for the empirical measure and empirical flow of Markov renewal processes with a countable state space
Authors:
Chen Jia,
Da-quan Jiang,
Bingjie Wu
Abstract:
Here we propose the Donsker-Varadhan-type compactness conditions and prove the joint large deviation principle for the empirical measure and empirical flow of Markov renewal processes (semi-Markov processes) with a countable state space, generalizing the relevant results for continuous-time Markov chains with a countable state space obtained in [Ann. Inst. H. Poincaré Probab. Statist. 51, 867-900…
▽ More
Here we propose the Donsker-Varadhan-type compactness conditions and prove the joint large deviation principle for the empirical measure and empirical flow of Markov renewal processes (semi-Markov processes) with a countable state space, generalizing the relevant results for continuous-time Markov chains with a countable state space obtained in [Ann. Inst. H. Poincaré Probab. Statist. 51, 867-900 (2015)] and [Stoch. Proc. Appl. 125, 2786-2819 (2015)], as well as the relevant results for Markov renewal processes with a finite state space obtained in [Adv. Appl. Probab. 48, 648-671 (2016)]. In particular, our results hold when the flow space is endowed with either the bounded weak* topology or the strong $L^1$ topology. Even for continuous-time Markov chains, our compactness conditions are weaker than the ones proposed in previous papers. Furthermore, under some stronger conditions, we obtain the explicit expression of the marginal rate function of the empirical flow.
△ Less
Submitted 25 October, 2022;
originally announced October 2022.
-
Lévy flights as an emergent phenomenon in a spatially extended system
Authors:
Chunxi Jiao,
Georg A. Gottwald
Abstract:
Anomalous diffusion and Lévy flights, which are characterized by the occurrence of random discrete jumps of all scales, have been observed in a plethora of natural and engineered systems, ranging from the motion of molecules to climate signals. Mathematicians have recently unveiled mechanisms to generate anomalous diffusion, both stochastically and deterministically. However, there exists to the b…
▽ More
Anomalous diffusion and Lévy flights, which are characterized by the occurrence of random discrete jumps of all scales, have been observed in a plethora of natural and engineered systems, ranging from the motion of molecules to climate signals. Mathematicians have recently unveiled mechanisms to generate anomalous diffusion, both stochastically and deterministically. However, there exists to the best of our knowledge no explicit example of a spatially extended system which exhibits anomalous diffusion without being explicitly driven by Lévy noise. We show here that the Landau-Lifshitz-Gilbert equation, a stochastic partial differential equation (SPDE), despite only driven by Gaussian white noise, exhibits superdiffusive behaviour. The anomalous diffusion is an entirely emergent behaviour and manifests itself in jumps in the location of its travelling front solution. Using a collective coordinate approach we reduce the SPDE to a set of stochastic differential equations (SDEs) driven by Gaussian white noise. This allows us to identify the mechanism giving rise to the anomalous diffusion as random widening events of the front interface.
△ Less
Submitted 1 September, 2023; v1 submitted 3 September, 2022;
originally announced September 2022.
-
Existence, uniqueness and regularity of solutions to the stochastic Landau-Lifschitz-Slonczewski equation
Authors:
Beniamin Goldys,
Chunxi Jiao,
Kim Ngan Le
Abstract:
In this paper we are concerned with the stochastic Landau-Lifshitz-Slonczewski equation (LLS) that describes magnetisation of an inifnite nanowire evolving under current driven spin torque. The current brings into the system a multiplicative gradient noise that appears as a transport term in the equation. We prove the existence, uniqueness and regularity of pathwise solutions to this equation.
In this paper we are concerned with the stochastic Landau-Lifshitz-Slonczewski equation (LLS) that describes magnetisation of an inifnite nanowire evolving under current driven spin torque. The current brings into the system a multiplicative gradient noise that appears as a transport term in the equation. We prove the existence, uniqueness and regularity of pathwise solutions to this equation.
△ Less
Submitted 22 August, 2022;
originally announced August 2022.
-
A Modified Walk-on-sphere Method for High Dimensional Fractional Poisson Equation
Authors:
Caiyu Jiao,
Changpin Li,
Hexiang Wang,
Zhongqiang Zhang
Abstract:
We develop walk-on-sphere for fractional Poisson equations with Dirichilet boundary conditions in high dimensions. The walk-on-sphere method is based on probabilistic represen tation of the fractional Poisson equation. We propose effcient quadrature rules to evaluate integral representation in the ball and apply rejection sampling method to drawing from the computed probabilities in general domain…
▽ More
We develop walk-on-sphere for fractional Poisson equations with Dirichilet boundary conditions in high dimensions. The walk-on-sphere method is based on probabilistic represen tation of the fractional Poisson equation. We propose effcient quadrature rules to evaluate integral representation in the ball and apply rejection sampling method to drawing from the computed probabilities in general domains. Moreover, we provide an estimate of the number of walks in the mean value for the method when the domain is a ball. We show that the number of walks is increasing in the fractional order and the distance of the starting point to the origin. We also give the relationship between the Green function of fractional Laplace equation and that of the classical Laplace equation. Numerical results for problems in 2-10 dimensions verify our theory and the effciency of the modified walk-on-sphere method.
△ Less
Submitted 13 August, 2022;
originally announced August 2022.
-
Some mathematical aspects of Anderson localization: boundary effect, multimodality, and bifurcation
Authors:
Chen Jia,
Ziqi Liu,
Zhimin Zhang
Abstract:
Anderson localization is a famous wave phenomenon that describes the absence of diffusion of waves in a disordered medium. Here we generalize the landscape theory of Anderson localization to general elliptic operators and complex boundary conditions using a probabilistic approach, and further investigate some mathematical aspects of Anderson localization that are rarely discussed before. First, we…
▽ More
Anderson localization is a famous wave phenomenon that describes the absence of diffusion of waves in a disordered medium. Here we generalize the landscape theory of Anderson localization to general elliptic operators and complex boundary conditions using a probabilistic approach, and further investigate some mathematical aspects of Anderson localization that are rarely discussed before. First, we observe that under the Neumann boundary condition, the low energy quantum states are localized on the boundary of the domain with high probability. We provide a detailed explanation of this phenomenon using the concept of extended subregions and obtain an analytical expression of this probability in the one-dimensional case. Second, we find that the quantum states may be localized in multiple different subregions with high probability in the one-dimensional case and we derive an explicit expression of this probability for various boundary conditions. Finally, we examine a bifurcation phenomenon of the localization subregion as the strength of disorder varies. The critical threshold of bifurcation is analytically computed based on a toy model and the dependence of the critical threshold on model parameters is analyzed.
△ Less
Submitted 16 May, 2022; v1 submitted 27 December, 2021;
originally announced December 2021.
-
Moderate and $L^p$ maximal inequalities for diffusion processes and conformal martingales
Authors:
Xian Chen,
Yong Chen,
Mumien Cheng,
Chen Jia
Abstract:
The $L^p$ maximal inequalities for martingales are one of the classical results in the theory of stochastic processes. Here we establish the sharp moderate maximal inequalities for one-dimensional diffusion processes, which include the $L^p$ maximal inequalities as special cases. Moreover, we apply our theory to many specific examples, including the Ornstein-Uhlenbeck (OU) process, Brownian motion…
▽ More
The $L^p$ maximal inequalities for martingales are one of the classical results in the theory of stochastic processes. Here we establish the sharp moderate maximal inequalities for one-dimensional diffusion processes, which include the $L^p$ maximal inequalities as special cases. Moreover, we apply our theory to many specific examples, including the Ornstein-Uhlenbeck (OU) process, Brownian motion with drift, reflected Brownian motion with drift, Cox-Ingersoll-Ross process, radial OU process, and Bessel process. The results are further applied to establish the moderate maximal inequalities for some high-dimensional processes, including the complex OU process and general conformal local martingales.
△ Less
Submitted 4 November, 2021;
originally announced November 2021.
-
On the conditional bounds for Siegel zeros
Authors:
Chaohua Jia
Abstract:
Under a weakened version of Hardy-Littlewood Conjecture on the number of representations in Goldbach problem, J. H. Fei proved bounds for the Siegel zeros. Recently G. Bhowmik and K. Halupczok generalized Fei's result under a weaker conjecture. In the first version of this paper on arXiv, we pointed out a defect in the paper of G. Bhowmik and K.Halupczok, and assumed a new conjecture and used new…
▽ More
Under a weakened version of Hardy-Littlewood Conjecture on the number of representations in Goldbach problem, J. H. Fei proved bounds for the Siegel zeros. Recently G. Bhowmik and K. Halupczok generalized Fei's result under a weaker conjecture. In the first version of this paper on arXiv, we pointed out a defect in the paper of G. Bhowmik and K.Halupczok, and assumed a new conjecture and used new discussion to overcome this defect to recover their result. Afterwards, in the second version of their paper, G. Bhowmik and K. Halupczok assumed previous conjecture and used our new discussion to get a weaker result. But they did not mention our paper so that we have to make some explanation now.
△ Less
Submitted 30 November, 2020; v1 submitted 27 October, 2020;
originally announced October 2020.
-
On the generalization of Golomb's conjecture
Authors:
Chaohua Jia
Abstract:
Let $p$ be a sufficiently large prime number, $r$ be any given positive integer. Suppose that $a_1,\,\dots,\,a_r$ are pairwise distinct and not zero modulo $p$. Let $N(a_1,\,\dots,\,a_r;\,p)$ denote the number of $α_1,\,\dots,\,α_r,\,β$, which are primitive roots modulo $p$, such that $α_1+β\equiv a_1,\,\dots,\,α_r+β\equiv a_r\,({\rm mod}\,p).$ In the first version of this paper, we proved an asym…
▽ More
Let $p$ be a sufficiently large prime number, $r$ be any given positive integer. Suppose that $a_1,\,\dots,\,a_r$ are pairwise distinct and not zero modulo $p$. Let $N(a_1,\,\dots,\,a_r;\,p)$ denote the number of $α_1,\,\dots,\,α_r,\,β$, which are primitive roots modulo $p$, such that $α_1+β\equiv a_1,\,\dots,\,α_r+β\equiv a_r\,({\rm mod}\,p).$ In the first version of this paper, we proved an asymptotic formula for $N(a_1,\,\dots,\,a_r;\,p)$ so that we could answer an open problem of Wenpeng Zhang and Tingting Wang. But we found that our result had been included in a paper of L. Carlitz in 1956, which is explained in the additional remark below.
△ Less
Submitted 10 November, 2020; v1 submitted 24 May, 2020;
originally announced May 2020.
-
Asymmetry in interdependence makes a multilayer system more robust against cascading failures
Authors:
Run-Ran Liu,
Chun-Xiao Jia,
Ying-Cheng Lai
Abstract:
Multilayer networked systems are ubiquitous in nature and engineering, and the robustness of these systems against failures is of great interest. A main line of theoretical pursuit has been percolation induced cascading failures, where interdependence between network layers is conveniently and tacitly assumed to be symmetric. In the real world, interdependent interactions are generally asymmetric.…
▽ More
Multilayer networked systems are ubiquitous in nature and engineering, and the robustness of these systems against failures is of great interest. A main line of theoretical pursuit has been percolation induced cascading failures, where interdependence between network layers is conveniently and tacitly assumed to be symmetric. In the real world, interdependent interactions are generally asymmetric. To uncover and quantify the impact of asymmetry in interdependence on network robustness, we focus on percolation dynamics in double-layer systems and implement the following failure mechanism: once a node in a network layer fails, the damage it can cause depends not only on its position in the layer but also on the position of its counterpart neighbor in the other layer. We find that the characteristics of the percolation transition depend on the degree of asymmetry, where the striking phenomenon of a switch in the nature of the phase transition from first- to second-order arises. We derive a theory to calculate the percolation transition points in both network layers, as well as the transition switching point, with strong numerical support from synthetic and empirical networks. Not only does our work shed light upon the factors that determine the robustness of multilayer networks against cascading failures, but it also provides a scenario by which the system can be designed or controlled to reach a desirable level of resilience.
△ Less
Submitted 24 October, 2019;
originally announced October 2019.
-
Two-parameter localization and related phase transition for a Schrödinger operator in balls and spherical shells
Authors:
Chen Jia,
Zhimin Zhang,
Lewei Zhao
Abstract:
Here we investigate the two-parameter high-frequency localization for the eigenfunctions of a Schrödinger operator with a singular inverse square potential in high-dimensional balls and spherical shells as the azimuthal quantum number $l$ and the principal quantum number $k$ tend to infinity simultaneously, while keeping their ratio as a constant, generalizing the classical one-parameter localizat…
▽ More
Here we investigate the two-parameter high-frequency localization for the eigenfunctions of a Schrödinger operator with a singular inverse square potential in high-dimensional balls and spherical shells as the azimuthal quantum number $l$ and the principal quantum number $k$ tend to infinity simultaneously, while keeping their ratio as a constant, generalizing the classical one-parameter localization for Laplacian eigenfunctions [SIAM J. Appl. Math. 73:780-803, 2013]. We prove that the eigenfunctions in balls are localized around an intermediate sphere whose radius is increasing with respect to the $l$-$k$ ratio. The eigenfunctions decay exponentially inside the localized sphere and decay polynomially outside. Furthermore, we discover a novel second-order phase transition for the eigenfunctions in spherical shells as the $l$-$k$ ratio crosses a critical value. In the supercritical case, the eigenfunctions are localized around a sphere between the inner and outer boundaries of the spherical shell. In the critical case, the eigenfunctions are localized around the inner boundary. In the subcritical case, no localization could be observed, giving rise to localization breaking.
△ Less
Submitted 21 September, 2019;
originally announced September 2019.
-
Single-cell stochastic gene expression kinetics with coupled positive-plus-negative feedback
Authors:
Chen Jia,
Le Yi Wang,
George G. Yin,
Michael Q. Zhang
Abstract:
Here we investigate single-cell stochastic gene expression kinetics in a minimal coupled gene circuit with positive-plus-negative feedback. A triphasic stochastic bifurcation upon the increasing ratio of the positive and negative feedback strengths is observed, which reveals a strong synergistic interaction between positive and negative feedback loops. We discover that coupled positive-plus-negati…
▽ More
Here we investigate single-cell stochastic gene expression kinetics in a minimal coupled gene circuit with positive-plus-negative feedback. A triphasic stochastic bifurcation upon the increasing ratio of the positive and negative feedback strengths is observed, which reveals a strong synergistic interaction between positive and negative feedback loops. We discover that coupled positive-plus-negative feedback amplifies gene expression mean but reduces gene expression noise over a wide range of feedback strengths when promoter switching is relatively slow, stabilizing gene expression around a relatively high level. In addition, we study two types of macroscopic limits of the discrete chemical master equation model: the Kurtz limit applies to proteins with large burst frequencies and the Lévy limit applies to proteins with large burst sizes. We derive the analytic steady-state distributions of the protein abundance in a coupled gene circuit for both the discrete model and its two macroscopic limits, generalizing the results obtained in [Chaos 26:043108, 2016]. We also obtain the analytic time-dependent protein distribution for the classical Friedman-Cai-Xie random bursting model proposed in [Phys. Rev. Lett. 97:168302, 2006]. Our analytic results are further applied to study the structure of gene expression noise in a coupled gene circuit and a complete decomposition of noise in terms of five different biophysical origins is provided.
△ Less
Submitted 25 October, 2019; v1 submitted 30 August, 2019;
originally announced September 2019.
-
Limit theorems for generalized density-dependent Markov chains and bursty stochastic gene regulatory networks
Authors:
Xian Chen,
Chen Jia
Abstract:
Stochastic gene regulatory networks with bursting dynamics can be modeled mesocopically as a generalized density-dependent Markov chain (GDDMC) or macroscopically as a piecewise-deterministic Markov process (PDMP). Here we prove a limit theorem showing that each family of GDDMCs will converge to a PDMP as the system size tends to infinity. Moreover, under a simple dissipative condition, we prove t…
▽ More
Stochastic gene regulatory networks with bursting dynamics can be modeled mesocopically as a generalized density-dependent Markov chain (GDDMC) or macroscopically as a piecewise-deterministic Markov process (PDMP). Here we prove a limit theorem showing that each family of GDDMCs will converge to a PDMP as the system size tends to infinity. Moreover, under a simple dissipative condition, we prove the existence and uniqueness of the stationary distribution and the exponential ergodicity for the PDMP limit via the coupling method. Further extensions and applications to single-cell stochastic gene expression kinetics and bursty stochastic gene regulatory networks are also discussed and the convergence of the stationary distribution of the GDDMC model to that of the PDMP model is also proved.
△ Less
Submitted 30 August, 2019;
originally announced September 2019.
-
On power residues modulo a prime
Authors:
Ke Gong,
Chaohua Jia
Abstract:
Let $p$ be a sufficiently large prime number, $n$ be a positive odd integer with $n|\,p-1$ and $n>p^\varepsilon $, where $\varepsilon$ is a sufficiently small constant. Let $k(p,\,n)$ denote the least positive integer $k$ such that for $x=-k,\,\dots,\,-1,\,1,\,2,\,\dots,\,k$, the numbers $x^n\pmod p$ yield all the non-zero $n$-th power residues modulo $p$. In this paper, we shall prove…
▽ More
Let $p$ be a sufficiently large prime number, $n$ be a positive odd integer with $n|\,p-1$ and $n>p^\varepsilon $, where $\varepsilon$ is a sufficiently small constant. Let $k(p,\,n)$ denote the least positive integer $k$ such that for $x=-k,\,\dots,\,-1,\,1,\,2,\,\dots,\,k$, the numbers $x^n\pmod p$ yield all the non-zero $n$-th power residues modulo $p$. In this paper, we shall prove $$ k(p,\,n)=O(p^{1-δ}), $$ which improves a result of S. Chowla and H. London in the case of large $n$.
△ Less
Submitted 1 September, 2019; v1 submitted 27 August, 2019;
originally announced August 2019.
-
Well-posedness of compressible magneto-micropolar fluid equations
Authors:
Cuiman Jia,
Zhong Tan,
Jianfeng Zhou
Abstract:
We are concerned with compressible magneto-micropolar fluid equations (1.1)-(1.2). The global existence and large time behaviour of solutions near a constant state to the magneto-micropolar-Navier-Stokes-Poisson (MMNSP) system is investigated in $\mathbb{R}^3$. By a refined energy method, the global existence is established under the assumption that the $H^3$ norm of the initial data is small, but…
▽ More
We are concerned with compressible magneto-micropolar fluid equations (1.1)-(1.2). The global existence and large time behaviour of solutions near a constant state to the magneto-micropolar-Navier-Stokes-Poisson (MMNSP) system is investigated in $\mathbb{R}^3$. By a refined energy method, the global existence is established under the assumption that the $H^3$ norm of the initial data is small, but the higher order derivatives can be large. If the initial data belongs to homogeneous Sobolev spaces or homogeneous Besov spaces, we prove the optimal time decay rates of the solution and its higher order spatial derivatives. Meanwhile, we also obtain the usual $L^p-L^2$ $(1\leq p\leq2)$ type of the decay rates without requiring that the $L^p$ norm of initial data is small.
△ Less
Submitted 17 June, 2019; v1 submitted 17 June, 2019;
originally announced June 2019.
-
Detailed balance, local detailed balance, and global potential for stochastic chemical reaction networks
Authors:
Chen Jia,
Da-Quan Jiang,
Youming Li
Abstract:
Detailed balance of a chemical reaction network can be defined in several different ways. Here we investigate the relationship among four types of detailed balance conditions: deterministic, stochastic, local, and zero-order local detailed balance. We show that the four types of detailed balance are equivalent when different reactions lead to different species changes and are not equivalent when s…
▽ More
Detailed balance of a chemical reaction network can be defined in several different ways. Here we investigate the relationship among four types of detailed balance conditions: deterministic, stochastic, local, and zero-order local detailed balance. We show that the four types of detailed balance are equivalent when different reactions lead to different species changes and are not equivalent when some different reactions lead to the same species change. Under the condition of local detailed balance, we further show that the system has a global potential defined over the whole space, which plays the central role in the large deviation theory and the Freidlin-Wentzell-type metastability theory of chemical reaction networks. Finally, we provide a new sufficient condition for stochastic detailed balance, which is applied to construct a class of high-dimensional chemical reaction networks that both satisfies stochastic detailed balance and displays multistability.
△ Less
Submitted 26 January, 2021; v1 submitted 25 January, 2019;
originally announced January 2019.
-
Sharp moderate maximal inequalities for upward skip-free Markov chains
Authors:
Chen Jia
Abstract:
The $L^p$ maximal inequalities for martingales are one of the classical results in probability theory. Here we establish the sharp moderate maximal inequalities for upward skip-free Markov chains, which include the $L^p$ maximal inequalities as special cases. Furthermore, we apply our theory to two specific examples and obtain their moderate maximal inequalities: the first one is the M/M/1 queue a…
▽ More
The $L^p$ maximal inequalities for martingales are one of the classical results in probability theory. Here we establish the sharp moderate maximal inequalities for upward skip-free Markov chains, which include the $L^p$ maximal inequalities as special cases. Furthermore, we apply our theory to two specific examples and obtain their moderate maximal inequalities: the first one is the M/M/1 queue and the second one is an upward skip-free Markov chain with large death jumps. These two examples have the same total birth and death rates. However, the former exhibits a phase transition phenomenon while the latter does not.
△ Less
Submitted 3 March, 2018;
originally announced March 2018.
-
Moderate maximal inequalities for the Ornstein-Uhlenbeck process
Authors:
Chen Jia,
Guohuan Zhao
Abstract:
The maximal inequalities for diffusion processes have drawn increasing attention in recent years. However, the existing proof of the $L^p$ maximum inequalities for the Ornstein-Uhlenbeck process was dubious. Here we give a rigorous proof of the moderate maximum inequalities for the Ornstein-Uhlenbeck process, which include the $L^p$ maximum inequalities as special cases and generalize the remarkab…
▽ More
The maximal inequalities for diffusion processes have drawn increasing attention in recent years. However, the existing proof of the $L^p$ maximum inequalities for the Ornstein-Uhlenbeck process was dubious. Here we give a rigorous proof of the moderate maximum inequalities for the Ornstein-Uhlenbeck process, which include the $L^p$ maximum inequalities as special cases and generalize the remarkable $L^1$ maximum inequalities obtained by Graversen and Peskir [P. Am. Math. Soc., 128(10):3035-3041, 2000]. As a corollary, we also obtain a new moderate maximal inequality for continuous local martingales, which can be viewed as a supplement of the classical Burkholder-Davis-Gundy inequality.
△ Less
Submitted 2 November, 2017;
originally announced November 2017.
-
Mathematical foundation of nonequilibrium fluctuation-dissipation theorems for inhomogeneous diffusion processes with unbounded coefficients
Authors:
Xian Chen,
Chen Jia
Abstract:
Nonequilibrium fluctuation-dissipation theorems (FDTs) are one of the most important advances in stochastic thermodynamics over the past two decades. Here we provide rigorous mathematical proofs of two types of nonequilibrium FDTs for inhomogeneous diffusion processes with unbounded drift and diffusion coefficients by using the Schauder estimates for partial differential equations of parabolic typ…
▽ More
Nonequilibrium fluctuation-dissipation theorems (FDTs) are one of the most important advances in stochastic thermodynamics over the past two decades. Here we provide rigorous mathematical proofs of two types of nonequilibrium FDTs for inhomogeneous diffusion processes with unbounded drift and diffusion coefficients by using the Schauder estimates for partial differential equations of parabolic type and the theory of weakly continuous semigroups. The FDTs proved in this paper apply to any forms of inhomogeneous and nonlinear external perturbations. Furthermore, we prove the uniqueness of the conjugate observables and clarify the precise mathematical conditions and ranges of applicability for the two types of FDTs. Examples are also given to illustrate the main results of this paper.
△ Less
Submitted 30 August, 2019; v1 submitted 30 August, 2017;
originally announced August 2017.
-
Shifted Character Sums with Multiplicative Coefficients, II
Authors:
K. Gong,
C. Jia,
M. A. Korolev
Abstract:
Let $f(n)$ be a multiplicative function with $|f(n)|\leq 1, q$ be a prime number and $a$ be an integer with $(a, q)=1, χ$ be a non-principal Dirichlet character modulo $q$. Let $\varepsilon$ be a sufficiently small positive constant, $A$ be a large constant, $q^{\frac12+\varepsilon}\ll N\ll q^A$. In this paper, we shall prove that $$ \sum_{n\leq N}f(n)χ(n+a)\ll N\frac{\log\log q}{\log q} $$ and th…
▽ More
Let $f(n)$ be a multiplicative function with $|f(n)|\leq 1, q$ be a prime number and $a$ be an integer with $(a, q)=1, χ$ be a non-principal Dirichlet character modulo $q$. Let $\varepsilon$ be a sufficiently small positive constant, $A$ be a large constant, $q^{\frac12+\varepsilon}\ll N\ll q^A$. In this paper, we shall prove that $$ \sum_{n\leq N}f(n)χ(n+a)\ll N\frac{\log\log q}{\log q} $$ and that $$ \sum_{n\leq N}f(n)χ(n+a_1)\cdotsχ(n+a_t)\ll N\frac{\log\log q}{\log q}, $$ where $t\geq 2, a_1, \ldots, a_t$ are distinct integers modulo $q$.
△ Less
Submitted 20 November, 2016;
originally announced November 2016.
-
A solution to the reversible embedding problem for finite Markov chains
Authors:
Chen Jia
Abstract:
The embedding problem for Markov chains is a famous problem in probability theory and only partial results are available up till now. In this paper, we propose a variant of the embedding problem called the reversible embedding problem which has a deep physical and biochemical background and provide a complete solution to this new problem. We prove that the reversible embedding of a stochastic matr…
▽ More
The embedding problem for Markov chains is a famous problem in probability theory and only partial results are available up till now. In this paper, we propose a variant of the embedding problem called the reversible embedding problem which has a deep physical and biochemical background and provide a complete solution to this new problem. We prove that the reversible embedding of a stochastic matrix, if it exists, must be unique. Moreover, we obtain the sufficient and necessary conditions for the existence of the reversible embedding and provide an effective method to compute the reversible embedding. Some examples are also given to illustrate the main results of this paper.
△ Less
Submitted 11 May, 2016;
originally announced May 2016.
-
Model simplification and loss of irreversibility
Authors:
Chen Jia
Abstract:
In this paper, we reveal a general relationship between model simplification and irreversibility based on the model of continuous-time Markov chains with time-scale separation. According to the topological structure of the fast process, we divide the states of the chain into the transient states and the recurrent states. We show that a two-time-scale chain can be simplified to a reduced chain in t…
▽ More
In this paper, we reveal a general relationship between model simplification and irreversibility based on the model of continuous-time Markov chains with time-scale separation. According to the topological structure of the fast process, we divide the states of the chain into the transient states and the recurrent states. We show that a two-time-scale chain can be simplified to a reduced chain in two different ways: removal of the transient states and aggregation of the recurrent states. Both the two operations will lead to a decrease in the entropy production rate and its adiabatic part and will keep its non-adiabatic part the same. This suggests that although model simplification can retain almost all the dynamic information of the chain, it will lose some thermodynamic information as a trade-off.
△ Less
Submitted 11 May, 2016;
originally announced May 2016.
-
A Novel Dissipation Property of the Master Equation
Authors:
Liu Hong,
Chen Jia,
Yi Zhu,
Wen-An Yong
Abstract:
Recent studies have shown that the entropy production rate for the master equation consists of two nonnegative terms: the adiabatic and non-adiabatic parts, where the non-adiabatic part is also known as the dissipation rate of a Boltzmann-Shannon relative entropy. In this paper, we provide some nonzero lower bounds for the relative entropy, the entropy production rate, and its adiabatic and non-ad…
▽ More
Recent studies have shown that the entropy production rate for the master equation consists of two nonnegative terms: the adiabatic and non-adiabatic parts, where the non-adiabatic part is also known as the dissipation rate of a Boltzmann-Shannon relative entropy. In this paper, we provide some nonzero lower bounds for the relative entropy, the entropy production rate, and its adiabatic and non-adiabatic parts. These nonzero lower bounds not only reveal some novel dissipative properties for general nonequilibrium processes which are much stronger than the second law of thermodynamics, but also impose some new constraints on thermodynamic constitutive relations. Moreover, we also provide a mathematical application of these nonzero lower bounds by studying the long-time behavior of the master equation. Extensions to the Tsallis statistics are also discussed, including the nonzero lower bounds for the Tsallis-type relative entropy and its dissipation rate.
△ Less
Submitted 25 November, 2015; v1 submitted 26 November, 2014;
originally announced November 2014.
-
Cycle symmetries and circulation fluctuations for discrete-time and continuous-time Markov chains
Authors:
Chen Jia,
Daquan Jiang,
Minping Qian
Abstract:
In probability theory, equalities are much less than inequalities. In this paper, we find a series of equalities which characterize the symmetry of the forming times of a family of similar cycles for discrete-time and continuous-time Markov chains. Moreover, we use these cycle symmetries to study the circulation fluctuations for Markov chains. We prove that the empirical circulations of a family o…
▽ More
In probability theory, equalities are much less than inequalities. In this paper, we find a series of equalities which characterize the symmetry of the forming times of a family of similar cycles for discrete-time and continuous-time Markov chains. Moreover, we use these cycle symmetries to study the circulation fluctuations for Markov chains. We prove that the empirical circulations of a family of cycles passing through a common state satisfy a large deviation principle with a rate function which has an highly non-obvious symmetry. Finally, we discuss the applications of our work in statistical physics and biochemistry.
△ Less
Submitted 18 July, 2014; v1 submitted 4 July, 2014;
originally announced July 2014.
-
A note on the number of coefficients of automorphic $L-$functions for $GL_m$ with same signs
Authors:
Chaohua Jia
Abstract:
Let $π$ be an irreducible unitary cuspidal representation of $GL_m({\Bbb A}_{\Bbb Q})$ and $L(s,\,π)$ be the global $L-$function attached to $π$. If ${\rm Re}(s)>1$, $L(s,\,π)$ has a Dirichlet series expression. When $π$ is self-contragradient, all the coefficients of Dirichlet series are real. In this note, we shall give non-trivial lower bounds for the number of positive and negative coefficient…
▽ More
Let $π$ be an irreducible unitary cuspidal representation of $GL_m({\Bbb A}_{\Bbb Q})$ and $L(s,\,π)$ be the global $L-$function attached to $π$. If ${\rm Re}(s)>1$, $L(s,\,π)$ has a Dirichlet series expression. When $π$ is self-contragradient, all the coefficients of Dirichlet series are real. In this note, we shall give non-trivial lower bounds for the number of positive and negative coefficients respectively, which is an improvement on the recent work of Jianya Liu and Jie Wu.
△ Less
Submitted 3 May, 2014;
originally announced May 2014.
-
Shifted Character Sums with Multiplicative Coefficients
Authors:
Ke Gong,
Chaohua Jia
Abstract:
Let $f(n)$ be a multiplicative function satisfying $|f(n)|\leq 1$, $q$ $(\leq N^2)$ be a prime number and $a$ be an integer with $(a,\,q)=1$, $χ$ be a non-principal Dirichlet character modulo $q$. In this paper, we shall prove that $$ \sum_{n\leq N}f(n)χ(n+a)\ll {N\over q^{1\over 4}}\log\log(6N)+q^{1\over 4}N^{1\over 2}\log(6N)+{N\over \sqrt{\log\log(6N)}}. $$
We shall also prove that \begin{ali…
▽ More
Let $f(n)$ be a multiplicative function satisfying $|f(n)|\leq 1$, $q$ $(\leq N^2)$ be a prime number and $a$ be an integer with $(a,\,q)=1$, $χ$ be a non-principal Dirichlet character modulo $q$. In this paper, we shall prove that $$ \sum_{n\leq N}f(n)χ(n+a)\ll {N\over q^{1\over 4}}\log\log(6N)+q^{1\over 4}N^{1\over 2}\log(6N)+{N\over \sqrt{\log\log(6N)}}. $$
We shall also prove that \begin{align*} &\sum_{n\leq N}f(n)χ(n+a_1)\cdotsχ(n+a_t)\ll {N\over q^{1\over 4}}\log\log(6N)\\ &\quad+q^{1\over 4}N^{1\over 2}\log(6N)+{N\over \sqrt{\log\log(6N)}}, \end{align*} where $t\geq 2$, $a_1,\,\cdots,\,a_t$ are pairwise distinct integers modulo $q$.
△ Less
Submitted 2 July, 2014; v1 submitted 8 April, 2014;
originally announced April 2014.
-
Kloosterman Sums with Multiplicative Coefficients
Authors:
Ke Gong,
Chaohua Jia
Abstract:
Let $f(n)$ be a multiplicative function satisfying $|f(n)|\leq 1$, $q$ $(\leq N^2)$ be a positive integer and $a$ be an integer with $(a,\,q)=1$. In this paper, we shall prove that $$\sum_{\substack{n\leq N\\ (n,\,q)=1}}f(n)e({a\bar{n}\over q})\ll\sqrt{τ(q)\over q}N\log\log(6N)+q^{{1\over 4}+{ε\over 2}}N^{1\over 2}(\log(6N))^{1\over 2}+{N\over \sqrt{\log\log(6N)}},$$ where $\bar{n}$ is the multipl…
▽ More
Let $f(n)$ be a multiplicative function satisfying $|f(n)|\leq 1$, $q$ $(\leq N^2)$ be a positive integer and $a$ be an integer with $(a,\,q)=1$. In this paper, we shall prove that $$\sum_{\substack{n\leq N\\ (n,\,q)=1}}f(n)e({a\bar{n}\over q})\ll\sqrt{τ(q)\over q}N\log\log(6N)+q^{{1\over 4}+{ε\over 2}}N^{1\over 2}(\log(6N))^{1\over 2}+{N\over \sqrt{\log\log(6N)}},$$ where $\bar{n}$ is the multiplicative inverse of $n$ such that $\bar{n}n\equiv 1\,({\rm mod}\,q),\,e(x)=\exp(2πix),\,τ(q)$ is the divisor function.
△ Less
Submitted 13 March, 2014; v1 submitted 18 January, 2014;
originally announced January 2014.
-
The Mean Square of Divisor Function
Authors:
Chaohua Jia,
Ayyadurai Sankaranarayanan
Abstract:
Let $d(n)$ be the divisor function. In 1916, S. Ramanujan stated but without proof that $$\sum_{n\leq x}d^2(n)=xP(\log x)+E(x), $$ where $P(y)$ is a cubic polynomial in $y$ and $$ E(x)=O(x^{{3\over 5}+ε}), $$ where $ε$ is a sufficiently small positive constant. He also stated that, assuming the Riemann Hypothesis(RH), $$ E(x)=O(x^{{1\over 2}+ε}). $$
In 1922, B. M. Wilson proved the above result…
▽ More
Let $d(n)$ be the divisor function. In 1916, S. Ramanujan stated but without proof that $$\sum_{n\leq x}d^2(n)=xP(\log x)+E(x), $$ where $P(y)$ is a cubic polynomial in $y$ and $$ E(x)=O(x^{{3\over 5}+ε}), $$ where $ε$ is a sufficiently small positive constant. He also stated that, assuming the Riemann Hypothesis(RH), $$ E(x)=O(x^{{1\over 2}+ε}). $$
In 1922, B. M. Wilson proved the above result unconditionally. The direct application of the RH would produce $$ E(x)=O(x^{1\over 2}(\log x)^5\log\log x). $$ In 2003, K. Ramachandra and A. Sankaranarayanan proved the above result without any assumption.
In this paper, we shall prove $$ E(x)=O(x^{1\over 2}(\log x)^5). $$
△ Less
Submitted 22 March, 2014; v1 submitted 16 November, 2013;
originally announced November 2013.
-
Cycle symmetry, limit theorems, and fluctuation theorems for diffusion processes on the circle
Authors:
Hao Ge,
Chen Jia,
Da-Quan Jiang
Abstract:
Cyclic structure and dynamics are of great interest in both the fields of stochastic processes and nonequilibrium statistical physics. In this paper, we find a new symmetry of the Brownian motion named as the quasi-time-reversal invariance. It turns out that such an invariance of the Brownian motion is the key to prove the cycle symmetry for diffusion processes on the circle, which says that the d…
▽ More
Cyclic structure and dynamics are of great interest in both the fields of stochastic processes and nonequilibrium statistical physics. In this paper, we find a new symmetry of the Brownian motion named as the quasi-time-reversal invariance. It turns out that such an invariance of the Brownian motion is the key to prove the cycle symmetry for diffusion processes on the circle, which says that the distributions of the forming times of the forward and backward cycles, given that the corresponding cycle is formed earlier than the other, are exactly the same. With the aid of the cycle symmetry, we prove the strong law of large numbers, functional central limit theorem, and large deviation principle for the sample circulations and net circulations of diffusion processes on the circle. The cycle symmetry is further applied to obtain various types of fluctuation theorems for the sample circulations, net circulation, and entropy production rate.
△ Less
Submitted 26 April, 2017; v1 submitted 9 November, 2013;
originally announced November 2013.
-
Reduction of Markov chains with two-time-scale state transitions
Authors:
Chen Jia
Abstract:
In this paper, we consider a general class of two-time-scale Markov chains whose transition rate matrix depends on a parameter $λ>0$. We assume that some transition rates of the Markov chain will tend to infinity as $λ\rightarrow\infty$. We divide the state space of the Markov chain $X$ into a fast state space and a slow state space and define a reduced chain $Y$ on the slow state space. Our main…
▽ More
In this paper, we consider a general class of two-time-scale Markov chains whose transition rate matrix depends on a parameter $λ>0$. We assume that some transition rates of the Markov chain will tend to infinity as $λ\rightarrow\infty$. We divide the state space of the Markov chain $X$ into a fast state space and a slow state space and define a reduced chain $Y$ on the slow state space. Our main result is that the distribution of the original chain $X$ will converge in total variation distance to that of the reduced chain $Y$ uniformly in time $t$ as $λ\rightarrow\infty$.
△ Less
Submitted 9 July, 2015; v1 submitted 9 November, 2013;
originally announced November 2013.
-
On sumsets in ${\Bbb F}_2^n$
Authors:
Chaohua Jia
Abstract:
Let ${\Bbb F}_2$ be the finite field of two elements, ${\Bbb F}_2^n$ be the vector space of dimension $n$ over ${\Bbb F}_2$. For sets $A,\,B\subseteq{\Bbb F}_2^n$, their sumset is defined as the set of all pairwise sums $a+b$ with $a\in A,\,b\in B$.
Ben Green and Terence Tao proved that, let $K\geq 1$, if$A,\,B\subseteq{\Bbb F}_2^n$ and $|A+B|\leq K|A|^{1\over 2}|B|^{1\over 2}$, then there exist…
▽ More
Let ${\Bbb F}_2$ be the finite field of two elements, ${\Bbb F}_2^n$ be the vector space of dimension $n$ over ${\Bbb F}_2$. For sets $A,\,B\subseteq{\Bbb F}_2^n$, their sumset is defined as the set of all pairwise sums $a+b$ with $a\in A,\,b\in B$.
Ben Green and Terence Tao proved that, let $K\geq 1$, if$A,\,B\subseteq{\Bbb F}_2^n$ and $|A+B|\leq K|A|^{1\over 2}|B|^{1\over 2}$, then there exists a subspace $H\subseteq{\Bbb F}_2^n$ with $$ |H|\gg\exp(-O(\sqrt{K}\log K))|A| $$ and $x,\,y\in{\Bbb F}_2^n$ such that $$ |A\cap(x+H)|^{1\over 2}|B\cap(y+H)|^{1\over 2}\geq{1\over 2K}|H|. $$
In this note, we shall use the method of Green and Tao with some modification to prove that if $$ |H|\gg\exp(-O(\sqrt{K}))|A|, $$ then the above conclusion still holds true.
△ Less
Submitted 26 May, 2012;
originally announced May 2012.
-
Mean Value from Representation of Rational Number as Sum of Two Egyptian Fractions
Authors:
Chaohua Jia
Abstract:
For given positive integers $n$ and $a$, let $R(n;\,a)$ denote the number of positive integer solutions $(x,\,y)$ of the Diophantine equation $$ {a\over n}={1\over x}+{1\over y}. $$ Write $$ S(N;\,a)=\sum_{\substack{n\leq N (n,\,a)=1}}R(n;\,a). $$ Recently Jingjing Huang and R. C. Vaughan proved that for $4\leq N$ and $a\leq 2N$, there is an asymptotic formula…
▽ More
For given positive integers $n$ and $a$, let $R(n;\,a)$ denote the number of positive integer solutions $(x,\,y)$ of the Diophantine equation $$ {a\over n}={1\over x}+{1\over y}. $$ Write $$ S(N;\,a)=\sum_{\substack{n\leq N (n,\,a)=1}}R(n;\,a). $$ Recently Jingjing Huang and R. C. Vaughan proved that for $4\leq N$ and $a\leq 2N$, there is an asymptotic formula $$ S(N;\,a)={3\over π^2a}\prod_{p|a}{p-1\over p+1}\cdot N(\log^2N+c_1(a) \log N+c_0(a))+Δ(N;\,a). $$ In this paper, we shall get a more explicit expression with better error term for $c_0(a)$.
△ Less
Submitted 5 September, 2011;
originally announced September 2011.
-
On the estimate for a mean value relative to 4/p=1/n_1+1/n_2+1/n_3
Authors:
Chaohua Jia
Abstract:
For the positive integer $n$, let $f(n)$ denote the number of positive integer solutions $(n_1, n_2, n_3)$ of the Diophantine equation $$ {4\over n}={1\over n_1}+{1\over n_2}+{1\over n_3}. $$ For the prime number $p$, $f(p)$ can be split into $f_1(p)+f_2(p),$ where $f_i(p)(i=1, 2)$ counts those solutions with exactly $i$ of denominators $n_1, n_2, n_3$ divisible by $p.$
Recently Terence Tao prov…
▽ More
For the positive integer $n$, let $f(n)$ denote the number of positive integer solutions $(n_1, n_2, n_3)$ of the Diophantine equation $$ {4\over n}={1\over n_1}+{1\over n_2}+{1\over n_3}. $$ For the prime number $p$, $f(p)$ can be split into $f_1(p)+f_2(p),$ where $f_i(p)(i=1, 2)$ counts those solutions with exactly $i$ of denominators $n_1, n_2, n_3$ divisible by $p.$
Recently Terence Tao proved that $$ \sum_{p< x}f_1(p)\ll x\exp({c\log x\over \log\log x}) $$ with other results. In this paper we shall improve it to $$ \sum_{p< x}f_1(p)\ll x\log^5x\log\log^2x. $$
△ Less
Submitted 29 July, 2011;
originally announced July 2011.
-
A Note on Terence Tao's Paper "On the Number of Solutions to 4/p=1/n_1+1/n_2+1/n_3"
Authors:
Chaohua Jia
Abstract:
For the positive integer $n$, let $f(n)$ denote the number of positive integer solutions $(n_1,\,n_2,\,n_3)$ of the Diophantine equation $$ {4\over n}={1\over n_1}+{1\over n_2}+{1\over n_3}. $$ For the prime number $p$, $f(p)$ can be split into $f_1(p)+f_2(p),$ where $f_i(p)(i=1,\,2)$ counts those solutions with exactly $i$ of denominators$n_1,\,n_2,\,n_3$ divisible by $p.$
Recently Terence Tao…
▽ More
For the positive integer $n$, let $f(n)$ denote the number of positive integer solutions $(n_1,\,n_2,\,n_3)$ of the Diophantine equation $$ {4\over n}={1\over n_1}+{1\over n_2}+{1\over n_3}. $$ For the prime number $p$, $f(p)$ can be split into $f_1(p)+f_2(p),$ where $f_i(p)(i=1,\,2)$ counts those solutions with exactly $i$ of denominators$n_1,\,n_2,\,n_3$ divisible by $p.$
Recently Terence Tao proved that $$ \sum_{p< x}f_2(p)\ll x\log^2x\log\log x $$ with other results. But actually only the upper bound $x\log^2x\log\log^2x$ can be obtained in his discussion. In this note we shall use an elementary method to save a factor $\log\log x$ and recover the above estimate.
△ Less
Submitted 27 July, 2011;
originally announced July 2011.
-
On the Inverse Problem Relative to Dynamics of the w Function
Authors:
Chaohua Jia
Abstract:
In this paper we shall study the inverse problem relative to dynamics of the w function which is a special arithmetic function and shall get some results.
In this paper we shall study the inverse problem relative to dynamics of the w function which is a special arithmetic function and shall get some results.
△ Less
Submitted 24 January, 2009;
originally announced January 2009.
