On k-sequential and other numbered graphs

The concept of a k-sequential graph is presented as follows. A graph G with ∣V(G)∪ E(G)∣=t is called k-sequential if there is a bijection$\text{?: V(G)∪E(G) → {k,k+1,…,t+k?1}}$ such that for each edge$\text{e}\text{?}\text{=xy}$in E(G) one has$\text{?(}\text{e}\text{?}\text{) = ∣?(x)??(y)∣}$. A graph that is 1-sequential is called simply sequential, and, in particular the author has conjectured that all trees are simply sequential. In this paper an introductory study of k-sequential graphs is made. Further, several variations on the problems of gracefully or sequentially numbering the elements of a graph are discussed.     

Sharpening an Estimate of the Size of the Sumset of a Convex Set

A finite set A = {a₁ < … <a_n}? ? is said to be convex if the sequence (a_i ? a_i?1)ⁿ_i=2 is strictly increasing. Using an estimate of the additive energy of convex sets, one can estimate the size of the sumset as ∣A + A∣ ? ∣A∣^102/65, which slightly sharpens Shkredov’s latest result ∣A + A∣ ? ∣A∣^58/37.

     

Hybrid approaches to attribute reduction based on indiscernibility and discernibility relation

Attribute reduction is one of the key issues in rough set theory. Many heuristic attribute reduction algorithms such as positive-region reduction, information entropy reduction and discernibility matrix reduction have been proposed. However, these methods are usually computationally time-consuming for large data. Moreover, a single attribute significance measure is not good for more attributes with the same greatest value. To overcome these shortcomings, we first introduce a counting sort algorithm with time complexity O(∣C∣ ∣U∣) for dealing with redundant and inconsistent data in a decision table and computing positive regions and core attributes (∣C∣ and ∣U∣ denote the cardinalities of condition attributes and objects set, respectively). Then, hybrid attribute measures are constructed which reflect the significance of an attribute in positive regions and boundary regions. Finally, hybrid approaches to attribute reduction based on indiscernibility and discernibility relation are proposed with time complexity no more than max(O(∣C∣²∣U/C∣), O(∣C∣∣U∣)), in which ∣U/C∣ denotes the cardinality of the equivalence classes set U/C. The experimental results show that these proposed hybrid algorithms are effective and feasible for large data.     

Unique continuation for schrodinger operators with singular potentials

It is shown in this paper that the Schrodinger operator with a potential satisfying ∣V(x)∣ ≤ M/∣x∣²a.e. in the unit ball B has the strong unique continuation property in H^2,2(B) for for n≥2.     

On ranges of Lyapunov transformations

A Lyapunov transformation is a linear transformation on the set $\text{H}$_n of hermitian matrices H ? $\text{C}$^n,n of the form $\text{L}$_A(H) = A¹H + HA, where A ?$\text{C}$^n,n. Given a positive stable A ?$\text{C}$^n,n, the Stein-Pfeffer Theorem characterizes those K ? $\text{H}$_n for which K = $\text{L}$_B(H), where B is similar to A and H is positive definite. We give a new proof of this result, and extend it in several directions. The proofs involve the idea of a controllability subspace, employed previously in this context by Snyders and Zakai.     

The constrained bilinear form and the C-numerical range

Let V be an n-dimentional unitary space with inner product (·,·) and S the set {x∈V:(x, x)=1}. For any A∈Hom(V, V) and $\text{q∈}\text{C}$ with ∣q∣?1, we define

$\text{W(A:q)={(Ax, y):x, y∈S, (x, y)=q}}$

. If q=1, then W(A:q) is just the classical numerical range {(Ax, x):x∈S}, the convexity of which is well known. Another generalization of the numerical range is the C-numerical range, which is defined to be the set

$\text{W}{}_{\mathrm{C}}\text{(A)={}\text{tr}\text{(CU}{}^1\text{AU):U}\text{unitary}\text{}}$

where C∈Hom(V, V). In this note, we prove that W(A:q) is always convex and that W_C(A) is convex for all A if rank C=1 or n=2.     

Unitarization of symplectics and stability for causal differential equations in Hilbert space

