On characters and formal degrees of discrete series of affine Hecke algebras of classical types

We address two fundamental questions in the representation theory of affine Hecke algebras of classical types. One is an inductive algorithm to compute characters of tempered modules, and the other is the determination of the constants in the formal degrees of discrete series (in the form conjectured by Reeder (J. Reine Angew. Math. 520:37–93, 2000)). The former is completely different from the Lusztig-Shoji algorithm (Shoji in Invent. Math. 74:239–267, 1983; Lusztig in Ann. Math. 131:355–408, 1990), and it is more effective in a number of cases. The main idea in our proof is to introduce a new family of representations which behave like tempered modules, but for which it is easier to analyze the effect of parameter specializations. Our proof also requires a comparison of the C ^∗-theoretic results of Opdam, Delorme, Slooten, Solleveld (J. Inst. Math. Jussieu 3:531–648, 2004; ; Int. Math. Res. Not., 2008; Adv. Math. 220:1549–1601, 2009; Acta Math. 205:105–187, 2010), and the geometric construction from Kato (Duke Math. J. 148:305–371, 2009; Am. J. Math. 133:518–553, 2011), Ciubotaru and Kato (Adv. Math. 226:1538–1590, 2011).     

On the convergence of Newton-type methods under mild differentiability conditions

We introduce the new idea of recurrent functions to provide a new semilocal convergence analysis for Newton-type methods, under mild differentiability conditions. It turns out that our sufficient convergence conditions are weaker, and the error bounds are tighter than in earlier studies in some interesting cases (Chen, Ann Inst Stat Math 42:387–401, 1990; Chen, Numer Funct Anal Optim 10:37–48, 1989; Cianciaruso, Numer Funct Anal Optim 24:713–723, 2003; Cianciaruso, Nonlinear Funct Anal Appl 2009; Dennis 1971; Deuflhard 2004; Deuflhard, SIAM J Numer Anal 16:1–10, 1979; Gutiérrez, J Comput Appl Math 79:131–145, 1997; Hernández, J Optim Theory Appl 109:631–648, 2001; Hernández, J Comput Appl Math 115:245–254, 2000; Huang, J Comput Appl Math 47:211–217, 1993; Kantorovich 1982; Miel, Numer Math 33:391–396, 1979; Miel, Math Comput 34:185–202, 1980; Moret, Computing 33:65–73, 1984; Potra, Libertas Mathematica 5:71–84, 1985; Rheinboldt, SIAM J Numer Anal 5:42–63, 1968; Yamamoto, Numer Math 51: 545–557, 1987; Zabrejko, Numer Funct Anal Optim 9:671–684, 1987; Zinc̆ko 1963). Applications and numerical examples, involving a nonlinear integral equation of Chandrasekhar-type, and a differential equation are also provided in this study.     

Order-Compactifications of Totally Ordered Spaces: Revisited

Order-compactifications of totally ordered spaces were described by Blatter (J Approx Theory 13:56–65, 1975) and by Kent and Richmond (J Math Math Sci 11(4):683–694, 1988). Their results generalize a similar characterization of order-compactifications of linearly ordered spaces, obtained independently by Fedorčuk (Soviet Math Dokl 7:1011–1014, 1966; Sib Math J 10:124–132, 1969) and Kaufman (Colloq Math 17:35–39, 1967). In this note we give a simple characterization of the topology of a totally ordered space, as well as give a new simplified proof of the main results of Blatter (J Approx Theory 13:56–65, 1975) and Kent and Richmond (J Math Math Sci 11(4):683–694, 1988). Our main tool will be an order-topological modification of the Dedekind-MacNeille completion. In addition, for a zero-dimensional totally ordered space X, we determine which order-compactifications of X are Priestley order-compactifications.     

Quasi-interpolatory refinable functions and construction of biorthogonal wavelet systems

We present a new family of compactly supported and symmetric biorthogonal wavelet systems. Each refinement mask in this family has tension parameter ω. When ω = 0, it becomes the minimal length biorthogonal Coifman wavelet system (Wei et al., IEEE Trans Image Proc 7:1000–1013, 1998). Choosing ω away from zero, we can get better smoothness of the refinable functions at the expense of slightly larger support. Though the construction of the new biorthogonal wavelet systems, in fact, starts from a new class of quasi-interpolatory subdivision schemes, we find that the refinement masks accidently coincide with the ones by Cohen et al. (Comm Pure Appl Math 45:485–560, 1992, §6.C) (or Daubechies 1992, §8.3.5), which are designed for the purpose of generating biorthogonal wavelets close to orthonormal cases. However, the corresponding mathematical analysis is yet to be provided. In this study, we highlight the connection between the quasi-interpolatory subdivision schemes and the masks by Cohen, Daubechies and Feauveau, and then we study the fundamental properties of the new biorthogonal wavelet systems such as regularity, stability, linear independence and accuracy.     

