Related papers: About Gordan's algorithm for binary forms
In this work, we extend modular techniques for computing Gr\"obner bases involving rational coefficients to (two-sided) ideals in free algebras. We show that the infinite nature of Gr\"obner bases in this setting renders the classical…
An application of the Gordan-Hilbert finite algebraic basis theorem is suggested.
Given a finitely presented Graded Commutative Differential Algebra (GCDA), we present a method to compute its minimal model, together with a map that is a quasi-isomorphism up to a given degree. The method works by adding generators one by…
We compute the nonlinearity of Boolean functions with Groebner basis techniques, providing two algorithms: one over the binary field and the other over the rationals. We also estimate their complexity. Then we show how to improve our…
The bilinear combination of Dirac spinors $u(p_1,n_1)\bar u(p_2,n_2)$ is expressed in terms of Lorentz vectors in an explicit covariant form. The fact that the obtained expression involves only one auxiliary vector makes it very convenient…
We develop an algorithm that determines, for a given squarefree binary form $F$ with real coefficients, a smallest representative of its orbit under $\operatorname{SL}(2,\mathbb Z)$, either with respect to the Euclidean norm or with respect…
We present an improved method for symbolic regression that seeks to fit data to formulas that are Pareto-optimal, in the sense of having the best accuracy for a given complexity. It improves on the previous state-of-the-art by typically…
We introduce the notion of polynomial-depth duality transformations, which relates two sets of operator algebras through a conjugation by a poly-depth quantum circuit, and make use of this to construct efficient Gibbs samplers for a variety…
The paper develops a $(2+2)$-imbedding formalism adapted to a double foliation of spacetime by a net of two intersecting families of lightlike hypersurfaces. The formalism is two-dimensionally covariant, and leads to simple, geometrically…
We consider a simple and natural coboundary operator, on the Lie algebra valued differential forms on a manifold, which in the abelian case reduces to usual exterior derivative of such forms. Using the corresponding de Rham cohomology Lie…
This work introduces a decoding strategy for binary self-dual codes possessing an automorphism of a specific type. The proposed algorithm is a hard decision iterative decoding scheme. The enclosed experiments show that the new decoding…
We establish a dual version of infinite-dimensional Hom-algebras and Hom-modules by using the Sweedler duality construction. Additionally, linear morphisms between infinite-dimensional Hom-algebras (resp. Hom-modules) and Hom-coalgebras…
A symmetric bilinear form on a certain subspace $\widehat{\mathbb T}^{\bf b}$ of a completion of the Fock space $\mathbb T^{{\bf b}}$ is defined. The canonical and dual canonical bases of $\widehat{\mathbb T}^{\bf b}$ are dual with respect…
We introduce a new family of closed differential forms naturally associated with minimal graphical submanifolds in Euclidean space, defined in arbitrary codimension. For each minimal graph, we construct an explicit closed form whose…
Spingarn's method of partial inverses has found many applications in nonlinear analysis and in optimization. We show that it can be employed to solve composite monotone inclusions in duality, thus opening a new range of applications for the…
We obtain an explicit presentation of the equivariant cobordism ring of a complete flag variety. An immediate corollary is a Borel presentation of the ordinary cobordism ring. Another application is an equivariant Schubert calculus in…
We construct a bigraded (co)homology theory which depends on a parameter a, and whose graded Euler characteristic is the quantum sl(2) link invariant. We follow Bar-Natan's approach to tangles on one side, and Khovanov's sl(3) theory for…
We extend the covariant canonical formalism recently discussed in ref. [1] to geometric theories coupled to both bosonic and fermionic $p$-forms. This allows a covariant hamiltonian treatment of supergravity theories. As examples we present…
In this note, we give an algorithm that starting with a Sullivan algebra gives us its minimal model. This algorithm is a kind of modified AT-model algorithm used to compute in the past other kinds of topology information such as…
We develop a simple computational tool for $SU(3)$ analogous to Bargmann's calculus for $SU(2)$. Crucial new inputs are, (i) explicit representation of the Gelfand-Zetlin basis in terms of polynomials in four variables and positive or…