total 8277took 0.11s

Design of Experiments for Model Discrimination Hybridising Analytical and Data-Driven ApproachesFeb 12 2018Healthcare companies must submit pharmaceutical drugs or medical devices to regulatory bodies before marketing new technology. Regulatory bodies frequently require transparent and interpretable computational modelling to justify a new healthcare technology, ... More

Design of Experiments for Model Discrimination Hybridising Analytical and Data-Driven ApproachesFeb 12 2018May 31 2018Healthcare companies must submit pharmaceutical drugs or medical devices to regulatory bodies before marketing new technology. Regulatory bodies frequently require transparent and interpretable computational modelling to justify a new healthcare technology, ... More

Semiclassical Theory of Bardeen-Cooper-Schrieffer Pairing-Gap FluctuationsApr 18 2007Jan 25 2008Superfluidity and superconductivity are genuine many-body manifestations of quantum coherence. For finite-size systems the associated pairing gap fluctuates as a function of size or shape. We provide a parameter free theoretical description of pairing ... More

GPdoemd: a Python package for design of experiments for model discriminationOct 05 2018Jan 14 2019Model discrimination identifies a mathematical model that usefully explains and predicts a given system's behaviour. Researchers will often have several models, i.e.\ hypotheses, about an underlying system mechanism, but insufficient experimental data ... More

The extinction law for molecular clouds. Case study of B 335Dec 01 2011We determine the extinction curve from the UV to the near-IR for molecular clouds and investigate whether current models can adequately explain this wavelength dependence of the extinction. The aim is also to interpret the extinction in terms of H2 column ... More

The mid-infrared extinction in molecular clouds Case study of B 335Dec 01 2011The purpose of the investigation is to probe the dust properties inside a molecular cloud, how particle grow and how the presence of ice coatings may change the overall shape of the extinction curve. Field stars can be used to probe the cloud extinction. ... More

A new method of determining distances to dark globules. The distance to B 335Dec 01 2011We observed a test globule, B 335 in U, B, g, r, and I, and together with the 2MASS survey, this data set gives a well-defined spectral energy distribution (SED) of a large number of stars. The SED of each star depends on the interstellar extinction, ... More

Local Riemann Hypothesis for complex numbersMay 02 2006May 03 2006In this paper a special class of local zeta functions is studied. The main theorem states that the functions have all zeros on the line Re (s)=1/2. This is a natural generalization of the result of Bump and Ng stating that the zeros of the Mellin transform ... More

Large supremum norms and small Shannon entropy for Hecke eigenfunctions of quantized cat mapsNov 28 2007This paper concerns the behavior of eigenfunctions of quantized cat maps and in particular their supremum norm. We observe that for composite integer values of N, the inverse of Planck's constant, some of the desymmetrized eigenfunctions have very small ... More

A computation of Poisson kernels for some standard weighted biharmonic operators in the unit discJul 03 2007We compute Poisson kernels for integer weight parameter standard weighted biharmonic operators in the unit disc with Dirichlet boundary conditions. The computations performed extend the supply of explicit examples of such kernels and suggest similar formulas ... More

Near-infrared observations of water-ice in OH/IR starsJan 27 2006A search for the near-infrared water-ice absorption band was made in a number of very red OH/IR stars which are known to exhibit the 10um silicate absorption. As a by-product, accurate positions of these highly reddened objects are obtained. We derived ... More

Epiphany-V: A 1024 processor 64-bit RISC System-On-ChipOct 06 2016This paper describes the design of a 1024-core processor chip in 16nm FinFet technology. The chip ("Epiphany-V") contains an array of 1024 64-bit RISC processors, 64MB of on-chip SRAM, three 136-bit wide mesh Networks-On-Chip, and 1024 programmable IO ... More

