title: Automated Map Reading: Image Based Localisation in 2-D Maps Using Binary Semantic Descriptors

abstract: We describe a novel approach to image based localisation in urban environments using semantic matching between images and a 2-D map. It contrasts with the vast majority of existing approaches which use image to image database matching. We use highly compact binary descriptors to represent semantic features at locations, significantly increasing scalability compared with existing methods and having the potential for greater invariance to variable imaging conditions. The approach is also more akin to human map reading, making it more suited to human-system interaction. The binary descriptors indicate the presence or not of semantic features relating to buildings and road junctions in discrete viewing directions. We use CNN classifiers to detect the features in images and match descriptor estimates with a database of location tagged descriptors derived from the 2-D map. In isolation, the descriptors are not sufficiently discriminative, but when concatenated sequentially along a route, their combination becomes highly distinctive and allows localisation even when using non-perfect classifiers. Performance is further improved by taking into account left or right turns over a route. Experimental results obtained using Google StreetView and OpenStreetMap data show that the approach has considerable potential, achieving localisation accuracy of around 85% using routes corresponding to approximately 200 meters.


title: Bellman Functions and Dimension Free $L^p$estimates for the Riesz Transforms in Bessel settings

abstract: In this article we prove dimension free $L^p$-boundedness of Riesz transforms associated with a Bessel diferential operator. We obtain explicit estimates of the $L^p$-norms for the Bessel-Riesz transforms in terms of p, establishing a linear behaviour with respect to p. We use the Bellman function technique to prove a bilinear dimension free inequality involving Poisson semigroups defined through this Bessel operator.


title: Birth Death Swap population in random environment and aggregation with two timescales

abstract: This paper deals with the stochastic modeling of a class of heterogeneous population in a random environment, called birth-death-swap. In addition to demographic events, swap events, i.e. moves between subgroups, occur in the population. Event intensities are random functionals of the multi-type population. In the first part, we show that the complexity of the problem is significantly reduced by modeling the jumps measure of the population, described by a multivariate counting process. This process is defined as a solution of a stochastic differential system with random coefficients, driven by a multivariate Poisson random measure. The solution is obtained under weak assumptions, by the thinning of a strongly dominating point process generated by the same Poisson measure. This key construction relies on a general strong comparison result, of independent interest. The second part is dedicated to averaging results when swap events are significantly more frequent than demographic events. An important ingredient is the stable convergence, which is well-adapted to the general random environment. The pathwise construction by domination yields tightness results straightforwardly. At the limit, the demographic intensity functionals are averaged against random kernels depending on swap events. Finally, under a natural assumption, we show the convergence of the aggregated population to a "true" birth-death process in random environment, with non-linear intensity functionals.


title: Gigahertz Single-Electron Pumping Mediated by Parasitic States

abstract: In quantum metrology, semiconductor single-electron pumps are used to generate accurate electric currents with the ultimate goal of implementing the emerging quantum standard of the ampere. Pumps based on electrostatically defined tunable quantum dots (QDs) have thus far shown the most promising performance in combining fast and accurate charge transfer. However, at frequencies exceeding approximately 1 GHz, the accuracy typically decreases. Recently, hybrid pumps based on QDs coupled to trap states have led to increased transfer rates due to tighter electrostatic confinement. Here, we operate a hybrid electron pump in silicon obtained by coupling a QD to multiple parasitic states, and achieve robust current quantization up to a few gigahertz. We show that the fidelity of the electron capture depends on the sequence in which the parasitic states become available for loading, resulting in distinctive frequency dependent features in the pumped current.


title: A microscopic model for a one parameter class of fractional laplacians with dirichlet boundary conditions

abstract: We prove the hydrodynamic limit for the symmetric exclusion process with long jumps given by a mean zero probability transition rate with infinite variance and in contact with infinitely many reservoirs with density $\alpha$ at the left of the system and $\beta$ at the right of the system. The strength of the reservoirs is ruled by $\kappa$N --$\theta$ > 0. Here N is the size of the system, $\kappa$ > 0 and $\theta$ $\in$. Our results are valid for $\theta$ $\le$ 0. For $\theta$ = 0, we obtain a collection of fractional reaction-diffusion equations indexed by the parameter $\kappa$ and with Dirichlet boundary conditions. Their solutions also depend on $\kappa$. For $\theta$ < 0, the hydrodynamic equation corresponds to a reaction equation with Dirichlet boundary conditions. The case $\theta$ > 0 is still open. For that reason we also analyze the convergence of the unique weak solution of the equation in the case $\theta$ = 0 when we send the parameter $\kappa$ to zero. Indeed, we conjecture that the limiting profile when $\kappa$ $\rightarrow$ 0 is the one that we should obtain when taking small values of $\theta$ > 0.

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


title: Equivalence of some subcritical properties in continuum percolation

abstract: We consider the Boolean model on $\R^d$. We prove some equivalences between subcritical percolation properties. Let us introduce some notations to state one of these equivalences. Let $C$ denote the connected component of the origin in the Boolean model. Let $|C|$ denotes its volume. Let $\ell$ denote the maximal length of a chain of random balls from the origin. Under optimal integrability conditions on the radii, we prove that $E(|C|)$ is finite if and only if there exists $A,B >0$ such that $\P(\ell \ge n) \le Ae^{-Bn}$ for all $n \ge 1$.


title: Parity-Time Symmetry in Non-Hermitian Complex Optical Media

abstract: The explorations of the quantum-inspired symmetries in optical and photonic systems have witnessed immense research interests both fundamentally and technologically in a wide range of subjects of physics and engineering. One of the principal emerging fields in this context is non-Hermitian physics based on parity-time symmetry, originally proposed in the studies pertaining to quantum mechanics and quantum field theory, recently ramified into diverse set of areas, particularly in optics and photonics. The intriguing physical effects enabled by non-Hermitian physics and PT symmetry have enhanced significant applications prospects and engineering of novel materials. In addition, it has observed increasing research interests in many emerging directions beyond optics and photonics. This Review paper attempts to bring together the state of the art developments in the field of complex non-Hermitian physics based on PT symmetry in various physical settings along with elucidating key concepts and background and a detailed perspective on new emerging directions. It can be anticipated that this trendy field of interest can be indispensable in providing new perspectives in maneuvering the flow of light in the diverse physical platforms in optics, photonics, condensed matter, opto-electronics and beyond, and offer distinctive applications prospects in novel functional materials.


title: Perceptual decision making: Biases in post-error reaction times explained by attractor network dynamics

abstract: Perceptual decision making is the subject of many experimental and theoretical studies. Whereas most modeling analysis are based on statistical processes of accumulation of evidence, less attention is being devoted to the modeling with attractor network dynamics, even though they describe well psychophysical and neurophysiological data. In particular, very few works confront attractor models predictions with data from continuous sequences of trials. Recently however, a biophysical competitive attractor network model has been used to describe such sequences of decision trials, and has been shown to reproduce repetition biases observed in perceptual decision experiments. Here we propose an extension of the reduced attractor network model of Wong and Wang (2006) to get more insights into such effects. We make explicit the conditions under which such network can perform a succession of decisions, and show that the model provides a mathematical framework for studying the effects of a trial on the decision made on the next one. We study in details the reaction times properties during a sequence of decision trials, and show that the model reproduces behavioral data, both qualitatively and quantitatively. In particular, we find that the decision made on the current trial is biased toward the one made on the previous trial. More remarkably, we show that, in the absence of any feedback about the correctness of the decision, the network exhibits post-error slowing, a subtle effect in agreement with empirical data.


title: Fine-Grained Complexity of Analyzing Compressed Data: Quantifying Improvements over Decompress-And-Solve

abstract: Can we analyze data without decompressing it? As our data keeps growing, understanding the time complexity of problems on compressed inputs, rather than in convenient uncompressed forms, becomes more and more relevant. Suppose we are given a compression of size $n$ of data that originally has size $N$, and we want to solve a problem with time complexity $T(\cdot)$. The naive strategy of "decompress-and-solve" gives time $T(N)$, whereas "the gold standard" is time $T(n)$: to analyze the compression as efficiently as if the original data was small. We restrict our attention to data in the form of a string (text, files, genomes, etc.) and study the most ubiquitous tasks. While the challenge might seem to depend heavily on the specific compression scheme, most methods of practical relevance (Lempel-Ziv-family, dictionary methods, and others) can be unified under the elegant notion of Grammar Compressions. A vast literature, across many disciplines, established this as an influential notion for Algorithm design. We introduce a framework for proving (conditional) lower bounds in this field, allowing us to assess whether decompress-and-solve can be improved, and by how much. Our main results are: - The $O(nN\sqrt{\log{N/n}})$ bound for LCS and the $O(\min\{N \log N, nM\})$ bound for Pattern Matching with Wildcards are optimal up to $N^{o(1)}$ factors, under the Strong Exponential Time Hypothesis. (Here, $M$ denotes the uncompressed length of the compressed pattern.) - Decompress-and-solve is essentially optimal for Context-Free Grammar Parsing and RNA Folding, under the $k$-Clique conjecture. - We give an algorithm showing that decompress-and-solve is not optimal for Disjointness.


title: Survival of the fittest in the coherent evolution of quantum ensembles

abstract: We report two novel effects in an inhomogeneous ensemble of two-level systems driven by an external field. First, we observe a rigidity of the oscillation frequency: the dominant Rabi oscillation frequency does not change with the frequency of the driving field, in contrast to the well-known law of Rabi frequency increase with growing detuning of the driving field. Second, we observe a time-dependent frequency shift of the ensemble-averaged oscillation. We show that these effects follow from the inhomogeneity of the two-level splitting across the ensemble, allowing for a distribution of local oscillations in which those with high frequencies interfere destructively and decay faster than those with a low frequency, which are the only to survive in the output signal. Hence, coherence emerges from long-lived oscillations in an inhomogeneous ensemble. We analyze the Fourier spectrum of the time-dependent oscillation signal and find a non-trivial spectral structure that is double peaked for certain parameters. We show that the effects observed in alkali vapor are universal and expected in any system with a moderate inhomogeneity driven by an external field.


