Norming subspaces isomorphic to ℓ 1

Norming subspaces are studied widely in the duality theory of Banach spaces. These subspaces are applied to the Borel and Baire classifications of the inverse operators. The main result of this article asserts that the dual of a Banach space X contains a norming subspace isomorphic to l₁ provided that the following two conditions are satisfied: (1) X^* contains a subspace isomorphic to l₁; and (2) X^* contains a separable norming subspace.     

How hard is it to tell which is a Condorcet committee?

This paper establishes the computational complexity status for a problem of deciding on the quality of a committee. Starting with individual preferences over alternatives, we analyse when it can be determined efficiently if a given committee C$C$ satisfies a weak (resp. strong) Condorcet criterion–i.e., if C$C$ is at least as good as (resp. better than) every other committee in a pairwise majority comparison. Scoring functions used in classic voting rules are adapted for these comparisons. In particular, we draw the sharp separation line between computationally tractable and intractable instances with respect to different voting rules. Finally, we show that deciding if there exists a committee which satisfies the weak (resp. strong) Condorcet criterion is computationally hard.     

Almost Euclidean subspaces of ℓ 1 N VIA expander codes

We give an explicit (in particular, deterministic polynomial time) construction of subspaces X⊆ℝ ^N of dimension (1−o(1))N such that for every x∈X,

The ∀∃-theory of the effectively closed Medvedev degrees is decidable

We show that there is a computable procedure which, given an ??-sentence ${\varphi}$ in the language of the partially ordered sets with a top element 1 and a bottom element 0, computes whether ${\varphi}$ is true in the Medvedev degrees of ${\Pi^0_1}$ classes in Cantor space, sometimes denoted by ${\mathcal{P}_s}$ .     

On projective tensor products with complemented subspaces isomorphic to ℓ1(*)

We give new sufficient conditions in order that a projective tensor product of Banach spaces contains complemented copies of ?¹, which provides us new examples of this situation.     

On ?-optimal points of convex, closed functions

The paper gives an estimate for the Hilbert space distance from a ?-optimal point to the minimum point of a convex, closed function, the subdifferential of which is a strongly monotone operator in its definition domain. Also, the Hausdorff distance between the ?-optimal points of the Tikhonov functions in the non-correct problems of mathematical programming is estimated.     

Norm-one projections onto subspaces of finite codimension in ℓ1 andc 0

We study 1-complemented subspaces of the sequence spaces ₁ andc ₀. In ₁, 1-complemented subspaces of codimensionn are those which can be obtained as intersection ofn 1-complemented hyperplanes. Inc ₀, we prove a characterization of 1-complemented subspaces of finite codimension in terms of intersection of hyperplanes.Work prepared under the auspices of GNAFA-CNR (National Council of Research) and Minister of Public Instruction of Italy.     

Isomorphisms and projections for quotient-spaces of ℒ1-spaces by their reflexive subspaces

Let Z₁=X₁/E₁ and Z₂=X₂/E₂, where X₁ and X₂ are ₁-spaces, E₁cX₁, E₂c X₂. In this paper we study the following questions: 1) under what conditions are Z₁ and Z₂ isomorphic; 2) under what conditions is Z₁ isomorphic to a complemented subspace of Z₂. Some results: (a) if E₁ and E₂ are reflexive and Z₁. is isomorphic to Z₂, then one of the spaces E₁ E₂ is isomorphic to the product of the other by a finite-dimensional space; (b) if is a circle), E₁=H and E₂ is reflexive and X₂=Y^* for some Y, then it is impossible to imbed Z₁ in Z₂ as a complemented subspace.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 73, pp. 91–101, 1977.     

To what extent is a large space of matrices not closed under product?

Let (K) be a field. Given an arbitrary linear subspace V of M_n(K) of codimension less than n-1, a classical result states that V generates the (K)-algebra M_n(K). Here, we strengthen this statement in three ways: we show that M_n(K) is spanned by the products of the form AB with (A,B)∈V²; we prove that every matrix in M_n(K) can be decomposed into a product of matrices of V; finally, when V is a linear perplane of M_n(K) and n>2, we show that every matrix in M_n(K) is a product of two elements of V.     

Classification theory for non-elementary classes I: The number of uncountable models ofψ ∈L ω_1, ω. Part A

Assuming that 2^Nn < 2^Nn+1 forn < ω, we prove that everyψ ∈L _{ω_1, ω} has many non-isomorphic models of powerN _n for somen>0or has models in all cardinalities. We can conclude that every such Ψ has at least 2 _N 1 non-isomorphic uncountable models. As for the more vague problem of classification, restricting ourselves to the atomic models of some countableT (we can reduce general cases to this) we find a cutting line named “excellent”. Excellent classes are well understood and are parallel to totally transcendental theories, have models in all cardinals, have the amalgamation property, and satisfy the Los conjecture. For non-excellent classes we have a non-structure theorem, e.g., if they have an uncountable model then they have many non-isomorphic ones in someN _n (provided {ie212-7}).     