A Brownian optimal switching problem under incomplete informationJan 26 2015Mar 17 2015In this paper we study an incomplete information optimal switching problem in which the manager only has access to noisy observations of the underlying Brownian motion $\{W_t\}_{t \geq 0}$. The manager can, at a fixed cost, switch between having the production ... More

On Estimating Many Means, Selection Bias, and the BootstrapNov 15 2013With recent advances in high throughput technology, researchers often find themselves running a large number of hypothesis tests (thousands+) and esti- mating a large number of effect-sizes. Generally there is particular interest in those effects estimated ... More

Relative Zeta Determinants and the Quillen MetricOct 27 1999We compute the relative zeta-function metric on the determinant line bundle for a family of elliptic boundary value problems of Dirac-type. To do this we prove a general formula relating the zeta-determinant to a Fredholm determinant over the boundary ... More

Defending the future: An MSc module in End User Computing Risk ManagementSep 28 2010This paper describes the rationale, curriculum and subject matter of a new MSc module being taught on an MSc Finance and Information Management course at the University of Wales Institute in Cardiff. Academic research on spreadsheet risks now has some ... More

Computing Cup-Products in integral cohomology of Hilbert schemes of points on K3 surfacesOct 30 2014Jan 18 2016We study cup products in integral cohomology of the Hilbert scheme of $n$ points on a K3 surface and present a computer program for this purpose. In particular, we deal with the question, which classes can be represented by products of lower degrees.

Singular cotangent bundle reduction and spin Calogero-Moser systemsNov 03 2004Oct 30 2008We develop a bundle picture for the case that the configuration manifold has only a single isotropy type, and give a formula for the reduced symplectic form in this setting. Furthermore, as an application of this bundle picture we consider Calogero-Moser ... More

On the remote interaction of biological objects with identical genetic structuresJul 03 2002The paper puts forward an unusual prediction that cultivating a clone can curtail the lifespan of the clone donor. Neither the arrangement of this suggested empirical study nor the analyses of the anticipated outcomes rely on the accompanying theoretical ... More

Empirical AUC for evaluating probabilistic forecastsAug 22 2015Scoring functions are used to evaluate and compare partially probabilistic forecasts. We investigate the use of rank-sum functions such as empirical Area Under the Curve (AUC), a widely-used measure of classification performance, as a scoring function ... More

The asymmetric sandwich theoremAug 29 2011Sep 22 2011We discuss the asymmetric sandwich theorem, a generalization of the Hahn-Banach theorem. As applications, we derive various results on the existence of linear functionals that include bivariate, trivariate and quadrivariate generalizations of the Fenchel ... More

Quadrivariate existence theorems and strong representabilitySep 01 2008Feb 22 2011In this paper, we give conditions under which we can compute the conjugate of a convex function on the product of two Frechet spaces defined in terms of another convex function on the product of two (possibly different) Frechet spaces. We use this result ... More

Higher-Derivative Quantum CosmologyNov 06 1999Nov 10 1999The quantum cosmology of a higher-derivative derivative gravity theory arising from the heterotic string effective action is reviewed. A new type of Wheeler-DeWitt equation is obtained when the dilaton is coupled to the quadratic curvature terms. Techniques ... More

A Proof of the Odd Perfect Number ConjectureJan 08 2004May 31 2008It is sufficient to prove that there is an excess of prime factors in the product of repunits with odd prime bases defined by the sum of divisors of the integer $N=(4k+1)^{4m+1}\prod_{i=1}^\ell ~ q_i^{2\alpha_i}$ to establish that there do not exist any ... More

Complementarity and Scientific RationalityDec 24 2004Bohr's interpretation of quantum mechanics has been criticized as incoherent and opportunistic, and based on doubtful philosophical premises. If so Bohr's influence, in the pre-war period of 1927-1939, is the harder to explain, and the acceptance of his ... More

