Integration theory for Hammerstein operators

We develop in this article a strong nonlinear integral and obtain a Riesz-type theorem (utilizing this integral) for the class of (nonlinear) Hammerstein operators. The integral is extended to the class $\text{M}$_E($\text{B}$) of E-valued totally $\text{B}$-measurable functions and convergence theorems are studied. Then an exchange of information is carried out between the operators and the corresponding set functions; for example, the implication of the operator being compact or unconditionally summing is drawn. In the latter case it is shown that the representing set function is analogous to strongly bounded set functions. A vast body of literature exists for both of these concepts.     

Toeplitz matrices and determinants with Fisher-Hartwig symbols

If A and B are self-adjoint operators, this paper shows that A and B have order isomorphic invariant subspace lattices if and only if there are Borel subsets E and F of σ(A) and σ(B), respectively, whose complements have spectral measure zero, and there is a bijective function φ: E → F such that (i) Δ is a Borel subset of E if and only if φ(Δ) is a Borel subset of F; (ii) a Borel subset Δ of E has A-spectral measure zero if and only if φ(Δ) has B-spectral measure zero; (iii) B is unitarily equivalent to φ(A). If A is any self-adjoint operator, there is an associated function κ_A : $\text{N}$ ∪ {∞} → ($\text{N}$ ∪ {0, ∞}) × {0,1} defined in this paper. If $\text{F}$ denotes the collection of all functions from $\text{N}$ ∪ {∞} into ($\text{N}$ ∪ {0,∞}) × {0,1}, then $\text{F}$ is a parameter space for the isomorphism classes of the invariant subspace lattices of self-adjoint operators. That is, two self-adjoint operators A and B have isomorphic invariant subspace lattices if and only if κ_A = κ_B. The paper ends with some comments on the corresponding problem for normal operators.     

On Dynkin's Markov property of random fields associated with symmetric processes

Let p(t, x, y) be a symmetric transition density with respect to a σ-finite measure m on (E, $\text{E}$), g(x,y)=∫p(t,x,y)dt, and $\text{M}\text{={σ-finite measures μ?0:∫g(x,y)μ(}\text{d}\text{x)μ(}\text{d}\text{y)<∞}}$. There exists a Gaussian random field $\text{Φ={?}{}_{\mathrm{\mu }}\text{:μ?}\text{M}\text{}}$ with mean 0 and covariance $\text{E}\text{?}{}_{\mathrm{\mu }}\text{?}{}_{\mathrm{\nu }}\text{=∫g(x,y)μ(}\text{d}\text{x)ν(}\text{d}\text{y)}$. Letting $\text{F}\text{(B)=σ{?}{}_{\mathrm{\mu }}\text{:μ(B}{}^{\mathrm{c}}\text{)=0}}$ we consider necessary and sufficient conditions for the Markov property (MP) on sets B, C: $\text{F}$(B), $\text{F}$(C) c.i. given $\text{F}$(B ∩ C). Of crucial importance is the following, proved by Dynkin: $\text{E}\text{{?}{}_{\mathrm{\mu }}\text{∣}\text{F}\text{(B)}=?}{}_{\mathrm{\mu B}}$, where μ_B is the hitting distribution of the process corresponding to p, m with initial law μ. Another important fact is that ?_μ=?_ν iff μ, ν have the same potential. Putting these together with an additional transience assumption, we present a potential theoretic proof of the following necessary and sufficient condition for (MP) on sets B, C: For every x?E, T_B∩C=T_B+T_C∮ θ_TB=T_C+T_B∮θ_TC a.s. P^x where, for D ? $\text{E}$, T_D is the hitting time of D for the process associated with p, m. This implies a necessary condition proved by Dynkin in a recent preprint for the case where B∪C=E and B, C are finely closed.     

Lp-intensities of random measures

Given a random measure η and a fixed number p>1, the L_p-intensity 6η6_p of ηis defined as the total variation measure of the subadditive set function 6η(·)6_p. It is shown that 6η6_p can exist (be locally finite) only if the usual intensity measure Eη exists and $\text{η 《}\text{E}\text{η}$ a.s, and that in this case $\text{6η6}{}_{\mathrm{p}}\text{B}\text{=?}{}_{\mathrm{<mtext>B</mtext>}}\text{6}\text{d}\text{η}\text{d}\text{E}\text{η}\text{6}{}_{\mathrm{p}}\text{d}\text{E}\text{η}$. If η is the conditional intensity of a simple point process ξ, then 6η6_p equals the total variation of the subadditive set functions 6P[ξB = 1|B^cξ]6_p and 6E[ξB|B^cξ]6_p. Some applications to stochastic geometry and particle systems are discussed briefly.     