title: Permutation Tests for Equality of Distributions of Functional Data

abstract: Economic data are often generated by stochastic processes that take place in continuous time, though observations may occur only at discrete times. For example, electricity and gas consumption take place in continuous time. Data generated by a continuous time stochastic process are called functional data. This paper is concerned with comparing two or more stochastic processes that generate functional data. The data may be produced by a randomized experiment in which there are multiple treatments. The paper presents a method for testing the hypothesis that the same stochastic process generates all the functional data. The test described here applies to both functional data and multiple treatments. It is implemented as a combination of two permutation tests. This ensures that in finite samples, the true and nominal probabilities that each test rejects a correct null hypothesis are equal. The paper presents upper and lower bounds on the asymptotic power of the test under alternative hypotheses. The results of Monte Carlo experiments and an application to an experiment on billing and pricing of natural gas illustrate the usefulness of the test.


title: Double covers of quadratic degeneracy and Lagrangian intersection loci

abstract: We explain a general construction of double covers of quadratic degeneracy loci and Lagrangian intersection loci based on reflexive sheaves. We relate the double covers of quadratic degeneracy loci to the Stein factorizations of the relative Hilbert schemes of linear spaces of the corresponding quadric fibrations. We give a criterion for these double covers to be nonsingular. As applications of these results, we show that the double covers of the EPW sextics obtained by our construction give O'Grady's double EPW sextics and that an analogous construction gives Iliev-Kapustka-Kapustka-Ranestad's EPW cubes.


title: Waring decompositions and identifiability via Bertini and Macaulay2 software

abstract: Starting from our previous papers [AGMO] and [ABC], we prove the existence of a non-empty Euclidean open subset whose elements are polynomial vectors with 4 components, in 3 variables, degrees, respectively, 2,3,3,3 and rank 6, which are not identifiable over $ \mathbb{C} $ but are identifiable over $ \mathbb{R} $. This result has been obtained via computer-aided procedures suitably adapted to investigate the number of Waring decompositions for general polynomial vectors over the fields of complex and real numbers. Furthermore, by means of the Hessian criterion ([COV]), we prove identifiability over $ \mathbb{C} $ for polynomial vectors in many cases of sub-generic rank.


title: Influence of evaporation on soap film rupture

abstract: Although soap films are prone to evaporate due to their large surface to volume ratio, the effect of evaporation on macroscopic film features has often been disregarded in the literature. In this work, we investigate experimentally the influence of environmental humidity on soap film stability. An original experiment allows to measure both the maximum length of a film pulled at constant velocity and its thinning dynamics in a controlled atmosphere for various values of the relative humidity $\RH$. At first order, the environmental humidity seems to have almost no impact on most of the film thinning dynamics. However, we find that the film length at rupture increases continuously with $\RH$. To rationalize our observations, we propose that the film bursting occurs when the thinning due to evaporation becomes comparable to the thinning due to liquid drainage. This rupture criterion turns out to be in reasonable agreement with an estimation of the evaporation rate in our experiment.


title: Jointly Controlled Lotteries with Biased Coins

abstract: We provide a mechanism that uses two biased coins and implements any distribution on a finite set of elements, in such a way that even if the outcomes of one of the coins is determined by an adversary, the final distribution remains unchanged. We apply this result to show that every quitting game in which at least two players have at least two continue actions has an undiscounted $\ep$-equilibrium, for every $\ep > 0$.


title: Proofs of Technical Results Justifying an Algorithm of Reactive 3D Navigation of a Mobile Robot through an Unknown Tunnel

abstract: A nonholonomic under-actuated robot with a bounded control range travels inside an unknown and unstructured 3D tunnel bounded by a generic 2D surface. The robot has access to the nearest point of the surface and measures the distance to the surface along any ray from a narrow beam emitted from the robot around the direction to the nearest point. The paper presents some mathematical facts underlying justification of the convergence and performance of a new navigation law that ensures constant advancement of the robot through the tunnel, along with respecting a given safety margin to its surface, driving the robot to the desired distance to it, and subsequently maintaining this distance.


title: Clique-Based Lower Bounds for Parsing Tree-Adjoining Grammars

abstract: Tree-adjoining grammars are a generalization of context-free grammars that are well suited to model human languages and are thus popular in computational linguistics. In the tree-adjoining grammar recognition problem, given a grammar $\Gamma$ and a string $s$ of length $n$, the task is to decide whether $s$ can be obtained from $\Gamma$. Rajasekaran and Yooseph's parser (JCSS'98) solves this problem in time $O(n^{2\omega})$, where $\omega < 2.373$ is the matrix multiplication exponent. The best algorithms avoiding fast matrix multiplication take time $O(n^6)$. The first evidence for hardness was given by Satta (J. Comp. Linguist.'94): For a more general parsing problem, any algorithm that avoids fast matrix multiplication and is significantly faster than $O(|\Gamma| n^6)$ in the case of $|\Gamma| = \Theta(n^{12})$ would imply a breakthrough for Boolean matrix multiplication. Following an approach by Abboud et al. (FOCS'15) for context-free grammar recognition, in this paper we resolve many of the disadvantages of the previous lower bound. We show that, even on constant-size grammars, any improvement on Rajasekaran and Yooseph's parser would imply a breakthrough for the $k$-Clique problem. This establishes tree-adjoining grammar parsing as a practically relevant problem with the unusual running time of $n^{2\omega}$, up to lower order factors.


title: Unsupervised Deep Single-Image Intrinsic Decomposition using Illumination-Varying Image Sequences

abstract: Machine learning based Single Image Intrinsic Decomposition (SIID) methods decompose a captured scene into its albedo and shading images by using the knowledge of a large set of known and realistic ground truth decompositions. Collecting and annotating such a dataset is an approach that cannot scale to sufficient variety and realism. We free ourselves from this limitation by training on unannotated images. Our method leverages the observation that two images of the same scene but with different lighting provide useful information on their intrinsic properties: by definition, albedo is invariant to lighting conditions, and cross-combining the estimated albedo of a first image with the estimated shading of a second one should lead back to the second one's input image. We transcribe this relationship into a siamese training scheme for a deep convolutional neural network that decomposes a single image into albedo and shading. The siamese setting allows us to introduce a new loss function including such cross-combinations, and to train solely on (time-lapse) images, discarding the need for any ground truth annotations. As a result, our method has the good properties of i) taking advantage of the time-varying information of image sequences in the (pre-computed) training step, ii) not requiring ground truth data to train on, and iii) being able to decompose single images of unseen scenes at runtime. To demonstrate and evaluate our work, we additionally propose a new rendered dataset containing illumination-varying scenes and a set of quantitative metrics to evaluate SIID algorithms. Despite its unsupervised nature, our results compete with state of the art methods, including supervised and non data-driven methods.


title: A fast implementation of near neighbors queries for Fr\'echet distance (GIS Cup)

abstract: This paper describes an implementation of fast near-neighbours queries (also known as range searching) with respect to the Fr\'echet distance. The algorithm is designed to be efficient on practical data such as GPS trajectories. Our approach is to use a quadtree data structure to enumerate all curves in the database that have similar start and endpoints as the query curve. On these curves we run positive and negative filters to narrow the set of potential results. Only for those trajectories where these heuristics fail, we compute the Fr\'echet distance exactly, by running a novel recursive variant of the classic free-space diagram algorithm. Our implementation won the ACM SIGSPATIAL GIS Cup 2017.


title: On the Relation of Strong Triadic Closure and Cluster Deletion

abstract: We study the parameterized and classical complexity of two related problems on undirected graphs $G=(V,E)$. In Strong Triadic Closure we aim to label the edges in $E$ as strong and weak such that at most~$k$ edges are weak and $G$ contains no induced $P_3$ with two strong edges. In Cluster Deletion, we aim to destroy all induced $P_3$s by a minimum number of edge deletions. We first show that Strong Triadic Closure admits a $4k$-vertex kernel. Then, we study parameterization by $\ell:=|E|-k$ and show that both problems are fixed-parameter tractable and unlikely to admit a polynomial kernel with respect to $\ell$. Finally, we give a dichotomy of the classical complexity of both problems on $H$-free graphs for all $H$ of order four.


title: Peak Effects in Stable Linear Difference Equations

abstract: We consider asymptotically stable scalar difference equations with unit-norm initial conditions. First, it is shown that the solution may happen to deviate far away from the equilibrium point at finite time instants prior to converging to zero. Second, for a number of root distributions and initial conditions, exact values of deviations or lower bounds are provided. Several specific difference equations known from the literature are also analyzed and estimates of deviations are proposed. Third, we consider difference equations with non-random noise (i.e., bounded-noise autoregression) and provide upper bounds on the solutions. Possible generalizations, e.g., to the vector case are discussed and directions for future research are outlined.


title: Tensor structure for Nori motives

abstract: We construct a tensor product on Freyd's universal abelian category attached to an additive tensor category or a tensor quiver and establish a universal property. This is used to give an alternative construction for the tensor product on Nori motives.


title: Detecting non-causal artifacts in multivariate linear regression models

abstract: We consider linear models where $d$ potential causes $X_1,...,X_d$ are correlated with one target quantity $Y$ and propose a method to infer whether the association is causal or whether it is an artifact caused by overfitting or hidden common causes. We employ the idea that in the former case the vector of regression coefficients has 'generic' orientation relative to the covariance matrix $\Sigma_{XX}$ of $X$. Using an ICA based model for confounding, we show that both confounding and overfitting yield regression vectors that concentrate mainly in the space of low eigenvalues of $\Sigma_{XX}$.


title: An easy proof of Polya's theorem on random walks

abstract: We present an easy proof of Polya's theorem on random walks: with the probability one a random walk on the two-dimensional lattice returns to the starting point.


title: $\mathbb{Z} R$ and rings of Witt vectors $W_S (R)$

abstract: Using $\lambda$ operations, we give some results on the kernel of the natural map from the monoid algebra $\mathbb{Z} R$ of a commutative ring $R$ to the ring of $S$-Witt vectors of $R$. As a byproduct we obtain a very natural interpretation of a power series used by Dwork in his proof of the rationality of zeta functions for varieties over finite fields.


title: Lifetime of flatband states

abstract: Flatbands feature the distortion-free storage of compact localized states of tailorable shape. Their reliable storage sojourn is, however, limited by disorder potentials, which generically cause uncontrolled coupling into dispersive bands. We find that, while detuning flatband states from band intersections suppresses their direct decay into dispersive bands, disorder-induced state distortion causes a delayed, dephasing-mediated decay, lifting the static nature of flatband states and setting a finite lifetime for the reliable storage sojourn. We exemplify this generic, disorder-induced decay mechanism at the cross-stitch lattice. Our analysis, which applies platform-independently, relies on the time-resolved treatment of disorder-averaged quantum systems with quantum master equations.


title: Understanding Human Mobility Flows from Aggregated Mobile Phone Data

abstract: In this paper we deal with the study of travel flows and patterns of people in large populated areas. Information about the movements of people is extracted from coarse-grained aggregated cellular network data without tracking mobile devices individually. Mobile phone data are provided by the Italian telecommunication company TIM and consist of density profiles (i.e. the spatial distribution) of people in a given area at various instants of time. By computing a suitable approximation of the Wasserstein distance between two consecutive density profiles, we are able to extract the main directions followed by people, i.e. to understand how the mass of people distribute in space and time. The main applications of the proposed technique are the monitoring of daily flows of commuters, the organization of large events, and, more in general, the traffic management and control.


title: Crackling dynamics in the mechanical response of knitted fabrics, Version 2

abstract: Crackling noise, which occurs in a wide range of situations, is characterized by discrete events of various sizes, often correlated in the form of avalanches. We report experimental evidence that the mechanical response of knitted fabric displays such broadly distributed events both in the force signal and in the deformation field, with statistics analogous to that of earthquakes or soft amorphous materials. A knit consists of a regular network of frictional contacts, linked by the elasticity of the yarn. When deformed, the fabric displays spatially extended avalanche-like yielding events resulting from collective inter-yarn contact slips. We measure the size distribution of these avalanches, at the stitch level from the analysis of non-elastic displacement fields, and externally from force fluctuations. The two measurements yield consistent power law distributions reminiscent of those found in other avalanching systems. Our study shows that a knitted fabric is not only a thread-based metamaterial with highly sought after mechanical properties, but also an original, model system, with topologically protected structural order, where intermittent, scale-invariant response emerges from minimal ingredients, and thus a significant landmark in the study of out-of-equilibrium universality.


title: NetGAN: Generating Graphs via Random Walks

abstract: We propose NetGAN - the first implicit generative model for graphs able to mimic real-world networks. We pose the problem of graph generation as learning the distribution of biased random walks over the input graph. The proposed model is based on a stochastic neural network that generates discrete output samples and is trained using the Wasserstein GAN objective. NetGAN is able to produce graphs that exhibit well-known network patterns without explicitly specifying them in the model definition. At the same time, our model exhibits strong generalization properties, as highlighted by its competitive link prediction performance, despite not being trained specifically for this task. Being the first approach to combine both of these desirable properties, NetGAN opens exciting avenues for further research.


title: Robustness against Disturbances in Power Systems under Frequency Constraints

abstract: The wide deployment of renewable generation and the gradual decrease in the overall system inertia make modern power grids more vulnerable to transient instabilities and unacceptable frequency fluctuations. Time-domain simulation-based assessment of the system robustness against uncertain and stochastic disturbances is extremely time-consuming. In this paper, we develop an alternative approach, which has its roots in the input-output stability analysis for Lur'e systems. Our approach consists of a mathematically rigorous characterization of the external disturbances that the power system is transiently stable and the frequency constraints are not violated. The derived certificate is efficiently constructed via convex optimization and is shown to be non-conservative for different IEEE test cases.


title: Convex Restriction of Power Flow Feasibility Sets

abstract: The convex restriction of the power flow feasible sets identifies the convex subset of power injections where the solution for power flow is guaranteed to exist and satisfy the operational constraints. In contrast to convex relaxations, the convex restriction provides a sufficient condition for power flow feasibility and is particularly useful for problems involving uncertainty in the power generation and demand. In this paper, we present a general framework of constructing convex restriction of an algebraic set defined by equality and inequality constraints and apply the framework to power flow feasibility problem. The procedure results in convex quadratic constraints that provide a sufficiently large region for practical operation of the grid.


title: The discrepancy between Einstein mass and dynamical mass for SIS and power-law mass models

abstract: We investigate the discrepancy between the two-dimensional projected lensing mass and the dynam- ical mass for an ensemble of 97 strong gravitational lensing systems discovered by the Sloan Lens ACS (SLACS) Survey, the BOSS Emission-Line Lens Survey (BELLS), and the BELLS for GALaxy-Ly{\alpha} EmitteR sYs- tems (BELLS GALLERY) Survey. We fit the lensing data to obtain the Einstein mass, and use the velocity dispersion of the lensing galaxies provided by the Sloan Digital Sky Survey (SDSS) to get the projected dynamical mass within the Einstein radius by assuming the power-law mass approximation. The discrepancy is found to be obvious and quantified by Bayesian analysis. For the singular isothermal sphere (SIS) mass model, we obtain that the Einstein mass is 20.7% more than the dynamical mass, and the discrepancy increases with the redshift of the lensing galaxies. For more general power-law mass model, the discrepancy still exists within 1{\sigma} credible region. The main reason of the the discrepancy could be mass contamination, including all invisible masses along the line of sight. In addition, the measurement errors and the approximation of the mass models could lead to part of the discrepancy.


title: Non-thermal WIMP baryogenesis

abstract: We propose a WIMP baryogensis achieved by the annihilation of non-thermally produced WIMPs from decay of heavy particles, which can result in low reheating temerature. Dark matter (DM) can be produced non-thermally during a reheating period created by the decay of long-lived heavy particle, and subsequently re-annihilate to lighter particles even after the thermal freeze-out. The re-annihilation of DM provides the observed baryon asymmetry as well as the correct relic density of DM. We investigate how wahout effects can affect the generation of the baryon asymmetry and study a model suppressing them. In this scenario, we find that DM can be heavy enough and its annihilation cross section can also be larger than that adopted in the usual thermal WIMP baryogenesis.


title: Transverse Wave Induced Kelvin-Helmholtz Rolls in Spicules

abstract: In addition to their jet-like dynamic behaviour, spicules usually exhibit strong transverse speeds, multi-stranded structure and heating from chromospheric to transition region temperatures. In this work we first analyse \textit{Hinode} \& \textit{IRIS} observations of spicules and find different behaviours in terms of their Doppler velocity evolution and collective motion of their sub-structure. Some have a Doppler shift sign change that is rather fixed along the spicule axis, and lack coherence in the oscillatory motion of strand-like structure, matching rotation models or long wavelength torsional Alfv\'en waves. Others exhibit a Doppler shift sign change at maximum displacement and coherent motion of their strands, suggesting a collective MHD wave. By comparing with an idealised 3-D MHD simulation combined with radiative transfer modelling, we analyse the role of transverse MHD waves and associated instabilities in spicule-like features. We find that Transverse Wave Induced Kelvin-Helmholtz (TWIKH) rolls lead to coherence of strand-like structure in imaging and spectral maps, as seen in some observations. The rapid transverse dynamics and the density and temperature gradients at the spicule boundary lead to ring-shaped \ion{Mg}{2} k and \ion{Ca}{2} H source functions in the transverse cross-section, potentially allowing IRIS to capture the KHI dynamics. Twists and currents propagate along the spicule at Alfv\'enic speeds, and the temperature variations within TWIKH rolls produce sudden appearance / disappearance of strands seen in Doppler velocity and in \ion{Ca}{2} H intensity. However, only a mild intensity increase in higher temperature lines is obtained, suggesting there is an additional heating mechanism at work in spicules.


title: The 155-day X-ray cycle of the very massive Wolf-Rayet star Melnick 34 in the Large Magellanic Cloud

abstract: The Wolf-Rayet star Mk 34 was observed more than 50 times as part of the deep T-ReX Chandra ACIS-I X-ray imaging survey of the Tarantula Nebula in the Large Magellanic Cloud conducted between 2014 May and 2016 January. Its brightness showed one bright maximum and repeated faint minima which help define an X-ray recurrence time of $155.1\pm0.1$ days that is probably the orbital period of an eccentric binary system. The maximum immediately precedes the minimum in the folded X-ray light curve as confirmed by new Swift XRT observations. Notwithstanding its extreme median luminosity of $1.2\times10^{35}\mathrm{erg}~\mathrm{s}^{-1}$, which makes it over an order of magnitude brighter than comparable stars in the Milky Way, Mk 34 is almost certainly a colliding-wind binary system. Its spectrum shows phase-related changes of luminosity and absorption that are probably related to the orbital dynamics of two of the most massive stars known.


title: The "No Justice in the Universe" phenomenon: why honesty of effort may not be rewarded in tournaments

abstract: In 2000 Allen Schwenk, using a well-known mathematical model of matchplay tournaments in which the probability of one player beating another in a single match is fixed for each pair of players, showed that the classical single-elimination, seeded format can be "unfair" in the sense that situations can arise where an indisputibly better (and thus higher seeded) player may have a smaller probability of winning the tournament than a worse one. This in turn implies that, if the players are able to influence their seeding in some preliminary competition, situations can arise where it is in a player's interest to behave "dishonestly", by deliberately trying to lose a match. This motivated us to ask whether it is possible for a tournament to be both honest, meaning that it is impossible for a situation to arise where a rational player throws a match, and "symmetric" - meaning basically that the rules treat everyone the same - yet unfair, in the sense that an objectively better player has a smaller probability of winning than a worse one. After rigorously defining our terms, our main result is that such tournaments exist and we construct explicit examples for any number n >= 3 of players. For n=3, we show (Theorem 3.6) that the collection of win-probability vectors for such tournaments form a 5-vertex convex polygon in R^3, minus some boundary points. We conjecture a similar result for any n >= 4 and prove some partial results towards it.


