Related papers: There are no realizable 15_4- and 16_4-configurati…

We study the structural regularities and irregularities of the reals in inner models of set theory. Starting with $L$, G\"{o}del's constructible universe, our study of the reals is thus two-fold. On the one hand, we study how their…

We construct new families of examples of (real) Anosov Lie algebras starting with algebraic units. We also give examples of indecomposable Anosov Lie algebras (not a direct sum of proper Lie ideals) of dimension 13 and 16, and we conclude…

We give some new advances in the research of the maximum number of triangles that we may obtain in a simple arrangements of n lines or pseudo-lines.

We revisit the configuration of Danzer DCD(4), a great inspiration for our work. This configuration of type (35_4) falls into an infinite series of geometric point-line configurations DCD(n). Each DCD(n) is characterized combinatorially by…

Let c(d) denote the minimal composition length of all finite solvable groups with solvable (or derived) length d. We prove that c(d) equals 0,1,2,4,5,7,8,13,15 when d=0,1,2,3,4,5,6,7,8.

Let $s(n)$ denote the sum of digits in the binary expansion of the integer $n$. Hare, Laishram and Stoll (2011) studied the number of odd integers such that $s(n)=s(n^2)=k$, for a given integer $k\geq 1$. The remaining cases that could not…

A finite group $G$ is called $k$-factorizable if for any factorization $|G|=a_1\cdots a_k$ with $a_i>1$ there exist subsets $A_i$ of $G$ with $|A_i|=a_i$ such that $G=A_1\cdots A_k$. We say that $G$ is \textit{multifold-factorizable} if $G$…

We investigate the computability of algebraic closure and definable closure with respect to a collection of formulas. We show that for a computable collection of formulas of quantifier rank at most $n$, in any given computable structure,…

In this article we study physical realizability for a class of nonlinear quantum stochastic differential equations (QSDEs). Physical realizability is a property in which a QSDE corresponds to the dynamics of an open quantum system. We…

We show that the number $\alpha=(1+\sqrt{3+2\sqrt{5}})/2$ with minimal polynomial $x^4-2x^3+x-1$ is the only Pisot number whose four distinct conjugates $\alpha_1,\alpha_2,\alpha_3,\alpha_4$ satisfy the additive relation…

In this paper, by solving Diophantine equations involving simple $K_4$-groups, we will try to point out that it is not easy to prove the infinitude of simple $K_4$-groups. This problem goes far beyond what is known about Dickson's…

A natural number $n$ is called {\it multiperfect} or {\it$k$-perfect} for integer $k\ge2$ if $\sigma(n)=kn$, where $\sigma(n)$ is the sum of the positive divisors of $n$. In this paper, we establish the structure theorem of odd multiperfect…

We present a new construction of triple arrays by combining a symmetric 2-design with a resolution of another 2-design. This is the first general method capable of producing non-extremal triple arrays. We call the triple arrays which can be…

We construct two finite groups of size $2^{365}\cdot 3^{105}\cdot 7^{104}$: a solvable group $G$ and a non-solvable group $H$, such that for every integer $n$ the groups have the same number of elements of order $n$. This answers a question…

We introduce the problem of temporal coverability for realizability and synthesis. Namely, given a language of words that must be covered by a produced system, how to automatically produce such a system. We consider the case of coverability…

One proves that there exists an obstruction to an open simply connected $n$-manifold of dimension $n\geq 5$ being geometrically simply connected. In particular there exist uncountably many simply connected $n$-manifolds which are not…

In this article we determine five previously unknown covering array numbers (CANs). We do so using properties of so called balanced covering arrays together with a computational result for these. The balance properties allow us to…

A partition into distinct parts is refinable if one of its parts $a$ can be replaced by two different integers which do not belong to the partition and whose sum is $a$, and it is unrefinable otherwise. Clearly, the condition of being…

In the packing-constrained point covering problem, PC^2, one seeks configurations of points in the plane that cannot all be covered by a packing arrangement of unit disks. We consider in particular the problem of finding the minimum number…

Almost nothing is known about the parity of the partition function $p(n)$, which is conjectured to be random. Despite this expectation, Ono surprisingly proved the existence of infinitely many linear dependence congruence relations modulo 4…