title: Chiral imbalanced hot and dense quark matter: NJL analysis at the physical point and comparison with lattice QCD

abstract: Hot and dense quark matter with isospin and chiral imbalances is investigated in the framework of the (3+1)-dimensional Nambu--Jona-Lasinio model (NJL) in the large-$N_c$ limit ($N_c$ is the number of quark colors). Its phase structure is considered in terms of baryon -- $\mu_B$, isospin -- $\mu_I$ and chiral isospin -- $\mu_{I5}$ chemical potentials. It is shown in the paper that (i) in the chiral limit there is a duality between chiral symmetry breaking (CSB) and charged pion condensation (PC) phenomena. (ii) At the physical point, i.e. at nonzero bare quark mass $m_0$, and temperature this duality relation is only approximate, although rather accurate. (iii) We have shown that the chiral isospin chemical potential $\mu_{I5}$ in dense quark matter generates charged pion condensation both at zero and nonzero $m_0$, and at $\mu_{I5}\ne 0$ this phase might be observed up to temperatures as high as 100 MeV. (iv) Pseudo-critical temperature of the chiral crossover transition rises in the NJL model with increasing $\mu_{I5}$. (v) It has been found an agreement between particular sections of the phase diagram in the framework of NJL model and corresponding ones in lattice QCD simulations. Two different plots from different lattice simulations that are completely independent and are not connected at the first sight are in reality dual to each other, it means that lattice QCD simulations support the hypothesis that in real quark matter there exists the (approximate) duality between CSB and charged PC. Moreover, we can reverse the logic and we can predict the increase of pseudo-critical temperature with chiral chemical potential, the much debated effect recently, just by the duality notion, hence bolster confidence in this result (lattice QCD showed this feature for unphysically large pion mass) and put it on the considerably more solid ground.


title: Effects of forecast errors on optimal utilisation in aggregate production planning with stochastic customer demand

abstract: The hierarchical structure of production planning has the advantage of assigning different decision variables to their respective time horizons and therefore ensures their manageability. However, the restrictive structure of this top-down approach implying that upper level decisions are the constraints for lower level decisions also has its shortcomings. One problem that occurs is that deterministic mixed integer decision problems are often used for long-term planning, but the real production system faces a set of stochastic influences. Therefore, a planned utilisation factor has to be included into this deterministic aggregate planning problem. In practice, this decision is often based on past data and not consciously taken. In this paper, the effect of long-term forecast error on the optimal planned utilisation factor is evaluated for a production system facing stochastic demand and the benefit of exploiting this decision's potential is discussed. Overall costs including capacity, backorder and inventory costs, are determined with simulation for different multi-stage and multi-item production system structures. The results show that the planned utilisation factor used in the aggregate planning problem has a high influence on optimal costs. Additionally, the negative effect of forecast errors is evaluated and discussed in detail for different production system environments.


title: Kinetically Constrained Models with Random Constraints

abstract: We study two kinetically constrained models in a quenched random environment. The first model is a mixed threshold Fredrickson-Andersen model on $\mathbb{Z}^{2}$, where the update threshold is either $1$ or $2$. The second is a mixture of the Fredrickson-Andersen $1$-spin facilitated constraint and the North-East constraint in $\mathbb{Z}^{2}$. We compare three time scales related to these models - the bootstrap percolation time for emptying the origin, the relaxation time of the kinetically constrained model, and the time for emptying the origin of the kinetically constrained model - and understand the effect of the random environment on each of them.


title: Quantitative stability for hypersurfaces with almost constant curvature in space forms

abstract: The Alexandrov Soap Bubble Theorem asserts that the distance spheres are the only embedded closed connected hypersurfaces in space forms having constant mean curvature. The theorem can be extended to more general functions of the principal curvatures $f(k_1,\ldots,k_{n-1})$ satisfying suitable conditions. In this paper we give sharp quantitative estimates of proximity to a single sphere for Alexandrov Soap Bubble Theorem in space forms when the curvature operator $f$ is close to a constant. Under an assumption that prevents bubbling, the proximity to a single sphere is quantified in terms of the oscillation of the curvature function $f$. Our approach provides a unified picture of quantitative studies of the method of moving planes in space forms.


title: Boundary behaviours of open vesicles in axisymmetric case

abstract: A continuous transformation from a closed vesicle to an open vesicle needs that the area of open hole enlarge from zero. Since the shape equation and boundary conditions of lipid open vesicles with free edges have been obtained, we want know whether this process can be archived with valid parameters. By study the boundary conditions in the axisymmetric case, the analytic expression of the boundary edges is obtained generally. It reveals that the radius and line tension of boundary edges are confined strongly by bending moduli. In some cases, there is the minimal nonzero boundary radius and the line tension needs to surmount the maxim following the increase of boundary radius. Without the spontaneous curvature, the line tension will trend to infinite when the boundary radius shrinks to zero. The continuous opening process from a closed vesicle to an open vesicle needs that the spontaneous curvature is nonzero and the ratio between the bending moduli of Gauss curvature and mean curvature satisfies $k\leq-4$. Besides the line tension, a closed vesicle can be opened through changing the spontaneous curvature.


title: Double shuffle relations for arborified zeta values

abstract: Arborified zeta values are defined as iterated series and integrals using the universal properties of rooted trees. This approach allows to study their convergence domain and to relate them to multizeta values. Generalisations to rooted trees of the stuffle and shuffle products are defined and studied. It is further shown that arborifed zeta values are algebra morphisms for these new products on trees.


title: FTR-18: Collecting rumours on football transfer news

abstract: This paper describes ongoing work on the creation of a multilingual rumour dataset on football transfer news, FTR-18. Transfer rumours are continuously published by sports media. They can both harm the image of player or a club or increase the player's market value. The proposed dataset includes transfer articles written in English, Spanish and Portuguese. It also comprises Twitter reactions related to the transfer rumours. FTR-18 is suited for rumour classification tasks and allows the research on the linguistic patterns used in sports journalism.


title: Simulating Tidal Interactions between Galaxies: A Pre-University Student Project

abstract: We report on a project undertaken in Summer 2017 by pre-university student interns at Haus der Astronomie: point-particle simulations of galaxy collisions with the aim of reproducing observational data from such collisions. We succeeded in providing a visually similar representation of both NGC 5426/7 and the "Antennae" galaxies (NGC 4038/9), and were able to make deductions about the relative positions and orbits of these galaxies. The project is an example for how participants with little more than high-school level previous knowledge can successfully tackle, and understand, advanced topics from current astrophysical research. This report was written by the two participants (M. B.-C. and M. T.), on whose experiences it is based, in collaboration with their supervisor at Haus der Astronomie (M. P.).


title: First Imaging Results of a Bubble-assisted Liquid Hole Multiplier with SiPM readout in Liquid Xenon

abstract: First imaging results in liquid xenon of a Liquid Hole Multiplier (LHM) coupled to a Quad-Silicon Photomultiplier (SiPM) array are presented. Ionization electrons deposited in the noble liquid by 5.5 MeV alpha particles, are collected into the holes of a Thick Gas Electron Multiplier (THGEM) electrode having a xenon gas bubble trapped underneath. They drift through the liquid-gas interface, inducing electroluminescence within the bubble. The resulting photons are detected with a Hamamatsu VUV4 quad-SiPM array - providing the deposited energy with a charge-only RMS resolution of 6.6%. The image reconstruction resolution was estimated to be ~200 um (RMS).


title: Hyperbolic k-Fibonacci Quaternions

abstract: In this paper, hyperbolic k-Fibonacci quaternions are defined. Also, some algebraic properties of hyperbolic k-Fibonacci quaternions which are connected with hyperbolic numbers and k-Fibonacci numbers are investigated. Furthermore, D'Ocagne's identity, the Honsberger identity, Binet's formula, Cassini's identity and Catalan's identity for these quaternions are given.


title: PEN experiment: a precise test of lepton universality

abstract: With few open channels and uncomplicated theoretical description, charged pion decays are uniquely sensitive to certain standard model (SM) symmetries, the universality of weak fermion couplings, and to aspects of pion structure and chiral dynamics. We review the current knowledge of the pion electronic decay $\pi^+ \to e^+ \nu_e({\gamma})$, or $\pi_{e2({\gamma})}$, and the resulting limits on non-SM processes. Focusing on the PEN experiment at the Paul Scherrer Institute (PSI), Switzerland, we examine the prospects for further improvement in the near term.


title: Restoring observed classical behavior of the carbon nanotube field emission enhancement factor from the electronic structure

abstract: Experimental Fowler-Nordheim plots taken from orthodoxly behaving carbon nanotube (CNT) field electron emitters are known to be linear. This shows that, for such emitters, there exists a characteristic field enhancement factor (FEF) that is constant for a range of applied voltages and applied macroscopic fields $F_\text{M}$. A constant FEF of this kind can be evaluated for classical CNT emitter models by finite-element and other methods, but (apparently contrary to experiment) several past quantum-mechanical (QM) CNT calculations find FEF-values that vary with $F_\text{M}$. A common feature of most such calculations is that they focus only on deriving the CNT real-charge distributions. Here we report on calculations that use density functional theory (DFT) to derive real-charge distributions, and then use these to generate the related induced-charge distributions and related fields and FEFs. We have analysed three carbon nanostructures involving CNT-like nanoprotrusions of various lengths, and have also simulated geometrically equivalent classical emitter models, using finite-element methods. We find that when the DFT-generated local induced FEFs (LIFEFs) are used, the resulting values are effectively independent of macroscopic field, and behave in the same qualitative manner as the classical FEF-values. Further, there is fair to good quantitative agreement between a characteristic FEF determined classically and the equivalent characteristic LIFEF generated via DFT approaches. Although many issues of detail remain to be explored, this appears to be a significant step forwards in linking classical and QM theories of CNT electrostatics. It also shows clearly that, for ideal CNTs, the known experimental constancy of the FEF value for a range of macroscopic fields can also be found in appropriately developed QM theory.


title: Malware static analysis and DDoS capabilities detection

