Smoothness,asymptotic smoothness and the Blum-Hanson property

We isolate various sufficient conditions for a Banach space X to have the so-called Blum-Hanson property. In particular, we show that X has the Blum-Hanson property if either the modulus of asymptotic smoothness of X has an extremal behaviour at infinity, or if X is uniformly Gâteaux smooth and embeds isometrically into a Banach space with a 1-unconditional finite-dimensional decomposition.     

Non-associative Ore extensions

We introduce non-associative Ore extensions, S = R[X; σ, δ], for any nonassociative unital ring R and any additive maps σ, δ: R → R satisfying σ(1) = 1 and δ(1) = 0. In the special case when δ is either left or right R _δ -linear, where R _δ = ker(δ), and R is δ-simple, i.e. {0} and R are the only δ-invariant ideals of R, we determine the ideal structure of the nonassociative differential polynomial ring D = R[X; id _R , δ]. Namely, in that case, we show that all non-zero ideals of D are generated by monic polynomials in the center Z(D) of D. We also show that Z( _D ) = R _δ [p] for a monic p ∈ R _δ [X], unique up to addition of elements from Z(R) _δ . Thereby, we generalize classical results by Amitsur on differential polynomial rings defined by derivations on associative and simple rings. Furthermore, we use the ideal structure of D to show that D is simple if and only if R is δ-simple and Z(D) equals the field R _δ ∩ Z(R). This provides us with a non-associative generalization of a result by Öinert, Richter and Silvestrov. This result is in turn used to show a non-associative version of a classical result by Jordan concerning simplicity of D in the cases when the characteristic of the field R _δ ∩ Z(R) is either zero or a prime. We use our findings to show simplicity results for both non-associative versions of Weyl algebras and non-associative differential polynomial rings defined by monoid/group actions on compact Hausdorff spaces.     

On needed reals

Given a binary relationR, we call a subsetA of the range ofR R-adequate if for everyx in the domain there is someyεA such that (x, y)εR. Following Blass [4], we call a realη ”needed” forR if in everyR-adequate set we find an element from whichη is Turing computable. We show that every real needed for inclusion on the Lebesgue null sets,Cof(\(\mathcal{N}\)), is hyperarithmetic. Replacing “R-adequate” by “R-adequate with minimal cardinality” we get the related notion of being “weakly needed”. We show that it is consistent that the two notions do not coincide for the reaping relation. (They coincide in many models.) We show that not all hyperarithmetic reals are needed for the reaping relation. This answers some questions asked by Blass at the Oberwolfach conference in December 1999 and in [4].     

Planar Posets,Dimension, Breadth and the Number of Minimal Elements

In recent years, researchers have shown renewed interest in combinatorial properties of posets determined by geometric properties of its order diagram and topological properties of its cover graph. In most cases, the roots for the problems being studied today can be traced back to the 1970’s, and sometimes even earlier. In this paper, we study the problem of bounding the dimension of a planar poset in terms of the number of minimal elements, where the starting point is the 1977 theorem of Trotter and Moore asserting that the dimension of a planar poset with a single minimal element is at most 3. By carefully analyzing and then refining the details of this argument, we are able to show that the dimension of a planar poset with t minimal elements is at most 2t + 1. This bound is tight for t = 1 and t = 2. But for t ≥ 3, we are only able to show that there exist planar posets with t minimal elements having dimension t + 3. Our lower bound construction can be modified in ways that have immediate connections to the following challenging conjecture: For every d ≥ 2, there is an integer f(d) so that if P is a planar poset with dim(P) ≥ f(d), then P contains a standard example of dimension d. To date, the best known examples only showed that the function f, if it exists, satisfies f(d) ≥ d + 2. Here, we show that lim _d→∞ f(d)/d ≥ 2.     

Weighted Composition Operators on Spaces of Analytic Functions on the Complex Half-Plane

