中国科学院数学与系统科学研究院期刊网

15 October 2024, Volume 40 Issue 4
    

  • Select all
    |
    ARTICLES
  • Ling-jie ZHANG, Shi-song WU, Hai ZHANG
    Acta Mathematicae Applicatae Sinica(English Series). 2024, 40(4): 887-907. https://doi.org/10.1007/s10255-024-1095-6
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    In this paper, we design the differentially private variants of the classical Frank-Wolfe algorithm with shuffle model in the optimization of machine learning. Under weak assumptions and the generalized linear loss (GLL) structure, we propose a noisy Frank-Wolfe with shuffle model algorithm (NoisyFWS) and a noisy variance-reduced Frank-Wolfe with the shuffle model algorithm (NoisyVRFWS) by adding calibrated laplace noise under shuffling scheme in the $\ell_{p} (p\in [1,2])$-case, and study their privacy as well as utility guarantees for the Hölder smoothness GLL. In particular, the privacy guarantees are mainly achieved by using advanced composition and privacy amplification by shuffling. The utility bounds of the NoisyFWS and NoisyVRFWS are analyzed and obtained the optimal excess population risks $\mathcal{O}(n^{-\frac{1+\alpha}{4\alpha}}+\frac{\log(d)\sqrt{\log (1/\delta)}}{n\epsilon})$ and $\mathcal{O}(n^{-\frac{1+\alpha}{4\alpha}}+\frac{\log(d)\sqrt{\log (1/\delta)}}{n^{2}\epsilon})$ with gradient complexity $\mathcal{O}(n^{\frac{(1+\alpha)^{2}}{4\alpha^{2}}})$ for $\alpha \in [1/\sqrt{3},1]$. It turns out that the risk rates under shuffling scheme are a nearly-dimension independent rate, which is consistent with the previous work in some cases. In addition, there is a vital tradeoff between $(\alpha,L)$-Hölder smoothness GLL and the gradient complexity. The linear gradient complexity $\mathcal{O}(n)$ is showed by the parameter $\alpha=1$.
  • Si-yan XU, Yi-dong ZHANG
    Acta Mathematicae Applicatae Sinica(English Series). 2024, 40(4): 908-928. https://doi.org/10.1007/s10255-024-1137-0
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    In this paper, we prove an existence and uniqueness theorem for backward doubly stochastic differential equations under a new kind of stochastic non-Lipschitz condition which involves stochastic and time-dependent condition. As an application, we use the result to obtain the existence of stochastic viscosity solution for some nonlinear stochastic partial differential equations under stochastic non-Lipschitz conditions.
  • Meng-ke QI, Xin ZHANG
    Acta Mathematicae Applicatae Sinica(English Series). 2024, 40(4): 929-942. https://doi.org/10.1007/s10255-024-1033-7
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    An incidence of a graph $G$ is a vertex-edge pair $(v,e)$ such that $v$ is incidence with $e$. A conflict-free incidence coloring of a graph is a coloring of the incidences in such a way that two incidences $(u,e)$ and $(v,f)$ get distinct colors if and only if they conflict each other, i.e.,\, (i) $u=v$, (ii) $uv$ is $e$ or $f$, or (iii) there is a vertex $w$ such that $uw=e$ and $vw=f$. The minimum number of colors used among all conflict-free incidence colorings of a graph is the conflict-free incidence chromatic number. A graph is outer-1-planar if it can be drawn in the plane so that vertices are on the outer-boundary and each edge is crossed at most once. In this paper, we show that the conflict-free incidence chromatic number of an outer-1-planar graph with maximum degree $\Delta$ is either $2\Delta$ or $2\Delta+1$ unless the graph is a cycle on three vertices, and moreover, all outer-1-planar graphs with conflict-free incidence chromatic number $2\Delta$ or $2\Delta+1$ are completely characterized. An efficient algorithm for constructing an optimal conflict-free incidence coloring of a connected outer-1-planar graph is given.
  • Sheng-jun FAN
    Acta Mathematicae Applicatae Sinica(English Series). 2024, 40(4): 943-953. https://doi.org/10.1007/s10255-024-1133-4
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    This paper is devoted to solving a reflected backward stochastic differential equation (BSDE in short) with one continuous barrier and a quasi-linear growth generator $g$, which has a linear growth in $(y,z)$, except the upper direction in case of $y<0$, and is more general than the usual linear growth generator. By showing the convergence of a penalization scheme we prove existence and comparison theorem of the minimal $L^p\ (p>1)$ solutions for the reflected BSDEs. We also prove that the minimal $L^p$ solution can be approximated by a sequence of $L^p$ solutions of certain reflected BSDEs with Lipschitz generators.
  • Pei-yu ZHANG, Li FANG, Zhen-hua GUO
    Acta Mathematicae Applicatae Sinica(English Series). 2024, 40(4): 954-978. https://doi.org/10.1007/s10255-024-1080-0
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    The purpose of this work is to investigate the existence and uniqueness of weak solutions to the initial-boundary value problem for a coupled system of an incompressible non-Newtonian fluid and the Vlasov equation. The coupling arises from the acceleration in the Vlasov equation and the drag force in the incompressible viscous non-Newtonian fluid with the stress tensor of a power-law structure for $p\geqslant\frac{11}{5}$. The main idea of the existence analysis is to reformulate the coupled system by means of a so-called truncation function. The advantage of the new formulation is to control the external force term $G=-\mathbf{\int}_{\mathbb{R}^d}(\mathbf{u}-\mathbf{v})fd\mathbf{v}~(d=2,3)$. The global existence of weak solutions to the reformulated system is shown by using the Faedo-Galerkin method and weak compactness techniques. We further prove the uniqueness of weak solutions to the considered system.
  • Kai XU, Yan-qin NIE, Dao-jiang HE
    Acta Mathematicae Applicatae Sinica(English Series). 2024, 40(4): 979-1000. https://doi.org/10.1007/s10255-024-1132-5
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    Based on the martingale difference divergence, a recently proposed metric for quantifying conditional mean dependence, we introduce a consistent test of U-type for the goodness-of-fit of linear models under conditional mean restriction. Methodologically, our test allows heteroscedastic regression models without imposing any condition on the distribution of the error, utilizes effectively important information contained in the distance of the vector of covariates, has a simple form, is easy to implement, and is free of the subjective choice of parameters. Theoretically, our mathematical analysis is of own interest since it does not take advantage of the empirical process theory and provides some insights on the asymptotic behavior of U-statistic in the framework of model diagnostics. The asymptotic null distribution of the proposed test statistic is derived and its asymptotic power behavior against fixed alternatives and local alternatives converging to the null at the parametric rate is also presented. In particular, we show that its asymptotic null distribution is very different from that obtained for the true error and their differences are interestingly related to the form expression for the estimated parameter vector embodied in regression function and a martingale difference divergence matrix. Since the asymptotic null distribution of the test statistic depends on data generating process, we propose a wild bootstrap scheme to approximate its null distribution. The consistency of the bootstrap scheme is justified. Numerical studies are undertaken to show the good performance of the new test.
  • Si-wei HU, Yi-chao CHEN
    Acta Mathematicae Applicatae Sinica(English Series). 2024, 40(4): 1001-1014. https://doi.org/10.1007/s10255-024-1128-1
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    In this paper, we obtain the thickness for some complete $k-$partite graphs for $k=2,3.$ We first compute the thickness of $K_{n,n+8}$ by giving a planar decomposition of $K_{4k-1,4k+7}$ for $k\geq 3$. Then, two planar decompositions for $K_{1,g,g(g-1)}$ when $g$ is even and for $K_{1,g,\frac{1}{2}(g-1)^2}$ when $g$ is odd are obtained. Using a recursive construction, we also obtain the thickness for some complete tripartite graphs. The results here support the long-standing conjecture that the thickness of $K_{m,n}$ is $\big\lceil\frac{mn}{2(m+n-2)}\big\rceil$ for any positive integers $ m, n$.
  • Jian-xiang WAN, Hai-ping ZHONG
    Acta Mathematicae Applicatae Sinica(English Series). 2024, 40(4): 1015-1024. https://doi.org/10.1007/s10255-024-1134-3
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    The paper deals with a Cauchy problem for the chemotaxis system with the effect of fluid \begin{eqnarray*}\label{1.2} \left\{ \begin{array}{ll} u_t^{\epsilon}+u^{\epsilon}\cdot\nabla u^{\epsilon}-\Delta u^{\epsilon}+\nabla\mathbf{P}^{\epsilon}= n^{\epsilon}\nabla c^{\epsilon}, \ \ \ &{\rm in}\ \mathbb{R}^{d}\times (0, \infty), \\[6pt] \nabla\cdot u^{\epsilon}=0, \ \ \ &{\rm in}\ \mathbb{R}^{d}\times (0, \infty), \\[6pt] n_t^{\epsilon}+u^{\epsilon}\cdot\nabla n^{\epsilon}-\Delta n^{\epsilon}=-\nabla\cdot(n^{\epsilon}\nabla c^{\epsilon}), &{\rm in}\ \mathbb{R}^{d}\times (0, \infty),\\[6pt] \frac{1}{\epsilon}c_t^{\epsilon}-\Delta c^{\epsilon}= n^{\epsilon}, &{\rm in}\ \mathbb{R}^{d}\times (0, \infty),\\[6pt] (u^{\epsilon}, n^{\epsilon}, c^{\epsilon})|_{t=0}= (u_{0}, n_{0}, c_{0}), &{\rm in}\ \mathbb{R}^{d},\\[6pt] \end{array} \right. \end{eqnarray*} where $d\geq2$. It is known that for each $\epsilon>0$ and all sufficiently small initial data $(u_{0},n_{0},c_{0})$ belongs to certain Fourier space, the problem possesses a unique global solution $(u^{\epsilon},n^{\epsilon},c^{\epsilon})$ in Fourier space. The present work asserts that these solutions stabilize to $(u^{\infty},n^{\infty},c^{\infty})$ as $\epsilon^{-1}\rightarrow 0$. Moreover, we show that $c^{\epsilon}(t)$ has the initial layer as $\epsilon^{-1}\rightarrow 0$. As one expects its limit behavior maybe give a new viewlook to understand the system.
  • Zhi-qing WANG, Xiang-yu FANG, Zu-jun OU
    Acta Mathematicae Applicatae Sinica(English Series). 2024, 40(4): 1025-1044. https://doi.org/10.1007/s10255-024-1135-2
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    Follow-up experimental designs are widely applied to explore the relationship between factors and responses step by step in various fields such as science and engineering. When some additional resources or information become available after the initial design of experiment is carried out, some additional runs and/or factors may be added in the follow-up stage. In this paper, the issue of the uniform row augmented designs and column augmented designs with mixed two-, three- and four-level is investigated. The uniformity of augmented designs is discussed under the wrap-around $L_2$-discrepancy. Some lower bounds of wrap-around $L_2$-discrepancy for the augmented designs are obtained, which can be used to assess uniformity of augmented design. Numerical results show that augmented designs have high efficiency, which have low discrepancy and close to the proposed lower bounds.
  • Shu-fen ZHAO
    Acta Mathematicae Applicatae Sinica(English Series). 2024, 40(4): 1045-1059. https://doi.org/10.1007/s10255-024-1078-7
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    In this paper, a stochastic Lotka-Volterra system with infinite delay is considered. A new concept of extinction, namely, the almost sure $\beta$-extinction is proposed and sufficient conditions for the solution to be almost sure $\beta$-extinction are obtained. When the positive equilibrium exists and the intensities of the noises are small enough, any solution of the system is attracted by the positive equilibrium. Finally, numerical simulations are carried out to support the results.
  • Rui-lian DU, Zhi-zhong SUN
    Acta Mathematicae Applicatae Sinica(English Series). 2024, 40(4): 1060-1077. https://doi.org/10.1007/s10255-024-1054-2
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    In this work, a novel time-stepping $\overline{L1}$ formula is developed for a hidden-memory variable-order Caputo's fractional derivative with an initial singularity. This formula can obtain second-order accuracy and an error estimate is analyzed strictly. As an application, a fully discrete difference scheme is established for the initial-boundary value problem of a hidden-memory variable-order time fractional diffusion model. Numerical experiments are provided to support our theoretical results.
  • Yi-wen TAO, Sue Ann CAMPBELL, Jing-li REN
    Acta Mathematicae Applicatae Sinica(English Series). 2024, 40(4): 1078-1097. https://doi.org/10.1007/s10255-024-1077-8
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    The Ananthakrishna model, seeking to explain the Portevin-Le Chatelier effect, is studied with or without non-synchronous perturbations. For the unperturbed model, Bogdanov-Takens bifurcation and zero-Hopf bifurcation are detected. For the perturbed model, rich dynamical behaviors are given by researching the Poincaré map, including solutions of different periods, quasi-periodic solutions, chaotic solutions, and bistability. Moreover, an augmented temperature-dependent perturbation amplitude induces a transition from non-serrated to serrated flow on the stress-time curve. Notably, on the stress-strain curve, the phenomenon of repeated yielding diminishes with an increase in the value of a temperature-dependent parameter, while it persists with an increase in the value of a temperature-independent parameter. Sensitivity analysis sheds light on the factors exerting the most significant influence on dislocation density.
  • Yian XU
    Acta Mathematicae Applicatae Sinica(English Series). 2024, 40(4): 1098-1110. https://doi.org/10.1007/s10255-024-1029-3
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    Let $G$ be a graph. We use $\chi(G)$ and $\omega(G)$ to denote the chromatic number and clique number of $G$ respectively. A $P_5$ is a path on 5 vertices, and an HVN is a $K_4$ together with one more vertex which is adjacent to exactly two vertices of $K_4$. Combining with some known result, in this paper we show that if $G$ is $(P_5, \textit{HVN})$-free, then $\chi(G)\leq \max\{\min\{16, \omega(G)+3\}, \omega(G)+1\}$. This upper bound is almost sharp.
  • Liang-qiang ZHOU, Fang-qi CHEN
    Acta Mathematicae Applicatae Sinica(English Series). 2024, 40(4): 1111-1126. https://doi.org/10.1007/s10255-024-1038-2
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    Chaotic dynamics of the van der Pol-Duffing oscillator subjected to periodic external and parametric excitations with delayed feedbacks are investigated both analytically and numerically in this manuscript. With the Melnikov method, the critical value of chaos arising from homoclinic or heteroclinic intersections is derived analytically. The feature of the critical curves separating chaotic and non-chaotic regions on the excitation frequency and the time delay is investigated analytically in detail. The monotonicity of the critical value to the excitation frequency and time delay is obtained rigorously. It is presented that there may exist a special frequency for this system. With this frequency, chaos in the sense of Melnikov may not occur for any excitation amplitudes. There also exists a uncontrollable time delay with which chaos always occurs for this system. Numerical simulations are carried out to verify the chaos threshold obtained by the analytical method.
  • Xue-jun SHI, Qun FENG, Long JIANG
    Acta Mathematicae Applicatae Sinica(English Series). 2024, 40(4): 1127-1146. https://doi.org/10.1007/s10255-024-1136-1
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    In this paper, we study mulit-dimensional oblique reflected backward stochastic differential equations (RBSDEs) in a more general framework over finite or infinite time horizon, corresponding to the pricing problem for a type of real option. We prove that the equation can be solved uniquely in $L^p(1 < p \leq 2)$-space, when the generators are uniformly continuous but each component taking values independently. Furthermore, if the generator of this equation fulfills the infinite time version of Lipschitzian continuity, we can also conclude that the solution to the oblique RBSDE exists and is unique, despite the fact that the values of some generator components may affect one another.
  • Hai-qin ZHAO
    Acta Mathematicae Applicatae Sinica(English Series). 2024, 40(4): 1147-1154. https://doi.org/10.1007/s10255-024-1052-4
    Abstract ( ) Download PDF ( )   Knowledge map   Save
    In this paper, we study a class of time-periodic population model with dispersal. It is well known that the existence of the periodic traveling fronts has been established. However, the uniqueness and stability of such fronts remain unsolved. In this paper, we first prove the uniqueness of non-critical periodic traveling fronts. Then, we show that all non-critical periodic traveling fronts are exponentially asymptotically stable.