We give a self-contained exposition of the combinatorial solution of quantum mechanical systems of coupled spins on a one-dimensional lattice. Using Trotter formula, we write the partition function as a generating function of a spanning subgraph of a two-dimensional lattice and solve the combinatorial problem by the method of Pfaffians provided the weights satisfy the so-called free fermion condition. The free energy and the ground state energy as a function of the inverse temperature, couplings J and magnetic fields h, for the XY model in a transverse field with period p=1 and 2, is then obtained.
Search algorithms based on quantum walks have emerged as a promising approach to solve computational problems across various domains, including combinatorial optimization, and cryptography. Stating a generic search problem in terms of a (quantum) search over a graph makes the efficiency of the algorithmic method depend on the structure of the graph itself. In this work, we propose a complete implementation of a quantum walk search on Johnson graphs, speeding up the solution of the subset-sum problem. We provide a detailed design of each sub-circuit, quantifying their cost in terms of gate number, depth, and width. We compare our solution against a Grover quantum search, showing a reduction of the T-count and T-depth for practically solvable problems. The proposed design provides a building block for the construction of efficient quantum search algorithms that can be modelled on Johnson graphs, filling the gap with the existing theoretical complexity analyses.
We study the antiferromagnetic XYZ spin chain with quenched bond randomness, focusing on a critical line between localized Ising magnetic phases. A previous calculation using the spectrum-bifurcation renormalization group, and assuming marginal many-body localization, proposed that critical indices vary continuously. In this work, we solve the low-energy physics using an unbiased numerically exact tensor network method named the ``rigorous renormalization group.'' We find a line of fixed points consistent with infinite-randomness phenomenology, with indeed continuously varying critical exponents for average spin correlations. A self-consistent Hartree--Fock-type treatment of the z couplings as interactions added to the free-fermion random XY model captures much of the important physics including the varying exponents; we provide an understanding of this as a result of local correlation induced between the mean-field couplings. We solve the problem of the locally correlated XY spin chain with an arbitrary degree of correlation and provide analytical strong-disorder renormalization group proofs of continuously varying exponents based on an associated classical random walk problem. This is also an example of a line of fixed points with continuously varying exponents in the equivalent disordered free-fermion chain. We argue that this line of fixed points also controls an extended region of the critical interacting XYZ spin chain.