Showing 1–45 of 45 results for author: Du, R

A Third-order Implicit-Explicit Runge-Kutta Method for Landau-Lifshitz Equation with Arbitrary Dam** Parameters

Authors: Yan Gui, Rui Du, Cheng Wang

Abstract: A third-order accurate implicit-explicit Runge-Kutta time marching numerical scheme is proposed and implemented for the Landau-Lifshitz-Gilbert equation, which models magnetization dynamics in ferromagnetic materials, with arbitrary dam** parameters. This method has three remarkable advantages:~(1) only a linear system with constant coefficients needs to be solved at each Runge-Kutta stage, whic… ▽ More A third-order accurate implicit-explicit Runge-Kutta time marching numerical scheme is proposed and implemented for the Landau-Lifshitz-Gilbert equation, which models magnetization dynamics in ferromagnetic materials, with arbitrary dam** parameters. This method has three remarkable advantages:~(1) only a linear system with constant coefficients needs to be solved at each Runge-Kutta stage, which greatly reduces the time cost and improves the efficiency; (2) the optimal rate convergence analysis does not impose any restriction on the magnitude of dam** parameter, which is consistent with the third-order accuracy in time for 1-D and 3-D numerical examples; (3) its unconditional stability with respect to the dam** parameter has been verified by a detailed numerical study. In comparison with many existing methods, the proposed method indicates a better performance on accuracy and efficiency, and thus provides a better option for micromagnetics simulations. △ Less

Submitted 7 July, 2024; originally announced July 2024.

Comments: This paper has been accepted by Numerical Mathematics: Theory, Methods and Applications and is prepared for publication

A simple and fast finite difference method for the integral fractional Laplacian of variable order

Authors: Zhaopeng Hao, Siyuan Shi, Zhongqiang Zhang, Rui Du

Abstract: For the fractional Laplacian of variable order, an efficient and accurate numerical evaluation in multi-dimension is a challenge for the nature of a singular integral. We propose a simple and easy-to-implement finite difference scheme for the multi-dimensional variable-order fractional Laplacian defined by a hypersingular integral. We prove that the scheme is of second-order convergence and apply… ▽ More For the fractional Laplacian of variable order, an efficient and accurate numerical evaluation in multi-dimension is a challenge for the nature of a singular integral. We propose a simple and easy-to-implement finite difference scheme for the multi-dimensional variable-order fractional Laplacian defined by a hypersingular integral. We prove that the scheme is of second-order convergence and apply the developed finite difference scheme to solve various equations with the variable-order fractional Laplacian. We present a fast solver with quasi-linear complexity of the scheme for computing variable-order fractional Laplacian and corresponding PDEs. Several numerical examples demonstrate the accuracy and efficiency of our algorithm and verify our theory. △ Less

Submitted 15 June, 2024; originally announced June 2024.

Comments: Submit to Siam Journal on Scientific Computing on Jan. 2024

MSC Class: 65N06; 65N12; 65T50; 35R11; 26A33

On uniform and nonhomogeneous vector bundles over Grassmannians

Authors: Rong Du, Yiting Wang, Dazhi Zhang

Abstract: We demonstrate the existence of a uniform and nonhomogeneous vector bundle $E$ of rank $(n-d)(m+1)-1$ over Grassmannian $\mathbb{G}(d,n)$, where $m>d$ and $1\le d \le n-d-1$ with a $\mathbb{P}$-homogeneity degree $h(E)=d$. Particularly, we establish an upper bound of $3(n-d)-2$ for the uniform-homogeneous shreshold of $\mathbb{G}(d,n)$. Additionally, we construct indecomposable uniform vector bund… ▽ More We demonstrate the existence of a uniform and nonhomogeneous vector bundle $E$ of rank $(n-d)(m+1)-1$ over Grassmannian $\mathbb{G}(d,n)$, where $m>d$ and $1\le d \le n-d-1$ with a $\mathbb{P}$-homogeneity degree $h(E)=d$. Particularly, we establish an upper bound of $3(n-d)-2$ for the uniform-homogeneous shreshold of $\mathbb{G}(d,n)$. Additionally, we construct indecomposable uniform vector bundles of rank $(d+2)(n-d)+d-2+\sum\limits_{i=0}^p\tbinom{d-1+p-i}{p-i}(1+i)-\tbinom{p+d}{p}$ that are nonhomogeneous over $\mathbb{G}(d,n)$. △ Less

Submitted 3 April, 2024; originally announced April 2024.

A Refinement of a Theorem of Diaconis-Evans-Graham

Authors: Lora R. Du, Kathy Q. Ji

Abstract: The note is dedicated to refining a theorem by Diaconis, Evans, and Graham concerning successions and fixed points of permutations. This refinement specifically addresses non-adjacent successions, predecessors, excedances, and drops of permutations. The note is dedicated to refining a theorem by Diaconis, Evans, and Graham concerning successions and fixed points of permutations. This refinement specifically addresses non-adjacent successions, predecessors, excedances, and drops of permutations. △ Less

Submitted 31 March, 2024; originally announced April 2024.

Comments: 6 pages

Uniform (d+1)-bundle over the Grassmannian G(d,n)

Authors: Rong Du, Yuhang Zhou

Abstract: This paper is dedicated to the classification of uniform vector bundles of rank $d+1$ over the Grassmannian $G(d,n)$ ($d\le n-d$) over an algebraically closed field in characteristic $0$. Specifically, we show that all uniform vector bundles with rank $d+1$ over $G(d,n)$ are homogeneous. This paper is dedicated to the classification of uniform vector bundles of rank $d+1$ over the Grassmannian $G(d,n)$ ($d\le n-d$) over an algebraically closed field in characteristic $0$. Specifically, we show that all uniform vector bundles with rank $d+1$ over $G(d,n)$ are homogeneous. △ Less

Submitted 17 March, 2024; originally announced March 2024.

Pinched theorem and the reverse Yau's inequalities for compact Kähler-Einstein manifolds

Authors: Rong Du

Abstract: For a compact Kähler-Einstein manifold $M$ of dimension $n\ge 2$, we explicitly write the expression $-c_1^n(M)+\frac{2(n+1)}{n}c_2(M)c_1^{n-2}(M)$ in the form of certain integral on the holomorphic sectional curvature and its average at a fixed point in $M$ using the invariant theory. As applications, we get a reverse Yau's inequality and improve the classical $\frac{1}{4}$-pinched theorem and ne… ▽ More For a compact Kähler-Einstein manifold $M$ of dimension $n\ge 2$, we explicitly write the expression $-c_1^n(M)+\frac{2(n+1)}{n}c_2(M)c_1^{n-2}(M)$ in the form of certain integral on the holomorphic sectional curvature and its average at a fixed point in $M$ using the invariant theory. As applications, we get a reverse Yau's inequality and improve the classical $\frac{1}{4}$-pinched theorem and negative $\frac{1}{4}$-pinched theorem for compact Kähler-Einstein manifolds to smaller pinching constant depending only on the dimension and the first Chern class of $M$. If $M$ is not with positive or negative holomorphic sectional curvature, then there exists a point $x\in M$ such that the average of the holomorphic sectional curvature at $x$ vanishes. In particular, we characterise the $2$-dimensional complex torus by certain curvature condition. Moreover, we confirm Yau's conjecture for positive holomorphic sectional curvature and Siu-Yang's conjecture for negative holomorphic sectional curvature even for higher dimensions if the absolute value of the holomorphic sectional curvature is small enough. Finally, using the reverse Yau's inequality, we can judge if a projective manifold doesn't carry any hermitian metric with negative holomorphic sectional curvature. △ Less

Submitted 14 March, 2024; originally announced March 2024.

