Discrete complex analysis on planar quad-graphs

We develop a linear theory of discrete complex analysis on general quad-graphs, continuing and extending previous work of Duffin, Mercat, Kenyon, Chelkak and Smirnov on discrete complex analysis on rhombic quad-graphs. Our approach based on the medial graph yields more instructive proofs of discrete analogs of several classical theorems and even new results. We provide discrete counterparts of fundamental concepts in complex analysis such as holomorphic functions, derivatives, the Laplacian, and exterior calculus. Also, we discuss discrete versions of important basic theorems such as Green's identities and Cauchy's integral formulae. For the first time, we discretize Green's first identity and Cauchy's integral formula for the derivative of a holomorphic function. In this paper, we focus on planar quad-graphs, but we would like to mention that many notions and theorems can be adapted to discrete Riemann surfaces in a straightforward way. In the case of planar parallelogram-graphs with bounded interior angles and bounded ratio of side lengths, we construct a discrete Green's function and discrete Cauchy's kernels with asymptotics comparable to the smooth case. Further restricting to the integer lattice of a two-dimensional skew coordinate system yields appropriate discrete Cauchy's integral formulae for higher order derivatives.Comment: 49 pages, 8 figure

A new microvertebrate fauna from the Middle Hettangian (early Jurassic) of Fontenoille (Province of Luxembourg, south Belgium)

A Lower Jurassic horizon from Fontenoille yielding fossil fish remains can be dated to the Middle Hettangian Liasicus zone on the basis of the early belemnite Schwegleria and the ammonite Alsatites Iciqueus francus. Hybodontiform sharks are represented by Hybodus reticularis, Lissodus sp„ Polxacrodus sp, and Neoselachians by Synechodus paludinensis nov. sp. and Synechodus streitzi, nov. sp. Earlier reports of a scyliorhinid are not confirmed; teeth of similar morphology to scyliorhinids seem to be juvenile variants of 5. paludinensis. Chimaeriform remains include Squaloraja sp., the earliest occurrence of the genus. The Actinopterygian fauna is introduced, comprising a palaeonisciform cf. Ptxcholepis, a possible late perleidiform cf. Platysiagum, the dapediid semionotiforms Dapedium and cf. Tetragonolepis, the pycnodontiform Eomesodon, halecomorphs cf. Furidae or Ophiopsidae, pholidophoriforms and/or Leptolepididae, and actinistians. Lepidosaur remains are also present

Assessing Alternatives for Directional Detection of a WIMP Halo

The future of direct terrestrial WIMP detection lies on two fronts: new, much larger low background detectors sensitive to energy deposition, and detectors with directional sensitivity. The former can large range of WIMP parameter space using well tested technology while the latter may be necessary if one is to disentangle particle physics parameters from astrophysical halo parameters. Because directional detectors will be quite difficult to construct it is worthwhile exploring in advance generally which experimental features will yield the greatest benefits at the lowest costs. We examine the sensitivity of directional detectors with varying angular tracking resolution with and without the ability to distinguish forward versus backward recoils, and compare these to the sensitivity of a detector where the track is projected onto a two-dimensional plane. The latter detector regardless of where it is placed on the Earth, can be oriented to produce a significantly better discrimination signal than a 3D detector without this capability, and with sensitivity within a factor of 2 of a full 3D tracking detector. Required event rates to distinguish signals from backgrounds for a simple isothermal halo range from the low teens in the best case to many thousands in the worst.Comment: 4 pages, including 2 figues and 2 tables, submitted to PR

Bad semidefinite programs: they all look the same

Conic linear programs, among them semidefinite programs, often behave pathologically: the optimal values of the primal and dual programs may differ, and may not be attained. We present a novel analysis of these pathological behaviors. We call a conic linear system $Ax <= b$ {\em badly behaved} if the value of $\sup { | A x <= b }$ is finite but the dual program has no solution with the same value for {\em some} $c.$ We describe simple and intuitive geometric characterizations of badly behaved conic linear systems. Our main motivation is the striking similarity of badly behaved semidefinite systems in the literature; we characterize such systems by certain {\em excluded matrices}, which are easy to spot in all published examples. We show how to transform semidefinite systems into a canonical form, which allows us to easily verify whether they are badly behaved. We prove several other structural results about badly behaved semidefinite systems; for example, we show that they are in $NP \cap co-NP$ in the real number model of computing. As a byproduct, we prove that all linear maps that act on symmetric matrices can be brought into a canonical form; this canonical form allows us to easily check whether the image of the semidefinite cone under the given linear map is closed.Comment: For some reason, the intended changes between versions 4 and 5 did not take effect, so versions 4 and 5 are the same. So version 6 is the final version. The only difference between version 4 and version 6 is that 2 typos were fixed: in the last displayed formula on page 6, "7" was replaced by "1"; and in the 4th displayed formula on page 12 "A_1 - A_2 - A_3" was replaced by "A_3 - A_2 - A_1

