arXiv subjects

Ivan D. Rodriguez

Publications and source records attributed to Ivan D. Rodriguez.

13 recordsLinked to original sources

arXiv2021

Learning First-Order Representations for Planning from Black-Box States: New Results

Recently Bonet and Geffner have shown that first-order representations for planning domains can be learned from the structure of the state space without any prior knowledge about the action schemas or domain predicates. For this, the learning problem is formulated as the search for a simplest first-order domain description D that along with information about instances I_i (number of objects and initial state) determine state space graphs G(P_i) that match the observed state graphs G_i where P_i = (D, I_i). The search is cast and solved approximately by means of a SAT solver that is called over a large family of propositional theories that differ just in the parameters encoding the possible number of action schemas and domain predicates, their arities, and the number of objects. In this work, we push the limits of these learners by moving to an answer set programming (ASP) encoding using the CLINGO system. The new encodings are more transparent and concise, extending the range of possible models while facilitating their exploration. We show that the domains introduced by Bonet and Geffner can be solved more efficiently in the new approach, often optimally, and furthermore, that the approach can be easily extended to handle partial information about the state graphs as well as noise that prevents some states from being distinguished.

cs.AI↗

arXiv2021

Flexible FOND Planning with Explicit Fairness Assumptions

We consider the problem of reaching a propositional goal condition in fully-observable non-deterministic (FOND) planning under a general class of fairness assumptions that are given explicitly. The fairness assumptions are of the form A/B and say that state trajectories that contain infinite occurrences of an action a from A in a state s and finite occurrence of actions from B, must also contain infinite occurrences of action a in s followed by each one of its possible outcomes. The infinite trajectories that violate this condition are deemed as unfair, and the solutions are policies for which all the fair trajectories reach a goal state. We show that strong and strong-cyclic FOND planning, as well as QNP planning, a planning model introduced recently for generalized planning, are all special cases of FOND planning with fairness assumptions of this form which can also be combined. FOND+ planning, as this form of planning is called, combines the syntax of FOND planning with some of the versatility of LTL for expressing fairness constraints. A new planner is implemented by reducing FOND+ planning to answer set programs, and the performance of the planner is evaluated in comparison with FOND and QNP planners, and LTL synthesis tools.

cs.AI↗

arXiv2018

Quasielectrons as inverse quasiholes in lattice fractional quantum Hall models

From an experimental point of view, quasielectrons and quasiholes play very similar roles in the fractional quantum Hall effect. Nevertheless, the theoretical description of quasielectrons is known to be much harder than the one of quasiholes. The problem is that one obtains a singularity in the wavefunction if one tries to naively construct the quasielectron as the inverse of the quasihole. Here, we demonstrate that the same problem does not arise in lattice fractional quantum Hall models. This result allows us to make detailed investigations of the properties of quasielectrons, including their braiding statistics and density distribution on lattices on the plane and on the torus. We show that some of the states considered have high overlap with certain fractional Chern insulator states. We also derive few-body Hamiltonians, for which various states containing quasielectrons are exact ground states.

cond-mat.str-el↗

arXiv2018

Neural-Network Quantum States, String-Bond States, and Chiral Topological States

Neural-Network Quantum States have been recently introduced as an Ansatz for describing the wave function of quantum many-body systems. We show that there are strong connections between Neural-Network Quantum States in the form of Restricted Boltzmann Machines and some classes of Tensor-Network states in arbitrary dimensions. In particular we demonstrate that short-range Restricted Boltzmann Machines are Entangled Plaquette States, while fully connected Restricted Boltzmann Machines are String-Bond States with a nonlocal geometry and low bond dimension. These results shed light on the underlying architecture of Restricted Boltzmann Machines and their efficiency at representing many-body quantum states. String-Bond States also provide a generic way of enhancing the power of Neural-Network Quantum States and a natural generalization to systems with larger local Hilbert space. We compare the advantages and drawbacks of these different classes of states and present a method to combine them together. This allows us to benefit from both the entanglement structure of Tensor Networks and the efficiency of Neural-Network Quantum States into a single Ansatz capable of targeting the wave function of strongly correlated systems. While it remains a challenge to describe states with chiral topological order using traditional Tensor Networks, we show that Neural-Network Quantum States and their String-Bond States extension can describe a lattice Fractional Quantum Hall state exactly. In addition, we provide numerical evidence that Neural-Network Quantum States can approximate a chiral spin liquid with better accuracy than Entangled Plaquette States and local String-Bond States. Our results demonstrate the efficiency of neural networks to describe complex quantum wave functions and pave the way towards the use of String-Bond States as a tool in more traditional machine-learning applications.

quant-ph↗

arXiv2015

Continuum limit of lattice models with Laughlin-like ground states containing quasiholes

There has been a significant interest in the last years in finding fractional quantum Hall physics in lattice models, but it is not always clear how these models connect to the corresponding models in continuum systems. Here we introduce a family of models that is able to interpolate between a recently proposed set of lattice models with Laughlin-like ground states constructed from conformal field theory and models with ground states that are practically the usual bosonic/fermionic Laughlin states in the continuum. Both the ground state and the Hamiltonian are known analytically, and we find that the Hamiltonian in the continuum limit does not coincide with the usual delta interaction Hamiltonian for the Laughlin states. We introduce quasiholes into the models and show analytically that their braiding properties are as expected if the quasiholes are screened. We demonstrate screening numerically for the 1/3 Laughlin model and find that the quasiholes are slightly smaller in the continuum than in the lattice. Finally, we compute the effective magnetic field felt by the quasiholes and show that it is close to uniform when approaching the continuum limit. The techniques presented here to interpolate between the lattice and the continuum can also be applied to other fractional quantum Hall states that are constructed from conformal field theory.

