Related papers: Tiltan and superclub
We construct solutions of type-II supergravity based on multiple copies and/or mixings of $\lambda$-deformed coset CFTs on $\mathrm{SO}(n+1)_k/\mathrm{SO}(n)_k$, with $n = 2, 3, 4$. The resulting ten-dimensional geometries contain…
We propose developing the theory of consequences of morasses relevant in mathematical applications in the language alternative to the usual one, replacing commonly used structures by families of sets originating with Velleman's neat…
We prove that the inverse of a positive-definite matrix can be approximated by a weighted-sum of a small number of matrix exponentials. Combining this with a previous result [OSV12], we establish an equivalence between matrix inversion and…
Let D be a triangulated category with a cluster tilting subcategory U. The quotient category D/U is abelian; suppose that it has finite global dimension. We show that projection from D to D/U sends cluster tilting subcategories of D to…
Curvature squared terms are added to a consistent formulation of supergravity on manifolds with boundary which is meant to represent the low energy limit of the strongly coupled heterotic string. These terms are necessary for the…
In this paper we consider the Foreman's maximality principle, which says that any non-trivial forcing notion either adds a new real or collapses some cardinals. We prove the consistency of some of its consequences. We prove that it is…
If connecting properties of a multiquark hadron with those exhibited by its constituents, QCD sum rules inferred along the routes of traditional wisdom necessarily involve contributions not related at all to and thus not presenting…
Boolean ultrapowers extend the classical ultrapower construction to work with ultrafilters on any complete Boolean algebra, rather than only on a power set algebra. When they are well-founded, the associated Boolean ultrapower embeddings…
We prove the consistency of $\mathrm{add}(\mathcal{N})<\mathrm{cov}(\mathcal{N})<\mathfrak{p}=\mathfrak{g}=\mathfrak{s}<\mathrm{add}(\mathcal{M})=\mathrm{cof}(\mathcal{M})<\mathfrak{a}=\mathrm{non}(\mathcal{N})=\mathfrak{c}$ with ZFC where…
We argue that dilaton supersymmetry breaking in string derived supergravity requires an effective superpotential which is not separable as a function of the dilaton times a function of the moduli. We show that in a simple model with hidden…
We establish connections between silting and tilting objects in an abelian category $\mathcal{B}$ and those in a cleft extension $\mathcal{A}$ of $\mathcal{B}$, which provides a method for constructing more silting and tilting objects. Then…
There exist two major subclasses in the class of superquadratic functions, one comprises concave and decreasing functions, while the other consists of convex and monotone increasing functions. Leveraging this distinction, we introduce…
When calculating higher terms of the epsilon-expansion of massive Feynman diagrams, one needs to evaluate particular cases of multiple inverse binomial sums. These sums are related to the derivatives of certain hypergeometric functions with…
By replacing the torus with an elementary abelian two-group, we generalize the maximal symmetry result of Grove and Searle and the half-maximal symmetry result of Wilking for positively curved manifolds with an isometric torus action.
If kappa is strongly compact, lambda > kappa is regular, then (2^{< lambda})^+ --> (lambda+eta)^2_theta holds for eta,theta<kappa.
We construct, in ZFC, a sequence of Boolean algebras for which the product of Lengths is strictly smaller than the Length of the product algebra.
In the first part of this talk I discuss two somewhat different supergravity approaches to calculating correlation functions in strongly coupled Yang-Mills theory. The older approach relates two-point functions to cross-sections for…
Let $M$ be a transitive model of $ZFC$ and let ${\bf B}$ be a $M$-complete Boolean algebra in $M.$ (In general a proper class.) We define a generalized notion of forcing with such Boolean algebras, $^*$forcing. (A $^*$ forcing extension of…
If L is a complete ortholattice, f any partial function from L^n to L, then there is a complete ortholattice L* containing L as a subortholattice, and an ortholattice polynomial with coefficients in L* which represents f on L^n. Iterating…
In this work, we find the Poisson superalgebras related to schemes of quantization. Initially, we consider the Dirac superbracket in the context of the quantization of constrained systems. Next, we show the existence of a Poisson…