Related papers: Rational Solutions to the First Order Difference E…
We present experimental results to explore a form of bivariate glyphs for representing large-magnitude-range vectors. The glyphs meet two conditions: (1) two visual dimensions are separable; and (2) one of the two visual dimensions uses a…
We show, in great detail, how the perturbative tools of quantum field theory allow one to rigorously obtain: a ``categorified'' Faa di Bruno type formula for multiple composition, an explicit formula for reversion and a proof of…
We look at classes of languages associated to the fragment of first-order logic B{\Sigma}1 which disallows quantifier alternations. Each class is defined by choosing the set of predicates on positions that may be used. Two key such…
We report consistent results for $\Gamma(h \rightarrow \gamma \gamma)$, $\sigma(\mathcal{G} \,\mathcal{G}\rightarrow h)$ and $\Gamma(h \rightarrow \mathcal{G} \,\mathcal{G})$ in the Standard Model Effective Field Theory (SMEFT) perturbing…
Sorting algorithms are fundamental to computer science, and their correctness criteria are well understood as rearranging elements of a list according to a specified total order on the underlying set of elements. As mathematical functions,…
Let $\mathbf{F}$ be a real extension of $\mathbb{Q}$, $G$ a finite group and $\mathbf{F}G$ its group algebra. Given both a group homomorphism $\sigma:G\rightarrow \{\pm1\}$ (called an orientation) and a group involution $^\ast:G \rightarrow…
In this paper we consider efficient algorithms for solving the algebraic equation ${\mathcal A}^\alpha {\bf u}={\bf f}$, $0< \alpha <1$, where ${\mathcal A}$ is a symmetric and positive definite matrix obtained form finite difference or…
We consider the following equations: \begin{equation*} \left\{\begin{array}{ll} (-\triangle)^{\alpha/2}u(x)=f(v(x)), \\ (-\triangle)^{\beta/2}v(x)=g(u(x)), &x \in R^{n},\\ u,v\geq 0, &x \in R^{n}, \end{array} \right. \end{equation*} for…
Given a semigroup $S$ equipped with an involutive automorphism $\sigma$, we determine the complex-valued solutions $f,g,h$ of the functional equation \begin{equation*}f(x\sigma(y))=f(x)g(y)+g(x)f(y)+h(x)h(y),\,\,x,y\in S,\end{equation*} in…
Consider a system of n polynomial equations and r polynomial inequations in n indeterminates of degree bounded by d with coefficients in a polynomial ring of s parameters with rational coefficients of bit-size at most $\sigma$. From the…
This paper investigates how global decision problems over arithmetically represented domains acquire reflective structure through class-quantification. Arithmetization forces diagonal fixed points whose verification requires reflection…
Metric independent $\sigma$ models are constructed. These are field theories which generalise the membrane idea to situations where the target space has fewer dimensions than the base manifold. Instead of reparametrisation invariance of the…
In differential geometry, the notation d^n f along with the corresponding formalism has fallen into disuse since the birth of exterior calculus. However, differentials of higher order are useful objects that can be interpreted in terms of…
Commutative complex numbers of the form u=x+\alpha y+\beta z+\gamma t in 4 dimensions are studied, the variables x, y, z and t being real numbers. Four distinct types of multiplication rules for the complex bases \alpha, \beta and \gamma…
In this paper, we study the complexity of solving generic over-determined bilinear systems over a finite field $\mathbb{F}$. Given a generic bilinear sequence $B \in \mathbb{F}[\mathbf{x},\mathbf{y}]$, with respect to a partition of…
Using evaluation at appropriately chosen points, we propose a Gr\"obner basis free approach for calculating the secondary invariants of a finite permutation group. This approach allows for exploiting the symmetries to confine the…
There are two possible computational interpretations of second-order arithmetic: Girard's system F or Spector's bar recursion and its variants. While the logic is the same, the programs obtained from these two interpretations have a…
The analysis of many physical phenomena can be reduced to the study of solutions of differential equations with polynomial coefficients. In the present work, we establish the necessary and sufficient conditions for the existence of…
Bilinear systems of equations are defined, motivated and analyzed for solvability. Elementary structure is mentioned and it is shown that all solutions may be obtained as rank one completions of a linear matrix polynomial derived from…
The scalar difference equation $x_{n+1}=f_{n}(x_{n},x_{n-1},...,x_{n-k})$ may exhibit symmetries in its form that allow for reduction of order through substitution or a change of variables. Such form symmetries can be defined generally…