Related papers: A sufficient condition for $(\alpha, \beta)$ Somos…
We derive necessary and sufficient conditions for the existence of the exact solution to the Sylvester-type quaternion tensor system $ \mathcal{A}_i\ast_{N}\mathcal{X}_i+ \mathcal{Y}_i\ast_{M}\mathcal{B}_i+\mathcal{C}_i\ast_{N}…
Using the smallest eigenvalues of Hankel forms associated with a multidimensional moment problem, we establish a condition equivalent to the existence of a reproducing kernel. This result is a multivariate analogue of Berg, Chen,and…
The Logic of Proofs, LP, and other justification logics can have self-referential justifications of the form t:A. Such self-referential justifications are necessary for the realization of S4 in LP. Yu discovered prehistoric cycles in a…
We show connections between a special type of addition formulas and a theorem of Stieltjes and Rogers. We use different techniques to derive the desirable addition formulas. We apply our approach to derive special addition theorems for…
Applying Johann Cigler's Hankel determinant formula in terms of the binomial coefficient determinants, which is simplified from Christian Krattenthale's, we get an explicit formula of Hankel determinants for general. As far as I know, those…
We consider random systems of equations x_1 + ... + x_k = a; 0 <= a <= 2 which are interpreted as equations modulo 3: We show for k >= 15 that the satisfiability threshold of such systems occurs where the 2-core has density 1: We show a…
We calculate the Hankel determinants of sequences of Bernoulli polynomials. This corresponding Hankel matrix comes from statistically estimating the variance in nonparametric regression. Besides its entries' natural and deep connection with…
A block alternating splitting iteration (BASI) method is presented for solving the system arising from the finite element discretization of the distributed optimal control problem with time-periodic parabolic equations. We prove that the…
It is desirable that a given continued fraction algorithm is simple in the sense that the possible representations can be characterized in an easy way. In this context the so-called finite range condition plays a prominent role. We show…
Through the following, we establish the conditions which allow us to express recursive sequences of real numbers, enumerated through the recurrence relation a_{n+1} = Aa_n + Ba_{n-1}, by means of algebraic equations in two variables of…
We define a sound and complete proof system for affine beta-eta-retractions in simple types built over many atoms, and we state simple necessary conditions for arbitrary beta-eta-retractions in simple and polymorphic types.
We establish an explicit criterion for determining whether a $4 \times 4$ upper-triangular matrix is a contraction with respect to the Euclidean operator norm.
In this paper, we consider the class of strongly bi-close-to-convex functions of order $\alpha$ and bi-close-to-convex functions of order $\beta$. We obtain an upper bound estimate for the second Hankel determinant for functions belonging…
We investigate the behavior of four coherent-like conditions in regular conductor squares. In particular, we find necessary and sufficient conditions in order that a pullback ring be a finite conductor ring, a coherent ring, a generalized…
This paper provides a statistical method to test whether a system that performs a binary sequential hypothesis test is optimal in the sense of minimizing the average decision times while taking decisions with given reliabilities. The…
In this paper, we provide some solvability conditions in terms of ranks for the existence of a general solution to a system of $k$ Sylvester-type quaternion matrix equations with $3k+1$ variables…
The main object of study in this paper is the well-known Somos-4 recurrence. We prove a theorem that any sequence generated by this equation also satisfies Gale-Robinson one. The corresponding identity is written in terms of its companion…
In this paper we represent a new form of condition for the consistency of the matrix equation AXB=C. If the matrix equation AXB=C is consistent, we determine a form of general solution which contains both reproductive and non-reproductive…
In this paper, the consimilarity of complex matrices is generalized for the split quaternions. In this regard, coneigenvalue and coneigenvector are defined for split quaternion matrices. Also, the existence of solution to the split…
Shimura's conjectire (1963) concerns the rationality of the generating series for Hecke operators for the symplectic group of genus g. This conjecture wes proved by Andrianov for arbitrary genus g. For genus g=4, we explicify the rational…