Related papers: Short proofs of the elliptic beta integrals

Consider a Hamiltonian system of type \[ -\Delta u=H_{v}(u,v),\ -\Delta v=H_{u}(u,v) \ \ \text{ in } \Omega, \qquad u,v=0 \text{ on } \partial \Omega \] where $H$ is a power-type nonlinearity, for instance $H(u,v)= |u|^p/p+|v|^q/q$, having…

In light of the well-known fact that the $n$th divided difference of any polynomial of degree $m$ must be zero while $m<n$,the present paper proves the $(\alpha,\beta)$-inversion formula conjectured by Hsu and Ma [J. Math. Res. $\&$…

The survey is devoted to associative $\Z_{\ge0}$-graded algebras presented by n generators and n(n-1)/2 quadratic relations and satisfying the so-called Poincare-Birkhoff-Witt condition (PBW-algebras). We consider examples of such algebras…

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.

Consider a superelliptic integral $I=\int P/(Q S^{1/k}) dx$ with $\mathbb{K}=\mathbb{Q}(\xi)$, $\xi$ a primitive $k$th root of unity, $P,Q,S\in\mathbb{K}[x]$ and $S$ has simple roots and degree coprime with $k$. Note $d$ the maximum of the…

We give an elementary proof of the group law for elliptic curves using explicit formulas.

Fix any two numbers $p$ and $q$, with $1<p<q$; we give an example of an integral functional enjoying uniform ellipticity and $p$-$q$ growth.

Let $(g^{\alpha\beta}(x))$ and $(h_{ij}(u))$ be uniformly elliptic symmetric matrices, and assume that $h_{ij}(u)$ and $p(x) \, (\, \geq 2)$ are sufficiently smooth. We prove partial regularity of minimizers for the functional [ {\mathcal…

We generalize the construction of elliptic stable envelopes to actions of connected reductive groups and give a direct inductive proof of their existence and uniqueness in a rather general situation. We show these have powerful enumerative…

We prove weighted $L_{p,q}$-estimates for divergence type higher order elliptic and parabolic systems with irregular coefficients on Reifenberg flat domains. In particular, in the parabolic case the coefficients do not have any regularity…

Let $\mathbb{Q}(\alpha)$ and $\mathbb{Q}(\beta)$ be algebraic number fields. We describe a new method to find (if they exist) all isomorphisms, $\mathbb{Q}(\beta) \rightarrow \mathbb{Q}(\alpha)$. The algorithm is particularly efficient if…

In this paper, we consider the elliptic system \begin{equation*} \left\{\begin{array}{ll} -\Delta u=g(x,v)\,\, \textnormal{in}\Omega, & \hbox{} -\Delta v=f(x,u)\,\,\textnormal{in}\Omega, & \hbox{} u=v=0\textnormal{on}\partial\Omega, &…

Liouville theorems for scaling invariant nonlinear elliptic systems (saying that the system does not possess nontrivial entire solutions) guarantee a priori estimates of solutions of related, more general systems. Assume that $p=2q+3>1$ is…

In this short note, the simplicity of the first eigenvalue of a nonlinear system is shown by an alternative proof; thereby, it states that the first eigenfunctions are unique up to modulo scaling.

We establish $\mathrm{W}^{1,1}$-regularity and higher gradient integrability for relaxed minimizers of convex integral functionals on $\mathrm{BV}$. Unlike classical examples such as the minimal surface integrand, we only require linear…

In this paper, we study the structure of set-multilinear arithmetic circuits and set-multilinear branching programs with the aim of showing lower bound results. We define some natural restrictions of these models for which we are able to…

We prove that, if $B_1, \dots, B_n$ are disjoint bases of a rank-$n$ matroid, then there are at least $\lfloor{\frac{n}{6 \lceil{\log n}\rceil}}\rfloor$ disjoint transversals of $(B_1, \dots, B_n)$ that are also bases.

We consider infinitely convolved Bernoulli measures (or simply Bernoulli convolutions) related to the $\beta$-numeration. A matrix decomposition of these measures is obtained in the case when $\beta$ is a PV number. We also determine their…

Let $\beta$ be any permutation on $n$ symbols and let $c(k, \beta)$ be the number of permutations that $k$-commute with $\beta$. The cycle type of a permutation $\beta$ is a vector $(c_1, \dots, c_n)$ such that $\beta$ has exactly $c_i$…

We formulate a problem called \emph{Generalized Root Extraction} in finite Abelian groups that have more than one generator. We then study this problem for the specific case of the torsion subgroups of elliptic curves. We give a necessary…