title: Selection and processing of calibration samples to measure the particle identification performance of the LHCb experiment in Run 2

abstract: Since 2015, with the restart of the LHC for its second run of data taking, the LHCb experiment has been empowered with a dedicated computing model to select and analyse calibration samples to measure the performance of the particle identification (PID) detectors and algorithms. The novel technique was developed within the framework of the innovative trigger model of the LHCb experiment, which relies on online event reconstruction for most of the datasets, reserving offline reconstruction to special physics cases. The strategy to select and process the calibration samples, which includes a dedicated data-processing scheme combining online and offline reconstruction, is discussed. The use of the calibration samples to measure the detector PID performance, and the efficiency of PID requirements across a large range of decay channels, is described. Applications of the calibration samples in data-quality monitoring and validation procedures are also detailed.


title: Inclusive electron-nucleus cross section within the Self Consistent Green's Function approach

abstract: We compute inclusive electron-nucleus cross sections using ab initio spectral functions of $^4$He and $^{16}$O obtained within the Self Consistent Green's Function approach. The formalism adopted is based on the factorization of the spectral function and the nuclear transition matrix elements. This allows to provide an accurate description of nuclear dynamics and to account for relativistic effects in the interaction vertex. Our calculations use a saturating chiral Hamiltonian in order reproduce the correct nuclear sizes. When final state interactions for the struck particle are accounted for, we find nice agreement between the data and the theory for the inclusive electron-$^{16}$O cross section. The results lay the foundations for future applications of the Self Consistent Green's Function method, in both closed and open shell nuclei, to neutrino data analysis. This work also presents results for the point-proton, charge and single-nucleon momentum distribution of the same two nuclei. The center of mass can affect these quantities for light nuclei and cannot be separated cleanly in most ab initio post-Hartree-Fock methods. In order to address this, we developed a Metropolis Monte Carlo calculation in which the center of mass coordinate can be subtracted exactly from the trial wave function and the expectation values. We gauged this effect for $^4$He by removing the center of mass effect from the Optimal Reference State wave function that is generated during the Self Consistent Green's Function calculations. Our findings clearly indicate that the residual center of mass contribution strongly modifies calculated matter distributions with respect to those obtained in the intrinsic frame. Hence, its subtraction is crucial for a correct description of light nuclei.


title: Switching of the Chiral Magnetic Domains in the Hybrid Multiferroic (ND4)2[FeCl5(D2O)]

abstract: Neutron spherical polarimetry, which is directly sensitive to the absolute magnetic configuration and domain population, has been used in this work to unambiguously prove the multiferroicity of (ND4)2[FeCl5(D2O)]. We demonstrate that the application of an electric field upon cooling results in the stabilization of a single-cycloidal magnetic domain below 6.9 K, while poling in the opposite electric field direction produces the full population of the domain with opposite magnetic chirality. We prove the complete switchability of the magnetic domains at low temperature by the applied electric field, which constitutes a direct proof of the strong magnetoelectric coupling. Additionally, we refine the magnetic structure of the ordered ground state, determining the underlying magnetic space group consistent with the direction of the ferroelectric polarization, and we provide evidence of a collinear amplitude-modulated state with magnetic moments along the a-axis in the temperature region between 6.9 and 7.2 K.


title: Differentiation and regularity of semi-discrete optimal transport with respect to the parameters of the discrete measure

abstract: This paper aims at determining under which conditions the semi-discrete optimal transport is twice differentiable with respect to the parameters of the discrete measure and exhibits numerical applications. The discussion focuses on minimal conditions on the background measure to ensure differentiability. We provide numerical illustrations in stippling and blue noise problems.


title: Experimental Observation of Acoustic Weyl Points and Topological Surface States

abstract: Weyl points emerge as topological monopoles of Berry flux in the three-dimensional (3D) momentum space and have been extensively studied in topological semimetals. As the underlying topological principles apply to any type of waves under periodic boundary conditions, Weyl points can also be realized in classical wave systems, which are easier to engineer compared to condensed matter materials. Here, we made an acoustic Weyl phononic crystal by breaking space inversion (P) symmetry using a combination of slanted acoustic waveguides. We conducted angle-resolved transmission measurements to characterize the acoustic Weyl points. We also experimentally confirmed the existence of acoustic "Fermi arcs" and demonstrated robust one-way acoustic transport, where the surface waves can overcome a step barrier without reflection. This work lays a solid foundation for the basic research in 3D topological acoustic effects.


title: Independence number and the number of maximum independent sets in pseudofractal scale-free web and Sierpi\'nski gasket

abstract: As a fundamental subject of theoretical computer science, the maximum independent set (MIS) problem not only is of purely theoretical interest, but also has found wide applications in various fields. However, for a general graph determining the size of a MIS is NP-hard, and exact computation of the number of all MISs is even more difficult. It is thus of significant interest to seek special graphs for which the MIS problem can be exactly solved. In this paper, we address the MIS problem in the pseudofractal scale-free web and the Sierpi\'nski gasket, which have the same number of vertices and edges. For both graphs, we determine exactly the independence number and the number of all possible MISs. The independence number of the pseudofractal scale-free web is as twice as the one of the Sierpi\'nski gasket. Moreover, the pseudofractal scale-free web has a unique MIS, while the number of MISs in the Sierpi\'nski gasket grows exponentially with the number of vertices.


title: Deep Cocktail Network: Multi-source Unsupervised Domain Adaptation with Category Shift

abstract: Unsupervised domain adaptation (UDA) conventionally assumes labeled source samples coming from a single underlying source distribution. Whereas in practical scenario, labeled data are typically collected from diverse sources. The multiple sources are different not only from the target but also from each other, thus, domain adaptater should not be modeled in the same way. Moreover, those sources may not completely share their categories, which further brings a new transfer challenge called category shift. In this paper, we propose a deep cocktail network (DCTN) to battle the domain and category shifts among multiple sources. Motivated by the theoretical results in \cite{mansour2009domain}, the target distribution can be represented as the weighted combination of source distributions, and, the multi-source unsupervised domain adaptation via DCTN is then performed as two alternating steps: i) It deploys multi-way adversarial learning to minimize the discrepancy between the target and each of the multiple source domains, which also obtains the source-specific perplexity scores to denote the possibilities that a target sample belongs to different source domains. ii) The multi-source category classifiers are integrated with the perplexity scores to classify target sample, and the pseudo-labeled target samples together with source samples are utilized to update the multi-source category classifier and the feature extractor. We evaluate DCTN in three domain adaptation benchmarks, which clearly demonstrate the superiority of our framework.


title: Lexico-acoustic Neural-based Models for Dialog Act Classification

abstract: Recent works have proposed neural models for dialog act classification in spoken dialogs. However, they have not explored the role and the usefulness of acoustic information. We propose a neural model that processes both lexical and acoustic features for classification. Our results on two benchmark datasets reveal that acoustic features are helpful in improving the overall accuracy. Finally, a deeper analysis shows that acoustic features are valuable in three cases: when a dialog act has sufficient data, when lexical information is limited and when strong lexical cues are not present.


title: Towards a Question Answering System over the Semantic Web

abstract: Thanks to the development of the Semantic Web, a lot of new structured data has become available on the Web in the form of knowledge bases (KBs). Making this valuable data accessible and usable for end-users is one of the main goals of Question Answering (QA) over KBs. Most current QA systems query one KB, in one language (namely English). The existing approaches are not designed to be easily adaptable to new KBs and languages. We first introduce a new approach for translating natural language questions to SPARQL queries. It is able to query several KBs simultaneously, in different languages, and can easily be ported to other KBs and languages. In our evaluation, the impact of our approach is proven using 5 different well-known and large KBs: Wikidata, DBpedia, MusicBrainz, DBLP and Freebase as well as 5 different languages namely English, German, French, Italian and Spanish. Second, we show how we integrated our approach, to make it easily accessible by the research community and by end-users. To summarize, we provided a conceptional solution for multilingual, KB-agnostic Question Answering over the Semantic Web. The provided first approximation validates this concept.


title: The Maillot-R\"ossler current and the polylogarithm on abelian schemes

abstract: We give a conceptual proof of the fact that the realisation of the degree zero part of the polylogarithm on abelian schemes in analytic Deligne cohomology can be described in terms of the Bismut-K\"ohler higher analytic torsion form of the Poincar\'e bundle. Furthermore, we provide a new axiomatic characterization of the arithmetic Chern character of the Poincar\'e bundle using only invariance properties under isogenies. For this we obtain a decomposition result for the arithmetic Chow group of independent interest.


title: The case of Neumann, Robin and periodic lateral condition for the semi infinite generalized Graetz problem and applications

abstract: The Graetz problem is a convection-diffusion equation in a pipe invariant along a direction. The contribution of the present work is to propose a mathematical analysis of the Neumann, Robin and periodic boundary condition on the boundary of a semi-infinite pipe. The solution in the 3D space of the original problem is reduced to eigenproblems in the 2D section of the pipe. The set of solutions is described, its structure depends on the type of boundary condition and of the sign of the total flow of the fluid. This analysis is the cornerstone of numerical methods to solve Graetz problem in finite pipes, semi infinite pipes and exchangers of arbitrary cross section. Numerical test-cases illustrate the capabilities of these methods to provide solutions in various configurations.


title: Infrared divergences in the EPRL-FK Spin Foam model

abstract: We provide an algorithm to estimate the divergence degree of the Lorentzian EPRL-FK spin foam amplitudes for arbitrary 2-complexes. We focus on the "self-energy" and "vertex renormalization" diagrams and find an upper bound estimate. We argue that our upper bound must be close to the actual value, and explain what numerical improvements are needed to verify this numerically. For the self-energy, this turns out to be significantly more divergent than the lower bound estimate present in the literature. We support the validity of our algorithm using 3-stranded versions of the amplitudes (corresponding to a toy 3d model) for which our estimates are confirmed numerically. We also apply our methods to the simplified EPRLs model, finding a completely convergent behavior, and to BF theory, independently recovering the divergent estimates present in the literature.


title: Weak measurement and weak values -- New insights and effects in reflectivity and scattering processes

