Related papers: Less is Different: Emergence and Reduction Reconci…
The infinite reduction of couplings is a tool to consistently renormalize a wide class of non-renormalizable theories with a reduced, eventually finite, set of independent couplings, and classify the non-renormalizable interactions. Several…
We view sorites in terms of stimuli acting upon a system and evoking this system's responses. Supervenience of responses on stimuli implies that they either lack tolerance (i.e., they change in every vicinity of some of the stimuli), or…
Cut-elimination is the bedrock of proof theory. It is the algorithm that eliminates cuts from a sequent calculus proof that leads to cut-free calculi and applications. Cut-elimination applies to many logics irrespective of their semantics.…
Phase transitions and critical phenomena are among the most intriguing phenomena in nature and their renormalization-group theory is one of the greatest achievements of theoretical physics. However, the predictions of the theory above an…
Scientific realism is, currently, one of the most well-entrenched background assumptions of some relevant versions of anti-exceptionalism about logic. We argue that this is a sort of sociological contingency rather than a metaphilosophical…
General theory of relativity (or Lovelock extensions) is a dynamical theory; given an initial configuration on a space-like hypersurface, it makes a definite prediction of the final configuration. Recent developments suggest that gravity…
Cut-elimination theorems constitute one of the most important classes of theorems of proof theory. Since Gentzen's proof of the cut-elimination theorem for the system $\mathbf{LK}$, several other proofs have been proposed. Even though the…
This article is an exposition of recent results on self-similar sets, asserting that if the dimension is smaller than the trivial upper bound then there are almost overlaps between cylinders. We give a heuristic derivation of the theorem…
We consider a branching random walk in a random space-time environment of disasters where each particle is killed when meeting a disaster. This extends the model of the "random walk in a disastrous random environment" introduced by [15]. We…
Analogy is a central faculty of human intelligence, enabling abstract patterns discovered in one domain to be applied to another. Despite its central role in cognition, the mechanisms by which Transformers acquire and implement analogical…
Several recent works suggested the possibility of describing inflation by means of a renormalization group equation. In this paper we discuss the application of these methods to models of quintessence. In this framework a period of…
Biases in molecular evolution can significantly influence evolutionary trajectories. They have been described in a variety of contexts such as development and mutation, but not for acquiring new functions (i.e. emergence). Here, we…
The second law of thermodynamics, formulated as an ultimate bound on the maximum extractable work, has been rigorously derived in multiple scenarios. However, the unavoidable limitations that emerge due to the lack of control on small…
In most data-scientific approaches, the principle of Maximum Entropy (MaxEnt) is used to a posteriori justify some parametric model which has been already chosen based on experience, prior knowledge or computational simplicity. In a…
We introduce and study a general model of social network formation and evolution based on the concept of preferential link formation between similar nodes and increased similarity between connected nodes. The model is studied numerically…
Many complex systems exhibit extreme events far more often than expected for a normal distribution. This work examines how self-similar bursts of activity across several orders of magnitude can emerge from first principles in systems that…
Cut-elimination is the bedrock of proof theory with a multitude of applications from computational interpretations to proof analysis. It is also the starting point for important meta-theoretical investigations including decidability,…
Robustness is often regarded as a critical future challenge for real-world applications, where stability is essential. However, as models often learn tasks in a similar order, we hypothesize that easier tasks will be easier regardless of…
In general, the best explanation for a given observation makes no promises on how good it is with respect to other alternative explanations. A major deficiency of message-passing schemes for belief revision in Bayesian networks is their…
To reveal how nonequilibrium physics and relativity theory intertwine, this articles studies relativistic Brownian motion under cosmic expansion. Two fluctuation theorems for the entropy ds, which is locally produced in this extreme…