Fuzzy Boolean algebras

The purpose of this paper is to generalize the following situation: from the concrete structure $\text{B}$, we define the notion of Boolean algebras; the Stone representation theorem allows us to replace the algebraic study of Boolean algebras by a topological one. Let E be a non-empty set, and J a non-empty ordered set. Note $\text{B}$ the set of all fuzzy subsets of (E,J). We shall introduce the concept of fuzzy Boolean algebra and find a representation theorem. But it will be difficult to speak of the dual fuzzy topological space of a fuzzy Boolean algebra as we shall see further, except in certain particular cases.     

High-order nonreflecting boundary conditions for the dispersive shallow water equations

Time-dependent dispersive shallow water waves in an unbounded domain are considered. The infinite domain is truncated via an artificial boundary $\text{B}$, and a high-order non-reflecting boundary condition (NRBC) is imposed on $\text{B}$. Then the problem is solved by a finite difference scheme in the finite domain bounded by $\text{B}$. The sequence of NRBCs proposed by Higdon is used. However, in contrast to the original low-order implementation of the Higdon conditions, a new scheme is devised which allows the easy use of a Higdon-type NRBC of any desired order. In addition, a procedure for the automatic choice of the parameters appearing in the NRBC is proposed. The performance of the scheme is demonstrated via a numerical example.     

t-designs on hypergraphs

A $\text{t-}\text{design}\text{T=(X,}\text{B}\text{)}$, denoted by (λ; t, k, v), is a system $\text{B}$ of subsets of size k from a v-set X, such that each t-subset of X is contained in exactly λ elements of $\text{B}$. A hypergraph $\text{H=(Y,}\text{E}\text{)}$ is a finite set Y where $\text{E}\text{=(E}{}_{\mathrm{i}}\text{: i?I)}$ is a family of subsets (which we assume here are distinct) of Y such that E_i≠Ø, i?l, and ?E_i=Y. Let G be an automorphism group of $\text{H=(Y,}\text{E}\text{)}$ where O^l_i is the ith orbit of l-subsets of $\text{E}$. Let A(G; H; t, k)= (a_ij) be an m by n matrix, where a_ij is the number of copies of O^t_i that occur in the system of all t-subsets of all elements of O^k_j. Then there is a t-design $\text{T=(X,}\text{B}\text{)}$ with $\text{X=}\text{E}$, with parameters (λ; t, k, v), and with G an automorphism groupof T iff there is an m by s submatrix M of A(G; H; t, k) where M has uniform row sums λ. The calculus for applying this theorem is illustrated and numerous t-designs for 10?v?16 are found and presented. Using a theorem of Alltop on our (12; 4, 6, 13) and (60; 4, 7, 15) we obtain a (12; 5, 7, 14) and a (60; 5, 8, 16).     

Continuous semigroups on ordered Banach spaces

Let ($\text{B}$, $\text{B}$₊, ∥ · ∥) denote a Banach space $\text{B}$, ordered by a proper norm-closed convex cone $\text{B}$₊, with a Riesz norm ∥ · ∥, and define the canonical half-norm N associated with $\text{B}$₊ by

$\text{N(a)=}\text{inf}\text{{∥a+b∥;b?B}{}_{\mathrm{+}}\text{}}$

. The analogs of the Hille-Yosida and Feller-Miyadera-Phillips theorems characterizing the generators H of C₀- or C₀¹-semigroups S = {S_t}_{t ? 0} of positive operators, i.e., operators such that S_t$\text{B}$₊?$\text{B}$₊, are proved. In these theorems conditions of norm-dissipativity, e.g.,

$\text{∥(I + αH) a ∥ ? ∥ a ∥, α > 0, a ? D(H)}$

are replaced by N-dissipativity, i.e.,

$\text{N((I + αH)a) ? N(a), α > 0, a ? D(H)}$

.     

Spectral integrals of operator-valued functions. II. From the study of stationary processes

