Without me, my stack is useless. Without my stack, I am useless. I must fire my requests true. I must shoot straighter than my hackers who are trying to kill me. I must shoot him before he shoots me. I will ...My stack is human, even as I am human, because it is my life. Thus, I will learn it as a brother. I will learn its weaknesses, its strength, its parts, its accessories, its ORMs and its asset bundlers. I will keep my stack clean and ready, even as I am clean and ready. We will become part of each other. We will ...
Explanation: this is an allusion to the Rifleman's Creed. This particular version talks about the website stack chosen for a website, i.e. the libraries used.
Ciro Santilli has always felt that choosing a stack is an almost religious choice. It is perhaps part of why the prayer style of the original Rifleman's Creed resonates with the web stack choice.
It is very hard to know how things are going go, the ups and downs, before putting big hours into it.
And once you start, it is hard, though not impossible, to move away.
Wave equation solution with Fourier series by 
Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01
Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01eigenvalue problem of Laplace's equation.
Set of all decision problems solvable by a Turing machine, i.e. that decide if a string belongs to a recursive language.
One of the four following states:
The Bell states are entangled and non-separable. Intuitively, we can see that when we measure that state, the values of the first and second bit are strictly correlated. This is the hallmark of quantum computation: making up states where qubits are highly correlated to match a specific algorithmic answer, and opposed to uniformly random noise. For example, the Bell state circuit is a common hello world, e.g. it is used in the official Qiskit hello world.
Quantum logic gates are needed for physical implementation by Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01
Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01One direct practical reason is that we need to map the matrix to real quantum hardware somehow, and all quantum hardware designs so far and likely in the future are gate-based: you manipulate a small number of qubits at a time (2) and add more and more of such operations.
While there are "quantum compilers" to increase the portability of quantum programs, it is to be expected that programs manually crafted for a specific hardware will be more efficient just like in classic computers.
TODO: is there any clear reason why computers can't beat humans in approximating any unitary matrix with a gate set?
This is analogous to what classic circuit programmers will do, by using smaller logic gates to create complex circuits, rather than directly creating one huge truth table.
The gates themselves are just unitary matrices that operate on the input qubits and produce the same number of output qubits.
For example, the matrix for the CNOT gate, which takes 2 qubits as input is:
1 0 0 0
0 1 0 0
0 0 0 1
0 0 1 0The final question is then: if I have a 2 qubit gate but an input with more qubits, say 3 qubits, then what does the 2 qubit gate (4x4 matrix) do for the final big 3 qubit matrix (8x8)? In order words, how do we scale quantum gates up to match the total number of qubits?
The intuitive answer is simple: we "just" extend the small matrix with a larger identity matrix so that the sum of the probabilities third bit is unaffected.
More precisely, we likely have to extend the matrix in a way such that the partial measurement of the original small gate qubits leaves all other qubits unaffected.
For example, if the circuit were made up of a CNOT gate operating on the first and second qubits as in:
0 ----+----- 0
|
1 ---CNOT--- 1
2 ---------- 2TODO lazy to properly learn right now. Apparently you have to use the Kronecker product by the identity matrix. Also, zX-calculus appears to provide a powerful alternative method in some/all cases.
TODO why is it so hard to find anything non perturbative :-(
- www.youtube.com/channel/UCPHFUHiwbpMqC8ONxEICCiQ NanoNebula using raw Perl PDFL en.wikipedia.org/wiki/Perl_Data_Language (the Perl NumPy)
- www.youtube.com/watch?v=9TJe1Pr5c9Q "Interplay of Quantum Electrodynamics and Quantum Chromodynamics in the Nontrivial Vacuum" by CSSM Visualisation (2019)
On a quantum computer...:
- www.cornell.edu/video/john-preskill-simulating-quantum-field-theory-with-quantum-computer Simulating Quantum Field Theory with a Quantum Computer by John Preskill (2019)
- www.youtube.com/watch?v=Lln-C21u0U8 Quantum Simulation from Quantum Chemistry to Quantum Field Theory by Peter Love (2019)
Are we living in the matrix? by David Tong (2020)
Source. Talks about how the Nielsen-Ninomiya theorem means it is impossible to simulate QFT on a computer in the case of a lattice gauge theory.- Paulo Nussenzveig physics researcher at University of São Paulo. Laboratory page: portal.if.usp.br/lmcal/pt-br/node/323: LMCAL, laboratory of coherent manipulation of atoms and light. Google Scholar: scholar.google.com/citations?user=FbGL0BEAAAAJ
- Brazil Quantum: interest group created by students. Might be a software consultancy: www.terra.com.br/noticias/tecnologia/inovacao/pesquisadores-paulistas-tentam-colocar-brasil-no-mapa-da-computacao-quantica,2efe660fbae16bc8901b1d00d139c8d2sz31cgc9.html
- DOBSLIT dobslit.com/en/the-company/ company in São Carlos, as of 2022 a quantum software consultancy with 3 people: www.linkedin.com/search/results/people/?currentCompany=%5B%2272433615%22%5D&origin=COMPANY_PAGE_CANNED_SEARCH&sid=TAj two of them from the Federal University of São Carlos
- computacaoquanticabrasil.com/ Website half broken as of 2022. Mentions a certain Lagrange Foundation, but their website is down.
- QuInTec academic interest group
- www.terra.com.br/noticias/tecnologia/inovacao/pesquisadores-paulistas-tentam-colocar-brasil-no-mapa-da-computacao-quantica,2efe660fbae16bc8901b1d00d139c8d2sz31cgc9.html mentions 6 professors, 3 from USP 3 from UNICAMP interest group:
- drive.google.com/file/d/1geGaRuCpRHeuLH2MLnLoxEJ1iOz4gNa9/view white paper gives all names
- Celso Villas-Bôas
- Frederico Brito
- Gustavo Wiederhecker
- Marcelo Terra Cunha
- Paulo Nussenzveig
- Philippe Courteille
- sites.google.com/unicamp.br/quintec/home their website.
- a 2021 symposium they organized: www.saocarlos.usp.br/dia-09-quintec-quantum-engineering-workshop/ some people of interest:
- Samuraí Brito www.linkedin.com/in/samuraí-brito-4a57a847/ at Itaú Unibanco, a Brazilian bank
- www.linkedin.com/in/dario-sassi-thober-5ba2923/ from wvblabs.com.br/
- www.linkedin.com/in/roberto-panepucci-phd from en.wikipedia.org/wiki/Centro_de_Pesquisas_Renato_Archer in Campinas
- Quanby quantum software in Florianópolis, founder Eduardo Duzzioni
- thequantumhubs.com/category/quantum-brazil-news/ good links
- qubit.lncc.br/?lang=en Quantum Computing Group of the National Laboratory for Scientific Computing: pt.wikipedia.org/wiki/Laboratório_Nacional_de_Computação_Científica in Rio. The principal researcher seems to be www.lncc.br/~portugal/. He knows what GitHub is: github.com/programaquantica/tutoriais, PDF without .tex though.
- quantum-latino.com/ conference. E.g. 2022: www.canva.com/design/DAFErjU3Wvk/2xo25nEuqv9O7RbCPLNEkw/view
Quantum computers as experiments that are hard to predict outcomes by Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01
Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01One 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.
Technique that uses multiple non-ideal qubits (physical qubits) to simulate/produce one perfect qubit (logical).
One is philosophically reminded of classical error correction codes, where we also have multiple input bits per actual information bit.
TODO understand in detail. This appears to be a fundamental technique since all physical systems we can manufacture are imperfect.
Part of the fundamental interest of this technique is due to the quantum threshold theorem.
For example, when PsiQuantum raised 215M in 2020, they announced that they intended to reach 1 million physical qubits, which would achieve between 100 and 300 logical qubits.
Video "Jeremy O'Brien: "Quantum Technologies" by GoogleTechTalks (2014)" youtu.be/7wCBkAQYBZA?t=2778 describes an error correction approach for a photonic quantum computer.
Bibliography:
Unlisted articles are being shown, click here to show only listed articles.