Related papers: Tracking chains revisited
The origin of complex structures, randomness, and irreversibility are analyzed in the scale free SL(2,R) analysis, which is an extension of the ordinary analysis based on the recently uncovered scale free $C^{2^n-1}$ solutions to linear…
Core-periphery (CP) structure is an important meso-scale network property where nodes group into a small, densely interconnected {core} and a sparse {periphery} whose members primarily connect to the core rather than to each other. While…
We propose a new method for constructing Turing ideals satisfying principles of reverse mathematics below the Chain-Antichain Principle (CAC). Using this method, we are able to prove several new separations in the presence of Weak Konig's…
Based on the class of epsilon numbers, another binary relational <^1 in the ordinals is introduced. We will see that we can easily describe all the isomorphisms that are witnesses of <^1. Afterwards we will show that the isomorphisms…
In this note, we initiate the systematic study of the Lie algebra structure of the necklace Lie algebra n of a free algebra in 2d variables. We begin by giving a description of n as an sp(2d)-module. Specializing to d = 1, we decompose n…
We study the degree spectra and reverse-mathematical applications of computably enumerable and co-computably enumerable partial orders. We formulate versions of the chain/antichain principle and ascending/descending sequence principle for…
Observability is a fundamental concept in system inference and estimation. This paper is focused on structural observability analysis of Cartesian product networks. Cartesian product networks emerge in variety of applications including in…
This paper aims to revisit the mathematical foundations of both General Relativity and Electromagnetism after one century, in the light of the formal theory of systems of partial differential equations and Lie pseudogroups (D.C. Spencer,…
We construct a countable simple theory which, in Keisler's order, is strictly above the random graph (but "barely so") and also in some sense orthogonal to the building blocks of the recently discovered infinite descending chain. As a…
Let $R$ be a unital $*$-ring. For any $a,w,b\in R$, we apply the defined $w$-core inverse to define a new class of partial orders in $R$, called the $w$-core partial order. Suppose $a,b\in R$ are $w$-core invertible. We say that $a$ is…
Building on Buchholz' assignment for ordinals below Bachmann-Howard ordinal, see Buchholz 2003, we introduce systems of fundamental sequences for two kinds of relativized $\vartheta$-function-based notation systems of strength…
We study the scaling of the Renyi entanglement entropy of two disjoint blocks of critical lattice models described by conformal field theories with central charge c=1. We provide the analytic conformal field theory result for the second…
We present a general theory of the corrections to the asymptotic behaviour of the Renyi entropies which measure the entanglement of an interval A of length L with the rest of an infinite one-dimensional system, in the case when this is…
Proteins contain a large fraction of regular, repeating conformations, called secondary structure. A simple, generic definition of secondary structure is presented which consists of measuring local correlations along the protein chain.…
Classification theory of elementary classes deals with first order (elementary) classes of structures (i.e. fixing a set T of first order sentences, we investigate the class of models of T with the elementary submodel notion). It tries to…
A fragment of second-order lambda calculus (System F) is defined that characterizes the elementary recursive functions. Type quantification is restricted to be non-interleaved and stratified, i.e., the types are assigned levels, and a…
The classical Ulam sequence is defined recursively as follows: $a_1=1$, $a_2=2$, and $a_n$, for $n > 2$, is the smallest integer not already in the sequence that can be written uniquely as the sum of two distinct earlier terms. This…
In this paper we provide purely model-theoretic (algebraic) characterisations for classes definable in second-order logic and for pseudo-elementary classes (including PC and PC_{\Delta} classes). Classical results of this flavour include…
We study the set ${\cal C}$ consisting of pairs of orthogonal projections $P,Q$ acting in a Hilbert space ${\cal H}$ such that $PQ$ is a compact operator. These pairs have a rich geometric structure which we describe here. They are parted…
Cantor's ordinal numbers, a powerful extension of the natural numbers, are a cornerstone of set theory. They can be used to reason about the termination of processes, prove the consistency of logical systems, and justify some of the core…