cond-mat.str-el↗

arXiv2013

Entanglement Spectrum of Composite Fermion States in Real Space

We study the entanglement spectra of many particle systems in states which are closely related to products of Slater determinants or products of permanents, or combinations of the two. Such states notably include the Laughlin and Jain composite fermion states which describe most of the observed conductance plateaus of the fractional quantum Hall effect. We identify a set of 'Entanglement Wave Functions' (EWF), for subsets of the particles, which completely describe the entanglement spectra of such product wave functions, both in real space and in particle space. A subset of the EWF for the Laughlin and Jain states can be recognized as Composite Fermion states. These states provide an exact description of the low angular momentum sectors of the real space entanglement spectrum (RSES) of these trial wave functions and a physical explanation of the branches of excitations observed in the RSES of the Jain states.

cond-mat.str-el↗

arXiv2012

Evaluation of ranks of real space and particle entanglement spectra for large systems

We devise a way to calculate the dimensions of symmetry sectors appearing in the Particle Entanglement Spectrum (PES) and Real Space Entanglement Spectrum (RSES) of multi-particle systems from their real space wave functions. We first note that these ranks in the entanglement spectra equal the dimensions of spaces of wave functions with a number of particles fixed. This also yields equality of the multiplicities in the PES and the RSES. Our technique allows numerical calculations for much larger systems than were previously feasible. For somewhat smaller systems, we can find approximate entanglement energies as well as multiplicities. We illustrate the method with results on the RSES and PES multiplicities for integer quantum Hall states, Laughlin and Jain composite fermion states and for the Moore-Read state at filling $ν=5/2$, for system sizes up to 70 particles.

cond-mat.str-el↗

arXiv2010

Entanglement entropy of integer Quantum Hall states in polygonal domains

The entanglement entropy of the integer Quantum Hall states satisfies the area law for smooth domains with a vanishing topological term. In this paper we consider polygonal domains for which the area law acquires a constant term that only depends on the angles of the vertices and we give a general expression for it. We study also the dependence of the entanglement spectrum on the geometry and give it a simple physical interpretation.

cond-mat.str-el↗

arXiv2009

Edge excitations of the Chern Simons matrix theory for the FQHE

We study the edge excitations of the Chern Simons matrix theory, describing the Laughlin fluids for filling fraction $ν=\frac{1}{k}$, with $k$ an integer. Based on the semiclassical solutions of the theory, we are able to identify the bulk and edge degrees of freedom. In this way we can freeze the bulk of the theory, to the semiclassical values, obtaining an effective theory governing the boundary excitations of the Chern Simons matrix theory. Finally, we show that this effective theory is equal to the chiral boson theory on the circle.

hep-th↗

arXiv2009

Matrix Effective Theories of the Fractional Quantum Hall effect

The present understanding of nonperturbative ground states in the fractional quantum Hall effect is based on effective theories of the Jain "composite fermion" excitations. We review the approach based on matrix variables, i.e. D0 branes, originally introduced by Susskind and Polychronakos. We show that the Maxwell-Chern-Simons matrix gauge theory provides a matrix generalization of the quantum Hall effect, where the composite-fermion construction naturally follows from gauge invariance. The matrix ground states obtained by suitable projections of higher Landau levels are found to be in one-to-one correspondence with the Laughlin and Jain hierarchical states. The matrix theory possesses a physical limit for commuting matrices that could be reachable while staying in the same phase.

hep-th↗

arXiv2009

Entanglement entropy of integer Quantum Hall states

We compute the entanglement entropy, in real space, of the ground state of the integer Quantum Hall states for three different domains embedded in the torus, the disk and the sphere. We establish the validity of the area law with a vanishing value of the topological entanglement entropy. The entropy per unit length of the perimeter depends on the filling fraction, but it is independent of the geometry.

cond-mat.mes-hall↗

arXiv2007

Semiclassical Droplet States in Matrix Quantum Hall Effect

We derive semiclassical ground state solutions that correspond to the quantum Hall states earlier found in the Maxwell-Chern-Simons matrix theory. They realize the Jain composite-fermion construction and their density is piecewise constant as that of phenomenological wave functions. These results support the matrix theory as a possible effective theory of the fractional Hall effect. A crucial role is played by the constraint limiting the degeneracy of matrix states: we find its explicit gauge invariant form and clarify its physical interpretation.

hep-th↗

arXiv2006

Jain States in a Matrix Theory of the Quantum Hall Effect

The U(N) Maxwell-Chern-Simons matrix gauge theory is proposed as an extension of Susskind's noncommutative approach. The theory describes D0-branes, nonrelativistic particles with matrix coordinates and gauge symmetry, that realize a matrix generalization of the quantum Hall effect. Matrix ground states obtained by suitable projections of higher Landau levels are found to be in one-to-one correspondence with the expected Laughlin and Jain hierarchical states. The Jain composite-fermion construction follows by gauge invariance via the Gauss law constraint. In the limit of commuting, ``normal'' matrices the theory reduces to eigenvalue coordinates that describe realistic electrons with Calogero interaction. The Maxwell-Chern-Simons matrix theory improves earlier noncommutative approaches and could provide another effective theory of the fractional Hall effect.

hep-th↗