title: A study of multi-jet production in association with an electroweak vector boson

abstract: We consider the production of a single $Z$ or $W$ boson in association with jets at the LHC. We compute the corresponding cross sections by matching NLO QCD predictions with the Herwig++ and Pythia8 parton showers, and by merging all of the underlying matrix elements with up to two light partons at the Born level. We compare our results with several 7-TeV measurements by the ATLAS and CMS collaborations, and overall we find a good agreement between theory and data.


title: A backward Monte Carlo approach to exotic option pricing

abstract: We propose a novel algorithm which allows to sample paths from an underlying price process in a local volatility model and to achieve a substantial variance reduction when pricing exotic options. The new algorithm relies on the construction of a discrete multinomial tree. The crucial feature of our approach is that -- in a similar spirit to the Brownian Bridge -- each random path runs backward from a terminal fixed point to the initial spot price. We characterize the tree in two alternative ways: in terms of the optimal grids originating from the Recursive Marginal Quantization algorithm and following an approach inspired by the finite difference approximation of the diffusion's infinitesimal generator. We assess the reliability of the new methodology comparing the performance of both approaches and benchmarking them with competitor Monte Carlo methods.


title: Computing Feasible Vehicle Platooning Opportunities for Transport Assignments

abstract: Vehicle platooning facilitates the partial automation of vehicles and can significantly reduce fuel consumption. Mobile communication infrastructure makes it possible to dynamically coordinate the formation of platoons en route. We consider a centralized system that provides trucks with routes and speed profiles allowing them to dynamically form platoons during their journeys. For this to work, all possible pairs of vehicles that can platoon based on their location, destination, and other constraints have to be identified. The presented approach scales well to large vehicle fleets and realistic road networks by extracting features from the transport assignments of the vehicles and rules out a majority of possible pairs based on these features only. Merely a small number of remaining pairs are considered in depth by a complete and computationally expensive algorithm. This algorithm conclusively decides if platooning is possible for a pair based on the complete data associated with the two vehicles. We derive appropriate features for the problem and demonstrate the effectiveness of the approach in a simulation example.


title: Observation of a superradiant Mott insulator in the Dicke-Hubbard model

abstract: It is well known that the bosonic Hubbard model possesses a Mott insulator phase. Likewise, it is known that the Dicke model exhibits a self-organized superradiant phase. By implementing an optical lattice inside of a high finesse optical cavity both models are merged such that an extended Hubbard model with cavity-mediated infinite range interactions arises. In addition to a normal superfluid phase, two superradiant phases are found, one of them coherent and hence superfluid and one incoherent Mott insulating.


title: Exciton dynamics and non-linearities in 2D-hybrid organic perovskites

abstract: Due to their high potentiality for photovoltaic applications or coherent light sources, a renewed interest in hybrid organic perovskites has emerged for few years. When they are arranged in two dimensions, these materials can be considered as hybrids quantum wells. One consequence of the unique structure of 2D hybrid organic perovskites is a huge exciton binding energy that can be tailored through chemical engineering. We present experimental investigations of the exciton nonlinearities by means of femtosecond pump-probe spectroscopy. The exciton dynamics is fitted with a bi-exponential decay with a free exciton life-time of ~100 ps. Moreover, an ultrafast intraband relaxation (< 150 fs) is also reported. Finally, the transient modification of the excitonic line is analysed through the momenta analysis and described in terms of reduction of the oscillator strength and linewidth broadening. We show that excitonic non-linearities in 2D hybrid organic perovskites share some behaviours of inorganic semiconductors despite their huge exciton binding energy.


title: ARTUS - A Framework for Event-based Data Analysis in High Energy Physics

abstract: ARTUS is an event-based data-processing framework for high energy physics experiments. It is designed for large-scale data analysis in a collaborative environment. The architecture design choices take into account typical challenges and are based on experiences with similar applications. The structure of the framework and its advantages are described. An example use case and performance measurements are presented. The framework is well-tested and successfully used by several analysis groups.


title: Thermodynamics of noncommutative high-dimensional AdS black holes with non-Gaussian smeared matter distributions

abstract: Considering non-Gaussian smeared matter distributions, we investigate thermodynamic behaviors of the noncommutative high-dimensional Schwarzschild-Tangherlini anti-de Sitter black hole, and obtain the condition for the existence of extreme black holes. We indicate that the Gaussian smeared matter distribution, which is a special case of non-Gaussian smeared matter distributions, is not applicable for the 6- and higher-dimensional black holes due to the hoop conjecture. In particular, the phase transition is analyzed in detail. Moreover, we point out that the Maxwell equal area law maintains for the noncommutative black hole whose Hawking temperature is within a specific range, but fails for that whose the Hawking temperature is beyond this range.


title: Maximal abelian and Curci-Ferrari gauges in momentum subtraction at three loops

abstract: The vertex structure of QCD fixed in the maximal abelian gauge (MAG) and Curci-Ferrari gauge is analysed at two loops at the fully symmetric point for the 3-point functions corresponding to the three momentum subtraction (MOM) renormalization schemes. Consequently the three loop renormalization group functions are determined for each of these three schemes in each gauge using properties of the renormalization group equation.


title: Generation of five phase-locked harmonics by implementing a divide-by-three optical frequency divider

abstract: We report the generation of five phase-locked harmonics, f_1: 2403 nm, f_2: 1201 nm, f_3: 801 nm, f_4: 600 nm, and f_5: 480 nm with an exact frequency ratio of 1 : 2 : 3 : 4 : 5 by implementing a divide-by-three optical-frequency divider in the high harmonic generation process. All five harmonics are generated coaxially with high phase coherence in time and space, which are applicable for various practical uses.


title: Designing dedicated data compression for physics experiments within FPGA already used for data acquisition

abstract: Physics experiments produce enormous amount of raw data, counted in petabytes per day. Hence, there is large effort to reduce this amount, mainly by using some filters. The situation can be improved by additionally applying some data compression techniques: removing redundancy and optimally encoding the actual information. Preferably, both filtering and data compression should fit in FPGA already used for data acquisition - reducing requirements of both data storage and networking architecture. We will briefly explain and discuss some basic techniques, for a better focus applied to design a dedicated data compression system basing on a sample data from a prototype of a tracking detector: 10000 events for 48 channels. We will focus on the time data here, which after neglecting the headers and applying data filtering, requires on average 1170 bits/event using the current coding. Encoding relative times (differences) and grouping data by channels, reduces this number to 798 bits/channel, still using fixed length coding: a fixed number of bits used for a given value. Using variable length Huffman coding to encode numbers of digital pulses for a channel and the most significant bits of values (simple binning) reduces further this number to 552 bits/event. Using adaptive binning: denser for frequent values, and an accurate entropy coder we get further down to 455 bits/event - this option can easily fit unused resources of FPGA currently used for data acquisition. Finally, using separate probability distributions for different channels, what could be done by a software compressor, leads to 437bits/event, what is 2.67 times less than the original 1170 bits/event.


title: Enriched Yoneda Lemma

abstract: We present a version of enriched Yoneda lemma for conventional (not infinity-) categories. We require the base monoidal category to have colimits, but do not require it to be closed or symmetric monoidal.


title: A homology valued invariant for trivalent fatgraph spines

abstract: We introduce an invariant for trivalent fatgraph spines of a once bordered surface, which takes values in the first homology of the surface. This invariant is the secondary object coming from two 1-cocycles on the dual fatgraph complex, one introduced by Morita and Penner in 2008, and the other by Penner, Turaev, and the author in 2013. We present an explicit formula for this invariant and investigate its properties. We also show that the mod 2 reduction of the invariant is the difference of naturally defined two spin structures on the surface.


title: Holographic thermalization in a top-down confining model

abstract: It is interesting to ask how a confinement scale affects the thermalization of strongly coupled gauge theories with gravity duals. We study this question for the AdS soliton model, which underlies top-down holographic models for Yang-Mills theory and QCD. Injecting energy via a homogeneous massless scalar source that is briefly turned on, our fully backreacted numerical analysis finds two regimes. Either a black brane forms, possibly after one or more bounces, after which the pressure components relax according to the lowest quasinormal mode. Or the scalar shell keeps scattering, in which case the pressure components oscillate and undergo modulation on time scales independent of the (small) shell amplitude. We show analytically that the scattering shell cannot relax to a homogeneous equilibrium state, and explain the modulation as due to a near-resonance between a normal mode frequency of the metric and the frequency with which the scalar shell oscillates.


title: Information Theory and Statistics: an overview

abstract: We give an overview of the role of information theory in statistics, and particularly in biostatistics. We recall the basic quantities in information theory; entropy, cross-entropy, conditional entropy, mutual information and Kullback-Leibler risk. Then we examine the role of information theory in estimation theory, where the log-klikelihood can be identified as being an estimator of a cross-entropy. Then the basic quantities are extended to estimators, leading to criteria for estimator selection, such as Akaike criterion and its extensions. Finally we investigate the use of these concepts in Bayesian theory; the cross-entropy of the predictive distribution can be used for model selection; a cross-validation estimator of this cross-entropy is found to be equivalent to the pseudo-Bayes factor.


title: Diffuse X-ray Emission within Wolf-Rayet Nebulae

abstract: We discuss our most recent findings on the diffuse X-ray emission from Wolf-Rayet (WR) nebulae. The best-quality X-ray observations of these objects are those performed by XMM-Newton and Chandra towards S308, NGC2359, and NGC6888. Even though these three WR nebulae might have different formation scenarios, they all share similar characteristics: i) the main plasma temperatures of the X-ray-emitting gas is found to be $T$=[1-2]$\times$10$^{6}$ K, ii) the diffuse X-ray emission is confined inside the [O III] shell, and iii) their X-ray luminosities and electron densities in the 0.3-2.0~keV energy range are $L_\mathrm{X}\approx$10$^{33}$-10$^{34}$~erg~s$^{-1}$ and $n_\mathrm{e}\approx$0.1-1~cm$^{-3}$, respectively. These properties and the nebular-like abundances of the hot gas suggest mixing and/or thermal conduction is taking an important role reducing the temperature of the hot bubble.


title: Local semicircle law under moment conditions. Part II: Localization and delocalization

