Related papers: Constructing nonstandard hulls and Loeb measures i…
First, we prove a theorem on dynamics of actions of monoids by endomorphisms of semigroups. Second, we introduce algebraic structures suitable for formalizing infinitary Ramsey statements and prove a theorem that such statements are implied…
In [9], [15] it has been introduced a technique, based on nonstandard analysis, to study some problems in combinatorial number theory. In this paper we present three applications of this technique: the first one is a new proof of a known…
Cosmological probes pose an inverse problem where the measurement result is obtained through observations, and the objective is to infer values of model parameters which characterize the underlying physical system -- our Universe. Modern…
Localization of a set of nodes is an important and a thoroughly researched problem in robotics and sensor networks. This paper is concerned with the theory of localization from inner-angle measurements. We focus on the challenging case…
We provide a mechanism of gauging a theory based on a particular way to embed a theory on a target space such that a nontrivial fibration is produced. A connection over a nontrivial fibration with monodromy provides a natural framework for…
The subject of this thesis is the construction and the study of four-dimensional effective theories with spontaneously broken and non-linearly realised global and local supersymmetry. In the first part, the global supersymmetric case is…
We continue investigations of reasonable ultrafilters on uncountable cardinals defined in math.LO/0407498. We introduce stronger properties of ultrafilters and we show that those properties may be handled in lambda-support iterations of…
We are reinvestigating the hyperfine structure of sodium using a fully relativistic multiconfiguration approach. In the fully relativistic approach, the computational strategy somewhat differs from the original nonrelativistic counterpart…
The bootstrap is a popular method of constructing confidence intervals due to its ease of use and broad applicability. Theoretical properties of bootstrap procedures have been established in a variety of settings. However, there is limited…
In standard construction of hyperrational numbers using an ultrapower we assume that the ultrafilter is selective. It makes possible to assign real value to any finite hyperrational number. So, we can consider hyperrational numbers with…
The coordinates along any fixed direction(s), of points on the sphere $S^{n-1}(\sqrt{n})$, roughly follow a standard Gaussian distribution as $n$ approaches infinity. We revisit this classical result from a nonstandard analysis perspective,…
A new approach to the local and global explanation is proposed. It is based on selecting a convex hull constructed for the finite number of points around an explained instance. The convex hull allows us to consider a dual representation of…
This paper demonstrates how new principles of compressed sensing, namely asymptotic incoherence, asymptotic sparsity and multilevel sampling, can be utilised to better understand underlying phenomena in practical compressed sensing and…
We study the properties of the constructible universe, L, over intuitionistic theories. We give an extended set of fundamental operations which is sufficient to generate the universe over Intuitionistic Kripke-Platek set theory without…
We reconsider the problem of gravitational structure formation inside and outside General Relativity (GR), both in the weakly and strongly non-linear regime. We show how these regimes can be explored observationally through clustering of…
There are reasons to believe that the Standard Model is only an effective theory, with new Physics lying beyond it. Supersymmetric extensions are one possibility: they address some of the Standard Model's shortcomings, such as the…
Metamaterials exhibit materials response deviation from conventional elasticity. This phenomenon is captured by the generalized elasticity as a result of extending the theory at the expense of introducing additional parameters. These…
In the separate universe approach, an inhomogeneous universe is rephrased as a set of glued numerous homogeneous local patches. This is the essence of the gradient expansion and the $\delta N$ formalism, which have been widely used in…
The partially linear binary choice model can be used for estimating structural equations where nonlinearity may appear due to diminishing marginal returns, different life cycle regimes, or hectic physical phenomena. The inference procedure…
The survey covers several topics related to the asymptotic structure of various combinatorial and analytic objects such as the path spaces in graded graphs (Bratteli diagrams), invariant measures with respect to countable groups, etc. The…