Functional Maps Representation on Product Manifolds

We consider the tasks of representing, analyzing and manipulating maps between shapes. We model maps as densities over the product manifold of the input shapes; these densities can be treated as scalar functions and therefore are manipulable using the language of signal processing on manifolds. Being a manifold itself, the product space endows the set of maps with a geometry of its own, which we exploit to define map operations in the spectral domain; we also derive relationships with other existing representations (soft maps and functional maps). To apply these ideas in practice, we discretize product manifolds and their Laplace--Beltrami operators, and we introduce localized spectral analysis of the product manifold as a novel tool for map processing. Our framework applies to maps defined between and across 2D and 3D shapes without requiring special adjustment, and it can be implemented efficiently with simple operations on sparse matrices.Comment: Accepted to Computer Graphics Foru

Reconstruction of Bandlimited Functions from Unsigned Samples

We consider the recovery of real-valued bandlimited functions from the absolute values of their samples, possibly spaced nonuniformly. We show that such a reconstruction is always possible if the function is sampled at more than twice its Nyquist rate, and may not necessarily be possible if the samples are taken at less than twice the Nyquist rate. In the case of uniform samples, we also describe an FFT-based algorithm to perform the reconstruction. We prove that it converges exponentially rapidly in the number of samples used and examine its numerical behavior on some test cases

A note on dimer models and McKay quivers

We give one formulation of an algorithm of Hanany and Vegh which takes a lattice polygon as an input and produces a set of isoradial dimer models. We study the case of lattice triangles in detail and discuss the relation with coamoebas following Feng, He, Kennaway and Vafa.Comment: 25 pages, 35 figures. v3:completely rewritte

On the truncation of the harmonic oscillator wavepacket

We present an interesting result regarding the implication of truncating the wavepacket of the harmonic oscillator. We show that disregarding the non-significant tails of a function which is the superposition of eigenfunctions of the harmonic oscillator has a remarkable consequence: namely, there exist infinitely many different superpositions giving rise to the same function on the interval. Uniqueness, in the case of a wavepacket, is restored by a postulate of quantum mechanics

Approximation of conformal mappings by circle patterns

A circle pattern is a configuration of circles in the plane whose combinatorics is given by a planar graph G such that to each vertex of G corresponds a circle. If two vertices are connected by an edge in G, the corresponding circles intersect with an intersection angle in $(0,\pi)$. Two sequences of circle patterns are employed to approximate a given conformal map $g$ and its first derivative. For the domain of $g$ we use embedded circle patterns where all circles have the same radius decreasing to 0 and which have uniformly bounded intersection angles. The image circle patterns have the same combinatorics and intersection angles and are determined from boundary conditions (radii or angles) according to the values of $g'$ ($|g'|$ or $\arg g'$). For quasicrystallic circle patterns the convergence result is strengthened to $C^\infty$-convergence on compact subsets.Comment: 36 pages, 7 figure

Disc formation in turbulent massive cores: Circumventing the magnetic braking catastrophe

We present collapse simulations of 100 M_{\sun}, turbulent cloud cores threaded by a strong magnetic field. During the initial collapse phase filaments are generated which fragment quickly and form several protostars. Around these protostars Keplerian discs with typical sizes of up to 100 AU build up in contrast to previous simulations neglecting turbulence. We examine three mechanisms potentially responsible for lowering the magnetic braking efficiency and therefore allowing for the formation of Keplerian discs. Analysing the condensations in which the discs form, we show that the build-up of Keplerian discs is neither caused by magnetic flux loss due to turbulent reconnection nor by the misalignment of the magnetic field and the angular momentum. It is rather a consequence of the turbulent surroundings of the disc which exhibit no coherent rotation structure while strong local shear flows carry large amounts of angular momentum. We suggest that the "magnetic braking catastrophe", i.e. the formation of sub-Keplerian discs only, is an artefact of the idealised non-turbulent initial conditions and that turbulence provides a natural mechanism to circumvent this problem.Comment: 6 pages, 5 figures, accepted by MNRAS Letters, updated to final versio