The 2nd part of my talk to postgraduate students is all about statistics, particularly hypothesis testing, and why I like Bayesian approaches. As the room allocated was long and thin with whiteboards only on the long walls, I decided that a chalk-and-talk would just lead to neck ache in my audience.

So I want with a beamer talk (pdf of slides) which inevitably lead to me finishing early. I guess no-one minded this.

A mini-bibliography:

- I still really enjoy my undergraduate lecture notes curtesy of Prof. Richard Weber (I feel old to see that Prof Weber is now retired...)
- Rice, "Mathematical Statistics And Data Analysis" which said lecture notes follow moderately closely. Amazon link. Also available in the UCLAN library.
- A wonderful book is MacKay, Information Theory, Inference, and Learning Algorithms. Available in electronic format for free.
- A more straight-up introduction to Bayesian thought is Sivia and Skilling, "Data Analysis: A Bayesian Tutorial". Amazon link. This book blends some philosophical thoughts (but not overly heavy) with practical and interesting advanced statistics. I believe it's available online from one of the online libraries UCLAN subscribes to (and/or is in the library).
- A more heavy-weight alternative is Bayesian Data Analysis, Third Edition by the gang of six. Amazon link.
- A bed-time book is the excellent Nate Silver's book "The signal and the noise". Amazon link. Everyone should read this.

As part of my job, I have to give two lectures to postgraduate students, as part of a "training programme" for them. As we have no Mathematics PhD students, I will be speaking to (Astro-)Physicists and Astronomers. This leave me with three choices, as I see it:

- Give an actual research talk, and loose everyone in 3 minutes (hands up who knows what a Hilbert Space is. Oh.)
- Give a "public science" like talk on e.g. non-commutative geometry. Hard to see how this contributes to "training".
- Speak about something Mathematical, but not related to my current research. Something on basic statistics it is then.

So, my talks will be "A Mathematician looks at statistics". These are some brief working notes: for the first talk at least I plan to give a "chalk-and-talk" with maybe some brief Python demonstrations.

Read More →The final part of building a voice-activated Christmas tree light is the actual lights. Following the instructions in PiMag 88 I bought 2 meters of NeoPixels from Pimoroni and, erm, little else!

Read More →This is a follow-on post about speech recognition on a Raspberry Pi. Of course, Christmas and come and gone; perhaps I will finish this project for Christmas 2020! The original project was to make some voice activated Christmas tree lights. The original project had a push-button activation, but to compete with my son's new Alexa, I wanted to use a hotword wake-up instead.

The first attempt was to use Snowboy which is an open source, but slightly morribund project. The previous blog post details (with links) how to build a Python 3 compatible library.

Read More →My son and I are attempting to follow the instructions in Pi Mag 88 to build a voice activated LED-powered Christmas tree decoration. This is part of what I suspect shall be many posts documenting my attempts to actually use the couple of Raspberry Pis which we own.

Up first is recording audio on the Pi. I purchased this cheap USB microphone. It works, but it's rather poor quality. With a bit more research, I might have bought a Playstation Eye which is nearly as cheap, and apparently pretty much works out the box with the Pi. We played with the Microphone on our Pi 3 connected up to monitor, keyboard etc. but eventually we want to use my Pi 0 in headless mode.

Read More →Having had to do some emergency plumbing on my ETA Pellet boiler before breakfast, I got to thinking about energy costs for heating. We are off the mains gas grid, and previously the house was heating by an oil boiler, but the previous owner installed the pellet boiler. Government subsidies can affect costs, but for reasons I don't fully understand, we are not on the RHI. So I pay full fuel costs, and maintenance, but obviously didn't pay installation costs.

Read More →Some time ago I stumbled across Manifold an old magazine published in the 1960s out of Warwick university. It's a whimsical Mathematical magazine, now reproduced on Ian Stewart's Website. A python script later and I downloaded the image files (now repeating the exercise after I realised higher-quality scans are available from a slightly different URL base).

This left me with a large number of jpeg files, which is both annoying, and a pain to try to read. Fast-forward in time to the start of 2018. I was interested in PDF files, and got sufficiently interested to research the file format, and write a fairly serious Python module to convert PDF files into Python objects which could be browsed. I also wrote some code to produce PDF files assembled out of images: using both PNG compression, and JBIG2. For the latter I used an external converter, but for the PNG files I went so far as to implement my own (slow, but not impossibly so) implementation in Python.

Read More →A preprint arXiv:1907.03661 which has been on the arXiv for a while, but which is now submitted. The paper is partly an exposition of some techniques for dealing with Analytic Generators of one-parameter isometry groups: as people explore Type III arguments in von Neumann algebras, I want to revisit these old(ish) ideas and show that developing theory can be rather useful.

My main motivation was the study of locally compact quantum groups and in particular the fact that the antipode can be understood through studying the scaling group. One of the facets of topological quantum group theory is the interaction between the \( C^* \)-algebraic and von Neumann algebraic theories; in particular we have an inclusion \( \newcommand{\G}{\mathbb G}C_0(\G) \rightarrow L^\infty(\G) \) which intertwines the relevant scaling groups. I show that in this general setup, there is a Kaplansky Density type result for the analytic generators involved. The techniques of the proof also allow me to prove an "automatic normality" result, giving a description of \( L^1_\sharp(\G) \) the natural dense \( \ast \)-subalgebra of \( L^1(\G) \).

Read More →