abstract: The present thesis addresses the topic of denial of service capabilities detection at malware binary level, with the aim of designing a framework that integrate results from different binary analysis methods and decide on the DDoS capabilities of the analysed malware. We have implemented a process to extract meaningful data from malware samples, the extracted data was used to find characteristics and features that can lead to the detection of DDoS capabilities in binaries. Based on the discoveries, a set of rules was elaborated to detect those features in binaries. The method is tested on a dataset of 815 samples. Another dataset of 525 benign binaries is also used to test false positives rate of the implemented method. The results of our method are compared with Virus Total analysis results to assess our detection approach.


title: QUBIC: Exploring the primordial Universe with the Q\&U Bolometric Interferometer

abstract: In this paper we describe QUBIC, an experiment that will observe the polarized microwave sky with a novel approach, which combines the sensitivity of state-of-the art bolometric detectors with the systematic effects control typical of interferometers. QUBIC unique features are the so-called "self-calibration", a technique that allows us to clean the measured data from instrumental effects, and its spectral imaging power, i.e. the ability to separate the signal in various sub-bands within each frequency band. QUBIC will observe the sky in two main frequency bands: 150 GHz and 220 GHz. A technological demonstrator is currently under testing and will be deployed in Argentina during 2019, while the final instrument is expected to be installed during 2020.


title: Generating Material Maps to Map Informal Settlements

abstract: Detecting and mapping informal settlements encompasses several of the United Nations sustainable development goals. This is because informal settlements are home to the most socially and economically vulnerable people on the planet. Thus, understanding where these settlements are is of paramount importance to both government and non-government organizations (NGOs), such as the United Nations Children's Fund (UNICEF), who can use this information to deliver effective social and economic aid. We propose a method that detects and maps the locations of informal settlements using only freely available, Sentinel-2 low-resolution satellite spectral data and socio-economic data. This is in contrast to previous studies that only use costly very-high resolution (VHR) satellite and aerial imagery. We show how we can detect informal settlements by combining both domain knowledge and machine learning techniques, to build a classifier that looks for known roofing materials used in informal settlements. Please find additional material at https://frontierdevelopmentlab.github.io/informal-settlements/.


title: DFT and TDDFT calculation of lead chalcogenide clusters up to (PbX)$_{32}$

abstract: A series of the lead chalcogenide clusters PbnXn (X=S,Se; n=4,8,16,32) with structures as fragments of the bulk crystalline lattice are calculated at DFT level with B3LYP functional and ECP basis set. Optical absorption spectra are simulated through the TDDFT method. The results are in consistence with experimental data PbS and PbSe for magic size clusters of this size range.


title: Module concept and thermo-mechanical studies of the silicon-based TT-PET small-animal scanner

abstract: The TT-PET collaboration is developing an MRI-compatible small animal PET scanner in which the sensitive element is a monolithic silicon pixel ASIC targeting 30 ps RMS time resolution. The photon-detection technique is based on a stack of alternating layers of high-Z photon converter and 100 $\mathrm{\mu m}$ silicon sensors, to produce a scanner with 0.5 $\mathrm{\times}$ 0.5 $\mathrm{\times}$ 0.2 $\mathrm{mm^{3}}$ granularity for precise depth-of-interaction measurement. In this paper we present the results of simulation studies for the expected data rate, time-of-flight and spatial resolution, as well as the performance of image reconstruction with and without the use of timing information.


title: Simultaneous Detection of Multiple Change Points and Community Structures in Time Series of Networks

abstract: In many complex systems, networks and graphs arise in a natural manner. Often, time evolving behavior can be easily found and modeled using time-series methodology. Amongst others, two common research problems in network analysis are community detection and change-point detection. Community detection aims at finding specific sub-structures within the networks, and change-point detection tries to find the time points at which sub-structures change. We propose a novel methodology to detect both community structures and change points simultaneously based on a model selection framework in which the Minimum Description Length Principle (MDL) is utilized as minimizing objective criterion. The promising practical performance of the proposed method is illustrated via a series of numerical experiments and real data analysis.


title: Computing Schur complexes

abstract: We describe a Macaulay2 package for computing Schur complexes. This package expands on the ChainComplexOperations package by David Eisenbud.


title: ALICE Overwatch: Online monitoring and data quality assurance using HLT data

abstract: ALICE Overwatch is a project started in late 2015 to provide augmented online monitoring and data quality assurance utilizing time-stamped QA histograms produced by the ALICE High Level Trigger. The system receives the data via ZeroMQ, stores it for later review, enriches it with detector specific functionality, and visualizes it via a web application. These provided capabilities are complementary to the existing Data Quality Monitoring system. In addition to basic visualization, additional processing options are accessible to the user, including requests for data within a particular time range or reprocessing of a particular run with different processing parameters. For example, the first ten minutes of a particular run could be investigated for a transient hot trigger channel. Due to similarities between the Overwatch architecture and that which will be used for Quality Control (QC) in LHC Run 3 and beyond, Overwatch will also be utilized to develop and test various QC components during LHC Run 2. Some of the areas of QC development include a new trending and alarm framework. We report on the project's design, development, and status.


title: Extensions of the Dynamic Programming Framework: Battery Scheduling, Demand Charges, and Renewable Integration

abstract: We consider a general class of Dynamic Programming (DP) problems with non-separable objective functions. We show that for any problem in this class, there exists an augmented-state DP problem which satisfies the Principle of Optimality and the solutions to which yield solutions to the original problem. Furthermore, we identify a subclass of DP problems with Naturally Forward Separable (NFS) objective functions for which this state-augmentation scheme is tractable. We extend this framework to stochastic DP problems, proposing a suitable definition of the Principle of Optimality. We then apply the resulting algorithms to the problem of optimal battery scheduling with demand charges using a data-based stochastic model for electricity usage and solar generation by the consumer.


title: Simulated Tempering Langevin Monte Carlo II: An Improved Proof using Soft Markov Chain Decomposition

abstract: A key task in Bayesian machine learning is sampling from distributions that are only specified up to a partition function (i.e., constant of proportionality). One prevalent example of this is sampling posteriors in parametric distributions, such as latent-variable generative models. However sampling (even very approximately) can be #P-hard. Classical results going back to Bakry and \'Emery (1985) on sampling focus on log-concave distributions, and show a natural Markov chain called Langevin diffusion mixes in polynomial time. However, all log-concave distributions are uni-modal, while in practice it is very common for the distribution of interest to have multiple modes. In this case, Langevin diffusion suffers from torpid mixing. We address this problem by combining Langevin diffusion with simulated tempering. The result is a Markov chain that mixes more rapidly by transitioning between different temperatures of the distribution. We analyze this Markov chain for a mixture of (strongly) log-concave distributions of the same shape. In particular, our technique applies to the canonical multi-modal distribution: a mixture of gaussians (of equal variance). Our algorithm efficiently samples from these distributions given only access to the gradient of the log-pdf. For the analysis, we introduce novel techniques for proving spectral gaps based on decomposing the action of the generator of the diffusion. Previous approaches rely on decomposing the state space as a partition of sets, while our approach can be thought of as decomposing the stationary measure as a mixture of distributions (a "soft partition"). Additional materials for the paper can be found at http://holdenlee.github.io/Simulated%20tempering%20Langevin%20Monte%20Carlo.html. The proof and results have been improved and generalized from the precursor at arXiv:1710.02736.


title: Impact of the reference choice on scalp EEG connectivity estimation

abstract: Several scalp EEG functional connectivity studies, mostly clinical, seem to overlook the reference electrode impact. The subsequent interpretation of brain connectivity is thus often biased by the choice a non-neutral reference. This study aims at systematically investigating these effects. As EEG reference, we examined: the vertex electrode (Cz), the digitally linked mastoids (DLM), the average reference (AVE), and the Reference Electrode Standardization Technique (REST). As a connectivity metric, we used the imaginary part of coherency. We tested simulated and real data (eyes open resting state), by evaluating the influence of electrode density, effect of head model accuracy in the REST transformation, and impact on the characterization of the topology of functional networks from graph analysis. Simulations demonstrated that REST significantly reduced the distortion of connectivity patterns when compared to AVE, Cz and DLM references. Moreover, the availability of high-density EEG systems and an accurate knowledge of the head model are crucial elements to improve REST performance. For real data, a systematic change of the spatial pattern of functional connectivity depending on the chosen reference was also observed. The distortion of connectivity patterns was larger for the Cz reference, and progressively decreases when using the DLM, the AVE, the REST. Strikingly, we also showed that network attributes derived from graph analysis, i.e., node degree and local efficiency, are significantly influenced by the EEG reference choice. Overall, this study highlights that significant differences arise in scalp EEG functional connectivity and graph network properties, in dependence of the chosen reference. We hope our study will convey the message that caution should be taken when interpreting and comparing results obtained from different laboratories when using different reference schemes.


title: Invariant measures for spatial contact model in small dimensions

abstract: We study invariant measures of continuous contact model in small dimensional spaces ($d =1,2$). Under general conditions we prove that in the critical regime this system has the one-parameter set of invariant measures parametrized by the spatial density of particles. Also for broad class of initial states we prove the convergence to one of these invariant measures.


title: Real-time programmable mode-locked fiber laser with a human-like algorithm

abstract: Nonlinear polarized evolution-based passively mode-locked fiber lasers with ultrafast and high peak power pulses are a powerful tool for engineering applications and research. However, their sensitivity to polarization limits their widespread application. To address this, automatic mode-locking immune to environmental disturbances is attracting more concerns. An experimental demonstration of the first real-time programmable mode-locked fiber laser is presented, which is enabled by our proposed human-like algorithm. It combines human logic with a machine's speed, computing capability, and precision. The laser automatically locks onto multiple operation regimes such as fundamental mode-locking, harmonic mode-locking, Q-switching, and even Q-switched mode-locking without physically altering its structure. The average initial mode-locking times (with randomly-assigned original polarization states and recover time from detachment under 10 successive experiments) are only 3.1 s and 58.9 ms. We believe this intelligent laser's superior performance can find practical applications in engineering and scientific research.


title: Deep Signal Recovery with One-Bit Quantization

