MATH 565 — Fall 2026

Introduction
Owen, Chapters 1 and 2
Diagnostic Survey due 8/21
Assignment 1 due 9/2

Fred J. Hickernell

August 24, 2026

We begin this semester amid significant change

Illinois Tech’s transformation

  • Painful departures of colleagues, mentors, and friends who have shaped this community; we grieve

  • New academic structures, no departments

  • Questions and uncertainty; let’s meet them with patience and care

  • We remain committed to your success

The loss is real, as is our responsibility to care for one another and keep learning well

The new structure connects depth, disciplines, and practice

  • Depth in a chosen field remains essential
  • Consequential problems cross traditional academic boundaries
  • Interdisciplinary pathways should be easier to find and pursue
  • Research, applied learning, and career preparation should connect more directly

Illinois Tech

College of Tech Futures

School of Computing

(Applied Mathematics)

Technical depth + collaboration across fields + experience in practice

Further significant changes

The advance of AI

AI can be a capable assistant that helps solve research problems

We need to understand what AI produces—and learn how to guide it

Politics

The political environment is also disruptive

Course Map

What Is Monte Carlo?

Monte Carlo foundations, methods, and applications
Foundation
Methods
Practice
Probability
Statistics
Analysis
Linear
Algebra
Computer
Science
Domain
Knowledge
(Quasi-)Random
Number Generation
Low
Discrepancy
Estimation
Pseudorandom
Numbers
Error
Assessment
Discrepancy
Measures
Variance
Reduction
Importance
Sampling
Markov Chain
Monte Carlo
Multilevel
Monte Carlo
Stochastic
Optimization
Uncertainty
Quantification
Quantitative
Finance
Density
Estimation
Statistical
Inference
Bayesian
Computation
Data-Driven
Error Bounds
Software
Monte Carlo
Tree Search
High-Performance
Computing
AI Assistance
Collaboration
& Community

Monte Carlo helps with uncertainty

Finance

Stock-market display

Engineering

Hydraulic-fracturing water cycle and well diagram

Image rendering

Ray-traced results compared with reference images

Bayesian inference

Bayesian inference visualization

Neural networks

Neural-network diagram

Queues

In-N-Out drive-through queue

Why is there uncertainty?

Monte Carlo foundations, methods, and applications
Probability

J. Craven McGinty, As Forecasts Go, You Can Bet on Monte Carlo, Wall Street Journal, August 12, 2016

  • Finance: market forces often modeled by stochastic processes driven by Brownian motion
  • Engineering: system parameter variability modeled, for example, by Gaussian processes
  • Image rendering: a finite sample must stand in for all possible rays
  • Bayesian inference: the posterior probability distribution combines prior information and data
  • Neural networks: not every direction in parameter space can be searched
  • Queues: customer arrival and service times vary

How is uncertainty expressed quantitatively?

\[\begin{align*} Y&= \text{random variable denoting } \alerttext{quantity of interest} = \begin{cases} \text{option payoff} \\ \text{fluid pressure} \\ \text{pixel intensity} \\ \text{statistical model parameter}\\ \text{neural-network parameter} \\ \text{service time} \end{cases} \\ & = f(\vX) \\ \text{where } \vX & = \text{multivariate random variable that is }\alerttext{easy to sample} \end{align*}\]

  • Generate sample versions \(Y_0,\ldots,Y_{n-1}\)
  • Use samples to estimate population quantities:
    • mean
    • variance
    • probability mass or density function
    • cumulative distribution function
    • quantile

Are we there yet?

Monte Carlo foundations, methods, and applications
Practice

A visit to a friend requires

  • a \(5\)-minute walk to the train
  • waiting for a train that arrives every \(20\) minutes
  • a \(30\)-minute train ride
  • a taxi that is waiting with probability \(0.2\)
  • otherwise a taxi wait with mean \(10\) minutes
  • a \(12\)-minute taxi ride

How long should you allow for the trip?

What modeling assumptions are needed?

Companion AreWeThereYet notebook

Course Logistics

Complete the Diagnostic Survey

Complete by August 21: Assignment 0 — Diagnostic Survey

Complete and submit this assignment individually, not as a group.

Complete Assignment 1

You may work individually or with one partner. Join an Assignment 1 group in Canvas; only one person per group submits the assignment.