abstract: Recently, the notions of Weak Measurement (WM), Weak Value (WV) and Two-State-Vector Formalism (TSVF), firstly introduced by Aharonov and collaborators, have extended the theoretical frame of standard quantum mechanics, thus providing a quantum-theoretical formalism for extracting new information from a system in the limit of small disturbance to its state. Here we provide an application to the case of two-body scattering with one body weakly interacting with its environment --- e.g. a neutron being scattered from a H2 molecule physisorbed in a carbon nanotube. In particular, we make contact with the field of incoherent inelastic neutron scattering from condensed systems. We provide a physically compelling prediction of a new quantum effect --- a momentum transfer deficit; or equivalently, an enhanced energy transfer; or an apparent reduction of the mass of the struck particle. E.g., when a neutron collides with a H2 molecule in a C-nanotube and excites its translational motion along the nanotube, it apparently exchanges energy and momentum with a fictitious particle with mass of 0.64 atomic mass units. Experimental results are shown and discussed in the new theoretical frame. The effect under consideration has no conventional interpretation, thus also supporting the novelty of the quantum theoretical framework of WV and TVSF. Some speculative remarks about possible applications being of technological interest (fuel cells and hydrogen storage; Li+ batteries; information and communication technology) are shortly mentioned. \end{abstract}


title: K-theory and 0-cycles on schemes

abstract: We prove Bloch's formula for 0-cycles on affine schemes over algebraically closed fields. We prove this formula also for projective schemes over algebraically closed fields which are regular in codimension one. Several applications, including Bloch's formula for 0-cycles with modulus, are derived.


title: A multi-instance deep neural network classifier: application to Higgs boson CP measurement

abstract: We investigate properties of a classifier applied to the measurements of the CP state of the Higgs boson in $H\rightarrow\tau\tau$ decays. The problem is framed as binary classifier applied to individual instances. Then the prior knowledge that the instances belong to the same class is used to define the multi-instance classifier. Its final score is calculated as multiplication of single instance scores for a given series of instances. In the paper we discuss properties of such classifier, notably its dependence on the number of instances in the series. This classifier exhibits very strong random dependence on the number of epochs used for training and requires careful tuning of the classification threshold. We derive formula for this optimal threshold.


title: Pose-Robust Face Recognition via Deep Residual Equivariant Mapping

abstract: Face recognition achieves exceptional success thanks to the emergence of deep learning. However, many contemporary face recognition models still perform relatively poor in processing profile faces compared to frontal faces. A key reason is that the number of frontal and profile training faces are highly imbalanced - there are extensively more frontal training samples compared to profile ones. In addition, it is intrinsically hard to learn a deep representation that is geometrically invariant to large pose variations. In this study, we hypothesize that there is an inherent mapping between frontal and profile faces, and consequently, their discrepancy in the deep representation space can be bridged by an equivariant mapping. To exploit this mapping, we formulate a novel Deep Residual EquivAriant Mapping (DREAM) block, which is capable of adaptively adding residuals to the input deep representation to transform a profile face representation to a canonical pose that simplifies recognition. The DREAM block consistently enhances the performance of profile face recognition for many strong deep networks, including ResNet models, without deliberately augmenting training data of profile faces. The block is easy to use, light-weight, and can be implemented with a negligible computational overhead.


title: Linear-in-frequency optical conductivity in GdPtBi due to transitions near the triple points

abstract: The complex optical conductivity of the half-Heusler compound GdPtBi is measured in a frequency range from 20 to 22 000 cm$^{-1}$ (2.5 meV - 2.73 eV) at temperatures down to 10 K in zero magnetic field. We find the real part of the conductivity, $\sigma_{1}(\omega)$, to be almost perfectly linear in frequency over a broad range from 50 to 800 cm$^{-1}$ ($\sim$ 6 - 100 meV) for $T \leq 50$ K. This linearity strongly suggests the presence of three-dimensional linear electronic bands with band crossings (nodes) near the chemical potential. Band-structure calculations show the presence of triple points, where one doubly degenerate and one nondegenerate band cross each other in close vicinity of the chemical potential. From a comparison of our data with the optical conductivity computed from the band structure, we conclude that the observed nearly linear $\sigma_{1}(\omega)$ originates as a cumulative effect from all the transitions near the triple points.


title: Gradient-based Sampling: An Adaptive Importance Sampling for Least-squares

abstract: In modern data analysis, random sampling is an efficient and widely-used strategy to overcome the computational difficulties brought by large sample size. In previous studies, researchers conducted random sampling which is according to the input data but independent on the response variable, however the response variable may also be informative for sampling. In this paper we propose an adaptive sampling called the gradient-based sampling which is dependent on both the input data and the output for fast solving of least-square (LS) problems. We draw the data points by random sampling from the full data according to their gradient values. This sampling is computationally saving, since the running time of computing the sampling probabilities is reduced to O(nd) where n is the full sample size and d is the dimension of the input. Theoretically, we establish an error bound analysis of the general importance sampling with respect to LS solution from full data. The result establishes an improved performance of the use of our gradient- based sampling. Synthetic and real data sets are used to empirically argue that the gradient-based sampling has an obvious advantage over existing sampling methods from two aspects of statistical efficiency and computational saving.


title: Searching for scalar boson decaying into light $Z'$ boson at collider experiments in $U(1)_{L_\mu-L_\tau}$ model

abstract: We study a model with $U(1)_{L_\mu - L_\tau}$ gauge symmetry and discuss collider searches for a scalar boson, which breaks $U(1)_{L_\mu - L_\tau}$ symmetry spontaneously, decaying into light $Z'$ gauge boson. In this model, the new gauge boson, $Z'$, with a mass lighter than $\mathcal{O}(100)$ MeV, plays a role in explaining the anomalous magnetic moment of muon via one-loop contribution. For the gauge boson to have such a low mass, the scalar boson, $\phi$ with $\mathcal{O}(100)$ GeV mass appears associated with the symmetry breaking. We investigate experimental constraints on $U(1)_{L_\mu - L_\tau}$ gauge coupling, kinetic mixing, and mixing between the SM Higgs and $\phi$. Then collider search is discussed considering $\phi$ production followed by decay process $\phi \to Z' Z'$ at the large hadron collider and the international linear collider. We also estimate discovery significance at the linear collider taking into account relevant kinematical cut effects.


title: Beyond series-parallel concurrent systems: the case of arch processes

abstract: In this paper we focus on concurrent processes built on synchronization by means of futures. This concept is an abstraction for processes based on a main execution thread but allowing to delay some computations. The structure of a general concurrent process with futures is more or less a directed acyclic graph. Since the quantitative study of such increasingly labeled graphs (directly related to processes) seems out of reach, we restrict ourselves to the study of arch processes, a simplistic model of processes with futures. They are based on two parameters related to their sizes and their numbers of arches. The increasingly labeled structures seems not to be specifiable in the sense of Analytic Combinatorics, but we manage to derive a recurrence equation for the enumeration. For this model we first exhibit an exact and an asymptotic formula for the number of runs of a given process. The second main contribution is composed of an uniform random sampler algorithm and an unranking one that allow efficient generation and exhaustive enumeration of the runs of a given arch process.


title: Production and Integration of the ATLAS Insertable B-Layer

abstract: During the shutdown of the CERN Large Hadron Collider in 2013-2014, an additional pixel layer was installed between the existing Pixel detector of the ATLAS experiment and a new, smaller radius beam pipe. The motivation for this new pixel layer, the Insertable B-Layer (IBL), was to maintain or improve the robustness and performance of the ATLAS tracking system, given the higher instantaneous and integrated luminosities realised following the shutdown. Because of the extreme radiation and collision rate environment, several new radiation-tolerant sensor and electronic technologies were utilised for this layer. This paper reports on the IBL construction and integration prior to its operation in the ATLAS detector.


title: Topological Dirac semimetal phase in the iron-based superconductor Fe(Te,Se)

abstract: Topological Dirac semimetals (TDSs) exhibit bulk Dirac cones protected by time reversal and crystal symmetry, as well as surface states originating from non-trivial topology. While there is a manifold possible onset of superconducting order in such systems, few observations of intrinsic superconductivity have so far been reported for TDSs. We observe evidence for a TDS phase in FeTe$_{1-x}$Se$_x$ ($x$ = 0.45), one of the high transition temperature ($T_c$) iron-based superconductors. In angle-resolved photoelectron spectroscopy (ARPES) and transport experiments, we find spin-polarized states overlapping with the bulk states on the (001) surface, and linear magnetoresistance (MR) starting from 6 T. Combined, this strongly suggests the existence of a TDS phase, which is confirmed by theoretical calculations. In total, the topological electronic states in Fe(Te,Se) provide a promising high $T_c$ platform to realize multiple topological superconducting phases.


title: Direct observation of multiple topological phases in the iron-based superconductor Li(Fe,Co)As

abstract: Topological insulators/semimetals and unconventional iron-based superconductors have attracted major attentions in condensed matter physics in the past 10 years. However, there is little overlap between these two fields, although the combination of topological states and superconducting states will produce more exotic topologically superconducting states and Majorana bound states (MBS), a promising candidate for realizing topological quantum computations. With the progress in laser-based spin-resolved and angle-resolved photoemission spectroscopy (ARPES) with very high energy- and momentum-resolution, we directly resolved the topological insulator (TI) phase and topological Dirac semimetal (TDS) phase near Fermi level ($E_F$) in the iron-based superconductor Li(Fe,Co)As. The TI and TDS phases can be separately tuned to $E_F$ by Co doping, allowing a detailed study of different superconducting topological states in the same material. Together with the topological states in Fe(Te,Se), our study shows the ubiquitous coexistence of superconductivity and multiple topological phases in iron-based superconductors, and opens a new age for the study of high-Tc iron-based superconductors and topological superconductivity.


title: Vertically Sheared Horizontal Flow-Forming Instability in Stratified Turbulence: Analytical Linear Stability Analysis of Statistical State Dynamics Equilibria

