1: \begin{abstract}
2:
3: Systems with long-range interactions show a variety of intriguing properties:
4: they typically accommodate many meta-stable states,
5: they can give rise to spontaneous formation of supersolids, and they can lead to
6: counterintuitive thermodynamic behavior.
7: However, the increased complexity that comes with long-range interactions strongly hinders theoretical studies.
8: This makes a quantum simulator for long-range models highly desirable.
9: Here, we show that a chain of trapped ions can be used to quantum simulate a one-dimensional model of hard-core bosons
10: with dipolar off-site interaction and tunneling, equivalent to a dipolar XXZ spin-1/2 chain.
11: We explore the rich phase diagram of this model in detail, employing perturbative mean-field
12: theory, exact diagonalization, and quasi-exact numerical techniques
13: (density-matrix renormalization group and infinite time evolving block decimation).
14: We find that the complete devil's staircase --- an infinite sequence of crystal states existing at vanishing tunneling ---
15: spreads to a succession of lobes similar to the Mott-lobes found in Bose--Hubbard models.
16: Investigating the melting of these crystal states at increased tunneling, we do not find (contrary to similar two-dimensional models)
17: clear indications of supersolid behavior in the region around the melting transition.
18: However, we find that inside the insulating lobes there are quasi-long range (algebraic) correlations, opposed to
19: models with nearest-neighbor tunneling which show exponential decay of correlations.
20:
21:
22: \end{abstract}
23: