On relaxations of contraction constants and Caristi’s theorem in <Emphasis Type="Italic">b</Emphasis>-metric spaces

In this paper, the following facts are stated in the setting of b-metric spaces.

1. (1)
   The contraction constant in the Banach contraction principle fully extends to [0, 1), but the contraction constants in Reich’s fixed point theorem and many other fixed point theorems do not fully extend to [0, 1), which answers the early stated question on transforming fixed point theorems in metric spaces to fixed point theorems in b-metric spaces.
    
2. (2)
   Caristi’s theorem does not fully extend to b-metric spaces, which is a negative answer to a recent Kirk–Shahzad’s question (Remark 12.6) [Fixed Point Theory in Distance Spaces. Springer, 2014].
    

     

Bishop’s theorem and differentiability of a subspace of <Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">b</Emphasis></Subscript>(<Emphasis Type="Italic">K</Emphasis>)

Let K be a Hausdorff space and C _b (K) be the Banach algebra of all complex bounded continuous functions on K. We study the Gateaux and Fréchet differentiability of subspaces of C _b (K). Using this, we show that the set of all strong peak functions in a nontrivial separating separable subspace H of C _b (K) is a dense G _δ subset of H, if K is compact. This gives a generalized Bishop’s theorem, which says that the closure of the set of all strong peak points for H is the smallest closed norming subset of H. The classical Bishop’s theorem was proved for a separating subalgebra H and a metrizable compact space K.     

Banaschewski’s theorem for <Emphasis Type="Italic">GMV</Emphasis>-algebras

Banaschewski’s theorem concerns subdirect product decompositions of lattice ordered groups. In the present paper we deal with the analogous investigation for the case of generalized MV -algebras (GMV -algebras, in short); we apply this notion in the sense studied by Galatos and Tsinakis.     

On blocks with <Emphasis Type="Italic">K</Emphasis>(<Emphasis Type="Italic">B</Emphasis>)−<Emphasis Type="Italic">L</Emphasis>(<Emphasis Type="Italic">B</Emphasis>)=1

We use the method of local representation and original method of Brauer to study the block with K(B)−L(B)=1, and get some properties on the defect group and the structure of this kind of blocks. Then, we show that K(B) conjecture holds for this kind of blocks.     

(<Emphasis Type="Italic">K</Emphasis>, <Emphasis Type="Italic">N</Emphasis>)-Convexity and the Curvature-Dimension Condition for Negative <Emphasis Type="Italic">N</Emphasis>

We extend the range of N to negative values in the (K, N)-convexity (in the sense of Erbar–Kuwada–Sturm), the weighted Ricci curvature \(\mathop {\mathrm {Ric}}\nolimits _N\) and the curvature-dimension condition \(\mathop {\mathrm {CD}}\nolimits (K,N)\). We generalize a number of results in the case of \(N>0\) to this setting, including Bochner’s inequality, the Brunn–Minkowski inequality and the equivalence between \(\mathop {\mathrm {Ric}}\nolimits _N \ge K\) and \(\mathop {\mathrm {CD}}\nolimits (K,N)\). We also show an expansion bound for gradient flows of Lipschitz (K, N)-convex functions.     

Congruences for Ramanujan’s <Emphasis Type="Italic">ω</Emphasis>(<Emphasis Type="Italic">q</Emphasis>)

Recently, Bruinier and Ono investigated the arithmetic of the coefficients of Ramanujan’s mock theta function ω(q). In Ramanujan J. (submitted) they obtained congruences with respect to the modulus 512. Here we show that ω(q) modulo 5 is dictated by an elliptic curve.     

Hypersurfaces of a Finsler space with a special (<Emphasis Type="Italic">α</Emphasis>, <Emphasis Type="Italic">β</Emphasis>)-metric

In the present paper we study the Finslerian hypersurfaces of a Finsler space with a special (α, β) metric, and examine the hypersurfaces of this special metric as a hyperplane of first, second and third kinds.     

The commutation relation <Emphasis Type="Italic">xy</Emphasis>=<Emphasis Type="Italic">qyx</Emphasis>+<Emphasis Type="Italic">hf</Emphasis>(<Emphasis Type="Italic">y</Emphasis>) and Newton’s binomial formula

