title: Classical information driven quantum dot thermal machines

abstract: We analyze the transient response of quantum dot thermal machines that can be driven by hyperfine interaction acting as a source of classical information. Our setup comprises a quantum dot coupled to two contacts that drive heat flow while coupled to a nuclear spin bath. The quantum dot thermal machines operate both as batteries and as engines, depending on the parameter range. The electrons in the quantum dot interact with the nuclear spins via hyperfine spin-flip processes as typically seen in solid state systems such as GaAs quantum dots. The hyperfine interaction in such systems, which is often treated as a deterrent for quantum information processing, can favorably be regarded as a driving agent for classical information flow into a heat engine setup. We relate this information flow to Landauer's erasure of the nuclear spin bath, leading to a battery operation. We further demonstrate that the setup can perform as a transient power source even under a voltage bias across the dot. Focusing on the transient thermoelectric operation, our analysis clearly indicates the role of Landauer's erasure to deliver a higher output power than a conventional quantum dot thermoelectric setup and an efficiency greater than that of an identical Carnot cycle in steady state, which is consistent with recently proposed bounds on efficiency for systems subject to a feedback controller. The role of nuclear spin relaxation processes on these aspects is also studied. Finally, we introduce the Coulomb interaction in the dot and analyze the transient thermoelectric response of the system. Our results elaborate on the effective use of somewhat undesirable scattering processes as a non-equilibrium source of Shannon information flow in thermal machines and the possibilities that may arise from the use of a quantum information source.


title: Chip-based photon quantum state sources using nonlinear optics

abstract: The ability to generate complex optical photon states involving entanglement between multiple optical modes is not only critical to advancing our understanding of quantum mechanics but will play a key role in generating many applications in quantum technologies. These include quantum communications, computation, imaging, microscopy and many other novel technologies that are constantly being proposed. However, approaches to generating parallel multiple, customisable bi- and multi-entangled quantum bits (qubits) on a chip are still in the early stages of development. Here, we review recent developments in the realisation of integrated sources of photonic quantum states, focusing on approaches based on nonlinear optics that are compatible with contemporary optical fibre telecommunications and quantum memory infrastructures as well as with chip-scale semiconductor technology. These new and exciting platforms hold the promise of compact, low-cost, scalable and practical implementations of sources for the generation and manipulation of complex quantum optical states on a chip, which will play a major role in bringing quantum technologies out of the laboratory and into the real world.


title: Measurement of human activity using velocity GPS data obtained from mobile phones

abstract: Human movement is used as an indicator of human activity in modern society. The velocity of moving humans is calculated based on position information obtained from mobile phones. The level of human activity, as recorded by velocity, varies throughout the day. Therefore, velocity can be used to identify the intervals of highest and lowest activity. More specifically, we obtained mobile-phone GPS data from the people around Shibuya station in Tokyo, which has the highest population density in Japan. From these data, we observe that velocity tends to consistently increase with the changes in social activities. For example, during the earthquake in Kumamoto Prefecture in April 2016, the activity on that day was much lower than usual. In this research, we focus on natural disasters such as earthquakes owing to their significant effects on human activities in developed countries like Japan. In the event of a natural disaster in another developed country, considering the change in human behavior at the time of the disaster (e.g., the 2016 Kumamoto Great Earthquake) from the viewpoint of velocity allows us to improve our planning for mitigation measures. Thus, we analyze the changes in human activity through velocity calculations in Shibuya, Tokyo, and compare times of disasters with normal times.


title: Network Simplex Algorithm associated with the Maximum Flow Problem

abstract: In the present paper, we apply the network simplex algorithm for solving the minimum cost flow problem, to the maximum flow problem. Then we prove that the cycling phenomenon which causes the infinite loop in the algorithm, does not occur in the network simplex algorithm associated with the maximum flow problem.


title: Accurate Pulmonary Nodule Detection in Computed Tomography Images Using Deep Convolutional Neural Networks

abstract: Early detection of pulmonary cancer is the most promising way to enhance a patient's chance for survival. Accurate pulmonary nodule detection in computed tomography (CT) images is a crucial step in diagnosing pulmonary cancer. In this paper, inspired by the successful use of deep convolutional neural networks (DCNNs) in natural image recognition, we propose a novel pulmonary nodule detection approach based on DCNNs. We first introduce a deconvolutional structure to Faster Region-based Convolutional Neural Network (Faster R-CNN) for candidate detection on axial slices. Then, a three-dimensional DCNN is presented for the subsequent false positive reduction. Experimental results of the LUng Nodule Analysis 2016 (LUNA16) Challenge demonstrate the superior detection performance of the proposed approach on nodule detection(average FROC-score of 0.891, ranking the 1st place over all submitted results).


title: Dueling Bandits With Weak Regret

abstract: We consider online content recommendation with implicit feedback through pairwise comparisons, formalized as the so-called dueling bandit problem. We study the dueling bandit problem in the Condorcet winner setting, and consider two notions of regret: the more well-studied strong regret, which is 0 only when both arms pulled are the Condorcet winner; and the less well-studied weak regret, which is 0 if either arm pulled is the Condorcet winner. We propose a new algorithm for this problem, Winner Stays (WS), with variations for each kind of regret: WS for weak regret (WS-W) has expected cumulative weak regret that is $O(N^2)$, and $O(N\log(N))$ if arms have a total order; WS for strong regret (WS-S) has expected cumulative strong regret of $O(N^2 + N \log(T))$, and $O(N\log(N)+N\log(T))$ if arms have a total order. WS-W is the first dueling bandit algorithm with weak regret that is constant in time. WS is simple to compute, even for problems with many arms, and we demonstrate through numerical experiments on simulated and real data that WS has significantly smaller regret than existing algorithms in both the weak- and strong-regret settings.


title: Warped Product Pointwise Semi-slant Submanifolds of Almost Contact Manifolds

abstract: Recently, B.-Y. Chen and O. J. Garay studied pointwise slant submanifolds of almost Hermitian manifolds. By using the notion of pointwise slant submanifolds, we investigate the geometry of pointwise semi-slant submanifolds and their warped products in Sasakian and cosymplectic manifolds. We prove that there exist no proper pointwise semi-slant warped product submanifold other than contact CR-warped products in Sasakian manifolds. We give non-trivial examples of such submanifolds in cosypmlectic manifolds and obtain several fundamental results, including a characterization for warped product pointwise semi-slant submanifolds.


title: Photo-realistic Facial Texture Transfer

abstract: Style transfer methods have achieved significant success in recent years with the use of convolutional neural networks. However, many of these methods concentrate on artistic style transfer with few constraints on the output image appearance. We address the challenging problem of transferring face texture from a style face image to a content face image in a photorealistic manner without changing the identity of the original content image. Our framework for face texture transfer (FaceTex) augments the prior work of MRF-CNN with a novel facial semantic regularization that incorporates a face prior regularization smoothly suppressing the changes around facial meso-structures (e.g eyes, nose and mouth) and a facial structure loss function which implicitly preserves the facial structure so that face texture can be transferred without changing the original identity. We demonstrate results on face images and compare our approach with recent state-of-the-art methods. Our results demonstrate superior texture transfer because of the ability to maintain the identity of the original face image.


title: Homology of ternary algebras yielding invariants of knots and knotted surfaces

abstract: We define homology of ternary algebras satisfying axioms derived from particle scattering or, equivalently, from the third Reidemeister move. We show that ternary quasigroups satisfying these axioms appear naturally in invariants of Reidemeister, Yoshikawa, and Roseman moves. Our homology has a degenerate subcomplex. The normalized homology yields invariants of knots and knotted surfaces.


title: Completion of the Ablowitz-Kaup-Newell-Segur integrable coupling

