相关论文: Integration over a generic algebra

We consider several notions of genericity appearing in algebraic geometry and commutative algebra. Special emphasis is put on various stability notions which are defined in a combinatorial manner and for which a number of equivalent…

We describe a novel algorithm for solving general parametric (nonlinear) eigenvalue problems. Our method has two steps: first, high-accuracy solutions of non-parametric versions of the problem are gathered at some values of the parameters;…

We study some homological invariants of a given generalized bound path algebra in terms of those of the algebras used in its construction. We discuss the particular case where the algebra is a generalized path algebra and give conditions…

Process theories provide a powerful framework for describing compositional structures across diverse fields, from quantum mechanics to computational linguistics. Traditionally, they have been formalized using symmetric monoidal categories…

The paper contains generalization of the renormgroup algorithm for boundary value problems of mathematical physics and related concept of the renormgroup symmetry, formulated earlier by authors with reference to models based on differential…

We study the globalization of partial actions on sets and topological spaces and of partial coactions on algebras by applying the general theory of globalization for geometric partial comodules, as previously developed by the authors. We…

We present a generic partition refinement algorithm that quotients coalgebraic systems by behavioural equivalence, an important task in system analysis and verification. Coalgebraic generality allows us to cover not only classical…

In this work, we introduce a new generalized integral transform involving many potentially known or new transforms as special cases. Basic properties of the new integral transform, that investigated in this work, include the existence…

Problem of global integration of geometric structures arising in the theory of dynamical systems admitting the normal shift is considered. In the case when such integration is possible the problem of globalization for shift maps is studied.

Generalized symmetries (also known as categorical symmetries) is a newly developing technique for studying quantum field theories. It has given us new insights into the structure of QFT and many new powerful tools that can be applied to the…

Parametricity is a key metatheoretic property of type systems, which implies strong uniformity & modularity properties of the structure of types within systems possessing it. In recent years, various systems of dependent type theory have…

The new approach to quantize the gravity based on the notion of differential algebra is suggested. It is shown that the differential geometry of this object can not be described in terms of points. The spatialization procedure giving rise…

That shared features between train and test data are required for generalisation in artificial neural networks has been a common assumption of both proponents and critics of these models. Here, we show that convolutional architectures avoid…

The usefulness of parameterized algorithmics has often depended on what Niedermeier has called, "the art of problem parameterization". In this paper we introduce and explore a novel but general form of parameterization: the number of…

I propose to formalize quantum theories as topological quantum field theories in a generalized sense, associating state spaces with boundaries of arbitrary (and possibly finite) regions of space-time. I further propose to obtain such…

This paper introduces a reformulation of the classical convergence theorem for spectral sequences of filtered complexes which provides an algorithm to effectively compute the induced filtration on the total (co)homology, as soon as the…

Process theories combine a graphical language for compositional reasoning with an underlying categorical semantics. They have been successfully applied to fields such as quantum computation, natural language processing, linear dynamical…

An algebraic formulation of general relativity is proposed. The formulation is applicable to quantum gravity and noncommutative space. To investigate quantum gravity we develop the canonical formalism of operator geometry, after…

We consider several ways of decomposing models into parts of bounded size forming a congruence over a base, and show that admitting any such decomposition is equivalent to mutual algebraicity at the level of theories. We also show that a…

We construct a mathematical model analogous to quantum field theory, but without the notion of vacuum and without measurable physical quantities. This model is a direct mathematical generalization of scattering theory in quantum mechanics…