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.     

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 the equation Δ<Emphasis Type="Italic">u</Emphasis> + <Emphasis Type="Italic">q</Emphasis>(<Emphasis Type="Italic">x</Emphasis>)<Emphasis Type="Italic">u</Emphasis> = 0

Sufficient conditions for the blow-up of nontrivial generalized solutions of the interior Dirichlet problem with homogeneous boundary condition for the homogeneous elliptic-type equation Δu + q(x)u = 0, where either q(x) ≠ const or q(x) = const= λ > 0, are obtained. A priori upper bounds (Theorem 4 and Remark 6) for the exact constants in the well-known Sobolev and Steklov inequalities are established.     

Borel equivalence relations between <Emphasis Type="Italic">ℓ</Emphasis><Subscript>1</Subscript> and <Emphasis Type="Italic">ℓ</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

In this paper, we show that, for each p 〉 1, there are continuum many Borel equivalence relations between Rω/l1 and Rω/p ordered by ≤B which are pairwise Borel incomparable.     

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].     

<Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript>(<Emphasis Type="Italic">μ</Emphasis>) for vector-valued measure <Emphasis Type="Italic">μ</Emphasis>

Let μ be a measure from a σ-algebra of subsets of a set T into a sequentially complete Hausdorff topological vector space X. Assume that μ is convexly bounded, i.e., the convex hull of its range is bounded in X, and denote by L ¹(μ) the space of scalar valued functions on T which are integrable with respect to the vector measure μ. We study the inheritance of some properties from X to L ¹(μ). We show that the bounded multiplier property passes from X to L ¹(μ). Answering a 1972 problem of Erik Thomas, we show that for a rather large class of F-spaces X the non-containment of c ₀ passes from X to L ¹(μ).     

Convergence Theorems for ℓ<Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-Norm Minimizers with Respect to <Emphasis Type="Italic">p</Emphasis>

Let C be a fixed compact convex subset of and let x_p be the unique minimal _p-norm element in C for any . In this paper, we study the convergence of x_p as p or , respectively. We characterize also the limit point as the minimal element of C with respect to the lexical minimax order relation or the lexical minitotal order relation, respectively.Communicated by D. G. LuenbergerThe author thanks Professor H. Komiya for valuable advice and an anonymous referee for kind comments.     

(<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.     

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">G</Emphasis>-stable support <Emphasis Type="Italic">τ</Emphasis>-tilting modules

Motivated by τ-tilting theory developed by T. Adachi, O. Iyama, I. Reiten, for a finite-dimensional algebra Λ with action by a finite group G; we introduce the notion of G-stable support τ-tilting modules. Then we establish bijections among G-stable support τ-tilting modules over Λ; G-stable two-term silting complexes in the homotopy category of bounded complexes of finitely generated projective Λ-modules, and G-stable functorially finite torsion classes in the category of finitely generated left Λ-modules. In the case when Λ is the endomorphism of a G-stable cluster-tilting object T over a Hom-finite 2-Calabi-Yau triangulated category C with a G-action, these are also in bijection with G-stable cluster-tilting objects in C. Moreover, we investigate the relationship between stable support τ-tilitng modules over Λ and the skew group algebra ΛG     

On <Emphasis Type="Italic">α</Emphasis>-regular archimedean <Emphasis Type="Italic">f</Emphasis>-rings

For a commutative ring A with identity, and for infinite cardinals α as well as the symbol ∞, which indicates the situation in which there are no cardinal restrictions, one defines A to be α-regular if for each subset D of A, with |D| < α and de = 0, for any two distinct d, e ∈ D, there is an s ∈ A such that d ² s = d, for each d ∈ D, and if xd = 0, for each d ∈ D, then xs = 0     

The smooth structure set of <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> × <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">q</Emphasis></Superscript>

We calculate \({\mathcal{S}^{{\it Diff}}(S^p \times S^q)}\), the smooth structure set of S ^p × S ^q , for p, q ≥ 2 and p + q ≥ 5. As a consequence we show that in general \({\mathcal{S}^{Diff}(S^{4j-1}\times S^{4k})}\) cannot admit a group structure such that the smooth surgery exact sequence is a long exact sequence of groups. We also show that the image of the forgetful map \({\mathcal{S}^{Diff}(S^{4j}\times S^{4k}) \rightarrow \mathcal{S}^{Top}(S^{4j}\times S^{4k})}\) is not in general a subgroup of the topological structure set.     

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).     

