Related papers: One is all you need: Second-order Unification with…
Let $f\colon S\to B$ a complex fibred surface with fibres of genus $g\geq 2$. Let $u_f$ be its unitary rank, i.e., the rank of the maximal unitary summand of the Hodge bundle $f_*\omega_f$. We prove many new slope inequalities involving…
A unitary representation of a, possibly infinite dimensional, Lie group $G$ is called semibounded if the corresponding operators $i\dd\pi(x)$ from the derived representation are uniformly bounded from above on some non-empty open subset of…
We prove that the positive fragment of first-order intuitionistic logic in the language with two variables and a single monadic predicate letter, without constants and equality, is undecidable. This holds true regardless of whether we…
A simple supersymmetric SO(10) GUT in five dimensions is considered. The fifth dimension is compactified on the $S^1/(Z_2\times Z_2^\prime)$ orbifold possessing two inequivalent fixed points. In our setup, all matter and Higgs multiplets…
Boundedness properties for pseudodifferential operators with symbols in the bilinear H\"ormander classes of sufficiently negative order are proved. The results are obtained in the scale of Lebesgue spaces and, in some cases, end-point…
In this paper, we study the sampling problem for first-order logic proposed recently by Wang et al. -- how to efficiently sample a model of a given first-order sentence on a finite domain? We extend their result for the…
We investigate notions of complete representation by partial functions, where the operations in the signature include antidomain restriction and may include composition, intersection, update, preferential union, domain, antidomain, and set…
A possible definition of strong/symmetric hyperbolicity for a second-order system of evolution equations is that it admits a reduction to first order which is strongly/symmetric hyperbolic. We investigate the general system that admits a…
Let $\Sigma_{g,r}$ denote the $r$-punctured closed Riemann surface of genus $g$. For every $g\geq 0$, we determine the four-variable generating function for the mixed Hodge numbers of the unordered configuration spaces of $\Sigma_{g,1}$.…
Within the context of top-down holography, we study a one-parameter family of regular background solutions of maximal gauged supergravity in seven dimensions, dimensionally reduced on a 2-torus. The dual, four-dimensional confining field…
Following systematically the generalized Hamiltonian approach of Batalin, Fradkin and Tyutin (BFT), we embed the second-class non-abelian SU(2) Higgs model in the unitary gauge into a gauge invariant theory. The strongly involutive…
In the context of the Higher-Order Maxwell-Einstein-Scalar (HOMES) theories, which are invariant under spacetime diffeomorphisms and $U(1)$ gauge symmetry, we study two broad subclasses: the first is up to linear in $R_{\mu\nu\alpha\beta}$,…
In this paper, we prove some divisibility results for the Fourier coefficients of reduced modular forms of sign vectors. More precisely, we generalize a divisibility result of Siegel on constant terms when the weight is non-positive, which…
Let $G$ be a locally compact abelian group, and let $\widehat{G}$ denote its dual group, equipped with a Haar measure. A variant of the uncertainty principle states that for any $S \subset G$ and $\Sigma \subset \widehat{G}$, there exists a…
By using the theory of first-order differential subordination for functions with fixed initial coefficient, several well-known results for subclasses of univalent functions are improved by restricting the functions to have fixed second…
Scale-separated AdS compactifications of string theory can be constructed at the two-derivative supergravity level in the presence of smeared orientifold planes. The unsmearing corrections are known to leading order in the large volume,…
We show that the existence of a first-order formula separating two monadic second order formulas over countable ordinal words is decidable. This extends the work of Henckell and Almeida on finite words, and of Place and Zeitoun on…
The Standard Model group and matter spectrum is obtained in vacua of F-theory, without resorting to an intermediate unification group. The group SU(3) x SU(2) x U(1)_Y is the commutant to SU(5)_t \times U(1)_Y structure group of a Higgs…
We find an equivalent condition for a continuous vector-valued path to be Lebesgue equivalent to a twice differentiable function. For that purpose, we introduce the notion of a $VBG_{{1/2}}$ function, which plays an analogous role for the…
Constrained second-order convex optimization algorithms are the method of choice when a high accuracy solution to a problem is needed, due to their local quadratic convergence. These algorithms require the solution of a constrained…