In this paper we will show how the boundedness condition for the weighted composition operators on a class of spaces of analytic functions on the open right complex half-plane called Zen spaces (which include the Hardy spaces and weighted Bergman spaces) can be stated in terms of Carleson measures and Bergman kernels. In Hilbertian setting we will also show how the norms of causal weighted composition operators on these spaces are related to each other and use it to show that an (unweighted) composition operator \(C_\varphi \) is bounded on a Zen space if and only if \(\varphi \) has a finite angular derivative at infinity. Finally, we will show that there is no compact composition operator on Zen spaces.     

How far can we go with Amitsur’s theorem in differential polynomial rings?

A well-known theorem by S. A. Amitsur shows that the Jacobson radical of the polynomial ring R[x] equals I[x] for some nil ideal I of R. In this paper, however, we show that this is not the case for differential polynomial rings, by proving that there is a ring R which is not nil and a derivation D on R such that the differential polynomial ring R[x;D] is Jacobson radical. We also show that, on the other hand, the Amitsur theorem holds for a differential polynomial ring R[x;D], provided that D is a locally nilpotent derivation and R is an algebra over a field of characteristic p > 0. The main idea of the proof introduces a new way of embedding differential polynomial rings into bigger rings, which we name platinum rings, plus a key part of the proof involves the solution of matrix theory-based problems.     

The dual space of <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> of a vector measure

For a vector measure ν having values in a real or complex Banach space and \({p \in}\) [1, ∞), we consider L ^p (ν) and \({L_{w}^{p}(\nu)}\), the corresponding spaces of p-integrable and scalarly p-integrable functions. Given μ, a Rybakov measure for ν, and taking q to be the conjugate exponent of p, we construct a μ-Köthe function space E _q (μ) and show it is σ-order continuous when p > 1. In this case, for the associate spaces we prove that L ^p (ν) ^×  = E _q (μ) and \({E_q(\mu)^\times = L_w^p(\nu)}\). It follows that \({L_p (\nu) ^{**} = L_w^p (\nu)}\). We also show that L ¹ (ν) ^×  may be equal or not to E _∞ (μ).     

Finitistic dimension and restricted injective dimension

We study the relations between finitistic dimensions and restricted injective dimensions. Let R be a ring and T a left R-module with A = End _R T. If _R T is selforthogonal, then we show that rid(T _A ) ? findim(A _A ) ? findim( _R T) + rid(T _A ). Moreover, if R is a left noetherian ring and T is a finitely generated left R-module with finite injective dimension, then rid(T _A ) ? findim(A _A ) ? fin.inj.dim( _R R)+rid(T _A ). Also we show by an example that the restricted injective dimensions of a module may be strictly smaller than the Gorenstein injective dimension.     

The structure of the Mitchell order—I

We isolate here a wide class of well-founded orders called tame orders, and show that each such order of cardinality at most κ can be realized as the Mitchell order on a measurable cardinal κ, from a consistency assumption weaker than o(κ) = κ⁺.     

Slow entropy for some smooth flows on surfaces

We study slow entropy in some classes of smooth mixing flows on surfaces. The flows we study can be represented as special flows over irrational rotations and under roof functions which are C² everywhere except one point (singularity). If the singularity is logarithmic asymmetric (Arnol’d flows), we show that in the scale a_n(t) = n(log n)^t slow entropy equals 1 (the speed of orbit growth is n log n) for a.e. irrational α. If the singularity is of power type (x^?γ, γ ∈ (0, 1)) (Kochergin flows), we show that in the scale a_n(t) = n^t slow entropy equals 1 + γ for a.e. α.We show moreover that for local rank one flows, slow entropy equals 0 in the n(log n)^t scale and is at most 1 for scale n^t. As a consequence we get that a.e. Arnol’d and a.e Kochergin flow is never of local rank one.     

Universal inequalities in Ehrhart theory