A Characterization of <Emphasis Type="Italic">PSU</Emphasis><Subscript>3</Subscript>(<Emphasis Type="Italic">q</Emphasis>) for <Emphasis Type="Italic">q</Emphasis> ≥ 5

Based on the prime graph of a finite simple group, its order is the product of its order components (see [4]). We prove that the simple groups PSU₃(q) are uniquely determined by their order components. Our result immediately implies that the Thompsons conjecture and the Wujie Shis conjecture [16] are valid for these groups.AMS Subject Classification: 20D05, 20D60     

On <Emphasis Type="Italic">g</Emphasis>-<Emphasis Type="Italic">α</Emphasis>-irresolute functions

We introduce the so-called g-α-irresolute functions in generalized topological spaces. We obtain some properties and several characterizations of this type of functions.     

Extension of the Weiszfeld procedure to a single facility minisum location model with mixed <Emphasis Type="Italic">ℓ</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> norms

This paper presents a general mixed-norm minisum problem for locating a single facility in continuous space. It is assumed that several transportation modes exist between the new facility and a given set of fixed points (the customers), each mode being represented by a different ? _p norm. A simple extension of Weiszfeld’s well known iterative procedure is proposed to solve the model. Convergence properties and optimality criteria are derived, and computational results are given.     

Free completely <Emphasis Type="Italic">J</Emphasis><Superscript>(<Emphasis Type="Italic">ℓ</Emphasis>)</Superscript>-simple Semigroups

A semigroup is called completely J^(ι)-simple if it is isomorphic to some Rees matrix semigroup over a left cancellative monoid and each entry of whose sandwich matrix is in the group of units of the left cancellative monoid. It is proved that completely J^(ι)-simple semigroups form a quasivarity. Moreover, the construction of free completely J^(ι)-simple semigroups is given. It is found that a free completely J^(ι)-simple semigroup is just a free completely J ^*-simple semigroup and also a full subsemigroup of some completely simple semigroups.     

On nonregular ideals and <Emphasis Type="Italic">z</Emphasis>°-ideals in <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">X</Emphasis>)

The spaces X in which every prime z°-ideal of C(X) is either minimal or maximal are characterized. By this characterization, it turns out that for a large class of topological spaces X, such as metric spaces, basically disconnected spaces and one-point compactifications of discrete spaces, every prime z°-ideal in C(X) is either minimal or maximal. We will also answer the following questions: When is every nonregular prime ideal in C(X) a z°-ideal? When is every nonregular (prime) z-ideal in C(X) a z°-ideal? For instance, we show that every nonregular prime ideal of C(X) is a z°-ideal if and only if X is a ?-space (a space in which the boundary of any zeroset is contained in a zeroset with empty interior).     

The spectrum of (<Emphasis Type="Italic">gv</Emphasis>, <Emphasis Type="Italic">g</Emphasis>, 3, λ)-DF in <Emphasis Type="Italic">Z</Emphasis><Subscript><Emphasis Type="Italic">gv</Emphasis></Subscript>

In this paper, the necessary and sufficient conditions for the existence of a (gv, g, 3, λ)-difference family in Z _gv are established. As a consequence, the existence spectrum of a cyclic (3, λ)-GDD of type g ^v without short orbits is determined. This work was supported by National Natural Science Foundation of China (Grants Nos. 10771013, 10831002)     

The structure of digraphs associated with the congruence <Emphasis Type="Italic">x</Emphasis><Superscript><Emphasis Type="Italic">k</Emphasis></Superscript> ≡ <Emphasis Type="Italic">y</Emphasis> (mod <Emphasis Type="Italic">n</Emphasis>)

We assign to each pair of positive integers n and k ⩾ 2 a digraph G(n, k) whose set of vertices is H = {0, 1, ..., n − 1} and for which there is a directed edge from a ∈ H to b ∈ H if a ^k ≡ b (mod n). We investigate the structure of G(n, k). In particular, upper bounds are given for the longest cycle in G(n, k). We find subdigraphs of G(n, k), called fundamental constituents of G(n, k), for which all trees attached to cycle vertices are isomorphic.