Related papers: Cascading Variants of Internal Approachability
We introduce a monotone modal analogue of the intuitionistic (normal) modal logic IK using a translation into a suitable (intuitionistic) first-order logic. We axiomatise the logic and give a semantics by means of intuitionistic…
We consider the moduli space of flat connections on the Riemann surface with marked points. The new efficient parametrization is suggested and used to construct an integrable model on the moduli space. A family of commuting Hamiltonians is…
We give precise estimates of some holomorphically invariant infinitesimal metrics near a pseudoconcave points in a wide family of ``model'' domains for that situation in $\mathbb C^2$. This extends to metrics (rather distances) the authors'…
In this paper, an approach to facilitate the treatment with variabilities in system families is presented by explicitly modelling variants. The proposed method of managing variability consists of a variant part, which models variants and a…
In this paper, an approach to facilitate the treatment with variabilities in system families is presented by explicitly modelling variants. The proposed method of managing variability consists of a variant part, which models variants and a…
We introduce a new property of Markov chains, called variance bounding. We prove that, for reversible chains at least, variance bounding is weaker than, but closely related to, geometric ergodicity. Furthermore, variance bounding is…
Given a canonical algebraically integrable foliation on a klt projective variety, we study the variation of the ample models of the associated adjoint foliated structures with respect to the parameter. When the foliation is of general type,…
In modular invariant models of flavor, observables must be modular invariant. The observables discussed so far in the literature are functions of the modulus $\tau$ and its conjugate, $\bar\tau$. We point out that certain combinations of…
We characterize both analytically and numerically short-range forces between spatially diffuse interfaces in multi-phase-field models of polycrystalline materials. During late-stage solidification, crystal-melt interfaces may attract or…
We demonstrate the use of a variational method to determine a quantitative lower bound on the rate of convergence of Markov Chain Monte Carlo (MCMC) algorithms as a function of the target density and proposal density. The bound relies on…
We describe various strengthenings of the concept of topological transitivity. Especially when one departs from the family of invertible systems, a number of interesting properties arise. We present the architecture of implications among…
We introduce a generalized version of the famous Stable Marriage problem, now based on multi-modal preference lists. The central twist herein is to allow each agent to rank its potentially matching counterparts based on more than one…
We consider the safety evaluation of discrete time, stochastic systems over a finite horizon. Therefore, we discuss and link probabilistic invariance with reachability as well as reach-avoid problems. We show how to efficiently compute…
Multi-stack pushdown systems are a well-studied model of concurrent computation using threads with first-order procedure calls. While, in general, reachability is undecidable, there are numerous restrictions on stack behaviour that lead to…
In this paper, we continue our research on the algorithmic aspects of Halpern and Pearl's causes and explanations in the structural-model approach. To this end, we present new characterizations of weak causes for certain classes of causal…
We introduce and study modular truncations of the Ackermann function viewed as self-maps on finite rings. These maps form a hierarchy of rapidly increasing compositional complexity indexed by recursion depth. We investigate their structural…
Boolean programs with multiple recursive threads can be captured as pushdown automata with multiple stacks. This model is Turing complete, and hence, one is often interested in analyzing a restricted class that still captures useful…
Naturally occuring or man-made systems displaying periodic spatial modulations of their properties on a nanoscale constitute superlattices. Such modulated structures are important both as prototypes of simple nanotechnological devices and…
We give infinitely many new isomorphisms between moduli spaces of bundles on local surfaces and on local Calabi--Yau threefolds.
We investigate the problem of the superuniversality of the phase transition between different quantum Hall plateaus. We construct a set of models which give a qualitative description of this transition in a pure system of interacting…