title: Proof Outlines as Proof Certificates: A System Description

abstract: We apply the foundational proof certificate (FPC) framework to the problem of designing high-level outlines of proofs. The FPC framework provides a means to formally define and check a wide range of proof evidence. A focused proof system is central to this framework and such a proof system provides an interesting approach to proof reconstruction during the process of proof checking (relying on an underlying logic programming implementation). Here, we illustrate how the FPC framework can be used to design proof outlines and then to exploit proof checkers as a means for expanding outlines into fully detailed proofs. In order to validate this approach to proof outlines, we have built the ACheck system that allows us to take a sequence of theorems and apply the proof outline "do the obvious induction and close the proof using previously proved lemmas".


title: Realisability semantics of abstract focussing, formalised

abstract: We present a sequent calculus for abstract focussing, equipped with proof-terms: in the tradition of Zeilberger's work, logical connectives and their introduction rules are left as a parameter of the system, which collapses the synchronous and asynchronous phases of focussing as macro rules. We go further by leaving as a parameter the operation that extends a context of hypotheses with new ones, which allows us to capture both classical and intuitionistic focussed sequent calculi. We then define the realisability semantics of (the proofs of) the system, on the basis of Munch-Maccagnoni's orthogonality models for the classical focussed sequent calculus, but now operating at the higher level of abstraction mentioned above. We prove, at that level, the Adequacy Lemma, namely that if a term is of type A, then in the model its denotation is in the (set-theoretic) interpretation of A. This exhibits the fact that the universal quantification involved when taking the orthogonal of a set, reflects in the semantics Zeilberger's universal quantification in the macro rule for the asynchronous phase. The system and its semantics are all formalised in Coq.


title: Multiplicative-Additive Focusing for Parsing as Deduction

abstract: Spurious ambiguity is the phenomenon whereby distinct derivations in grammar may assign the same structural reading, resulting in redundancy in the parse search space and inefficiency in parsing. Understanding the problem depends on identifying the essential mathematical structure of derivations. This is trivial in the case of context free grammar, where the parse structures are ordered trees; in the case of categorial grammar, the parse structures are proof nets. However, with respect to multiplicatives intrinsic proof nets have not yet been given for displacement calculus, and proof nets for additives, which have applications to polymorphism, are involved. Here we approach multiplicative-additive spurious ambiguity by means of the proof-theoretic technique of focalisation.


title: Hexagonal RMnO$_3$: a model system for 2D triangular lattice antiferromagnets

abstract: The hexagonal RMnO$_3$ (h-RMnO$_3$) are multiferroic materials, which exhibit the coexistence of a magnetic order and ferroelectricity. Their distinction is in their geometry that both results in an unusual mechanism to break inversion symmetry, and also produces a 2D triangular lattice of Mn spins, which is subject to geometrical magnetic frustration due to the antiferromagnetic interactions between nearest neighbour Mn ions. This unique combination makes the h-RMnO$_3$ a model system to test ideas of spin-lattice coupling, particularly when the both the improper ferroelectricity and the Mn trimerisation that appears to determine the symmetry of the magnetic structure arise from the same structure distortion. In this review, we demonstrate how the use of both neutron and X-ray diffraction and inelastic neutron scattering techniques have been essential to paint this comprehensive and coherent picture of the h-RMnO$_3$.


title: Wakes and precursor soliton excitations by a moving charged object in a plasma

abstract: We study the evolution of nonlinear ion acoustic wave excitations due to a moving charged source in a plasma. Our numerical investigations of the full set of cold fluid equations goes beyond the usual weak nonlinearity approximation and shows the existence of a rich variety of solutions including wakes, precursor solitons and pinned solitons that travel with the source velocity. These solutions represent a large amplitude generalization of solutions obtained in the past for the forced Korteweg deVries equation and can find useful applications in a variety of situations in the laboratory and in space wherever there is a large relative velocity between the plasma and a charged object.


title: The NuSTAR Extragalactic Surveys: The Number Counts of Active Galactic Nuclei and the Resolved Fraction of the Cosmic X-ray Background

abstract: We present the 3-8 keV and 8-24 keV number counts of active galactic nuclei (AGN) identified in the NuSTAR extragalactic surveys. NuSTAR has now resolved 33-39% of the X-ray background in the 8-24 keV band, directly identifying AGN with obscuring columns up to approximately 1e25 /cm2. In the softer 3-8 keV band the number counts are in general agreement with those measured by XMM-Newton and Chandra over the flux range 5e-15 < S(3 - 8 keV)/(erg/cm2/s) < 1e-12 probed by NuSTAR. In the hard 8-24 keV band NuSTAR probes fluxes over the range 2e-14 < S(8-24 keV)/(erg/cm2/s) < 1e-12, a factor of approximately 100 fainter than previous measurements. The 8-24 keV number counts match predictions from AGN population synthesis models, directly confirming the existence of a population of obscured and/or hard X-ray sources inferred from the shape of the integrated cosmic X-ray background. The measured NuSTAR counts lie significantly above simple extrapolation with a Euclidian slope to low flux of the Swift/BAT 15-55 keV number counts measured at higher fluxes S(15-55 keV) > 1e-11 erg/cm2/s, reflecting the evolution of the AGN population between the Swift/BAT local (z<0.1) sample and NuSTAR's z~1 sample. CXB synthesis models, which account for AGN evolution, lie above the Swift/BAT measurements, suggesting that they do not fully capture the evolution of obscured AGN at low redshifts.


title: The NuSTAR Extragalactic Surveys: First Direct Measurements of the >10 keV X-Ray Luminosity Function for Active Galactic Nuclei at z>0.1

abstract: We present the first direct measurements of the rest-frame 10-40 keV X-ray luminosity function (XLF) of Active Galactic Nuclei (AGNs) based on a sample of 94 sources at 0.1 < z <3, selected at 8-24 keV energies from sources in the NuSTAR extragalactic survey program. Our results are consistent with the strong evolution of the AGN population seen in prior, lower-energy studies of the XLF. However, different models of the intrinsic distribution of absorption, which are used to correct for selection biases, give significantly different predictions for the total number of sources in our sample, leading to small, systematic differences in our binned estimates of the XLF. Adopting a model with a lower intrinsic fraction of Compton-thick sources and a larger population of sources with column densities N_H ~ 10^{23-24} /cm2 or a model with stronger Compton reflection component (with a relative normalization of R ~ 2 at all luminosities) can bring extrapolations of the XLF from 2-10 keV into agreement with our NuSTAR sample. Ultimately, X-ray spectral analysis of the NuSTAR sources is required to break this degeneracy between the distribution of absorbing column densities and the strength of the Compton reflection component and thus refine our measurements of the XLF. Furthermore, the models that successfully describe the high-redshift population seen by NuSTAR tend to over-predict previous, high-energy measurements of the local XLF, indicating that there is evolution of the AGN population that is not fully captured by the current models.


title: The NuSTAR Extragalactic Surveys: Overview and Catalog from the COSMOS Field

abstract: To provide the census of the sources contributing to the X-ray background peak above 10 keV, NuSTAR is performing extragalactic surveys using a three-tier "wedding cake" approach. We present the NuSTAR survey of the COSMOS field, the medium sensitivity and medium area tier, covering 1.7 deg2 and overlapping with both Chandra and XMM-Newton data. This survey consists of 121 observations for a total exposure of ~3 Ms. To fully exploit these data, we developed a new detection strategy, carefully tested through extensive simulations. The survey sensitivity at 20% completeness is 5.9, 2.9 and 6.4 x 10^-14 erg/cm2/s in the 3-24 keV, 3-8 keV and 8-24 keV bands, respectively. By combining detections in 3 bands, we have a sample of 91 NuSTAR sources with 10^42 -10^45.5 erg/s luminosities and redshift z=0.04-2.5. Thirty two sources are detected in the 8-24 keV band with fluxes ~100 times fainter than sources detected by Swift-BAT. Of the 91 detections, all but four are associated with a Chandra and/or XMM-Newton point-like counterpart. One source is associated with an extended lower energy X-ray source. We present the X-ray (hardness ratio and luminosity) and optical-to-X-ray properties. The observed fraction of candidate Compton-thick AGN measured from the hardness ratio is between 13-20%. We discuss the spectral properties of NuSTAR J100259+0220.6 (ID 330) at z=0.044, with the highest hardness ratio in the entire sample. The measured column density exceeds 10^24 /cm2, implying the source is Compton-thick. This source was not previously recognized as such without the >10 keV data.


title: The NuSTAR Extragalactic Surveys: Initial Results and Catalog from the Extended Chandra Deep Field South

abstract: We present initial results and the source catalog from the NuSTAR survey of the Extended Chandra Deep Field South (hereafter, ECDFS) - currently the deepest contiguous component of the NuSTAR extragalactic survey program. The survey covers the full ~30 arcmin x 30 arcmin area of this field to a maximum depth of ~360 ks (~220 ks when corrected for vignetting at 3-24 keV), reaching sensitivity limits of ~1.3 x 10^-14 erg/cm2/s (3-8 keV), ~3.4 x 10^-14 erg/cm2/s (8-24 keV) and ~3.0 x 10^-14 erg/cm2/s (3-24 keV). Fifty four (54) sources are detected over the full field, although five of these are found to lie below our significance threshold once contaminating flux from neighboring (i.e., blended) sources is taken into account. Of the remaining 49 that are significant, 19 are detected in the 8-24 keV band. The 8-24 keV to 3-8 keV band ratios of the twelve sources that are detected in both bands span the range 0.39-1.7, corresponding to a photon index range of Gamma ~ 0.5-2.3, with a median photon index of 1.70 +/- 0.52. The redshifts of the 49 sources in our main sample span the range z = 0.21-2.7, and their rest-frame 10-40 keV luminosities (derived from the observed 8-24 keV fluxes) span the range L(10-40 keV) ~ (0.7-300) x 10^43 erg/s, sampling below the "knee" of the X-ray luminosity function out to z ~ 0.8-1. Finally, we identify one NuSTAR source that has neither a Chandra nor an XMM-Newton counterpart, but that shows evidence of nuclear activity at infrared wavelengths, and thus may represent a genuine, new X-ray source detected by NuSTAR in the ECDFS.


title: BV Analysis of Tachyon Fluctuation around Multi-brane Solutions in Cubic String Field Theory

