Related papers: P-Immune Sets with Holes Lack Self-Reducibility Pr…

Let $(A,\mathfrak{m})$ be a Noetherian local ring, $M$ a finite $A$-module and $x_1,...,x_n\in \m$ such that $\lambda (M/\x M)$ is finite. Serre proved that all partial Euler characteristics of $M$ with respect to $\x$ is non-negative. This…

In this paper, we introduce the power-partible reduction for holonomic (or, P-recursive) sequences and apply it to obtain a series of congruences for Ap\'ery numbers $A_k$. In particular, we prove that, for any $r\in\mathbb{N}$, there…

We prove that the sub-Riemannian exponential map is not injective in any neighbourhood of certain critical points. Namely that it does not behave like the injective map of reals given by $f(x) = x^3$ near its critical point $x = 0$. As a…

In this paper, we study the nonexistence of positive supersolutions for the following Lane-Emden system with inverse-square potentials \begin{equation}\label{0} \left\{ \begin{array}{lll} -\Delta u+\frac{\mu_1}{|x|^2} u= v^p \quad {\rm in}\…

A set is autoreducible if it can be reduced to itself by a Turing machine that does not ask its own input to the oracle. We use autoreducibility to separate the polynomial-time hierarchy from polynomial space by showing that all…

In this work, we address the question of the impossibility of certain single-letter formulas by exploiting the semi-algebraic nature of various entropy-constrained sets. The focus lies on studying the properties of the level sets of…

We show that the ring of exponential polynomials is not Noetherian even respect to prime E-ideals. Moreover we give a characterization of exponential radical ideals

We show that Thom polynomials of Lagrangian singularities have nonnegative coefficients in the basis consisting of Q-functions. The main tool in the proof is nonnegativity of cone classes for globally generated bundles.

In an attempt to get some information on the multiplicative structure of the Green ring we study algebraic modules for simple groups, and associated groups such as quasisimple and almost-simple groups. We prove that, for almost all groups…

Let $X$ be a normal projective variety defined over an algebraically closed field $k$ of positive characteristic. Let $G$ be a connected reductive group defined over $k$. We prove that some Frobenius pull back of a principal $G$-bundle…

We show that not every family of generalized microscopic sets forms an ideal. Moreover, we prove that some of these families have some weaker additivity properties and some of them do not have even that.

PbSe, a predicted two-dimensional (2D) topological crystalline insulator (TCI) in the monolayer limit, possess excellent thermoelectric and infrared optical properties. Native defects in PbSe take a crucial role for the applications.…

We develop conjectures and theorems expressing the idea that the prime sequence exhibits computational irreducibility in the transition from one prime to its successor. Informally, given a prime pp p, no general algorithm can compute the…

We show that if a graded submodule of a Noetherian module cannot be written as a proper intersection of graded submodules, then it cannot be written as a proper intersection of submodules at all. More generally, we show that a natural…

We show that there do not exist semistable varietes defined over the rationals with good reduction outside one prime p if p = 2, 3, 5 or 7.

Finite dimensional matrices having more columns than rows have no left inverses while those having more rows than columns have no right inverses. We give generalizations of these simple facts to bi--infinite matrices and use those to obtain…

We describe finite-dimensional smooth Lie groups over local fields of positive characteristic which do not admit an analytic Lie group structure compatible with the given topological group structure, and C^n-Lie groups without a compatible…

Consider the character of an irreducible admissible representation of a p-adic reductive group. The Harish-Chandra-Howe local expansion expresses this character near a semisimple element as a linear combination of Fourier transforms of…

We define a class of so-called thinnable ideals $\mathcal{I}$ on the positive integers which includes several well-known examples, e.g., the collection of sets with zero asymptotic density, sets with zero logarithmic density, and several…

We prove that the Gorensteinification of the face ring of a cycle is totally $p$-anisotropic in characteristic $p$. In other words, given an appropriate Artinian reduction, it contains no nonzero $p$-isotropic elements. Moreover, we prove…