abstract: We consider a random symmetric matrix ${\bf X} = [X_{jk}]_{j,k=1}^n$ with upper triangular entries being independent identically distributed random variables with mean zero and unit variance. We additionally suppose that $\mathbb E |X_{11}|^{4 + \delta} =: \mu_{4+\delta} < C$ for some $\delta > 0$ and some absolute constant $C$. Under these conditions we show that the typical Kolmogorov distance between the empirical spectral distribution function of eigenvalues of $n^{-1/2} {\bf X}$ and Wigner's semicircle law is of order $1/n$ up to some logarithmic correction factor. As a direct consequence of this result we establish that the semicircle law holds on a short scale. Furthermore, we show for this finite moment ensemble rigidity of eigenvalues and delocalization properties of the eigenvectors. Some numerical experiments are included illustrating the influence of the tail behavior of the matrix entries when only a small number of moments exist.


title: Exact diagonalization of quantum lattice models on coprocessors

abstract: We implement the Lanczos algorithm on an Intel Xeon Phi coprocessor and compare its performance to a multi-core Intel Xeon CPU and an NVIDIA graphics processor. The Xeon and the Xeon Phi are parallelized with OpenMP and the graphics processor is programmed with CUDA. The performance is evaluated by measuring the execution time of a single step in the Lanczos algorithm. We study two quantum lattice models with different particle numbers, and conclude that for small systems, the multi-core CPU is the fastest platform, while for large systems, the graphics processor is the clear winner, reaching speedups of up to 7.6 compared to the CPU. The Xeon Phi outperforms the CPU with sufficiently large particle number, reaching a speedup of 2.5.


title: The role of spin-orbit interaction in the ultrafast demagnetization of small iron clusters

abstract: The ultra-fast demagnetization of small iron clusters initiated by an intense optical excitation is studied with time-dependent spin density functional theory (TDSDFT). In particular we investigate the effect of the spin-orbit interaction on the onset of the demagnetization process. It is found that the initial rate of coherent spin loss is proportional to the square of the atomic spin-orbit coupling constant, $\lambda$. A simplified quantum spin model comprising spin-orbit interaction and a local time-dependent magnetic field is found to be the minimal model able to reproduce our {\it ab initio} results. The model predicts the $\lambda^2$ dependence of the onset rate of demagnetization when it is solved either numerically or analytically in the linear response limit. Our findings are supported by additional TDSDFT simulations of clusters made of Co and Ni.


title: Searches of exotic Higgs bosons in general mass spectra of the Georgi-Machacek model at the LHC

abstract: We derive the most general sets of viable mass spectra of the exotic Higgs bosons in the Georgi-Machacek model that are consistent with the theoretical constraints of vacuum stability and perturbative unitarity and the experimental constraints of electroweak precision observables, $Zb \bar b$ coupling and Higgs boson signal strengths. Branching ratios of various cascade decay channels of the doubly-charged Higgs boson in the ${\bf 5}$ representation, the singly-charged Higgs boson in ${\bf 3}$, and the singlet Higgs boson are further computed. As one of the most promising channels for discovering the model, we study the prospects for detecting the doubly-charged Higgs boson that is produced via the vector boson fusion process and decays into final states containing a pair of same-sign leptons at the 14-TeV LHC and a 100-TeV future $pp$ collider. For this purpose, we evaluate acceptance times efficiency for signals of the doubly-charged Higgs boson with general viable mass spectra and compare it with the standard model background estimates.


title: Edge states in dichalcogenide nanoribbons and triangular quantum dots

abstract: The electronic structure of monolayer MoS$_2$ nanoribbons and quantum dots have been investigated by means of an effective $\mathbf{k}\cdot \mathbf{p}$ two-band model. Both systems with borders exhibit states spatially localized on the edges and with energies lying in the band gap. We show that the conduction and valence band curvatures determine the presence/absence of these states whose origin has been related to the marginal topological properties of the MoS$_2$ single-valley Hamiltonian.


title: Dynamic Gossip

abstract: A gossip protocol is a procedure for spreading secrets among a group of agents, using a connection graph. The goal is for all agents to get to know all secrets, in which case we call the execution of the protocol successful. We consider distributed and dynamic gossip protocols. In distributed gossip the agents themselves instead of a global scheduler determine whom to call. In dynamic gossip not only secrets are exchanged but also telephone numbers (agent identities). This results in increased graph connectivity. We define six such distributed dynamic gossip protocols, and we characterize them in terms of the topology of the graphs on which they are successful, wherein we distinguish strong success (the protocol always terminates, possibly assuming fair scheduling) from weak success (the protocol sometimes terminates). For five of these protocols strong (fair) and weak success are characterized by weakly connected graphs. This result is surprising because the protocols are fairly different. In the sixth protocol an agent may only call another agent if it does not know the other agent's secret. Strong success for this protocol is characterized by graphs for which the set of non-terminal nodes is strongly connected. Weak success for this protocol is characterized by weakly connected graphs satisfying further topological constraints that we define in the paper. One direction of this characterization is surprisingly harder to prove than the other results in this contribution.


title: Collapse of self-interacting scalar field in anti-de Sitter space

abstract: The gravitational collapse of a massless scalar field with a self-interaction term $\lambda\phi^4$ in anti-de Sitter space is investigated. We numerically investigate the effect of the self-interaction term on the critical amplitudes, forming time of apparent horizon, stable island and energy transformation. The results show that a positive $\lambda$ suppresses the formation of black hole, while a negative $\lambda$ enhances the process. We define two susceptibilities to characterize the effect of the self-interaction on the black hole formation, and find that near the critical amplitude, there exists a universal scaling relation with the critical exponent $\alpha \approx 0.74$ for the time of black hole formation.


title: Pulse-Width Predictive Control for LTV Systems with Application to Spacecraft Rendezvous

abstract: This work presents a model predictive controller (MPC) that is able to handle linear time-varying (LTV) plants with PWM control. The MPC is based on a planner that employs a PAM or impulsive approximation as a hot-start and then uses explicit linearization around successive PWM solutions for rapidly improving the solution by means of linear programming. As an example, the problem of rendezvous of spacecraft for eccentric target orbits is considered. The problem is modeled by the LTV Tschauner-Hempel equations, whose transition matrix is explicit; this is exploited by the algorithm for rapid convergence. The efficacy of the method is shown in a simulation study.


title: Compositeness of Hadrons and Near-Threshold Dynamics

abstract: We present the recent developments in the studies of the structure of hadron resonances, focusing on the compositeness in terms of the hadronic degrees of freedom. We discuss the model dependence of the compositeness, and show that the structure of the near-threshold bound states and resonances is model-independently determined. The applications to various hadrons are summarized.


title: Properties of the Sample Mean in Graph Spaces and the Majorize-Minimize-Mean Algorithm

abstract: One of the most fundamental concepts in statistics is the concept of sample mean. Properties of the sample mean that are well-defined in Euclidean spaces become unwieldy or even unclear in graph spaces. Open problems related to the sample mean of graphs include: non-existence, non-uniqueness, statistical inconsistency, lack of convergence results of mean algorithms, non-existence of midpoints, and disparity to midpoints. We present conditions to resolve all six problems and propose a Majorize-Minimize-Mean (MMM) Algorithm. Experiments on graph datasets representing images and molecules show that the MMM-Algorithm best approximates a sample mean of graphs compared to six other mean algorithms.


title: Retrieving broadband ultrashort THz wave packets through lossy channels

abstract: Most transmission and detection channels fail to faithfully support broadband wave packets because of physical limitations, like chromatic dispersion and absorption. We explore the case of lossy detection of ultrashort THz pulses using the widespread electro-optic detection scheme. We demonstrate that one can fully recover the original THz pulse shape, duration and amplitude, using a simple experimental procedure and a reconstruction algorithm which encodes the physical properties of the detection system.


title: The (3,1)-ordering for 4-connected planar triangulations

abstract: Canonical orderings of planar graphs have frequently been used in graph drawing and other graph algorithms. In this paper we introduce the notion of an $(r,s)$-canonical order, which unifies many of the existing variants of canonical orderings. We then show that $(3,1)$-canonical ordering for 4-connected triangulations always exist; to our knowledge this variant of canonical ordering was not previously known. We use it to give much simpler proofs of two previously known graph drawing results for 4-connected planar triangulations, namely, rectangular duals and rectangle-of-influence drawings.


title: Observability of s-channel Heavy Charged Higgs at LHC Using Top Tagging Technique

abstract: In this paper, the question of observability of a heavy charged Higgs in the mass range 400 GeV < mH < 1000 GeV, is addressed. The production process is set to pp -> H+ -> tb at 14 TeV LHC. The analysis benefits from top tagging technique which is based on finding a fat jet as a result of the boosted top quark decay in signal events. A detailed hadron level analysis is performed and selection efficiencies are presented with different charged Higgs mass hypotheses. Finally running toy experiments and using pseudo-data, a fit over signal plus background distributions is performed to assess possibility of reconstructing the charged Higgs peak and its invariant mass measurement. It is shown that the charged Higgs mass can well be reconstructed in the mass range 500 GeV to 1 TeV, with a signal significance which depends on tanbeta. Eventually 5sigma discovery and 95% C.L. exclusion contours are also provided.


title: Charge exchange in fluid description of partially ionized plasmas

abstract: The effects of charge exchange on waves propagating in weakly ionized plasmas are discussed. It is shown that for low-frequency processes, ions and neutrals should be treated as a single fluid with some effective charge on all of them. We have derived a new momentum equation which should be used in such an environment. As a result, the low-frequency magnetic waves can propagate even if particles are not magnetized, which is entirely due to the charge exchange and the fact that it is not possible to separate particles into two different populations as charged and neutral species. So there can be no friction force between ions and neutrals in the usual sense. The mean force per particle is proportional to the ionization ratio $n_i/(n_i+ n_n)$. Regarding the application of the theory to the Alfven wave propagation in the lower solar atmosphere, the results predict that the plane of displacement of the fluid must change by 90 degrees when an Alfven wave propagates from the area where particles are un-magnetized (photosphere) to the area where they are magnetized (chromosphere). Because of the most accurate cross sections which we have here, it is possible to very accurately determine altitudes at which such rotation of the Alfven wave takes place.


title: Beating the Harmonic lower bound for online bin packing

abstract: In the online bin packing problem, items of sizes in (0,1] arrive online to be packed into bins of size 1. The goal is to minimize the number of used bins. In this paper, we present an online bin packing algorithm with asymptotic competitive ratio of 1.5813. This is the first improvement in fifteen years and reduces the gap to the lower bound by 15%. Within the well-known SuperHarmonic framework, no competitive ratio below 1.58333 can be achieved. We make two crucial changes to that framework. First, some of our algorithm's decisions depend on exact sizes of items, instead of only their types. In particular, for each item with size in (1/3,1/2], we use its exact size to determine if it can be packed together with an item of size greater than 1/2. Second, we add constraints to the linear programs considered by Seiden, in order to better lower bound the optimal solution. These extra constraints are based on marks that we give to items based on how they are packed by our algorithm. We show that for each input, a single weighting function can be constructed to upper bound the competitive ratio on it. We use this idea to simplify the analysis of SuperHarmonic, and show that the algorithm Harmonic++ is in fact 1.58880-competitive (Seiden proved 1.58889), and that 1.5884 can be achieved within the SuperHarmonic framework. Finally, we give a lower bound of 1.5762 for our new framework.


title: X-simple image eigencones of tropical matrices

abstract: We investigate max-algebraic (tropical) one-sided systems $A\otimes x=b$ where $b$ is an eigenvector and $x$ lies in an interval $X$. A matrix $A$ is said to have $X$-simple image eigencone associated with an eigenvalue $\lambda$, if any eigenvector $x$ associated with $\lambda$ and belonging to the interval $X$ is the unique solution of the system $A\otimes y=\lambda x$ in $X$. We characterize matrices with $X$-simple image eigencone geometrically and combinatorially, and for some special cases, derive criteria that can be efficiently checked in practice.


title: Evolution of temporal coherence in confined polariton condensates

abstract: We study the influence of spatial confinement on the second-order temporal coherence of the emission from a semiconductor microcavity in the strong coupling regime. The confinement, provided by etched micropillars, has a favorable impact on the temporal coherence of solid state quasi-condensates that evolve in our device above threshold. By fitting the experimental data with a microscopic quantum theory based on a quantum jump approach, we scrutinize the influence of pump power and confinement and find that phonon-mediated transitions are enhanced in the case of a confined structure, in which the modes split into a discrete set. By increasing the pump power beyond the condensation threshold, temporal coherence significantly improves in devices with increased spatial confinement, as revealed in the transition from thermal to coherent statistics of the emitted light.


title: On the contact mapping class group of the contactization of the $A_m$- Milnor fiber

abstract: We construct an embedding of the full braid group on $m+1$ strands $B_{m+1}$, $m \geq 1$, into the contact mapping class group of the contactization $Q \times S^1$ of the $A_m$-Milnor fiber $Q$. The construction uses the embedding of $B_{m+1}$ into the symplectic mapping class group of $Q$ due to Khovanov and Seidel, and a natural lifting homomorphism. In order to show that the composed homomorphism is still injective, we use a partially linearized variant of the Chekanov--Eliashberg dga for Legendrians which lie above one another in $Q \times \mathbb{R}$, reducing the proof to Floer homology. As corollaries we obtain a contribution to the contact isotopy problem for $Q \times S^1$, as well as the fact that in dimension $4$, the lifting homomorphism embeds the symplectic mapping class group of $Q$ into the contact mapping class group of $Q \times S^1$.


title: Moire miniband features in the angle-resolved photoemission spectra of graphene/hBN heterostructures

abstract: We identify features in the angle-resolved photoemission spectra (ARPES) arising from the periodic pattern characteristic for graphene heterostructure with hexagonal boron nitride (hBN). For this, we model ARPES spectra and intensity maps for five microscopic models used previously to describe moire superlattice in graphene/hBN systems. We show that detailed analysis of these features can be used to pin down the microscopic mechanism of the interaction between graphene and hBN. We also analyze how the presence of a moire-periodic strain in graphene or scattering of photoemitted electrons off hBN can be distinguished from the miniband formation.


title: Finite-Volume Energy Spectrum, Fractionalized Strings, and Low-Energy Effective Field Theory for the Quantum Dimer Model on the Square Lattice

abstract: We present detailed analytic calculations of finite-volume energy spectra, mean field theory, as well as a systematic low-energy effective field theory for the square lattice quantum dimer model. The analytic considerations explain why a string connecting two external static charges in the confining columnar phase fractionalizes into eight distinct strands with electric flux $\frac{1}{4}$. An emergent approximate spontaneously broken $SO(2)$ symmetry gives rise to a pseudo-Goldstone boson. Remarkably, this soft phonon-like excitation, which is massless at the Rokhsar-Kivelson (RK) point, exists far beyond this point. The Goldstone physics is captured by a systematic low-energy effective field theory. We determine its low-energy parameters by matching the analytic effective field theory with exact diagonalization results and Monte Carlo data. This confirms that the model exists in the columnar (and not in a plaquette or mixed) phase all the way to the RK point.


title: Counter-Ions Near a Charged Wall: Exact Results for Disc and Planar Geometries

abstract: Macromolecules, when immersed in a polar solvent like water, become charged by a fixed surface charge density which is compensated by ``counter-ions'' moving out of the surface. Such classical particle systems exhibit poor screening properties at any temperature and the trivial bulk regime (far away from the charged surface) with no particles, so the validity of standard Coulomb sum rules is questionable. In the present paper, we concentrate on the two-dimensional version of the model with the logarithmic interaction potential. We go from the finite disc to the semi-infinite planar geometry. The system is exactly solvable for two values of the coupling constant $\Gamma$: in the Poisson-Boltzmann mean-field limit $\Gamma\to 0$ and at the free-fermion point $\Gamma=2$. We show that the finite-size expansion of the free energy does not contain universal term as is usual for Coulomb fluids. For the coupling constant being an arbitrary positive even integer, using an anticommuting representation of the partition function and many-body densities we derive a sequence of sum rules. As a result, the contact density of counter-ions at the wall is available for the disc. The amplitude function, which characterizes the asymptotic inverse-power law behavior of the two-body density along the wall, is found to be related to the particle density profile. The dielectric susceptibility tensor, calculated exactly for an arbitrary coupling and the particle number, exhibits the anticipated disc value in the thermodynamic limit, in spite of zero contribution from the bulk region. Some of the results obtained in the Poisson-Boltzmann limit are generalized to an arbitrary Euclidean dimension.


title: Allsky NICER and NICEST extinction maps based on the 2MASS near-infrared survey

abstract: Extinction remains one of the most reliable methods of measuring column density of nearby Galactic interstellar clouds. The current and ongoing near-infrared surveys enable the mapping of extinction over large sky areas. We produce allsky extinction maps using the 2MASS near-infrared survey. We use the NICER and NICEST methods to convert the near-infrared colour excesses to extinction estimates. The results are presented in Healpix format at the resolutions of 3.0, 4.5, and 12.0 arcmin. The main results of this study are the calculated J-band extinction maps. The comparison with earlier large-scale extinction mappings shows good correspondence but also demonstrates the presence of resolution-dependent bias. A large fraction of the bias can be corrected by using the NICEST method. For individual regions, best extinction estimates are obtained by careful analysis of the local stellar population and the use of the highest resolution afforded by the stellar density. However, the uniform allsky maps should still be useful for many global studies and as the first step into the investigation of individual clouds.


title: Magic points in finance: Empirical integration for parametric option pricing

abstract: We propose an offline-online procedure for Fourier transform based option pricing. The method supports the acceleration of such essential tasks of mathematical finance as model calibration, real-time pricing, and, more generally, risk assessment and parameter risk estimation. We adapt the empirical magic point interpolation method of Barrault, Nguyen, Maday and Patera (2004) to parametric Fourier pricing. In the offline phase, a quadrature rule is tailored to the family of integrands of the parametric pricing problem. In the online phase, the quadrature rule then yields fast and accurate approximations of the option prices. Under analyticity assumptions the pricing error decays exponentially. Numerical experiments in one dimension confirm our theoretical findings and show a significant gain in efficiency, even for examples beyond the scope of the theoretical results.


title: Pair correlations of aperiodic inflation rules via renormalisation: Some interesting examples

abstract: This article presents, in an illustrative fashion, a first step towards an extension of the spectral theory of constant length substitutions. Our starting point is the general observation that the symbolic picture (as defined by the substitution rule) and its geometric counterpart with natural prototile sizes (as defined by the induced inflation rule) may differ considerably. On the geometric side, an aperiodic inflation system possesses a set of exact renormalisation relations for its pair correlation coefficients. Here, we derive these relations for some paradigmatic examples and infer various spectral consequences. In particular, we consider the Fibonacci chain, revisit the Thue--Morse and the Rudin--Shapiro sytem, and finally analyse a twisted extension of the silver mean chain with mixed singular spectrum.


title: Motion of an Impurity in a Bose-Einstein Condensate with Weyl Spin-Orbit Coupling: Non-collinear Drag Force and Anisotropic Critical Velocity

abstract: We consider the motion of a point-like impurity through a three-dimensional two-component Bose-Einstein condensate subject to Weyl spin-orbit coupling. Using linear-response theory, we calculate the drag force felt by the impurity and the associated anisotropic critical velocity from the spectrum of elementary excitations. The drag force is shown to be generally not collinear with the velocity of the impurity. This unusual behavior is a consequence of condensation into a finite-momentum state due to the spin-orbit coupling.


title: Phase behaviour of DNA in presence of DNA-binding proteins

abstract: To characterize the thermodynamical equilibrium of DNA chains interacting with a solution of non-specific binding proteins, a Flory-Huggins free energy model was implemented. We explored the dependence on DNA and protein concentrations of the DNA collapse. For physiologically relevant values of the DNA-protein affinity, this collapse gives rise to a biphasic regime with a dense and a dilute phase; the corresponding phase diagram was computed. Using an approach based on Hamiltonian paths, we show that the dense phase has either a molten globule or a crystalline structure, depending on the DNA bending rigidity, which is influenced by the ionic strength. These results are valid at the thermodynamical equilibrium and should therefore be consistent with many biological processes, whose characteristic timescales range typically from 1 ms to 10 s. Our model may thus be applied to biological phenomena that involve DNA-binding proteins, such as DNA condensation with crystalline order, which occurs in some bacteria to protect their chromosome from detrimental factors; or transcription initiation, which occurs in clusters called transcription factories that are reminiscent of the dense phase characterized in this study.


title: Microalgae scatter off solid surfaces by hydrodynamic and contact forces

abstract: Interactions between microorganisms and solid boundaries play an important role in biological processes, like egg fertilisation, biofilm formation and soil colonisation, where microswimmers move within a structured environment. Despite recent efforts to understand their origin, it is not clear whether these interactions can be understood as fundamentally of hydrodynamic origin or hinging on the swimmer's direct contact with the obstacle. Using a combination of experiments and simulations, here we study in detail the interaction of the biflagellate green alga \textit{Chlamydomonas reinhardtii}, widely used as a model puller microorganism, with convex obstacles, a geometry ideally suited to highlight the different roles of steric and hydrodynamic effects. Our results reveal that both kinds of forces are crucial for the correct description of the interaction of this class of flagellated microorganisms with boundaries.


title: Near-infrared extinction with discretised stellar colours

abstract: Several methods exist to convert near-infrared (NIR) stellar observations into extinction maps. We present a new method based on NIR multiband observations. The method uses a discretised version of the distribution of intrinsic stellar colours. A number of variations of the basic method are tested, and the results are compared to NICER calculations. When photometric errors are large, the results are close to those of NICER method but some advantages can be seen when the distribution of intrinsic colours cannot be described well with a single covariance matrix. A priori information about relative column density variations at sub-beam scales can result in a significant increase in accuracy. The results may be further improved by considering the magnitude dependence of the intrinsic colours. Thus, the new methods are useful mostly when photometric errors are small, the distribution of intrinsic colours is well known, or one has prior knowledge of the small-scale structures.


title: Complex almost contact metric structures on complex hypersurfaces in hyperkahler manifolds

abstract: In this paper, we construct complex metric structures on complex hypersurfaces in hyperkahler manifolds. This construction is that in contact geometry.


title: Low-area Floer theory and non-displaceability

abstract: We introduce a new version of Floer theory of a non-monotone Lagrangian submanifold which only uses least area holomorphic disks with boundary on it. We use this theory to prove non-displaceability theorems about continuous families of Lagrangian tori in the complex projective plane and other del Pezzo surfaces.


title: Controlling synchronous patterns in complex networks

abstract: Although the set of permutation symmetries of a complex network can be very large, few of the symmetries give rise to stable synchronous patterns. Here we present a new framework and develop techniques for controlling synchronization patterns in complex network of coupled chaotic oscillators. Specifically, according to the network permutation symmetry, we design a small-size and weighted network, namely the control network, and use it to control the large-size complex network by means of pinning coupling. We argue mathematically that for \emph{any} of the network symmetries, there always exists a critical pinning strength beyond which the unstable synchronous pattern associated to this symmetry can be stabilized. The feasibility of the control method is verified by numerical simulations of both artificial and real-work networks, and is demonstrated by experiment of coupled chaotic circuits. Our studies pave a way to the control of dynamical patterns in complex networks.


title: Telegraph frequency noise in electromechanical resonators

abstract: We demonstrate experimentally the possibility of revealing fluctuations in the eigenfrequency of a resonator when the frequency noise is of the telegraph type. Using a resonantly driven micromechanical resonator, we show that the time-averaged vibration amplitude spectrum exhibits two peaks. They merge with an increasing rate of frequency switching and the spectrum displays an analog of motional narrowing. We also show that the moments of the complex amplitude depend strongly on the frequency noise characteristics. This dependence remains valid even when strong thermal or detector noise is present.


title: Hydrogen isotope exchanges between water and methanol in interstellar ices

abstract: The deuterium fractionation of gas-phase molecules in hot cores is believed to reflect the composition of interstellar ices. The deuteration of methanol is a major puzzle, however, because the isotopologue ratio [CH2DOH]/[CH3OD], which is predicted to be equal to 3 by standard grain chemistry models, is much larger (~20) in low-mass hot corinos and significantly lower (~1) in high-mass hot cores. This dichotomy in methanol deuteration between low-mass and massive protostars is currently not understood. In this study, we report a simplified rate equation model of the deuterium chemistry occurring in the icy mantles of interstellar grains. We apply this model to the chemistry of hot corinos and hot cores, with IRAS 16293-2422 and the Orion~KL Compact Ridge as prototypes, respectively. The chemistry is based on a statistical initial deuteration at low temperature followed by a warm-up phase during which thermal hydrogen/deuterium (H/D) exchanges occur between water and methanol. The exchange kinetics is incorporated using laboratory data. The [CH2DOH]/[CH3OD] ratio is found to scale inversely with the D/H ratio of water, owing to the H/D exchange equilibrium between the hydroxyl (-OH) functional groups of methanol and water. Our model is able to reproduce the observed [CH2DOH]/[CH3OD] ratios provided that the primitive fractionation of water ice [HDO]/[H2O] is ~ 2% in IRAS 16293-2422 and ~0.6% in Orion~KL. We conclude that the molecular D/H ratios measured in hot cores may not be representative of the original mantles because molecules with exchangeable deuterium atoms can equilibrate with water ice during the warm-up phase.


title: Bethe Ansatz and the Spectral Theory of affine Lie algebra--valued connections II. The non simply--laced case

abstract: We assess the ODE/IM correspondence for the quantum $\mathfrak{g}$-KdV model, for a non-simply laced Lie algebra $\mathfrak{g}$. This is done by studying a meromorphic connection with values in the Langlands dual algebra of the affine Lie algebra ${\mathfrak{g}}^{(1)}$, and constructing the relevant $\Psi$-system among subdominant solutions. We then use the $\Psi$-system to prove that the generalized spectral determinants satisfy the Bethe Ansatz equations of the quantum $\mathfrak{g}$-KdV model. We also consider generalized Airy functions for twisted Kac--Moody algebras and we construct new explicit solutions to the Bethe Ansatz equations. The paper is a continuation of our previous work on the ODE/IM correspondence for simply-laced Lie algebras.


title: Universal properties of the FQH state from the topological entanglement entropy and disorder effects

abstract: The topological entanglement entropy (TEE) is a robust measurement of the quantum many-body state with topological order. In fractional quantum Hall (FQH) state, it has a connection to the quantum dimension of the state itself and its quasihole excitations from the conformal field theory (CFT) description. We study the entanglement entropy (EE) in the Moore-Read (MR) and Read-Rezayi (RR) FQH states. The non-Abelian quasi- hole excitation induces an extra correction of the TEE which is related to its quantum dimension. With considering the effects of the disorder, the ground state TEE is stable before the spectral gap closing and the level statistics seems to have significant change with a stronger disorder, which indicates a many-body localization (MBL) transition.


title: Programmable two-photon quantum interference in $10^3$ channels in opaque scattering media

abstract: We investigate two-photon quantum interference in an opaque scattering medium that intrinsically supports $10^6$ transmission channels. By adaptive spatial phase-modulation of the incident wavefronts, the photons are directed at targeted speckle spots or output channels. From $10^3$ experimentally available coupled channels, we select two channels and enhance their transmission, to realize the equivalent of a fully programmable $2\times2$ beam splitter. By sending pairs of single photons from a parametric down-conversion source through the opaque scattering medium, we observe two-photon quantum interference. The programmed beam splitter need not fulfill energy conservation over the two selected output channels and hence could be non-unitary. Consequently, we have the freedom to tune the quantum interference from bunching (Hong-Ou-Mandel-like) to antibunching. Our results establish opaque scattering media as a platform for high-dimensional quantum interference that is notably relevant for boson sampling and physical-key-based authentication.


title: Burrows-Wheeler transform for terabases

abstract: In order to avoid the reference bias introduced by mapping reads to a reference genome, bioinformaticians are investigating reference-free methods for analyzing sequenced genomes. With large projects sequencing thousands of individuals, this raises the need for tools capable of handling terabases of sequence data. A key method is the Burrows-Wheeler transform (BWT), which is widely used for compressing and indexing reads. We propose a practical algorithm for building the BWT of a large read collection by merging the BWTs of subcollections. With our 2.4 Tbp datasets, the algorithm can merge 600 Gbp/day on a single system, using 30 gigabytes of memory overhead on top of the run-length encoded BWTs.


title: Green's Functions and Spectral Theory for the Hill's Equation

abstract: The aim of this paper is to show certain properties of the Green's functions related to the Hill's equation coupled with different two point boundary value conditions. We will obtain the expression of the Green's function of Neumann, Dirichlet, Mixed and anti-periodic problems as a combination of the Green's function related to periodic ones. As a consequence we will prove suitable results in spectral theory and deduce some comparison results for the solutions of the Hill's equation with different boundary value conditions.


title: A Lower Bound for the Distributed Lov\'asz Local Lemma

abstract: We show that any randomised Monte Carlo distributed algorithm for the Lov\'asz local lemma requires $\Omega(\log \log n)$ communication rounds, assuming that it finds a correct assignment with high probability. Our result holds even in the special case of $d = O(1)$, where $d$ is the maximum degree of the dependency graph. By prior work, there are distributed algorithms for the Lov\'asz local lemma with a running time of $O(\log n)$ rounds in bounded-degree graphs, and the best lower bound before our work was $\Omega(\log^* n)$ rounds [Chung et al. 2014].


title: Spectroscopy of $^{19}$Ne for the thermonuclear $^{15}$O($\alpha,\gamma$)$^{19}$Ne and $^{18}$F($p,\alpha$)$^{15}$O reaction rates

