Related papers: A Note on the Permuted Puzzles Toy Conjecture
In this paper a new conjecture equivalent to Collatz conjecture is presented. In particural, showing that (all) the solution(s) of newly introduced iterative functional equation(s) have a given property is equivalent to prove Collatz…
Robin's Conjecture is strengthened, deformed, and proved. Nicolas conjecture follows.
Developing a better understanding of surprising or counterintuitive phenomena has constituted a significant portion of deep learning research in recent years. These include double descent, grokking, and the lottery ticket hypothesis --…
Over one year ago, a very long preprint posted on arXiv [arXiv:1709.03771] and HAL announced a proof of Lehmer's Conjecture (and of other related results). Unfortunately, as was remarked by several specialists, this proof contains a (at…
This note gives an informal overview of the proof in our paper "Borel Conjecture and Dual Borel Conjecture", see arXiv:1105.0823.
The purpose of this note is to explain that the combinatorial local log-concavity conjecture introduced by Gross, Mansour, Tucker and Wang (Eur. J. Comb. 52, 207-222, 2016) in fact follows from a result of Stanley (Eur. J. Comb. 32 (6),…
Recently GM Sofi & SA Shabir [arXive: 1903.01850v2 [math.GM] 6 Mar 2019] made an attempt to prove the Sendov's conjecture. But unfortunately the proof is not correct. In this note, we discuss the fallacy in the proof.
This note imparts heuristic arguments and theorectical evidences that contradict the abc conjecture over the rational numbers. In addition, the rudimentary datails for transforming this problem into the doimain of equidistribution theory…
In the early 2000's the first and second named authors worked for a period of six years in an attempt of proving the Compositional Shuffle Conjecture [1]. Their approach was based on the discovery that all the Combinatorial properties…
We present the proofs of the conjectures mentioned in the paper published in the proceedings of the 2024 AAAI conference [1], and discovered by the decomposition methods presented in the same paper.
Recently, Moret\'o and Rizo proposed a conjecture, known as the Picky Conjecture, proposing new character correspondences extending the McKay Conjecture. We prove the Picky Conjecture for all quasi-simple groups of Lie type for non-defining…
In this article, following an insight of Kontsevich, we extend the famous Weil conjecture (as well as the strong form of the Tate conjecture) from the realm of algebraic geometry to the broad noncommutative setting of dg categories. As a…
We present a formulation of the Collatz conjecture that is potentially more amenable to modeling and analysis by automated termination checking tools.
We give a reduction of the irregular case for the effective non-vanishing conjecture by virtue of the Fourier-Mukai transform. As a consequence, we reprove that the effective non-vanishing conjecture holds on algebraic surfaces.
The revised version of the claim by Hurley, Hurley and Hurley to have proved the circulant Hadamard matrix conjecture is mistaken.
We present PGT, a Proof Goal Transformer for Isabelle/HOL. Given a proof goal and its background context, PGT attempts to generate conjectures from the original goal by transforming the original proof goal. These conjectures should be weak…
New insights into the combinatorial structure of the Mandelbrot set are given by `Correspondence' and `Translation' Principles both conjectured and partially proved by E. Lau and D. Schleicher. We provide complete proofs of these principles…
We describe a communication game, and a conjecture about this game, whose proof would imply the well-known Sensitivity Conjecture asserting a polynomial relation between sensitivity and block sensitivity for Boolean functions. The author…
In this note we provide some results related to the Koethe conjecture and exhibit that the condition R satisfies the Koethe conjecture given in [2, theorem 2.6 ] is superfluous at least under certain conditions described in this note.
Wang and Blei (2019) studies multiple causal inference and proposes the deconfounder algorithm. The paper discusses theoretical requirements and presents empirical studies. Several refinements have been suggested around the theory of the…