Blog de la Biblioteca de Matemàtiques i Informàtica


Deixa un comentari

SIMBa: On Zero-Knowledge Proofs

simba1

El proper dimecres, 15 de desembre, se celebrarà una nova xerrada —en format virtual— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: Marta Bellés Muñoz
Universitat: Universitat Pompeu Fabra

Data: Wednesday, December 15th, 2021.
Hora: 12:00, coffee break; 12:20, talk.
Lloc: Zoom (the link will be posted on our website)
Idioma: English.

Títol: On Zero-Knowledge Proofs
Resum: Informally speaking, zero-knowledge protocols are cryptographic tools that allow you to prove that you know a secret without revealing it. More precisely, a zero-knowledge proof allows one party to convince another that a statement is true without revealing anything other than the veracity of the statement. This type of proofs were introduced in 1989 as theoretical cryptographic objects, but the appealing properties of the protocols have made them become crucial tools in many real-world applications with strong privacy issues. In this presentation I will explain the main ideas behind zero-knowledge, I will talk about the type of statements that we know can be proved with zero knowledge, and present some of the most outstanding applications of this technology.

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.


Deixa un comentari

SIMBa: Invariant manifolds and transport in an Earth-Moon system perturbed by Sun’s gravity field

simba1

El proper dimecres, 1 de desembre, se celebrarà una nova xerrada —en format virtual— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: Begoña Nicolás
Universitat: Universitat de Barcelona

Data: Wednesday, December 1st, 2021.
Hora: 12:00, coffee break; 12:20, talk.
Lloc: Zoom (the link will be posted on our website)
Idioma: English.

Títol: Invariant manifolds and transport in an Earth-Moon system perturbed
by Sun’s gravity field
Resum: The mathematical model we use to study the Sun-Earth-Moon system is the Bicircular Problem (BCP), that can be thought as a time-periodic perturbation of the autonomous system described by the Restricted Three-Body Problem (RTBP). Our main concern on the BCP is regarded to a family of two-dimensional quasi-periodic solutions that have stable and unstable invariant manifolds associated. These manifolds give the skeleton for different dynamical transport phenomena that take place in our system.

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.


Deixa un comentari

SIMBa: Computation, Complexity, P-NP (and the fistful of sand that learned how to think)

SIBMa

El proper dimecres, 17 de novembre, se celebrarà una nova xerrada —en format virtual i, alerta, presencial!— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: Javier Villar
Universitat: Universidad de La Rioja

Data: Wednesday, November 17th, 2021.
Hora: 12:00, coffee break; 12:20, talk.
Lloc: Zoom (the link will be posted on our website)
Idioma: English.

Títol: Computation, Complexity, P-NP (and the fistful of sand that learned
how to think)
Resum: Worst-time complexity, Blum’s complexity measures, and the complexity classes derived from them, are some of the most basic tools of modern Computer Science. The theory developed from the problem of classifying computational problems is a rich and popular piece of Math, with many applications to fields like Cryptography or Statistical Physics.
In this presentation we try to give a minimum-prerequisite insight into the current understanding of computability, machine-independent complexity, the P-NP problem and the reasons behind why we haven’t been able to solve it (yet).

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.


Deixa un comentari

SIMBa: Topological models of ∞-groupoids

SIBMa

El proper dimecres, 3 de novembre, se celebrarà una nova xerrada —en format virtual i, alerta, presencial!— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: David Martínez Carpena
Universitat: Universitat de Barcelona

Data: Wednesday, November 3rd, 2021.
Hora: 12:00, coffee break; 12:20, talk.
Lloc: Zoom | Presencial: Aula B2
Idioma: English.

Títol: Topological models of ∞-groupoids
Resum: In higher category theory, ∞-groupoids are ∞-categories whose morphisms are weakly invertible at all orders. Every topological space has an associated ∞-groupoid, named its fundamental ∞-groupoid, which encodes the information of higher paths over the space. The statement that every space can be recovered up to homotopy from its fundamental ∞-groupoid is known as Grothendieck’s homotopy hypothesis. In this presentation, we choose a model of ∞-categories based on topologically enriched categories, and discuss the homotopy hypothesis in this context.

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.


Deixa un comentari

SIMBa: Supercritical diffusion: memes, stonks and more

SIBMa

El proper dimecres, 20 d’octubre, se celebrarà una nova xerrada —en format virtual— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: Damià Torres Latorre
Universitat: Universitat de Barcelona

Data: Wednesday, October 20th, 2021.
Hora: 12:00,virtual coffee break; 12:20, talk.
Lloc: Zoom (the link will be posted on our website).
Idioma: English.

Títol: Supercritical diffusion: memes, stonks and more
Resum: In this talk, I will explain the foundations of the theory of elliptic nonlocal PDE, focusing on the fractional Laplacian, (-\Delta)^{s} a model example, and then some recent results on the supercritical fractional obstacle problem.

The first part will start with the relation of fractional operators to jump-diffusion (Lévy) processes and some physical applications. Then, I will give an overview of the basic properties of solutions and compare them to harmonic functions, and also comment on the Caffarelli-Silvestre extension.

In the second part, I will give an idea of how stock prices can be modelled with a nonlocal parabolic obstacle problem, compare the scaling properties of the problem depending on the value of sand present the main points of a recent work with X. Ros-Oton where we study the regularity of the solutions in the supercritical case.

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.


Deixa un comentari

SIMBa: On the possible ranks of universal quadratic forms over totally realnumber fields

SIBMa

El proper dimecres, 6 d’octubre, se celebrarà una nova xerrada —en format virtual— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: Daniel Gil Muñoz
Universitat: Charles University in Prague

Data: Wednesday, October 6th, 2021.
Hora: 12:00,virtual coffee break; 12:20, talk.
Lloc: Zoom (the link will be posted on our website).
Idioma: English.

Títol: On the possible ranks of universal quadratic forms over totally realnumber fields
Resum: A quadratic form Q\left(X_{1}, \ldots, X_{n}\right) over the integer numbers is said to be universal if it represents all positive integers, that is, for every a \in \mathbb{Z}_{>0} there is a vector \left(\alpha_{1}, \ldots, \alpha_{n}\right) \in \mathbb{Z}^{n} such that Q\left(\alpha_{1}, \ldots, \alpha_{n}\right)=a. The topic of universal quadratic forms is quite classical in arithmetic; for instance, Langrange’s 1770 four square theorem asserts that the sum of four squares is a universal quadratic form over \mathbb{Z}. In this talk we consider the suitable generalization of universality for quadratic forms over the number ring \mathcal{O}_{K} of a totally real number field K and view some recent results on the possible ranks (number of variables X_{i} ) of universal quadratic forms over different families of totally real number fields.

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.


Deixa un comentari

Eines de descoberta d’accés obert — Blog CRAI Universitat de Barcelona

Orígen: Recercant en obert. Eines de descoberta d’accés obert  Actualment hi ha milers de revistes que publiquen els continguts en accés obert, però encara predomina el model de publicació de subscripció que en limita l’accés gratuït. Des de fa gairebé 20 anys, un dels objectius de l’accés obert ha estat oferir una alternativa legal per poder accedir als resultats de la recerca que es troben darrera una barrera econòmica. L’alternativa més […]

Eines de descoberta d’accés obert — Blog CRAI Universitat de Barcelona


Deixa un comentari

Nous acords transformatius — Blog CRAI Universitat de Barcelona

Reblogat de Notícies UB del 26/07/2021 Nous acords transformatius per impulsar la publicació en accés obert Recerca Els acords transformatius són contractes entre els consorcis de biblioteques i les editorials per transformar sense cost els pagaments de les subscripcions actuals en publicacions en accés obert, tot mantenint l’accés de lectura. En els darrers mesos, aquests […]

Nous acords transformatius — Blog CRAI Universitat de Barcelona


Deixa un comentari

Història de la matemàtica: Grècia IIIa (el segle d’or: Aristeu, Eudem, Euclides i Aristarc)

