Related papers: Modified associate formalism without entropy parad…
Manuscript symbols can be stored, recognized and retrieved from an entropic digital memory that is associative and distributed but yet declarative; memory retrieval is a constructive operation, memory cues to objects not contained in the…
This letter highlights the entropy exchange phenomenon in a coupled binary inter-correlating system following Haldane's non-linear statistical correlation. A unique coupling between a classical and a quantum-like system at the marginal…
A compatible associative algebra is a vector space equipped with two associative multiplication structures that interact in a certain natural way. This article presents the classification of these algebras with dimension less than four, as…
In this paper we make a contribution to the unification of formal models of defeasible reasoning. We present several translations between formal argumentation frameworks and nonmonotonic logics for reasoning with plausible assumptions. More…
It is shown how mixed finite element methods for symmetric positive definite eigenvalue problems related to partial differential operators can provide guaranteed lower eigenvalue bounds. The method is based on a classical compatibility…
In two-sided matching markets with contracts, quantile (or generalized median) stable mechanisms represent an interesting class that produces stable allocations which can be viewed as compromises between both sides of the market. These…
We extend Padmanabhan's entropy functional formalism to show that, in addition to the Gauss-Bonnet or the entire series of Lanczos-Lovelock Lagrangians already obtained, more general higher-order corrections to General Relativity, i.e., the…
In the study of bi-Hamiltonian systems (both classical and quantum) one starts with a given dynamics and looks for all alternative Hamiltonian descriptions it admits.In this paper we start with two compatible Hermitian structures (the…
The recently introduced model of representations has been defined and motivated somewhat ex-nihilo. In this document, I will show that representations are related to a more ''classical'' model through a 2-adjunction. The target model is…
Mixed atomistic and continuum methods offer the possibility of carrying out simulations of material properties at both larger length scales and longer times than direct atomistic calculations. The quasi-continuum method links atomistic and…
Mixed finite element methods are considered for a ferrofluid flow model with magnetization paralleled to the magnetic field. The ferrofluid model is a coupled system of the Maxwell equations and the incompressible Navier-Stokes equations.…
This paper reviews a number of fundamental connections that exist between nonequivalent microcanonical and canonical ensembles, the appearance of first-order phase transitions in the canonical ensemble, and thermodynamic metastable…
Development of several alternative mathematical models for the biological system in question and discrimination between such models using experimental data is the best way to robust conclusions. Models which challenge existing theories are…
This note compares two recently published machine learning methods for constructing flexible, but tractable families of variational hidden-variable posteriors. The first method, called "hierarchical variational models" enriches the…
Arc permutations, which were originally introduced in the study of triangulations and characters, have recently been shown to have interesting combinatorial properties. The first part of this paper continues their study by providing signed…
We investigate the isomorphism problem in the setting of definable sets (equivalent to sets with atoms): given two definable relational structures, are they related by a definable isomorphism? Under mild assumptions on the underlying…
This article is a short review on the relationship between convergent matrix integrals, formal matrix integrals, and combinatorics of maps. We briefly summarize results developed over the last 30 years, as well as more recent discoveries.…
We give a pedagogical introduction to dynamical invariant formalism of shortcuts to adiabaticity. For a given operator form of the Hamiltonian with undetermined coefficients, the dynamical invariant is introduced to design the coefficients.…
We investigate feedback forms for linear time-invariant systems described by differential-algebraic equations. Feedback forms are representatives of certain equivalence classes. For example state space transformations, invertible…
We introduce first order alternating automata, a generalization of boolean alternating automata, in which transition rules are described by multisorted first order formulae, with states and internal variables given by uninterpreted…