$H^1$-analysis of H3N3-2\textbf{$_σ$}-based difference method for fractional hyperbolic equations

Authors: Rui-lian Du, Changpin Li, Zhi-zhong Sun

Abstract: A novel H3N3-2$_σ$ interpolation approximation for the Caputo fractional derivative of order $α\in(1,2)$ is derived in this paper, which improves the popular L2C formula with (3-$α$)-order accuracy. By an interpolation technique, the second-order accuracy of the truncation error is skillfully estimated. Based on this formula, a finite difference scheme with second-order accuracy both in time and i… ▽ More A novel H3N3-2$_σ$ interpolation approximation for the Caputo fractional derivative of order $α\in(1,2)$ is derived in this paper, which improves the popular L2C formula with (3-$α$)-order accuracy. By an interpolation technique, the second-order accuracy of the truncation error is skillfully estimated. Based on this formula, a finite difference scheme with second-order accuracy both in time and in space is constructed for the initial-boundary value problem of the time fractional hyperbolic equation. It is well known that the coefficients' properties of discrete fractional derivatives are fundamental to the numerical stability of time fractional differential models. We prove the related properties of the coefficients of the H3N3-2$_σ$ approximate formula. With these properties, the numerical stability and convergence of the difference scheme are derived immediately by the energy method in the sense of $H^1$-norm. Considering the weak regularity of the solution to the problem at the starting time, a finite difference scheme on the graded meshes based on H3N3-2$_σ$ formula is also presented. The numerical simulations are performed to show the effectiveness of the derived finite difference schemes, in which the fast algorithms are employed to speed up the numerical computation. △ Less

Submitted 30 January, 2024; v1 submitted 20 December, 2023; originally announced December 2023.

Error Analysis of Mixed Residual Methods for Elliptic Equations

Authors: Kai Gu, Peng Fang, Zhiwei Sun, Rui du

Abstract: We present a rigorous theoretical analysis of the convergence rate of the deep mixed residual method (MIM) when applied to a linear elliptic equation with various types of boundary conditions. The MIM method has been proposed as a more effective numerical approximation method compared to the deep Galerkin method (DGM) and deep Ritz method (DRM) in various cases. Our analysis shows that MIM outperf… ▽ More We present a rigorous theoretical analysis of the convergence rate of the deep mixed residual method (MIM) when applied to a linear elliptic equation with various types of boundary conditions. The MIM method has been proposed as a more effective numerical approximation method compared to the deep Galerkin method (DGM) and deep Ritz method (DRM) in various cases. Our analysis shows that MIM outperforms DRM and deep Galerkin method for weak solution (DGMW) in the Dirichlet case due to its ability to enforce the boundary condition. However, for the Neumann and Robin cases, MIM demonstrates similar performance to the other methods. Our results provides valuable insights into the strengths of MIM and its comparative performance in solving linear elliptic equations with different boundary conditions. △ Less

Submitted 10 May, 2023; originally announced May 2023.

Comments: 18 pages

MSC Class: 65N12; 65N15

Micromagnetics simulations and phase transitions of ferromagnetics with Dzyaloshinskii-Moriya interaction

Authors: Panchi Li, Shuting Gu, ** Lan, **grun Chen, Weiqing Ren, Rui Du

Abstract: Magnetic skyrmions widely exist in a diverse range of magnetic systems, including chiral magnets with a non-centrosymmetric structure characterized by Dzyaloshinkii-Moriya interaction~(DMI). In this study, we propose a generalized semi-implicit backward differentiation formula projection method, enabling the simulations of the Landau-Lifshitz~(LL) equation in chiral magnets in a typical time step-… ▽ More Magnetic skyrmions widely exist in a diverse range of magnetic systems, including chiral magnets with a non-centrosymmetric structure characterized by Dzyaloshinkii-Moriya interaction~(DMI). In this study, we propose a generalized semi-implicit backward differentiation formula projection method, enabling the simulations of the Landau-Lifshitz~(LL) equation in chiral magnets in a typical time step-size of $1$ ps, markedly exceeding the limit subjected by existing numerical methods of typically $0.1$ ps. Using micromagnetics simulations, we show that the LL equation with DMI reveals an intriguing dynamic instability in magnetization configurations as the dam** varies. Both the isolated skyrmionium and skyrmionium clusters can be consequently produced using a simple initialization strategy and a specific dam** parameter. Assisted by the string method, the transition path between skyrmion and skyrmionium, along with the escape of a skyrmion from the skyrmion clusters, are then thoroughly examined. The numerical methods developed in this work not only provide a reliable paradigm to investigate the skyrmion-based textures and their transition paths, but also facilitate the understandings for magnetization dynamics in complex magnetic systems. △ Less

Submitted 12 April, 2023; originally announced April 2023.

Homogeneous ACM bundles on isotropic Grassmannians

Authors: Rong Du, Xinyi Fang, Peng Ren

Abstract: In this paper, we characterize homogeneous arithmetically Cohen-Macaulay (ACM) bundles over isotropic Grassmannians of types $B$, $C$ and $D$ in term of step matrices. We show that there are only finitely many irreducible homogeneous ACM bundles by twisting line bundles over these isotropic Grassmannians. So we classify all homogeneous ACM bundles over isotropic Grassmannians combining the results… ▽ More In this paper, we characterize homogeneous arithmetically Cohen-Macaulay (ACM) bundles over isotropic Grassmannians of types $B$, $C$ and $D$ in term of step matrices. We show that there are only finitely many irreducible homogeneous ACM bundles by twisting line bundles over these isotropic Grassmannians. So we classify all homogeneous ACM bundles over isotropic Grassmannians combining the results on usual Grassmannians by Costa and Mir{ó}-Roig. Moreover, if the irreducible initialized homogeneous ACM bundles correspond to some special highest weights, then they can be characterized by succinct forms. △ Less

Submitted 18 June, 2022; originally announced June 2022.

Comments: 26 pages

A second-order semi-implicit method for the inertial Landau-Lifshitz-Gilbert equation

Authors: Panchi Li, Lei Yang, ** Lan, Rui Du, **grun Chen

Abstract: Recent theoretical and experimental advances show that the inertia of magnetization emerges at sub-picoseconds and contributes to the ultrafast magnetization dynamics which cannot be captured intrinsically by the LLG equation. Therefore, as a generalization, the inertial Landau-Lifshitz-Gilbert (iLLG) equation is proposed to model the ultrafast magnetization dynamics. Mathematically, the LLG equat… ▽ More Recent theoretical and experimental advances show that the inertia of magnetization emerges at sub-picoseconds and contributes to the ultrafast magnetization dynamics which cannot be captured intrinsically by the LLG equation. Therefore, as a generalization, the inertial Landau-Lifshitz-Gilbert (iLLG) equation is proposed to model the ultrafast magnetization dynamics. Mathematically, the LLG equation is a nonlinear system of parabolic type with (possible) degeneracy. However, the iLLG equation is a nonlinear system of mixed hyperbolic-parabolic type with degeneracy, and exhibits more complicated structures. It behaves like a hyperbolic system at the sub-picosecond scale while behaves like a parabolic system at larger timescales. Such hybrid behaviors impose additional difficulties on designing numerical methods for the iLLG equation. In this work, we propose a second-order semi-implicit scheme to solve the iLLG equation. The second temporal derivative of magnetization is approximated by the standard centered difference scheme and the first derivative is approximated by the midpoint scheme involving three time steps. The nonlinear terms are treated semi-implicitly using one-sided interpolation with the second-order accuracy. At each step, the unconditionally unique solvability of the unsymmetric linear system of equations in the proposed method is proved with a detailed discussion on the condition number. Numerically, the second-order accuracy in both time and space is verified. Using the proposed method, the inertial effect of ferromagnetics is observed in micromagnetics simulations at small timescales, in consistency with the hyperbolic property of the model at sub-picoseconds. For long time simulations, the results of the iLLG model are in nice agreements with those of the LLG model, in consistency with the parabolic feature of the iLLG model at larger timescales. △ Less