abstract: We study whether the tachyon mode exists as a physical fluctuation on the 2-brane solution and on the tachyon vacuum solution in cubic open string field theory. Our analysis is based on the Batalin-Vilkovisky formalism. We first construct a set of six string states which corresponds to the set of fields and anti-fields containing the tachyon field. Whether the tachyon field can exist as a physical fluctuation is determined by the 6x6 matrix defining the anti-bracket in the present sector. If the matrix is degenerate/non-degenerate, the tachyon field is physical/unphysical. Calculations for the pure-gauge type solutions in the framework of the KBc algebra and using the Ke-regularization lead to the expected results. Namely, the matrix for the anti-bracket is degenerate/non-degenerate in the case of the 2-brane/tachyon-vacuum solution. Our analysis is not complete, in particular, in that we have not identified the four-fold degeneracy of tachyon fluctuation on the 2-brane solution, and moreover that the present six states do not satisfy the hermiticity condition.


title: Smooth Solutions to a Class of Nonlocal Fully Nonlinear Elliptic Equations

abstract: We show that a certain class of fully nonlinear nonlocal equations have smooth solutions as long as the right-hand side is nice and the boundary datum is bounded. To this end we follow the classical strategy. We first show that solutions are $C^{\sigma+\alpha}$ continuous, then develop a bootstrap argument robust enough for operators that may depend on the solution and its \sigma-derivatives.


title: Basic aspects of symplectic Clifford analysis for the symplectic Dirac operator

abstract: In the present article we study basic aspects of the symplectic version of Clifford analysis associated to the symplectic Dirac operator. Focusing mostly on the symplectic vector space of real dimension $2$, this involves the analysis of first order symmetry operators, symplectic Clifford-Fourier transform, reproducing kernel for the symplectic Fischer product and the construction of bases of symplectic monogenics for the symplectic Dirac operator.


title: On Choosing Committees Based on Approval Votes in the Presence of Outliers

abstract: We study the computational complexity of committee selection problem for several approval-based voting rules in the presence of outliers. Our first result shows that outlier consideration makes committee selection problem intractable for approval, net approval, and minisum approval voting rules. We then study parameterized complexity of this problem with five natural parameters, namely the target score, the size of the committee (and its dual parameter, the number of candidates outside the committee), the number of outliers (and its dual parameter, the number of non-outliers). For net approval and minisum approval voting rules, we provide a dichotomous result, resolving the parameterized complexity of this problem for all subsets of five natural parameters considered (by showing either FPT or W[1]-hardness for all subsets of parameters). For the approval voting rule, we resolve the parameterized complexity of this problem for all subsets of parameters except one. We also study approximation algorithms for this problem. We show that there does not exist any alpha(.) factor approximation algorithm for approval and net approval voting rules, for any computable function alpha(.), unless P=NP. For the minisum voting rule, we provide a pseudopolynomial (1+eps) factor approximation algorithm.


title: On the Monotone Measure of Correlation

abstract: Based on the notion of maximal correlation, Kimeldorf, May and Sampson (1980) introduce a measure of correlation between two random variables, called the "concordant monotone correlation" (CMC). We revisit, generalize and prove new properties of this measure of correlation. It is shown that CMC captures various types of correlation detected in measures of rank correlation like the Kendall tau correlation. We show that the CMC satisfies the data processing and tensorization properties (that make ordinary maximal correlation applicable to problems in information theory). Furthermore, CMC is shown to be intimately related to the FKG inequality. Furthermore, a combinatorical application of CMC is given for which we do not know of another method to derive its result. Finally, we study the problem of the complexity of the computation of the CMC, which is a non-convex optimization problem with local maximas. We give a simple but exponential-time algorithm that is guaranteed to output the exact value of the generalized CMC.


title: DISC: Deep Image Saliency Computing via Progressive Representation Learning

abstract: Salient object detection increasingly receives attention as an important component or step in several pattern recognition and image processing tasks. Although a variety of powerful saliency models have been intensively proposed, they usually involve heavy feature (or model) engineering based on priors (or assumptions) about the properties of objects and backgrounds. Inspired by the effectiveness of recently developed feature learning, we provide a novel Deep Image Saliency Computing (DISC) framework for fine-grained image saliency computing. In particular, we model the image saliency from both the coarse- and fine-level observations, and utilize the deep convolutional neural network (CNN) to learn the saliency representation in a progressive manner. Specifically, our saliency model is built upon two stacked CNNs. The first CNN generates a coarse-level saliency map by taking the overall image as the input, roughly identifying saliency regions in the global context. Furthermore, we integrate superpixel-based local context information in the first CNN to refine the coarse-level saliency map. Guided by the coarse saliency map, the second CNN focuses on the local context to produce fine-grained and accurate saliency map while preserving object details. For a testing image, the two CNNs collaboratively conduct the saliency computing in one shot. Our DISC framework is capable of uniformly highlighting the objects-of-interest from complex background while preserving well object details. Extensive experiments on several standard benchmarks suggest that DISC outperforms other state-of-the-art methods and it also generalizes well across datasets without additional training. The executable version of DISC is available online: http://vision.sysu.edu.cn/projects/DISC.


title: LCODE: a parallel quasistatic code for computationally heavy problems of plasma wakefield acceleration

abstract: LCODE is a freely-distributed quasistatic 2D3V code for simulating plasma wakefield acceleration, mainly specialized at resource-efficient studies of long-term propagation of ultrarelativistic particle beams in plasmas. The beam is modeled with fully relativistic macro-particles in a simulation window copropagating with the light velocity; the plasma can be simulated with either kinetic or fluid model. Several techniques are used to obtain exceptional numerical stability and precision while maintaining high resource efficiency, enabling LCODE to simulate the evolution of long particle beams over long propagation distances even on a laptop. A recent upgrade enabled LCODE to perform the calculations in parallel. A pipeline of several LCODE processes communicating via MPI (Message-Passing Interface) is capable of executing multiple consecutive time steps of the simulation in a single pass. This approach can speed up the calculations by hundreds of times.


title: Self-testing in parallel

abstract: Self-testing allows us to determine, through classical interaction only, whether some players in a non-local game share particular quantum states. Most work on self-testing has concentrated on developing tests for small states like one pair of maximally entangled qubits, or on tests where there is a separate player for each qubit, as in a graph state. Here we consider the case of testing many maximally entangled pairs of qubits shared between two players. Previously such a test was shown where testing is sequential, i.e., one pair is tested at a time. Here we consider the parallel case where all pairs are tested simultaneously, giving considerably more power to dishonest players. We derive sufficient conditions for a self-test for many maximally entangled pairs of qubits shared between two players and also two constructions for self-tests where all pairs are tested simultaneously.


title: The amazing diversity in the hot gas content of an X-ray unbiased massive galaxy clusters sample

abstract: We aim to determine the intrinsic variety, at a given mass, of the properties of the intracluster medium in clusters of galaxies. This requires a cluster sample selected independently of the intracluster medium content for which reliable masses and subsequent X-ray data can be obtained. We present one such sample, consisting of 34 galaxy clusters selected independently of their X-ray properties in the nearby ($0.050<z<0.135$) Universe and mostly with $14<\log M_{500}/M_\odot \lesssim 14.5$, where masses are dynamically estimated. We collected the available X-ray observations from the archives and then observed the remaining clusters with the low-background Swift X-ray telescope, which is extremely useful for sampling a cluster population expected to have low surface brightness. We found that clusters display a large range (up to a factor 50) in X-ray luminosities within $r_{500}$ at a given mass, whether or not the central emission ($r<0.15 r_{500}$) is excised, unveiling a wider cluster population than seen in Sunayev-Zeldovich surveys or inferred from the population seen in X-ray surveys. The measured dispersion is $0.5$ dex in $L_X$ at a given mass.


title: Structure Inference Machines: Recurrent Neural Networks for Analyzing Relations in Group Activity Recognition

abstract: Rich semantic relations are important in a variety of visual recognition problems. As a concrete example, group activity recognition involves the interactions and relative spatial relations of a set of people in a scene. State of the art recognition methods center on deep learning approaches for training highly effective, complex classifiers for interpreting images. However, bridging the relatively low-level concepts output by these methods to interpret higher-level compositional scenes remains a challenge. Graphical models are a standard tool for this task. In this paper, we propose a method to integrate graphical models and deep neural networks into a joint framework. Instead of using a traditional inference method, we use a sequential inference modeled by a recurrent neural network. Beyond this, the appropriate structure for inference can be learned by imposing gates on edges between nodes. Empirical results on group activity recognition demonstrate the potential of this model to handle highly structured learning tasks.


title: Collaboration Framework in the EViE-m Platform

abstract: Within the context of a 3D interactive strategy game, the EViE platform allows participants to unlock game features using their knowledge and skills in various thematic areas such as physics, mathematics, etc. By answering questions organized by Educational Objective in stratified levels of difficulty, users gather points which grant them access to desired world elements. Richer world components become increasingly more difficult to access, so that a players' individual (or cumulative if in a group) knowledge, ability and / or dexterity is directly reflected by the level of complication of their virtual world. In the present article we report on the communication architecture of the platform and focus on framework components that allow group activities such as cooperation (within the group to facilitate e.g., collaboration on more difficult problems), (inter-group) competition as well as practice and skill honing activities (in single or in multi-player mode).


title: Strong quantum scarring by local impurities

abstract: We discover and characterize strong quantum scars, or eigenstates resembling classical periodic orbits, in two-dimensional quantum wells perturbed by local impurities. These scars are not explained by ordinary scar theory, which would require the existence of short, moderately unstable periodic orbits in the perturbed system. Instead, they are supported by classical resonances in the unperturbed system and the resulting quantum near-degeneracy. Even in the case of a large number of randomly scattered impurities, the scars prefer distinct orientations that extremize the overlap with the impurities. We demonstrate that these preferred orientations can be used for highly efficient transport of quantum wave packets across the perturbed potential landscape. Assisted by the scars, wave-packet recurrences are significantly stronger than in the unperturbed system. Together with the controllability of the preferred orientations, this property may be very useful for quantum transport applications.


title: Courant-sharp eigenvalues of the three-dimensional square torus

