Related papers: A Simple Quantifier-free Formula of Positive Semid…
We explain how to compute the semistable reduction of plane quartic curves over local fields of residue characteristic $p=3$. Our approach is based on finding suitable degree-$3$ coverings of the projective line by such plane quartics and…
This work provides a quaternioinc reprsentation for real symplectic matrices in dimension four, analogous to the pair of unit quaternions representation for special orthogonal matrices. In the process of finding formulae for this…
We propose a numerical method, based on the shift-and-invert power iteration, that answers whether a symmetric matrix is positive definite ("yes") or not ("no"). Our method uses randomization. But, it returns the correct answer with high…
We implement a cutoff-independent regularization of four-fermion interactions to calculate the color-superconducting gap parameter in quark matter. The traditional cutoff regularization has difficulties for chemical potentials \mu of the…
In this article, I introduce a group-theoretical method to prove positivity of certain linear combinations (with coefficients generally lying in $\mathbb{C}$) of exponential functions under a set of semidefinite linear constraints. The…
A characterization of the general linear equation in standard form admitting a maximal symmetry algebra is obtained in terms of a simple set of conditions relating the coefficients of the equation. As a consequence, it is shown that in its…
A general form factor formula for the scaling Z(N)-Ising model is constructed. Exact expressions for matrix elements are obtained for several local operators. In addition, the commutation rules for order, disorder parameters and para-Fermi…
We present a new semiclassical technique which relies on replacing complicated classical manifold structure with simpler manifolds, which are then evaluated by the usual semiclassical rules. Under circumstances where the original manifold…
We offer some partition functions related to ternary quadratic forms, and note on their upper bounds and related properties. We offer these results as an application of a simple method related to conjugate Bailey pairs presented in a prior…
A new algorithm to compute cylindrical algebraic decompositions (CADs) is presented, building on two recent advances. Firstly, the output is truth table invariant (a TTICAD) meaning given formulae have constant truth value on each cell of…
Ordinary binary multiplication of natural numbers can be generalized in a non-trivial way to a ternary operation by considering discrete volumes of lattice hexagons. With this operation, a natural notion of `3-primality' -- primality with…
We describe a simple approach to factorize non-commutative (nc) polynomials, that is, elements in free associative algebras (over a commutative field), into atoms (irreducible elements) based on (a special form of) their minimal linear…
An elementary presentation of the methods for the canonical quantization of constraint systems with Fermi variables is given. The emphasis is on the subtleties of the construction of an appropriate classical bracket that could be…
Given a symmetric nonnegative matrix $A$, symmetric nonnegative matrix factorization (symNMF) is the problem of finding a nonnegative matrix $H$, usually with much fewer columns than $A$, such that $A \approx HH^T$. SymNMF can be used for…
Let C/K: F = 0 be a smooth plane quartic over a complete discrete valuation field K. In a previous paper the authors togetehr with Q. Liu give various characterizations of the reduction (i.e. non-hyperelliptic genus 3 curve, hyperelliptic…
We show that the quadratic matrix equation $VW + \eta (W)W = I$, for given $V$ with positive real part and given analytic mapping $\eta$ with some positivity preserving properties, has exactly one solution $W$ with positive real part. We…
For an ideal $I\subseteq\mathbb{R}[x]$ given by a set of generators, a new semidefinite characterization of its real radical $I(V_\mathbb{R}(I))$ is presented, provided it is zero-dimensional (even if $I$ is not). Moreover we propose an…
The problem of minimizing a (nonconvex) quadratic form over the unit simplex, referred to as a standard quadratic program, admits an exact convex conic formulation over the computationally intractable cone of completely positive matrices.…
An integrable anharmonic oscillator is presumably simulable by a classical computer and therefore by a quantum computer. An integrable anharmonic oscillator whose Hamiltonian is of normal type and quartic in the canonical coordinates is not…
Semiclassical methods provide important tools for approximating solutions in quantum mechanics. In several cases these methods are intriguingly exact rather than approximate, as has been shown by direct calculations on particular systems.…