In this paper, we show the existence of universal inequalities for the h*-vector of a lattice polytope P, that is, we show that there are relations among the coefficients of the h*-polynomial that are independent of both the dimension and the degree of P. More precisely, we prove that the coefficients h* ₁ and h* ₂ of the h*-vector (h* ₀, h* ₁,..., h* _d) of a lattice polytope of any degree satisfy Scott’s inequality if h* ₃ = 0.     

Quasi-interpolation and outliers removal

In this work, we present a method that will allow us to remove outliers from a data set. Given the measurements of a function f = g + e on a set of sample points \(X \subset \mathbb {R}^{d}\), where \(g \in C^{M+1}(\mathbb {R}^{d})\) is the function of interest and e is the deviation from the function g. We will say that a sample point x ∈ X is an outlier if the difference e(x) = f(x) ? g(x) is large. We show that by analyzing the approximation errors on our sample set X, we may predict which of the sample points are outliers. Furthermore, we can identify outliers of very small deviations, as well as ones with large deviations.     

Some irreducibility and indecomposability results for truncated binomial polynomials of small degree

In this paper, we show that the truncated binomial polynomials defined by \(P_{n,k}(x)={\sum }_{j=0}^{k} {n \choose j} x^{j}\) are irreducible for each k≤6 and every n≥k+2. Under the same assumption n≥k+2, we also show that the polynomial P _n,k cannot be expressed as a composition P _n,k (x) = g(h(x)) with \(g \in \mathbb {Q}[x]\) of degree at least 2 and a quadratic polynomial \(h \in \mathbb {Q}[x]\). Finally, we show that for k≥2 and m,n≥k+1 the roots of the polynomial P _m,k cannot be obtained from the roots of P _n,k , where m≠n, by a linear map.     

The Compressed Annihilator Graph of a Commutative Ring

Let R be a commutative ring. In this paper, we introduce and study the compressed annihilator graph of R. The compressed annihilator graph of R is the graph AG_E(R), whose vertices are equivalence classes of zero-divisors of R and two distinct vertices [x] and [y] are adjacent if and only if ann(x)∪ann(y) ? ann(xy). For a reduced ring R, we show that compressed annihilator graph of R is identical to the compressed zero-divisor graph of R if and only if 0 is a 2-absorbing ideal of R. As a consequence, we show that an Artinian ring R is either local or reduced whenever 0 is a 2-absorbing ideal of R.     

Fast separation for the three-index assignment problem

A critical step in a cutting plane algorithm is separation, i.e., establishing whether a given vector x violates an inequality belonging to a specific class. It is customary to express the time complexity of a separation algorithm in the number of variables n. Here, we argue that a separation algorithm may instead process the vector containing the positive components of x,  denoted as supp(x),  which offers a more compact representation, especially if x is sparse; we also propose to express the time complexity in terms of |supp(x)|. Although several well-known separation algorithms exploit the sparsity of x,  we revisit this idea in order to take sparsity explicitly into account in the time-complexity of separation and also design faster algorithms. We apply this approach to two classes of facet-defining inequalities for the three-index assignment problem, and obtain separation algorithms whose time complexity is linear in |supp(x)| instead of n. We indicate that this can be generalized to the axial k-index assignment problem and we show empirically how the separation algorithms exploiting sparsity improve on existing ones by running them on the largest instances reported in the literature.     

Absolutely continuous spectrum of Stark operators

We prove several new results on the absolutely continuous spectra of perturbed one-dimensional Stark operators. First, we find new classes of perturbations, characterized mainly by smoothness conditions, which preserve purely absolutely continuous spectrum. Then we establish stability of the absolutely continuous spectrum in more general situations, where imbedded singular spectrum may occur. We present two kinds of optimal conditions for the stability of absolutely continuous spectrum: decay and smoothness. In the decay direction, we show that a sufficient (in the power scale) condition is |q(x)|≤C(1+|x|)^?1/4?ε; in the smoothness direction, a sufficient condition in Hölder classes isq∈C^1/2+ε(R). On the other hand, we show that there exist potentials which both satisfy |q(x)|≤C(1+|x|)^?1/4 and belong toC^1/2(R) for which the spectrum becomes purely singular on the whole real axis, so that the above results are optimal within the scales considered.     

