total 4247took 0.11s

Step-Indexed Logical Relations for Probability (long version)Jan 12 2015Jan 13 2015It is well-known that constructing models of higher-order probabilistic programming languages is challenging. We show how to construct step-indexed logical relations for a probabilistic extension of a higher-order programming language with impredicative ... More

A deep learning approach to identify local structures in atomic-resolution transmission electron microscopy imagesFeb 08 2018Recording atomic-resolution transmission electron microscopy (TEM) images is becoming increasingly routine. A new bottleneck is then analyzing this information, which often involves time-consuming manual structural identification. We have developed a ... More

A deep learning approach to identify local structures in atomic-resolution transmission electron microscopy imagesFeb 08 2018Feb 09 2018Recording atomic-resolution transmission electron microscopy (TEM) images is becoming increasingly routine. A new bottleneck is then analyzing this information, which often involves time-consuming manual structural identification. We have developed a ... More

Semantics of Separation-Logic Typing and Higher-order Frame Rules for<br> Algol-like LanguagesOct 13 2006Nov 03 2006We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps (but with immutable stack variables). In particular, we provide simple ... More

Two for the Price of One: Lifting Separation Logic AssertionsAug 29 2012Sep 20 2012Recently, data abstraction has been studied in the context of separation logic, with noticeable practical successes: the developed logics have enabled clean proofs of tricky challenging programs, such as subject-observer patterns, and they have become ... More

Step-Indexed Relational Reasoning for Countable NondeterminismOct 08 2013Oct 10 2013Programming languages with countable nondeterministic choice are computationally interesting since countable nondeterminism arises when modeling fairness for concurrent systems. Because countable choice introduces non-continuous behaviour, it is well-known ... More

StkTokens: Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities - Technical Report with Proofs and DetailsNov 07 2018We propose and study StkTokens: a new calling convention that provably enforces well-bracketed control flow and local state encapsulation on a capability machine. The calling convention is based on linear capabilities: a type of capabilities that are ... More

Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management - Technical Appendix Including Proofs and DetailsFeb 14 2019We propose a calling convention for capability machines with local capabilities. The calling convention ensures local-state encapsulation and well-bracketed control flow. We use the calling convention in a hand-full of program examples and prove that ... More

Extremely confined gap surface plasmon modes excited by electronsDec 17 2013High spatial and energy resolution EELS can be employed for detailed characterization of both localized and propagating surface plasmon excitations supported by metal nanostructures, giving insight into fundamental physical phenomena involved in various ... More

On the graph-theoretical interpretation of Pearson correlations in a multivariate process and a novel partial correlation measureOct 18 2013The dependencies of the lagged (Pearson) correlation function on the coefficients of multivariate autoregressive models are interpreted in the framework of time series graphs. Time series graphs are related to the concept of Granger causality and encode ... More

The Role of Type III Factors in Quantum Field TheoryNov 17 2004Dec 04 2004One of von Neumann's motivations for developing the theory of operator algebras and his and Murray's 1936 classification of factors was the question of possible decompositions of quantum systems into independent parts. For quantum systems with a finite ... More

Infinite-Dimensional Supermanifolds via Multilinear BundlesOct 12 2018Jan 22 2019In this paper, we provide an accessible introduction to the theory of locally convex supermanifolds in the categorical approach. In this setting, a supermanifold is a functor $\mathcal{M}\colon\mathbf{Gr}\to\mathbf{Man}$ from the category of Grassmann ... More

On the 3-torsion Part of the Homology of the Chessboard ComplexMar 26 2012Let $1 \le m \le n$. We prove various results about the chessboard complex $M_{m,n}$, which is the simplicial complex of matchings in the complete bipartite graph $K_{m,n}$. First, we demonstrate that there is nonvanishing 3-torsion in $H_d(M_{m,n};Z)$ ... More

Uniform central limit theorems for the Grenander estimatorNov 24 2014Jun 26 2015We consider the Grenander estimator that is the maximum likelihood estimator for non-increasing densities. We prove uniform central limit theorems for certain subclasses of bounded variation functions and for H\"older balls of smoothness s>1/2. We do ... More

Quantum dots. A survey of rigorous resultsDec 13 1998The paper reviews rigorous results about quantum dots, in particular exact solutions for few electron dots and limit theorems for high magnetic fields and/or high electron number.

