Searching Arxiv, refresh for possibly better results.

Results for "Andrew Meyer"

total 16317took 0.13s
Fast approximate simulation of seismic waves with deep learningJul 18 2018We simulate the response of acoustic seismic waves in horizontally layered media using a deep neural network. In contrast to traditional finite-difference modelling techniques our network is able to directly approximate the recorded seismic response at ... More
GPU Multisplit: an extended study of a parallel algorithmJan 05 2017May 19 2017Multisplit is a broadly useful parallel primitive that permutes its input data into contiguous buckets or bins, where the function that categorizes an element into a bucket is provided by the programmer. Due to the lack of an efficient multisplit on GPUs, ... More
A first search for a stochastic gravitational-wave background from ultralight bosonsDec 22 2018In this work, we develop a Bayesian data analysis framework to study the SGWB from bosonic clouds using data from Advanced LIGO and Advanced Virgo, building on previous work by Brito et.al (2017). We further improve this model by adding a BH population ... More
Analyzing Machupo virus-receptor binding by molecular dynamics simulationsFeb 28 2013Jan 14 2014In many biological applications, we would like to be able to computationally predict mutational effects on affinity in protein-protein interactions. However, many commonly used methods to predict these effects perform poorly in important test cases. In ... More
Robust Control of the Sit-to-Stand Movement for a Powered Lower Limb OrthosisNov 16 2018The sit-to-stand movement is a key feature for wide adoption of powered lower limb orthoses for patients with complete paraplegia. In this paper we study the control of the ascending phase of the sit-to-stand movement for a minimally actuated powered ... More
Extraction of Generalized Parton Distribution Observables from Deeply Virtual Electron Proton Scattering ExperimentsMar 13 2019We provide the general expression of the cross section for exclusive deeply virtual photon electroproduction from a spin 1/2 target using current parameterizations of the off-forward correlation function in a nucleon for different beam and target polarization ... More
Recursive Numerical Evaluation of the Cumulative Bivariate Normal DistributionApr 21 2010We propose an algorithm for evaluation of the cumulative bivariate normal distribution, building upon Marsaglia's ideas for evaluation of the cumulative univariate normal distribution. The algorithm is mathematically transparent, delivers competitive ... More
Modularity experiments on $S_4$-symmetric double octicsOct 08 2018We will invest quite some computer power to find double octic threefolds that are connected to weight four modular forms.
Extreme lattices and vexillar designsDec 14 2008We define a notion of vexillar design for the flag variety in the spirit of the spherical designs introduced by Delsarte, Goethals and Seidel. For a finite subgroup of the orthogonal group, we explain how conditions on the group have the orbits of any ... 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
A Valuation Theoretic Approach to Essential DimensionFeb 24 2012In this essay we explore the notion of essential dimension using the theory of valuations of fields. Given a field extension K/k and a valuation on K that is trivial on k, we prove that the rank of the valuation cannot exceed the transcendence degree ... More
Searches for New Phenomena at the Tevatron and at HERAOct 02 2006Recent results on searches for new physics at Run II of the Tevatron and highlights from HERA are reported. The searches cover many different final states and a wide range of models. All analyses have at this point led to negative results, but some interesting ... More
New Charm(onium) Results from CDFSep 07 2003After many upgrades to the CDF detector and to the accelerator complex, Run II began in April 2001. The new detector has improved capabilities for charm physics, and first results from the analysis of early Tevatron Run II data are reported here.
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
Selling train tickets by SMSJul 06 2011Selling train tickets has evolved in the last ten years from queuing in the railway station, to buying tickets on the internet and printing them. Both alternatives are still viable options, though they are time consuming or need printing devices. Nowadays ... More
A Popperian Falsification of Artificial Intelligence - Lighthill DefendedApr 23 2017Apr 18 2018The area of computation called artificial intelligence (AI) is falsified by describing a previous 1972 falsification of AI by British applied mathematician James Lighthill. It is explained how Lighthill's arguments continue to apply to current AI. It ... More
Extinction debt repayment via timely habitat restorationMar 25 2018Habitat destruction threatens the viability of many populations, but its full consequences can take considerable time to unfold. Much of the discourse surrounding extinction debts--the number of species that persist transiently following habitat loss, ... More
Watersheds, waterfalls, on edge or node weighted graphsApr 12 2012We present an algebraic approach to the watershed adapted to edge or node weighted graphs. Starting with the flooding adjunction, we introduce the flooding graphs, for which node and edge weights may be deduced one from the other. Each node weighted or ... 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
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
Homological algebra for Schwartz algebras of reductive p-adic groupsJan 31 2005Jun 02 2005Let G be a reductive group over a non-Archimedean local field. Then the canonical functor from the derived category of smooth tempered representations of G to the derived category of all smooth representations of G is fully faithful. Here we consider ... More
The cyclic homology and K-theory of certain adelic crossed productsDec 16 2003The multiplicative group of a global field acts on its adele ring by multiplication. We consider the crossed product algebra of the resulting action on the space of Schwartz functions on the adele ring and compute its Hochschild, cyclic and periodic cyclic ... More
Quantizing Two-Dimensional Dilaton Gravity with Fermions: The Vienna WayDec 28 2006I review recent work on nonperturbative path integral quantization of two-dimensional dilaton gravity coupled to Dirac fermions, employing the "Vienna school" approach.
Classical and Quantum Dilaton Gravity in Two Dimensions with FermionsJul 17 2006In this thesis the first order formulation of generalized dilaton gravities in two dimensions coupled to a Dirac fermion is considered. After a Hamiltonian analysis of the gauge symmetries and constraints of the theory and fixing Eddington-Finkelstein ... More
Equivariant Kasparov theory and generalized homomorphismsJan 17 2000Apr 30 2000Let G be a locally compact group. We describe elements of KK^G (A,B) by equivariant homomorphisms, following Cuntz's treatment in the non-equivariant case. This yields another proof for the universal property of KK^G: It is the universal split exact stable ... 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
Excision in Hochschild and cyclic homology without continuous linear sectionsDec 18 2009We prove that continuous Hochschild and cyclic homology satisfy excision for extensions of nuclear H-unital Frechet algebras and use this to compute them for the algebra of Whitney functions on an arbitrary closed subset of a smooth manifold. Using a ... More
Relativistic Holographic Hydrodynamics from Black Hole HorizonsJul 05 2011We consider the AdS/CFT correspondence in the hydrodynamic regime up to the second order in a derivative expansion. We demonstrate that the fluid conservation equations are equivalent to Einstein's constraint equations projected on different hyper-surfaces. ... More
Misbehavior in Mobile Application MarketsJul 06 2011Mobile application markets facilitate the distribution of applications and thus help developers advertise their work and customers find useful applications. In addition, the operators of mobile application markets can control the quality and the content ... More
Breaking GSM with rainbow TablesJul 06 2011Since 1998 the GSM security has been academically broken but no real attack has ever been done until in 2008 when two engineers of Pico Computing (FPGA manufacture) revealed that they could break the GSM encryption in 30 seconds with 200'000$ hardware ... More
Bounded turning circles are weak-quasicirclesMar 30 2010Jun 09 2010We show that a metric Jordan curve $\Gamma$ is \emph{bounded turning} if and only if there exists a \emph{weak-quasisymmetric} homeomorphism $\phi\colon \mathsf{S}^1 \to \Gamma$.
Measuring Resonance Parameters of Heavy Higgs Bosons at TESLAAug 13 2003This study investigates the potential of the TESLA Linear Collider for measuring resonance parameters of Higgs bosons beyond the mass range studied so far. The analysis is based on the reconstruction of events from the Higgsstrahlung process e+e- -> HZ. ... More
Smooth and rough modules over self-induced algebrasNov 19 2009A non-unital algebra in a closed monoidal category is called self-induced if the multiplication induces an isomorphism between A\otimes_A A and A. For such an algebra, we define smoothening and roughening functors that retract the category of modules ... More
Multiple testing of local maxima for detection of peaks in ChIP-Seq dataMay 28 2013A topological multiple testing approach to peak detection is proposed for the problem of detecting transcription factor binding sites in ChIP-Seq data. After kernel smoothing of the tag counts over the genome, the presence of a peak is tested at each ... More
Small-Scale Interstellar Na I Structure Toward M92Apr 02 2001We have used integral field echelle spectroscopy with the DensePak fiber-optic array on the KPNO WIYN telescope to observe the central 27" x 43" of the globular cluster M92 in the Na I D wavelength region at a spatial resolution of 4". Two interstellar ... More
Blade-shaped (PKN) Hydraulic Fracture Driven By A Turbulent Fluid In An Impermeable RockSep 05 2016High flow rate, water-driven hydraulic fractures are more common now than ever in the oil and gas industry. Although the fractures are small, the high injection rate and low viscosity of the water, lead to high Reynolds numbers and potentially turbulence ... More
Noncommutative coarse geometryOct 27 2016We use compactifications of C*-algebras to introduce noncommutative coarse geometry. We transfer a noncommutative coarse structure on a C*-algebra with an action of a locally compact Abelian group by translations to Rieffel deformations and prove that ... More
Braided multiplicative unitaries as regular objectsDec 30 2016Feb 02 2018We use the theory of regular objects in tensor categories to clarify the passage between braided multiplicative unitaries and multiplicative unitaries with projection. The braided multiplicative unitary and its semidirect product multiplicative unitary ... More
Integral point sets in higher dimensional affine spaces over finite fieldsJan 17 2014We consider point sets in the $m$-dimensional affine space $\mathbb{F}_q^m$ where each squared Euclidean distance of two points is a square in $\mathbb{F}_q$. It turns out that the situation in $\mathbb{F}_q^m$ is rather similar to the one of integral ... More
A comprehensive understanding of planet formation is required for assessing planetary habitability and for the search for lifeMar 23 2018Dozens of habitable zone, approximately earth-sized exoplanets are known today. An emerging frontier of exoplanet studies is identifying which of these habitable zone, small planets are actually habitable (have all necessary conditions for life) and, ... More
The isotropy constant and boundary properties of convex bodiesDec 08 2015Dec 20 2015Let ${\cal K}^n$ be the set of all convex bodies in $\mathbb R^n$ endowed with the Hausdorff distance. We prove that if $K\in {\cal K}^n$ has positive generalized Gauss curvature at some point of its boundary, then $K$ is not a local maximizer for the ... More
Optimal regularity and long-time behavior of solutions for the Westervelt equationFeb 20 2015We investigate an initial-boundary value problem for the quasilinear Westervelt equation which models the propagation of sound in fluidic media. We prove that, if the initial data are sufficiently small and regular, then there exists a unique global solution ... More
Optimal regularity and exponential stability for the Blackstock-Crighton equation in $L_p$-spaces with Dirichlet and Neumann boundary conditionsJun 09 2015The Blackstock-Crighton equation models nonlinear acoustic wave propagation in thermo-viscous fluids. In the present work we investigate the associated inhomogeneous Dirichlet and Neumann boundary value problems in a bounded domain and prove long-time ... More
Modeling Heat Dissipation at the Nanoscale: An Embedding Approach for Chemical Reaction Dynamics on Metal SurfacesFeb 24 2014May 13 2014We present an embedding technique for metallic systems that makes it possible to model energy dissipation into substrate phonons during surface chemical reactions from first principles. The separation of chemical and elastic contributions to the interaction ... More
In silico Proteome Cleavage Reveals Iterative Digestion Strategy for High Sequence CoverageFeb 07 2014In the post-genome era, biologists have sought to measure the complete complement of proteins, termed proteomics. Currently, the most effective method to measure the proteome is with shotgun, or bottom-up, proteomics, in which the proteome is digested ... More
Is Privacy Controllable?Jan 28 2019One of the major views of privacy associates privacy with the control over information. This gives rise to the question how controllable privacy actually is. In this paper, we adapt certain formal methods of control theory and investigate the implications ... More
On the p-affine surface areaDec 11 1997We give geometric interpretations of certain affine invariants of convex bodies. The affine invariants are the p-affine surface areas introduced by Lutwak. The geometric interpretations involve generalizations of the Santal\'o-bodies introduced by the ... More
Admissible and Restrained RevisionSep 28 2011As partial justification of their framework for iterated belief revision Darwiche and Pearl convincingly argued against Boutiliers natural revision and provided a prototypical revision operator that fits into their scheme. We show that the Darwiche-Pearl ... More
Generalised model-independent characterisation of strong gravitational lenses V: lensing distance ratio in a general Friedmann universeDec 10 2018Determining the cosmic expansion history from a sample of supernovae of type Ia, data-based cosmic distance measures can be set up that make no assumptions about the constituents of the universe, i.e. about a specific cosmological model. The overall scale, ... More
Continuous spectral decompositions of Abelian group actions on C*-algebrasMar 10 2007Let G be a locally compact Abelian group. Following Ruy Exel, we view Fell bundles over the Pontrjagin dual of G as continuous spectral decompositions of G-actions on C*-algebras. We classify such spectral decompositions using certain dense subspaces ... More
AutoFrame: Automatic Frame Inference for Object-Oriented LanguagesAug 27 2018Aug 28 2018Automatic program verification has made tremendous strides, but is not yet for the masses. How do we make it less painful? This article addresses one of the obstacles: the need to specify explicit "frame clauses", expressing what properties are left unchanged ... More
The Cambridge Jet algorithm: features and applicationsMar 12 1998Apr 02 1998Jet clustering algorithms are widely used to analyse hadronic events in high energy collisions. Recently a new clustering method, known as `Cambridge', has been introduced. In this article we present an algorithm to determine the transition values of ... More
Expanding Thurston MapsSep 19 2010Oct 10 2017We study the dynamics of Thurston maps under iteration. These are branched covering maps $f$ of 2-spheres $S^2$ with a finite set $\mathop{post}(f)$ of postcritical points. We also assume that the maps are expanding in a suitable sense. Every expanding ... More
E-Theory for C*-algebras over topological spacesDec 01 2009We define E-theory for separable C*-algebras over second countable topological spaces and establish its basic properties. This includes an approximation theorem that relates the E-theory over a general space to the E-theories over finite approximations ... More
C*-Algebras over Topological Spaces: Filtrated K-TheoryOct 01 2008Feb 20 2012We define the filtrated K-theory of a C*-algebra over a finite topological space X and explain how to construct a spectral sequence that computes the bivariant Kasparov theory over X in terms of filtrated K-theory. For finite spaces with totally ordered ... More
Robustness against Power is PSPACE-completeApr 28 2014Power is a RISC architecture developed by IBM, Freescale, and several other companies and implemented in a series of POWER processors. The architecture features a relaxed memory model providing very weak guarantees with respect to the ordering and atomicity ... More
The errant life of a heavy quark in the quark-gluon plasmaDec 01 2010Feb 27 2011In the high-temperature phase of QCD, the heavy quark momentum diffusion constant determines, via a fluctuation-dissipation relation, how fast a heavy quark kinetically equilibrates. This transport coefficient can be extracted from thermal correlators ... More
Moments of GPDs and transverse-momentum dependent PDFs from the latticeAug 06 2010I review lattice-QCD calculations of the electromagnetic and generalized form factors (GFFs), which determine the transverse structure of the nucleon, and briefly comment on recent calculations related to transverse-momentum dependent parton distribution ... More
A calculation of the bulk viscosity in SU(3) gluodynamicsOct 19 2007We perform a lattice Monte-Carlo calculation of the trace-anomaly two-point function at finite temperature in the SU(3) gauge theory. We obtain the long-distance properties of the correlator in the continuum limit and extract the bulk viscosity zeta via ... More
Lattice QCD and the two-photon decay of the neutral pionMar 01 2013Two-photon decays probe the structure of mesons and represent an important contribution to hadronic light-by-light scattering. For the neutral pion, the decay amplitude tests the effects of the chiral anomaly; for a heavy quarkonium state, it measures ... More
A Flexible Iterative Framework for Consensus ClusteringAug 05 2014A novel framework for consensus clustering is presented which has the ability to determine both the number of clusters and a final solution using multiple algorithms. A consensus similarity matrix is formed from an ensemble using multiple algorithms and ... More
Inverse semigroup actions on groupoidsOct 08 2014Mar 18 2015We define inverse semigroup actions on topological groupoids by partial equivalences. From such actions, we construct saturated Fell bundles over inverse semigroups and non-Hausdorff \'etale groupoids. We interpret these as actions on C*-algebras by Hilbert ... More
Geometry and Arithmetic of certain Double Octic Calabi-Yau ManifoldsApr 09 2003We study Calabi-Yau manifolds constructed as double covers of ${\mathbb P}^3$ branched along an octic surface. We give a list of 85 examples corresponding to arrangements of eight planes defined over ${\mathbb Q}$. The Hodge numbers are computed for all ... More
Ramifications of LinelandApr 07 2006Jun 01 2006A non-technical overview on gravity in two dimensions is provided. Applications discussed in this work comprise 2D type 0A/0B string theory, Black Hole evaporation/thermodynamics, toy models for quantum gravity, for numerical General Relativity in the ... More
Dualizing the coarse assembly mapJan 19 2004Mar 31 2004We formulate and study a new coarse (co-)assembly map. It involves a modification of the Higson corona construction and produces a map dual in an appropriate sense to the standard coarse assembly map. The new assembly map is shown to be an isomorphism ... More
Euler characteristics and Gysin sequences for group actions on boundariesMay 03 2005Let G be a locally compact group, let X be a universal proper G-space, and let Z be a G-equivariant compactification of X that is H-equivariantly contractible for each compact subgroup H of G. Let W be the resulting boundary. Assuming the Baum-Connes ... More
1-D Simulation of the Electron Density Distribution in a Novel Nonvolatile Resistive Random Access Memory DeviceDec 23 2003The operation of a novel nonvolatile memory device based on a conductive ferroelectric/non-ferroelectric thin film multilayer stack is simulated numerically. The simulation involves the self-consistent steady state solution of Poisson's equation and the ... More
A characterization of the Dirac Dual Dirac MethodNov 20 2003Let G be a discrete, torsion free group with a finite dimensional classifying space BG. We show that the existence of a gamma-element for such G is a metric, that is, coarse, invariant of G. We also obtain results for groups with torsion. The method of ... More
Vibrational density of states of silicon nanoparticlesOct 12 2010Dec 16 2010The vibrational density of states of silicon nanoparticles in the range from 2.3 to 10.3 nm is studied with the help of molecular-dynamics simulations. From these simulations the vibrational density of states and frequencies of bulk-like vibrational modes ... More
Forecasting Based on Surveillance DataSep 11 2018Forecasting the future course of epidemics has always been one of the main goals of epidemic modelling. This chapter reviews statistical methods to quantify the accuracy of epidemic forecasts. We distinguish point and probabilistic forecasts and describe ... More
Zero Forcing Sets and Bipartite CirculantsNov 26 2010In this paper we introduce a class of regular bipartite graphs whose biadjacency matrices are circulant matrices and we describe some of their properties. Notably, we compute upper and lower bounds for the zero forcing number for such a graph based only ... More
Laplacian SimplicesJun 21 2017This paper initiates the study of the "Laplacian simplex" $T_G$ obtained from a finite graph $G$ by taking the convex hull of the columns of the Laplacian matrix for $G$. Basic properties of these simplices are established, and then a systematic investigation ... More
Modularity Component Analysis versus Principal Component AnalysisOct 19 2015Feb 19 2016In this paper the exact linear relation between the leading eigenvectors of the modularity matrix and the singular vectors of an uncentered data matrix is developed. Based on this analysis the concept of a modularity component is defined, and its properties ... More
Quasi-trees and geodesic treesFeb 20 2019Mar 04 2019A quasi-tree is a metric tree that is doubling and of bounded turning. We prove that every quasi-tree is quasisymmetrically equivalent to a geodesic tree with Hausdorff dimension arbitrarily close to 1.
Heavy Quark Production at HERADec 18 2000Recent results on heavy flavor production at HERA are presented. New measurements of charm production are available in the region of $ Q^2 <$ 1000 GeV$^2$ for $D^*$ and in the photoproduction limit, $Q^2\to 0$, for $D_s$. The results are compared to theoretical ... More
Black Holes, Entropy and the Third LawAug 07 2006There would be a perfect correspondence between the laws of classical thermodynamics and black hole thermodynamics, except for the apparent failure of black hole thermodynamics to correspond to the Third Law. The classical Third Law of Thermodynamics ... More
Division Algebras With Infinite GenusJan 23 2013Aug 13 2014To what extent does the maximal subfield spectrum of a division algebra determine the isomorphism class of that algebra? It has been shown that over some fields a quaternion division algebra's isomorphism class is largely if not entirely determined by ... More
(Un)Conditional Sample Generation Based on Distribution Element TreesNov 13 2017Jun 14 2018Recently, distribution element trees (DETs) were introduced as an accurate and computationally efficient method for density estimation. In this work, we demonstrate that the DET formulation promotes an easy and inexpensive way to generate random samples ... More
Linear perturbations in spherically symmetric dust cosmologies including a cosmological constantSep 14 2017We study the dynamical behaviour of gauge-invariant linear perturbations in spherically symmetric dust cosmologies including a cosmological constant. In contrast to spatially homogeneous FLRW models, the reduced degree of spatial symmetry causes a non-trivial ... More
Power-law models for infectious disease spreadAug 23 2013Nov 24 2014Short-time human travel behaviour can be described by a power law with respect to distance. We incorporate this information in space-time models for infectious disease surveillance data to better capture the dynamics of disease spread. Two previously ... More
Adding Methodological Testing to Naur's Anti-formalismAug 18 2012Peter Naur is the leading critic of formalist computing because of his extensive writings that disprove the now dominate characterization of human thought as cognitive information processing. Naur criticizes the ideological position that only discourse ... More
Quasi-trees and geodesic treesFeb 20 2019A quasi-tree is a metric tree that is doubling and of bounded turning. We prove that every quasi-tree can be mapped to a geodesic tree by a quasisymmetric homeomorphism. We also show that every quasi-tree has conformal dimension equal to $1$.
Iterated crossed products for groupoid fibrationsApr 07 2016We define and study fibrations of topological groupoids. We interpret a groupoid fibration L->H with fibre G as an action of H on G by groupoid equivalences. Our main result shows that a crossed product for an action of L is isomorphic to an iterated ... More
Inverse semigroup actions on groupoidsOct 08 2014Jan 09 2017We define inverse semigroup actions on topological groupoids by partial equivalences. From such actions, we construct saturated Fell bundles over inverse semigroups and non-Hausdorff \'etale groupoids. We interpret these as actions on C*-algebras by Hilbert ... More
The Responsibility Quantification (ResQu) Model of Human Interaction with AutomationOct 30 2018Advanced automation is involved in information collection and evaluation, in decision-making and in the implementation of chosen actions. In such systems, human responsibility becomes equivocal, and there may exist a responsibility gap. Understanding ... More
Square-integrable coactions of locally compact quantum groupsMay 10 2008Mar 26 2009We define and study square-integrable coactions of locally compact quantum groups on Hilbert modules, generalising previous work for group actions. As special cases, we consider square-integrable Hilbert space corepresentations and integrable coactions ... More
Dualities in equivariant Kasparov theoryOct 31 2007Jul 24 2009We study several duality isomorphisms between equivariant bivariant K-theory groups, generalising Kasparov's first and second Poincare duality isomorphisms. We use the first duality to define an equivariant generalisation of Lefschetz invariants of generalised ... More
Equivariant Lefschetz maps for simplicial complexes and smooth manifoldsOct 31 2007Dec 05 2008Let X be a locally compact space with a continuous proper action of a locally compact group G. Assuming that X satisfies a certain kind of duality in equivariant bivariant Kasparov theory, we can enrich the classical construction of Lefschetz numbers ... More
Homological algebra in bivariant K-theory and other triangulated categoriesFeb 06 2007Aug 11 2008Bivariant (equivariant) K-theory is the standard setting for non-commutative topology. We may carry over various techniques from homotopy theory and homological algebra to this setting. Here we do this for some basic notions from homological algebra: ... More
Global well-posedness and exponential stability for Kuznetsov's equation in L_p-spacesSep 07 2012We investigate a quasilinear initial-boundary value problem for Kuznetsov's equation with non-homogeneous Dirichlet boundary conditions. This is a model in nonlinear acoustics which describes the propagation of sound in fluidic media with applications ... More
The essential dimension of the normalizer of a maximal torus in the projective linear groupSep 10 2008Let p be a prime, k be a field of characteristic different from p containing a primitive p-th root of unity and N be the normalizer of the maximal torus in the projective linear group PGLn. We compute the exact value of the essential dimension ed(N;p) ... More
Decoupling Lock-Free Data Structures from Memory Reclamation for Static AnalysisOct 25 2018Nov 09 2018Verification of concurrent data structures is one of the most challenging tasks in software verification. The topic has received considerable attention over the course of the last decade. Nevertheless, human-driven techniques remain cumbersome and notoriously ... More
Some consequences of the Karpenko-Merkurjev theoremNov 15 2008We use a recent theorem of N. A. Karpenko and A. S. Merkurjev to settle several questions in the theory of essential dimension.
Descent Representations of Generalized Coinvariant AlgebrasNov 30 2017Feb 23 2018The coinvariant algebra $R_n$ is a well-studied $\mathfrak{S}_n$-module that is a graded version of the regular representation of $\mathfrak{S}_n$. Using a straightening algorithm on monomials and the Garsia-Stanton basis, Adin, Brenti, and Roichman gave ... More
Bigness in compatible systemsAug 13 2009Apr 21 2010Clozel, Harris and Taylor have recently proved a modularity lifting theorem of the following general form: if rho is an l-adic representation of the absolute Galois group of a number field for which the residual representation rho-bar comes from a modular ... More
Quaternionic Kähler Manifolds of Cohomogeneity OneAug 21 1998Nov 24 1998Classification results are given for (i) compact quaternionic K\"ahler manifolds with a cohomogeneity-one action of a semi-simple group, (ii) certain complete hyperK\"ahler manifolds with a cohomogeneity-two action of a semi-simple group preserving each ... More
The minimum rank problem for circulantsNov 24 2015The minimum rank problem is to determine for a graph $G$ the smallest rank of a Hermitian (or real symmetric) matrix whose off-diagonal zero-nonzero pattern is that of the adjacency matrix of $G$. Here $G$ is taken to be a circulant graph, and only circulant ... More
Extended Tully-Fisher Relations using HI StackingOct 27 2015We present a new technique for the statistical evaluation of the Tully-Fisher relation (TFR) using spectral line stacking. This technique has the potential to extend TFR observations to lower masses and higher redshifts than possible through a galaxy-by-galaxy ... More
Stone duality and quasi-orbit spaces for generalised C*-inclusionsApr 25 2018Let $A$ and $B$ be $C^*$-algebras with $A\subseteq M(B)$. Exploiting Stone duality and a Galois connection between restriction and induction for ideals in $A$ and $B$, we identify conditions that allow to define a quasi-orbit space and a quasi-orbit map ... More
Disordered topological metalsNov 08 2012Topological behavior can be masked when disorder is present. A topological insulator, either intrinsic or interaction induced, may turn gapless when sufficiently disordered. Nevertheless, the metallic phase that emerges once a topological gap closes retains ... More