abstract: Integrable couplings are associated with non-semisimple Lie algebras. In this paper, we propose a new method to generate new integrable systems through making perturbation in matrix spectral problems for integrable couplings, which is called the `completion process of integrable couplings'. As an example, the idea of construction is applied to the Ablowitz-Kaup-Newell-Segur integrable coupling. Each equation in the resulting hierarchy has a bi-Hamiltonian structure furnished by the component-trace identity.


title: GENFIRE: A generalized Fourier iterative reconstruction algorithm for high-resolution 3D imaging

abstract: Tomography has made a radical impact on diverse fields ranging from the study of 3D atomic arrangements in matter to the study of human health in medicine. Despite its very diverse applications, the core of tomography remains the same, that is, a mathematical method must be implemented to reconstruct the 3D structure of an object from a number of 2D projections. In many scientific applications, however, the number of projections that can be measured is limited due to geometric constraints, tolerable radiation dose and/or acquisition speed. Thus it becomes an important problem to obtain the best-possible reconstruction from a limited number of projections. Here, we present the mathematical implementation of a tomographic algorithm, termed GENeralized Fourier Iterative REconstruction (GENFIRE). By iterating between real and reciprocal space, GENFIRE searches for a global solution that is concurrently consistent with the measured data and general physical constraints. The algorithm requires minimal human intervention and also incorporates angular refinement to reduce the tilt angle error. We demonstrate that GENFIRE can produce superior results relative to several other popular tomographic reconstruction techniques by numerical simulations, and by experimentally by reconstructing the 3D structure of a porous material and a frozen-hydrated marine cyanobacterium. Equipped with a graphical user interface, GENFIRE is freely available from our website and is expected to find broad applications across different disciplines.


title: Reinforcement learning account of network reciprocity

abstract: Evolutionary game theory predicts that cooperation in social dilemma games is promoted when agents are connected as a network. However, when networks are fixed over time, humans do not necessarily show enhanced mutual cooperation. Here we show that reinforcement learning (specifically, the so-called Bush-Mosteller model) approximately explains the experimentally observed network reciprocity and the lack thereof in a parameter region spanned by the benefit-to-cost ratio and the node's degree. Thus, we significantly extend previously obtained numerical results.


title: Emergent Bistability and Switching in a Nonequilibrium Crystal

abstract: Multistability is an inseparable feature of many physical, chemical and biological systems which are driven far from equilibrium. In these nonequilibrium systems, stochastic dynamics often induces switching between distinct states on emergent timescales, for example, bistable switching is a natural feature of noisy, spatially-extended systems that consist of bistable elements. Nevertheless, here we present experimental evidence that bistable elements are not required for the global bistability of a system. We observe temporal switching between a crystalline, condensed state and a gas-like, excited state in a spatially-extended, quasi-two-dimensional system of charged microparticles. Accompanying numerical simulations show that conservative forces, damping, and stochastic noise are sufficient to prevent steady-state equilibrium, leading to switching between the two states over a range of time scales, from seconds to hours.


title: High-performance graphene-based electrostatic field sensor

abstract: Electrostatic sensing technology is widely utilized in both military and civilian applications, including electrostatic prevention in gas stations and various electronic devices. The high sensitivity of electrostatic sensor is capable to detect not only weak electrostatic charges, but also the weak disturbance of electrostatic field in distant. Here, we present a high-performance graphene-based electrostatic sensor. Combining the ultrahigh mobility of graphene and the long lifetime of carriers in lightly doped SiO2/Si substrate, our device achieves a fast response of ~2 us and detection limit of electrostatic potential as low as ~5 V, which is improved by an order of magnitude as compared to commercial product. The proposed device structure opens a promising pathway to high-sensitive electrostatic detection, and also greatly facilitates the development of novel sensors, e.g. portable and flexible electrostatic sensor.


title: Teaching Compositionality to CNNs

abstract: Convolutional neural networks (CNNs) have shown great success in computer vision, approaching human-level performance when trained for specific tasks via application-specific loss functions. In this paper, we propose a method for augmenting and training CNNs so that their learned features are compositional. It encourages networks to form representations that disentangle objects from their surroundings and from each other, thereby promoting better generalization. Our method is agnostic to the specific details of the underlying CNN to which it is applied and can in principle be used with any CNN. As we show in our experiments, the learned representations lead to feature activations that are more localized and improve performance over non-compositional baselines in object recognition tasks.


title: Spectroscopic and asteroseismic analysis of the remarkable main-sequence A star KIC 11145123

abstract: A spectroscopic analysis was carried out to clarify the properties of KIC 11145123 -- the first main-sequence star with a determination of core-to-surface rotation -- based on spectra observed with the High Dispersion Spectrograph (HDS) of the Subaru telescope. The atmospheric parameters ($T_{\rm eff} = 7600$ K, $\log g = 4.2$, $\xi = 3.1$ km s$^{-1}$ and $ {\rm [Fe/H]} = -0.71$ dex), the radial and rotation velocities, and elemental abundances were obtained by analysing line strengths and fitting line profiles, which were calculated with a 1D LTE model atmosphere. The main properties of KIC 11145123 are: (1) A low $ {\rm [Fe/H]} = -0.71\pm0.11$ dex and a high radial velocity of $-135.4 \pm 0.2$ km s$^{-1}$. These are remarkable among late-A stars. Our best asteroseismic models with this low [Fe/H] have slightly high helium abundance and low masses of 1.4 M$_\odot$. All of these results strongly suggest that KIC 11145123 is a Population II blue straggler; (2) The projected rotation velocity confirms the asteroseismically predicted slow rotation of the star; (3) Comparisons of abundance patterns between KIC 11145123 and Am, Ap, and blue stragglers show that KIC 11145123 is neither an Am star nor an Ap star, but has abundances consistent with a blue straggler. We conclude that the remarkably long 100-d rotation period of this star is a consequence of it being a blue straggler, but both pathways for the formation of blue stragglers -- merger and mass loss in a binary system -- pose difficulties for our understanding of the exceedingly slow rotation. In particular, we show that there is no evidence of any secondary companion star, and we put stringent limits on the possible mass of any such purported companion through the phase modulation (PM) technique.


title: RoboCup 2D Soccer Simulation League: Evaluation Challenges

abstract: We summarise the results of RoboCup 2D Soccer Simulation League in 2016 (Leipzig), including the main competition and the evaluation round. The evaluation round held in Leipzig confirmed the strength of RoboCup-2015 champion (WrightEagle, i.e. WE2015) in the League, with only eventual finalists of 2016 competition capable of defeating WE2015. An extended, post-Leipzig, round-robin tournament which included the top 8 teams of 2016, as well as WE2015, with over 1000 games played for each pair, placed WE2015 third behind the champion team (Gliders2016) and the runner-up (HELIOS2016). This establishes WE2015 as a stable benchmark for the 2D Simulation League. We then contrast two ranking methods and suggest two options for future evaluation challenges. The first one, "The Champions Simulation League", is proposed to include 6 previous champions, directly competing against each other in a round-robin tournament, with the view to systematically trace the advancements in the League. The second proposal, "The Global Challenge", is aimed to increase the realism of the environmental conditions during the simulated games, by simulating specific features of different participating countries.


title: A Class of Discrete-time Mean-field Stochastic Linear-quadratic Optimal Control Problems with Financial Application

abstract: This paper is concerned with a discrete-time mean-field stochastic linear-quadratic optimal control problem arose from financial application. Through matrix dynamical optimization method, a group of linear feedback controls is investigated. The problem is then reformulated as an operator stochastic linear-quadratic optimal control problem by a sequence of bounded linear operators over Hilbert space, the optimal control with six algebraic Riccati difference equations is obtained by backward induction. The two above approaches are proved to be coincided by the classical method of completing the square. Finally, after discussing the solution of the problem under multidimensional noises, a financial application example is given.


title: Schema Networks: Zero-shot Transfer with a Generative Causal Model of Intuitive Physics

abstract: The recent adaptation of deep neural network-based methods to reinforcement learning and planning domains has yielded remarkable progress on individual tasks. Nonetheless, progress on task-to-task transfer remains limited. In pursuit of efficient and robust generalization, we introduce the Schema Network, an object-oriented generative physics simulator capable of disentangling multiple causes of events and reasoning backward through causes to achieve goals. The richly structured architecture of the Schema Network can learn the dynamics of an environment directly from data. We compare Schema Networks with Asynchronous Advantage Actor-Critic and Progressive Networks on a suite of Breakout variations, reporting results on training efficiency and zero-shot generalization, consistently demonstrating faster, more robust learning and better transfer. We argue that generalizing from limited data and learning causal relationships are essential abilities on the path toward generally intelligent systems.


title: Hierarchical Gaussian Descriptors with Application to Person Re-Identification

abstract: Describing the color and textural information of a person image is one of the most crucial aspects of person re-identification (re-id). In this paper, we present novel meta-descriptors based on a hierarchical distribution of pixel features. Although hierarchical covariance descriptors have been successfully applied to image classification, the mean information of pixel features, which is absent from the covariance, tends to be the major discriminative information for person re-id. To solve this problem, we describe a local region in an image via hierarchical Gaussian distribution in which both means and covariances are included in their parameters. More specifically, the region is modeled as a set of multiple Gaussian distributions in which each Gaussian represents the appearance of a local patch. The characteristics of the set of Gaussians are again described by another Gaussian distribution. In both steps, we embed the parameters of the Gaussian into a point of Symmetric Positive Definite (SPD) matrix manifold. By changing the way to handle mean information in this embedding, we develop two hierarchical Gaussian descriptors. Additionally, we develop feature norm normalization methods with the ability to alleviate the biased trends that exist on the descriptors. The experimental results conducted on five public datasets indicate that the proposed descriptors achieve remarkably high performance on person re-id.


title: Searching for Exoplanets Using Artificial Intelligence

abstract: In the last decade, over a million stars were monitored to detect transiting planets. Manual interpretation of potential exoplanet candidates is labor intensive and subject to human error, the results of which are difficult to quantify. Here we present a new method of detecting exoplanet candidates in large planetary search projects which, unlike current methods uses a neural network. Neural networks, also called "deep learning" or "deep nets" are designed to give a computer perception into a specific problem by training it to recognize patterns. Unlike past transit detection algorithms deep nets learn to recognize planet features instead of relying on hand-coded metrics that humans perceive as the most representative. Our convolutional neural network is capable of detecting Earth-like exoplanets in noisy time-series data with a greater accuracy than a least-squares method. Deep nets are highly generalizable allowing data to be evaluated from different time series after interpolation without compromising performance. As validated by our deep net analysis of Kepler light curves, we detect periodic transits consistent with the true period without any model fitting. Our study indicates that machine learning will facilitate the characterization of exoplanets in future analysis of large astronomy data sets.


title: Spatial asymmetry of photoelectron emission in strong-field ionization of atoms irradiated by a bichromatic laser field

abstract: The phenomenon of spatial (polar) asymmetry of produced photoelectron emission due to strong-field multiphoton process of above-threshold ionization (ATI) in atoms irradiated by a linearly polarized two-color (bichromatic) laser field consisting of coherent superposition of two commensurate harmonics (of frequencies and is considered and studied theoretically. The problem is addressed within the conventional strong-field approximation (SFA) in standard velocity gauge (VG) formulation under condition of arbitrary value of the so-called Keldysh parameter $\gamma$ , including both the multiphoton (for $\gamma \gg 1$) and tunneling (for $\gamma \ll 1$) regimes of ionization. According to such VG-SFA consideration, the calculated photoelectron momentum distributions (PMD) demonstrate a clear spatial asymmetry (viz., the photoelectron emission proved to be different along the opposite directions with respect to incident laser field polarization) even for particular bichromatic field(s) with polar symmetry of its total electric field strength. Moreover, a clear correlation between the spatial symmetry/asymmetry of photoelectron emission and that of applied vector potential of bichromatic field is reliably established, so that the symmetry of calculated PMD proved to follow precisely the symmetry of applied vector potential of incident laser bichromatic field, in a close analogy with the well-known Aharonov-Bohm effect. Based on these our findings, the attempt is undertaken to identify the physical mechanism underlying this intriguing phenomenon and provide it with a kind of semiclassical interpretation in terms of the partial contributions from photoelectron momenta in final continuum states to partial strong-field ATI amplidude(s) corresponding to a certain (fixed) number of either of two harmonics absorbed.


title: A second alternative approach for the study of the Muckenhoupt class $A_1(\mathbb{R})$

abstract: We find the exact best possible range of those $p > 1$ for which any function which belongs to $A_1(\mathbb{R})$, with $A_1$-constant equal to $c$, must also belong to $L^p$. In this way we provide alternative proofs of the results in [2] and [10].


title: Modeling Transport of Energetic Particles in Corotating Interaction Region -- A case Study

abstract: We investigate energetic particle transport in Corotating Interaction Regions (CIRs) through a case study. The CIR event we study occurred on $2008$ February $08$ and was observed by both the Advanced Composition Explorer (ACE) and the twin Solar TErrestrial RElations Observatory (STEREO)-B spacecraft. An in-situ reverse shock was observed by STEREO-B ($1.0$ AU) but not ACE ($0.98$ AU). Using STEREO-B observations and assuming the CIR structure does not vary significantly in the corotating frame, we estimate the shock location at later times for both the STEREO-B and ACE observations. Further assuming the accelerated particle spectral shape at the shock does not vary with shock location, we calculate the particle differential intensities as observed by ACE and STEREO-B at two different times by solving the focused transport equation using a Monte-Carlo simulation. We assume that particles move along Parker's field and experience no cross-field diffusion. We find that the modulation of sub-MeV/nucleon particles is significant. To obtain reasonable comparisons between the simulations and the observations by both ACE and STEREO-B, one has to assume that the CIR shock can accelerate more particles at a larger heliocentric distance than at a smaller heliocentric distance.


title: The Period map for quantum cohomology of $\mathbb{P}^2$

abstract: We invert the period map defined by the second structure connection of quantum cohomology of $\mathbb{P}^2$. For small quantum cohomology the inverse is given explicitly in terms of the Eisenstein series $E_4$ and $E_6$, while for big quantum cohomology the inverse is determined perturbatively as a Taylor series expansion whose coefficients are quasi-modular forms.


title: Assessing Economic Outcomes in Simulated Reverse Clock Auctions for Radio Spectrum

abstract: We investigate the economic outcomes that result under simulated bidder behavior in a model of the FCC's reverse auction for radio spectrum. In our simulations, limiting our notion of efficiency to the reverse auction in isolation, the reverse clock auction achieves very efficient solutions, the FCC's scoring rule greatly reduces the total payments to TV broadcasters at the cost of some efficiency, and using a poor feasibility checker can have grave consequences both in terms of the auction's cost and efficiency.


title: Detection of Two Intervening Ne VIII Absorbers Probing Warm Gas at z~0.6

abstract: We report on the detection of two Ne VIII absorbers, at z = 0.61907 and z = 0.57052 in the HST/COS spectrum of background quasars SDSS J 080908.13+461925.6 and SBS 1122+594 respectively. The Ne VIII 770 line is at $\sim 3\sigma$ significance. In both instances, the NeVIII is found to be tracing gas with $T \gtrsim 10^5$ K, predominantly collisionally ionized, with moderate densities of $n_{H} \lesssim 10^{-4}$ $cm^{-3}$, sub-solar metallicities and total hydrogen column densities of $N(H) \gtrsim 10^{19}$ $cm^{2}$. In the z = 0.61907 absorber, the low, intermediate ions and O VI are consistent with origin in photoionized gas, with the O VI potentially having some contribution from the warm collisional phase traced by Ne VIII. The z = 0.57052 system has H I absorption in at least three kinematically distinct components, with one of them having $b (H I) = 49 {\pm} 11$ $km s^{-1}$. The intermediate ionization lines, O VI and Ne VIII are coincident in velocity with this component. Their different line widths suggest warm temperatures of $T = (0.5 - 1.5) \times 10^5$ K. Both absorbers are residing in regions where there are several luminous ($ \gtrsim L^*$) galaxies. The absorber at z = 0.57052 is within the virial radius of a $2.6L^*$ galaxy, possibly associated with shock heated circumgalactic material.


title: Transfer Learning for Neural Semantic Parsing

abstract: The goal of semantic parsing is to map natural language to a machine interpretable meaning representation language (MRL). One of the constraints that limits full exploration of deep learning technologies for semantic parsing is the lack of sufficient annotation training data. In this paper, we propose using sequence-to-sequence in a multi-task setup for semantic parsing with a focus on transfer learning. We explore three multi-task architectures for sequence-to-sequence modeling and compare their performance with an independently trained model. Our experiments show that the multi-task setup aids transfer learning from an auxiliary task with large labeled data to a target task with smaller labeled data. We see absolute accuracy gains ranging from 1.0% to 4.4% in our in- house data set, and we also see good gains ranging from 2.5% to 7.0% on the ATIS semantic parsing tasks with syntactic and semantic auxiliary tasks.


title: Dark Matter Annihilation in the Circumgalactic Medium at High Redshifts

abstract: Annihilating dark matter (DM) models offer promising avenues for future DM detection, in particular via modification of astrophysical signals. However when modelling such potential signals at high redshift the emergence of both dark matter and baryonic structure, as well as the complexities of the energy transfer process, need to be taken into account. In the following paper we present a detailed energy deposition code and use this to examine the energy transfer efficiency of annihilating dark matter at high redshift, including the effects on baryonic structure. We employ the PYTHIA code to model neutralino-like DM candidates and their subsequent annihilation products for a range of masses and annihilation channels. We also compare different density profiles and mass-concentration relations for 10^5-10^7 M_sun haloes at redshifts 20 and 40. For these DM halo and particle models, we show radially dependent ionisation and heating curves and compare the deposited energy to the haloes' gravitational binding energy. We use the "filtered" annihilation spectra escaping the halo to calculate the heating of the circumgalactic medium and show that the mass of the minimal star forming object is increased by a factor of 2-3 at redshift 20 and 4-5 at redshift 40 for some DM models.


title: Abrupt p-n junction using ionic gating at zero-bias in bilayer graphene

abstract: Graphene is a promising candidate for optoelectronic applications. In this report, a double gated bilayer graphene FET has been made using a combination of electrostatic and electrolytic gating in order to form an abrupt p-n junction. The presence of two Dirac peaks in the gating curve of the fabricated device confirms the formation of a p-n junction. At low temperatures, when the electrolyte is frozen intentionally, the photovoltage exhibits a six-fold pattern indicative of the hot electron induced photothermoelectric effect that has also been seen in graphene p-n junctions made using metallic gates. We have observed that the photovoltage increases with decreasing temperature indicating a dominant role of supercollision scattering. Our technique can also be extended to other 2D materials and to finer features that will lead to p-n junctions which span a large area, like a superlattice, that can generate a larger photoresponse. Our work creating abrupt p-n junctions is distinct from previous works that use a source-drain bias voltage with a single ionic gate creating a spatially graded p-n junction.


title: Lyapunov type inequality for extremal Pucci's equations

abstract: In this article, we establish Lyapunov type inequality for the following extremal Pucci's equation \begin{equation*} \left\{ \begin{aligned}{} \mathcal{M}^{+}_{\lambda,\Lambda}(D^{2}u)+a(x)u&=0~\text{in}~\Omega,\\ u&=0~\text{on}~\partial\Omega, \end{aligned} \right. \end{equation*} where $\Omega$ is a smooth bounded domain in $\R^{N},~N\geq2$. This works generalize the well-known works on Lyapunov inequalities to fully nonlinear elliptic equations.


title: Stochastic Kuramoto oscillators with discrete phase states

abstract: We present a generalization of the Kuramoto phase oscillator model in which phases advance in discrete phase increments through Poisson processes, rendering both intrinsic oscillations and coupling inherently stochastic. We study the effects of phase discretization on the synchronization and precision properties of the coupled system both analytically and numerically. Remarkably, many key observables such as the steady-state synchrony and the quality of oscillations show distinct extrema while converging to the classical Kuramoto model in the limit of a continuous phase. The phase-discretized model provides a general framework for coupled oscillations in a Markov chain setting.


title: Averages of arithmetic functions over principal ideals

abstract: For a general class of non-negative functions defined on integral ideals of number fields, upper bounds are established for their average over the values of certain principal ideals that are associated to irreducible binary forms with integer coefficients.


title: MATIC: Learning Around Errors for Efficient Low-Voltage Neural Network Accelerators

abstract: As a result of the increasing demand for deep neural network (DNN)-based services, efforts to develop dedicated hardware accelerators for DNNs are growing rapidly. However,while accelerators with high performance and efficiency on convolutional deep neural networks (Conv-DNNs) have been developed, less progress has been made with regards to fully-connected DNNs (FC-DNNs). In this paper, we propose MATIC (Memory Adaptive Training with In-situ Canaries), a methodology that enables aggressive voltage scaling of accelerator weight memories to improve the energy-efficiency of DNN accelerators. To enable accurate operation with voltage overscaling, MATIC combines the characteristics of destructive SRAM reads with the error resilience of neural networks in a memory-adaptive training process. Furthermore, PVT-related voltage margins are eliminated using bit-cells from synaptic weights as in-situ canaries to track runtime environmental variation. Demonstrated on a low-power DNN accelerator that we fabricate in 65 nm CMOS, MATIC enables up to 60-80 mV of voltage overscaling (3.3x total energy reduction versus the nominal voltage), or 18.6x application error reduction.


title: Dirac's "magnetic monopole" in pyrochlore ice U(1) spin liquids: Spectrum and classification

abstract: We study the U(1) quantum spin liquid on the pyrochlore spin ice systems. For the non-Kramers doublets such as Pr$^{3+}$ and Tb$^{3+}$, we point out that the inelastic neutron scattering not only detects the low-energy gauge photon, but also contains the continuum of the "magnetic monopole" excitations. Unlike the spinons, these "magnetic monopoles" are purely of quantum origin and have no classical analogue. We further point out that the "magnetic monopole" experiences a background dual "$\pi$" flux due to the spin-1/2 nature of the local moment when the "monopole" hops on the dual diamond lattice. We then predict that the "monopole" continuum has an enhanced spectral periodicity. This prediction can be examined among the existing data on the non-Kramers doublet spin liquid candidate materials like Pr$_2$TM$_2$O$_7$ and Tb$_2$TM$_2$O$_7$ (with TM = "transition metal"). The application to the Kramers doublet systems and numerical simulation is further discussed. Finally, we present a general classification of distinct symmetry enriched U(1) quantum spin liquids based on the translation symmetry fractionalization patterns of "monopoles" and "spinons".


title: On Gallai's and Haj\'os' Conjectures for graphs with treewidth at most 3

abstract: A path (resp. cycle) decomposition of a graph $G$ is a set of edge-disjoint paths (resp. cycles) of $G$ that covers the edge set of $G$. Gallai (1966) conjectured that every graph on $n$ vertices admits a path decomposition of size at most $\lfloor (n+1)/2\rfloor$, and Haj\'os (1968) conjectured that every Eulerian graph on $n$ vertices admits a cycle decomposition of size at most $\lfloor (n-1)/2\rfloor$. Gallai's Conjecture was verified for many classes of graphs. In particular, Lov\'asz (1968) verified this conjecture for graphs with at most one vertex of even degree, and Pyber (1996) verified it for graphs in which every cycle contains a vertex of odd degree. Haj\'os' Conjecture, on the other hand, was verified only for graphs with maximum degree $4$ and for planar graphs. In this paper, we verify Gallai's and Haj\'os' Conjectures for graphs with treewidth at most $3$. Moreover, we show that the only graphs with treewidth at most $3$ that do not admit a path decomposition of size at most $\lfloor n/2\rfloor$ are isomorphic to $K_3$ or $K_5-e$. Finally, we use the technique developed in this paper to present new proofs for Gallai's and Haj\'os' Conjectures for graphs with maximum degree at most $4$, and for planar graphs with girth at least $6$.


title: AdS/QCD, Entanglement Entropy and Critical Temperature

abstract: Based on gauge-gravity duality, by using holographic entanglement entropy, we have done a phenomenological study to probe confinement-deconfinement phase transition in the QCD-like gauge theory. Our outcomes are in perfect agreement with the expected results, qualitatively and quantitatively. We find out that the (holographic) entanglement entropy is a reliable order parameter for probing the phase transition.


title: Predictive modelling of training loads and injury in Australian football

abstract: To investigate whether training load monitoring data could be used to predict injuries in elite Australian football players, data were collected from elite athletes over 3 seasons at an Australian football club. Loads were quantified using GPS devices, accelerometers and player perceived exertion ratings. Absolute and relative training load metrics were calculated for each player each day (rolling average, exponentially weighted moving average, acute:chronic workload ratio, monotony and strain). Injury prediction models (regularised logistic regression, generalised estimating equations, random forests and support vector machines) were built for non-contact, non-contact time-loss and hamstring specific injuries using the first two seasons of data. Injury predictions were generated for the third season and evaluated using the area under the receiver operator characteristic (AUC). Predictive performance was only marginally better than chance for models of non-contact and non-contact time-loss injuries (AUC$<$0.65). The best performing model was a multivariate logistic regression for hamstring injuries (best AUC=0.76). Learning curves suggested logistic regression was underfitting the load-injury relationship and that using a more complex model or increasing the amount of model building data may lead to future improvements. Injury prediction models built using training load data from a single club showed poor ability to predict injuries when tested on previously unseen data, suggesting they are limited as a daily decision tool for practitioners. Focusing the modelling approach on specific injury types and increasing the amount of training data may lead to the development of improved predictive models for injury prevention.


title: Anonymization of System Logs for Privacy and Storage Benefits

abstract: System logs constitute valuable information for analysis and diagnosis of system behavior. The size of parallel computing systems and the number of their components steadily increase. The volume of generated logs by the system is in proportion to this increase. Hence, long-term collection and storage of system logs is challenging. The analysis of system logs requires advanced text processing techniques. For very large volumes of logs, the analysis is highly time-consuming and requires a high level of expertise. For many parallel computing centers, outsourcing the analysis of system logs to third parties is the only affordable option. The existence of sensitive data within system log entries obstructs, however, the transmission of system logs to third parties. Moreover, the analytical tools for processing system logs and the solutions provided by such tools are highly system specific. Achieving a more general solution is only possible through the access and analysis system of logs of multiple computing systems. The privacy concerns impede, however, the sharing of system logs across institutions as well as in the public domain. This work proposes a new method for the anonymization of the information within system logs that employs de-identification and encoding to provide sharable system logs, with the highest possible data quality and of reduced size. The results presented in this work indicate that apart from eliminating the sensitive data within system logs and converting them into shareable data, the proposed anonymization method provides 25% performance improvement in post-processing of the anonymized system logs, and more than 50% reduction in their required storage space.


title: Playing Music in Just Intonation - A Dynamically Adapting Tuning Scheme

abstract: We investigate a dynamically adapting tuning scheme for microtonal tuning of musical instruments, allowing the performer to play music in just intonation in any key. Unlike other methods, which are based on a procedural analysis of the chordal structure, the tuning scheme continually solves a system of linear equations without making explicit decisions. In complex situations, where not all intervals of a chord can be tuned according to just frequency ratios, the method automatically yields a tempered compromise. We outline the implementation of the algorithm in an open-source software project that we have provided in order to demonstrate the feasibility of the tuning method.


title: Quantum Correlation Dynamics for an Open Multi Qutrit System

abstract: We study the correlation dynamics of a system composed of arbitrary numbers of qutrits interacting with a common environment. Initially, the system is assumed to be in a low dimensional subspace of the Hamiltonian called "decoherence-free subspace". Environment induced quantum entanglement and discord is calculated between pair of qutrits of the system as measures of non-classical correlations. Finally the steady state distribution of entanglement and discord is determined with respect to the total number of qutrits of the system.


title: Observations of apparent superslow wave propagation in solar prominences

abstract: Phase mixing of standing continuum Alfv\'en waves and/or continuum slow waves in atmospheric magnetic structures such as coronal arcades can create the apparent effect of a wave propagating across the magnetic field. We observe a prominence with SDO/AIA on 2015 March 15 and find the presence of oscillatory motion. We aim to demonstrate that interpreting this motion as a magneto hydrodynamic (MHD) wave is faulty. We also connect the decrease of the apparent velocity over time with the phase mixing process, which depends on the curvature of the magnetic field lines. By measuring the displacement of the prominence at different heights to calculate the apparent velocity, we show that the propagation slows down over time, in accordance with the theoretical work of Kaneko et al. We also show that this propagation speed drops below what is to be expected for even slow MHD waves for those circumstances. We use a modified Kippenhahn-Schl\"uter prominence model to calculate the curvature of the magnetic field and fit our observations accordingly. Measuring three of the apparent waves, we get apparent velocities of 14, 8, and 4 km/s. Fitting a simple model for the magnetic field configuration, we obtain that the filament is located 103 Mm below the magnetic centre. We also obtain that the scale of the magnetic field strength in the vertical direction plays no role in the concept of apparent superslow waves and that the moment of excitation of the waves happened roughly one oscillation period before the end of the eruption that excited the oscillation. Some of the observed phase velocities are lower than expected for slow modes for the circumstances, showing that they rather fit with the concept of apparent superslow propagation. A fit with our magnetic field model allows for inferring the magnetic geometry of the prominence.


title: Benchmarking gate-based quantum computers

abstract: With the advent of public access to small gate-based quantum processors, it becomes necessary to develop a benchmarking methodology such that independent researchers can validate the operation of these processors. We explore the usefulness of a number of simple quantum circuits as benchmarks for gate-based quantum computing devices and show that circuits performing identity operations are very simple, scalable and sensitive to gate errors and are therefore very well suited for this task. We illustrate the procedure by presenting benchmark results for the IBM Quantum Experience, a cloud-based platform for gate-based quantum computing.


title: Foliations associated to harmonic maps and some complex two ball quotients

abstract: The purpose of the article is to study a foliation associated to a lattice-equivariant harmonic map of small rank from a complex ball to another. The result is related to rigidity of some complex ball quotients.


title: Nonlinear modeling of wave-topography interactions, shear instabilities and shear induced wave breaking using vortex method

abstract: Theoretical studies on linear shear instabilities often use simple velocity and density profiles (e.g. constant, piecewise) for obtaining good qualitative and quantitative predictions of the initial disturbances. Furthermore, such simple profiles provide a minimal model for obtaining a mechanistic understanding of otherwise elusive shear instabilities. However, except a few specific cases, the efficacy of simple profiles has remained limited to the linear stability paradigm. In this work we have proposed a general framework that can simulate the fully nonlinear evolution of a variety of stratified shear instabilities as well as wave-wave and wave-topography interaction problems having simple profiles. To this effect, we have modified the classical vortex method by extending the Birkhoff-Rott equation to multiple interfaces, and furthermore, have incorporated background shear across a density interface. The latter is more subtle, and originates from the understanding that Bernoulli's equation is not just limited to irrotational flows, but can be modified to make it applicable for piecewise velocity profiles. We have solved diverse problems that can be essentially reduced to the multiple interacting interfaces paradigm, e.g. spilling and plunging breakers, stratified shear instabilities like Holmboe and Taylor-Caulfield, jet flows, and even wave-topography interaction problem like Bragg resonance. Free-slip boundary being a vortex sheet, its effect can also be effectively captured using vortex method. We found that the minimal models capture key nonlinear features, e.g. wave breaking features like cusp formation and roll-ups, which are observed in experiments and/or extensive simulations with smooth, realistic profiles.


title: Impact of the $b \to s ll$ anomalies on dark matter physics

abstract: Recently, the LHCb collaboration has reported the excesses in the $b \to s ll$ processes. One of the promising candidates for new physics to explain the anomalies is the extended Standard Model (SM) with vector-like quarks and leptons. In that model, Yukawa couplings between the extra fermions and SM fermions are introduced, adding extra scalars. Then, the box diagrams involving the extra fields achieve the $b \to s ll$ anomalies. It has been known that the excesses require the large Yukawa couplings of leptons, so that this kind of model can be tested by studying correlations with other observables. In this paper, we consider the extra scalar to be a dark matter (DM) candidate, and investigate DM physics as well as the flavor physics and the LHC physics. The DM relic density and the direct-detection cross section are also dominantly given by the Yukawa couplings, so that we find some explicit correlations between DM physics and the flavor physics. In particular, we find the predictions of the $b \to s ll$ anomalies against the direct detection of DM.


title: Towards Adaptive Resilience in High Performance Computing

abstract: Failure rates in high performance computers rapidly increase due to the growth in system size and complexity. Hence, failures became the norm rather than the exception. Different approaches on high performance computing (HPC) systems have been introduced, to prevent failures (e. g., redundancy) or at least minimize their impacts (e. g., checkpoint and restart). In most cases, when these approaches are employed to increase the resilience of certain parts of a system, energy consumption rapidly increases, or performance significantly degrades. To address this challenge, we propose on-demand resilience as an approach to achieve adaptive resilience in HPC systems. In this work, the HPC system is considered in its entirety and resilience mechanisms such as checkpointing, isolation, and migration, are activated on-demand. Using the proposed approach, the unavoidable increase in total energy consumption and system performance degradation is decreased compared to the typical checkpoint/restart and redundant resilience mechanisms. Our work aims to mitigate a large number of failures occurring at various layers in the system, to prevent their propagation, and to minimize their impact, all of this in an energy-saving manner. In the case of failures that are estimated to occur but cannot be mitigated using the proposed on-demand resilience approach, the system administrators will be notified in view of performing further investigations into the causes of these failures and their impacts.


title: Entanglement dynamics of two two-level atoms in the vicinity of an invisibility cloak

abstract: We study the entanglement between two identical two-level atoms located near an ideal model of invisibility cloaks, by monitoring the the time evolution of the concurrence measure. We obtain the reduced density operator of the atomic subsystem based on a canonical quantization scheme presented for the electromagnetic field interacting with atomic systems in the presence of an anisotropic, inhomogeneous and absorbing magnetodielectric medium. It is shown that two atoms, which are prepared initially in an unentangled state, are correlated in weak coupling regime via the spontaneous emission and the dipole-dipole interaction of two atoms mediated by the invisibility cloak. We therefore find that the invisibility cloak, independent of the hidden object, works fairly well at frequencies far from the resonance frequency of the object and the cloak, whereas near the resonance frequency, the hidden object becoming detectable due to a sharp reduction of the concurrence.


title: WLS-Based Self-Localization Using Perturbed Anchor Positions and RSSI Measurements

abstract: We consider the problem of self-localization by a resource-constrained node within a network given radio signal strength indicator (RSSI) measurements from a set of anchor nodes where the RSSI measurements as well as the anchor position information are subject to perturbation. In order to achieve a computationally efficient estimate for the unknown position, we minimize a weighted sum-square-distance-error cost function in an iterative fashion utilizing the gradient-descent method. We calculate the weights in the cost function by taking into account perturbations in both RSSI measurements and anchor node position information while assuming normal distribution for the perturbations in the anchor node position information and log-normal distribution for the RSSI-induced distance estimates. The latter assumption is due to considering the log-distance path-loss model with normally-distributed perturbations for the RSSI measurements in the logarithmic scale. We also derive the Cramer-Rao lower bound associated with the considered position estimation problem. We evaluate the performance of the proposed algorithm considering various arbitrary network topologies and compare it with an existing algorithm that is based on a similar approach but only accounts for perturbations in the RSSI measurements. The experimental results show that the proposed algorithm yields significant improvement in localization performance over the existing algorithm while maintaining its computational efficiency. This makes the proposed algorithm suitable for real-world applications where the information available about the positions of anchor nodes often suffer from uncertainty due to observational noise or error and the computational and energy resources of mobile nodes are limited, prohibiting the use of more sophisticated techniques such as those based on semidefinite or second-order cone programming.


title: Parametric instability of oscillations of a vortex ring in a $z$-periodic Bose-Einstein condensate and the recurrence to starting state

abstract: The dynamics of deformations of a quantum vortex ring in a Bose-Einstein condensate with periodic equilibrium density $\rho(z)= 1-\epsilon\cos z$ has been considered within the local induction approximation. Parametric instabilities of the normal modes with azimuthal numbers $\pm m$ have been revealed at the energy integral $E$ near values $E_m^{(p)}=2m\sqrt{m^2-1}/p$, where $p$ is the resonance order. Numerical simulations have shown that already at $\epsilon\sim 0.03$ a rapid growth of unstable modes with $m=2$, $p=1$ to magnitudes of order of unity is typical, which is then followed, after a few large oscillations, by fast return to a weakly excited state. Such behavior corresponds to an integrable Hamiltonian of the form $H\propto \sigma(E_2^{(1)}-E)(|b_+|^2 + |b_-|^2) -\epsilon(b_+ b_- + b_+^* b_-^*) +u(|b_+|^4 +|b_-|^4) + w |b_+|^2|b_-|^2$ for two complex envelopes $b_\pm(t)$. The results have been compared to parametric instabilities of vortex ring in condensate with density $\rho(z,r)=1-r^2-\alpha z^2$, which take place at $\alpha\approx 8/5$ and at $\alpha\approx 16/7$.


title: A correction to the uniqueness of a partial perfect locality over a Frobenius P-category

abstract: Let $p$ be a prime, $P$ a finite p-group and $\cal F$ a Frobenius $P$-category. In "Existence, uniqueness and functoriality of the perfect locality over a Frobenius $P$-category", Algebra Colloquium, 23(2016) 541-622, we also claimed the uniqueness of the partial perfect locality $\cal L^{\frak X}$ over any up-closed set $\frak X$ of $\cal F$-selfcentralizing subgroups of $P$, but recently Bob Oliver exhibit some counter-examples, demanding some revision of our arguments. In this Note we show that, up to replacing the perfect localities by the "extendable" perfect localities over any up-closed set $\frak X$ of $\cal F$-selfcentralizing subgroups of $P$, our arguments are correct, still proving the existence and the uniqueness of the perfect $\cal F^{\rm sc}$-locality, since it is "extendable". We take advantage to simplify some of our arguments.


title: Sequential Channel Estimation in the Presence of Random Phase Noise in NB-IoT Systems

abstract: We consider channel estimation (CE) in narrowband Internet-of-Things (NB-IoT) systems. Due to the fluctuations in phase within receiver and transmitter oscillators, and also the residual frequency offset (FO) caused by discontinuous receiving of repetition coded transmit data-blocks, random phase noises are presented in received signals. Although the coherent-time of fading channel can be assumed fairly long due to the low-mobility of NB-IoT user-equipments (UEs), such phase noises have to be considered before combining the the channel estimates over repetition copies to improve their accuracies. In this paper, we derive a sequential minimum-mean-square-error (MMSE) channel estimator in the presence of random phase noise that refines the CE sequentially with each received repetition copy, which has a low-complexity and a small data storage. Further, we show through simulations that, the proposed sequential MMSE estimator improves the mean-square-error (MSE) of CE by 1 dB in the low signal-to-noise ratio (SNR) regime, compared to a traditional sequential MMSE estimator that does not thoroughly consider the impact of random phase noises.


title: On the character degree graph of solvable groups

abstract: Let \(G\) be a finite solvable group, and let \(\Delta(G)\) denote the \emph{prime graph} built on the set of degrees of the irreducible complex characters of \(G\). A fundamental result by P.P. P\'alfy asserts that the complement $\bar{\Delta}(G)$ of the graph \(\Delta(G)\) does not contain any cycle of length \(3\). In this paper we generalize P\'alfy's result, showing that $\bar{\Delta}(G)$ does not contain any cycle of odd length, whence it is a bipartite graph. As an immediate consequence, the set of vertices of \(\Delta(G)\) can be covered by two subsets, each inducing a complete subgraph. The latter property yields in turn that if \(n\) is the clique number of \(\Delta(G)\), then \(\Delta(G)\) has at most \(2n\) vertices. This confirms a conjecture by Z. Akhlaghi and H.P. Tong-Viet, and provides some evidence for the famous \emph{\(\rho\)-\(\sigma\) conjecture} by B. Huppert.


title: Algorithms of the Potential Field Calculation in a Three Dimensional Box

abstract: Calculation of the potential field inside a three-dimensional box with the normal magnetic field component given on all boundaries is needed for estimation of important quantities related to the magnetic field such as free energy and relative helicity. In this work we present an analysis of three methods for calculating potential field inside a three-dimensional box. The accuracy and performance of the methods are tested on artificial models with a priori known solutions.


title: Multi-Lane Perception Using Feature Fusion Based on GraphSLAM

abstract: An extensive, precise and robust recognition and modeling of the environment is a key factor for next generations of Advanced Driver Assistance Systems and development of autonomous vehicles. In this paper, a real-time approach for the perception of multiple lanes on highways is proposed. Lane markings detected by camera systems and observations of other traffic participants provide the input data for the algorithm. The information is accumulated and fused using GraphSLAM and the result constitutes the basis for a multilane clothoid model. To allow incorporation of additional information sources, input data is processed in a generic format. Evaluation of the method is performed by comparing real data, collected with an experimental vehicle on highways, to a ground truth map. The results show that ego and adjacent lanes are robustly detected with high quality up to a distance of 120 m. In comparison to serial lane detection, an increase in the detection range of the ego lane and a continuous perception of neighboring lanes is achieved. The method can potentially be utilized for the longitudinal and lateral control of self-driving vehicles.


title: Planet-disc interaction in laminar and turbulent discs

abstract: In weakly ionized discs turbulence can be generated through the vertical shear instability (VSI). Embedded planets feel a stochastic component in the torques acting on them which can impact their migration. In this work we study the interplay between a growing planet embedded in a protoplanetary disc and the VSI-turbulence. We performed a series of three-dimensional hydrodynamical simulations for locally isothermal discs with embedded planets in the mass range from 5 to 100 Earth masses. We study planets embedded in an inviscid disc that is VSI unstable, becomes turbulent and generates angular momentum transport with an effective $\alpha = 5 \cdot 10^{-4}$. This is compared to the corresponding viscous disc using exactly this $\alpha$-value. In general we find that the planets have only a weak impact on the disc turbulence. Only for the largest planet ($100 M_\oplus$) the turbulent activity becomes enhanced inside of the planet. The depth and width of a gap created by the more massive planets ($30, 100 M_\oplus$) in the turbulent disc equal exactly that of the corresponding viscous case, leading to very similar torque strengths acting on the planet, with small stochastic fluctuations for the VSI disc. At the gap edges vortices are generated that are stronger and longer lived in the VSI disc. Low mass planets (with $M_p \leq 10 M_\oplus$) do not open gaps in the disc in both cases but generate for the turbulent disc an over-density behind the planet that exerts a significant negative torque. This can boost the inward migration in VSI turbulent discs well above the Type I rate. Due to the finite turbulence level in realistic three-dimensional discs the gap depth will always be limited and migration will not stall in inviscid discs.


title: Variable high gradient permanent magnet quadrupole (QUAPEVA)

abstract: High gradient quadrupoles are necessary for different applications such as laser plasma acceleration, colliders, and diffraction limited light sources. Permanent magnet quadrupoles provide a higher field strength and compactness than conventional electro-magnets. An original design of permanent magnet based quadrupole (so-called "QUAPEVA"), composed of a Halbach ring placed in the center with a bore radius of 6 mm and surrounded by four permanent magnet cylinders capable of providing a gradient of 210 T/m, is presented. The design of the QUAPEVAs, including magnetic simulation modeling, and mechanical issues are reported. Magnetic measurements of seven systems of different lengths are presented and confirmed the theoretical expectations. The variation of the magnetic center while changing the gradient strength is +/- 10 micrometer. A triplet of three QUAPEVA magnets are used to focus a beam with large energy spread and high divergence that is generated by Laser Plasma Acceleration source for a free electron laser demonstration.


title: Ultrafast supercontinuum generation in bulk condensed media (Invited Review)

abstract: Nonlinear propagation of intense femtosecond laser pulses in bulk transparent media leads to a specific propagation regime, termed femtosecond filamentation, which in turn produces dramatic spectral broadening, or superbroadening, termed supercontinuum generation. Femtosecond supercontinuum generation in transparent solids represents a compact, efficient and alignment-insensitive technique for generation of coherent broadband radiation at various parts of the optical spectrum, which finds numerous applications in diverse fields of modern ultrafast science. During recent years, this research field has reached a high level of maturity, both in understanding of the underlying physics and in achievement of exciting practical results. In this paper we overview the state of the art of femtosecond supercontinuum generation in various transparent solid-state media, ranging from wide-bandgap dielectrics to semiconductor materials and in various parts of the optical spectrum, from the ultraviolet to the mid-infrared. A particular emphasis is given to the most recent experimental developments: multioctave supercontinuum generation with pumping in the mid-infrared spectral range, spectral control, power and energy scaling of broadband radiation and the development of simple, flexible and robust pulse compression techniques, which deliver few optical cycle pulses and which could be readily implemented in a variety of modern ultrafast laser systems.


title: Magnetic properties of nanoparticles compacts with controlled broadening of the particle size distribution

abstract: Binary random compacts with different proportions of small (volume V) and large (volume 2V) bare maghemite nanoparticles (NPs) are used to investigate the effect of controllably broadening the particle size distribution on the magnetic properties of magnetic NP assemblies with strong dipolar interaction. A series of eight random mixtures of highly uniform 9.0 and 11.5 nm diameter maghemite particles prepared by thermal decomposition are studied. In spite of severely broadened size distributions in the mixed samples, well defined superspin glass transition temperatures are observed across the series, their values increasing linearly with the weight fraction of large particles.


title: Effects of parametric uncertainties in cascaded open quantum harmonic oscillators and robust generation of Gaussian invariant states

abstract: This paper is concerned with the generation of Gaussian invariant states in cascades of open quantum harmonic oscillators governed by linear quantum stochastic differential equations. We carry out infinitesimal perturbation analysis of the covariance matrix for the invariant Gaussian state of such a system and the related purity functional subject to inaccuracies in the energy and coupling matrices of the subsystems. This leads to the problem of balancing the state-space realizations of the component oscillators through symplectic similarity transformations in order to minimize the mean square sensitivity of the purity functional to small random perturbations of the parameters. This results in a quadratic optimization problem with an effective solution in the case of cascaded one-mode oscillators, which is demonstrated by a numerical example. We also discuss a connection of the sensitivity index with classical statistical distances and outline infinitesimal perturbation analysis for translation invariant cascades of identical oscillators. The findings of the paper are applicable to robust state generation in quantum stochastic networks.


title: The Measurement of a Temperature Dependence of the Count Rate of Single Electrons Emitted From Copper by Means of a Multicathode Counter

abstract: It was found that at cryogenic temperatures the spontaneous emission of single electrons from cathode of PMT is increased by lowering the temperature of PMT. This effect has not found yet a satisfactory explanation. It was suggested by us that the source of cryogenic dark current is a conversion of hidden photons on a metallic surface. To check this hypothesis a series of measurements have been performed using a multicathode counter developed by us as a detector of single electrons. Upon the results of measurements during 78 days in configurations R1 and R2 of a multicathode counter with a copper cathode the dependence of the counting rate of single electrons on temperature has been obtained. The results obtained are in agreement with the hypotheses that hidden photons are the source of a cryogenic dark current. These very preliminary results have to be checked by further measurements.


title: Observing the very low-surface brightness dwarfs in a deep field in the VIRGO cluster: constraints on Dark Matter scenarios

abstract: We report the discovery of 11 very faint (r< 23), low surface brightness ({\mu}_r< 27 mag/arcsec^2) dwarf galaxies in one deep field in the Virgo cluster, obtained by the prime focus cameras (LBC) at the Large Binocular Telescope (LBT). These extend our previous sample to reach a total number of 27 galaxies in a field of just of 0.17 deg^2 located at a median distance of 390 kpc from the cluster center. Their association with the Virgo cluster is supported by their separate position in the central surface brightness - total magnitude plane with respect to the background galaxies of similar total magnitude. For a significant fraction (26\%) of the sample the association to the cluster is confirmed by spectroscopic follow-up. We show that the mere abundance of satellite galaxies corresponding to our observed number in the target field provides extremely tight constraints on Dark Matter models with suppressed power spectrum compared to the Cold Dark Matter case, independently of the galaxy luminosity distribution. In particular, requiring the observed number of satellite galaxies not to exceed the predicted abundance of Dark Matter sub-halos yields a limit m_X >3 keV at 1-{\sigma} and m_X > 2.3 keV at 2-{\sigma} confidence level for the mass of thermal Warm Dark Matter particles. Such a limit is competitive with other limits set by the abundance of ultra-faint satellite galaxies in the Milky Way, is completely independent of baryon physics involved in galaxy formation, and has the potentiality for appreciable improvements with next observations. We extend our analysis to Dark Matter models based on sterile neutrinos, showing that our observations set tight constraints on the combination of sterile neutrino mass m_{\nu} and mixing parameter sin^2(2{\theta}). We discuss the robustness of our results with respect to systematics.


title: Behavior of the Universe anisotropy in a big-bounce cosmology

abstract: We investigate the classical and quantum behavior of a Bianchi I model in the presence of a stiff matter contribution when the Vilenkin interpretation of the wave function of the Universe is taken into account. We study its evolution in the so-called polymer representation of quantum mechanics, in order to characterize the modifications that a discrete nature in the isotropic variable of the Universe induces on the morphology of the cosmological singularity. We demonstrate that in such a model the Big-Bang singularity is removed at a semiclassical level in favor of a Big-Bounce when a lattice on the isotropic variable is considered. Furthermore, the analysis of the mean values on the quantum degrees of freedom, \textit{i.e} the variables $\beta_{+},\beta_{-}$ in the Misner picture, and the investigation on the evolution of the wave packets show how the typical diverging behavior associated to the anisotropies of the Universe in proximity of the initial singularity disappears in our polymer modified scheme. Indeed, the anisotropies remain finite across the Big-Bounce and they assume a value that depends on the initial conditions fixed far from the turning point. Finally, we demonstrate that the proposed scenario can be extended, with a suitable choice of the configuration parameters, to the Bianchi IX cosmology and therefore it can be regarded as a paradigm for the generic cosmological model.


title: Academic Meeting Scheduling Using an Antiferromagnetic Potts Model

abstract: Scheduling parallel sessions of an academic meeting is a complicated task. If each presentation is assigned to an appropriate session, an antiferromagnetic Potts model can be used for semi-automatic timetabling. The timetabling method proposed here is based on graph coloring and includes additional constraints to be considered in a practical situation. We examine the feasibility of semi-automatic timetabling in some practical examples.


title: The impact of the Hall effect during cloud core collapse:implications for circumstellar disk evolution

abstract: We perform three-dimensional radiation non-ideal magnetohydrodynamics simulations and investigate the impact of the Hall effect on the angular momentum evolution in the collapsing cloud cores in which the magnetic field $\magB$ and angular momentum $\angJ$ are misaligned with each other. We find that the Hall effect notably changes the magnetic torques in the pseudo-disk, and strengthens and weakens the magnetic braking in cores with an acute and obtuse relative angles between $\magB$ and $\angJ$, respectively. This suggests that the bimodal evolution of the disk size may occur in early disk evolutionary phase even if $\magB$ and $\angJ$ are randomly distributed. We show that a counter-rotating envelope form in the upper envelope of the pseudo-disk in cloud cores with obtuse relative angles. We also find that a counter-rotating region forms at the midplane of the pseudo-disk in cloud cores with acute relative angles. The former and latter types of counter-rotating envelopes may be associated with the YSOs with a large ($r\sim100$ AU) and small ($r\lesssim10$ AU) disks, respectively.


title: Unimodular rows over monoid rings

abstract: For a commutative Noetherian ring R of dimension d and a commutative cancellative monoid M, the elementary action on unimodular n-rows over the monoid ring R[M] is transitive for n>=max(d+2,3). The starting point is the case of polynomial rings, considered by A. Suslin in the 1970s. The main result completes a project, initiated in the early 1990s, and suggests a new direction in the study of K-theory of monoid rings.


title: Landau-Ginzburg-Wilson approach to critical phenomena in the presence of gauge symmetries

abstract: We critically reconsider the Landau-Ginzburg-Wilson (LGW) approach to critical phenomena in the presence of gauge symmetries. In the LGW framework, to obtain the universal features of a continuous transition, one identifies the order parameter Phi and considers the corresponding most general Phi4 field theory that has the same symmetries as the original model. In the presence of gauge symmetries, one usually considers a gauge-invariant order parameter and a LGW field theory that is invariant under the global symmetries of the original model. We show that this approach, in which the gauge dynamics is effectively integrated out, may sometimes lead to erroneous conclusions on the nature of the critical behavior. As an explicit example, we show that the above-described LGW approach generally fails for the three-dimensional ferromagnetic and antiferromagnetic CP(N-1) models, which are invariant under global U(N) and local U(1) transformations. We point out possible implications for the finite-temperature chiral transition of nuclear matter.


title: Microwave properties of superconductors close to SIT

abstract: Strongly disordered pseudogapped superconductors are expected to display arbitrary high values of kinetic inductance close to superconductor-insulator transition (SIT) that makes them attractive for the implementation of dissipationless superinductance. We develop the theory of the collective modes in these superconductors and discuss associated dissipation at microwave frequencies. We obtain the collective mode spectra dependence on the disorder level and conclude that collective modes become relevant source of dissipation and noise in the far vicinity of SIT.


title: Cluster size distributions in gas jets for different nozzle geometries

abstract: Cluster size distributions were investigated in case of different nozzle geometries in argon and xenon using Rayleigh scattering diagnostics. Different nozzle geometries result in different behaviour, therefore both spatial- and temporal cluster size distributions were studied to obtain a well-characterized cluster target. It is shown that the generally used Hagena scaling can result in a significant deviation from the observed data and the behaviour cannot be described by a single material condensation parameter. The results along with the nanoplasma model applied to the data of previous high harmonic generation experiments allow the independent measurement of cluster size and cluster density.


title: Recommending links through influence maximization

abstract: The link recommendation problem consists in suggesting a set of links to the users of a social network in order to increase their social circles and the connectivity of the network. Link recommendation is extensively studied in the context of social networks and of general complex networks due to its wide range of applications. Most of the existing link recommendation methods estimate the likelihood that a link is adopted by users and recommend links that are likely to be established. However, most of such methods overlook the impact that the suggested links have on the capability of the network to spread information. Indeed, such capability is directly correlated with both the engagement of a single user and the revenue of online social networks. In this paper, we study link recommendation systems from the point of view of information diffusion. In detail, we consider the problem in which we are allowed to spend a given budget to create new links so to suggest a bounded number of possible persons to whom become friend in order to maximize the influence of a given set of nodes. We model the influence diffusion in a network with the popular Independent Cascade model.


title: Effects of the Hubbard U on density functional-based predictions of BiFeO$_3$ properties

abstract: First principles studies of multiferroic materials, such as bismuth ferrite (BFO), require methods that extend beyond standard density functional theory (DFT). The DFT+U method is one such extension that is widely used in the study of BFO. We present a systematic study of the effects of the U parameter on the structural, ferroelectric and electronic properties of BFO. We find that the structural and ferroelectric properties change negligibly in the range of U typically considered for BFO (3-5 eV). In contrast, the electronic structure varies significantly with U. In particular, we see large changes to the character and curvature of the valence band maximum and conduction band minimum, in addition to the expected increase in band gap, as U increases. Most significantly, we find that the $t_{2g}$/$e_{g}$ ordering, expected from crystal field theory, is inverted for U values larger than 4 eV. We therefore recommend a U value of at most 4 eV to be applied to the Fe $d$ orbitals in BFO. More generally, this study emphasises the need for systematic investigations of the effects of the U parameter not merely on band gaps but on the electronic structure as a whole, especially for strongly correlated materials.


title: From Relational Data to Graphs: Inferring Significant Links using Generalized Hypergeometric Ensembles

abstract: The inference of network topologies from relational data is an important problem in data analysis. Exemplary applications include the reconstruction of social ties from data on human interactions, the inference of gene co-expression networks from DNA microarray data, or the learning of semantic relationships based on co-occurrences of words in documents. Solving these problems requires techniques to infer significant links in noisy relational data. In this short paper, we propose a new statistical modeling framework to address this challenge. It builds on generalized hypergeometric ensembles, a class of generative stochastic models that give rise to analytically tractable probability spaces of directed, multi-edge graphs. We show how this framework can be used to assess the significance of links in noisy relational data. We illustrate our method in two data sets capturing spatio-temporal proximity relations between actors in a social system. The results show that our analytical framework provides a new approach to infer significant links from relational data, with interesting perspectives for the mining of data on social systems.


title: A survey of dimensionality reduction techniques based on random projection

abstract: Dimensionality reduction techniques play important roles in the analysis of big data. Traditional dimensionality reduction approaches, such as principal component analysis (PCA) and linear discriminant analysis (LDA), have been studied extensively in the past few decades. However, as the dimensionality of data increases, the computational cost of traditional dimensionality reduction methods grows exponentially, and the computation becomes prohibitively intractable. These drawbacks have triggered the development of random projection (RP) techniques, which map high-dimensional data onto a low-dimensional subspace with extremely reduced time cost. However, the RP transformation matrix is generated without considering the intrinsic structure of the original data and usually leads to relatively high distortion. Therefore, in recent years, methods based on RP have been proposed to address this problem. In this paper, we summarize the methods used in different situations to help practitioners to employ the proper techniques for their specific applications. Meanwhile, we enumerate the benefits and limitations of the various methods and provide further references for researchers to develop novel RP-based approaches.


title: Zoom-in-Net: Deep Mining Lesions for Diabetic Retinopathy Detection

abstract: We propose a convolution neural network based algorithm for simultaneously diagnosing diabetic retinopathy and highlighting suspicious regions. Our contributions are two folds: 1) a network termed Zoom-in-Net which mimics the zoom-in process of a clinician to examine the retinal images. Trained with only image-level supervisions, Zoomin-Net can generate attention maps which highlight suspicious regions, and predicts the disease level accurately based on both the whole image and its high resolution suspicious patches. 2) Only four bounding boxes generated from the automatically learned attention maps are enough to cover 80% of the lesions labeled by an experienced ophthalmologist, which shows good localization ability of the attention maps. By clustering features at high response locations on the attention maps, we discover meaningful clusters which contain potential lesions in diabetic retinopathy. Experiments show that our algorithm outperform the state-of-the-art methods on two datasets, EyePACS and Messidor.


title: Nonlocal magnon-polaron transport in yttrium iron garnet

abstract: The spin Seebeck effect (SSE) is observed in magnetic insulator|heavy metal bilayers as an inverse spin Hall effect voltage under a temperature gradient. The SSE can be detected nonlocally as well, viz. in terms of the voltage in a second metallic contact (detector) on the magnetic film, spatially separated from the first contact that is used to apply the temperature bias (injector). Magnon-polarons are hybridized lattice and spin waves in magnetic materials, generated by the magnetoelastic interaction. Kikkawa et al. [Phys. Rev. Lett. \textbf{117}, 207203 (2016)] interpreted a resonant enhancement of the local SSE in yttrium iron garnet (YIG) as a function of the magnetic field in terms of magnon-polaron formation. Here we report the observation of magnon-polarons in \emph{nonlocal} magnon spin injection/detection devices for various injector-detector spacings and sample temperatures. Unexpectedly, we find that the magnon-polaron resonances can suppress rather than enhance the nonlocal SSE. Using finite element modelling we explain our observations as a competition between the SSE and spin diffusion in YIG. These results give unprecedented insights into the magnon-phonon interaction in a key magnetic material.


title: Stable Gabor Phase Retrieval and Spectral Clustering

abstract: We consider the problem of reconstructing a signal $f$ from its spectrogram, i.e., the magnitudes $|V_\varphi f|$ of its Gabor transform $$V_\varphi f (x,y):=\int_{\mathbb{R}}f(t)e^{-\pi (t-x)^2}e^{-2\pi \i y t}dt, \quad x,y\in \mathbb{R}.$$ Such problems occur in a wide range of applications, from optical imaging of nanoscale structures to audio processing and classification. While it is well-known that the solution of the above Gabor phase retrieval problem is unique up to natural identifications, the stability of the reconstruction has remained wide open. The present paper discovers a deep and surprising connection between phase retrieval, spectral clustering and spectral geometry. We show that the stability of the Gabor phase reconstruction is bounded by the reciprocal of the Cheeger constant of the flat metric on $\mathbb{R}^2$, conformally multiplied with $|V_\varphi f|$. The Cheeger constant, in turn, plays a prominent role in the field of spectral clustering, and it precisely quantifies the `disconnectedness' of the measurements $V_\varphi f$. It has long been known that a disconnected support of the measurements results in an instability -- our result for the first time provides a converse in the sense that there are no other sources of instabilities. Due to the fundamental importance of Gabor phase retrieval in coherent diffraction imaging, we also provide a new understanding of the stability properties of these imaging techniques: Contrary to most classical problems in imaging science whose regularization requires the promotion of smoothness or sparsity, the correct regularization of the phase retrieval problem promotes the `connectedness' of the measurements in terms of bounding the Cheeger constant from below. Our work thus, for the first time, opens the door to the development of efficient regularization strategies.


