Calendar

Dec
6
Mon
Lampe: NC
Dec 6 @ 2:30 pm – 3:30 pm
Dec
10
Fri
Wane: Cryptography
Dec 10 @ 2:30 pm – 3:30 pm
Feb
4
Mon
Logic&Probability seminar-Thilanka Appuhamillage (UHM) @ Keller 313
Feb 4 @ 1:30 pm – Feb 4 @ 2:30 pm

Title: Stochastic processes associated with dispersion across sharp
interfaces

Abstract: Dispersion in highly heterogeneous environment, as characterized
by abrupt changes (discontinuities) in the diffusion coefficient (such
discontinuous points are called interfaces), can be studied via the
identification of the associated stochastic process. The challenge here is
connecting the PDE that governs such dispersion to a stochastic process.
One cannot apply the classical Ito formula in this case as the domain of
the infinitesimal generator of such stochastic processes are not C^2. In
this talk I’ll give few examples of dispersion in heterogeneous
environment and explain how to identify the associated stochastic
processes. Ill also discuss effect of interfaces on breakthrough curves
(first passage times) and occupation times of the process.

Thilanka Appuhamillage

Feb
13
Wed
Logic&Probability seminar-Jason Rute (UHM) @ <a href="http://manoa.hawaii.edu/campusmap/uhmmap.pdf">George Hall 213</a>
Feb 13 @ 1:30 pm – Feb 13 @ 2:30 pm

Title: Computability of martingale convergence

In both probability theory and computability theory, an important theme is “information”, and an important tool for studying information is a “martingale”. Informally, a martingale is a betting strategy. More formally, it is a sequence of random variables $M_n$ such that $E[M_{n+1} \mid M_n] = M_n$. There are many well known convergence results for martingales. In this talk I will discuss two methods for investigating the computability of martingale convergence. First I will give general conditions for when the rate of convergence of a martingale is computable. Second, I will characterize the points for which computable martingales converge. Such questions are interesting because they provide a bridge between the practical applications of probability theory on one hand and its nonconstructive set theoretic foundations on the other. This also ties in closely to the logical topics of algorithmic randomness and constructive/computable mathematics.

Jason Rute

Mar
6
Wed
Logic&Probability seminar-Malihe Alikhani (UHM) @ Keller Hall 313
Mar 6 @ 1:30 pm – Mar 6 @ 2:30 pm

The Lovasz local lemma and its application in logic / theoretical computer science

Apr
17
Wed
Logic&Probability seminar-Kayleigh Hyde (UHM) @ George Hall 213
Apr 17 @ 1:30 pm – Apr 17 @ 2:30 pm

Topic: Nondeterministic finite state complexity

Mar
10
Mon
Probability seminar: Malihe Alikhani @ Keller 414
Mar 10 @ 1:30 pm – Mar 10 @ 2:30 pm

Speaker: Malihe Alikhani
Title: The longest run of heads and tails
Abstract: The distribution of the longest run of heads or tails in a coin flip sequence will be discussed, along with possible strategies for trying to stop at approximately the end of a longest run.

Mar
19
Wed
Computability Seminar: P vs. NP @ Keller 404
Mar 19 @ 1:30 pm – Mar 19 @ 2:30 pm

Speaker: Bjørn Kjos-Hanssen
Abstract: I will just explain what this famous problem is all about and probably draw some Turing machines on the board. This is part of Math 480 (senior seminar) but open to other attendees.