Algebraic K-theory of the infinite placeFeb 23 2012Jun 05 2014In this note, we show that the algebraic K-theory of generalized archimedean valuation rings occurring in Durov's compactification of the spectrum of a number ring is given by stable homotopy groups of certain classifying spaces. We also show that the ... More

Demystifying Gauge SymmetryJan 29 2019Gauge symmetries are often highlighted as a fundamental cornerstone of modern physics. But at the same time, it is commonly emphasized that gauge symmetries are not a fundamental feature of nature but merely redundancies in our description. We argue that ... More

Optimal trajectory trackingDec 23 2015This thesis investigates optimal trajectory tracking of nonlinear dynamical systems with affine controls. The control task is to enforce the system state to follow a prescribed desired trajectory as closely as possible. The concept of so-called exactly ... More

Bosons in Rapid RotationAug 20 2008Some recent progress in the mathematical physics of rapidly rotating, dilute Bose gases in anharmonic traps is reviewed.

Coupled Kähler-Ricci solitons on toric Fano manifoldsNov 27 2017Oct 05 2018We prove a necessary and sufficient condition in terms of the barycenters of a collection of polytopes for existence of coupled K\"ahler-Einstein metrics on toric Fano manifolds. This confirms the toric case of a coupled version of the Yau-Tian-Donaldson ... More

On the Number of Periodic Points of Quadratic Dynamical Systems Modulo a PrimeNov 02 2016In 2004 Vasiga and Shallit studied the number of periodic points of two particular discrete quadratic maps modulo prime numbers. They found the asymptotic behaviour of the sum of the number of periodic points for all primes less than some bound, assuming ... More

Inverse Mellin Transform of Holonomic SequencesJun 09 2016We describe a method to compute the inverse Mellin transform of holonomic sequences, that is based on a method to compute the Mellin transform of holonomic functions. Both methods are implemented in the computer algebra package HarmonicSums.

Linear structures in nonlinear optimal controlApr 05 2016We investigate optimal control of dynamical systems which are affine, i.e., linear in control, but nonlinear in state. The control task is to enforce the system state to follow a prescribed desired trajectory as closely as possible, a task also known ... More

