title: The Little Galaxies that Could (Reionize the Universe): Predicting Faint End Slopes & Escape Fractions at z > 4

abstract: The sources that reionized the universe are still unknown, but likely candidates are faint but numerous galaxies. In this paper we present results from running a high resolution, uniform volume simulation, the Vulcan, to predict the number densities of undetectable, faint galaxies and their escape fractions of ionizing radiation, $f_\mathrm{esc}$, during reionization. Our approach combines a high spatial resolution, a realistic treatment of feedback and hydro processes, a strict threshold for minimum number of resolution elements per galaxy, and a converged measurement of $f_\mathrm{esc}$. We calibrate our physical model using a novel approach to create realistic galaxies at z=0, so the simulation is predictive at high redshifts. With this approach we can (1) robustly predict the evolution of the galaxy UV luminosity function at faint magnitudes down to $M_\mathrm{UV}$~-15, two magnitudes fainter than observations, and (2) estimate $f_\mathrm{esc}$ over a large range of galaxy masses based on the detailed stellar and gas distributions in resolved galaxies. We find steep faint end slopes, implying high number densities of faint galaxies, and the dependence of $f_\mathrm{esc}$ on the UV magnitude of a galaxy, given by the power-law: log $f_\mathrm{esc} = (0.51 \pm 0.04)M_\mathrm{UV} + 7.3 \pm 0.8$, with the faint population having $f_\mathrm{esc}$~35%. Convolving the UV luminosity function with $f_\mathrm{esc}$($M_\mathrm{UV}$), we find an ionizing emissivity that is (1) dominated by the faintest galaxies and (2) reionizes the universe at the appropriate rate, consistent with observational constraints of the ionizing emissivity and the optical depth to the decoupling surface tau_es, without the need for additional sources of ionizing radiation.


title: The Neutral Excitations in the Gaffnian State

abstract: We study a model fractional quantum Hall (FQH) wavefunction called the Gaffnian state, which is believed to represent a gapless, strongly correlated state that is very different from conventional metals. To understand this exotic gapless state better, we provide a representation based on work of Halperin in which the pairing structure of the Gaffnian state becomes more explicit. We employ the single-mode approximation introduced by Girvin, MacDonald, and Platzman (GMP), here extended to three-body interactions, in order to treat a neutral collective exitation mode in order to clarify the physical origin of the gaplessness of the Gaffnian state. We discuss approaches to extract systematically the relevant physics in the long-distance, large-electron-number limit of FQH states using numerical calculations with relatively few electrons. In an appendix, we provide second quantized expressions for many-body Haldane pseudopotentials in various geometries including the plane, sphere, cylinder, and the torus based on the proper definition of the relative angular momentum.


title: EGG: hatching a mock Universe from empirical prescriptions

abstract: This paper introduces EGG, the Empirical Galaxy Generator, a tool designed within the ASTRODEEP collaboration to generate mock galaxy catalogs for deep fields with realistic fluxes and simple morphologies. The simulation procedure is based exclusively on empirical prescriptions -- rather than first principles -- to provide the most accurate match with observations at 0<z<7. In particular, we consider that galaxies can be either quiescent or star-forming, and use their stellar mass (M*) and redshift (z) as the fundamental properties from which all the other observables can be statistically derived. Drawing z and M* from the observed galaxy stellar mass functions, we associate a star formation rate (SFR) to each galaxy from the tight SFR-M* main sequence, while dust attenuation, optical colors and morphologies (including bulge-to-total ratios, sizes and aspect ratios) are obtained from empirical relations that we establish from the high quality Hubble and Herschel observations available in the CANDELS fields. Random scatter is introduced in each step to reproduce the observed distributions of each parameter. Based on these observables, a panchromatic spectral energy distribution (SED) is selected for each galaxy and synthetic photometry is produced by integrating the redshifted SED in common broad-band filters. Finally, the mock galaxies are placed on the sky at random positions with a fixed angular two-point correlation function to implement basic clustering. The resulting flux catalogs reproduce accurately the observed number counts in all broad bands from the ultraviolet up to the sub-millimeter, and can be directly fed to image simulators such as Skymaker. The images can then be used to test source extraction softwares and image-based techniques such as stacking. EGG is open-source, and is made available to the community together with a set of pre-generated catalogs and images.


title: Covariance of Motion and Appearance Featuresfor Spatio Temporal Recognition Tasks

abstract: In this paper, we introduce an end-to-end framework for video analysis focused towards practical scenarios built on theoretical foundations from sparse representation, including a novel descriptor for general purpose video analysis. In our approach, we compute kinematic features from optical flow and first and second-order derivatives of intensities to represent motion and appearance respectively. These features are then used to construct covariance matrices which capture joint statistics of both low-level motion and appearance features extracted from a video. Using an over-complete dictionary of the covariance based descriptors built from labeled training samples, we formulate low-level event recognition as a sparse linear approximation problem. Within this, we pose the sparse decomposition of a covariance matrix, which also conforms to the space of semi-positive definite matrices, as a determinant maximization problem. Also since covariance matrices lie on non-linear Riemannian manifolds, we compare our former approach with a sparse linear approximation alternative that is suitable for equivalent vector spaces of covariance matrices. This is done by searching for the best projection of the query data on a dictionary using an Orthogonal Matching pursuit algorithm. We show the applicability of our video descriptor in two different application domains - namely low-level event recognition in unconstrained scenarios and gesture recognition using one shot learning. Our experiments provide promising insights in large scale video analysis.


title: Spin dynamics of counterrotating Kitaev spirals via duality

abstract: Incommensurate spiral order is a common occurrence in frustrated magnetic insulators. Typically, all magnetic moments rotate uniformly, through the same wavevector. However the honeycomb iridates family Li2IrO3 shows an incommensurate order where spirals on neighboring sublattices are counter-rotating, giving each moment a different local environment. Theoretically describing its spin dynamics has remained a challenge: the Kitaev interactions proposed to stabilize this state, which arise from strong spin-orbit effects, induce magnon umklapp scattering processes in spin-wave theory. Here we propose an approach via a (Klein) duality transformation into a conventional spiral of a frustrated Heisenberg model, allowing a direct derivation of the dynamical structure factor. We analyze both Kitaev and Dzyaloshinskii-Moriya based models, both of which can stabilize counterrotating spirals, but with different spin dynamics, and we propose experimental tests to identify the origin of counterrotation.


title: Chirality and Circular Polarization in Models of Inflation

abstract: We investigate the possibility that a chiral asymmetry during inflation can manifest as net circular polarization in photons. Using an example known to produce a helicity imbalance in fermions, we show that superhorizon photon modes produced during inflation acquire net circular polarization. Modes that reenter the horizon around last scattering can thermalize into the Cosmic Microwave Background while retaining a portion of their net circular polarization. We also consider the possibility of direct detection of the circular polarization in the CMB.


title: Participant number fluctuations for higher moments of a multiplicity distribution

abstract: The independent participant model is generalized for skewness and kurtosis. The obtained relations allow to calculate the fluctuations of an arbitrarily high order. From the comparison with the SPS and the LHC data it is found that the participants are not nucleons. The contribution of the participant fluctuations increases with the order of fluctuations. The 5% centrality bins selected for the analysis at the LHC by ALICE seems to be too large. The fluctuations measures are dominated by the fluctuations of participants there. The method to quantify the value of participant number fluctuations experimentally is proposed.


title: Towards resolving strongly-interacting dark sectors at colliders

abstract: Dark sectors with strong interactions have received considerable interest. Assuming the existence of a minimally coupled dark sector which runs to strong interactions in the infrared, we address the question whether the scaling behavior of this dark sector can be observed in missing energy signatures at present and future hadron colliders. We compare these findings to the concrete case of self-interacting dark matter and demonstrate that the energy dependence of high-momentum transfer final states can in principle be used to gain information about the UV structure of hidden sectors at future hadron colliders, subject to large improvements in systematic uncertainties, which could complement proof-of-principle lattice investigations. We also comment on the case of dark Abelian $U(1)$ theories.


title: Transformation, normalization and batch effect in the analysis of mass spectrometry data for omics studies

abstract: Data transformation, normalization and handling of batch effect are a key part of data analysis for almost all spectrometry-based omics data. This paper reviews and contrasts these three distinct aspects. We present a systematic overview of the key approaches and critically review some common procedures. Much of this paper is inspired by mass spectrometry based experimentation, but most of our discussion carries over to omics data using distinct spectrometric approaches generally.


title: Impact of storage competition on energy markets

abstract: We study how storage, operating as a price maker within a market environment, may be optimally operated over an extended period of time. The optimality criterion may be the maximisation of the profit of the storage itself, where this profit results from the exploitation of the differences in market clearing prices at different times. Alternatively it may be the minimisation of the cost of generation, or the maximisation of consumer surplus or social welfare. In all cases there is calculated for each successive time-step the cost function measuring the total impact of whatever action is taken by the storage. The succession of such cost functions provides the information for the storage to determine how to behave over time, forming the basis of the appropriate optimisation problem. Further, optimal decision making, even over a very long or indefinite time period, usually depends on a knowledge of costs over a relatively short running time horizon -- for storage of electrical energy typically of the order of a day or so. We study particularly competition between multiple stores, where the objective of each store is to maximise its own income given the activities of the remainder. We show that, at the Cournot Nash equilibrium, multiple large stores collectively erode their own abilities to make profits: essentially each store attempts to increase its own profit over time by overcompeting at the expense of the remainder. We quantify this for linear price functions We give examples throughout based on Great Britain spot-price market data.


title: Activity-assisted self-assembly of colloidal particles

