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

We prove that P-sel, the class of all P-selective sets, is EXP-immune, but is not EXP/1-immune. That is, we prove that some infinite P-selective set has no infinite EXP-time subset, but we also prove that every infinite P-selective set has…

We give solutions to two of the questions in a paper by Brendle, Brooke-Taylor, Ng and Nies. Our examples derive from a 2014 construction by Khan and Miller as well as new direct constructions using martingales. At the same time, we…

We investigate whether an arbitrary non-zero $\mathbb{E}_\infty$-ring $A$ admits a reduced point, meaning an $\mathbb{E}_\infty$-map $A\to T$ such that $\pi_{\ast}T$ is a graded field. We show that if $2\in \pi_0A$ is not invertible, then…

We study the polynomial-time autoreducibility of NP-complete sets and obtain separations under strong hypotheses for NP. Assuming there is a p-generic set in NP, we show the following: - For every $k \geq 2$, there is a $k$-T-complete set…

This paper deals with different characterizations of sets of nonlinear parabolic capacity zero, with respect to the parabolic p-Laplace equation. Specifically we prove that certain interior polar sets can be characterized by sets of zero…

It is conjectured that irreducible representations of symmetric groups have no non-trivial self-extension over fields of odd characteristic. We improve on partial results showing evidence of this conjecture.

Let $p$ be a prime number. We show in this short note that mod-$p$ maximal compact inductions of a $p$-adic split reductive group do not have irreducible admissible subrepresentations.

In this paper, we show that it is possible for a commutative ring with identity to be non-atomic (that is, there exist non-zero nonunits that cannot be factored into irreducibles) and yet have a strongly atomic polynomial extension. In…

Let $K$ be a field of characteristic $ p>0$ and $\omega$ be an $r$-form in $ K^n$. In this case, differently of fields of characteristic zero, the Poincar\'e Lemma is not true because there are closed $ r$-forms that are not exact. We…

A complex irreducible character of a finite group G is said to be p-constant, for some prime p dividing the order of G, if it takes constant value at the set of p-singular elements of G. In this paper we classify irreducible p-constant…

Let $(X,\mu,T_1,...,T_l)$ be a measure-preserving system with those $T_i$ are commuting. Suppose that the polynomials $p_1(t),...,p_{l}(t)\in\Z[t]$ with $p_j(0)=0$ have distinct degrees. Then for any $\epsilon>0$ and $A\subseteq X$ with…

In this note, we provide two characterizations of the set of integer points in an integral bisubmodular polyhedron. Our characterizations do not require the assumption that a given set satisfies the hole-freeness, i.e., the set of integer…

Our previous theorems on exponential sums often did not apply or did not give sharp results when certain powers of a variable appearing in the polynomial were divisible by p. We remedy that defect in this paper by systematically applying…

We prove that there exists a weak truth-table introimmune set in the class $\Pi^0_1$, settling the question left open in previous work of whether the known $\Delta^0_2$ existence result can be improved to $\Pi^0_1$. Since $\Sigma^0_1$ sets…

The aim of this paper is to give generalizationof the constructionof the Steinberg tempered character on a connected reductive p-adic group. We prove that this character is invariant by the weak restriction of the Jacquet module by analogy…

In this paper we prove that small cancellation rings under some natural restrictions are non-amenable and contain non-commutative free associative algebra.

We prove that deciding the vanishing of the character of the symmetric group is $C_=P$-complete. We use this hardness result to prove that the the square of the character is not contained in $\#P$, unless the polynomial hierarchy collapses…

Recently Donkin defined signed Young modules as a simultaneous generalization of Young and twisted Young modules for the symmetric group. We show that in odd characteristic, if a Specht module $S^\lambda$ is irreducible, then $S^\lambda$ is…

In the early 1980s, Selman's seminal work on positive Turing reductions showed that positive Turing reduction to NP yields no greater computational power than NP itself. Thus, positive Turing and Turing reducibility to NP differ sharply…

In this paper, we show the non-existence of finitely generated integral $p$-adic cohomology which satisfies finite \'etale descent and the associated rational cohomology coincides with rigid cohomology.