Submitted 6 August, 2021; originally announced August 2021.

Roughness Index for Loss Landscapes of Neural Network Models of Partial Differential Equations

Authors: Keke Wu, Xiangru Jian, Rui Du, **grun Chen, Xiang Zhou

Abstract: Loss landscape is a useful tool to characterize and compare neural network models. The main challenge for analysis of loss landscape for the deep neural networks is that they are generally highly non-convex in very high dimensional space. In this paper, we develop "the roughness"concept for understanding such landscapes in high dimensions and apply this technique to study two neural network models… ▽ More Loss landscape is a useful tool to characterize and compare neural network models. The main challenge for analysis of loss landscape for the deep neural networks is that they are generally highly non-convex in very high dimensional space. In this paper, we develop "the roughness"concept for understanding such landscapes in high dimensions and apply this technique to study two neural network models arising from solving differential equations. Our main innovation is the proposal of a well-defined and easy-to-compute roughness index (RI) which is based on the mean and variance of the (normalized) total variation for one-dimensional functions projected on randomly sampled directions. A large RI at the local minimizer hints an oscillatory landscape profile and indicates a severe challenge for the first-order optimization method. Particularly, we observe the increasing-then-decreasing pattern for RI along the gradient descent path in most models. We apply our method to two types of loss functions used to solve partial differential equations (PDEs) when the solution of PDE is parametrized by neural networks. Our empirical results on these PDE problems reveal important and consistent observations that the landscapes from the deep Galerkin method around its local minimizers are less rough than the deep Ritz method. △ Less

Submitted 29 August, 2023; v1 submitted 19 March, 2021; originally announced March 2021.

A Gauss-Seidel projection method with the minimal number of updates for stray field in micromagnetic simulations

Authors: Panchi Li, Zetao Ma, Rui Du, **grun Chen

Abstract: Magnetization dynamics in magnetic materials is often modeled by the Landau-Lifshitz equation, which is solved numerically in general. In micromagnetic simulations, the computational cost relies heavily on the time-marching scheme and the evaluation of stray field. Explicit marching schemes are efficient but suffer from severe stability constraints, while nonlinear systems of equations have to be… ▽ More Magnetization dynamics in magnetic materials is often modeled by the Landau-Lifshitz equation, which is solved numerically in general. In micromagnetic simulations, the computational cost relies heavily on the time-marching scheme and the evaluation of stray field. Explicit marching schemes are efficient but suffer from severe stability constraints, while nonlinear systems of equations have to be solved in implicit schemes though they are unconditionally stable. A better compromise between stability and efficiency is the semi-implicit scheme, such as the Gauss-Seidel projection method (GSPM) and the second-order backward differentiation formula scheme (BDF2). At each marching step, GSPM solves several linear systems of equations with constant coefficients and updates the stray field several times, while BDF2 updates the stray field only once but solves a larger linear system of equations with variable coefficients and a nonsymmetric structure. In this work, we propose a new method, dubbed as GSPM-BDF2, by combing the advantages of both GSPM and BDF2. Like GSPM, this method is first-order accurate in time and second-order accurate in space, and is unconditionally stable with respect to the dam** parameter. However, GSPM-BDF2 updates the stray field only once per time step, leading to an efficiency improvement of about $60\%$ than the state-of-the-art GSPM for micromagnetic simulations. For Standard Problem \#4 and \#5 from National Institute of Standards and Technology, GSPM-BDF2 reduces the computational time over the popular software OOMMF by $82\%$ and $96\%$, respectively. Thus, the proposed method provides a more efficient choice for micromagnetic simulations. △ Less

Submitted 21 January, 2021; originally announced January 2021.

Journal ref: Discrete and Continuous Dynamical Systems - Series B 27(2022) 6401-6416

Enforcing exact boundary and initial conditions in the deep mixed residual method

Authors: Liyao Lyu, Keke Wu, Rui Du, **grun Chen

Abstract: In theory, boundary and initial conditions are important for the wellposedness of partial differential equations (PDEs). Numerically, these conditions can be enforced exactly in classical numerical methods, such as finite difference method and finite element method. Recent years have witnessed growing interests in solving PDEs by deep neural networks (DNNs), especially in the high-dimensional case… ▽ More In theory, boundary and initial conditions are important for the wellposedness of partial differential equations (PDEs). Numerically, these conditions can be enforced exactly in classical numerical methods, such as finite difference method and finite element method. Recent years have witnessed growing interests in solving PDEs by deep neural networks (DNNs), especially in the high-dimensional case. However, in the generic situation, a careful literature review shows that boundary conditions cannot be enforced exactly for DNNs, which inevitably leads to a modeling error. In this work, based on the recently developed deep mixed residual method (MIM), we demonstrate how to make DNNs satisfy boundary and initial conditions automatically in a systematic manner. As a consequence, the loss function in MIM is free of the penalty term and does not have any modeling error. Using numerous examples, including Dirichlet, Neumann, mixed, Robin, and periodic boundary conditions for elliptic equations, and initial conditions for parabolic and hyperbolic equations, we show that enforcing exact boundary and initial conditions not only provides a better approximate solution but also facilitates the training process. △ Less

Submitted 4 August, 2020; originally announced August 2020.

Vector Bundles on Rational Homogeneous Spaces

Authors: Rong Du, Xinyi Fang, Yun Gao

Abstract: We consider a uniform $r$-bundle $E$ on a complex rational homogeneous space $X$ %over complex number field $\mathbb{C}$ and show that if $E$ is poly-uniform with respect to all the special families of lines and the rank $r$ is less than or equal to some number that depends only on $X$, then $E$ is either a direct sum of line bundles or $δ_i$-unstable for some $δ_i$. So we partially answer a pro… ▽ More We consider a uniform $r$-bundle $E$ on a complex rational homogeneous space $X$ %over complex number field $\mathbb{C}$ and show that if $E$ is poly-uniform with respect to all the special families of lines and the rank $r$ is less than or equal to some number that depends only on $X$, then $E$ is either a direct sum of line bundles or $δ_i$-unstable for some $δ_i$. So we partially answer a problem posted by Muñoz-Occhetta-Solá Conde. In particular, if $X$ is a generalized Grassmannian $\mathcal{G}$ and the rank $r$ is less than or equal to some number that depends only on $X$, then $E$ splits as a direct sum of line bundles. We improve the main theorem of Muñoz-Occhetta-Solá Conde when $X$ is a generalized Grassmannian by considering the Chow rings. Moreover, by calculating the relative tangent bundles between two rational homogeneous spaces, we give explicit bounds for the generalized Grauert-Mülich-Barth theorem on rational homogeneous spaces. △ Less

Submitted 14 July, 2020; originally announced July 2020.

A comparison study of deep Galerkin method and deep Ritz method for elliptic problems with different boundary conditions

Authors: **grun Chen, Rui Du, Keke Wu

