Related papers: $\mathcal{D}$-maximal sets

Covariant or invariant functions under a compact linear group can be expressed in terms of functions defined in the orbit space of the group. The semialgebraic relations defining the orbit spaces of all finite coregular real linear groups…

We introduce a class of regularisable infinite dimensional principal fibre bundles which includes fibre bundles arising in gauge field theories like Yang-Mills and string theory and which generalise finite dimensional Riemannian principal…

A finite subset $X$ of the Euclidean space is called an $m$-distance set if the number of distances between two distinct points in $X$ is equal to $m$. An $m$-distance set $X$ is said to be maximal if any vector cannot be added to $X$ while…

We prove an algebraic extension theorem for the computably enumerable sets, $\mathcal{E}$. Using this extension theorem and other work we then show if $A$ and $\hat{A}$ are automorphic via $\Psi$ then they are automorphic via $\Lambda$…

One of the key challenges in the dimension theory of smooth dynamical systems is in establishing whether or not the Hausdorff, lower and upper box dimensions coincide for invariant sets. For sets invariant under conformal dynamics, these…

Let $f:M\to M$ be a $C^{1+\epsilon}$-map on a smooth Riemannian manifold $M$ and let $\Lambda\subset M$ be a compact $f$-invariant locally maximal set. In this paper we obtain several results concerning the distribution of the periodic…

Classical (maximal) superintegrable systems in $n$ dimensions are Hamiltonian systems with $2n-1$ independent constants of the motion, globally defined, the maximum number possible. They are very special because they can be solved…

In our previous papers we introduced categorical invariants, which are, roughly speaking, sets of triangulated subcategories in a given triangulated category and their quotients. Here is extended the list of examples, where these sets are…

Let $B(2d-1, d)$ be the subgraph of the hypercube $\mathcal{Q}_{2d-1}$ induced by its two largest layers. Duffus, Frankl and R\"odl proposed the problem of finding the asymptotics for the logarithm of the number of maximal independent sets…

We show that every planar triangulation on $n$ vertices has a maximal independent set of size at most $n/3$. This affirms a conjecture by Botler, Fernandes and Guti\'errez [Electron.\ J.\ Comb., 2024], which in turn would follow if an open…

Properties of a given symmetry group G are very important in investigation of a physical system invariant under its action. In the case of finite spin systems (magnetic rings, some planar macromolecules) the symmetry group is isomorphic…

We study orbit-finite systems of linear equations, in the setting of sets with atoms. Our principal contribution is a decision procedure for solvability of such systems. The procedure works for every field (and even commutative ring) under…

The theory of dendroidal sets has been developed to serve as a combinatorial model for homotopy coherent operads by Moerdijk and Weiss. An infinity-operad is a dendroidal set D satisfying certain lifting conditions. In this paper we give a…

We consider the general question of when all orbits under the unitary action of a finite group give a complex spherical design. Those orbits which have large stabilisers are then good candidates for being optimal complex spherical designs.…

Suppose $\mathcal{X}$ is an $n$-correct set of nodes in the plane, that is, it admits a unisolvent interpolation with bivariate polynomials of total degree less than or equal to $n.$ Then an algebraic curve $q$ of degree $k\le n$ can pass…

This note considers the maximal positively invariant set for polynomial discrete time dynamics subject to constraints specified by a basic semialgebraic set. The note utilizes a relatively direct, but apparently overlooked, fact stating…

Self dual symmetric R-spaces have special curves, called circles, introduced by Burstall, Donaldson, Pedit and Pinkall in 2011, whose definition does not involve the choice of any Riemannian metric. We characterize the elements of the big…

Let $D_n$ be the dihedral group with $2n$ elements, and suppose $n$ is greater than one. We call ring system a finite $D_n$-symmetric set of points in $\mathbb{R}^2$. Ring systems have been used as models for planets surrounded by rings,…

For a finite set A of integral vectors, Gel'fand, Kapranov and Zelevinskii defined a system of differential equations with a parameter vector as a D-module, which system is called an A-hypergeometric (or a GKZ hypergeometric) system.…

We develop algebraic tools for statistical inference from samples of rotation matrices. This rests on the theory of D-modules in algebraic analysis. Noncommutative Gr\"obner bases are used to design numerical algorithms for maximum…