> Can one use a representation that is more compact, in the sense that it uses less memory and/or computational power than the simple vector representation? How does it work?

Source: "[Multiple Qubits][1]":

"A single qubit can be trivially modeled, simulating a fifty-qubit quantum computation would arguably push the limits of existing supercomputers. Increasing the size of the computation by only one additional qubit doubles the memory required to store the state and roughly doubles the computational time. This rapid doubling of computational power is why a quantum computer with a relatively small number of qubits can far surpass the most powerful supercomputers of today, tomorrow and beyond for some computational tasks.".

So you can't utilize a [Ponzi scheme][2] or [rob Peter to pay Paul][3]. Compression will save memory at the cost of computational complexity, or representation in a more flexible space (larger) would reduce computational complexity but at a cost of memory. Essentially what is needed is more capable hardware or smarter algorithms.

---

Here are some methods:

- Compression of the volume of sets of quantum states of the Qubit's metric:

The [Fisher information metric][4] can be used to map the volume of the qubit using an information geometry approach as discussed in "[The Volume of Two-Qubit States by Information Geometry][5]", "[Analysis of Fisher Information and the Cramer-Rao Bound for Nonlinear Parameter Estimation After Compressed Sensing][6]", and our "[Intuitive explanation of Fisher Information and Cramer-Rao bound][7]".

- Analogous to operand compression:

Computing depth-optimal decompositions of logical operations: "[A meet-in-the-middle algorithm for fast synthesis of depth-optimal quantum circuits][8]" or this Quora discussion on "[Encoding the dimension of the particle][9]".

- Analogous to memory compression:

[Qutrit][10] factorization using ternary arithmetic: "[Factoring with Qutrits: Shor's Algorithm on Ternary and Metaplectic Quantum Architectures][11]" and "[Quantum Ternary Circuit Synthesis Using Projection Operations][12]".

- Analogous to traditional optimization 

"[A Quantum Algorithm for Finding Minimum Exclusive-Or Expressions][13]".

- Other:

[Krull Dimensions][14] or axiomatisation and graph rewriting: "[Completeness of the ZX-calculus for Pure Qubit Clifford+T Quantum Mechanics][15]".

By combining those techniques you ought to be able to squeeze the foot into the shoe. That would permit emulation of larger systems on conventional processors, just don't ask me to explain doctoral level work or write the code. :)


  [1]: https://docs.microsoft.com/en-us/quantum/quantum-concepts-5-multiplequbits?view=qsharp-preview
  [2]: https://en.wikipedia.org/wiki/Ponzi_scheme
  [3]: https://en.wikipedia.org/wiki/To_rob_Peter_to_pay_Paul
  [4]: https://en.wikipedia.org/wiki/Fisher_information_metric
  [5]: https://arxiv.org/abs/1802.08835
  [6]: https://users.ece.cmu.edu/~yuejiec/papers/Fisher_ICASSP2013.pdf
  [7]: https://stats.stackexchange.com/questions/10578/intuitive-explanation-of-fisher-information-and-cramer-rao-bound
  [8]: https://arxiv.org/abs/1206.0758
  [9]: https://www.quora.com/Are-trinary-AKA-ternary-qubits-things-that-exist-in-computing
  [10]: https://en.wikipedia.org/wiki/Qutrit
  [11]: https://arxiv.org/abs/1605.02756
  [12]: https://arxiv.org/abs/1205.2390
  [13]: https://www.researchgate.net/publication/224705154_A_Quantum_Algorithm_for_Finding_Minimum_Exclusive-Or_Expressions
  [14]: https://en.wikipedia.org/wiki/Krull_dimension
  [15]: https://arxiv.org/abs/1801.07993