noncomputable section

open Matrix Function

/-! # A counterexample to the Jacobian conjecture in dimension three

We formalize the polynomial map

  F : ℂ³ → ℂ³

The final theorem `jacobianConjecture3_false` states the failure of the polynomial-inverse formulation of the Jacobian conjecture in dimension three. -/

namespace MvPolynomial

variable {R : Type} {σ : Type}

/-- The formal Jacobian matrix of a family of multivariate polynomials. -/ def jacobianMatrix [CommSemiring R] [DecidableEq σ] (F : σ → MvPolynomial σ R) : Matrix σ σ (MvPolynomial σ R) := Matrix.of fun i j ↦ pderiv j (F i)

/-- The formal Jacobian determinant. -/ def jacobianDet [CommRing R] [Fintype σ] [DecidableEq σ] (F : σ → MvPolynomial σ R) : MvPolynomial σ R := (jacobianMatrix F).det

/-- Evaluation of a polynomial map at a point. -/ def evalMap [CommSemiring R] (F : σ → MvPolynomial σ R) (p : σ → R) : σ → R := fun i ↦ eval p (F i)

end MvPolynomial

open MvPolynomial

namespace JacobianCounterexample

variable (K : Type) [Field K]

/-- The three components of the polynomial counterexample.

The variables `X 0`, `X 1`, `X 2` correspond respectively to `x`, `y`, `z`. -/ def F : Fin 3 → MvPolynomial (Fin 3) K := ![ (1 + X 0 X 1) ^ 3 * X 2 + X 1 ^ 2 * (1 + X 0 * X 1) * (C 4 + C 3 * (X 0 * X 1)),

    X 1
      + C 3 * X 0 * (1 + X 0 * X 1) ^ 2 * X 2
      + C 3 * X 0 * X 1 ^ 2
          * (C 4 + C 3 * (X 0 * X 1)),

    C 2 * X 0
      - C 3 * X 0 ^ 2 * X 1
      - X 0 ^ 3 * X 2
  ]

variable {K}

/-- The point `(0, 0, -1/4)` maps to `(-1/4, 0, 0)`. -/ theorem evalMap_F_p0 : evalMap (F K) ![0, 0, -(1 / 4)] = ![-(1 / 4), 0, 0] := by funext i fin_cases i <;> simp [evalMap, F]

/-- Provided `2 ≠ 0`, the point `(1, -3/2, 13/2)` also maps to `(-1/4, 0, 0)`. -/ theorem evalMap_F_p1 (h2 : (2 : K) ≠ 0) : evalMap (F K) ![1, -(3 / 2), 13 / 2] = ![-(1 / 4), 0, 0] := by have h4 : (4 : K) ≠ 0 := (by norm_num : (2 : K) * 2 = 4) ▸ mul_ne_zero h2 h2 funext i fin_cases i <;> simp [evalMap, F] <;> field_simp [h4] <;> ring

end JacobianCounterexample

open JacobianCounterexample

/-- The Jacobian determinant of the displayed map over `ℂ` is a unit. Indeed, it is the nonzero constant `-2`. -/ theorem F_jacobian_isUnit : IsUnit (jacobianDet (F ℂ)) := by rw [jacobianDet_F] exact (isUnit_iff_ne_zero.mpr (by norm_num : (-2 : ℂ) ≠ 0)).map C

/-- The polynomial map `F : ℂ³ → ℂ³` is not injective. -/ theorem F_not_injective : ¬ Injective (evalMap (F ℂ)) := by intro hInjective

  have hp :
      (![0, 0, -(1 / 4)] : Fin 3 → ℂ) =
        ![1, -(3 / 2), 13 / 2] :=
    hInjective
      ((evalMap_F_p0 (K := ℂ)).trans
        (evalMap_F_p1 (K := ℂ) (by norm_num)).symm)

  exact zero_ne_one (congrFun hp 0)

/-! We now formulate the polynomial-inverse version explicitly. -/

/-- Polynomial self-maps of affine three-space over `ℂ`. -/ abbrev PolyMap3 := Fin 3 → MvPolynomial (Fin 3) ℂ

/-- A polynomial map has a polynomial two-sided inverse, viewed as functions on `ℂ³`. -/ def HasPolynomialInverse (P : PolyMap3) : Prop := ∃ Q : PolyMap3, LeftInverse (evalMap Q) (evalMap P) ∧ RightInverse (evalMap Q) (evalMap P)

/-- The polynomial-inverse formulation of the Jacobian conjecture in dimension three. -/ def JacobianConjecture3 : Prop := ∀ P : PolyMap3, IsUnit (jacobianDet P) → HasPolynomialInverse P

/-- The Jacobian conjecture in dimension three is false. -/ theorem jacobianConjecture3_false : ¬ JacobianConjecture3 := by intro hJC unfold JacobianConjecture3 at hJC

  apply unitJacobian_does_not_imply_injective
  intro P hP

  rcases hJC P hP with ⟨Q, hleft, _⟩
  exact hleft.injective

