Related papers: Symbolic integration of hyperexponential 1-forms

Let $k\in \mathbb{N}\setminus\{0\}$. For a commutative ring $R$, the ring of dual numbers of $k$ variables over $R$ is the quotient ring $R[x_1,\ldots,x_k]/ I $, where $I$ is the ideal generated by the set $\{x_ix_j\mid i,j=1,\ldots,k\}$.…

We provide simple criteria and algorithms for expressing homogeneous polynomials as sums of powers of independent linear forms, or equivalently, for decomposing symmetric tensors into sums of rank-1 symmetric tensors of linearly independent…

Given a compact set $K$ in the plane, which does not contain any triple of points forming a vertical and a horizontal segment, and a map $f\in C(K)$, we give a construction of functions $g,h\in C(\mathbb R)$ such that $f(x,y)=g(x)+h(y)$ for…

For a (classically) integrable quantum mechanical system with two degrees of freedom, the functional dependence $\hat{H}=H_Q(\hat{J}_1,\hat{J}_2)$ of the Hamiltonian operator on the action operators is analyzed and compared with the…

Let R be a polynomial ring and M a finitely generated graded R-module of maximal grade (which means that the ideal I_t(\cA) generated by the maximal minors of a homogeneous presentation matrix, \cA, of M has maximal codimension in R).…

We consider fractional Sobolev spaces $H^\theta(\Gamma)$, $\theta \in [0,1]$, on a 2D surface $\Gamma$. We show that functions in $H^\theta(\Gamma)$ can be decomposed into contributions with local support in a stable way. Stability of the…

Based on the full similarity in algebraic properties and differentiation rules between quaternionic (H-) holomorphic and complex (C-) holomorphic functions, we assume that there exists one holistic notion of a holomorphic function that has…

An explicit form of the functional measure on the factor space $Diff^{1}_{+}(S^{1})/SL(2,\textbf{R})$ is obtained that makes Schwarzian functional integrals calculus simpler and more transparent.

A quantum model exhibits Hilbert space fragmentation (HSF) if its Hilbert space decomposes into exponentially many dynamically disconnected subspaces, known as Krylov subspaces. A model may however have different HSFs depending on the…

The paper deals with singularities of nonconfluent hypergeometric functions in several variables. Typically such a function is a multi-valued analytic function with singularities along an algebraic hypersurface. We describe such…

Any homogeneous polynomial $P(x, y, z)$ of degree $d$, being restricted to a unit sphere $S^2$, admits essentially a unique representation of the form $\lambda_0 + \sum_{k = 1}^d \lambda_k [\prod_{j = 1}^k L_{kj}]$, where $L_{kj}$'s are…

We consider the 3D Schr\"odinger operator $H = H_0 + V$ where $H_0 = (-i\nabla - A)^2$, $A$ is a magnetic potential generating a constant magnetic field of strength $b>0$, and $V$ is a short-range electric potential which decays…

A `trinomial hypersurface' is a hypersurface that is defined by a single polynomial having 3 non-constant terms in it and no constant term. A `disjoint-term trinomial hypersurface' is a trinomial hypersurface whose defining polynomial has…

Let $\psi:\M \to \SH$ be an isometric immersion of codimension 1, then there exist symmetric $(1,1)$-tensors $S$ and $f$, a tangent vector field $U$ and a smooth function $\lambda$ on $\M$ that satisfy the compatibility equations of $\SH$.…

Hector, Mac\'{\i}as-Virg\'os, and Sanmart\'{\i}n-Carb\'on identified the complex of diffeological differential forms on the leaf space of a foliation with the complex of basic forms on the foliated manifold, yielding a canonical isomorphism…

We introduce a method that allows the evaluation of general expressions for the spectral functions of the one-dimensional Hubbard model for all values of the on-site electronic repulsion U. The spectral weights are expressed in terms of…

With the aim of derive a quasi-monomiality formulation in the context of discrete hypercomplex variables, one will amalgamate through a Clifford-algebraic structure of signature $(0,n)$ the umbral calculus framework with Lie-algebraic…

We show that if $\mathcal{T}$ is any Hausdorff topology on ${\omega}_{1}$, then any subset of ${\omega}_{1}$ which is homeomorphic to the rationals under $\mathcal{T}$ can be refined to a homeomorphic copy of the rationals on which…

Given a subfield $F$ of $\mathbb{C}$, we study the linear disjointess of the field $E$ generated by iterated exponentials of elements of $\overline{F}$, and the field $L$ generated by iterated logarithms, in the presence of Schanuel's…

A rational homogeneous (of degree one) positive real matrix-valued function is presented as the Schur complement of a block of the linear pencil with positive semidefinite matrix coefficients. The partial derivative numerators of a rational…