abstract: Vertically banded zonal jets are frequently observed in weakly or non-rotating stratified turbulence, with the quasi-biennial oscillation in the equatorial stratosphere and the ocean's equatorial deep jets being two examples. Explaining the formation of jets in stratified turbulence is a fundamental problem in geophysical fluid dynamics. Statistical state dynamics (SSD) provides powerful methods for analyzing turbulent systems exhibiting emergent organization, such as banded jets. In SSD, dynamical equations are written directly for the evolution of the turbulence statistics, enabling direct analysis of the statistical interactions between the incoherent component of the turbulence and the coherent large-scale structure component that underlie jet formation. A second-order closure of SSD, known as S3T, has previously been applied to show that meridionally banded jets emerge in barotropic beta-plane turbulence via a statistical instability referred to as the zonostrophic instability. Two-dimensional Boussinesq turbulence provides a simple model of non-rotating stratified turbulence analogous to the beta-plane model of planetary turbulence. Jets known as vertically sheared horizontal flows (VSHFs) often emerge in simulations of Boussinesq turbulence, but their dynamics is not yet clearly understood. In this work S3T analysis of the zonostrophic instability is extended to study VSHF emergence in two-dimensional Boussinesq turbulence using an analytical formulation of S3T amenable to perturbation stability analysis. VSHFs are shown to form via an instability that is analogous in stratified turbulence to the zonostrophic instability in beta-plane turbulence. This instability is shown to be strikingly similar to the zonostrophic instability, suggesting that jet emergence in both geostrophic and non-rotating stratified turbulence may be understood as instances of the same generic phenomenon.


title: CsPbBr3 Perovskites: Theoretical and Experimental Investigation on Water-Assisted Transition From Nanowire Formation to Degradation

abstract: Recent advances in colloidal synthesis methods have led to increased research focus on halide perovskites. Due to highly ionic crystal structure of perovskite materials, stability issue pops up especially against polar solvents such as water. In this study, we investigate water-driven structural evolution of CsPbBr3 by performing experiments and state-of-the-art first-principles calculations. It is seen that while optical image shows the gradual degradation of yellowish-colored CsPbBr3 structure under daylight, UV illumination reveals that the degradation of crystals takes place in two steps; transition from blue-emitting to green-emitting structure and and then transition from green-emitting phase to complete degradation. We found that as-synthesized CsPbBr3 NWs emit blue light under 254 nm UV source and before the degradation, first CsPbBr3 NWs undergoes a water-driven structural transition to form large bundles. It is also seen that formation of such bundles provide longer-term environmental stability. In addition theoretical calculations revealed how strong is the interaction of water molecules with ligands and surfaces of CsPbBr3 and provide atomistic-level explanation to transition from ligand-covered nanowires to bundle formation. Further interaction of green-light-emitting bundles with water causes complete degradation of CsPbBr3 and photoluminescence signal is entirely quenched. Moreover, Raman and XRD measurements revealed that completely degraded regions are decomposed to PbBr2 and CsBr precursors. We believe that findings of this study may provide further insight into the degradation mechanism of CsPbBr3 perovskite by water.


title: Maximum Volume Subset Selection for Anchored Boxes

abstract: Let $B$ be a set of $n$ axis-parallel boxes in $\mathbb{R}^d$ such that each box has a corner at the origin and the other corner in the positive quadrant of $\mathbb{R}^d$, and let $k$ be a positive integer. We study the problem of selecting $k$ boxes in $B$ that maximize the volume of the union of the selected boxes. This research is motivated by applications in skyline queries for databases and in multicriteria optimization, where the problem is known as the hypervolume subset selection problem. It is known that the problem can be solved in polynomial time in the plane, while the best known running time in any dimension $d \ge 3$ is $\Omega\big(\binom{n}{k}\big)$. We show that: - The problem is NP-hard already in 3 dimensions. - In 3 dimensions, we break the bound $\Omega\big(\binom{n}{k}\big)$, by providing an $n^{O(\sqrt{k})}$ algorithm. - For any constant dimension $d$, we present an efficient polynomial-time approximation scheme.


title: Galerkin-Collocation domain decomposition method for arbitrary binary black holes

abstract: We present a new computational framework for the Galerkin-collocation method for double domain in the context of ADM 3+1 approach in numerical relativity. This work enables us to perform high resolution calculations for initial sets of two arbitrary black holes. We use the Bowen-York method for binary systems and the puncture method to solve the Hamiltonian constraint. The nonlinear numerical code solves the set of equations for the spectral modes using the standard Newton-Raphson method, LU decomposition and Gaussian quadratures. We show convergence of our code for the conformal factor and the ADM mass. Thus, we display features of the conformal factor for different masses, spins and linear momenta.


title: A nonlinear graph-based theory for dynamical network observability

abstract: A faithful description of the state of a complex dynamical network would require, in principle, the measurement of all its $d$ variables, an infeasible task for systems with practical limited access and composed of many nodes with high dimensional dynamics. However, even if the network dynamics is observable from a reduced set of measured variables, how to reliably identifying such a minimum set of variables providing full observability remains an unsolved problem. From the Jacobian matrix of the governing equations of nonlinear systems, we construct a {\it pruned fluence graph} in which the nodes are the state variables and the links represent {\it only the linear} dynamical interdependences encoded in the Jacobian matrix after ignoring nonlinear relationships. From this graph, we identify the largest connected sub-graphs where there is a path from every node to every other node and there are not outcoming links. In each one of those sub-graphs, at least one node must be measured to correctly monitor the state of the system in a $d$-dimensional reconstructed space. Our procedure is here validated by investigating large-dimensional reaction networks for which the determinant of the observability matrix can be rigorously computed.


title: Local hidden-variable model for a recent experimental test of quantum nonlocality and local contextuality

abstract: An experiment has recently been performed to demonstrate quantum nonlocality by establishing contextuality in one of a pair of photons encoding four qubits; however, low detection efficiencies and use of the fair-sampling hypothesis leave these results open to possible criticism due to the detection loophole. In this Letter, a physically motivated local hidden-variable model is considered as a possible mechanism for explaining the experimentally observed results. The model, though not intrinsically contextual, acquires this quality upon post-selection of coincident detections.


title: Quantum distance-based classifier with constant size memory, distributed knowledge and state recycling

abstract: In this work we examine recently proposed distance-based classification method designed for near-term quantum processing units with limited resources. We further study possibilities to reduce the quantum resources without any efficiency decrease. We show that only a part of the information undergoes coherent evolution and this fact allows us to introduce an algorithm with significantly reduced quantum memory size. Additionally, considering only partial information at a time, we propose a classification protocol with information distributed among a number of agents. Finally, we show that the information evolution during a measurement can lead to a better solution and that accuracy of the algorithm can be improved by harnessing the state after the final measurement.


title: A more globally accurate dimensionality reduction method using triplets

abstract: We first show that the commonly used dimensionality reduction (DR) methods such as t-SNE and LargeVis poorly capture the global structure of the data in the low dimensional embedding. We show this via a number of tests for the DR methods that can be easily applied by any practitioner to the dataset at hand. Surprisingly enough, t-SNE performs the best w.r.t. the commonly used measures that reward the local neighborhood accuracy such as precision-recall while having the worst performance in our tests for global structure. We then contrast the performance of these two DR method against our new method called TriMap. The main idea behind TriMap is to capture higher orders of structure with triplet information (instead of pairwise information used by t-SNE and LargeVis), and to minimize a robust loss function for satisfying the chosen triplets. We provide compelling experimental evidence on large natural datasets for the clear advantage of the TriMap DR results. As LargeVis, TriMap scales linearly with the number of data points.


title: Pentagon identities arising in supersymmetric gauge theory computations

abstract: The partition functions of three-dimensional N=2 supersymmetric gauge theories on different manifolds can be expressed as q-hypergeometric integrals. By comparing the partition functions of three-dimensional mirror dual theories, one finds complicated integral identities. In some cases, these identities can be written in the form of pentagon relations. Such identities often have an interpretation as the Pachner's 3-2 move for triangulated manifolds via the so-called 3d-3d correspondence. From the physics perspective, another important application of pentagon identities is that they may be used to construct new solutions to the quantum Yang-Baxter equation.


title: Embedded loops in the hyperbolic plane with prescribed, almost constant curvature

abstract: Given a constant $k>1$ and a real valued function $K$ on the hyperbolic plane $\mathbb H^2$, we study the problem of finding, for any $\epsilon\approx 0$, a closed and embedded curve $u^\epsilon $ in $\mathbb H^2$ having geodesic curvature $k+\epsilon K(u^\epsilon)$ at each point.


title: Generic cycles, Lefschetz representations, and the generalized Hodge and Bloch conjectures for abelian varieties

abstract: We prove Bloch's conjecture for correspondences on powers of complex abelian varieties, that are "generically defined". As an application we establish vanishing results for (skew-)symmetric cycles on powers of abelian varieties and we address a question of Voisin concerning (skew-)symmetric cycles on powers of K3 surfaces in the case of Kummer surfaces. We also prove Bloch's conjecture in the following situation. Let $\gamma$ be a correspondence between two abelian varieties $A$ and $B$ that can be written as a linear combination of products of symmetric divisors. Assume that $A$ is isogenous to the product of an abelian variety of totally real type with the power of an abelian surface. We show that $\gamma$ satisfies the conclusion of Bloch's conjecture. A key ingredient consists in establishing a strong form of the generalized Hodge conjecture for Hodge sub-structures of the cohomology of $A$ that arise as sub-representations of the Lefschetz group of $A$. As a by-product of our method, we use a strong form of the generalized Hodge conjecture established for powers of abelian surfaces to show that every finite-order symplectic automorphism of a generalized Kummer variety acts as the identity on the zero-cycles.


title: Numerical Relativity with Arbitrary Precision Arithmetic: Applications to Gravitational Collapse