Abstract: Recent years have witnessed growing interests in solving partial differential equations by deep neural networks, especially in the high-dimensional case. Unlike classical numerical methods, such as finite difference method and finite element method, the enforcement of boundary conditions in deep neural networks is highly nontrivial. One general strategy is to use the penalty method. In the work, w… ▽ More Recent years have witnessed growing interests in solving partial differential equations by deep neural networks, especially in the high-dimensional case. Unlike classical numerical methods, such as finite difference method and finite element method, the enforcement of boundary conditions in deep neural networks is highly nontrivial. One general strategy is to use the penalty method. In the work, we conduct a comparison study for elliptic problems with four different boundary conditions, i.e., Dirichlet, Neumann, Robin, and periodic boundary conditions, using two representative methods: deep Galerkin method and deep Ritz method. In the former, the PDE residual is minimized in the least-squares sense while the corresponding variational problem is minimized in the latter. Therefore, it is reasonably expected that deep Galerkin method works better for smooth solutions while deep Ritz method works better for low-regularity solutions. However, by a number of examples, we observe that deep Ritz method can outperform deep Galerkin method with a clear dependence of dimensionality even for smooth solutions and deep Galerkin method can also outperform deep Ritz method for low-regularity solutions. Besides, in some cases, when the boundary condition can be implemented in an exact manner, we find that such a strategy not only provides a better approximate solution but also facilitates the training process. △ Less

Submitted 27 July, 2020; v1 submitted 9 May, 2020; originally announced May 2020.

Comments: Accepted by Communications in Mathematical Research

Quasi-Monte Carlo sampling for machine-learning partial differential equations

Authors: **grun Chen, Rui Du, Panchi Li, Liyao Lyu

Abstract: Solving partial differential equations in high dimensions by deep neural network has brought significant attentions in recent years. In many scenarios, the loss function is defined as an integral over a high-dimensional domain. Monte-Carlo method, together with the deep neural network, is used to overcome the curse of dimensionality, while classical methods fail. Often, a deep neural network outpe… ▽ More Solving partial differential equations in high dimensions by deep neural network has brought significant attentions in recent years. In many scenarios, the loss function is defined as an integral over a high-dimensional domain. Monte-Carlo method, together with the deep neural network, is used to overcome the curse of dimensionality, while classical methods fail. Often, a deep neural network outperforms classical numerical methods in terms of both accuracy and efficiency. In this paper, we propose to use quasi-Monte Carlo sampling, instead of Monte-Carlo method to approximate the loss function. To demonstrate the idea, we conduct numerical experiments in the framework of deep Ritz method proposed by Weinan E and Bing Yu. For the same accuracy requirement, it is observed that quasi-Monte Carlo sampling reduces the size of training data set by more than two orders of magnitude compared to that of MC method. Under some assumptions, we prove that quasi-Monte Carlo sampling together with the deep neural network generates a convergent series with rate proportional to the approximation accuracy of quasi-Monte Carlo method for numerical integration. Numerically the fitted convergence rate is a bit smaller, but the proposed approach always outperforms Monte Carlo method. It is worth mentioning that the convergence analysis is generic whenever a loss function is approximated by the quasi-Monte Carlo method, although observations here are based on deep Ritz method. △ Less

Submitted 4 November, 2019; originally announced November 2019.

Two improved Gauss-Seidel projection methods for Landau-Lifshitz-Gilbert equation

Authors: Panchi Li, Changjian Xie, Rui Du, **grun Chen, Xiao-** Wang

Abstract: In this paper, we present two improved Gauss-Seidel projection methods with unconditional stability. The first method updates the gyromagnetic term and the dam** term simultaneously and follows by a projection step. The second method introduces two sets of approximate solutions, where we update the gyromagnetic term and the dam** term simultaneously for one set of approximate solutions and app… ▽ More In this paper, we present two improved Gauss-Seidel projection methods with unconditional stability. The first method updates the gyromagnetic term and the dam** term simultaneously and follows by a projection step. The second method introduces two sets of approximate solutions, where we update the gyromagnetic term and the dam** term simultaneously for one set of approximate solutions and apply the projection step to the other set of approximate solutions in an alternating manner. Compared to the original Gauss-Seidel projection method which has to solve heat equations $7$ times at each time step, the improved methods solve heat equations $5$ times and $3$ times, respectively. First-order accuracy in time and second-order accuracy in space are verified by examples in both 1D and 3D. In addition, unconditional stability with respect to both the grid size and the dam** parameter is confirmed numerically. Application of both methods to a realistic material is also presented with hysteresis loops and magnetization profiles. Compared with the original method, the recorded running times suggest that savings of both methods are about $2/7$ and $4/7$ for the same accuracy requirement, respectively. △ Less

Submitted 27 July, 2019; originally announced July 2019.

MSC Class: 35Q99 65Z05 65M06

Vector Bundles on Flag varieties

Authors: Rong Du, Xinyi Fang, Yun Gao

Abstract: We study vector bundles on flag varieties over an algebraically closed field $k$. In the first part, we suppose $G=G_k(d,n)$ $(2\le d\leq n-d)$ to be the Grassmannian manifold parameterizing linear subspaces of dimension $d$ in $k^n$, where $k$ is an algebraically closed field of characteristic $p>0$. Let $E$ be a uniform vector bundle over $G$ of rank $r\le d$. We show that $E$ is either a direct… ▽ More We study vector bundles on flag varieties over an algebraically closed field $k$. In the first part, we suppose $G=G_k(d,n)$ $(2\le d\leq n-d)$ to be the Grassmannian manifold parameterizing linear subspaces of dimension $d$ in $k^n$, where $k$ is an algebraically closed field of characteristic $p>0$. Let $E$ be a uniform vector bundle over $G$ of rank $r\le d$. We show that $E$ is either a direct sum of line bundles or a twist of a pull back of the universal bundle $H_d$ or its dual $H_d^{\vee}$ by a series of absolute Frobenius maps. In the second part, splitting properties of vector bundles on general flag varieties $F(d_1,\cdots,d_s)$ in characteristic zero are considered. We prove a structure theorem for bundles over flag varieties which are uniform with respect to the $i$-th component of the manifold of lines in $F(d_1,\cdots,d_s)$. Furthermore, we generalize the Grauert-M$\ddot{\text{u}}$lich-Barth theorem to flag varieties. As a corollary, we show that any strongly uniform $i$-semistable $(1\le i\le n-1)$ bundle over the complete flag variety splits as a direct sum of special line bundles. △ Less

Submitted 4 March, 2020; v1 submitted 24 May, 2019; originally announced May 2019.

Comments: Comments are welcome

Normal bundles on the exceptional sets of simple small resolutions

Authors: Rong Du, Xinyi Fang

Abstract: We study the normal bundles of the exceptional sets of isolated simple small singularities in the higher dimension when the Picard group of the exceptional set is $\mathbb{Z}$ and the normal bundle of it has some good filtration. In particular, for the exceptional set is a projective space with the split normal bundle, we generalized Nakayama and Ando's results to higher dimension. Moreover, we al… ▽ More We study the normal bundles of the exceptional sets of isolated simple small singularities in the higher dimension when the Picard group of the exceptional set is $\mathbb{Z}$ and the normal bundle of it has some good filtration. In particular, for the exceptional set is a projective space with the split normal bundle, we generalized Nakayama and Ando's results to higher dimension. Moreover, we also generalize Laufer's results of rationality and embedding dimension to higher dimension. △ Less

Submitted 28 December, 2018; originally announced December 2018.

Modular quotient varieties and singularities by the cyclic group of order $2p$

Authors: Yin Chen, Rong Du, Yun Gao

Abstract: We classify all $n$-dimensional reduced Cohen-Macaulay modular quotient variety $\mathbb{A}_\mathbb{F}^n/C_{2p}$ and study their singularities, where $p$ is a prime number and $C_{2p}$ denotes the cyclic group of order $2p$. In particular, we present an example that demonstrates that the problem proposed by Yasuda \cite[Problem 6.6]{Yas2015} has a negative answer if the condition that "$G$ is a sm… ▽ More We classify all $n$-dimensional reduced Cohen-Macaulay modular quotient variety $\mathbb{A}_\mathbb{F}^n/C_{2p}$ and study their singularities, where $p$ is a prime number and $C_{2p}$ denotes the cyclic group of order $2p$. In particular, we present an example that demonstrates that the problem proposed by Yasuda \cite[Problem 6.6]{Yas2015} has a negative answer if the condition that "$G$ is a small subgroup" was dropped. △ Less

