Articles
![]() |
06/20/2012--
06/20/2012
Towards a splitter theorem for internally 4-connected binary matroids II
Let M and N be internally 4-connected binary matroids such that M has a
proper N-minor, and |E(N)| is at least seven. As part of our project to develop
a splitter theorem for internally 4-connected binary matroids, we prove the
following result: if M\e has no N-minor whenever e is in a triangle of M, and
M/e has no N-minor whenever e is in a triad of M, then M has a minor, M', such
that M' is internally 4-connected with an N-minor, and 0 < |E(M)|-|E(M')| < 3.
Carolyn Chun
Dillon Mayhew
James Oxley
07/26/2011--
07/26/2011
Topologies on Central Extensions of Von Neumann Algebras
Given a von Neumann algebra $M$ we consider the central extension $E(M)$ of
$M.$ We introduce the topology $t_c(M)$ on $E(M)$ generated by a center-valued
norm and prove that it coincides with the topology of convergence locally in
measure on $E(M)$ if and only if $M$ does not have direct summands of type II.
We also show that $t_c(M)$ restricted on the set $E(M)_h$ of self-adjoint
elements of $E(M)$ coincides with the order topology on $E(M)_h$ if and only if
$M$ is a $\sigma$-finite type I$_{fin}$ von Neumann algebra.
Sh. A. Ayupov
K. K. Kudaybergenov
R. T. Djumamuratov
02/26/2017--
02/26/2017
A Useful Solution of the Coupon Collector's Problem
The Coupon Collector's Problem is one of the few mathematical problems that
make news headlines regularly. The reasons for this are on one hand the immense
popularity of soccer albums (called Paninimania) and on the other hand that no
solution is known that is able to take into account all effects such as
replacement (limited purchasing of missing stickers) or swapping. In previous
papers we have proven that the classical assumptions are not fulfilled in
practice. Therefore we define new assumptions that match reality. Based on
these assumptions we are able to derive formulae for the mean number of
stickers needed (and the associated standard deviation) that are able to take
into account all effects that occur in practical collecting. Thus collectors
can estimate the average cost of completion of an album and its standard
deviation just based on elementary calculations. From a practical point of view
we consider the Coupon Collector's problem as solved.
-----
Das Sammelbilderproblem ist eines der wenigen mathematischen Probleme, die
regelm\"a{\ss}ig in den Schlagzeilen der Nachrichten vorkommen. Dies liegt
einerseits an der gro{\ss}en Popularit\"at von Fu{\ss}ball-Sammelbildern
(Paninimania genannt) und andererseits daran, dass es bisher keine L\"osung
gibt, die alle relevanten Effekte wie Nachkaufen oder Tauschen
ber\"ucksichtigt. Wir haben bereits nachgewiesen, dass die klassischen Annahmen
nicht der Realit\"at entsprechen. Deshalb stellen wir neue Annahmen auf, die
die Praxis besser abbilden. Darauf aufbauend k\"onnen wir Formeln f\"ur die
mittlere Anzahl ben\"otigter Bilder (sowie deren Standardabweichung) ableiten,
die alle in der Praxis relevanten Effekte ber\"ucksichtigen. Damit k\"onnen
Sammler die mittleren Kosten eines Albums sowie deren Standardabweichung nur
mit Hilfe von elementaren Rechnungen bestimmen. F\"ur praktische Zwecke ist das
Sammelbilderproblem damit gel\"ost.
Niklas Braband
Sonja Braband
Malte Braband
03/12/2024--
07/29/2020
On Pursell-Shanks type results
We prove a Lie-algebraic characterization of vector bundle for the Lie
algebra $\mathcal{D}(E,M),$ seen as ${\rm C}^\infty(M)-$module, of all linear
operators acting on sections of a vector bundle $E\to M$.
We obtain similar result for its Lie subalgebra $\mathcal{D}^1(E,M)$ of all
linear first-order differential operators.
Thanks to a well-chosen filtration, $\mathcal{D}(E,M)$ becomes
$\mathcal{P}(E,M)$ and we prove that $\mathcal{P}^1(E,M)$ characterizes the
vector bundle without the hypothesis of being seen as ${\rm
C}^\infty(M)-$module.
We prove that the Lie algebra $\mathcal{S}(\mathcal{P}(E,M))$ of symbols of
linear operators acting on smooth sections of a vector bundle $E\to M,$
characterizes it. To obtain this, we assume that
$\mathcal{S}(\mathcal{P}(E,M))$ is seen as ${\rm C}^\infty(M)-$module.
We obtain a similar result with the Lie algebra
$\mathcal{S}^1(\mathcal{P}(E,M))$ of symbols of first-order linear operators
without the hypothesis of being seen as a ${\rm C}^\infty(M)-$module.
Pierre B. A. Lecomte
Elie Zihindula Mushengezi
04/12/2007--
04/12/2007
On the residue fields of Henselian valued stable fields, II
Let $E$ be a primarily quasilocal field, $M/E$ a finite Galois extension and
$D$ a central division $E$-algebra of index divisible by $[M\colon E]$. In
addition to the main result of Part I, this part of the paper shows that if the
Galois group $G(M/E)$ is not nilpotent, then $M$ does not necessarily embed in
$D$ as an $E$-subalgebra. When $E$ is quasilocal, we find the structure of the
character group of its absolute Galois group; this enables us to prove that if
$E$ is strictly quasilocal and almost perfect, then the divisible part of the
multiplicative group $E ^{\ast}$ equals the intersection of the norm groups of
finite Galois extensions of $E$.
I. D. Chipchakov
06/25/2020--
06/25/2020
Critical 3-hypergraphs (detailed version)
Given a 3-hypergraph $H$, a subset $M$ of $V(H)$ is a module of $H$ if for
each $e\in E(H)$ such that $e\cap M\neq\emptyset$ and $e\setminus
M\neq\emptyset$, there exists $m\in M$ such that $e\cap M=\{m\}$ and for every
$n\in M$, we have $(e\setminus\{m\})\cup\{n\}\in E(H)$. For example,
$\emptyset$, $V(H)$ and $\{v\}$, where $v\in V(H)$, are modules of $H$, called
trivial. A 3-hypergraph is prime if all its modules are trivial. Furthermore, a
prime 3-hypergraph is critical if all its induced subhypergraphs, obtained by
removing one vertex, are not prime. We characterize the critical 3-hypergraphs.
Abderrahim Boussairi
Brahim Chergui
Pierre Ille
Mohamed Zaidi
11/25/2012--
11/25/2012
Non-Separating Cocircuits and Graphicness in Matroids
Let $M$ be a 3-connected binary matroid and let $Y(M)$ be the set of elements
of $M$ avoiding at least $r(M)+1$ non-separating cocircuits of $M$. Lemos
proved that $M$ is non-graphic if and only if $Y(M)\neq\emp$. We generalize
this result when by establishing that $Y(M)$ is very large when $M$ is
non-graphic and $M$ has no $M\s(K_{3,3}"')$-minor if $M$ is regular. More
precisely that $|E(M)-Y(M)|\le 1$ in this case. We conjecture that when $M$ is
a regular matroid with an $M\s(K_{3,3})$-minor, then $r\s_M(E(M)-Y(M))\le 2$.
The proof of such conjecture is reduced to a computational verification.
João Paulo Costalonga
04/15/2016--
04/15/2016
Weak-local triple derivations on C*-algebras and JB*-triples
We prove that every weak-local triple derivation on a JB$^*$-triple $E$ (i.e.
a linear map $T: E\to E$ such that for each $\phi \in E^*$ and each $a\in E$,
there exists a triple derivation $\delta_{a,\phi} : E\to E$, depending on
$\phi$ and $a$, such that $\phi T(a) = \phi \delta_{a,\phi} (a)$) is a
(continuous) triple derivation.
M. J. Burgos
J. C. Cabello
A. M. Peralta
02/07/2012--
02/05/2012
A quantitative version of the commutator theorem for zero trace matrices
Let $A$ be a $m\times m$ complex matrix with zero trace and let $\e>0$. Then
there are $m\times m$ matrices $B$ and $C$ such that $A=[B,C]$ and
$\|B\|\|C\|\le K_\e m^\e\|A\|$ where $K_\e$ depends only on $\e$. Moreover, the
matrix $B$ can be taken to be normal.
William B. Johnson
Narutaka Ozawa
Gideon Schechtman
11/06/2002--
11/06/2002
Homotopy types of the components of spaces of embeddings of compact polyhedra into 2-manifolds
Suppose M is a connected PL 2-manifold and X is a compact connected
subpolyhedron of M (X \neq 1pt, a closed 2-manifold). Let E(X, M) denote the
space of topological embeddings of X into M with the compact-open topology and
let E(X, M)_0 denote the connected component of the inclusion i_X : X \subset M
in E(X, M). In this paper we classify the homotopy type of E(X, M)_0 in term of
the subgroup G = Im[{i_X}_\ast : \pi_1(X) \to \pi_1(M)]. We show that if G is
not a cyclic group and M \neq T^2, T^2 then E(X, M)_0 \simeq \ast, if G is a
nontrivial cyclic group and M \neq P^2, T^2, K^2 then E(X, M)_0 \simeq S^1, and
when G = 1, if X is an arc or M is orientable then E(X, M)_0 \simeq ST(M) and
if X is not an arc and M is nonorientable then E(X, M)_0 \simeq ST(\tilde{M}).
Here S^1 is the circle, T^2 is the torus, P^2 is the projective plane and K^2
is the Klein bottle. The symbol ST(M) denotes the tangent unit circle bundle of
M with respect to any Riemannian metric of M and \tilde{M} denotes the
orientation double cover of M.
Tatsuhiko Yagasaki
|
|