Let Sp($\text{H}$) be the symplectic group for a complex Hibert space $\text{H}$. Its Lie algebra sp($\text{H}$) contains an open invariant convex cone C₀; each element of C₀ commutes with a unique sympletic complex structure. The Cayley transform $\text{C}$: X∈ sp($\text{H}$)→(I + X)¹∈ Sp($\text{H}$) is analyzed and compared with the exponential mapping. As an application we consider equations of the form $\text{(}\text{d}\text{dt}\text{) S = A(t)S,}\text{where}\text{t → A(t) ?}\text{C}\text{?}{}_0$ is strongly continuous, and show that if ∝_?∞^∞ ∥A(t)∥ dt < 2 and ∝_{? t8}^∞A(t) dt?C₀, the (scattering) operator

, where S_t′(t) is the solution such that S_t′(t′) = I, is in the range of $\text{B}$ restricted to C₀. It follows that S leaves invariant a unique complex structure; in particular, it is conjugate in Sp($\text{H}$) to a unitary operator.     

A theorem of the transversal theory for matroids of finite character

Let M = (S, I) be a matroid of finite character on the infinite set S. Let $\text{A}\text{= 〈A}{}_1\text{:i ∈ I〉}$ be any system of subsets of S each having finite rank and let $\text{B}\text{= 〈B}{}_1\text{: j ∈ J〉}$ be a finite system of sets of arbitrary rank. Necessary and sufficient conditions are given for the system $\text{A}$ ? $\text{B}$ to have an independent system of distinct representatives.     

The Lyapunov matrix equation SA+A1S=S1B1BS

The matrix equation $\text{SA+A}{}^1\text{S=S}{}^1\text{B}{}^1\text{BS}$ is studied, under the assumption that (A, B¹) is controllable, but allowing nonhermitian S. An inequality is given relating the dimensions of the eigenspaces of A and of the null space of S. In particular, if B has rank 1 and S is nonsingular, then S is hermitian, and the inertias of A and S are equal. Other inertial results are obtained, the role of the controllability of (A¹, B¹S¹) is studied, and a class of D-stable matrices is determined.     

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)}$

.     

Sample size determination for comparing two therapies taking both the α (type I or false positive) error and the β (type II or false negative) error into consideration

The sample size required for determination of a given degree of difference between two therapies or modalities A and B being compared with each other, supposing that the sample sizes are equal, is given by Here C_α/2 is the upper α/2 percentile point of the standard normal distribution, C_1?β is the abscissa cutting off the proportion 1?β in its upper tail and β in its lower tail; p_A and p_B are the probabilities of favorable response to A and B; if p?_A and p?_B are the corresponding measured proportions, then $\text{p}$ = $\text{1}\text{2}$(p?_A + p?_B); and the Q's are 1 minus the p's. When it is desirable to use unequal size groups, the sample sizes n₁     

Periodic distributions and non-Liouville numbers