title: No touchdown at points of small permittivity and nontrivial touchdown sets for the MEMS problem

abstract: We consider a well-known model for micro-electromechanical systems (MEMS) with variable dielectric permittivity, involving a parabolic equation with singular nonlinearity. We study the touchdown, or quenching, phenomenon. Recently, the question whether or not touchdown can occur at zero points of the premittivity profile f, which had long remained open, was answered negatively for the case of interior points. The first aim of this article is to go further by considering the same question at points of positive but small permittivity. We show that, in any bounded domain, touchdown cannot occur at an interior point where the permittivity profile is suitably small. We also obtain a similar result in the boundary case, under a smallness assumption on f in a neighborhood of the boundary. This allows in particular to construct f producing touchdown sets concentrated near any given sphere. Our next aim is to obtain more information on the structure and properties of the touchdown set. In particular, we show that the touchdown set need not in general be localized near the maximum points of the premittivity profile f. In the radial case in a ball, we show the existence of M-shaped profiles for which the touchdown set is located far away from the maximum points of f and we even obtain strictly convex f for which touchdown occurs at the unique minimum point of f. These results show that some kind of smallness condition as above cannot be avoided in order to rule out touchdown at a point. On the other hand, we construct profiles f producing more complex behaviors: in any bounded domain the touchdown set may be concentrated near two arbitrarily given points, or two arbitrarily given (n-1)-dimensional spheres in a ball. These examples are obtained as a consequence of stability results for the touchdown time and touchdown set under small perturbations of the permittivity profile.


