Related papers: The Strong Macdonald Conjecture
We will prove the Brannan conjecture for particular values of the parameter. The basic tool of the study is an integral representation published in a recent work [3].
This note addresses the continuum problem, taking advantage of the breakthrough mentioned in the subtitle, and relating it to many recent advances occurring in set theory.
This is a summary of the proof of BAB conjecture. All material are taken from the two BAB paper in the reference. The aim of this summary is to help reader to understand the more technical side of the proof of BAB.
We make progress towards understanding the structure of Littlewood-Richardson coefficients $g_{\lambda,\mu}^{\nu}$ for products of Jack symmetric functions. Building on recent results of the second author, we are able to prove new cases of…
In this paper we will algorithmically prove the local and global epsilon constant conjectures for all fields of absolute degree lower or equal to 15. To this end we will present an efficient algorithm for the computation of local…
In this short note, we prove Hadwiger's conjecture for strongly monotypic polytopes.
We prove a variant of Manin's conjecture for Campana points on wonderful compactifications of semi-simple algebraic groups of adjoint type. We use this to provide evidence for a new conjecture on the leading constant in Manin's conjecture…
Rejoinder of "On the Birnbaum Argument for the Strong Likelihood Principle" by Deborah G. Mayo [arXiv:1302.7021].
We study the local epsilon constant conjecture as formulated by Breuning. This conjecture fits into the general framework of the equivariant Tamagawa number conjecture (ETNC) and should be interpreted as a consequence of the expected…
Dyson's celebrated constant term conjecture ({\em J. Math. Phys.}, 3 (1962): 140--156) states that the constant term in the expansion of $\prod_{1\leqq i\neq j\leqq n} (1-x_i/x_j)^{a_j}$ is the multinomial coefficient $(a_1 + a_2 + \cdots +…
We present conjectures giving formulas for the Macdonald polynomials of type B, C, D which are indexed by a multiple of the first fundamental weight. The transition matrices between two different types are explicitly given.
We present an improved incremental selection algorithm of the selection algorithm presented in [1] and prove all the selected conjectures.
In this paper we give a complete proof of the Brumer-Stark conjecture over $\mathbf{Z}$.
Over the past two decades the notion of a strong monad has found wide applicability in computing. Arising out of a need to interpret products in computational and semantic settings, different approaches to this concept have arisen. In this…
We settled a conjecture of Feigin, Wang and Yoshinaga, appeared in the preprint "Integral expressions for derivations of multiarrangements" (arXiv: 2309.01287v2).
We prove two results about generically stable types $p$ in arbitrary theories. The first, on existence of strong germs, generalizes results from D. Haskell, E. Hrushovski and D. Macpherson on stably dominated types. The second is an…
The aim of this note is to introduce a stable version of Terao conjecture, using the notion of infinitely stably extendability of vector bundles on $\mathbb P^n$, considered and characterized by I. Coanda in arXiv:0907.4040.
We present a case study in {\it experimental} yet {\it rigorous} mathematics by describing an algorithm, fully implemented in both Mathematica and Maple, that {\it automatically conjectures}, and then {\it automatically proves}, closed-form…
In this paper we formulate a conjecture which is a strengthening of an extension theorem of Bakonyi and Timotin for positive definite functions on the free group on two generators. We prove that this conjecture implies Connes' embedding…
The paper presents a counterexample to the Hodge conjecture.