Related papers: Cauchy-Kowalevski's theorem applied for counting g…
This thesis addresses Pour-El and Richards' fourth question from their book "Computability in analysis and physics", concerning the relation between higher order recursion theory and computability in analysis. Among other things it is shown…
The Levy-Steinitz theorem characterizes the values that a conditionally convergent sequence in of real numbers can attain under permutations. We extend this analysis to sequences of countable sequences of real numbers, under pointwise…
This paper presents a type theory in which it is possible to directly manipulate $n$-dimensional cubes (points, lines, squares, cubes, etc.) based on an interpretation of dependent type theory in a cubical set model. This enables new ways…
We explore an application of homological algebra to set theoretic objects by developing a cohomology theory for Hausdorff gaps. The cohomology theory is introduced with enough generality to be applicable to other questions in set theory.…
We apply the theory of Weyl structures for parabolic geometries developed by A. Cap and J. Slovak in to compute, for a quaternionic contact (qc) structure, the Weyl connection associated to a choice of scale, i.e. to a choice of…
Classic complex analysis is built on structural function $K=1$ only associated with Cauchy-Riemann equations, subsequently various generalizations of Cauchy-Riemann equations start to break this situation. The goal of this article is to…
We present the geometric solutions to some variational problems of statistical mechanics and combinatorics. Together with the Wulff construction, which predicts the shape of the crystals, we discuss the construction which exhibits the shape…
An analogy is drawn between recent work with Kley (math.AG/0007082) and the WDVV equations. That is, both are regarded as symmetries of generating functions with coefficients that "count" rational curves on a complex projective manifold. It…
For the Kirillov-Poisson structure on the vector space $\g^*$, where $\g$ is a finite-dimensional Lie algebra, it is known at least two canonical deformations quantization of this structure: they are the M. Kontsevich universal formula [K],…
In this paper, we study the structure of the set of tilings produced by any given tile-set. For better understanding this structure, we address the set of finite patterns that each tiling contains. This set of patterns can be analyzed in…
Information geometry provides a geometric approach to families of statistical models. The key geometric structures are the Fisher quadratic form and the Amari-Chentsov tensor. In statistics, the notion of sufficient statistic expresses the…
In this paper, we study concave compositions, an extension of partitions that were considered by Andrews, Rhoades, and Zwegers. They presented several open problems regarding the statistical structure of concave compositions including the…
In this paper we mainly investigate the Cauchy problem of some Camassa-Holm type systems. By constructing a new auxiliary function, we present a generalized Ovsyannikov theorem. By using this theorem and the basic properties of…
We reprove the countable splitting lemma by adapting Nawrotzki's algorithm which produces a sequence that converges to a solution. Our algorithm combines Nawrotzki's approach with taking finite cuts. It is constructive in the sense that…
Given a bicovariant differential calculus $(\mathcal{E}, d)$ such that the braiding map is diagonalisable in a certain sense, the bimodule of two-tensors admits a direct sum decomposition into symmetric and anti-symmetric tensors. This is…
Linear topological spaces with partial ordering (linear kinematics) are studied. They are defined by a set of 8 axioms implying that topology, linear structure and ordering are compatible with each other. Most of the results are valid for…
We make a number of observations on Conway surreal number theory which may be useful, for further developments, in both in mathematics and theoretical physics. In particular, we argue that the concepts of surreal numbers and matroids can be…
Causal structures give us a way to understand the origin of observed correlations. These were developed for classical scenarios, but quantum mechanical experiments necessitate their generalisation. Here we study causal structures in a broad…
We indicate a way of distinguishing between structures, for which, we call two structures distinguishable. Roughly, being distinguishable means that they differ in the number of realizations each gives for some formula. Being…
We relate graph complexes, Calabi-Yau $A_\infty$-categories and Kontsevich's cocycle construction. Our main result produces a commutative square of shifted Poisson algebras; one of its edges is the Loday-Quillen-Tsygan map, generalized to…