Bradley J. Lucier
Professor Emeritus of Mathematics and Computer Science
Purdue University
Math 809
150 North University Street
W. Lafayette, IN 47907-2067
lucier@math.purdue.edu
A professor can do as he pleases, but a professor emeritus can do as he damn well pleases. Nicolaas Bloembergen
You're an evil man. Linus Torvalds
Thank you.
Publications
A complete list of my papers can be found on my "bio" page
. You can download various papers by me and my previous students on image processing and wavelets and
numerical methods for partial differential equations and related topics.
New: A publication that doesn't quite fit in with those two lists is How I First Heard About Calculus which appears in the Journal of Humanistic Mathematics.
Conjecture
In Pointwise Besov Space Smoothing of Images we consider the following problem: Let an image $\epsilon$ be defined on $I=[0,1]^2$, the unit square, divided into $N\times N$ subsquares $I_i$ indexed by the multi-index $i=(i_1,i_2)$, $0\leq i_1,i_2<N$. The value of the image $\epsilon$ on $I_i$ is given by $\epsilon_i$, where the $\epsilon_i$ are i.i.d. $N(0,1)$ random variables. For various reasons it's interesting to estimate the expected value of the norm of $\epsilon$ in the dual space of $\text{BV}(I)$, the space of functions of bounded variation on $I$. Specifically, we want to estimate $$E\left(|\epsilon|_{\text{BV(I)}^*}\right)=E\left(\sup_{\|f\|_{\text{BV}(I)}\leq 1}\left|\int_I f\epsilon\right|\right).\tag{1}$$
We note in Section 8 of the previously mentioned paper that because of the strict norm inclusions $B^1_1(L_1(I))\subset\text{BV}(I)\subset B^1_\infty(L_1(I))$ between $\text{BV}(I)$ and the Besov spaces $B^1_1(L_1(I))$ and $ B^1_\infty(L_1(I))$, we can exploit wavelet atomic decompositions of the Besov spaces to show that there exist two constants $C_1$ and $C_2$ such that
$$
C_1\frac{|\log N|^{1/2}}N\leq E\left(|\epsilon|_{\text{BV(I)}^*}\right)\leq C_2\frac{|\log N|^{3/2}}N.
$$
I conjecture that the tighter bounds
$$
C_1\frac{\log N}N\leq E\left(|\epsilon|_{\text{BV(I)}^*}\right)\leq C_2\frac{\log N}N.
$$
hold. Update: We updated the supremeum in Equation (1) to replace $|f|_{\text{BV}(I)}$ by $\|f\|_{\text{BV}(I)}=|f|_{\text{BV}(I)}+\|f\|_{L^1(I)}$. Alternately, one could use $|f|_{\text{BV}(I)}$ and require $\int_I f=0$.
Courses
Test Images
High quality, grey-scale, test images for purposes of testing algorithms on natural images. Some results from my compression program are given.
The original Kodak Photo CD Photo Sampler color images from which the greyscale images above were derived, and the copyright terms under which the Kodak Photo CD Photo Sampler images were released. If anyone can tell me a standard way to convert these to YUV, YCrCb, or RGB, I'd be interested. Later note: it seems that various versions of Photoshop have good color conversion between Kodak Photo CD format and RGB, so that is what I used for the color versions. I'm still not happy with Photoshop's conversion to grey-scale. You can find a lot of useful information about working with Photo CD images at Ted's Unofficial Kodak Photo CD Homepage.
Non-blogs
Software
- Software for the numerical approximation of solutions of elliptic and parabolic partial differential equations (from CS 615).
- Schelog, an embedding of Prolog into Scheme that was written by Dorai Sitaram, adapted for Gambit-C.
- Meroon, an object-oriented extension to Scheme, written by Christian Queinnec and
modified to run well on Gambit-C.
- Beating the Averages by Paul Graham tells how to beat your competitors using Lisp.
He also wrote Revenge of the Nerds.
- Design Patterns in Dynamic Programming by Peter
Norvig explains why many of the classical design patterns used in C++ or Java are trivial or not needed in dynamic
languages like Common Lisp, Scheme, and Dylan, and presents new, more powerful, design patterns for dynamic languages. Later addition: Richard P. Gabriel, a strong proponent of design patterns
in computer programming, claims that the Gang of Four "Design Patterns" book
for C++ and Java programmers helps "losers lose less", and that design
patterns (lower case) are powerful techniques for organizing computer
programs, even in dynamic programming languages.
- A Common Lisp tutorial.
- Lawrence Lessig talks about how extensions to copyright terms over the last 40 years form theft from the public;
how software patents are holding back innovation; how small losses to copyright holders are leading to federal proposals of legal
vigilantism, where corporations are given free rein to hack your computer; and what you can do about it.
- Hackers, Slackers, and Shackles: The Future of Free Software Game Development is an interesting essay about several things: the history of the computer gaming industry, the importance of computer
games in motivating learning about computers, and how open-sourcing computer games would
increase innovation and progress.
- There are blog aggregators for Lisp and Scheme.
- Why Lisp?
- Want to learn Scheme? Structure and Interpretation of Computer Programs is the best book on
programming ever written, and it uses Scheme, and it's available online. SICP is somewhat mathematical and moves at
a pretty fast clip; if you want a slower introduction to programming using
Scheme, I recommend The Schematics of Computation, which contains all the big ideas of SICP, but
uses a broader range of examples---I call it "SICP for mortals". Unfortunately, it's not available online but I think it's worth buying.
In a hurry? Try Teach Yourself Scheme in Fixnum Days by Dorai Sitaram.
Another text available online is How to Design Programs,
which is closely integrated with Racket (formerly PLT Scheme).
Of the few French textbooks that I know, I like Programmer avec Scheme: De la pratique à la théorie, by Jacques Chazarain.
And, if you're looking for programming exercises that are not trivial
but not too involved, try the blog Programming Praxis, written by Phil Bewig. Learn visually? John Clements
has collected a list of Scheme video lectures and talks.
My favorite
Scheme implementation is Gambit Scheme, written mainly by Marc Feeley.
- Use functional programming to deliver single-source, free-standing graphical apps across platforms, including mobile and embedded targets! LambdaNative is a cross-platform (Android, iOS, BlackBerry 10, Mac OS X, Linux, Windows, OpenBSD, NetBSD, FreeBSD and OpenWrt) development environment written in Gambit Scheme.
- Want to learn Common Lisp, likely the most powerful Lisp dialect? The Land of Lisp
is a great book by Conrad Barski, M.D. He has a great sense of humor, writes well, and teaches Common Lisp
through game programming, a great way to learn anything! If you don't want to read the book, at least see the
music video! Update: There's now a review of The Land of Lisp on Slashdot. Another good book is Practical Common Lisp
by Peter Seibel. There are several free Common Lisp implementations,
you could start with SBCL.
Books
- The West Lafayette campus of Purdue University has purchased a site license for the book Basic Concepts of Mathematics
by Elias Zakon, published by The Trillia Group,
an online publishing house I founded. This book helps the student complete the transition
from purely manipulative to rigorous mathematics while covering the following
topics: basic set theory, induction, quantifiers, properties of the real
numbers (including consequences of the completeness axiom), fields, and basic properties of n-dimensional
Euclidean spaces; the online index
gives more information about the contents. Under the terms of the site license,
this text can be used
without charge by any student or member of the faculty or staff of
the West Lafayette Campus of Purdue University.
Other schools buying site licenses for Basic Concepts of Mathematics include
Lehman College,
the University of Windsor and
Swarthmore College.
- The Trillia Group has also published the second book in
the Zakon Series on Mathematical Analysis, Zakon's
Mathematical Analysis I (which covers metric spaces, continuity, differentiation and integration; its index is online). The West Lafayette campus of
Purdue has bought a site license for this book, so any students or staff on that campus can download and use it for free.
The Trillia Group has licensed Proceedings.com to reprint Mathematical Analysis I
in paperback format for sale throughout the world. New: The Saylor Foundation has named Mathematical Analysis I one of the first winners of its Open Textbook Challenge.
- With the cooperation of Barbara Moser and William Moser, the Trillia Group has published
An Introduction to the Theory of Numbers by
Leo Moser.
- The Trillia Group has now released Mathematical Analysis II, which covers calculus on normed linear spaces, and (Lebesgue) measure and integration.
- There are many free books, sets of lecture notes, interactive courses, etc., that are of value for students learning mathematics;
I've put together a set of links to online mathematics materials that you may find of interest.
Personal
My wife Maureen is an ATA-certified translator from French into English.
Math Department Home Page