Submitted 28 December, 2018; originally announced December 2018.

Journal ref: Comm. Algebra 48 (2020) 5490--5500

Enumeration on row-increasing tableaux of shape $2 \times n$

Authors: Rosena R. X. Du, Xiaojie Fan, Yue Zhao

Abstract: Recently O. Pechenik studied the cyclic sieving of increasing tableaux of shape $2\times n$, and obtained a polynomial on the major index of these tableaux, which is a $q$-analogue of refined small Schröder numbers. We define row-increasing tableaux and study the major index and amajor index of row-increasing tableaux of shape $2 \times n$. The resulting polynomials are both $q$-analogues of refin… ▽ More Recently O. Pechenik studied the cyclic sieving of increasing tableaux of shape $2\times n$, and obtained a polynomial on the major index of these tableaux, which is a $q$-analogue of refined small Schröder numbers. We define row-increasing tableaux and study the major index and amajor index of row-increasing tableaux of shape $2 \times n$. The resulting polynomials are both $q$-analogues of refined large Schröder numbers. For both results we give bijective proofs. △ Less

Submitted 17 March, 2019; v1 submitted 5 March, 2018; originally announced March 2018.

Comments: We corrected some typos and modified the proof of Theorem 2.7

MSC Class: 05A15; 05E10

Journal ref: The Electronic Journal of Combinatorics, 26(1) (2019), #P1.48

Smooth solution to higher dimensional complex Plateau problem

Authors: Rong Du

Abstract: Let $X$ be a compact connected strongly pseudoconvex $CR$ manifold of real dimension $2n-1$ in $\mathbb{C}^{N}$. For $n\ge 3$, Yau solved the complex Plateau problem of hypersurface type by checking a bunch of Kohn-Rossi cohomology groups in 1981. In this paper, we generalize Yau's conjecture on some numerical invariant of every isolated surface singularity defined by Yau and the author to any dim… ▽ More Let $X$ be a compact connected strongly pseudoconvex $CR$ manifold of real dimension $2n-1$ in $\mathbb{C}^{N}$. For $n\ge 3$, Yau solved the complex Plateau problem of hypersurface type by checking a bunch of Kohn-Rossi cohomology groups in 1981. In this paper, we generalize Yau's conjecture on some numerical invariant of every isolated surface singularity defined by Yau and the author to any dimension and prove that the conjecture is true for local complete intersection singularities of dimension $n\ge 3$. As a direct application, we solved complex Plateau problem of hypersurface type for any dimension $n\ge 3$ by checking only one numerical invariant. △ Less

Submitted 14 December, 2017; v1 submitted 7 December, 2017; originally announced December 2017.

Comments: arXiv admin note: text overlap with arXiv:1612.05349, arXiv:1203.1380

Inequalities of Chern classes on nonsingular projective $n$-folds of Fano and general type with ample canonical bundle

Authors: Rong Du, Hao Sun

Abstract: Let $X$ be a nonsingular projective $n$-fold $(n\ge 2)$ of Fano or of general type with ample canonical bundle $K_X$ over an algebraic closed field $κ$ of any characteristic. We produce a new method to give a bunch of inequalities in terms of all the Chern classes $c_1, c_2, \cdots, c_n$ by pulling back Schubert classes in the Chow group of Grassmannian under the Gauss map. Moreover, we show that… ▽ More Let $X$ be a nonsingular projective $n$-fold $(n\ge 2)$ of Fano or of general type with ample canonical bundle $K_X$ over an algebraic closed field $κ$ of any characteristic. We produce a new method to give a bunch of inequalities in terms of all the Chern classes $c_1, c_2, \cdots, c_n$ by pulling back Schubert classes in the Chow group of Grassmannian under the Gauss map. Moreover, we show that if the characteristic of $κ$ is $0$, then the Chern ratios $(\frac{c_{2,1^{n-2}}}{c_{1^n}}, \frac{c_{2,2,1^{n-4}}}{c_{1^n}}, \cdots, \frac{c_{n}}{c_{1^n}})$ are contained in a convex polyhedron for all $X$. So we give an affirmative answer to a generalized open question, that whether the region described by the Chern ratios is bounded, posted by Hunt (\cite{Hun}) to all dimensions. As a corollary, we can get that there exist constants $d_1$, $d_2$, $d_3$ and $d_4$ depending only on $n$ such that $d_1K_X^n\leχ_{top}(X)\le d_2 K_X^n$ and $d_3K_X^n\leχ(X, \mathscr{O}_X)\le d_4 K_X^n$. If the characteristic of $κ$ is positive, $K_X$ (or $-K_X$) is ample and $\mathscr{O}_X(K_X)$ ($\mathscr{O}_X(-K_X)$, respectively) is globally generated, then the same results hold. △ Less

Submitted 28 December, 2018; v1 submitted 9 December, 2017; originally announced December 2017.

Refinements of two identities on $(n,m)$-Dyck paths

Authors: Rosena R. X. Du, Kuo Yu

Abstract: For integers $n, m$ with $n \geq 1$ and $0 \leq m \leq n$, an $(n,m)$-Dyck path is a lattice path in the integer lattice $\mathbb{Z} \times \mathbb{Z}$ using up steps $(0,1)$ and down steps $(1,0)$ that goes from the origin $(0,0)$ to the point $(n,n)$ and contains exactly $m$ up steps below the line $y=x$. The classical Chung-Feller theorem says that the total number of $(n,m)$-Dyck path is indep… ▽ More For integers $n, m$ with $n \geq 1$ and $0 \leq m \leq n$, an $(n,m)$-Dyck path is a lattice path in the integer lattice $\mathbb{Z} \times \mathbb{Z}$ using up steps $(0,1)$ and down steps $(1,0)$ that goes from the origin $(0,0)$ to the point $(n,n)$ and contains exactly $m$ up steps below the line $y=x$. The classical Chung-Feller theorem says that the total number of $(n,m)$-Dyck path is independent of $m$ and is equal to the $n$-th Catalan number $C_n=\frac{1}{n+1}{2n \choose n}$. For any integer $k$ with $1 \leq k \leq n$, let $p_{n,m,k}$ be the total number of $(n,m)$-Dyck paths with $k$ peaks. Ma and Yeh proved that $p_{n,m,k}$=$p_{n,n-m,n-k}$ for $0 \leq m \leq n$, and $p_{n,m,k}+p_{n,m,n-k}=p_{n,m+1,k}+p_{n,m+1,n-k}$ for $1 \leq m \leq n-2$. In this paper we give bijective proofs of these two results. Using our bijections, we also get refined enumeration results on the numbers $p_{n,m,k}$ and $p_{n,m,k}+p_{n,m,n-k}$ according to the starting and ending steps. △ Less

Submitted 28 January, 2018; v1 submitted 23 November, 2017; originally announced November 2017.

Comments: 9 pages, with 2 figures

MSC Class: 05A15

On the canonical maps of nonsingular threefolds of general type

Authors: Rong Du

Abstract: Let $S$ be a nonsingular minimal complex projective surface of general type and the canonical map of $S$ is generically finite. Beauville showed that the geometric genus of the image of the canonical map is vanishing or equals the geometric genus of $S$ and discussed the canonical degrees for these two cases. We generalize his results to nonsingular minimal complex projective threefolds. Let $S$ be a nonsingular minimal complex projective surface of general type and the canonical map of $S$ is generically finite. Beauville showed that the geometric genus of the image of the canonical map is vanishing or equals the geometric genus of $S$ and discussed the canonical degrees for these two cases. We generalize his results to nonsingular minimal complex projective threefolds. △ Less

