Ciro Santilli @cirosantilli 40

 Articles (13k) Discussions (29) Comments (66) Follows  Received likes Files

New Updated  Top  Announced  A-Z  Liked  Followed

Quantum computers as experiments that are hard to predict outcomes Updated 2025-07-16

One possibly interesting and possibly obvious point of view, is that a quantum computer is an experimental device that executes a quantum probabilistic experiment for which the probabilities cannot be calculated theoretically efficiently by a nuclear weapon.

This is how quantum computing was originally theorized by the likes of Richard Feynman: they noticed that "Hey, here's a well formulated quantum mechanics problem, which I know the algorithm to solve (calculate the probability of outcomes), but it would take exponential time on the problem size".

The converse is then of course that if you were able to encode useful problems in such an experiment, then you have a computer that allows for exponential speedups.

This can be seen very directly by studying one specific quantum computer implementation. E.g. if you take the simplest to understand one, photonic quantum computer, you can make systems for which you need exponential time to calculate the probabilities that photons will exit through certain holes and not others.

The obvious aspect of this idea is by coming from quantum logic gates are needed because you can't compute the matrix explicitly as it grows exponentially: knowing the full explicit matrix is impossible in practice, and knowing the matrix is equivalent to knowing the probabilities of every outcome.

 Read the full article

Quantum computer benchmark Updated 2025-07-16

One important area of research and development of quantum computing is the development of benchmarks that allow us to compare different quantum computers to decide which one is more powerful than the other.

Ideally, we would like to be able to have a single number that predicts which computer is more powerful than the other for a wide range of algorithms.

However, much like in CPU benchmarking, this is a very complex problem, since different algorithms might perform differently in different architectures, making it very hard to sum up the architecture's capabilities to a single number as we would like.

The only thing that is directly comparable across computers is how two machines perform for a single algorithm, but we want a single number that is representative of many algorithms.

For example, the number of qubits would be a simple naive choice of such performance predictor number. But it is very imprecise, since other factors are also very important:

qubit error rate
coherence time, which determines the maximum circuit depth
qubit connectivity. Can you only connect to 4 neighbouring qubits in a 2D plane? Or to every other qubit equally as well?

Quantum volume is another less naive attempt at such metric.

 Read the full article

Quantum Computation and Quantum Information by Nielsen and Chuang Updated 2025-07-16

www.amazon.com/dp/1107002176

 Read the full article

Quantum chromodynamics Updated 2025-07-16

Formulated as a quantum field theory.

Quarks, Gluon flux tubes, Strong Nuclear Force, & Quantum Chromodynamics by Physics Videos by Eugene Khutoryansky (2018)

Source. Some decent visualizations of how the field lines don't expand out like they do in electromagnetism, suggesting color confinement.

PHYS 485 Lecture 6: Feynman Diagrams by Roger Moore (2016)

Source. Despite the title, this is mostly about QCD.

 Read the full article

Public relations Updated 2025-07-16

The reason public relations is evil in modern society is because, like discrimination, public relations works by dumb association and not logic or fairness.

If you're the son of the killer, you're fucked.

This is unlike our ideal for law which attempts, though sometimes fails, at isolating cause and effect.

 Read the full article

Quantization as an Eigenvalue Problem Updated 2025-07-16

This paper appears to calculate the Schrödinger equation solution for the hydrogen atom.

TODO is this the original paper on the Schrödinger equation?

Published on Annalen der Physik in 1926.

Open access in German at: onlinelibrary.wiley.com/doi/10.1002/andp.19263840404 which gives volume 384, Issue 4, Pages 361-376. Kudos to Wiley for that. E.g. Nature did not have similar policies as of 2023.

This paper may have fallen into the public domain in the US in 2022! On the Internet Archive we can see scans of the journal that contains it at: ia903403.us.archive.org/29/items/sim_annalen-der-physik_1926_79_contents/sim_annalen-der-physik_1926_79_contents.pdf. Ciro Santilli extracted just the paper to: commons.wikimedia.org/w/index.php?title=File%3AQuantisierung_als_Eigenwertproblem.pdf. It is not as well processed as the Wiley one, but it is of 100% guaranteed clean public domain provenance! TODO: hmmm, it may be public domain in the USA but not Germany, where 70 years after author deaths rules, and Schrodinger died in 1961, so it may be up to 2031 in that country... messy stuff. There's also the question of wether copyright is was tranferred to AdP at publication or not.

An early English translation present at Collected Papers On Wave Mechanics by Deans (1928).

Contains formulas such as the Schrödinger equation solution for the hydrogen atom (1''):

(\frac{\partial ψ}{\partial x})^{2} + (\frac{\partial ψ}{\partial y})^{2} + (\frac{\partial ψ}{\partial z})^{2} + \frac{2 m}{K} (E + \frac{2}{r}) ψ^{2} = 0

where:

$r = x^{2} + y^{2} + z^{2}$
In order for there to be numerical agreement, $K$ must have the value $h /2 π$
$e$ , $m$ are the charge and mass of the electron

 Read the full article

Program Raspberry Pi Pico W with C Updated 2025-07-26

Ubuntu 22.04 build just worked, nice! Much feels much cleaner than the Micro Bit C setup:

sudo apt install cmake gcc-arm-none-eabi libnewlib-arm-none-eabi libstdc++-arm-none-eabi-newlib

git clone https://github.com/raspberrypi/pico-sdk
cd pico-sdk
git checkout 2e6142b15b8a75c1227dd3edbe839193b2bf9041
cd ..

git clone https://github.com/raspberrypi/pico-examples
cd pico-examples
git checkout a7ad17156bf60842ee55c8f86cd39e9cd7427c1d
cd ..

export PICO_SDK_PATH="$(pwd)/pico-sdk"
cd pico-exampes
mkdir build
cd build
# Board selection.
# https://www.raspberrypi.com/documentation/microcontrollers/c_sdk.html also says you can give wifi ID and password here for W.
cmake -DPICO_BOARD=pico_w ..
make -j

Then we install the programs just like any other UF2 but plugging it in with BOOTSEL pressed and copying the UF2 over, e.g.:

cp pico_w/blink/picow_blink.uf2 /media/$USER/RPI-RP2/

Note that there is a separate example for the W and non W LED, for non-W it is:

cp blink/blink.uf2 /media/$USER/RPI-RP2/

Also tested the UART over USB example:

cp hello_world/usb/hello_usb.uf2 /media/$USER/RPI-RP2/

You can then see the UART messages with:

screen /dev/ttyACM0 115200

TODO understand the proper debug setup, and a flash setup that doesn't require us to plug out and replug the thing every two seconds. www.electronicshub.org/programming-raspberry-pi-pico-with-swd/ appears to describe it, with SWD to do both debug and flash. To do it, you seem need another board with GPIO, e.g. a Raspberry Pi, the laptop alone is not enough.

 Read the full article

Product definition of the exponential function Updated 2025-07-16

e^{x} = lim_{n \to \infty} (1 + \frac{x}{n})^{n}

The basic intuition for this is to start from the origin and make small changes to the function based on its known derivative at the origin.

More precisely, we know that for any base b, exponentiation satisfies:

$b^{x + y} = b^{x} b^{y}$ .
$b^{0} = 1$ .

And we also know that for

b = e

in particular that we satisfy the exponential function differential equation and so:

\frac{d e ^{x}}{d x} (0) = 1

One interesting fact is that the only thing we use from the exponential function differential equation is the value around

x = 0

, which is quite little information! This idea is basically what is behind the importance of the ralationship between Lie group-Lie algebra correspondence via the exponential map. In the more general settings of groups and manifolds, restricting ourselves to be near the origin is a huge advantage.

Now suppose that we want to calculate

e^{1}

. The idea is to start from

e^{0}

and then then to use the first order of the Taylor series to extend the known value of

e^{0}

to

e^{1}

.

E.g., if we split into 2 parts, we know that:

e^{1} = e^{1/2} e^{1/2}

or in three parts:

e^{1} = e^{1/3} e^{1/3} e^{1/3}

so we can just use arbitrarily many parts

e^{1/ n}

that are arbitrarily close to

x = 0

:

e^{1} = (e^{1/ n})^{n}

and more generally for any

x

we have:

e^{x} = (e^{x / n})^{n}

Let's see what happens with the Taylor series. We have near

y = 0

in little-o notation:

e^{y} = 1 + y + o (y)

Therefore, for

y = x / n

, which is near

y = 0

for any fixed

x

:

e^{x / n} = 1 + x / n + o (1/ n)

and therefore:

e^{x} = (e^{x / n})^{n} = (1 + x / n + o (1/ n))^{n}

which is basically the formula tha we wanted. We just have to convince ourselves that at

lim_{n \to \infty}

, the

o (1/ n)

disappears, i.e.:

(1 + x / n + o (1/ n))^{n} = (1 + x / n)^{n}

To do that, let's multiply

e^{y}

by itself once:

e^{y} e^{y} = (1 + y + o (y)) (1 + y + o (y)) = 1 + 2 y + o (y)

and multiplying a third time:

e^{y} e^{y} e^{y} = (1 + 2 y + o (y)) (1 + y + o (y)) = 1 + 3 y + o (y)

TODO conclude.

 Read the full article

Primer (YouTube channel) Updated 2025-07-16

This channel contains several 2D continuous simulations and explains AI techniques used.

The engine appears to be open source: github.com/Primer-Learning/PrimerTools (previously at: github.com/Helpsypoo/primer). Models are closed source however.

They have several interesting multiagent game ideas.

Claims Unity-based, so has the downside of relying on a non-FOSS engine.

Ciro became mildly jealous of this channel when he found out about it, because at 800k subscribers at the time, the creator is likely able to make a living off of it, something which Ciro thought impossible.

As of 2022 he was at 1.6M followers with only 17 videos! Of course, much of those videos is about the software and they require infinite development hours to video time ratios.

Much of this success hinges a large part on the amazing 3D game presentation.

Well done!

Created by Justin Helps. Awesome name.

To make things better, the generically named channel is also the title of one of the best films of al time: Primer (2004).

Simulating Foraging Decisions by Primer (2020)

 Read the full article

Primality test Updated 2025-07-16

 Read the full article

Pre-trained computer vision model Updated 2025-07-16

 Read the full article

PQShield Updated 2025-09-17

They seem to be doing hardware acceleration for post-quantum cryptography algorithm.

One has to feel bad for them as they likely threw out entire chip designs over NIST Post-Quantum Cryptography Standardization algorithm breakeges.

 Read the full article

Power, performance and area Updated 2025-07-16

en.wikichip.org/wiki/power-performance-area

This is the mantra of the semiconductor industry:

power and area are the main limiting factors of chips, i.e., your budget:
- chip area is ultra expensive because there are sporadic errors in the fabrication process, and each error in any part of the chip can potentially break the entire chip. Although there are
  The percentage of working chips is called the yield.
  In some cases however, e.g. if the error only affects single CPU of a multi-core CPU, then they actually deactivate the broken CPU after testing, and sell the worse CPU cheaper with a clear branding of that: this is called binning www.tomshardware.com/uk/reviews/glossary-binning-definition,5892.html
- power is a major semiconductor limit as of 2010's and onwards. If everything turns on at once, the chip would burn. Designs have to account for that.
performance is the goal.
Conceptually, this is basically a set of algorithms that you want your hardware to solve, each one with a respective weight of importance.
Serial performance is fundamentally limited by the longest path that electrons have to travel in a given clock cycle.
The way to work around it is to create pipelines, splitting up single operations into multiple smaller operations, and storing intermediate results in memories.

 Read the full article

Post-quantum cryptography Updated 2025-07-16

Encryption algorithms that run on classical computers that are expected to be resistant to quantum computers.