title: Cluster multiplication theorem in the quantum cluster algebra of type $A_{2}^{(2)}$

abstract: The objective of the present paper is to prove cluster multiplication theorem in the quantum cluster algebra of type $A_{2}^{(2)}$. As corollaries, we obtain bar-invariant $\mathbb{Z}[q^{\pm\frac{1}{2}}]$-bases established in [6], and naturally deduce the positivity of the elements in these bases. One bar-invariant basis as the triangular basis of this quantum cluster algebra is also explicitly described.


title: Pell Coding and Pell Decoding Methods with Some Applications

abstract: We obtain a new coding and decoding method using the generalized Pell $(p,i)$ -numbers. The relations among the code matrix elements, error detection and correction have been established for this coding theory. We give two new blocking algorithms using Pell numbers and generalized Pell $(p,i)$-numbers.


title: The Frobenius number for sequences of triangular and tetrahedral numbers

abstract: We compute the Frobenius number for sequences of triangular and tetrahedral numbers. In addition, we study some properties of the numerical semigroups associated to those sequences.


title: Quantum Hamiltonian daemons: unitary analogs of combustion engines

abstract: Hamiltonian daemons have recently been defined classically as small, closed Hamiltonian systems which can exhibit secular energy transfer from high-frequency to low-frequency degrees of freedom (steady downconversion), analogous to the steady transfer of energy in a combustion engine from the high Terahertz frequencies of molecular excitations to the low kilohertz frequencies of piston motion. Classical daemons achieve downconversion within a small, closed system by exploiting nonlinear resonances; the adiabatic theorem permits their operation but imposes non-trivial limitations on their efficiency. Here we investigate a simple example of a quantum mechanical daemon. In the correspondence regime it obeys similar efficiency limits to its classical counterparts, but in the strongly quantum mechanical regime the daemon operates in an entirely different manner. It maintains an engine-like behavior in a distinctly quantum mechanical form: a weight is lifted at a steady average speed through a long sequence of quantum jumps in momentum, at each of which a quantum of fuel is consumed. The quantum daemon can cease downconversion at any time through non-adiabatic Landau-Zener transitions, and continuing operation of the quantum daemon is associated with steadily growing entanglement between fast and slow degrees of freedom.