Submitted 28 December, 2016; v1 submitted 21 December, 2016; originally announced December 2016.

Comments: all comments are welcome

On abelian canonical n-folds of general type

Authors: Rong Du, Yun Gao

Abstract: Let $X$ be a Gorenstein minimal projective $n$-fold with at worst locally factorial terminal singularities, and suppose that the canonical map of $X$ is generically finite onto its image. When $n<4$, the canonical degree is universally bounded. While the possibility of obtaining a universal bound on the canonical degree of $X$ for $n \geqslant 4$ may be inaccessible, we give a uniform upper bound… ▽ More Let $X$ be a Gorenstein minimal projective $n$-fold with at worst locally factorial terminal singularities, and suppose that the canonical map of $X$ is generically finite onto its image. When $n<4$, the canonical degree is universally bounded. While the possibility of obtaining a universal bound on the canonical degree of $X$ for $n \geqslant 4$ may be inaccessible, we give a uniform upper bound for the degrees of certain abelian covers. In particular, we show that if the canonical divisor $K_X$ defines an abelian cover over $\mathbb{P}^n$, i.e., when $X$ is an \emph{abelian canonical $n$-fold}, then the canonical degree of $X$ is universally upper bounded by a constant which only depends on $n$ for $X$ non-singular. We also construct two examples of non-singular minimal projective $4$-folds of general type with canonical degrees $81$ and $128$. △ Less

Submitted 15 December, 2016; originally announced December 2016.

On higher dimensional complex Plateau problem

Authors: Rong Du, Yun Gao, Stephen Yau

Abstract: Let $X$ be a compact connected strongly pseudoconvex $CR$ manifold of real dimension $2n-1$ in $\mathbb{C}^{N}$. It has been an interesting question to find an intrinsic smoothness criteria for the complex Plateau problem. For $n\ge 3$ and $N=n+1$, Yau found a necessary and sufficient condition for the interior regularity of the Harvey-Lawson solution to the complex Plateau problem by means of Koh… ▽ More Let $X$ be a compact connected strongly pseudoconvex $CR$ manifold of real dimension $2n-1$ in $\mathbb{C}^{N}$. It has been an interesting question to find an intrinsic smoothness criteria for the complex Plateau problem. For $n\ge 3$ and $N=n+1$, Yau found a necessary and sufficient condition for the interior regularity of the Harvey-Lawson solution to the complex Plateau problem by means of Kohn--Rossi cohomology groups on $X$ in 1981. For $n=2$ and $N\ge n+1$, the first and third authors introduced a new CR invariant $g^{(1,1)}(X)$ of $X$. The vanishing of this invariant will give the interior regularity of the Harvey-Lawson solution up to normalization. For $n\ge 3$ and $N>n+1$, the problem still remains open. In this paper, we generalize the invariant $g^{(1,1)}(X)$ to higher dimension as $g^{(Λ^n 1)}(X)$ and show that if $g^{(Λ^n 1)}(X)=0$, then the interior has at most finite number of rational singularities. In particular, if $X$ is Calabi--Yau of real dimension $5$, then the vanishing of this invariant is equivalent to give the interior regularity up to normalization. △ Less

Submitted 15 December, 2016; originally announced December 2016.

Comments: arXiv admin note: substantial text overlap with arXiv:1203.1380

On the canonical degrees of Gorenstein threefolds of general type

Authors: Rong Du, Yun Gao

Abstract: Let $X$ be a Gorenstein minimal projective $3$-fold with at worst locally factorial terminal singularities. Suppose that the canonical map is generically finite onto its image. C. Hacon showed that the canonical degree is universally bounded by $576$. We improved Hacon's universal bound to $360$. Moreover, we gave all the possible canonical degrees of $X$ if $X$ is an abelian cover over… ▽ More Let $X$ be a Gorenstein minimal projective $3$-fold with at worst locally factorial terminal singularities. Suppose that the canonical map is generically finite onto its image. C. Hacon showed that the canonical degree is universally bounded by $576$. We improved Hacon's universal bound to $360$. Moreover, we gave all the possible canonical degrees of $X$ if $X$ is an abelian cover over $\mathbb{P}^3$ and constructed all the examples with these canonical degrees. △ Less

Submitted 15 March, 2016; v1 submitted 16 September, 2015; originally announced September 2015.

Comments: Any comments are welcome. arXiv admin note: text overlap with arXiv:1205.2439

Counting vertices in plane and $k$-ary trees with given outdegree

Authors: Rosena R. X. Du, Jia He, Xueli Yun

Abstract: We count the number of vertices in plane trees and $k$-ary trees with given outdegree, and prove that the total number of vertices of outdegree $i$ over all plane trees with $n$ edges is ${2n-i-1 \choose n-1}$, and the total number of vertices of outdegree $i$ over all $k$-ary trees with $n$ edges is ${k\choose i}{kn\choose n-i}$. For both results we give bijective proofs as well as generating fun… ▽ More We count the number of vertices in plane trees and $k$-ary trees with given outdegree, and prove that the total number of vertices of outdegree $i$ over all plane trees with $n$ edges is ${2n-i-1 \choose n-1}$, and the total number of vertices of outdegree $i$ over all $k$-ary trees with $n$ edges is ${k\choose i}{kn\choose n-i}$. For both results we give bijective proofs as well as generating function proofs. △ Less

Submitted 17 March, 2019; v1 submitted 29 January, 2015; originally announced January 2015.

Comments: 8 pages, 3 figures, deleted generating function proofs of the two main theorems, and added Theorem 3.9

MSC Class: 05A15; 05C05

Journal ref: Graphs and Combinatorics, 35 (2019), no. 1, 221-229

On Cotorsion pairs of chain complexes

Authors: Gang Yang, Ruijuan Du

Abstract: In the paper we first construct a new cotorsion pair, in the category of chain complexes, from two given cotorsion pairs in the category of modules, and then we consider completeness of such pairs under certain conditions. In the paper we first construct a new cotorsion pair, in the category of chain complexes, from two given cotorsion pairs in the category of modules, and then we consider completeness of such pairs under certain conditions. △ Less

Submitted 28 September, 2014; originally announced September 2014.

Comments: 11 pages. arXiv admin note: text overlap with arXiv:1210.0196 by other authors

MSC Class: 16E05; 18G35

On the Griffiths numbers for higher dimensional singularities

Authors: Rong Du, Yun Gao

Abstract: We show that Yau's conjecture on the inequalities for (n-1)-th Griffiths number and (n-1)-th Hironaka number does not hold for isolated rigid Gorenstein singularities of dimension greater than 2. But his conjecture on the inequality for (n-1)-th Griffiths number is true for irregular singularities. We show that Yau's conjecture on the inequalities for (n-1)-th Griffiths number and (n-1)-th Hironaka number does not hold for isolated rigid Gorenstein singularities of dimension greater than 2. But his conjecture on the inequality for (n-1)-th Griffiths number is true for irregular singularities. △ Less

Submitted 19 June, 2014; originally announced June 2014.

Comments: to appear in Annales de l'Institut Fourier

Enumerations of humps and peaks in $(k,a)$-paths and $(n,m)$-Dyck paths via bijective proofs

Authors: Rosena R. X. Du, Yingying Nie, Xuezhi Sun

