George Amarandei,Cezar Gaman,Dan G. Dimitriu,Codrina Ionita,Mircea Sanduloviciu,Roman Schrittwieser
Abstract:We report new experimental results on the generation and dynamics of multiple double layers in front of a positively biased electrode immersed in a DP-machine plasma. Depending on the geometry or the dimensions of the electrode, this complex space charge configuration can appear in two different modes. If the electrode is small with respect to the plasma size, the phenomenon appears as a set of concentric luminous shells with different intensities. If the electrode has large dimensions, or a one-dimensional geometry, the spherical double layers appear adjacent to each other, as equally separated luminous plasma blobs. Our experimental investigations prove that in both of cases we deal with almost the same phenomenon. The same elementary processes, namely electron-neutral impact excitations and ionizations, play the key role in the generation and dynamics of each structure. This is emphasized in the static current-voltage characteristic of the electrode, which shows similar jumps of the current, associated with hysteresis.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the asymptotic analysis of binary search trees (BSTs) under the random permutation model. Specifically, by embedding the discrete BST process into a continuous - time model, the author studies the asymptotic behavior of the BST profile. The BST profile refers to the distribution of the number of leaf nodes at each level in the tree.
### Overview of Main Problems
1. **Study of Asymptotic Behavior**:
- The author focuses on the asymptotic behavior of BSTs under the random permutation model, especially the asymptotic behavior of the tree profile.
- By embedding BSTs into the Yule tree process (a continuous - time model), the author obtains new results.
2. **Martingale Convergence**:
- The asymptotic behavior of the BST martingale \( M_n(z) \) is studied, especially its behavior at the critical values \( z = z_c^{\pm} \).
- It is proved that \( M_\infty(z) \) is almost surely positive for \( z \in (z_c^-, z_c^+) \), almost surely zero outside this interval, and \( M_\infty(z_c^{\pm}) = 0 \) almost surely at the critical points.
3. **Convergence of Derivative Martingales**:
- The asymptotic behavior of the derivative martingale \( M_n'(z) \) is studied, especially its behavior at the critical values \( z = z_c^{\pm} \).
- It is proved that the derivative martingale converges almost surely for \( z \in (z_c^-, z_c^+) \) and the splitting formula satisfied by its limit is given.
4. **Asymptotic Behavior of the Profile**:
- The asymptotic behavior of the BST profile \( U_k(n) \) when \( k\approx 2z\log n \) is studied, where \( z \in (z_c^-, z_c^+) \).
- Previous results were only known in the sub - domain where the \( L^2 \) method was applicable, and this paper extends these results to the entire interval.
### Key Formulas
- Definition of BST Martingale:
\[
M_n(z) := \frac{1}{C_n(z)} \sum_{k \geq 0} U_k(n) z^k = \frac{1}{C_n(z)} \sum_{u \in \partial T_n} z^{|u|}
\]
where
\[
C_n(z) := \prod_{k = 0}^{n - 1} \frac{k + 2z}{k + 1}=(-1)^n\binom{-2z}{n}
\]
- Definition of Yule Tree Martingale:
\[
M(t,z):=\sum_{u\in\partial T_T^t}z^{|u|}e^{t(1 - 2z)}
\]
- Martingale Connection Formula:
\[
M(\tau_n,z)=\text{BV}_n(z)M_n(z)
\]
where
\[
\text{BV}_n(z):=e^{\tau_n(1 - 2z)}C_n(z)
\]
- Limit Relation of Derivative Martingales:
\[
M_\infty'(z)=z\left(U^{2z - 1}M_\infty^{(0)}(z)+(1 - U)^{2z - 1}M_\infty^{(1)}(z)\right)+2z\left(U^{2z - 1}\log U\right)M_\infty^{(0)}(z)+2z\left((1 - U)^{2z - 1}\log(1 - U)\right)M_\infty^{(1)}(z)+z^{-1}M_\infty(z)
\]
Through these studies, the author not only verifies the existing results but also extends the understanding of the asymptotic behavior of the BST profile and its related martingales.