Related papers: The higher sharp I: on $M_1^\#$

By dimensionally reducing the higher derivative corrections of ten-dimensional IIB theory on a torus we deduce constraints on the E_{n+1} automorphic forms that occur in d=10-n dimensions. In particular we argue that these automorphic forms…

It is constructed a formal normal form, using an iterative normalization procedure, for a large class of Real-Smooth Hypersurfaces in Complex Spaces.

In the classification of complete first-order theories, many dividing lines have been defined in order to understand the complexity and the behavior of some classes of theories. In this paper, using the concept of patterns of consistency…

A new class of integrable mappings and chains is introduced. Corresponding $(1+2)$ integrable systems invariant with respect to such discrete transformations are presented in an explicit form. Their soliton-type solutions are constructed in…

We consider the length of the longest word definable in FO and MSO via a formula of size n. For both logics we obtain as an upper bound for this number an exponential tower of height linear in n. We prove this by counting types with respect…

This paper contains some results about the topology of $\M_{0,n+1}/\Sigma_n$, where $\M_{0,n+1}$ is the moduli space of genus zero Riemann surfaces with marked points. We show that $\M_{0,n+1}/\Sigma_n$ is not a topological manifold for…

A general framework for the connection between characteristic formulae and behavioral semantics is described in [2]. This approach does not suitably cover semantics defined by nested fixed points, such as the n-nested simulation semantics…

Let $F(x_1,...,x_n)$ be a form of degree $d\geq 2$, which produces a geometrically irreducible hypersurface in $\mathbb{P}^{n-1}$. This paper is concerned with the number of rational points on F=0 which have height at most $B$. Whenever…

Let $\mathbb{M}(\mathbb{S}^{n+1})$ denote the M\"{o}bius transformation group of the $(n+1)$-dimensional sphere $\mathbb{S}^{n+1}$. A hypersurface $x:M^n\to \mathbb{S}^{n+1}$ is called a M\"{o}bius homogeneous hypersurface if there exists a…

Denote by $M_n$ the set of $n\times n$ complex matrices. Let $f: M_n \rightarrow [0,\infty)$ be a continuous map such that $f(\mu UAU^*)= f(A)$ for any complex unit $\mu$, $A \in M_n$ and unitary $U \in M_n$, $f(X)=0$ if and only if $X=0$…

The theory of descriptive nearness is usually adopted when dealing with sets that share some common properties even when the sets are not spatially close, i.e., the sets have no members in common. Set description results from the use of…

We recover the holomorphic discrete series representations of $SU(1,n)$ as well as some unitary irreducible representations of $SU(n+1)$ by deformation of a minimal realization of $sl(n+1, {\mathbb C})$.

We will show that for any $n\ge N$ points on the $N$-dimensional sphere $S^N$ there is a closed hemisphere which contains at least $\lfloor\frac{n+N+1}{2}\rfloor$ of these points. This bound is sharp and we will calculate the amount of sets…

We study the Maximum Independent Set (MIS) problem on general graphs within the framework of learning-augmented algorithms. The MIS problem is known to be NP-hard and is also NP-hard to approximate to within a factor of $n^{1-\delta}$ for…

Motivated by recent advances in solution methods for mixed-integer convex optimization (MICP), we study the fundamental and open question of which sets can be represented exactly as feasible regions of MICP problems. We establish several…

Starting from any unital colored PROP $P$, we define a category $P(P)$ of shapes called $P$-propertopes. Presheaves on $P(P)$ are called $P$-propertopic sets. For $0 \leq n \leq \infty$ we define and study $n$-time categorified $P$-algebras…

Representation learning, and interpreting learned representations, are key areas of focus in machine learning and neuroscience. Both fields generally use representations as a means to understand or improve a system's computations. In this…

A new continuity for set-valued functions is introduced, and an existence theorem is proved for such continuous set-valued functions.

We study the category M consisting of U(sl_{n+1})-modules whose restriction to U(h) is free of rank 1, in particular we classify isomorphism classes of objects in M and determine their submodule structure. This leads to new…

For many applications, we need to use techniques to represent convex shapes and objects. In this work, we use level set method to represent shapes and find a necessary and sufficient condition on the level set function to guarantee the…