Convexity of tableau sets for type A Demazure characters (key polynomials), parabolic Catalan numbers

This is the first of three papers that develop structures which are counted by a "parabolic" generalization of Catalan numbers. Fix a subset R of {1,..,n-1}. Consider the ordered partitions of {1,..,n} whose block sizes are determined by R. These are the "inverses" of (parabolic) multipermutations whose multiplicities are determined by R. The standard forms of the ordered partitions are refered to as "R-permutations". The notion of 312-avoidance is extended from permutations to R-permutations. Let lambda be a partition of N such that the set of column lengths in its shape is R or R union {n}. Fix an R-permutation pi. The type A Demazure character (key polynomial) in x_1, .., x_n that is indexed by lambda and pi can be described as the sum of the weight monomials for some of the semistandard Young tableau of shape lambda that are used to describe the Schur function indexed by lambda. Descriptions of these "Demazure" tableaux developed by the authors in earlier papers are used to prove that the set of these tableaux is convex in Z^N if and only if pi is R-312-avoiding if and only if the tableau set is the entire principal ideal generated by the key of pi. These papers were inspired by results of Reiner and Shimozono and by Postnikov and Stanley concerning coincidences between Demazure characters and flagged Schur functions. This convexity result is used in the next paper to deepen those results from the level of polynomials to the level of tableau sets. The R-parabolic Catalan number is defined to be the number of R-312-avoiding permutations. These special R-permutations are reformulated as "R-rightmost clump deleting" chains of subsets of {1,..,n} and as "gapless R-tuples"; the latter n-tuples arise in multiple contexts in these papers.Comment: 20 pp with 2 figs. Identical to v.3, except for the insertion of the publication data for the DMTCS journal (dates and volume/issue/number). This is one third of our "Parabolic Catalan numbers ..", arXiv:1612.06323v

Parabolic Catalan numbers count flagged Schur functions and their appearances as type A Demazure characters (key polynomials)

Fix an integer partition lambda that has no more than n parts. Let beta be a weakly increasing n-tuple with entries from {1,..,n}. The flagged Schur function indexed by lambda and beta is a polynomial generating function in x_1, .., x_n for certain semistandard tableaux of shape lambda. Let pi be an n-permutation. The type A Demazure character (key polynomial, Demazure polynomial) indexed by lambda and pi is another such polynomial generating function. Reiner and Shimozono and then Postnikov and Stanley studied coincidences between these two families of polynomials. Here their results are sharpened by the specification of unique representatives for the equivalence classes of indexes for both families of polynomials, extended by the consideration of more general beta, and deepened by proving that the polynomial coincidences also hold at the level of the underlying tableau sets. Let R be the set of lengths of columns in the shape of lambda that are less than n. Ordered set partitions of {1,..,n} with block sizes determined by R, called R-permutations, are used to describe the minimal length representatives for the parabolic quotient of the nth symmetric group specified by the set {1,..,n-1}\R. The notion of 312-avoidance is generalized from n-permutations to these set partitions. The R-parabolic Catalan number is defined to be the number of these. Every flagged Schur function arises as a Demazure polynomial. Those Demazure polynomials are precisely indexed by the R-312-avoiding R-permutations. Hence the number of flagged Schur functions that are distinct as polynomials is shown to be the R-parabolic Catalan number. The projecting and lifting processes that relate the notions of 312-avoidance and of R-312-avoidance are described with maps developed for other purposes.Comment: 27 pages, 2 figures. Identical to v.2, except for the insertion of the publication data for the DMTCS journal (dates and volume/issue/number). This is two-thirds of our preprint "Parabolic Catalan numbers count flagged Schur functions; Convexity of tableau sets for Demazure characters", arXiv:1612.06323v

Magnetic buoyancy instabilities in the presence of magnetic flux pumping at the base of the solar convection zone

We perform idealized numerical simulations of magnetic buoyancy instabilities in three dimensions, solving the equations of compressible magnetohydrodynamics in a model of the solar tachocline. In particular, we study the effects of including a highly simplified model of magnetic flux pumping in an upper layer (‘the convection zone’) on magnetic buoyancy instabilities in a lower layer (‘the upper parts of the radiative interior – including the tachocline’), to study these competing flux transport mechanisms at the base of the convection zone. The results of the inclusion of this effect in numerical simulations of the buoyancy instability of both a preconceived magnetic slab and a shear-generated magnetic layer are presented. In the former, we find that if we are in the regime that the downward pumping velocity is comparable with the Alfvén speed of the magnetic layer, magnetic flux pumping is able to hold back the bulk of the magnetic field, with only small pockets of strong field able to rise into the upper layer. In simulations in which the magnetic layer is generated by shear, we find that the shear velocity is not necessarily required to exceed that of the pumping (therefore the kinetic energy of the shear is not required to exceed that of the overlying convection) for strong localized pockets of magnetic field to be produced which can rise into the upper layer. This is because magnetic flux pumping acts to store the field below the interface, allowing it to be amplified both by the shear and by vortical fluid motions, until pockets of field can achieve sufficient strength to rise into the upper layer. In addition, we find that the interface between the two layers is a natural location for the production of strong vertical gradients in the magnetic field. If these gradients are sufficiently strong to allow the development of magnetic buoyancy instabilities, strong shear is not necessarily required to drive them (cf. previous work by Vasil & Brummell). We find that the addition of magnetic flux pumping appears to be able to assist shear-driven magnetic buoyancy in producing strong flux concentrations that can rise up into the convection zone from the radiative interior

