Ockham algebras with double pseudocomplementation

The variety dpO consists of those algebras (L; ∧, ∨, f, *, ⁺, 0, 1) with ∧, ∨ binary, f, *, ⁺ unary and 0, 1 nullary, and where (L; ∧, ∨, f, 0, 1) is an Ockham algebra and the unary operations f and * commute, f and⁺ commute. We describe completely the structure of the subdirectly irreducible algebras that belong to the subclass dpK_1,1, characterised by the property f³ = f. This paper is dedicated to Walter Taylor. Received September 29, 2004; accepted in final form September 8, 2005.     

Commuting double Ockham algebras

In this paper,we study a certain class of double Ockham algebras (L;∧,∨,f,k,0,1), namely the bounded distributive lattices (L;∧,∨,0,1) endowed with a commuting pair of unary op- erations f and k,both of which are dual endomorphisms.We characterize the subdirectly irreducible members,and also consider the special case when both (L;f) and (L;k) are de Morgan algebras.We show via Priestley duality that there are precisely nine non-isomorphic subdirectly irreducible members, all of which are simple.     

On the subspace L((x ∧ y)m) of Sm(∧2?4)

We take the exterior power ℝ⁴ ∧ ℝ⁴ of the space ℝ⁴, its mth symmetric power V = S ^m (∧²ℝ⁴) = (ℝ⁴ ∧ ℝ⁴) ∨ (ℝ⁴ ∧ ℝ⁴) ∨ ... ∨(ℝ⁴ ∧ ℝ⁴), and put V ₀ = L((x ∧ y)∨ ... ∨(x ∧ y): x, y ∈ ℝ⁴). We find the dimension of V ₀ and an algorithm for distinguishing a basis for V ₀ efficiently. This problem arose in vector tomography for the purpose of reconstructing the solenoidal part of a symmetric tensor field. Original Russian Text Copyright ? 2009 Gubarev V. Yu. The author was supported by the State Maintenance Program for the Leading Scientific Schools of the Russian Federation (Grant NSh-344.2008.1). __________ Novosibirsk. Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 50, No. 3, pp. 503–514, May–June, 2009.     

A subclass of Ockham algebras

Here we introduce a subclass of the class of Ockham algebras ( L ; f ) for which L satisfies the property that for every x ∈ L , there exists n ≥ 0 such that fn ( x ) and fn+1 ( x ) are complementary. We characterize the structure of the lattice of congruences on such an algebra ( L ; f ). We show that the lattice of compact congruences on L is a dual Stone lattice, and in particular, that the lattice Con L of congruences on L is boolean if and only if L is finite boolean. We also show that L is congruence coherent if and only if it is boolean. Finally, we give a sufficient and necessary condition to have the subdirectly irreducible chains.     

Congruences on ockham algebras with pseudocomplementation

The variety pOconsists of those algebras (L;?,?,f,^*,0,1) where (L;?,?,f,0,1) is an Ockham algebra, (L;?,?,f,^*,0,1) is a p-algebra, and the unary operations fand ^*. commute. For an algebra in pK _ωwe show that the compact congruences form a dual Stone lattice and use this to determine necessary and sufficient conditions for a principal congruence to be complemented. We also describe the lattice of subvarieties of pK _1,1identifying therein the biggest subvariety in which every principal congruence is complemented, and the biggest subvariety in which the intersection of two principal congruences is principal.     

On isometries in GMV-algebras

Let A = (A,⊕,⁻,^∼, 0, 1) be a GMV-algebra and ρ: A × A → A the distance function on A defined by ρ(x, y) = (x∨y)−(x∧y) for each x, y ∈ A.     

On the Riesz means of coefficients of <Emphasis Type="Italic">m</Emphasis>th symmetric power <Emphasis Type="Italic">L</Emphasis>-functions

Let c _n be the Fourier coefficients of L(sym ^m   f, s), and Δρ(x; sym ^m   f) be the error term in the asymptotic formula for ∑ _n≪x c _n . In this paper, we study the Riesz means of Δρ(x; sym ^m   f) and obtain a truncated Voronoi-type formula under the hypothesis Nice(m, f).     

L-fuzzy ⋎ and ⋏ hyperoperations and the associated l-fuzzy hyperalgebras

In this paper we study two fuzzy hyperoperations, denoted by ⋎ (which can be seen as a generalization of ∨) and ⋏ (which can be seen as a generalization of ∧). ⋎ is obtained from a family of crisp ∨; _p hyperoperations and ⋏ is obtained from a family of crisp ∧ _p hyperoperations. The hyperstructure (X, ⋎, ∧) resembles ahyperlattice and the hyperstructure (X, ∨, ⋏) resembles adual hyperlattice     

A note on the congruences of the nakano superlattice and some properties of the associated quotients