abstract: Machine learning, and more specifically deep learning, have shown remarkable performance in sensing, communications, and inference. In this paper, we consider the application of the deep unfolding technique in the problem of signal reconstruction from its one-bit noisy measurements. Namely, we propose a model-based machine learning method and unfold the iterations of an inference optimization algorithm into the layers of a deep neural network for one-bit signal recovery. The resulting network, which we refer to as DeepRec, can efficiently handle the recovery of high-dimensional signals from acquired one-bit noisy measurements. The proposed method results in an improvement in accuracy and computational efficiency with respect to the original framework as shown through numerical analysis.


title: The RGNLP Machine Translation Systems for WAT 2018

abstract: This paper presents the system description of Machine Translation (MT) system(s) for Indic Languages Multilingual Task for the 2018 edition of the WAT Shared Task. In our experiments, we (the RGNLP team) explore both statistical and neural methods across all language pairs. (We further present an extensive comparison of language-related problems for both the approaches in the context of low-resourced settings.) Our PBSMT models were highest score on all automatic evaluation metrics in the English into Telugu, Hindi, Bengali, Tamil portion of the shared task.


title: On sampling of scattering phase functions

abstract: Monte Carlo radiative transfer, which has been demonstrated as a successful algorithm for modeling radiation transport through the astrophysical medium, relies on sampling of scattering phase functions. We review several classic sampling algorithms such as the tabulated method and the accept-reject method for sampling the scattering phase function. The tabulated method uses a piecewise constant approximation for the true scattering phase function; we improve its sampling performance on a small scattering angle by using piecewise linear and piecewise log-linear approximations. It has previously been believed that certain complicated analytic phase functions such as the Fournier-Forand phase function cannot be simulated without approximations. We show that the tabulated method combined with the accept-reject method can be applied to sample such complicated scattering phase functions accurately. Furthermore, we introduce the Gibbs sampling method for sampling complicated approximate analytic phase functions. In addition, we propose a new modified Henyey-Greenstein phase function with exponential decay terms for modeling realistic dust scattering. Based on Monte Carlo simulations of radiative transfer through a plane-parallel medium, we also demonstrate that the result simulated with the new phase function can provide a good fit to the result simulated with the realistic dust phase function.


title: Mean escape time for randomly switching narrow gates in a cellular flow

abstract: The escape of particles through a narrow absorbing gate in confined domains is a abundant phenomenon in various systems in physics, chemistry and molecular biophysics. We consider the narrow escape problem in a cellular flow when the two gates randomly switch between different states with a switching rate k between the two gates. After briefly deriving the coupled partial differential equations for the escape time through two gates, we compute the mean escape time for particles escaping from the gates with different initial states. By numerical simulation under nonuniform boundary conditions, we quantify how narrow escape time is affected by the switching rate k between the two gates, arc length s between two gates, angular velocity w of the cellular flow and diffusion coefficient D. We reveal that the mean escape time decreases with the switching rate k between the two gates, angular velocity w and diffusion coefficient D for fixed arc length, but takes the minimum when the two gates are evenly separated on the boundary for any given switching rate k between the two gates. In particular, we find that when the arc length size {\epsilon} for the gates is sufficiently small, the average narrow escape time is approximately independent of the gate arc length size. We further indicate combinations of system parameters (regions located in the parameter space) such that the mean escape time is the longest or shortest. Our findings provide mathematical understanding for phenomena such as how ions select ion channels and how chemicals leak in annulus ring containers, when drift vector fields are present.


title: Shadow biquandles and local biquandles

abstract: Given a shadow biquandle $(B,X)$ composed of a biquandle $B$ and a strongly connected $B$-set $X$, we have a local biquandle structure on $X$. The (co)homology groups of such shadow biquandles are isomorphic to those of the corresponding local biquandles. Moreover, cocycle invariants, of oriented links and oriented surface-links, using such shadow biquandles coincide with those using the corresponding local biquandles. These results imply that for some cases, the Niebrzydowski's theory in [14, 15, 16] for knot-theoretic ternary quasigroups is the same as shadow biquandle theory. We also show that some local biquandle $2$- or $3$-cocycles and some $1$- or $2$-cocycles of the Niebrzydowski's (co)homology theory can be induced from Mochizuki's cocycles.


title: A Hybrid Beamforming Receiver with Two-Stage Analog Combining and Low-Resolution ADCs

abstract: In this paper, we propose a two-stage analog combining architecture for millimeter wave (mmWave) communications with hybrid analog/digital beamforming and low-resolution analog-to-digital converters (ADCs). We first derive a two-stage combining solution by solving a mutual information (MI) maximization problem without a constant modulus constraint on analog combiners. With the derived solution, the proposed receiver architecture splits the analog combining into a channel gain aggregation stage followed by a spreading stage to maximize the MI by effectively managing quantization error. We show that the derived two-stage combiner achieves the optimal scaling law with respect to the number of radio frequency (RF) chains and maximizes the MI for homogeneous singular values of a MIMO channel. Then, we develop a two-stage analog combining algorithm to implement the derived solution under a constant modulus constraint for mmWave channels. Simulation results validate the algorithm performance in terms of MI.


title: Algebraic structure representations for lattices

abstract: For an arbitrary group, the subgroups form a lattice with order determined by set inclusion. Not every lattice is isomorphic to the subgroup lattice for a group. However, Birkhoff and Frink proved that any compactly generated lattice is isomorphic to a subalgebra lattice for some algebraic structure. An algebraic structure is a set A with operations from A^n to A where n$is a non-negative integer. Although the proof by Birkhoff and Frink is constructive, many of the operations described are not needed for an algebraic structure to represent a given lattice. In this paper we utilize concepts in the proof by Birkhoff and Frink to describe and count functions that are used to create algebraic structure representations for certain finite lattice types.


title: Deep Inverse Optimization

abstract: Given a set of observations generated by an optimization process, the goal of inverse optimization is to determine likely parameters of that process. We cast inverse optimization as a form of deep learning. Our method, called deep inverse optimization, is to unroll an iterative optimization process and then use backpropagation to learn parameters that generate the observations. We demonstrate that by backpropagating through the interior point algorithm we can learn the coefficients determining the cost vector and the constraints, independently or jointly, for both non-parametric and parametric linear programs, starting from one or multiple observations. With this approach, inverse optimization can leverage concepts and algorithms from deep learning.


title: Towards Spectral Estimation from a Single RGB Image in the Wild

abstract: In contrast to the current literature, we address the problem of estimating the spectrum from a single common trichromatic RGB image obtained under unconstrained settings (e.g. unknown camera parameters, unknown scene radiance, unknown scene contents). For this we use a reference spectrum as provided by a hyperspectral image camera, and propose efficient deep learning solutions for sensitivity function estimation and spectral reconstruction from a single RGB image. We further expand the concept of spectral reconstruction such that to work for RGB images taken in the wild and propose a solution based on a convolutional network conditioned on the estimated sensitivity function. Besides the proposed solutions, we study also generic and sensitivity specialized models and discuss their limitations. We achieve state-of-the-art competitive results on the standard example-based spectral reconstruction benchmarks: ICVL, CAVE, NUS and NTIRE. Moreover, our experiments show that, for the first time, accurate spectral estimation from a single RGB image in the wild is within our reach.


title: Checking real analyticity on surfaces

abstract: We prove that a real-valued function (that is not assumed to be continuous) on a real analytic manifold is analytic whenever all its restrictions to analytic submanifolds homeomorphic to the 2-sphere are analytic. This is a real analog for the classical theorem of Hartogs that a function on a complex manifold is complex analytic iff it is complex analytic when restricted to any complex curve.


title: Quantum support to BoHua Sun's conjecture

abstract: A generalization of the Kepler's third law has been proposed by BoHua Sun for $N$-body periodic orbits in a Newtonian gravitation field. In this paper, it is shown that this formula can apply for a quantum system of $N$ self-gravitating identical particles, for a good choice of the period for the quantum motion.


title: Coupled Multirate Infinitesimal GARK Schemes for Stiff Systems with Multiple Time Scales

abstract: Traditional time discretization methods use a single timestep for the entire system of interest and can perform poorly when the dynamics of the system exhibits a wide range of time scales. Multirate infinitesimal step (MIS) methods (Knoth and Wolke, 1998) offer an elegant and flexible approach to efficiently integrate such systems. The slow components are discretized by a Runge-Kutta method, and the fast components are resolved by solving modified fast differential equations. Sandu (2018) developed the Multirate Infinitesimal General-structure Additive Runge-Kutta (MRI-GARK) family of methods that includes traditional MIS schemes as a subset. The MRI-GARK framework allowed the construction of the first fourth order MIS schemes. This framework also enabled the introduction of implicit methods, which are decoupled in the sense that any implicitness lies entirely within the fast or slow integrations. It was shown by Sandu that the stability of decoupled implicit MRI-GARK methods has limitations when both the fast and slow components are stiff and interact strongly. This work extends the MRI-GARK framework by introducing coupled implicit methods to solve stiff multiscale systems. The coupled approach has the potential to considerably improve the overall stability of the scheme, at the price of requiring implicit stage calculations over the entire system. Two coupling strategies are considered. The first computes coupled Runge-Kutta stages before solving a single differential equation to refine the fast solution. The second alternates between computing coupled Runge-Kutta stages and solving fast differential equations. We derive order conditions and perform the stability analysis for both strategies. The new coupled methods offer improved stability compared to the decoupled MRI-GARK schemes. The theoretical properties of the new methods are validated with numerical experiments.


title: MUSE-AO view of the starburst-AGN connection: NGC 7130

