Entry-Exit Sequences: Theory & Applications

• Entry-exit sequences are formal patterns linking an entry event, an internal phase, and an exit event through strict mathematical relations across diverse scientific domains.
• They employ methodologies such as rank aggregation in surveillance, optimal stopping rules in finance, and Hoare-style logic in programming to capture system behaviors.
• Key implications include enhanced subject matching, improved trading strategies, and rigorous process verification, underpinning applications from stochastic processes to slow-fast dynamics.

Searching arXiv for the supplied works and closely related "entry-exit" papers to ground the article in current arXiv records. Entry-exit sequences are formal descriptions of systems whose evolution is organized by an entrance event, an internal phase, and a corresponding exit event. Across the cited arXiv literature, the term appears in several technically distinct senses: subject matching between entry and exit observations in surveillance (V et al., 2019); sequential optimal stopping rules for opening and liquidating positions or projects (Ning et al., 2023, Zhang, 2015); Hoare-like assertions for program segments with multiple entry and exit points (Bergstra et al., 2014); stationary flows of firms and metastable or recurrent stochastic systems (Stachurski, 2019, Cirillo et al., 2016, Mijatovic et al., 2024); and entry-exit maps or functions governing delayed loss of stability in slow-fast dynamics (Maesschalck et al., 2015, Hsu et al., 2019, Lobry, 2022, Huzak et al., 3 Oct 2025). This suggests a common abstract pattern: entry and exit are coupled not merely as two timestamps, but by a mathematically specified relation such as a score, a stopping boundary, an invariant measure, a hitting-time identity, or a return map.

1. Semantic entry-exit matching in surveillance

In computer vision, the entry-exit sequence problem is posed as appearance invariant subject recognition for Entry-Exit surveillance applications. Kumar and Nagabhushan define a Semantic Entry-Exit matching model that uses ancillary information about subjects such as height, build, complexion and clothing color to endorse exit of every subject who had entered private area. The model is designed to be robust to variations in clothing, and it assigns equal weight to each describing attribute when computing the matching score (V et al., 2019).

Each subject $i$ is represented by four soft-biometric descriptors. Height is normalized as $h_i = H_i/H_{\max}\in[0,1]$. Body-build is computed from the height-width ratio $r_i=H_i/W_i$, stabilized by a vertical-projection profile of the silhouette, and normalized as $b_i=r_i/R_{\max}\in[0,1]$. Skin complexion is extracted from the head region in YCbCr space using standard skin thresholds, with normalized feature vector

$$c_i=\bigl[\mu_{Cb,i}/255,\;\mu_{Cr,i}/255\bigr]^T\in[0,1]^2.$$

Clothing color is represented by a $96$-dimensional normalized histogram formed by concatenating torso-Cb, torso-Cr, leg-Cb, and leg-Cr histograms, with $\sum_{j=1}^{96} f_i^{color}[j]=1$.

For each attribute $f\in\{\text{height, build, complexion, color}\}$, the method learns an LDA projector $T_f$ by maximizing Fisher’s criterion

$$\operatorname{tr}(T_f^T D_f T_f)\;/\;\operatorname{tr}(T_f^T S_f T_f),$$

with pooled within-class scatter $h_i = H_i/H_{\max}\in[0,1]$0 and between-class scatter $h_i = H_i/H_{\max}\in[0,1]$1. After projection $h_i = H_i/H_{\max}\in[0,1]$2, entry-exit similarity is measured by Euclidean distance $h_i = H_i/H_{\max}\in[0,1]$3, converted to an attribute-confidence score

$h_i = H_i/H_{\max}\in[0,1]$4

and averaged equally: $h_i = H_i/H_{\max}\in[0,1]$5 The online pipeline detects and segments the person, normalizes the image to $h_i = H_i/H_{\max}\in[0,1]$6, computes the four descriptors, ranks the gallery for each attribute, and outputs the top-$h_i = H_i/H_{\max}\in[0,1]$7 matches.

Representative results reported for the EnEx benchmark and the authors’ own two-camera $h_i = H_i/H_{\max}\in[0,1]$8 Entry-Exit database are as follows.

Setting	Method	Reported matching rates
EnEx, gallery size $h_i = H_i/H_{\max}\in[0,1]$9	RS-KISS	rank-1 $r_i=H_i/W_i$0, rank-5 $r_i=H_i/W_i$1, rank-10 $r_i=H_i/W_i$2
EnEx, gallery size $r_i=H_i/W_i$3	Ensemble-Learning	rank-1 $r_i=H_i/W_i$4, rank-5 $r_i=H_i/W_i$5, rank-10 $r_i=H_i/W_i$6
EnEx, gallery size $r_i=H_i/W_i$7	Proposed model	rank-1 $r_i=H_i/W_i$8, rank-5 $r_i=H_i/W_i$9, rank-10 $b_i=r_i/R_{\max}\in[0,1]$0
EnEx, gallery size $b_i=r_i/R_{\max}\in[0,1]$1	Proposed model	rank-1 $b_i=r_i/R_{\max}\in[0,1]$2, rank-5 $b_i=r_i/R_{\max}\in[0,1]$3, rank-10 $b_i=r_i/R_{\max}\in[0,1]$4
Two-camera database, $b_i=r_i/R_{\max}\in[0,1]$5	Proposed model	rank-1 $b_i=r_i/R_{\max}\in[0,1]$6, rank-10 $b_i=r_i/R_{\max}\in[0,1]$7
Two-camera database, $b_i=r_i/R_{\max}\in[0,1]$8	Proposed model	rank-1 $b_i=r_i/R_{\max}\in[0,1]$9, rank-10 $$c_i=\bigl[\mu_{Cb,i}/255,\;\mu_{Cr,i}/255\bigr]^T\in[0,1]^2.$$0

The reported limitation is that rank-1 accuracy is modest, approximately $$c_i=\bigl[\mu_{Cb,i}/255,\;\mu_{Cr,i}/255\bigr]^T\in[0,1]^2.$$1–$$c_i=\bigl[\mu_{Cb,i}/255,\;\mu_{Cr,i}/255\bigr]^T\in[0,1]^2.$$2, because height, build and complexion can be uniform among co-located subjects and because of occlusions such as full-body coverings. Skin-feature extraction can fail under heavy head coverings, height can be affected by head-accessories, and clothing histograms are vulnerable if garments are actually changed. The intended use is therefore a two-stage pipeline: Stage 1 performs soft-biometric narrowing and outputs top-$$c_i=\bigl[\mu_{Cb,i}/255,\;\mu_{Cr,i}/255\bigr]^T\in[0,1]^2.$$3 gallery candidates, and Stage 2 applies more expensive face and/or gait recognition only on those $$c_i=\bigl[\mu_{Cb,i}/255,\;\mu_{Cr,i}/255\bigr]^T\in[0,1]^2.$$4 candidates.

2. Sequential optimal stopping in finance and real options

In mathematical finance, entry-exit sequences are formulated as nested stopping problems. For a one-dimensional Markov process $$c_i=\bigl[\mu_{Cb,i}/255,\;\mu_{Cr,i}/255\bigr]^T\in[0,1]^2.$$5 with infinitesimal generator

$$c_i=\bigl[\mu_{Cb,i}/255,\;\mu_{Cr,i}/255\bigr]^T\in[0,1]^2.$$6

optimal spread trading is posed as a pre-entry decision followed by a post-entry liquidation decision. The post-entry value is

$$c_i=\bigl[\mu_{Cb,i}/255,\;\mu_{Cr,i}/255\bigr]^T\in[0,1]^2.$$7

and the pre-entry value is

$$c_i=\bigl[\mu_{Cb,i}/255,\;\mu_{Cr,i}/255\bigr]^T\in[0,1]^2.$$8

The free-boundary characterization gives an exit barrier $$c_i=\bigl[\mu_{Cb,i}/255,\;\mu_{Cr,i}/255\bigr]^T\in[0,1]^2.$$9 with continuation region $96$0 and stopping region $96$1, and an entry barrier $96$2 with continuation region $96$3 and stopping region $96$4. Smooth-pasting conditions are imposed at both boundaries (Ning et al., 2023).

The same work solves the sequential problem by a signature optimal stopping method. A truncated path signature

$96$5

generates linear signature policies $96$6, and randomized stopping times are defined through the accumulated quadratic functional of this policy. In practice, the implementation replaces the random threshold by a constant $96$7, smooths the indicator by a sigmoid, optimizes a discrete-time loss by Adam or L-BFGS, and then uses the learned $96$8 in testing to generate sequential stopping times $96$9. Training paths can be obtained by fitting an OU model, by block-bootstrap, or by a time-series GAN. In simulated OU experiments with $\sum_{j=1}^{96} f_i^{color}[j]=1$0, the signature optimal stopping value is reported to cluster near the true optimum. In real-market tests on four US-equity pairs over 2021–22, the signature strategy achieved annualized returns $\sum_{j=1}^{96} f_i^{color}[j]=1$1 versus $\sum_{j=1}^{96} f_i^{color}[j]=1$2 for baseline, Sharpe $\sum_{j=1}^{96} f_i^{color}[j]=1$3 versus $\sum_{j=1}^{96} f_i^{color}[j]=1$4, and reduced drawdown. Transaction costs enter additively in both stopping problems; increasing $\sum_{j=1}^{96} f_i^{color}[j]=1$5 shifts the entry boundary downward, increasing $\sum_{j=1}^{96} f_i^{color}[j]=1$6 raises the exit barrier, and doubling $\sum_{j=1}^{96} f_i^{color}[j]=1$7 from $\sum_{j=1}^{96} f_i^{color}[j]=1$8 to $\sum_{j=1}^{96} f_i^{color}[j]=1$9 widened the no-trade region by approximately $f\in\{\text{height, build, complexion, color}\}$0 in the simulated OU model.

A closely related real-options formulation studies entry-exit decisions with implementation delay under uncertainty. There, the underlying price process is geometric Brownian motion,

$f\in\{\text{height, build, complexion, color}\}$1

entry is decided at $f\in\{\text{height, build, complexion, color}\}$2, exit at $f\in\{\text{height, build, complexion, color}\}$3, but implementation occurs at $f\in\{\text{height, build, complexion, color}\}$4 and $f\in\{\text{height, build, complexion, color}\}$5. The expected NPV is transformed into an equivalent instant-implementation problem with modified coefficients $f\in\{\text{height, build, complexion, color}\}$6, after which the problem again decomposes into a post-entry stopping problem $f\in\{\text{height, build, complexion, color}\}$7 and a pre-entry stopping problem $f\in\{\text{height, build, complexion, color}\}$8. On continuation regions, $f\in\{\text{height, build, complexion, color}\}$9 and $T_f$0 satisfy linear ODEs, with value-matching and smooth-pasting at the optimal thresholds. If $T_f$1 are the roots of

$T_f$2

then $T_f$3 and $T_f$4 admit closed forms in terms of $T_f$5 and $T_f$6. The paper distinguishes the cases $T_f$7 and $T_f$8: when $T_f$9, there is a single upward trigger $$\operatorname{tr}(T_f^T D_f T_f)\;/\;\operatorname{tr}(T_f^T S_f T_f),$$0; when $$\operatorname{tr}(T_f^T D_f T_f)\;/\;\operatorname{tr}(T_f^T S_f T_f),$$1, there may be two entry triggers $$\operatorname{tr}(T_f^T D_f T_f)\;/\;\operatorname{tr}(T_f^T S_f T_f),$$2, and it is not optimal to enter and then immediately exit the project even though it is an arbitrage opportunity (Zhang, 2015).

3. Asserted instruction sequences and multiple control-flow exits

In program algebra, entry-exit sequences arise because low-level instruction segments may have multiple entry points and multiple exit points. The formal setting is PGA, whose primitive instructions are plain basic instructions $$\operatorname{tr}(T_f^T D_f T_f)\;/\;\operatorname{tr}(T_f^T S_f T_f),$$3, positive tests $$\operatorname{tr}(T_f^T D_f T_f)\;/\;\operatorname{tr}(T_f^T S_f T_f),$$4, negative tests $$\operatorname{tr}(T_f^T D_f T_f)\;/\;\operatorname{tr}(T_f^T S_f T_f),$$5, forward jumps $$\operatorname{tr}(T_f^T D_f T_f)\;/\;\operatorname{tr}(T_f^T S_f T_f),$$6, and termination $$\operatorname{tr}(T_f^T D_f T_f)\;/\;\operatorname{tr}(T_f^T S_f T_f),$$7. Instruction sequences are built from primitive instructions by concatenation and repetition: $$\operatorname{tr}(T_f^T D_f T_f)\;/\;\operatorname{tr}(T_f^T S_f T_f),$$8 Because jump instructions can redirect control nonlocally, a segment can be entered at its $$\operatorname{tr}(T_f^T D_f T_f)\;/\;\operatorname{tr}(T_f^T S_f T_f),$$9-th instruction and can exit either by termination inside the segment, by becoming inactive inside the segment, or by jumping to the $h_i = H_i/H_{\max}\in[0,1]$00-th instruction after the segment, with $h_i = H_i/H_{\max}\in[0,1]$01 meaning “terminated or inactive inside $h_i = H_i/H_{\max}\in[0,1]$02” (Bergstra et al., 2014).

This control-flow structure is captured by asserted instruction sequences of the form

$h_i = H_i/H_{\max}\in[0,1]$03

Their intended meaning is that if execution enters $h_i = H_i/H_{\max}\in[0,1]$04 at instruction $h_i = H_i/H_{\max}\in[0,1]$05 in a service-state satisfying $h_i = H_i/H_{\max}\in[0,1]$06, then either it becomes inactive inside $h_i = H_i/H_{\max}\in[0,1]$07, or it exits $h_i = H_i/H_{\max}\in[0,1]$08 in the designated way $h_i = H_i/H_{\max}\in[0,1]$09, and the exit state satisfies $h_i = H_i/H_{\max}\in[0,1]$10. The semantics is defined via thread extraction $h_i = H_i/H_{\max}\in[0,1]$11, which embeds the segment into a larger context so that exits other than the designated one become inactive rather than terminating.

The proof system is explicitly Hoare-like but adapted to low-level control flow. It includes basic-instruction axioms, positive-test axioms, negative-test axioms, forward-jump axioms, a termination axiom, concatenation rules, a repetition rule, an alternatives rule, an invariance rule, an existential-elimination rule, a substitution rule, and a consequence rule; these are numbered A1–A11 and R1–R10 in the paper. The resulting metatheory contains a soundness theorem,

$h_i = H_i/H_{\max}\in[0,1]$12

and a Cook-style completeness theorem under an expressiveness assumption on the assertion language.

The running example is the loop

$h_i = H_i/H_{\max}\in[0,1]$13

which decrements an unbounded counter until it reaches $h_i = H_i/H_{\max}\in[0,1]$14. The target assertion is

$h_i = H_i/H_{\max}\in[0,1]$15

The example is significant because the test instruction $h_i = H_i/H_{\max}\in[0,1]$16 has two exits, and the proof treats them by separate asserted sequences for entry $h_i = H_i/H_{\max}\in[0,1]$17 and exits $h_i = H_i/H_{\max}\in[0,1]$18 or $h_i = H_i/H_{\max}\in[0,1]$19, combines them by the alternatives rule, and closes the loop by the repetition rule. In this sense, entry-exit sequencing is built into the logic of partial correctness itself.

4. Firm populations and metastable series

In dynamic industry models, entry-exit sequences describe the recurrent turnover of firms. In the extended Hopenhayn framework, time is discrete and a continuum of price-taking firms produces a single good at price $h_i = H_i/H_{\max}\in[0,1]$20. Each firm has productivity $h_i = H_i/H_{\max}\in[0,1]$21, profit $h_i = H_i/H_{\max}\in[0,1]$22, output $h_i = H_i/H_{\max}\in[0,1]$23, and idiosyncratic productivity dynamics governed by a Markov kernel $h_i = H_i/H_{\max}\in[0,1]$24. Entrants draw $h_i = H_i/H_{\max}\in[0,1]$25, pay entry cost $h_i = H_i/H_{\max}\in[0,1]$26, and join only when expected value is high enough. Within each period, incumbents first decide whether to exit, then entrants decide whether to enter, then surviving firms produce and earn profits, and finally productivities update (Stachurski, 2019).

The incumbent value function is written as

$h_i = H_i/H_{\max}\in[0,1]$27

with outside option $h_i = H_i/H_{\max}\in[0,1]$28. The exit threshold is

$h_i = H_i/H_{\max}\in[0,1]$29

and free entry requires

$h_i = H_i/H_{\max}\in[0,1]$30