A new approach to inverse spectral theory, I. Fundamental formalismJun 17 1999Nov 01 1999We present a new approach (distinct from Gel'fand-Levitan) to the theorem of Borg-Marchenko that the m-function (equivalently, spectral measure) for a finite interval or half-line Schr\"odinger operator determines the potential. Our approach is an analog ... More

Weak convergence of CD kernels and applicationsJul 17 2007We prove a general result on equality of the weak limits of the zero counting measure, $d\nu_n$, of orthogonal polynomials (defined by a measure $d\mu$) and $\frac{1}{n} K_n(x,x) d\mu(x)$. By combining this with Mate--Nevai and Totik upper bounds on $n\lambda_n(x)$, ... More

The Classical Moment Problem as a Self-Adjoint Finite Difference OperatorJun 08 1999This is a comprehensive exposition of the classical moment problem using methods from the theory of finite difference operators. Among the advantages of this approach is that the Nevanlinna functions appear as elements of a transfer matrix and convergence ... More

Four Fermion Models at Non-Zero DensityJun 22 1998I review the properties of the three-dimensional Gross-Neveu model formulated with non-zero chemical potential and temperature, focussing on results obtained by lattice Monte Carlo simulation.

Log Triviality in the Nambu -- Jona-Lasinio ModelSep 15 1997Results are presented from a Monte Carlo simulation of the Nambu -- Jona-Lasinio model with SU(2)xSU(2) chiral symmetry and N_f=2 flavors of fermion. We show that fits to the equation of state are sensitive to the shape and extent of the assumed scaling ... More

O(1/N_f) Corrections to the Thirring Model in 2<d<4Nov 02 1994Nov 10 1994The Thirring model, that is, a relativistic field theory of fermions with a contact interaction between vector currents, is studied for dimensionalities 2<d<4 using the 1/N_f expansion, where N_f is the number of fermion species. The model is found to ... More

Badly approximable systems of linear forms over a field of formal seriesJun 26 2003Aug 05 2004We prove that the Hausdorff dimension of the set of badly approximable systems of m linear forms in n variables over the field of Laurent series with coefficients from a finite field is maximal. This is a analogue of Schmidt's multi-dimensional generalisation ... More

Fusion Rules of the ${\cal W}_{p,q}$ Triplet ModelsJul 26 2009Jan 11 2010In this paper we determine the fusion rules of the logarithmic ${\calW}_{p,q}$ triplet theory and construct the Grothendieck group with subgroups for which consistent product structures can be defined. The fusion rules are then used to determine projective ... More

The Noncommutative Topology of Anti-Self-Dual Gauge FieldsMar 07 2013May 09 2013Through techniques afforded by $C^*$-algebras and Hilbert modules, we study the topology of spaces which parametrize families of instanton gauge fields on noncommutative Euclidean four-spheres $S^4_\sigma$. By deforming the ADHM construction of instantons ... More

Generalised golden ratios over integer alphabetsOct 31 2012It is a well known result that for $\beta\in(1,\frac{1+\sqrt{5}}{2})$ and $x\in(0,\frac{1}{\beta-1})$ there exists uncountably many $(\epsilon_{i})_{i=1}^{\infty}\in {0,1}^{\mathbb{N}}$ such that $x=\sum_{i=1}^{\infty}\epsilon_{i}\beta^{-i}.$ When $\beta\in(\frac{1+\sqrt{5}}{2},2]$ ... More

Approximation properties of $β$-expansionsSep 09 2014Let $\beta\in(1,2)$ and $x\in [0,\frac{1}{\beta-1}]$. We call a sequence $(\epsilon_{i})_{i=1}^\infty\in\{0,1\}^{\mathbb{N}}$ a $\beta$-expansion for $x$ if $x=\sum_{i=1}^{\infty}\epsilon_{i}\beta^{-i}$. We call a finite sequence $(\epsilon_{i})_{i=1}^{n}\in\{0,1\}^{n}$ ... More

On small bases which admit countably many expansionsMay 16 2013Let $q\in(1,2)$ and $x\in[0,\frac1{q-1}]$. We say that a sequence $(\epsilon_i)_{i=1}^{\infty}\in\{0,1\}^{\mathbb{N}}$ is an expansion of $x$ in base $q$ (or a $q$-expansion) if x=\sum_{i=1}^{\infty}\epsilon_iq^{-i}. Let $\mathcal{B}_{\aleph_{0}}$ denote ... More

Radio Observations of Two Isolated Neutron Stars, RXJ0720.4-3125 and RX J0806.4-4132Feb 24 2003Radio observations of two isolated neutron stars, RXJ0720.4-3125 and RX J0806.4-4132, have been made with the Australia Telescope Compact Array at a frequency of 1.4 GHz. No continuum emission is detected from either object with a 3 sigma upper limit ... More

Unconditional bounds for the multiplicity of automorphic forms of cohomological type on GL_2Mar 12 2011We prove an unconditional power saving for the dimension of the space of cohomological automorphic forms of fixed level and growing weight on GL_2 over any number field which is not totally real. Our proof involves the theory of p-adically completed cohomology ... More

The long history of the Rossiter-McLaughlin effect and its recent applicationsSep 08 2011Nov 21 2011In this paper I will review the Rossiter-McLaughlin (RM) effect; its history, how it manifests itself during stellar eclipses and planetary transits, and the increasingly important role its measurements play in guiding our understanding of the formation ... More

Rethinking Newton's $\textit{Principia}$Sep 20 2016It is widely accepted that the notion of an inertial frame is central to Newtonian mechanics and that the correct space-time structure underlying $\text{Newton's}$ methods in $\textit{Principia}$ is neo-Newtonian or Galilean space-time. I argue to the ... More