abstract: We outline a basic strategy of how self-propulsion can be used to improve the yield of a typical colloidal self-assembly process. The success of this approach is predicated on the thoughtful design of the colloidal building block as well as how self-propulsion is endowed to the particle. As long as a set of criteria are satisfied, it is possible to significantly increase the rate of self-assembly, and greatly expand the window in parameter space where self-assembly can occur. In addition, we show that by tuning the relative on/off time of the self-propelling force it is possible to modulate the effective speed of the colloids allowing for further optimization of the self-assembly process.


title: Predicting Ambulance Demand: Challenges and Methods

abstract: Predicting ambulance demand accurately at a fine resolution in time and space (e.g., every hour and 1 km$^2$) is critical for staff / fleet management and dynamic deployment. There are several challenges: though the dataset is typically large-scale, demand per time period and locality is almost always zero. The demand arises from complex urban geography and exhibits complex spatio-temporal patterns, both of which need to captured and exploited. To address these challenges, we propose three methods based on Gaussian mixture models, kernel density estimation, and kernel warping. These methods provide spatio-temporal predictions for Toronto and Melbourne that are significantly more accurate than the current industry practice.


title: First measurement of nuclear recoil head-tail sense in a fiducialised WIMP dark matter detector

abstract: Recent computational results suggest that directional dark matter detectors have potential to probe for WIMP dark matter particles below the neutrino floor. The DRIFT-IId detector used in this work is a leading directional WIMP search time projection chamber detector. We report the first measurements of the detection of the directional nuclear recoils in a fully fiducialised low-pressure time projection chamber. In this new operational mode, the distance between each event vertex and the readout plane is determined by the measurement of minority carriers produced by adding a small amount of oxygen to the nominal CS$_{2}$ + CF$_{4}$ target gas mixture. The CS$_2$ + CF$_4$ + O$_2$ mixture has been shown to enable background-free operation at current sensitivities. Sulfur, fluorine, and carbon recoils were generated using neutrons emitted from a $^{252}$Cf source positioned at different locations around the detector. Measurement of the relative energy loss along the recoil tracks allowed the track vector sense, or the so-called head-tail asymmetry parameter, to be deduced. Results show that the previously reported observation of head-tail sensitivity in pure CS$_{2}$ is well retained after the addition of oxygen to the gas mixture.


title: Improved sampling and validation of frozen Gaussian approximation with surface hopping algorithm for nonadiabatic dynamics

abstract: In the spirit of the fewest switches surface hopping, the frozen Gaussian approximation with surface hopping (FGA-SH) method samples a path integral representation of the non-adiabatic dynamics in the semiclassical regime. An improved sampling scheme is developed in this work for FGA-SH based on birth and death branching processes. The algorithm is validated for the standard test examples of non-adiabatic dynamics.


title: On exact solution of topological CFT models based on Kazama-Suzuki cosets

abstract: We compute the flat coordinates on the Frobenius manifolds arising on the deformation space of Gepner $\hat{SU}(3)_k$ chiral rings. The explicit form of the flat coordinates is important for exact solutions of models of topological CFT and 2d Liouville gravity. We describe the case k=3, which is of particular interest because apart from the relevant chiral fields it contains a marginal one. Whereas marginal perturbations are relevant in different contexts, their analysis requires additional care compared to the relevant perturbations.


title: Counting Automorphic Forms on Norm One Tori

abstract: We give an asymptotic formula for the number of automorphic forms on the non-split norm one torus $T$ associated with an imaginary quadratic extension of $\mathbb{Q}$, ordered by analytic conductor.


title: Quantum atomistic approach for interacting spins

abstract: The phenomenological Landau theory of the spin precession has been used to reproduce the out-of-equilibrium properties of many magnetic systems. However, such an approach suffers from some serious limitations. The main reason is that the spin and the angular momentum of the atoms are described by the classical theory of the angular momentum. We derive a discrete model that extends the Landau theory to the quantum mechanical framework. Our approach is based on the application of the quantification procedure to the classical hamiltonian of an array of interacting spins. The connection with the classical dynamics is discussed.


title: Fisher information from stochastic quantum measurements

abstract: The unavoidable interaction between a quantum system and the external noisy environment can be mimicked by a sequence of stochastic measurements whose outcomes are neglected. Here we investigate how this stochasticity is reflected in the survival probability to find the system in a given Hilbert subspace at the end of the dynamical evolution. In particular, we analytically study the distinguishability of two different stochastic measurement sequences in terms of a new Fisher information measure depending on the variation of a function, instead of a finite set of parameters. We find a novel characterization of Zeno phenomena as the physical result of the random observation of the quantum system, linked to the sensitivity of the survival probability with respect to an arbitrary small perturbation of the measurement stochasticity. Finally, the implications on the Cram\'er-Rao bound are discussed, together with a numerical example. These results are expected to provide promising applications in quantum metrology towards future, more robust, noise-based quantum sensing devices.


title: Template-Assisted Direct Growth of 1Td/in$^2$ Bit Patterned Media

abstract: We present a method for growing bit patterned magnetic recording media using directed growth of sputtered granular perpendicular magnetic recording media. The grain nucleation is templated using an epitaxial seed layer which contains Pt pillars separated by amorphous metal oxide. The scheme enables the creation of both templated data and servo regions suitable for high density hard disk drive operation. We illustrate the importance of using a process that is both topographically and chemically driven to achieve high quality media.


title: Babcock Redux: An Ammendment of Babcock's Schematic of the Sun's Magnetic Cycle

abstract: We amend Babcock's original scenario for the global dynamo process that sustains the Sun's 22-year magnetic cycle. The amended scenario fits post-Babcock observed features of the magnetic activity cycle and convection zone, and is based on ideas of Spruit and Roberts (1983) about magnetic flux tubes in the convection zone. A sequence of four schematic cartoons lays out the proposed evolution of the global configuration of the magnetic field above, in, and at the bottom of the convection zone through sunspot Cycle 23 and into Cycle 24. Three key elements of the amended scenario are: (1) as the net following-polarity field from the sunspot-region omega-loop fields of an ongoing sunspot cycle is swept poleward to cancel and replace the opposite-polarity polar-cap field from the previous sunspot cycle, it remains connected to the ongoing sunspot cycle's toroidal source-field band at the bottom of the convection zone; (2) topological pumping by the convection zone's free convection keeps the horizontal extent of the poleward-migrating following-polarity field pushed to the bottom, forcing it to gradually cancel and replace old horizontal field below it that connects the ongoing-cycle source-field band to the previous-cycle polar-cap field; (3) in each polar hemisphere, by continually shearing the poloidal component of the settling new horizontal field, the latitudinal differential rotation low in the convection zone generates the next-cycle source-field band poleward of the ongoing-cycle band. The amended scenario is a more-plausible version of Babcock's scenario, and its viability can be explored by appropriate kinematic flux-transport solar-dynamo simulations.


title: Hyperbolic waveguide for long-distance transport of near-field heat flux

abstract: Heat flux exchanged between two hot bodies at subwavelength separation distances can exceed the limit predicted by the blackbody theory. However this super-Planckian transfer is restricted to these separation distances. Here we demonstrate the possible existence of a super-Planckian transfer at arbitrary large separation distances if the interacting bodies are connected in near-field with weakly dissipating hyperbolic waveguides. This result opens the way to long distance transport of near-field thermal energy.


title: Folding and Stabilization of Native-Sequence-Reversed Proteins

abstract: Though the problem of sequence-reversed protein folding is largely unexplored, one might speculate that reversed native protein sequences should be significantly more foldable than purely random heteropolymer sequences. In this article, we investigate how the reverse-sequences of native proteins might fold by examining a series of small proteins of increasing structural complexity ({\alpha}-helix, \b{eta}-hairpin, {\alpha}-helix bundle, and {\alpha}/\b{eta}-protein). Employing a tandem protein structure prediction algorithmic and molecular dynamics simulation approach, we find that the ability of reverse sequences to adopt native-like folds is strongly in influenced by protein size and the flexibility of the native hydrophobic core. For \b{eta}-hairpins with reverse-sequences that fail to fold, we employ a simple mutational strategy for guiding stable hairpin formation that involves the insertion of amino acids into the \b{eta}-turn region. This systematic look at reverse sequence duality sheds new light on the problem of protein sequence-structure mapping and may serve to inspire new protein design and protein structure prediction protocols.

categories: q-bio.BM cond-mat.soft physics.bio-ph physics.chem-ph


title: Avoiding Imposters and Delinquents: Adversarial Crowdsourcing and Peer Prediction

abstract: We consider a crowdsourcing model in which $n$ workers are asked to rate the quality of $n$ items previously generated by other workers. An unknown set of $\alpha n$ workers generate reliable ratings, while the remaining workers may behave arbitrarily and possibly adversarially. The manager of the experiment can also manually evaluate the quality of a small number of items, and wishes to curate together almost all of the high-quality items with at most an $\epsilon$ fraction of low-quality items. Perhaps surprisingly, we show that this is possible with an amount of work required of the manager, and each worker, that does not scale with $n$: the dataset can be curated with $\tilde{O}\Big(\frac{1}{\beta\alpha^3\epsilon^4}\Big)$ ratings per worker, and $\tilde{O}\Big(\frac{1}{\beta\epsilon^2}\Big)$ ratings by the manager, where $\beta$ is the fraction of high-quality items. Our results extend to the more general setting of peer prediction, including peer grading in online classrooms.


title: Crossover between fast and slow excitation of magnetization by spin torque

abstract: A crossover between two mechanisms destabilizing the magnetization in equilibrium by the spin transfer effect is found in a ferromagnetic multilayer consisting of an in-plane magnetized free layer and a perpendicularly magnetized pinned layer, where an in-plane magnetic field is applied, and electric current flows from the pinned to the free layer. A fast transition from the in-plane to the out-of-plane state occurs in the low-field region, whereas a slow transition with small-amplitude oscillation becomes dominant in the high-field region. On the other hand, only the fast transition mechanism appears for the opposite current direction.


title: The fully packed loop model as a non-rational $W_3$ conformal field theory

