- All Seminars
- Actuarial Science Seminar
- Algebra Seminar
- Analysis Learning Seminar
- Analysis and Probability Seminar
- Cluster Algebras Seminar
- Connecticut Logic Seminar
- Discrete Mathematics Seminar and Statistical Mechanics Seminar
- Math Club Talks
- Mathematics Colloquium
- Mathematics Education Seminar
- Mathematical Finance Seminar
- Ph.D. Defense
- PDE and Differential Geometry Seminar
- S.I.G.M.A. Seminar
- UConn Logic Colloquium

## All Seminars

- 4/26
*S.I.G.M.A Seminar*

How to Draw a Graph

Donald Sheehy - 4/26
*Analysis and Probability Seminar*

Non-commutative regular conditional probability

Arthur Parzygnat (UConn) - 4/26
*Logic Colloquium: Adrian Brasoveanu (UC Santa Cruz)* - 4/29
*PDE and Differential Geometry Seminar*

Building quasiregular mappings between sub-Riemannian manifolds

Anton Lukyanenko

George Mason University - 5/1
*Algebra Seminar*

Title TBA

Yifeng Liu (Yale University) - 5/1
*Annnual Logic Lecture: Sara Negri (Helsinki)* - 5/2
*Logic Colloquium: Sara Negri (Helsinki)* - 5/3
*S.I.G.M.A. Seminar*

3 types of Hopf fibrations, connecting geometry, algebra, physics, and probability

Gunhee Cho - 5/3
*Analysis and Probability Seminar*

Nonlocal Operators with singular anisotropic kernels

Jamil Chaker (University of Chicago) - 5/3
*Analysis Learning Seminar*

Title: TBA

Gianmarco Molino

###
S.I.G.M.A Seminar

How to Draw a Graph

Donald Sheehy

Friday, April 26th, 201912:20 PM - 1:10 PM

Storrs Campus

MONT 214

I will discuss a classic result of Tutte from 1963 that shows an elegant connection between graph theory, physics, geometry, and linear algebra. Tutte addressed the problem of how to draw a planar graph (a collection of vertices and edges that can be drawn without crossing edges in the plane) so that every edge is a straight line and the resulting faces are all convex polygons.

With the advantage of hindsight, I will also show how this result has influenced many modern ideas in graph theory and graph drawing. Despite covering a lot of ground, the talk should be widely accessible.

With the advantage of hindsight, I will also show how this result has influenced many modern ideas in graph theory and graph drawing. Despite covering a lot of ground, the talk should be widely accessible.

Contact Information: Lisa Naples (lisa.naples@uconn.edu)
More

###
Analysis and Probability Seminar

Non-commutative regular conditional probability

Arthur Parzygnat (UConn)

Friday, April 26th, 20191:30 PM - 2:30 PM

Storrs Campus

MONT 313

Abstract: By diagrammatically reformulating the notion of a regular conditional probability (RCP), we are able to abstract the idea to a variety of categories. However, the interpretation of the RCP may be different from our usual probabilistic intuition and typically depends on the specific category. We will specialize this abstraction of a RCP to the category of finite-dimensional $$C^*$$-algebras and completely positive maps, a setting for non-commutative spaces and quantum information theory. Our main result is a necessary and sufficient condition for the existence and uniqueness of non-commutative RCPs. As a corollary, we reproduce a familiar theorem in the commutative (classical) setting. This talk should be accessible to a wide (mathematically-minded) audience. This is joint work with Benjamin Russo at SUNY Farmingdale.

Contact Information: Scott Zimmerman, scott.zimmerman@uconn.edu
More

### Logic Colloquium: Adrian Brasoveanu (UC Santa Cruz)

Friday, April 26th, 20192:30 PM - 4:00 PM

Storrs Campus

Humanities Institute seminar room, Babbidge Library, 4th Floor

Join us for a talk by Adrian Brasoveanu (UC Santa Cruz) in the Logic Colloquium!

"Computational Cognitive Modeling for Syntax and Semantics"

Adrian Brasoveanu (joint work with Jakub Dotlacil)

Abstract: I introduce a typical experimental task in psycholinguistics -- self-paced reading -- and show how to build end-to-end simulations of a human participant in such an experiment; end-to-end means that we model visual and motor processes together with specifically linguistic processes (syntactic and semantic parsing) in a complete model of the experimental task. The model embeds theoretical hypotheses about linguistic representations and parsing processes in an independently motivated cognitive architecture (ACT-R). In turn, the resulting cognitive models can be embedded in Bayesian models to fit them to experimental data, estimate their parameters and perform quantitative model comparison for qualitative theories.