abstract: Uncertainties in the thermonuclear rates of the $^{15}$O($\alpha,\gamma$)$^{19}$Ne and $^{18}$F($p,\alpha$)$^{15}$O reactions affect model predictions of light curves from type I X-ray bursts and the amount of the observable radioisotope $^{18}$F produced in classical novae, respectively. To address these uncertainties, we have studied the nuclear structure of $^{19}$Ne over $E_{x} = 4.0 - 5.1$ MeV and $6.1 - 7.3$ MeV using the $^{19}$F($^{3}$He,t)$^{19}$Ne reaction. We find the $J^{\pi}$ values of the 4.14 and 4.20 MeV levels to be consistent with $9/2^{-}$ and $7/2^{-}$ respectively, in contrast to previous assumptions. We confirm the recently observed triplet of states around 6.4 MeV, and find evidence that the state at 6.29 MeV, just below the proton threshold, is either broad or a doublet. Our data also suggest that predicted but yet unobserved levels may exist near the 6.86 MeV state. Higher resolution experiments are urgently needed to further clarify the structure of $^{19}$Ne around the proton threshold before a reliable $^{18}$F($p,\alpha$)$^{15}$O rate for nova models can be determined.


title: The Veneziano ghost, glost and gauge copies in QCD

abstract: In this short note, we come back to the recent proposal put forward by Kharzeev and Levin [PRL 114 (2015) 24, 242001], in which they phenomenologically couple the non-perturbative Veneziano ghost to the perturbative gluon, leading to a modified gluon propagator (the "glost") of the Gribov type, with complex poles. As such, a possible link was made between the QCD topological \theta-vacuum (Veneziano ghost) and color confinement (no physically observable gluons). We discuss some subtleties concerning gauge (BRST) invariance of this proposal, related to the choice of Feynman gauge. We furthermore provide an example in the Landau gauge of a similar phenomenological vertex that also describes the necessary Veneziano ghost but does not affect the Landau gauge gluon propagator.


title: Monolithic Semiconductor Chips as a Source for Broadband Wavelength-Multiplexed Polarization Entangled Photons

abstract: Generating entangled photons from a monolithic chip is a major milestone towards real-life applications of optical quantum information processing including quantum key distribution and quantum computing. Ultrabroadband entangled photons are of particular interest to various applications such as quantum metrology and multi-party entanglement distribution. In this work, we demonstrate the direct generation of broadband wavelength multiplexed polarization entangled photons from a semiconductor chip for the first time. Without the use of any on-chip compensation, interferometry, entangled photons with a signal-idler separation as large as 95 nm in the telecom band were observed. The highest concurrence of 0.98$\pm$0.01 achieved in this work is also the highest, to the best of our knowledge, comparing to all previously demonstrated semiconductor waveguide sources. This work paves the way for fully integrated, ultrabroadband sources of polarization entangled photons.


title: A low-luminosity type-1 QSO sample. V. Overluminous host spheroids and their excitation mechanisms

abstract: We present near-infrared (NIR) $H+K$-band longslit spectra of eleven galaxies which are obtained with SOFI at the NTT (ESO). The galaxies are chosen from the low-luminosity type-1 quasi-stellar object (LLQSO) sample which comprises the 99 closest ($z\leq 0.06$) QSOs from the Hamburg/ESO survey for bright UV-excess QSOs. These objects are ideal targets to study the gap between local Seyfert galaxies and high-redshift quasars, since they show much stronger AGN activity compared to local objects but are still close enough for a detailed structural analysis. We fit hydrogen recombination, molecular hydrogen, and [FeII] lines after carefully subtracting the continuum emission. From the broad Pa$\alpha$ components, we estimate black hole masses and enlarge the sample of LLQSOs that show a deviation from the $M_\mathrm{BH}-L_\mathrm{bulge}$ relations of inactive galaxies from 12 to 16 objects. All objects show emission from hot dust ($T\sim 1200\,\mathrm{K}$) as well as stellar contribution. However, the particular fractions vary a lot between the objects. More than half of the objects show H$_2$ emission lines that are indicating a large reservoir of molecular gas which is needed to feed the AGN and star formation. In the NIR diagnostic diagram all objects lie in the location of AGN dominated objects. However, most of the objects show indications of star formation activity, suggesting that their offset location with respect to $M_\mathrm{BH}-L_\mathrm{bulge}$ relations of inactive galaxies may be a consequence of overluminous bulges.


title: Sensor-based Proximity Detection in the Face of Active Adversaries

abstract: Contextual proximity detection (or, co-presence detection) is a promising approach to defend against relay attacks in many mobile authentication systems. We present a systematic assessment of co-presence detection in the presence of a context-manipulating attacker. First, we show that it is feasible to manipulate, consistently control and stabilize the readings of different acoustic and physical environment sensors (and even multiple sensors simultaneously) using low-cost, off-the-shelf equipment. Second, based on these capabilities, we show that an attacker who can manipulate the context gains a significant advantage in defeating context-based co-presence detection. For systems that use multiple sensors, we investigate two sensor fusion approaches based on machine learning techniques: features-fusion and decisions-fusion, and show that both are vulnerable to contextual attacks but the latter approach can be more resistant in some cases.


title: Reinventing the Triangles: Rule of Thumb for Assessing Detectability

abstract: Statistical significance of network clustering has been an unresolved problem since it was observed that community detection algorithms produce false positives even in random graphs. After a phase transition between undetectable and detectable cluster structures was discovered, the connection between spectra of adjacency matrices and detectability limits were shown, and both were calculated for a wide range of networks with arbitrary degree distributions and community structure. In practice the full eigenspectrum is not known, and whether a given network has any communities within detectability regime cannot be easily established. Based on the global clustering coefficient we construct a criterion telling whether in an undirected, unweighted network there is some/no detectable community structure, or if the network is in a transient regime. The method is simple and faster than methods involving bootstrapping.


title: Neutrino processes $\nu \bar\nu \to e^- e^+$ and $\nu \to \nu e^- e^+$ in a strong magnetic field

abstract: The processes of neutrino production of electron-positron pairs, $\nu \bar\nu \to e^- e^+$ and $\nu \to \nu e^- e^+$, in a magnetic field of arbitrary strength, where electrons and positrons can be created in the states corresponding to excited Landau levels, are analysed. The results can be applied for calculating the efficiency of the electron-positron plasma production by neutrinos in the conditions of the Kerr black hole accretion disc considered by experts as the most possible source of a short cosmological gamma burst.


title: Inhomogeneous minima of mixed signature lattices

abstract: We establish an explicit upper bound for the Euclidean minimum of a number field which depends, in a precise manner, only on its discriminant and the number of real and complex embeddings. Such bounds were shown to exist by Davenport and Swinnerton-Dyer. In the case of totally real fields, an optimal bound was conjectured by Minkowski and it is proved for fields of small degree. In this note we develop methods of McMullen in the case of mixed signature in order to get explicit bounds for the Euclidean minimum.


title: Data Language Specification via Terminal Attribution

abstract: Unstructured data have to be parsed in order to become usable. The complexity of grammar notations and the difficulty of grammar debugging limit the use of parsers for data preprocessing. We introduce a notation in which grammars are defined by simply dividing terminals into predefined classes and then splitting elements of some classes into multiple layered sub-groups. These LL(1) grammars are designed for data languages. They simplify the task of developing data parsers.


title: Complex Quantum Networks: From Universal Breakdown to Optimal Transport

abstract: We study the transport efficiency of excitations on complex quantum networks with loops. For this we consider sequentially growing networks with different topologies of the sequential subgraphs. This can lead either to a universal complete breakdown of transport for complete-graph-like sequential subgraphs or to optimal transport for ring-like sequential subgraphs. The transition to optimal transport can be triggered by systematically reducing the number of loops of complete-graph-like sequential subgraphs in a small-world procedure. These effects are explained on the basis of the spectral properties of the network's Hamiltonian. Our theoretical considerations are supported by numerical Monte-Carlo simulations for complex quantum networks with a scale-free size distribution of sequential subgraphs and a small-world-type transition to optimal transport.

categories: physics.soc-ph cond-mat.dis-nn cond-mat.stat-mech quant-ph


title: Nonadiabatic holonomic single-qubit gates in off-resonant $\Lambda$ systems

abstract: We generalize nonadiabatic holonomic quantum computation in a resonant $\Lambda$ configuration proposed in [New J. Phys. 14 (2012) 103035] to the case of off-resonant driving lasers. We show that any single-qubit holonomic gate can be realized by separately varying the detuning, amplitude, and phase of the lasers.


title: Globally symmetric topological phase: from anyonic symmetry to twist defect

abstract: Topological phases in two dimensions support anyonic quasiparticle excitations that obey neither bosonic nor fermionic statistics. These anyon structures often carry global symmetries that relate distinct anyons with similar fusion and statistical properties. Anyonic symmetries associate topological defects or fluxes in topological phases. As the symmetries are global and static, these extrinsic defects are semiclassical objects that behave disparately from conventional quantum anyons. Remarkably, even when the topological states supporting them are Abelian, they are generically non-Abelian and powerful enough for topological quantum computation. In this article, I review the most recent theoretical developments on symmetries and defects in topological phases.


title: Di-boson Production beyond NLO QCD and Anomalous Couplings

abstract: In these proceedings, we review results for several di-boson production processes beyond NLO QCD at high transverse momenta using the VBFNLO Monte-Carlo program together with the LOOPSIM method. Additionally, we show for the WZ production process how higher order QCD corrections can resemble anomalous coupling effects.


title: DEMIRCI: An RFQ Design Software

abstract: The development and production of radio frequency quadrupoles, which are used for accelerating low-energy ions to high energies, continues since 1970s. The development of RFQ design software packages, which can provide ease of use with a graphical interface, can visualize the behavior of the ion beam inside the RFQ, and can run on both Unix and Windows platforms, has become inevitable due to increasing interest around the world. In this context, a new RFQ design software package, DEMIRCI, has been under development. To meet the user expectations, a number of new features have been recently added to DEMIRCI. Apart from being usable via both graphical interface and command line, DEMIRCI has been enriched with beam dynamics calculations. This new module gives users the possibility to define and track an input beam and to monitor its behavior along the RFQ. Additionally, the Windows OS has been added to the list of supported platforms. Finally, the addition of more realistic 8 term potential results has been ongoing. This note will summarize the latest developments and results from DEMIRCI RFQ design software.


title: SWISH: SWI-Prolog for Sharing