Let x and y be two variables satisfying the commutation relation xy=qyx+hf(y), where f(y) is a polynomial. In this paper, using Young diagrams and generating functions techniques, we study the binomial formula (x+y) ⁿ and we present an identity for x ^m y. The connection to Operator Calculus is discussed and several special cases are treated explicitly.     

A theorem of the alternatives for the equation |<Emphasis Type="Italic">Ax</Emphasis>| − |<Emphasis Type="Italic">B</Emphasis>||<Emphasis Type="Italic">x</Emphasis>| = <Emphasis Type="Italic">b</Emphasis>

A theorem of the alternatives for the equation \({|Ax|-|B||x|=b\ (A,B\in{\mathbb{R}}^{n\times n},\, b\in{\mathbb{R}}^n)}\) is proved and several consequences are drawn. In particular, a class of matrices A, B is identified for which the equation has exactly 2 ⁿ solutions for each positive right-hand side b.     

An <Emphasis Type="Italic">R</Emphasis> = <Emphasis Type="Italic">T</Emphasis> theorem for imaginary quadratic fields

We prove the modularity of certain residually reducible p-adic Galois representations of an imaginary quadratic field assuming the uniqueness of the residual representation. We obtain an R = T theorem using a new commutative algebra criterion that might be of independent interest. To apply the criterion, one needs to show that the quotient of the universal deformation ring R by its ideal of reducibility is cyclic Artinian of order no greater than the order of the congruence module T/J, where J is an Eisenstein ideal in the local Hecke algebra T. The inequality is proven by applying the Main conjecture of Iwasawa Theory for Hecke characters and using a result of Berger [Compos Math 145(3):603–632, 2009]. This strengthens our previous result [Berger and Klosin, J Inst Math Jussieu 8(4):669–692, 2009] to include the cases of an arbitrary p-adic valuation of the L-value, in particular, cases when R is not a discrete valuation ring. As a consequence we show that the Eisenstein ideal is principal and that T is a complete intersection.     

An <Emphasis Type="Italic">L</Emphasis>-approach for packing (<Emphasis Type="Italic">ℓ</Emphasis>, <Emphasis Type="Italic">w</Emphasis>)-rectangles into rectangular and <Emphasis Type="Italic">L</Emphasis>-shaped pieces

This paper presents an approach using a recursive algorithm for packing (?, w)-rectangles into larger rectangular and L-shaped pieces. Such a problem has actual applications for non-guillotine cutting and pallet/container loading. Our motivation for developing the L-approach is based on the fact that it can solve difficult pallet loading instances. Indeed, it is able to solve all testing problems (more than 20 000 representatives of infinite equivalence classes of the literature), including the 18 hard instances unresolved by other heuristics. We conjecture that the L-approach always finds optimum packings of (?, w)-rectangles into rectangular pieces. Moreover, the approach may also be useful when dealing with cutting and packing problems involving L-shaped pieces.     

On <Emphasis Type="Italic">Saaty</Emphasis>’s and <Emphasis Type="Italic">Koczkodaj</Emphasis>’s inconsistencies of pairwise comparison matrices

The aim of the paper is to obtain some theoretical and numerical properties of Saaty’s and Koczkodaj’s inconsistencies of pairwise comparison matrices (PRM). In the case of 3 ×  3 PRM, a differentiable one-to-one correspondence is given between Saaty’s inconsistency ratio and Koczkodaj’s inconsistency index based on the elements of PRM. In order to make a comparison of Saaty’s and Koczkodaj’s inconsistencies for 4  ×  4 pairwise comparison matrices, the average value of the maximal eigenvalues of randomly generated n ×  n PRM is formulated, the elements a _ij (i < j) of which were randomly chosen from the ratio scale

On Analytic Campanato and <Emphasis Type="Italic">F</Emphasis>(<Emphasis Type="Italic">p</Emphasis>, <Emphasis Type="Italic">q</Emphasis>, <Emphasis Type="Italic">s</Emphasis>) Spaces

