pith. sign in

arxiv: 2605.17709 · v1 · pith:WKWMCJXCnew · submitted 2026-05-18 · 🧮 math.DS · cs.NA· math.NA

Crime hotspot dynamics in residential burglary models with police response

Pith reviewed 2026-05-19 22:54 UTC · model grok-4.3

classification 🧮 math.DS cs.NAmath.NA
keywords crime hotspotsresidential burglarypolice response delayHopf bifurcationspatio-temporal dynamicsmean-field modelagent-based model
0
0 comments X

The pith

Response delays in police deployment can destabilize stable crime equilibria through Hopf bifurcations, producing oscillating and moving hotspots.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper extends agent-based models of residential burglary to include police deployment driven by crime information that arrives only after a finite delay. It derives a mean-field continuum system of three PDEs and one ODE that couples criminal density, environmental attractiveness, the delayed crime signal, and police numbers. Linear stability analysis around uniform steady states shows that these delays trigger Hopf bifurcations, converting stable equilibria into sustained temporal oscillations. Numerical simulations of both the discrete and continuum versions reproduce moving, splitting, and merging hotspots. Parametric sweeps indicate that shortening the crime-data delay stabilizes the system more effectively than raising overall police density.

Core claim

Incorporating finite delay in the crime-signal feedback for police deployment in the mean-field limit allows response delays to destabilize homogeneous steady states via Hopf bifurcations. This produces sustained temporal oscillations in crime levels together with dynamically evolving hotspots that move, split, or merge. The analysis shows that the length of the information delay exerts stronger control over stability than changes in police density.

What carries the argument

Delayed crime-signal feedback in the coupled system of three PDEs and one ODE for criminal density, attractiveness, signal, and police deployment.

If this is right

  • Response delays can induce sustained temporal oscillations even when the no-delay system would remain stable.
  • Hotspots exhibit rich spatio-temporal behavior including movement, splitting, and merging.
  • Shortening the crime-information delay stabilizes crime levels more effectively than increasing police density.
  • Neighborhood effects interact with the delay to set hotspot size and oscillation frequency.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Real-time crime reporting systems could reduce persistent hotspots more efficiently than equivalent increases in police resources.
  • Similar delay-driven instabilities may appear in other social systems with lagged feedback, such as traffic routing or epidemic alerts.
  • Direct calibration against city data on response times versus observed crime cycles would provide a concrete test of the mechanism.

Load-bearing premise

The mean-field limit of the agent-based model with the chosen form of delayed crime-signal feedback accurately represents real-world police deployment dynamics and neighborhood effects.

What would settle it

Empirical records that compare crime oscillation periods or hotspot persistence against measured police response delays, while holding police density fixed, would show whether shorter delays reduce oscillations as predicted.

Figures

Figures reproduced from arXiv: 2605.17709 by Annalisa Quaini, Baoli Hao, Kamrun Mily, Ming Zhong.

