Results for "Michael Cary"

total 33333took 0.20s
Dominator Chromatic Numbers of Orientations of TreesApr 12 2019In this paper we prove that the dominator chromatic number of every oriented tree is invariant under reversal of orientation. In addition to this marquee result, we also prove the exact dominator chromatic number for arborescences and anti-arborescences ... More
Vertices with the Second Neighborhood Property in Eulerian DigraphsNov 03 2017Jan 08 2018The Second Neighborhood Conjecture states that every simple digraph has a vertex whose second out-neighborhood is at least as large as its first out-neighborhood, i.e. a vertex with the Second Neighborhood Property. In this paper we first prove that Eulerian ... More
Dominator Colorings of DigraphsFeb 19 2019This paper serves as the first extension of the topic of dominator colorings of graphs to the setting of digraphs. We establish the dominator chromatic number over all possible orientations of paths and cycles. In this endeavor we discover that there ... More
One-sided Duo rings are McCoyDec 02 2015Dec 22 2015In this paper we prove that one-sided Duo rings are (two-sided) McCoy. By doing so, we are then able to explicitly describe some of these ring element annihilators of polynomials in McCoy rings. We conclude the paper by showing the place of these results ... More
Vertices with the Second Neighborhood Property in Eulerian DigraphsNov 03 2017Mar 21 2019The Second Neighborhood Conjecture states that every simple digraph has a vertex whose second out-neighborhood is at least as large as its first out-neighborhood, i.e. a vertex with the Second Neighborhood Property. A cycle intersection graph of an even ... More
Coassembly and the $K$-theory of finite groupsMar 23 2015Aug 12 2015We study the $K$-theory and Swan theory of the group ring $R[G]$, when $G$ is a finite group and $R$ is any ring or ring spectrum. In this setting, the well-known assembly map for $K(R[G])$ has a companion called the coassembly map. We prove that their ... More
Simulated Effects of Odd-Alkane Impurities in a Hexane Monolayer on GraphiteAug 22 2005We present the results of molecular dynamics simulations of odd alkane impurities present within the hexane (even alkane) monolayer. We simulate various temperatures at ca. 3%, 5%, 10%, and 15% impurities of propane, pentane, heptane, nonane, and undecane, ... More
Molecular simulation of melting in tetracosane (C24H50) monolayers and bilayers on graphiteFeb 21 2006This work reports an investigation into the solid phase behavior and melting behavior of tetracosane (C24H50) monolayers and bilayers physisorbed onto the graphite basal plane using molecular dynamics simulations performed in the constant (N,V,T) ensemble. ... More
Simulations of the Chain Length Dependence of the Melting Mechanism in Short-Chained n-alkane Monolayers on GraphiteJun 19 2005The melting transition in solid monolayers of a series of short-chained n-alkanes, n-octane (n-C8H18), n-decane (n-C10H22), and n-dodecane (n-C12H26) physisorbed onto the graphite basal plane are studied through use of molecular dynamics simulations. ... More
Coassembly and the $K$-theory of finite groupsMar 23 2015Nov 15 2016We study the $K$-theory and Swan theory of the group ring $R[G]$, when $G$ is a finite group and $R$ is any ring or ring spectrum. In this setting, the well-known assembly map for $K(R[G])$ has a companion called the coassembly map. We prove that their ... More
Cyclotomic structure in the topological Hochschild homology of $DX$May 25 2015Oct 21 2016Let $X$ be a finite CW complex, and let $DX$ be its dual in the category of spectra. We demonstrate that the Poincar\'e/Koszul duality between $THH(DX)$ and the free loop space $\Sigma^\infty_+ LX$ is in fact a genuinely $S^1$-equivariant duality that ... More
On the topological Hochschild homology of $DX$May 25 2015Aug 10 2015We begin a systematic study of the topological Hochschild homology of the commutative ring spectrum $DX$, the dual of a finite CW-complex $X$. We prove that the "Atiyah duality" between $THH(DX)$ and the free loop space $\Sigma^\infty_+ LX$ is an $S^1$-equivariant ... More
The topological cyclic homology of the dual circleOct 21 2016We give a new proof of a result of Lazarev, that the dual of the circle $S^1_+$ in the category of spectra is equivalent to a strictly square-zero extension as an associative ring spectrum. As an application, we calculate the topological cyclic homology ... More
Cyclotomic structure in the topological Hochschild homology of $DX$May 25 2015Feb 18 2017Let $X$ be a finite CW complex, and let $DX$ be its dual in the category of spectra. We demonstrate that the Poincar\'e/Koszul duality between $THH(DX)$ and the free loop space $\Sigma^\infty_+ LX$ is in fact a genuinely $S^1$-equivariant duality that ... More
A tower connecting gauge groups to string topologySep 09 2012Feb 06 2015We develop a variant of calculus of functors, and use it to relate the gauge group G(P) of a principal bundle P over M to the Thom ring spectrum (P^Ad)^{-TM}. If P has contractible total space, the resulting Thom ring spectrum is LM^{-TM}, which plays ... More
Coassembly is a homotopy limit mapApr 11 2019We prove a claim by Williams that the coassembly map is a homotopy limit map. As an application, we show that the homotopy limit map for the coarse version of equivariant $A$-theory agrees with the coassembly map for bivariant $A$-theory that appears ... More
Different Melting Behavior in Pentane and Heptane Monolayers on Graphite; Molecular Dynamics SimulationsJun 13 2005Jan 19 2006Molecular dynamics simulations are utilized to study the melting transition in pentane (C5H12) and heptane (C7H16), physisorbed onto the basal plane of graphite at near-monolayer coverages. Through use of the newest, optimized version of the anisotropic ... More
A Second-Order Symplectic Integrator for Guiding-Center EquationsSep 14 2018This paper had no abstract originally. A second-order symplectic integration algorithm for guiding center motion is presented. The algorithm is based on the Poincar\'e (mid-point) generating function.
Periodic points and topological restriction homologyNov 30 2018We answer in the affirmative two conjectures made by Klein and Williams. First, in a range of dimensions, the equivariant Reidemeister trace defines a complete obstruction to removing $n$-periodic points from a self-map $f$. Second, this obstruction defines ... More
An adjoint control method for initial condition identification of the Abstract Cauchy problemFeb 23 2012This paper develops and analyzes a generic method for reconstructing solutions to the abstract Cauchy problem in a general Hilbert space, from noisy measured data. The method is based on the relationship between a partial differential equation and its ... More
Coherence for indexed symmetric monoidal categoriesNov 30 2018Indexed symmetric monoidal categories are an important refinement of bicategories -- this structure underlies several familiar bicategories, including the homotopy bicategory of parametrized spectra, and its equivariant and fiberwise generalizations. ... More
Equivariant $A$-theorySep 12 2016Sep 27 2016We give a new construction of the equivariant $K$-theory of group actions of Barwick et al., by producing an infinite loop $G$-space for each Waldhausen category with $G$-action, for a finite group $G$. On the category $R(X)$ of retractive spaces over ... More
Nuclear pairing and Coriolis effects in proton emittersOct 12 2004We introduce a Hartree-Fock-Bogoliubov mean-field approach to treat the problem of proton emission from a deformed nucleus. By substituting a rigid rotor in a particle-rotor-model with a mean-field we obtain a better description of experimental data in ... More
Equivariant $A$-theorySep 12 2016Mar 18 2019We give a new construction of the equivariant $K$-theory of group actions (cf. Barwick et al.), producing an infinite loop $G$-space for each Waldhausen category with $G$-action, for a finite group $G$. On the category $R(X)$ of retractive spaces over ... More
High efficiency laser-assisted H- charge exchange for microsecond duration beamsMay 11 2018Laser-assisted stripping is a novel approach to H- charge exchange that overcomes long-standing limitations associated with the traditional, foil-based method of producing high-intensity, time-structured beams of protons. This paper reports on the first ... More
The hypersecant Jacobian approximation for quasi-Newton solves of sparse nonlinear systemsMay 07 2009A new Jacobian approximation is developed for use in quasi-Newton methods for solving systems of nonlinear equations. The new hypersecant Jacobian approximation is intended for the special case where the evaluation of the functions whose roots are sought ... More
The transfer map of free loop spacesApr 11 2016For any perfect fibration $E \rightarrow B$, there is a "free loop transfer map" $LB_+ \rightarrow LE_+$, defined using topological Hochschild homology. We prove that this transfer is compatible with the Becker-Gottlieb transfer, allowing us to extend ... More
The Transfer is FunctorialMar 06 2016Sep 26 2018We prove that the Becker-Gottlieb transfer is functorial up to homotopy, for all fibrations with finitely dominated fibers. This resolves a lingering foundational question about the transfer, which was originally defined in the late 1970s in order to ... More
Decay Rate of Triaxially-Deformed Proton EmittersNov 10 2003The decay rate of a triaxially-deformed proton emitter is calculated in a particle-rotor model, which is based on a deformed Woods-Saxon potential and includes a deformed spin-orbit interaction. The wave function of the $I=7/2^{-}$ ground state of the ... More
The Transfer is FunctorialMar 06 2016Aug 22 2016We prove that the Becker-Gottlieb transfer is functorial up to homotopy, for all fibrations with finitely dominated fibers. This resolves a lingering foundational question about the transfer, which was originally defined in the late 1970s in order to ... More
The transfer map of free loop spacesApr 11 2016Jan 17 2018For any perfect fibration $E \rightarrow B$, there is a "free loop transfer map" $LB_+ \rightarrow LE_+$, defined using topological Hochschild homology. We prove that this transfer is compatible with the Becker-Gottlieb transfer, allowing us to extend ... More
Speeding Up Simulations By Slowing Down Particles: Speed-Limited Particle-In-Cell SimulationNov 25 2015Particle-in-cell (PIC) simulation is often impractical for the same reason that it is powerful: it includes too much physics. Sometimes the mere ability to simulate physics on small length or time scales requires those scales to be resolved (by the cell ... More
Nonsmooth Formulation of the Support Vector Machine for a Neural Decoding ProblemDec 05 2010This paper formulates a generalized classification algorithm with an application to classifying (or `decoding') neural activity in the brain. Medical doctors and researchers have long been interested in how brain activity correlates to body movement. ... More
Metropolis Monte Carlo and Wang-Landau Simulations of Tricriticality in Crossed Ising ChainsAug 09 2016We explore the phase diagram of Ising spins on one-dimensional chains which criss-cross in two perpendicular directions and are connected by interchain couplings. This system is of interest as a simpler, classical analog of a quantum Hamiltonian which ... More
IDR muon capture front end and variationsFeb 16 2012The (International Design Report) IDR neutrino factory scenario for capture, bunching, phase-energy rotation and initial cooling of micro's produced from a proton source target is explored. It requires a drift section from the target, a bunching section ... More
A fast multigrid-based electromagnetic eigensolver for curved metal boundaries on the Yee meshJan 16 2013For embedded boundary electromagnetics using the Dey-Mittra algorithm, a special grad-div matrix constructed in this work allows use of multigrid methods for efficient inversion of Maxwell's curl-curl matrix. Efficient curl-curl inversions are demonstrated ... More
A More Accurate, Stable, FDTD Algorithm for Electromagnetics in Anisotropic DielectricsDec 19 2012Sep 04 2013A more accurate, stable, finite-difference time-domain (FDTD) algorithm is developed for simulating Maxwell's equations with isotropic or anisotropic dielectric materials. This algorithm is in many cases more accurate than previous algorithms (G. R. Werner ... More
Magnetic Fields in Stellar AstrophysicsFeb 20 2009This is a white paper submitted to the Stars and Stellar Evolution (SSE) Science Frontier Panel (SFP) of the NRC's 2010 Astronomy and Astrophysics Decadal Survey. The white paper is endorsed by the NSF Physics Frontier Center for Magnetic Self-Organization ... More
Origin and reduction of wakefields in photonic crystal accelerator cavitiesSep 04 2013Sep 09 2013Photonic crystal (PhC) defect cavities that support an accelerating mode tend to trap unwanted higher-order modes (HOMs) corresponding to zero-group-velocity PhC lattice modes at the top of the bandgap. The effect is explained quite generally from photonic ... More
Comparing cyclotomic structures on different models for topological Hochschild homologyJul 25 2017The topological Hochschild homology $THH(A)$ of an orthogonal ring spectrum $A$ can be defined by evaluating the cyclic bar construction on $A$ or by applying B\"okstedt's original definition of $THH$ to $A$. In this paper, we construct a chain of stable ... More
The user's guide project: giving experiential context to research papersJan 11 2018This paper was written in 2015, and published in the Journal of Humanistic Mathematics. This paper announces the first issue (2015) of Enchiridion: Mathematics User's Guides, a project to produce peer-reviewed User's Guides as companions to published ... More
Divergence preservation in the ADI algorithms for electromagneticsApr 10 2009This paper contains a study of ADI methods in the presence of charge and current sources. It is shown that there are four significantly distinct cases, with four more related by duality. Of those, only one preserves divergence and, thus, is guaranteed ... More
Identification of vortexes obstructing the dynamo mechanism in laboratory experimentsMay 20 2013The magnetohydrodynamic dynamo effect explains the generation of self-sustained magnetic fields in electrically conducting flows, especially in geo- and astrophysical environments. Yet the details of this mechanism are still unknown, e.g., how and to ... More
On the Behavior of Hexane on Graphite at Near-Monolayer DensitiesMay 26 2005We present the results of molecular dynamics (MD) studies of hexane physisorbed onto graphite for eight coverages in the range $0.875 \le \rho \le 1.05$ (in units of monolayers). At low temperatures the adsorbate molecules form a uniaxially incommensurate ... More
A Worst-case Bound for Topology Computation of Algebraic CurvesApr 08 2011Computing the topology of an algebraic plane curve $\mathcal{C}$ means to compute a combinatorial graph that is isotopic to $\mathcal{C}$ and thus represents its topology in $\mathbb{R}^2$. We prove that, for a polynomial of degree $n$ with coefficients ... More
Comparison between step strains and slow steady shear in a bubble raftDec 20 2004We report on a comparison between stress relaxations after an applied step strain and stress relaxations during slow, continuous strain in a bubble raft. A bubble raft serves as a model two-dimensional foam and consists of a single layer of bubbles on ... More
Evaluation of Contactless Smartcard AntennasJul 23 2015This report summarizes the results of our evaluation of antennas of contactless and dual interface smartcards and our ideas for user-switchable NFC antennas. We show how to disassemble smartcards with contactless capabilities in order to obtain the bare ... More
A Variant of K-theory: K_{+-}Feb 11 2003We describe a variant of K-theory for spaces with involution, built from vector bundles which are sent to their negative under the involution.
The periodic Floer homology of a Dehn twistOct 04 2004May 02 2005The periodic Floer homology of a surface symplectomorphism, defined by the first author and M. Thaddeus, is the homology of a chain complex which is generated by certain unions of periodic orbits, and whose differential counts certain embedded pseudoholomorphic ... More
Bootstrapping under constraint for the assessment of group behavior in human contact networksDec 14 2012Nov 08 2013The increasing availability of time --and space-- resolved data describing human activities and interactions gives insights into both static and dynamic properties of human behavior. In practice, nevertheless, real-world datasets can often be considered ... More
The role of blood circulatory system in thermal regulation of animals explained by entropy production analysisAug 16 2013A novel model of thermal regulation of homoeothermic animals has been implemented. The model is based on a non-equilibrium thermodynamic approach which introduces entropy balance and the rate of entropy generation as a formulation of The Second Law. The ... More
Hysteresis and phase transitions in a lattice regularization of an ill-posed forward-backward diffusion equationOct 18 2016We consider a lattice regularization for an ill-posed diffusion equation with trilinear constitutive law and study the dynamics of phase interfaces in the parabolic scaling limit. Our main result guarantees for a certain class of single-interface initial ... More
Stopping Active Learning based on Predicted Change of F Measure for Text ClassificationJan 26 2019During active learning, an effective stopping method allows users to limit the number of annotations, which is cost effective. In this paper, a new stopping method called Predicted Change of F Measure will be introduced that attempts to provide the users ... More
Hysteresis and phase transitions in a lattice regularization of an ill-posed forward-backward diffusion equationOct 18 2016Aug 06 2017We consider a lattice regularization for an ill-posed diffusion equation with trilinear constitutive law and study the dynamics of phase interfaces in the parabolic scaling limit. Our main result guarantees for a certain class of single-interface initial ... More
A note on Neumann problems on graphsMar 22 2018We discuss Neumann problems for self-adjoint Laplacians on (possibly infinite) graphs. Under the assumption that the heat semigroup is ultracontractive we discuss the unique solvability for non-empty subgraphs with respect to the vertex boundary and provide ... More
CPT and Other Symmetries in String/M TheorySep 20 2004Feb 05 2005We initiate a search for non-perturbative consistency conditions in M theory. Some non-perturbative conditions are already known in Type I theories; we review these and search for others. We focus principally on possible anomalies in discrete symmetries. ... More
Linear programming methods for exponential dominationJan 19 2018For a graph $G,$ we consider $D \subset V(G)$ to be a porous exponential dominating set if $1 \le \sum_{d \in D}$ $\left( \tfrac{1}{2} \right)^{dist(d,v) -1}$ for every $v \in V(G),$ where $dist(d,v)$ denotes the length of the shortest $dv$ path. The ... More
Scaling of the diffraction measure of $k$-free integers near the originMar 30 2019Asymptotics are derived for the scaling of the total diffraction intensity for the set of $k$-free integers near the origin, which is a measure for the degree of patch fluctuations.
On exponential domination of the consecutive circulant graphDec 14 2017For a graph $G,$ we consider $D \subset V(G)$ to be a porous exponential dominating set if $1\le \sum_{d \in D}$ $\left( \frac{1}{2} \right)^{\text{dist}(d,v) -1}$ for every $v \in V(G),$ where dist$(d,v)$ denotes the length of the smallest $dv$ path. ... More
Open Mobile API: Accessing the UICC on Android DevicesJan 12 2016This report gives an overview of secure element integration into Android devices. It focuses on the Open Mobile API as an open interface to access secure elements from Android applications. The overall architecture of the Open Mobile API is described ... More
On Covert Acoustical Mesh Networks in AirJun 04 2014Covert channels can be used to circumvent system and network policies by establishing communications that have not been considered in the design of the computing system. We construct a covert channel between different computing systems that utilizes audio ... More
Root Refinement for Real PolynomialsApr 07 2011Jun 12 2013We consider the problem of approximating all real roots of a square-free polynomial $f$. Given isolating intervals, our algorithm refines each of them to a width of $2^{-L}$ or less, that is, each of the roots is approximated to $L$ bits after the binary ... More
A natural probability measure derived from Stern's diatomic sequenceJun 01 2017Mar 15 2018Stern's diatomic sequence with its intrinsic repetition and refinement structure between consecutive powers of $2$ gives rise to a rather natural probability measure on the unit interval. We construct this measure and show that it is purely singular continuous, ... More
Interplay of Superconductivity and Spin-Dependent DisorderAug 09 2013The finite temperature phase diagram for the 2D attractive fermion Hubbard model with spin-dependent disorder is considered within Bogoliubov-de Gennes mean field theory. Three types of disorder are studied. In the first, only one species is coupled to ... More
Modeling the variations of Dose Rate measured by RAD during the first MSL Martian year: 2012-2014Jul 13 2015Sep 21 2015The Radiation Assessment Detector (RAD), on board Mars Science Laboratory's (MSL) rover Curiosity, measures the {energy spectra} of both energetic charged and neutral particles along with the radiation dose rate at the surface of Mars. With these first-ever ... More
An algorithm for quantifying dependence in multivariate data setsJul 04 2012Sep 27 2012We describe an algorithm to quantify dependence in a multivariate data set. The algorithm is able to identify any linear and non-linear dependence in the data set by performing a hypothesis test for two variables being independent. As a result we obtain ... More
Logic Programming with Graph Automorphism: Integrating naut with Prolog (Tool Description)Jul 17 2016Aug 01 2016This paper presents the plnauty~library, a Prolog interface to the nauty graph-automorphism tool. Adding the capabilities of nauty to Prolog combines the strength of the "generate and prune" approach that is commonly used in logic programming and constraint ... More
Slow Steady-Shear of Plastic Bead RaftsOct 12 2004Experimental measurements of the response of a two dimensional system of plastic beads subjected to steady shear are reported. The beads float at the surface of a fluid substrate and are subjected to a slow, steady-shear in a Couette geometry. The flow ... More
Asymmetric response of a jammed plastic bead raftMay 18 2006Fluctuation-dissipation relations have received significant attention as a potential method for defining an effective temperature in nonequilibrium systems. The successful development of an effective temperature would be an important step in the application ... More
Examples of nonpolygonal limit shapes in i.i.d. first-passage percolation and infinite coexistence in spatial growth modelsSep 13 2010Mar 13 2013We construct an edge-weight distribution for i.i.d. first-passage percolation on $\mathbb{Z}^2$ whose limit shape is not a polygon and whose extreme points are arbitrarily dense in the boundary. Consequently, the associated Richardson-type growth model ... More
Interface dynamics in discrete forward-backward diffusion equationsApr 05 2013We study the motion of phase interfaces in a diffusive lattice equation with bistable nonlinearity and derive a free boundary problem with hysteresis to describe the macroscopic evolution in the parabolic scaling limit. The first part of the paper deals ... More
Group analysis of differential equations and generalized functionsDec 28 1999We present an extension of the methods of classical Lie group analysis of differential equations to equations involving generalized functions (in particular: distributions). A suitable framework for such a generalization is provided by Colombeau's theory ... More
What the characters of irreducible subrepresentations of Jordan cells can tell us about LCFTJul 22 2013Jan 04 2014In this article, we review some aspects of logarithmic conformal field theories which can be inferred from the characters of irreducible submodules of indecomposable modules. We will mainly consider the W(2,2p-1,2p-1,2p-1) series of triplet algebras and ... More
An Experimental Plasma Dynamo Program for Investigations of Fundamental Processes in HeliophysicsDec 30 2010Plasma experiments in laboratory settings offer unique opportunities to address fundamental aspects of the solar dynamo and magnetism in the solar atmosphere. We argue here that ground-based laboratory experiments have direct connections to NASA based ... More
`I make up a silly name': Understanding Children's Perception of Privacy Risks OnlineJan 29 2019Children under 11 are often regarded as too young to comprehend the implications of online privacy. Perhaps as a result, little research has focused on younger kids' risk recognition and coping. Such knowledge is, however, critical for designing efficient ... More
Validation of frequency and mode extraction calculations from time-domain simulations of accelerator cavitiesMay 11 2010Sep 09 2010The recently developed frequency extraction algorithm [G.R. Werner and J.R. Cary, J. Comp. Phys. 227, 5200 (2008)] that enables a simple FDTD algorithm to be transformed into an efficient eigenmode solver is applied to a realistic accelerator cavity modeled ... More
Vacuum instability and gravitational collapseNov 06 2002Dec 11 2002We argue that $(0,1)$ heterotic string models with 4 non-heterotic spacetime dimensions may provide an instability of the vacuum to gravitational polarization in globally strong gravitational fields. This instability would be triggered during gravitational ... More
SL(n,C)- Representation spaces of Knot GroupsFeb 11 2016The first part of this article is a general introduction to the the theory of representation spaces of discrete groups into SL(n,C). Special attention is paid to knot groups. In Section 2 we discuss the difference between the tangent space at the representation ... More
The Non-Existent Complex 6-SphereOct 25 2016The possible existence of a complex structure on the 6-sphere has been a famous unsolved problem for over 60 years. In that time many ``solutions'' have been put forward, in both directions. Mistakes have always been found. In this paper I present a short ... More
Boundary form factors in the Smirnov--Fateev model with a diagonal boundary $S$ matrixJan 07 2008The boundary conditions with diagonal boundary $S$ matrix and the boundary form factors for the Smirnov--Fateev model on a half line has been considered in the framework of the free field representation. In contrast to the case of the sine-Gordon model, ... More
Acoustic methods for measuring bullet velocityDec 27 2008This article describes two acoustic methods to measure bullet velocity with an accuracy of 1% or better. In one method, a microphone is placed within 0.1 m of the gun muzzle and a bullet is fired at a steel target 45 m away. The bullet's flight time is ... More
Sheaf and cosheaf methods for analyzing multi-model systemsApr 15 2016There is an interplay between models, specified by variables and equations, and their connections to one another. This dichotomy should be reflected in the abstract as well. Without referring to the models directly -- only that a model consists of spaces ... More
Intrinsic flat convergence with bounded Ricci curvatureMay 13 2014Apr 24 2015In this paper we address the relationship between Gromov-Hausdorff limits and intrinsic flat limits of complete Riemannian manifolds. In \cite{SormaniWenger2010, SormaniWenger2011}, Sormani-Wenger show that for a sequence of Riemannian manifolds with ... More
Generalization bound for kernel similarity learningOct 12 2016Similarity learning has received a large amount of interest and is an important tool for many scientific and industrial applications. In this framework, we wish to infer the distance (similarity) between points with respect to an arbitrary distance function ... More
On the autonomous metric on groups of Hamiltonian diffeomorphisms of closed hyperbolic surfacesMay 13 2013May 30 2014Let $\Sigma_g$ be a closed hyperbolic surface of genus $g$ and let $Ham(\Sigma_g)$ be the group of Hamiltonian diffeomorphisms of $\Sigma_g$. The most natural word metric on this group is the autonomous metric. It has many interesting properties, most ... More
Quasi-morphisms and L^p-metrics on groups of volume-preserving diffeomorphismsOct 14 2011Sep 03 2012Let M be a smooth compact connected oriented manifold of dimension at least two endowed with a volume form. We show that every homogeneous quasi-morphism on the identity component $Diff_0(M,vol)$ of the group of volume preserving diffeomorphisms of M, ... More
Isomorphisms of Hilbert C*-Modules and $*$-Isomorphisms of Related Operator C*-AlgebrasMay 09 1995Let $\cal M$ be a Banach C*-module over a C*-algebra $A$ carrying two $A$-valued inner products $< .,. >_1$, $<.,. >_2$ which induce equivalent to the given one norms on $\cal M$. Then the appropriate unital C*-algebras of adjointable bounded $A$-linear ... More
A half-normal distribution scheme for generating functions and the unexpected behavior of Motzkin pathsMay 10 2016We present an extension of a theorem by Michael Drmota and Mich\`ele Soria [Images and Preimages in Random Mappings, 1997] that can be used to identify the limiting distribution for a class of combinatorial schemata. This is achieved by determining analytical ... More
"Did I Say Something Wrong?" A Word-Level Analysis of Wikipedia Articles for Deletion DiscussionsMar 25 2016This thesis focuses on gaining linguistic insights into textual discussions on a word level. It was of special interest to distinguish messages that constructively contribute to a discussion from those that are detrimental to them. Thereby, we wanted ... More
Processing Complex Sentences in the Centering FrameworkMay 14 1996We extend the centering model for the resolution of intra-sentential anaphora and specify how to handle complex sentences. An empirical evaluation indicates that the functional information structure guides the search for an antecedent within the sentence. ... More
Never Look Back: An Alternative to CenteringJun 25 1998I propose a model for determining the hearer's attentional state which depends solely on a list of salient discourse entities (S-list). The ordering among the elements of the S-list covers also the function of the backward-looking center in the centering ... More
Measuring the Size of Large No-Limit Poker GamesFeb 27 2013Mar 07 2013In the field of computational game theory, games are often compared in terms of their size. This can be measured in several ways, including the number of unique game states, the number of decision points, and the total number of legal actions over all ... More
Large-Scale Reasoning with OWLFeb 14 2016With the growth of the Semantic Web in size and importance, more and more knowledge is stored in machine-readable formats such as the Web Ontology Language OWL. This paper outlines common approaches for efficient reasoning on large-scale data consisting ... More
Non-Abelian twisted kinks in chiral Gross-Neveu model with isospinDec 12 2015Apr 05 2016The two-dimensional, massless Gross-Neveu model with Nc colors and SU(2) isospin is studied analytically in the large Nc limit. The chiral SU(2)L X SU(2)R symmetry is broken spontaneously in the vacuum. Twisted kinks connecting two arbitrary points on ... More
Space-Efficient Latent ContractsApr 08 2016Jun 01 2016Standard higher-order contract monitoring breaks tail recursion and leads to space leaks that can change a program's asymptotic complexity. Space efficient semantics restore tail recursion and bound the amount of space used by contacts. Space efficient ... More
A quasi-exactly solvable model: two charges in a magnetic field, subject to a non-Coulomb mutual interactionSep 24 2015We extend the class of QM problems which permit for quasi-exact solutions. Specifically, we consider planar motion of two interacting charges in a constant uniform magnetic field. While Turbiner and Escobar-Ruiz (2013) addressed the case of the Coulomb ... More
Expected degree of finite preferential attachment networksJun 30 2014Aug 12 2014We provide an analytic expression for the quantity described in the title. Namely, we perform a preferential attachment growth process to generate a scale-free network. At each stage we add a new node with $m$ new links. Let $k$ denote the degree of a ... More
Graphics Turing TestMar 31 2006We define a Graphics Turing Test to measure graphics performance in a similar manner to the definition of the traditional Turing Test. To pass the test one needs to reach a computational scale, the Graphics Turing Scale, for which Computer Generated Imagery ... More
The Universal Severi Variety of Rational Curves on K3 SurfacesOct 19 2011We investigate the universal Severi variety of rational curves on K3 surfaces, which parametrises irreducible rational curves in a fixed class on varying K3 surfaces of fixed genus. We investigate the conjecuted irreducibility of this space in the case ... More
Equivariant Cohomology and Representations of the Symmetric GroupDec 21 2000A cohomological study is made of an equivariant map betwen the configuration space of n points in space and the flag manifold of U(n).