Strong Normalizability of Typed Lambda-Calculi for Substructural Logics

The strong normalization theorem is uniformly proved for typed λ-calculi for a wide range of substructural logics with or without strong negation. We would like to thank the referees for their valuable comments and suggestions. This research was supported by the Alexander von Humboldt Foundation. The second author is grateful to the Foundation for providing excellent working conditions and generous support of this research. This work was also supported by the Japanese Ministry of Education, Culture, Sports, Science and Technology, Grant-in-Aid for Young Scientists (B) 20700015, 2008.     

Uniform Convergence of Discrete Curvatures from Nets of Curvature Lines

We study discrete curvatures computed from nets of curvature lines on a given smooth surface and prove their uniform convergence to smooth principal curvatures. We provide explicit error bounds, with constants depending only on properties of the smooth limit surface and the shape regularity of the discrete net.     

The Poincaré series of divisorial valuations in the plane defines the topology of the set of divisors

With a plane curve singularity one associates a multi-index filtration on the ring of germs of functions of two variables defined by the orders of a function on irreducible components of the curve. The Poincaré series of this filtration turns out to coincide with the Alexander polynomial of the curve germ. For a finite set of divisorial valuations on the ring corresponding to some components of the exceptional divisor of a modification of the plane, in a previous paper there was obtained a formula for the Poincaré series of the corresponding multi-index filtration similar to the one associated with plane germs. Here we show that the Poincaré series of a set of divisorial valuations on the ring of germs of functions of two variables defines “the topology of the set of the divisors” in the sense that it defines the minimal resolution of this set up to combinatorial equivalence. For the plane curve singularity case, we also give a somewhat simpler proof of the statement by Yamamoto which shows that the Alexander polynomial is equivalent to the embedded topology.     

Schur positivity and the <Emphasis Type="Italic">q</Emphasis>-log-convexity of the Narayana polynomials

We prove two recent conjectures of Liu and Wang by establishing the strong q-log-convexity of the Narayana polynomials, and showing that the Narayana transformation preserves log-convexity. We begin with a formula of Brändén expressing the q-Narayana numbers as a specialization of Schur functions and, by deriving several symmetric function identities, we obtain the necessary Schur-positivity results. In addition, we prove the strong q-log-concavity of the q-Narayana numbers. The q-log-concavity of the q-Narayana numbers N _q (n,k) for fixed k is a special case of a conjecture of McNamara and Sagan on the infinite q-log-concavity of the Gaussian coefficients.     

Maximum Principle of Optimal Control of the Primitive Equations of the Ocean with Two Point Boundary State Constraint

We consider a class of stochastic impulse control problems of general stochastic processes i.e. not necessarily Markovian. Under fairly general conditions we establish existence of an optimal impulse control. We also prove existence of combined optimal stochastic and impulse control of a fairly general class of diffusions with random coefficients. Unlike, in the Markovian framework, we cannot apply quasi-variational inequalities techniques. We rather derive the main results using techniques involving reflected BSDEs and the Snell envelope.     

Lower Bounds for Dimensions of Sums of Sets

We study lower bounds for the Minkowski and Hausdorff dimensions of the algebraic sum E+K of two sets E,K⊂ℝ ^d .     

On the Existence of Optimal Unions of Subspaces for Data Modeling and Clustering

Given a set of vectors F={f ₁,…,f _m } in a Hilbert space H\mathcal {H}, and given a family C\mathcal {C} of closed subspaces of H\mathcal {H}, the subspace clustering problem consists in finding a union of subspaces in C\mathcal {C} that best approximates (is nearest to) the data F. This problem has applications to and connections with many areas of mathematics, computer science and engineering, such as Generalized Principal Component Analysis (GPCA), learning theory, compressed sensing, and sampling with finite rate of innovation. In this paper, we characterize families of subspaces C\mathcal {C} for which such a best approximation exists. In finite dimensions the characterization is in terms of the convex hull of an augmented set C⁺\mathcal {C}^{+}. In infinite dimensions, however, the characterization is in terms of a new but related notion; that of contact half-spaces. As an application, the existence of best approximations from π(G)-invariant families C\mathcal {C} of unitary representations of Abelian groups is derived.     

On the inapproximability of <Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">G</Emphasis>/<Emphasis Type="Italic">K</Emphasis>: why two moments of job size distribution are not enough

The M/G/K queueing system is one of the oldest models for multiserver systems and has been the topic of performance papers for almost half a century. However, even now, only coarse approximations exist for its mean waiting time. All the closed-form (nonnumerical) approximations in the literature are based on (at most) the first two moments of the job size distribution. In this paper we prove that no approximation based on only the first two moments can be accurate for all job size distributions, and we provide a lower bound on the inapproximability ratio, which we refer to as “the gap.” This is the first such result in the literature to address “the gap.” The proof technique behind this result is novel as well and combines mean value analysis, sample path techniques, scheduling, regenerative arguments, and asymptotic estimates. Finally, our work provides insight into the effect of higher moments of the job size distribution on the mean waiting time.     

Non-Walker Self-Dual Neutral Einstein Four-Manifolds of Petrov Type III

The local structure of the manifolds named in the title is described. Although curvature homogeneous, they are not, in general, locally homogeneous. Not all of them are Ricci-flat, which answers an existence question about type III Jordan-Osserman metrics, raised by Díaz-Ramos, García-Río and Vázquez-Lorenzo (J. Geom. Anal. 16, 39–52, 2006). Work begun during the author’s visit to the University of Santiago de Compostela, supported by Grant MTM2006-01432 (Spain).     

