Related papers: Erlangen Program at Large--2: Inventing a wheel. T…
In this work, a general definition of convolution between two arbitrary Ultradistributions of Exponential type (UET) is given. The product of two arbitrary UET is defined via the convolution of its corresponding Fourier Transforms. Some…
We improve the complex number identity proving method to a fully automated procedure, based on elimination ideals. By using declarative equations or rewriting each real-relational hypothesis $h_i$ to $h_i-r_i$, and the thesis $t$ to $t-r$,…
In this paper, we develop new identities for the inverse tangent integral by connecting it to the dilogarithmic (polylogarithmic) structure and to a carefully designed auxiliary arctangent integral $Ti_2(a)$ with a tunable endpoint. The…
Cubic invariants for two-dimensional degenerate Hamiltonian systems are considered by using variables of separation of the associated St\"ackel problems with quadratic integrals of motion. For the superintegrable St\"ackel systems the cubic…
Motivated by algorithmic problems from combinatorial group theory we study computational properties of integers equipped with binary operations +, -, z = x 2^y, z = x 2^{-y} (the former two are partial) and predicates < and =. Notice that…
We study the transference through finite index extensions of the notion of equational coherence, as well as its effective counterpart. We deduce an explicit algorithm for solving the following algorithmic problem about size two integral…
The lower and upper bound of any given algorithm is one of the most crucial pieces of information needed when evaluating the computational effectiveness for said algorithm. Here a novel method of Boolean Algebraic Programming for symbolic…
We study the higher derivative corrections that occur in type II superstring theories in ten dimensions or less. Assuming invariance under a discrete duality group G(Z) we show that the generic functions of the scalar fields that occur can…
In this paper, we provide some novel binomial convolution related to symmetric functions, as well as convolution sums without the binomial symbol. Moreover we give some new convolution sums of Bernoulli, Euler, and Genocchi numbers and…
By solving a set of recursion relations for the matrix elements of the ${\cal U}_h(sl(2))$ generators, the finite dimensional highest weight representations of the algebra were obtained as factor representations. Taking a nonlinear…
Using the language of the Geometric Algebra, we recast the massive Dirac bispinor as a set of Lorentz scalar, vector, bivector, pseudovector, and pseudoscalar fields that obey a generalized form of Maxwell's equations of electromagnetism.…
We present a new alternating convolution formula for the super Catalan numbers which arises as a generalization of two known binomial identities. We prove a generalization of this formula by using auxiliary sums, recurrence relations, and…
Electric-magnetic duality and higher dimensional analogues are obtained as symmetries in generalized coset constructions, similar to the axial-vector duality of two dimensional coset models described by Rocek and Verlinde. We also study…
The group $S_4$ of permutations on four elements has an irreducible representation corresponding to the partition 4=2+2. This representation appears in several different mathematical contexts: the Jacobi identity of Lie algebras; the…
In this paper, we work out some explicit formulae for double nonlinear Euler sums involving harmonic numbers and alternating harmonic numbers. As applications of these formulae, we give new closed form representations of several quadratic…
Enumerative invariants in Algebraic Geometry 'count' $\tau$-(semi)stable objects $E$ with fixed topological invariants $[E]=a$ in some geometric problem, using a virtual class $[{\cal M}_a^{\rm ss}(\tau)]_{\rm virt}$ in homology, for the…
In this work we show how to get advantage from the Riemann--Hilbert analysis in order to obtain first and second order differential equations for the orthogonal polynomials and associated functions with a weight on the unit circle. We…
We revisit old conjectures of Fermat and Euler regarding representation of integers by binary quadratic form x^2+5y^2. Making use of Ramanujan's_1\psi_1 summation formula we establish a new Lambert series identity for…
In this paper, we present series representations of the remainders in the expansions for $2/(e^t+1)$, $\mbox{sech} t$ and $\coth t$. For example, we prove that for $t > 0$ and $N\in\mathbb{N}:=\{1, 2, \ldots\}$, \[\mbox{sech}\,…
Quantum systems with real energies generated by an apparently non-Hermitian Hamiltonian may re-acquire the consistent probabilistic interpretation via an ad hoc metric which specifies the set of observables in the updated Hilbert space of…