All welcome!

https://logic.uconn.edu/

"Computational Cognitive Modeling for Syntax and Semantics"

Adrian Brasoveanu (joint work with Jakub Dotlacil)

Abstract: I introduce a typical experimental task in psycholinguistics -- self-paced reading -- and show how to build end-to-end simulations of a human participant in such an experiment; end-to-end means that we model visual and motor processes together with specifically linguistic processes (syntactic and semantic parsing) in a complete model of the experimental task. The model embeds theoretical hypotheses about linguistic representations and parsing processes in an independently motivated cognitive architecture (ACT-R). In turn, the resulting cognitive models can be embedded in Bayesian models to fit them to experimental data, estimate their parameters and perform quantitative model comparison for qualitative theories.

All welcome!

https://logic.uconn.edu/

Contact Information: https://logic.uconn.edu/about/
More

###
PDE and Differential Geometry Seminar

Building quasiregular mappings between sub-Riemannian manifolds

Anton Lukyanenko

George Mason University

Monday, April 29th, 20192:30 PM - 3:30 PM

Storrs Campus

MONT 214

Abstract: A quasiregular (qr) mapping folds one space over, with limited distortion of topology and of relative distances. The theory of qr mappings in Euclidean spaces is rich with examples and connections complex analysis, dynamical systems, and PDEs. In the early 2000s, Heinonen and Rickman initiated a broader study of qr mappings in more general metric spaces, such as the Heisenberg group. In this talk, I will give an introduction to the field, and discuss some recent results on building and forbidding qr mappings between sub-Riemannian manifolds.

Contact Information: Wang, lihan.wang@uconn.edu
More

###
Algebra Seminar

Title TBA

Yifeng Liu (Yale University)

Wednesday, May 1st, 201911:15 AM - 12:05 PM

Storrs Campus

Monteith, 313

TBA

Contact Information: Mihai Fulger, mihai.fulger@uconn.edu
More

### Annnual Logic Lecture: Sara Negri (Helsinki)

Wednesday, May 1st, 20194:00 PM - 5:30 PM

Storrs Campus

Humanities Institute seminar room, Babbidge Library, 4th Floor

Each year, the UConn Logic Group bestows the title of Scholar of Consequence to an eminent logician whose work shaped the field.

The 2019 Scholar of Consequence is Sara Negri (Helsinki, Finland).

Professor Negri will give the following public the Annual Logic Lecture:

A three-fold method for non-classical logics

Abstract:

There are three established ways of analysing the validity of a logical argument: axiomatic, semantic, and inferential; they correspond to what could be called the normative, the descriptive, and the deductive face of a logical system and are tightly related to each other by fundamental meta-theorems.

For non-classical logics, each of the three aspects has drawbacks when considered in isolation. The situation changes, however, drastically when the three aspects are developed in parallel. Through the labelled formalism, by now is a well-developed methodology, models can be considered as purely mathematical objects with no ontological assumptions upon them: the semantics is turned into an essential component in the syntax of sequent calculi with invertible rules. Such calculi not only provide a tool for the automatisation of reasoning, but can also be used to establish very general properties of logical systems.

All welcome!

https://logic.uconn.edu/annual-logic-lecture/

The 2019 Scholar of Consequence is Sara Negri (Helsinki, Finland).

Professor Negri will give the following public the Annual Logic Lecture:

A three-fold method for non-classical logics

Abstract:

There are three established ways of analysing the validity of a logical argument: axiomatic, semantic, and inferential; they correspond to what could be called the normative, the descriptive, and the deductive face of a logical system and are tightly related to each other by fundamental meta-theorems.

For non-classical logics, each of the three aspects has drawbacks when considered in isolation. The situation changes, however, drastically when the three aspects are developed in parallel. Through the labelled formalism, by now is a well-developed methodology, models can be considered as purely mathematical objects with no ontological assumptions upon them: the semantics is turned into an essential component in the syntax of sequent calculi with invertible rules. Such calculi not only provide a tool for the automatisation of reasoning, but can also be used to establish very general properties of logical systems.

All welcome!

https://logic.uconn.edu/annual-logic-lecture/

Contact Information: https://logic.uconn.edu/about/
More

### Logic Colloquium: Sara Negri (Helsinki)

Thursday, May 2nd, 20194:00 PM - 5:30 PM

Storrs Campus

