Displaying similar documents to “Definable Davies' theorem”

PROBLEMS

M. Chrobak, M. Habib, P. John, H. Sachs, H. Zernitz, J. R. Reay, G. Sierksma, M. M. Sysło, T. Traczyk, W. Wessel (1987)

Applicationes Mathematicae

Similarity:

A matrix derivation of a representation theorem for (tr A).

Heinz Neudecker (1989)

Qüestiió

Similarity:

A matrix derivation of a well-known representation theorem for (tr A) is given, which is the solution of a restricted maximization problem. The paper further gives a solution of the corresponding restricted minimization problem.

On Multiset Ordering

Grzegorz Bancerek (2016)

Formalized Mathematics

Similarity:

Formalization of a part of [11]. Unfortunately, not all is possible to be formalized. Namely, in the paper there is a mistake in the proof of Lemma 3. It states that there exists x ∈ M1 such that M1(x) > N1(x) and (∀y ∈ N1)x ⊀ y. It should be M1(x) ⩾ N1(x). Nevertheless we do not know whether x ∈ N1 or not and cannot prove the contradiction. In the article we referred to [8], [9] and [10].

Fat P-sets in the Space ω*

Ryszard Frankiewicz, Magdalena Grzech, Paweł Zbierski (2005)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We prove that-consistently-in the space ω* there are no P-sets with the ℂ-cc and any two fat P-sets with the ℂ⁺-cc are coabsolute.

One Erdös style inequality

Tomáš J. Kepka, Petr C. Němec (2019)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

One unusual inequality is examined.

A reverse engineering approach to the Weil representation

Anne-Marie Aubert, Tomasz Przebinda (2014)

Open Mathematics

Similarity:

We describe a new approach to the Weil representation attached to a symplectic group over a finite or a local field. We dissect the representation into small pieces, study how they work, and put them back together. This way, we obtain a reversed construction of that of T. Thomas, skipping most of the literature on which the latter is based.

Estimation of the noncentrality matrix of a noncentral Wishart distribution with unit scale matrix. A matrix generalization of Leung's domination result.

Heinz Neudecker (2004)

SORT

Similarity:

The main aim is to estimate the noncentrality matrix of a noncentral Wishart distribution. The method used is Leung's but generalized to a matrix loss function. Parallelly Leung's scalar noncentral Wishart identity is generalized to become a matrix identity. The concept of Löwner partial ordering of symmetric matrices is used.

MetaPost Definitions

Taco Hoekwater (2020)

Zpravodaj Československého sdružení uživatelů TeXu

Similarity:

The paper presents all syntactic rules for definitions in MetaPost. It contains many good and bad examples of definitions.

On the representation systems with respect to summation methods

K. S. Kazarian (2006)

Banach Center Publications

Similarity:

Properties of representation systems with respect to summation methods are studied. For a given representation system with respect to a given summation method we study, in particular, the question of the stability of that property after deleting finitely many elements. As a consequence we obtain the existence of null series for the systems with respect to a given method of summation.