Spectral Theory Sum Rules, Meromorphic Herglotz Functions and Large DeviationsAug 17 2016Short blurb for invited talk at AMS annual meeting in Atlanta; will appear in January AMS Notices

Right Amenable Left Group Sets and the Tarski-Følner TheoremMar 21 2016Mar 24 2016We introduce right amenability, right F{\o}lner nets, and right paradoxical decompositions for left homogeneous spaces and prove the Tarski-F{\o}lner theorem for left homogeneous spaces with finite stabilisers. It states that right amenability, the existence ... More

The Garden of Eden Theorem for Cellular Automata on Group SetsMar 21 2016Sep 05 2016We prove the Garden of Eden theorem for cellular automata with finite set of states and finite neighbourhood on right amenable left homogeneous spaces with finite stabilisers. It states that the global transition function of such an automaton is surjective ... More

Resolved observations of transition disksFeb 21 2016Resolved observations are bringing new constraints on the origin of radial gaps in protoplanetary disks. The kinematics, sampled in detail in one case-study, are indicative of non-Keplerian flows, corresponding to warped structures and accretion which ... More

FreeSASA: An open source C library for solvent accessible surface area calculationsJan 25 2016Calculating solvent accessible surface areas (SASA) is a run-of-the-mill calculation in structural biology. Although there are many programs available for this calculation, there are no free-standing, open-source tools designed for easy tool-chain integration. ... More

High frequency dispersive estimates in dimension twoJul 25 2007Sep 13 2007We prove dispersive estimates at high frequency in dimension two for both the wave and the Schrodinger groupes for a very large class of real-valued potentials.

RAMBO on dietAug 13 2013We describe a phase space generator which is flat for massless particles, and approximately flat for massive particles of masses much smaller than the typical mometum scales involved in the process. The same goal is achieved by the RAMBO algorithm, contrary ... More

Inclusive Cross Sections in ME+PS MergingJul 02 2013We discuss an extension of matrix element plus parton shower merging at leading and next-to-leading order. The algorithm does preserve inclusive cross sections at the respective input order. This constraint avoids potentially large logarithmic contributions, ... More

