Source author record

Bogdan V. Petrenko

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT math.RA math-ph math.AG math.MG math.MP

Catalog footprint

Research overview

4works

6topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2014arXiv

Generators of maximal orders

Let R be the ring of algebraic integers in a number field K and let L be a maximal order in a semisimple K-algebra B. Building on our previous work, we compute the smallest number of algebra generators of L considered as an R-algebra. This reproves and vastly extends the results of P.A.B. Pleasants, who considered the case when B is a number field. In order to achieve our goal, we obtain several results about counting generators of algebras which have finitely many elements. These results should be of independent interest.

preprint2012arXiv

Representations of analytic functions as infinite products and their application to numerical computations

Let $D$ be an open disk of radius $\le 1$ in $\mathbb C$ , and let $(ε_n)$ be a sequence of $\pm 1$ . We prove that for every analytic function $f: D \to \mathbb C$ without zeros in $D$ , there exists a unique sequence $(α_n)$ of complex numbers such that $f(z) = f(0)\prod_{n=1}^{\infty} (1+ε_nz^n)^{α_n}$ for every $z \in D$ . From this representation we obtain a numerical method for calculating products of the form $\prod_{p \text{prime}} f(1/p)$ provided $f(0)=1$ and $f'(0) = 0$ ; our method generalizes a well known method of Pieter Moree. We illustrate this method on a constant of Ramanujan $π^{-1/2}\prod_{p \text{prime}} \sqrt{p^2-p}\ln(p/(p-1))$ . From the properties of the exponents $α_n$ , we obtain a proof of the following congruences, which have been the subject of several recent publications motivated by some questions of Arnold: for every $n \times n$ integral matrix $A$ , every prime number $p$ , and every positive integer $k$ we have $\text{tr} A^{p^k} \equiv \text{tr} A^{p^{k-1}} (\text{mod}\,{p^k})$ .

preprint2011arXiv

On the conjectures of Atiyah and Sutcliffe

Motivated by certain questions in physics, Atiyah defined a determinant function which to any set of $n$ distinct points $x_1,..., x_n$ in $\mathbb R^3$ assigns a complex number $D(x_1,..., x_n)$ . In a joint work, he and Sutcliffe stated three intriguing conjectures about this determinant. They provided compelling numerical evidence for the conjectures and an interesting physical interpretation of the determinant. The first conjecture asserts that the determinant never vanishes, the second states that its absolute value is at least one, and the third says that $|D(x_1,..., x_n)|^{n-2}\geq \prod_{i=1}^n |D(x_1,..., x_{i-1},x_{i+1},..., x_n)|$ . Despite their simple formulation, these conjectures appear to be notoriously difficult. Let $D_n$ denote the Atiyah determinant evaluated at the vertices of a regular $n-$ gon. We prove that $\lim_{n\to \infty} \frac{\ln D_n}{n^2}= \frac{7ζ(3)}{2π^2}-\frac{\ln 2}{2}=0.07970479...$ and establish the second conjecture in this case. Furthermore, we prove the second conjecture for vertices of a convex quadrilateral and the third conjecture for vertices of an inscribed quadrilateral.

preprint2010arXiv

On the smallest number of generators and the probability of generating an algebra

In this paper we study algebraic and asymptotic properties of generating sets of algebras over orders in number fields. Let $A$ be an associative algebra over an order $R$ in an algebraic number field. We assume that $A$ is a free $R$ -module of finite rank. We develop a technique to compute the smallest number of generators of $A$ . For example, we prove that the ring $M_3(\mathbb{Z})^{k}$ admits two generators if and only if $k\leq 768$ . For a given positive integer $m$ , we define the density of the set of all ordered $m$ -tuples of elements of $A$ which generate it as an $R$ -algebra. We express this density as a certain infinite product over the maximal ideals of $R$ , and we interpret the resulting formula probabilistically. For example, we show that the probability that 2 random $3\times 3$ matrices generate the ring $M_3(\mathbb{Z})$ is equal to $(ζ(2)^2 ζ(3))^{-1}$ , where $ζ$ is the Riemann zeta-function.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.