Accessible Proof of Standard Monomial Basis for Coordinatization of Schubert Sets of Flags

The main results of this paper are accessible with only basic linear algebra. Given an increasing sequence of dimensions, a flag in a vector space is an increasing sequence of subspaces with those dimensions. The set of all such flags (the flag manifold) can be projectively coordinatized using products of minors of a matrix. These products are indexed by tableaux on a Young diagram. A basis of "standard monomials" for the vector space generated by such projective coordinates over the entire flag manifold has long been known. A Schubert variety is a subset of flags specified by a permutation. Lakshmibai, Musili, and Seshadri gave a standard monomial basis for the smaller vector space generated by the projective coordinates restricted to a Schubert variety. Reiner and Shimozono made this theory more explicit by giving a straightening algorithm for the products of the minors in terms of the right key of a Young tableau. Since then, Willis introduced scanning tableaux as a more direct way to obtain right keys. This paper uses scanning tableaux to give more-direct proofs of the spanning and the linear independence of the standard monomials. In the appendix it is noted that this basis is a weight basis for the dual of a Demazure module for a Borel subgroup of GL(n). This paper contains a complete proof that the characters of these modules (the key polynomials) can be expressed as the sums of the weights for the tableaux used to index the standard monomial bases.Comment: 18 page

Hierarchy of boundary driven phase transitions in multi-species particle systems

Interacting systems with $K$ driven particle species on a open chain or chains which are coupled at the ends to boundary reservoirs with fixed particle densities are considered. We classify discontinuous and continuous phase transitions which are driven by adiabatic change of boundary conditions. We build minimal paths along which any given boundary driven phase transition (BDPT) is observed and reveal kinetic mechanisms governing these transitions. Combining minimal paths, we can drive the system from a stationary state with all positive characteristic speeds to a state with all negative characteristic speeds, by means of adiabatic changes of the boundary conditions. We show that along such composite paths one generically encounters $Z$ discontinuous and $2(K-Z)$ continuous BDPTs with $Z$ taking values $0\leq Z\leq K$ depending on the path. As model examples we consider solvable exclusion processes with product measure states and $K=1,2,3$ particle species and a non-solvable two-way traffic model. Our findings are confirmed by numerical integration of hydrodynamic limit equations and by Monte Carlo simulations. Results extend straightforwardly to a wide class of driven diffusive systems with several conserved particle species.Comment: 12 pages, 11 figure

The thermodynamic limit of the Whitham equations

The infinite-genus limit of the KdV-Whitham equations is derived. The limit involves special scaling for the associated spectral surface such that the integrated density of states remains finite as $N \to \infty$ (the thermodynamic type limit). The limiting integro-differential system describes slow evolution of the density of states and can be regarded as the kinetic equation for a soliton gas

Singular perturbations and scaling

Scaling transformations involving a small parameter ({\em degenerate scalings}) are frequently used for ordinary differential equations that model (bio-) chemical reaction networks. They are motivated by quasi-steady state (QSS) of certain chemical species, and ideally lead to slow-fast systems for singular perturbation reductions, in the sense of Tikhonov and Fenichel. In the present paper we discuss properties of such scaling transformations, with regard to their applicability as well as to their determination. Transformations of this type are admissible only when certain consistency conditions are satisfied, and they lead to singular perturbation scenarios only if additional conditions hold, including a further consistency condition on initial values. Given these consistency conditions, two scenarios occur. The first (which we call standard) is well known and corresponds to a classical quasi-steady state (QSS) reduction. Here, scaling may actually be omitted because there exists a singular perturbation reduction for the unscaled system, with a coordinate subspace as critical manifold. For the second (nonstandard) scenario scaling is crucial. Here one may obtain a singular perturbation reduction with the slow manifold having dimension greater than expected from the scaling. For parameter dependent systems we consider the problem to find all possible scalings, and we show that requiring the consistency conditions allows their determination. This lays the groundwork for algorithmic approaches, to be taken up in future work. In the final section we consider some applications. In particular we discuss relevant nonstandard reductions of certain reaction-transport systems

Application of approximation theory by nonlinear manifolds in Sturm-Liouville inverse problems

We give here some negative results in Sturm-Liouville inverse theory, meaning that we cannot approach any of the potentials with $m+1$ integrable derivatives on $\mathbb{R}^+$ by an $\omega$-parametric analytic family better than order of $(\omega\ln\omega)^{-(m+1)}$. Next, we prove an estimation of the eigenvalues and characteristic values of a Sturm-Liouville operator and some properties of the solution of a certain integral equation. This allows us to deduce from [Henkin-Novikova] some positive results about the best reconstruction formula by giving an almost optimal formula of order of $\omega^{-m}$.Comment: 40 page

Area preservation in computational fluid dynamics

Incompressible two-dimensional flows such as the advection (Liouville) equation and the Euler equations have a large family of conservation laws related to conservation of area. We present two Eulerian numerical methods which preserve a discrete analog of area. The first is a fully discrete model based on a rearrangement of cells; the second is more conventional, but still preserves the area within each contour of the vorticity field. Initial tests indicate that both methods suppress the formation of spurious oscillations in the field.Comment: 14 pages incl. 3 figure

Convergence for PDEs with an arbitrary odd order spatial derivative term

We compute the rate of convergence of forward, backward and central finite difference $\theta$-schemes for linear PDEs with an arbitrary odd order spatial derivative term. We prove convergence of the first or second order for smooth and less smooth initial data