A stationary recursive equilibrium is a triple $h_i = H_i/H_{\max}\in[0,1]$31 satisfying goods-market clearing, the entry condition, the exit cutoff, balanced entry-exit $h_i = H_i/H_{\max}\in[0,1]$32, and the invariance equation

$h_i = H_i/H_{\max}\in[0,1]$33

Existence and uniqueness are characterized by finiteness of lifetime output $h_i = H_i/H_{\max}\in[0,1]$34; when equilibrium exists, the invariant distribution is unique, aggregate supply is $h_i = H_i/H_{\max}\in[0,1]$35, and a Pitman-occupation formula represents $h_i = H_i/H_{\max}\in[0,1]$36 as expected occupation time up to the exit time. Under multiplicative productivity growth with $h_i = H_i/H_{\max}\in[0,1]$37, the invariant distribution has a Pareto right tail: $h_i = H_i/H_{\max}\in[0,1]$38

A different stochastic meaning of entry-exit sequencing appears in reversible finite-state Markov chains with metastable states in series. The model assumes three distinguished states $h_i = H_i/H_{\max}\in[0,1]$39, $h_i = H_i/H_{\max}\in[0,1]$40, and $h_i = H_i/H_{\max}\in[0,1]$41, with $h_i = H_i/H_{\max}\in[0,1]$42, common metastable barrier $h_i = H_i/H_{\max}\in[0,1]$43, and a series condition

$h_i = H_i/H_{\max}\in[0,1]$44

Starting from the higher metastable state $h_i = H_i/H_{\max}\in[0,1]$45, the process must therefore visit $h_i = H_i/H_{\max}\in[0,1]$46 before reaching the stable state $h_i = H_i/H_{\max}\in[0,1]$47 in the low-temperature limit. The theory expresses mean hitting times in terms of capacities and proves sharp asymptotics

$h_i = H_i/H_{\max}\in[0,1]$48

together with the addition rule

$h_i = H_i/H_{\max}\in[0,1]$49

This turns a serial entry-exit path through metastable states into an asymptotically additive decomposition of exit times. In the zero-chemical-potential Blume-Capel model, the states “all $h_i = H_i/H_{\max}\in[0,1]$50,” “all $h_i = H_i/H_{\max}\in[0,1]$51,” and “all $h_i = H_i/H_{\max}\in[0,1]$52” play the roles of $h_i = H_i/H_{\max}\in[0,1]$53, $h_i = H_i/H_{\max}\in[0,1]$54, and $h_i = H_i/H_{\max}\in[0,1]$55, with critical droplet size $h_i = H_i/H_{\max}\in[0,1]$56 and barrier

$h_i = H_i/H_{\max}\in[0,1]$57

(Cirillo et al., 2016).

5. Entrance and exit chains for Markov processes

For general Markov chains, entry-exit sequences can be isolated as induced chains observed only when a set $h_i = H_i/H_{\max}\in[0,1]$58 is crossed from its complement. Let $h_i = H_i/H_{\max}\in[0,1]$59 be a time-homogeneous Markov chain on a Polish space $h_i = H_i/H_{\max}\in[0,1]$60 with known $h_i = H_i/H_{\max}\in[0,1]$61-finite invariant measure $h_i = H_i/H_{\max}\in[0,1]$62, and fix a Borel set $h_i = H_i/H_{\max}\in[0,1]$63. The entrance times are

$h_i = H_i/H_{\max}\in[0,1]$64

and the entrance chain is

$h_i = H_i/H_{\max}\in[0,1]$65

Using the same stopping times, the exit chain records the last position in $h_i = H_i/H_{\max}\in[0,1]$66 immediately before entering $h_i = H_i/H_{\max}\in[0,1]$67: $h_i = H_i/H_{\max}\in[0,1]$68 Under the minimal assumption that each $h_i = H_i/H_{\max}\in[0,1]$69 is almost surely finite, both induced processes are themselves time-homogeneous Markov chains with explicit kernels (Mijatovic et al., 2024).

The paper studies these chains by inducing on the two-step cylinder

$h_i = H_i/H_{\max}\in[0,1]$70