Figure 1
Figure 1. Figure 1: Burglaries per km2 per month [3] (top left), filtered ISRs per km2 per month [4] (top right), beat-wise constant police density in officers per km2 [5] (bottom left), and crime-to-staffing mismatch (bottom right) in Chicago between July and September 2025. substantially from one quarter to the other, most likely due to rigidity in staffing allocation. In the mismatch panels, across both quarters we see som… view at source ↗
Figure 2
Figure 2. Figure 2: Burglaries per km2 per month [3] (top left), filtered ISRs per km2 per month [4] (top right), beat-wise constant police density in officers per km2 [5] (bottom left), and crime-to-staffing mismatch (bottom right) in Chicago between October and December 2025. Motivated by the need for more realistic models for police response and in light of the considerations drawn from Figs. 1 and 2, in this paper we exte… view at source ↗
Figure 3
Figure 3. Figure 3: Stability phase diagrams from the Routh-Hurwitz criterion with the black curve [PITH_FULL_IMAGE:figures/full_fig_p012_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Case 1 - PDE model: level of attractiveness [PITH_FULL_IMAGE:figures/full_fig_p016_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Case 1 - agent-based model: level of attractiveness [PITH_FULL_IMAGE:figures/full_fig_p016_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Case 2 - agent-based model: time evolution of spatially averaged quantities [PITH_FULL_IMAGE:figures/full_fig_p017_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: The dominant frequency indicates a period of about 4.24 time unites. In Fig. 9, we [PITH_FULL_IMAGE:figures/full_fig_p017_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Case 2 - PDE model: power spectra of spatially averaged quantities [PITH_FULL_IMAGE:figures/full_fig_p018_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Case 2 - PDE model: expected number of crimes per unit area [PITH_FULL_IMAGE:figures/full_fig_p018_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: Case 2 - PDE model: phase portraits of ⟨A⟩ versus ⟨ρ⟩ (left) and ⟨H⟩ versus ⟨S⟩ (right) for t ∈ [500, 1200]. length of the initial transient: the larger the value of η, the longer the initial transient. Given that after non-dimensionalization S = ρAe−π , ⟨S⟩ exhibits the same peaks seen in [PITH_FULL_IMAGE:figures/full_fig_p019_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: Left: time evolutions of spatially averaged quantities [PITH_FULL_IMAGE:figures/full_fig_p020_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: Case 3: expected number of crimes per unit area [PITH_FULL_IMAGE:figures/full_fig_p020_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: Case 4: expected number of crimes per unit area [PITH_FULL_IMAGE:figures/full_fig_p020_13.png] view at source ↗
Figure 14
Figure 14. Figure 14: Left: time evolutions of spatially averaged quantities [PITH_FULL_IMAGE:figures/full_fig_p021_14.png] view at source ↗
Figure 15
Figure 15. Figure 15: Case 6: expected number of crimes per unit area [PITH_FULL_IMAGE:figures/full_fig_p021_15.png] view at source ↗
Figure 16
Figure 16. Figure 16: Left: time evolutions of spatially averaged quantities [PITH_FULL_IMAGE:figures/full_fig_p021_16.png] view at source ↗
Figure 17
Figure 17. Figure 17: Case 8: expected number of crimes per unit area [PITH_FULL_IMAGE:figures/full_fig_p022_17.png] view at source ↗
Figure 18
Figure 18. Figure 18: Case 8 - agent-based model: expected number of crimes per unit area [PITH_FULL_IMAGE:figures/full_fig_p022_18.png] view at source ↗
Figure 19
Figure 19. Figure 19: Left: time evolutions of spatially averaged quantities [PITH_FULL_IMAGE:figures/full_fig_p023_19.png] view at source ↗
Figure 20
Figure 20. Figure 20: Case 9: expected number of crimes per unit area [PITH_FULL_IMAGE:figures/full_fig_p023_20.png] view at source ↗
Figure 21
Figure 21. Figure 21: Case 10: expected number of crimes per unit area [PITH_FULL_IMAGE:figures/full_fig_p023_21.png] view at source ↗
Figure 22
Figure 22. Figure 22: Case 9 - agent-based model: expected number of crimes per unit area [PITH_FULL_IMAGE:figures/full_fig_p023_22.png] view at source ↗
Figure 23
Figure 23. Figure 23: Return maps of ⟨S⟩n+1 versus ⟨S⟩n for cases 2-10. parts of the dominant eigenvalue of (3.26) at the critical mode µ ∗ = 1.28, confirming a purely imaginary pair (up to numerical error) at τ ∗ c ≈ 2.48 [PITH_FULL_IMAGE:figures/full_fig_p024_23.png] view at source ↗
Figure 24
Figure 24. Figure 24: Left: fundamental oscillation frequency fcomp extracted from nonlinear PDE simulations vs τ (black curve), together with the value flin (red dashed line) from the analysis in Sec. 3.1. Right: square of the amplitude of the oscillations in ⟨S⟩ vs τ − τ ∗ c (black curve), together with linear regression (red dashed line) for low τ − τ ∗ c values. Finally, [PITH_FULL_IMAGE:figures/full_fig_p025_24.png] view at source ↗
Figure 25
Figure 25. Figure 25: Real part of the dominant eigenvalue vs τ , with highlighted the value of τ ∗ c (red dotted line) and the value of τ in case 2 (green dotted line). The stable part of the plane is colored in blue, while the oscillatory part is colored in pink. - Fixed policing: the criminal activity is allowed to evolve with no policing till t = ts, at which time police density is computed from the current attractiveness … view at source ↗
Figure 26
Figure 26. Figure 26: Spatially averaged crime rate ⟨S⟩ for three policing strategies starting at ts = 200. For t < 200, we let crime hotspots fully form in absence of law enforcement. The hotspots in S at ts = 200 are shown, as well as representative S for each policing strategy after ts = 200. All spatial plots use a common color scale ranging from 0 (blue) to 25 (red). These results illustrate how the degree of information … view at source ↗
Figure 27
Figure 27. Figure 27: Time evolutions of spatially averaged quantities [PITH_FULL_IMAGE:figures/full_fig_p030_27.png] view at source ↗
Figure 28
Figure 28. Figure 28: Expected number of crimes per unit area S for τ = 1012 from t = 0 to t = 1000. As for the other two roots, they do not depend on τ because neither b0 nor b1 depends on τ . These τ -independent roots coincide with the eigenvalues of the linearized (A, ρ) subsystem of the model with no police [32], whose stability properties are governed by η and Γθ/ω2 alone. No root of (6.9) can cross the imaginary axis as… view at source ↗
read the original abstract

We develop and analyze mathematical models for residential burglary that incorporates police deployment through a delayed feedback mechanism. Motivated by empirical observations from publicly available crime and policing data, we extend a well-known agent-based model by introducing a dynamic police response driven by crime information that becomes available only after a finite delay. Taking the mean-field limit, we derive a coupled continuum system consisting of three partial differential equations and one ordinary differential equation describing the interactions among criminal density, environmental attractiveness, delayed crime signal, and police deployment. Linear stability analysis of homogeneous steady states reveals that response delays can destabilize otherwise stable equilibria through Hopf bifurcations. As a result, the model predicts sustained temporal oscillations and dynamically evolving crime hotspots. Numerical simulations of both the agent-based and continuum models confirm the theoretical analysis and uncover rich spatio-temporal behaviors, including moving, splitting, and merging hotspots. Through a parametric study, we investigate the roles of police density, crime information delay, and neighborhood effects in controlling stability, hotspot size, and oscillatory behavior. Our results indicate that timely access to crime data plays a more important role than police density in stabilizing crime levels.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

3 major / 2 minor

Summary. The paper extends a known agent-based model of residential burglary by adding a delayed police response mechanism driven by crime data. It takes the mean-field limit to obtain a coupled system of three PDEs and one ODE governing criminal density, environmental attractiveness, a delayed crime signal, and police deployment. Linear stability analysis of the homogeneous steady states identifies Hopf bifurcations induced by the response delay, which destabilize equilibria and produce sustained oscillations together with dynamically evolving crime hotspots. Numerical simulations of both the agent-based and continuum models are used to confirm the analysis and explore spatio-temporal patterns such as moving, splitting, and merging hotspots. A parametric study examines the effects of police density, delay time, and neighborhood interactions, concluding that timely access to crime data is more important than police density for stabilizing crime levels.

Significance. If the central claims hold, the work supplies a mathematically tractable framework that links finite information delays in policing to the emergence of oscillatory crime dynamics via standard bifurcation mechanisms. The explicit comparison of delay versus density effects offers a quantitative handle on policy-relevant parameters. The combination of agent-based origin, continuum limit, linear stability, and direct numerical verification is a strength that allows falsifiable predictions about hotspot motion and stability thresholds.

major comments (3)
  1. [Mean-field limit derivation] The derivation of the mean-field PDE-ODE system (presumably §2) assumes that the delayed crime-signal feedback term survives the continuum limit without alteration by discrete-agent correlations or localized police allocation. This step is load-bearing for the claim that the Hopf instability and resulting hotspot dynamics are inherited from the agent-based model; the manuscript provides no explicit error estimate or scaling argument showing that finite-population or stochastic effects remain negligible for the chosen delay values.
  2. [Linear stability analysis] The linear stability analysis identifies Hopf bifurcations driven by the delay, yet the abstract and stability section give no quantitative verification (e.g., comparison of critical delay values or growth rates) that the continuum characteristic equation reproduces the instability threshold observed in the underlying agent-based simulations. Without such a check, the parametric conclusion that delay dominates police density rests on an unverified transfer of stability properties.
  3. [Numerical simulations] The numerical simulations are said to confirm the theoretical analysis, but the manuscript reports no error bars, ensemble statistics, or systematic comparison of oscillation amplitudes and periods between the agent-based and continuum models across the parameter regimes where the Hopf bifurcation is predicted. This weakens the support for the claim of sustained temporal oscillations.
minor comments (2)
  1. [Model formulation] Notation for the delayed signal variable and the precise form of the police response function should be introduced with an explicit equation reference early in the model section to improve readability.
  2. [Parametric study] The parametric study would benefit from a clearer statement of the ranges explored for tau and police density together with the specific neighborhood-effect kernel used.

Simulated Author's Rebuttal

3 responses · 1 unresolved

We thank the referee for the constructive and detailed report. We address each major comment below, clarifying our approach and indicating the revisions made to strengthen the manuscript.

read point-by-point responses
  1. Referee: [Mean-field limit derivation] The derivation of the mean-field PDE-ODE system (presumably §2) assumes that the delayed crime-signal feedback term survives the continuum limit without alteration by discrete-agent correlations or localized police allocation. This step is load-bearing for the claim that the Hopf instability and resulting hotspot dynamics are inherited from the agent-based model; the manuscript provides no explicit error estimate or scaling argument showing that finite-population or stochastic effects remain negligible for the chosen delay values.

    Authors: We thank the referee for this observation. The mean-field limit is obtained by standard averaging arguments in the large-population regime, where the delayed feedback, defined at the individual level, passes to the continuum description under the assumption that local densities govern the interactions. We acknowledge that an explicit error bound or scaling analysis for the delay term is not provided, as deriving such estimates would require new results on stochastic delay equations. In the revised manuscript we have added a dedicated paragraph in Section 2 that discusses the modeling assumptions, cites analogous continuum limits in the literature, and notes that the numerical agreement between the two models (detailed below) indicates the approximation remains accurate in the regimes of interest. revision: partial

  2. Referee: [Linear stability analysis] The linear stability analysis identifies Hopf bifurcations driven by the delay, yet the abstract and stability section give no quantitative verification (e.g., comparison of critical delay values or growth rates) that the continuum characteristic equation reproduces the instability threshold observed in the underlying agent-based simulations. Without such a check, the parametric conclusion that delay dominates police density rests on an unverified transfer of stability properties.

    Authors: We agree that a direct quantitative link is desirable. In the revised version we have inserted a new subsection (3.3) that solves the characteristic equation for the critical delay at which the Hopf bifurcation occurs and compares these values with the delays at which sustained oscillations first appear in agent-based simulations run at matching parameter values. The predicted and observed thresholds agree to within approximately 12 percent, consistent with finite-size fluctuations. This comparison is now used to support the claim that delay effects dominate density effects. revision: yes

  3. Referee: [Numerical simulations] The numerical simulations are said to confirm the theoretical analysis, but the manuscript reports no error bars, ensemble statistics, or systematic comparison of oscillation amplitudes and periods between the agent-based and continuum models across the parameter regimes where the Hopf bifurcation is predicted. This weakens the support for the claim of sustained temporal oscillations.

    Authors: We appreciate this suggestion. The revised numerical section now reports ensemble statistics obtained from 50 independent realizations of the agent-based model for each parameter combination, with error bars showing one standard deviation on measured amplitudes and periods. We have also added a comparison table that lists oscillation periods and amplitudes for both models at several delay values straddling the predicted bifurcation point; the values match closely, providing quantitative confirmation of the sustained oscillations. revision: yes

standing simulated objections not resolved
  • A fully rigorous error estimate or scaling argument quantifying the difference between the agent-based model with delay and its continuum limit would require substantial new mathematical analysis that lies outside the scope of the present work.

Circularity Check

0 steps flagged

Derivation chain from external agent-based model plus new delay term, mean-field limit, and standard linear stability analysis is self-contained with no reductions to fitted inputs or self-citations

full rationale

The paper starts from a well-known external agent-based model for residential burglary, introduces a finite-delay police response motivated by public data, takes the mean-field limit to obtain a PDE-ODE system, and applies standard linear stability analysis to detect Hopf bifurcations. No central quantity is defined in terms of itself, no fitted parameter is relabeled as a prediction, and no load-bearing uniqueness theorem or ansatz is imported via self-citation. The parametric conclusions on delay versus police density follow directly from the bifurcation analysis of the derived equations rather than from any tautological re-expression of the inputs.

Axiom & Free-Parameter Ledger

2 free parameters · 2 axioms · 0 invented entities

The central claim rests on the validity of the mean-field approximation for the chosen agent-based rules and on the specific mathematical form chosen for the delayed crime signal; these are domain assumptions drawn from prior burglary models rather than new postulates.

free parameters (2)
  • delay time tau
    Finite response delay introduced as a parameter whose value controls the onset of Hopf bifurcation; its specific numerical values are explored parametrically but not derived from data.
  • police density
    Parameter varied in the study to compare its effect against delay; chosen to represent deployment levels.
axioms (2)
  • domain assumption The mean-field limit of the agent-based model exists and preserves the qualitative dynamics induced by the delay.
    Invoked when passing from the agent-based description to the continuum PDE-ODE system.
  • domain assumption Neighborhood attractiveness updates according to a standard local crime-history rule without additional spatial kernels beyond those in the base model.
    Used to close the continuum equations.

pith-pipeline@v0.9.0 · 5732 in / 1440 out tokens · 43667 ms · 2026-05-19T22:54:57.966577+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

34 extracted references · 34 canonical work pages

  1. [1]

    https://github.com/baolihao/UrbanCrime-Sim

    A Finite Element and Agent-Based Modeling Framework for Urban Crime Dynamics. https://github.com/baolihao/UrbanCrime-Sim

  2. [2]

    Chicago Data Portal, Boundaries - Police Beats.https://data.cityofchicago.org /Public-Safety/Boundaries-Police-Beats-current-/aerh-rz74

  3. [3]

    Chicago Data Portal, Crimes - 2001 to Present.https://data.cityofchicago.org /Public-Safety/Crimes-2001-to-Present/ijzp-q8t2

  4. [4]

    Chicago Police Department Investigatory Stop Report data.https://www.chicagop olice.org/statistics-data/isr-data/. 30

  5. [5]

    Sworn CPD Member Staffing Map.https://igchicago.org/information-portal/ data-dashboards/sworn-cpd-member-staffing-map-2/

  6. [6]

    W. Adel, M. Izadi, S. W. Teklu, and M. D. Asfaw. Analysis of a fractional-order mathematical model on crime dynamics incorporating police force and rehabilitation. Journal of Mathematics, 2026(1):1372780, 2026

  7. [7]

    M. S. Alnaes, A. Logg, K. B. Ølgaard, M. E. Rognes, and G. N. Wells. Unified Form Language: a domain-specific language for weak formulations of partial differential equations.ACM Trans. Math. Softw., 40, 2014

  8. [8]

    I. A. Baratta, J. P. Dean, J. S. Dokken, M. Habera, J. S. Hale, C. N. Richardson, M. E. Rognes, M. W. Scroggs, N. Sime, and G. N. Wells. DOLFINx: the next generation FEniCS problem-solving environment. preprint, 2023

  9. [9]

    Bellomo, N

    N. Bellomo, N. Outada, J. Soler, Y. Tao, and M. Winkler. Chemotaxis and cross- diffusion models in complex environments: Models and analytic problems toward a multiscale vision.Math. Models Methods Appl. Sci., 32(04):713–792, 2022

  10. [10]

    P. J. Brantingham and P. L. Brantingham.Patterns in crime. Macmillan, New York, 1984

  11. [11]

    Burger, M

    M. Burger, M. Di Francesco, and Y. Dolak-Struss. The Keller-Segel model for chemo- taxis with prevention of overcrowding: linear vs. nonlinear diffusion.SIAM J. Math. Anal., 38(4):1288–1315, 2006

  12. [12]

    Byrne and M

    H. Byrne and M. Owen. A new interpretation of the Keller-Segel model based on multiphase modelling.J. Math. Biol., 49:604–626, 2004

  13. [13]

    Castelvecchi

    D. Castelvecchi. Mathematicians urge colleagues to boycott police work in wake of killings.Natures News, 2020

  14. [14]

    Chainey and J

    S. Chainey and J. Ratcliffe.GIS and crime mapping. John Wiley & Sons, Chichester, 2005

  15. [15]

    M. K. Chen, K. L. Christensen, E. John, E. Owens, and Y. Zhuo. Smartphone data re- veal neighborhood-level racial disparities in police presence.The Review of Economics and Statistics, 107(6):1734–1742, 11 2025

  16. [16]

    Eck and D

    J. Eck and D. Weisburd.Crime places in crime theory, volume 4, pages 1–33. Criminal Justice Press, 1995

  17. [17]

    B. Hao, K. Mily, A. Quaini, and M. Zhong. A finite element framework for simulating residential burglary in realistic urban geometries.Mathematical Models and Methods in Applied Sciences, 36(05):1019–1050, 2026

  18. [18]

    C. Haskins. Academics confirm major predictive policing algorithm is fundamentally flawed.Vice Tech, 2019

  19. [19]

    P. A. Jones, P. J. Brantingham, and L. R. Chayes. Statistical models of criminal behavior: the effects of law enforcement actions.Math. Models Methods Appl. Sci., 20(supp01):1397–1423, 2010

  20. [20]

    E. F. Keller and L. A. Segel. Initiation of slime mold aggregation viewed as an instability.J. Theor. Biol., 26(3):399–415, 1970. 31

  21. [21]

    Kwofie, M

    T. Kwofie, M. Dogbatsey, and S. E. Moore. Curtailing crime dynamics: A mathe- matical approach.Frontiers in Applied Mathematics and Statistics, Volume 8 - 2022, 2023

  22. [22]

    Mohler, P

    G. Mohler, P. J. Brantingham, J. Carter, and M. B. Short. Reducing bias in estimates for the law of crime concentration.J. Quant. Criminol., 35(4):747–765, 2019

  23. [23]

    Nurhan and M

    Y. Nurhan and M. B. Short. Modelling crime response to deterrence: Existence of solutions, optimal policies, and fairness.European Journal of Applied Mathematics, page 1–22, 2026

  24. [24]

    C. Pan, B. Li, C. Wang, Y. Zhang, N. Geldner, L. Wang, and A. L. Bertozzi. Crime modeling with truncated Lévy flights for residential burglary models.Math. Models Methods Appl. Sci., 28(9):1857–1880, 2018

  25. [25]

    A. B. Pitcher. Adding police to a mathematical model of burglary.European Journal of Applied Mathematics, 21(4–5):401–419, 2010

  26. [26]

    Quarteroni and A

    A. Quarteroni and A. Valli.Numerical approximation of partial differential equations. Springer, 1994

  27. [27]

    Rodriguez and A

    N. Rodriguez and A. L. Bertozzi. Local existence and uniqueness of solutions to a pde model for criminal behavior.Math. Models Methods Appl. Sci., 20:1425–1457, 2010

  28. [28]

    Saad.Iterative methods for sparse linear systems

    Y. Saad.Iterative methods for sparse linear systems. SIAM, 2003

  29. [29]

    M. W. Scroggs, I. A. Baratta, C. N. Richardson, and G. N. Wells. Basix: a runtime finite element basis evaluation library.J. Open Source Softw., 7(73):3982, 2022

  30. [30]

    M. B. Short, A. L. Bertozzi, and P. J. Brantingham. Nonlinear patterns in urban crime: hotspots, bifurcations, and suppression.SIAM J. Appl. Dyn. Syst., 9(2):462– 483, 2010

  31. [31]

    M. B. Short, P. J. Brantingham, A. L. Bertozzi, and G. E. Tita. Dissipation and displacement of hotspots in reaction-diffusion models of crime.Proc. Natl. Acad. Sci. U.S.A., 107(9):3961–3965, 2010

  32. [32]

    M. B. Short, M. R. D’Orsogna, V. B. Pasour, G. E. Tita, P. J. Brantingham, A. L. Bertozzi, and L. B. Chayes. A statistical model of criminal behavior.Math. Models Methods Appl. Sci., 18(supp01):1249–1267, 2008

  33. [33]

    Weisburd

    D. Weisburd. The law of crime concentration and the criminology of place.Criminol- ogy, 53(2):133–157, 2015

  34. [34]

    J. R. Zipkin, M. B. Short, and A. L. Bertozzi. Cops on the dots in a mathemati- cal model of urban crime and police response.Discrete Contin. Dyn. Syst., Ser. B, 19(5):1479–1508, 2014. 32