abstract: We present the discovery of a small kinematically decoupled core of 0.2$^{\prime\prime}$ (60 pc) in radius as well as an outflow jet in the archetypical AGN-starburst "composite" galaxy NGC 7130 from integral field data obtained with the adaptive optics-assisted MUSE-NFM instrument on the VLT. Correcting the already good natural seeing at the time of our science verification observations with the four-laser GALACSI AO system, we reach an unprecedented spatial resolution at optical wavelengths of around 0.15$^{\prime\prime}$. We confirm the existence of star-forming knots arranged in a ring of 0.58$^{\prime\prime}$ (185 pc) in radius around the nucleus, previously observed from UV and optical Hubble Space Telescope and CO(6-5) ALMA imaging. We determine the position of the nucleus as the location of a peak in gas velocity dispersion. A plume of material extends towards the NE from the nucleus until at least the edge of our field of view at 2$^{\prime\prime}$ (640 pc) radius which we interpret as an outflow jet originating in the AGN. The plume is not visible morphologically, but is clearly characterised in our data by emission-line ratios characteristic of AGN emission, enhanced gas velocity dispersion, and distinct non-circular gas velocities. Its orientation is roughly perpendicular to the line of nodes of the rotating host galaxy disc. A circumnuclear area of positive and negative velocities of 0.2$^{\prime\prime}$ in radius indicates a tiny inner disc, which can only be seen after combining the integral field spectroscopic capabilities of MUSE with adaptive optics.


title: A Wasserstein GAN model with the total variational regularization

abstract: It is well known that the generative adversarial nets (GANs) are remarkably difficult to train. The recently proposed Wasserstein GAN (WGAN) creates principled research directions towards addressing these issues. But we found in practice that gradient penalty WGANs (GP-WGANs) still suffer from training instability. In this paper, we combine a Total Variational (TV) regularizing term into the WGAN formulation instead of weight clipping or gradient penalty, which implies that the Lipschitz constraint is enforced on the critic network. Our proposed method is more stable at training than GP-WGANs and works well across varied GAN architectures. We also present a method to control the trade-off between image diversity and visual quality. It does not bring any computation burden.


title: Discrete Painleve system for the partition function of $N_f =2$ $SU(2)$ supersymmetric gauge theory and its double scaling limit

abstract: We continue to study the matrix model of the $N_f =2$ $SU(2)$ case that represents the irregular conformal block. What provides us with the Painlev\'{e} system is not the instanton partition function per se but rather a finite analog of its Fourier transform that can serve as a generating function. The system reduces to the extension of the Gross-Witten-Wadia unitary one-matrix model by the logarithmic potential while keeping the planar critical behavior intact. The double scaling limit to this critical point is a constructive way to study Argyres-Douglas type theory from IR. We elaborate upon the method of orthogonal polynomial and its relevance to these problems, developing it further for the case of a generic unitary matrix model and that of a special case with the logarithmic potential.


title: Mapping Informal Settlements in Developing Countries with Multi-resolution, Multi-spectral Data

abstract: Detecting and mapping informal settlements encompasses several of the United Nations sustainable development goals. This is because informal settlements are home to the most socially and economically vulnerable people on the planet. Thus, understanding where these settlements are is of paramount importance to both government and non-government organizations (NGOs), such as the United Nations Children's Fund (UNICEF), who can use this information to deliver effective social and economic aid. We propose two effective methods for detecting and mapping the locations of informal settlements. One uses only low-resolution (LR), freely available, Sentinel-2 multispectral satellite imagery with noisy annotations, whilst the other is a deep learning approach that uses only costly very-high-resolution (VHR) satellite imagery. To our knowledge, we are the first to map informal settlements successfully with low-resolution satellite imagery. We extensively evaluate and compare the proposed methods. Please find additional material at https://frontierdevelopmentlab.github.io/informal-settlements/.


title: Angular instability in high optical power suspended cavities

abstract: Advanced gravitational wave detectors use suspended test masses to form optical resonant cavities for enhancing the detector sensitivity. These cavities store hundreds of kilowatts of coherent light and even higher optical power for future detectors. With such high optical power, the radiation pressure effect inside the cavity creates sufficiently strong coupling between test masses whose dynamics are significantly altered. The dynamics of two independent nearly free masses become a coupled mechanical resonator system. The transfer function of the local control system used for controlling the test masses is modified by the radiation pressure effect. The changes in the transfer function of the local control systems can result in a new type of angular instability which occurs at only 1.3 \% of the Sidles-Sigg instability threshold power. We report experimental results on a 74~m suspended cavity with a few kilowatts of circulating power, for which the power to mass ratio is comparable to the current Advanced LIGO. The radiation pressure effect on the test masses behaves like an additional optical feedback with respect to the local angular control, potentially making the mirror control system unstable. When the local angular control system is optimized for maximum stability margin, the instability threshold power increases from 4~kW to 29~kW. The system behavior is consistent with our simulation and the power dependent evolution of both the cavity soft and hard mode is observed. We show that this phenomenon is likely to significantly affect proposed gravitational wave detectors that require very high optical power.


title: Tensor-generated fractals: Using tensor decompositions for creating self-similar patterns

abstract: The term fractal describes a class of complex structures exhibiting self-similarity across different scales. Fractal patterns can be created by using various techniques such as finite subdivision rules and iterated function systems. In this paper, we will present a method for the construction of geometric fractals that exploits Kronecker products and tensor decompositions, which can be regarded as a generalization of matrix factorizations. We will show how to create several well-known examples for one-, two-, and three-dimensional self-similar structures. Additionally, the proposed method will be extended to the construction of fractals in arbitrary dimensions.


title: Comparing Neural- and N-Gram-Based Language Models for Word Segmentation

abstract: Word segmentation is the task of inserting or deleting word boundary characters in order to separate character sequences that correspond to words in some language. In this article we propose an approach based on a beam search algorithm and a language model working at the byte/character level, the latter component implemented either as an n-gram model or a recurrent neural network. The resulting system analyzes the text input with no word boundaries one token at a time, which can be a character or a byte, and uses the information gathered by the language model to determine if a boundary must be placed in the current position or not. Our aim is to use this system in a preprocessing step for a microtext normalization system. This means that it needs to effectively cope with the data sparsity present on this kind of texts. We also strove to surpass the performance of two readily available word segmentation systems: The well-known and accessible Word Breaker by Microsoft, and the Python module WordSegment by Grant Jenks. The results show that we have met our objectives, and we hope to continue to improve both the precision and the efficiency of our system in the future.


title: A Robust Algorithm for Tile-based 360-degree Video Streaming with Uncertain FoV Estimation

abstract: We propose a robust scheme for streaming 360-degree immersive videos to maximize the quality of experience (QoE). Our streaming approach introduces a holistic analytical framework built upon the formal method of stochastic optimization. We propose a robust algorithm which provides a streaming rate such that the video quality degrades below that rate with very low probability even in presence of uncertain head movement, and bandwidth. It assumes the knowledge of the viewing probability of different portions (tiles) of a panoramic scene. Such probabilities can be easily derived from crowdsourced measurements performed by 360 video content providers. We then propose efficient methods to solve the problem at runtime while achieving a bounded optimality gap (in terms of the QoE). We implemented our proposed approaches using emulation. Using real users' head movement traces and real cellular bandwidth traces, we show that our algorithms significantly outperform the baseline algorithms by at least in $30\%$ in the QoE metric. Our algorithm gives a streaming rate which is $50\%$ higher compared to the baseline algorithms when the prediction error is high.


title: Extension criteria for homogeneous Sobolev space of functions of one variable

abstract: For each $p>1$ and each positive integer $m$ we give intrinsic characterizations of the restriction of the homogeneous Sobolev space $L^m_p(R)$ to an arbitrary closed subset $E$ of the real line. We show that the classical one dimensional Whitney extension operator is "universal" for the scale of $L^m_p(R)$ spaces in the following sense: for every $p\in(1,\infty]$ it provides almost optimal $L^m_p$-extensions of functions defined on $E$. The operator norm of this extension operator is bounded by a constant depending only on $m$. This enables us to prove several constructive $L^m_p$-extension criteria expressed in terms of $m^{th}$ order divided differences of functions.


title: Finding Zeros of H\"{o}lder Metrically Subregular Mappings via Globally Convergent Levenberg-Marquardt Methods

abstract: We present two globally convergent Levenberg-Marquardt methods for finding zeros of H\"{o}lder metrically subregular mappings that may have non-isolated zeros. The first method unifies the Levenberg- Marquardt direction and an Armijo-type line search, while the second incorporates this direction with a nonmonotone trust-region technique. For both methods, we prove the global convergence to a first-order stationary point of the associated merit function. Furthermore, the worst-case global complexity of these methods are provided, indicating that an approximate stationary point can be computed in at most $\mathcal{O}(\varepsilon^{-2})$ function and gradient evaluations, for an accuracy parameter $\varepsilon>0$. We also study the conditions for the proposed methods to converge to a zero of the associated mappings. Computing a moiety conserved steady state for biochemical reaction networks can be cast as the problem of finding a zero of a H\"{o}lder metrically subregular mapping. We report encouraging numerical results for finding a zero of such mappings derived from real-world biological data, which supports our theoretical foundations.


title: Fast and Reliable Initial Access with Random Beamforming for mmWave Networks

abstract: Millimeter-wave (mmWave) communications rely on directional transmissions to overcome severe path loss. Nevertheless, the use of narrow beams complicates the initial access procedure and increase the latency as the transmitter and receiver beams should be aligned for a proper link establishment. In this paper, we investigate the feasibility of random beamforming for the cell-search phase of initial access. We develop a stochastic geometry framework to analyze the performance in terms of detection failure probability and expected latency of initial access as well as total data transmission. Meanwhile, we compare our scheme with the widely used exhaustive search and iterative search schemes, in both control plane and data plane. Our numerical results show that, compared to the other two schemes, random beamforming can substantially reduce the latency of initial access with comparable failure probability in dense networks. We show that the gain of the random beamforming is more prominent in light traffics and low-latency services. Our work demonstrates that developing complex cell-discovery algorithms may be unnecessary in dense mmWave networks and thus shed new lights on mmWave network design.


title: Lepton collider signatures of dark CP violation

abstract: We study an extension of the Standard Model (SM) in which two copies of the SM Higgs doublet are added to the scalar sector. These extra doublets do not develop a vacuum expectation value, hence, they are \textit{inert}. This essentially leads to a 3-Higgs Doublet Model (3HDM) with 2 inert and 1 active scalar doublets, which we denote as I(2+1)HDM. We allow for CP-violation in the \textit{inert} sector, where the lightest \textit{inert} state is protected from decaying to SM particles through the conservation of a $Z_2$ symmetry, so that it is a Dark Matter (DM) candidate. For this scenario, we identify a smoking gun signature of dark CP-violation in the form of production thresholds of pairs of \textit{inert} neutral Higgs bosons at an $e^+e^-$ collider.


