Let k be a commutative Noetherian ring and C−− be a locally finite k-linear category equipped with a self-embedding functor of degree 1. We show under a moderate condition that finitely generated torsion representations of C−− are super finitely presented (that is, they have projective resolutions each term of which is finitely generated). In the situation that these self-embedding functors are genetic functors, we give upper bounds for homological degrees of finitely generated torsion modules. These results apply to quite a few categories recently appearing in representation stability theory. In particular, when k is a field of characteristic 0, we obtain another upper bound for homological degrees of finitely generated FI-modules.

We propose a dynamically bi-orthogonal method (DyBO) to solve time dependent stochastic partial differential equations (SPDEs). The objective of our method is to exploit some intrinsic sparse structure in the stochastic solution by constructing the sparsest representation of the stochastic solution via a bi-orthogonal basis. It is well-known that the KarhunenLoeve expansion (KLE) minimizes the total mean squared error and gives the sparsest representation of stochastic solutions. However, the computation of the KL expansion could be quite expensive since we need to form a covariance matrix and solve a large-scale eigenvalue problem. The main contribution of this paper is that we derive an equivalent system that governs the evolution of the spatial and stochastic basis in the KL expansion. Unlike other reduced model methods, our method constructs the reduced basis on-the-fly without the need to form the

In Berenstein and Rupel (2015), the authors defined algebra homomorphisms from the dual Ringel-Hall algebra of certain hereditary abelian category \mathcal{A} to an appropriate q-polynomial algebra. In the case that \mathcal{A} is the representation category of an acyclic quiver, we give an alternative proof by using the cluster multiplication formulas in (Ding and Xu, Sci. China Math. 55(10) 2045–2066, 2012). Moreover, if the underlying graph of Q associated with \mathcal{A} is bipartite and the matrix B associated to the quiver Q is of full rank, we show that the image of the algebra homomorphism is in the corresponding quantum cluster algebra.

We propose a simple finite difference scheme for Navier--Stokes equations in primitive formulation on curvilinear domains. With proper boundary treatment and interplay between covariant and contravariant components, the spatial discretization admits exact Hodge decomposition and energy identity. As a result, the pressure can be decoupled from the momentum equation with explicit time stepping. No artificial pressure boundary condition is needed. In addition, it can be shown that this spatially compatible discretization leads to uniform inf-sup condition, which plays a crucial role in the pressure approximation of both dynamic and steady state calculations. Numerical experiments demonstrate the robustness and efficiency of our scheme.

Let X be an algebraic variety and let S be a tropical variety associated to X. We study the tropicalization map from the moduli space of stable maps into X to the moduli space of tropical curves in S. We prove that it is a continuous map and that its image is compact and polyhedral. Loosely speaking, when we deform algebraic curves in X, the associated tropical curves in S deform continuously; moreover, the locus of realizable tropical curves inside the space of all tropical curves is compact and polyhedral. Our main tools are Berkovich spaces, formal models, balancing conditions, vanishing cycles and quantifier elimination for rigid subanalytic sets.