arXiv subjects
Publications and source records attributed to David Klein.
We derive exact solutions to the one-dimensional Schr\"odinger equation for compact support parabolic and hyperbolic secant potential barriers, along with combinations of these types of potential barriers. We give the expressions for transmission and reflection coefficients and calculate some dwell times of interest.
While protecting user data is essential, software developers often fail to fulfill privacy requirements. However, the reasons why they struggle with privacy-compliant implementation remain unclear. Is it due to a lack of knowledge, or is it because of insufficient support? To provide foundational insights in this field, we conducted a qualitative 5-hour programming study with 30 professional software developers implementing 3 privacy-sensitive programming tasks that were designed with GDPR compliance in mind. To explore if and how developers implement privacy requirements, participants were divided into 3 groups: control, privacy prompted, and privacy expert-supported. After task completion, we conducted follow-up interviews. Alarmingly, almost all participants submitted non-GDPR-compliant solutions (79/90). In particular, none of the 3 tasks were solved privacy-compliant by all 30 participants, with the non-prompted group having the lowest number of 3 out of 30 privacy-compliant solution attempts. Privacy prompting and expert support only slightly improved participants' submissions, with 6/30 and 8/30 privacy-compliant attempts, respectively. In fact, all participants reported severe issues addressing common privacy requirements such as purpose limitation, user consent, or data minimization. Counterintuitively, although most developers exhibited minimal confidence in their solutions, they rarely sought online assistance or contacted the privacy expert, with only 4 out of 10 expert-supported participants explicitly asking for compliance confirmation. Instead, participants often relied on existing implementations and focused on implementing functionality and security first.
Cross-Site Scripting (XSS) is a prevalent and well known security problem in web applications. Numerous methods to automatically analyze and detect these vulnerabilities exist. However, all of these methods require that either code or feedback from the application is available to guide the detection process. In larger web applications, inputs can propagate from a frontend to an internal backend that provides no feedback to the outside. None of the previous approaches are applicable in this scenario, known as blind XSS (BXSS). In this paper, we address this problem and present the first comprehensive study on BXSS. As no feedback channel exists, we verify the presence of vulnerabilities through blind code execution. For this purpose, we develop a method for synthesizing polyglots, small XSS payloads that execute in all common injection contexts. Seven of these polyglots are already sufficient to cover a state-of-the-art XSS testbed. In a validation on real-world client-side vulnerabilities, we show that their XSS detection rate is on par with existing taint tracking approaches. Based on these polyglots, we conduct a study of BXSS vulnerabilities on the Tranco Top 100,000 websites. We discover 20 vulnerabilities in 18 web-based backend systems. These findings demonstrate the efficacy of our detection approach and point at a largely unexplored attack surface in web security.
Given the Fourier-Legendre expansions of $f$ and $g$, and mild conditions on $f$ and $g$, we derive the Fourier-Legendre expansion of their product in terms of their corresponding Fourier-Legendre coefficients. In this way, expansions of whole number powers of $f$ may be obtained. We establish upper bounds on rates of convergence. We then employ these expansions to solve semi-analytically a class of nonlinear PDEs with a polynomial nonlinearity of degree 2. The obtained numerical results illustrate the efficiency and performance accuracy of this Fourier-Legendre based solution methodology for solving an important class of nonlinear PDEs.
We present completions of mock theta functions to harmonic weak Maass forms of weight $1/2$ and algebraic formulas for the coefficients of mock theta functions. We give several harmonic weak Maass forms of weight $1/2$ that have mock theta functions as their holomorphic part. Using these harmonic weak Maass forms and the Millson theta lift we compute finite algebraic formulas for the coefficients of the appearing mock theta functions in terms of traces of singular moduli.
We investigate the effect of increased longwave radiative forcing (a proxy for increased greenhouse gas concentration) on the zonally averaged location of the eddy-driven jet stream in a latitude dependent, two-layer Energy Balance Model. The model includes separate terms for atmospheric and surface albedos, and takes into account reflections of shortwave radiation between the surface and atmospheric layers. We introduce the notion of a cloud factor function, which depends on temperature gradients, to simulate the eddy-driven jet. An increase in longwave radiative forcing initially results in a poleward movement of the jet stream's mean latitude, but as the forcing increases, the location of the jet stream becomes quasi-periodic and its mean location moves equatorward.
In these informal lecture notes we outline different approaches used in doing calculations involving the Dirac equation in curved spacetime. We have tried to clarify the subject by carefully pointing out the various conventions used and by including several examples from textbooks and the existing literature. In addition some basic material has been included in the appendices. It is our hope that graduate students and other re- searchers will find these notes useful.
Using the Newman-Penrose formalism we calculate the positive energy momentum eigenstates of the Dirac equation for a plane polarized grav- itational wave pulse. We then consider Dirac particles whose spins are polarized in each orthonormal coordinate direction prior to the arrival of the gravitational wave pulse, and determine how the spins are changed by the pulse after its departure.
Robertson-Walker spacetimes within a large class are geometrically extended to larger cosmologies that include spacetime points with zero and negative cosmological times. In the extended cosmologies, the big bang is lightlike, and though singular, it inherits some geometric structure from the original spacetime. Spacelike geodesics are continuous across the cosmological time zero submanifold which is parameterized by the radius of Fermi space slices, i.e, by the proper distances along spacelike geodesics from a comoving observer to the big bang. The continuous extension of the metric, and the continuously differentiable extension of the leading Fermi metric coefficient $g_{\tau\tau}$ of the observer, restrict the geometry of spacetime points with pre-big bang cosmological time coordinates. In our extensions the big bang is two dimensional in a certain sense, consistent with some findings in quantum gravity.
Universal velocity addition formulas analogous to the well-known formula in special relativity are found for four geometrically defined relative velocities in a large class of Robertson-Walker spacetimes. Explicit examples are given. The special relativity result is recovered as a special case, and it is shown that the spectroscopic relative velocity, in contrast to three other geometric relative velocities, follows the same addition law as in special relativity for comoving observers in Robertson-Walker cosmologies.
A proof is given that the maximal Fermi coordinate chart for any comoving observer in a broad class of Robertson-Walker spacetimes consists of all events within the cosmological event horizon, if there is one, or is otherwise global. Exact formulas for the metric coefficients in Fermi coordinates are derived. Sharp universal upper bounds for the proper radii of leaves of the foliation by Fermi spaceslices are found, i.e., for the proper radii of the spatial universe at fixed times of the comoving observer. It is proved that the radius at proper time $\tau$ diverges to infinity for non inflationary cosmologies as $\tau\to\infty$, but not necessarily for cosmologies with periods of inflation. It is shown that any spacelike geodesic orthogonal to the worldline of a comoving observer has finite proper length and terminates within the cosmological event horizon (if there is one) at the big bang. Geometric properties of inflationary versus non inflationary cosmologies are compared, and opposite inequalities for the inflationary and non inflationary cases, analogous to Hubble's law, are obtained for the Fermi relative velocities of comoving test particles. It is proved that the Fermi relative velocities of radially moving test particles are necessarily subluminal for inflationary cosmologies in contrast to non inflationary models, where superluminal relative Fermi velocities necessarily exist.
What does it mean to say that space expands? One approach to this question is the study of relative velocities. In this context, a non local test particle is "superluminal" if its relative velocity exceeds the local speed of light of the observer. The existence of superluminal relative velocities of receding test particles, in a particular cosmological model, suggests itself as a possible criterion for expansion of space in that model. In this point of view, superluminal velocities of distant receding galaxy clusters result from the expansion of space between the observer and the clusters. However, there is a fundamental ambiguity that must be resolved before this approach can be meaningful. The notion of relative velocity of a nonlocal object depends on the choice of coordinates, and this ambiguity suggests the need for coordinate independent definitions. In this work, we review four (inequivalent) geometrically defined and universal notions of relative velocity: Fermi, kinematic, astrometric, and spectroscopic relative velocities. We apply this formalism to test particles undergoing radial motion relative to comoving observers in expanding Robertson-Walker cosmologies, and include previously unpublished results on Fermi coordinates for a class of inflationary cosmologies. We compare relative velocities to each other, and show how pairs of them determine geometric properties of the spacetime, including the scale factor with sufficient data. Necessary and sufficient conditions are given for the existence of superluminal recessional Fermi speeds in general Robertson-Walker cosmologies. We conclude with a discussion of expansion of space.
We develop a formalism for general relativistic, grand canonical ensembles in space-times with timelike Killing fields. Using that formalism we derive ideal gas laws, and show how they depend on the geometry of the particular space-times. A systematic method for calculating Newtonian limits is given for a class of these space-times, which is illustrated for Kerr space-time. In addition, we prove uniqueness of the infinite volume Gibbs measure, and absence of phase transitions for a class of interaction potentials in anti-de Sitter space-time.
The expansion of space, and other geometric properties of cosmological models, can be studied using geometrically defined notions of relative velocity. In this paper, we consider test particles undergoing radial motion relative to comoving (geodesic) observers in Robertson-Walker cosmologies, whose scale factors are increasing functions of cosmological time. Analytical and numerical comparisons of the Fermi, kinematic, astrometric, and the spectroscopic relative velocities of test particles are given under general circumstances. Examples include recessional comoving test particles in the de Sitter universe, the radiation-dominated universe, and the matter-dominated universe. Three distinct coordinate charts, each with different notions of simultaneity, are employed in the calculations. It is shown that the astrometric relative velocity of a radially receding test particle cannot be superluminal in any expanding Robertson-Walker spacetime. However, necessary and sufficient conditions are given for the existence of superluminal Fermi speeds, and it is shown how the four concepts of relative velocity determine geometric properties of the spacetime.
Motivated by the amount of code that goes unidentified on the web, we introduce a practical method for algorithmically identifying the programming language of source code. Our work is based on supervised learning and intelligent statistical features. We also explored, but abandoned, a grammatical approach. In testing, our implementation greatly outperforms that of an existing tool that relies on a Bayesian classifier. Code is written in Python and available under an MIT license.
We show how to embed spacelike slices of the Schwarzschild wormhole (or Einstein-Rosen bridge) in R3. Graphical images of embeddings are given, including depictions of the dynamics of this nontraversable wormhole at constant Kruskal times up to, and beyond, the "pinching off" at Kruskal times \pm1.
Explicit Fermi coordinates are given for geodesic observers comoving with the Hubble flow in expanding Robertson-Walker spacetimes, along with exact expressions for the metric tensors in Fermi coordinates. For the case of non inflationary cosmologies, it is shown that Fermi coordinate charts are global, and space-time is foliated by space slices of constant Fermi (proper) time that have finite extent. A universal upper bound for the proper radius of any leaf of the foliation, i.e., for the proper radius of the spatial universe at any fixed time of the geodesic observer, is given. A general expression is derived for the geometrically defined Fermi relative velocity of a test particle (e.g. a galaxy) comoving with the Hubble flow away from the observer. Least upper bounds of superluminal recessional Fermi velocities are given for spacetimes whose scale factors follow power laws, including matter-dominated and radiation-dominated cosmologies. Exact expressions for the proper radius of any leaf of the foliation for this same class of spacetimes are given. It is shown that the radii increase linearly with proper time of the observer moving with the Hubble flow. These results are applied to particular cosmological models.
An improved version has been submitted with the title: Recessional velocities and Hubble's law in Schwarzschild-de Sitter space. arXiv:1001.1875