Abstract: Recently Mansour and Shattuck studied $(k,a)$-paths and gave formulas that relate the total number of humps (peaks) in all $(k,a)$-paths to the number of super $(k,a)$-paths. These results generalize earlier results of Regev on Dyck paths and Motzkin paths. Their proofs are based on generating functions and they asked for bijective proofs for their results. In this paper we first give bijective pr… ▽ More Recently Mansour and Shattuck studied $(k,a)$-paths and gave formulas that relate the total number of humps (peaks) in all $(k,a)$-paths to the number of super $(k,a)$-paths. These results generalize earlier results of Regev on Dyck paths and Motzkin paths. Their proofs are based on generating functions and they asked for bijective proofs for their results. In this paper we first give bijective proofs of Mansour and Shattuck's results, then we extend our study to $(n,m)$-Dyck paths. We give a bijection that relates the total number of peaks in all $(n,m)$-Dyck paths to certain free $(n,m)$-paths when $n$ and $m$ are coprime. From this bijection we get the number of $(n,m)$-Dyck paths with exactly $j$ peaks, which is a generalization of the well-known result that the number Dyck paths of order $n$ with exactly $j$ peaks is the Narayana number $\frac{1}{k}{n-1\choose k-1}{n\choose k-1}$. △ Less

Submitted 21 May, 2015; v1 submitted 10 June, 2014; originally announced June 2014.

Comments: 11 pages

A FETI-DP preconditioner of discontinuous Galerkin method for multiscale problems in high constrast media

Authors: Rui Du, Yunfei Ma, Talal Rahman, Xuejun Xu

Abstract: In this paper we consider second order elliptic partial differential equations with highly varying (heterogeneous) coefficients on a two-dimensional region. The problems are discretized by a composite finite element (FE) and discontinuous Galerkin (DG) Method. The fine grids are in general nonmatching across the subdomain boundaries, and the subdomain partitioning does not need to resolve the jump… ▽ More In this paper we consider second order elliptic partial differential equations with highly varying (heterogeneous) coefficients on a two-dimensional region. The problems are discretized by a composite finite element (FE) and discontinuous Galerkin (DG) Method. The fine grids are in general nonmatching across the subdomain boundaries, and the subdomain partitioning does not need to resolve the jumps in the coefficient. A FETI-DP preconditioner is proposed and analyzed to solve the resulting linear system. Numerical results are presented to support our theory. △ Less

Submitted 14 May, 2014; originally announced May 2014.

MSC Class: 65F10 65N30

Canonical maps of surfaces defined by Abelian covers

Authors: Rong Du, Yun Gao

Abstract: In this paper, we classified the surfaces whose canonical maps are abelian covers over $\mathbb{P}^2$. Moveover, we construct a new Campedelli surface with fundamental group $\mathbb{Z}_2^{\oplus 3}$ and give defining equations for Perssson's surface and Tan's surfaces with odd canonical degrees explicitly. In this paper, we classified the surfaces whose canonical maps are abelian covers over $\mathbb{P}^2$. Moveover, we construct a new Campedelli surface with fundamental group $\mathbb{Z}_2^{\oplus 3}$ and give defining equations for Perssson's surface and Tan's surfaces with odd canonical degrees explicitly. △ Less

Submitted 19 June, 2014; v1 submitted 11 May, 2012; originally announced May 2012.

Comments: Comments welcome

Journal ref: Asian Journal of Mathematics, Volume 18 Number 2, 2014, 219-228

Kohn-Rossi Cohomology and its application to the Complex Plateau Problem III

Authors: Rong Du, Stephen Yau

Abstract: Let $X$ be a compact connected strongly pseudoconvex $CR$ manifold of real dimension 2n-1 in $\mathbb{C}^{N}$. It has been an interesting question to find an intrinsic smoothness criteria for the complex Plateau problem. For $n\ge 3$ and $N=n+1$, Yau found a necessary and sufficient condition for the interior regularity of the Harvey-Lawson solution to the complex Plateau problem by means of Kohn-… ▽ More Let $X$ be a compact connected strongly pseudoconvex $CR$ manifold of real dimension 2n-1 in $\mathbb{C}^{N}$. It has been an interesting question to find an intrinsic smoothness criteria for the complex Plateau problem. For $n\ge 3$ and $N=n+1$, Yau found a necessary and sufficient condition for the interior regularity of the Harvey-Lawson solution to the complex Plateau problem by means of Kohn-Rossi cohomology groups on $X$ in 1981. For n=2 and $N\ge n+1$, the problem has been open for over 30 years. In this paper we introduce a new CR invariant $g^{(1,1)}(X)$ of $X$. The vanishing of this invariant will give the interior regularity of the Harvey-Lawson solution up to normalization. In case $n=2$ and N=3, the vanishing of this invariant is enough to give the interior regularity. △ Less

Submitted 7 March, 2012; originally announced March 2012.

Comments: Journal of Differential Geometry (To appear)

Separation probabilities for products of permutations

Authors: Olivier Bernardi, Alejandro H. Morales, Richard P. Stanley, Rosena R. X. Du

Abstract: We study the mixing properties of permutations obtained as a product of two uniformly random permutations of fixed cycle types. For instance, we give an exact formula for the probability that elements $1,2,...,k$ are in distinct cycles of the random permutation of $\{1,2,...,n\}$ obtained as product of two uniformly random $n$-cycles. We study the mixing properties of permutations obtained as a product of two uniformly random permutations of fixed cycle types. For instance, we give an exact formula for the probability that elements $1,2,...,k$ are in distinct cycles of the random permutation of $\{1,2,...,n\}$ obtained as product of two uniformly random $n$-cycles. △ Less

Submitted 29 February, 2012; originally announced February 2012.

Journal ref: Combinator. Probab. Comp. 23 (2014) 201-222

On protected nodes in Digital Search Trees

Authors: Rosena R. X. Du, Helmut Prodinger

Abstract: Recently, 2-protected nodes were studied in the context of ordered trees and $k$-trees. These nodes have a distance of at least 2 to each leaf. Here, we study digital search trees, which are binary trees, but with a different probability distribution underlying. Our result says, that \emph{grosso modo} some 31% of the nodes are 2-protected. Methods include exponential generating functions, contour… ▽ More Recently, 2-protected nodes were studied in the context of ordered trees and $k$-trees. These nodes have a distance of at least 2 to each leaf. Here, we study digital search trees, which are binary trees, but with a different probability distribution underlying. Our result says, that \emph{grosso modo} some 31% of the nodes are 2-protected. Methods include exponential generating functions, contour integration, and some elements from $q$-analysis. △ Less

Submitted 6 November, 2011; originally announced November 2011.

Comments: 6 pages, 1 figure

Counting Humps in Motzkin paths

Authors: Yun Ding, Rosena R. X. Du

Abstract: In this paper we study the number of humps (peaks) in Dyck, Motzkin and Schröder paths. Recently A. Regev noticed that the number of peaks in all Dyck paths of order $n$ is one half of the number of super Dyck paths of order $n$. He also computed the number of humps in Motzkin paths and found a similar relation, and asked for bijective proofs. We give a bijection and prove these results. Using thi… ▽ More In this paper we study the number of humps (peaks) in Dyck, Motzkin and Schröder paths. Recently A. Regev noticed that the number of peaks in all Dyck paths of order $n$ is one half of the number of super Dyck paths of order $n$. He also computed the number of humps in Motzkin paths and found a similar relation, and asked for bijective proofs. We give a bijection and prove these results. Using this bijection we also give a new proof that the number of Dyck paths of order $n$ with $k$ peaks is the Narayana number. By double counting super Schröder paths, we also get an identity involving products of binomial coefficients. △ Less

Submitted 12 September, 2011; originally announced September 2011.

Comments: 8 pages, 2 Figures

MSC Class: 05A15

Factorizations of cycles and multi-noded rooted trees

Authors: Rosena R. X. Du, Fu Liu

Abstract: In this paper, we study factorizations of cycles. The main result is that under certain condition, the number of ways to factor a $d$-cycle into a product of cycles of prescribed lengths is $d^{r-2}.$ To prove our result, we first define a new class of combinatorial objects, multi-noded rooted trees, which generalize rooted trees. We find the cardinality of this new class which with proper paramet… ▽ More In this paper, we study factorizations of cycles. The main result is that under certain condition, the number of ways to factor a $d$-cycle into a product of cycles of prescribed lengths is $d^{r-2}.$ To prove our result, we first define a new class of combinatorial objects, multi-noded rooted trees, which generalize rooted trees. We find the cardinality of this new class which with proper parameters is exactly $d^{r-2}.$ The main part of this paper is the proof that there is a bijection from factorizations of a $d$-cycle to multi-noded rooted trees via factorization graphs. This implies the desired formula. The factorization problem we consider has its origin in geometry, and is related to the study of a special family of Hurwitz numbers: pure-cycle Hurwitz numbers. Via the standard translation of Hurwitz numbers into group theory, our main result is equivalent to the following: when the genus is $0$ and one of the ramification indices is $d,$ the degree of the covers, the pure-cycle Hurwitz number is $d^{r-3},$ where $r$ is the number of branch points. △ Less

Submitted 2 December, 2013; v1 submitted 22 August, 2010; originally announced August 2010.

Comments: 23 pages, 5 figures. To appear in Graphs and Combinatorics

MSC Class: 05A15

Some Hecke Algebra Products and Corresponding Random Walks

Authors: Rosena R. X. Du, Richard P. Stanley

Abstract: Let $\bm{i}=1+q+...+q^{i-1}$. For certain sequences $(r_1,...,r_l)$ of positive integers, we show that in the Hecke algebra $\mathscr{H}_n(q)$ of the symmetric group $\mathfrak{S}_n$, the product $(1+\bm{r_1}T_{r_1})... (1+\bm{r_l}T_{r_l})$ has a simple explicit expansion in terms of the standard basis $\{T_w\}$. An interpretation is given in terms of random walks on $\mathfrak{S}_n$. Let $\bm{i}=1+q+...+q^{i-1}$. For certain sequences $(r_1,...,r_l)$ of positive integers, we show that in the Hecke algebra $\mathscr{H}_n(q)$ of the symmetric group $\mathfrak{S}_n$, the product $(1+\bm{r_1}T_{r_1})... (1+\bm{r_l}T_{r_l})$ has a simple explicit expansion in terms of the standard basis $\{T_w\}$. An interpretation is given in terms of random walks on $\mathfrak{S}_n$. △ Less

Submitted 5 June, 2009; v1 submitted 31 August, 2008; originally announced September 2008.

Comments: 8 pages

MSC Class: 05E99

Counting Labelled Trees with Given Indegree Sequence

Authors: Rosena R. X. Du, **gbin Yin

Abstract: For a labelled tree on the vertex set $[n]:=\{1,2,..., n\}$, define the direction of each edge $ij$ to be $i\to j$ if $i<j$. The indegree sequence of $T$ can be considered as a partition $λ\vdash n-1$. The enumeration of trees with a given indegree sequence arises in counting secant planes of curves in projective spaces. Recently Ethan Cotterill conjectured a formula for the number of trees on… ▽ More For a labelled tree on the vertex set $[n]:=\{1,2,..., n\}$, define the direction of each edge $ij$ to be $i\to j$ if $i<j$. The indegree sequence of $T$ can be considered as a partition $λ\vdash n-1$. The enumeration of trees with a given indegree sequence arises in counting secant planes of curves in projective spaces. Recently Ethan Cotterill conjectured a formula for the number of trees on $[n]$ with indegree sequence corresponding to a partition $λ$. In this paper we give two proofs of Cotterill's conjecture: one is `semi-combinatorial" based on induction, the other is a bijective proof. △ Less

Submitted 2 April, 2009; v1 submitted 24 December, 2007; originally announced December 2007.

Comments: 10 pages

MSC Class: 05A15; 05C07; 05A18

Crossings and Nestings of Matchings and Partitions

Authors: William Y. C. Chen, Eva Y. P. Deng, Rosena R. X. Du, Richard P. Stanley, Catherine H. Yan

Abstract: We present results on the enumeration of crossings and nestings for matchings and set partitions. Using a bijection between partitions and vacillating tableaux, we show that if we fix the sets of minimal block elements and maximal block elements, the crossing number and the nesting number of partitions have a symmetric joint distribution. It follows that the crossing numbers and the nesting numb… ▽ More We present results on the enumeration of crossings and nestings for matchings and set partitions. Using a bijection between partitions and vacillating tableaux, we show that if we fix the sets of minimal block elements and maximal block elements, the crossing number and the nesting number of partitions have a symmetric joint distribution. It follows that the crossing numbers and the nesting numbers are distributed symmetrically over all partitions of $[n]$, as well as over all matchings on $[2n]$. As a corollary, the number of $k$-noncrossing partitions is equal to the number of $k$-nonnesting partitions. The same is also true for matchings. An application is given to the enumeration of matchings with no $k$-crossing (or with no $k$-nesting). △ Less

Submitted 14 November, 2005; v1 submitted 14 January, 2005; originally announced January 2005.

Comments: Revision: page 8, revised Remark (3) page 11, revised Proof of Theorem 1. Page 20, revised Remark. page 23, added references

MSC Class: 05A18; 05A15; 05E10

(k,m)-Catalan Numbers and Hook Length Polynomials for Plane Trees

Authors: Rosena R. X. Du, Fu Liu

Abstract: Motivated by a formula of A. Postnikov relating binary trees, we define the hook length polynomials for m-ary trees and plane forests, and show that these polynomials have a simple binomial expression. An integer value of this expression is C_{k,m}(n)=\frac{1}{mn+1}{(mn+1)k \choose n}, which we call the (k,m)-Catalan number. For proving the hook length formulas, we also introduce a combinatorial… ▽ More Motivated by a formula of A. Postnikov relating binary trees, we define the hook length polynomials for m-ary trees and plane forests, and show that these polynomials have a simple binomial expression. An integer value of this expression is C_{k,m}(n)=\frac{1}{mn+1}{(mn+1)k \choose n}, which we call the (k,m)-Catalan number. For proving the hook length formulas, we also introduce a combinatorial family, (k,m)-ary trees, which are counted by the (k,m)-Catalan numbers. △ Less

Submitted 14 September, 2005; v1 submitted 11 January, 2005; originally announced January 2005.

Comments: 11 pages

MSC Class: 05A15; 05A19

Reduction of $m$-Regular Noncrossing Partitions

Authors: William Y. C. Chen, Eva Y. P. Deng, Rosena R. X. Du

Abstract: In this paper, we present a reduction algorithm which transforms $m$-regular partitions of $[n]=\{1, 2, ..., n\}$ to $(m-1)$-regular partitions of $[n-1]$. We show that this algorithm preserves the noncrossing property. This yields a simple explanation of an identity due to Simion-Ullman and Klazar in connection with enumeration problems on noncrossing partitions and RNA secondary structures. Fo… ▽ More In this paper, we present a reduction algorithm which transforms $m$-regular partitions of $[n]=\{1, 2, ..., n\}$ to $(m-1)$-regular partitions of $[n-1]$. We show that this algorithm preserves the noncrossing property. This yields a simple explanation of an identity due to Simion-Ullman and Klazar in connection with enumeration problems on noncrossing partitions and RNA secondary structures. For ordinary noncrossing partitions, the reduction algorithm leads to a representation of noncrossing partitions in terms of independent arcs and loops, as well as an identity of Simion and Ullman which expresses the Narayana numbers in terms of the Catalan numbers. △ Less

Submitted 9 June, 2004; originally announced June 2004.

MSC Class: 05A18; 05A15; 92D20