abstract: Recently, we see a new type of interfaces for programmers based on web technology. For example, JSFiddle, IPython Notebook and R-studio. Web technology enables cloud-based solutions, embedding in tutorial web pages, atractive rendering of results, web-scale cooperative development, etc. This article describes SWISH, a web front-end for Prolog. A public website exposes SWI-Prolog using SWISH, which is used to run small Prolog programs for demonstration, experimentation and education. We connected SWISH to the ClioPatria semantic web toolkit, where it allows for collaborative development of programs and queries related to a dataset as well as performing maintenance tasks on the running server and we embedded SWISH in the Learn Prolog Now! online Prolog book.


title: Lowering the learning curve for declarative programming: a Python API for the IDP system

abstract: Programmers may be hesitant to use declarative systems, because of the associated learning curve. In this paper, we present an API that integrates the IDP Knowledge Base system into the Python programming language. IDP is a state-of-the-art logical system, which uses SAT, SMT, Logic Programming and Answer Set Programming technology. Python is currently one of the most widely used (teaching) languages for programming. The first goal of our API is to allow a Python programmer to use the declarative power of IDP, without needing to learn any new syntax or semantics. The second goal is allow IDP to be added to/removed from an existing code base with minimal changes.


title: A hybrid method for anisotropic elliptic problems based on the coupling of an Asymptotic-Preserving method with the Asymptotic-Limit model

abstract: This paper presents a hybrid numerical method to solve efficiently a class of highly anisotropic elliptic problems. The anisotropy is aligned with one coordinate-axis and its strength is described by a parameter $\eps \in (0,1]$, which can largely vary in the study domain. Our hybrid model is based on asymptotic techniques and couples (spatially) an Asymptotic-Preserving model with its asymptotic Limit model, the latter being used in regions where the anisotropy parameter $\eps$ is small. Adequate coupling conditions link the two models. Aim of this hybrid procedure is to reduce the computational time for problems where the region of small $\eps$-values extends over a significant part of the domain, and this due to the reduced complexity of the limit model.


title: Relation Between Pore Size and the Compressibility of a Confined Fluid

abstract: When a fluid is confined to a nanopore, its thermodynamic properties differ from the properties of a bulk fluid, so measuring such properties of the confined fluid can provide information about the pore sizes. Here we report a simple relation between the pore size and isothermal compressibility of argon confined in these pores. Compressibility is calculated from the fluctuations of the number of particles in the grand canonical ensemble using two different simulation techniques: conventional grand-canonical Monte Carlo and grand-canonical ensemble transition-matrix Monte Carlo. Our results provide a theoretical framework for extracting the information on the pore sizes of fluid-saturated samples by measuring the compressibility from ultrasonic experiments.


title: Non-adiabatic Holonomic Gates realized by a single-shot implementation

abstract: Non-adiabatic holonomic quantum computation has received increasing attention due to its robustness against control errors. However, all the previous schemes have to use at least two sequentially implemented gates to realize a general one-qubit gate. In this paper, we put forward a novelty scheme by which one can directly realize an arbitrary holonomic one-qubit gate with a single-shot implementation, avoiding the extra work of combining two gates into one. Based on a three-level model driven by laser pulses, we show that any single-qubit holonomic gate can be realized by varying the detuning, amplitude, and phase of lasers. Our scheme is compatible with previously proposed non-adiabatic holonomic two-qubit gates, combining with which the arbitrary holonomic one-qubit gates can play universal non-adiabatic holonomic quantum computation. We also investigate the effects of some unavoidable realistic errors on our scheme.


title: A web-based IDE for IDP

abstract: IDP is a knowledge base system based on first order logic. It is finding its way to a larger public but is still facing practical challenges. Adoption of new languages requires a newcomer-friendly way for users to interact with it. Both an online presence to try to convince potential users to download the system and offline availability to develop larger applications are essential. We developed an IDE which can serve both purposes through the use of web technology. It enables us to provide the user with a modern IDE with relatively little effort.


title: Nonequilibrium dissipation in living oocytes

abstract: Living organisms are inherently out-of-equilibrium systems. We employ new developments in stochastic energetics and rely on a minimal microscopic model to predict the amount of mechanical energy dissipated by such dynamics. Our model includes complex rheological effects and nonequilibrium stochastic forces. By performing active microrheology and tracking micron-sized vesicles in the cytoplasm of living oocytes, we provide unprecedented measurements of the spectrum of dissipated energy. We show that our model is fully consistent with the experimental data, and we use it to offer predictions for the injection and dissipation energy scales involved in active fluctuations.

categories: q-bio.SC cond-mat.soft cond-mat.stat-mech physics.bio-ph


title: Wigner Distributions and Orbital Angular Momentum of Quarks and Gluons

abstract: We present a recent calculation of the Wigner distributions of quarks and gluons in a perturbative model. We also present the results for the orbital angular momentum and the spin-orbit correlations.


title: Differential Dynamic Microscopy to characterize Brownian motion and bacteria motility

abstract: We have developed a lab work module where we teach undergraduate students how to quantify the dynamics of a suspension of microscopic particles, measuring and analyzing the motion of those particles at the individual level or as a group. Differential Dynamic Microscopy (DDM) is a relatively recent technique that precisely does that and constitutes an alternative method to more classical techniques such as dynamics light scattering (DLS) or video particle tracking (VPT). DDM consists in imaging a particle dispersion with a standard light microscope and a camera. The image analysis requires the students to code and relies on digital Fourier transform to obtain the intermediate scattering function, an autocorrelation function that characterizes the dynamics of the dispersion. We first illustrate DDM on the textbook case of colloids where we measure the diffusion coefficient. Then we show that DDM is a pertinent tool to characterize biologic systems such as motile bacteria i.e.bacteria that can self propel, where we not only determine the diffusion coefficient but also the velocity and the fraction of motile bacteria. Finally, so that our paper can be used as a tutorial to the DDM technique, we have joined to this article movies of the colloidal and bacterial suspensions and the DDM algorithm in both Matlab and Python to analyze the movies.


title: Bound Your Models! How to Make OWL an ASP Modeling Language

abstract: To exploit the Web Ontology Language OWL as an answer set programming (ASP) language, we introduce the notion of bounded model semantics, as an intuitive and computationally advantageous alternative to its classical semantics. We show that a translation into ASP allows for solving a wide range of bounded-model reasoning tasks, including satisfiability and axiom entailment but also novel ones such as model extraction and enumeration. Ultimately, our work facilitates harnessing advanced semantic web modeling environments for the logic programming community through an "off-label use" of OWL.


title: Do Prices Coordinate Markets?

abstract: Walrasian equilibrium prices can be said to coordinate markets: They support a welfare optimal allocation in which each buyer is buying bundle of goods that is individually most preferred. However, this clean story has two caveats. First, the prices alone are not sufficient to coordinate the market, and buyers may need to select among their most preferred bundles in a coordinated way to find a feasible allocation. Second, we don't in practice expect to encounter exact equilibrium prices tailored to the market, but instead only approximate prices, somehow encoding "distributional" information about the market. How well do prices work to coordinate markets when tie-breaking is not coordinated, and they encode only distributional information? We answer this question. First, we provide a genericity condition such that for buyers with Matroid Based Valuations, overdemand with respect to equilibrium prices is at most 1, independent of the supply of goods, even when tie-breaking is done in an uncoordinated fashion. Second, we provide learning-theoretic results that show that such prices are robust to changing the buyers in the market, so long as all buyers are sampled from the same (unknown) distribution.


title: Comparison of surrogate-based uncertainty quantification methods for computationally expensive simulators

abstract: Polynomial chaos and Gaussian process emulation are methods for surrogate-based uncertainty quantification, and have been developed independently in their respective communities over the last 25 years. Despite tackling similar problems in the field, to our knowledge there has yet to be a critical comparison of the two approaches in the literature. We begin by providing a detailed description of polynomial chaos and Gaussian process approaches for building a surrogate model of a black-box function. The accuracy of each surrogate method is then tested and compared for two simulators used in industry: a land-surface model (adJULES) and a launch vehicle controller (VEGACONTROL). We analyse surrogates built on experimental designs of various size and type to investigate their performance in a range of modelling scenarios. Specifically, polynomial chaos and Gaussian process surrogates are built on Sobol sequence and tensor grid designs. Their accuracy is measured by their ability to estimate the mean, standard deviation, exceedance probabilities and probability density function of the simulator output, as well as a root mean square error metric, based on an independent validation design. We find that one method does not unanimously outperform the other, but advantages can be gained in some cases, such that the preferred method depends on the modelling goals of the practitioner. Our conclusions are likely to depend somewhat on the modelling choices for the surrogates as well as the design strategy. We hope that this work will spark future comparisons of the two methods in their more advanced formulations and for different sampling strategies.


title: Matsumoto Metrics of Reversible Curvature

abstract: In this paper, we study the reversibility of Riemann curvature and Ricci curvature for the Matsumoto metric and prove three global results. First, we prove that a Matsumoto metric is R-reversible if and only if it is R-quadratic. Then we show that a Matsumoto metric is Ricci-reversible if and only if it is Ricci-quadratic. Finally, we prove that every weakly Einstein Matsumoto metric is Ricci-reversible.


title: Visualising interactive inferences with IDPD3

abstract: A large part of the use of knowledge base systems is the interpretation of the output by the end-users and the interaction with these users. Even during the development process visualisations can be a great help to the developer. We created IDPD3 as a library to visualise models of logic theories. IDPD3 is a new version of $ID^{P}_{Draw}$ and adds support for visualised interactive simulations.


title: On the construction of irreducible polynomials over finite fields via prime degree endomorphisms of elliptic curves

abstract: In this paper we present an iterative construction of irreducible polynomials over finite fields based upon repeated applications of transforms induced by endomorphisms of odd prime degree of ordinary elliptic curves.


title: Sub-millikelvin dipolar molecules in a radio-frequency magneto-optical trap

abstract: We demonstrate a scheme for magneto-optically trapping strontium monofluoride (SrF) molecules at temperatures one order of magnitude lower and phase space densities three orders of magnitude higher than obtained previously with laser-cooled molecules. In our trap, optical dark states are destabilized by rapidly and synchronously reversing the trapping laser polarizations and the applied magnetic field gradient. The number of molecules and trap lifetime are also significantly improved from previous work by loading the trap with high laser power and then reducing the power for long-term trapping. With this procedure, temperatures as low as 400 $\mu$K are achieved.


