Search results for "geometry."

Sigma-fragmentability and the property SLD in C(K) spaces

2009

Abstract We characterize two topological properties in Banach spaces of type C ( K ) , namely, being σ-fragmented by the norm metric and having a countable cover by sets of small local norm-diameter (briefly, the property norm-SLD). We apply our results to deduce that C p ( K ) is σ-fragmented by the norm metric when K belongs to a certain class of Rosenthal compacta as well as to characterize the property norm-SLD in C p ( K ) in case K is scattered.

Almost Tight Bound for the Union of Fat Tetrahedra in Three Dimensions

2007

For any AND-OR formula of size N, there exists a bounded-error N1/2+o(1)-time quantum algorithm, based on a discrete-time quantum walk, that evaluates this formula on a black-box input. Balanced, or "approximately balanced," formulas can be evaluated in O(radicN) queries, which is optimal. It follows that the (2-o(1))th power of the quantum query complexity is a lower bound on the formula size, almost solving in the positive an open problem posed by Laplante, Lee and Szegedy.

Zur Hyperebenenalgebraisierung in desargues-Schen projektiven Verbandsgeometrien

1991

As a completion and extension of a result of A. Day and D. Pickering [5] we obtain the following structure theorem in the conceptual frame of projective lattice geometries: In a Desarguesian projective geometry the subgeometry of every at least one-dimensional hyperplane is module induced.

A Group-theoretical Finiteness Theorem

2008

We start with the universal covering space $${\*M^n}$$ of a closed n-manifold and with a tree of fundamental domains which zips it $${T\longrightarrow\*M^n}$$ . Our result is that, between T and $${\* M^n}$$ , is an intermediary object, $${T\stackrel{p} {\longrightarrow} G \stackrel{F}{\longrightarrow} \*M^n}$$ , obtained by zipping, such that each fiber of p is finite and $${T\stackrel{p}{\longrightarrow}G\stackrel{F}{\longrightarrow} \*M^n}$$ admits a section.

Elementarteiler von Inzidenzmatrizen symmetrischer Blockpläne

1986

By a study of the integral code generated by the rows of the incidence matrix and its extention the following results are obtained: Let d 1,...,d V(d 1|d 2,d 2|d 3...) be the elementary divisors of the incidence matrix of a symmetric (v,n+λ, λ) design. Then d v=(n+λ)n/g.c.d. (n, λ). Moreover, if p is a prime such that p|n, p∤λ and if x p denotes the p-part of x, then (d idv+2−i) p =n p for 2≤i≤v. For projective planes it can be shown that d 1=···=d 3n−2=1, hence $$d_{n^2 - 2n{\text{ }} + {\text{ }}5} {\text{ }} = \cdots = d_{n^2 + n} = n$$ and $$d_{n^2 - n{\text{ }} + {\text{ }}1} = (n + 1)n$$ . The paper also contains some results about elementary divisors of incidence matrices G satisfyin…

Covering and differentiation

1995

A Dual Version of Huppert's  -  Conjecture

2010

Huppert’s ρ-σ conjecture asserts that any finite group has some character degree that is divisible by “many” primes. In this note, we consider a dual version of this problem, and we prove that for any finite group there is some prime that divides “many” character degrees.

k-Weakly almost convex groups and ? 1 ? $$\tilde M^3 $$

1993

We extend Cannon's notion ofk-almost convex groups which requires that for two pointsx, y on then-sphere in the Cayley graph which can be joined by a pathl1 of length ≤k, there is a second pathl2 in then-ball, joiningx andy, of bounded length ≤N(k). Ourk-weakly almost convexity relaxes this condition by requiring only thatl1 ∝l2 bounds a disk of area ≤C1(k)n1 - e(k) +C2(k). IfM3 is a closed 3-manifold with 3-weakly almost convex fundamental group, then π1∞\(\tilde M^3 = 0\).

On finding common neighborhoods in massive graphs

2003

AbstractWe consider the problem of finding pairs of vertices that share large common neighborhoods in massive graphs. We prove lower bounds on the resources needed to solve this problem on resource-bounded models of computation. In streaming models, in which algorithms can access the input only a constant number of times and only sequentially, we show that, even with randomization, any algorithm that determines if there exists any pair of vertices with a large common neighborhood must essentially store and process the input graph off line. In sampling models, in which algorithms can only query an oracle for the common neighborhoods of specified vertex pairs, we show that any algorithm must …

Permutability in finite soluble groups

1994

Let G be a finite soluble group and let Σ be a Hall system of G. A subgroup U of G is said to be Σ-permutable if U permutes with every member of Σ. In [1; I, 4·29] it is proved that if U and V are Σ-permutable subgroups of G then so also are U ∩ V and 〈U, V〉.