title: Multiscale differential Riccati equations for linear quadratic regulator problems

abstract: We consider approximations to the solutions of differential Riccati equations in the context of linear quadratic regulator problems, where the state equation is governed by a multiscale operator. Similarly to elliptic and parabolic problems, standard finite element discretizations perform poorly in this setting unless the grid resolves the fine-scale features of the problem. This results in unfeasible amounts of computation and high memory requirements. In this paper, we demonstrate how the localized orthogonal decomposition method may be used to acquire accurate results also for coarse discretizations, at the low cost of solving a series of small, localized elliptic problems. We prove second-order convergence (except for a logarithmic factor) in the $L^2$ operator norm, and first-order convergence in the corresponding energy norm. These results are both independent of the multiscale variations in the state equation. In addition, we provide a detailed derivation of the fully discrete matrix-valued equations, and show how they can be handled in a low-rank setting for large-scale computations. In connection to this, we also show how to efficiently compute the relevant operator-norm errors. Finally, our theoretical results are validated by several numerical experiments.


title: Dissipativity Theory for Nesterov's Accelerated Method

abstract: In this paper, we adapt the control theoretic concept of dissipativity theory to provide a natural understanding of Nesterov's accelerated method. Our theory ties rigorous convergence rate analysis to the physically intuitive notion of energy dissipation. Moreover, dissipativity allows one to efficiently construct Lyapunov functions (either numerically or analytically) by solving a small semidefinite program. Using novel supply rate functions, we show how to recover known rate bounds for Nesterov's method and we generalize the approach to certify both linear and sublinear rates in a variety of settings. Finally, we link the continuous-time version of dissipativity to recent works on algorithm analysis that use discretizations of ordinary differential equations.