Humanities Institute seminar room, Babbidge Library, 4th Floor

Join is for the Logic Colloquium given by the 2019 Scholar of Consequence!

Sara Negri (Helsinki, Finland)

"Unveiling the constructive core of classical theories: A contribution to 90 years of Glivenkoâs theorem"

Abstract:

Glivenkoâs well known result of 1929 established that a negated propositional formula provable in classical logic is even provable intuitionistically. Similar later transfers from classical to intuitionistic provability therefore fall under the nomenclature of Glivenko-style results: these are results about classes of formulas for which classical provability yields intuitionistic provability. The interest in isolating such classes lies in the fact that it may be easier to prove theorems by the use of classical rather than intuitionistic logic. Further, since a proof in intuitionistic logic can be associated to a lambda term and thus obtain a computational meaning, such results have more recently been gathered together under the conceptual umbrella âcomputational content of classical theories.â They also belong to a more general shift of perspective in foundations: rather than developing constructive mathematics separately, as in Brouwerâs program, one studies which parts of classical mathematics can be directly translated into constructive terms.

We shall survey how Glivenko-style results can be easily obtained by the choice of suitable sequent calculi for classical and intuitionistic logic, by the conversion of axioms into inference rules, and by the procedure of geometrization of first order logic.

All welcome!

https://logic.uconn.edu/calendar/

Sara Negri (Helsinki, Finland)

"Unveiling the constructive core of classical theories: A contribution to 90 years of Glivenkoâs theorem"

Abstract:

Glivenkoâs well known result of 1929 established that a negated propositional formula provable in classical logic is even provable intuitionistically. Similar later transfers from classical to intuitionistic provability therefore fall under the nomenclature of Glivenko-style results: these are results about classes of formulas for which classical provability yields intuitionistic provability. The interest in isolating such classes lies in the fact that it may be easier to prove theorems by the use of classical rather than intuitionistic logic. Further, since a proof in intuitionistic logic can be associated to a lambda term and thus obtain a computational meaning, such results have more recently been gathered together under the conceptual umbrella âcomputational content of classical theories.â They also belong to a more general shift of perspective in foundations: rather than developing constructive mathematics separately, as in Brouwerâs program, one studies which parts of classical mathematics can be directly translated into constructive terms.

We shall survey how Glivenko-style results can be easily obtained by the choice of suitable sequent calculi for classical and intuitionistic logic, by the conversion of axioms into inference rules, and by the procedure of geometrization of first order logic.

All welcome!

https://logic.uconn.edu/calendar/

Contact Information: https://logic.uconn.edu/about/
More

###
S.I.G.M.A. Seminar

3 types of Hopf fibrations, connecting geometry, algebra, physics, and probability

Gunhee Cho

Friday, May 3rd, 201912:20 PM - 1:10 PM

Storrs Campus

MONT 2014

This is the soft introduction to the very recent paper (https://arxiv.org/abs/1904.08568) which is joint work with a prof. F. Baudoin. From Hurwitz's theorem, all normed division algebra over real numbers up to isomorphism is the algebras of real numbers, complex numbers C, quaternions H, and octonions O. One way to understand those division algebras is by investigating so-called the Hopf fibration. We will try to see which geometric structures and probability tools play a role to understand each division algebras. This talk would be accessible to a general math audience.

Contact Information: Lisa Naples (lisa.naples@uconn.edu)
More

###
Analysis and Probability Seminar

Nonlocal Operators with singular anisotropic kernels

Jamil Chaker (University of Chicago)

Friday, May 3rd, 20191:30 PM - 2:30 PM

Storrs Campus

MONT 313

Abstract: We study nonlocal operators that generate anisotropic jump processes, such as a jump process that behaves like a stable process in each direction but with a different index of stability. Its generator is the sum of one-dimensional fractional Laplace operators with different orders of differentiability. We study such operators in the general framework of bounded measurable coefficients.

The objective of this talk is to provide regularity results for weak solutions to corresponding integro-differential equations.

Joint work with Moritz Kassmann.

The objective of this talk is to provide regularity results for weak solutions to corresponding integro-differential equations.

Joint work with Moritz Kassmann.

Contact Information: Scott Zimmerman, scott.zimmerman@uconn.edu
More

###
Analysis Learning Seminar

Title: TBA

Gianmarco Molino

Friday, May 3rd, 20193:30 PM - 4:30 PM

Storrs Campus

MONT 313

Abstract: TBA

Contact Information: Murat Akman and Vyron Vellis
More