This paper is a continuation of the study made in [38]. Using Douglas' operator range theorem and Crimmins' corollary we obtain several new results on the “square-integrability of operator-valued functions with respect to a nonnegative hermitian measure”. Using these facts we are able to extend in an important way theorems on the “spectral integral of an operator-valued function” which were obtained in [38], to wit, we are able to drop assumptions that functions are closed operator-valued. We apply these results to Wiener-Masani type infinite-dimensional stationary processes, representing a purely non-deterministic process as a “moving average” and obtaining a “factorization” of its spectral density. Next, anticipating global applications of our tools, we investigate the adjoint and generalized inverse of spectral integrals. Our definition of measurability for closed-operator-valued functions plays a key role here. Finally, we partially prove a conjecture (J. Multivariate Anal. (1974), 166–209) on simpler necessary and sufficient conditions on “when is a closed densely defined operator T from $\text{H}$^q to $\text{H}$^p a spectral integral T = fΦdE?”: Let q be finite and E be of countable multiplicity for $\text{H}$. Then (i) Tx ∈ $\text{S}$_x^p each x ∈ $\text{D}$_T (T is E-subordinate), and (ii) E(B)T ? TE(B) each B ∈ $\text{B}$ (T is E-commutative) implies L_x^pT ? TL_x^q each x ∈ $\text{H}$^q (T commutes with all the cyclic projections), and thus T = fΦdE.     

Green's and Dirichlet spaces associated with fine Markov processes

This is the second paper in a series devoted to Green's and Dirichlet spaces. In the first paper, we have investigated Green's space $\text{K}$ and the Dirichlet space $\text{H}$ associated with a symmetric Markov transition function p_t(x, B). Now we assume that p is a transition function of a fine Markov process X and we prove that: (a) the space $\text{H}$ can be built from functions which are right continuous along almost all paths; (b) the positive cone $\text{K}$⁺ in $\text{K}$ can be identified with a cone M of measures on the state space; (c) the positive cone $\text{H}$⁺ in $\text{H}$ can be interpreted as the cone of Green's potentials of measures μ?M. To every measurable set B in the state space E there correspond a subspace $\text{K}$(B) of $\text{K}$ and a subspace $\text{H}$(B) of $\text{H}$. The orthogonal projections of $\text{K}$ onto $\text{K}$ and of $\text{H}$ onto $\text{H}$(B) can be expressed in terms of the hitting probabilities of B by the Markov process X. As the main tool, we use additive functionals of X corresponding to measures μ?M.     

Barriers for uniformly elliptic equations and the exterior cone condition

We consider the mixed boundary value problem $\text{Au = f}\text{in}\text{Ω, B}{}_0\text{u = g}{}_0\text{in}\text{Γ}{}^{\mathrm{?}}\text{, B}{}_1\text{u = g}{}_1\text{in}\text{Γ}{}^{\mathrm{+}}$, where Ω is a bounded open subset of $\text{R}$ⁿ whose boundary Γ is divided into disjoint open subsets Γ⁺ and Γ^? by an (n ? 2)-dimensional manifold ω in Γ. We assume A is a properly elliptic second order partial differential operator on $\text{Ω}$ and B_j, for j = 0, 1, is a normal jth order boundary operator satisfying the complementing condition with respect to A on $\text{Γ}{}^{\mathrm{+}}$. The coefficients of the operators and Γ⁺, Γ^? and ω are all assumed arbitrarily smooth. As announced in [Bull. Amer. Math. Soc.83 (1977), 391–393] we obtain necessary and sufficient conditions in terms of the coefficients of the operators for the mixed boundary value problem to be well posed in Sobolev spaces. In fact, we construct an open subset $\text{T}$ of the reals such that, if $\text{D}{}^{\mathrm{s}}\text{= {u ? H}{}^{\mathrm{s}}\text{(Ω): Au = 0}}$ then for $\text{s ? =}\text{1}\text{2}\text{(}\text{mod}\text{1), (B}{}_0\text{,B}{}_1\text{): D}{}^{\mathrm{s}}\text{→ H}{}^{\mathrm{<mtext>s\; ?\; </mtext><mtext>1</mtext><mtext>2</mtext>}}\text{(Γ}{}^{\mathrm{?}}\text{) × H}{}^{\mathrm{<mtext>s\; ?\; </mtext><mtext>3</mtext><mtext>2</mtext>}}\text{(Γ}{}^{\mathrm{+}}\text{)}$ is a Fredholm operator if and only if s ∈$\text{T}$ . Moreover, $\text{T}$ = ?_xew$\text{T}$_x, where the sets $\text{T}$_x are determined algebraically by the coefficients of the operators at x. If n = 2, $\text{T}$_x is the set of all reals not congruent (modulo 1) to some exceptional value; if n = 3, $\text{T}$_x is either an open interval of length 1 or is empty; and finally, if n ? 4, $\text{T}$_x is an open interval of length 1.     