Zero-Bias States and the Mechanism of the Surface d->d+is TransitionAug 28 2000We study the physical mechanism of the surface d->d+is transition proposed as the interpretation of results of tunneling experiments into ab planes. We base our argument on first-order perturbation theory and show that the zero-bias states drive the transition. ... More

Equilibrium fluctuations for the disordered harmonic chain perturbed by an energy conserving noiseFeb 14 2014Apr 05 2015We investigate the macroscopic behavior of the disordered harmonic chain of oscillators, through energy diffusion. The Hamiltonian dynamics of the system is perturbed by a degenerate conservative noise. After rescaling space and time diffusively, we prove ... More

The Gradient Flow of O'Hara's Knot EnergiesJan 12 2016Jun O'Hara invented a family of knot energies $E^{j,p}$, $j,p \in (0, \infty)$. We study the negative gradient flow of the sum of one of the energies $E^\alpha = E^{\alpha,1}$, $\alpha \in (2,3)$, and a positive multiple of the length. Showing that the ... More

Dp-minimality: invariant types and dp-rankOct 16 2012Jul 01 2014This paper has two parts. In the first one, we prove that an invariant dp-minimal type is either finitely satisfiable or definable. We also prove that a definable version of the (p,q)-theorem holds in dp-minimal theories of small or medium directionality. ... More

Time evolution of the stochastic linear bias of interacting galaxies on linear scalesSep 17 2004Oct 11 2004We extend the time dependent bias model of Tegmark & Peebles (1998) to predict the large-scale evolution of the stochastic linear bias of different galaxy populations with respect to both the dark matter and each other. The resulting model equations contain ... More

Proceedings of the Ninth Prague Topological Symposium. Contributed papers from the symposium held in Prague, August 19-25, 2001Apr 12 2002This collection of thirty two reviewed articles covers several fields of General Topology. Several contributions represent invited presentations at the Ninth Prague Topological Symposium.

Critical Behavior of Coupled q-state Potts Models under Weak DisorderJul 23 1997We investigate the effect of weak disorder on different coupled $q$-state Potts models with $q\le 4$ using two loops renormalisation group. This study presents new examples of first order transitions driven by randomness. We found that weak disorder makes ... More

Spin Liquid Phases in 2D Frustrated XY ModelJul 07 1997In this paper we consider the $J_1-J_2-J_3$ classical and quantum 2D XY model. Spin wave calculations show that a spin liquid phase still exists in the quantum case as for Heisenberg models. We formulate a semiclassical approach of these models based ... More

The 2D J_1-J_2 XY and XY-Ising ModelsJun 09 1997We consider the 2D $J_1-J_2$ classical XY model on a square lattice. In the frustrated phase corresponding to $J_2>J_1/2$, an Ising order parameter emerges by an ``order due to disorder'' effect. This leads to a discrete symmetry plus the O(2) global ... More

Invariant types in NIP theoriesJan 27 2014Sep 23 2015We study invariant types in NIP theories. Amongst other things: we prove a definable version of the (p,q)-theorem in theories of small or medium directionality; we construct a canonical retraction from the space of M-invariant types to that of M-finitely ... More

Construction of a Coordinate Bethe Ansatz for the asymmetric simple exclusion process with open boundariesMar 28 2009Jun 23 2009The asymmetric simple exclusion process with open boundaries, which is a very simple model of out-of-equilibrium statistical physics, is known to be integrable. In particular, its spectrum can be described in terms of Bethe roots. The large deviation ... More

Bethe Ansatz for the Weakly Asymmetric Simple Exclusion Process and phase transition in the current distributionNov 16 2010Feb 01 2011The probability distribution of the current in the asymmetric simple exclusion process is expected to undergo a phase transition in the regime of weak asymmetry of the jumping rates. This transition was first predicted by Bodineau and Derrida using a ... More

Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer)Sep 05 2013Apr 08 2014We produce a decidable super-intuitionistic normal modal logic of internalised intuitionistic (and thus disjunctive and monotonic) interactive proofs (LIiP) from an existing classical counterpart of classical monotonic non-disjunctive interactive proofs ... More