title: Molecular tracers of radiative feedback in Orion (OMC-1). Widespread CH+ (J=1-0), CO (10-9), HCN (6-5), and HCO+ (6-5) emission

abstract: Young massive stars regulate the physical conditions, ionization, and fate of their natal molecular cloud. It is important to find tracers that help quantifying the stellar feedback processes that take place at different scales. We present ~85 arcmin^2 velocity-resolved maps of several submm molecular lines toward the closest high-mass star-forming region, OMC-1. The observed rotational lines include probes of warm and dense molecular gas that are difficult to detect from ground-based telescopes: CH+ (1-0), CO (10-9), HCO+ (6-5), and HCN (6-5). These lines trace an extended but thin layer of molecular gas at high thermal pressure, P_th ~ 1e7-1e9 K/cm3, associated with the FUV-irradiated surface of OMC-1. The intense FUV field, emerging from massive stars in the Trapezium cluster, heats, compresses and photoevaporates the cloud edge. It also triggers the formation of reactive molecules such as CH+. The CH+ (1-0) emission spatially correlates with the flux of FUV photons impinging the cloud: G_0 from 1e3 to 1e5. This correlation is supported by isobaric PDR models in the parameter space P_th/G_0 ~ [5e3-8e4] K/cm3 where many PDRs seem to lie. The CH+ (1-0) emission correlates with the extended emission from vibrationally excited H2, and with that of [CII]158um and CO 10-9, all emerging from FUV-irradiated gas. These correlations link the presence of CH+ to the availability of C+ ions and of FUV-pumped H2(v>0) molecules. The parsec-scale CH+ emission and narrow-line (dv ~ 3 km/s) mid-J CO emission arises from extended PDRs and not from fast shocks. PDR line tracers are the smoking gun of the stellar feedback from young massive stars. The PDR component in OMC-1 represents 5 to 10% of the total gas mass, however, it dominates the emitted line luminosity. These results provide insights into the source of submm CH+ and mid-J CO emission from distant star-forming galaxies.


title: Fisher-Shannon complexity analysis of high-frequency urban wind speed time series

abstract: 1Hz wind time series recorded at different levels (from 1.5 to 25.5 meters) in an urban area are investigated by using the Fisher-Shannon (FS) analysis. FS analysis is a well known method to get insight of the complex behavior of nonlinear systems, by quantifying the order/disorder properties of time series. Our findings reveal that the FS complexity, defined as the product between the Fisher Information Measure and the Shannon entropy power, decreases with the height of the anemometer from the ground, suggesting a height-dependent variability in the order/disorder features of the high frequency wind speed measured in urban layouts. Furthermore, the correlation between the FS complexity of wind speed and the daily variance of the ambient temperature shows similar decrease with the height of the wind sensor. Such correlation is larger for the lower anemometers, indicating that ambient temperature is an important forcing of the wind speed variability in the vicinity of the ground.


title: On-chip interrogator based on Fourier Transform spectroscopy

abstract: In this paper, the design and the characterization of a novel interrogator based on integrated Fourier transform (FT) spectroscopy is presented. To the best of our knowledge, this is the first integrated FT spectrometer used for the interrogation of photonic sensors. It consists of a planar spatial heterodyne spectrometer, which is implemented using an array of Mach-Zehnder interferometers (MZIs) with different optical path differences. Each MZI employs a 3$\times$3 multi-mode interferometer, allowing the retrieval of the complex Fourier coefficients. We derive a system of non-linear equations whose solution, which is obtained numerically from Newton's method, gives the modulation of the sensor's resonances as a function of time. By taking one of the sensors as a reference, to which no external excitation is applied and its temperature is kept constant, about 92$\%$ of the thermal induced phase drift of the integrated MZIs has been compensated. The minimum modulation amplitude that is obtained experimentally is 400 fm, which is more than two orders of magnitude smaller than the FT spectrometer resolution.


title: The Magnetic Properties of 1111-type Diluted Magnetic Semiconductor (La$_{1-x}$Ba$_{x}$)(Zn$_{1-x}$Mn$_{x}$)AsO in the Low Doping Regime

abstract: We investigated the magnetic properties of (La$_{1-x}$Ba$_{x}$)(Zn$_{1-x}$Mn$_{x}$)AsO with $x$ varying from 0.005 to 0.05 at an external magnetic field of 1000 Oe. For doping levels of $x$ $\leq$ 0.01, the system remains paramagnetic down to the lowest measurable temperature of 2 K. Only when the doping level increases to $x$ = 0.02 does the ferromagnetic ordering appear. Our analysis indicates that antiferromagnetic exchange interactions dominate for $x$ $\leq$ 0.01, as shown by the negative Weiss temperature fitted from the magnetization data. The Weiss temperature becomes positive, i.e., ferromagnetic coupling starts to dominate, for $x$ $\geq$ 0.02. The Mn-Mn spin interaction parameter $\mid$$2J/k_B$$\mid$ is estimated to be in the order of 10 K for both $x$ $\leq$ 0.01 (antiferromagnetic ordered state) and $x$ $\geq$ 0.02 (ferromagnetic ordered state). Our results unequivocally demonstrate the competition between ferromagnetic and antiferromagnetic exchange interactions in carrier-mediated ferromagnetic systems.


title: Microscope 2.0: An Augmented Reality Microscope with Real-time Artificial Intelligence Integration

abstract: The brightfield microscope is instrumental in the visual examination of both biological and physical samples at sub-millimeter scales. One key clinical application has been in cancer histopathology, where the microscopic assessment of the tissue samples is used for the diagnosis and staging of cancer and thus guides clinical therapy. However, the interpretation of these samples is inherently subjective, resulting in significant diagnostic variability. Moreover, in many regions of the world, access to pathologists is severely limited due to lack of trained personnel. In this regard, Artificial Intelligence (AI) based tools promise to improve the access and quality of healthcare. However, despite significant advances in AI research, integration of these tools into real-world cancer diagnosis workflows remains challenging because of the costs of image digitization and difficulties in deploying AI solutions. Here we propose a cost-effective solution to the integration of AI: the Augmented Reality Microscope (ARM). The ARM overlays AI-based information onto the current view of the sample through the optical pathway in real-time, enabling seamless integration of AI into the regular microscopy workflow. We demonstrate the utility of ARM in the detection of lymph node metastases in breast cancer and the identification of prostate cancer with a latency that supports real-time workflows. We anticipate that ARM will remove barriers towards the use of AI in microscopic analysis and thus improve the accuracy and efficiency of cancer diagnosis. This approach is applicable to other microscopy tasks and AI algorithms in the life sciences and beyond.


title: Flat approximations of hypersurfaces along curves

abstract: Given a smooth curve $\gamma$ in some $m$-dimensional surface $M$ in $\mathbb{R}^{m+1}$, we study existence and uniqueness of a flat surface $H$ having the same field of normal vectors as $M$ along $\gamma$, which we call a flat approximation of $M$ along $\gamma$. In particular, the well-known characterisation of flat surfaces as torses (ruled surfaces with tangent plane stable along the rulings) allows us to give an explicit parametric construction of such approximation.


title: Deformations of the Veronese embedding and Finsler 2-spheres of constant curvature

abstract: We establish a one-to-one correspondence between Finsler structures on the $2$-sphere with constant curvature $1$ and all geodesics closed on the one hand, and Weyl connections on certain spindle orbifolds whose symmetric Ricci curvature is positive definite and all of whose geodesics are closed on the other hand. As an application of our duality result, we show that suitable holomorphic deformations of the Veronese embedding $\mathbb{CP}(a_1,a_2)\to \mathbb{CP}(a_1,(a_1+a_2)/2,a_2)$ of weighted projective spaces provide examples of Finsler $2$-spheres of constant curvature whose geodesics are all closed.


title: Novel Quality Metric for Duration Variability Compensation in Speaker Verification using i-Vectors

abstract: Automatic speaker verification (ASV) is the process to recognize persons using voice as biometric. The ASV systems show considerable recognition performance with sufficient amount of speech from matched condition. One of the crucial challenges of ASV technology is to improve recognition performance with speech segments of short duration. In short duration condition, the model parameters are not properly estimated due to inadequate speech information, and this results poor recognition accuracy even with the state-of-the-art i-vector based ASV system. We hypothesize that considering the estimation quality during recognition process would help to improve the ASV performance. This can be incorporated as a quality measure during fusion of ASV systems. This paper investigates a new quality measure for i-vector representation of speech utterances computed directly from Baum-Welch statistics. The proposed metric is subsequently used as quality measure during fusion of ASV systems. In experiments with the NIST SRE 2008 corpus, We have shown that inclusion of proposed quality metric exhibits considerable improvement in speaker verification performance. The results also indicate the potentiality of the proposed method in real-world scenario with short test utterances.


title: Revised regularity results for quasilinear elliptic problems driven by the $\Phi$-Laplacian operator