title: A project-based course about outreach in a physics curriculum

abstract: We describe an undergraduate course where physics students are asked to conceive an outreach project of their own. The course alternates between the project conception and teachings about pedagogy and outreach, and ends in a public show. We describe its practical implementation and benefits. Through a student survey and an analysis of their projects, we discuss the merits and flaws of this "learning-by-doing" teaching approach for physics.


title: The X-ray dust scattered rings of the black hole low mass binary V404 Cyg

abstract: We report on the first detection of X-ray dust scattered rings from the Galactic low mass X-ray binary V404 Cyg. The observation of the system with Swift/XRT on June 30 2015 revealed the presence of five concentric ring-like structures centred at the position of V404 Cyg. Follow-up Swift/XRT observations allowed a time-dependent study of the X-ray rings. Assuming that these are the result of small-angle, single X-ray scattering by dust grains along the line of sight, we find that their angular size scales as $\theta \propto\sqrt{t}$ in agreement with theoretical predictions. The dust grains are concentrated in five dust layers located at about 2.12, 2.05, 1.63, 1.50 and 1.18 kpc from the observer. These coincide roughly with locations of enhanced extinction as determined by infrared photometry. Assuming that the grain size distribution is described by a generalized Mathis-Rumpl-Nordsieck model, we find that the power-law index of the most distant cloud is $q\sim 4.4$, while $q \sim 3.5-3.7$ in all other clouds. We constrain at a $3\sigma$ level the maximum grain size of the intermediate dust layers in the range $0.16-0.20\,\mu$m and set a lower limit of $\sim 0.2\,\mu$m in the other clouds. Hints of an exponential cutoff at the angular intensity profile of the outermost X-ray ring suggest that the smallest grains have sizes $0.01 \mu{\rm m}\le \alpha_{\min} \lesssim 0.03\,\mu$m. Based on the relative ratios of dust column densities we find the highest dust concentration at $\sim 1.6$ kpc. Our results indicate a gradient in the dust properties within 1 kpc from V404 Cyg.


title: Chiral transport of neutrinos in supernovae: Neutrino-induced fluid helicity and helical plasma instability

abstract: Chirality of neutrinos modifies the conventional kinetic theory and hydrodynamics, leading to unusual chiral transport related to quantum anomalies in field theory. We argue that these corrections have new phenomenological consequences for hot and dense neutrino gases, especially in core-collapse supernovae. We find that the neutrino density can be converted to the fluid helicity through the chiral vortical effect. This fluid helicity effectively acts as a chiral chemical potential for electrons via the momentum exchange with neutrinos and induces a "helical plasma instability" that generates a strong helical magnetic field. This provides a new mechanism for converting the gravitational energy released by the core collapse to the electromagnetic energy and potentially explains the origin of magnetars. The other possible applications of the neutrino chiral transport theory are also discussed.


title: Detailed Abundances of Stars with Small Planets Discovered by Kepler I: The First Sample

abstract: We present newly derived stellar parameters and the detailed abundances of 19 elements of seven stars with small planets discovered by NASA's Kepler Mission. Each star save one has at least one planet with a radius <= 1.6 R_Earth, suggesting a primarily rocky composition. The stellar parameters and abundances are derived from high signal-to-noise ratio, high-resolution echelle spectroscopy obtained with the 10-m Keck I telescope and HIRES spectrometer using standard spectroscopic techniques. The metallicities of the seven stars range from -0.32 dex to +0.13 dex, with an average metallicity that is subsolar, supporting previous suggestions that, unlike Jupiter-type giant planets, small planets do not form preferentially around metal-rich stars. The abundances of elements other than iron are in line with a population of Galactic disk stars, and despite our modest sample size, we find hints that the compositions of stars with small planets are similar to stars without known planets and with Neptune-size planets, but not to those of stars with giant planets. This suggests that the formation of small planets does not require exceptional host-star compositions and that small planets may be ubiquitous in the Galaxy. We compare our derived abundances (which have typical uncertainties of <= 0.04 dex) to the condensation temperature of the elements; a correlation between the two has been suggested as a possible signature of rocky planet formation. None of the stars demonstrate the putative rocky planet signature, despite at least three of the stars having rocky planets estimated to contain enough refractory material to produce the signature, if real. More detailed abundance analyses of stars known to host small planets are needed to verify our results and place ever more stringent constraints on planet formation models.


title: Asymmetries and observables for $\Lambda_b\rightarrow \Lambda \ell^+\ell^-$

abstract: The semi-leptonic baryonic $b\to s$ decay, $\Lambda_b\rightarrow \Lambda \ell^+\ell^-$, has been studied and new angular observables and asymmetries have been proposed which can test the presence of new physics beyond the standard model.


title: Characteristics of Rota-Baxter Algebras

abstract: The characteristic is a simple yet important invariant of an algebra. In this paper, we study the characteristic of a Rota-Baxter algebra, called the Rota-Baxter characteristic. We introduce an invariant, called the ascent set, of a Rota-Baxter characteristic. By studying its properties, we classify Rota-Baxter characteristics in the homogenous case and relate Rota-Baxter characteristics in general to the homogeneous case through initial ideals. We show that the Rota-Baxter quotients of Rota-Baxter characteristics have the same underlying sets as those in the homogeneous case. We also give a more detailed study of Rota-Baxter characteristics with special base rings. In particular, we determine the prime characteristics of Rota-Baxter rings.


title: Broadband Meter-Wavelength Observations of Ionospheric Scintillation

abstract: Intensity scintillations of cosmic radio sources are used to study astrophysical plasmas like the ionosphere, the solar wind, and the interstellar medium. Normally these observations are relatively narrow band. With Low Frequency Array (LOFAR) technology at the Kilpisj\"arvi Atmospheric Imaging Receiver Array (KAIRA) station in northern Finland we have observed scintillations over a 3 octave bandwidth. ``Parabolic arcs'', which were discovered in interstellar scintillations of pulsars, can provide precise estimates of the distance and velocity of the scattering plasma. Here we report the first observations of such arcs in the ionosphere and the first broad-band observations of arcs anywhere, raising hopes that study of the phenomenon may similarly improve the analysis of ionospheric scintillations. These observations were made of the strong natural radio source Cygnus-A and covered the entire 30-250\,MHz band of KAIRA. Well-defined parabolic arcs were seen early in the observations, before transit, and disappeared after transit although scintillations continued to be obvious during the entire observation. We show that this can be attributed to the structure of Cygnus-A. Initial results from modeling these scintillation arcs are consistent with simultaneous ionospheric soundings taken with other instruments, and indicate that scattering is most likely to be associated more with the topside ionosphere than the F-region peak altitude. Further modeling and possible extension to interferometric observations, using international LOFAR stations, are discussed.


title: Datalog Rewritings of Regular Path Queries using Views

abstract: We consider query answering using views on graph databases, i.e. databases structured as edge-labeled graphs. We mainly consider views and queries specified by Regular Path Queries (RPQ). These are queries selecting pairs of nodes in a graph database that are connected via a path whose sequence of edge labels belongs to some regular language. We say that a view V determines a query Q if for all graph databases D, the view image V(D) always contains enough information to answer Q on D. In other words, there is a well defined function from V(D) to Q(D). Our main result shows that when this function is monotone, there exists a rewriting of Q as a Datalog query over the view instance V(D). In particular the rewriting query can be evaluated in time polynomial in the size of V(D). Moreover this implies that it is decidable whether an RPQ query can be rewritten in Datalog using RPQ views.


title: Partial actions and subshifts

abstract: Given a finite alphabet $\Lambda$, and a not necessarily finite type subshift $X\subseteq \Lambda^\infty$, we introduce a partial action of the free group $F(\Lambda)$ on a certain compactification $\Omega_X$ of $X$, which we call the spectral partial action. The space $\Omega_X$ has already appeared in many papers in the subject, arising as the spectrum of a commutative C*-algebra usually denoted by ${\cal D}_X$. Since the descriptions given of $\Omega_X$ in the literature are often somewhat terse and obscure, one of our main goals is to present a sensible model for it which allows for a detailed study of its structure, as well as of the spectral partial action, from various points of view, including topological freeness and minimality. We then apply our results to study certain C*-algebras associated to $X$, introduced by Matsumoto and Carlsen. Most of the results we prove are already well known, but our proofs are hoped to be more natural and more in line with mainstream techniques used to treat similar C*-algebras. The clearer understanding of $\Omega_X$ provided by our model in turn allows for a fine tuning of some of these results, including a necessary and sufficient condition for the minimality of the Carlsen-Matsumoto C*-algebra ${\cal O}_X$, generalizing a similar result of Thomsen.


title: Some results on the Orlicz space generated from a random normed module

abstract: Noting the important role the abstract $L^p$ space has played in the development of random normed modules, in this paper we introduce and study the Orlicz space generated from a random normed module. First, we give a basic dual space representation theorem which identify the dual of the Orlicz heart of a random normed module with the Orlicz space generated from the random conjugate space. Then, we establish the respective equivalence relations of the strict convexity and uniform convexity of this abstract Orlicz space to the random strict convexity and random uniform convexity of the underlying random normed module. These results demonstrate that it is possible to use the Orlicz space theory in the further development of random nomed modules.


title: Measurement of $\nu_{\mu}$ and $\bar{\nu}_{\mu}$ Neutral Current $\pi^{0} \rightarrow \gamma\gamma$ Production in the ArgoNeuT Detector

abstract: The ArgoNeuT collaboration reports the first measurement of neutral current $\pi^{0}$ production in $\nu_{\mu}$-argon and $\bar{\nu}_{\mu}$-argon scattering. This measurement was performed using the ArgoNeuT liquid argon time projection chamber deployed at Fermilab's NuMI neutrino beam with an exposure corresponding to 1.2$\times 10^{20}$ protons-on-target from the Fermilab Main Injector and a mean energy for $\nu_{\mu}$ of 9.6~GeV and for $\bar{\nu}_{\mu}$ of 3.6~GeV. We compare the measured cross section and kinematic distributions to predictions from the GENIE and NuWro neutrino interaction event generators.


