Longest increasing subsequences,Plancherel-type measure and the Hecke insertion algorithm

We define and study the Plancherel–Hecke probability measure on Young diagrams; the Hecke algorithm of Buch–Kresch–Shimozono–Tamvakis–Yong is interpreted as a polynomial-time exact sampling algorithm for this measure. Using the results of Thomas–Yong on jeu de taquin for increasing tableaux, a symmetry property of the Hecke algorithm is proved, in terms of longest strictly increasing/decreasing subsequences of words. This parallels classical theorems of Schensted and of Knuth, respectively, on the Schensted and Robinson–Schensted–Knuth algorithms. We investigate, and conjecture about, the limit typical shape of the measure, in analogy with work of Vershik–Kerov, Logan–Shepp and others on the “longest increasing subsequence problem” for permutations. We also include a related extension of Aldous–Diaconis on patience sorting. Together, these results provide a new rationale for the study of increasing tableau combinatorics, distinct from the original algebraic-geometric ones concerning K-theoretic Schubert calculus.     

Energy–based localization and multiplicity of radially symmetric states for the stationary p–Laplace diffusion

ABSTRACT

It is investigated the role of the state–dependent source–term for the localization by means of the kinetic energy of radially symmetric states for the stationary p–Laplace diffusion. It is shown that the oscillatory behavior of the source–term, with respect to the state amplitude, yields multiple possible states, located in disjoint energy bands. The mathematical analysis makes use of critical point theory in conical shells and of a version of Pucci–Serrin three–critical point theorem for the intersection of a cone with a ball. A key ingredient is a Harnack type inequality in terms of the energetic norm.     

Weighted matrix means and symmetrization procedures

Here we prove the convergence of the Ando–Li–Mathias and Bini–Meini–Poloni procedures for matrix means. Actually it is proved here that for a two-variable function which maps pairs of positive definite matrices to a positive definite matrix and is not greater than the square mean of two positive definite matrices, the Ando–Li–Mathias and Bini–Meini–Poloni procedure converges. In order to be able to set up the Bini–Meini–Poloni procedure, a weighted two-variable matrix mean is also needed. Therefore a definition of a two-variable weighted matrix mean corresponding to every symmetric matrix mean is also given. It is also shown here that most of the properties considered by Ando, Li and Mathias for the n-variable geometric mean hold for all of these n-variable maps that we obtain by this two limiting process for all two-variable matrix means. As a consequence it also follows that the Bini–Meini–Poloni procedure converges cubically for every matrix mean.     

Gröbner–Shirshov basis for the Braid group in the Birman–Ko–Lee generators

In this paper, we obtain Gröbner–Shirshov (non-commutative Gröbner) bases for braid groups in the Birman–Ko–Lee generators enriched by “Garside word” δ [J. Birman, K.H. Ko, S.J. Lee, A new approach to the word and conjugacy problems for the braid groups, Adv. Math. 139 (1998) 322–353]. It gives a new algorithm for getting the Birman–Ko–Lee normal forms in braid groups, and thus a new algorithm for solving the word problem in these groups.     

Fourier–Jacobi periods of classical Saito–Kurokawa lifts

Kohnen–Skoruppa (Invent Math 95(3): 541–558, 1989) proved a formula for the ratio of the Petersson inner products of the half integral weight modular form and its Saito–Kurokawa lifting. We give an interpretation of this formula in the framework of the refined Gan–Gross–Prasad conjecture. This provides us with an example of the refined Gan–Gross–Prasad conjecture for the nontempered representations.     

Poincaré–Birkhoff–Witt Deformation of Koszul Calabi–Yau Algebras

The Calabi–Yau property of the Poincaré–Birkhoff–Witt deformation of a Koszul Calabi–Yau algebra is characterized. Berger and Taillefer (J Noncommut Geom 1:241–270, 2007, Theorem 3.6) proved that the Poincaré–Birkhoff–Witt deformation of a Calabi–Yau algebra of dimension 3 is Calabi–Yau under some conditions. The main result in this paper generalizes their result to higher dimensional Koszul Calabi–Yau algebras. As corollaries, the necessary and sufficient condition obtained by He et al. (J Algebra 324:1921–1939, 2010) for the universal enveloping algebra, respectively, Sridharan enveloping algebra, of a finite-dimensional Lie algebra to be Calabi–Yau, is derived.     