Mean flow instabilities of two-dimensional convection in strong magnetic fields

The interaction of magnetic fields with convection is of great importance in astrophysics. Two well-known aspects of the interaction are the tendency of convection cells to become narrow in the perpendicular direction when the imposed field is strong, and the occurrence of streaming instabilities involving horizontal shears. Previous studies have found that the latter instability mechanism operates only when the cells are narrow, and so we investigate the occurrence of the streaming instability for large imposed fields, when the cells are naturally narrow near onset. The basic cellular solution can be treated in the asymptotic limit as a nonlinear eigenvalue problem. In the limit of large imposed field, the instability occurs for asymptotically small Prandtl number. The determination of the stability boundary turns out to be surprisingly complicated. At leading order, the linear stability problem is the linearisation of the same nonlinear eigenvalue problem, and as a result, it is necessary to go to higher order to obtain a stability criterion. We establish that the flow can only be unstable to a horizontal mean flow if the Prandtl number is smaller than order , where B0 is the imposed magnetic field, and that the mean flow is concentrated in a horizontal jet of width in the middle of the layer. The result applies to stress-free or no-slip boundary conditions at the top and bottom of the layer

Effect of multimode entanglement on lossy optical quantum metrology

In optical interferometry multimode entanglement is often assumed to be the driving force behind quantum enhanced measurements. Recent work has shown this assumption to be false: single-mode quantum states perform just as well as their multimode entangled counterparts. We go beyond this to show that when photon losses occur, an inevitability in any realistic system, multimode entanglement is actually detrimental to obtaining quantum enhanced measurements. We specifically apply this idea to a superposition of coherent states, demonstrating that these states show a robustness to loss that allows them to significantly outperform their competitors in realistic systems. A practically viable measurement scheme is then presented that allows measurements close to the theoretical bound, even with loss. These results promote an alternate way of approaching optical quantum metrology using single-mode states that we expect to have great implications for the future

A Unifying Hypothesis for Familial and Sporadic Alzheimer's Disease

Alzheimer's disease (AD) is characterised by the aggregation of two quite different proteins, namely, amyloid-beta (Aβ), which forms extracellular plaques, and tau, the main component of cytoplasmic neurofibrillary tangles. The amyloid hypothesis proposes that Aβ plaques precede tangle formation but there is still much controversy concerning the order of events and the linkage between Aβ and tau alterations is still unknown. Mathematical modelling has become an essential tool for generating and evaluating hypotheses involving complex systems. We have therefore used this approach to discover the most probable pathway linking Aβ and tau. The model supports a complex pathway linking Aβ and tau via GSK3β, p53, and oxidative stress. Importantly, the pathway contains a cycle with multiple points of entry. It is this property of the pathway which enables the model to be consistent with both the amyloid hypothesis for familial AD and a more complex pathway for sporadic forms

Oscillations and secondary bifurcations in nonlinear magnetoconvection

Complicated bifurcation structures that appear in nonlinear systems governed by partial differential equations (PDEs) can be explained by studying appropriate low-order amplitude equations. We demonstrate the power of this approach by considering compressible magnetoconvection. Numerical experiments reveal a transition from a regime with a subcritical Hopf bifurcation from the static solution, to one where finite-amplitude oscillations persist although there is no Hopf bifurcation from the static solution. This transition is associated with a codimension-two bifurcation with a pair of zero eigenvalues. We show that the bifurcation pattern found for the PDEs is indeed predicted by the second-order normal form equation (with cubic nonlinearities) for a Takens-Bogdanov bifurcation with Z2 symmetry. We then extend this equation by adding quintic nonlinearities and analyse the resulting system. Its predictions provide a qualitatively accurate description of solutions of the full PDEs over a wider range of parameter values. Replacing the reflecting (Z2) lateral boundary conditions with periodic [O(2)] boundaries allows stable travelling wave and modulated wave solutions to appear; they could be described by a third-order system

Vicious walkers, friendly walkers and Young tableaux II: With a wall

We derive new results for the number of star and watermelon configurations of vicious walkers in the presence of an impenetrable wall by showing that these follow from standard results in the theory of Young tableaux, and combinatorial descriptions of symmetric functions. For the problem of $n$-friendly walkers, we derive exact asymptotics for the number of stars and watermelons both in the absence of a wall and in the presence of a wall.Comment: 35 pages, AmS-LaTeX; Definitions of n-friendly walkers clarified; the statement of Theorem 4 and its proof were correcte