Related papers: Mislin's theorem for fusion systems via Mackey fun…
Written with respect to an appropriate Poisson structure, a partially integrable Hamiltonian system is viewed as a completely integrable system with parameters. Then, the theorem on quasi-periodic stability in Ref. [1] (the KAM theorem) can…
A combinatorial proof of a pigeonhole principle of Gowers is found along with its symmetric and approximate version, FIN$_k^\pm$ theorem. The proofs do not use of the concept of ultrafilter.
The applicability of theories describing the kinetic evolution of fluid mixtures depends on the underlying physical assumptions. The Maxwell-Stefan equations, widely used for miscible fluids, express forces depending on coupled fluxes. They…
In these notes we give an Alperin's Fusion Theorem for localities.
The port-Hamiltonian formulation is a powerful method for modeling and interconnecting systems of different natures. In this paper, the port-Hamiltonian formulation in tensorial form of a thick plate described by the Mindlin-Reissner model…
We present an understandable, efficient, and streamlined proof of the Holonomy Decomposition for finite transformation semigroups and automata. This constructive proof closely follows the existing computational implementation. Its novelty…
In this paper, the MacWilliams theorem is stated for codes over finite field with four-dimensional modulo metrics.
We prove a generalization of classical Montel's theorem for the mixed differences case, for polynomials and exponential polynomial functions, in commutative setting.
Despite the fact that the theory of mixtures has been part of non-equilibrium thermodynamics and engineering for a long time, it is far from complete. While it is well formulated and tested in the case of mechanical equilibrium (where only…
Mishchenko's theorem states that piecewise smooth and Lie algebroid cohomology of a transitive Lie algebroid defined over a combinatorial manifold are isomorphic. In this paper, we describe two applications of that result. The first…
We show that the bicategory of finite groupoids and right-free permutation bimodules is a quotient of the bicategory of Mackey 2-motives introduced in arXiv:1808.04902, obtained by modding out the so-called cohomological relations. This…
In our earlier work math.QA/9808015 some results on integral representations of functions in quantum disc were announced. It was then shown in math.QA/9808037 that the validity of those results is related to the invariance of kernels of…
Flexible grid topology has become a key enabler of flexibility in modern power grids, particularly for congestion management. Studying the effects of combinatorial topological changes is therefore of significant interest, though it remains…
Modules for sesquiads and congruence schemes are introduced. It is shown that the corresponding categories are belian and that base change functors establish an ascent datum which allows for a cohomology theory to be established.
The aim of this work is to clarify the relationship between homology theory of commutative monoids constructed 'a la Quillen and technology of Gamma-modules.
We consider a terminal control problem for processes governed by a nonlinear system of fractional ODEs. In order to show existence of the control, we first consider the linear counterpart of the system and reprove a number of classical…
We present a circular and cut-free proof system for the hybrid mu-calculus and prove its soundness and completeness. The system uses names for fixpoint unfoldings, like the circular proof system for the mu-calculus previously developed by…
A shelf is a set with a binary operation~$\op$ satisfying $a \op (b \op c) = (a \op b) \op (a \op c)$. Racks are shelves with invertible translations $b \mapsto a \op b$; many of their aspects, including cohomological, are better understood…
We develop a new analytic method for quantitative mixing of automorphisms on nilmanifolds. The method is based on the introduction and solvability of \emph{multiple fractional cohomological equations of Type~$I$} (sum type). We prove that…
We show how to control the error term in Mertens' formula and related theorems in the context of additive arithmetical semigroups and carry over an old related result of Meissel.