Searching Arxiv, refresh for possibly better results.

Results for "Ralf Kleiber Seung-Hoe Ku"

total 3646took 0.12s
Verification of the global gyrokinetic stellarator code XGC-S for linear ion temperature gradient driven modesMay 14 2019XGC (X-point Gyrokinetic Code) is a whole-volume, total-f gyrokinetic particle-in-cell code developed for modelling tokamaks. In recent work, XGC has been extended to model more general 3D toroidal magnetic configurations, such as stellarators. These ... More
A tight-coupling scheme sharing minimum information across a spatial interface between gyrokinetic turbulence codesJun 13 2018Jul 20 2018A new scheme that tightly couples kinetic turbulence codes across a spatial interface is introduced. This scheme evolves from considerations of competing strategies and down-selection. It is found that the use of a composite kinetic distribution function ... More
Pullback transformation in gyrokinetic electromagnetic simulationsJul 15 2014It is shown that a considerable improvement in the global gyrokinetic electromagnetic simulations can be achieved by a slight modification of the simulation scheme. The new scheme is verified, simulating a Toroidal Alfv\'en Eigenmode in tokamak geometry ... More
Semianalytical calculation of the zonal-flow oscillation frequency in stellaratorsJan 10 2017May 04 2017Due to their capability to reduce turbulent transport in magnetized plasmas, understanding the dynamics of zonal flows is an important problem in the fusion programme. Since the pioneering work by Rosenbluth and Hinton in axisymmetric tokamaks, it is ... More
On moment indeterminacy of the Benini income distributionJun 03 2013The Benini distribution is a lognormal-like distribution generalizing the Pareto distribution. Like the Pareto and the lognormal distributions it was originally proposed for modeling economic size distributions, notably the size distribution of personal ... More
Time-Shared Execution of Realtime Computer Vision Pipelines by Dynamic Partial ReconfigurationMay 26 2018Jun 21 2018This paper presents an FPGA runtime framework that demonstrates the feasibility of using dynamic partial reconfiguration (DPR) for time-sharing an FPGA by multiple realtime computer vision pipelines. The presented time-sharing runtime framework manages ... More
Gyroaveraging operations using adaptive matrix operatorsFeb 26 2018Apr 20 2018A new adaptive scheme to be used in Particle-In-Cell codes for carrying out gyroaveraging operations with matrices is presented. This new scheme uses an intermediate velocity grid whose resolution is adapted to the local thermal Larmor radius. The charge ... More
Realization of affine type A Kirillov-Reshetikhin crystals via polytopesSep 26 2012On the polytope defined in Feigin, Fourier, and Littelmann (2011), associated to any rectangle highest weight, we define a structure of an type $A_n$-crystal. We show, by using the Stembridge axioms, that this crystal is isomorphic to the one obtained ... More
Improving particle filter performance by smoothing observationsNov 17 2017May 12 2018This article shows that increasing the observation variance at small scales can reduce the ensemble size required to avoid collapse in particle filtering of spatially-extended dynamics and improve the resulting uncertainty quantification at large scales. ... More
The PBW filtration and convex polytopes in type $\tt B$Apr 24 2015Nov 18 2016We study the PBW filtration on irreducible finite--dimensional representations for the Lie algebra of type $\tt B_n$. We prove in several cases, including all multiples of the adjoint representation and all irreducible finite--dimensional representations ... More
The PBW filtration and convex polytopes in type $\tt B$Apr 24 2015Apr 30 2015We study the PBW filtration on irreducible finite--dimensional representations for the Lie algebra of type $\tt B_n$. We prove in several cases, including all multiples of the adjoint representation and all irreducible finite--dimensional representations ... More
Demazure modules and Weyl modules: The twisted current caseAug 30 2011We study finite-dimensional respresentations of twisted current algebras and show that any graded twisted Weyl module is isomorphic to level one Demazure module for the twisted affine Kac-Moody algebra. Using the tensor product property of Demazure modules, ... More
Computing the sparse matrix vector product using block-based kernels without zero padding on processors with AVX-512 instructionsJan 03 2018May 11 2018The sparse matrix-vector product (SpMV) is a fundamental operation in many scientific applications from various fields. The High Performance Computing (HPC) community has therefore continuously invested a lot of effort to provide an efficient SpMV kernel ... More
A scalar photon theory for near-field radiative heat transferMar 21 2017We study a one-dimensional model of radiative heat transfer for which the effect of the electromag- netic field is only from the scalar potential and thereby ignoring the vector potential contribution. This is a valid assumption when the distances between ... More
Verification of long wavelength electromagnetic modes with a gyrokinetic-fluid hybrid model in the XGC codeFeb 16 2017As an alternative option to kinetic electrons, the gyrokinetic total-f particle-in-cell (PIC) code XGC1 has been extended to the MHD/fluid type electromagnetic regime by combining gyrokinetic PIC ions with massless drift-fluid electrons analogous to Chen ... More
Yang-Mills thermodynamicsOct 04 2007Nov 05 2009We present a quantitative analysis of Yang-Mills thermodynamics in 4D flat spacetime. The focus is on the gauge group SU(2). Results for SU(3) are mentioned in passing. Although all essential arguments and results were reported elsewhere we summarize ... More
Spontaneously broken, local Z$_2$ symmetry and the anatomy of a leptonDec 03 2003Feb 11 2004In the framework of the gauge symmetry ${SU(2)}_{\tiny{CMB}}\times {SU(2)}_{\tiny{e}}\times {SU(2)}_{\tiny{\mu}}\times {SU(2)}_{\tiny{\tau}}$ we provide a microscopic argument why a spontaneously broken, local Z$_2$ symmetry surviving the 1$^{\tiny{st}}$ ... More
Reshuffling the OPE: Delocalized Operator ExpansionJul 29 2002A generalization of the operator product expansion for Euclidean correlators of gauge invariant QCD currents is presented. Each contribution to the modified expansion, which is based on a delocalized multipole expansion of a perturbatively determined ... More
Modifying operator product expansions by non-perturbative non-localitySep 02 2001Nov 12 2001Local quark-hadron duality violations in conventional applications of the operator product expansion are proposed to have their origin in the fact that the QCD vacuum or a hadronic state is not only characterized by nonvanishing expectation values of ... More
Confinement, Chiral Symmetry Breaking, and Axial Anomaly from Domain Formation at Intermediate ResolutionMar 26 2001Jul 02 2001Based on general renormalization group arguments, Polyakov's loop-space formalism, and recent analytical lattice arguments, suggesting, after Abelian gauge fixing, a description of pure gluodynamics by means of a Georgi-Glashow like model, the corresponding ... More
Analytical approach to nonperturbative Yang-Mills thermodynamicsDec 03 2003Dec 05 2003An analytical and inductive approach to hot SU(N) Yang-Mills dynamics is developed. For N=2,3 pressure and energy density are pointwise compared with lattice data.
Towards OPE based local quark-hadron duality: Light-quark channelsSep 02 2001Various light-quark channel current-current correlators are subjected to the concept of a non-perturbative component of coarse graining in operator product expansions introduced in a parallel work. This procedure allows for low-energy structure of the ... More
On the geometry of global function fields, the Riemann-Roch theorem, and finiteness properties of S-arithmetic groupsAug 21 2010Jan 30 2011Harder's reduction theory provides filtrations of euclidean buildings that allow one to deduce cohomological and homological properties of S-arithmetic groups over global function fields. In this survey I will sketch the main points of Harder's reduction ... More
Emergent Horizons in the LaboratoryApr 15 2010The concept of a horizon known from general relativity describes the loss of causal connection and can be applied to non-gravitational scenarios such as out-of-equilibrium condensed-matter systems in the laboratory. This analogy facilitates the identification ... More
Recreating Fundamental Effects in the Laboratory?Apr 14 2010This article provides a brief (non-exhaustive) overview of some possibilities for recreating fundamental effects which are relevant for black holes (and other gravitational scenarios) in the laboratory. Via suitable condensed matter analogues and other ... More
The galactic population of white dwarfsMar 12 2009The contribution of white dwarfs of the different Galactic populations to the stellar content of our Galaxy is only poorly known. Some authors claim a vast population of halo white dwarfs, which would be in accordance with some investigations of the early ... More
Modeling Star Formation from Turbulent FragmentationOct 03 2001Star formation is intimately linked to the dynamical evolution of molecular clouds. Turbulent fragmentation determines where and when protostellar cores form, and how they contract and grow in mass via accretion from the surrounding cloud material. Using ... More
Star Formation from Turbulent FragmentationNov 10 2000Star formation is intimately linked to the dynamical evolution of molecular clouds. Turbulent fragmentation determines where and when protostellar cores form, and how they contract and grow in mass via accretion from the surrounding cloud material. Efficiency, ... More
Vibrational band structure of nanoscale phononic crystalsNov 02 2015Nov 24 2017The vibrational properties of two-dimensional phononic crystals are studied with large-scale molecular dynamics simulations and finite element method calculation. The vibrational band structure derived from the molecular dynamics simulations shows the ... More
Electromagnetic waves and photonsJul 21 2015Aug 24 2015We explore how the thermal ground states of two mixing and pure SU(2) Yang-Mills theories, SU(2)$_{\tiny\mbox{CMB}}$ of scale $\Lambda_{\tiny\mbox{CMB}}\sim 10^{-4}\,$eV and SU(2)$_{e}$ of scale $\Lambda_{e}\sim 5\times 10^5\,$eV, associate either wave ... More
Relic photon temperature versus redshift and the cosmic neutrino backgroundJul 02 2014Jan 19 2015Presuming that CMB photons are described by the deconfining phase of an SU(2) Yang-Mills theory with the critical temperature for the deconfining-preconfining phase transition matching the present CMB temperature $T_0\sim 2.725\,$K (SU(2)$_{\tiny{CMB}}$), ... More
Kinematical Lorentz-symmetry tests at particle collidersMar 24 2014Violations of Lorentz symmetry are typically associated with modifications of one-particle dispersion relations. The physical effects of such modifications in particle collisions often grow with energy, so that ultrahigh-energy cosmic rays provide an ... More
Massively Parallel Computation of Accurate Densities for N-body Dark Matter Simulations using the Phase-Space-Element MethodDec 29 2016Aug 24 2017This paper presents an accurate density computation approach for large dark matter simulations, based on a recently introduced phase-space tessellation technique and designed for massively parallel, heterogeneous cluster architectures. We discuss a memory ... More
Lorentz and CPT violation in the Standard-Model ExtensionApr 20 2016Lorentz and CPT invariance are among the symmetries that can be investigated with ultrahigh precision in subatomic physics. Being spacetime symmetries, Lorentz and CPT invariance can be violated by minuscule amounts in many theoretical approaches to underlying ... More
Interaction of a Bose-Einstein condensate with a gravitational waveJul 18 2018Nov 20 2018Partly motivated by recent proposals for the detection of gravitational waves, we study their interaction with Bose-Einstein condensates. For homogeneous condensates at rest, the gravitational wave does not directly create phonons (to lowest order), but ... More
How reliable are the Powell-Wetherall plot method and the maximum-length approach? Implications for length-based studies of growth and mortalityApr 14 2018Length-based methods are the cornerstone of many population studies and stock assessments. This study tested two widely used methods: the Powell-Wetherall (P-W) plot and the Lmax approach, i.e., estimating Linf directly from Lmax. In most simulations, ... More
A geometric model for cluster categories of type $D_n$Aug 10 2006Aug 30 2006We give a geometric realization of cluster categories of type $D_n$ using a polygon with $n$ vertices and one puncture in its center as a model. In this realization, the indecomposable objects of the cluster category correspond to certain homotopy classes ... More
A matrix-algebraic algorithm for the Riemannian logarithm on the Stiefel manifold under the canonical metricApr 18 2016Mar 17 2017We derive a numerical algorithm for evaluating the Riemannian logarithm on the Stiefel manifold with respect to the canonical metric. In contrast to the existing optimization-based approach, we work from a purely matrix-algebraic perspective. Moreover, ... More
Fundamental Quantum Effects from a Quantum-Optics PerspectiveApr 14 2010This article provides a brief overview of some fundamental effects of quantum fields under extreme conditions. For the Schwinger mechanism, Hawking radiation, and the Unruh effect, analogies to quantum optics are discussed, which might help to approach ... More
CPT and Lorentz-invariance violationNov 15 2009The largest gap in our understanding of nature at the fundamental level is perhaps a unified description of gravity and quantum theory. Although there are currently a variety of theoretical approaches to this question, experimental research in this field ... More
Representations of *-algebras by unbounded operators: C*-hulls, local-global principle, and inductionJul 15 2016Sep 29 2016We define a C*-hull for a *-algebra, given a notion of integrability for its representations on Hilbert modules. We establish a local-global principle which, in many cases, characterises integrable representations on Hilbert modules through the integrable ... More
Quotients of the topology of the partition lattice which are not homotopy equivalent to wedges of spheresFeb 20 2012Jun 21 2012The reader of doi:10.1016/j.topol.2010.08.006 might conjecture that \Delta(\bar{\Pi}_n)/G is homotopy equivalent to a wedge of spheres for any n>=3 and any subgroup G<S_n. We disprove this by showing that \Delta(\bar{\Pi}_p)/C_p is not homotopy equivalent ... More
Topological versus rheological entanglement length in primitive path analysis protocolsNov 21 2011Primitive path analysis algorithms are now routinely employed to analyze entanglements in computer simulations of polymeric systems, but different analysis protocols result in different estimates of the entanglement length, N_e. Here we argue that standard ... More
General Analysis Tool Box for Controlled PerturbationMar 29 2012The implementation of reliable and efficient geometric algorithms is a challenging task. The reason is the following conflict: On the one hand, computing with rounded arithmetic may question the reliability of programs while, on the other hand, computing ... More
Isospectral Metrics on Projective SpacesApr 12 2011We construct isospectral non isometric metrics on real and complex projective space. We recall the construction using isometric torus actions by Carolyn Gordon in chapter 2. In chapter 3 we will recall some facts about complex projective space. In chapter ... More
Dynamical quantum phase transitionsApr 14 2010A sweep through a quantum phase transition by means of a time-dependent external parameter (e.g., pressure) entails non-equilibrium phenomena associated with a break-down of adiabaticity: At the critical point, the energy gap vanishes and the response ... More
Combable groups have group cohomology of polynomial growthOct 28 2004Jun 02 2005Group cohomology of polynomial growth is defined for any finitely generated discrete group, using cochains that have polynomial growth with respect to the word length function. We give a geometric condition that guarantees that it agrees with the usual ... More
Structure, Formation and Ages of Elliptical GalaxiesJan 27 1997The structural properties of elliptical galaxies are consistent with their formation in a merging hierarchy. In this picture, the role of gaseous processes and dissipation decreased with increasing mass creating preferentially rotationally flattend disky ... More
SU(2) Yang-Mills thermodynamics and photon physicsOct 05 2007Based on quantitative predictions enabled by a nonperturbative approach to Yang-Mills thermodynamics it is explained why the physics of photon {\sl propagation} is not unlikely rooted in pure SU(2) gauge dynamics.
Yang-Mills thermodynamics at low temperatureFeb 04 2007Sep 18 2007For the confining phase of SU(2) Yang-Mills thermodynamics we show that the asymptotic series representing the pressure is Borel summable for negative (unphysical) values of a suitably defined coupling constant. The inverse Borel transform is meromorphic ... More
Loop expansion in Yang-Mills thermodynamicsSep 05 2006Nov 05 2009We argue that a selfconsistent spatial coarse-graining, which involves interacting (anti)calorons of unit topological charge modulus, implies that real-time loop expansions of thermodynamical quantities in the deconfining phase of SU(2) and SU(3) Yang-Mills ... More
Operator Product Expansion and Quark-Hadron Duality: Facts and RiddlesDec 09 2003Jan 23 2004We review the status of the practical operator product expansion (OPE), when applied to two-point correlators of QCD currents which interpolate to mesonic resonances, in view of the violations of local quark-hadron duality. Covered topics are: a mini-review ... More
Thermodynamic gauge-theory cascadeApr 15 2003Aug 14 2003It is proposed that the cooling of a thermalized SU($N$) gauge theory can be formulated in terms of a cascade involving three effective theories with successively reduced (and spontaneously broken) gauge symmetries, SU($N$) $\to$ U(1)$^{N-1}$ $\to$ Z$_N$. ... More
A Model for the Effective Potential of Thermalized Pure SU(Large N) Gauge TheoryJan 10 2002May 27 2002Based on the (in part verified) ideas of a dynamical ``abelian-ization'' and subsequent ``center-ization'' of pure SU($N$) gauge theory an effective potential for relevant field variables is constructed in the limit of large N. To do this the theory is ... More
Magnetic charge of finite lifetime in SU(2) gluodynamicsJan 29 2001A self-dual, localized solution to the classical SU(2) Yang-Mills equation in Euclidean spacetime, which formally possesses infinite action, is investigated in view of its U(1) charge content after Abelian projection. This is suggested by noting that ... More
Yang-Mills thermodynamics: The confining phaseAug 29 2005Nov 27 2006We summarize recent nonperturbative results obtained for the thermodynamics of an SU(2) and an SU(3) Yang-Mills theory being in its confining (center) phase. This phase is associated with a dynamical breaking of the local magnetic center symmetry. Emphasis ... More
A strongly interacting SU(2) pure gauge theory and the nature of lightAug 16 2005Nov 27 2006We present quantitative and qualitative arguments in favor of the claim that, within the present cosmological epoch, the U(1)$_Y$ factor in the Standard Model is an effective manifestation of SU(2) pure gauge dynamics of Yang-Mills scale $\Lambda\sim ... More
Pointlike electrons and muons and the nature of neutrinosJan 05 2004Jan 29 2004We show that the form factor of an electron or a muon is unity for the modulus of the momentum transfer away from the Hagedorn temperatures $T^{e}_0\sim m_e$ and $T^{\mu}_0\sim m_\mu$ and lower than the hadronic Hagedorn temperature $T^{\tiny{QCD}}_0\sim ... More
The curvaton as a Bose-Einstein condensate of chiral pseudo Nambu-Goldstone bosonsAug 29 2002Sep 22 2003Explaining cosmic inflation by the effective dynamics of an $SU(N_C)$ pure gauge theory of scale $\La\sim 10^{-6} M_p$ is lacking an explanation of the (Gaussian) spatial curvature perturbations needed to seed the formation of large-scale structure after ... More
The Sketch of a Polymorphic SymphonyApr 08 2002Nov 01 2002In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific behaviour. In the present paper, we give a detailed description of one particular ... More
The future is noisy: on the role of spatial fluctuations in genetic switchingJul 24 2001A genetic switch may be realised by a certain operator sector on the DNA strand from which either genetic code, to the left or to the right of this operator sector, can be transcribed and the corresponding information processed. This switch is controlled ... More
Representations of *-algebras by unbounded operators: C*-hulls, local-global principle, and inductionJul 15 2016Jul 27 2017We define a C*-hull for a *-algebra, given a notion of integrability for its representations on Hilbert modules. We establish a local-global principle which, in many cases, characterises integrable representations on Hilbert modules through the integrable ... More
Equivariant Algebraic Morse TheoryMar 24 2018Dec 17 2018In this paper we develop Algebraic Morse Theory for the case where a group acts on a free chain complex. Algebraic Morse Theory is an adaption of Discrete Morse Theory to free chain complexes.
Formal Verification, Engineering and Business ValueJan 01 2013How to apply automated verification technology such as model checking and static program analysis to millions of lines of embedded C/C++ code? How to package this technology in a way that it can be used by software developers and engineers, who might ... More
Homological algebra in bivariant K-theory and other triangulated categories. IIJan 09 2008Dec 12 2008We use homological ideals in triangulated categories to get a sufficient criterion for a pair of subcategories in a triangulated category to be complementary. We apply this criterion to construct the Baum-Connes assembly map for locally compact groups ... More
A spectral interpretation for the zeros of the Riemann zeta functionDec 14 2004Aug 27 2013Based on work of Alain Connes, I have constructed a spectral interpretation for zeros of L-functions. Here we specialise this construction to the Riemann zeta function. We construct an operator on a nuclear Frechet space whose spectrum is the set of non-trivial ... More
Manifold interpolation and model reductionFeb 18 2019One approach to parametric and adaptive model reduction is via the interpolation of orthogonal bases, subspaces or positive definite system matrices. In all these cases, the sampled inputs stem from matrix sets that feature a geometric structure and thus ... More
Ab Initio Evaluation of Plasmon Lifetimes in the Alkali MetalsSep 02 1998The anomalous plasmon linewidth dispersion (PLD) measured in K by vom Felde, Sprosser-Prou, and Fink (Phys. Rev. B 40, 10181 (1989)), has been attributed to strong dynamical electron-electron correlations. On the basis of ab initio response calculations, ... More
Spectroscopic investigation of old planetaries V. Distance scalesDec 01 2000Jan 08 2001We use the results of our recent NLTE model atmosphere analysis of central stars of old planetary nebulae (PN) to calculate distances. We perform a comparison with three other methods (trigonometric parallaxes, interstellar NaD lines, and Shklovsky distances) ... More
SU(2) and SU(3) Yang-Mills thermodynamics and some implicationsMar 30 2006Nov 27 2006We sketch the development of effective theories for SU(2) and SU(3) Yang-Mills thermodynamics. The most important results are quoted and some implications for particle physics and cosmology are discussed.
Yang-Mills thermodynamics: The deconfining phaseJul 04 2005Nov 27 2006We summarize recent nonperturbative results obtained for the thermodynamics of an SU(2) and an SU(3) Yang-Mills theory being in its deconfining (electric) phase. Emphasis is put on an explanation of the concepts involved. The presentation of technical ... More
Non-perturbative non-locality: $V\pm A$ correlators in euclidean position spaceSep 02 2001Using an OPE modification, which takes non-perturbative non-locality into account, the difference and sum of vector and axial-vector correlators are evaluated in euclidean position space. For distances up to 0.8 fm the calculated behavior is close to ... More
Nonperturbative approach to Yang-Mills thermodynamicsApr 07 2005Nov 28 2006An analytical and nonperturbative approach to SU(2) and SU(3) Yang-Mills thermodynamics is developed and applied. Each theory comes in three phases: A deconfining, a preconfining, and a confining one. We show how macroscopic and inert scalar fields form ... More
A thermal theory for charged leptonsDec 03 2003Jan 29 2004We propose that charged leptons are the `baryons' of the gauge dynamics subject to a SU(2)$_{e}$$\timesSU(2)_{\mu}\timesSU(2)_{\tau}$ symmetry. The `mesons' of this theory are neutral and thus candidates for dark matter. There is, in addition, a gauge ... More
Deconfining by WindingApr 19 2001Apr 23 2001A model for the quantum effective description of the vacuum structure of thermalized SU(3) Yang-Mills theory is proposed. The model is based on Abelian projection leading to a Ginzburg-Landau theory for the magnetic sector. The possibility of topologically ... More
BPS Saturated Vacua Interpolation along One Compact DimensionApr 26 2000Jun 08 2000A class of generalized Wess-Zumino models with distinct vacua is investigated. These models allow for BPS saturated vacua interpolation along one compact spatial dimension. The properties of these interpolations are studied.
Dust Emission by AGN and StarburstsJun 24 2005Present AGN and starburst models aiming to account for the observed infrared SEDs consider a physical description of the dust and a solution of the radiative transfer problem. MIR spectra obtained at different spatial scales (SST-IRS, ISO and TIMMI2) ... More
Supersymmetry at Present and Future CollidersJun 23 1995The theoretical expectations for the supersymmetric particle spectrum is reviewed and a brief overview on present constraints on supersymmetric models from collider experiments is presented. Finally, we discuss the discovery potential of future collider ... More
Top-Down Approach to Unified Supergravity ModelsApr 06 1994Apr 08 1994We introduce a new approach for studying unified supergravity models. In this approach all the parameters of the grand unified theory (GUT) are fixed by imposing the corresponding number of low energy observables. This determines the remaining particle ... More
Neutrino properties and SUSY without $R$-paritySep 30 1996In supersymmetric models without $R$-parity neutrinos naturally become massive and mix with each other. We explore the predictions of a very restricted model with only three free parameters and find that this model naturally yields masses and mixing angles ... More
Book review "The Haskell Road to Logic, Maths and Programming"Dec 24 2005Jun 22 2006The textbook by Doets and van Eijck puts the Haskell programming language systematically to work for presenting a major piece of logic and mathematics. The reader is taken through chapters on basic logic, proof recipes, sets and lists, relations and functions, ... More
Typed Generic Traversal With Term Rewriting StrategiesMay 14 2002Jul 28 2002A typed model of strategic term rewriting is developed. The key innovation is that generic traversal is covered. To this end, we define a typed rewriting calculus S'_{gamma}. The calculus employs a many-sorted type system extended by designated generic ... More
Automatic Test Data Generation and Model Checking with CHRJun 09 2014We present an example for application of Constraint Handling Rules to automated test data generation and model checking in verification of mission critical software for satellite control.
Thermodynamics of SU(2) quantum Yang-Mills theory and CMB anomaliesNov 12 2013A brief review of effective SU(2) Yang-Mills thermodynamics in the deconfining phase is given, including the construction of the thermal ground-state estimate in terms of an inert, adjoint scalar field $\phi$, based on non-propagating (anti)selfdual field ... More
Photon Polarization Precession Spectroscopy for High-Resolution Studies of SpinwavesFeb 17 2014A new type of spectroscopy for high-resolution studies of spin waves that relies on resonant scattering of hard x-rays is introduced. The energy transfer in the scattering process is encoded in the precession of the polarization vector of the scattered ... More
PICARD: A novel code for the Galactic Cosmic Ray propagation problemJan 16 2014In this manuscript we present a new approach for the numerical solution of the Galactic Cosmic Ray propagation problem. We introduce a method using advanced contemporary numerical algorithms while retaining the general complexity of other established ... More
The QuickReduce data reduction pipeline for the WIYN One Degree ImagerOct 18 2013Optimizing one's observing strategy while at the telescope relies on knowing the current observing conditions and the obtained data quality. In particular the latter is not straight forward with current wide-field imagers, such as the WIYN One Degree ... More
Fundamental and effective SU(2) Yang-Mills verticesOct 05 2012Calorons and plane waves within and in between them {\sl collectively} give rise to a thermal ground state. The latter provides a homgeneous energy density and a negative pressure, and it induces quasiparticle masses to part of the propagating spectrum ... More
The isolated electron: De Broglie's "hidden" thermodynamics, SU(2) Quantum Yang-Mills theory, and a strongly perturbed BPS monopoleSep 08 2017Oct 24 2017Based on a recent numerical simulation of the temporal evolution of a spherically perturbed BPS monopole, SU(2) Yang-Mills thermodynamics, Louis de Broglie's deliberations on the disparate Lorentz transformations of the frequency of an internal "clock" ... More
SU(2) Yang-Mills thermodynamics: a priori estimate and radiative correctionsNov 15 2017Dec 08 2017We review and explain essential characteristics of the a priori estimate of the thermal ground state and its excitations in the deconfining phase of SU(2) Quantum Yang-Mills thermodynamics. This includes the spatially central and peripheral structure ... More
Relationship Maintenance in Software Language RepositoriesJan 27 2017The context of this research is testing and building software systems and, specifically, software language repositories (SLRs), i.e., repositories with components for language processing (interpreters, translators, analyzers, transformers, pretty printers, ... More
Big Data: Perspektiven fuer Smart Grids und Smart BuildingsOct 21 2016This paper gives a short survey of recent trends in the emerging field of big data. It explains the definitions and useful methods. In addition, application fields of smart buildings and smart grids are discussed.
CPT-symmetry studies with antihydrogenApr 28 2016Various approaches to physics beyond the Standard Model can lead to small violations of CPT invariance. Since CPT symmetry can be measured with ultrahigh precision, CPT tests offer an interesting phenomenological avenue to search for underlying physics. ... More
BMM is stronger than BSPFAMay 02 2003It is shown that if BMM (= Bounded Martin's Maximum) holds then each set is contained in an inner model with a strong cardinal. This answers a question that has been asked by various people. It follows that BMM has a much larger consistency strength than ... More
Floer homology of algebraically finite mapping classesApr 02 2002Apr 25 2002We compute the Floer homology of mapping classes which do not have any pseudo-Anosov components in the sense of Thurston's theory of surface diffeomorphisms. The formula for the Floer homology is obtained from a topological separation of fixed points ... More
On cluster algebras arising from unpunctured surfaces IISep 15 2008Sep 18 2008We study cluster algebras with principal and arbitrary coefficient systems that are associated to unpunctured surfaces. We give a direct formula for the Laurent polynomial expansion of cluster variables in these cluster algebras in terms of certain paths ... More
On a representation of the idele class group related to primes and zeros of L-functionsNov 26 2003Mar 16 2005Let K be a global field. Using natural spaces of functions on the adele ring and the idele class group of K, we construct a virtual representation of the idele class group of K whose character is equal to the Weil distribution that occurs in Andre Weil's ... More
The deconfining phase of SU(2) Yang-Mills thermodynamicsJul 17 2006Nov 27 2006We present an overview on nonperturbative thermodynamics in the deconfining phase of an SU(2) Yang-Mills theory. In a unique effective theory the maximal resolution of trivial-topology fluctuations is constrained by coarse-grained, interacting calorons ... More
Nonperturbative and analytical approach to Yang-Mills thermodynamicsApr 29 2004Nov 25 2004An analytical, macroscopic approach to SU(N) Yang-Mills thermodynamics is developed, tested,and applied.
Deconfining by Winding: The Magnetic Monopole Vacua at High TemperaturesJun 15 2000Oct 05 2000Characterizing the vacuum of a thermalized SU(3) Yang-Mills theory in the dual Ginzburg-Landau description, the possibility of topologically nontrivial, classical monopole fields in the deconfining phase is explored. These fields are assumed to be Bogomoln'yi-Prasad-Sommerfield ... More