title: Internalizing decorated bicategories: The globularily generated condition

abstract: This is the first part of a series of papers studying the problem of existence of double categories for which horizontal bicategory and object category are given. We refer to this problem as the problem of existence of internalizations for decorated bicategories. We establish a formal framework within which the problem of existence of internalizations can be correctly formulated. Further, we introduce the condition of a double category being globularily generated. We prove that the problem of existence of internalizations for a decorated bicategory admits a solution if and only if it admits a globularily generated solution, and we prove that the condition of a double category being globularily generated is precisely the condition of a solution to the problem of existence of internalizations for a decorated bicategory being minimal. The study of the condition of a double category being globularily generated will thus be pivotal in our study of the problem of existence of internalizations.


title: Generalization Error Bounds for Optimization Algorithms via Stability

abstract: Many machine learning tasks can be formulated as Regularized Empirical Risk Minimization (R-ERM), and solved by optimization algorithms such as gradient descent (GD), stochastic gradient descent (SGD), and stochastic variance reduction (SVRG). Conventional analysis on these optimization algorithms focuses on their convergence rates during the training process, however, people in the machine learning community may care more about the generalization performance of the learned model on unseen test data. In this paper, we investigate on this issue, by using stability as a tool. In particular, we decompose the generalization error for R-ERM, and derive its upper bound for both convex and non-convex cases. In convex cases, we prove that the generalization error can be bounded by the convergence rate of the optimization algorithm and the stability of the R-ERM process, both in expectation (in the order of $\mathcal{O}((1/n)+\mathbb{E}\rho(T))$, where $\rho(T)$ is the convergence error and $T$ is the number of iterations) and in high probability (in the order of $\mathcal{O}\left(\frac{\log{1/\delta}}{\sqrt{n}}+\rho(T)\right)$ with probability $1-\delta$). For non-convex cases, we can also obtain a similar expected generalization error bound. Our theorems indicate that 1) along with the training process, the generalization error will decrease for all the optimization algorithms under our investigation; 2) Comparatively speaking, SVRG has better generalization ability than GD and SGD. We have conducted experiments on both convex and non-convex problems, and the experimental results verify our theoretical findings.


title: Matched filter detection with dynamic threshold for cognitive radio networks

abstract: -In cognitive radio networks, spectrum sensing aims to detect the unused spectrum channels in order to use the radio spectrum more efficiently. Various methods have been proposed in the past, such as energy, feature detection, and matched filter. These methods are characterized by a sensing threshold, which plays an important role in the sensing performance. Most of the existing techniques used a static threshold. However, the noise is random, and, thus the threshold should be dynamic. In this paper, we suggest an approach with an estimated and dynamic sensing threshold to increase the efficiency of the sensing detection. The matched filter method with dynamic threshold is simulated and its results are compared to those of other existing techniques. Keywords-cognitive radio networks; spectrum sensing; energy detection; matched filter detection; autocorrelation based sensing; estimated dynamic threshold


title: House price estimation from visual and textual features

abstract: Most existing automatic house price estimation systems rely only on some textual data like its neighborhood area and the number of rooms. The final price is estimated by a human agent who visits the house and assesses it visually. In this paper, we propose extracting visual features from house photographs and combining them with the house's textual information. The combined features are fed to a fully connected multilayer Neural Network (NN) that estimates the house price as its single output. To train and evaluate our network, we have collected the first houses dataset (to our knowledge) that combines both images and textual attributes. The dataset is composed of 535 sample houses from the state of California, USA. Our experiments showed that adding the visual features increased the R-value by a factor of 3 and decreased the Mean Square Error (MSE) by one order of magnitude compared with textual-only features. Additionally, when trained on the benchmark textual-only features housing dataset, our proposed NN still outperformed the existing model published results.


title: The Fukaya category pairs with Lagrangian cobordisms exactly

abstract: We prove that a pairing between the Fukaya category and the oo-category of Lagrangian cobordisms respects mapping cones. This is another step toward constructing a lift of Fukaya categories to the level of spectra (in the sense of stable homotopy theory). As corollaries, we show that the map in our previous work from cobordism groups to Floer cohomology lifts to the level of spectra, and one also recovers some results of Biran and Cornea for what we call "vertically collared" cobordisms.