This is notably not the case of the dominant 2020 algorithms, RSA and elliptic curve cryptography, which are provably broken by Grover's algorithm.

However, as of 2020, we don't have any proof that any symmetric or public key algorithm is quantum resistant.

Post-quantum cryptography is the very first quantum computing thing at which people have to put money into.

The reason is that attackers would be able to store captured ciphertext, and then retroactively break them once and if quantum computing power becomes available in the future.

There isn't a shade of a doubt that intelligence agencies are actively doing this as of 2020. They must have a database of how interesting a given source is, and then store as much as they can given some ammount of storage budget they have available.

A good way to explain this to quantum computing skeptics is to ask them:

If I told you there is a 5% chance that I will be able to decrypt everything you write online starting today in 10 years. Would you give me a dollar to reduce that chance to 0.5%?

Post-quantum cryptography is simply not a choice. It must be done now. Even if the risk is low, the cost would be way too great.

 Read the full article

Plutonium Updated 2025-07-16

Vs uranium: uranium vs plutonium Quora answer by Ciro Santilli.

What a material:

only exists in trace amounts in nature,but it can be produced at kilogram scale in breeder reactors
it is only intentionally produced for one application, and one application only basically: nuclear weapons

Video 1. Source. Plutonium for self-respect scene from the 1987 film Edge of Darkness

Burning and Extinguishing Characteristics of Plutonium Metal Fires by RobPlonski

. Source. Commented by this dude: www.linkedin.com/in/robplonski/

 Read the full article

Plausible deniability of email password handover Updated 2025-07-16

protonmail.uservoice.com/forums/284483-feedback/suggestions/39962275-plausible-deniability

You need a secondary password that when used leads to an empty inbox with a setting set where message are deleted after 2 days.

This way, if the attacker sends a test email, it will still show up, but being empty is also plausible.

Of course, this means that any new emails received will be visible by the attacker, so you have to find a way to inform senders that the account has been compromised.

So you have to find a way to inform senders that the account has been compromised, e.g. a secret pre-agreed canary that must be checked each time as part of the contact protocol.

 Read the full article

PlanetMath Updated 2025-07-16

planetmath.org/

Based on GitHub pull requests: github.com/planetmath

Joe Corneli, of of the contributors, mentions this in a cool-sounding "Peeragogy" context at metameso.org/~joe/:

I earned my doctorate at The Open University in Milton Keynes, with a thesis focused on peer produced support for peer learning in the mathematics domain. The main case study was planetmath.org; the ideas also informed the development of “Peeragogy”.

 Read the full article

Plancherel theorem Updated 2025-07-16

Some sources say that this is just the part that says that the norm of a

L^{2}

function is the same as the norm of its Fourier transform.

Others say that this theorem actually says that the Fourier transform is bijective.

The comment at math.stackexchange.com/questions/446870/bijectiveness-injectiveness-and-surjectiveness-of-fourier-transformation-define/1235725#1235725 may be of interest, it says that the bijection statement is an easy consequence from the norm one, thus the confusion.

TODO does it require it to be in

l^{1}

as well? Wikipedia en.wikipedia.org/w/index.php?title=Plancherel_theorem&oldid=987110841 says yes, but courses.maths.ox.ac.uk/node/view_material/53981 does not mention it.

 Read the full article

Pipa piece Updated 2025-07-16

TODO identify better:

Posing As a Wind Instrument Player In an Ensemble by Li Xuan

. Source. Part of "Chinese Ancient Music - Vol 2, High Mountains And Flowing Water", e.g. as seen at: www.youtube.com/watch?v=If7ARKoMiKI.

 Read the full article

Isidor Isaac Rabi Updated 2025-07-16

He was a leading figure at the MIT Radiation Laboratory, and later he was head at the Columbia University laboratory that carried out the crucial Lamb-Retherford experiment and the anomalous magnetic dipole moment of the electron published at The Magnetic Moment of the Electron by Kusch and Foley (1948) using related techniques.

Figure 1. Source.

 Read the full article

 Unlisted articles are being shown, click here to show only listed articles.