title: Shape-Color Differential Moment Invariants under Affine Transformations

abstract: We propose the general construction formula of shape-color primitives by using partial differentials of each color channel in this paper. By using all kinds of shape-color primitives, shape-color differential moment invariants can be constructed very easily, which are invariant to the shape affine and color affine transforms. 50 instances of SCDMIs are obtained finally. In experiments, several commonly used color descriptors and SCDMIs are used in image classification and retrieval of color images, respectively. By comparing the experimental results, we find that SCDMIs get better results.


title: A Model of Parametric Dependent Type Theory in Bridge/Path Cubical Sets

abstract: The purpose of this text is to prove all technical aspects of our model for dependent type theory with parametric quantifiers [Nuyts, Vezzosi and Devriese, 2017]. It is well-known that any presheaf category constitutes a model of dependent type theory [Hofmann, 1997], including a hierarchy of universes if the metatheory has one [Hofmann and Streicher, 1997]. We construct our model by defining the base category BPCube of bridge/path cubes and adapting the general presheaf model over BPCube to suit our needs. Our model is heavily based on the models by Atkey, Ghani and Johann [2014], Huber [2015], Bezem, Coquand and Huber [2014], Cohen, Coquand, Huber and M\"ortberg [2016], Moulin [2016] and Bernardy, Coquand and Moulin [2015]. In chapter 1, we review the main concepts of categories with families, and the standard presheaf model of dependent type theory, and we establish the notations we will use. In chapter 2, we capture morphisms of CwFs, and natural transformations and adjunctions between them, in typing rules. We especially study morphisms of CwFs between presheaf categories, that arise from functors between the base categories. In chapter 3, we introduce the category BPCube of bridge/path cubes, and its presheaf category Psh(BPCube) of bridge/path cubical sets. There is a rich interaction with the category of cubical sets Psh(Cube) which we investigate more closely using ideas from axiomatic cohesion [Licata and Shulman, 2016]. In chapter 4, we define discrete types and show that they form a model of dependent type theory. We prove some infrastructural results. In chapter 5, we give an interpretation of the typing rules of ParamDTT [Nuyts, Vezzosi and Devriese, 2017] in Psh(BPCube).


