We demonstrate that phase-dependent heat currents through superconductor-topological insulator Josephson junctions provide a useful tool to probe the existence of topological Andreev bound states, even for multi-channel surface states. We predict that in the tunneling regime topological Andreev bound states lead to a minimum of the thermal conductance for a phase difference φ = π, in clear contrast to a maximum of the thermal conductance at φ = π that occurs for trivial Andreev bound states in superconductor-normal metal tunnel junctions. This opens up the possibility that phasedependent heat transport can distinguish between topologically trivial and nontrivial 4π modes. Furthermore, we propose a superconducting quantum interference device geometry where phasedependent heat currents can be measured using available experimental technology.Introduction.-At the interface between a normal metal and a superconductor, an electron with an energy inside the superconducting gap gets reflected from the superconductor as a hole in a process called Andreev reflection [1]. In a superconductor-normal metalsuperconductor (S-N-S) junction, this electron-hole conversion leads to the formation of Andreev bound states with discrete energies [2]. In the case of a short, onedimensional junction there is exactly one pair of such bound states with energy ε = ±∆ 1 − D sin 2 φ/2 where D denotes the transmission probability of the junction in the normal state, ∆ is the absolute value of the superconducting pair potential and φ the phase difference across the junction [3].Recently, there has been a growing interest in Josephson junctions based on topological insulators (TIs). The surface states of a three-dimensional TI give rise to the formation of topologically nontrivial helical Andreev bound states with energy ε = ±∆ cos φ/2 [4], i.e., they exhibit a zero-energy crossing at φ = π. In contrast to the S-N-S case where even weak backscattering leads to a splitting of the accidental degeneracy of Andreev bound states at φ = π, the crossing in the S-TI-S case is robust due to topological protection. It gives rise to a 4π-periodic Josephson current [5]. The latter is difficult to observe in experiment [6,7] as it is a single-channel effect and subject to quasiparticle poisoning. Although recent experiments provide some evidence for the existence of helical Andreev bound states in the non-sinusoidal current phase relation [8], in the diffraction pattern [9] and missing Shapiro steps in the ac Josephson effect [10], it is still an outstanding challenge to distinguish between topologically trivial and nontrivial 4π modes.Interestingly, not only the Josephson current but also the heat current between two superconductors kept at different temperatures depends on the phase difference across the junction. The effect arises due to the interference between quasiparticles carrying heat and Cooper pairs carrying phase information. It was theoretically Since heat currents are carried by quasiparticles with energies above or below the superconducting g...