If $h_i = H_i/H_{\max}\in[0,1]$71 is recurrent for $h_i = H_i/H_{\max}\in[0,1]$72 and both $h_i = H_i/H_{\max}\in[0,1]$73 and $h_i = H_i/H_{\max}\in[0,1]$74 have positive $h_i = H_i/H_{\max}\in[0,1]$75-mass, the invariant measures of the induced chains are explicit: $h_i = H_i/H_{\max}\in[0,1]$76 where $h_i = H_i/H_{\max}\in[0,1]$77 is a dual chain under $h_i = H_i/H_{\max}\in[0,1]$78, and

$h_i = H_i/H_{\max}\in[0,1]$79

A Kac-type lifting formula reconstructs $h_i = H_i/H_{\max}\in[0,1]$80 from the induced chain by integrating occupation times between successive entrances.

Under the additional assumptions that $h_i = H_i/H_{\max}\in[0,1]$81 is weak Feller, topologically irreducible, and topologically recurrent, there is a bijection between locally finite invariant measures of $h_i = H_i/H_{\max}\in[0,1]$82 and those of the entrance and exit chains. Hence uniqueness and ergodicity of the original invariant measure are inherited by the induced chains.

The main applications concern random walks on $h_i = H_i/H_{\max}\in[0,1]$83, viewed as stationary chains started under Lebesgue–Haar measure on the closed subgroup generated by the increment support. For one-dimensional oscillating random walks and the choice $h_i = H_i/H_{\max}\in[0,1]$84, the successive overshoots above zero form an entrance chain with invariant measure

$h_i = H_i/H_{\max}\in[0,1]$85

while the corresponding undershoots have

$h_i = H_i/H_{\max}\in[0,1]$86

The overshoot chains are ergodic under these invariant laws. This ergodic structure is then used to prove a central limit theorem for the number $h_i = H_i/H_{\max}\in[0,1]$87 of zero-level crossings: $h_i = H_i/H_{\max}\in[0,1]$88 assuming $h_i = H_i/H_{\max}\in[0,1]$89 and $h_i = H_i/H_{\max}\in[0,1]$90.

6. Entry-exit functions in slow-fast dynamics

In singular perturbation theory, the entry-exit function describes how an orbit that is attracted to a critical manifold before a turning point remains close to it after the stability has changed and only later leaves. For the planar slow-fast system

$h_i = H_i/H_{\max}\in[0,1]$91

with

$h_i = H_i/H_{\max}\in[0,1]$92

the critical manifold $h_i = H_i/H_{\max}\in[0,1]$93 is normally attracting for $h_i = H_i/H_{\max}\in[0,1]$94 and normally repelling for $h_i = H_i/H_{\max}\in[0,1]$95. If the orbit enters at $h_i = H_i/H_{\max}\in[0,1]$96 with $h_i = H_i/H_{\max}\in[0,1]$97, its return to the line $h_i = H_i/H_{\max}\in[0,1]$98 occurs at $h_i = H_i/H_{\max}\in[0,1]$99, and the limiting entry-exit relation is

$r_i=H_i/W_i$00

Geometric singular perturbation theory explains this by blow-up of the axis $r_i=H_i/W_i$01, analysis in entry, central, and exit charts, and matching along the blown-up cylinder. The same picture holds for the quadratic variant

$r_i=H_i/W_i$02

and the linear case can be reduced to the quadratic one by the singular substitution

$r_i=H_i/W_i$03

The corresponding return map is generically $r_i=H_i/W_i$04-smooth in $r_i=H_i/W_i$05, and under a flatness property $r_i=H_i/W_i$06 it is $r_i=H_i/W_i$07 in $r_i=H_i/W_i$08 without $r_i=H_i/W_i$09-dependence (Maesschalck et al., 2015).

The scalar theory extends to multi-dimensional fast variables in systems

$r_i=H_i/W_i$10

with invariant critical manifolds $r_i=H_i/W_i$11, fast heteroclinics $r_i=H_i/W_i$12, and a turning-point condition under which exactly one fast component changes stability on each $r_i=H_i/W_i$13. Local charts yield entry maps $r_i=H_i/W_i$14 and slow exit maps $r_i=H_i/W_i$15, and chaining them around an $r_i=H_i/W_i$16-corner singular loop produces a return map

$r_i=H_i/W_i$17