title: Coherent population pumping in a bright state

abstract: We demonstrate resonances due to coherent population pumping in a bright state (CBS), using magnetic sublevels of the closed $ F_g = 2 \rightarrow F_e = 3 $ transition in $^{87}$Rb. The experiments are performed at room temperature vapor in two kinds of cells---one that is pure and the second that contains a buffer gas of Ne at 20 torr. We also present the effect of pump power variation on the CBS linewidth, and explain the behavior by using a power-dependent scattering rate. The experimentally observed CBS resonances are supported by a density-matrix analysis of the system.


title: Smoothed one-core and core--multi-shell regular black holes

abstract: We discuss the generic properties of a general, smoothly varying, spherically symmetric mass distribution $\mathcal{D}(r,\theta)$, with no cosmological term ($\theta$ is a length scale parameter). Observing these constraints, we show that (a) the de Sitter behavior of spacetime at the origin is generic and depends only on $\mathcal{D}(0,\theta)$, (b) the geometry may posses up to $2(k+1)$ horizons depending solely on the total mass $M$ if the cumulative distribution of $\mathcal{D}(r,\theta)$ has $2k+1$ inflection points, and (c) no scalar invariant nor a thermodynamic entity diverges. We define new two-parameter mathematical distributions mimicking Gaussian and step-like functions and reduce to the Dirac distribution in the limit of vanishing parameter $\theta$. We use these distributions to derive in closed forms asymptotically flat, spherically symmetric, solutions that describe and model a variety of physical and geometric entities ranging from noncommutative black holes, quantum-corrected black holes to stars and dark matter halos for various scaling values of $\theta$. We show that the mass-to-radius ratio $\pi c^2/G$ is an upper limit for regular-black-hole formation. Core--multi-shell and multi-shell regular black holes are also derived.


title: Topology of hypersurface singularities

abstract: K\"ahler's paper "\"Uber die Verzweigung einer algebraischen Funktion zweier Ver\"anderlichen in der Umgebung einer singul\"aren Stelle" offered a more perceptual view of the link of a complex plane curve singularity than that provided shortly before by Brauner. K\"ahler's innovation of using a "square sphere" became standard in the toolkit of later researchers on singularities. We describe his contribution and survey developments since then, including a brief discussion of the topology of isolated hypersurface singularities in higher dimension.