abstract: In this paper, we determine, in the case of the Laplacian on the flat three-dimensional torus $(\mathbb{R}/\mathbb{Z})^3$, all the eigenvalues having an eigenfunction which satisfies the Courant nodal domains theorem with equality (Courant-sharp situation). Following the strategy of {\AA}. Pleijel (1956), the proof is a combination of an explicit lower bound of the counting function and a Faber-Krahn-type inequality for domains on the torus, deduced as, in the work of P. B\'erard and D. Meyer (1982), from an isoperimetric inequality. This inequality relies on the work of L. Hauswirth, J. Perez, P. Romon, and A. Ros (2004) on the periodic isoperimetric problem.


title: Top-quark production measurements

abstract: Recent measurements of top-quark production at hadron colliders are reviewed. The inclusive top-quark pair production is determined at four centre-of-mass energies at Tevatron and LHC with experimental uncertainties that are close to the uncertainties in theoretical calculations at next-to-next-to-leading order in QCD. Several differential measurements are performed and compared to simulation. Production of single top quarks is studied in the three different production channels. Top-quark pair production with neutral and charged vector bosons has been observed by the LHC experiments. Finally, production of additional heavy flavour quark pairs ($b\bar{b}$, $t\bar{t}$) is studied or searched for.


title: Growing timescales and lengthscales characterizing vibrations of amorphous solids

abstract: Low-temperature properties of crystalline solids can be understood using harmonic perturbations around a perfect lattice, as in Debye's theory. Low-temperature properties of amorphous solids, however, strongly depart from such descriptions, displaying enhanced transport, activated slow dynamics across energy barriers, excess vibrational modes with respect to Debye's theory (i.e., a Boson Peak), and complex irreversible responses to small mechanical deformations. These experimental observations indirectly suggest that the dynamics of amorphous solids becomes anomalous at low temperatures. Here, we present direct numerical evidence that vibrations change nature at a well-defined location deep inside the glass phase of a simple glass former. We provide a real-space description of this transition and of the rapidly growing time and length scales that accompany it. Our results provide the seed for a universal understanding of low-temperature glass anomalies within the theoretical framework of the recently discovered Gardner phase transition.


title: Spatial frequency processing in the central and peripheral visual field during scene viewing

abstract: Visuospatial attention and gaze control depend on the interaction of foveal and peripheral processing. The foveal and peripheral regions of the visual field are differentially sensitive to parts of the spatial-frequency spectrum. In two experiments, we investigated how the selective attenuation of spatial frequencies in the central or the peripheral visual field affects eye-movement behavior during real-world scene viewing. Gaze-contingent low-pass or high-pass filters with varying filter levels (i.e., cutoff frequencies; Experiment 1) or filter sizes (Experiment 2) were applied. Compared to unfiltered control conditions, mean fixation durations increased most with central high-pass and peripheral low-pass filtering. Increasing filter size prolonged fixation durations with peripheral filtering, but not with central filtering. Increasing filter level prolonged fixation durations with low-pass filtering, but not with high-pass filtering. These effects indicate that fixation durations are not always longer under conditions of increased processing difficulty. Saccade amplitudes largely adapted to processing difficulty: amplitudes increased with central filtering and decreased with peripheral filtering; the effects strengthened with increasing filter size and filter level. In addition, we observed a trade-off between saccade timing and saccadic selection, since saccade amplitudes were modulated when fixation durations were unaffected by the experimental manipulations. We conclude that interactions of perception and gaze control are highly sensitive to experimental manipulations of input images as long as the residual information can still be accessed for gaze control.


title: GPEC, a real-time capable Tokamak equilibrium code

abstract: A new parallel equilibrium reconstruction code for tokamak plasmas is presented. GPEC allows to compute equilibrium flux distributions sufficiently accurate to derive parameters for plasma control within 1 ms of runtime which enables real-time applications at the ASDEX Upgrade experiment (AUG) and other machines with a control cycle of at least this size. The underlying algorithms are based on the well-established offline-analysis code CLISTE, following the classical concept of iteratively solving the Grad-Shafranov equation and feeding in diagnostic signals from the experiment. The new code adopts a hybrid parallelization scheme for computing the equilibrium flux distribution and extends the fast, shared-memory-parallel Poisson solver which we have described previously by a distributed computation of the individual Poisson problems corresponding to different basis functions. The code is based entirely on open-source software components and runs on standard server hardware and software environments. The real-time capability of GPEC is demonstrated by performing an offline-computation of a sequence of 1000 flux distributions which are taken from one second of operation of a typical AUG discharge and deriving the relevant control parameters with a time resolution of a millisecond. On current server hardware the new code allows employing a grid size of 32x64 zones for the spatial discretization and up to 15 basis functions. It takes into account about 90 diagnostic signals while using up to 4 equilibrium iterations and computing more than 20 plasma-control parameters, including the computationally expensive safety-factor q on at least 4 different levels of the normalized flux.

categories: physics.plasm-ph cs.CE cs.DC physics.comp-ph


title: Toric representations of algebras defined by certain nonsimple polyominoes

abstract: In this paper we give a toric representation of the associated ring of a polyomino which is obtained by removing a convex polyomino from its ambient rectangle.


title: The Grism Lens-Amplified Survey from Space (GLASS). III. A census of Ly\alpha\ Emission at $z\gtrsim$7 from HST Spectroscopy

abstract: [abbreviated] We present a census of Ly\alpha\ emission at $z\gtrsim7$ utilizing deep near infrared HST grism spectroscopy from the first six completed clusters of the Grism Lens-Amplified Survey from Space (GLASS). In 24/159 photometrically selected galaxies we detect emission lines consistent with Ly\alpha\ in the GLASS spectra. Based on the distribution of signal-to-noise ratios and on simulations we expect the completeness and the purity of the sample to be 40-100% and 60-90%, respectively. For the objects without detected emission lines we show that the observed (not corrected for lensing magnification) 1$\sigma$ flux limits reaches $5\times10^{-18}$erg/s/cm$^{2}$ per position angle over the full wavelength range of GLASS (0.8-1.7$\mu$m). Based on the conditional probability of Ly\alpha\ emission measured from the ground at $z\sim7$ we would have expected 12-18 Ly\alpha\ emitters. This is consistent with the number of detections, within the uncertainties, confirming the drop in Ly\alpha\ emission with respect to $z\sim6$. These candidates include a promising source at $z=8.1$. The spatial extent of Ly\alpha\ in a deep stack of the most convincing Ly\alpha\ emitters with $\langle z\rangle=7.2$ is consistent with that of the rest-frame UV continuum. Extended Ly$\alpha$ emission, if present, has a surface brightness below our detection limit, consistent with the properties of lower redshift comparison samples. From the stack we estimate upper limits on rest-frame UV emission line ratios and find $f_\textrm{CIV} / f_\textrm{Ly${\alpha}$} \lesssim 0.32$ and $f_\textrm{CIII]} / f_\textrm{Ly$\alpha$} \lesssim 0.23$ in good agreement with other values published in the literature.


title: Quantum algorithms: an overview

abstract: Quantum computers are designed to outperform standard computers by running quantum algorithms. Areas in which quantum algorithms can be applied include cryptography, search and optimisation, simulation of quantum systems, and solving large systems of linear equations. Here we briefly survey some known quantum algorithms, with an emphasis on a broad overview of their applications rather than their technical details. We include a discussion of recent developments and near-term applications of quantum algorithms.


title: Acyclic colourings of graphs with bounded degree

abstract: A $k$-colouring (not necessarily proper) of vertices of a graph is called {\it acyclic}, if for every pair of distinct colours $i$ and $j$ the subgraph induced by the edges whose endpoints have colours $i$ and $j$ is acyclic. In the paper we consider some generalised acyclic $k$-colourings, namely, we require that each colour class induces an acyclic or bounded degree graph. Mainly we focus on graphs with maximum degree 5. We prove that any such graph has an acyclic $5$-colouring such that each colour class induces an acyclic graph with maximum degree at most 4. We prove that the problem of deciding whether a graph $G$ has an acyclic 2-colouring in which each colour class induces a graph with maximum degree at most 3 is NP-complete, even for graphs with maximum degree 5. We also give a linear-time algorithm for an acyclic $t$-improper colouring of any graph with maximum degree $d$ assuming that the number of colors is large enough.


title: The twisted Selberg trace formula and the Selberg zeta function for compact orbifolds

abstract: We study elements of the spectral theory of compact hyperbolic orbifolds $\Gamma \backslash \mathbb{H}^{n}$. We establish a version of the Selberg trace formula for non-unitary representations of $\Gamma$ and prove that the associated Selberg zeta function admits a meromorphic continuation to $\mathbb{C}$.


title: The interface between heavy fermions and normal electrons investigated by spatially-resolved nuclear magnetic resonance

abstract: We have studied the superlattices with alternating block layers (BLs) of heavy-fermion superconductor CeCoIn5 and conventional-metal YbCoIn5 by site-selective nuclear magnetic resonance(NMR) spectroscopy, which uniquely offers spatially-resolved dynamical magnetic information. We find that the presence of antiferromagnetic fluctuations is confined to the Ce-BLs, indicating that magnetic degrees of freedom of f-electrons are quenched inside the Yb-BLs. Contrary to simple expectations that the two-dimensionalization enhances fluctuations, we observe that antiferromagnetic fluctuations are rapidly suppressed with decreasing Ce-BL thickness. Moreover, the suppression is more prominent near the interfaces between the BLs. These results imply significant effects of local inversion-symmetry breaking at the interfaces.


title: On the Quality of the Initial Basin in Overspecified Neural Networks

abstract: Deep learning, in the form of artificial neural networks, has achieved remarkable practical success in recent years, for a variety of difficult machine learning applications. However, a theoretical explanation for this remains a major open problem, since training neural networks involves optimizing a highly non-convex objective function, and is known to be computationally hard in the worst case. In this work, we study the \emph{geometric} structure of the associated non-convex objective function, in the context of ReLU networks and starting from a random initialization of the network parameters. We identify some conditions under which it becomes more favorable to optimization, in the sense of (i) High probability of initializing at a point from which there is a monotonically decreasing path to a global minimum; and (ii) High probability of initializing at a basin (suitably defined) with a small minimal objective value. A common theme in our results is that such properties are more likely to hold for larger ("overspecified") networks, which accords with some recent empirical and theoretical observations.


