Related papers: Effective Theories for Circuits and Automata
We develop a new nonrelativistic effective field theory of $\rho$NRQCD [1] to describe the finite lifetime effects in the threshold production of top quark-antiquark pairs. The theory is based on the expansion in a parameter…
Recent research has provided a wealth of evidence highlighting the pivotal role of high-order interdependencies in supporting the information-processing capabilities of distributed complex systems. These findings may suggest that high-order…
Despite the many applications of rate-independent systems, their regularity theory is still largely unexplored. Usually, only weak solution with potentially very low regularity are considered, which requires non-smooth techniques. In this…
We deal with the problem of studying the effective theories and the symmetries of long-range models around critical points. We focus in particular on the Kitaev chain with long-range pairings decaying with distance as power-law with…
We introduce BEDS (Bayesian Emergent Dissipative Structures), a formal framework for analyzing inference systems that must maintain beliefs continuously under energy constraints. Unlike classical computational models that assume perfect…
Formal explainability guarantees the rigor of computed explanations, and so it is paramount in domains where rigor is critical, including those deemed high-risk. Unfortunately, since its inception formal explainability has been hampered by…
We establish an operational theory of coherence (or of superposition) in quantum systems, by focusing on the optimal rate of performance of certain tasks. Namely, we introduce the two basic concepts - "coherence distillation" and "coherence…
This essay aims to propose construction theory, a new domain of theoretical research on machine construction, and use it to shed light on a fundamental relationship between living and computational systems. Specifically, we argue that…
We consider the setting of component-based design for real-time systems with critical timing constraints. Based on our earlier work, we propose a compositional specification theory for timed automata with I/O distinction, which supports…
This paper proposes a theory of creativity, referred to as honing theory, which posits that creativity fuels the process by which culture evolves through communal exchange amongst minds that are self-organizing, self-maintaining, and…
The development of efficient and robust dynamic models is fundamental in the field of systems and control engineering. In this paper, a new formulation for the dynamic model of nonlinear mechanical systems, that can be applied to different…
Counterfactual explanations describe how to modify a feature vector in order to flip the outcome of a trained classifier. Obtaining robust counterfactual explanations is essential to provide valid algorithmic recourse and meaningful…
Uniqueness of effective interaction defined in an extension of the Kohn-Sham theory is proved, if the model with a non-degenerate ground state exists and to reproduce a correlation function as well as the single-particle density of an…
The study of intelligent systems explains behaviour in terms of economic rationality. This results in an optimization principle involving a function or utility, which states that the system will evolve until the configuration of maximum…
We define robust abstractions for synthesizing provably correct and robust controllers for (possibly infinite) uncertain transition systems. It is shown that robust abstractions are sound in the sense that they preserve robust satisfaction…
A general exact theory of autoresonance (self-sustained resonance) in both dissipative and Hamiltonian nonautonomous systems is presented. The equations that together govern the autoresonance solutions and excitations are derived with the…
This paper covers recent developments in the theory of negative imaginary systems and their application to the control of highly resonant flexible structures. The theory of negative imaginary systems arose out of a desire to unify a number…
A system of fermions with short-range interactions at finite density is studied using the framework of effective field theory. The effective action formalism for fermions with auxiliary fields leads to a loop expansion in which…
Group-based reinforcement can induce discontinuous transitions from inactive to active phases in higher-order contagion models. However, these results are typically obtained on static interaction structures or within mean-field…
The Krohn-Rhodes Theorem proves that a finite semigroup divides a wreath product of groups and aperiodic semigroups. Krohn-Rhodes complexity equals the minimal number of groups that are needed. Determining an algorithm to compute complexity…