- Math Learning Center
- News & Events
- Giving to Math
A zero-knowledge proof is an identification scheme where
one party can prove to another party that they have certain information
(such as a password) in such a way that the second party cannot or is
unlikely to retrieve the information itself. This talk will briefly
discuss zero-knowledge proofs in a way that will allow us to explore
the Feige-Fiat-Shamir identification scheme and recognize its effectiveness.
We present an application of piecewise deterministic Markov processes to the study of the hydrological cycle. We formulate a model for the dynamical response of an arbitrary watershed to a rainfall input in the form of a Poisson process. The resulting high dimensional SDE tracks the streamflow and runoff at every stream and hillslope in the watershed. An invariant measure absolutely continuous with respect to Lebesgue measure is shown to exist, and explicitly computed in terms of the probabilisitic description of the rainfall, and the geometry of the river network.
A modern framework for studying linear differential equations with an initial value is to use semi-groups of operators. This framework generalizes the equation u'+Au = 0 from elementary differential equations in such a way that this same equation can be used to represent a partial differential equations. This talk will introduce several key concepts from the theory of semi-groups of operators, as well as provide examples in the 1 dimensional, n dimensional and infinite dimensional setting.