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.


2 comentaris

Griselda Pascual: entre les matemàtiques i la didàctica

Avui inaugurem l’exposició «Griselda Pascual: entre les matemàtiques i la didàctica», que es podrà visitar en el seu vessant físic fins al 15 de desembre al CRAI Biblioteca de Matemàtiques i Informàtica. La versió en línia, que s’inaugurarà el mateix dia, quedarà integrada i disponible a la pàgina Exposicions virtuals del CRAI.

Tota una vida dedicada a la docència

Griselda Pascual (Barcelona, 1926-2001) va ser alumna, professora i directora a l’Institut Maragall de Barcelona i alumna i docent a la Universitat de Barcelona, on va iniciar la seva carrera l’any 1946, quan encara no existia una Facultat de Matemàtiques tal com la coneixem avui. Va ser una de les primeres docents de la Facultat de Ciències, juntament amb Assumpció Català. Amb el doble vessant de mestra i matemàtica, va treballar en el camp de la didàctica de les matemàtiques. Al llarg de la seva carrera professional va participar i impulsar diverses accions per millorar l’ensenyament de la matemàtica i modernitzar-lo. La seva principal línia de recerca és la teoria algèbrica de nombres. Pascual es va jubilar de docent a la Universitat de Barcelona el maig de 1991.

És autora de diverses traduccions; la darrera, la traducció al català de l’obra de Carl Friedrich Gauss Disquisitiones arithmeticae, publicada en llatí l’any 1801.

Dona pionera i avançada al seu temps. Treball, rigor, encoratjament i gentilesa. Mestra de mestres.

Per la seva condició pionera de dona matemàtica, la Griselda Pascual obrà moltes vegades sense models. […] les dones matemàtiques que la succeírem ho vàrem tenir una mica més fàcil perquè en ella trobàrem una professora i una amiga amb qui compartir les nostres angoixes i les nostres alegries.

Pilar Bayer. Semblança de la professora Griselda Pascual Xufré

El fons Griselda Pascual

L’any 2018 vam rebre per donació el fons d’arxiu de la Dra. Griselda Pascual. Consisteix en un llegat homogeni que inclou principalment material i apunts sobre docència a l’institut d’ensenyament de secundària IES Maragall i a la Universitat de Barcelona; sobre la reforma de la didàctica de les matemàtiques a Catalunya i a l’Estat espanyol durant la segona meitat del s. XX; i versions i esborranys de la seva tesi doctoral. El fons consta de 229 unitats documentals distribuïdes en 16 unitats d’instal·lació dipositades al CRAI Biblioteca de Matemàtiques i Informàtica per a la seva consulta.

L’exposició

L’exposició física, repartida entre la vitrina del vestíbul i les taules del passadís, conté una mostra significativa tant del fons personal com de les publicacions i traduccions de Pascual. S’hi apleguen documents diversos provinents de les diferents etapes de la seva vida, des de l’època en què estudiava i fins als darrers projectes. Hi trobareu correspondència, informes, esborranys, apunts manuscrits, dibuixos… Tot aquest fons està inventariat i és consultable a través d’UBDOC.

Quant a l’exposició virtual, eminentment visual, repassa extensament la biografia de Griselda Pascual, des de la infantesa fins a la jubilació i el traspàs, fent èmfasi en la seva etapa a l’Institut Maragall i a la Universitat de Barcelona. La Dra. Pilar Bayer, alumna, col·lega i amiga de Pascual, obre la mostra amb un text personal que situa l’homenatjada: «Semblança de la professora Griselda Pascual Xufré». Per la seva banda, Javier Gimeno Pascual, nebot de Griselda, ofereix una visió familiar a «Griselda: família i vocació».

La mostra inclou una extensa galeria fotogràfica, organitzada en diferents etapes o blocs temàtics, amb instantànies facilitades per la família Gimeno Pascual. Aprofitem des d’aquí per reiterar la nostra gratitud, especialment a Javier Gimeno, per la seva predisposició a l’hora de cedir-nos tot aquest material gràfic.

Més informació


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

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.


Deixa un comentari

SIMBa: p-adic modular forms: why do we care?

SIBMa

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

Speaker: Guillem García Tarrach
Universitat: University of Cambridge

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

Títol: p-adic modular forms: why do we care?
Resum: Since their introduction in the seventies, p-adic modular forms have become an important topic in algebraic number theory and have seen many applications to problems in this area. In this talk I will be explaining some of the motivation for p-adic modular forms and talk about some of the important results in the theory.

 

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.