Math Notes

These are the most bountiful types of notes that I have. These are (some) atomized notes from (math) courses I have taken while using my obsidian vault. Some of my full Lecture Notes are also available for perusal.

Post Maturity Last Edited Created
Baire Category Theorem 🌲 2025-07-01 2025-06-05
Banach space 🌲 2025-05-30 2025-05-27
Cesaro-Fourier mean 🌲 2025-07-15 2025-07-15
Chebyshev Polynomial 🌲 2025-06-11 2025-02-17
Convergence in the cut norm implies convergence in L2 🌲 2025-03-26 2025-03-26
Davis-Kahan Theorem 🌲 2025-04-14 2025-04-09
Fatou's Lemma 🌲 2025-07-14 2025-07-14
Fourier coefficient 🌲 2025-07-15 2025-07-15
Fourier series 🌲 2025-07-15 2025-07-15
GCN layers can be written as graph convolutions 🌲 2025-04-18 2025-02-20
GINs are maximally powerful for anonymous input graphs 🪴 2025-03-03 2025-03-03
GNNs inherit stability from their layers 🌲 2025-03-12 2025-03-12
GNNs perform better than their constituent filters 🌲 2025-03-12 2025-03-12
Graph Isomorphism Network 🌲 2025-03-29 2025-03-03
Graph Neural Networks 🌲 2025-03-05 2025-02-05
Hamel basis 🌲 2025-06-10 2025-06-05
Hilbert-Schmidt integral operator 🌱 2025-03-31 2025-03-31
Lebesgue integrable 🌲 2025-08-01 2025-08-01
Lebesgue measure 🌲 2025-07-08 2025-06-17
Lipschitz continuous 🌲 2025-03-10 2025-03-05
Lipschitz filters are stable to additive perturbations 🌲 2025-03-12 2025-03-10
MPNNs can be expressed as graph convolutions 🌲 2025-02-18 2025-02-18
Parseval's identity 🌲 2025-07-15 2025-07-15
We can verify whether graphs without node features and different laplacian eigenvalues are not isomorphic 🌲 2025-03-03 2025-02-21
Weisfeiler-Leman Graph Isomorphism Test 🌲 2025-03-17 2025-02-21
Zorn's lemma 🌲 2025-06-10 2025-06-05
absolutely summable series have Cauchy partial sums 🌲 2025-05-29 2025-05-29
aggregation readout layer 🌲 2025-06-09 2025-02-21
algebra 🌲 2025-07-01 2025-07-01
algebras have closure under finite disjoint countable unions 🌲 2025-07-08 2025-07-08
all borel sets are measurable 🌲 2025-07-08 2025-07-08
all elements of hilbert spaces with orthonormal bases can be written as sums of the basis elements 🌲 2025-07-15 2025-07-15
almost exact recovery is impossible when the signal to noise ratio is less than the threshold 🌲 2025-02-17 2025-02-10
banach spaces have all absolutely summable series are summable 🌲 2025-05-29 2025-05-29
bandlimited convergent graph signals converge in the fourier domain 🌲 2025-04-16 2025-04-09
bandlimited graphon signal 🌲 2025-04-14 2025-04-09
bijective bounded linear operators have bounded linear inverses 🌲 2025-06-05 2025-06-05
bound for the size of an epsilon packing 🌲 2025-09-05 2025-09-04
bounded linear operator space is banach 🌲 2025-05-30 2025-05-30
c band cardinality 🌲 2025-04-22 2025-04-22
c eigenvalue margin 🌲 2025-04-22 2025-04-22
chain 🌲 2025-06-05 2025-06-05
changing measurable functions on a measure zero set preserves measurability 🌲 2025-07-14 2025-07-14
chebyshev equioscillation theorem 🌲 2025-02-20 2025-02-20
chebyshev polynomials are orthogonal 🌲 2025-02-20 2025-02-20
closed graph theorem 🌲 2025-06-05 2025-06-05
closed subspaces of banach spaces are banach 🌲 2025-06-05 2025-06-05
color refinement algorithm 🌲 2025-03-02 2025-02-21
complete metric spaces have banach continuous bounded function spaces 🌲 2025-05-29 2025-05-27
compressed sparse row representation 🌲 2025-02-12 2025-02-12
computational graph 🌲 2025-03-04 2025-03-03
conditions for finding a convolutional graph filter 🌲 2025-02-12 2025-01-29
contextual stochastic block model 🌲 2025-02-14 2025-02-12
continuous bounded function space 🌲 2025-05-29 2025-05-27
continuous functions are measurable 🌲 2025-07-14 2025-07-14
continuous map 🌲 2025-05-30 2025-05-29
convergence bound for graph convolutions 🌲 2025-05-13 2025-04-22
convergence in L-p implies convergence in cut norm 🌲 2025-03-26 2025-03-26
convergent graph sequence 🌲 2025-03-27 2025-03-24
convergent sequence of simple functions for a measurable function 🌲 2025-07-14 2025-07-14
convolutional filter bank 🌲 2025-02-17 2025-02-05
coordinate representation 🌲 2025-02-12 2025-02-12
corollary of Hahn-Banach 🌲 2025-07-01 2025-06-12
countable sets have outer measure zero 🌲 2025-06-17 2025-06-17
cut distance 🪴 2025-03-27 2025-03-24
cut norm 🪴 2025-03-26 2025-03-24
cycle homomorphism density is given by the trace of the adjacency matrix 🌲 2025-03-04 2025-03-04
desirable properties for measure 🌲 2025-07-08 2025-07-01
discriminability of a graph filter 🪴 2025-03-10 2025-03-10
distance 🌲 2025-05-27 2025-03-24
double dual 🌲 2025-06-12 2025-06-12
eigenfunction 🌲 2025-04-01 2025-03-31
eigenvalues of the induced graphon converge pointwise to the eigenvalues of the limit 🌲 2025-04-02 2025-04-02
eigenvector misalignment 🌲 2025-03-10 2025-03-10
epsilon net restricted inner product bounds the operator norm 🪴 2025-09-05 2025-09-04
epsilon net 🌲 2025-09-04 2025-09-04
epsilon packing 🌲 2025-09-04 2025-09-04
equivalence relation 🌲 2025-06-05 2025-06-05
equivalent intervals of measurability for measurable functions 🌲 2025-07-08 2025-07-08
every vector space has a hamel basis 🌲 2025-07-01 2025-07-01
feature-aware spectral embeddings 🌲 2025-02-12 2025-02-12
filter permutation invariance 🌲 2025-03-10 2025-03-10
finite vector space 🌲 2025-05-29 2025-05-27
fixed coefficients yield the same spectral response for both graphon and graph convolutions 🌲 2025-04-14 2025-04-09
fourier functions form an orthonormal set 🌲 2025-07-15 2025-07-15
fourier partial sums are given by the Dirichlet kernel 🌲 2025-07-15 2025-07-15
fully connected readout layer 🌲 2025-02-21 2025-02-19
fully random graph 🌲 2025-03-26 2025-03-26
fully random graphs converge to the graphon in probability 🌲 2025-06-05 2025-03-26
function relations almost everywhere hold in the integral 🌲 2025-07-14 2025-07-14
functions with finite integrals map a measure zero set to infinity 🌲 2025-07-14 2025-07-14
graph SAGE 🌲 2025-02-20 2025-02-20
graph attention model 🌲 2025-03-11 2025-02-19
graph automorphism 🌲 2025-03-05 2025-03-05
graph convolutional network 🌲 2025-04-18 2025-02-20
graph convolutions are stable to perturbations in the data and coefficients 🌲 2025-03-10 2025-03-05
graph edit distance 🌲 2025-03-26 2025-03-24
graph homomorphism 🌲 2025-03-26 2025-03-03
graph isomorphism is not solvable in polynomial time 🪴 2025-03-17 2025-03-02
graph isomorphism 🌲 2025-03-03 2025-02-21
graph motif 🪴 2025-03-26 2025-03-24
graph sequence converges if and only if the induced graphon sequence converges 🌲 2025-03-26 2025-03-26
graph shift operator 🌲 2025-06-09 2025-02-12
graph signals 🌲 2025-03-31 2025-02-12
graph 🌲 2025-02-12 2025-01-22
graphon convolution 🌲 2025-04-14 2025-04-09
graphon fourier transform 🌲 2025-04-14 2025-04-02
graphon shift operator eigenvalues 🌲 2025-04-09 2025-04-01
graphon shift operator 🌲 2025-04-27 2025-03-31
graphon shift operators are self-adjoint 🌲 2025-04-09 2025-03-31
graphon signal 🪴 2025-03-31 2025-03-26
graphon 🪴 2025-08-17 2025-03-24
homomorphism density 🌲 2025-03-24 2025-03-04
induced graphon signal 🌲 2025-03-31 2025-03-26
induced graphon 🪴 2025-03-26 2025-03-24
inductive learning 🫘 2025-02-12 2025-02-12
infinity norm for continuous bounded function space 🌲 2025-05-29 2025-05-27
information theoretic threshold 🌲 2025-02-12 2025-02-12
integral Lipschitz filter 🌲 2025-03-12 2025-03-10
integral is 0 if and only if the function is 0 almost everywhere 🌲 2025-07-14 2025-07-14
integral lipschitz filters are stable to dilations 🌲 2025-03-12 2025-03-10
integral of sum of a sequence is sum of the integrals 🌲 2025-07-14 2025-07-14
invariant 🪴 2025-09-05 2025-02-01
inverse image of infinity of measurable functions is measurable 🌲 2025-07-14 2025-07-14
inverse image of measurable functions of all borel sets are measurable 🌲 2025-07-14 2025-07-08
isometric 🌲 2025-06-12 2025-06-12
it is only interesting to take integrals of functions with positive measure 🌲 2025-07-14 2025-07-14
kernel cut metric 🪴 2025-04-09 2025-03-24
kernel cut norm 🌲 2025-03-26 2025-03-24
l-p vector space 🌲 2025-05-29 2025-05-27
leaky ReLU 🌲 2025-02-19 2025-02-19
lebesgue integral of sum is sum of the integral 🌲 2025-07-14 2025-07-14
lebesgue measurable 🌲 2025-07-14 2025-06-17
lipschitz graph convolutions of graph signals converge to lipschitz graphon filters 🌲 2025-04-22 2025-04-15
maximal element 🌲 2025-06-05 2025-06-05
maximal epsilon packing is also a net 🌲 2025-09-05 2025-09-04
maximal orthonormal set 🌲 2025-07-15 2025-07-15
measurable function 🌲 2025-07-14 2025-07-08
measurable sets form a sigma algebra 🌲 2025-07-08 2025-07-08
measure of finite disjoint measurable sets is the sum of the measures 🌲 2025-07-08 2025-07-08
measure of union of nested sets converges to measure of limiting set 🌲 2025-07-08 2025-07-08
measure satisfies countable additivity 🌲 2025-07-08 2025-07-08
message passing neural network 🌲 2025-02-20 2025-02-18
nonnegative measurable functions 🌲 2025-07-14 2025-07-14
open intervals with upper bound infinity are measurable 🌲 2025-07-08 2025-07-08
open mapping theorem 🌲 2025-06-05 2025-06-05
operator distance modulo permutations 🌲 2025-03-10 2025-03-05
orthonormal basis of a hilbert space 🌲 2025-07-15 2025-07-15
outer measure has countable subadditivity 🌲 2025-09-04 2025-07-01
outer measure of subsets are bounded by their supersets 🌲 2025-07-01 2025-07-01
outer measure zero sets are measurable 🌲 2025-07-01 2025-07-01
partial order 🌲 2025-06-05 2025-06-05
quasi-symmetry 🌲 2025-03-05 2025-03-05
quotient of a vector space 🌲 2025-06-05 2025-06-05
random graphs in a gin are good for graph isomorphism 🌲 2025-03-04 2025-03-04
readout layer 🌲 2025-03-17 2025-02-19
reflexive banach space 🌲 2025-06-12 2025-06-12
relative perturbation edge changes are tied to node degree 🌲 2025-03-10 2025-03-10
relative perturbations 🌲 2025-03-10 2025-03-10
restricted inner product 🪴 2025-09-04 2025-09-04
semi-norm 🌲 2025-05-29 2025-05-27
separable Hilbert spaces are bijective with ell-2 🌲 2025-07-15 2025-07-15
sets of measure zero do not affect the integral 🌲 2025-07-14 2025-07-14
sigma-algebra 🌲 2025-07-01 2025-07-01
signal to noise ratio 🫘 2025-02-11 2025-02-10
simple function 🌲 2025-07-14 2025-07-14
simple functions are measurable 🌲 2025-07-14 2025-07-14
simple functions can be written as a finite complex linear combination of indicator functions 🌲 2025-07-14 2025-07-14
sometimes spectral algorithms fail 🌲 2025-02-12 2025-02-12
spectral clustering 🫘 2025-02-26 2025-02-10
spectral embedding 🌲 2025-02-12 2025-02-12
spectral representation of graphon convolutions 🌲 2025-06-09 2025-04-09
stability and size tradeoff for realistic sparsity pattern considerations setting 🪴 2025-03-10 2025-03-10
stability-discriminability tradeoff for Lipschitz filters 🌲 2025-03-10 2025-03-10
stable graph filter 🌲 2025-03-10 2025-03-10
summable series 🌲 2025-05-29 2025-05-29
sums and products of measurable functions are measurable 🌲 2025-07-14 2025-07-14
sums and products of simple functions are simple functions 🌲 2025-07-14 2025-07-14
sups and infs of measurable functions are measurable 🌲 2025-07-14 2025-07-14
template graph 🌲 2025-06-12 2025-03-26
template graphs converge to the graphon 🌲 2025-03-26 2025-03-26
the functional to the double dual is isometric 🌲 2025-06-12 2025-06-12
the limit of a convergent sequence of measurable functions is measurable 🌲 2025-07-14 2025-07-14
the outer measure of an interval is its length 🌲 2025-07-01 2025-07-01
uniform boundedness theorem 🌲 2025-06-05 2025-06-05
unions of measurable sets are measurable 🌲 2025-07-01 2025-07-01
upper bound 🌲 2025-06-05 2025-06-05
ways to sample graphs from graphons 2025-03-26 2025-03-26
we can always extend functions on subspaces 🌲 2025-07-01 2025-07-01
we can always find an open set with outer measure slightly more 🌲 2025-07-01 2025-07-01
we can find an epsilon net with the bound for an epsilon packing 🌲 2025-09-04 2025-09-04
we can use GNNs to solve feature-aware semi-supervised learning problems 🌲 2025-02-12 2025-02-12
we can write a graphon in the basis of its shift operator 🌲 2025-04-16 2025-04-01
weighted graph (sample) 🌲 2025-05-28 2025-03-26
weighted sampled graphs converge to the graphon in probability 🌲 2025-03-26 2025-03-26
high probability bound for operator norm of difference for Gaussian covariance matrix 🌲 2025-09-04 2025-09-04
high probability bound on singular values of gaussian random matrix 🌲 2025-09-05 2025-09-05
orthogonally invariant distribution on the unit sphere 🌲 2025-09-05 2025-09-05
gaussian random vector 🌲 2025-09-05 2025-09-05
gaussian random vectors are closed under linear transformations 🌲 2025-09-05 2025-09-05
standard gaussian random vectors are orthogonally invariant 🌲 2025-09-05 2025-09-05
normalized standard gaussian random vectors have the orthogonally invariant distribution on the unit sphere 🌲 2025-09-08 2025-09-05
Markov's Inequality 🪴 2025-09-08 2025-09-08
Chebyshev's Inequality 🪴 2025-09-08 2025-09-08
concentration inequality for magnitude of standard gaussian random vector 🌲 2025-09-08 2025-09-08