Noncommutative Geometry and a Discretized Version of Kaluza-Klein Theory with a Finite Field Content

We consider a four-dimensional space-time supplemented by two discrete points assigned to a $Z_2$ algebraic structure and develop the formalism of noncommutative geometry. By setting up a generalised vielbein, we study the metric structure. Metric compatible torsion free connection defines a unique finite field content in the model and leads to a discretized version of Kaluza-Klein theory. We study some special cases of this model that illustrate the rich and complex structure with massive modes and the possible presence of a cosmological constant.Comment: 21 pages, LATEX fil

Construction of nested space-filling designs

New types of designs called nested space-filling designs have been proposed for conducting multiple computer experiments with different levels of accuracy. In this article, we develop several approaches to constructing such designs. The development of these methods also leads to the introduction of several new discrete mathematics concepts, including nested orthogonal arrays and nested difference matrices.Comment: Published in at http://dx.doi.org/10.1214/09-AOS690 the Annals of Statistics (http://www.imstat.org/aos/) by the Institute of Mathematical Statistics (http://www.imstat.org

Negative Refraction Induced by M\"obius Topology

We theoretically show the negative refraction existing in M\"{o}bius molecules. The negative refractive index is induced by the non-trivial topology of the molecules. With the M\"{o}bius boundary condition, the effective electromagnetic fields felt by the electron in a M\"{o}bius ring is spatially inhomogeneous. In this regard, the $D_{N}$ symmetry is broken in M\"{o}bius molecules and thus the magnetic response is induced through the effective magnetic field. Our findings open up a new architecture for negative refractive index materials based on the non-trivial topology of M\"{o}bius molecules.Comment: 14 pages, 5 figure

Karhunen-Lo\`eve expansion for a generalization of Wiener bridge

We derive a Karhunen-Lo\`eve expansion of the Gauss process $B_t - g(t)\int_0^1 g'(u)\,d B_u$, $t\in[0,1]$, where $(B_t)_{t\in[0,1]}$ is a standard Wiener process and $g:[0,1]\to R$ is a twice continuously differentiable function with $g(0) = 0$ and $\int_0^1 (g'(u))^2\,d u =1$. This process is an important limit process in the theory of goodness-of-fit tests. We formulate two special cases with the function $g(t)=\frac{\sqrt{2}}{\pi}\sin(\pi t)$, $t\in[0,1]$, and $g(t)=t$, $t\in[0,1]$, respectively. The latter one corresponds to the Wiener bridge over $[0,1]$ from $0$ to $0$.Comment: 25 pages, 1 figure. The appendix is extende

A Discretized Version of Kaluza-Klein Theory with Torsion and Massive Fields

We consider an internal space of two discrete points in the fifth dimension of the Kaluza-Klein theory by using the formalism of noncommutative geometry developed in a previous paper \cite{VIWA} of a spacetime supplemented by two discrete points. With the nonvanishing internal torsion 2-form there are no constraints implied on the vielbeins. The theory contains a pair of tensor, a pair of vector and a pair of scalar fields. Using the generalized Cartan structure equation we are able not only to determine uniquely the hermitian and metric compatible connection 1-forms, but also the nonvanishing internal torsion 2-form in terms of vielbeins. The resulting action has a rich and complex structure, a particular feature being the existence of massive modes. Thus the nonvanishing internal torsion generates a Kaluza-Klein type model with zero and massive modes.Comment: 24 page

Conceptual modelling: Towards detecting modelling errors in engineering applications

Rapid advancements of modern technologies put high demands on mathematical modelling of engineering systems. Typically, systems are no longer “simple” objects, but rather coupled systems involving multiphysics phenomena, the modelling of which involves coupling of models that describe different phenomena. After constructing a mathematical model, it is essential to analyse the correctness of the coupled models and to detect modelling errors compromising the final modelling result. Broadly, there are two classes of modelling errors: (a) errors related to abstract modelling, eg, conceptual errors concerning the coherence of a model as a whole and (b) errors related to concrete modelling or instance modelling, eg, questions of approximation quality and implementation. Instance modelling errors, on the one hand, are relatively well understood. Abstract modelling errors, on the other, are not appropriately addressed by modern modelling methodologies. The aim of this paper is to initiate a discussion on abstract approaches and their usability for mathematical modelling of engineering systems with the goal of making it possible to catch conceptual modelling errors early and automatically by computer assistant tools. To that end, we argue that it is necessary to identify and employ suitable mathematical abstractions to capture an accurate conceptual description of the process of modelling engineering systems