abstract: It is establish regularity results for weak solutions of quasilinear elliptic problems driven by the well known $\Phi$-Laplacian operator given by \begin{equation*} \left\{\ \begin{array}{cl} \displaystyle-\Delta_\Phi u= g(x,u), & \mbox{in}~\Omega, u=0, & \mbox{on}~\partial \Omega, \end{array} \right. \end{equation*} where $\Delta_{\Phi}u :=\mbox{div}(\phi(|\nabla u|)\nabla u)$ and $\Omega\subset\mathbb{R}^{N}, N \geq 2,$ is a bounded domain with smooth boundary $\partial\Omega$. Our work concerns on nonlinearities $g$ which can be homogeneous or non-homogeneous. For the homogeneous case we consider an existence result together with a regularity result proving that any weak solution remains bounded. Furthermore, for the non-homogeneous case, the nonlinear term $g$ can be subcritical or critical proving also that any weak solution is bounded. The proofs are based on Moser's iteration in Orclicz and Orlicz-Sobolev spaces.


title: Reflexivity revisited

abstract: We study some aspects of reflexive modules. For example, we search conditions for which reflexive modules are free or being very close to free modules.


title: Revisiting constraints on 3+1 active-sterile neutrino mixing using IceCube data

abstract: Recent IceCube search results for sterile neutrino increased tension between the combined appearance and disappearance experiments. On the other hand, MiniBooNE latest data confirms at $4.9\sigma$ CL the short-baseline oscillation anomaly. We analyze published IceCube data based on two different active-sterile mixing schemes using one additional sterile neutrino flavor. We present exclusion regions in the parameter ranges $0.01 \le \sin^2 \theta_{24} \le 0.1$ and $0.1~{\rm eV}^2 \le \Delta m^2_{42} \le 10~{\rm eV}^2$ for the mass-mixing and flavor-mixing schemes. Under the more conservative mass-mixing scheme, $3\sigma$ CL allowed regions for the appearance experiment and MiniBooNE latest result are excluded at $\gtrsim 3\sigma$ CL. In case of less-restrictive flavor-mixing scheme, results from the appearance experiments are excluded at $\gtrsim 2\sigma$ CL. We also find that including prompt component of the atmospheric neutrino flux relaxes constraints on sterile mixing for $\Delta m^2_{42} \gtrsim 1~{\rm eV}^2$.


title: Planar Ramsey graphs

abstract: We say that a graph $H$ is planar unavoidable if there is a planar graph $G$ such that any red/blue coloring of the edges of $G$ contains a monochromatic copy of $H$, otherwise we say that $H$ is planar avoidable. I.e., $H$ is planar unavoidable if there is a Ramsey graph for $H$ that is planar. It follows from the Four-Color Theorem and a result of Gon\c{c}alves that if a graph is planar unavoidable then it is bipartite and outerplanar. We prove that the cycle on $4$ vertices and any path are planar unavoidable. In addition, we prove that all trees of radius at most $2$ are planar unavoidable and there are trees of radius $3$ that are planar avoidable. We also address the planar unavoidable notion in more than two colors.


title: Nontrivial Triplon Topology and Triplon Liquid in Kitaev-Heisenberg-type Excitonic Magnets

abstract: The combination of strong spin-orbit coupling and correlations, e.g. in ruthenates and iridates, has been proposed as a means to realize quantum materials with nontrivial topological properties. We discuss here Mott insulators where onsite spin-orbit coupling favors a local $J_{\textrm{tot}}=0$ singlet ground state. We investigate excitations into a low-lying triplet, triplons, and find them to acquire nontrivial band topology in a magnetic field. We also comment on magnetic states resulting from triplon condensation, where we find, in addition to the same ordered phases known from the $J_{\textrm{tot}}=\tfrac{1}{2}$ Kitaev-Heisenberg model, a triplon liquid taking the parameter space of Kitaev's spin liquid.


title: Locally Recoverable codes with local error detection

abstract: A locally recoverable code is an error-correcting code such that any erasure in a coordinate of a codeword can be recovered from a set of other few coordinates. In this article we introduce a model of local recoverable codes that also includes local error detection. The cases of the Reed-Solomon and Locally Recoverable Reed-Solomon codes are treated in some detail.


title: Sobolev gradient flow for the Gross-Pitaevskii eigenvalue problem: global convergence and computational efficiency

abstract: We propose a new normalized Sobolev gradient flow for the Gross-Pitaevskii eigenvalue problem based on an energy inner product that depends on time through the density of the flow itself. The gradient flow is well-defined and converges to an eigenfunction. For ground states we can quantify the convergence speed as exponentially fast where the rate depends on spectral gaps of a linearized operator. The forward Euler time discretization of the flow yields a numerical method which generalizes the inverse iteration for the nonlinear eigenvalue problem. For sufficiently small time steps, the method reduces the energy in every step and converges globally in $H^1$ to an eigenfunction. In particular, for any nonnegative starting value, the ground state is obtained. A series of numerical experiments demonstrates the computational efficiency of the method and its competitiveness with established discretizations arising from other gradient flows for this problem.


title: Evaluation of flashing stimuli shape and colour heterogeneity using a P300 brain-computer interface speller

abstract: Objective: Previous works using a visual P300-based speller have reported an improvement modifying the shape or colour of the presented stimulus. However, the effects of both blended factors have not been yet studied. Thus, the aim of the present work was to study both factors and assess the interaction between them. Method: Fifteen na\"ive participants tested four different spellers in a calibration and online task. All spellers were similar except the employed illumination of the target stimulus: white letters, white blocks, coloured letters, and coloured blocks. Results: The block-shaped conditions offered an improvement versus the letter-shaped conditions in the calibration (accuracy) and online (accuracy and correct commands per minute) tasks. Analysis of the P300 waveform showed a larger difference between target and no target stimulus waveforms for the block-shaped conditions versus the letter-shaped. The hypothesis regarding the colour heterogeneity of the stimuli was not found at any level of the analysis. Conclusion: The use of block-shaped illumination demonstrated a better performance than the standard letter-shaped flashing stimuli in classification performance, correct commands per minute, and P300 waveform.


title: Topological surgery in cosmic phenomena

abstract: We connect topological changes that can occur in $3$-space via surgery, with black hole formation, the formation of wormholes and new generalizations of these phenomena, including relationships between quantum entanglement and wormhole formation. By considering the initial manifold as the $3$-dimensional spatial section of spacetime, we describe the changes of topology occurring in these processes by determining the resulting $3$-manifold and its fundamental group. As these global changes are induced by local processes, we use the local form of Morse functions to provide an algebraic formulation of their temporal evolution and propose a potential energy function which, in some cases, could give rise to the local forces related to surgery. We further show how this topological perspective gives new insight for natural phenomena exhibiting surgery, in all dimensions, while emphasizing the $3$-dimensional case, which describes cosmic phenomena. This work makes new bridges between topology and natural sciences and creates a platform for exploring geometrical physics.


title: Exit times for semimartingales under nonlinear expectation

abstract: Let $\mathbb{\hat{E}}$ be the upper expectation of a weakly compact but non-dominated family $\mathcal{P}$ of probability measures. Assume that $Y$ is a $d$-dimensional $\mathcal{P}$-semimartingale under $\mathbb{\hat{E}}$. Given an open set $Q\subset\mathbb{R}^{d}$, the exit time of $Y$ from $Q$ is defined by \[ {\tau}_{Q}:=\inf\{t\geq0:Y_{t}\in Q^{c}\}. \] The main objective of this paper is to study the quasi-continuity properties of ${\tau}_{Q}$ under the nonlinear expectation $\mathbb{\hat{E}}$. Under some additional assumptions on the growth and regularity of $Y$, we prove that ${\tau}_{Q}\wedge t$ is quasi-continuous if $Q$ satisfies the exterior ball condition. We also give the characterization of quasi-continuous processes and related properties on stopped processes. In particular, we get the quasi-continuity of exit times for multi-dimensional $G$-martingales, which nontrivially generalizes the previous one-dimensional result of Song.


title: PT Symmetry, Non-Gaussian Path Integrals, and the Quantum Black-Scholes Equation

abstract: The Accardi-Boukas quantum Black-Scholes framework, provides a means by which one can apply the Hudson-Parthasarathy quantum stochastic calculus to problems in finance. Solutions to these equations can be modelled using nonlocal diffusion processes, via a Kramers-Moyal expansion, and this provides useful tools to understand their behaviour. In this paper we develop further links between quantum stochastic processes, and nonlocal diffusions, by inverting the question, and showing how certain nonlocal diffusions can be written as quantum stochastic processes. We then go on to show how one can use path integral formalism, and PT symmetric quantum mechanics, to build a non-Gaussian kernel function for the Accardi-Boukas quantum Black-Scholes. Behaviours observed in the real market are a natural model output, rather than something that must be deliberately included.


title: Collective Dynamics and Atom Loss in Bright Soliton Matter Waves

abstract: Motivated by recent experiments, we model the dynamics of bright solitons formed by cold gases in quasi-1D traps. A dynamical variational ansatz captures the far-from equilibrium excitations of these solitons. Due to a separation of scales, the radial and axial modes decouple, allowing for closed-form approximations for the dynamics. We explore how soliton dynamics influence atom loss, and find that the time-averaged loss is largely insensitive to the degree of excitation. The variational approach enables us to perform high precision calculations of the critical atom number (ie. the maximum number of atoms that can exist in a single soliton before the attractive forces overwhelm quantum pressure, leading to collapse).


title: HE-LHC prospects for diboson resonance searches and electroweak WW/WZ production via vector boson scattering in the semi-leptonic final states

abstract: This note presents the prospects of searches for new heavy resonances decaying to diboson (WW) and measurements of electroweak WW/WZ production via vector boson scattering (VBS) in association with a high-mass dijet system in the $\ell\nu qq$ final states ($W\to\ell\nu$, $W/Z\to qq$). The prospects are presented for an integrated luminosity of 15 ab$^{-1}$ of proton-proton ($pp$) collisions at $\sqrt{s}=27$ TeV with an ATLAS-like detector simulated in the Delphes framework. The cross-section measurement of the electroweak $WW/WZ$ production in VBS processes is expected to reach the precision of $\sim$2-3\%, improving the expected accuracy at the HL-LHC by a factor of 2. Prospects are presented also for the separation of the longitudinal component of the electroweak $WW/WZ$ production, showing the expected significance of $\sim3\sigma$ is reached with 3 ab$^{-1}$ for the single $\ell \nu qq$ channel and $\sim5\sigma$ for all the semi-leptonic channels combined. The diboson resonance searches are interpreted for sensitivity to a simplified phenomenological model with a heavy gauge boson. With 15 ab$^{-1}$ of $pp$ data, the discovery reach for the new resonance is extended to 8 TeV.


title: A coalescence criterion for porous single crystals

abstract: Voids can be observed at various scales in ductile materials, frequently of sizes lower than the grain size, leading to porous single crystals materials. Two local deformation modes of porous ductile (single crystals) materials have been identified and referred to as void growth and void coalescence, the latter being characterized by strong interactions between neighboring voids. A simple semi-analytical coalescence criterion for porous single crystals with periodic arrangement of voids is proposed using effective isotropic yield stresses associated with a criterion derived for isotropic materials. An extension of the coalescence criterion is also proposed to account for shear with respect to the coalescence plane. Effective yield stresses are defined using Taylor theory of single crystal deformation, and rely ultimately on the computation of average Taylor factors. Arbitrary sets of slip systems can be considered. The coalescence criterion is assessed through comparisons to numerical limit analysis results performed using a Fast-Fourier-Transform based solver. A good agreement is observed between the proposed criterion and numerical results for various configurations including different sets of slip systems (Face-Centered-Cubic, Hexagonal-Close-Packed), crystal orientations, void shapes and loading conditions. The competition between void growth and void coalescence is described for specific conditions, emphasizing the strong influence of both crystal orientation and void lattice, as well as their interactions.


title: Early Prediction of Course Grades: Models and Feature Selection

abstract: In this paper, we compare predictive models for students' final performance in a blended course using a set of generic features collected from the first six weeks of class. These features were extracted from students' online homework submission logs as well as other online actions. We compare the effectiveness of 5 different ML algorithms (SVMs, Support Vector Regression, Decision Tree, Naive Bayes and K-Nearest Neighbor). We found that SVMs outperform other models and improve when compared to the baseline. This study demonstrates feasible implementations for predictive models that rely on common data from blended courses that can be used to monitor students' progress and to tailor instruction.


title: Quantifying Coherence with Untrusted Devices

abstract: Device-independent (DI) tests allow to witness and quantify the quantum feature of a system, such as entanglement, without trusting the implementation devices. Although DI test is a powerful tool in many quantum information tasks, it generally requires nonlocal settings. Fundamentally, the superposition property of quantum states, quantified by coherence measures, is a distinct feature to distinguish quantum mechanics from classical theories. In literature, witness and quantification of coherence with trusted devices have been well-studied. However, it remains open whether we can witness and quantify single party coherence with untrusted devices, as it is not clear whether the concept of DI tests exists without a nonlocal setting. In this work, we study DI witness and quantification of coherence with untrusted devices. First, we prove a no-go theorem for a fully DI scenario, as well as a semi DI scenario employing a joint measurement with trusted ancillary states. We then propose a general prepare-and-measure semi DI scheme for witnessing and quantifying the amount of coherence. We show how to quantify the relative entropy and the $l_1$ norm of single party coherence with analytical and numerical methods. As coherence is a fundamental resource for tasks such as quantum random number generation and quantum key distribution, we expect our result may shed light on designing new semi DI quantum cryptographic schemes.


title: Single-particle structure of the N = 20 and N = 28 isotones within the dispersive optical model

abstract: The neutron single-particle characteristics of the N = 20, 28 isotones at 8 < Z < 30 was calculated within the dispersive optical model. The global parameters of the spin-orbit and imaginary parts of the potential as well as surface absorption independent on neutron-proton asymmetry and increased diffuseness at large neutron excess were used in the calculations. The suitability of the global parameters to predict the evolution of the neutron single-particle structure of nuclei near the neutron drip line was investigated. The following results are in agreement with the available experimental data: the reduction of the particle-hole energy gaps, the degeneration of the 1f7/2 and 2p states and then a change in the 1f7/2 , 2p3/2 level sequence and more rapid reduction of the 2p-splitting in comparison with the 1f-splitting with decreasing Z. The predictive power of the dispersive optical model with respect to neutron-rich nuclei is demonstrated.


title: Characterization and history of the Helmi streams with Gaia DR2

abstract: The halo of the Milky Way has long been hypothesized to harbour significant amounts of merger debris. This view has been supported over more than a decade by wide-field photometric surveys which have revealed the outer halo to be lumpy. The recent release of Gaia DR2 is allowing us to establish that mergers also have been important and possibly built up the majority of the inner halo. In this work we focus on the Helmi streams, a group of streams crossing the Solar vicinity and known for almost two decades. We characterize their properties and relevance for the build-up of the Milky Way's halo. We identify new members of the Helmi streams in an unprecedented dataset with full phase-space information combining Gaia DR2, and the APOGEE DR2, RAVE DR5 and LAMOST DR4 spectroscopic surveys. Based on the orbital properties of the stars, we find new stream members up to a distance of 5 kpc from the Sun, which we characterize using photometry and metallicity information. We also perform N-body experiments to constrain the time of accretion and properties of the progenitor of the streams. We find nearly 600 new members of the Helmi streams. Their HR diagram reveals a broad age range, from approximately 11 to 13 Gyr, while their metallicity distribution goes from $\sim$ 2.3 to $\sim$1.0, and peaks at [Fe/H] $\sim$1.5. These findings confirm that the streams originate in a dwarf galaxy. Furthermore, we find 7 globular clusters to be likely associated, and which follow a well-defined age-metallicity sequence whose properties suggest a relatively massive progenitor object. Our N-body simulations favour a system with a stellar mass of $\sim 10^8\,\mathrm{M}_\odot$ accreted $5 - 8$ Gyr ago. The debris from the Helmi streams is an important donor to the MilkyWay halo, contributing approximately 15\% of its mass in field stars and 10\% of its globular clusters.


title: Rescuing Quartic and Natural Inflation in the Palatini Formalism

abstract: When considered in the Palatini formalism, the Starobinsky model does not provide us with a mechanism for inflation due to the absence of a propagating scalar degree of freedom. By (non)--minimally coupling scalar fields to the Starobinsky model in the Palatini formalism we can in principle describe the inflationary epoch. In this article, we focus on the minimally coupled quartic and natural inflation models. Both theories are excluded in their simplest realization since they predict values for the inflationary observables that are outside the limits set by the Planck data. However, with the addition of the $R^2$ term and the use of the Palatini formalism, we show that these models can be rendered viable.


title: FDD Channel Estimation via Covariance Identification in Wideband Massive MIMO Systems

abstract: A method for channel estimation in wideband massive Multiple-Input Multiple-Output (MIMO) systems using covariance identification is developed. The method is useful for Frequency-Division Duplex (FDD) at either sub-6GHz or millimeter wave (mmWave) frequency bands and takes into account the beam squint effect caused by the large bandwidth of the signals. The method relies on the slow time variation of the channel covariance matrix and allows for the utilization of very short training sequences thanks to the exploitation of the channel structure, both in the covariance matrix identification and the channel estimation stages. As a consequence of significantly reducing the training overhead, the proposed channel estimator has a computational complexity lower than other existing approaches.


title: Strategically Simple Mechanisms

abstract: We define and investigate a property of mechanisms that we call "strategic simplicity," and that is meant to capture the idea that, in strategically simple mechanisms, strategic choices require limited strategic sophistication. We define a mechanism to be strategically simple if choices can be based on first-order beliefs about the other agents' preferences and first-order certainty about the other agents' rationality alone, and there is no need for agents to form higher-order beliefs, because such beliefs are irrelevant to the optimal strategies. All dominant strategy mechanisms are strategically simple. But many more mechanisms are strategically simple. In particular, strategically simple mechanisms may be more flexible than dominant strategy mechanisms in the bilateral trade problem and the voting problem.


title: Dyadic harmonic analysis and weighted inequalities: the sparse revolution

abstract: We will introduce the basics of dyadic harmonic analysis and how it can be used to obtain weighted estimates for classical Calder\'on-Zygmund singular integral operators and their commutators. Harmonic analysts have used dyadic models for many years as a first step towards the understanding of more complex continuous operators. In 2000 Stefanie Petermichl discovered a representation formula for the venerable Hilbert transform as an average (over grids) of dyadic shift operators, allowing her to reduce arguments to finding estimates for these simpler dyadic models. For the next decade the technique used to get sharp weighted inequalities was the Bellman function method introduced by Nazarov, Treil, and Volberg, paired with sharp extrapolation by Dragi\v{c}evi\'c et al. Other methods where introduced by Hyt\"onen, Lerner, Cruz-Uribe, Martell, P\'erez, Lacey, Reguera, Sawyer, Uriarte-Tuero, involving stopping time and median oscillation arguments, precursors of the very successful domination by positive sparse operators methodology. The culmination of this work was Tuomas Hyt\"onen's 2012 proof of the $A_2$ conjecture based on a representation formula for any Calder\'on-Zygmund operator as an average of appropriate dyadic operators. Since then domination by sparse dyadic operators has taken central stage and has found applications well beyond Hyt\"onen's $A_p$ theorem. We will survey this remarkable progression and more in these lecture notes.


title: Delay constrained Energy Optimization for Edge Cloud Offloading

abstract: Resource limited user-devices may offload computation to a cloud server, in order to reduce power consumption and lower the execution time. However, to communicate to the cloud server over a wireless channel, additional energy is consumed for transmitting the data. Also a delay is introduced for offloading the data and receiving the response. Therefore, an optimal decision needs to be made that would reduce the energy consumption, while simultaneously satisfying the delay constraint. In this paper, we obtain an optimal closed form solution for these decision variables in a multi-user scenario. Furthermore, we optimally allocate the cloud server resources to the user devices, and evaluate the minimum delay that the system can provide, for a given bandwidth and number of user devices.


title: DQ Scheduler: Deep Reinforcement Learning Based Controller Synchronization in Distributed SDN

abstract: In distributed software-defined networks (SDN), multiple physical SDN controllers, each managing a network domain, are implemented to balance centralized control, scalability and reliability requirements. In such networking paradigm, controllers synchronize with each other to maintain a logically centralized network view. Despite various proposals of distributed SDN controller architectures, most existing works only assume that such logically centralized network view can be achieved with some synchronization designs, but the question of how exactly controllers should synchronize with each other to maximize the benefits of synchronization under the eventual consistency assumptions is largely overlooked. To this end, we formulate the controller synchronization problem as a Markov Decision Process (MDP) and apply reinforcement learning techniques combined with deep neural network to train a smart controller synchronization policy, which we call the Deep-Q (DQ) Scheduler. Evaluation results show that DQ Scheduler outperforms the antientropy algorithm implemented in the ONOS controller by up to 95.2% for inter-domain routing tasks.


title: Boundary Integral Analysis for the Non-homogeneous 3D Stokes Equation

abstract: A regular-grid volume-integration algorithm is developed for the non-homogeneous 3D Stokes equation. Based upon the observation that the Stokeslet ${\mathcal U}$ is the Laplacian of a function ${\mathcal H}$, the volume integral is reformulated as a simple boundary integral, plus a remainder domain integral. The modified source term in this remainder integral is everywhere zero on the boundary and can therefore be continuously extended as zero to a regular grid covering the domain. The volume integral can then be evaluated on the grid. Applying this method to the Navier-Stokes equations will require obtaining velocity gradients, and thus an efficient algorithm for post-processing these derivatives is also discussed. To validate the numerical implementation, test results employing a linear element Galerkin approximation are presented.


title: On the Power of Preprocessing in Decentralized Network Optimization

abstract: As communication networks are growing at a fast pace, the need for more scalable approaches to operate such networks is pressing. Decentralization and locality are key concepts to provide scalability. Existing models for which local algorithms are designed fail to model an important aspect of many modern communication networks such as software-defined networks: the possibility to precompute distributed network state. We take this as an opportunity to study the fundamental question of how and to what extent local algorithms can benefit from preprocessing. In particular, we show that preprocessing allows for significant speedups of various networking problems. A main benefit is the precomputation of structural primitives, where purely distributed algorithms have to start from scratch. Maybe surprisingly, we also show that there are strict limitations on how much preprocessing can help in different scenarios. To this end, we provide approximation bounds for the maximum independent set problem---which however show that our obtained speedups are asymptotically optimal. Even though we show that physical link failures in general hinder the power of preprocessing, we can still facilitate the precomputation of symmetry breaking processes to bypass various runtime barriers. We believe that our model and results are of interest beyond the scope of this paper and apply to other dynamic networks as well.


title: Towards Solving Text-based Games by Producing Adaptive Action Spaces

abstract: To solve a text-based game, an agent needs to formulate valid text commands for a given context and find the ones that lead to success. Recent attempts at solving text-based games with deep reinforcement learning have focused on the latter, i.e., learning to act optimally when valid actions are known in advance. In this work, we propose to tackle the first task and train a model that generates the set of all valid commands for a given context. We try three generative models on a dataset generated with Textworld. The best model can generate valid commands which were unseen at training and achieve high $F_1$ score on the test set.


title: Thompson Sampling for Noncompliant Bandits

abstract: Thompson sampling, a Bayesian method for balancing exploration and exploitation in bandit problems, has theoretical guarantees and exhibits strong empirical performance in many domains. Traditional Thompson sampling, however, assumes perfect compliance, where an agent's chosen action is treated as the implemented action. This article introduces a stochastic noncompliance model that relaxes this assumption. We prove that any noncompliance in a 2-armed Bernoulli bandit increases existing regret bounds. With our noncompliance model, we derive Thompson sampling variants that explicitly handle both observed and latent noncompliance. With extensive empirical analysis, we demonstrate that our algorithms either match or outperform traditional Thompson sampling in both compliant and noncompliant environments.


title: Interplay of time-delay and velocity alignment in the Cucker-Smale model on a general digraph

abstract: We study dynamic interplay between time-delay and velocity alignment in the ensemble of Cucker-Smale (C-S) particles(or agents) on time-varying networks which are modeled by digraphs containing spanning trees. Time-delayed dynamical systems often appear in mathematical models from biology and control theory, and they have been extensively investigated in literature. In this paper, we provide sufficient frameworks for the mono-cluster flocking to the continuous and discrete C-S models, which are formulated in terms of system parameters and initial data. In our proposed frameworks, we show that the continuous and discrete C-S models exhibit exponential flocking estimates. For the explicit C-S communication weights which decay algebraically, our results exhibit threshold phenomena depending on the decay rate and depth of digraph. We also provide several numerical examples and compare them with our analytical results.


title: Evolution for Khovanov polynomials for figure-eight-like family of knots

abstract: We look at how evolution method deforms, when one considers Khovanov polynomials instead of Jones polynomials. We do this for the figure-eight-like knots (also known as 'double braid' knots, see arXiv:1306.3197) -- a two-parametric family of knots which "grows" from the figure-eight knot and contains both two-strand torus knots and twist knots. We prove that parameter space splits into four chambers, each with its own evolution, and two isolated points. Remarkably, the evolution in the Khovanov case features an extra eigenvalue, which drops out in the Jones (t -> -1) limit.


title: Coalescences in Continuous-State Branching Processes

abstract: Consider a continuous-state branching population constructed as a flow of nested subordinators. Inverting the subordinators and reversing time give rise to a flow of coalescing Markov processes (with negative jumps) which correspond to the ancestral lineages of individuals in the current generation. The process of the ancestral lineage of a fixed individual is the Siegmund dual process of the continuous-state branching process. We study its semi-group, its long-term behavior and its generator. In order to follow the coalescences in the ancestral lineages and to describe the backward genealogy of the population, we define non-exchangeable Markovian coalescent processes obtained by sampling independent Poisson arrival times over the flow. These coalescent processes are called consecutive coalescents, as only consecutive blocks can merge. They are characterized in law by finite measures on $\mathbb{N}$ which can be thought as the offspring distributions of some inhomogeneous immortal Galton-Watson processes forward in time.


title: $\mathcal{S}$-Matrix of Nonlocal Scalar Quantum Field Theory in the Representation of Basis Functions

abstract: Nonlocal quantum theory of one-component scalar field in $D$-dimensional Euclidean spacetime is studied in representations of $\mathcal{S}$-matrix theory for both polynomial and nonpolynomial interaction Lagrangians. The theory is formulated on coupling constant $g$ in the form of an infrared smooth function of argument $x$ for space without boundary. Nonlocality is given by evolution of Gaussian propagator for the local free theory with ultraviolet form factors depending on ultraviolet length parameter $l$. By representation of the $\mathcal{S}$-matrix in terms of abstract functional integral over primary scalar field, the $\mathcal{S}$ form of a grand canonical partition function is found. And, by expression of $\mathcal{S}$-matrix in terms of the partition function, the representation for $\mathcal{S}$ in terms of basis functions is obtained. Derivations are given for discrete case where basis functions are Hermite functions, and for continuous case where basis functions are trigonometric functions. The obtained expressions for the $\mathcal{S}$-matrix are investigated within the framework of variational principle based on Jensen inequality. Equations with separable kernels satisfied by variational function $q$ are found and solved, yielding results for both the polynomial theory $\varphi^{4}$ and the nonpolynomial sine-Gordon theory. A new definition of the $\mathcal{S}$-matrix is proposed to solve additional divergences which arise in application of Jensen inequality for the continuous case. Analytical results are illustrated numerically. For simplicity of numerical calculation: the $D=1$ case is considered, and propagator for the free theory $G$ is in the form of Gaussian function typically in the Virton-Quark model. The formulation for nonlocal QFT in momentum $k$ space of extra dimensions with subsequent compactification into physical spacetime is discussed.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: Accurately computing weak lensing convergence

abstract: Weak lensing will play an important role in future cosmological surveys, including e.g. Euclid and SKA. Sufficiently accurate theoretical predictions are important for correctly interpreting these surveys and hence for extracting correct cosmological parameter estimations. We quantify for the first time in a relativistic setting how many post-Born and lens-lens coupling corrections are required for sub-percent accuracy of the theoretical weak lensing convergence for $z\le 2$ (the primary weak lensing range for Euclid and SKA). We do this by ray-tracing through a fully relativistic exact solution of the Einstein Field Equations which consists of randomly packed mass-compensated underdensities of realistic amplitudes. We find that including lens-lens coupling terms and post-Born corrections up to second and third order respectively is sufficient for sub-percent accuracy of the convergence along $94\%$ of the studied light rays. We also find that a significant percentage of the studied rays have post-Born corrections of size over $10\%$ of the usual gravitational convergence, $\kappa^{(1)}$, and several rays even have post-Born corrections several times the size of $\kappa^{(1)}$ at $z = 2$.


title: Iterative Potts minimization for the recovery of signals with discontinuities from indirect measurements -- the multivariate case

abstract: Signals and images with discontinuities appear in many problems in such diverse areas as biology, medicine, mechanics, and electrical engineering. The concrete data are often discrete, indirect and noisy measurements of some quantities describing the signal under consideration. A frequent task is to find the segments of the signal or image which corresponds to finding the discontinuities or jumps in the data. Methods based on minimizing the piecewise constant Mumford-Shah functional -- whose discretized version is known as Potts functional -- are advantageous in this scenario, in particular, in connection with segmentation. However, due to their non-convexity, minimization of such functionals is challenging. In this paper we propose a new iterative minimization strategy for the multivariate Potts functional dealing with indirect, noisy measurements. We provide a convergence analysis and underpin our findings with numerical experiments.


title: Uncertainty quantification for classical effective potentials: an extension to potfit

abstract: Effective potentials are an essential ingredient of classical molecular dynamics (MD) simulations. Little is understood of the consequences of representing the complex energy landscape of an atomic configuration by an effective potential or force field containing considerably fewer parameters. The probabilistic potential ensemble method has been implemented in the potfit force matching code. This introduces uncertainty quantification into the interatomic potential generation process. Uncertainties in the effective potential are propagated through MD to obtain uncertainties in quantities of interest, which are a measure of the confidence in the model predictions. We demonstrate the technique using three potentials for nickel: two simple pair potentials, Lennard-Jones and Morse, and a local density dependent embedded atom method (EAM) potential. A potential ensemble fit to density functional theory (DFT) reference data is constructed for each potential to calculate the uncertainties in lattice constants, elastic constants and thermal expansion. We quantitatively illustrate the cases of poor model selection and fit, highlighted by the uncertainties in the quantities calculated. This shows that our method can capture the effects of the error incurred in quantities of interest resulting from the potential generation process without resorting to comparison with experiment or DFT, which is an essential part to assess the predictive power of MD simulations.