title: Active Contextual Entropy Search

abstract: Contextual policy search allows adapting robotic movement primitives to different situations. For instance, a locomotion primitive might be adapted to different terrain inclinations or desired walking speeds. Such an adaptation is often achievable by modifying a small number of hyperparameters. However, learning, when performed on real robotic systems, is typically restricted to a small number of trials. Bayesian optimization has recently been proposed as a sample-efficient means for contextual policy search that is well suited under these conditions. In this work, we extend entropy search, a variant of Bayesian optimization, such that it can be used for active contextual policy search where the agent selects those tasks during training in which it expects to learn the most. Empirical results in simulation suggest that this allows learning successful behavior with less trials.


title: Discovery of an eclipsing dwarf nova in the ancient nova shell Te 11

abstract: We report on the discovery of an eclipsing dwarf nova (DN) inside the peculiar, bilobed nebula Te 11. Modelling of high-speed photometry of the eclipse finds the accreting white dwarf to have a mass 1.18 M$_\odot$ and temperature 13 kK. The donor spectral type of M2.5 results in a distance of 330 pc, colocated with Barnard's loop at the edge of the Orion-Eridanus superbubble. The perplexing morphology and observed bow shock of the slowly-expanding nebula may be explained by strong interactions with the dense interstellar medium in this region. We match the DN to the historic nova of 483 CE in Orion and postulate that the nebula is the remnant of this eruption. This connection supports the millennia time scale of the post-nova transition from high to low mass-transfer rates. Te 11 constitutes an important benchmark system for CV and nova studies as the only eclipsing binary out of just three DNe with nova shells.


title: Studies on proximity effect in Mo/Bi1.95Sb0.05Se3 hybrid structure

abstract: Proximity effect in a mechanically exfoliated Bi1.95Sb0.05Se3 topological insulator (TI) single crystal partially covered with disordered superconducting (SC) Mo thin film is reported. Magnetotransport measurement was performed simultaneously across three different regions of the sample viz. SC, TI and SC/TI junction. Resistance measured across SC shows a TC at 4.3 K concomitantly the resistance measurement on TI showed a metallic trend with a steep upturn at TC. Magneto-resistance (MR) measurement on TI exhibit a positive MR with Shubnikov-de Haas (SdH) oscillations, whereas on SC a positive MR superimposed with steep cusp close to TC is observed. Across SC/TI junction both SdH oscillation and the cusp were observed. The frequency of SdH oscillation on SC/TI junction is found to be lesser (~ 125 T) as compared to a reference Bi1.95Sb0.05Se3sample (~ 174 T). Upper critical field HC2 deduced from WHH fit was found to be 17.14 T for a reference Mo film whereas Mo film deposited on TI showed a decreased HC2 of 4.05 T. The coherence length for the former was found to be 4.38 nm and for the latter 9.01 nm. The interaction between the spin-less Cooper pairs in SC with the spin-momentum locked carriers on the surface of TI is believed to cause such changes in transport properties.


title: Solar magnetoconvection and small-scale dynamo: Recent developments in observation and simulation

