Funzioni zeta e fattorizzazione unica in anelli quadratici di curve su campi finiti

In questa tesi si esaminano alcune questioni riguardanti le curve definite su campi finiti. Nella prima parte si affronta il problema della determinazione del numero di punti per curve regolari. Nella seconda parte si studia il numero di classi di ideali dell’anello delle coordinate di curve piane definite da polinomi assolutamente irriducibili, per ottenere, nel caso delle curve ellittiche, risultati analoghi alla classica formula di Dirichlet per il numero di classi dei campi quadratici e delle congetture di Gauss.

Zeta and L-functions of elliptic curves

In questa tesi si studiano alcune proprietà fondamentali delle funzioni Zeta e L associate ad una curva ellittica. In particolare, si dimostra la razionalità della funzione Zeta e l'ipotesi di Riemann per due famiglie specifiche di curve ellittiche. Si studia poi il problema dell'esistenza di un prolungamento analitico al piano complesso della funzione L di una curva ellittica con moltiplicazione complessa, attraverso l'analisi diretta di due casi particolari.

Regularization methods for the solution of a nonlinear least-squares problem in tomography

In this work we study a polyenergetic and multimaterial model for the breast image reconstruction in Digital Tomosynthesis, taking into consideration the variety of the materials forming the object and the polyenergetic nature of the X-rays beam. The modelling of the problem leads to the resolution of a high-dimensional nonlinear least-squares problem that, due to its nature of inverse ill-posed problem, needs some kind of regularization. We test two main classes of methods: the Levenberg-Marquardt method (together with the Conjugate Gradient method for the computation of the descent direction) and two limited-memory BFGS-like methods (L-BFGS). We perform some experiments for different values of the regularization parameter (constant or varying at each iteration), tolerances and stop conditions. Finally, we analyse the performance of the several methods comparing relative errors, iterations number, times and the qualities of the reconstructed images.

Analisi e progetto di un convertitore ZETA per la correzione del fattore di potenza

Questa tesi ha studiato a fondo le modalità di funzionamento del convertitore ZETA. Si è visto che la presenza dei due magnetici determina una condizione di funzionamento non convenzionale (lo stesso accade nel SEPIC) poco studiata in letteratura. Questa condizione, corrispondente al modo discontinuo nei più elementari convertitori, in cui la corrente si annulla sia nel transistor che nel diodo, dà invece luogo ad un ricircolo di corrente pressochè costante in una maglia che comprende entrambe le induttanze. Questa corrente testimonia un intrappolamento di energia magnetica con relativa perdita per dissipazione che presumibilmente degrada l’efficienza del convertitore. Questo è potuto avvenire perchè non vi è nulla che impedisca il flusso di una corrente negativa sui singoli induttori quando la somma algebrica dei due risulti comunque positiva o nulla (diodo in conduzione). Questo problema si può riscontrare sia nel funzionamento in continua (sempre almeno uno fra transistor e diodo in conduzione) che in discontinua (con un intervallo di tempo in cui non conducono nessuno dei due). Per ovviare a questo problema le soluzioni proposte in questa tesi sono quelle di aggiungere un ulteriore diodo rettificatore in serie agli avvolgimenti e/o di gestire il rapporto di induttanze dei due avvolgimenti in modo che nella condizione nominale di funzionamento raggiungano contemporaneamente la condizione di inversione della corrente. Queste possibilità sono state esplorate con successo nell’utilizzo del convertitore ZETA per applicazioni di correzione del fattore di potenza PFC in cui si è proposto un insieme di equazioni di dimensionamento che portano al progetto del convertitore al fine di ottenere le forme d’onda desiderate.

Esempi di calcolo della funzione zeta di Hasse-Weil

Si danno la definizione formale e alcune proprietà elementari della funzione zeta di Hasse-Weil. Si forniscono poi alcuni esempi di calcolo della stessa, in particolare si esaurisce il caso delle coniche affini.

Eulero, Mascheroni e Riemann costanti ed ipotesi

In questa tesi si descrivono la funzione zeta di Riemann, la costante di Eulero-Mascheroni e la funzione gamma di Eulero. Si riportano i legami tra questi e si illustra brevemente l'ipotesi di Riemann degli zeri non banali della funzione zeta, ovvero l'ipotesi della distribuzione dei numeri primi nella retta dei numeri reali.

Il teorema dei numeri primi

In questa tesi si vede una dimostrazione elementare del teorema dei numeri primi. Dopo aver definito le funzioni aritmetiche di Tchebychev theta e psi, si utilizzano le loro proprietà per studiare il comportamento asintotico della funzione di Mertens e infine di pi(x). Inoltre si mostrano alcuni legami tra la zeta di Riemann e la teoria dei numeri e cenni ad altre dimostrazioni del teorema dei numeri primi.

Compressed sensing in digital tomosynthesis reconstruction

In this work we study a model for the breast image reconstruction in Digital Tomosynthesis, that is a non-invasive and non-destructive method for the three-dimensional visualization of the inner structures of an object, in which the data acquisition includes measuring a limited number of low-dose two-dimensional projections of an object by moving a detector and an X-ray tube around the object within a limited angular range. The problem of reconstructing 3D images from the projections provided in the Digital Tomosynthesis is an ill-posed inverse problem, that leads to a minimization problem with an object function that contains a data fitting term and a regularization term. The contribution of this thesis is to use the techniques of the compressed sensing, in particular replacing the standard least squares problem of data fitting with the problem of minimizing the 1-norm of the residuals, and using as regularization term the Total Variation (TV). We tested two different algorithms: a new alternating minimization algorithm (ADM), and a version of the more standard scaled projected gradient algorithm (SGP) that involves the 1-norm. We perform some experiments and analyse the performance of the two methods comparing relative errors, iterations number, times and the qualities of the reconstructed images. In conclusion we noticed that the use of the 1-norm and the Total Variation are valid tools in the formulation of the minimization problem for the image reconstruction resulting from Digital Tomosynthesis and the new algorithm ADM has reached a relative error comparable to a version of the classic algorithm SGP and proved best in speed and in the early appearance of the structures representing the masses.