Història de la matemàtica Grècia IIIa (el segle d'or Aristeu, Eudem, Euclides i Aristarc)[...]Ens acaba d’arribar el nou volum de l’obra en la qual Josep Pla i Carrera està treballant els darrers anys: Història de la matemàtica: Resultats, textos i contextos. El cinquè lliurament s’ocupa dels «segle d’or» de la matemàtica grega, fent èmfasi en Eudem, Aristeu, Euclides i Aristarc.

Aquest volum està dedicat a Josep Vaquer, traspassat el març de 2020, tal com ja vam informar al seu moment.

Una obra ingent destinada a omplir un buit

La Història de la matemàtica que proposa el Dr. Pla omple un buit pel que fa a la traducció de textos científics grecs en català. Selecciona i recull acuradament aquelles obres més significatives que han esdevingut clàssics del coneixement matemàtic i les contextualitza respecte al moment històric en què es van confegir i respecte al moment científic que les va veure néixer.

«Els qui em coneixen saben que, des de sempre, he estat un aferrissat defensor de la nostra llengua: el català. La raó és simple. Si no l’usem, de manera natural i tan àmplia com sigui possible a casa —als Països Catalans—, ningú no ho farà per nosaltres i, cada cop més, la llengua s’empobrirà de manera indiscutible i, a poc a poc, irreversible.

És per aquesta raó que m’ha semblat raonable —com a herència de la meva vida docent i de recerca— deixar una Història de la matemàtica en català, tan detallada com sigui capaç de fer-ho, en la qual es posin en relleu els resultats més notables que s’han assolit i els contextos en els quals això ha esdevingut, complementada amb textos font, traduïts al català, seguint la tradició anglosaxona dels source books.

És una tasca ambiciosa que m’ocuparà un grapat d’anys, però a la qual no vull renunciar i no ho vull fer perquè estic convençut del valor cultural —ja esmentat— que comporta una història de la matemàtica ben confegida. Però també pel valor que té com a eina i criteri docent. Ras i curt: tot docent d’una disciplina, científica o no —i, en particular, tot el qui ensenya matemàtica—, n’ha de conèixer el valor didàctic des de la història.»

Josep Pla durant la presentació de l'obra el 28/03/2017
Josep Pla durant la presentació dels dos primers volums, el 28 de març de 2017

Un projecte sota el paraigua de l’IEC

Aquesta obra magna és el resultat del projecte que va proposar l’autor en la sol·licitud per al nomenament de professor emèrit a la UB, avalat per l’aleshores Departament de Probabilitat, Lògica i Estadística, i que es va iniciar l’1 de gener de 2013. Emmarcada en la Secció de Ciència i Tecnologia de l’Institut d’Estudis Catalans (IEC) i sota la direcció de la Dra. Pilar Bayer, tenia per objectiu la redacció d’una història de la matemàtica grega en quatre volums —més un de preliminar— en català, tot i que hores d’ara, ja podem afirmar que serà més extensa. Cada volum consta de dues parts diferenciades: un corpus històric i la traducció de textos clàssics del període estudiat.

Dels cinc volums publicats fins al moment, el primer —Història de la matemàtica. Egipte i Mesopotàmia : resultats, textos i contextos— és un compendi previ que abasta les primeres civilitzacions del creixent fèrtil: Mesopotàmia i Egipte. El segon volum, Història de la matemàtica. Grècia I (de Tales i Pitàgores a Plató i Aristòtil) : resultats, textos i contextos, parteix de l’època de Tales i Pitàgores (segle VI aC) fins arribar a Plató i Aristòtil (segle IV aC). El tercer volum —Història de la matemàtica. Grècia IIa (els Elements d’Euclides, llibres I, II, III, IV, V i VI) : resultats, textos i contextos— i el quart —Història de la matemàtica. Grècia IIb (els Elements d’Euclides, llibres VII, VIII, IX, X, XI, XII i XIII) : resultats, textos i contextos— estan dedicats íntegrament als Elements d’Euclides, dels quals s’ofereix una edició anotada i comentada. Finalment, el que avui ens ocupa, abasta el segle III aC, el segle d’or de la matemàtica grega, «el moment en el qual s’assoleix la síntesi —han fet el cim— de les aportacions epistemològiques i metodològiques dels tres segles precedents.»

Una obra guardonada amb el premi Crítica Serra d’or

Els dos primers volums de l’obra van rebre el Premi Crítica Serra d’or en la categoria de recerca l’any 2017, un reconeixement sense dotació econòmica que ha assolit un gran prestigi i renom en l’àmbit cultural català. Instituït el 1967, es concedeix en les categories de literatura i assaig, recerca, teatre, i literatura infantil i juvenil.

Apunts relacionats


Deixa un comentari

SIMBa: An introduction to theorem provers

SIBMa

El proper dimecres, 2 de juny, se celebrarà una nova xerrada —en format virtual— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: Eloi Torrents
Universitat: Universitat Autònoma de Barcelona

Data: Wednesday, June 2nd, 2021.
Hora: 12:00,virtual coffee break; 12:20, talk.
Lloc: Zoom (the link will be posted on our website).
Idioma: English.

Títol: An introduction to theorem provers
Resum: In this talk, we will introduce proof assistants, pieces of softwarethat formally verify mathematical proofs.Lean has a very extensivedatabase with mathematical results at the undergraduate level for-mally verified, and it is even used to verify new research. This hasseveral applications, including teaching, automatically verifying publi-cations, and even automated theorem proving. At the end of this talk,we will carry out a demo of Lean to show the basics and how you canget started.

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.