abstract: A number of observational and theoretical aspects of solar magnetoconvection are considered in this review. We discuss recent developments in our understanding of the small-scale structure of the magnetic field on the solar surface and its interaction with convective flows, which is at the centre of current research. Topics range from plage areas in active regions over the magnetic network shaped by supergranulation to the ubiquituous `turbulent' internetwork fields. On the theoretical side, we focus upon magnetic field generation by small-scale dynamo action.


title: Uncertainty relations in quantum optics. Is the photon intelligent?

abstract: The Robertson -- Schr\"{o}dinger, Heisenberg -- Robertson and Trifonov uncertainty relations for arbitrary two functions $f_{1}$ and $f_{2}$ depending on the quantum phase and the number of photons respectively, are given. Intelligent states and states which minimize locally the product of uncertainties $(\Delta f_{1})^{2}\cdot (\Delta f_{2})^{2}$ or the sum $(\Delta f_{1})^{2}+(\Delta f_{2})^{2}$ are investigated for the cases $f_{1}=\phi,\exp{(i\phi)}, \exp{(-i\phi)}, \cos{\phi}, \sin{\phi}$ and $f_{2}=n$.


title: Notes on transformations in integrable geometry

abstract: We describe the gauge-theoretic approach to transformations in integrable geometry through discussion of two classical examples: surfaces of constant negative Gauss curvature and isothermic surfaces. These are purely expository notes written to accompany some lectures I gave in Fukuoka in May 2015.


title: A Survey on Reproducibility in Parallel Computing

abstract: We summarize the results of a survey on reproducibility in parallel computing, which was conducted during the Euro-Par conference in August 2015. The survey form was handed out to all participants of the conference and the workshops. The questionnaire, which specifically targeted the parallel computing community, contained questions in four different categories: general questions on reproducibility, the current state of reproducibility, the reproducibility of the participants' own papers, and questions about the participants' familiarity with tools, software, or open-source software licenses used for reproducible research.


title: Equilibrium pricing under relative performance concerns

abstract: We investigate the effects of the social interactions of a finite set of agents on an equilibrium pricing mechanism. A derivative written on non-tradable underlyings is introduced to the market and priced in an equilibrium framework by agents who assess risk using convex dynamic risk measures expressed by Backward Stochastic Differential Equations (BSDE). Each agent is not only exposed to financial and non-financial risk factors, but she also faces performance concerns with respect to the other agents. Within our proposed model we prove the existence and uniqueness of an equilibrium whose analysis involves systems of fully coupled multi-dimensional quadratic BSDEs. We extend the theory of the representative agent by showing that a non-standard aggregation of risk measures is possible via weighted-dilated infimal convolution. We analyze the impact of the problem's parameters on the pricing mechanism, in particular how the agents' performance concern rates affect prices and risk perceptions. In extreme situations, we find that the concern rates destroy the equilibrium while the risk measures themselves remain stable.


title: Direct imaging of molecular symmetry by coherent anti-Stokes Raman scattering

abstract: Nonlinear optical methods, such as coherent anti-Stokes Raman scattering (CARS) and stimulated Raman scattering (SRS), are able to perform label free imaging, with chemical bonds specificity. Here, we demonstrate that the use of circularly polarized light allows to retrieve not only the chemical nature but also the symmetry of the probed sample, in a single shot measurement. Our symmetry-resolved scheme offers simple access to the local organization of vibrational bonds and as a result provides enhanced image contrast for anisotropic samples as well as an improved chemical selectivity. We quantify the local organization of vibrational bonds on crystalline and biological samples, thus providing new information not accessible by spontaneous Raman and SRS techniques. This work stands for a novel symmetry-resolved contrast in vibrational microscopy, with potential application in biological diagnostic.


title: Optimization techniques for multivariate least trimmed absolute deviation estimation

abstract: Given a dataset an outlier can be defined as an observation that it is unlikely to follow the statistical properties of the majority of the data. Computation of the location estimate of is fundamental in data analysis, and it is well known in statistics that classical methods, such as taking the sample average, can be greatly affected by the presence of outliers in the data. Using the median instead of the mean can partially resolve this issue but not completely. For the univariate case, a robust version of the median is the Least Trimmed Absolute Deviation (LTAD) robust estimator introduced in~\cite{Tableman1994}, which has desirable asymptotic properties such as robustness, consistently, high breakdown and normality. There are different generalizations of the LTAD for multivariate data, depending on the choice of norm. In~\cite{ChaPitZiou:2015} we present such a generalization using the Euclidean norm and propose a solution technique for the resulting combinatorial optimization problem, based on a necessary condition, that results in a highly convergent local search algorithm. In this subsequent work we use the $L^1$ norm to generalize the LTAD to higher dimensions, and show that the resulting mixed integer programming problem has an integral relaxation, after applying an appropriate data transformation. Moreover, we utilize the structure of the problem to show that the resulting LP's can be solved efficiently using a subgradient optimization approach. The robust statistical properties of the proposed estimator are verified by extensive computational results.


title: Murthy's conjecture on 0-cycles

abstract: We show that the Levine-Weibel Chow group of 0-cycles $\CH^d(A)$ of a reduced affine algebra $A$ of dimension $d \ge 2$ over an algebraically closed field is torsion-free. Among several applications, it implies an affirmative solution to an old conjecture of Murthy in classical $K$-theory..


title: A vanishing theorem of Koll'ar-Ohsawa type

abstract: For proper surjective holomorphic maps from K"ahler manifolds to analytic spaces, we give a decomposition theorem for the cohomology groups of the canonical bundle twisted by Nakano semi-positive vector bundles by means of the higher direct image sheaves, by using the theory of harmonic integrals developed by Takegoshi. As an application, we prove a vanishing theorem of Koll'ar-Ohsawa type by combining the L^2-method for the dbar-equation.


title: Melas-type bounds for the Heisenberg Laplacian on bounded domains

abstract: We study Riesz means of the eigenvalues of the Heisenberg Laplacian with Dirichlet boundary conditions on bounded domains. We obtain an inequality with a sharp leading term and an additional lower order term, improving the result of Hanson and Laptev.


title: Procedural wood textures

abstract: Existing bidirectional reflectance distribution function (BRDF) models are capable of capturing the distinctive highlights produced by the fibrous nature of wood. However, capturing parameter textures for even a single specimen remains a laborious process requiring specialized equipment. In this paper we take a procedural approach to generating parameters for the wood BSDF. We characterize the elements of trees that are important for the appearance of wood, discuss techniques appropriate for representing those features, and present a complete procedural wood shader capable of reproducing the growth patterns responsible for the distinctive appearance of highly prized ``figured'' wood. Our procedural wood shader is random-access, 3D, modular, and is fast enough to generate a preview for design.


title: Loop Current and Antiferromagnetic States in Fermionic Hubbard Model with Staggered Flux at Half Filling

abstract: Anticipating realization of interacting fermions in an optical lattice with a large gauge field, we consider phase transitions and loop currents in a two-dimensional S=1/2 fermionic-Hubbard model with $\pi$/2-staggered flux at half filling. We use a variational Monte Carlo method, which is reliable even for strong correlations. As a trial wave function, a coexistent state of antifferomagnetic and staggered-flux orders is studied. In a strongly correlated regime, the ground state becomes an insulating coexistent state with loop currents. By comparing fermions with bosons, we discuss an important role of Pauli principle.


title: Injectivity theorems with multiplier ideal sheaves and their applications

abstract: The purpose of this survey is to present analytic versions of the injectivity theorem and their applications. The proof of our injectivity theorems is based on a combination of the L^2-method for the dbar-equation and the theory of harmonic integrals. As applications, we obtain Nadel type vanishing theorems and extension theorems for pluri-canonical sections of log pairs. Moreover, we give some results on semi-ampleness related to the abundance conjecture in birational geometry (the minimal model program).


title: Magnified Damping under Rashba Spin Orbit Coupling

abstract: The spin orbit coupling spin torque consists of the field-like [REF: S.G. Tan et al., arXiv:0705.3502, (2007).] and the damping-like terms [REF: H. Kurebayashi et al., Nature Nanotechnology 9, 211 (2014).] that have been widely studied for applications in magnetic memory. We focus, in this article, not on the spin orbit effect producing the above spin torques, but on its magnifying the damping constant of all field like spin torques. As first order precession leads to second order damping, the Rashba constant is naturally co-opted, producing a magnified field-like damping effect. The Landau-Liftshitz-Gilbert equations are written separately for the local magnetization and the itinerant spin, allowing the progression of magnetization to be self-consistently locked to the spin.


title: The lifetime of the bound excited level in Ni$^-$

abstract: The intrinsic lifetime of the upper level in the bound-bound 3d$^9$4s$^2$ $^2$D$_{3/2}$ $\rightarrow$ 3d$^9$4s$^2$ $^2$D$_{5/2}$ radiative transition in Ni$^-$ was measured to be 15.1 $\pm$ 0.4 s. The experiment was performed at cryogenic temperatures in one of the ion-beam storage rings of the DESIREE (Double ElectroStatic Ion Ring Experiment) facility at Stockholm University. The storage lifetime of the Ni$^-$ ion-beam was measured to be close to five minutes at a ring temperature of 13 K.


title: Cosmic ray transport and anisotropies to high energies

abstract: A model is introduced, in which the irregularity spectrum of the Galactic magnetic field beyond the dissipation length scale is first a Kolmogorov spectrum $k^{-5/3}$ at small scales $\lambda \, = \, 2 \pi/k$ with $k$ the wave-number, then a saturation spectrum $k^{-1}$, and finally a shock-dominated spectrum $k^{-2}$ mostly in the halo/wind outside the Cosmic Ray disk. In an isotropic approximation such a model is consistent with the Interstellar Medium (ISM) data. With this model we discuss the Galactic Cosmic Ray (GCR) spectrum, as well as the extragalactic Ultra High Energy Cosmic Rays (UHECRs), their chemical abundances and anisotropies. UHECRs may include a proton component from many radio galaxies integrated over vast distances, visible already below 3 EeV.


title: Relation between two-phase quantum walks and the topological invariant

abstract: We study a position-dependent discrete-time quantum walk (QW) in one dimension, whose time-evolution operator is built up from two coin operators which are distinguished by phase factors from $x\geq0$ and $x\leq-1$. We call the QW the {\it complete two-phase QW} to discern from the two-phase QW with one defect\cite{endosan,maman}. Because of its localization properties, the two-phase QWs can be considered as an ideal mathematical model of topological insulators which are novel quantum states of matter characterized by topological invariants. Employing the complete two-phase QW, we present the stationary measure, and two kinds of limit theorems concerning {\it localization} and the {\it ballistic spreading}, which are the characteristic behaviors in the long-time limit of discrete-time QWs in one dimension. As a consequence, we obtain the mathematical expression of the whole picture of the asymptotic behavior of the walker, including dependences on initial states, in the long-time limit. We also clarify relevant symmetries, which are essential for topological insulators, of the complete two-phase QW, and then derive the topological invariant. Having established both mathematical rigorous results and the topological invariant of the complete two-phase QW, we provide solid arguments to understand localization of QWs in term of topological invariant. Furthermore, by applying a concept of {\it topological protections}, we clarify that localization of the two-phase QW with one defect, studied in the previous work\cite{endosan}, can be related to localization of the complete two-phase QW under symmetry preserving perturbations.

categories: math-ph cond-mat.mes-hall math.MP quant-ph


title: 100ps time resolution with thin silicon pixel detectors and a SiGe HBT amplifier

abstract: A 100um thick silicon detector with 1mm2 pad readout optimized for sub-nanosecond time resolution has been developed and tested. Coupled to a purposely developed amplifier based on SiGe HBT technology, this detector was characterized at the H8 beam line at the CERN SPS. An excellent time resolution of (106+-1)ps for silicon detectors was measured with minimum ionizing particles.


title: A random cell splitting scheme on the sphere

abstract: A random recursive cell splitting scheme of the $2$-dimensional unit sphere is considered, which is the spherical analogue of the STIT tessellation process from Euclidean stochastic geometry. First-order moments are computed for a large array of combinatorial and metric parameters of the induced splitting tessellations by means of martingale methods combined with tools from spherical integral geometry. The findings are compared with those in the Euclidean case, making thereby transparent the influence of the curvature of the underlying space. Moreover, the capacity functional is computed and the point process that arises from the intersection of a splitting tessellation with a fixed great circle is characterized.


title: Near-infrared observations of PSR J1357-6429

abstract: PSR J1357$-$6429 is a young radio pulsar that was detected in X-rays and $\gamma$-rays. We present the high spatial resolution near-infrared imaging of the pulsar field in $J$, $H$ and $K_s$ bands obtained with the VLT/NaCo using the Adaptive Optic system. We found a faint source at the most precise pulsar radio position which we propose as the pulsar near-infrared counterpart candidate. It is confidently detected in the $J$ and $K_s$ bands, with $J$ = 23.51$\pm$0.24 and $K_s$ = 21.82$\pm$0.25. There is a hint of the source in the $H$ band with an upper limit $H$ $>$ 22.8. The dereddened source fluxes are compatible with the extrapolation of the pulsar X-ray spectrum towards the near-infrared. If the candidate is the true counterpart, by this property PSR J1357$-$6429 would be similar to the nearby middle-age pulsar PSR B0656+14. In this case, both pulsars demonstrate an unusually high near-infrared efficiency relative to the X-ray efficiency as compared to other pulsars detected in both ranges.


title: Spray formation: a numerical closeup

abstract: Spray formation and atomization in a gas-liquid mixing layer is an important fundamental problem of multiphase flows. It is highly desirable to visualize the detailed atomization process and to analyze the instabilities and mechanisms involved, and massive numerical simulations are required, in addition to experiment. Rapid development of numerical methods and computer technology in the past decades now allows large-scale three-dimensional direct numerical simulations of atomization to be performed. Nevertheless, the fundamental question, whether all the physical scales involved in the primary breakup process are faithfully resolved, remains unclear. In the present study, we conduct direct numerical simulations of spray formation in a gas-liquid mixing layer with state-of-the-art computational resources (using up to 4 billion cells and 16384 cores), in order to obtain a high-fidelity numerical closeup of the detailed mechanisms of spray formation. We also aim to examine whether present computational resources are sufficient for a fully resolved direct numerical simulation of atomization.


title: On the Unique Determination of Domains by the Condition of the Local Isometry of the Boundaries in the Relative Metrics

abstract: The article contains the results of the author's recent investigations of rigidity problems of domains in Euclidean spaces carried out for developing a new approach to the classical problem of the unique determination of bounded closed convex surfaces [A.V.Pogorelov, Extrinsic Geometry of Convex Surfaces, AMS, Providence (1973)], rather completely presented in [A.P.Kopylov, On the unique determination of domains in Euclidean spaces, J. of Math. Sciences, 153, no.6, 869-898 (2008)]. We give a complete characterization of a plane domain $U$ with smooth boundary (i.e., the Euclidean boundary $\mathop{\rm fr}U$ of $U$ is a one-dimensional manifold of class $C^1$ without boundary) that is uniquely determined in the class of domains in $\mathbb R^2$ with smooth boundaries by the condition of the local isometry of the boundaries in the relative metrics. If $U$ is bounded then the convexity of $U$ is a necessary and sufficient condition for the unique determination of this kind in the class of all bounded plane domains with smooth boundaries. If $U$ is unbounded then its unique determination in the class of all plane domains with smooth boundaries by the condition of the local isometry of the boundaries in the relative metrics is equivalent to its strict convexity. In the last section, we consider the case of space domains. We prove a theorem on the unique determination of a strictly convex domain in $\mathbb R^n$, where $n \ge 2$, in the class of all $n$-dimensional domains by the condition of the local isometry of the Hausdorff boundaries in the relative metrics, which is a generalization of A.D.Aleksandrov's theorem on the unique determination of a strictly convex domain by the condition of the (global) isometry of the boundaries in the relative metrics.


title: Two-dimensional time-reversible ergodic maps with provisions for dissipation

abstract: A new discrete time-reversible map of a unit square onto itself is proposed. The map comprises of piecewise linear two-dimensional operations, and is able to represent the macroscopic features of both equilibrium and nonequilibrium dynamical systems. Our operations are analogous to sinusoidally driven shear in the two dimensions, and a radial compression/expansion of a point lying outside/inside a circle centered around origin. Depending upon the radius, the map transitions from being ergodic and nondissipative (like in equilibrium situations) to a limit cycle through intermediate multifractal situations (like in nonequilibrium situations). All dissipative cases of the proposed map suggest that the Kaplan -- Yorke dimension is smaller than the embedding dimension, a feature typically arising in nonequilibrium steady-states. The proposed map differs from the existing maps like the Baker's map and Arnold's cat map in the sense that (i) it is reversible, and (ii) it generates an intricate multifractal phase-space portrait.


title: Skyrmion-induced bound states on the surface of 3D Topological Insulators

abstract: The interaction between the surface of a 3D topological insulator and a skyrmion / anti-skyrmion structure is studied in order to investigate the possibility of electron confinement due to skyrmion presence. Both hedgehog (N\'eel) and vortex (Bloch) skyrmions are considered. For the hedgehog skyrmion the in-plane components cannot be disregarded and their interaction with the surface state of the TI has to be taken into account. A semi-classical description of the skyrmion chiral angle is obtained using the variational principle. It is shown that both the hedgehog and the vortex skyrmion can induce bound states on the surface of the TI. However, the number and the properties of these states depend strongly on the skyrmion type and on the skyrmion topological number $N_{Sk}$. The probability densities of the bound electrons are also derived where it is shown that they are localized within the skyrmion region.


title: Comparison of stratified-algebraic and topological K-theory

abstract: Stratified-algebraic vector bundles on real algebraic varieties have many desirable features of algebraic vector bundles but are more flexible. We give a characterization of the compact real algebraic varieties having the following property: There exists a positive integer r such that for any topological vector bundle E on X, the direct sum of r copies of E is isomorphic to a stratified-algebraic vector bundle. In particular, each compact real algebraic variety of dimension at most 8 has this property. Our results are expressed in terms of K-theory.


title: Quench dynamics of a confined ultracold Fermi gas: Direct visibility of the Goldstone mode in the single-particle excitations

abstract: We present a numerical study of a confined ultracold Fermi gas showing that the Goldstone mode of the BCS gap is directly visible in the dynamics of the single-particle excitations. To this end, we investigate the low-energy dynamic response of a confined Fermi gas to a rapid change of the scattering length (i.e., an interaction quench). Based on a fully microscopic time-dependent density-matrix approach within the Bogoliubov-de Gennes formalism that includes a 3D harmonic confinement we simulate and identify the emergence of the Goldstone mode in a cigar-shaped $^6$Li gas. We show that the quench leads to a low-frequency in-phase oscillation of the single-particle occupations. Complete inversion is achieved for occupations corresponding to the lowest-lying single-particle states.


title: An Adaptive Data Representation for Robust Point-Set Registration and Merging

abstract: This paper presents a framework for rigid point-set registration and merging using a robust continuous data representation. Our point-set representation is constructed by training a one-class support vector machine with a Gaussian radial basis function kernel and subsequently approximating the output function with a Gaussian mixture model. We leverage the representation's sparse parametrisation and robustness to noise, outliers and occlusions in an efficient registration algorithm that minimises the L2 distance between our support vector--parametrised Gaussian mixtures. In contrast, existing techniques, such as Iterative Closest Point and Gaussian mixture approaches, manifest a narrower region of convergence and are less robust to occlusions and missing data, as demonstrated in the evaluation on a range of 2D and 3D datasets. Finally, we present a novel algorithm, GMMerge, that parsimoniously and equitably merges aligned mixture models, allowing the framework to be used for reconstruction and mapping.


title: Weak measurements measure probability amplitudes (and very little else)

abstract: Conventional quantum mechanics describes a pre- and post-selected system in terms of virtual (Feynman) paths via which the final state can be reached. In the absence of probabilities, a weak measurement (WM) determines the probability amplitudes for the paths involved. The weak values (VW) can be identified with these amplitudes, or their linear combinations. This allows us to explain the "unusual" properties of the VW, and avoid the "paradoxes" often associated with the WM.


title: Volume-based Semantic Labeling with Signed Distance Functions

abstract: Research works on the two topics of Semantic Segmentation and SLAM (Simultaneous Localization and Mapping) have been following separate tracks. Here, we link them quite tightly by delineating a category label fusion technique that allows for embedding semantic information into the dense map created by a volume-based SLAM algorithm such as KinectFusion. Accordingly, our approach is the first to provide a semantically labeled dense reconstruction of the environment from a stream of RGB-D images. We validate our proposal using a publicly available semantically annotated RGB-D dataset and a) employing ground truth labels, b) corrupting such annotations with synthetic noise, c) deploying a state of the art semantic segmentation algorithm based on Convolutional Neural Networks.


title: Cassiopeia A and direct URCA cooling

abstract: We model neutron star cooling, in particular the current rapid cooldown of the neutron star Cas A, with a microscopic nuclear equation of state featuring strong direct Urca processes and using compatible nuclear pairing gaps as well as effective masses. Several scenarios are possible to explain the features of Cas A, but only large and extended proton $^1S_0$ gaps and small neutron $^3PF_2$ gaps are able to accommodate also the major part of the complete current cooling data. We conclude that the possibility of strong direct Urca processes cannot be excluded from the cooling analysis.


title: A Robust Design for MISO Physical-Layer Multicasting over Line-of-Sight Channels

abstract: This paper studies a robust design problem for far-field line-of-sight (LOS) channels where phase errors are present. Compared with the commonly used additive error model, the phase error model is more suitable for capturing the uncertainty in an LOS channel, as the dominant source of uncertainty lies in the phase. We consider a multiple-input single-output (MISO) multicast scenario, in which our goal is to design a beamformer that minimizes the transmit power while satisfying probabilistic signal-to-noise ratio (SNR) constraints. The probabilistic constraints give rise to a new computational challenge, as they involve random trigonometric forms. In this work, we propose to first approximate the random trigonometric form by its second-order Taylor expansion and then tackle the resulting random quadratic form using a Bernstein-type inequality. The advantage of such an approach is that an approximately optimal beamformer can be obtained using the standard semidefinite relaxation technique. In the simulations, we first show that if a non-robust design (i.e., one that does not take phase errors into account) is used, then the whole system may collapse. We then show that our proposed method is less conservative than the existing robust design based on Gaussian approximation and thus requires a lower power budget.


title: Towards Cooperation by Carrier Aggregation in Heterogeneous Networks: A Hierarchical Game Approach

abstract: This paper studies the resource allocation problem for a heterogeneous network (HetNet) in which the spectrum owned by a macro-cell operator (MCO) can be shared by both unlicensed users (UUs) and licensed users (LUs). We formulate a novel hierarchical game theoretic framework to jointly optimize the transmit powers and sub-band allocations of the UUs as well as the pricing strategies of the MCO. In our framework, an overlapping coalition formation (OCF) game has been introduced to model the cooperative behaviors of the UUs. We then integrate this OCF game into a Stackelberg game-based hierarchical framework. We prove that the core of our proposed OCF game is non-empty and introduce an optimal sub-band allocation scheme for UUs. A simple distributed algorithm is proposed for UUs to autonomously form optimal coalition formation structure. The Stackelberg Equilibrium (SE) of the proposed hierarchical game is derived and its uniqueness and optimality have been proved. A distributed joint optimization algorithm is also proposed to approach the SE of the game with limited information exchanges between the MCO and the UU.


title: Rational maps as Schwarzian primitives

abstract: We study necessary and sufficient conditions for a meromorphic quadratic differential with prescribed poles to be the Schwarzian derivative of a rational map. We give geometric interpretations of these conditions. We also study the pole-dependency of these Schwarzian derivatives. We show that, in the cubic case, the analytic dependency fails precisely when the poles are displaced at the vertices of a regular ideal tetrahedron of the hyperbolic 3-ball.


title: Time-domain numerical modeling of brass instruments including nonlinear wave propagation, viscothermal losses, and lips vibration

abstract: A time-domain numerical modeling of brass instruments is proposed. On one hand, outgoing and incoming waves in the resonator are described by the Menguy-Gilbert model, which incorporates three key issues: nonlinear wave propagation, viscothermal losses, and a variable section. The non-linear propagation is simulated by a TVD scheme well-suited to non-smooth waves. The fractional derivatives induced by the viscothermal losses are replaced by a set of local-in-time memory variables. A splitting strategy is followed to couple optimally these dedicated methods. On the other hand, the exciter is described by a one-mass model for the lips. The Newmark method is used to integrate the nonlinear ordinary differential equation so-obtained. At each time step, a coupling is performed between the pressure in the tube and the displacement of the lips. Finally, an extensive set of validation tests is successfully completed. In particular, self-sustained oscillations of the lips are simulated by taking into account the nonlinear wave propagation in the tube. Simulations clearly indicate that the nonlinear wave propagation has a major influence on the timbre of the sound, as expected. Moreover, simulations also highlight an influence on playing frequencies, time envelopes and on the playability of the low frequencies in the case of a variable lips tension.


title: Computing Jacobi's $\theta$ in quasi-linear time

abstract: Jacobi's $\theta$ function has numerous applications in mathematics and computer science; a naive algorithm allows the computation of $\theta(z,\tau)$, for $z, \tau$ verifying certain conditions, with precision $P$ in $O(\mathcal{M}(P) \sqrt{P})$ bit operations, where $\mathcal{M}(P)$ denotes the number of operations needed to multiply two complex $P$-bit numbers. We generalize an algorithm which computes specific values of the $\theta$ function (the \textit{theta-constants}) in asymptotically faster time; this gives us an algorithm to compute $\theta(z, \tau)$ with precision $P$ in $O(\mathcal{M}(P) \log P)$ bit operations, for any $\tau \in \mathcal{F}$ and $z$ reduced using the quasi-periodicity of $\theta$.


title: Requirements for efficient cell-type proportioning: regulatory timescales, stochasticity and lateral inhibition

abstract: The proper functioning of multicellular organisms requires the robust establishment of precise proportions between distinct cell-types. This developmental differentiation process typically involves intracellular regulatory and stochastic mechanisms to generate cell-fate diversity as well as intercellular mechanisms to coordinate cell-fate decisions at tissue level. We thus surmise that key insights about the developmental regulation of cell-type proportion can be captured by the modeling study of clustering dynamics in population of inhibitory-coupled noisy bistable systems. This general class of dynamical system is shown to exhibit a very stable two-cluster state, but also frustrated relaxation, collective oscillations or steady-state hopping which prevents from timely and reliably reaching a robust and well-proportioned clustered state. To circumvent these obstacles or to avoid fine-tuning, we highlight a general strategy based on dual-time positive feedback loops, such as mediated through transcriptional versus epigenetic mechanisms, which improves proportion regulation by coordinating early and flexible lineage priming with late and firm commitment. This result sheds new light on the respective and cooperative roles of multiple regulatory feedback, stochasticity and lateral inhibition in developmental dynamics.


title: Homogenization of metrics in oscillating manifolds

abstract: We consider energies defined as the Dirichlet integral of curves taking values in fast-oscillating manifolds converging to a linear subspace. We model such manifolds as subsets of $R^{m+m'}$ described by a constraint $(x_{m+1},\ldots,x_{m'})= \delta \, \varphi(x_1/\epsilon,\ldots, x_m/\epsilon)$ where $\epsilon$ is the period of the oscillation, $\delta$ its amplitude and $\varphi$ its profile. The interesting case is $\epsilon<\!<\delta<\!<1$, in which the limit of the energies is described by a Finsler metric on $R^{m}$ which is defined by optimizing the contribution of oscillations on each level set $\{\varphi=c\}$. The formulas describing the limit mix homogenization and convexification processes, highlighting a multi-scale behaviour of optimal sequences. We apply these formulas to show that we may obtain all (homogeneous) symmetric Finsler metrics larger than the Euclidean metric as limits in the case of oscillating surfaces in $R^{3}$


title: Variable coefficient Davey-Stewartson system with a Kac-Moody-Virasoro symmetry algebra

abstract: We study the symmetry group properties of the variable coefficient Davey-Stewartson (vcDS) system. The Lie point symmetry algebra with a Kac-Moody-Virasoro (KMV) structure is shown to be isomorphic to that of the usual (constant coefficient) DS system if and only if the coefficients satisfy some conditions. These conditions turn out to coincide with those for the vcDS system to be transformable to the DS system by a point transformation. The equivalence group of the vcDS system is applied to pick out the integrable subsystems from a class of non-integrable ones. Additionally, the full symmetry group of the DS system is derived explicitly without exponentiating its symmetry algebra. Lump solutions (rationally localized in all directions in $\mathbb{R}^2$) introduced by Ozawa for the DS system is shown to hold even for the vcDS system precisely when the system belongs to the integrable class, i.e. equivalent to the DS system. These solutions can be used for establishing exact blow-up solutions in finite time in the space $L^2(\mathbb{R}^2)$ in the focusing case.


title: Indirect (source-free) integration method. I. Wave-forms from geodesic generic orbits of EMRIs

abstract: The Regge-Wheeler-Zerilli (RWZ) wave-equation describes Schwarzschild-Droste black hole perturbations. The source term contains a Dirac distribution and its derivative. We have previously designed a method of integration in time domain. It consists of a finite difference scheme where analytic expressions, dealing with the wave-function discontinuity through the jump conditions, replace the direct integration of the source and the potential. Herein, we successfully apply the same method to the geodesic generic orbits of EMRI (Extreme Mass Ratio Inspiral) sources, at second order. An EMRI is a Compact Star (CS) captured by a Super Massive Black Hole (SMBH). These are considered the best probes for testing gravitation in strong regime. The gravitational wave-forms, the radiated energy and angular momentum at infinity are computed and extensively compared with other methods, for different orbits (circular, elliptic, parabolic, including zoom-whirl).


title: Spectral analysis of stellar orbits in a tidally induced bar

abstract: Using numerical analysis of fundamental frequencies we study the orbital structure of a tidally induced bar formed in a simulated dwarf galaxy orbiting a Milky Way-like host. We find that only about 10% of stars have frequencies compatible with x1 orbits, the classical periodic orbits in a barred potential. The rest of the stars follows box orbits parallel to the bar, with varying degree of elongation.


title: In Situ Detection of Active Edge Sites in Single-Layer MoS$_2$ Catalysts

abstract: MoS2 nanoparticles are proven catalysts for processes such as hydrodesulphurization and hydrogen evolution, but unravelling their atomic-scale structure under catalytic working conditions has remained significantly challenging. Ambient pressure X-ray Photoelectron Spectroscopy (AP-XPS) allows us to follow in-situ the formation of the catalytically relevant MoS2 edge sites in their active state. The XPS fingerprint is described by independent contributions to the Mo3d core level spectrum whose relative intensity is sensitive to the thermodynamic conditions. Density Functional Theory (DFT) is used to model the triangular MoS2 particles on Au(111) and identify the particular sulphidation state of the edge sites. A consistent picture emerges in which the core level shifts for the edge Mo atoms evolve counter-intuitively towards higher binding energies when the active edges are reduced. The shift is explained by a surprising alteration in the metallic character of the edge sites, which is a distinct spectroscopic signature of the MoS2 edges under working conditions.


title: Classical Adjoints for Ergodic Stochastic Control

abstract: In this paper we consider ergodic optimal control of a diffusion process $\{X^u_t\}_{t \geq 0}$, taking values in $\bR^n$, where both drift and volatility are controlled. We establish a novel strong duality between the existence of a unique solution to the infinite horizon adjoint BSDE and strong dissipativity of $X^u$. We then proceed to show that the latter implies irreducibility, the strong Feller property and exponential ergodicity. We conclude by discussing the connection with ergodic BSDEs.


title: Quantum communications and quantum metrology in the spacetime of a rotating planet

abstract: We study how quantum systems that propagate in the spacetime of a rotating planet are affected by the curved background. Spacetime curvature affects wavepackets of photons propagating from Earth to a satellite, and the changes in the wavepacket encode the parameters of the spacetime. This allows us to evaluate quantitatively how quantum communications are affected by the curved spacetime background of the Earth and to achieve precise measurements of Earth's Schwarzschild radius and equatorial angular velocity. We then provide a comparison with the state of the art in parameter estimation obtained through classical means. Satellite to satellite communications and future directions are also discussed.


title: Heterodyne Holography with full control of both signal and reference arms

abstract: Heterodyne holography is a variant of phase shifting holography in which reference and signal arms are controlled by acousto optic modulators. In this review paper, we will briefy describe the method and its properties, and we will illustrate its advantages in experimental applications.


title: Moments of the position of the maximum for GUE characteristic polynomials and for log-correlated Gaussian processes

abstract: We study three instances of log-correlated processes on the interval: the logarithm of the Gaussian unitary ensemble (GUE) characteristic polynomial, the Gaussian log-correlated potential in presence of edge charges, and the Fractional Brownian motion with Hurst index $H \to 0$ (fBM0). In previous collaborations we obtained the probability distribution function (PDF) of the value of the global minimum (equivalently maximum) for the first two processes, using the {\it freezing-duality conjecture} (FDC). Here we study the PDF of the position of the maximum $x_m$ through its moments. Using replica, this requires calculating moments of the density of eigenvalues in the $\beta$-Jacobi ensemble. Using Jack polynomials we obtain an exact and explicit expression for both positive and negative integer moments for arbitrary $\beta >0$ and positive integer $n$ in terms of sums over partitions. For positive moments, this expression agrees with a very recent independent derivation by Mezzadri and Reynolds. We check our results against a contour integral formula derived recently by Borodin and Gorin (presented in the Appendix A from these authors). The duality necessary for the FDC to work is proved, and on our expressions, found to correspond to exchange of partitions with their dual. Performing the limit $n \to 0$ and to negative Dyson index $\beta \to -2$, we obtain the moments of $x_m$ and give explicit expressions for the lowest ones. Numerical checks for the GUE polynomials, performed independently by N. Simm, indicate encouraging agreement. Some results are also obtained for moments in Laguerre, Hermite-Gaussian, as well as circular and related ensembles. The correlations of the position and the value of the field at the minimum are also analyzed.

categories: math-ph cond-mat.dis-nn cond-mat.stat-mech math.MP math.PR


title: On the linearization of identifying the stored energy function of a hyperelastic material from full knowledge of the displacement field

abstract: We consider the nonlinear,inverse problem of computing the stored energy function of a hyperelastic material from the full knowledge of the displacement field. The displacement field is described as solution of the nonlinear, dynamic, elastic wave equation, where the first Piola-Kirchhoff stress tensor is given as the gradient of the stored energy function. We assume that we have a dictionary at hand such that the energy function is given as a conic combination of the dictionary's elements. In that sense the mathematical model of the direct problem is the nonlinear operator that maps the vector of expansion coefficients to the solution of the hyperelastic wave equation. In this article we summarize some continuity results for this operator and deduce its Fr\'{e}chet derivative as well as the adjoint of this derivative. Since the stored energy function encodes mechanical properties of the underlying, hyperelastic material, the considered inverse problem is of highest interest for structural health monitoring systems where defects are detected from boundary measurements of the displacement field. For solving the inverse problem iteratively by the Landweber method or Newton type methods, the knowledge of the Fr\'{e}chet derivative and its adjoint is of utmost importance.


title: Homogenization of high order elliptic operators with periodic coefficients

abstract: In $L_2({\mathbb R}^d;{\mathbb C}^n)$, we study a selfadjoint strongly elliptic operator $A_\varepsilon$ of order $2p$ given by the expression $b({\mathbf D})^* g({\mathbf x}/\varepsilon) b({\mathbf D})$, $\varepsilon >0$. Here $g({\mathbf x})$ is a bounded and positive definite $(m\times m)$-matrix-valued function in ${\mathbb R}^d$; it is assumed that $g({\mathbf x})$ is periodic with respect to some lattice. Next, $b({\mathbf D})=\sum_{|\alpha|=p}^d b_\alpha {\mathbf D}^\alpha$ is a differential operator of order $p$ with constant coefficients; $b_\alpha$ are constant $(m\times n)$-matrices. It is assumed that $m\ge n$ and that the symbol $b({\boldsymbol \xi})$ has maximal rank. For the resolvent $(A_\varepsilon - \zeta I)^{-1}$ with $\zeta \in {\mathbb C} \setminus [0,\infty)$, we obtain approximations in the norm of operators in $L_2({\mathbb R}^d;{\mathbb C}^n)$ and in the norm of operators acting from $L_2({\mathbb R}^d;{\mathbb C}^n)$ to the Sobolev space $H^p({\mathbb R}^d;{\mathbb C}^n)$, with error estimates depending on $\varepsilon$ and $\zeta$.


title: The limiting shape of a full mailbox

abstract: We study a model for email communication due to Gabrielli and Caldarelli, where someone receives and answers emails at the times of independent Poisson processes with intensities $\lambda_{\rm in}>\lambda_{\rm out}$. The receiver assigns i.i.d. priorities to incoming emails according to some atomless law and always answers the email in the mailbox with the highest priority. Since the frequency of incoming emails is higher than the frequency of answering, below a critical priority, the mailbox fills up ad infinitum. We prove a theorem about the limiting shape of the mailbox just above the critical point, linking it to the convex hull of Brownian motion. We conjecture that this limiting shape is universal in a class of similar models, including a model for the evolution of an order book due to Stigler and Luckock.


title: Analysis of recent CLAS data on $\Sigma ^{\ast }(1385)$ photoproduction off a neutron target

abstract: Based on recent experimental data obtained by the CLAS Collaboration, the $\Sigma(1385)$ photoproduction off a neutron target at laboratory photon energies $E_\gamma$ up to 2.5\,GeV is investigated in an effective Lagrangian approach including $s$-, $u$-, and $t$-channel Born-term contributions. The present calculation does not take into account any explicit $s$-channel baryon-resonance contributions, however, in the spirit of duality, we include $t$-channel exchanges of mesonic Regge trajectories. The onset of the Regge regime is controlled by smoothly interpolating between Feynman-type single-meson exchanges and full-fledged Regge-trajectory exchanges. Gauge invariance broken by the Regge treatment is fully restored by introducing contact-type interaction currents that result from the implementation of \textit{local} gauge invariance in terms of generalized Ward-Takahashi identities. The cross sections for the $\gamma n\to K^+\Sigma^*(1385)^-$ reaction are calculated and compared with experimental results from the CLAS and LEPS collaborations. Despite its simplicity, the present theoretical approach provides a good description of the main features of the data. However, the parameters fitted to the data show that the gauge-invariance-restoring contact term plays a large role which may point to large contributions from final-state interactions.


title: High numerical aperture holographic microscopy reconstruction with extended z range

abstract: An holographic microscopy reconstruction method compatible with high numerical aperture microscope objective (MO) up to NA=1.4 is proposed. After off axis and reference field curvature corrections, and after selection of the +1 grating order holographic image, a phase mask that transforms the optical elements of the holographic setup into an afocal device is applied in the camera plane. The reconstruction is then made by the angular spectrum method. The field is first propagated in the image half space from the camera to the afocal image of the MO optimal plane (plane for which MO has been designed) by using a quadratic kernel. The field is then propagated from the MO optimal plane to the object with the exact kernel. Calibration of the reconstruction is made by imaging a calibrated object like an USAF resolution target for different positions along $z$. Once the calibration is done, the reconstruction can be made with an object located in any plane $z$. The reconstruction method has been validated experimentally with an USAF target imaged with a NA=1.4 microscope objective. Near-optimal resolution is obtained over an extended range ($\pm 50~\mu$m) of $z$ locations.


title: First-passage percolation and local modifications of distances in random triangulations

abstract: We study local modifications of the graph distance in large random triangulations. Our main results show that, in large scales, the modified distance behaves like a deterministic constant $\mathbf{c}~\in~(0,\infty)$ times the usual graph distance. This applies in particular to the first-passage percolation distance obtained by assigning independent random weights to the edges of the graph. We also consider the graph distance on the dual map, and the first-passage percolation on the dual map with exponential edge weights, which is closely related to the so-called Eden model. In the latter two cases, we are able to compute explicitly the constant $\mathbf{c}$ by using earlier results about asymptotics for the peeling process. In general however, the constant $\mathbf{c}$ is obtained from a subadditivity argument in the infinite half-plane model that describes the asymptotic shape of the triangulation near the boundary of a large ball. Our results apply in particular to the infinite random triangulation known as the UIPT, and show that balls of the UIPT for the modified distance are asymptotically close to balls for the graph distance.


title: Eisenstein series and automorphic representations

abstract: We provide an introduction to the theory of Eisenstein series and automorphic forms on real simple Lie groups G, emphasising the role of representation theory. It is useful to take a slightly wider view and define all objects over the (rational) adeles A, thereby also paving the way for connections to number theory, representation theory and the Langlands program. Most of the results we present are already scattered throughout the mathematics literature but our exposition collects them together and is driven by examples. Many interesting aspects of these functions are hidden in their Fourier coefficients with respect to unipotent subgroups and a large part of our focus is to explain and derive general theorems on these Fourier expansions. Specifically, we give complete proofs of the Langlands constant term formula for Eisenstein series on adelic groups G(A) as well as the Casselman--Shalika formula for the p-adic spherical Whittaker function associated to unramified automorphic representations of G(Q_p). In addition, we explain how the classical theory of Hecke operators fits into the modern theory of automorphic representations of adelic groups, thereby providing a connection with some key elements in the Langlands program, such as the Langlands dual group LG and automorphic L-functions. Somewhat surprisingly, all these results have natural interpretations as encoding physical effects in string theory. We therefore also introduce some basic concepts of string theory, aimed toward mathematicians, emphasising the role of automorphic forms. In particular, we provide a detailed treatment of supersymmetry constraints on string amplitudes which enforce differential equations of the same type that are satisfied by automorphic forms. Our treatise concludes with a detailed list of interesting open questions and pointers to additional topics which go beyond the scope of this book.


title: X-raying circumstellar material around young stars

abstract: Young stars are surrounded by copious amounts of circumstellar material. Its composition, in particular its gas-to-dust ratio, is an important parameter. However, measuring this ratio is challenging, because gas mass estimates are often model dependent. X-ray absorption is sensitive to the gas along the line-of-sight while optical/near-IR extinction depends on the dust content. Therefore, the gas-to-dust ratio of an absorber is given by the ratio between X-ray and optical/near-IR extinction. We present three systems where we used X-ray and optical/near-IR data to constrain the gas-to-dust ratio of circumstellar material; from a dust-rich debris disk to gaseous protoplanetary disks.


title: Spin nematic susceptibility studied by inelastic neutron scattering in FeSe

abstract: Mechanism of unconventional superconductivity in FeSe has been intensely scrutinized recently because of a variety of exotic properties unprecedented for other iron-based superconductors. A central unanswered question concerns the origin of the interaction that causes the nematic transition at $T_s=90\,K$ without accompanying magnetic order. Elucidating the nature of spin excitations in the normal state is a key to addressing this issue. Here we report, from inelastic neutron-scattering measurements in FeSe single crystals, that high-energy spin excitation spectra of FeSe exhibit characteristic energy dependence with missing intensity at around 70-80$\,$meV, which are very different from other iron-based superconductors. Despite of the strongest electron correlations among the iron-based superconductor family, the spectra are qualitatively at variance with the local moment model and can be essentially described by the itinerant electron picture. Moreover, the dynamical spin susceptibility above $T_s$ is only weakly temperature dependent, which is in stark contrast to the Curie-Weiss behavior of the electronic nematic susceptibility, suggesting that the nematic transition is not likely driven by spin but by orbital degrees of freedom.


title: Patterns of residential segregation

abstract: The spatial distribution of income shapes the structure and organisation of cities and its understanding has broad societal implications. Despite an abundant literature, many issues remain unclear. In particular, all definitions of segregation are implicitely tied to a single indicator, usually rely on an ambiguous definition of income classes, without any consensus on how to define neighbourhoods and to deal with the polycentric organization of large cities. In this paper, we address all these questions within a unique conceptual framework. We avoid the challenge of providing a direct definition of segregation and instead start from a definition of what segregation is not. This naturally leads to the measure of representation that is able to identify locations where categories are over- or underrepresented. From there, we provide a new measure of exposure that discriminates between situations where categories co-locate or repel one another. We then use this feature to provide an unambiguous, parameter-free method to find meaningful breaks in the income distribution, thus defining classes. Applied to the 2014 American Community Survey, we find 3 emerging classes -- low, middle and higher income -- out of the original 16 income categories. The higher-income households are proportionally more present in larger cities, while lower-income households are not, invalidating the idea of an increased social polarisation. Finally, using the density -- and not the distance to a center which is meaningless in polycentric cities -- we find that the richer class is overrepresented in high density zones, especially for larger cities. This suggests that density is a relevant factor for understanding the income structure of cities and might explain some of the differences observed between US and European cities.


title: Archimedes: a feasibility study of an experiment to weigh the electromagnetic vacuum

abstract: Archimedes is a feasibility study of a future experiment to ascertain the interaction of vacuum fluctuations with gravity. The experiment should measure the force that the earth's gravitational field exerts on a Casimir cavity by using a small force detector. Here we analyse the main parameters of the experiment and we present its conceptual scheme, which overcomes in principle the most critical problems.


title: Dynamic curvature regulation accounts for the symmetric and asymmetric beats of Chlamydomonas flagella

abstract: Axonemal dyneins are the molecular motors responsible for the beating of cilia and flagella. These motors generate sliding forces between adjacent microtubule doublets within the axoneme, the motile cytoskeletal structure inside the flagellum. To create regular, oscillatory beating patterns, the activities of the axonemal dyneins must be coordinated both spatially and temporally. It is thought that coordination is mediated by stresses or strains that build up within the moving axoneme, but it is not known which components of stress or strain are involved, nor how they feed back on the dyneins. To answer this question, we used isolated, reactivate axonemes of the unicellular alga Chlamydomonas as a model system. We derived a theory for beat regulation in a two-dimensional model of the axoneme. We then tested the theory by measuring the beat waveforms of wild type axonemes, which have asymmetric beats, and mutant axonemes, in which the beat is nearly symmetric, using high-precision spatial and temporal imaging. We found that regulation by sliding forces fails to account for the measured beat, due to the short lengths of Chlamydomonas cilia. We found that regulation by normal forces (which tend to separate adjacent doublets) cannot satisfactorily account for the symmetric waveforms of the mbo2 mutants. This is due to the model's failure to produce reciprocal inhibition across the axes of the symmetrically beating axonemes. Finally, we show that regulation by curvature accords with the measurements. Unexpectedly, we found that the phase of the curvature feedback indicates that the dyneins are regulated by the dynamic (i.e. time-varying) component of axonemal curvature, but not by the static one. We conclude that a high-pass filtered curvature signal is a good candidate for the signal that feeds back to coordinate motor activity in the axoneme.


title: Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA

abstract: We generalize Venema's result on the canonicity of the additivity of positive terms, from classical modal logic to a vast class of logics the algebraic semantics of which is given by varieties of normal distributive lattice expansions (normal DLEs), aka `distributive lattices with operators'. We provide two contrasting proofs for this result: the first is along the lines of Venema's pseudo-correspondence argument but using the insights and tools of unified correspondence theory, and in particular the algorithm ALBA; the second closer to the style of J\'onsson. Using insights gleaned from the second proof, we define a suitable enhancement of the algorithm ALBA, which we use prove the canonicity of certain syntactically defined classes of DLE-inequalities (called the meta-inductive inequalities), relative to the structures in which the formulas asserting the additivity of some given terms are valid.