abstract: The fully packed loop (FPL) model is a statistical model related to the integrable $U_q(\hat{\mathfrak{sl}}_3)$ vertex model. In this paper we study the continuum limit of the FPL. With the appropriate weight of non-contractible loops, we give evidence of an extended $W_3$ symmetry in the continuum. The partition function on the torus is calculated exactly, yielding new modular invariants of $W_3$ characters. The full CFT spectrum is obtained, and is found to be in excellent agreement with exact diagonalisation.


title: HELP: star formation as function of galaxy environmentwith Herschel

abstract: The Herschel Extragalactic Legacy Project (HELP) brings together a vast range of data from many astronomical observatories. Its main focus is on the Herschel data, which maps dust obscured star formation over 1300 deg$^2$. With this unprecedented combination of data sets, it is possible to investigate how the star formation vs stellar mass relation (main-sequence) of star-forming galaxies depends on environment. In this pilot study we explore this question between 0.1 < z < 3.2 using data in the COSMOS field. We estimate the local environment from a smoothed galaxy density field using the full photometric redshift probability distribution. We estimate star formation rates by stacking the SPIRE data from the Herschel Multi-tiered Extragalactic Survey (HerMES). Our analysis rules out the hypothesis that the main-sequence for star-forming systems is independent of environment at 1.5 < z < 2, while a simple model in which the mean specific star formation rate declines with increasing environmental density gives a better description. However, we cannot exclude a simple hypothesis in which the main-sequence for star-forming systems is independent of environment at z < 1.5 and z > 2. We also estimate the evolution of the star formation rate density in the COSMOS field and our results are consistent with previous measurements at z < 1.5 and z > 2 but we find a $1.4^{+0.3}_{-0.2}$ times higher peak value of the star formation rate density at $z \sim 1.9$.


title: Simpler Context-Dependent Logical Forms via Model Projections

abstract: We consider the task of learning a context-dependent mapping from utterances to denotations. With only denotations at training time, we must search over a combinatorially large space of logical forms, which is even larger with context-dependent utterances. To cope with this challenge, we perform successive projections of the full model onto simpler models that operate over equivalence classes of logical forms. Though less expressive, we find that these simpler models are much faster and can be surprisingly effective. Moreover, they can be used to bootstrap the full model. Finally, we collected three new context-dependent semantic parsing datasets, and develop a new left-to-right parser.


title: Is a monotone union of contractible open sets contractible?

abstract: This paper presents some partial answers to the following question. QUESTION. If a normal space X is the union of an increasing sequence of open sets U(1), U(2), U(3) ... such that each U(n) contracts to a point in X, must X be contractible? The main results of the paper are: THEOREM 1. If a normal space X is the union of a sequence of open subsets { U(n) } such that the closure of U(n) is contained in U(n+1) and U(n) contracts to a point in U(n+1) for each n > 0, then X is contractible. COROLLARY 2. If a locally compact sigma-compact normal space X is the union of an increasing sequence of open sets U(1), U(2), U(3) ... such that each U(n) contracts to a point in X, then X is contractible.


title: New families of strongly regular graphs

abstract: In this article we construct a series of new infinite families of strongly regular graphs with the same parameters as the point-graphs of non-singular quadrics in PG(n,2).


title: Deep Image Set Hashing

abstract: In applications involving matching of image sets, the information from multiple images must be effectively exploited to represent each set. State-of-the-art methods use probabilistic distribution or subspace to model a set and use specific distance measure to compare two sets. These methods are slow to compute and not compact to use in a large scale scenario. Learning-based hashing is often used in large scale image retrieval as they provide a compact representation of each sample and the Hamming distance can be used to efficiently compare two samples. However, most hashing methods encode each image separately and discard knowledge that multiple images in the same set represent the same object or person. We investigate the set hashing problem by combining both set representation and hashing in a single deep neural network. An image set is first passed to a CNN module to extract image features, then these features are aggregated using two types of set feature to capture both set specific and database-wide distribution information. The computed set feature is then fed into a multilayer perceptron to learn a compact binary embedding. Triplet loss is used to train the network by forming set similarity relations using class labels. We extensively evaluate our approach on datasets used for image matching and show highly competitive performance compared to state-of-the-art methods.


title: Sampling Method for Fast Training of Support Vector Data Description

abstract: Support Vector Data Description (SVDD) is a popular outlier detection technique which constructs a flexible description of the input data. SVDD computation time is high for large training datasets which limits its use in big-data process-monitoring applications. We propose a new iterative sampling-based method for SVDD training. The method incrementally learns the training data description at each iteration by computing SVDD on an independent random sample selected with replacement from the training data set. The experimental results indicate that the proposed method is extremely fast and provides a good data description .


title: Numerical Simulations of Early-Stage Dynamics of Electron Bunches Emitted from Plasmonic Photocathodes

abstract: High-brightness electron sources are a key ingredient to the development of compact accelerator-based light sources. The electron sources are commonly based on (linear) photoemission process where a laser pulse with proper wavelength impinges on the surface of a metallic or semiconductor photocathode. Very recently, the use of plasmonic cathodes - cathodes with a nano-patterned surface - have demonstrated great enhancement in quantum efficiencies (Li et al., 2013 [1]). Alternatively, this type of photocathodes could support the formation of structured beams composed of transversely-separated beamlets. In this paper we discuss numerical simulations of the early-stage beam dynamics of the emission process from plasmonic cathodes carried out using the Warp (Friedman et al., 2014 [2]) framework. The model is used to investigate the properties of beams emitted from these photocathode and subsequently combined with particle-in-cell simulations to explore the imaging of cathode pattern after acceleration in a radiofrequency gun.


title: On the Maximum-Weight Basis Problem

abstract: Let M to be a matroid defined on a finite set E. A subset L of E is locked in M if L is 2-connected in M, the complement of L is 2-connected in the dual M*, and min{r(L), r*(complement of L)} is greater than 1. In this paper, we prove that the nontrivial facets of the bases polytope of M are described by the locked subsets. We deduce that finding the maximum-weight basis of M is a polynomial problem for matroids with a polynomial number of locked subsets. This class of matroids is closed under 2-sums and contains uniform matroids.


title: D2O - a distributed data object for parallel high-performance computing in Python

abstract: We introduce D2O, a Python module for cluster-distributed multi-dimensional numerical arrays. It acts as a layer of abstraction between the algorithm code and the data-distribution logic. The main goal is to achieve usability without losing numerical performance and scalability. D2O's global interface is similar to the one of a numpy.ndarray, whereas the cluster node's local data is directly accessible for use in customized high-performance modules. D2O is written in pure Python which makes it portable and easy to use and modify. Expensive operations are carried out by dedicated external libraries like numpy and mpi4py. The performance of D2O is on a par with numpy for serial applications and scales well when moving to an MPI cluster. D2O is open-source software available under the GNU General Public License v3 (GPL-3) at https://gitlab.mpcdf.mpg.de/ift/D2O


title: Model-Agnostic Interpretability of Machine Learning

abstract: Understanding why machine learning models behave the way they do empowers both system designers and end-users in many ways: in model selection, feature engineering, in order to trust and act upon the predictions, and in more intuitive user interfaces. Thus, interpretability has become a vital concern in machine learning, and work in the area of interpretable models has found renewed interest. In some applications, such models are as accurate as non-interpretable ones, and thus are preferred for their transparency. Even when they are not accurate, they may still be preferred when interpretability is of paramount importance. However, restricting machine learning to interpretable models is often a severe limitation. In this paper we argue for explaining machine learning predictions using model-agnostic approaches. By treating the machine learning models as black-box functions, these approaches provide crucial flexibility in the choice of models, explanations, and representations, improving debugging, comparison, and interfaces for a variety of users and models. We also outline the main challenges for such methods, and review a recently-introduced model-agnostic explanation approach (LIME) that addresses these challenges.


title: Image Edge Detection based on Swarm Intelligence using Memristive Networks

abstract: Recent advancements in the development of memristive devices has opened new opportunities for hardware implementation of non-Boolean computing. To this end, the suitability of memristive devices for swarm intelligence algorithms has enabled researchers to solve a maze in hardware. In this paper, we utilize swarm intelligence of memristive networks to perform image edge detection. First, we propose a hardware-friendly algorithm for image edge detection based on ant colony. Second, we implement the image edge detection algorithm using memristive networks. Furthermore, we explain the impact of various parameters of the memristors on the efficacy of the implementation. Our results show 28% improvement in the energy compared to a low power CMOS hardware implementation based on stochastic circuits. Furthermore, our design occupies up to 5x less area.


title: Analysis of the Lepton Mixing Matrix in the Two Higgs Doublet Model

abstract: In the theoretical framework of Two Higgs Doublet Model (2HDM) plus three right-handed neutrinos we consider a universal treatment for the mass matrices, aside from that the active neutrinos acquire their small mass through the type-I seesaw mechanism. Then, as long as a matrix with four-zero texture is used to represent the right-handed neutrinos and Yukawa matrices, we obtain a unified treatment where all fermion mass matrices have four-zero texture. We obtain analytical and explicit expressions for the lepton flavour mixing matrix PMNS in terms of fermion masses and parameters associated with the 2HDM-III. Further, we compare these expressions of the PMNS matrix with the most up to date values of masses and mixing in the lepton sector, via a likelihood test $\chi^{2}$. We find that the analytical expressions that we derived reproduce remarkably well the most recent experimental data of neutrino oscillations.


title: Nothing works the first time: An expert experimental physics epistemology

