Related papers: Notions of Higher Type
Brouwer's constructivist foundations of mathematics is based on an intuitively meaningful notion of computation shared by all mathematicians. Martin-L\"of's meaning explanations for constructive type theory define the concept of a type in…
We use coherent states as trial states for a variational approach to study a system of a finite number of three-level atoms interacting in a dipolar approximation with a one-mode electromagnetic field. The atoms are treated as…
We propose a new theory to characterize equilibrium topological phase with non-equilibrium quantum dynamics by introducing the concept of high-order topological charges, with novel phenomena being predicted. Through a dimension reduction…
Denotational models of type theory, such as set-theoretic, domain-theoretic, or category-theoretic models use (actual) infinite sets of objects in one way or another. The potential infinite, seen as an extensible finite, requires a dynamic…
We apply ideas from the theory of limits of dense combinatorial structures to study order types, which are combinatorial encodings of finite point sets. Using flag algebras we obtain new numerical results on the Erd\H{o}s problem of finding…
The non-classical features of quantum mechanics are reproduced using models constructed with a classical theory - general relativity. The inability to define complete initial data consistently and independently of future measurements,…
A finite difference numerical method is investigated for fractional order diffusion problems in one space dimension. For this, a mathematical model is developed to incorporate homogeneous Dirichlet and Neumann type boundary conditions. The…
Generally, the normal displacement-based formation control has a sensing mode that requires the agent not only to have certain knowledge of its direction, but also to gather its local information characterized by nonnegative coupling…
Phase transitions of fluid mixtures of the type introduced by Stillinger and Helfand are studied using a continuum version of the invaded cluster algorithm. Particles of the same species do not interact, but particles of different types…
We treat the boundary problem for complex varieties (with isolated singularities) of dimension greater than one, which are contained in a suitable class of strictly pseudoconvex, unbounded domains of C^n.
We derive general form of finite-dimensional approximations of path integrals for both bosonic and fermionic canonical systems in terms of symbols of operators determined by operator ordering. We argue that for a system with a given quantum…
We address the issue of coupling variables which are essentially classical to variables that are quantum. Two approaches are discussed. In the first (based on collaborative work with L.Di\'osi), continuous quantum measurement theory is used…
It is well known that Cayley's ruled cubic surface carries a three-parameter family of twisted cubics sharing a common point, with the same tangent and the same osculating plane. We report on various results and open problems with respect…
We define new higher-order Alexander modules $\mathcal{A}_n(C)$ and higher-order degrees $\delta_n(C)$ which are invariants of the algebraic planar curve $C$. These come from analyzing the module structure of the homology of certain…
We present a complete theory of higher-order autonomous contact mechanics, which allows us to describe higher-order dynamical systems with dissipation. The essential tools for the theory are the extended higher-order tangent bundles, ${\rm…
Understanding the continuum limit of a theory of discrete random geometries is a beautiful but difficult challenge. In this optic, we review here the insights that can be obtained for Causal Dynamical Triangulations (CDT) by employing the…
We propose a new line of attack to create a finite quantum theory which includes general relativity and (perhaps) the standard model in its low energy limit. The theory would emerge from the categorical approach. A structure is observed on…
J. Kock has previously defined a tangency quantum product on formal power series with coefficients in the cohomology ring of any smooth projective variety, and thus a ring that generalizes the quantum cohomology ring. We further generalize…
For the identification of non-trivial quantum phase, we exploit a Bell-type correlation that is applied to the one-dimensional spin-1 XXZ chain. It is found that our generalization of bipartite Bell correlation can take a decomposed form of…
Networks representing complex systems in nature and society usually involve multiple interaction types. These types suggest essential information on the interactions between components, but not all of the existing types are usually…