What is where?

  • Navigating these slides

    • Each slide deck lists course decks and major sections after the title page

    • Each major section begins with links to its individual slides

    • and jump to the previous and next major sections

    • and jump to the previous and next slide

    • « and » at the bottom jump to the previous and next decks

    • at the bottom left shows all slides, as does Esc

  • Course Website

    • Course slides are on the course website under the Schedule

    • Homework assignments are at Assignments

    • Basic course information is on the course website’s Welcome page

  • All materials are in the Course Repository, which is used to build the course website

  • Grades are in Canvas

Why participate synchronously?

  • Keep pace with the course
  • Learn to ask questions that reveal
    • Assumptions hidden in a model, method, or theorem
    • Missing steps in an argument or gaps in your own understanding
  • Hear questions you would not have thought to ask
  • Influence the pace and direction of discussion
  • Help classmates learn by contributing your own questions
  • Build a learning community and get to know one another

From calculation aids to AI

Dates mark representative introductions or inflection points; adoption overlapped across eras

Using AI well

Roles overlap; choose deliberately. Think enough to know the problem AI should help solve

Tutor → build understanding

  • Probe your understanding of the concept
  • Reveal misconceptions with Socratic questions
  • Contrast examples, nonexamples, and nearby concepts
  • Connect intuition, definitions, formulas, representations

“Use Socratic questions, examples, and nonexamples to probe my understanding and connect intuition to the formal definition”

Critic / reviewer → test your work

  • Find gaps, hidden assumptions, unclear reasoning
  • Challenge a proof, derivation, program, or explanation
  • Suggest tests or counterexamples without rewriting everything

“Find the weakest step in my argument and explain why”

Prefer dialogue: strengthen your thinking before producing finished work

Architect / collaborator → plan the work

  • Decompose the problem into decisions and tasks
  • Compare approaches, tradeoffs, failure modes
  • Design an analysis, algorithm, program, workflow

“Propose two approaches, their assumptions, and how I could choose”

Contractor → execute a specification

  • Implement code, plot, calculation, draft
  • Best with clear inputs, requirements, checks, desired output
  • Riskiest when you cannot evaluate the result

“Implement this specification and provide tests for each requirement”

Match tool to role: the best AI for one role may not be the best for another. One AI can help you reason and specify; another execute. You inspect and revise

Better-specified tasks permit more delegation

Responsibility never transfers to AI

Verify what AI produces

AI output: proposal to inspect, not authority. Expose assumptions, alternatives, reasons; verify appropriately

Mathematics

  • Check definitions, hypotheses, theorem conditions
  • Rework important steps; test examples and counterexamples
  • Ask whether the conclusion follows from the stated assumptions

Computation

  • Run the code and inspect the output
  • Test edge cases, dimensions, units, signs, known special cases
  • Confirm that the computation answers the intended mathematical question

Verify the result and whether the right problem was solved

Responsibility stays with you

Evidence and sources

  • Inspect original sources for claims and citations
  • Confirm that a source exists and supports the attributed claim
  • Separate sourced facts from plausible inference

Communication

  • Revise reasoning and wording yourself
  • Explain each choice and answer questions about it
  • Acknowledge meaningful assistance as required

Afterward: Can you explain the result, modify it, solve a related problem without reproducing AI output?

Delegate execution; retain understanding, judgment, responsibility

Terms to Know

A–C

D–I

K–M

P–Z

Probability Review

Monte Carlo foundations, methods, and applications
Probability
Monte Carlo foundations, methods, and applications
Probability

Random variables and distributions

Monte Carlo foundations, methods, and applications
Probability

Let \(Y:\Omega\to\mathcal{Y}\subseteq\reals\) be a random variable

For \(A\subseteq\mathcal{Y}\), \(\Prob(Y\in A)\) is the probability of the event \(\{\omega\in\Omega:Y(\omega)\in A\}\)

\[\begin{align*} F \text{ is the }\alerttext{cumulative distribution function}\text{, } F(y)&:=\Prob(Y\le y), \; y\in\mathcal{Y}, \quad\text{right-continuous}\\ Q \text{ is the }\alerttext{quantile function}\text{, } Q(u)&:=\inf\{y\in\mathcal{Y}:F(y)\ge u\}, \; 0<u<1, \quad\text{left-continuous}\\ & = F^{-1}(u) \text{ if $F$ is continuous and strictly increasing} \\ \Ex[g(Y)]&:=\int_{\mathcal{Y}}g(y)\,\dif F(y) \end{align*}\]

