seleccionar pàgina

introducció

Les matemàtiques discretes són una àrea àmplia (i molt activa) de les matemàtiques que s'ha convertit en un tema central en la investigació moderna a causa de la seva profunda interacció amb la informàtica teòrica. La investigació del grup de combinatòria explota múltiples connexions d'aquesta àrea amb moltes disciplines de recerca com ara la teoria de la probabilitat, la teoria dels nombres i la teoria de grups, entre moltes altres. La seva interacció amb la lògica i l'algoritme també juga una forta línia d'investigació per al nostre equip.

Més concretament, pretenem estudiar diversos problemes oberts dins del marc de la combinatòria, dins de la interacció entre àrees i en la interacció entre diferents disciplines. En la primera direcció, ens interessa l'estudi d'estructures aleatòries discretes, com a gràfics aleatoris i conjunts aleatoris, mitjançant l'ús del mètode probabilístic d'Erdös. L'ús d'aquestes tècniques de probabilitat ens permet estudiar el comportament típic de grans objectes aleatoris, així com les seves propietats limitants. Les aplicacions en problemes del món real (com la comprensió de grans xarxes) també és un punt important abordat en aquesta direcció.

Pel que fa a la interacció dins de l'equip de recerca, estem molt interessats en el paper de la pseudoaleatorietat en la computació. El compromís entre duresa i aleatorietat de Nisan i Wigderson va transformar el paper de l'aleatorietat en el disseny dels algorismes. En aquest context, investiguem si la duresa per a un model de càlcul simètric podria ser suficient per desaleatorizar construccions o algorismes aleatoris específics. Un exemple celebrat on l'anàlisi de l'aleatorietat en un algorisme específic va conduir a l'avenç de l'algorisme AKS, establint que PRIMES es troba a P. Una altra línia important d'investigació tracta de l'estudi de classes restringides de gràfics aleatoris i lleis de límit lògics: per utilitzant una combinació d'eines combinatòries, analítiques, probabilístiques i lògiques, podem estudiar l'enumeració de gràfics plans enriquits amb una estructura global, i determinar el conjunt de probabilitats limitants de propietats de gràfics en lògica de primer ordre per a gràfics aleatoris amb un grau determinat. seqüència; i analitzar l'amplada dels llindars de propietats de gràfics aleatoris definides en llenguatges lògics adequats.

Finalment, ens interessa molt l'estudi dels problemes teòrics dels nombres (que sorgeixen en grups abelians i en grups no abelians) des d'una perspectiva combinatòria. Aquest és el contingut de la combinatòria aritmètica: en els últims anys s'ha produït un creixement espectacular de l'àrea per les seves connexions amb la teoria ergòdica, l'anàlisi funcional i la combinatòria extrema. Pretenem avançar en aquesta àrea combinant una gran varietat de tècniques combinatòries modernes (mètodes de regularitat, contenidors hipergràfics i lemes d'eliminació aritmètica) per entendre millor les densitats màximes dels conjunts evitant certs patrons en grups (finits o infinits); i propietats de quasialeatorietat dels gràfics de Cayley associats, inclòs el comportament estacionari de caminades aleatòries sobre aquestes estructures.

línies de recerca

Lògica i algorítmica

Des dels seus inicis, la lògica matemàtica ha contribuït i ha estat motivada
per l'estudi dels fonaments de les matemàtiques. Obra contemporània a les fundacions
de les matemàtiques sovint se centra a establir quines parts de les matemàtiques poden ser
formalitzat en sistemes formals particulars. L'algorítmica funciona en la descripció del
conjunt de passos que es poden fer servir per resoldre un càlcul específic i cada cop més
important en tots els camps matemàtics

Combinatòria

La combinatòria és una àrea de les matemàtiques que s'ocupa de l'estudi del discret
objectes, per exemple, sistemes de conjunts, gràfics, hipergrafs, nombres enters, etc.
relacionat amb moltes altres àrees de les matemàtiques i té moltes aplicacions incloses
lògica, física estadística i teoria de grups, entre d'altres. Sobretot amb la teòrica
informàtica, hi ha un ric intercanvi que ha fet que aquesta àrea sigui molt activa
camp de les matemàtiques modernes.

membres

Albert Atserias

Albert Atserias

UPC – CRM

lloc web

Kolja Knauer

Kolja Knauer

UB – CRM

lloc web

Marc Noy

Marc Noy

UPC – CRM

lloc web

Arnau Padrol

Arnau Padrol

UB – CRM

lloc web

Guillem Perarnau

Guillem Perarnau

UPC – CRM

lloc web

Juanjo Rué

Juanjo Rué

UPC – CRM

lloc web

Oriol Serra

Oriol Serra

UPC – CRM

lloc web

investigadors postdoctorals

Tàssio Naia

Tàssio Naia

Becari Postdoctoral - CRM

IP: Guillem Perarnau

investigadors postdoctorals

Jordi Castellvi

Jordi Castellvi

Doctorand - CRM

Supervisor: Marc Noy

PUBLICACIONS