Computer-Aided Discovery and Categorisation of Personality AxiomsMar 24 2014We propose a computer-algebraic, order-theoretic framework based on intuitionistic logic for the computer-aided discovery of personality axioms from personality-test data and their mathematical categorisation into formal personality theories in the spirit ... More

Correlated radiative electron capture in ion-atom collisionsAug 30 2010Radiative double electron capture (RDEC) is a one-step process where two free (or quasi-free) target electrons are captured into a bound state of the projectile, e.g. into an empty K-shell, and the energy excess is released as a single photon. This process ... More

A Feynman-Kac Formula for Unbounded SemigroupsJul 27 1999We prove a Feynman-Kac formula for Schrodinger operators with potentials V(x) that obey (for all \epsilon > 0): V(x) \geq - \epsilon |x|^2 - C_\epsilon. Even though e^{-tH} is an unbounded operator, any \phi, \psi \in L^2 with compact support lie in D(e^{-tH}) ... More

Impact of Theory Uncertainties on the Precision of the Top Quark Mass in a Threshold Scan at Future e+e- CollidersNov 10 2016Future energy-frontier electron-positron colliders will be capable of high-precision studies of top quark properties. The measurement of the top-pair production cross section around the threshold provides access to the mass of the top quark in theoretically ... More

Molecular Labor Division: Its Cause and ConsequenceDec 04 2007Aug 21 2011Both external environmental selection and internal lower-level evolution are essential for an integral picture of evolution. This paper proposes that the division of internal evolution into DNA/RNA pattern formation (genotype) and protein functional action ... More

An Illustrated Introduction to the Basic Biological PrinciplesDec 13 2007Dec 14 2009Both external environmental selection and internal lower-level evolution are essential for an integral picture of evolution. This paper proposes that the division of internal evolution into DNA/RNA pattern formation (genotype) and protein functional action ... More

Topological constraints in magnetic field relaxationMar 17 2013Stability and reconnection of magnetic fields play a fundamental role in natural and man-made plasma. In these applications the field's topology determines the stability of the magnetic field. Here I will describe the importance of one topology quantifier, ... More

Local Asymptotic Normality for Shape and Periodicity in the Drift of a Time Inhomogeneous DiffusionOct 13 2016We consider a one-dimensional diffusion whose drift contains a deterministic periodic signal with unknown periodicity $T$ and carrying some unknown $d$-dimensional shape parameter $\theta$. We prove Local Asymptotic Normality (LAN) jointly in $\theta$ ... More

Small deviations in p-variation for stable processesMay 31 2003Let $\{Z_t, t\geq 0\}$ be a strictly stable process on $\R$ with index $\alpha\in (0,2]$. We prove that for every $p > \alpha$, there exists $\gamma = \gamma (\alpha, p)$ and $\k = \k (\alpha, p)\in (0, +\infty)$ such that $$\lim_{\ee\downarrow 0}\ee^{\gamma}\log\pb\lcr ... More

VC-sets and generic compact dominationFeb 16 2015Jan 26 2016Let X be a closed subset of a locally compact second countable group G whose family of translates has finite VC-dimension. We show that the topological border of X has Haar measure 0. Under an extra technical hypothesis, this also holds if X is constructible. ... More

In defence of non-ontic accounts of quantum statesApr 30 2012Feb 07 2013The paper discusses objections against non-hidden variable versions of the epistemic conception of quantum states - the view that quantum states do not describe the properties of quantum systems but reflect, in some way to be specified, the epistemic ... More

Gauge symmetry breaking in gauge theories---In search of clarificationJul 23 2011Aug 05 2012The paper investigates the spontaneous breaking of gauge symmetries in gauge theories from a philosophical angle, taking into account the fact that the notion of a spontaneously broken local gauge symmetry, though widely employed in textbook expositions ... More