In this paper we explore theNakano superlattice (H, ⊔, ⊓), where ⊔, ⊓ are the Nakanohyperoperations x⊔y={z:x∨z=y∨z=x∨y},x⊓y={z:x∧z=y∧z=x∧y}. In particular, we study the properties of congruences on the Nakano superlattice and the associated quotients. New hyperoperations are introduced on the quotient and their properties studied.     

Strong Cesàro summability of double Fourier integrals

We prove the following theorem. Assume f ∈ L ^∞(R ²) with bounded support. If f is continuous at some point (x ₁,x ₂) ∈ R ², then the double Fourier integral of f is strongly q-Cesàro summable at (x ₁,x ₂) to the function value f(x ₁,x ₂) for every 0 < q < ∞. Furthermore, if f is continuous on some open subset of R ², then the strong q-Cesàro summability of the double Fourier integral of f is locally uniform on . Research partially supported by the Australian Research Council and the Hungarian National Foundation for Scientific Research under Grant T 046 192.     

CM values and central L-values of elliptic modular forms

Let f be a holomorphic cusp form of weight l on SL₂(Z) and Ω an algebraic Hecke character of an imaginary quadratic field K with Ω((α)) = (α/|α|) ^l for ${\alpha\in K^{\times}}Let f be a holomorphic cusp form of weight l on SL₂(Z) and Ω an algebraic Hecke character of an imaginary quadratic field K with Ω((α)) = (α/|α|) ^l for a ? K^×{\alpha\in K^{\times}}. Let L(f, Ω; s) be the Rankin-Selberg L-function attached to (f, Ω) and P(f, Ω) an “Ω-averaged” sum of CM values of f. In this paper, we give a formula expressing the central L-values L(f, Ω; 1/2) in terms of the square of P(f, Ω).     

Graph-Theoretic Approach to Stochastic Integrals with Clifford Algebras

Given a fixed probability space (Ω,ℱ,ℙ) and m≥1, let X(t) be an L²(Ω) process satisfying necessary regularity conditions for existence of the mth iterated stochastic integral. For real-valued processes, these existence conditions are known from the work of D. Engel. Engel’s work is extended here to L²(Ω) processes defined on Clifford algebras of arbitrary signature (p,q), which reduce to the real case when p=q=0. These include as special cases processes on the complex numbers, quaternion algebra, finite fermion algebras, fermion Fock spaces, space-time algebra, the algebra of physical space, and the hypercube. Next, a graph-theoretic approach to stochastic integrals is developed in which the mth iterated stochastic integral corresponds to the limit in mean of a collection of weighted closed m-step walks on a growing sequence of graphs. Combinatorial properties of the Clifford geometric product are then used to create adjacency matrices for these graphs in which the appropriate weighted walks are recovered naturally from traces of matrix powers. Given real-valued L²(Ω) processes, Hermite and Poisson-Charlier polynomials are recovered in this manner.     

Cohomology classes of dynamically non-negative Ck functions

Let T:x↦2x (mod 1) be the doubling map of the circle ?=ℝ/ℤ. We construct a trigonometric polynomial f:?→ℝ with the following property: ∫f  dμ≥0 for every T-invariant probability measure μ, so that f is cohomologous to a non-negative Lipschitz function, yet f is not cohomologous to any non-negative C ¹ function. Oblatum 28-VI-2001 & 4-X-2001?Published online: 18 January 2002     

Torsion in Boundary Coinvariants and K -Theory for Affine Buildings

Let (G, I, N, S) be an affine topological Tits system, and let Γ be a torsion-free cocompact lattice in G. This article studies the coinvariants H ₀(Γ; C(Ω,Z)), where Ω is the Furstenberg boundary of G. It is shown that the class [1] of the identity function in H ₀(Γ; C(Ω, Z)) has finite order, with explicit bounds for the order. A similar statement applies to the K ₀ group of the boundary crossed product C ^*-algebra C(Ω)Γ. If the Tits system has type ? ₂, exact computations are given, both for the crossed product algebra and for the reduced group C ^*-algebra.     

Hyperidentities of lattices and semilattices

Following W. Taylor we define a hyperidentity ∈ to be formally the same as an identity (e.g.,F(G(x, y, z), G(x, y, z))=G(x, y, z)). However, a varietyV is said to satisfy a hyperidentity ∈, if whenever the operation symbols of ∈ are replaced by any choice of polynomials (appropriate forV) of the same arity as the corresponding operation symbols of ∈, then the resulting identity holds inV in the usual sense. For example, if a varietyV of type <2,2> with operation symbols ∨ and ∧ satisfies the hyperidentity given above, then substituting the polynomial (x∨y)∨z for the symbolG, and the polynomialx∧y forF, we see thatV must in particular satisfy the identity ((x∨y)∨z)∧((x∨y)∨z)=((x∨y)∨z). The set of all hyperidentities satisfied by a varietyV, will be denoted byH(V). We shall letH ^m (V) be the set of all hyperidentities hoiding inV with operation symbols of arity at mostm, andH _n (V) will denote the set of all hyperidentities ofV with at mostn distinct variables. In this paper we shall show that ifV is a nontrivial variety of lattices or the variety of all semilattices, then for any integersm andn, there exists a hyperidentity ∈ such that ∈ holds inV, and ∈ is not a consequence ofH ^m (V)∪H _n (V). From this it is deduced that the hyperidentities ofV are not finitely based, partly soling a problem of Taylor [7, Problem 3]. The research of the author was supported by NSERC of Canada. Presented by W. Taylor.     

