Related papers: A strong antidiamond principle compatible with CH
We develop a see-saw model for neutrino masses and mixing with an S3\times Z3 symmetry. It involves an interplay of Type-I and Type-II see-saw contributions of which the former is subdominant. The S3 \times Z3 quantum numbers of the fermion…
We prove that P = NP implies #P = FP by exploiting the topological structure of 3SAT solution spaces. The argument proceeds via a dichotomy: any polynomial-time algorithm for 3SAT either operates without global knowledge of the…
Generalized Higman's Theorem is the direct counterpart of Higman's Theorem that asserts the closure of the class of \emph{better} quasi-orders, instead of the class of \emph{well} quasi-orders, under the construction $P\mapsto P^{<\omega}$…
We investigate qualitative properties of weak solutions of the Dirichlet problem for the equation $-\Delta_p u = \lambda m(x)|u|^{p-2}u + \eta a(x)|u|^{q-2}u + f(x)$ in a bounded domain $\Omega \subset \mathbb{R}^N$, where $q<p$. Under…
We introduce a simplified framework for ord-transitive models and Shelah's non elementary proper (nep) theory. We also introduce a new construction for the countable support nep iteration.
The preservation theorems for semi-properness, hemi-properness, and pseudo-completeness hold for countable support iterations as well as revised countable support iterations, notwithstanding the fact that the "factor lemma" fails for the…
We solve for finite $N$ the matrix model of supersymmetric $U(N)$ Chern-Simons theory coupled to $N_{f}$ fundamental and $N_{f}$ anti-fundamental chiral multiplets of $R$-charge $1/2$ and of mass $m$, by identifying it with an average of…
In this paper, we obtain the consistency, relative to large cardinals, of the existence of dense ideals on every successor of a regular cardinal simultaneously. Using a consequent transfer principle, we show that in this model there is a…
Buchholz' Omega-rule is a way to give a syntactic, possibly ordinal-free proof of cut elimination for various subsystems of second order arithmetic. Our goal is to understand it from an algebraic point of view. Among many proofs of cut…
We search for principal ideals. As a sample, let $R$ be a strongly-normal, almost-factorial, and complete-intersection local ring with a prime ideal $P$ of height one. If $depth(R/ P)\geq dim R-2$, we show $P$ is principal. As an immediate…
We prove the following;Theorem:Let R be a prime noetherian ring with k.dimR = n, n a finite non-negative integer. We refer the reader to the definitions (1.1) of this paper.For a fixed non-negative integer m, m<n let Xm be the full set of…
The three dimensional N=2 supersymmetric Chern-Simons theory coupled to matter fields, possibly deformed by a superpotential, give rise to a large class of exactly conformal theories with Lagrangian descriptions. These theories can be…
We study an $\mathcal{N}=2$, pure $U(1)$ SYM theory on a Gibbons-Hawking space $\Omega$-deformed using the $U(1)$ isometry. The resultant 3D theory, after an appropriate "Nekrasov-Witten" change of variables, is asymptotically equivalent to…
In an earlier article [3], we presented an algorithm that can be used to rigorously check whether a specific cosine or sine polynomial is nonnegative in a given interval or not. The algorithm proves to be an indispensable tool in…
We first note the peculiar property of the pion as the pseudoscalar particle, which play the essential role in realizing the basic properties of the nuclear matter such as the density/energy saturations. Then, we introduce the notion of…
Generalizing Keisler's notion of regularity for ultrafilters, Taylor introduced degrees of regularity for ideals and showed that a countably complete nonregular ideal on $\omega_1$ must be somewhere $\omega_1$-dense. We prove a dichotomy…
Nuclear chirality has been intensively studdied for the last several years in the context of experimental as well as theoretical approach. Characteristic gamma selection rules have been predicted for the strong chiral symmetry breaking…
We introduce Strong Measuring, a maximal strengthening of J. T. Moore's Measuring principle, which asserts that every collection of fewer than continuum many closed bounded subsets of $\omega_1$ is measured by some club subset of…
The bounded proper forcing axiom BPFA is the statement that for any family of aleph_1 many maximal antichains of a proper forcing notion, each of size aleph_1, there is a directed set meeting all these antichains. A regular cardinal kappa…
Following previous work, we identify a symmetry S_nat that generalizes the concept of custodial symmetry, keeping under control deviations from the Standard Model (SM). To realize S_nat linearly, the space of gauge fields has to be…