Related papers: Estimates for the Corona Theorem on $H^{\infty}_{\…

It is known that in the case of hyperelliptic curves the Shafarevich conjecture can be made effective, i.e., for any number field k and any finite set of places S of k, one can effectively compute the set of isomorphism classes of…

In this paper, we prove the number of countable models of a countable supersimple theory is either 1 or infinite. This result is an extension of Lachlan's theorem on a superstable theory.

We study the algebraic invariants namely depth, Stanley depth, regularity and projective dimension of the residue class rings of the edge ideals associated with the corona product of various classes of graphs with any graph. We also give an…

For a simple graph $G$, let $J_G$ denote the corresponding binomial edge ideal. This article considers the binomial edge ideal of the corona product of two connected graphs $G$ and $H$. The corona product of $G$ and $H$, denoted by $G\circ…

Let $F$ be a finitely generated free group and let $H\le F$ be a finitely generated subgroup. Given an element $g\in F$, we study the ideal $\mathfrak{I}_g$ of equations for $g$ with coefficients in $H$, i.e. the elements $w(x)\in H*\langle…

We show an optimal version of the Rellich theorem for generalized many-body Schrodinger operators. It applies to singular potentials, in particular to a model for atoms and molecules with infinite mass and finite extent nuclei. Our proof…

The purpose of this note is to show that the set functions defined in \cite{trong-tuyen} can be suitably extended to all subsets $E$ of the unit disk $\mathbb{D}$. In particular we obtain uniform nearly-optimal estimates for the following…

We update Sunley's explicit estimate for the ideal-counting function, which is the number of integral ideals of bounded norm in a number field.

We show under $\sf{ZF} + \sf{DC} + \sf{AD}_{\mathbb{R}}$ that every set of reals is $I$-regular for any $\sigma$-ideal $I$ on the Baire space $\omega^{\omega}$ such that $\mathbb{P}_I$ is proper. This answers the question of Khomskii. We…

The most useful and interesting line bundles over algebraic curves of a very high genus have the ratio \delta of the degree to the genus close to half-integer values, usually \delta \approx 0, \delta \approx 1/2, or \delta \approx 1; the…

We study an optimal control problem in Bolza form and we consider the value function associated to this problem. We prove two verification theorems which ensure that, if a function $W$ satisfies some suitable weak continuity assumptions and…

For an ergodic probability-measure-preserving action $G \curvearrowright (X, \mu)$ of a countable group $G$, we define the Rokhlin entropy $h_G^{\mathrm{Rok}}(X, \mu)$ to be the infimum of the Shannon entropies of countable generating…

By modifying Cole's example, we construct explicit Riemann surfaces with large bounds on corona solutions in an elementary way.

Knecht considers the enumeration of coronas. This is a counting problem for two specific types of lozenge tilings. Their exact closed formulas are conjectured in [A380346] and [A380416] on the OEIS. We prove this conjecture by using the…

Consider the problem of minimizing a lower semi-continuous semi-algebraic function $f \colon \mathbb{R}^n \to \mathbb{R} \cup \{+\infty\}$ on an unbounded closed semi-algebraic set $S \subset \mathbb{R}^n.$ Employing adequate tools of…

We introduce and prove the consistency of a new set theoretic axiom we call the \emph{Invariant Ideal Axiom}. The axiom enables us to provide (consistently) a full topological classification of countable sequential groups, as well as fully…

Let $(S, \mathfrak n) $ be a regular local ring and let $I \subseteq \mathfrak n^2 $ be a perfect ideal of $S. $ Sharp upper bounds on the minimal number of generators of $I$ are known in terms of the Hilbert function of $R=S/I. $ Starting…

We present the first algorithm for computing class groups and unit groups of arbitrary number fields that provably runs in probabilistic subexponential time, assuming the Extended Riemann Hypothesis (ERH). Previous subexponential algorithms…

In this note, we provide an explicit upper bound for $h_K \mathcal{R}_K d_K^{-1/2}$ which depends on an effective constant in the error term of the Ideal Theorem.

We calculate the real rank and stable rank of CCR algebras which either have only finite dimensional irreducible representations or have finite topological dimension. We show that either rank of A is determined in a good way by the ranks of…