abstract: The ability to troubleshoot is an important learning outcome for undergraduate physics laboratory courses. To better understand the role of troubleshooting in electronics laboratory courses, we interviewed 20 electronics instructors from multiple institution types about their beliefs and teaching practices related to troubleshooting. In these interviews, instructors articulated the idea that \emph{nothing works the first time} in multiple contexts pertaining to troubleshooting. We argue that this idea is an expert epistemology and show how it informs instructors' beliefs that (i) students need to know how to troubleshoot, (ii) students should expect to troubleshoot, (iii) all circuit-building lab activities provide opportunities for students to troubleshoot, and (iv) students' ability to construct functional circuits can be a proxy for their ability to troubleshoot malfunctioning circuits. Moreover, we discuss implications for instruction and assessment of troubleshooting in electronics courses.


title: Making Tree Ensembles Interpretable

abstract: Tree ensembles, such as random forest and boosted trees, are renowned for their high prediction performance, whereas their interpretability is critically limited. In this paper, we propose a post processing method that improves the model interpretability of tree ensembles. After learning a complex tree ensembles in a standard way, we approximate it by a simpler model that is interpretable for human. To obtain the simpler model, we derive the EM algorithm minimizing the KL divergence from the complex ensemble. A synthetic experiment showed that a complicated tree ensemble was approximated reasonably as interpretable.


title: Technique Report: Scheduling Flows with Multiple Service Frequency Constraints

abstract: With the fast development of wireless technologies, wireless applications have invaded various areas in people's lives with a wide range of capabilities. Guaranteeing Quality-of-Service (QoS) is the key to the success of those applications. One of the QoS requirements, service frequency, is very important for tasks including multimedia transmission in the Internet of Things. A service frequency constraint denotes the length of time period during which a link can transmit at least once. Unfortunately, it has not been well addressed yet. Therefore, this paper proposes a new framework to schedule multi transmitting flows in wireless networks considering service frequency constraint for each link. In our model, the constraints for flows are heterogeneous due to the diversity of users' behaviors. We first introduce a new definition for network stability with service frequency constraints and demonstrate that the novel scheduling policy is throughput-optimal in one fundamental category of network models. After that, we discuss the performance of a wireless network with service frequency constraints from the views of capacity region and total queue length. Finally, a series of evaluations indicate the proposed scheduling policy can guarantee service frequency and achieve a good performance on the aspect of queue length of each flow.


title: Strictly nonclassical behavior of a mesoscopic system

abstract: We experimentally demonstrate the strictly nonclassical behavior in a many-atom system using a recently derived criterion [E. Kot et al., Phys. Rev. Lett. 108, 233601 (2012)] that explicitly does not make use of quantum mechanics. We thereby show that the magnetic moment distribution measured by McConnell et al. [R. McConnell et al., Nature 519, 439 (2015)] in a system with a total mass of $2.6\times 10^5$ atomic mass units is inconsistent with classical physics. Notably, the strictly nonclassical behavior affects an area in phase space $10^3$ times larger than the Planck quantum $\hbar$.


title: Atomically-thin Ohmic Edge Contacts Between Two-dimensional Materials

abstract: With the decrease of the dimensions of electronic devices, the role played by electrical contacts is ever increasing, eventually coming to dominate the overall device volume and total resistance. This is especially problematic for monolayers of semiconducting transition metal dichalcogenides (TMDs), which are promising candidates for atomically thin electronics. Ideal electrical contacts to them would require the use of similarly thin electrode materials while maintaining low contact resistances. Here we report a scalable method to fabricate ohmic graphene edge contacts to two representative monolayer TMDs - MoS2 and WS2. The graphene and TMD layer are laterally connected with wafer-scale homogeneity, no observable overlap or gap, and a low average contact resistance of 30 k$\Omega$ $\mu$m. The resulting graphene edge contacts show linear current-voltage (IV) characteristics at room temperature, with ohmic behavior maintained down to liquid helium temperatures.


title: The tight subgiant branch of the intermediate-age star cluster NGC 411 implies a single-aged stellar population

abstract: The presence of extended main-sequence turn-off (eMSTO) regions in intermediate-age star clusters in the Large and Small Magellanic Clouds is often interpreted as resulting from extended star-formation histories (SFHs), lasting $\geq$ 300 Myr. This strongly conflicts with the traditional view of the dominant star-formation mode in stellar clusters, which are thought of as single-aged stellar populations. Here we present a test of this interpretation by exploring the morphology of the subgiant branch (SGB) of NGC 411, which hosts possibly the most extended eMSTO among all known intermediate-age star clusters. We show that the width of the NGC 411 SGB favours the single-aged stellar population interpretation and rules out an extended SFH. In addition, when considering the red clump (RC) morphology and adopting the unproven premise that the widths of all features in the colour--magnitude diagram are determined by an underlying range in ages, we find that the SFH implied is still very close to that resulting from a single-aged stellar population, with a minor fraction of stars scattering to younger ages compared with the bulk of the population. The SFHs derived from the SGB and RC are both inconsistent with the SFH derived from the eMSTO region. NGC 411 has a very low escape velocity and it has unlikely undergone significant mass loss at an early stage, thus indicating that it may lack the capacity to capture most of its initial, expelled gas from stellar evolutionary processes, a condition often required for extended SFHs to take root.


title: Global regularity of three dimensional density patch for inhomogeneous incompressible viscous flow

abstract: The present work is devoted to proving that the boundary regularity of the three dimensional density patch persists by time evolution for inhomogeneous incompressible viscous flow, with some smallness condition on the initial velocity.


title: Feedback-Aided Coded Caching for the MISO BC with Small Caches

abstract: This work explores coded caching in the symmetric $K$-user cache-aided MISO BC with imperfect CSIT-type feedback, for the specific case where the cache size is much smaller than the library size. Building on the recently explored synergy between caching and delayed-CSIT, and building on the tradeoff between caching and CSIT quality, the work proposes new schemes that boost the impact of small caches, focusing on the case where the cumulative cache size is smaller than the library size. For this small-cache setting, based on the proposed near-optimal schemes, the work identifies the optimal cache-aided degrees-of-freedom (DoF) performance within a factor of 4.


title: The unbroken spectrum of type-A Frobenius seaweeds

abstract: If $\mathfrak{g}$ is a Frobenius Lie algebra, then for certain $F\in \mathfrak{g}^*$ the natural map $\mathfrak{g}\longrightarrow \mathfrak{g}^* $ given by $x \longmapsto F[x,-]$ is an isomorphism. The inverse image of $F$ under this isomorphism is called a principal element. We show that if $\mathfrak{g}$ is a Frobenius seaweed subalgebra of $A_{n-1}=\mathfrak{sl}(n)$ then the spectrum of the adjoint of a principal element consists of an unbroken set of integers whose multiplicities have a symmetric distribution. Our proof methods are constructive and combinatorial in nature.


title: A product rule for triangular numbers

abstract: We prove that there are exactly five sequences, including the triangular numbers, that satisfy the product rule $T(mn) = T(m) T(n) + T(m-1) T(n-1)$ for all $m, n \ge 1$.


title: Broadband Circular Polarizers Constructed by Helix-like Chiral Metamaterials

abstract: In this paper, a kind of helix-like chiral metamaterial, which can be realized with multiple conventional lithography or electron beam lithographic techniques, is proposed to achieve broadband bianisotropic optical response analogous to helical metamaterial. On the basis of twisted metamaterial, via tailoring the relative orientation within the lattice, the anisotropy of arc is converted into magneto-electric coupling of closely spaced arc pairs, which leads to a broad bianisotropic optical response. By connecting the adjacent upper and lower arcs, the coupling of metasurface pairs is transformed to the coupling of the three-dimensional inclusions, and provides a much broader and higher bianisotropic optical response. For only a four-layer helix-like metamaterial, the maximum extinction ratio can reach 19.7. The operation band is in the wavelength range from 4.69 {\mu}m to 8.98 {\mu}m with an average extinction ratio of 6.9. And the transmittance for selective polarization is above 0.8 in the entire operation band. Such a structure is promising for integratable and scalable broadband circular polarizers, especially has great potential to act as broadband circular micropolarizers in the field of the full-stokes division of focal plane polarimeters.


title: Complex systems: features, similarity and connectivity

abstract: The increasing interest in complex networks research has been a consequence of several intrinsic features of this area, such as the generality of the approach to represent and model virtually any discrete system, and the incorporation of concepts and methods deriving from many areas, from statistical physics to sociology, which are often used in an independent way. Yet, for this same reason, it would be desirable to integrate these various aspects into a more coherent and organic framework, which would imply in several benefits normally allowed by the systematization in science, including the identification of new types of problems and the cross-fertilization between fields. More specifically, the identification of the main areas to which the concepts frequently used in complex networks can be applied paves the way to adopting and applying a larger set of concepts and methods deriving from those respective areas. Among the several areas that have been used in complex networks research, pattern recognition, optimization, linear algebra, and time series analysis seem to play a more basic and recurrent role. In the present manuscript, we propose a systematic way to integrate the concepts from these diverse areas regarding complex networks research. In order to do so, we start by grouping the multidisciplinary concepts into three main groups, namely features, similarity, and network connectivity. Then we show that several of the analysis and modeling approaches to complex networks can be thought as a composition of maps between these three groups, with emphasis on nine main types of mappings, which are presented and illustrated. Such a systematization of principles and approaches also provides an opportunity to review some of the most closely related works in the literature, which is also developed in this article.


title: Manganite-based three level memristive devices with self-healing capability

abstract: We report on non-volatile memory devices based on multifunctional manganites. The electric field induced resistive switching of Ti/$La_{1/3}$$Ca_{2/3}$Mn$O_3$/n-Si devices is explored using different measurement protocols. We show that using current as the electrical stimulus (instead of standard voltage-controlled protocols) improves the electrical performance of our devices and unveils an intermediate resistance state. We observe three discrete resistance levels (low, intermediate and high), which can be set either by the application of current-voltage ramps or by means of single pulses. These states exhibit retention and endurance capabilities exceeding $10^4$ s and 70 cycles, respectively. We rationalize our experimental observations by proposing a mixed scenario were a metallic filament and a Si$O_x$ layer coexist, accounting for the observed resistive switching. Overall electrode area dependence and temperature dependent resistance measurements support our scenario. After device failure takes place, the system can be turned functional again by heating up to low temperature (120 C), a feature that could be exploited for the design of memristive devices with self-healing functionality. These results give insight into the existence of multiple resistive switching mechanisms in manganite-based memristive systems and provide strategies for controlling them.


