Related papers: Equivariant Hilbert series for hierarchical models
Fixing a nontrivial automorphism of a number field K, we associate to ideals in K an invariant (with values in {0,1,-1}) that we call the "spin" and for which the associated L-function does not possess Euler products. We are nevertheless…
We give a review of modern approaches to constructing formal solutions to integrable hierarchies of mathematical physics, whose coefficients are answers to various enumerative problems. The relationship between these approaches and…
We give a number new examples analytically and numerically to confirm the Kohler conjecture. It turned out that for a rather large class of nonnegative functions the equality (A) hold.
Consider the polynomial ring in countably infinitely many variables over a field of characteristic zero, together with its natural action of the infinite general linear group G. We study the algebraic and homological properties of finitely…
In this paper we propose a novel family of weighted orthonormal rational functions on a semi-infinite interval. We write a sequence of integer-coefficient polynomials in several forms and derive their corresponding differential equations.…
In this article a unified approach to iterative soft-thresholding algorithms for the solution of linear operator equations in infinite dimensional Hilbert spaces is presented. We formulate the algorithm in the framework of generalized…
The solution of problems in physics is often facilitated by a change of variables. In this work we present neural transformations to learn symmetries of Hamiltonian mechanical systems. Maintaining the Hamiltonian structure requires novel…
We develop theory and software for rotation equivariant operators on scalar and vector fields, with diverse applications in simulation, optimization and machine learning. Rotation equivariance (covariance) means all fields in the system…
In standard construction of hyperrational numbers using an ultrapower we assume that the ultrafilter is selective. It makes possible to assign real value to any finite hyperrational number. So, we can consider hyperrational numbers with…
Three classes of models of QHC, the joint logic of problems and propositions, are constructed, including a class of subset/sheaf-valued models that is related to solutions of some actual problems (such as solutions of algebraic equations).…
Ehrhart theory is the study of the enumeration of lattice points in lattice polytopes. Equivariant Ehrhart theory is a generalization of Ehrhart theory that takes into account the action of a finite group acting via affine transformations…
In this paper we give an overview of results on the analysis of parametric linear hybrid automata, and of systems of similar linear hybrid automata: We present possibilities of describing systems with a parametric (i.e. not explicitly…
This paper mainly concerns the biholomorphic invariance of $p$-essential normality of Hilbert modules on bounded symmetric domains. By establishing new integral formulas concerning rational function kernels for the Taylor functional…
We define and study symmetrized and antisymmetrized multivariate exponential functions. They are defined as determinants and antideterminants of matrices whose entries are exponential functions of one variable. These functions are…
Strongly stable monomial ideals are important in algebraic geometry, commutative algebra, and combinatorics. Prompted, for example, by combinatorial approaches for studying Hilbert schemes and the existence of maximal total Betti numbers…
A central question in verification is characterizing when a system has invariants of a certain form, and then synthesizing them. We say a system has a $k$ linear invariant, $k$-LI in short, if it has a conjunction of $k$ linear (non-strict)…
We construct, based on Nicaise's article in Math. Ann. in 2009, an equivariant geometric motivic integration for special formal schemes, such that when applying to algebraizable formal schemes, we can revisit our previous work in 2020 on…
We give a combinatorial algorithm for equivariant embedded resolution of singularities of a toric variety defined over a perfect field. The algorithm is realized by a finite succession of blowings-up with smooth invariant centres that…
Classical invariant theory establishes a systematic correspondence between algebraic and smooth invariants for compact and reductive Lie groups. However, the extension of these results to non-compact and non-reductive regimes remains a…
We classify the finite-dimensional rational representations $V$ of the exceptional algebraic groups $G$ with $\mathfrak g={\sf Lie}(G)$ such that the symmetric invariants of the semi-direct product $\mathfrak g\ltimes V$, where $V$ is an…