Deducing the multidimensional Szemerédi theorem from an infinitary removal lemma

We offer a new proof of the Furstenberg-Katznelson multiple recurrence theorem for several commuting probability-preserving transformations T ₁, T ₂, …, T _d : ℤ ↷ (X, ∑, μ) ([6]), and so, via the Furstenberg correspondence principle introduced in [5], a new proof of the multi-dimensional Szemerédi Theorem. We bypass the careful manipulation of certain towers of factors of a probability-preserving system that underlies the Furstenberg-Katznelson analysis, instead modifying an approach recently developed in [1] to pass to a large extension of our original system in which this analysis greatly simplifies. The proof is then completed using an adaptation of arguments developed by Tao in [13] for his study of an infinitary analog of the hypergraph removal lemma. In a sense, this addresses the difficulty, highlighted by Tao, of establishing a direct connection between his infinitary, probabilistic approach to the hypergraph removal lemma and the infinitary, ergodic-theoretic approach to Szemerédi’s Theorem set in motion by Furstenberg [5].     

Generalized Eisenstein series and several modular transformation formulae

B.C. Berndt (J. Reine Angew. Math. 272:182–193, 1975; 304:332–365, 1978) has derived a number of new transformation formulas, in particular, the transformation formulae of the logarithms of the classical theta functions, by using a transformation formula for a more general class of Eisenstein series. In this paper, we continue his study. By using a transformation formula for a class of twisted generalized Eisenstein series, we generalize a transformation formula given by J. Lehner (Duke Math. J. 8:631–655, 1941) and give a new proof for transformation formulas proved by Y. Yang (Bull. Lond. Math. Soc. 36:671–682, 2004). This work was supported by the Korea Research Foundation Grant funded by the Korean Government (MOEHRD) (KRF-2006-214-C00003). This work also partially supported by BK21-Postech CoDiMaRo.     

The Dirichlet Distribution and Process through Neutralities

A new characterization of the Dirichlet distribution, based on the notion of complete neutrality and a regression version of neutrality, is derived. It unifies earlier characterizations by James and Mosimann (Ann. Stat. 8, 183–189, 1980) and by Seshadri and Wesołowski (Sankhyā, A 65, 248–291, 2003). Also new results on identification of the Dirichlet process in the class of neutral-to-the-right processes are obtained. The proof of the main result makes an extensive use of the method of moments.     

Returns to scale in multiplicative models in data envelopment analysis

One class of models introduced in DEA is called multiplicative models, in which, as shown by Banker and Maindiratta (Manag. Sci. 32:126–135, 1986), the piecewise linear frontiers usually employed in DEA are replaced by a frontier that is piecewise Cobb-Douglas(=log  linear). Banker and Maindiratta (Manag. Sci. 32:126–135, 1986) introduced a model to identify the most productive scale size pattern, and Banker et al. (Eur. J. Oper. Res. 154:345–362, 2004) presented a two-stage method for the identification of returns to scale (RTS) in multiplicative models. In this paper it is shown that both the RTS situation and the MPSS pattern could be determined by a single model in one step. The new method is important in the computational point of view.     

Orbital stability of spherical galactic models

We consider the three dimensional gravitational Vlasov Poisson system which is a canonical model in astrophysics to describe the dynamics of galactic clusters. A well known conjecture (Binney, Tremaine in Galactic Dynamics, Princeton University Press, Princeton, 1987) is the stability of spherical models which are nonincreasing radially symmetric steady states solutions. This conjecture was proved at the linear level by several authors in the continuation of the breakthrough work by Antonov (Sov. Astron. 4:859–867, 1961). In the previous work (Lemou et al. in A new variational approach to the stability of gravitational systems, submitted, 2011), we derived the stability of anisotropic models under spherically symmetric perturbations using fundamental monotonicity properties of the Hamiltonian under suitable generalized symmetric rearrangements first observed in the physics literature (Lynden-Bell in Mon. Not. R. Astron. Soc. 144:189–217, 1969; Gardner in Phys. Fluids 6:839–840, 1963; Wiechen et al. in Mon. Not. R. Astron. Soc. 223:623–646, 1988; Aly in Mon. Not. R. Astron. Soc. 241:15, 1989). In this work, we show how this approach combined with a new generalized Antonov type coercivity property implies the orbital stability of spherical models under general perturbations.     