The intersection ring of matroidsFeb 23 2016Aug 30 2016We study a particular graded ring structure on the set of all loopfree matroids on a fixed labeled ground set, which occurs naturally in tropical geometry. The product is given by matroid intersection and the additive structure is defined by assigning ... More

Improvement and generalisation of Papasoglu's lemmaAug 31 2017We improve an isoperimetric inequality due to Panos Papasoglu. We also generalize this inequality to the Finsler case by proving an optimal Finsler version of the Besicovitch's lemma which holds for any notion of Finsler volume.

Signal Machine And Cellular Automaton Time-Optimal Quasi-Solutions Of The Firing Squad/Mob Synchronisation Problem On Connected GraphsJun 19 2017We construct a time-optimal quasi-solution of the firing mob synchronisation problem over finite, connected, and undirected multigraphs whose maximum degrees are uniformly bounded by a constant. It is only a quasi-solution because its number of states ... More

A general asymptotic decay lemma for elliptic problemsJun 03 2008We prove a general asymptotic decay lemma which is applicable in various contexts. As an example, the general theorem is shown to give lower growth estimates for entire and exterior solutions of the minimal surface equation.

Minimal generating sets of non-modular invariant rings of finite groupsMar 01 2007Apr 12 2007It is a classical problem to compute a minimal set of invariant polynomial generating the invariant ring of a finite group as an algebra. We present here an algorithm for the computation of minimal generating sets in the non-modular case. Apart from very ... More

Multiplicative strong unimodality for positive stable lawsFeb 26 2010It is known that real Non-Gaussian stable distributions are unimodal, not additive strongly unimodal, and multiplicative strongly unimodal in the symmetric case. By a theorem of Cuculescu-Theodorescu, the only remaining relevant situation for the multiplicative ... More

Mean squared displacement and sinuosity of three-dimensional random search movementsJan 08 2018Correlated random walks (CRW) have been used for a long time as a null model for animal's random search movement in two dimensions (2D). An increasing number of studies focus on animals' movement in three dimensions (3D), but the key properties of CRW, ... More

The Petersen graph has no quantum symmetryJan 09 2018Jan 17 2018In 2007, Banica and Bichon asked whether the well-known Petersen graph has quantum symmetry. In this article, we show that the Petersen graph has no quantum symmetry, i.e. the quantum automorphism group of the Petersen graph is its usual automorphism ... More

Liouville type theorem for the stationary equations of magneto-hydrodynamicsOct 19 2017Feb 01 2018We show that any sufficiently smooth solution $(\mathbf{u},\mathbf{H})$ to the stationary equations of magneto-hydrodynamics (MHD) belonging to both spaces $L^6 (\mathbb{R}^3)$ and $BMO^{-1}(\mathbb{R}^3)$ must be identically zero. This is an extension ... More

Unitaries Permuting Two Orthogonal ProjectionsMar 16 2017Mar 27 2017Let $P$ and $Q$ be two orthogonal projections on a separable Hilbert space, $\calH$. Wang, Du and Dou proved that there exists a unitary, $U$, with $UPU^{-1} =Q, \quad UQU^{-1} = P$ if and only if $\dim(\ker P \cap \ker(1-Q)) = \dim(\ker Q \cap \ker(1-P))$ ... More

A Parameter Version of Forstnerič's Splitting LemmaFeb 05 2018We construct solution operators to the $\overline{\partial}$-equation that depend continuously on the domain. This is applied to derive a parameter version of Forstneri\v{c}'s splitting lemma: If both the maps and the domains they are defined on vary ... More

Optimal eigenvalues estimate for the Dirac operator on domains with boundaryMar 21 2006We give a lower bound for the eigenvalues of the Dirac operator on a compact domain of a Riemannian spin manifold under the $\MIT$ bag boundary condition. The limiting case is characterized by the existence of an imaginary Killing spinor.