Local Geometry of Levi-Forms Associated with the Existence of Complex Submanifolds and the Minimality of Generic CR Manifolds

Let M be a generic CR manifold in \BbbC^m+d\Bbb{C}^{m+d} of codimension d, locally given as the common zero set of real-valued functions r ¹,…,r ^d . Given an integer δ=1,…,d, we find a necessary and sufficient condition for M to contain a real submanifold of codimension δ with the same CR structure. We also find a necessary and sufficient condition and several sufficient conditions for M to admit a complex submanifold of complex dimension n, for any n=1,…,m. We use the method of prolongation of an exterior differential system. The conditions are systems of partial differential equations on r ¹,…,r ^d of third order.     

Density of the polynomials in Hardy and Bergman spaces of slit domains

It is shown that for any t, 0<t<∞, there is a Jordan arc Γ with endpoints 0 and 1 such that G\{1} í \mathbbD:={z:|z| < 1}\Gamma\setminus\{1\}\subseteq\mathbb{D}:=\{z:|z|<1\} and with the property that the analytic polynomials are dense in the Bergman space \mathbbA^t(\mathbbD\G)\mathbb{A}^{t}(\mathbb{D}\setminus\Gamma) . It is also shown that one can go further in the Hardy space setting and find such a Γ that is in fact the graph of a continuous real-valued function on [0,1], where the polynomials are dense in H^t(\mathbbD\G)H^{t}(\mathbb{D}\setminus\Gamma) ; improving upon a result in an earlier paper.     

Log-convexity properties of Schur functions and generalized hypergeometric functions of matrix argument

We establish a positivity property for the difference of products of certain Schur functions, s _λ (x), where λ varies over a fundamental Weyl chamber in ? ⁿ and x belongs to the positive orthant in ? ⁿ . Further, we generalize that result to the difference of certain products of arbitrary numbers of Schur functions. We also derive a log-convexity property of the generalized hypergeometric functions of two Hermitian matrix arguments, and we show how that result may be extended to derive higher-order log-convexity properties.     

The Intrinsic Diameter of the Surface of a Parallelepiped

In the paper we obtain an explicit formula for the intrinsic diameter of the surface of a rectangular parallelepiped in 3-dimensional Euclidean space. As a consequence, we prove that an parallelepiped with relation for its edge lengths has maximal surface area among all rectangular parallelepipeds with given intrinsic diameter.     

On the order of a non-abelian representation group of a slim dense near hexagon

In this paper we study the possible orders of a non-abelian representation group of a slim dense near hexagon. We prove that if the representation group R of a slim dense near hexagon S is non-abelian, then R is a 2-group of exponent 4 and |R|=2 ^β , 1+NPdim(S)≤β≤1+dimV(S), where NPdim(S) is the near polygon embedding dimension of S and dimV(S) is the dimension of the universal representation module V(S) of S. Further, if β=1+NPdim(S), then R is necessarily an extraspecial 2-group. In that case, we determine the type of the extraspecial 2-group in each case. We also deduce that the universal representation group of S is a central product of an extraspecial 2-group and an abelian 2-group of exponent at most 4. This work was partially done when B.K. Sahoo was a Research Fellow at the Indian Statistical Institute, Bangalore Center with NBHM fellowship, DAE Grant 39/3/2000-R&D-II, Govt. of India.     

Role of Relative <Emphasis Type="Italic">A</Emphasis>-Maximal Monotonicity in Overrelaxed Proximal-Point Algorithms with Applications

A general framework for a class of overrelaxed proximal point algorithms based on the notion of relative A-maximal monotonicity is introduced; then, the convergence analysis for solving a general class of nonlinear variational inclusion problems is explored. The framework developed in this communication is quite suitable, unlike other existing notions of generalized maximal monotonicity, including A-maximal (m)-relaxed monotonicity in literature, to generalize first-order nonlinear evolution equations/evolution inclusions based on the generalized nonlinear Yosida approximations in Hilbert spaces as well as in Banach spaces.     

Magnetically-Induced Buckling of a Whirling Conducting Rod with Applications to Electrodynamic Space Tethers

We study the effect of a magnetic field on the behaviour of a slender conducting elastic structure, motivated by stability problems of electrodynamic space tethers. Both static (buckling) and dynamic (whirling) instability are considered and we also compute post-buckling configurations. The equations used are the geometrically exact Kirchhoff equations. Magnetic buckling of a welded rod is found to be described by a surprisingly degenerate bifurcation, which is unfolded when both transverse anisotropy of the rod and angular velocity are considered. By solving the linearised equations about the (quasi-) stationary solutions, we find various secondary instabilities. Our results are relevant for current designs of electrodynamic space tethers and potentially for future applications in nano- and molecular wires.     

On localizations of the characteristic classes of ℓ-adic sheaves and conductor formula in characteristic p > 0

Abbes, Kato and Saito generalize the Grothendieck-Ogg-Shafarevich formula to an arbitrary dimension (Kato and Saito in Ann. Math. 168:33–96, 2008; Abbes and Saito in Invent. Math. 168:567–612, 2007). In this paper, assuming the strong resolution of singularities, we prove a localized version of a formula proved using the characteristic class of an ?-adic sheaf by Abbes and Saito (Invent Math 168:567–612, 2007). We prove a localized version of the Lefschetz-Verdier trace formula proved in Grothendieck (Formule de Lefschetz, exposé III, SGA 5, Lect. Notes Math., vol 589, pp 372–406, Exp. X, Springer, Berlin, 1977 [Théorème 4.4]). As an application, we prove a conductor formula in an arbitrary dimension in the equal characteristic case.