Yes—for a continuous-time autonomous system

x ˙ =f(x),f(x ∗ )=0,

this is the standard linearization criterion, with J=Df(x ∗ ):

If every eigenvalue of J has strictly negative real part, then x ∗ is locally exponentially asymptotically stable. If at least one eigenvalue has strictly positive real part, then x ∗ is unstable. If no eigenvalue has positive real part but at least one has real part 0, linearization is generally inconclusive. Nonlinear terms or a center-manifold analysis are needed.

The last case really can go either way. For example, all three scalar equations below have Jacobian J=0 at x=0:

x ˙ =−x 3 , x ˙ =x 3 , x ˙ =0.

Yet 0 is respectively asymptotically stable, unstable, and neutrally stable.

A slightly more precise wording is therefore:

If the spectral abscissa

α(J)= λ∈σ(J) max

Reλ

is negative, the equilibrium is locally exponentially stable. If α(J)>0, it is unstable. If α(J)=0, the Jacobian test is inconclusive.

This criterion concerns the Jacobian matrix of a dynamical system at an equilibrium; it is unrelated to the “constant Jacobian determinant” condition in the Jacobian conjecture.

Comments URL: https://news.ycombinator.com/item?id=48997444

Points: 3

# Comments: 2

Comments URL: https://news.ycombinator.com/item?id=48631292

Points: 2

# Comments: 1

What they did:

Refused political pressure ("I told him those suggestions were improper and could constitute a crime") Documented everything - Built case with 50+ consistent victim statements Escalated when blocked - Went to FBI when State Attorney compromised Personally supported victims - Wrote letters on police letterhead Lesson: One honest cop with integrity can make a difference, even against billionaires

2. INVESTIGATIVE JOURNALISM Julie K. Brown - Miami Herald's "Perversion of Justice" (2018)

What she did:

Interviewed 60+ women who were victims Obtained sealed court documents through legal channels Connected patterns across jurisdictions Published despite risk - Exposed the 2008 plea deal cover-up Direct Result:

Judge ruled prosecutors violated victims' rights (Feb 2019) Acosta resigned (July 2019) Epstein re-arrested (July 6, 2019) 2019 federal indictment Lesson: Persistent investigative journalism with victim testimony can reopen cases

3. PRO BONO VICTIMS' RIGHTS ATTORNEYS Brad Edwards & Paul Cassell

What they did:

Pro bono representation starting 2008 Used Crime Victims' Rights Act (18 U.S.C. § 3771) - sued federal government Won - Judge ruled 2008 plea deal violated victims' rights Exposed systemic failures through legal discovery Lesson: Civil litigation can succeed where criminal prosecution fails

4. VICTIMS SPEAKING OUT (Despite Intimidation) Virginia Giuffre, Courtney Wild, & 100+ Others

What they did:

Broke silence publicly (2011 - Giuffre to Mail on Sunday) Provided consistent testimony (50+ women with same story) Persisted despite mockery (early accusers ridiculed) United for compensation (100+ filed claims by 2020) Result:

Courtney Wild Crime Victims' Rights Reform Act (2019) Epstein Victims Compensation Fund - $50 million paid out Lesson: Mass victim testimony is powerful evidence

5. FOIA REQUESTS & DOCUMENT TRANSPARENCY What worked:

2015: Judge unsealed details in underage sex lawsuit July 2, 2024: Grand jury docs from 2006 unsealed FOIA mechanisms forced document releases Lesson: Public records requests can expose cover-ups

6. CONGRESSIONAL OVERSIGHT July-August 2025 Actions

What they did:

House Resolution 119-581 - Rep. Thomas Massie forced DOJ file release Subpoenas to former AGs - House Oversight demanded accountability Public hearings - August 25, 2025 subpoena to Acosta Lesson: Congressional pressure can force reluctant agencies to act

PRACTICAL ACTIONS ANYONE CAN TAKE DETECTION PHASE 1. Follow the Money Tax haven connections (Virgin Islands, Switzerland, Bermuda) Unusually high wire transfers ($1.9 billion in Epstein's case) Shell companies with vague descriptions ("DNA database & data mining") No clear income source for lavish lifestyle Offshore legal structures (Appleby, etc.) 2. Watch for Protection Patterns Charges downgraded mysteriously (federal → state misdemeanor) "Unusual" prosecutorial decisions (Chief Reiter's words) Grand jury recommendations ignored Plea deals sealed from victims Work release for serious crimes Short sentences despite evidence 3. Identify Systematic Patterns Multiple victims with same story (Reiter: "50-something 'shes' and one 'he'") Victim intimidation (private investigators, surveillance) Attempts to discredit victims ("lifestyle" arguments) Evidence suppression ACTION PHASE A. If You're a Victim or Witness: 1. Document Everything