A predual of a predual of B_σ and its applications to commutators

A predual of B_σ-spaces is investigated. A predual of a predual of B_σ-spaces is also investigated,which can be used to investigate the boundedness property of the commutators. The relation between Herz spaces and local Morrey spaces is discussed. As an application of the duality results, one obtains the boundedness of the singular integral operators, the Hardy-Littlewood maximal operators and the fractional integral operators, as well as the commutators generated by the bounded mean oscillation(BMO) and the singular integral operators.What is new in this paper is that we do not have to depend on the specific structure of the operators. The results on the boundedness of operators are formulated in terms of B_σ-spaces and B_σ-spaces together with the detailed comparison of the ones in Herz spaces and local Morrey spaces. Another application is the nonsmooth atomic decomposition adapted to B_σ-spaces.     

What part of the concept of acceleration is difficult to understand: the mathematics, the physics, or both?

In this paper, details of student difficulties in understanding the concept of acceleration and the mathematical and physical/intuitive sources of these are delineated by utilizing the teaching experiment methodology. As a result of the study, two anchoring analogies are proposed that can be used as a diagnostic tool for students’ alternative conceptions. These can be used in teaching to highlight the peculiarity of acceleration concept. This study portrays how seeing acceleration as ‘rate of change’ of a quantity (velocity) and recognizing the consequences of such a definition are hindered in certain ways which in turn negatively affect learning the concept of force. This is also an example that illustrates that a rather “simple” mathematical concept (i.e., rate of change) for the expert can become a complex phenomenon when embedded in a physical concept (i.e., acceleration) which is consistently found to be as a misconception among learners at various levels that is widely occurring and very resistant to change.     

L 1 (μ, X) as a constrained subspace of its bidual

In this note we consider the property of being constrained in the bidual, for the space of Bochner integrable functions. For a Banach spaceX having the Radon-Nikodym property and constrained in its bidual and forY ⊂ X, under a natural assumption onY, we show thatL ¹ (μ, X/Y) is constrained in its bidual andL ¹ (μ, Y) is a proximinal subspace ofL ¹(μ, X). As an application of these results, we show that, ifL ¹(μ, X) admits generalized centers for finite sets and ifY ⊂ X is reflexive, thenL ¹ μ, X/Y) also admits generalized centers for finite sets.     

Π r P1-bundle from which a surjective morphism to Π m P1 exists

Let : X Y be a morphism of smooth projective varieties over an algebraically closed field k of characteristic not equal to 2 whose closed fibres are all isomorphic to ^r P¹ and let ': X ^r P¹ be a surjective morphism. This article gives a sufficient condition concerning ' and Y under which X is isomorphic to Y× ^r P¹.     

The （G＇/G, 1/G）-expansion method and its application to travelling wave solutions of the Zakharov equations

The （G＇/G, 1/G）-expansion method for finding exact travelling wave solutions of nonlinear evolution equations, which can be thought of as an extension of the （G＇/G）-expansion method proposed recently, is presented. By using this method abundant travelling wave so- lutions with arbitrary parameters of the Zakharov equations are successfully obtained. When the parameters are replaced by special values, the well-known solitary wave solutions of the equations are rediscovered from the travelling waves.     

An improved Hardy-Sobolev inequality in W 1,p and its application to Schrödinger operators

In this paper we prove new Hardy-like inequalities with optimal potential singularities for functions in W^1,p(Ω), where Ω is either bounded or the whole space and also some extensions to arbitrary Riemannian manifolds. We also study the spectrum of perturbed Schr?dinger operators for perturbations which are just below the optimality threshold for the corresponding Hardy inequality.     

Invariant subrings of ℂ[X,Y,Z] which are complete intersections

It is known that for every finite subgroup G of SL(2,), the invariant subring [X,Y]^G is a hyper-surface. In this note we treat finite subgroups of SL(3,) and give complete classification of the finite subgroups of SL(3,) whose invariant subrings are complete intersections.     

Given a one-step numerical scheme,on which ordinary differential equations is it exact?

A necessary condition for a (non-autonomous) ordinary differential equation to be exactly solved by a one-step, finite difference method is that the principal term of its local truncation error be null. A procedure to determine some ordinary differential equations exactly solved by a given numerical scheme is developed. Examples of differential equations exactly solved by the explicit Euler, implicit Euler, trapezoidal rule, second-order Taylor, third-order Taylor, van Niekerk’s second-order rational, and van Niekerk’s third-order rational methods are presented.