Its fixed points encode relaxation oscillations, and their orbital stability is determined by the spectral radius of $r_i=H_i/W_i$18: $r_i=H_i/W_i$19 implies orbital asymptotic stability, while $r_i=H_i/W_i$20 implies orbital instability. The paper applies this framework to predator-prey systems with rapid ecological evolutionary dynamics, obtaining both stable and unstable relaxation cycles (Hsu et al., 2019).

A related semistable setting arises in the two-dimensional system

$r_i=H_i/W_i$21

with $r_i=H_i/W_i$22, $r_i=H_i/W_i$23. The reduced problem has slow branches $r_i=H_i/W_i$24 and $r_i=H_i/W_i$25, where $r_i=H_i/W_i$26 is semi-stable. The exit point $r_i=H_i/W_i$27 associated with entrance at $r_i=H_i/W_i$28 is determined by the area rule

$r_i=H_i/W_i$29

This defines an entry-exit map $r_i=H_i/W_i$30, whose fixed points are canard trajectories; $r_i=H_i/W_i$31-turn canards arise from fixed points of the $r_i=H_i/W_i$32-fold composition $r_i=H_i/W_i$33. In the related linear model of Katriel, the same mechanism yields a unique globally-attracting periodic solution whose Floquet multiplier tends to zero as $r_i=H_i/W_i$34 (Lobry, 2022).

The most delicate case is a degenerate turning point on the invariant line $r_i=H_i/W_i$35, with reduced slow flow

$r_i=H_i/W_i$36

at $r_i=H_i/W_i$37. For $r_i=H_i/W_i$38, the leading-order entry-exit relation is a principal-value equation

$r_i=H_i/W_i$39

and the Dulac map

$r_i=H_i/W_i$40

is $r_i=H_i/W_i$41 in $r_i=H_i/W_i$42. For $r_i=H_i/W_i$43, the analysis shows that a well-defined Dulac map generally does not exist without additional control parameters; in a codimension-one case, varying a single unfolding parameter can restore a well-defined entry-exit relation. The $r_i=H_i/W_i$44 theory is applied to the graphics $r_i=H_i/W_i$45 and $r_i=H_i/W_i$46 in the Dumortier–Roussarie–Rousseau program (Huzak et al., 3 Oct 2025).

7. Conceptual unification and recurrent misconceptions

The literature does not support a single universal meaning of “entry-exit sequence.” In surveillance it is a ranked matching problem over ancillary descriptors; in optimal stopping it is a nested pair of stopping rules; in Hoare-like logic it is a correctness judgment for a program segment with designated entry and exit indices; in firm dynamics it is a stationary turnover mechanism; in induced Markov-chain theory it is a subsequence sampled on crossings of a set boundary; and in slow-fast dynamics it is a return or Dulac map determined by delayed loss of stability. Treating these as if they shared a single formalism would be misleading.

A second recurring misconception is that entry-exit constructions are intrinsically two-point descriptions. In the cited works they generally include an internal mechanism: LDA projection and rank aggregation in surveillance (V et al., 2019); variational inequalities, smooth pasting, or signature filtrations in stopping problems (Ning et al., 2023, Zhang, 2015); concatenation and repetition rules in program logic (Bergstra et al., 2014); invariant measures or capacities in stochastic models (Stachurski, 2019, Cirillo et al., 2016, Mijatovic et al., 2024); and blow-up charts, principal-value integrals, or return-map derivatives in singular perturbation theory (Maesschalck et al., 2015, Hsu et al., 2019, Lobry, 2022, Huzak et al., 3 Oct 2025).

A third misconception is that exit should occur exactly at the loss of local stability. The slow-fast literature shows the opposite: orbits can remain near a repelling branch until an accumulated balance condition is met, yielding integral relations such as

$r_i=H_i/W_i$47

Likewise, in the economic and financial stopping problems, entry and exit are not arbitrary thresholds but free boundaries determined jointly by continuation values and transaction costs.

Taken together, these results show that entry-exit sequencing is a cross-disciplinary pattern for linking boundary-crossing events to a mathematically constrained continuation mechanism. The specific objects differ sharply across fields, but the repeated appearance of thresholds, invariant laws, matching equations, and return maps indicates that the technical significance of an entry-exit sequence lies in the rule that mediates between entering and leaving, rather than in either event viewed in isolation.