Keep contemporaneous notes Save all communications Photograph/video evidence safely Secure cloud backups (multiple locations) 2. Report Through Multiple Channels

Local police (get case numbers) FBI (if interstate/international) State AG office Congressional representatives IRS whistleblower program (financial crimes) 3. Find Pro Bono Legal Help

Victims' rights attorneys Civil rights organizations Law school clinics National Crime Victim Law Institute 4. Safety First

Secure housing if threatened Protective orders Alert police to threats Document intimidation attempts B. If You're a Journalist/Researcher: 1. Use FOIA Aggressively

Federal agencies: FOIA requests (5 U.S.C. § 552) State/local: Public records laws Court documents: Motions to unseal OGIS mediation if agencies delay (average 138 delay cases/year) 2. Interview Pattern

Multiple independent sources Corroborating victims Former employees/insiders Document experts 3. Build Coalitions

Partner with victims' rights groups Coordinate with other journalists Academic researchers Forensic accountants C. If You're Law Enforcement: 1. Follow Chief Reiter's Example

Refuse political pressure Document interference attempts Escalate to federal authorities if local blocked Support victims personally Build thorough cases (multiple witnesses) 2. Protect Investigation

Secure evidence chain Multiple backup copies Avoid single points of failure Document surveillance of investigators D. If You're a Concerned Citizen: 1. Support Transparency

Contact representatives - demand investigations Submit FOIA requests - public has right to records Support investigative journalism - subscribe, donate Attend public meetings - ask questions 2. Amplify Victims' Voices

Share credible reporting (not conspiracy theories) Support compensation funds Contact representatives about victims' rights Vote for accountability 3. Financial Pressure

Report suspicious activity to: IRS Whistleblower Office (if tax fraud) FinCEN (financial crimes) State banking regulators JPMorgan paid $105M after USVI AG sued - banks CAN be held accountable LEGAL TOOLS THAT WORK 1. Crime Victims' Rights Act (18 U.S.C. § 3771) Right to notification Right to be heard Right to restitution Can sue federal government for violations 2. RICO (18 U.S.C. § 1962) Sue criminal enterprises Triple damages Attorney fees covered 3. State Victims' Rights Laws 30+ states have constitutional protections Some allow appeals/interventions 4. Civil Lawsuits Even if criminal case fails Lower burden of proof Discovery process exposes evidence WARNING SIGNS OF STATE PROTECTION Check if investigation shows these red flags:

No IRS audits despite obvious tax fraud Federal prosecutors give sweetheart deals Intelligence agency connections mentioned Political figures intervene in investigation Evidence "disappears" or is suppressed Victims not notified of proceedings Work release for serious crimes Sealed plea agreements Co-conspirators immunized (like Epstein's deal) Investigators surveilled/threatened WHAT ULTIMATELY BROKE THE EPSTEIN CASE The combination of:

Honest local cops (Reiter/Recarey) who built the evidence Pro bono lawyers (Edwards/Cassell) who sued for 11 years Investigative journalist (Julie K. Brown) who exposed it Courageous victims (Giuffre, Wild, 100+ others) who spoke out Court unsealing documents (2015, 2024) Congressional pressure (2019, 2025) No single actor could do it alone. It required a coalition.

KEY LESSONS What Doesn't Work: Trusting institutions to self-police Going through "proper channels" alone Waiting for DOJ/FBI to act Staying silent out of fear

What Does Work: Multiple channels simultaneously (police + FBI + press + civil suits) Documentation (Reiter: "This was 50 'shes' and one 'he'") Persistence (Edwards/Cassell: 11 years pro bono) Public pressure (Miami Herald broke it open) Coalition building (victims + lawyers + press + Congress) Using existing laws creatively (Crime Victims' Rights Act)

RESOURCES Report Criminal Activity:

FBI: tips.fbi.gov IRS Whistleblower: irs.gov/compliance/whistleblower-office DOJ: justice.gov/actioncenter Legal Help:

National Crime Victim Law Institute: law.lclark.edu/centers/ncvli Crime Victims' Rights Clinic: Your local law school Media:

Investigative Reporters & Editors: ire.org ProPublica tips: propublica.org/tips FOIA Help:

OGIS (FOIA Ombudsman): archives.gov/ogis MuckRock: muckrock.com The Epstein case proves that even state-protected criminal enterprises CAN be exposed - but it requires courage, persistence, coalition-building, and using every legal tool available.

Comments URL: https://news.ycombinator.com/item?id=32479262

Points: 1

# Comments: 1

Comments URL: https://news.ycombinator.com/item?id=30709437

Points: 7

# Comments: 0

Comments URL: https://news.ycombinator.com/item?id=30592552

Points: 9

# Comments: 0

Comments URL: https://news.ycombinator.com/item?id=30329442

Points: 2

# Comments: 0

Comments URL: https://news.ycombinator.com/item?id=30311157

Points: 2

# Comments: 0