Discrete

Probability mass function (PMF), \(\varrho\)

\[\begin{gather*} \varrho(y):=\Prob(Y=y) \\ \Ex[g(Y)] =\sum_{y\in\mathcal{Y}}g(y)\varrho(y) \end{gather*}\]

Absolutely continuous

Probability density function (PDF), \(\varrho\)

\[\begin{gather*} \varrho(y):=F'(y)\quad\text{almost everywhere}\\ \Ex[g(Y)] =\int_{\mathcal{Y}}g(y)\varrho(y)\,\dif y \end{gather*}\]

Moments of random variables

Monte Carlo foundations, methods, and applications
Probability

\[\begin{align*} \mu & :=\Ex(Y) \text{is the }\alerttext{mean}\text{ of }Y \\ \med(Y) & := Q(0.5) \\ \sigma^2 & :=\var(Y) =\Ex\bigl[(Y-\mu)^2\bigr] \overset{\exstar}{=} \Ex(Y^2) - \bigl[\Ex(Y)]^2 \text{ is the }\alerttext{variance}\text{ of } Y \\ \sigma & \text{ is the }\alerttext{standard deviation}\text{ of } Y \\ \cov(\vY) & :=\bigl( \Ex[(Y_j-\mu_j)(Y_k-\mu_k)] \bigr)_{j,k=1}^{d} \\ & \text{ is the }\alerttext{covariance matrix}\text{ of the $d$-dimensional random vector } \vY \end{align*}\]

\(\exstar\) Assuming \(\Ex(Y^2)<\infty\), show that \(\displaystyle \mu = \argmin_m \Ex\bigl[ (Y-m)^2 \bigr]\)

\(\exstar\) Show that \(\displaystyle \med(Y) \in \argmin_m \Ex \lvert Y-m \rvert\)

Medians may be nonunique

\(\exstar\) Show that \(\cov(\vY)\) is symmetric and has nonnegative eigenvalues

Binomial distribution

Monte Carlo foundations, methods, and applications
Probability

For \(Y\sim\Bin(n,p)\) (see scipy.stats.binom(n, p))

\[\begin{gather*} \varrho(y)=\Prob(Y=y) =\binom{n}{y}p^y(1-p)^{n-y} \qquad y=0,1,\ldots,n \\ F(y)=\sum_{j=0}^{ y}\binom{n}{j}p^j(1-p)^{n-j}, \qquad y=0,1,\ldots,n \\ Q(u)=\inf\{y\in\{0,\ldots,n\}:F(y)\ge u\} \quad 0<u<1 \quad \text{no simple formula} \\ \Ex(Y)=np \qquad \var(Y)=np(1-p) \end{gather*}\]

The Bernoulli distribution, \(\Bern(p)\), is the case \(n=1\) \[\begin{gather*} \varrho(y)=\Prob(Y=y) =p^y(1-p)^{1-y} \qquad y=0,1 \\ \Ex(Y)=p \qquad \var(Y)=p(1-p) \end{gather*}\]

Exponential distribution

Monte Carlo foundations, methods, and applications
Probability

Models a memoryless waiting time

For \(Y\sim\Exp(\lambda)\) (see scipy.stats.expon(loc=0, scale=1/lambda))

\[\begin{gather*} \varrho(y)= \lambda \me^{-\lambda y}, \quad 0 \le y < \infty \\ F(y)= 1-\me^{-\lambda y}, \quad 0 \le y < \infty \\ Q(u) \overset{\exstar}{=} -\frac{\log(1-u)}{\lambda} \quad 0 < u < 1 \\ \Ex(Y)=\frac{1}{\lambda} \\ \var(Y)=\frac{1}{\lambda^2} \end{gather*}\]

Multivariate normal or Gaussian distribution

Monte Carlo foundations, methods, and applications
Probability

Used in finance and uncertainty quantification (see scipy.stats.multivariate_normal(mean=mu, cov=Sigma))

\[ \vY\sim\Norm(\vmu,\mSigma) \]

where \(\vmu\) is the mean vector and \(\mSigma\succ 0\) is a positive-definite covariance matrix

\[ \varrho(\vy) =\frac{1}{(2\pi)^{d/2}\abs{\mSigma}^{1/2}} \exp\left( -\frac{1}{2}(\vy-\vmu)^{\mathsf T} \mSigma^{-1}(\vy-\vmu) \right), \qquad \vy \in \reals^d \]

Samples, Estimators, and Estimates

Monte Carlo foundations, methods, and applications
Statistics
Estimation

Sampling schemes on \([0,1]^6\)

Monte Carlo foundations, methods, and applications
Pseudorandom
Numbers
Low
Discrepancy

Each design has \(n=64\) points; compare how its \(x_1\)\(x_2\) projection fills the unit square

Two-dimensional projections of grid, orthogonal-array, IID, and scrambled Sobol' samples

Grid, \(n=64\)

Five coordinate projections of a 64-point, six-dimensional grid sample

Orthogonal array, \(n=64\)

Five coordinate projections of a 64-point, strength-two orthogonal array

IID, \(n=64\)

Five coordinate projections of a 64-point IID uniform sample generated with QMCPy

Scrambled Sobol’, \(n=64\)

Five coordinate projections of a 64-point scrambled Sobol' sample generated with QMCPy

Sampling

Monte Carlo foundations, methods, and applications
Statistics
Estimation

Normally, we want something more than \(\vX_0, \vX_1, \ldots \sim \Unif[0,1]^d\); let

  • \(Y\) be a random variable, often \(Y=f(\vX)\)

  • \(Y_0,\ldots,Y_{n-1}\) be a sample—not necessarily random or IID

\[\begin{align*} \hmu_n & :=\frac{1}{n}\sum_{i=0}^{n-1}Y_i \quad \text{is the }\alerttext{sample mean}\\ \hsigma_n^2 & :=\frac{1}{n-1}\sum_{i=0}^{n-1}(Y_i-\hmu_n)^2 \quad \text{is the }\alerttext{sample variance}\\ \end{align*}\]

Mean squared error, bias, and variance

Monte Carlo foundations, methods, and applications
Statistics
Estimation

Let \(\Theta\) estimate a scalar population parameter \(\theta\) \[\begin{align*} \bias(\Theta) &:= \Ex(\Theta) - \theta \quad \alerttext{unbiased means zero bias} \\ \mse(\Theta) &:= \Ex\bigl[ \bigl(\Theta - \theta \bigr)^2 \bigr] \quad \text{is the }\alerttext{mean squared error}\\ & \overset{\exstar}{=} [\bias(\Theta)]^2 + \var(\Theta) \end{align*}\]

Under random sampling

Monte Carlo foundations, methods, and applications
Statistics
Estimation

Suppose \(Y_0,Y_1,\ldots\) have the same distribution as \(Y\), where \(\Ex(Y)=\mu\) and \(\var(Y)=\sigma^2\). Then \[ \Ex(\hmu_n)=\mu \quad \text{$\hmu_n$ is an }\alerttext{unbiased}\text{ estimator of }\mu \] If \(Y_0,Y_1,\ldots\) are also uncorrelated \[\begin{align*} \Ex(\hsigma_n^2)&=\sigma^2 \quad \text{$\hsigma_n^2$ is an }\alerttext{unbiased}\text{ estimator of }\sigma^2 \\ \mse(\hmu_n) &:=\Ex\left[(\mu-\hmu_n)^2\right] =\frac{\sigma^2}{n} \\ \rmse(\hmu_n)& =\frac{\sigma}{\sqrt{n}} \end{align*}\]

Central Limit Theorem

Monte Carlo foundations, methods, and applications
Probability
Statistics

If \(Y_0,Y_1,\ldots\IIDsim Y\) and \(0<\sigma^2<\infty\) then

\[ \frac{\hmu_n-\mu}{\sigma/\sqrt{n}} \dto\Norm(0,1) \qquad\text{as }n\to\infty \]

For large \(n\)

\[ \hmu_n\appxsim \Norm\left(\mu,\frac{\sigma^2}{n}\right) \]

Monte Carlo error for a sample mean typically decreases like \(n^{-1/2}\)

Monte Carlo estimates of properties of \(Y\)

Population quantity Sample approximation
Mean, \(\mu\) point estimator \(\hmu_n\)
approximate 99% confidence interval \(\hmu_n\pm2.58\hsigma_n/\sqrt n\)
Variance, \(\sigma^2\) \(\hsigma_n^2\)
CDF, \(F\) Empirical distribution function, \(\displaystyle \hF_n(y) := \frac 1n \sum_{i=0}^{n-1} \indic(Y_i \le y)\)
Quantile function, \(Q\) Empirical quantile function, \(\widehat Q_n\)
Density or mass function, \(\varrho\) Histogram or kernel density estimator
  • Mean has a natural interval estimator
  • Other properties commonly begin with point estimators

Estimator is a random quantity based on random data not yet observed

Estimate is the numerical result based on observed data

Computational counterparts

Monte Carlo foundations, methods, and applications
Statistics
Estimation
Quantity Python tool
Mean np.mean(data)
Variance np.var(data, ddof=1)
Empirical CDF statsmodels.distributions.empirical_distribution.ECDF(data)
Empirical quantile np.quantile(data, probabilities)
Histogram np.histogram(data, bins="auto")
Kernel density estimate scipy.stats.gaussian_kde(data)

Are we there yet? Revisited

Monte Carlo foundations, methods, and applications
Statistics
Estimation

For the travel-time model

  1. model each uncertain waiting time
  2. generate independent trip times \(Y_0,\ldots,Y_{n-1}\)
  3. estimate the mean and relevant upper quantiles
  4. report Monte Carlo uncertainty with the estimates

The question “How long should I allow?” is usually a quantile question, not only a mean question

Companion AreWeThereYet notebook

Conditioning

Monte Carlo foundations, methods, and applications
Probability
Estimation

Conditional probability

Monte Carlo foundations, methods, and applications
Probability

For discrete random variables \(Y,Z\), suppose \(\Prob(Y=y)>0\) and \(\Prob(Z=z)>0\)

\[ \Prob(Y=y\mid Z=z) =\frac{\Prob(Y=y,Z=z)}{\Prob(Z=z)} =\frac{\Prob(Z=z\mid Y=y)\Prob(Y=y)} {\Prob(Z=z)} \]

The second equality is Bayes’ theorem

If a joint density exists and \(\varrho_Z(z)>0\)

\[ \varrho_{Y\mid Z}(y\mid z)=\frac{\varrho_{Y,Z}(y,z)}{\varrho_Z(z)} \]

Laws of total expectation and variance

Monte Carlo foundations, methods, and applications
Probability

\[\begin{align*} \Ex(Y)&=\Ex_Z\bigl[\Ex(Y\mid Z)\bigr] \\ \var(Y) &=\Ex_Z\bigl[\var(Y\mid Z)\bigr] +\var_Z\bigl(\Ex(Y\mid Z)\bigr) \end{align*}\]

Conditioning separates variation within a fixed \(Z\) from variation in the conditional mean across values of \(Z\)

Conditional Monte Carlo

Monte Carlo foundations, methods, and applications
Probability
Estimation

Let \(Y=f(X_1,\ldots,X_d)\) and \(Z=(X_2,\ldots,X_d)\)

If

\[ g(Z):=\Ex(Y\mid Z) \]

is available analytically

\[ \mu=\Ex(Y)=\Ex_Z[g(Z)] \qquad \var_Z(g(Z)) \overset{\exstar}{\le} \var(Y) \]

Sampling \(g(Z)\) instead of \(Y\) can reduce variance

 

If the conditional density \(h(y,z):=\varrho_{Y\mid Z}(y\mid z)\) is available analytically

\[ \varrho_Y(y)=\Ex_Z[h(y,Z)] \]

so a probability density can itself be expressed as an expectation

Big Ideas

Monte Carlo foundations, methods, and applications
Probability
Statistics
Estimation
  • Use sample quantities to estimate properties of a random variable whose distribution is difficult to obtain directly
  • Targets include
    • means
    • (co-)variances
    • probability mass or density functions
    • cumulative distribution functions
    • quantiles
  • For means, the CLT provides interval estimates that quantify Monte Carlo uncertainty
  • Other properties often begin with point estimates—one approximate value for each target
  • Conditioning can turn a difficult random quantity into a lower-variance expectation

Next: Generating Samples

Monte Carlo foundations, methods, and applications
(Quasi-)Random
Number Generation

Most simulations begin with

\[ \vU\sim\Unif[0,1]^d \]

and construct

\[ \vX=T(\vU) \]

with the distribution required by the model

  • Where do uniform samples come from?
  • How do we transform them to a target distribution?
  • How do we generate dependent random vectors and stochastic processes?
  • Can more even coverage improve Monte Carlo estimates?

Next: turn uniform inputs into samples from the models we need

«
»