Analyticity and flows in von Neumann algebras

Let $\text{B}$ be a von Neumann algebra, let {α_t}_tεR be an ultraweakly continuous one-parameter group of ¹-automorphisms of $\text{B}$, and let $\text{U}$ be the set of all A such that for each ? in $\text{B}$₁, the function t → ?(α_t(A)) lies in H^∞($\text{R}$. Then $\text{U}$ is an ultraweakly closed subalgebra of $\text{B}$ containing the identity which is proper and non-self-adjoint if {α_t}_tεR is not trivial. In this paper, a systematic investigation into the structure theory of $\text{U}$ is begun. Two of the more note-worthy developments are these. First of all, conditions under which $\text{U}$ is a subdiagonal algebra in $\text{B}$, in the sense of Arveson, are determined. The analysis provides a common perspective from which to view a large number of hitherto unrelated algebras. Second, the invariant subspace structure of $\text{U}$ is determined and conditions under which $\text{U}$ is a reductive subalgebra of $\text{B}$ are found. These results are then used to produce examples where $\text{U}$ is a proper, non-self-adjoint, reductive subalgebra of $\text{B}$. The examples do not answer the reductive algebra question, however, because although ultraweakly closed, the subalgebras are weakly dense in $\text{B}$.     

Graphical t-wise balanced designs

A pair (X, $\text{B}$) will be a t-wise balanced design (tBD) of type t?(v, K, λ) if $\text{B}\text{= (B}{}_{\mathrm{i}}\text{: i ? I)}$ is a family of subsets of X, called blocks, such that: (i) $\text{|X| = v ?}\text{N}$, where $\text{N}$ is the set of positive integers; (ii) $\text{1?t?|B}{}_{\mathrm{i}}\text{|?K?}\text{N}$, for every i ? I; and (iii) if T ? X, |T| = t, then there are λ ? $\text{N}$ indices i ? I where T ? B_i. Throughout this paper we make three restrictions on our tBD's: (1) there are no repeated blocks, i.e. $\text{B}$ will be a set of subsets of X; (2) t ? K or there are no blocks of size t; and (3) $\text{P}{}_{\mathrm{k}}\text{(X)?}\text{B}$ or $\text{B}$ does not contain all k-subsets of X for any t<k?v. Note then that X ? $\text{B}$. Also, if we give the parameters of a specific tBD, then we will choose a minimal K.We focus on the $\text{t?((}\text{p}\text{2}\text{), K, λ)}$ designs with the symmetric group S_p as automorphism group, i.e. X will be the set of $\text{v = (}\text{p}\text{2}\text{)}$ labelled edges of the undirected complete graph K_p and if B ? $\text{B}$ then all subgraphs of K_p isomorphic to B are also in $\text{B}$. Call such tBD's ‘graphical tBD's’. We determine all graphical tBD's with λ = 1 or 2 which will include one with parameters 4?(15,{5,7},1).     

When is an operator the integral of a given spectral measure?

For a closed densely defined operator T on a complex Hilbert space $\text{H}$ and a spectral measure E for $\text{H}$ of countable multiplicity q defined on a σ-algebra $\text{B}$ over an arbitrary space Λ we give three conceptually differing but equivalent answers to the question asked in the title of the paper (Theorem 1.5). We then study the simplifications which accrue when T is continuous or when q = 1 (Sect. 4). With the aid of these results we obtain necessary and sufficient conditions for T to be the integral of the spectral measure of a given group of unitary operators parametrized over a locally compact abelian group Γ (Sect. 5). Applying this result to the Hilbert space $\text{H}$ of functions which are L₂ with respect to Haar measure for Γ, we derive a generalization of Bochner's theorem on multiplication operators (Sect. 6). Some results on the multiplicity of indicator spectral measures over Γ are also obtained. When Γ = $\text{R}$ we easily deduce the classical theorem about the commutant of the associated self-adjoint operator (Sect. 7).     

Lifting commuting pairs of C1 algebras

Given a commuting pair $\text{A}$₁, $\text{A}$₂ of abelian $\text{C}{}^1$ subalgebras of the Calkin algebra, we look for a commuting pair $\text{B}$₁,$\text{B}$₂ of $\text{C}{}^1$ subalgebras of $\text{B(H)}$ which project onto $\text{A}$₁ and $\text{A}$₂. We do not insist that $\text{B}$_i, be abelian, so $\text{B}$_i, may contain nontrivial compact operators. If X is the joint spectrum σ($\text{A}$₁, $\text{A}$₂), it is shown that the existence of a pair $\text{B}$₁, $\text{B}$₂ depends only on the element τ in Ext(X) determined by $\text{A}$₁, $\text{A}$₂. The set L(X) of those τ in Ext(X) which “lift” in this sense is shown to be a subgroup of Ext(X) when Ext(X) is Hausdorff, and also when $\text{A}$_i are singly generated. In this latter case, L(X) can be explicitly calculated for large classes of joint spectra. These results are applied to lift certain pairs of commuting elements of the Calkin algebra to pairs of commuting operators.     

On Artin's conjecture

Let $\text{F}$ be a family of number fields which are normal and of finite degree over a given number field K. Consider the lattice L(scF) spanned by all the elements of $\text{F}$. The generalized Artin problem is to determine the set of prime ideals of K which do not split completely in any element H of L(scF), H≠K. Assuming the generalized Riemann hypothesis and some mild restrictions on $\text{F}$, we solve this problem by giving an asymptotic formula for the number of such prime ideals below a given norm. The classical Artin conjecture on primitive roots appears as a special case. In another case, if $\text{F}$ is the family of fields obtained by adjoining to $\text{Q}$ the q-division points of an elliptic curve E over $\text{Q}$, the Artin problem determines how often E($\text{F}$_p) is cyclic. If E has complex multiplication, the generalized Riemann hypothesis can be removed by using the analogue of the Bombieri-Vinogradov prime number theorem for number fields.     

On the law of large numbers for stationary sequences

We show that if X_i is a stationary sequence for which $\text{S}{}_{\mathrm{n}}\text{B}{}_{\mathrm{n}}$ converges to a finite non zero random variable of constant sign, where S_n=X₁+X₂+?+X_n and B_n is a sequence of constants, then B_n is regularly varying with index 1. If in addition $\text{Σ}\text{P}\text{(|X}{}_1\text{|>B}{}_{\mathrm{n}}$ is finite, then $\text{E}\text{|X}{}_1\text{|}$ is finite, and if in addition to this X_i satisfies an asymptotic independence condition, $\text{E}\text{X}{}_1\text{≠ 0}$.     

On r-potent linear mappings

Let L(E) be the set of all linear mappings of a vector space E. Let Z₊ be the set of all positive integers. A nonzero element ? in L(E) is called an r-potent if $\text{?}{}^{\mathrm{r}}\text{=?}\text{and}\text{?}{}^{\mathrm{i}}\text{≠?}\text{for}\text{1<i<r (i,r∈Z}{}_{\mathrm{+}}\text{)}$. We prove that $\text{S(E)= {?∈L(E): ?}\text{is singular}\text{}}$ is a semigroup generated by the set of all r-potents in S(E), where r is a fixed positive integer with 2?r?n=dim(E).     

Codes projectifs a deux ou trois poids associfs aux hyperquadriques d'une geometrie finie

The notion of closure structures of finite rank is introduced and several closure structures familiar from algebra and logic are shown to be of finite rank. The following theorem is established: Let k be any natural number and $\text{C}$ any closure structure of rank k + 2. If B is a finite base (generating set) of $\text{C}$and D is an irredundant (independent) base of $\text{C}$ such that |B| + k < |D|, then there is an irredundant base E of $\text{C}$ such that |B| < |E| < |B| + k.     

Complexity of representation of graphs by set systems

Let $\text{F}$ be a family of subsets of S and let G be a graph with vertex set $\text{V={x}{}_{\mathrm{A}}\text{|A ∈}\text{F}\text{}}$ such that: (x_A, x_B) is an edge iff $\text{A?B≠}\text{0}\text{/}$. The family $\text{F}$ is called a set representation of the graph G.It is proved that the problem of finding minimum k such that G can be represented by a family of sets of cardinality at most k is NP-complete. Moreover, it is NP-complete to decide whether a graph can be represented by a family of distinct 3-element sets.The set representations of random graphs are also considered.