Related papers: On Abel's problem and Gauss congruences
Let $\mathfrak g$ be a simple Lie algebra with a Borel subalgebra $\mathfrak b$. Let $\Delta^+$ be the corresponding (po)set of positive roots and $\theta$ the highest root. A pair $\{\eta,\eta'\}\subset \Delta^+$ is said to be glorious, if…
Bayesian inference for graphical models has received much attention in the literature in recent years. It is well known that when the graph G is decomposable, Bayesian inference is significantly more tractable than in the general…
We show how the techniques of Voevodsky's proof of the Milnor conjecture and the Voevodsky- Rost proof of its generalization the Bloch-Kato conjecture can be used to study counterexamples to the classical L\"uroth problem. By generalizing a…
We give a short proof of the Cauchy-Binet determinantal formula using multilinear algebra by first generalizing it to an identity {\em not} involving determinants. By extending the formula to abstract Hilbert spaces we obtain, as a…
In this paper we study the satisfiability and solutions of group equations when combinatorial, algebraic and language-theoretic constraints are imposed on the solutions. We show that the solutions to equations with length, lexicographic…
A well-known conjecture of Orlov asks whether the existence of a full exceptional collection implies rationality of the underlying variety. We prove this conjecture for arithmetic toric varieties over general fields. We also investigate a…
We construct differential geometry (connection, curvature, etc.) based on generalized derivations of an algebra ${\cal A}$. Such a derivation, introduced by Bresar in 1991, is given by a linear mapping $u: {\cal A} \rightarrow {\cal A}$…
We study a class of elliptic operators $A$ with unbounded coefficients defined in $I\times\CR^d$ for some unbounded interval $I\subset\CR$. We prove that, for any $s\in I$, the Cauchy problem $u(s,\cdot)=f\in C_b(\CR^d)$ for the parabolic…
This paper is purely expositional. The statement of the Abel-Ruffini theorem on unsolvability of equations using radicals is simple and well-known. We sketch an elementary proof of this theorem. We do not use the terms 'field extension',…
The aim of this paper is to treat the constant coefficients functional-differential equation $y'(x)=ay(qx)+by(x)$ with the help of the analytic theory of linear $q$-difference equations. When $ab\not=0$, the associated Cauchy problem with…
We formulate a conjecture classifying algebraic solutions to (possibly non-linear) algebraic differential equations, in terms of the primes appearing in the denominators of the coefficients of their Taylor expansion at a non-singular point.…
One of the many remarkable properties of the Ap\'ery numbers $A (n)$, introduced in Ap\'ery's proof of the irrationality of $\zeta (3)$, is that they satisfy the two-term supercongruences \begin{equation*} A (p^r m) \equiv A (p^{r - 1} m)…
Assumption-based argumentation (ABA) is a central structured argumentation formalism. As shown recently, answer set programming (ASP) enables efficiently solving NP-hard reasoning tasks of ABA in practice, in particular in the commonly…
We propose interconnections between some problems of PDE, geometry, algebra, calculus and physics. Uniqueness of a solution of the Dirichlet problem and of some other boundary value problems for the string equation inside an arbitrary…
I discuss particular solutions of the integrable systems, starting from well-known dispersionless KdV and Toda hierarchies, which define in most straightforward way the generating functions for the Gromov-Witten classes in terms of the…
Linear differential equations with polynomial coefficients over a field $K$ of positive characteristic $p$ with local exponents in the prime field have a basis of solutions in the differential extension $\mathcal{R}_p=K(z_1, z_2,…
We present a new algorithm for computing integral bases in algebraic function fields of one variable, or equivalently for constructing the normalization of a plane curve. Our basic strategy makes use of the concepts of localization and…
We argue that for the proof of Bell's theorem no assumptions about realism or free will are necessary. The key formula \[E(AB|a,b) = \int A(a,b,\lambda)B(a,b,\lambda)\rho(\lambda) d\lambda\] follows from the logic of plausible reasoning…
This article proposes a unified analytical approach leading to a partial resolution of the Erdos-Straus, Sierpinski conjectures, and their generalization. We introduce an equivalent reformulation of these conjectures while constructing two…
We describe a practical algorithm for computing Brauer-Manin obstructions to the existence of rational points on hyperelliptic curves defined over number fields. This offers advantages over descent based methods in that its correctness does…