title: Interference-aided spectrum fitting method for accurately film thickness determination

abstract: A new approach was proposed to accurately determine the thickness of film, especially for ultra-thin film, through spectrum fitting with the assistance of interference layer. The determination limit can reach even less than 1 nm. Its accuracy is far better than traditional methods. This determination method is verified by experiments and the determination limit is at least 3.5 nm compared with the results of AFM. Furthermore, double-interference-aided spectra fitting method is proposed to reduce the requirements of determination instruments, which allow one to determine the film thickness with a low precision common spectrometer and largely lower the cost. It is a very high precision determination method for on-site and in-situ applications, especially for ultra-thin films.


title: Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

abstract: PLACES 2016 (full title: Programming Language Approaches to Concurrency- and Communication-Centric Software) is the ninth edition of the PLACES workshop series. After the first PLACES, which was affiliated to DisCoTec in 2008, the workshop has been part of ETAPS every year since 2009 and is now an established part of the ETAPS satellite events. PLACES 2016 was held on 8th April in Eindhoven, The Netherlands. The workshop series was started in order to promote the application of novel programming language ideas to the increasingly important problem of developing software for systems in which concurrency and communication are intrinsic aspects. This includes software for both multi-core systems and large-scale distributed and/or service-oriented systems. The scope of PLACES includes new programming language features, whole new programming language designs, new type systems, new semantic approaches, new program analysis techniques, and new implementation mechanisms. This volume consists of the papers accepted for presentation at the workshop.


title: Extended VHE gamma-ray emission towards SGR1806-20, LBV1806-20, and stellar cluster Cl*1806-20

abstract: Using the High Energy Spectroscopic System (H.E.S.S.) telescopes we have discovered a steady and extended very high-energy (VHE) gamma-ray source towards the luminous blue variable candidate LBV1806-20, massive stellar cluster Cl*1806-20, and magnetar SGR1806-20. The new VHE source, HESSJ1808-204, was detected at a statistical significance of >6sigma (post-trial) with a photon flux normalisation $(2.9 \pm 0.4_{\rm stat} \pm 0.5_{\rm sys})\times 10^{-13}$\,ph\,cm$^{-2}$\,s$^{-1}$\,TeV$^{-1}$ at 1TeV and a power-law photon index of $2.3\pm0.2_{\rm stat}\pm 0.3_{\rm sys}$. The luminosity of this source (0.2 to 10 TeV; scaled to distance d=8.7kpc) is $L_{\rm VHE}\sim1.6 \times 10^{34}(d/{8.7kpc})^2$\,erg\,s$^{-1}$. The VHE gamma-ray emission is extended and is well fit by a single Gaussian with statistical standard deviation of $0.095^\circ \pm 0.015^\circ$. This extension is similar to that of the synchrotron radio nebula G10.0-0.3, which is thought to be powered by LBV1806-20. The VHE gamma-ray luminosity could be provided by the stellar wind luminosity of LBV1806-20 by itself and/or the massive star members of Cl*1806-20. Alternatively, magnetic dissipation (e.g. via reconnection) from SGR1806-20 can potentially account for the VHE luminosity. The origin and hadronic and/or leptonic nature of the accelerated particles responsible for HESSJ1808-204 is not yet clear. If associated with SGR1806-20, the potentially young age of the magnetar (650yr) can be used to infer the transport limits of these particles to match the VHE source size. This discovery provides new interest in the potential for high-energy particle acceleration from magnetars, massive stars, and/or stellar clusters.


title: Explosive spreading on complex networks: the role of synergy

abstract: In spite of the vast literature on spreading dynamics on complex networks, the role of local synergy, i.e., the interaction of elements that when combined produce a total effect greater than the sum of the individualelements, has been studied but only for irreversible spreading dynamics. Reversible spreading dynamics are ubiquitous but their interplay with synergy has remained unknown. To fill this knowledge gap, we articulate a model to incorporate local synergistic effect into the classical susceptible-infected-susceptible process, in which the probability for a susceptible node to become infected through an infected neighbor is enhanced when the neighborhood of the latter contains a number of infected nodes. We derive master equations incorporating the synergistic effect, with predictions that agree well with the numerical results. A striking finding is that, when a parameter characterizing the strength of the synergy reinforcement effect is above a critical value, the steady state density of the infected nodes versus the basic transmission rate exhibits an explosively increasing behavior and a hysteresis loop emerges. In fact, increasing the synergy strength can promote the spreading and reduce the invasion and persistence thresholds of the hysteresis loop. A physical understanding of the synergy promoting explosive spreading and the associated hysteresis behavior can be obtained through a mean-field analysis.


title: Phenomenological spin transport theory driven by anomalous Nernst effect

abstract: Several experimental efforts such as material investigation and structure improvement have been made recently to find a large anomalous Nernst effect in ferromagnetic metals. Here, we develop a theory of spin transport driven by the anomalous Nernst effect in a diffusive ferromagnetic/nonmagnetic multilayer. Starting from a phenomenological formula of a spin-dependent electric current, the theoretical formulas of electric voltage and spin torque generated by the anomalous Nernst effect are derived. The magnitude of the electric voltage generated from the spin current via the inverse spin Hall effect is on the order of $0.1$ $\mu$V for currently available experimental parameter values. The temperature gradient necessary to switch the magnetization is quite larger than the typical experimental value. The separation of the contributions of the Seebeck and transverse spin Seebeck effects is also discussed.


title: Pyramid quantile regression

abstract: Quantile regression models provide a wide picture of the conditional distributions of the response variable by capturing the effect of the covariates at different quantile levels. In most applications, the parametric form of those conditional distributions is unknown and varies across the covariate space, so fitting the given quantile levels simultaneously without relying on parametric assumptions is crucial. In this work we propose a Bayesian model for simultaneous linear quantile regression. More specifically, we propose to model the conditional distributions by using random probability measures known as quantile pyramids. Unlike many existing approaches, our framework allows us to specify meaningful priors on the conditional distributions, whilst retaining the flexibility afforded by the nonparametric error distribution formulation. Simulation studies demonstrate the flexibility of the proposed approach in estimating diverse scenarios, generally outperforming other competitive methods. The method is particularly promising for modelling the extremal quantiles. Applications to linear splines and extreme value analysis are also explored through real data examples.


title: Effective information spreading based on local information in correlated networks

abstract: Using network-based information to facilitate information spreading is an essential task for spreading dynamics in complex networks, which will benefit the promotion of technical innovations, healthy behaviors, new products, etc. Focusing on degree correlated networks, we propose a preferential contact strategy based on the local network structure and local informed density to promote the information spreading. During the spreading process, an informed node will preferentially select a contact target among its neighbors, basing on their degrees or local informed densities. By extensively implementing numerical simulations in synthetic and empirical networks, we find that when only consider the local structure information, the convergence time of information spreading will be remarkably reduced if low-degree neighbors are favored as contact targets. Meanwhile, the minimum convergence time depends non-monotonically on degree-degree correlation, and moderate correlation coefficients result in most efficient information spreading. Incorporating the informed density information into contact strategy, the convergence time of information spreading can be further reduced. Finally, we show that by using local informed density is more effective as compared with the global case.


title: Sense Embedding Learning for Word Sense Induction

abstract: Conventional word sense induction (WSI) methods usually represent each instance with discrete linguistic features or cooccurrence features, and train a model for each polysemous word individually. In this work, we propose to learn sense embeddings for the WSI task. In the training stage, our method induces several sense centroids (embedding) for each polysemous word. In the testing stage, our method represents each instance as a contextual vector, and induces its sense by finding the nearest sense centroid in the embedding space. The advantages of our method are (1) distributed sense vectors are taken as the knowledge representations which are trained discriminatively, and usually have better performance than traditional count-based distributional models, and (2) a general model for the whole vocabulary is jointly trained to induce sense centroids under the mutlitask learning framework. Evaluated on SemEval-2010 WSI dataset, our method outperforms all participants and most of the recent state-of-the-art methods. We further verify the two advantages by comparing with carefully designed baselines.


title: Diagnosing the Source Region of a Solar Burst on 26 September 2011 by Microwave Type III Pairs

abstract: This work reports a peculiar and interesting train of microwave type III pair bursts in the impulsive rising phase of a solar flare on 2011 September 26. The observations include radio spectrometers at frequency of 0.80 - 2.00 GHz, hard X-ray (RHESSI and FERMI), EUV images of SWAP/PROBA-2 and magnetogram of HMI/SDO. By using a recently developed method (Tan et al. 2016a), we diagnosed the plasma density, temperature, plasma beta, magnetic field near the source region, the energy of energetic electrons and the distance between the acceleration region and the emission start sites of type III bursts. From the diagnostics, we find that: (1) The plasma density, temperature, magnetic field, and the distance between the acceleration region and the emission start sites almost have no obvious variations during the period of type III pair trains, while the energy of electrons has an obvious peak value which is consistent to the hard X-ray emission. (2) The plasma beta is much higher than an unity showing a highly dynamic process near the emission start site of type III bursts. (3) Although the reversed-slope type III branches drift slower at one order of magnitude than that of the normal type III branches, the related downgoing and upgoing electrons still could have same order of magnitude of energy. These facts indicate that both of the upgoing and downgoing electrons are possibly accelerated by similar mechanism and in a small source region. This diagnostics can help us to understand the microphysics in the source region of solar bursts.


title: Clifford theory on rational Cherednik algebras of imprimitive groups