An application of continuous logic to fixed point theoryOct 18 2016Jan 25 2019In aiming to apply to a broader class of examples the Avigad-Iovino "ultraproducts and metastability" approach to obtaining uniformity for convergence of sequences, we construct a framework using continuous logic that in particular is able to handle discontinuous ... More

Equilibrium measures and capacities in spectral theoryNov 16 2007This is a comprehensive review of the uses of potential theory in studying the spectral theory of orthogonal polynomials. Much of the article focuses on the Stahl-Totik theory of regular measures, especially the case of OPRL and OPUC. Links are made to ... More

Categorical semantics of metric spaces and continuous logicJan 25 2019Using the category of metric spaces as a template, we develop a metric analogue of the categorical semantics of classical/intuitionistic logic, and show that the natural notion of predicate in this "continuous semantics" is equivalent to the a priori ... More

Reflected BSDE of Wiener-Poisson type in Time-dependent DomainsMar 11 2015In this paper we study multi-dimensional reflected backward stochastic differential equations driven by Wiener-Poisson type processes. We prove existence and uniqueness of solutions, with reflection in the inward spatial normal direction, in the setting ... More

The 12CO/13CO ratio in AGB stars of different chemical type-Connection to the 12C/13C ratio and the evolution along the AGBMay 25 2014The aim of this paper is to investigate the evolution of the 12C/13C ratio along the AGB through the circumstellar 12CO/13CO ratio. This is the first time a sample including a significant number of M- and S-type stars is analysed together with a carbon-star ... More

Wrong side of the tracks: Big Data and Protected CategoriesDec 15 2014Jun 24 2016When we use machine learning for public policy, we find that many useful variables are associated with others on which it would be ethically problematic to base decisions. This problem becomes particularly acute in the Big Data era, when predictions are ... More

Towards a Theory of GlueDec 17 2012We propose and study the notions of behaviour type and composition operator making a first step towards the definition of a formal framework for studying behaviour composition in a setting sufficiently general to provide insight into how the component-based ... More

Population genetics models of local ancestryFeb 22 2012Apr 25 2012Migrations have played an important role in shaping the genetic diversity of human populations. Understanding genomic data thus requires careful modeling of historical gene flow. Here we consider the effect of relatively recent population structure and ... More

Euler characteristics and compact p-adic Lie groupsSep 21 2009Oct 08 2009We discuss Euler characteristics for finitely generated modules over Iwasawa algebras. We show that the Euler characteristic of a module is well-defined whenever the 0th homology group is finite if and only if the relevant compact p-adic Lie group is ... More

The hadronization of partonsOct 23 2008Oct 07 2010We review the description of inclusive single unpolarized light hadron production using fragmentation functions in the framework of the factorization theorem. We summarize the factorization of quantities into perturbatively calculable quantities and these ... More

Perturbative description of inclusive single hadron production at HERAAug 07 2008Light charged hadron production data in the current fragmentation region at HERA are calculated using next-to-leading order perturbative calculations and fragmentation functions obtained from similar data from e+ e- reactions. General good agreement is ... More

A method for obtaining the algebraic generating function from a seriesDec 01 2009We describe here an experimental method that permits to compute a good candidate for the closed form of a generating function if we know the first few terms of a series. The method is based on integer relations algorithms and uses either two programs ... More

On the remainder term of the Berezin inequality on a convex domainSep 22 2015Jan 02 2016We study the Dirichlet eigenvalues of the Laplacian on a convex domain in $\mathbb{R}^n$, with $n\geq 2$. In particular, we generalize and improve upper bounds for the Riesz means of order $\sigma\geq 3/2$ established in an article by Geisinger, Laptev ... More

Complex horospherical transform on real sphereJan 02 2005We define a new integral transform on the real sphere which is invariant relative to the orthogonal group and similar to the horospherical Radon transform for the hyperbolic space. This transform involves complex geometry associated with the sphere.