Grow-up of critical solutions for a non-local porous medium problem with Ohmic heating source

We investigate the behaviour of solution u = u(x, t; λ) at λ =  λ* for the non-local porous medium equation ${u_t = (u^n)_{xx} + {\lambda}f(u)/({\int_{-1}^1} f(u){\rm d}x)^2}We investigate the behaviour of solution u = u(x, t; λ) at λ =  λ* for the non-local porous medium equation u_t = (uⁿ)_xx + lf(u)/(ò_-1¹ f(u)dx)²{u_t = (u^n)_{xx} + {\lambda}f(u)/({\int_{-1}^1} f(u){\rm d}x)^2} with Dirichlet boundary conditions and positive initial data. The function f satisfies: f(s),−f ′ (s) > 0 for s ≥ 0 and s ^n-1 f(s) is integrable at infinity. Due to the conditions on f, there exists a critical value of parameter λ, say λ*, such that for λ > λ* the solution u = u(x, t; λ) blows up globally in finite time, while for λ ≥ λ* the corresponding steady-state problem does not have any solution. For 0 < λ < λ* there exists a unique steady-state solution w = w(x; λ) while u = u(x, t; λ) is global in time and converges to w as t → ∞. Here we show the global grow-up of critical solution u* =  u(x, t; λ*) (u* (x, t) → ∞, as t → ∞ for all x ? (-1,1){x\in(-1,1)}.     

Join-semilattices whose sections are residuated PO-monoids

We generalize the concept of an integral residuated lattice to join-semilattices with an upper bound where every principal order-filter (section) is a residuated semilattice; such a structure is called a sectionally residuated semilattice. Natural examples come from propositional logic. For instance, implication algebras (also known as Tarski algebras), which are the algebraic models of the implication fragment of the classical logic, are sectionally residuated semilattices such that every section is even a Boolean algebra. A similar situation rises in case of the Lukasiewicz multiple-valued logic where sections are bounded commutative BCK-algebras, hence MV-algebras. Likewise, every integral residuated (semi)lattice is sectionally residuated in a natural way. We show that sectionally residuated semilattices can be axiomatized as algebras (A, r, →, ⇝, 1) of type 〈3, 2, 2, 0〉 where (A, →, ⇝, 1) is a {→, ⇝, 1}-subreduct of an integral residuated lattice. We prove that every sectionally residuated lattice can be isomorphically embedded into a residuated lattice in which the ternary operation r is given by r(x, y, z) = (x · y) ∨ z. Finally, we describe mutual connections between involutive sectionally residuated semilattices and certain biresiduation algebras. This work was supported by the Czech Government via the project MSM6198959214.     

On double sine and cosine transforms,Lipschitz and Zygmund classes

We consider complex-valued functions f ∈ L 1 (R+2),where R +:= [0,∞),and prove sufficient conditions under which the double sine Fourier transform f ss and the double cosine Fourier transform f cc belong to one of the two-dimensional Lipschitz classes Lip(α,β) for some 0 α,β≤ 1;or to one of the Zygmund classes Zyg(α,β) for some 0 α,β≤ 2.These sufficient conditions are best possible in the sense that they are also necessary for nonnegative-valued functions f ∈ L 1 (R+2).     

Subadditivity Inequalities in von Neumann Algebras and Characterization of Tracial Functionals

We examine under which assumptions on a positive normal functional φ on a von Neumann algebra, and a Borel measurable function f: R ⁺ → R with f(0) = 0 the subadditivity inequality φ (f(A+B)) ≤ φ(f(A))+φ (f (B)) holds true for all positive operators A, B in . A corresponding characterization of tracial functionals among positive normal functionals on a von Neumann algebra is presented. O.E. Tikhonov - Supported by the Russian Foundation for Basic Research (grant no. 01-01-00129) and the scientific program Universities of Russia – Basic Research (grant no. UR.04.01.061).     

Some applications of Banach algebra techniques

We consider some functional Banach algebras with multiplications as the usual convolution product * and the so‐called Duhamel product ?. We study the structure of generators of the Banach algebras (C⁽ⁿ⁾[0, 1], *) and (C⁽ⁿ⁾[0, 1], ?). We also use the Banach algebra techniques in the calculation of spectral multiplicities and extended eigenvectors of some operators. Moreover, we give in terms of extended eigenvectors a new characterization of a special class of composition operators acting in the Lebesgue space L^p[0, 1] by the formula (C_φf)(x) = f(φ(x)).