相关论文: Computer aided solution of the invariance equation…

In this work, we describe our experience in learning the use of a computer proof assistant - specifically, Lean - from scratch, through proving formulae for the solutions of polynomial equations. Specifically, in this work we characterize…

We show that combining two different hypothetical enhancements to quantum computation---namely, quantum advice and non-collapsing measurements---would let a quantum computer solve any decision problem whatsoever in polynomial time, even…

This paper deals with fairness in stable marriage problems. The idea studied here is to achieve fairness thanks to a Generalized Gini Index (GGI), a well-known criterion in inequality measurement, that includes both the egalitarian and…

In this paper, we draw attention to a promising yet slightly underestimated measure of variability - the Gini coefficient. We describe two new ways of defining and interpreting this parameter. Using our new representations, we compute the…

This paper describes the formal verification of two Turing machines using the program verifier Dafny. Both machines are deciders, so we prove total correctness. They are typical first examples of Turing machines used in any course of…

The main aim of this paper to provide several scales of equivalent conditions for the bilinear Hardy inequalities in the case $1< q, p_1, p_2<\infty$ with $q \geq \max(p_1,p_2)$.

The Toader-Qi mean of positive numbers $a$ and $b$ defined by \begin{equation*} TQ\left( a,b\right) =\frac{2}{\pi }\int_{0}^{\pi /2}a^{\cos ^{2}\theta }b^{\sin ^{2}\theta }d\theta \end{equation*} is related to the modified Bessel function…

Extending the notion of projective means we first generalize an invariance identity related to the Carlson log given in a recent paper of P. Kahlig and J. Matkowski, and then, more generally, given a bivariate symmetric, homogeneous and…

In this paper we introduce a method for resolving multi-parameter likelihoods by fixing all parameter values, but two. Evaluation of those two variables is followed by iteratively cycling through each of the parameters in turn until…

An algorithm is described to convert Lorentz and gauge invariant expressions in non--Abelian gauge theories with matter into a standard form, consisting of a linear combination of basis invariants. This algorithm is needed for computer…

A refinement of the q-trinomial coefficients is introduced, which has a very powerful iterative property. This ``T-invariance'' is applied to derive new Virasoro character identities related to the exceptional simply-laced Lie algebras…

Given a multi-variant polynomial inequality with a parameter, how to find the best possible value of this parameter that satisfies the inequality? For instance, find the greatest number $k$ that satisfies $ a^3+b^3+c^3+…

We will show that for $q<p$ there exists an $\al < \infty$ such that \[ \pi_{pq}(T) \pl \le c_{pq} \pi_{pq}^{[n^{\alpha}]}(T) \mbox{for all $T$ of rank $n$.}\] Such a polynomial number is only possible if $q=2$ or $q<p$. Furthermore, the…

We study polynomial identities satisfied by the mutation product $xpy - yqx$ on the underlying vector space of an associative algebra $A$, where $p, q$ are fixed elements of $A$. We simplify known results for identities in degree $4$,…

We will prove an identity involving refined $q$-trinomial coefficients. We then extend this identity to two infinite families of doubly bounded polynomial identities using transformation properties of the refined $q$-trinomials in an…

We introduce a finite difference and $q$-difference analogues of the Asymptotic Iteration Method of Ciftci, Hall, and Saad. We give necessary, and sufficient condition for the existence of a polynomial solution to a general linear…

The goal of this paper is to provide computational tools able to find a solution of a system of polynomial inequalities. The set of inequalities is reformulated as a system of polynomial equations. Three different methods, two of which…

For $G={\rm GL}(n,q)$, the proportion $P_{n,q}$ of pairs $(\chi,g)$ in ${\rm Irr}(G)\times G$ with $\chi(g)\neq 0$ satisfies $P_{n,q}\to 0$ as $n\to\infty$.

In this paper, we are going to describe the solutions of the functional equation $$ \varphi\Big(\frac{x+y}{2}\Big)(f(x)+f(y))=\varphi(x)f(x)+\varphi(y)f(y) $$ concerning the unknown functions $\varphi$ and $f$ defined on an open interval.…

The main result of the present paper is about the solutions of the functional equation \Eq{*}{ F\Big(\frac{x+y}2\Big)+f_1(x)+f_2(y)=G(g_1(x)+g_2(y)),\qquad x,y\in I, } derived originally, in a natural way, from the invariance problem of…