Well‐posedness and asymptotic analysis for a Penrose–Fife type phase field system

In this paper, an asymptotic analysis of the (non‐conserved) Penrose–Fife phase field system for two vanishing time relaxation parameters ε and δ is developed, in analogy with the similar analyses for the phase field model proposed by G. Caginalp (Arch. Rational Mech. Anal. 1986; 92 :205–245), which were carried out by Rossi and Stoth (Adv. Math. Sci. Appl. 2003; 13 :249–271; Quart. Appl. Math. 1995; 53 :695–700). Although formally the singular limits for ε ↓ 0 and for ε and δ ↓ 0 are, respectively, the viscous Cahn–Hilliard equation and the Cahn–Hilliard equation, it turns out that the Penrose–Fife system is indeed a bad approximation for these equations. Therefore, we consider an alternative approximating phase field system, which could be viewed as a generalization of the classical Penrose–Fife phase field system, featuring a double non‐linearity given by two maximal monotone graphs. A well‐posedness result is proved for such a system, and it is shown that the solutions converge to the unique solution of the viscous Cahn–Hilliard equation as ε ↓ 0, and of the Cahn–Hilliard equation as ε ↓ 0 and δ ↓ 0. Copyright © 2004 John Wiley & Sons, Ltd.     

Ridged Domains,Embedding Theorems and Poincaré Inequalities

We study the embeddings E : W(X(Ω), Y(Ω)) ↪ Z(Ω), where X(Ω), Y(Ω) and Z(Ω) are rearrangement–invariant Banach function spaces (BFS) defined on a generalized ridged domain Ω, and W denotes a first–order Sobolev–type space. We obtain two–sided estimates for the measure of non–compactness of E when Z(Ω) = X(Ω) and, in turn, necessary and sufficient conditions for a Poincaré–type inequality to be valid and also for E to be compact. The results are used to analyse the example of a trumpet–shaped domain Ω in Lorentz spaces. We consider the problem of determining the range of possible target spaces Z(Ω), in which case we prove that the problem is equivalent to an analogue on the generalized ridge Γ of Ω. The range of target spaces Z(Ω) is determined amongst a scale of (weighted) Lebesgue spaces for “rooms and passages” and trumpet–shaped domains.     

Kähler–Einstein metrics along the smooth continuity method

We show that if a Fano manifold M is K-stable with respect to special degenerations equivariant under a compact group of automorphisms, then M admits a Kähler–Einstein metric. This is a strengthening of the solution of the Yau–Tian–Donaldson conjecture for Fano manifolds by Chen–Donaldson–Sun (Int Math Res Not (8):2119–2125, 2014), and can be used to obtain new examples of Kähler–Einstein manifolds. We also give analogous results for twisted Kähler–Einstein metrics and Kahler–Ricci solitons.     

The Wolff potential estimate for solutions to elliptic equations with signed data

In this note, we obtain sharp bounds for the Green’s function of the linearized Monge–Ampère operators associated to convex functions with either Hessian determinant bounded away from zero and infinity or Monge–Ampère measure satisfying a doubling condition. Our result is an affine invariant version of the classical result of Littman–Stampacchia–Weinberger for uniformly elliptic operators in divergence form. We also obtain the L ^p integrability for the gradient of the Green’s function in two dimensions. As an application, we obtain a removable singularity result for the linearized Monge–Ampère equation.     

Hyers–Ulam stability of nonlinear differential equations with fractional integrable impulses

This paper is devoted to establish Bielecki–Ulam–Hyers–Rassias stability, generalized Bielecki–Ulam–Hyers–Rassias stability, and Bielecki–Ulam–Hyers stability on a compact interval [0,T], for a class of higher‐order nonlinear differential equations with fractional integrable impulses. The phrase ‘fractional integrable’ brings one to fractional calculus. Hence, applying usual methods for analysis offers many difficulties in proving the results of existence and uniqueness of solution and stability theorems. Picard operator is applied in showing existence and uniqueness of solution. Stability results are obtained by using the tools of fractional calculus and Hölder's inequality of integration. Along with tools of fractional calculus, Bielecki's normed Banach spaces are considered, which made the results more interesting. Copyright © 2017 John Wiley & Sons, Ltd.     