title: How Dennis realized he had `invented' $L_\infty$-algebras a.k.a. strongly homotopy Lie algebras

abstract: This is my attempt to rediscover how Dennis realized that he had discovered/invented $L_\infty$-algebras a.k.a. strongly homotopy Lie algebras before my colleagues and I defined them.


title: Holographic superconductor in a deformed four-dimensional STU model

abstract: In this paper, we consider deformed STU model in four dimensions including both electric and magnetic charges. Using AdS/CFT correspondence, we study holographic superconductor and obtain transport properties like electrical and thermal conductivities. We obtain transport properties in terms of the black hole magnetic charge and interpret it as magnetic monopole of dual field theory. We find that presence of magnetic charge is necessary to have maximum conductivities, and existence of magnetic monopole with a critical charge (137 e) to reach the maximum superconductivity is important. Also, we show that thermal conductivity increases with increasing of magnetic charge. It may be concluded that the origin of superconductivity is magnetic monopole.


title: Tight Hardness Results for Distance and Centrality Problems in Constant Degree Graphs

abstract: Finding important nodes in a graph and measuring their importance is a fundamental problem in the analysis of social networks, transportation networks, biological systems, etc. Among popular such metrics are graph centrality, betweenness centrality (BC), and reach centrality (RC). These measures are also very related to classic notions like diameter and radius. Roditty and Vassilevska Williams~[STOC'13] showed that no algorithm can compute a (3/2-\delta)-approximation of the diameter in sparse and unweighted graphs faster that n^{2-o(1)} time unless the widely believed strong exponential time hypothesis (SETH) is false. Abboud et al.~[SODA'15] and [SODA'16] further analyzed these problems under the recent line of research on hardness in P. They showed that in sparse and unweighted graphs (weighted for BC) none of these problems can be solved faster than n^{2-o(1)} unless some popular conjecture is false. Furthermore they ruled out a (2-\delta)-approximation for RC, a (3/2-\delta)-approximation for Radius and a (5/3-\delta)-approximation for computing all eccentricities of a graph for any \delta > 0. We extend these results to the case of unweighted graphs with constant maximum degree. Through new graph constructions we are able to obtain the same approximation and time bounds as for sparse graphs even in unweighted bounded-degree graphs. We show that no (3/2-\delta) approximation of Radius or Diameter, (2-\delta)-approximation of RC, (5/3-\delta)-approximation of all eccentricities or exact algorithm for BC exists in time n^{2-o(1)} for such graphs and any \delta > 0. This strengthens the result for BC of Abboud et al.~[SODA'16] by showing a hardness result for unweighted graphs, and follows in the footsteps of Abboud et al.~[SODA'16] and Abboud and Dahlgaard~[FOCS'16] in showing conditional lower bounds for restricted but realistic graph classes.


title: Wave control through soft microstructural curling: bandgap shifting, reconfigurable anisotropy and switchable chirality

abstract: In this work, we discuss and numerically validate a strategy to attain reversible macroscopic changes in the wave propagation characteristics of cellular metamaterials with soft microstructures. The proposed cellular architecture is characterized by unit cells featuring auxiliary populations of symmetrically-distributed smart cantilevers stemming from the nodal locations. Through an external stimulus (the application of an electric field), we induce extreme, localized, reversible curling deformation of the cantilevers---a shape modification which does not affect the overall shape, stiffness and load bearing capability of the structure. By carefully engineering the spatial pattern of straight (non activated) and curled (activated) cantilevers, we can induce several profound modifications of the phononic characteristics of the structure: generation and/or shifting of total and partial bandgaps, cell symmetry relaxation (which implies reconfigurable wave beaming), and chirality switching. While in this work we discuss the specific case of composite cantilevers with a PDMS core and active layers of electrostrictive terpolymer P(VDF-TrFE-CTFE), the strategy can be extended to other smart materials (such as dielectric elastomers or shape-memory polymers).


title: On the $L^p$-theory of $C_0$-semigroups associated with second-order elliptic operators with complex singular coefficients

abstract: We study $L^p$-theory of second-order elliptic divergence type operators with complex measurable coefficients. The major aspect is that we allow complex coefficients in the main part of the operator, too. We investigate generation of analytic $C_0$-semigroups under very general conditions on the coefficients, related to the notion of form-boundedness. We determine an interval $J$ in the $L^p$-scale, not necessarily containing $p=2$, in which one obtains a consistent family of quasi-contractive semigroups. This interval is close to optimal, as shown by several examples. In the case of uniform ellipticity we construct a family of semigroups in an extended range of $L^p$-spaces, and we prove $p$-independence of the analyticity sector and of the spectrum of the generators.


title: Effect of a bias field on disordered waveguides: Universal scaling of conductance and application to ultracold atoms

abstract: We study the transmission of a disordered waveguide subjected to a finite bias field. The statisticaldistribution of transmission is analytically shown to take a universal form. It depends on a singleparameter, the system length expressed in a rescaled metrics, which encapsulates all the microscopicfeatures of the medium and the bias field. Excellent agreement with numerics is found for variousmodels of disorder and bias field. For white-noise disorder and a linear bias field, we demonstratethe algebraic nature of the decay of the transmission with distance, irrespective of the value ofthe bias field. It contrasts with the expansion of a wave packet, which features a delocalizationtransition for large bias field. The difference is attributed to the different boundary conditionsfor the transmission and expansion schemes. The observability of these effects in conductancemeasurements for electrons or ultracold atoms is discussed, taking into account key features, suchas finite-range disorder correlations, nonlinear bias fields, and finite temperatures.


title: Minimal sets of dequantizers and quantizers for finite-dimensional quantum systems

abstract: The problem of finding and characterizing minimal sets of dequantizers and quantizers applied in the mapping of operators onto functions is considered, for finite-dimensional quantum systems. The general properties of such sets are determined. An explicit description of all the minimum self-dual sets of dequantizers and quantizers for a qubit system is derived. The connection between some known sets of dequantizers and quantizers and the derived formulae is presented.


title: Deep learning for detection of bird vocalisations

abstract: This work focuses on reliable detection of bird sound emissions as recorded in the open field. Acoustic detection of avian sounds can be used for the automatized monitoring of multiple bird taxa and querying in long-term recordings for species of interest for researchers, conservation practitioners, and decision makers. Recordings in the wild can be very noisy due to the exposure of the microphones to a large number of audio sources originating from all distances and directions, the number and identity of which cannot be known a-priori. The co-existence of the target vocalizations with abiotic interferences in an unconstrained environment is inefficiently treated by current approaches of audio signal enhancement. A technique that would spot only bird vocalization while ignoring other audio sources is of prime importance. These difficulties are tackled in this work, presenting a deep autoencoder that maps the audio spectrogram of bird vocalizations to its corresponding binary mask that encircles the spectral blobs of vocalizations while suppressing other audio sources. The procedure requires minimum human attendance, it is very fast during execution, thus suitable to scan massive volumes of data, in order to analyze them, evaluate insights and hypotheses, identify patterns of bird activity that, hopefully, finally lead to design policies on biodiversity issues.


title: Modelling Radiological Language with Bidirectional Long Short-Term Memory Networks

abstract: Motivated by the need to automate medical information extraction from free-text radiological reports, we present a bi-directional long short-term memory (BiLSTM) neural network architecture for modelling radiological language. The model has been used to address two NLP tasks: medical named-entity recognition (NER) and negation detection. We investigate whether learning several types of word embeddings improves BiLSTM's performance on those tasks. Using a large dataset of chest x-ray reports, we compare the proposed model to a baseline dictionary-based NER system and a negation detection system that leverages the hand-crafted rules of the NegEx algorithm and the grammatical relations obtained from the Stanford Dependency Parser. Compared to these more traditional rule-based systems, we argue that BiLSTM offers a strong alternative for both our tasks.


title: Steady-state entanglement between distant quantum dots in photonic crystal dimers

abstract: We show that two spatially separated semiconductor quantum dots under resonant and continuous-wave excitation can be strongly entangled in the steady-state, thanks to their radiative coupling by mutual interaction through the normal modes of a photonic crystal dimer. We employ a quantum master equation formalism to quantify the steady-state entanglement by calculating the system {\it negativity}. Calculations are specified to consider realistic semiconductor nanostructure parameters for the photonic crystal dimer-quantum dots coupled system, determined by a guided mode expansion solution of Maxwell equations. Negativity values of the order of 0.1 ($20\%$ of the maximum value) are shown for interdot distances that are larger than the resonant wavelength of the system. It is shown that the amount of entanglement is almost independent of the interdot distance, as long as the normal mode splitting of the photonic dimer is larger than their linewidths, which becomes the only requirement to achieve a local and individual qubit addressing. Considering inhomogeneously broadened quantum dots, we find that the steady-state entanglement is preserved as long as the detuning between the two quantum dot resonances is small when compared to their decay rates. The steady-state entanglement is shown to be robust against the effects of pure dephasing of the quantum dot transitions. We finally study the entanglement dynamics for a configuration in which one of the two quantum dots is initially excited and find that the transient negativity can be enhanced by more than a factor of two with respect to the steady-state value. These results are promising for practical applications of entangled states at short time scales.


title: The Formation of Stellar Black Holes

abstract: It is believed that stellar black holes (BHs) can be formed in two different ways: Either a massive star collapses directly into a BH without a supernova (SN) explosion, or an explosion occurs in a proto-neutron star, but the energy is too low to completely unbind the stellar envelope, and a large fraction of it falls back onto the short-lived neutron star (NS), leading to the delayed formation of a BH. Theoretical models set progenitor masses for BH formation by implosion, namely, by complete or almost complete collapse, but observational evidences have been elusive. Here are reviewed the observational insights on BHs formed by implosion without large natal kicks from: (1) the kinematics in three dimensions of space of five Galactic BH X-ray binaries (BH-XRBs), (2) the diversity of optical and infrared observations of massive stars that collapse in the dark, with no luminous SN explosions, possibly leading to the formation of BHs, and (3) the sources of gravitational waves produced by mergers of stellar BHs so far detected with LIGO. Multiple indications of BH formation without ejection of a significant amount of matter and with no natal kicks obtained from these different areas of observational astrophysics, and the recent observational confirmation of the expected dependence of BH formation on metallicity and redshift, are qualitatively consistent with the high merger rates of binary black holes (BBHs) inferred from the first detections with LIGO.


title: OC16-CE80: A Chinese-English Mixlingual Database and A Speech Recognition Baseline

abstract: We present the OC16-CE80 Chinese-English mixlingual speech database which was released as a main resource for training, development and test for the Chinese-English mixlingual speech recognition (MixASR-CHEN) challenge on O-COCOSDA 2016. This database consists of 80 hours of speech signals recorded from more than 1,400 speakers, where the utterances are in Chinese but each involves one or several English words. Based on the database and another two free data resources (THCHS30 and the CMU dictionary), a speech recognition (ASR) baseline was constructed with the deep neural network-hidden Markov model (DNN-HMM) hybrid system. We then report the baseline results following the MixASR-CHEN evaluation rules and demonstrate that OC16-CE80 is a reasonable data resource for mixlingual research.


title: Inclusive production of J/$\psi$ and $\psi'$ mesons at the LHC

abstract: We discuss the prompt production of $J/\psi$ mesons in proton-proton collisions at the LHC within a NRQCD $k_{t}$-factorization approach using Kimber-Martin-Ryskin (KMR) unintegrated gluon distributions (UGDF). We include both direct color-singlet production ($gg \to J/\psi$g) as well as a feed-down from $\chi_{c} \to J/\psi \gamma$ and $\psi' \to J/\psi X$. The production of the decaying mesons ($\chi_{c}$ or $\psi'$)is also calculated within NRQCD $k_{t}$-factorization. The corresponding matrix elements for $gg \to J/\psi$, $gg \to \psi'$ and $gg \to \chi_{c}$ include parameters of the nonrelativistic spatial wave functions of quarkonia at $r=0$, which are taken from potential models from the literature. We get the ratio of the corresponding of the cross sections for $\chi_{c}(2)$-to-$\chi_{c}(1)$ much closer to experimental data than obtained in recent analyses. Differential distributions in rapidity of $J/\psi$ and $\psi'$ are calculated and compared to experimental data of the ALICE and LHCb collaborations. We discuss possible onset of gluon saturation effects at forward/backward rapidities. One can describe the experimental data for $J/\psi$ production within model uncertainties with color-singlet component only. Therefore our theoretical results leave only a relatively small room for the color-octet contributions.


title: Reactive Collision Avoidance using Evolutionary Neural Networks

abstract: Collision avoidance systems can play a vital role in reducing the number of accidents and saving human lives. In this paper, we introduce and validate a novel method for vehicles reactive collision avoidance using evolutionary neural networks (ENN). A single front-facing rangefinder sensor is the only input required by our method. The training process and the proposed method analysis and validation are carried out using simulation. Extensive experiments are conducted to analyse the proposed method and evaluate its performance. Firstly, we experiment the ability to learn collision avoidance in a static free track. Secondly, we analyse the effect of the rangefinder sensor resolution on the learning process. Thirdly, we experiment the ability of a vehicle to individually and simultaneously learn collision avoidance. Finally, we test the generality of the proposed method. We used a more realistic and powerful simulation environment (CarMaker), a camera as an alternative input sensor, and lane keeping as an extra feature to learn. The results are encouraging; the proposed method successfully allows vehicles to learn collision avoidance in different scenarios that are unseen during training. It also generalizes well if any of the input sensor, the simulator, or the task to be learned is changed.


title: Report on imaging of individual skyrmions of MML systems made by different techniques

abstract: Deliverable 1.1 is a report on imaging of individual skyrmions of MML systems made by different techniques. This deliverable falls within work package 1 (WP1:Static equilibrium properties of interface induced skyrmions in magnetic films and multilayers) of the MAGicSky research proposal whose objectives are: the growth of magnetic multilayer systems with large interfacial chiral interaction, the determination of the amplitude of the Dzyaloshinskii--Moriya interactions (DMi), the detailed structural and magnetic characterization of interfaces, the magnetic imaging of individual skyrmions and the thermal stability and interaction of skyrmions with intrinsic and/or artificial defects. It should be emphasized that imaging magnetic skyrmionic structures forms the basis for all the planned subsequent material optimization, electrical transport experiments and devices preparation in the MAGicSky research program. In particular, imaging is paramount as a technique since it enables us to unequivocally demonstrate chiral magnetic skyrmions by directly imaging i) the effects of engineering multilayer samples with large DMis and ii) the skyrmionic structure and properties. In order to get complementary physical insight on the properties of magnetic skyrmions and to corroborate our research results, we utilise a plethora of key state-of-the-art advanced magnetic imaging techniques, namely: i) Spin-polarised Scanning Tunnelling Microscopy (SP-STM), Scanning Transmission X-ray Microscopy (STXM) Lorentz Transmission Electron Microscopy (Lorentz TEM) as well as, Magnetic Force Microscopy (MFM). These imaging experiments can therefore stand as the base for all the other objectives in WP1 as well as WP2 that will study Dynamic properties: nucleation, propagation and detection of skyrmions. Imaging has been aimed to test and get feedback from the theoretical and numerical investigations of skyrmion systems of WP3. Finally, for WP4: Towards skyrmion based devices for information storage and processing, some of the techniques detailed here in D1.1 will enable us to image and test the first devices and their functionality. In short, the MAGicSky consortium research results in D1.1 constitute a major milestone that acts as a stepping-stone to every other experimental effort and we have achieved it. The results relevant to the D1.1 deliverable were presented in 5 publications and several invited talks at international workshop and conferences:


title: A necessary condition for incompatibility of observables in general probabilistic theories

abstract: We quantify the intrinsic noise content of an observable in a general probabilistic theory and derive a noise content inequality for incompatible observables. We apply the derived inequality to standard quantum theory, the quantum theory of processes, and polytope state spaces. The noise content for positive operator-valued measures takes a particularly simple form and equals the sum of minimal eigenvalues of all the effects. We illustrate our findings with a number of examples including the introduced notion of reverse observables.


title: Learning convolutional neural network to maximize Pos@Top performance measure

abstract: In the machine learning problems, the performance measure is used to evaluate the machine learning models. Recently, the number positive data points ranked at the top positions (Pos@Top) has been a popular performance measure in the machine learning community. In this paper, we propose to learn a convolutional neural network (CNN) model to maximize the Pos@Top performance measure. The CNN model is used to represent the multi-instance data point, and a classifier function is used to predict the label from the its CNN representation. We propose to minimize the loss function of Pos@Top over a training set to learn the filters of CNN and the classifier parameter. The classifier parameter vector is solved by the Lagrange multiplier method, and the filters are updated by the gradient descent method alternately in an iterative algorithm. Experiments over benchmark data sets show that the proposed method outperforms the state-of-the-art Pos@Top maximization methods.


title: Optimal Transportation with Boundary Costs and Summability Estimates on the Transport Density

abstract: In this paper we analyze a mass transportation problem in a bounded domain with the possibility to transport mass to/from the boundary, paying the transport cost, that is given by the Euclidean distance plus an extra cost depending on the exit/entrance point. This problem appears in import/export model, as well as in some shape optimization problems. We study the L^p summability of the transport density which does not follow from standard theorems, as the target measures are not absolutely continuous but they have some parts of them which are concentrated on the boundary. We also provide the relevant duality arguments to connect the corresponding Beckmann and Kantorovich problems to a formulation with Kantorovich potentials with Dirichlet boundary conditions.


title: Decision Making Based on Cohort Scores for Speaker Verification

abstract: Decision making is an important component in a speaker verification system. For the conventional GMM-UBM architecture, the decision is usually conducted based on the log likelihood ratio of the test utterance against the GMM of the claimed speaker and the UBM. This single-score decision is simple but tends to be sensitive to the complex variations in speech signals (e.g. text content, channel, speaking style, etc.). In this paper, we propose a decision making approach based on multiple scores derived from a set of cohort GMMs (cohort scores). Importantly, these cohort scores are not simply averaged as in conventional cohort methods; instead, we employ a powerful discriminative model as the decision maker. Experimental results show that the proposed method delivers substantial performance improvement over the baseline system, especially when a deep neural network (DNN) is used as the decision maker, and the DNN input involves some statistical features derived from the cohort scores.


title: Semifields and a theorem of Abhyankar

abstract: Abhyankar proved that every field of finite transcendence degree over $\mathbb{Q}$ or over a finite field is a homomorphic image of a subring of the ring of polynomials $\mathbb{Z}[T_1, \dots, T_n]$ (for some $n$ depending on the field). We conjecture that his result can not be substantially strengthened and show that our conjecture implies a well-known conjecture on the additive idempotence of semifields that are finitely generated as semirings.


title: Numerical analysis of wet separation of particles by density differences

abstract: Wet particle separation is widely used in mineral processing and plastic recycling to separate mixtures of particulate materials into further usable fractions due to density differences. This work presents efforts aiming to numerically analyze the wet separation of particles with different densities. In the current study the discrete element method (DEM) is used for the solid phase while the smoothed particle hydrodynamics (SPH) is used for modeling of the liquid phase. The two phases are coupled by the use of a volume averaging technique. In the current study, simulations of spherical particle separation were performed. In these simulations, a set of generated particles with two different densities is dropped into a rectangular container filled with liquid. The results of simulations with two different mixtures of particles demonstrated how separation depends on the densities of particles.


title: Optimizing the placement of tap positions and guess and determine cryptanalysis with variable sampling

abstract: In this article an optimal selection of tap positions for certain LFSR-based encryption schemes is investigated from both design and cryptanalytic perspective. Two novel algorithms towards an optimal selection of tap positions are given which can be satisfactorily used to provide (sub)optimal resistance to some generic cryptanalytic techniques applicable to these schemes. It is demonstrated that certain real-life ciphers (e.g. SOBER-t32, SFINKS and Grain-128), employing some standard criteria for tap selection such as the concept of full difference set, are not fully optimized with respect to these attacks. These standard design criteria are quite insufficient and the proposed algorithms appear to be the only generic method for the purpose of (sub)optimal selection of tap positions. We also extend the framework of a generic cryptanalytic method called Generalized Filter State Guessing Attacks (GFSGA), introduced in [26] as a generalization of the FSGA method, by applying a variable sampling of the keystream bits in order to retrieve as much information about the secret state bits as possible. Two different modes that use a variable sampling of keystream blocks are presented and it is shown that in many cases these modes may outperform the standard GFSGA mode. We also demonstrate the possibility of employing GFSGA-like attacks to other design strategies such as NFSR-based ciphers (Grain family for instance) and filter generators outputting a single bit each time the cipher is clocked. In particular, when the latter scenario is considered, the idea of combining GFSGA technique and algebraic attacks appears to be a promising unified cryptanalytic method against NFSR-based stream ciphers.


title: Particle production and chemical freezeout from the hybrid UrQMD approach at NICA energies

abstract: The energy dependence of various particle ratios is calculated within the Ultra-Relativistic Quantum Molecular Dynamics approach and compared with the hadron resonance gas (HRG) model and measurements from various experiments, including RHIC-BES, SPS and AGS. It is found that the UrQMD particle ratios agree well with the experimental results at the RHIC-BES energies. Thus, we have utilized UrQMD in simulating particle ratios at other beam energies down to 3 GeV, which will be accessed at NICA and FAIR future facilities. We observe that the particle ratios for crossover and first-order phase transition, implemented in the hybrid UrQMD v3.4, are nearly indistinguishable, especially at low energies (at large baryon chemical potentials or high density).


title: A note on the equioscillation theorem for best ridge function approximation

abstract: We consider the approximation of a continuous function, defined on a compact set of the $d$-dimensional Euclidean space, by sums of two ridge functions. We obtain a necessary and sufficient condition for such a sum to be a best approximation. The result resembles the classical Chebyshev equioscillation theorem for polynomial approximation.


title: Breeding the optical Schroedinger's cat state

abstract: Superpositions of macroscopically distinct quantum states, introduced in Schroedinger's famous Gedankenexperiment, are an epitome of quantum "strangeness" and a natural tool for determining the validity limits of quantum physics. The optical incarnation of Schroedinger's cat - the superposition of two opposite-amplitude coherent states - is also the backbone of quantum information processing in the continuous-variable domain. However, existing preparation methods limit the amplitudes of the component coherent states by about 2, which curtails the state's usefulness for fundamental and practical applications. Here we produce higher-amplitude optical Schroedinger's cats from two such states of lower amplitudes. The protocol consists in bringing the initial states into interference on a beamsplitter and a subsequent heralding quadrature measurement in one of the output channels. In the experiment, we convert a pair of negative squeezed Schroedinger's cat states of amplitude 1.25 to a single positive Schroedinger's cat of amplitude 2.15 with success probability of ~0.2. This amplitude is comparable to the highest values obtained for this state in any physical system. Our technique can be realized in an iterative manner, in principle allowing creation of Schroedinger's cat states of arbitrarily high amplitude.


title: Matter-Antimatter Propulsion via QFT Effects from Parallel Electric and Magnetic Fields

abstract: Matter/antimatter (MAM) pair production from the vacuum through intense electric fields has been investigated theoretically for nearly a century. This history is reviewed and proposals of MAM for intra-solar system and interstellar propulsion systems are examined. The quantum mechanical foundation of MAM production was developed by MAM production occurs when the electric field strength is above the critical value at which the fields become non-linear with self-interactions (known as the Schwinger limit).MAM production occurs when the electric field strength is above the critical value at which the fields become non-linear with self-interactions (known as the Schwinger limit). As the energy density of lasers approach the critical strength of 10^16 V/cm, the feasibility and functionality of electron-positron pair production has received growing interest. Current laser intensities are approaching within 1 order of magnitude of the Schwinger limit. Processes for lowering the critical energy density below the Schwinger limit through additional quantum mechanical effects have been explored. One under study at the U. of Connecticut and the U. of Duisburg-Essen is pulsation of inhomogeneous electric fields within a carrier wave. Another is via enhancement of quantum effects by addition of a magnetic field parallel to the electric field. Magnetic field enhancement to quark/anti-quark production through chiral symmetry breaking effects in QCD was considered by J. Preskill in the 1980's. S. Pyo and D. Page showed in 2007 that parallel magnetic fields enhance electron/positron production via an analogous QED effect. MAM production as a highly efficient fuel source for intra solar system and interstellar propulsion was proposed by D. Crow in 1983. The viability of this method of propulsion will be studied, especially from the parallel electric and magnetic field approach.


title: Quantum Mechanics and Common Sense

abstract: A physical picture for Quantum Mechanics which permits to conciliate it with the usual common sense is proposed. The picture agrees with the canonical Copenhagen interpretation making more clear its statements.


title: Flatness-based nonlinear control strategies for trajectory tracking of quadcopter systems

abstract: This paper proposes several nonlinear control strategies for trajectory tracking of a quadcopter system based on the property of differential flatness. Its originality is twofold. Firstly, it provides a flat output for the quadcopter dynamics capable of creating full flat parametrization of the states and inputs. Moreover, B-splines characterizations of the flat output and their properties allow for optimal trajectory generation subject to way-point constraints. Secondly, several control strategies based on computed torque control and feedback linearization are presented and compared. The advantages of flatness within each control strategy are analyzed and detailed through extensive simulation results.


title: Time resolved heat exchange in driven quantum systems

abstract: We study time-dependent heat transport in systems composed of a resonant level periodically forced with an external power source and coupled to a fermionic continuum. This simple model contains the basic ingredients to understand time resolved energy exchange in quantum capacitors that behave as single particle emitters. We analyse the behaviour of the dynamic heat current for driving frequencies within the non-adiabatic regime, showing that it does not obey a Joule dissipation law.


title: Well-posedness in Gevrey space for the Prandtl equations with non-degenerate critical points

abstract: In the paper, we study the Prandtl system with initial data admitting non-degenerate critical points. For any index $\sigma\in[3/2, 2],$ we obtain the local in time well-posedness in the space of Gevrey class $G^\sigma$ in the tangential variable and Sobolev class in the normal variable so that the monotonicity condition on the tangential velocity is not needed to overcome the loss of tangential derivative. This answers the open question raised in the paper of D. G\'{e}rard-Varet and N. Masmoudi [{\it Ann. Sci. \'{E}c. Norm. Sup\'{e}r}. (4) 48 (2015), no. 6, 1273-1325], in which the case $\sigma=7/4$ is solved.


title: DESQ: Frequent Sequence Mining with Subsequence Constraints

abstract: Frequent sequence mining methods often make use of constraints to control which subsequences should be mined. A variety of such subsequence constraints has been studied in the literature, including length, gap, span, regular-expression, and hierarchy constraints. In this paper, we show that many subsequence constraints---including and beyond those considered in the literature---can be unified in a single framework. A unified treatment allows researchers to study jointly many types of subsequence constraints (instead of each one individually) and helps to improve usability of pattern mining systems for practitioners. In more detail, we propose a set of simple and intuitive "pattern expressions" to describe subsequence constraints and explore algorithms for efficiently mining frequent subsequences under such general constraints. Our algorithms translate pattern expressions to compressed finite state transducers, which we use as computational model, and simulate these transducers in a way suitable for frequent sequence mining. Our experimental study on real-world datasets indicates that our algorithms---although more general---are competitive to existing state-of-the-art algorithms.


title: Identical Spin Rotation Effect and Electron Spin Waves in Quantum Gas of Atomic Hydrogen

abstract: We present an experimental study of electron spin waves in atomic hydrogen gas compressed to high densities of $\sim 5 \times 10^{18}$ cm$^{-3}$ at temperatures ranging from 0.26 to 0.6 K in strong magnetic field of 4.6 T. Hydrogen gas is in a quantum regime when the thermal de Broglie wavelength is much larger than the s-wave scattering length. In this regime the identical particle effects play major role in atomic collisions and lead to the Identical Spin Rotation effect (ISR). We observed a variety of spin wave modes caused by this effect with strong dependence on the magnetic potential caused by variations of the polarizing magnetic field. We demonstrate confinement of the ISR modes in the magnetic potential and manipulate their properties by changing the spatial profile of magnetic field. We have found that at a high enough density of H gas the magnons accumulate in their ground state in the magnetic trap and exhibit long coherence, which has a profound effect on the electron spin resonance spectra. Such macroscopic accumulation of the ground state occurs at a certain critical density of hydrogen gas, where the chemical potential of the magnons becomes equal to the energy of their ground state in the trapping potential.


title: Local Training for PLDA in Speaker Verification

abstract: PLDA is a popular normalization approach for the i-vector model, and it has delivered state-of-the-art performance in speaker verification. However, PLDA training requires a large amount of labeled development data, which is highly expensive in most cases. A possible approach to mitigate the problem is various unsupervised adaptation methods, which use unlabeled data to adapt the PLDA scattering matrices to the target domain. In this paper, we present a new `local training' approach that utilizes inaccurate but much cheaper local labels to train the PLDA model. These local labels discriminate speakers within a single conversion only, and so are much easier to obtain compared to the normal `global labels'. Our experiments show that the proposed approach can deliver significant performance improvement, particularly with limited globally-labeled data.


