Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: Gutzwiller trace formula | Statement: [Martin Gutzwiller, knownFor, Gutzwiller trace formula]

Target entity: Gutzwiller trace formula
Context triple: [Martin Gutzwiller, knownFor, Gutzwiller trace formula]

• A. Gutzwiller approximation
  The Gutzwiller approximation is a variational method in condensed matter physics used to study strongly correlated electron systems, particularly metal–insulator (Mott) transitions in lattice models like the Hubbard model.
• B. Wigner surmise
  The Wigner surmise is an approximate formula in random matrix theory that describes the statistical distribution of spacings between neighboring energy levels in complex quantum systems.
• C. Selberg trace formula
  The Selberg trace formula is a fundamental result in analytic number theory and spectral theory that relates lengths of closed geodesics on a Riemannian manifold to the spectrum of its Laplace operator, serving as a non-abelian analogue of the Poisson summation formula.
• D. Gaussian symplectic ensemble
  The Gaussian symplectic ensemble is a random matrix ensemble of self-dual quaternionic Hermitian matrices used in random matrix theory to model systems with time-reversal symmetry and strong spin–orbit coupling.
• E. Hilbert–Pólya conjecture
  The Hilbert–Pólya conjecture is an unproven idea in number theory suggesting that the nontrivial zeros of the Riemann zeta function correspond to eigenvalues of a suitable self-adjoint operator, offering a potential spectral approach to proving the Riemann hypothesis.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: Gutzwiller trace formula
Triple: [Martin Gutzwiller, knownFor, Gutzwiller trace formula]

The Gutzwiller trace formula is a semiclassical tool in quantum chaos that links the quantum energy spectrum of a system to the properties of its classical periodic orbits.

Target entity: Gutzwiller trace formula
Target entity description: The Gutzwiller trace formula is a semiclassical tool in quantum chaos that links the quantum energy spectrum of a system to the properties of its classical periodic orbits.

• A. Gutzwiller approximation
  The Gutzwiller approximation is a variational method in condensed matter physics used to study strongly correlated electron systems, particularly metal–insulator (Mott) transitions in lattice models like the Hubbard model.
• B. Wigner surmise
  The Wigner surmise is an approximate formula in random matrix theory that describes the statistical distribution of spacings between neighboring energy levels in complex quantum systems.
• C. Selberg trace formula
  The Selberg trace formula is a fundamental result in analytic number theory and spectral theory that relates lengths of closed geodesics on a Riemannian manifold to the spectrum of its Laplace operator, serving as a non-abelian analogue of the Poisson summation formula.
• D. Gaussian symplectic ensemble
  The Gaussian symplectic ensemble is a random matrix ensemble of self-dual quaternionic Hermitian matrices used in random matrix theory to model systems with time-reversal symmetry and strong spin–orbit coupling.
• E. Hilbert–Pólya conjecture
  The Hilbert–Pólya conjecture is an unproven idea in number theory suggesting that the nontrivial zeros of the Riemann zeta function correspond to eigenvalues of a suitable self-adjoint operator, offering a potential spectral approach to proving the Riemann hypothesis.
• F. None of above. chosen