User talk:Fawly

Welcome!
Hi Fawly! I noticed your contributions and wanted to welcome you to the Wikipedia community. I hope you like it here and decide to stay.

As you get started, you may find this short tutorial helpful:

Alternatively, the contributing to Wikipedia page covers the same topics.

If you have any questions, we have a friendly space where experienced editors can help you here:

If you are not sure where to help out, you can find a task here:

Please remember to sign your messages on talk pages by typing four tildes ( ~ ); this will automatically insert your username and the date.

Happy editing!  ~Oshwah~  (talk) (contribs)   07:55, 7 December 2020 (UTC)

Quantum computing reference
Hi, I put a question on the talk page about your citation for quantum computing. The Scientific American article includes hybrid computers. That is like saying "A petrol car can have as low a carbon footprint as an electric car" and including a reference to an article about HYBRID cars which says, you can turn off the petrol engine completely.Createangelos (talk) 10:47, 7 December 2020 (UTC)


 * Hi! I responded on the talk page, but also I think you might be looking at the wrong reference? I cited reference 12, not 11. Fawly (talk)


 * Yes, I see I clicked the link on the Scientific American article rather than the textbook. I've found it and am having a look now...Createangelos (talk) 16:48, 7 December 2020 (UTC)


 * I see what you're saying about 'abstract' as the Nielsen def'n does indeed seem (too?) abstract. It is trivial to simulate boolean logic reversibly...Createangelos (talk) 16:53, 7 December 2020 (UTC)


 * Yeah, the definition used is the quantum analogue to the Turing machine, which is typical in the computability world where one asks questions like "Can computational models X and Y solve the same problems?". Another way to think about this is that the quantum logic gates that universal quantum computers wish to implement always includes a universal gate set for reversible computing. So, in a world with perfect qubits, the quantum computers we have now would be able to perform (small) reversible boolean logic computations. Quantum computers generalize classical computers, so the statement I was trying to make is a trivial one. Hope this helps. Fawly (talk)

ArbCom 2022 Elections voter message
 Hello! Voting in the 2022 Arbitration Committee elections is now open until 23:59 (UTC) on. All eligible users are allowed to vote. Users with alternate accounts may only vote once.

The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail.

If you wish to participate in the 2022 election, please review the candidates and submit your choices on the voting page. If you no longer wish to receive these messages, you may add to your user talk page. MediaWiki message delivery (talk) 01:43, 29 November 2022 (UTC)

ArbCom 2023 Elections voter message
 Hello! Voting in the 2023 Arbitration Committee elections is now open until 23:59 (UTC) on. All eligible users are allowed to vote. Users with alternate accounts may only vote once.

The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail.

If you wish to participate in the 2023 election, please review the candidates and submit your choices on the voting page. If you no longer wish to receive these messages, you may add to your user talk page. MediaWiki message delivery (talk) 00:57, 28 November 2023 (UTC)

Solovay-Kitaev theorem
Hello Fawly. I see that you have worked on the page for the Solovay-Kitaev theorem, and I wanted to mention that I recently improved the polylog exponent in the theorem from $$c = 3+\delta$$ to $$c = \log_\phi 2 +\delta = 1.44042\ldots + \delta$$. My paper on this is arXiv:2306.13158; it has been submitted for publication, but it is already peer-reviewed in the sense that I presented at QIP 2023. I am mentioning this to you because: (a) Many people in QC have only a cursory understanding of the Solovay-Kitaev topic, and the Wikipedia page is pretty good and Wikipedia is generally influential. Also (b) I don't want to make any edits myself in Wikipedia that could be taken as self-promotion. Greg Kuperberg (talk) 18:40, 10 January 2024 (UTC)


 * Of course! Definitely think your work belongs in the page; made the relevant edits. Fawly (talk) 22:30, 11 January 2024 (UTC)
 * Great, thanks a lot! I would only suggest either adding "where $$\phi$$ is the golden ratio" in the sentence you added, or replacing the formula $$\log_\phi 2$$ by $$\log_{(1+\sqrt{5})/2} 2$$. Greg Kuperberg (talk) 03:48, 13 January 2024 (UTC)
 * Oh actually I just noticed another issue with the page, that maybe I can fix but for now I'll just put in your corner.  Your citation for the $$c=1$$ result (Harrow, Recht, and Chuang) is one that shows existence of short words but no efficient algorithm to find them, for special gate sets.  However, you can also get existence and an efficient algorithm for special gate sets, in particular for the widely used Clifford+T gate set.  The best citation for this is Ross and Selinger, arXiv:1403.2975. Greg Kuperberg (talk) 03:53, 13 January 2024 (UTC)
 * I went ahead and made some changes myself to the page Solovay–Kitaev theorem. Greg Kuperberg (talk) 18:20, 16 January 2024 (UTC)

Removal of links to quantum algorithms
Dear Fawli,

I saw you've recently deleted my edits to some quantum algorithms pages, including external links to implementations of the algorithms. I think this content is highly valuable as it includes an end-to-end implementation of a quantum circuit for the algorithms, and the ability to run the algorithm and see the results. Of course, the code is open source and free to use. Also, I saw that similar links were existing in part of the pages. I would appreciate if you can explain the reason for the removal.

Thanks in advance :) Or Orsgaba (talk) 08:48, 30 June 2024 (UTC)


 * Hi Orsgaba,
 * It's not allowed by Wikipedia to add external links with the goal of promoting another website or product (see WP:LINKSPAM). This is true even if there are other external links on the page (see WP:OTHERSPAM).
 * If you want to add an external links section pointing towards implementations, there should be equal weight given to more popular implementations (in line with WP:UNDUE). For example, the Bernstein–Vazirani algorithm has open source implementations in Qiskit, which seem more popular. So, an external links section for implementations would certainly need to include that one too.
 * Hope this helps. Fawly (talk) 18:56, 30 June 2024 (UTC)