Related papers: Porous Invariants
We show that computing the strongest polynomial invariant for single-path loops with polynomial assignments is at least as hard as the Skolem problem, a famous problem whose decidability has been open for almost a century. While the…
A module is called automorphism-invariant if it is invariant under any automorphism of its injective envelope. In this survey article we present the current state of art dealing with such class of modules.
A notion of heaps of modules as an affine version of modules over a ring or, more generally, over a truss, is introduced and studied. Basic properties of heaps of modules are derived. Examples arising from geometry (connections, affine…
This note extends the invariant defined in "An invariant of metric spaces under bornologous equivalences" to the coarse category.
In this article we give a survey on open problems and conjectures concerning L^2-invariants. We cover the whole portfolio and not only certain aspects as they are considered in the previous more specialized (and within their scope more…
Recent results in control systems and numerical integration literature utilize invariant set theory to lift dynamical systems evolving on nonlinear manifolds to those evolving on vector spaces. We leverage this technique to propose an…
The notion of group invariance helps neural networks in recognizing patterns and features under geometric transformations. Group convolutional neural networks enhance traditional convolutional neural networks by incorporating group-based…
We consider tilings of Euclidean spaces by polygons or polyhedra, in particular, tilings made by a substitution process, such as the Penrose tilings of the plane. We define an isomorphism invariant related to a subgroup of rotations and…
We describe the LoopInvGen tool for generating loop invariants that can provably guarantee correctness of a program with respect to a given specification. LoopInvGen is an efficient implementation of the inference technique originally…
We define refined invariants which "count" nodal curves in sufficiently ample linear systems on surfaces, conjecture that their generating function is multiplicative, and conjecture explicit formulas in the case of K3 and abelian surfaces.…
In this paper we construct new derived invariants with integral coefficients using the theory of motifs, and give several applications. Specifically, we obtain the following results: For complex algebraic surfaces, we prove that certain…
Link/knot invariants are series with integer coefficients, and it is a long-standing problem to get them positive and possessing cohomological interpretation. Constructing positive "superpolynomials" is not straightforward, especially for…
In this paper we present an equivalent statement to the Jacobian conjecture. For a polynomial map F on an affine space of dimension n, we define recursively n finite sequences of polynomials. We give an equivalent condition to the…
We define invariants $\operatorname{inv}_1,\dots,\operatorname{inv}_m$ of Galois extensions of number fields with a fixed Galois group. Then, we propose a heuristic in the spirit of Malle's conjecture which asymptotically predicts the…
We consider impulsive dynamical systems defined on compact metric spaces and their respective impulsive semiflows. We establish sufficient conditions for the existence of probability measures which are invariant by such impulsive semiflows.…
We develop a new form of patching that is both far-reaching and more elementary than the previous versions that have been used in inverse Galois theory for function fields of curves. A key point of our approach is to work with fields and…
Affine invariant points and maps for sets were introduced by Gr\"unbaum to study the symmetry structure of convex sets. We extend these notions to a functional setting. The role of symmetry of the set is now taken by evenness of the…
In this article we introduce powerful tools and techniques from invariant theory to free analysis. This enables us to study free maps with involution. These maps are free noncommutative analogs of real analytic functions of several…
This paper deals with properties of the algebraic variety defined as the set of zeros of a "deficient" sequence of multivariate polynomials. We consider two types of varieties: ideal-theoretic complete intersections and absolutely…
The use of geometric invariants has recently played an important role in the solution of classification problems in non-commutative ring theory. We construct geometric invariants of non-commutative projectivizations, a significant class of…