Related papers: Reciprocity in the Langlands program since Fermat'…
We propose a modular method for proving termination of general logic programs (i.e., logic programs with negation). It is based on the notion of acceptable programs, but it allows us to prove termination in a truly modular way. We consider…
In this paper, a Gaifman-Shapiro-style module architecture is tailored to the case of Smodels programs under the stable model semantics. The composition of Smodels program modules is suitably limited by module conditions which ensure the…
People often interact repeatedly: with relatives, through file sharing, in politics, etc. Many such interactions are reciprocal: reacting to the actions of the other. In order to facilitate decisions regarding reciprocal interactions, we…
In this note we review recent progress about fluctuation relations and their applicability to free energy recovery in single molecule experiments. We underline the importance of the operational definition for the mechanical work and the…
Moduli theory has captured the imagination of algebraic geometers for at least two centuries. Up until the end of the 20th century, moduli spaces were constructed and studied by rigidifying the moduli problem using extrinsic data and…
We briefly overview the importance of Hubbard and Anderson-lattice models as applied to explanation of high-temperature and heavy-fermion superconductivity. Application of the models during the last two decades provided an explanation of…
Langlands' functoriality principle predicts deep relations between the local and automorphic spectra of different reductive groups. This has been generalized by the relative Langlands program to include spherical varieties, among which…
In one of his papers, the author introduces the class of Farkas-related vectors for which a version of Farkas' lemma over integers is derived. In this paper, two similar classes are introduced and studied.
We establish a log-supermodularity property for probability distributions on binary patterns observed at the tips of a tree that are generated under any 2--state Markov process. We illustrate the applicability of this result in…
We study systems with a crossover parameter lambda, such as the temperature T, which has a threshold value lambda* across which the correlation function changes from exhibiting fixed wavelength (or time period) modulations to continuously…
Machine learning (ML) models are becoming increasingly common in the atmospheric science community with a wide range of applications. To enable users to understand what an ML model has learned, ML explainability has become a field of active…
Some modifications of the Luscher algorithm, which reduce the autocorelation time, are proposed and tested.
The theory of modular deformations is generalized for the category of complex analytic polyhedra which includes germs of complex space as well as any compact complex analytic space. The objective of the theory is a construction of fine…
These notes introduce probabilistic landscape models defined on high-dimensional discrete sequence spaces. The models are motivated primarily by fitness landscapes in evolutionary biology, but links to statistical physics and computer…
In this article we explain the theory of rigid residue complexes in commutative algebra and algebraic geometry, summarizing the background, recent results and anticipated future results. Unlike all previous approaches to Grothendiec…
Practically all programming languages allow the programmer to split a program into several modules which brings along several advantages in software development. In this paper, we are interested in the area of answer-set programming where…
The crucial aspect of this demonstration is the discovery of renewal events, hidden in the computed dynamics of a multifractal metronome, which enables the replacement of the phenomenon of strong anticipation with a time delayed…
We show that a method presented in [S.L. Trubatch and A. Franco, Canonical Procedures for Population Dynamics, J. Theor. Biol. 48 (1974), 299-324] and later in [G.H. Paine, The development of Lagrangians for biological models, Bull. Math.…
Modular flow is a symmetry of the algebra of observables associated to spacetime regions. Being closely related to entanglement, it has played a key role in recent connections between information theory, QFT and gravity. However, little is…
Due to recent advances - compute, data, models - the role of learning in autonomous systems has expanded significantly, rendering new applications possible for the first time. While some of the most significant benefits are obtained in the…