abstract: Ram and Rammage have introduced an automorphism and Clifford theory on affine Hecke algebras. Here we will extend them to cyclotomic Hecke algebras and rational Cherednik algebras.


title: High-Q silk fibroin whispering gallery microresonator

abstract: We have experimentally demonstrated an on-chip all-silk fibroin whispering gallery mode microresonator by using a simple molding and solution-casting technique. The quality factors of the fabricated silk protein microresonators are up to 10^5. A high-sensitivity thermal sensor was realized in this silk fibroin microtoroid with sensitivity of 1.17 nm/K, 8 times higher than previous WGM resonator based thermal sensors. This opens the way to fabricate biodegradable and biocompatible protein based microresonators on a flexible chip for biophotonics applications.


title: CMS-RCNN: Contextual Multi-Scale Region-based CNN for Unconstrained Face Detection

abstract: Robust face detection in the wild is one of the ultimate components to support various facial related problems, i.e. unconstrained face recognition, facial periocular recognition, facial landmarking and pose estimation, facial expression recognition, 3D facial model construction, etc. Although the face detection problem has been intensely studied for decades with various commercial applications, it still meets problems in some real-world scenarios due to numerous challenges, e.g. heavy facial occlusions, extremely low resolutions, strong illumination, exceptionally pose variations, image or video compression artifacts, etc. In this paper, we present a face detection approach named Contextual Multi-Scale Region-based Convolution Neural Network (CMS-RCNN) to robustly solve the problems mentioned above. Similar to the region-based CNNs, our proposed network consists of the region proposal component and the region-of-interest (RoI) detection component. However, far apart of that network, there are two main contributions in our proposed network that play a significant role to achieve the state-of-the-art performance in face detection. Firstly, the multi-scale information is grouped both in region proposal and RoI detection to deal with tiny face regions. Secondly, our proposed network allows explicit body contextual reasoning in the network inspired from the intuition of human vision system. The proposed approach is benchmarked on two recent challenging face detection databases, i.e. the WIDER FACE Dataset which contains high degree of variability, as well as the Face Detection Dataset and Benchmark (FDDB). The experimental results show that our proposed approach trained on WIDER FACE Dataset outperforms strong baselines on WIDER FACE Dataset by a large margin, and consistently achieves competitive results on FDDB against the recent state-of-the-art face detection methods.


title: Magnetic sublevel independent magic wavelengths: Application in the Rb and Cs atoms

abstract: A generic scheme to trap atoms at the magic wavelengths ($\lambda_{\rm{magic}}$s) that are independent of vector and tensor components of the interactions of the atoms with the external electric field is presented. The $\lambda_{\rm{magic}}$s for the laser cooling D2 lines in the Rb and Cs atoms are demonstrated and their corresponding polarizability values without vector and tensor contributions are given. Consequently, these $\lambda_{\rm{magic}}$s are independent of magnetic sublevels and hyperfine levels of the atomic states involved in the transition, thus, can offer unique approaches to carry out many high precision measurements with minimal systematics. Inevitably, the proposed technique can also be used for electronic or hyperfine transitions in other atomic systems.


title: Multi-feature combined cloud and cloud shadow detection in GaoFen-1 wide field of view imagery

abstract: The wide field of view (WFV) imaging system onboard the Chinese GaoFen-1 (GF-1) optical satellite has a 16-m resolution and four-day revisit cycle for large-scale Earth observation. The advantages of the high temporal-spatial resolution and the wide field of view make the GF-1 WFV imagery very popular. However, cloud cover is an inevitable problem in GF-1 WFV imagery, which influences its precise application. Accurate cloud and cloud shadow detection in GF-1 WFV imagery is quite difficult due to the fact that there are only three visible bands and one near-infrared band. In this paper, an automatic multi-feature combined (MFC) method is proposed for cloud and cloud shadow detection in GF-1 WFV imagery. The MFC algorithm first implements threshold segmentation based on the spectral features and mask refinement based on guided filtering to generate a preliminary cloud mask. The geometric features are then used in combination with the texture features to improve the cloud detection results and produce the final cloud mask. Finally, the cloud shadow mask can be acquired by means of the cloud and shadow matching and follow-up correction process. The method was validated using 108 globally distributed scenes. The results indicate that MFC performs well under most conditions, and the average overall accuracy of MFC cloud detection is as high as 96.8%. In the contrastive analysis with the official provided cloud fractions, MFC shows a significant improvement in cloud fraction estimation, and achieves a high accuracy for the cloud and cloud shadow detection in the GF-1 WFV imagery with fewer spectral bands. The proposed method could be used as a preprocessing step in the future to monitor land-cover change, and it could also be easily extended to other optical satellite imagery which has a similar spectral setting.


title: Taming Weak Memory Models

abstract: Speculative techniques in microarchitectures relax various dependencies in programs, which contributes to the complexity of (weak) memory models. We show using WMM, a new weak memory model, that the model becomes simpler if it includes load-value speculation and thus, does not enforce any dependency! However, in the absence of good value-prediction techniques, a programmer may end up paying a price for the extra fences. Thus, we also present WMM-D, which enforces the dependencies captured by the current microarchitectures. WMM-D is still much simpler than other existing models. We also show that non-atomic multi-copy stores arise as a result of sharing write-through caches. We think restricting microarchitectures to write-back caches (and thus simpler weak memory models) will not incur any performance penalty. Nevertheless, we present WMM-S, another extension to WMM, which could model the effects of non-atomic multi-copy stores. WMM, WMM-D, and WMM-S are all defined using Instantaneous Instruction Execution (I^2E), a new way of describing memory models without explicit reordering or speculative execution.


title: Fourth-order two-stage explicit exponential integrators for solving differential equations

abstract: Among the family of fourth-order time integration schemes, the two-stage Gauss--Legendre method, which is an implicit Runge--Kutta method based on collocation, is the only superconvergent. The computational cost of this implicit scheme for large systems, however, is very high since it requires solving a nonlinear system at every step. Surprisingly, in this work we show that one can construct and prove convergence results for exponential methods of order four which use two stages only. Specifically, we derive two new fourth-order two-stage exponential Rosenbrock schemes for solving large systems of differential equations. Moreover, since the newly schemes are not only superconvergent but also fully explicit, they clearly offer great advantages over the two-stage Gauss--Legendre method as well as other time integration schemes. Numerical experiments are given to demonstrate the efficiency of the new integrators.


title: Covariate adjustment in randomization-based causal inference for 2K factorial designs

abstract: We develop finite-population asymptotic theory for covariate adjustment in randomization-based causal inference for 2K factorial designs. In particular, we confirm that both the unadjusted and covariate-adjusted estimators of the factorial effects are asymptotically normal, and the latter is more precise than the former.


title: A Multi-level Mixed Element Method for the Eigenvalue Problem of Biharmonic Equation

abstract: In this paper, we discuss approximating the eigenvalue problem of biharmonic equation. We first present an equivalent mixed formulation which admits amiable nested discretization. Then, we construct multi-level finite element schemes by implementing the algorithm as in [33] to the nested discretizations on series of nested grids. The multi-level mixed scheme for biharmonic eigenvalue problem possesses optimal convergence rate and optimal computational cost. Both theoretical analysis and numerical verifications are presented.


title: Singularity of the generator subalgebra in $q$-Gaussian algebras

abstract: Given $-1 < q < 1$ and a separable real Hilbert space with dimension no less than 2, we prove that the generator subalgebra in the $q$-Gaussian algebra is singular.


title: Why semi-classical electrodynamics is not gauge invariant

abstract: It is shown that in semi-classical electrodynamics, which describes how electrically charged particles move according to the laws of quantum mechanics under the influence of a prescribed classical electromagnetic field, only a restricted class of gauge transformations is allowed. This lack of full gauge invariance, in contrast to the situation in classical and quantum electrodynamics which are fully gauge invariant theories, is due to the requirement that the scalar potential in the Hamiltonian of wave mechanics represent a physical potential. Probability amplitudes and energy differences are independent of gauge within this restricted class of gauge transformation.


title: Distribution of points with prescribed derivative in polynomial dynamics

abstract: In analogy to the equidistribution of preimages of a prescribed point by the iterates of a polynomial map in the complex plane towards the equilibrium measure, we show here the equidistribution of points for which the derivative of the n-th iterate of the polynomial takes a suitable prescribed value towards the equilibrium measure. We then give a similar statement in the space of degree d polynomials for the equidistribution of parameters for which the n-derivative at a given critical value has a prescribed derivative towards the activity current of the corresponding critical point.


title: An Analytical Approach for the Optimal Operation of Pumps in Booster Systems

abstract: The operation of pumps and booster systems accounts for 10% of the yearly energy consumption in Europe. Booster systems are used to ensure the water supply in multi-story buildings, office buildings and public institutions. The question arises how to operate a booster system in order to achieve an optimum in power consumption. In the present paper we derive the conditions for optimal operation.


title: Automorphisms and Ideals of Noncommutative Deformations of $\mathbb{C}^2/\mathbb{Z}_2$

abstract: Let $O_\tau(\Gamma)$ be a family of algebras \textit{quantizing} the coordinate ring of $\mathbb{C}^2 / \Gamma$, where $\Gamma$ is a finite subgroup of $\mathrm{SL}_2(\mathbb{C})$, and let $G_{\Gamma}$ be the automorphism group of $O_\tau$. We study the natural action of $G_\Gamma$ on the space of right ideals of $O_\tau$ (equivalently, finitely generated rank $1$ projective $O_\tau$-modules). It is known that the later can be identified with disjoint union of algebraic (quiver) varieties, and this identification is $G_\Gamma$-equivariant. In the present paper, when $\Gamma \cong \mathbb{Z}_2$, we show that the $G_{\Gamma}$-action on each quiver variety is transitive. We also show that the natural embedding of $G_\Gamma$ into $\mathrm{Pic}(O_\tau)$, the Picard group of $O_\tau$, is an isomorphism. These results are used to prove that there are countably many non-isomorphic algebras Morita equivalent to $O_\tau$, and explicit presentation of these algebras are given. Since algebras $O_\tau(\mathbb{Z}_2)$ are isomorphic to primitive factors of $U(sl_2)$, we obtain a complete description of algebras Morita equivalent to primitive factors. A structure of the group $G_{\Gamma}$, where $\Gamma$ is an arbitrary cyclic group, is also investigated. Our results generalize earlier results obtained for the (first) Weyl algebra $A_1$.


title: Dirac Index and Twisted Characters

abstract: Let G be a real reductive Lie group with maximal compact sub- group K. We generalize the usual notion of Dirac index to a twisted version, which is nontrivial even in case G and K do not have equal rank. We compute ordinary and twisted indices of standard modules. As applications, we study extensions of Harish-Chandra modules and twisted characters.


title: DecomposeMe: Simplifying ConvNets for End-to-End Learning

abstract: Deep learning and convolutional neural networks (ConvNets) have been successfully applied to most relevant tasks in the computer vision community. However, these networks are computationally demanding and not suitable for embedded devices where memory and time consumption are relevant. In this paper, we propose DecomposeMe, a simple but effective technique to learn features using 1D convolutions. The proposed architecture enables both simplicity and filter sharing leading to increased learning capacity. A comprehensive set of large-scale experiments on ImageNet and Places2 demonstrates the ability of our method to improve performance while significantly reducing the number of parameters required. Notably, on Places2, we obtain an improvement in relative top-1 classification accuracy of 7.7\% with an architecture that requires 92% fewer parameters compared to VGG-B. The proposed network is also demonstrated to generalize to other tasks by converting existing networks.


title: Proceedings First International Workshop on Hammers for Type Theories

abstract: This volume of EPTCS contains the proceedings of the First Workshop on Hammers for Type Theories (HaTT 2016), held on 1 July 2016 as part of the International Joint Conference on Automated Reasoning (IJCAR 2016) in Coimbra, Portugal. The proceedings contain four regular papers, as well as abstracts of the two invited talks by Pierre Corbineau (Verimag, France) and Aleksy Schubert (University of Warsaw, Poland).


title: How does a protein reach its binding locus: sliding along DNA chain or not?

abstract: In gene expression, various kinds of proteins need to bind to specific locus of DNA. It is still not clear how these proteins find their target locus. In this study, the mean first-passage time (FPT) of protein binding to its target locus on DNA chain is discussed by a chain-space coupled model. Our results show that the 1-dimensional diffusion constant has a critical value, with which the mean time spent by a protein to find its target locus is almost independent of the binding rate of protein to DNA chain and the detachment rate from DNA chain. Which implies that, the frequency of protein binding to DNA and the sliding time on DNA chain have little influence on the search efficiency, and therefore whether or not the 1-dimensional sliding on DNA chain increases the search efficiency depends on the 1-dimensional diffusion constant of the protein on DNA chain. This study also finds that only protein bindings to DNA loci which are close to the target locus help to increase the search efficiency, while bindings to those loci which are far from the target locus might delay the target binding process. As expected, the mean FPT increases with the distance between the initial position of protein in cell space and its target locus on DNA chain. The direct binding probability, which can be regarded as one index to describe if the 1-dimensional sliding along DNA chain is helpful to increase the search efficiency is calculated. Our results show that the influence of 1-dimensional sliding along DNA chain on the search process depends on both diffusion constants of protein in cell space and on the 1-dimensional DNA chain.


title: Factorization of Jet Mass Distribution in the small $R$ limit

abstract: We derive a factorization theorem for the jet mass distribution with a given $p_T^J$ for the inclusive production, where $p_T^J$ is a large jet transverse momentum. Considering the small jet radius limit $(R\ll 1)$ we factorize the scattering cross section into a partonic cross section, the fragmentation function to a jet, and the jet mass distribution function. The decoupled jet mass distributions for quark and gluon jets are well-normalized and scale invariant. And they can be extracted from the ratio of two scattering cross sections such as $d\sigma/(dp_T^JdM_J^2)$ and $d\sigma/dp_T^J$. When $M_J \sim p_T^J R$, the perturbative series expansion for the jet mass distributions works well. As the jet mass becomes small, the large logarithms of $M_J / (p_T^J R)$ appear, and they can be systematically resummed through more refined factorization theorem for the jet mass distribution.


title: Mechanical Actuation of Magnetic Domain-Wall Motion

abstract: We theoretically study the motion of a magnetic domain wall induced by transverse elastic waves in a one-dimensional magnetic wire, which respects both rotational and translational symmetries. By invoking the conservation of the associated total angular and linear momenta, we are able to derive the torque and the force on the domain wall exerted by the waves. We then show how ferromagnetic and antiferromagnetic domain walls can be driven by circularly- and linear-polarized waves, respectively. We envision that elastic waves may provide effective means to drive the dynamics of magnetic solitons in insulators.


title: Anonymized e-mail interviews with R package maintainers active on CRAN and GitHub

abstract: This technical report accompanies a research article that empirically studies the problems related to inter-repository package dependencies in the R ecosystem of statistical computing, with a focus on R packages hosted on CRAN and GitHub. The current report provides supplementary material, reproducing an anonymised and sanitised version of e-mail interviews that have been conducted in November 2015 with five active R package maintainers. The goal was to gain a better understanding in how R package maintainers develop and distribute their packages through GitHub and CRAN. All five interviewees were actively maintaining packages on GitHub, some were also active on CRAN. They have been selected based on their profile (the number of R packages they maintain on GitHub and/or CRAN) as well as their gender (three interviewees were male, two were female).


title: A brief introduction to pseudo-spectral methods: application to diffusion problems

abstract: The topic of these notes could be easily expanded into a full one-semester course. Nevertheless, we shall try to give some flavour along with theoretical bases of spectral and pseudo-spectral methods. The main focus is made on Fourier-type discretizations, even if some indications on how to handle non-periodic problems via Tchebyshev and Legendre approaches are made as well. The applications presented here are diffusion-type problems in accordance with the topics of the PhD school.


title: FVQA: Fact-based Visual Question Answering

abstract: Visual Question Answering (VQA) has attracted a lot of attention in both Computer Vision and Natural Language Processing communities, not least because it offers insight into the relationships between two important sources of information. Current datasets, and the models built upon them, have focused on questions which are answerable by direct analysis of the question and image alone. The set of such questions that require no external information to answer is interesting, but very limited. It excludes questions which require common sense, or basic factual knowledge to answer, for example. Here we introduce FVQA, a VQA dataset which requires, and supports, much deeper reasoning. FVQA only contains questions which require external information to answer. We thus extend a conventional visual question answering dataset, which contains image-question-answerg triplets, through additional image-question-answer-supporting fact tuples. The supporting fact is represented as a structural triplet, such as <Cat,CapableOf,ClimbingTrees>. We evaluate several baseline models on the FVQA dataset, and describe a novel model which is capable of reasoning about an image on the basis of supporting facts.


title: New model of the pinning potential barrier in HTc superconductors

abstract: New model of the pinning potential barrier in multi-layered HTc superconductors has been presented, basing on geometrical approach to the capturing interaction of pancake type vortices with nano-scale defects. Using this model the transport current flow phenomena in these materials, especially current-voltage characteristics and critical current density, have been considered. Details of theoretical analysis are given, including derivation of basic mathematical equations describing the potential barrier in the function of transport current density and initial position of captured pancake vortex. Computer simulation has been performed then of influence of transport current amplitude on potential barrier height for various sizes of pinning centers and initial pancake vortex position as well as influence of fast neutrons irradiation on critical current of HTc layered superconductor.


title: Efficient Verification of Concurrent Programs Over TSO Memory Model

abstract: We address the problem of efficient verification of multi-threaded programs running over Total Store Order (TSO) memory model. It has been shown that even with finite data domain programs, the complexity of control state reachability under TSO is non-primitive recursive. In this paper, we first present a bounded-buffer verification approach wherein a bound on the size of buffers is placed; verification is performed incrementally by increasing the size of the buffer with each iteration of the verification procedure until the said bound is reached. For programs operating on finite data domains, we also demonstrate the existence of a buffer bound k such that if the program is safe under that bound, then it is also safe for unbounded buffers. We have implemented this technique in a tool ProofTraPar. Our results against memorax [2], a state-of-the-art sound and complete verifier for TSO memory model, have been encouraging.


title: Aberrations of the point spread function of a multimode fiber

abstract: We investigate the point spread function of a multimode fiber. The distortion of the focal spot created on the fiber output facet is studied for a variety of the parameters. We develop a theoretical model of wavefront shaping through a multimode fiber and use it to confirm our experimental results and analyze the nature of the focal distortions. We show that aberration-free imaging with a large field of view can be achieved by using an appropriate number of segments on the spatial light modulator during the wavefront-shaping procedure. The results describe aberration limits for imaging with multimode fibers as in, e.g., microendoscopy.


title: Length dependence of thermal conductivity by approach-to-equilibrium molecular dynamics

abstract: The length dependence of the thermal conductivity over more than two decades is systematically studied for a range of materials, interatomic potentials and temperatures, by the atomistic approach-to-equilibrium molecular dynamics method (AEMD). By comparing the values of conductivity obtained for a given supercell length and maximum phonon mean-free-path (MFP), we find that such values are strongly correlated, demonstrating that the AEMD calculation with a supercell of finite length, actually probes the thermal conductivity corresponding to a maximum phonon MFP. As a consequence, the less pronounced length dependence usually observed for poorer thermal conductors, such as amorphous silica, is physically justified by their shorter average phonon MFP. Finally, we compare different analytical extrapolations of the conductivity to infinite length, and demonstrate that the frequently used Matthiessen rule is not applicable in AEMD. An alternative extrapolation more suitable for transient-time, finite-supercell simulations is derived. This approximation scheme can also be used to classify the quality of different interatomic potential models with respect to their capability of predicting the experimental thermal conductivity.


title: Synthesis of C-rich dust in CO nova ourbursts

abstract: Context. Classical novae are thermonuclear explosions that take place in the envelopes of accreting white dwarfs in stellar binary systems. The material transferred onto the white dwarf piles up under degenerate conditions, driving a thermonuclear runaway. In those outbursts, about 10-7 - 10-3 Msun, enriched in CNO and, sometimes, other intermediate-mass elements (e.g., Ne, Na, Mg, or Al, for ONe novae) are ejected into the interstellar medium. The large concentrations of metals spectroscopically inferred in the nova ejecta reveal that the (solar-like) material transferred from the secondary mixes with the outermost layers of the underlying white dwarf. Aims. Most theoretical models of nova outbursts reported to date yield, on average, outflows characterized by O > C, from which only oxidized condensates (e.g, O-rich grains) would be expected, in principle. Methods. To specifically address whether CO novae can actually produce C-rich dust, six different hydrodynamic nova models have been evolved, from accretion to the expansion and ejection stages, with different choices for the composition of the substrate with which the solar-like accreted material mixes. Updated chemical profiles inside the H-exhausted core have been used, based on stellar evolution calculations for a progenitor of 8 Msun through H and He-burning phases. Results. We show that these profiles lead to C-rich ejecta after the nova outburst. This extends the possible contribution of novae to the inventory of presolar grains identified in meteorites, particularly in a number of carbonaceous phases (i.e., nanodiamonds, silicon carbides and graphites).


title: Global-Scale Resource Survey and Performance Monitoring of Public OGC Web Map Services

abstract: One of the most widely-implemented service standards provided by the Open Geospatial Consortium (OGC) to the user community is the Web Map Service (WMS). WMS is widely employed globally, but there is limited knowledge of the global distribution, adoption status or the service quality of these online WMS resources. To fill this void, we investigated global WMSs resources and performed distributed performance monitoring of these services. This paper explicates a distributed monitoring framework that was used to monitor 46,296 WMSs continuously for over one year and a crawling method to discover these WMSs. We analyzed server locations, provider types, themes, the spatiotemporal coverage of map layers and the service versions for 41,703 valid WMSs. Furthermore, we appraised the stability and performance of basic operations for 1210 selected WMSs (i.e., GetCapabilities and GetMap). We discuss the major reasons for request errors and performance issues, as well as the relationship between service response times and the spatiotemporal distribution of client monitoring sites. This paper will help service providers, end users and developers of standards to grasp the status of global WMS resources, as well as to understand the adoption status of OGC standards. The conclusions drawn in this paper can benefit geospatial resource discovery, service performance evaluation and guide service performance improvements.


title: Properties and Modeling of Unresolved Fine Structure Loops Observed in the Solar Transition Region by IRIS

abstract: Recent observations from the Interface Region Imaging Spectrograph (IRIS) have discovered a new class of numerous low-lying dynamic loop structures, and it has been argued that they are the long-postulated unresolved fine structures (UFS) that dominate the emission of the solar transition region. In this letter, we combine IRIS measurements of the properties of a sample of 108 UFS (intensities, lengths, widths, lifetimes) with 1-D non-equilibrium ionization simulations using the HYDRAD hydrodynamic model to examine whether the UFS are now truly spatially resolved in the sense of being individual structures rather than composed of multiple magnetic threads. We find that a simulation of an impulsively heated single strand can reproduce most of the observed properties suggesting that the UFS may be resolved, and the distribution of UFS widths implies that they are structured on a spatial scale of 133km on average. Spatial scales of a few hundred km appear to be typical for a range of chromospheric and coronal structures, and we conjecture that this could be an important clue to the coronal heating process.


title: Local strong solutions to the stochastic compressible Navier-Stokes system

abstract: We study the Navier-Stokes system describing the motion of a compressible viscous fluid driven by a nonlinear multiplicative stochastic force. We establish local in time existence (up to a positive stopping time) of a unique solution, which is strong in both PDE and probabilistic sense. Our approach relies on rewriting the problem as a symmetric hyperbolic system augmented by partial diffusion, which is solved via a suitable approximation procedure using the stochastic compactness method and the Yamada-Watanabe type argument based on the Gy\"ongy-Krylov characterization of convergence in probability. This leads to the existence of a strong (in the PDE sense) pathwise solution. Finally, we use various stopping time arguments to establish the local existence of a unique strong solution to the original problem.


title: Bilayer splitting versus Fermi-surface warping as an origin of slow oscillations of in-plane magnetoresistance in rare-earth tritellurides

abstract: Slow oscillations (SlO) of the in-plane magnetoresistance with a frequency less than 4 T are observed in the rare-earth tritellurides and proposed as an effective tool to explore the electronic structure in various strongly anisotropic quasi-two-dimensional compounds. Contrary to the usual Shubnikov-de-Haas oscillations, SlO originate not from small Fermi-surface pockets, but from the entanglement of close frequencies due to a finite interlayer transfer integral, either between the two Te planes forming a bilayer or between two adjacent bilayers. From the observed angular dependence of the frequency and the phase of SlO we argue that they originate from the bilayer splitting rather than from the Fermi-surface warping. The SlO frequency gives the value of the interlayer transfer integral $\approx 1$ meV for TbTe$_3$ and GdTe$_3$.


title: One sided extendability and p-continuous analytic capacities

abstract: Using complex methods combined with Baire's Theorem we show that one-sided extendability, extendability and real analyticity are rare phenomena on various spaces of functions in the topological sense. These considerations led us to introduce the p-continuous analytic capacity and variants of it, $p \in \{ 0, 1, 2, \cdots \} \cup \{ \infty \}$, for compact or closed sets in $\mathbb{C}$. We use these capacities in order to characterize the removability of singularities of functions in the spaces $A^p$.


title: Short interval expansion of R\'enyi entropy on torus

abstract: We investigate the short interval expansion of the R\'enyi entropy for two-dimensional conformal field theory (CFT) on a torus. We require the length of the interval $\ell$ to be small with respect to the spatial and temporal sizes of the torus. The operator product expansion of the twist operators allows us to compute the short interval expansion of the R\'enyi entropy at any temperature. In particular, we pay special attention to the large $c$ CFTs dual to the AdS$_3$ gravity and its cousins. At both low and high temperature limits, we read the R\'enyi entropies to order $\ell^6$, and find good agreements with holographic results. Moreover, the expansion allows us to read $1/c$ contribution, which is hard to get by expanding the thermal density matrix. We generalize the study to the case with the chemical potential as well.


title: A Few Notes on Formal Balls

abstract: Using the notion of formal ball, we present a few new results in the theory of quasi-metric spaces. With no specific order: every continuous Yoneda-complete quasi-metric space is sober and convergence Choquet-complete hence Baire in its $d$-Scott topology; for standard quasi-metric spaces, algebraicity is equivalent to having enough center points; on a standard quasi-metric space, every lower semicontinuous $\bar{\mathbb{R}}_+$-valued function is the supremum of a chain of Lipschitz Yoneda-continuous maps; the continuous Yoneda-complete quasi-metric spaces are exactly the retracts of algebraic Yoneda-complete quasi-metric spaces; every continuous Yoneda-complete quasi-metric space has a so-called quasi-ideal model, generalizing a construction due to K. Martin. The point is that all those results reduce to domain-theoretic constructions on posets of formal balls.


title: Abducing Compliance of Incomplete Event Logs

abstract: The capability to store data about business processes execution in so-called Event Logs has brought to the diffusion of tools for the analysis of process executions and for the assessment of the goodness of a process model. Nonetheless, these tools are often very rigid in dealing with with Event Logs that include incomplete information about the process execution. Thus, while the ability of handling incomplete event data is one of the challenges mentioned in the process mining manifesto, the evaluation of compliance of an execution trace still requires an end-to-end complete trace to be performed. This paper exploits the power of abduction to provide a flexible, yet computationally effective, framework to deal with different forms of incompleteness in an Event Log. Moreover it proposes a refinement of the classical notion of compliance into strong and conditional compliance to take into account incomplete logs. Finally, performances evaluation in an experimental setting shows the feasibility of the presented approach.


title: On dualities for SSEP and ASEP with open boundary conditions

abstract: Duality relations for simple exclusion processes with general open boundaries are discussed. It is shown that a combination of spin operators and bosonic operators enables us to have an unified discussion for the duality relations with the open boundaries. As for the symmetric simple exclusion process (SSEP), more general results than previous studies are obtained; it is clarified that not only the absorbing sites, but also additional sites, called copying sites, are needed for the boundaries in the dual process for the SSEP. The role of the copying sites is to conserve information about the particle states on the boundary sites. The similar discussions are applied to the asymmetric simple exclusion process (ASEP), in which the q-analogues are employed, and it is clarified that the ASEP with open boundaries has a complicated dual process on the boundaries.


title: Design, status and test of the Mu2e crystal calorimeter

abstract: The Mu2e experiment at Fermilab searches for the charged-lepton flavor violating neutrino-less conversion of a negative muon into an electron in the field of a aluminum nucleus. The dynamic of such a process is well modeled by a two-body decay, resulting in a monoenergetic electron with an energy slightly below the muon rest mass (104.967 MeV). The calorimeter of this experiment plays an important role to provide excellent particle identification capabilities and an online trigger filter while aiding the track reconstruction capabilities. The baseline calorimeter configuration consists of two disks each made with about 700 undoped CsI crystals read out by two large area UV-extended Silicon Photomultipliers. These crystals match the requirements for stability of response, high resolution and radiation hardness. In this paper we present the final calorimeter design.