We extend our recently developed semiclassical strong-field Herman-Kluk propagator (SFHK) method to calculate high-order harmonic generation (HHG) for atoms in intense lasers. We show that our method, based on a combination of the Herman-Kluk propagator and the strong-field approximation, can provide highly accurate results for both HHG yield and phase, nearly identical to those from the exact numerical solutions of the time-dependent Schrödinger equation. We provide detailed analyses of our method and its applications to the HHG process, particularly the recombination time. The main computational task in this method is to solve the classical Newton equations for the active electron in the combined atomic potential and laser-electron interaction. The motion of the centers of the electron wave packets, modeled by coherent states, is governed by independent classical trajectories so that the computation can therefore be parallelized very efficiently.
This study investigates the potential influence of Herman Melville reading on his own writings through computational semantic similarity analysis. Using documented records of books known to have been owned or read by Melville, we compare selected passages from his works with texts from his library. The methodology involves segmenting texts at both sentence level and non-overlapping 5-gram level, followed by similarity computation using BERTScore. Rather than applying fixed thresholds to determine reuse, we interpret precision, recall, and F1 scores as indicators of possible semantic alignment that may suggest literary influence. Experimental results demonstrate that the approach successfully captures expert-identified instances of similarity and highlights additional passages warranting further qualitative examination. The findings suggest that semantic similarity methods provide a useful computational framework for supporting source and influence studies in literary scholarship.
The internal charge and magnetization distributions of the proton are characterized by electromagnetic form factors GE and GM. They are experimentally extracted via Rosenbluth separation, which measures the elastic scattering of electrons and protons at multiple beam energies and angles at fixed momentum transfer Q2. Conventionally, form factor values are obtained by plotting reduced cross sections against the virtual photon polarization parameter epsilon and then extracting the slope and intercept of the best fit lines. An alternative visualization method, proposed by Hofstadter and Herman in 1960, plots GM2 vs. GE2 curves instead. The best fit values of GE2 and GM2 are immediately visible from the intersection region of the curves and their uncertainty bands. In this work, we apply both conventional and Hofstadter-Herman visualizations to classic 1994 SLAC elastic scattering data. We demonstrate that the Hofstadter-Herman method reveals previously obscured regions of form factor parameter space and highlights subtle experimental discrepancies among data sets. Our results motivate adopting this visualization method as a routine diagnostic cross-check at the Electron-Ion Collider a
The existence of the Herman ring of a function adds interest and complexity to the dynamics of the function. We present a detailed and understandable summary of the core discoveries and recent developments on the Herman ring of rational and transcendental meromorphic functions. It is demonstrated that the Herman ring is intriguing on its own and valuable in terms of overall dynamics. Finally, the results and potential future research problems are briefly discussed.
A quadratic Hénon map is an automorphism of $\C^2$ of the form $h:(x,y)\mapsto (ł^{1/2} (x^2+c)-ły,x)$. It has a constant Jacobian equal to $ł$ and has two fixed points. If $λ$ is on the unit circle (one says $h$ is conservative) these fixed points can be both elliptic or both hyperbolic. In the elliptic case, under an additional Diophantine condition, a simple application of Siegel Theorem shows that $h$ admits quasi-periodic orbits with two frequencies in the neighborhood of its fixed points. Surprisingly, in some hyperbolic cases, Shigehiro Ushiki observed numerically what seems to be quasi-periodic orbits belonging to some ``Exotic rotation domains'' though no Siegel disk is associated to the fixed points. The aim of this paper is to explain and prove the existence of these ``Exotic rotation domains''. Our method also applies to the dissipative case ($|ł|<1$) and allows to prove the existence of attracting Herman rings. The theoretical framework we develop permits to produce numerically these Herman rings that were never observed before.
We combine the semiclassical Herman--Kluk approximation with the coherence thermofield dynamics in order to evaluate vibrationally resolved electronic spectra at nonzero temperatures. In coherence thermofield dynamics, the dipole time correlation function is rewritten exactly as a wavepacket autocorrelation function, and the corresponding wavepacket is a solution to a zero-temperature time-dependent Schrödinger equation on an augmented configuration space of doubled dimension. We derive the Herman--Kluk representation for the thermofield wavepacket autocorrelation function and demonstrate how it can be computed from individual trajectories. To analyze this method, we compare spectra of Morse potentials of increasing anharmonicity evaluated at various temperatures with a numerically exact approach, with the Herman--Kluk coherence thermofield dynamics, and with the single-trajectory thawed Gaussian coherence thermofield dynamics. At low anharmonicity, both approximate methods yield accurate spectra. However, in a Morse potential with higher anharmonicity, the thawed Gaussian thermofield dynamics, based on the local harmonic approximation, fails to capture emerging hot bands, whereas
We present a refined cellularization (Filinov filtering) scheme for the semiclassical Herman--Kluk propagator, which employs the inverse Weierstrass transform and optimal scaling of the cell's size with the number of cells, and was previously used only in the context of the dephasing representation. In the new methodology, the sampling density for the cell centers correlates with the cell size, allowing for an effective sampling of the phase space covered by the initial state of the system. The main advantage of the presented approach is that, unlike the standard cellularization, it converges to the original Herman--Kluk result in the limit of an infinite number of trajectories and to the thawed Gaussian approximation when a single trajectory is used. We illustrate the performance of the refined cellularization scheme by calculating autocorrelation functions and spectra of both integrable and chaotic model systems.
The coherent-state initial-value representation (IVR) for the semi-classical real-time propagator of a quantum system, developed by Herman and Kluk (HK), is widely used in computational studies of chemical dynamics. On the other hand, the Boltzmann operator $e^{-\hat{H}/(k_B T)}$, with $\hat{H}$,$k_B$, and $T$ representing the Hamiltonian, Boltzmann constant, and temperature, respectively, plays a crucial role in chemical physics and other branches of quantum physics. One might naturally assume that a semi-classical IVR for the matrix element of this operator in the coordinate representation (i.e., $ \langle \tilde{x} | e^{-\hat{H}/(k_B T)} | x \rangle$, or the imaginary-time propagator) could be derived via a straightforward ``real-time $\rightarrow$ imaginary-time transformation'' from the HK IVR of the real-time propagator. However, this is not the case, as such a transformation results in a divergence in the high-temperature limit $(T \rightarrow \infty)$. In this work, we solve this problem and develop a reasonable HK-like semi-classical IVR for $ \langle \tilde{x} | e^{-\hat{H}/(k_B T)} | x \rangle$ specifically for systems where either the gradient of the potential energy (i
By adapting the near-degenerate regime designed by Kahn, Lyubich, and D. Dudko, we prove that the boundaries of Herman rings with bounded type rotation number and of the simplest configuration are quasicircles with dilatation depending only on the degree and the rotation number. As a consequence, we show that these Herman rings always degenerate to a Herman curve, i.e. an invariant Jordan curve that is not contained in the closure of a rotation domain and on which the map is conjugate to a rigid rotation. This process enables us to construct the first general examples of rational maps having Herman curves of bounded type with arbitrary degree and combinatorics. In particular, they do not come from Blaschke products. We also demonstrate the existence of Renormalization Theory for Herman curves by constructing rescaled limits of the first return maps in the unicritical case.
In his celebrated counterexample to the KAM theorem, Herman introduced a perturbation of an integrable system consisting of two components: a hyperbolic term and a bump function. He also remarked that it was unclear whether the bump function was truly necessary. In this note, we prove that the bump function is indeed necessary when more natural hyperbolic perturbations are considered. The proof of this necessity relies on an improved Siegel--Brjuno estimate and a parameter-dependent renormalization of resonances within the direct KAM method.
We investigate the existence and distribution of Herman rings of transcendental meromorphic functions which have at least one omitted value. If all the poles of such a function are multiple then it has no Herman ring. Herman rings of period one or two do not exist. Functions with a single pole or with at least two poles one of which is an omitted value have no Herman ring. Every doubly connected periodic Fatou component is a Herman ring.
Let $f$ be a rational map with degree at least two. We prove that $f$ has at least $2$ disjoint and infinite critical orbits in the Julia set if it has a Herman ring. This result is sharp in the following sense: there exists a cubic rational map having exactly two critical grand orbits but also having a Herman ring. In particular, $f$ has no Herman rings if it has at most one infinite critical orbit in the Julia set. These criterions derive some known results about the rational maps without Herman rings.
When the semiclassical Herman-Kluk propagator is used for evaluating quantum-mechanical observables or time-correlation functions, the initial conditions for the guiding trajectories are typically sampled from the Husimi density. Here, we employ this propagator to evolve the wavefunction itself. We investigate two grid-free strategies for the initial sampling of the Herman-Kluk propagator applied to the wavefunction and validate the resulting time-dependent wavefunctions evolved in harmonic and anharmonic potentials. In particular, we consider Monte Carlo quadratures based either on the initial Husimi density or on its square root as possible and most natural sampling densities. We prove analytical convergence error estimates and validate them with numerical experiments on the harmonic oscillator and on a series of Morse potentials with increasing anharmonicity. In all cases, sampling from the square root of Husimi density leads to faster convergence of the wavefunction.
We prove the existence of rational maps having smooth degenerate Herman rings. This answers a question of Eremenko affirmatively. The proof is based on the construction of smooth Siegel disks by Avila, Buff and Chéritat as well as the classical Siegel-to-Herman quasiconformal surgery. A crucial ingredient in the proof is the surgery's continuity, which relies on the control of the loss of the area of quadratic filled-in Julia sets by Buff and Chéritat. As a by-product, we prove the existence of rational maps having a nowhere dense Julia set of positive area for which these maps have no irrationally indifferent periodic points, no Herman rings, and are not renormalizable.
Possible periods of Herman rings are studied for general meromorphic functions with at least one omitted value. A pole is called $H$-relevant for a Herman ring $H$ of such a function $f$ if it is surrounded by some Herman ring of the cycle containing $H$. In this article, a lower bound on the period $p$ of a Herman ring $H$ is found in terms of the number of $H$-relevant poles, say $h$. More precisely, it is shown that $p\geq \frac{h(h+1)}{2}$ whenever $f^j(H)$, for some $j$, surrounds a pole as well as the set of all omitted values of $f$. It is proved that $p \geq \frac{h(h+3)}{2}$ in the other situation. Sufficient conditions are found under which equalities hold. It is also proved that if an omitted value is contained in the closure of an invariant or a two periodic Fatou component then the function does not have any Herman ring.
We study the geometric structure of the boundary of Herman rings in a model family of Blaschke products of degree 3. Shishikura's quasiconformal surgery relates the Herman ring to the Siegel disk of a quadratic polynomial. By studying the regularity properties of the maps involved, we can transfer McMullen's results on the fine local geometry of Siegel disks to the Herman ring setting.
The evaluation of a tunneling tail by the Herman-Kluk method, which is a quasiclassical way to compute quantum dynamics, is examined by asymptotic analysis. In the shallower part of the tail, as well as in the classically allowed region, it is shown that the leading terms of semiclassical evaluations of quantum theory and the Herman-Kluk formula agree, which is known as an asymptotic equivalence. In the deeper part, it is shown that the asymptotic equivalence breaks down, due to the emergence of unusual "tunneling trajectory", which is an artifact of the Herman-Kluk method.
In 1980s, Thurston established a topological characterization theorem for postcritically finite rational maps. In this paper, a decomposition theorem for a class of postcritically infinite branched covering termed `Herman map' is developed. It's shown that every Herman map can be decomposed along a stable multicurve into finitely many Siegel maps and Thurston maps, such that the combinations and rational realizations of these resulting maps essentially dominate the original one. This result gives an answer to a problem of McMullen in a sense and enables us to prove a Thurston-type theorem for rational maps with Herman rings.
We provide an experimental study of the existence of Herman rings in a parametrized family of rational maps preserving antipodal points, and a discussion of their properties on $\mathbb{RP}^2$. We study analytic maps of the sphere that project to dianalytic maps on the nonorientable surface, $\mathbb{RP}^2$. They have a known form and we focus on a subset of degree $3$ dianalytic maps and explore their dynamical properties. In particular, we focus on maps for which the Fatou set has a Herman ring. We appeal to dynamical properties of particular maps to justify our assertion that these Fatou components are Herman rings and analyze the parameter space for this family of maps.
The Herman--Kluk propagator is a popular semi-classical approximation of the unitary evolution operator in quantum molecular dynamics. In this paper we formulate the Herman--Kluk propagator as a phase space integral and discretise it by Monte Carlo and quasi-Monte Carlo quadrature. Then, we investigate the accuracy of a symplectic time discretisation by combining backward error analysis with Fourier integral operator calculus. Numerical experiments for two- and six-dimensional model systems support our theoretical results.