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: paving conjecture | Statement: [Bourgain–Tzafriri restricted invertibility principle, relatedTo, paving conjecture]

Target entity: paving conjecture
Context triple: [Bourgain–Tzafriri restricted invertibility principle, relatedTo, paving conjecture]

• A. Pólya’s conjecture
  Pólya’s conjecture is a disproven hypothesis in number theory that proposed a specific long-term sign pattern for the summatory Möbius function, suggesting it would eventually remain nonpositive.
• B. Bunyakovsky conjecture
  The Bunyakovsky conjecture is an unproven statement in number theory asserting that certain irreducible integer polynomials with positive leading coefficient take on infinitely many prime values.
• C. Poincaré conjecture
  The Poincaré conjecture is a landmark problem in topology that characterizes the three-dimensional sphere among three-dimensional manifolds and was famously solved by Grigori Perelman in the early 2000s.
• D. Mauldin’s conjecture
  Mauldin’s conjecture, more commonly known as the Beal conjecture, is an unsolved problem in number theory asserting that any solution in positive integers to A^x + B^y = C^z with exponents greater than 2 must have A, B, and C sharing a common prime factor.
• E. Erdős–Turán conjecture
  The Erdős–Turán conjecture is an unsolved problem in additive number theory asserting that any subset of the positive integers with divergent sum of reciprocals must contain arbitrarily long arithmetic progressions.
• 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: paving conjecture
Triple: [Bourgain–Tzafriri restricted invertibility principle, relatedTo, paving conjecture]

The paving conjecture is a problem in operator theory and functional analysis that asks whether every bounded linear operator with zero diagonal can be approximated by block-diagonal operators with uniformly small off-diagonal norms, and is closely connected to the Kadison–Singer problem.

Target entity: paving conjecture
Target entity description: The paving conjecture is a problem in operator theory and functional analysis that asks whether every bounded linear operator with zero diagonal can be approximated by block-diagonal operators with uniformly small off-diagonal norms, and is closely connected to the Kadison–Singer problem.

• A. Pólya’s conjecture
  Pólya’s conjecture is a disproven hypothesis in number theory that proposed a specific long-term sign pattern for the summatory Möbius function, suggesting it would eventually remain nonpositive.
• B. Bunyakovsky conjecture
  The Bunyakovsky conjecture is an unproven statement in number theory asserting that certain irreducible integer polynomials with positive leading coefficient take on infinitely many prime values.
• C. Poincaré conjecture
  The Poincaré conjecture is a landmark problem in topology that characterizes the three-dimensional sphere among three-dimensional manifolds and was famously solved by Grigori Perelman in the early 2000s.
• D. Mauldin’s conjecture
  Mauldin’s conjecture, more commonly known as the Beal conjecture, is an unsolved problem in number theory asserting that any solution in positive integers to A^x + B^y = C^z with exponents greater than 2 must have A, B, and C sharing a common prime factor.
• E. Erdős–Turán conjecture
  The Erdős–Turán conjecture is an unsolved problem in additive number theory asserting that any subset of the positive integers with divergent sum of reciprocals must contain arbitrarily long arithmetic progressions.
• F. None of above. chosen