Spikes for the Gierer–Meinhardt System with Discontinuous Diffusion Coefficients

We rigorously prove results on spiky patterns for the Gierer–Meinhardt system (Kybernetik (Berlin) 12:30–39, 1972) with a jump discontinuity in the diffusion coefficient of the inhibitor. Using numerical computations in combination with a Turing-type instability analysis, this system has been investigated by Benson, Maini, and Sherratt (Math. Comput. Model. 17:29–34, 1993a; Bull. Math. Biol. 55:365–384, 1993b; IMA J. Math. Appl. Med. Biol. 9:197–213, 1992). Firstly, we show the existence of an interior spike located away from the jump discontinuity, deriving a necessary condition for the position of the spike. In particular, we show that the spike is located in one-and-only-one of the two subintervals created by the jump discontinuity of the inhibitor diffusivity. This localization principle for a spike is a new effect which does not occur for homogeneous diffusion coefficients. Further, we show that this interior spike is stable. Secondly, we establish the existence of a spike whose distance from the jump discontinuity is of the same order as its spatial extent. The existence of such a spike near the jump discontinuity is the second new effect presented in this paper. To derive these new effects in a mathematically rigorous way, we use analytical tools like Liapunov–Schmidt reduction and nonlocal eigenvalue problems which have been developed in our previous work (J. Nonlinear Sci. 11:415–458, 2001). Finally, we confirm our results by numerical computations for the dynamical behavior of the system. We observe a moving spike which converges to a stationary spike located in the interior of one of the subintervals or near the jump discontinuity.      

Convergence Properties of a Self-adaptive Levenberg-Marquardt Algorithm Under Local Error Bound Condition

We propose a new self-adaptive Levenberg-Marquardt algorithm for the system of nonlinear equations F(x) = 0. The Levenberg-Marquardt parameter is chosen as the product of ‖F_k‖^δ with δ being a positive constant, and some function of the ratio between the actual reduction and predicted reduction of the merit function. Under the local error bound condition which is weaker than the nonsingularity, we show that the Levenberg-Marquardt method converges superlinearly to the solution for δ∈ (0, 1), while quadratically for δ∈ [1, 2]. Numerical results show that the new algorithm performs very well for the nonlinear equations with high rank deficiency. This work is supported by Chinese NSFC grants 10401023 and 10501013, Research Grants for Young Teachers of Shanghai Jiao Tong University, and E-Institute of Shanghai Municipal Education Commission, N. E03004.     

Asymptotics of joint maxima for discontinuous random variables

This paper explores the joint extreme-value behavior of discontinuous random variables. It is shown that as in the continuous case, the latter is characterized by the weak limit of the normalized componentwise maxima and the convergence of any compatible copula. Illustrations are provided and an extension to the case of triangular arrays is considered which sheds new light on recent work of Coles and Pauli (Stat Probab Lett 54:373–379, 2001) and Mitov and Nadarajah (Extremes 8:357–370, 2005). This leads to considerations on the meaning of the bivariate upper tail dependence coefficient of Joe (Comput Stat Data Anal 16:279–297, 1993) in the discontinuous case.     

Rescaled Lotka–Volterra Models Converge to Super-Stable Processes

Recently, it has been shown that stochastic spatial Lotka–Volterra models, when suitably rescaled, can converge to a super-Brownian motion. We show that the limit process can be a super-stable process if the kernel of the underlying motion is in the domain of attraction of a stable law. The corresponding results in the Brownian setting were proved by Cox and Perkins (Ann. Probab. 33(3):904–947, 2005; Ann. Appl. Probab. 18(2):747–812, 2008). As applications of the convergence theorems, some new results on the asymptotics of the voter model started from single 1 at the origin are obtained, which improve the results by Bramson and Griffeath (Z. Wahrsch. Verw. Geb. 53:183–196, 1980).     

A filter inexact-restoration method for nonlinear programming

A new iterative algorithm based on the inexact-restoration (IR) approach combined with the filter strategy to solve nonlinear constrained optimization problems is presented. The high level algorithm is suggested by Gonzaga et al. (SIAM J. Optim. 14:646–669, 2003) but not yet implement—the internal algorithms are not proposed. The filter, a new concept introduced by Fletcher and Leyffer (Math. Program. Ser. A 91:239–269, 2002), replaces the merit function avoiding the penalty parameter estimation and the difficulties related to the nondifferentiability. In the IR approach two independent phases are performed in each iteration, the feasibility and the optimality phases. The line search filter is combined with the first one phase to generate a “more feasible” point, and then it is used in the optimality phase to reach an “optimal” point. Numerical experiences with a collection of AMPL problems and a performance comparison with IPOPT are provided.      

Efficient three-step iterative methods with sixth order convergence for nonlinear equations

In this paper, we present two new three-step iterative methods for solving nonlinear equations with sixth convergence order. The new methods are obtained by composing known methods of third order of convergence with Newton’s method and using an adequate approximation for the derivative, that provides high order of convergence and reduces the required number of functional evaluations per step. The first method is obtained from Potra-Pták’s method and the second one, from Homeier’s method, both reaching an efficiency index of 1.5651. Our methods are comparable with the method of Parhi and Gupta (Appl Math Comput 203:50–55, 2008). Methods proposed by Kou and Li (Appl Math Comput 189:1816–1821, 2007), Wang et al. (Appl Math Comput 204:14–19, 2008) and Chun (Appl Math Comput 190:1432–1437, 2007) reach the same efficiency index, although they start from a fourth order method while we use third order methods and simpler arithmetics. We prove the convergence results and check them with several numerical tests that allow us to compare the convergence order, the computational cost and the efficiency order of our methods with those of the original methods.     

Asymmetry of Convex Polytopes and Vertex Index of Symmetric Convex Bodies

In (Gluskin, Litvak in Geom. Dedicate 90:45–48, [2002]) it was shown that a polytope with few vertices is far from being symmetric in the Banach–Mazur distance. More precisely, it was shown that Banach–Mazur distance between such a polytope and any symmetric convex body is large. In this note we introduce a new, averaging-type parameter to measure the asymmetry of polytopes. It turns out that, surprisingly, this new parameter is still very large, in fact it satisfies the same lower bound as the Banach–Mazur distance. In a sense it shows the following phenomenon: if a convex polytope with small number of vertices is as close to a symmetric body as it can be, then most of its vertices are as bad as the worst one. We apply our results to provide a lower estimate on the vertex index of a symmetric convex body, which was recently introduced in (Bezdek, Litvak in Adv. Math. 215:626–641, [2007]). Furthermore, we give the affirmative answer to a conjecture by Bezdek (Period. Math. Hung. 53:59–69, [2006]) on the quantitative illumination problem.     

On Sears’s general transformation formula for basic hypergeometric series

We present a new proof of a general transformation formula for basic hypergeometric series that was discovered by D.B. Sears (Proc. Lond. Math. Soc. 53(2): 181–191, 1951) and discuss some special cases. Next we apply Sears’s general transformation to give an extension of a result of Andrews et al. (Duke Math. J. 108: 395–419, 2001).     

On Ulm’s method using divided differences of order one

We provide new sufficient convergence conditions for the semilocal convergence of Ulm’s method (Tzv Akad Nauk Est SSR 16:403–411, 1967) in order to approximate a locally unique solution of an equation in a Banach space setting. We show that in some cases, our hypotheses hold true but the corresponding ones in Burmeister (Z Angew Math Mech 52:101–110, 1972), Kornstaedt (Aequ Math 13:21–45, 1975), Moser (1973), and Potra and Pták (Cas Pest Mat 108:333–341, 1983) do not. We also show that under the same hypotheses and computational cost, finer error bounds can be obtained. Some error bounds are also shown to be sharp. Numerical examples are also provided further validating the results.     

On the well-posedness of the quasi-geostrophic equation in the Triebel-Lizorkin-Lorentz spaces

In this paper, we establish the local well-posedness for the quasi-geostrophic equations and obtain a blow-up criterion of smooth solutions in the framework of Triebel-Lizorkin-Lorentz spaces by adapting a method in Chen-Miao-Zhang (Arch. Rational Mech. Anal. 195: 2010, 561–578). Our new function spaces contain the classical Triebel-Lizorkin spaces and Sobolev spaces, and thus the corresponding results generalize several known ones, for instance, Chae (Nonlinearity 16: 2003, 479–495) and Castro et al. (Nonlinearity 22: 2009, 1791–1815). The main ingredients of our proofs are Littlewood–Paley decomposition and the paradifferential calculus.