Related papers: Equivariant Hilbert series for hierarchical models
Automated program verification often proceeds by exhibiting inductive invariants entailing the desired properties.For numerical properties, a classical class of invariants is convex polyhedra: solution sets of system of linear…
This article is written with the hope to draw attention to a method that uses integral transforms to find exact values for a large class of convergent series (and, in particular, series of rational terms). We apply the method to some series…
We use Floer theory to describe invariants of symplectic $\mathbb{C}^*$-manifolds admitting several commuting $\mathbb{C}^*$-actions. The $\mathbb{C}^*$-actions induce filtrations by ideals on quantum cohomology, as well as filtrations on…
We consider the ring of coinvariants for modular representations of cyclic groups of prime order. For all cases for which explicit generators for the ring of invariants are known, we give a reduced Gr\"obner basis for the Hilbert ideal and…
In two previous papers we showed that any analytically integrable vector field admits a local analytic Poincar\'e-Birkhoff normalization in the neighborhood of a singular point. The aim of this paper is to extend this analytic normalization…
We study three functions which are power series in the variable $z$, Dirichlet series in the variable $s$ and with coefficients given by arithmetical functions. A strong point is to relate these functions to some Hilbert spaces. Three main…
The paper is a contribution both to the theoretical foundations and to the actual construction of efficient automatizable proof procedures for non-classical logics. We focus here on the case of finite-valued logics, and exhibit: (i) a…
We give an explicit formula for the Hilbert Series of an algebra defined by a linearly presented, standard graded, residual intersection of a grade three Gorenstein ideal.
This paper provides some first steps in developing empirical process theory for functions taking values in a vector space. Our main results provide bounds on the entropy of classes of smooth functions taking values in a Hilbert space, by…
The structure of subspaces of a Hilbert space that are invariant under unitary representations of a discrete group is related to a notion of Hilbert modules endowed with inner products taking values in spaces of unbounded operators. A…
In this article, we study properties of the exponential Hilbert series of a $G$-equivariant projective variety, where $G$ is a semisimple, simply-connected complex linear algebraic group. We prove a relationship between the exponential…
In this article we study abstract and embedded invariants of reduced curve germs via topological techniques. One of the most important numerical analytic invariants of an abstract curve is its delta invariant. Our primary goal is to develop…
Let M be a symplectic 4-manifold. A semitoric integrable system on M is a pair of real-valued smooth functions J, H on M for which J generates a Hamiltonian S^1-action and the Poisson brackets {J,H} vanish. We shall introduce new global…
We prove an analogue of Hilbert's Tenth Problem for complex meromorphic functions. More precisely, we prove that the set of integers is positive existentially definable in fields of complex meromorphic functions in several variables over…
Motivated by representation theory and geometry, we introduce and develop an equivariant generalization of Ehrhart theory, the study of lattice points in dilations of lattice polytopes. We prove representation-theoretic analogues of…
The use of unitary invariant subspaces of a Hilbert space $\mathcal{H}$ is nowadays a recognized fact in the treatment of sampling problems. Indeed, shift-invariant subspaces of $L^2(\mathbb{R})$ and also periodic extensions of finite…
For any first order theory T we construct a Boolean valued model M, in which precisely the T--provable formulas hold, and in which every (Boolean valued) subset which is invariant under all automorphisms of M is definable by a first order…
Hierarchical transition systems provide a popular mathematical structure to represent state-based software applications in which different layers of abstraction are represented by inter-related state machines. The decomposition of high…
We consider matrix functions with certain invariance under inversion in the unit circle. If such a function satisfies a positivity assumption on the unit circle, then only zero partial indices appear in its Riemann-Hilbert (Wiener-Hopf)…
Following Zagier, this work studies the rationality and divisibility of Fourier coefficients of meromorphic Hilbert modular forms associated with real quadratic fields, using theta lifts and weak Maass forms. We establish conditions where…