title: High-luminosity LHC prospects with the upgraded ATLAS detector

abstract: Run 1 at the LHC was very successful with the discovery of a new boson. The boson's properties are found to be compatible with those of the Standard Model Higgs boson. It is now revealing the mechanism of electroweak symmetry breaking and (possibly) the discovery of physics beyond the Standard Model that are the primary goals of the just restarted LHC. The ultimate precision will be reached at the High-Luminosity LHC phase with a proton-proton centre-of-mass energy of 14 TeV. In this contribution physics prospects are presented for ATLAS for the integrated luminosities 300/fb and 3000/fb: the ultimate precision attainable on measurements of the Higgs boson couplings to elementary fermions and bosons, its trilinear self-coupling, as well as perspectives on the searches for supersymmetric partners associated with the Higgs boson. Benchmark studies are presented to show how the sensitivity improves at the future LHC runs. For all these studies, a parametrised simulation of the upgraded ATLAS detector is used and expected pileup conditions are accounted for.


title: Asynchronous Stochastic Proximal Optimization Algorithms with Variance Reduction

abstract: Regularized empirical risk minimization (R-ERM) is an important branch of machine learning, since it constrains the capacity of the hypothesis space and guarantees the generalization ability of the learning algorithm. Two classic proximal optimization algorithms, i.e., proximal stochastic gradient descent (ProxSGD) and proximal stochastic coordinate descent (ProxSCD) have been widely used to solve the R-ERM problem. Recently, variance reduction technique was proposed to improve ProxSGD and ProxSCD, and the corresponding ProxSVRG and ProxSVRCD have better convergence rate. These proximal algorithms with variance reduction technique have also achieved great success in applications at small and moderate scales. However, in order to solve large-scale R-ERM problems and make more practical impacts, the parallel version of these algorithms are sorely needed. In this paper, we propose asynchronous ProxSVRG (Async-ProxSVRG) and asynchronous ProxSVRCD (Async-ProxSVRCD) algorithms, and prove that Async-ProxSVRG can achieve near linear speedup when the training data is sparse, while Async-ProxSVRCD can achieve near linear speedup regardless of the sparse condition, as long as the number of block partitions are appropriately set. We have conducted experiments on a regularized logistic regression task. The results verified our theoretical findings and demonstrated the practical efficiency of the asynchronous stochastic proximal algorithms with variance reduction.