We investigate the relation between analytic Campanato spaces \(\mathcal {AL}_{p,s}\) and the spaces F(p, q, s), characterize the bounded and compact Riemann–Stieltjes operators from \(\mathcal {AL}_{p,s}\) to \(F(p,p-s-1,s)\). We also describe the corona theorem and the interpolating sequences for the class \(F(p,p-2,s)\), which is the Möbius invariant subspace of the analytic Besov type spaces \(B_p(s)\).     

Hua’s theorem with <Emphasis Type="Italic">s</Emphasis> almost equal prime variables

It is proved unconditionally that every sufficiently large positive integer satisfying some necessary congruence conditions can be represented as the sum of s almost equal k-th powers of prime numbers for 2 ≤ k ≤ 10 and s =2k ＋ 1, which gives a short interval version of Hun＇s theorem.     

The critical group of <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">m</Emphasis></Subscript> × <Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

In this paper, the structure of the critical group of the graph K _m × C _n is determined, where m, n ≥ 3.     

On the Crossing Number of <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">m</Emphasis></Subscript> □ <Emphasis Type="Italic">P</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

Crossing numbers of graphs are in general very difficult to compute. There are several known exact results on the crossing number of the Cartesian products of paths, cycles or stars with small graphs. In this paper we study cr(K_m □ P_n), the crossing number of the Cartesian product K_m □ P_n. We prove that for m ≥ 3,n ≥ 1 and cr(K_m □ P_n)≥ (n − 1)cr(K_m+2 − e) + 2cr(K_m+1). For m≤ 5, according to Klešč, Jendrol and Ščerbová, the equality holds. In this paper, we also prove that the equality holds for m = 6, i.e., cr(K₆ □ P_n) = 15n + 3. Research supported by NFSC (60373096, 60573022).     

On extending Pollard’s theorem for <Emphasis Type="Italic">t</Emphasis>-representable sums

Let t ≥ 1, let A and B be finite, nonempty subsets of an abelian group G, and let $ A\mathop + \limits_i B $ A\mathop + \limits_i B denote all the elements c with at least i representations of the form c = a + b, with a ∈ A and b ∈ B. For |A|, |B| ≥ t, we show that either

Derivatives for smooth representations of <Emphasis Type="Italic">GL</Emphasis>(<Emphasis Type="Italic">n</Emphasis>, ℝ) and <Emphasis Type="Italic">GL</Emphasis>(<Emphasis Type="Italic">n</Emphasis>, ℂ)

The notion of derivatives for smooth representations of GL(n, ? _p ) was defined in [BZ77]. In the archimedean case, an analog of the highest derivative was defined for irreducible unitary representations in [Sah89] and called the “adduced” representation. In this paper we define derivatives of all orders for smooth admissible Fréchet representations of moderate growth. The real case is more problematic than the p-adic case; for example, arbitrary derivatives need not be admissible. However, the highest derivative continues being admissible, and for irreducible unitarizable representations coincides with the space of smooth vectors of the adduced representation.In the companion paper [AGS] we prove exactness of the highest derivative functor, and compute highest derivatives of all monomial representations.We apply those results to finish the computation of adduced representations for all irreducible unitary representations and to prove uniqueness of degenerate Whittaker models for unitary representations, thus completing the results of [Sah89, Sah90, SaSt90, GS13a].     

On common values of <Emphasis Type="Italic">φ</Emphasis>(<Emphasis Type="Italic">n</Emphasis>) and <Emphasis Type="Italic">σ</Emphasis>(<Emphasis Type="Italic">m</Emphasis>). I

We show, conditional on a uniform version of the prime k-tuples conjecture, that there are x/(log x)^1+o(1) numbers not exceeding x common to the ranges of φ and σ. Here φ is Euler’s totient function and σ is the sum-of-divisors function.     

Finite-dimensional <Emphasis Type="Italic">ℓ</Emphasis>-simple lattice-ordered algebras with a <Emphasis Type="Italic">d</Emphasis>-basis

It is shown that a unital finite-dimensional ℓ-simple ℓ-algebra with a distributive basis is isomorphic to a lattice-ordered matrix algebra with the entrywise lattice order over a lattice-ordered twisted group algebra of a finite group with the coordinatewise lattice order. It is also shown that the isomorphism is unique.