Practical Concurrent Priority QueuesSep 23 2015Priority queues are abstract data structures which store a set of key/value pairs and allow efficient access to the item with the minimal (maximal) key. Such queues are an important element in various areas of computer science such as algorithmics (i.e. ... More

Proceedings Seventh Workshop on Intersection Types and Related SystemsMar 15 2015This volume contains a final and revised selection of papers presented at the Seventh Workshop on Intersection Types and Related Systems (ITRS 2014), held in Vienna (Austria) on July 18th, affiliated with TLCA 2014, Typed Lambda Calculi and Applications ... More

Trading degree for dimension in the section conjecture: The non-abelian Shapiro LemmaFeb 10 2009This note aims at providing evidence for the section conjecture of anabelian geometry by establishing its behaviour under Weil restriction of scalars. In particular, the etale fundamental group of the Weil restriction is determined by means of a Shapiro ... More

On cuspidal sections of algebraic fundamental groupsAug 29 2008Rational points in the boundary of a hyperbolic curve over a field with sufficiently nontrivial Kummer theory are the source for an abundance of sections of the fundamental group exact sequence. We follow and refine Nakamura's approach towards these boundary ... More

Localization and Entanglement in Relativistic Quantum PhysicsJan 12 2014The combination of quantum theory and special relativity leads to structures that differ in several respects from non-relativistic quantum mechanics of particles. These differences are quite familiar to practitioners of Algebraic Quantum Field Theory ... More

On the Relative Strength of Pebbling and ResolutionMar 15 2010Apr 22 2010The last decade has seen a revival of interest in pebble games in the context of proof complexity. Pebbling has proven a useful tool for studying resolution-based proof systems when comparing the strength of different subsystems, showing bounds on proof ... More

Generalized conformal realizations of Kac-Moody algebrasNov 03 2007Nov 17 2008We present a construction which associates an infinite sequence of Kac-Moody algebras, labeled by a positive integer n, to one single Jordan algebra. For n=1, this reduces to the well known Kantor-Koecher-Tits construction. Our generalization utilizes ... More

The Arithmetic Katz-Arinkin Algorithm and Wildly Ramified Rigid $G_2$-Local SystemsJul 26 2018We employ the arithmetic version of the Katz-Arinkin algorithm to give a classification of wildly ramified irreducible rigid $\ell$-adic local systems on open subsets of $\mathbb{P}^1_k$, $k$ the algebraic closure of a finite field, with monodromy group ... More

Conditional Value-at-Risk: Theory and ApplicationsOct 31 2015This thesis presents the Conditional Value-at-Risk concept and combines an analysis that covers its application as a risk measure and as a vector norm. For both areas of application the theory is revised in detail and examples are given to show how to ... More

Simple transitive $2$-representations of left cell $2$-subcategories of projective functors for star algebrasMay 15 2018In this paper we study simple transitive $2$-representations of certain $2$-subcategories of the $2$-category of projective functors over a star algebra. We show that in the simplest case, which is associated to the Dynkin type $A_2$, simple transitive ... More

The package HarmonicSums: Computer Algebra and Analytic aspects of Nested SumsJul 23 2014This paper summarizes the essential functionality of the computer algebra package HarmonicSums. On the one hand HarmonicSums can work with nested sums such as harmonic sums and their generalizations and on the other hand it can treat iterated integrals ... More

The tensor hierarchy algebraApr 30 2013We introduce an infinite-dimensional Lie superalgebra which is an extension of the U-duality Lie algebra of maximal supergravity in D dimensions, for D between 3 and 7. The level decomposition with respect to the U-duality Lie algebra gives exactly the ... More

Pebble Games, Proof Complexity, and Time-Space Trade-offsJul 15 2013Sep 20 2013Pebble games were extensively studied in the 1970s and 1980s in a number of different contexts. The last decade has seen a revival of interest in pebble games coming from the field of proof complexity. Pebbling has proven to be a useful tool for studying ... More

Dark Matter in $E_6$ Grand UnificationApr 13 2017We discuss fermionic dark matter in non-supersymmetric $E_6$ Grand Unification. The fundamental representation of $E_6$ contains, in addition to the standard model fermions, exotic fermions and we argue that one of them is a viable, interesting dark matter ... More

Attacks on Fitness Trackers Revisited: A Case-Study of Unfit Firmware SecurityApr 12 2016Fitness trackers - wearables that continuously record a wearer's step count and related activity data - are quickly gaining in popularity. Apart from being useful for individuals seeking a more healthy lifestyle, their data is also being used in court ... More

Special L-values of geometric motivesMar 05 2010Aug 03 2015This paper proposes a conjecture on special values of L-functions of geometric motives over Z. This includes L-functions of mixed motives over Q and Hasse-Weil zeta-functions of schemes over Z. We conjecture the following: the order of L(M, s) at s=0 ... More

More Torsion in the Homology of the Matching ComplexMar 26 2012Mar 28 2012A matching on a set $X$ is a collection of pairwise disjoint subsets of $X$ of size two. Using computers, we analyze the integral homology of the matching complex $M_n$, which is the simplicial complex of matchings on the set $\{1, >..., n\}$. The main ... More

Physics at the LHC -- From Standard Model measurements to Searches for New PhysicsJun 29 2012The successful operation of the {\em Large Hadron Collider} (LHC) during the past two years allowed to explore particle interaction in a new energy regime. Measurements of important Standard Model processes like the production of high-\pt\ jets, $W$ and ... More

Computing the Inverse Mellin Transform of Holonomic Sequences using Kovacic's AlgorithmJan 02 2018We describe how the extension of a solver for linear differential equations by Kovacic's algorithm helps to improve a method to compute the inverse Mellin transform of holonomic sequences. The method is implemented in the computer algebra package HarmonicSums. ... More

Three-algebras, triple systems and 3-graded Lie superalgebrasMay 15 2009Dec 08 2009The three-algebras used by Bagger and Lambert in N=6 theories of ABJM type are in one-to-one correspondence with a certain type of Lie superalgebras. We show that the description of three-algebras as generalized Jordan triple systems naturally leads to ... More

Simple transitive $2$-representations of Soergel bimodules in type $B_2$Sep 04 2015Jun 17 2016We prove that every simple transitive $2$-representation of the fiat $2$-category of Soergel bimodules (over the coinvariant algebra) in type $B_2$ is equivalent to a cell $2$-representation. We also describe some general properties of the $2$-category ... More

Stability of position control of traveling waves in reaction-diffusion systemsDec 30 2013We consider the stability of position control of traveling waves in reaction-diffusion system as proposed in {[}J. L\"ober, H. Engel, arXiv:1304.2327{]}. Instead of analyzing the controlled reaction-diffusion system, stability is studied on the reduced ... More

SST polarization model and polarimeter calibrationOct 20 2010A telescope polarization model for the SST [Swedish 1-m Solar Telescope] is developed and the parameters of this model are fitted to polarization measurements made with a 1-meter linear polarizer in front of the entrance window. In this model, the 1-meter ... More

Gauge Coupling Unification without SupersymmetryAug 30 2018Oct 16 2018We investigate the prospects to achieve unification of the gauge couplings in models without supersymmetry. We restrict our discussion to $SU(5), SO(10)$ and $E_6$ models that mimic the structure of the Standard Model as much as possible ("conservative ... More

Pitowsky's Kolmogorovian models and Super-DeterminismJun 22 2016Sep 28 2016In an attempt to demonstrate that local hidden variables are mathematically possible, Pitowsky constructed "spin-$\frac12$ functions" and later "Kolmogorovian models", which employs a nonstandard notion of probability. We describe Pitowsky's analysis ... More

Polar sets of anisotropic Gaussian random fieldsAug 03 2012This paper studies polar sets of anisotropic Gaussian random fields, i.e. sets which a Gaussian random field does not hit almost surely. The main assumptions are that the eigenvalues of the covariance matrix are bounded from below and that the canonical ... More

Quantifying systematic uncertainties in supernova cosmologyJan 16 2008Observations of Type Ia supernovae used to map the expansion history of the Universe suffer from systematic uncertainties that need to be propagated into the estimates of cosmological parameters. We propose an iterative Monte-Carlo simulation and cosmology ... More

Modal Dependent Type Theory and Dependent Right AdjointsApr 14 2018Oct 27 2018In recent years we have seen several new models of dependent type theory extended with some form of modal necessity operator, including nominal type theory, guarded and clocked type theory, and spatial and cohesive type theory. In this paper we study ... More

Higgs Boson Searches at Hadron CollidersApr 13 2005The investigation of the dynamics responsible for electroweak symmetry breaking is one of the prime tasks of experiments at present and future colliders. Experiments at the Tevatron ppbar Collider and at the CERN Large Hadron Collider (LHC) must be able ... More

Unstable $ν_1$-Periodic Homotopy of Simply Connected, Finite $H$-Spaces, using Goodwillie CalculusMay 13 2019In this paper we recover Bousfield's computation of $\nu_1$-periodic homotopy groups of simply connected, finite $H$-spaces from \cite{Bou99} using the techniques of Goodwillie calculus. This is done through first computing Andr\'{e}-Quillen cohomology ... More

Nonparametric Bayesian posterior contraction rates for discretely observed scalar diffusionsOct 19 2015Mar 29 2016We consider nonparametric Bayesian inference in a reflected diffusion model $dX_t = b (X_t)dt + \sigma(X_t) dW_t,$ with discretely sampled observations $X_0, X_\Delta, \dots, X_{n\Delta}$. We analyse the nonlinear inverse problem corresponding to the ... More

Wavelets for non-expanding dilations and the lattice counting estimateJan 26 2016We show that problems of existence and characterization of wavelets for non-expanding dilations are intimately connected with the geometry of numbers; more specifically, with a bound on the number of lattice points in balls dilated by the powers of a ... More

Modules over the de Rham cohomology spectrumNov 30 2016Dec 15 2016We show that the bounded derived category of regular holonomic D-modules on a smooth variety is equivalent to the homotopy catgory of compact (or constructible) modules over the motivic ring spectrum $H_{dR}$ representing algebraic de Rham cohomology. ... More

The Laughlin liquid in an external potentialJul 17 2017Oct 23 2017We study natural perturbations of the Laughlin state arising from the effects of trapping and disorder. These are N-particle wave functions that have the form of a product of Laughlin states and analytic functions of the N variables. We derive an upper ... More

Rank 3 Inhabitation of Intersection Types Revisited (Extended Version)May 17 2017Aug 21 2017We revisit the undecidability result of rank 3 intersection type inhabitation (Urzyczyn 2009) in pursuit of two goals. First, we strengthen the previous result by showing that intersection type inhabitation is undecidable for types of rank 3 and order ... More

Convolutional Neural FabricsJun 08 2016Jan 30 2017Despite the success of CNNs, selecting the optimal architecture for a given task remains an open problem. Instead of aiming to select a single optimal architecture, we propose a "fabric" that embeds an exponentially large number of architectures. The ... More

Vanishing critical magnetization in the quantum Ising modelMay 27 2014Sep 09 2014Adapting the recent argument of Aizenman, Duminil-Copin and Sidoravicius for the classical Ising model, it is shown here that the magnetization in the transverse-field Ising model vanishes at the critical point. The proof applies to the ground state in ... More

Validity of rotating wave approximation in non-adiabatic holonomic quantum computationJul 05 2013Nov 21 2013We examine the validity of the rotating wave approximation (RWA) in non-adiabatic holonomic single-qubit gates [New J. Phys. {\bf 14}, 103035 (2012)]. We demonstrate that the adoption of RWA may lead to a sharp decline in fidelity for rapid gate implementation ... More

Is there significant time-variation in multivariate copulas?May 22 2012We demonstrate how the uncertainty of parameter point estimates can be assessed in a maximum likelihood framework in order to prevent overfitting and erroneous detection of time-inhomogeneity. The class of models we consider are regular vine (R-vine) ... More

Infrared bound and mean-field behaviour in the quantum Ising modelMay 15 2012Jan 08 2013We prove an infrared bound for the transverse field Ising model. This bound is stronger than the previously known infrared bound for the model, and allows us to investigate mean-field behaviour. As an application we show that the critical exponent $\gamma$ ... More

The topology of the space of matrices of Barvinok rank twoFeb 19 2009The Barvinok rank of a $d \times n$ matrix is the minimum number of points in $\mathbb{R}^d$ such that the tropical convex hull of the points contains all columns of the matrix. The concept originated in work by Barvinok and others on the travelling salesman ... More

The close-packed triple helix as a possible new structural motif for collagenApr 11 2010The one-dimensional problem of selecting the triple helix with the highest volume fraction is solved and hence the condition for a helix to be close-packed is obtained. The close-packed triple helix is shown to have a pitch angle of $v_{CP} =43.3 ^\circ$. ... More

A Falsification View of Success TypingFeb 04 2015Feb 05 2015Dynamic languages are praised for their flexibility and expressiveness, but static analysis often yields many false positives and verification is cumbersome for lack of structure. Hence, unit testing is the prevalent incomplete method for validating programs ... More

Descent obstruction and fundamental exact sequenceMay 07 2010May 26 2010A torsor under a k-group scheme G on a variety X over a number field k imposes a descent obstruction against the existence of rational points on X. We discuss the finite descent obstruction, that is for all such torsors under finite k-groups G, in view ... More

Toward a Spectral Theory of Cellular SheavesAug 04 2018This paper outlines a program in what one might call spectral sheaf theory --- an extension of spectral graph theory to cellular sheaves. By lifting the combinatorial graph Laplacian to the Hodge Laplacian on a cellular sheaf of vector spaces over a regular ... More

Simply transitive quaternionic lattices of rank 2 over F_q(t) and a non-classical fake quadricApr 19 2013We construct an infinite series of simply transitive irreducible lattices in PGL_2(F_q((t))) \times PGL_2(F_q((t))) by means of a quaternion algebra over F_q(t). The lattices depend on an odd prime power q = p^r and a parameter \tau\ in F_q^* different ... More

Incompressibility Estimates for the Laughlin PhaseFeb 24 2014Dec 12 2014This paper has its motivation in the study of the Fractional Quantum Hall Effect. We consider 2D quantum particles submitted to a strong perpendicular magnetic field, reducing admissible wave functions to those of the Lowest Landau Level. When repulsive ... More

Harmonic Sums, Polylogarithms, Special Numbers, and their GeneralizationsApr 26 2013In these introductory lectures we discuss classes of presently known nested sums, associated iterated integrals, and special constants which hierarchically appear in the evaluation of massless and massive Feynman diagrams at higher loops. These quantities ... More

Quantum corrected Langevin dynamics for adsorbates on metal surfaces interacting with hot electronsMar 11 2010We investigate the importance of including quantized initial conditions in Langevin dynamics for adsorbates interacting with a thermal reservoir of electrons. For quadratic potentials the time evolution is exactly described by a classical Langevin equation ... More

Complexes of Injective Words and Their Commutation ClassesDec 13 2007Let $S$ be a finite alphabet. An injective word over $S$ is a word over $S$ such that each letter in $S$ appears at most once in the word. We study Boolean cell complexes of injective words over $S$ and their commutation classes. This generalizes work ... More

On Gene Duplication Models for Evolving Regulatory NetworksApr 28 2007Jul 03 2007Background: Duplication of genes is important for evolution of molecular networks. Many authors have therefore considered gene duplication as a driving force in shaping the topology of molecular networks. In particular it has been noted that growth via ... More

The octic E8 invariantFeb 03 2007We give an explicit expression for the primitive E8-invariant tensor with eight symmetric indices. The result is presented in a manifestly Spin(16)/Z2-covariant notation.

Separations of setsSep 03 2018Abstract separation systems are a new unifying framework in which separations of graph, matroids and other combinatorial structures can be expressed and studied. We characterize the abstract separation systems that have representations as separation systems ... More

Incompressibility estimates for the Laughlin phase, part IINov 10 2014Jan 05 2016We consider fractional quantum Hall states built on Laughlin's original N-body wave-functions, i.e., they are of the form holomorphic times gaussian and vanish when two particles come close, with a given polynomial rate. Such states appear naturally when ... More

Partial and Conditional Expectations in Markov Decision Processes with Integer WeightsFeb 12 2019The paper addresses two variants of the stochastic shortest path problem ('optimize the accumulated weight until reaching a goal state') in Markov decision processes (MDPs) with integer weights. The first variant optimizes partial expected accumulated ... More

Stability, Fairness and Random Walks in the Bargaining ProblemJul 08 2017We study the classical bargaining problem and its two canonical solutions, (Nash and Kalai-Smorodinsky), from a novel point of view: we ask for stability of the solution if both players are able distort the underlying bargaining process by reference to ... More

The size of the nucleosomeFeb 03 2011Feb 21 2011The structural origin of the size of the 11 nm nucleosomal disc is addressed. On the nanometer length-scale the organization of DNA as chromatin in the chromosomes involves a coiling of DNA around the histone core of the nucleosome. We suggest that the ... More

Memory effects in non-adiabatic molecular dynamics at metal surfacesJun 11 2010We study the effect of temporal correlation in a Langevin equation describing non-adiabatic dynamics at metal surfaces. For a harmonic oscillator the Langevin equation preserves the quantum dynamics exactly and it is demonstrated that memory effects are ... More

Current Redistribution in Resistor Networks: Fat-Tail Statistics in Regular and Small-World NetworksOct 21 2016Feb 10 2017The redistribution of electrical currents in resistor networks after single-bond failures is analyzed in terms of current-redistribution factors that are shown to depend only on the topology of the network and on the values of the bond resistances. We ... More

Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement StepsAug 31 2016Sep 01 2016We prove near-optimal trade-offs for quantifier depth versus number of variables in first-order logic by exhibiting pairs of $n$-element structures that can be distinguished by a $k$-variable first-order sentence but where every such sentence requires ... More

Stochastic Load-Redistribution Model for Cascading Failure PropagationSep 23 2009Jan 28 2010A new class of probabilistic models for cascading failure propagation in interconnected systems is proposed. The models take into account important characteristics of real systems that are not considered in existing generic approaches. Specifically, it ... More

Tight Size-Degree Bounds for Sums-of-Squares ProofsApr 07 2015We exhibit families of $4$-CNF formulas over $n$ variables that have sums-of-squares (SOS) proofs of unsatisfiability of degree (a.k.a. rank) $d$ but require SOS proofs of size $n^{\Omega(d)}$ for values of $d = d(n)$ from constant all the way up to $n^{\delta}$ ... More

Arithmetic in the fundamental group of a p-adic curve: On the p-adic section conjecture for curvesNov 05 2011We establish a valuative version of Grothendieck's section conjecture for curves over p-adic local fields. The image of every section is contained in the decomposition subgroup of a valuation which prolongs the p-adic valuation to the function field of ... More

Consistency in Drift-ordered Fluid EquationsJul 31 2018We address several concerns related to the derivation of drift-ordered fluid equations. Starting from a fully Galilean invariant fluid system, we show how consistent sets of perturbative drift-fluid equations in the case of a isothermal collisionless ... More

Transitive endomorphisms with critical pointsAug 24 2016We show that a non-wandering endomorphism of the torus with invertible linear part without invariant directions and for which the critical points are in some sense generic is transitive. This improves a result of Andersson by allowing critical points ... More

A Geometric Approach to Noncommutative Principal BundlesAug 01 2011From a geometrical point of view it is, so far, not sufficiently well understood what should be a "noncommutative principal bundle". Still, there is a well-developed abstract algebraic approach using the theory of Hopf algebras. An important handicap ... More

Top Quark Cross-Section Measurements at the TevatronDec 02 2003Run II of the Tevatron collider at Fermilab is well under way and data samples larger than those of Run I are at hand. In this contribution I summarize the current status of cross-section measurements for top-quark pair production at the CDF and D0 experiments. ... More

Exchange Currents in Radiative Hyperon DecaysJun 15 1998A short overview of motivations and successes of two-body exchange currents between constituent quarks for electromagnetic hadron observables like charge radii, magnetic and quadrupole moments is given. We then predict and analyze exchange current effects ... More

Exploring Quantum Gravity with Very-High-Energy Gamma-Ray Instruments - Prospects and LimitationsJan 20 2009Some models for quantum gravity (QG) violate Lorentz invariance and predict an energy dependence of the speed of light, leading to a dispersion of high-energy gamma-ray signals that travel over cosmological distances. Limits on the dispersion from short-duration ... More

A Comparison of Secret Sharing Schemes Based on Latin Squares and RSAAug 19 2003Oct 16 2004In recent years there has been a great deal of work done on secret sharing scehemes. Secret Sharing Schemes allow for the division of keys so that an authorised set of users may access information. In this paper we wish to present a critical comparison ... More

A Bayesian Network Approach to Assess and Predict Software Quality Using Activity-Based Quality ModelsNov 30 2016Context: Software quality is a complex concept. Therefore, assessing and predicting it is still challenging in practice as well as in research. Activity-based quality models break down this complex concept into concrete definitions, more precisely facts ... More

Existence of Minkowski spaceSep 20 2016Jan 16 2019Minkowski space serves as a framework for the theoretical constructions that deal with manifestations of relativistic effects in physical phenomena. But neither Minkowski himself nor the subsequent developers of the relativity theory have provided a reasonable ... More

Scrum for cyber-physical systems: a process proposalMar 20 2017Agile development processes and especially Scrum are changing the state of the practice in software development. Many companies in the classical IT sector have adopted them to successfully tackle various challenges from the rapidly changing environments ... More

A Bayesian Network Approach to Assess and Predict Software Quality Using Activity-Based Quality Models (Conference Version)Nov 30 2016Assessing and predicting the complex concept of software quality is still challenging in practice as well as research. Activity-based quality models break down this complex con- cept into more concrete definitions, more precisely facts about the system, ... More

Generalised model-independent characterisation of strong gravitational lenses VI: the origin of the formalism intrinsic degeneracies and their influence on $H_0$Apr 15 2019We give a physical interpretation of the formalism intrinsic degeneracies of the gravitational lensing formalism that we derived on a mathematical basis in part IV of this series. We find that all degeneracies occur due to the partition of the mass density ... More

Conjugacy growth series for wreath product finitary symmetric groupsDec 12 2016In recent work, Bacher and de la Harpe define and study conjugacy growth series for finitary permutation groups. In two subsequent papers, Cotron, Dicks, and Fleming study the congruence properties of some of these series. We define a new family of conjugacy ... More

Fibre product approach to index pairings for the generic Hopf fibration of SU_q(2)Feb 23 2009A fibre product construction is used to give a description of quantum line bundles over the generic Podles spheres by gluing two quantum discs along their boundaries. Representatives of the corresponding $K_0$-classes are given in terms of 1-dimensional ... More