相关论文: The Strong Macdonald Conjecture
Strong monads are important for several applications, in particular, in the denotational semantics of effectful languages, where strength is needed to sequence computations that have free variables. Strength is non-trivial: it can be…
A string theoretic derivation is given for the conjecture of Hausel, Letellier, and Rodriguez-Villegas on the cohomology of character varieties with marked points. Their formula is identified with a refined BPS expansion in the stable pair…
In this paper we prove the Dynamical Mordell-Lang Conjecture for polynomial endomorphisms of the affine plane.
In this paper we consider the remaining cases of Hebey-Vaugon conjecture.
A propositional proof system $P$ has the strong feasible disjunction property iff there is a constant $c \geq 1$ such that whenever $P$ admits a size $s$ proof of $\bigvee_i \alpha_i$ with no two $\alpha_i$ sharing an atom then one of…
The Rev. Dodgson's determinant condensation rule is given a bijective proof.
We give a new proof of Brooks' theorem that immediately implies a strengthening of Brooks' theorem, known as Catlin's theorem.
We prove the strong form of the Gaussian product conjecture in dimension three. Our purely analytical proof simplifies previously known proofs based on combinatorial methods or computer-assisted methods, and allows us to solve the case of…
We make the final step to give a proof for the Brannan's conjecture. The basic tool of the study is a Mac-Laurin development and an adequately estimation of an integral.
Robin's Conjecture is strengthened, deformed, and proved. Nicolas conjecture follows.
The FPP conjecture, proposed by J. Adams, S. Miller, and D. Vogan and proved by D. Davis and L. Mason-Brown in arXiv:2411.01372, imposes a strong upper bound on the infinitesimal character of a unitary representation of a real reductive…
We refine the reduction theorem of the McKay Conjecture proved by Isaacs, Malle and Navarro. Assuming the inductive McKay condition, we obtain a strong version of the McKay Conjecture that gives central isomorphic character triples.
As a corollary to the recent extraordinary theorem of Maynard and Tao, we re-prove, in a stronger form, a result of Shiu concerning "strings" of consecutive, congruent primes.
An overview of the basic results on Macdonald(-Koornwinder) polynomials and double affine Hecke algebras is given. We develop the theory in such a way that it naturally encompasses all known cases. Among the basic properties of the…
Let T be a countable, small simple theory. In this paper, we prove for such T, the notion of Lascar Strong type coincides with the notion of a strong type,over an arbitrary set.
In this paper, a conjecture of Mazur, Rubin and Stein concerning certain averages of modular symbols is proved.
In this article, we give proofs on the Arnold Lagrangian intersection conjecture on the cotangent bundles, Arnold-Givental Lagrangian intersection conjecture and the Arnold fixed point conjecture.
We incorporate strong negation in the theory of computable functionals TCF, a common extension of Plotkin's PCF and G\"{o}del's system $\mathbf{T}$, by defining simultaneously strong negation $A^{\mathbf{N}}$ of a formula $A$ and strong…
The additivity of both the entanglement of formation and the classical channel capacity is known to be a consequence of the strong superadditivity conjecture. We show that, conversely, the strong superadditivity conjecture follows from the…
We prove The Tate Thomason conjecture through Theorem 2.2. Fundamental is the work of R W Thomson and the proof also rests upon the theory of infinite abelian groups.