Fionn Malone

Some complex bloqs have somewhat bespoke adjoints. Would it be helpful to: 1. Extend auto testing to test adjoints (decompose, make, etc) 2. Some test utility to test that b...

Need to consider control registers for BlockEncoding base class potentially.

Alternative uniform superposition costs

2

[Our current implementation](https://github.com/quantumlib/Qualtran/blob/main/qualtran/bloqs/prepare_uniform_superposition.py#L29) has a cost of roughly 10 log L T gates, the algorithm in the [thc paper](https://journals.aps.org/prxquantum/pdf/10.1103/PRXQuantum.2.030305) (bottom of page 31), which is often used as a reference...

[data types] Bloqs which work for multiple types

2

As part of #446 we will need to update the signatures of several arithmetic bloqs to allow for some generic behavour. One way to do this is ``` python class...

Sharp edges / tutorial feedback

2

[capturing some observations from tutorial session before I forget] 1. show_call_graph expects the graph not a bloq, users must call bloq.call_graph which returns the graph and the "sigma" (we often...

Add Developer Guide

2

Would be helpful to add some quick development guid to the docs, which might include: - [ ] available bit utility functions for testing - [ ] Other useful utility...

THC Missing Features / Cost differences

5

## Uniform state preparation 1. inverting inequality tests should not need more toffolis #235 2. We are not using phase-gradient gate toffoli cost for Ry rotations 3. Small differences in...

QROAMClean musical score diagram can fail to render

2

Taking the prep_thc bloq from [resource_estimation.ipynb](https://github.com/quantumlib/Qualtran/blob/main/qualtran/bloqs/chemistry/resource_estimation.ipynb) results in: ``` --------------------------------------------------------------------------- KeyError Traceback (most recent call last) File ~/projects/qualtran/qualtran/drawing/musical_score.py:226, in _update_assign_from_vals(regs, binst, vals, soq_assign, seq_x, topo_gen, manager) 225 try: --> 226...

mypy insufficiently strict?

2

#1345 fixed a bug with PrepareIdentity being constructed with a tuple of QDTypes when it expects a Tuple of Registers. It's surprising mypy didn't catch this. The issue is to...

More generally the register size determination sort of assumes none of the registers are sided. The issue is to update or raise an error in attrs_post_init