Related papers: On a proof of the Bouchard-Sulkowski conjecture
New cases of the multiplicity conjecture are considered.
We investigate the transient bubbles that spontaneously appear in a simple liquid using molecular simulations. The objective is to deduce the free-energy of formation of the bubbles $W(s)$ from the bubble size distribution $p(s)$ through…
Brlek and Reutenauer conjectured that any infinite word u with language closed under reversal satisfies the equality 2D(u) = \sum_{n=0}^{\infty}T_u(n) in which D(u) denotes the defect of u and T_u(n) denotes C_u(n+1)-C_u(n) +2 - P_U(n+1) -…
We prove an abstract compactness theorem for a family of generalized Seiberg-Witten equations in dimension three. This result recovers Taubes' compactness theorem for stable flat $\mathbf{P}\mathrm{SL}_2(\mathbf{C})$-connections as well as…
Four-dimensional asymptotically-free large $N$ gauge theories compactified on $S^3_R \times \mathbb{R}$ have a weakly-coupled confining regime when $R$ is small compared to the strong scale. We compute the vacuum energy of a variety of…
Using Jack polynomials, Goulden and Jackson have introduced a one parameter deformation $\tau_b$ of the generating series of bipartite maps, which generalizes the partition function of $\beta$-ensembles of random matrices. The Matching-Jack…
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),…
In a recent preprint, Gullerud and Walker [2] proved a theorem and made a conjecture about the correctness of efficiently generating B\'ezout trees for Pythagorean pairs. In this note, we give a simple proof of their theorem, confirm that…
We present a new conjecture for the $SU_q(N)$ Perk-Schultz models. This conjecture extends a conjecture presented in our article (Alcaraz FC and Stroganov YuG (2002) J. Phys. A vol. 35 pg. 6767-6787, and also in cond-mat/0204074).
We prove a new theorem of Tverberg type which confirms the conjecture of Blagojevic, Frick, and Ziegler about the existence of "balanced Tverberg partitions" (Conjecture 6.6 in, Tverberg plus constraints, Bull. London Math. Soc., 46 (2014)…
This note is an exposition of the proof of Thom's conjecture by Kronheimer and Mrowka, using the new Seiberg-Witten invariants.
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].
In this article, the disjunction-free fragment of Ja\'skowski's discussive logic D2 in the language of classical logic is shown to be complete with respect to three- and four-valued semantics. As a byproduct, a rather simple axiomatization…
In this note, we revisit a result of Benli's and Pollack's on the number of small prime $k^{th}$ power residues. The proof is based on their idea of using reciprocity laws, but the argument is simplified and we prove a slightly stronger…
We prove a number of results surrounding the Borsuk-Ulam-type conjecture of Baum, D\k{a}browski and Hajac (BDH, for short), to the effect that given a free action of a compact group $G$ on a compact space $X$, there are no $G$-equivariant…
We prove the unpolarized Shafarevich conjecture for K3 surfaces: the set of isomorphism classes of K3 surfaces over a fixed number field with good reduction away from a fixed and finite set of places is finite. Our proof is based on the…
We construct a partial compactification of the moduli space, M_k, of SU(2) magnetic monopoles on R^3, wherein monopoles of charge k decompose into widely separated 'monopole clusters' of lower charge going off to infinity at comparable…
In this short note, we prove a conjecture recently posed by Alekseyev, Amdeberhan, Shallit, and Vukusic on the 3-adic valuation of a cubic binomial sum.
In this article we show that some of the recent results of Marino, Moore, and Peradze (math.DG/9812042, hep-th/9812055) -- in particular their conjecture that all closed, smooth four-manifolds with b_2^+ > 1 (and Seiberg-Witten simple type)…
Our contribution is a bounded cubic compilation theorem. For each fixed resource parameter $k$, syntactic proof checking at resource level $k$ is faithfully represented by a finite bounded-domain system of cubic polynomial equations. Every…