New Applications of the <Emphasis Type="Italic">p</Emphasis>-Adic Nevanlinna Theory

Let IK be an algebraically closed field of characteristic 0 complete for an ultrametric absolute value. Following results obtained in complex analysis, here we examine problems of uniqueness for meromorphic functions having finitely many poles, sharing points or a pair of sets (C.M. or I.M.) defined either in the whole field IK or in an open disk, or in the complement of an open disk. Following previous works in C, we consider functions fⁿ(x)f^m(ax + b), gⁿ(x)g^m(ax + b) with |a| = 1 and n ≠ m, sharing a rational function and we show that f/g is a n + m-th root of 1 whenever n + m ≥ 5. Next, given a small function w, if n, m ∈ IN are such that |n ? m|_∞ ≥ 5, then fⁿ(x)f^m(ax + b) ? w has infinitely many zeros. Finally, we examine branched values for meromorphic functions fⁿ(x)f^m(ax + b).     

On a problem of impulse control under interference

This paper contains several results about the structure of the congruence kernel C^(S)(G) of an absolutely almost simple simply connected algebraic group G over a global field K with respect to a set of places S of K. In particular, we show that C^(S)(G)) is always trivial if S contains a generalized arithmetic progression. We also give a criterion for the centrality of C^(S)(G) in the general situation in terms of the existence of commuting lifts of the groups G(K_v) for v ? S in the S-arithmetic completion ?^(S). This result enables one to give simple proofs of the centrality in a number of cases. Finally, we show that if K is a number field and G is K-isotropic, then C^(S)(G) as a normal subgroup of ?^(S) is almost generated by a single element.     

Novel polynomial Bernstein bases and Bézier curves based on a general notion of polynomial blossoming

We introduce the G-blossom of a polynomial by altering the diagonal property of the classical blossom, replacing the identity function by arbitrary linear functions G=G(t). By invoking the G-blossom, we construct G-Bernstein bases and G-Bézier curves and study their algebraic and geometric properties. We show that the G-blossom provides the dual functionals for the G-Bernstein basis functions and we use this dual functional property to prove that G-Bernstein basis functions form a partition of unity and satisfy a Marsden identity. We also show that G-Bézier curves share several other properties with classical Bézier curves, including affine invariance, interpolation of end points, and recursive algorithms for evaluation and subdivision. We investigate the effect of the linear functions G on the shape of the corresponding G-Bézier curves, and we derive some necessary and sufficient conditions on the linear functions G which guarantee that the corresponding G-Bézier curves are of Pólya type and variation diminishing. Finally we prove that the control polygons generated by recursive subdivision converge to the original G-Bézier curve, and we derive the geometric rate of convergence of this algorithm.     

Continuity of topological entropy for perturbation of time-one maps of hyperbolic flows

In this paper we derive necessary and sufficient homological and cohomological conditions for profinite groups and modules to be of type FP_n over a profinite ring R, analogous to the Bieri–Eckmann criteria for abstract groups. We use these to prove that the class of groups of type FP_n is closed under extensions, quotients by subgroups of type FP_n, proper amalgamated free products and proper HNN-extensions, for each n. We show, as a consequence of this, that elementary amenable profinite groups of finite rank are of type FP_∞ over all profinite R. For any class C of finite groups closed under subgroups, quotients and extensions, we also construct pro-C groups of type FP_n but not of type FP_n+1 over Z_? for each n. Finally, we show that the natural analogue of the usual condition measuring when pro-p groups are of type FP_n fails for general profinite groups, answering in the negative the profinite analogue of a question of Kropholler.