Related papers: The Thompson-Lyons transfer lemma for fusion syste…
Chern-Simons theory coupled to complex scalars is quantized on the light- front in the local light-cone gauge by constructing the self-consistent hamiltonian theory. It is shown that no inconsistency arises on using two local gauge-fixing…
Technical components are usually well optimized. However, simply combining these optimized components in a technical system does not necessarily lead to optimal systems. Therefore, focusing on a system perspective reveals new potential for…
This work is a direct continuation of the authors work arXiv:0812.3779v1. A special case of conservative overdetermined time invariant 2D systems is developed and studied. Defining transfer function of such a systems we obtain a class CI of…
Using the procedure of the marked point fusion, there are obtained integrable systems with poles in the matrix of the Lax operator order higher than one, considered Hamiltonians, symplectic structure and symmetries of these systems. Also,…
Translating expressions between different logics and theorem provers is notoriously and often prohibitively difficult, due to the large differences between the logical foundations, the implementations of the systems, and the structure of…
This note points out a lemma on closures of monotonic increasing functions and shows how it is applicable to decomposition and modularity for semantics defined as the least fixedpoint of some monotonic function. In particular it applies to…
A pair of symmetric expressions for the second law of thermodynamics is put forward. The conservation and transfer of entropy is discussed and applied to problems like biology, culture and life itself. A new explanation is given to the…
Entropy can signify different things: For instance, heat transfer in thermodynamics or a measure of information in data analysis. Many entropies have been introduced and it can be difficult to ascertain their different importance and…
Various methods for leveraging turbulent fluctuation measurements from fusion plasma experiments are introduced, along with selected application examples. These can be categorized into spectral methods, statistical methods, and physics…
The representation theorem for odd or even involutive FLe-chains by bunches of layer groups, as discussed in [10], is redefined to demonstrate a more straightforward constructional relationship between odd or even involutive FLe-chains and…
We give characterizations of unital uniform topological algebras and saturated locally multiplicatively convex algebras by means of multiplicative linear functionals. Some automatic continuity theorems in advertibly complete uniform…
We discuss how a standard scattering theory a of multi-particle theory generalises to systems based on Hamiltonians that involve higher-order derivatives in their quantum mechanical formulation. As concrete examples, we consider Hamiltonian…
A systematic loop expansion is formulated in terms of full propagators and vertices. It is based on an expansion of the general solution of an exact non-perturbative flow equation.
We present a system of axioms motivated by a topological intuition: The set of subsets of any set is a topology on that set. On the one hand, this system is a common weakening of Zermelo-Fraenkel set theory ZF, the positive set theory GPK…
We review the recent progress in the density functional theory for superconductors (SCDFT). Motivated by the long-studied plasmon mechanism of superconductivity, we have constructed an exchange-correlation kernel entering the SCDFT gap…
Saturation is (mu,kappa)-transferable in T if and only if there is an expansion T_1 of T with |T_1| = |T| such that if M is a mu-saturated model of T_1 and |M| \geq kappa then the reduct M|L(T) is kappa-saturated. We characterize theories…
We establish power Fourier decay for equilibrium states of parabolic $C^{1+\alpha}$ iterated function systems with overlaps satisfying a multiscale nonlinearity condition. This class includes the Lyons conductance measures $\nu_t$, $0<t<1$,…
We present a general fixed point theorem which can be seen as the quintessence of the principles of proof for Banach's Fixed Point Theorem, ultrametric and certain topological fixed point theorems. It works in a minimal setting, not…
We describe a translation from a fragment of SUMO (SUMO-K) into higher-order set theory. The translation provides a formal semantics for portions of SUMO which are beyond first-order and which have previously only had an informal…
A Central Limit Theorem is proved for linear random fields when sums are taken over finite disjoint union of rectangles. The approach does not rely upon the use of Beveridge Nelson decomposition and the conditions needed are similar to…