Search results for "Combinatorics"
showing 10 items of 1770 documents
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\).
Counterexamples to the Kneser conjecture in dimension four.
1995
We construct a connected closed orientable smooth four-manifold whose fundamental group is the free product of two non-trivial groups such that it is not homotopy equivalent toM 0#M 1 unlessM 0 orM 1 is homeomorphic toS 4. LetN be the nucleus of the minimal elliptic Enrique surfaceV 1(2, 2) and putM=N∪ ∂NN. The fundamental group ofM splits as ℤ/2 * ℤ/2. We prove thatM#k(S 2×S2) is diffeomorphic toM 0#M 1 for non-simply connected closed smooth four-manifoldsM 0 andM 1 if and only ifk≥8. On the other hand we show thatM is homeomorphic toM 0#M 1 for closed topological four-manifoldsM 0 andM 1 withπ 1(Mi)=ℤ/2.
On the signature of four-manifolds with universal covering spin
1993
In this note we study closed oriented 4-manifolds whose universal covering is spin and ask whether there are restrictions on the divisibility of the signature. Since any natural number appears as the signature of a connected sum of r 2,s, without the assumption on the universal covering there cannot exist any restrictions. Certainly, the most famous such restriction was proved by Rohlin in [10], where he showed that the signature a of a smooth 4-dimensional spin manifold is divisible by 16 (compare part (2) of our Main Theorem for a new proof). The Kummer surface K shows that this is the best possible general result. Dividing by a certain free holomorphic involution on K, one obtains the En…
Words and forbidden factors
2002
AbstractGiven a finite or infinite word v, we consider the set M(v) of minimal forbidden factors of v. We show that the set M(v) is of fundamental importance in determining the structure of the word v. In the case of a finite word w we consider two parameters that are related to the size of M(w): the first counts the minimal forbidden factors of w and the second gives the length of the longest minimal forbidden factor of w. We derive sharp upper and lower bounds for both parameters. We prove also that the second parameter is related to the minimal period of the word w. We are further interested to the algorithmic point of view. Indeed, we design linear time algorithm for the following two p…
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 …
Kirkman's tetrahedron and the fifteen schoolgirl problem
2011
We give a visual construction of two solutions to Kirkman's fifteen schoolgirl problem by combining the fifteen simplicial elements of a tetrahedron. Furthermore, we show that the two solutions are nonisomorphic by introducing a new combinatorial algorithm. It turns out that the two solutions are precisely the two nonisomorphic arrangements of the 35 projective lines of PG(3,2) into seven classes of five mutually skew lines. Finally, we show that the two solutions are interchanged by the canonical duality of the projective space.
Zentralisatoren zentraler involutionen in $L_{n}(2)$
1973
A question in the theory of saturated formations of finite soluble groups
1993
This paper examines the following question. If\(\mathcal{H}\) and\(\mathcal{F}\) are saturated formations then\(\mathcal{H}_\mathcal{F} \) is defined to be the class of all soluble groups whose\(\mathcal{H} - normalizers\) belong to\(\mathcal{F}\). In general\(\mathcal{H}_\mathcal{F} \) is a formation, but need not be a saturated formation. Here the smallest saturated formation containing\(\mathcal{H}_\mathcal{F} \) is studied.
On lacunary Toeplitz determinants
2014
By using Riemann--Hilbert problem based techniques, we obtain the asymptotic expansion of lacunary Toeplitz determinants $\det_N\big[ c_{\ell_a-m_b}[f] \big]$ generated by holomorhpic symbols, where $\ell_a=a$ (resp. $m_b=b$) except for a finite subset of indices $a=h_1,\dots, h_n$ (resp. $b=t_1,\dots, t_r$). In addition to the usual Szeg\"{o} asymptotics, our answer involves a determinant of size $n+r$.