abstract: Numerical Relativity is a mature field with many applications in Astrophysics, Cosmology and even in Fundamental Physics. As such, we are entering a stage in which new sophisticated methods adapted to open problems are being developed. In this paper, we advocate the use of Pseudo-Spectral Collocation (PSC) methods in combination with high-order precision arithmetic for Numerical Relativity problems with high accuracy and performance requirements. The PSC method provides exponential convergence (for smooth problems, as is the case in many problems in Numerical Relativity) and we can use different bit precision without the need of changing the structure of the numerical algorithms. Moreover, the PSC method provides high-compression storage of the information. We introduce a series of techniques for combining these tools and show their potential in two problems in relativistic gravitational collapse: (i) The classical Choptuik collapse, estimating with arbitrary precision the location of the apparent horizon. (ii) Collapse in asympotically anti-de Sitter spacetimes, showing that the total energy is preserved by the numerical evolution to a very high degree of precision.


title: Renormalization group properties of the conformal mode of a torus

abstract: The Wilsonian renormalization group properties of the conformal factor of the metric are profoundly altered by the fact that it has a wrong-sign kinetic term. If couplings are chosen so that the quantum field theory exists on $\mathbb{R}^4$, it fails to exist on manifolds below a certain size, if a certain universal shape function turns negative. We demonstrate that this is triggered by inhomogeneity in the cases of $\mathbb{T}^4$ and $\mathbb{T}^3\times\mathbb{R}$, including twisted versions. Varying the moduli, we uncover a rich phenomenology.


title: Can we steal your vocal identity from the Internet?: Initial investigation of cloning Obama's voice using GAN, WaveNet and low-quality found data

abstract: Thanks to the growing availability of spoofing databases and rapid advances in using them, systems for detecting voice spoofing attacks are becoming more and more capable, and error rates close to zero are being reached for the ASVspoof2015 database. However, speech synthesis and voice conversion paradigms that are not considered in the ASVspoof2015 database are appearing. Such examples include direct waveform modelling and generative adversarial networks. We also need to investigate the feasibility of training spoofing systems using only low-quality found data. For that purpose, we developed a generative adversarial network-based speech enhancement system that improves the quality of speech data found in publicly available sources. Using the enhanced data, we trained state-of-the-art text-to-speech and voice conversion models and evaluated them in terms of perceptual speech quality and speaker similarity. The results show that the enhancement models significantly improved the SNR of low-quality degraded data found in publicly available sources and that they significantly improved the perceptual cleanliness of the source speech without significantly degrading the naturalness of the voice. However, the results also show limitations when generating speech with the low-quality found data.


title: The Determination of 2-color zero-sum generalized Schur Numbers

abstract: Consider the equation $\mathcal{E}: x_1+ \cdots+x_{k-1} =x_{k}$ and let $k$ and $r$ be positive integers such that $r\mid k$. The number $S_{\mathfrak{z},2}(k;r)$ is defined to be the least positive integer $t$ such that for any 2-coloring $\chi: [1, t] \to \{0, 1\}$ there exists a solution $(\hat{x}_1, \hat{x}_2, \ldots, \hat{x}_k)$ to the equation $\mathcal{E}$ satisfying $\displaystyle \sum_{i=1}^k\chi(\hat{x}_i) \equiv 0\pmod{r}$. In a recent paper, the first author posed the question of determining the exact value of $S_{\mathfrak{z}, 2}(k;4)$. In this article, we solve this problem and show, more generally, that $S_{\mathfrak{z}, 2}(k, r)=kr - 2r+1$ for all positive integers $k$ and $r$ with $k>r$ and $r \mid k$.


title: A Fast Interior Point Method for Atomic Norm Soft Thresholding

abstract: The atomic norm provides a generalization of the $\ell_1$-norm to continuous parameter spaces. When applied as a sparse regularizer for line spectral estimation the solution can be obtained by solving a convex optimization problem. This problem is known as atomic norm soft thresholding (AST). It can be cast as a semidefinite program and solved by standard methods. In the semidefinite formulation there are $O(N^2)$ dual variables which complicates the implementation of a standard primal-dual interior-point method based on symmetric cones. That has lead researcher to consider alternating direction method of multipliers (ADMM) for the solution of AST, but this method is still somewhat slow for large problem sizes. To obtain a faster algorithm we reformulate AST as a non-symmetric conic program. That has two properties of key importance to its numerical solution: the conic formulation has only $O(N)$ dual variables and the Toeplitz structure inherent to AST is preserved. Based on it we derive FastAST which is a primal-dual interior point method for solving AST. Two variants are considered with the fastest one requiring only $O(N^2)$ flops per iteration. Extensive numerical experiments demonstrate that FastAST solves AST significantly faster than a state-of-the-art solver based on ADMM.


title: Deep-blue light emitting diode based on defect variations of a 2D hybrid organic-inorganic low dimensional perovskite semiconductor

abstract: 2D hybrid organic-inorganic semiconductors (HOIS) are low-cost, self-assembled semiconductors that have proven to be vital for novel optoelectronic devices due to their inherent stable excitons even at room temperature. 2D HOIS are chemically stable with respect to the 3D analogues, but their inherent anisotropy complicates their implementation in devices, including electroluminescence (EL) devices. We report on the synthesis, characterization, cathodoluminescence and EL of a new 2D HOIS, (4-fluoro phenethylamine-H)2PbBr4, and its defect variations (DVs). The latter, in contrast to the pristine material, allow for the first time the simple fabrication of a prototype blue EL device by coating DVs on a conducting anode substrate and using a Ga/In droplet cathode. DVs' optimization can lead to improved light emitting devices (LEDs) and the work here is expected to provide the incentive for utilizing HOIS DVs, as these are compatible with industrial scale synthesis. In contrast to the pristine iodine analogue, whose thin films readily provide EL, only the DVs or mixtures with MoS2 nano-sized platelets provide EL, after careful deposition. These exhibit defects that disrupt the planar non-conductive nature of the micrometric 2D HOIS platelets, usually aligned parallel to the substrate, thus, providing mechanisms for current flow. Finally, the choice of the fluorine-modified amine enhances the functionality of the DVs as LED materials compared to using unmodified amine due to the repulsion among the amine tails, leading to stable decorated 2D inorganic sheets that are weakly bound.


title: Game-theoretical model of cooperation between producers in a production process: 3-agent interaction case

abstract: A network model of manufacturing system is considered. This is a network formation game where players are participants of a production process and their actions are their's requests for interaction. Production networks are formed as a result of an interaction. Players' payoff functions are defined on the set of all possible networks. In this paper the special case of network formation games is considered. Payoff functions are supposed to be additive and depend on subsets of arcs. Two cases are considered. First, subsets of arcs are supposed to be not intersected. The necessary and sufficient conditions for equilibrium are given for this case. The second case is the one where subsets of arcs are determined by 3-agent coalitions. An illustrative example is given where equilibria and a compromise solution are found.


title: Nash equilibria in routing games with edge priorities

abstract: In this paper we present a new competitive packet routing model with edge priorities. We consider players that route selfishly through a network over time and try to reach their destinations as fast as possible. If the number of players who want to enter an edge at the same time exceeds the inflow capacity of this edge, edge priorities with respect to the preceding edge solve these conflicts. Our edge priorities are well-motivated by applications in traffic. For this class of games, we show the existence of equilibrium solutions for single-source-single-sink games and we analyze structural properties of these solutions. We present an algorithm that computes Nash equilibria and we prove bounds both on the Price of Stability and on the Price of Anarchy. Moreover, we introduce the new concept of a Price of Mistrust. Finally, we also study the relations to earliest arrival flows.


title: Quasi-isometric embedding from the generalised Thompson's group $T_n$ to $T$

abstract: Brown has defined the generalised Thompson's group $F_n$, $T_n$, where $n$ is an integer at least $2$ and Thompson's groups $F= F_2$ and $T =T_2$ in the 80's. Burillo, Cleary and Stein have found that there is a quasi-isometric embedding from $F_n$ to $F_m$ where $n$ and $m$ are positive integers at least 2. We show that there is a quasi-isometric embedding from $T_n$ to $T_2$ for any $n \geq 2$ and no embeddings from $T_2$ to $T_n$ for $n \geq 3$.


title: Probing vorticity structure in heavy-ion collisions by local $\Lambda$ polarization

abstract: We study the local structure of the vorticity field and the $\Lambda$ polarization in Au+Au collisions in the energy range $\sqrt{s_{\mathrm{NN}}}=7.7$--$200$ GeV and Pb+Pb collisions at $\sqrt{s_{\mathrm{NN}}}=2760$ GeV using A Multi-Phase Transport (AMPT) model. We focus on the vorticity field arising from the non-uniform expansion of the fireball, which gives the circular structure of the transverse vorticity $\boldsymbol{\omega}_{\perp}=(\omega_{x},\omega_{y})$ around the $z$ direction as well as the quadrupole pattern of the longitudinal vorticity $\omega_{z}$ in the transverse plane. As a consequence, the three components of the polarization vector $\mathbf{P}=(P_{x},P_{y},P_{z})$ for $\Lambda$ hyperons show harmonic behaviors as $\mathrm{sgn}(Y)\sin\phi_{p}$, $-\mathrm{sgn}(Y)\cos\phi_{p}$, and $-\sin(2\phi_{p})$, where $\phi_{p}$ and $Y$ are the azimuthal angle and rapidity in momentum space. These patterns of the local $\Lambda$ polarization are expected to be tested in future experiments.


title: Equation of state of the intergalactic medium in the early Universe

abstract: Spectroscopy of the Ly$\alpha$ forest in quasar spectra proved to be a useful tool for probing the intergalactic gas. We developed the automatic program for Voigt profile fitting of Ly$\alpha$ forest lines. We run this code on 9 high resolution ($\sim 50000$) quasars spectra with a high signal-to-noise ratio ($\sim 50 -100$) from the Keck telescope archive and obtained the sample of single well-fitted Ly$\alpha$ lines. Fitting the joint 2d distribution of column density and Doppler parameter from this sample by physically reasonable model we estimate a power law index $\gamma$ of the equation of state of the intergalactic medium in the redshift range $z\sim 2-3$. We found that our measurement is in an agreement with measurements by other groups obtained with Voigt profile fitting technique.


title: A perfect obstruction theory for moduli of coherent systems