In an earlier paper (Translation-invariant linear forms and a formula for the Dirac measure, J. Functional Analysis8 (1971), 173–188) the author proved that the ratio $\text{α}\text{β}$ of two real numbers is a non-Liouville number if and only if there exist two Schwartz distributions A and B with compact supports on the real line such that δ′ = A ? τ_αA + B ? τ_βB. The present paper presents (in Section 3) a completely new and more elementary proof of this result (stated fully as Theorems 1 and 2 at the end of Section 1) based on some fundamental properties of the mapping H₀ = ? Δ and H = H₀ + T, where T which are established in Section 2. Further connections with Diophantine approximation (badly approximable numbers and Roth's Theorem) are presented in Section 4 where it is proved that the orders of the distributions A and B are always ?2 (Theorem 3) and almost always =3 (Theorem 4). Section 5 contains some partial results (Theorem 5 and Corollary 2 of Theorem 6) on the analogous question (as yet unsettled) for the Banach space C(T) of all continuous functions on the circle group T, and connects this problem with Sidon sets of integers.     

Ein operatorwertiger Hahn-Banach Satz

We generalize Arveson's extension theorem for completely positive mappings [1] to a Hahn-Banach principle for matricial sublinear functionals with values in an injective C¹-algebra or an ideal in B($\text{H}$). We characterize injective W¹-algebras by a matricial order condition. We illustrate the matricial Hahn-Banach principle by three applications: (1) Let $\text{A, B, b}$ be unital C¹-algebras, $\text{b}$ a subalgebra of $\text{A}$ and $\text{B, B}$ injective. If ?: $\text{A}$ → $\text{B}$ is a completely bounded self-adjoint $\text{b}$-bihomomorphism, then it can be expressed as the difference of two completely positive $\text{b}$-bihomomorphism. (2) Let $\text{M}$ be a W¹-algebra, containing 1_$\text{H}$, on a Hilbert space $\text{H}$. If $\text{M}$ is finite and hyperfinite, there exists an invariant expectation mapping P of B($\text{H}$) onto $\text{M}$′. P is an extension of the center trace. (3) Combes [7] proved, that a lower semicontinuous scalar weight on a C¹-algebra is the upper envelope of bounded positive functionals. We generalize this result to unbounded completely positive mappings with values in an injective W¹-algebra.     

On some t−(2k, k, λ) designs

t?(2k, k, λ) designs having a property similar to that of Hadamard 3-designs are studied. We consider conditions (i), (ii), or (iii) for t?(2k, k, λ) designs: (i) The complement of each block is a block. (ii) If A and B are a complementary pair of blocks, then ∥ A ∩ C ∥ = ∥ B ∩ C ∥ ± u holds for any block C distinct from A and B, where u is a positive integer. (iii) if A and B are a complementary pair of blocks, then ∥ A ∩ C ∥ = ∥ B ∩ C ∥ or ∥ A ∩ C ∥ = ∥ B ∩ C ∥ ± u holds for any block C distinct from A and B, where u is a positive integer. We show that a t?(2k, k, λ) design with t ? 2 and with properties (i) and (ii) is a 3?(2u(2u + 1), u(2u + 1), u(2u² + u ? 2)) design, and that a t?(2k, k, λ) design with t ? 4 and with properties (i) and (iii) is the 5-(12, 6, 1) design, the 4-(8, 4, 1) design, a $\text{5?(2u}{}^2\text{, u}{}^2\text{,}\text{1}\text{4}\text{(u}{}^2\text{? 3) (u}{}^2\text{? 4))}$ design, or a $\text{5?(}\text{2}\text{3}\text{u(2u + 1),}\text{1}\text{3}\text{u(2u = 1),}\text{1}\text{5 4}\text{u(2u}{}^2\text{+ u ? 9) (2u}{}^2\text{+ u ? 12))}$ design.     

Générateurs et semi-groupes dans les espaces de Banach uniformement lisses

Let C be a closed convex subset of a uniformly smooth Banach space. Let S(t) : C → C be a semigroup of type ω. Then the generator A₀ of S(t) has a dense domain in C. Moreover there is is an operator A such that: (i) A₀ ? A and $\text{D(A)}\text{= C, (ii) A + gwI}$ accretive, (iii) R(I + λA) ? C for λ > 0 and ωλ < 1, (iv) $\text{S(t)x =}\text{lim}{}_{\mathrm{n\; \to \; \infty }}\text{(I + (}\text{t}\text{n}\text{)A)}{}^{\mathrm{?n}}\text{x}$ for every x?C.     

Transcendental continued fractions

In two previous papers Nettler proved the transcendence of the continued fractions $\text{A := a}{}_1\text{+}\text{1}\text{a}{}_2\text{+}\text{1}\text{a}{}_3\text{+ ?}$, $\text{B := b}{}_1\text{+}\text{1}\text{b}{}_2\text{+}\text{1}\text{b}{}_3\text{+ ?}$ as well as the transcendence of the numbers A + B, A ? B, AB, $\text{A}\text{B}$ where the a's and b's are positive integers satisfying a certain mutual growth condition. In the present paper even the algebraic independence of A and B is proved under almost the same condition and furthermore a result concerning the transcendency of A^B is established.     

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.