Addendum to “Drinfeld Realization of Twisted Quantum Affine Algebras”

We provide necessary details to several arguments that appeared in our previous paper “Drinfeld Realization of Twisted Quantum Affine Algebras,” Commun. Algebra 35 (2007) 3683–3698.     

The Polynomial Behavior of Weight Multiplicities for the Affine Kac–Moody Algebras A(1)r

We prove that the multiplicity of an arbitrary dominant weight for an irreducible highest weight representation of the affine Kac–Moody algebra A ⁽¹⁾ _r is a polynomial in the rank r. In the process we show that the degree of this polynomial is less than or equal to the depth of the weight with respect to the highest weight. These results allow weight multiplicity information for small ranks to be transferred to arbitrary ranks.     

A Frobenius–Schur Theorem for Hopf Algebras

We prove a version of the Frobenius–Schur theorem for a finite-dimensional semisimple Hopf algebra H over an algebraically closed field; if the field has characteristic p not 0, H is also assumed to be cosemisimple. Then for each irreducible representation V of H, we define a Schur indicator for V, which reduces to the classical Schur indicator when H is the group algebra of a finite group. We prove that this indicator is 0 if and only if V is not self-dual. If V is self dual, then the indicator is positive (respectively, negative) if and only if V admits a nondegenerate bilinear symmetric (resp., skew-symmetric) H-invariant form. A more general result is proved for algebras with involution.     

A Taylor–Wiles System for Quaternionic Hecke Algebras

Let &ell >3 be a prime. Fix a regular character of F&^{2 ×} of order &–1, and an integer M prime to &. Let fS ₂(₀(M&²)) be a newform which is supercuspidal of type at &. For an indefinite quaternion algebra over Q of discriminant dividing the level of f, there is a local quaternionic Hecke algebra T of type associated to f. The algebra T acts on a quaternionic cohomological module M. We construct a Taylor–Wiles system for M, and prove that T is the universal object for a deformation problem (of type at & and semi-stable outside) of the Galois representation ¯ _f over F¯_& associated to f; that T is complete intersection and that the module M is free of rank 2 over T. We deduce a relation between the quaternionic congruence ideal of type for f and the classical one.     

A Complete Formulation of the Baum–Connes Conjecture for the Action of Discrete Quantum Groups

We formulate a version of the Baum–Connes conjecture for a discrete quantum group, building on our earlier work. Given such a quantum group , we construct a directed family -algebras (F varying over some suitable index set), borrowing the ideas of Cuntz such that there is a natural action of satisfying the assumptions of Goswami and Kuku which makes it possible to define the analytical assembly map, say , i= 0, 1, as in our previous work, from the -equivariant K-homolgy groups of to the K-theory groups of the reduced dual (c.f. [9] and the references therein for more details). As a result, we can define the Baum–Connes maps , and in the classical case, i.e. when for a discrete group, the isomorphism of the above maps for i= 0, 1 is equivalent to the Baum–Connes conjecture. Furthermore, we verify its truth for an arbitrary finite-dimensional quantum group and obtain partial results for the dual of (2).     

A Hybrid Micro­Macro­Model for the Description of Evolving Anisotropy in Finite Polycrystal Plasticity

The paper outlines recent developments of an efficient computational micro-macro modeling of evolving anisotropies in metallic polycrystals. Main focus is put onto large strain deformation processes where the anisotropy is caused by developments of crystallographic texture. We construct a hybrid micro-macro framework that mixes ingredients of a purely macroscopic modeling with scale bridging operations of selected micromechanisms. On the micromechanical side, we develop a new algorithmic procedure to capture the crystal reorientation for evolving fcc and bcc textures based on a parametrization of rotations in the Rodigues space. The computational model provides a fast and robust method for the estimation of evolving textures. This computational tool for texture estimation is incorporated in a modular format into a micro-macro-model, where it governs the evolution of macrostructural tensors due to texture development. The general framework for the hybrid embedding is a purely phenomenological setting of anisotropic finite plasticity in the logarithmic strain space. The model provides an efficient and computationally handable two-scale approach for the prediction of effects caused by complex microstructural changes in polycrystals. The capability of the proposed method is demonstrated by means of representative numerical examples. (© 2010 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Completeness for μ-calculi: A coalgebraic approach

We set up a generic framework for proving completeness results for variants of the modal mu-calculus, using tools from coalgebraic modal logic. We illustrate the method by proving two new completeness results: for the graded mu-calculus (which is equivalent to monadic second-order logic on the class of unranked tree models), and for the monotone modal mu-calculus.Besides these main applications, our result covers the Kozen–Walukiewicz completeness theorem for the standard modal mu-calculus, as well as the linear-time mu-calculus and modal fixpoint logics on ranked trees. Completeness of the linear-time mu-calculus is known, but the proof we obtain here is different and places the result under a common roof with Walukiewicz' result.Our approach combines insights from the theory of automata operating on potentially infinite objects, with methods from the categorical framework of coalgebra as a general theory of state-based evolving systems. At the interface of these theories lies the notion of a coalgebraic modal one-step language. One of our main contributions here is the introduction of the novel concept of a disjunctive basis for a modal one-step language. Generalizing earlier work, our main general result states that in case a coalgebraic modal logic admits such a disjunctive basis, then soundness and completeness at the one-step level transfer to the level of the full coalgebraic modal mu-calculus.     

Correction: “A contamination carrying criterion for branched surfaces”

In this paper we correct a previous paper (Oertel and ?wi a? tkowski, Ann Global Anal Geom 34(2):135–152, 2008), which gives sufficient conditions for a branched surface embedded in a closed 3-manifold to carry a “contamination.” Such a contamination, in special cases, represents a contact structure, and every contact structure is represented by a contamination. The correction is of a technical nature; the ideas in the previous paper remain valid. We also present a generalization of the carrying criterion to branched surfaces with boundary.     

Exponentially Small Splitting for the Pendulum: A Classical Problem Revisited

In this paper, we study the classical problem of the exponentially small splitting of separatrices of the rapidly forced pendulum. Firstly, we give an asymptotic formula for the distance between the perturbed invariant manifolds in the so-called singular case and we compare it with the prediction of Melnikov theory. Secondly, we give exponentially small upper bounds in some cases in which the perturbation is bigger than in the singular case and we give some heuristic ideas how to obtain an asymptotic formula for these cases. Finally, we study how the splitting of separatrices behaves when the parameters are close to a codimension-2 bifurcation point.     

A defect-correction method for unsteady conduction convection problems Ⅰ:spatial discretization

In this paper, a semi-discrete defect-correction mixed finite element method (MFEM) for solving the non-stationary conduction-convection problems in two dimension is presented. In this method, we solve the nonlinear equations with an added artificial viscosity term on a finite element grid and correct this solutions on the same grid using a linearized defect-correction technique. The stability and the error analysis are derived. The theory analysis shows that our method is stable and has a good convergence ...     

Prediction logic: A method for empirical evaluation of formal theory†

This paper proposes an approach to data analysis that assists the investigator in discriminating among specific relations corresponding to alternative scientific predictions about qualitative variates.     

αBB: A global optimization method for general constrained nonconvex problems

A branch and bound global optimization method,BB, for general continuous optimization problems involving nonconvexities in the objective function and/or constraints is presented. The nonconvexities are categorized as being either of special structure or generic. A convex relaxation of the original nonconvex problem is obtained by (i) replacing all nonconvex terms of special structure (i.e. bilinear, fractional, signomial) with customized tight convex lower bounding functions and (ii) by utilizing the parameter as defined in [17] to underestimate nonconvex terms of generic structure. The proposed branch and bound type algorithm attains finite-convergence to the global minimum through the successive subdivision of the original region and the subsequent solution of a series of nonlinear convex minimization problems. The global optimization method,BB, is implemented in C and tested on a variety of example problems.