Phasebehaviour of a 3D–Stell–Hemmer Liquid

Investigations for one– and two–dimensional systems have shown that the Stell–Hemmer potential can produce liquid–state anomalies. By means of a Monte Carlo simulation for a N; V; T–ensemble we calculate the phase behaviour and show that these anomalies disappear in three dimensions.     

Deformation Driven Homogenization of Fracturing Solids

The paper discusses numerical formulations of the homogenization for solids with discrete crack development. We focus on multi–phase microstructures of heterogeneous materials, where fracture occurs in the form of debonding mechanisms as well as matrix cracking. The definition of overall properties critically depends on the developing discontinuities. To this end, we extend continuous formulations [1] to microstructures with discontinuities [2]. The basic underlying structure is a canonical variational formulation in the fully nonlinear range based on incremental energy minimization. We develop algorithms for numerical homogenization of fracturing solids in a deformation–driven context with non–trivial formulations of boundary conditions for (i) linear deformation and (ii) uniform tractions. The overall response of composite materials with fracturing microstructures are investigated. As a key result, we show the significance of the proposed non–trivial formulation of a traction–type boundary condition in the deformation–driven context. (© 2005 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Deformations of Koszul Artin–Schelter Gorenstein algebras

We compute the Nakayama automorphism of a Poincaré–Birkhoff–Witt (PBW)-deformation of a Koszul Artin–Schelter (AS) Gorenstein algebra of finite global dimension, and give a criterion for an augmented PBW-deformation of a Koszul Calabi–Yau algebra to be Calabi–Yau. The relations between the Calabi–Yau property of augmented PBW-deformations and that of non-augmented cases are discussed. The Nakayama automorphisms of PBW-deformations of Koszul AS–Gorenstein algebras of global dimensions 2 and 3 are given explicitly. We show that if a PBW-deformation of a graded Calabi–Yau algebra is still Calabi–Yau, then it is defined by a potential under some mild conditions. Some classical results are also recovered. Our main method used in this article is elementary and based on linear algebra. The results obtained in this article will be applied in a subsequent paper (He et al., Skew polynomial algebras with coefficients in AS regular algebras, preprint, 2011).     

A Posteriori Error Estimates for Finite Element Exterior Calculus: The de Rham Complex

Finite element exterior calculus (FEEC) has been developed over the past decade as a framework for constructing and analyzing stable and accurate numerical methods for partial differential equations by employing differential complexes. The recent work of Arnold, Falk, and Winther includes a well-developed theory of finite element methods for Hodge–Laplace problems, including a priori error estimates. In this work we focus on developing a posteriori error estimates in which the computational error is bounded by some computable functional of the discrete solution and problem data. More precisely, we prove a posteriori error estimates of a residual type for Arnold–Falk–Winther mixed finite element methods for Hodge–de Rham–Laplace problems. While a number of previous works consider a posteriori error estimation for Maxwell’s equations and mixed formulations of the scalar Laplacian, the approach we take is distinguished by a unified treatment of the various Hodge–Laplace problems arising in the de Rham complex, consistent use of the language and analytical framework of differential forms, and the development of a posteriori error estimates for harmonic forms and the effects of their approximation on the resulting numerical method for the Hodge–Laplacian.     

Ergodicity of scalar stochastic differential equations with Hölder continuous coefficients

It is well-known that for a one dimensional stochastic differential equation driven by Brownian noise, with coefficient functions satisfying the assumptions of the Yamada–Watanabe theorem (Yamada and Watanabe, 1971, [31,32]) and the Feller test for explosions (Feller, 1951, 1954), there exists a unique stationary distribution with respect to the Markov semigroup of transition probabilities. We consider systems on a restricted domain $D$ of the phase space $\mathbb{R}$ and study the rate of convergence to the stationary distribution. Using a geometrical approach that uses the so called free energy function on the density function space, we prove that the density functions, which are solutions of the Fokker–Planck equation, converge to the stationary density function exponentially under the Kullback–Leibler divergence, thus also in the total variation norm. The results show that there is a relation between the Bakry–Émery curvature dimension condition and the dissipativity condition of the transformed system under the Fisher–Lamperti transformation. Several applications are discussed, including the Cox–Ingersoll–Ross model and the Ait-Sahalia model in finance and the Wright–Fisher model in population genetics.     

On reachability mixed arborescence packing

As a generalization of Edmonds’ arborescence packing theorem, Kamiyama–Katoh–Takizawa (2009) provided a good characterization of directed graphs that contain arc-disjoint arborescences spanning the set of vertices reachable from each root. Fortier–Király–Léonard–Szigeti–Talon (2018) asked whether the result can be extended to mixed graphs by allowing both directed arcs and undirected edges. In this paper, we solve this question by developing a polynomial-time algorithm for finding a collection of edge and arc-disjoint arborescences spanning the set of vertices reachable from each root in a given mixed graph.     

Complete classification of local conservation laws for generalized Cahn–Hilliard–Kuramoto–Sivashinsky equation

In this paper, we consider nonlinear multidimensional Cahn–Hilliard and Kuramoto–Sivashinsky equations that have many important applications in physics and chemistry, and a certain natural generalization of these two equations to which we refer to as the generalized Cahn–Hilliard–Kuramoto–Sivashinsky equation. For an arbitrary number of spatial independent variables, we present a complete list of cases when the latter equation admits nontrivial local conservation laws of any order, and for each of those cases, we give an explicit form of all the local conservation laws of all orders modulo trivial ones admitted by the equation under study. In particular, we show that the original Kuramoto–Sivashinsky equation admits no nontrivial local conservation laws, and find all nontrivial local conservation laws for the Cahn–Hilliard equation.     

Characterizations of the solution set for non-essentially quasiconvex programming

Characterizations of the solution set in terms of subdifferentials play an important role in research of mathematical programming. Previous characterizations are based on necessary and sufficient optimality conditions and invariance properties of subdifferentials. Recently, characterizations of the solution set for essentially quasiconvex programming in terms of Greenberg–Pierskalla subdifferential are studied by the authors. Unfortunately, there are some examples such that these characterizations do not hold for non-essentially quasiconvex programming. As far as we know, characterizations of the solution set for non-essentially quasiconvex programming have not been studied yet. In this paper, we study characterizations of the solution set in terms of subdifferentials for non-essentially quasiconvex programming. For this purpose, we use Martínez–Legaz subdifferential which is introduced by Martínez–Legaz as a special case of c-subdifferential by Moreau. We derive necessary and sufficient optimality conditions for quasiconvex programming by means of Martínez–Legaz subdifferential, and, as a consequence, investigate characterizations of the solution set in terms of Martínez–Legaz subdifferential. In addition, we compare our results with previous ones. We show an invariance property of Greenberg–Pierskalla subdifferential as a consequence of an invariance property of Martínez–Legaz subdifferential. We give characterizations of the solution set for essentially quasiconvex programming in terms of Martínez–Legaz subdifferential.     

Decay mode solution of nonlinear boundary–initial value problems for the cylindrical (spherical) Boussinesq–Burgers equations

The major target of this paper is to construct new nonlinear boundary–initial value problems for Boussinesq–Burgers Equations, and derive the solutions of these nonlinear boundary–initial value problems by the simplified homogeneous balance method. The nonlinear transformation and its inversion between the Boussinesq–Burgers Equations and the linear heat conduction equation are firstly derived; then a new nonlinear boundary–initial value problem for the Boussinesq–Burgers equations with variable damping on the half infinite straight line is put forward for the first time, and the solution of this nonlinear boundary–initial value problem is obtained, especially, the decay mode solution of nonlinear boundary–initial value problem for the cylindrical (spherical) Boussinesq–Burgers equations is obtained.