Related papers: A counterexample to the PIA conjecture for minimal…
In reverse mathematics, is is possible to have a curious situation where we know that an implication does not reverse, but appear to have no information on on how to weaken the assumption while preserving the conclusion. A main cause of…
A family of congruences interpolating between those of Wilson and Giuga is constructed. Several elementary results are established, in order to present a possible approach to establishing Giuga's conjecture.
In this note, we propose a conjecture stating that some series involving primitive sequences are convergent. Then, we show (by a counterexample) that the analogue of a conjecture of Erd\H{o}s, for those series, is false.
We prove an analogue of Jacquet's conjecture on the local converse theorem for \ell-adic families of co-Whittaker representations of GL_n(F), where F is a finite extension of Q_p and \ell does not equal p. We also prove an analogue of…
We upgrade [1] to a complete proof of the conjecture NP = PSPACE. [1]: L. Gordeev, E. H. Haeusler, Proof Compression and NP Versus PSPACE, Studia Logica (107) (1): 55-83 (2019)
A conjecture of Hopkins (2018) posits that for certain high-dimensional hypothesis testing problems, no polynomial-time algorithm can outperform so-called "simple statistics", which are low-degree polynomials in the data. This conjecture…
The goal of this paper is a classification theorem of the singularities according to a new invariant, Mather discrepancy. On the other hand, we show some evidences convincing us that Mather discrepancy is a considerable invariant: By…
This paper shows that Mustata-Nakamura's conjecture holds for pairs consisting of a smooth surface and a multiideal with a real exponent over the base field of positive characteristic. As corollaries, we obtain the ascending chain condition…
We propose a subconjecture that implies the semiampleness conjecture for quasi-numerically positive log canonical divisors and prove the semiampleness in some elementary cases.
In causal inference, the joint law of a set of counterfactual random variables is generally not identified. We show that a conservative version of the joint law - corresponding to the smallest treatment effect - is identified. Finding this…
In this paper, we show that the minimal model theory does not hold in characteristic two. More precisely, we construct counter-examples to the relative abundance conjecture.
When the plane is pie-sliced in $n\leq 4$ parts (with nonempty interior and common vertex at the origin) our main result provides a sufficient condition for any map $L$, that is continuous and piecewise linear relatively to this slicing, to…
This paper describes a method used to construct infinitely many probable counterexamples of the abc conjecture over the rational integers.
We generalize the rationality theorem of the accumulation points of log canonical thresholds which was proved by Hacon, M\textsuperscript{c}Kernan, and Xu. Further, we apply the rationality to the ACC problem on the minimal log…
In many applications, it is important to be able to explain the decisions of machine learning systems. An increasingly popular approach has been to seek to provide \emph{counterfactual instance explanations}. These specify close possible…
Incorrectness Separation Logic (ISL) is a proof system that is tailored specifically to resolve problems of under-approximation in programs that manipulate heaps, and it primarily focuses on bug detection. This approach is different from…
We generalize, by a progressive procedure, the notions of conjunction and disjunction of two conditional events to the case of $n$ conditional events. In our coherence-based approach, conjunctions and disjunctions are suitable conditional…
In this paper we prove a local surjection theorem with continuous right-inverse for maps between Banach spaces, and we apply it to a class of inversion problems with loss of derivatives.
In this paper we give an elementary proof of the Zariski-Lipman conjecture for log canonical spaces.
A conjecture of Graham (repeated by Erd\H{o}s) asserts that for any set $A \subseteq \mathbb{F}_p \setminus \{0\}$, there is an ordering $a_1, \ldots, a_{|A|}$ of the elements of $A$ such that the partial sums $a_1, a_1+a_2, \ldots,…