title: Exact diatomic Fermi-Pasta-Ulam-Tsingou solitary waves with optical band ripples at infinity

abstract: We study the existence of solitary waves in a diatomic Fermi-Pasta-Ulam-Tsingou (FPUT) lattice. For monatomic FPUT the traveling wave equations are a regular perturbation of the Korteweg-de Vries (KdV) equation's but, surprisingly, we find that for the diatomic lattice the traveling wave equations are a singular perturbation of KdV's. Using a method first developed by Beale to study traveling solutions for capillary-gravity waves we demonstrate that for wave speeds in slight excess of the lattice's speed of sound there exists nontrivial traveling wave solutions which are the superposition an exponentially localized solitary wave and a periodic wave whose amplitude is extremely small. That is to say, we construct nanopteron solutions. The presence of the periodic wave is an essential part of the analysis and is connected to the fact that linear diatomic lattices have optical band waves with any possible phase speed.


title: An Extension of the Athena++ Code Framework for GRMHD Based on Advanced Riemann Solvers and Staggered-Mesh Constrained Transport

abstract: We present a new general relativistic magnetohydrodynamics (GRMHD) code integrated into the Athena++ framework. Improving upon the techniques used in most GRMHD codes, ours allows the use of advanced, less diffusive Riemann solvers, in particular HLLC and HLLD. We also employ a staggered-mesh constrained transport algorithm suited for curvilinear coordinate systems in order to maintain the divergence-free constraint of the magnetic field. Our code is designed to work with arbitrary stationary spacetimes in one, two, or three dimensions, and we demonstrate its reliability in a number of tests. We also report on its promising performance and scalability.


title: Secular dynamics of hierarchical multiple systems composed of nested binaries, with an arbitrary number of bodies and arbitrary hierarchical structure. First applications to multiplanet and multistar systems

abstract: We present a method for studying the secular gravitational dynamics of hierarchical multiple systems consisting of nested binaries, which is valid for an arbitrary number of bodies and arbitrary hierarchical structure. We derive the Hamiltonian of the system and expand it in terms of the -- assumed to be -- small ratios $x_i$ of binary separations. At the lowest nontrivial expansion order (quadrupole order, second order in $x_i$), the Hamiltonian consists of terms which, individually, depend on binary pairs. At higher orders, in addition to terms depending on binary pairs, we also find terms which, individually, depend on more than two binaries. In general, at order $n$ in $x_i$, individual terms depend on at most $n-1$ binaries. We explicitly derive the Hamiltonian including all terms up and including third order in $x_i$ (octupole order), and including the binary pairwise terms up and including fifth order in $x_i$. These terms are orbit averaged, and we present a new algorithm for efficiently solving the equations of motion. This algorithm is highly suitable for studying the secular evolution of hierarchical systems with complex hierarchies, making long-term integrations of such systems feasible. We show that accurate results are obtained for multiplanet systems with semimajor axis ratios as large as $\approx 0.4$, provided that high-order terms are included. In addition to multiplanet systems with a single star, we apply our results to multistar systems with multiple planets.


title: A defocusing complex short pulse equation and its multi-dark soliton solution by Darboux transformation

abstract: In this paper, we propose a complex short pulse equation of both focusing and defocusing types, which governs the propagation of ultra-short pulses in nonlinear optical fibers. It can be viewed as an analogue of the nonlinear Schr\"odinger (NLS) equation in the ultra-short pulse regime. Furthermore, we construct the multi-dark soliton solution for the defocusing complex short pulse equation through the Darboux transformation and reciprocal (hodograph) transformation. One- and two-dark soliton solutions are given explicitly, whose properties and dynamics are analyzed and illustrated.


title: Shifted Poisson and Batalin-Vilkovisky structures on the derived variety of complexes

abstract: We study the shifted Poisson structure on the cochain complex C*(g) of a graded Lie algebra arising from shifted Lie bialgebra structure on g. We apply this to construct a 1-shifted Poisson structures on an infinitesimal quotient of the derived variety of complexes RCom(V) by a subgroup of the automorphisms of V, and a non-shifted Poisson structure on an appropriately defined derived variety of 1-periodic complexes, extending the standard Kirillov-Kostant Poisson structure on gl*_n. We also show that in the case of RCom(V) the 1-shifted structure is up to homotopy a Batalin-Vilkovisky algebra structure.


title: Caracterizaci\'on del paisaje y an\'alisis del l\'imite oeste del Parque Nacional Carara, Costa Rica: implicaciones para la conservaci\'on de la biodiversidad

abstract: It is unknown if the current size and shape of protected areas (PA) in Costa Rica favors retention of viable populations of wildlife. The western border of Carara National Park (CNP) and its surroundings were characterized at a landscape level in order to consider their implications for biodiversity conservation. 54 400 hectares of Costa Rican Central Pacific tree cover were analyzed (1997, 2000, 2005) to calculate the size of the PAs, mean shape index, mean patch fractal dimension and edge density. Aside from that, we performed eight habitat evaluations on the western border of the CNP (costanera-sur highway) to assess tree composition, regeneration, litter, horizontal obstruction, and canopy cover. It was determined that the PAs were between 36 and 5 242 hectares long. We observed that the tree cover increased from 21 231,8 hectares in 1997 to 29 006,9 hectares in 2000, and decreased to 26 933,4 hectares in 2005. We found out that most of the tree cover (2005) belongs to CNP and ZP Cerros de Turrubares, but both of them present high values of edge density and mean shape index, suggesting that they are susceptible to alteration and fragmentation. The four evaluated points have a similar successional stage. In order to maintain the potential of CNP as an area for biodiversity conservation, we recommend reducing the maximum speed limit in the region adjacent to the park. It is also important to establish frequent monitoring of the tree cover and promote reforestation programs to create corridors that stop the area's fragmentation and facilitate biodiversity conservation.


title: Integer sets with identical representation functions

abstract: We present a versatile construction allowing one to obtain pairs of integer sets with infinite symmetric difference, infinite intersection, and identical representation functions.


title: The DEAP-3600 Dark Matter Experiment

abstract: The DEAP-3600 experiment uses 3.6 tons of liquid argon for a sensitive dark matter search, with a sensitivity to the spin-independent WIMP-nucleon cross-section of $10^{-46}$ cm$^2$ at 100 GeV WIMP mass. This high sensitivity is achievable due to the large target mass and the very low backgrounds in the spherical acrylic detector design as well as at the unique SNOLAB facility in Sudbury, Canada. Pulse shape discrimination is used to reject electromagnetic backgrounds from the WIMP induced nuclear recoil signal. We started taking commissioning data in early 2015 with vacuum and later gas inside the detector. Argon fill is expected in winter 2015. An overview and status of the DEAP-3600 experiment are presented in this paper, with an emphasis on control and mitigation of detector backgrounds.


title: The many mathematical faces of Mermin's proof of the Kochen-Specker theorem

abstract: Mermin's simple "pentagram" proof of the Kochen-Specker theorem is examined from various perspectives. We emphasise the many mathematical structures intimately related to Kochen-Specker proofs, ranging through functional analysis, sheaf theory and topos theory, Coxeter groups and algebraic geometry. Some novel results are presented along the way.


title: Universal nature of the nonlinear stage of modulational instability

abstract: We characterize the nonlinear stage of modulational instability (MI) by studying the long-time asymptotics of focusing nonlinear Schrodinger (NLS) equation on the infinite line with initial conditions that tend to constant values at infinity. Asymptotically in time, the spatial domain divides into three regions: a far left field and a far right field, in which the solution is approximately equal to its initial value, and a central region in which the solution has oscillatory behavior and is described by slow modulations of the periodic traveling wave solutions of the focusing NLS equation. These results demonstrate that the asymptotic stage of MI is universal, since the long-time behavior of a large class of perturbations is described by the same asymptotic state.


title: The iodine-plutonium-xenon age of the Moon-Earth system revisited

abstract: From iodine-plutonium-xenon isotope systematics, we re-evaluate time constraints on the early evolution of the Earth-atmosphere system and, by inference, on the Moon-forming event. Two extinct radioactivites (129I, T1/2 = 15.6 Ma, and 244Pu, T1/2 = 80 Ma) have produced radiogenic 129Xe and fissiogenic 131-136Xe, respectively, within the Earth, which related isotope fingerprints are seen in the compositions of mantle and atmospheric Xe. Recent studies of Archean rocks suggest that xenon atoms have been lost from the Earth's atmosphere and isotopically fractionated during long periods of geological time, until at least the end of the Archean eon. Here we build a model that takes into account these results. Correction for Xe loss permits to compute new closure ages for the Earth's atmosphere that are in agreement with those computed for mantle Xe. The minimum Xe formation interval for the Earth- atmosphere is 40 (-10+20) Ma after start of solar system formation, which may also date the Moon-forming impact.


title: Urban vegetation change after a hundred years in a tropical city (San Jos\'e de Costa Rica)

abstract: Urban vegetation is of key importance because a large proportion of the human population lives in cities. Nevertheless, urban vegetation is understudied outside central Europe and particularly, little is known about the flora of tropical Asian, African and Latin American cities. We present an estimate of how the vegetation has changed in the city of San Jos\'e, Costa Rica, after about one century, with the repeat photography technique (based on a collection of 19th and early 20th century photographs by Jos\'e Fidel Trist\'an and others) and with data from the Costa Rican National Herbarium. We found little vegetation change in the landscape of San Jos\'e during the 20th century, where a total of 95 families and 458 species were collected in the late 19th and early 20th century. The families with most species were Asteraceae, Fabaceae, Poaceae, Lamiaceae, Euphorbiaceae, Solanaceae, Cyperaceae, Acanthaceae, Malvaceae, Piperaceae and Verbenaceae. Similar results have been found in Europe, where the number of plant species often is stable for long periods even when the individual species vary.


title: Effective Invariant Theory of Permutation Groups using Representation Theory

abstract: Using the theory of representations of the symmetric group, we propose an algorithm to compute the invariant ring of a permutation group. Our approach have the goal to reduce the amount of linear algebra computations and exploit a thinner combinatorial description of the invariant ring.