title: Non-flat Ground Detection Based on A Local Descriptor

abstract: The detection of road and free space remains challenging for non-flat plane, especially with the varying latitudinal and longitudinal slope or in the case of multi-ground plane. In this paper, we propose a framework of the ground plane detection with stereo vision. The main contribution of this paper is a newly proposed descriptor which is implemented in the disparity image to obtain a disparity texture image. The ground plane regions can be distinguished from their surroundings effectively in the disparity texture image. Because the descriptor is implemented in the local area of the image, it can address well the problem of non-flat plane. And we also present a complete framework to detect the ground plane regions base on the disparity texture image with convolutional neural network architecture.


title: Enhancing Big Data in the Social Sciences with Crowdsourcing: Data Augmentation Practices, Techniques, and Opportunities

abstract: The importance of big data is a contested topic among social scientists. Proponents claim it will fuel a research revolution, but skeptics challenge it as unreliably measured and decontextualized, with limited utility for accurately answering social science research questions. We argue that social scientists need effective tools to quantify big data's measurement error and expand the contextual information associated with it. Standard research efforts in many fields already pursue these goals through data augmentation, the systematic assessment of measurement against known quantities and expansion of extant data by adding new information. Traditionally, these tasks are accomplished using trained research assistants or specialized algorithms. However, such approaches may not be scalable to big data or appease its skeptics. We consider a third alternative that may increase the validity and value of big data: data augmentation with online crowdsourcing. We present three empirical cases to illustrate the strengths and limits of crowdsourcing for academic research, with a particular eye to how they can be applied to data augmentation tasks that will accelerate acceptance of big data among social scientists. The cases use Amazon Mechanical Turk to 1. verify automated coding of the academic discipline of dissertation committee members, 2. link online product pages to a book database, and 3. gather data on mental health resources at colleges. In light of these cases, we consider the costs and benefits of augmenting big data with crowdsourcing marketplaces and provide guidelines on best practices. We also offer a standardized reporting template that will enhance reproducibility.


title: Flows Generating Nonlinear Eigenfunctions

abstract: Nonlinear variational methods have become very powerful tools for many image processing tasks. Recently a new line of research has emerged, dealing with nonlinear eigenfunctions induced by convex functionals. This has provided new insights and better theoretical understanding of convex regularization and introduced new processing methods. However, the theory of nonlinear eigenvalue problems is still at its infancy. We present a new flow that can generate nonlinear eigenfunctions of the form $T(u)=\lambda u$, where $T(u)$ is a nonlinear operator and $\lambda \in \mathbb{R} $ is the eigenvalue. We develop the theory where $T(u)$ is a subgradient element of a regularizing one-homogeneous functional, such as total-variation (TV) or total-generalized-variation (TGV). We introduce two flows: a forward flow and an inverse flow; for which the steady state solution is a nonlinear eigenfunction. The forward flow monotonically smooths the solution (with respect to the regularizer) and simultaneously increases the $L^2$ norm. The inverse flow has the opposite characteristics. For both flows, the steady state depends on the initial condition, thus different initial conditions yield different eigenfunctions. This enables a deeper investigation into the space of nonlinear eigenfunctions, allowing to produce numerically diverse examples, which may be unknown yet. In addition we suggest an indicator to measure the affinity of a function to an eigenfunction and relate it to pseudo-eigenfunctions in the linear case.


title: Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents

abstract: Robotic code needs to be verified to ensure its safety and functional correctness, especially when the robot is interacting with people. Testing real code in simulation is a viable option. However, generating tests that cover rare scenarios, as well as exercising most of the code, is a challenge amplified by the complexity of the interactions between the environment and the software. Model-based test generation methods can automate otherwise manual processes and facilitate reaching rare scenarios during testing. In this paper, we compare using Belief-Desire-Intention (BDI) agents as models for test generation with more conventional automata-based techniques that exploit model checking, in terms of practicality, performance, transferability to different scenarios, and exploration (`coverage'), through two case studies: a cooperative manufacturing task, and a home care scenario. The results highlight the advantages of using BDI agents for test generation. BDI agents naturally emulate the agency present in Human-Robot Interactions (HRIs), and are thus more expressive than automata. The performance of the BDI-based test generation is at least as high, and the achieved coverage is higher or equivalent, compared to test generation based on model checking automata.


title: Affine $G_2$ Centralizer Algebras

abstract: We show that ${\rm End}_{\bf U}(V_\lambda\otimes V^{\otimes n})$ is generated by the affine braid group $AB_n$ where ${\bf U}=U_q\mathfrak g(G_2)$, $V$ is its 7-dimensional irreducible representation and $V_\lambda$ is an arbitrary irreducible representation.


title: Weakly Supervised PLDA Training

abstract: PLDA is a popular normalization approach for the i-vector model, and it has delivered state-of-the-art performance in speaker verification. However, PLDA training requires a large amount of labelled development data, which is highly expensive in most cases. We present a cheap PLDA training approach, which assumes that speakers in the same session can be easily separated, and speakers in different sessions are simply different. This results in `weak labels' which are not fully accurate but cheap, leading to a weak PLDA training. Our experimental results on real-life large-scale telephony customer service achieves demonstrated that the weak training can offer good performance when human-labelled data are limited. More interestingly, the weak training can be employed as a discriminative adaptation approach, which is more efficient than the prevailing unsupervised method when human-labelled data are insufficient.


title: Collaborative Learning for Language and Speaker Recognition

abstract: This paper presents a unified model to perform language and speaker recognition simultaneously and altogether. The model is based on a multi-task recurrent neural network where the output of one task is fed as the input of the other, leading to a collaborative learning framework that can improve both language and speaker recognition by borrowing information from each other. Our experiments demonstrated that the multi-task model outperforms the task-specific models on both tasks.


title: Classification of $Q$-multiplicity-free skew Schur $Q$-functions

abstract: We classify the $Q$-multiplicity-free skew Schur $Q$-functions. Towards this result, we also provide new relations between the shifted Littlewood-Richardson coefficients.


title: Radio lighting based on dynamic chaos generators

abstract: A problem of lighting objects and surfaces with artificial sources of noncoherent microwave radiation with the aim to observe them using radiometric equipment is considered. Transmitters based on dynamic chaos generators are used as sources of noncoherent wideband microwave radiation. An experimental sample of such a device, i.e., a radio lighting lamp based on a chaos microgenerator and its performance are presented.


title: AP16-OL7: A Multilingual Database for Oriental Languages and A Language Recognition Baseline

abstract: We present the AP16-OL7 database which was released as the training and test data for the oriental language recognition (OLR) challenge on APSIPA 2016. Based on the database, a baseline system was constructed on the basis of the i-vector model. We report the baseline results evaluated in various metrics defined by the AP16-OLR evaluation plan and demonstrate that AP16-OL7 is a reasonable data resource for multilingual research.


title: Online Informative Path Planning for Active Classification Using UAVs

abstract: In this paper, we introduce an informative path planning (IPP) framework for active classification using unmanned aerial vehicles (UAVs). Our algorithm uses a combination of global viewpoint selection and evolutionary optimization to refine the planned trajectory in continuous 3D space while satisfying dynamic constraints. Our approach is evaluated on the application of weed detection for precision agriculture. We model the presence of weeds on farmland using an occupancy grid and generate adaptive plans according to information-theoretic objectives, enabling the UAV to gather data efficiently. We validate our approach in simulation by comparing against existing methods, and study the effects of different planning strategies. Our results show that the proposed algorithm builds maps with over 50% lower entropy compared to traditional "lawnmower" coverage in the same amount of time. We demonstrate the planning scheme on a multirotor platform with different artificial farmland set-ups.


title: Spectral Gap for the Stochastic Quantization Equation on the 2-dimensional Torus

abstract: We study the long time behavior of the stochastic quantization equation. Extending recent results by Mourrat and Weber we first establish a strong non-linear dissipative bound that gives control of moments of solutions at all positive times independent of the initial datum. We then establish that solutions give rise to a Markov process whose transition semigroup satisfies the strong Feller property. Following arguments by Chouk and Friz we also prove a support theorem for the laws of the solutions. Finally all of these results are combined to show that the transition semigroup satisfies the Doeblin criterion which implies exponential convergence to equilibrium. Along the way we give a simple direct proof of the Markov property of solutions and an independent argument for the existence of an invariant measure using the Krylov-Bogoliubov existence theorem. Our method makes no use of the reversibility of the dynamics or the explicit knowledge of the invariant measure and it is therefore in principle applicable to situations where these are not available, e.g. the vector-valued case.


title: Axiomatic, Parameterized, Off-Shell Quantum Field Theory

abstract: Axiomatic quantum field theory (QFT) provides a rigorous mathematical foundation for QFT, and it is the basis for proving some important general results, such as the well-known spin-statistics theorem. Free-field QFT meets the axioms of axiomatic QFT, showing they are consistent. Nevertheless, even after more than 50 years, there is still no known non-trivial theory of quantum fields with interactions in four-dimensional Minkowski spacetime that meets the same axioms. This paper provides a similar axiomatic basis for parameterized QFT, in which an invariant, fifth path parameter is added to the usual four spacetime position arguments of quantum fields. Dynamic evolution is in terms of the path parameter rather than the frame-dependent time coordinate. Further, the states of the theory are allowed to be off shell. Particles are therefore fundamentally "virtual" during interaction but, in the appropriate non-interacting, large-time limit, they dynamically tend towards "physical", on-shell states. Unlike traditional QFT, it is possible to define a mathematically consistent interaction picture in parameterized QFT. This may be used to construct interacting fields that meet the same axioms as the corresponding free fields. One can then re-derive the Dyson series for scattering amplitudes, but without the mathematical inconsistency of traditional, perturbative QFT. The present work is limited to the case of scalar fields, and it does not address remaining issues of gauge symmetry and renormalization. Nevertheless, it still demonstrates that the parameterized formalism can provide a consistent foundation for the interpretation of QFT as used in practice and, perhaps, for better dealing with its further mathematical issues.


title: Photometric Variability of the Be Star Population

abstract: Be stars have generally been characterized by the emission lines in their spectra, and especially the time variability of those spectroscopic features. They are known to also exhibit photometric variability at multiple timescales, but have not been broadly compared and analyzed by that behavior. We have taken advantage of the advent of wide-field, long-baseline, and high-cadence photometric surveys that search for transiting exoplanets to perform a comprehensive analysis of brightness variations among a large number of known Be stars. The photometric data comes from the KELT transit survey, with a typical cadence of 30 minutes, baseline of up to ten years, photometric precision of about 1%, and coverage of about 60% of the sky. We analyze KELT light curves of 610 known Be stars in both the Northern and Southern hemispheres in an effort to study their variability. Consistent with other studies of Be star variability, we find most of the stars to be photometrically variable. We derive lower limits on the fraction of stars in our sample that exhibit features consistent with non-radial pulsations (25%), outbursts (36%), and long term trends in the circumstellar disk (37%), and show how these are correlated with spectral sub-type. Other types of variability, such as those owing to binarity, are also explored. Simultaneous spectroscopy for some of these systems from the Be Star Spectral Database (BeSS) allow us to better understand the physical causes for the observed variability, especially in cases of outbursts and changes in the disk.


title: Stochastic epidemic dynamics on extremely heterogeneous networks

abstract: Networks of contacts capable of spreading infectious diseases are often observed to be highly heterogeneous, with the majority of individuals having fewer contacts than the mean, and a significant minority having relatively very many contacts. We derive a two-dimensional diffusion model for the full temporal behavior of the stochastic susceptible-infectious-recovered (SIR) model on such a network, by making use of a time-scale separation in the deterministic limit of the dynamics. This low-dimensional process is an accurate approximation to the full model in the limit of large populations, even for cases when the time-scale separation is not too pronounced, provided the maximum degree is not of the order of the population size.


title: Momentum of superconducting electrons and the explanation of the Meissner effect

abstract: Momentum and energy conservation are fundamental tenets of physics, that valid physical theories have to satisfy. In the reversible transformation between superconducting and normal phases in the presence of a magnetic field, the mechanical momentum of the supercurrent has to be transferred to the body as a whole and vice versa, the kinetic energy of the supercurrent stays in the electronic degrees of freedom, and no energy is dissipated nor entropy is generated in the process. We argue on general grounds that to explain these processes it is necessary that the electromagnetic field mediates the transfer of momentum between electrons and the body as a whole, and this requires that when the phase boundary between normal and superconducting phases is displaced, a flow and counterflow of charge occurs in direction perpendicular to the phase boundary. This flow and counterflow does not occur according to the conventional BCS-London theory of superconductivity, therefore we argue that within BCS-London theory the Meissner transition is a `forbidden transition'. Furthermore, to explain the phase transformation in a way that is consistent with the experimental observations requires that (i) the wavefunction $and$ charge distribution of superconducting electrons near the phase boundary extend into the normal phase, and (ii) that the charge carriers in the normal state have hole-like character. The conventional theory of superconductivity does not have these physical elements, the theory of hole superconductivity does.


title: Power structure over the Grothendieck ring of maps

abstract: A power structure over a ring is a method to give sense to expressions of the form $(1+a_1t+a_2t^2+\ldots)^m$, where $a_i$, $i=1, 2,\ldots$, and $m$ are elements of the ring. The (natural) power structure over the Grothendieck ring of complex quasi-projective varieties appeared to be useful for a number of applications. We discuss new examples of $\lambda$- and power structures over some Grothendieck rings of varieties. The main example is for the Grothendieck ring of maps of complex quasi-projective varieties. We describe two natural $\lambda$-structures on it which lead to the same power structure. We show that this power structure is effective. In the terms of this power structure we write some equations containing classes of Hilbert-Chow morphisms. We describe some generalizations of this construction for maps of varieties with some additional structures.


title: Generalized Weyl Conformal Curvature Tensor of a Generalized Riemannian Space

abstract: It is generalized Weyl conformal curvature tensor in the case of a conformal mappings of a generalized Riemannian space in this paper. Moreover, it is found universal generalizations of it without any additional assumption. A method used in this paper may help different scientists in their researching.


title: Position-space approach to hadronic light-by-light scattering in the muon $g-2$ on the lattice

abstract: The anomalous magnetic moment of the muon currently exhibits a discrepancy of about three standard deviations between the experimental value and recent Standard Model predictions. The theoretical uncertainty is dominated by the hadronic vacuum polarization and the hadronic light-by-light (HLbL) scattering contributions, where the latter has so far only been fully evaluated using different models. To pave the way for a lattice calculation of HLbL, we present an expression for the HLbL contribution to $g-2$ that involves a multidimensional integral over a position-space QED kernel function in the continuum and a lattice QCD four-point correlator. We describe our semi-analytic calculation of the kernel and test the approach by evaluating the $\pi^0$-pole contribution in the continuum.


title: Stratified construction of neural network based interatomic models for multicomponent materials

abstract: Recent application of neural networks (NNs) to modeling interatomic interactions has shown the learning machines' encouragingly accurate performance for select elemental and multicomponent systems. In this study, we explore the possibility of building a library of NN-based models by introducing a hierarchical NN training. In such a stratified procedure NNs for multicomponent systems are obtained by sequential training from the bottom up: first unaries, then binaries, and so on. Advantages of constructing NN sets with shared parameters include acceleration of the training process and intact description of the constituent systems. We use an automated generation of diverse structure sets for NN training on density functional theory-level reference energies. In the test case of Cu, Pd, Ag, Cu-Pd, Cu-Ag, Pd-Ag, and Cu-Pd-Ag systems, NNs trained in the traditional and stratified fashions are found to have essentially identical accuracy for defect energies, phonon dispersions, formation energies, etc. The models' robustness is further illustrated via unconstrained evolutionary structure searches in which the NN is used for the local optimization of crystal unit cells.


title: Control of Rayleigh-like waves in thick plate Willis metamaterials

abstract: We explore interactions of elastic waves propagating in plates (with soil parameters) structured with concrete pillars buried in the soil. Pillars are 2 m in diameter, 30 m in depth and the plate is 50 m in thickness. We study the frequency range 5 to 10 Hz, for which Rayleigh wave wavelengths are smaller than the plate thickness. This frequency range is compatible with frequency ranges of particular interest in earthquake engineering. It is demonstrated in this paper that two seismic cloaks' configurations allow for an unprecedented flow of elastodynamic energy associated with Rayleigh surface waves. The first cloak design is inspired by some approximation of ideal cloaks' parameters within the framework of thin plate theory. The second, more accomplished but more involved, cloak design is deduced from a geometric transform in the full Navier equations that preserves the symmetry of the elasticity tensor but leads to Willis' equations, well approximated by a homogenization procedure, as corroborated by numerical simulations. The two cloaks's designs are strikingly different, and the superior efficiency of the second type of cloak emphasizes the necessity for rigor in transposition of existing cloaks's designs in thin plates to the geophysics setting. Importantly, we focus our attention on geometric transforms applied to thick plates, which is an intermediate case between thin plates and semi-infinite media, not studied previously. Cloaking efficiency (reduction of the disturbance of the wave wavefront and its amplitude behind an obstacle) and protection (reduction of the wave amplitude within the center of the cloak) are studied for ideal and approximated cloaks' parameters. These results represent a preliminary step towards designs of seismic cloaks for surface Rayleigh waves propagating in sedimentary soils structured with concrete pillars.


title: Universal growth scheme for entanglement-ready quantum dots

abstract: Efficient sources of individual pairs of entangled photons are required for quantum networks to operate using fibre optic infrastructure. Entangled light can be generated by quantum dots (QDs) with naturally small fine-structure-splitting (FSS) between exciton eigenstates. Moreover, QDs can be engineered to emit at standard telecom wavelengths. To achieve sufficient signal intensity for applications, QDs have been incorporated into 1D optical microcavities. However, combining these properties in a single device has so far proved elusive. Here, we introduce a growth strategy to realise QDs with small FSS in the conventional telecom band, and within an optical cavity. Our approach employs droplet-epitaxy of InAs quantum dots on (001) substrates. We show the scheme improves the symmetry of the dots by 72%. Furthermore, our technique is universal, and produces low FSS QDs by molecular beam epitaxy on GaAs emitting at ~900nm, and metal-organic vapour phase epitaxy on InP emitting at 1550 nm, with mean FSS 4x smaller than for Stranski-Krastanow QDs.


title: A note on the isoperimetric inequality in the plane

abstract: It is well known that among all closed bounded curves in the plane with the given perimeter, the circle encloses the maximum area. There are many proofs in the literature. In this article we have given a new proof using some ideas of Demar.


title: Delocalization effects, entanglement entropy and spectral collapse of boson mixtures in a double well

abstract: We investigate the ground-state properties of a two-species condensate of interacting bosons in a double-well potential. Each atomic species is described by a two-space-mode Bose-Hubbard model. The coupling of the two species is controlled by the interspecies interaction $W$. To analyze the ground state when $W$ is varied in both the repulsive ($W>0$) and the attractive ($W<0$) regime, we apply two different approaches. First we solve the problem numerically i) to obtain an exact description of the ground-state structure and ii ) to characterize its correlation properties by studying (the appropriate extensions to the present case of) the quantum Fisher information, the coherence visibility and the entanglement entropy as functions of $W$. Then we approach analytically the description of the low-energy scenario by means of the Bogoliubov scheme. In this framework the ground-state transition from delocalized to localized species (with space separation for $W>0$, and mixing for $W<0$) is well reproduced. These predictions are qualitatively corroborated by our numerical results. We show that such a transition features a spectral collapse reflecting the dramatic change of the dynamical algebra of the four-mode model Hamiltonian.


title: Hyperbolic polygons of minimal perimeter in punctured discs

abstract: We prove that, among the polygons in a punctured disc with fixed angles, the perimeter is minimized by the polygon with an inscribed horocycle centered at the puncture. We generalize this to a disc with a cone point and to an annulus with a geodesic boundary component and a complete end. Then we apply this result to describe the minimum of the spine systole on the moduli space of punctured surfaces.


title: Aging and communication in the twin paradox

abstract: The twin paradox of the special theory of relativity has given rise to a large body of literature discussing its implications. In its standard form, the traveler changes velocity only at the destination of the trip, so that he appears to perceive an improbably instantaneous and non-continuous change in age of the stationary twin. In this work, a smooth velocity/acceleration profile is used that allows the abrupt velocity-change case as a limit. All gravitational effects are ignored in this treatment. Aside from mutual perception of simultaneous clock times in an accelerating frame, constant communication of clock times between the twins by means of (digital) light signals is shown to be possible, in principle if not in practice.


title: R\'enyi relative entropies and noncommutative $L_p$-spaces

abstract: We propose an extension of the sandwiched R\'enyi relative $\alpha$-entropy to normal positive functionals on arbitrary von Neumann algebras, for the values $\alpha>1$. For this, we use Kosaki's definition of noncommutative $L_p$-spaces with respect to a state. We show that these extensions coincide with the previously defined Araki-Masuda divergences [M. Berta et al., Annales Henri Poincar\'e, 19:1843--1867, 2018] and prove some of their properties, in particular the data processing inequality with respect to positive normal unital maps. As a consequence, we obtain monotonicity of the Araki relative entropy with respect to such maps, extending the results of [A. M\"uller-Hermes and D. Reeb. Annales Henri Poincar\'e,18:1777--1788, 2017] to arbitrary von Neumann algebras. It is also shown that equality in data processing inequality characterizes sufficiency (reversibility) of quantum channels.


title: Nuclear Effects in the Deuteron and Global PDF Fits

abstract: We present a detailed study of nuclear corrections in the deuteron (D) from an analysis of data from charged-lepton deep-inelastic scattering (DIS) off proton and D, as well as from dimuon pair production in pp and pD collisions and $W^\pm$ and the $Z$ boson production at pp (p$\rm \bar p$) colliders. In particular, we discuss the determination of the off-shell function describing the modification of parton distributions (PDF) in bound nucleons in the context of global PDF fits. Our results are consistent with the ones obtained earlier from the study of the ratios of DIS structure functions $F_2^A/F_2^D$ in nuclei with $A\geq4$, confirming the universality of the off-shell function. We also discuss the sensitivity to various models of the deuteron wave function and the impact of nuclear corrections on the determination of the $d$ quark distribution.


title: Mass spectra and Regge trajectories of $\Lambda_{c}^{+}$, $\Sigma_{c}^{0}$, $\Xi_{c}^{0}$ and $\Omega_{c}^{0}$ Baryons

abstract: We calculate the mass spectra of the singly charmed baryons ($\Lambda_{c}^{+}$, $\Sigma_{c}^{0}$, $\Xi_{c}^{0}$ and $\Omega_{c}^{0}$) using Hypercentral constituent quark model(hCQM). The hyper color coloumb plus linear potential is used to calculate the masses of positive(upto $J^{p}=\frac{7}{2}^{+}$) and negative parity(upto $J^{p}=\frac{9}{2}^{-}$) excited states. The spin-spin, spin-orbital and tensor interaction terms are also incorporated for mass spectra. We have compared our results with other theoretical predictions and Lattice QCD for each baryons. Moreover, the known experimental results are also reasonably closed to our predicted masses. By using the radial and orbital excitation, we construct Regge trajectories for the baryons in (n,$M^{2}$) plane and find their slopes and intercepts. The other properties like, magnetic moments, radiative transitions and radiative decay widths of these baryons are also calculated successfully.


title: On the energy dissipation rate at the inner edge of circumbinary discs

abstract: We study, by means of numerical simulations and analysis, the details of the accretion process from a disc onto a binary system. We show that energy is dissipated at the edge of a circumbinary disc and this is associated with the tidal torque that maintains the cavity: angular momentum is transferred from the binary to the disc through the action of compressional shocks and viscous friction. These shocks can be viewed as being produced by fluid elements which drift into the cavity and, before being accreted, are accelerated onto trajectories that send them back to impact the disc. The rate of energy dissipation is approximately equal to the product of potential energy per unit mass at the disc's inner edge and the accretion rate, estimated from the disc parameters just beyond the cavity edge, that would occur without the binary. For very thin discs, the actual accretion rate onto the binary may be significantly less. We calculate the energy emitted by a circumbinary disc taking into account energy dissipation at the inner edge and also irradiation arising there from reprocessing of light from the stars. We find that, for tight PMS binaries, the SED is dominated by emission from the inner edge at wavelengths between 1-4 and 10 $\mu$m. This may apply to systems like CoRoT 223992193 and V1481 Ori.


title: Lifshitz Transitions in the Ferromagnetic Superconductor UCoGe

abstract: We present high field magnetoresistance, Hall effect and thermopower measurements in the Ising-type ferromagnetic superconductor UCoGe. Magnetic field is applied along the easy magnetization $c$ axis of the orthorhombic crystal. In the different experimental probes we observed five successive anomalies at $H \approx 4$, 9, 12, 16, and 21~T. Magnetic quantum oscillations were detected both in resistivity and thermoelectric power. At most of the anomalies, significant changes of the oscillation frequencies and the effective masses have been observed indicating successive Fermi surface instabilities induced by the strong magnetic polarization under magnetic field.


title: A family of permutation groups with exponentially many non-conjugated regular elementary abelian subgroups

abstract: Given a prime $p$, we construct a permutation group containing at least $p^{p-2}$ non-conjugated regular elementary abelian subgroups of order $p^3$. This gives the first example of a permutation group with exponentially many non-conjugated regular subgroups.


title: Maximum range of a projectile thrown from constant-speed circular motion

abstract: The problem of determining the angle at which a point mass launched from ground level with a given speed is a standard exercise in mechanics. Similar, yet conceptually and calculationally more difficult problems have been suggested to improve student proficiency in projectile motion. The problem of determining the maximum distance of a rock thrown from a rotating arm motion is presented and analyzed in detail in this text. The calculational results confirm several conceptually derived conclusions regarding the initial throw position and provide some details on the angles and the way of throwing (underhand or overhand) which produce the maximum throw distance.


title: Optomechanical measurement of a millimeter-sized mechanical oscillator near the quantum limit

abstract: Cavity optomechanics is a tool to study the interaction between light and micromechanical motion. Here we observe near-quantum limited optomechanical physics in a truly macroscopic oscillator. As the mechanical system, we use a mm-sized piezoelectric quartz disk oscillator. Its motion is coupled to a charge qubit which translates the piezo-induced charge into an effective radiation-pressure interaction between the disk and a microwave cavity. We measure the thermal motion of the lowest mechanical shear mode at 7MHz down to 35 mK, corresponding to roughly 100 quanta in a 20mg oscillator. The work opens up opportunities for macroscopic quantum experiments.


title: A computer program for simulating time travel and a possible 'solution' for the grandfather paradox

abstract: While the possibility of time travel in physics is still debated, the explosive growth of virtual-reality simulations opens up new possibilities to rigorously explore such time travel and its consequences in the digital domain. Here we provide a computational model of time travel and a computer program that allows exploring digital time travel. In order to explain our method we formalize a simplified version of the famous grandfather paradox, show how the system can allow the participant to go back in time, try to kill their ancestors before they were born, and experience the consequences. The system has even come up with scenarios that can be considered consistent "solutions" of the grandfather paradox. We discuss the conditions for digital time travel, which indicate that it has a large number of practical applications.


title: TeV- and MeV-physics out of an $SU_{L}(2)\times U_{R}(1)_{J} \times U(1)_{K}$ model

abstract: The standard electroweak interaction is here re-assessed to accommodate two different situations in Particle Physics. The first one is a $Z'$-model at the TeV-scale physics. The second one tackles the recent discussion of a possible fifth force mediated by a $17$-MeV X-boson associated with an electron-positron emission in the transition of an excited 8-Beryllium to its ground state. The anomaly-free model that provides these two scenarios is based on an $SU_{L}(2) \times U_{R}(1)_{J} \times U(1)_{K}$-symmetry. It yields a new massive neutral boson, an exotic massive neutral fermion, right-neutrinos and an additional neutral Higgs particle, which stems from a supplementary Higgs field, introduced along with the usual Higgs doublet responsible for the electroweak breaking and the masses of $W^{\pm}$ and $Z^{0}$. Yukawa interactions of the two scalars generate the masses of the Standard Model leptons, neutrinos and a new exotic fermion of the model. The vacuum expectation values of the Higgses fix up two independent energy scales. One of them is the well-confirmed electroweak scale, $246 \, \mbox{GeV}$, whereas the other one is set up by adopting an experimental estimate for the $Z'$-mass.


title: Temperature and Density Structure of a Recurring Active Region Jet

abstract: We present a study of a recurring jet observed on October 31, 2011 by SDO/AIA, Hinode/XRT and Hinode/EIS. We discuss the physical parameters of the jet such as density, differential emission measure, peak temperature, velocity and filling factor obtained using imaging and spectroscopic observations. A differential emission measure (DEM) analysis was performed at the region of the jet-spire and the footpoint using EIS observations and also by combining AIA and XRT observations. The DEM curves were used to create synthetic spectra with the CHIANTI atomic database. The plasma along the line-of-sight in the jet-spire and jet-footpoint was found to be peak at 2.0 MK. We calculated electron densities using the Fe XII ($\lambda$186/$\lambda$195) line ratio in the region of the spire (Ne = 7.6x$10^{10}$ $cm^{-3}$) and the footpoint (1.1x$10^{11}$ $cm^{-3}$). The plane-of-sky velocity of the jet is found to be 524 km/s. The resulting EIS DEM values are in good agreement with those obtained from AIA-XRT. There is no indication of high temperatures, such as emission from Fe XVII ($\lambda$254.87) (log T [K] = 6.75) seen in the jet-spire. In case of the jet-footpoint, synthetic spectra predict weak contributions from Ca XVII ($\lambda$192.85) and Fe XVII ($\lambda$254.87). With further investigation, we confirmed emission from the Fe XVIII ($\lambda$93.932) line in the AIA 94 ${\AA}$ channel in the region of the footpoint. We also found good agreement between the estimated and predicted Fe XVIII count rates. A study of the temporal evolution of the jet-footpoint and the presence of high-temperature emission from the Fe XVIII (log T [K] = 6.85) line leads us to conclude that the hot component in the jet-footpoint was present initially that the jet had cooled down by the time EIS observed it.


title: Leveraging beam deformation to improve the detection of resonances

abstract: Decades of work on beam deformation on reflection, and especially on lateral shifts, have spread the idea that a reflected beam is larger than the incident beam. However, when the right conditions are met, a beam reflected by a multilayered resonant structure can be 10\% narrower than the incoming beam. Such an easily measurable change occurs on a very narrow angular range close to a resonance, which can be leveraged to improve the resolution of sensors based on the detection of surface plasmon resonances by a factor three. We provide theoretical tools to deal with this effect, and a thorough physical discussion that leads to expect similar phenomenon to occur for temporal wavepackets and in other domains of physics.


title: Cubulable K\"ahler groups

abstract: We prove that a K\"ahler group which is cubulable, i.e. which acts properly discontinuously and cocompactly on a CAT(0) cubical complex, has a finite index subgroup isomorphic to a direct product of surface groups, possibly with a free Abelian factor. Similarly, we prove that a closed aspherical K\"ahler manifold with a cubulable fundamental group has a finite cover which is biholomorphic to a topologically trivial principal torus bundle over a product of Riemann surfaces. Along the way, we prove a factorization result for essential actions of K\"ahler groups on irreducible, locally finite CAT(0) cubical complexes, under the assumption that there is no fixed point in the visual boundary.


title: Blind Facial Image Quality Enhancement using Non-Rigid Semantic Patches

abstract: We propose to combine semantic data and registration algorithms to solve various image processing problems such as denoising, super-resolution and color-correction. It is shown how such new techniques can achieve significant quality enhancement, both visually and quantitatively, in the case of facial image enhancement. Our model assumes prior high quality data of the person to be processed, but no knowledge of the degradation model. We try to overcome the classical processing limits by using semantically-aware patches, with adaptive size and location regions of coherent structure and context, as building blocks. The method is demonstrated on the problem of cellular photography enhancement of dark facial images for different identities, expressions and poses.


title: Joint Cell Muting and User Scheduling in Multi-Cell Networks with Temporal Fairness

abstract: A semi-centralized joint cell muting and user scheduling scheme for interference coordination in a multicell network is proposed under two different temporal fairness criteria. The main principle behind the proposed scheme is that a central entity selects a cell muting pattern out of a pattern set at a decision instant, and subsequently the un-muted base stations opportunistically schedule the users in the associated cells, both decisions made on a temporal-fair basis. Although some pattern sets are easily obtainable from static frequency reuse systems, we propose a more general pattern set construction algorithm in this paper. As for the first fairness criterion, all cells are assigned to receive the same temporal share with the ratio between the temporal share of a cell center section and that of the cell edge section is set to a fixed desired value for all cells. The second fairness criterion is based on the max-min temporal fairness for which the temporal share of the network-wide worst-case user is maximized. Numerical results are provided to validate the effectiveness of the proposed scheme for both criteria. The impact of choice of the cell muting pattern set is also studied through numerical examples for various cellular topologies.


title: Soliton resolution for equivariant wave maps on a wormhole: I

abstract: In this paper, we initiate the study of finite energy equivariant wave maps from the (1+3)-dimensional spacetime $\mathbb R \times (\mathbb R \times \mathbb{S}^2) \rightarrow \mathbb{S}^3$ where the metric on $\mathbb R \times (\mathbb R \times \mathbb{S}^2)$ is given by ds^2 = -dt^2 + dr^2 + (r^2 + 1) \left ( d \theta^2 + \sin^2 \theta d \varphi^2 \right ), \quad t,r \in \mathbb{R}, (\theta,\varphi) \in \mathbb{S}^2. The constant time slices are each given by the Riemannian manifold $\mathcal M := \mathbb R \times \mathbb{S}^2$ with metric ds^2 = dr^2 + (r^2 + 1) \left ( d \theta^2 + \sin^2 \theta d \varphi^2 \right ). The Riemannian manifold $\mathcal M$ contains two asymptotically Euclidean ends at $r \rightarrow \pm \infty$ that are connected by a spherical throat of area $4 \pi^2$ at $r = 0$. The spacetime $\mathbb R \times \mathcal M$ is a simple example of a wormhole geometry in general relativity. In this work we will consider 1--equivariant or corotational wave maps. Each corotational wave map can be indexed by its topological degree $n$. For each $n$, there exists a unique energy minimizing corotational harmonic map $Q_{n} : \mathcal M \rightarrow \mathbb{S}^3$ of degree $n$. In this work, we show that modulo a free radiation term, every corotational wave map of degree $n$ converges strongly to $Q_{n}$. This resolves a conjecture made by Bizon and Kahl in the corotational case.


title: Star formation rates on global and cloud scales within the Galactic Centre

abstract: The environment within the inner few hundred parsecs of the Milky Way, known as the "Central Molecular Zone" (CMZ), harbours densities and pressures orders of magnitude higher than the Galactic Disc; akin to that at the peak of cosmic star formation (Kruijssen & Longmore 2013). Previous studies have shown that current theoretical star-formation models under-predict the observed level of star-formation (SF) in the CMZ by an order of magnitude given the large reservoir of dense gas it contains. Here we explore potential reasons for this apparent dearth of star formation activity.


title: Tunnelling phenomenon near an apparent horizon in two-dimensional dilaton gravity

abstract: Based on the definition of the apparent horizon in a general two-dimensional dilaton gravity theory, we analyze the tunnelling phenomenon of the apparent horizon by using Hamilton-Jacobi method. In this theory the definition of the horizon is very different from those in higher-dimensional gravity theories. The spectrum of the radiation is obtained and the temperature of the radiation is read out from this spectrum and it satisfies the usual relationship with the surface gravity. Besides, the calculation with Parikh's null geodesic method for a simple example conforms to our result in general stationary cases.


title: Mass Formulae for Broken Supersymmetry in Curved Space-Time

abstract: We derive the mass formulae for ${\cal N}=1$, $D=4$ matter-coupled Supergravity for broken (and unbroken) Supersymmetry in curved space-time. These formulae are applicable to de Sitter configurations as is the case for inflation. For unbroken Supersymmetry in anti-de Sitter (AdS) one gets the mass relations modified by the AdS curvature. We compute the mass relations both for the potential and its derivative non-vanishing.


title: Stable lattices and the diagonal group

abstract: Inspired by work of McMullen, we show that any orbit of the diagonal group in the space of lattices accumulates on the set of stable lattices. As consequences, we settle a conjecture of Ramharter concerning the asymptotic behaviour of the Mordell constant, and reduce Minkowski's conjecture on products of linear forms to a geometric question, yielding two new proofs of the conjecture in dimensions up to 7.


title: Dynamical Quantum Phase Transitions in Spin Chains with Long-Range Interactions: Merging different concepts of non-equilibrium criticality

abstract: We theoretically study the dynamics of a transverse-field Ising chain with power-law decaying interactions characterized by an exponent $\alpha$, which can be experimentally realized in ion traps. We focus on two classes of emergent dynamical critical phenomena following a quantum quench from a ferromagnetic initial state: The first one manifests in the time averaged order parameter, which vanishes at a critical transverse field. We argue that such a transition occurs only for long-range interactions $\alpha \leq 2$ . The second class corresponds to the emergence of time-periodic singularities in the return probability to the ground state manifold (a.k.a. Loschmidt echo) which is obtained for all values of $\alpha$ and agrees with the order parameter transition for $\alpha\leq 2$. We characterize how the two classes of nonequilibrium criticality correspond to each other and give a physical interpretation based on the symmetry of the time-evolved quantum states.


title: Soliton resolution for equivariant wave maps on a wormhole: II

abstract: In this paper, we continue our study of equivariant \emph{wave maps on a wormhole} initiated in our companion paper. More precisely, we study finite energy $\ell$--equivariant wave maps from the (1+3)-dimensional spacetime $\mathbb R \times (\mathbb R \times \mathbb{S}^2) \rightarrow \mathbb{S}^3$ where the metric on $\mathbb R \times (\mathbb R \times \mathbb{S}^2)$ is given by \begin{align*} ds^2 = -dt^2 + dr^2 + (r^2 + 1) \left ( d \theta^2 + \sin^2 \theta d \varphi^2 \right ), \quad t,r \in \mathbb R, (\theta,\varphi) \in \mathbb{S}^2. \end{align*} The constant time slices are each given by a Riemannian manifold $\mathcal M$ with two asymptotically Euclidean ends at $r = \pm \infty$ that are connected by a 2--sphere at $r = 0$. The spacetime $\mathbb R \times (\mathbb R \times \mathbb{S}^2)$ has appeared in the general relativity literature as a prototype wormhole geometry (but is not expected to exist in nature). Each $\ell$--equivariant finite energy wave map can be indexed by its topological degree $n$. For each $\ell$ and $n$, there exists a unique, linearly stable energy minimizing $\ell$--equivariant harmonic map $Q_{\ell,n} : \mathcal M \rightarrow \mathbb{S}^3$ of degree $n$. In this work, we prove the soliton resolution conjecture for this model. More precisely, we show that modulo a free radiation term every $\ell$--equivariant wave map of degree $n$ converges strongly to $Q_{\ell,n}$. This fully resolves a conjecture made by Bizon and Kahl. In the companion paper, we showed this for the corotational case $\ell = 1$ and established many preliminary results that are used in the current work.


title: Scenic Routes Now: Efficiently Solving the Time-Dependent Arc Orienteering Problem

abstract: This paper extends the Arc Orienteering Problem (AOP) to large road networks with time-dependent travel times and time-dependent value gain, termed Twofold Time-Dependent AOP or 2TD-AOP for short. In its original definition, the NP-hard Orienteering Problem (OP) asks to find a path from a source to a destination maximizing the accumulated value while not exceeding a cost budget. Variations of the OP and AOP have many practical applications such as mobile crowdsourcing tasks (e.g., repairing and maintenance or dispatching field workers), diverse logistics problems (e.g., crowd control or controlling wildfires) as well as several tourist guidance problems (e.g., generating trip recommendations or navigating through theme parks). In the proposed 2TD-AOP, travel times and value functions are assumed to be time-dependent. The dynamic values model, for instance, varying rewards in crowdsourcing tasks or varying urgency levels in damage control tasks. We discuss this novel problem, prove the benefit of time-dependence empirically and present an efficient approximative solution, optimized for fast response systems. Our approach is the first time-dependent variant of the AOP to be evaluated on a large scale, fine-grained, real-world road network. We show that optimal solutions are infeasible and solutions to the static problem are often invalid. We propose an approximate dynamic programming solution which produces valid paths and is orders of magnitude faster than any optimal solution.


title: Constraints on the size and dynamics of the J1407b ring system

abstract: Context. J1407 (1SWASP J140747.93-394542.6 in full) is a young star in the Scorpius-Centaurus OB association that underwent a series of complex eclipses over 56 days in 2007. To explain these, it was hypothesised that a secondary substellar companion, J1407b, has a giant ring system filling a large fraction of the Hill sphere, causing the eclipses. Observations have not successfully detected J1407b, but do rule out circular orbits for the companion around the primary star. Aims. We test to what degree the ring model of J1407b could survive in an eccentric orbit required to fit the observations. Methods. We run N-body simulations under the AMUSE framework to test the stability of Hill radius-filling systems where the companion is on an eccentric orbit. Results. We strongly rule out prograde ring systems and find that a secondary of 60 to 100MJup with an 11 year orbital period and retrograde orbiting material can survive for at least $10^4$ orbits and produce eclipses with similar durations as the observed one.


title: Exponential Separations in the Energy Complexity of Leader Election

abstract: Energy is often the most constrained resource for battery-powered wireless devices and the lion's share of energy is often spent on transceiver usage (sending/receiving packets), not on computation. In this paper we study the energy complexity of LeaderElection and ApproximateCounting in several models of wireless radio networks. It turns out that energy complexity is very sensitive to whether the devices can generate random bits and their ability to detect collisions. We consider four collision-detection models: Strong-CD (in which transmitters and listeners detect collisions), Sender-CD and Receiver-CD (in which only transmitters or only listeners detect collisions), and No-CD (in which no one detects collisions.) The take-away message of our results is quite surprising. For randomized LeaderElection algorithms, there is an exponential gap between the energy complexity of Sender-CD and Receiver-CD, and for deterministic LeaderElection algorithms there is another exponential gap, but in the reverse direction. In particular, the randomized energy complexity of LeaderElection is $\Theta(\log^* n)$ in Sender-CD but $\Theta(\log(\log^* n))$ in Receiver-CD, where $n$ is the (unknown) number of devices. Its deterministic complexity is $\Theta(\log N)$ in Receiver-CD but $\Theta(\log\log N)$ in Sender-CD, where $N$ is the (known) size of the devices' ID space. There is a tradeoff between time and energy. We give a new upper bound on the time-energy tradeoff curve for randomized LeaderElection and ApproximateCounting. A critical component of this algorithm is a new deterministic LeaderElection algorithm for dense instances, when $n=\Theta(N)$, with inverse-Ackermann-type ($O(\alpha(N))$) energy complexity.


title: Fully general device-independence for two-party cryptography and position verification

abstract: Device-independent quantum cryptography allows security even if the devices used to execute the protocol are untrusted - whether this is due to unknown imperfections in the implementation, or because the adversary himself constructed them to subvert the security of the protocol. While device-independence has seen much attention in the domain of quantum key distribution, relatively little is known for general protocols. Here we introduce a new model for device-independence for two-party protocols and position verification in the noisy-storage model. For the first time, we show that such protocols are secure in the most general device-independent model in which the devices may have arbitrary memory, states and measurements. In our analysis, we make use of a slight modification of a beautiful new tool developed in [arXiv:1607.01796] called "Entropy Accumulation Theorem". What's more, the protocols we analyze use only simple preparations and measurements, and can be realized using any experimental setup able to perform a CHSH Bell test. Specifically, security can be attained for any violation of the CHSH inequality, where a higher violation merely leads to a reduction in the amount of rounds required to execute the protocol.