abstract: Let $C$ be a curve of genus $g$. A coherent system on $C$ is a pair $(E,V)$, where $E$ is a finite rank vector bundle on $C$ and $V$ is a linear subspace of the space of global sections of $E$. The type of a coherent system $(E,V)$ is a triple $(n,d,k)$, where $n$ is the rank of $E$, $d$ is the degree of $E$ and $k$ is the dimension of $V$. The notion of stability for a coherent system $(E,V)$ differs from the stability of the bundle $E$ and depends on the choice of a real parameter $\alpha$. The moduli space of $\alpha$-stable coherent systems of type $(n,d,k)$ has an expected dimension $\beta = \beta(n,d,k)$ which depends on the genus of the curve $C$ and on the type of the coherent systems. We construct a perfect obstruction theory for the moduli spaces of $\alpha$-stable coherent systems which has rank equal to the expected dimension $\beta$. In our construction we do not fix one curve, but we work on families of Gorenstein projective curves.


title: Interaction of a supersonic particle with a three-dimensional complex plasma

abstract: The influence of a supersonic projectile on a three-dimensional complex plasma is studied. Micron sized particles in a low-temperature plasma formed a large undisturbed system in the new 'Zyflex' chamber during microgravity conditions. A supersonic probe particle excited a Mach cone with Mach number M $\approx$ 1.5 - 2 and double Mach cone structure in the large weakly damped particle cloud. The speed of sound is measured with different methods and particle charge estimations are compared to calculations from standard theories. The high image resolution enables the study of Mach cones in microgravity on the single particle level of a three-dimensional complex plasma and gives insight to the dynamics. A heating of the microparticles is discovered behind the supersonic projectile but not in the flanks of the Mach cone.


title: Nanodiamonds-induced effects on neuronal firing of mouse hippocampal microcircuits

abstract: Fluorescent nanodiamonds (FND) are carbon-based nanomaterials that can efficiently incorporate optically active photoluminescent centers such as the nitrogen-vacancy complex, thus making them promising candidates as optical biolabels and drug-delivery agents. FNDs exhibit bright fluorescence without photobleaching combined with high uptake rate and low cytotoxicity. Focusing on FNDs interference with neuronal function, here we examined their effect on cultured hippocampal neurons, monitoring the whole network development as well as the electrophysiological properties of single neurons. We observed that FNDs drastically decreased the frequency of inhibitory (from 1.81 Hz to 0.86 Hz) and excitatory (from 1.61 Hz to 0.68 Hz) miniature postsynaptic currents, and consistently reduced action potential (AP) firing frequency (by 36%), as measured by microelectrode arrays. On the contrary, bursts synchronization was preserved, as well as the amplitude of spontaneous inhibitory and excitatory events. Current-clamp recordings revealed that the ratio of neurons responding with AP trains of high-frequency (fast-spiking) versus neurons responding with trains of low-frequency (slow-spiking) was unaltered, suggesting that FNDs exerted a comparable action on neuronal subpopulations. At the single cell level, rapid onset of the somatic AP ("kink") was drastically reduced in FND-treated neurons, suggesting a reduced contribution of axonal and dendritic components while preserving neuronal excitability.


title: On Nelson-type Hamiltonians and abstract boundary conditions

abstract: We construct Hamiltonians for systems of nonrelativistic particles linearly coupled to massive scalar bosons using abstract boundary conditions. The construction yields an explicit characterisation of the domain of self-adjointness in terms of boundary conditions that relate sectors with different numbers of bosons. We treat both models in which the Hamiltonian may be defined as a form perturbation of the free operator, such as Fr\"ohlich's polaron, and renormalisable models, such as the massive Nelson model.


title: Using Spatial Correlation in Semi-Supervised Hyperspectral Unmixing under Polynomial Post-nonlinear Mixing Model

abstract: This paper presents a semi-supervised hyperspectral unmixing solution that integrate the spatial information in the abundance estimation procedure. The proposed method is applied on a nonlinear model based on polynomial postnonlinear mixing model where characterizes each pixel reflections composed of nonlinear function of pure spectral signatures added by noise. We partitioned the image to classes where contains similar materials so share the same abundance vector. The spatial correlation between pixels belonging to each class is modelled by Markov Random Field. A Bayesian framework is proposed to estimate the classes and corresponding abundance vectors alternatively. We proposed sparse Dirichlet prior for abundance vector that made it possible to use this algorithm in semi-supervised scenario where the exact involved materials are unknown. In this approach, we just need to have a large library of pure spectral signatures including the desired materials. An MCMC algorithm is used to estimate the abundance vector based on generated samples. The result of implementation on simulated data shows the prominence of proposed approach.


title: Estimating Total Search Space Size for Specific Piece Sets in Chess

abstract: Automatic chess problem or puzzle composition typically involves generating and testing various different positions, sometimes using particular piece sets. Once a position has been generated, it is then usually tested for positional legality based on the game rules. However, it is useful to be able to estimate what the search space size for particular piece combinations is to begin with. So if a desirable chess problem was successfully generated by examining 'merely' 100,000 or so positions in a theoretical search space of about 100 billion, this would imply the composing approach used was quite viable and perhaps even impressive. In this article, I explain a method of calculating the size of this search space using a combinatorics and permutations approach. While the mathematics itself may already be established, a precise method and justification of applying it with regard to the chessboard and chess pieces has not been documented, to the best of our knowledge. Additionally, the method could serve as a useful starting point for further estimations of search space size which filter out positions for legality and rotation, depending on how the automatic composer is allowed to place pieces on the board (because this affects its total search space size).


title: Supercritical Poincar\'e-Andronov-Hopf bifurcation in a mean field quantum laser equation

abstract: We deal with the dynamical system properties of a Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) equation with mean-field Hamiltonian that models a simple laser by applying a mean field approximation to a quantum system describing a single-mode optical cavity and a set of two level atoms, each coupled to a reservoir. We prove that the mean field quantum master equation has a unique regular stationary solution. In case a relevant parameter $C_\mathfrak{b} $, i.e., the cavity cooperative parameter, is less than $1$, we prove that any regular solution converges exponentially fast to the equilibrium, and so the regular stationary state is a globally asymptotically stable equilibrium solution. We obtain that a locally exponential stable limit cycle is born at the regular stationary state as $C_\mathfrak{b} $ passes through the critical value $1$. Then, the mean-field laser equation has a Poincar\'e-Andronov-Hopf bifurcation at $C_\mathfrak{b} =1 $ of supercritical-like type. Namely, we derive rigorously, at the level of density matrices --for the first time--, the transition from a global attractor quantum state, where the light is not emitted, to a locally stable set of coherent quantum states producing coherent light. Moreover, we establish the local exponential stability of the limit cycle in case a relevant parameter is between the first and second laser thresholds appearing in the semiclassical laser theory. Thus, we get that the coherent laser light persists over time under this condition. In order to prove the exponential convergence of the quantum state, we develop a new technique for proving the exponential convergence in open quantum systems that is based in a new variation of constant formula. Applying our main results we find the long-time behavior of the von Neumann entropy, the photon-number statistics, and the quantum variance of the quadratures.

categories: math-ph math.FA math.MP math.PR nlin.CD quant-ph


title: fCDN: A Flexible and Efficient CDN Infrastructure without DNS Redirection or Content Reflection

abstract: Flexible and efficient CDNs are critical to facilitate content distribution in 5G+ architectures. Current CDNs suffer from inefficient request mapping based on DNS redirection, and inefficient content distribution from origin to edge servers, through content reflection. We proposes a novel, flexible CDN architecture that removes the need for DNS-based mapping and content reflection. Instead, requests to/from the CDN are treated as service transactions in the network, which utilises a routing function embraced from emerging research in Information-Centric Networks (ICN) to route edge-to-edge transactions to the true nearest service point. The same function is utilized to establish path-based flows over a fast forwarding substrate; thereby, eliminating the need for IP routing between service points within a single domain, and potentially at peering points with other domains. We model our architecture and formulate the resource placement problem as a variance of the K-center problem. To address the problem, we propose a greedy algorithm, Swing, that balances the placement of service points between highly and poorly connected nodes. We evaluate the efficiency of our architecture in utilising the CDN and network resources through Monte Carlo simulations that explore a range of K values. Moreover, we compare the goodness of the placement solutions provided by Swing with those provided by Largest First and Closest First Algorithms. Evaluation results show the superiority of our fCDN solution in reducing the edge-to-edge path length and the required network resources.


title: The last zero crossing of an iterated Brownian motion with drift

abstract: In this paper we consider the iterated Brownian motion $ ^{\mu_1}_{\mu_2}\!I(t) = B_1^{\mu_1} ( | B_{2}^{\mu_2} (t)|) $ where $B_j^{\mu_j} , j=1,2$ are two independent Brownian motions with drift $\mu_j$. Here we study the last zero crossing of $ ^{\mu_1}_{\mu_2}\!I(t) $ and for this purpose we derive the last zero-crossing distribution of the drifted Brownian motion. We derive also the joint distribution of the last zero crossing before $ t $ and of the first passage time through the zero level of a Brownian motion with drift $ \mu $ after $ t $. All these results permit us to derive explicit formulas for ${^I_\mu T_0} = \sup \{ s < \max_{0\leq z\leq t} |B_2(z)| : B_1^\mu (s) = 0 \}$. Also the iterated zero-crossing $ {^{\mu_1} T}_{0, {^{\mu_2} T}_{0,t}} $ is analyzed and extended to the case where the level of nesting is arbitrary.


title: Sunspot Equilibrium in General Quitting Games

abstract: We prove that positive recursive general quitting games, which are quitting games in which each player may have more than one continue action, admit a sunspot $\ep$-equilibrium, for every $\ep > 0$. To this end we show that the equilibrium set of strategic-form games can be uniformly approximated by a smooth manifold, and develop a new fixed-point theorem for smooth manifolds.


title: Probabilistic design of a molybdenum-base alloy using a neural network

abstract: An artificial intelligence tool is exploited to discover and characterize a new molybdenum-base alloy that is the most likely to simultaneously satisfy targets of cost, phase stability, precipitate content, yield stress, and hardness. Experimental testing demonstrates that the proposed alloy fulfils the computational predictions, and furthermore the physical properties exceed those of other commercially available Mo-base alloys for forging-die applications.