Related papers: On a Question of Hamkins'
We introduce a canonical isomorphism from the space of pure-type complex differential forms on a compact complex manifold to the one on its infinitesimal deformations. By use of this map, we generalize an extension formula in a recent work…
We propose a framework where Fer and Wilcox expansions for the solution of differential equations are derived from two particular choices for the initial transformation that seeds the product expansion. In this scheme intermediate…
We investigate the problem of the existence of a density matrix rho on the product of three Hilbert spaces with given marginals on the pair (1,2) and the pair (2,3). While we do not solve this problem completely we offer partial results in…
We study the coherence and conservativity of extensions of dependent type theories by additional strict equalities. By considering notions of congruences and quotients of models of type theory, we reconstruct Hofmann's proof of the…
In this paper, we first get a criterion formula for whether a differential form is holomorphic with respect to the generalized complex structure induced by $\epsilon$. Next, we get the local extensions of $\overline\partial$-closed forms on…
We study the scaling dimension $\Delta_{\phi^n}$ of the operator $\phi^n$ where $\phi$ is the fundamental complex field of the $U(1)$ model at the Wilson-Fisher fixed point in $d=4-\varepsilon$. Even for a perturbatively small fixed point…
Let $n\geq 1,0<\rho<1, \max\{\rho,1-\rho\}\leq \delta\leq 1$ and $$m_1=\rho-n+(n-1)\min\{\frac 12,\rho\}+\frac {1-\delta}{2}.$$ If the amplitude $a$ belongs to the H\"{o}rmander class $S^{m_1}_{\rho,\delta}$ and $\phi\in \Phi^{2}$ satisfies…
We prove some extension theorems for quaternionic holomorphic functions in the sense of Fueter. Starting from the existence theorem for the nonhomogeneous Cauchy-Riemann-Fueter Problem, we prove that an $\mathbb{H}$-valued function $f$ on a…
Geometric decomposition is a widely used tool for constructing local bases for finite element spaces. For finite element spaces of differential forms on simplicial meshes, Arnold, Falk, and Winther showed that geometric decompositions can…
We study chiral expansion at $m_\rho$-scale in framework of chiral constituent quark model. The lowest vector meson resonsances are treated as composited fields of constituent quarks. We illustrate that, at energy scale of $\rho$-meson…
We ask the following question: If all instantiations of a propositional formula $A(x_1,...,x_n)$ in $n$ propositional variables are decidable in some sufficiently strong recursive theory, does it follow that $A$ is tautological or…
When ${\cal{D}}$ is a linear partial differential operator of any order, a direct problem is to look for an operator ${\cal{D}}_1$ generating the compatibility conditions (CC) ${\cal{D}}_1\eta=0$ of ${\cal{D}}\xi=\eta$. We may thus…
We show that the existence of noncontractible periodic orbits for compactly supported time-dependent Hamiltonian on the disk cotangent bundle of a Finsler manifold provided that the Hamiltonian is sufficiently large over the zero section.…
For $\alpha\geq 2$, we investigate a class of Fourier extension operators on fractional surfaces $(\xi,|\xi|^\alpha)$. For the corresponding $\alpha$-Strichartz inequalities, by applying the missing mass method and bilinear restriction…
Sound behavioral equations on open terms may become unsound after conservative extensions of the underlying operational semantics. Providing criteria under which such equations are preserved is extremely useful; in particular, it can avoid…
We extend the result of D. Phillips (On one-homogeneous solutions to elliptic systems in two dimensions. C. R. Math. Acad. Sci. Paris 335 (2002), no. 1, 39-42) by showing that one-homogeneous solutions of certain elliptic systems in…
Mathematical structure of the reflection coefficients for the one-dimensional Fokker-Planck equation is studied. A new formalism using differential operators is introduced and applied to the analysis in high- and low-energy regions.…
Suppose we are given complex manifolds $X$ and $Y$ together with substacks $\mathcal{S}$ and $\mathcal{S}'$ of modules over algebras of formal deformation $\mathcal{A}$ on $X$ and $\mathcal{A}'$ on $Y$, respectively. Suppose also we are…
We continue our study of hydrodynamic models of self-organized evolution of agents with singular interaction kernel $\phi(x) = |x|^{-(1+\alpha)}$. Following our works \cite{ST2017a,ST2017b} which focused on the range $1\leq \alpha <2$, and…
In Secion~1 we describe what is known of the extent to which a separable extension of unital associative rings is a Frobenius extension. A problem of this kind is suggested by asking if three algebraic axioms for finite Jones index…