title: Poincar\'e and logarithmic Sobolev constants for metastable Markov chains via capacitary inequalities

abstract: We investigate the metastable behavior of reversible Markov chains on possibly countable infinite state spaces. Based on a new definition of metastable Markov processes, we compute precisely the mean transition time between metastable sets. Under additional size and regularity properties of metastable sets, we establish asymptotic sharp estimates on the Poincar\'e and logarithmic Sobolev constant. The main ingredient in the proof is a capacitary inequality along the lines of V. Maz'ya that relates regularity properties of harmonic functions and capacities. We exemplify the usefulness of this new definition in the context of the random field Curie-Weiss model, where metastability and the additional regularity assumptions are verifiable.


title: Three-loop massive tadpoles and polylogarithms through weight six

abstract: We evaluate the three-loop massive vacuum bubble diagrams in terms of polylogarithms up to weight six. We also construct the basis of irrational constants being harmonic polylgarithms of arguments $e^{k i \pi/3}$.


title: Operational Semantics of Process Monitors

abstract: CSPe is a specification language for runtime monitors that can directly express concurrency in a bottom-up manner that composes the system from simpler, interacting components. It includes constructs to explicitly flag failures to the monitor, which unlike deadlocks and livelocks in conventional process algebras, propagate globally and aborts the whole system's execution. Although CSPe has a trace semantics along with an implementation demonstrating acceptable performance, it lacks an operational semantics. An operational semantics is not only more accessible than trace semantics but also indispensable for ensuring the correctness of the implementation. Furthermore, a process algebra like CSPe admits multiple denotational semantics appropriate for different purposes, and an operational semantics is the basis for justifying such semantics' integrity and relevance. In this paper, we develop an SOS-style operational semantics for CSPe, which properly accounts for explicit failures and will serve as a basis for further study of its properties, its optimization, and its use in runtime verification.


title: Visualization of Feature Separation in Advected Scalar Fields

abstract: Scalar features in time-dependent fluid flow are traditionally visualized using 3D representation, and their topology changes over time are often conveyed with abstract graphs. Using such techniques, however, the structural details of feature separation and the temporal evolution of features undergoing topological changes are difficult to analyze. In this paper, we propose a novel approach for the spatio-temporal visualization of feature separation that segments feature volumes into regions with respect to their contribution to distinct features after separation. To this end, we employ particle-based feature tracking to find volumetric correspondences between features at two different instants of time. We visualize this segmentation by constructing mesh boundaries around each volume segment of a feature at the initial time that correspond to the separated features at the later time. To convey temporal evolution of the partitioning within the investigated time interval, we complement our approach with spatio-temporal separation surfaces. For the application of our approach to multiphase flow, we additionally present a feature-based corrector method to ensure phase-consistent particle trajectories. The utility of our technique is demonstrated by application to two-phase (liquid-gas) and multi-component (liquid-liquid) flows where the scalar field represents the fraction of one of the phases.


title: PrivacyScore: Improving Privacy and Security via Crowd-Sourced Benchmarks of Websites

abstract: Website owners make conscious and unconscious decisions that affect their users, potentially exposing them to privacy and security risks in the process. In this paper we introduce PrivacyScore, an automated website scanning portal that allows anyone to benchmark security and privacy features of multiple websites. In contrast to existing projects, the checks implemented in PrivacyScore cover a wider range of potential privacy and security issues. Furthermore, users can control the ranking and analysis methodology. Therefore, PrivacyScore can also be used by data protection authorities to perform regularly scheduled compliance checks. In the long term we hope that the transparency resulting from the published benchmarks creates an incentive for website owners to improve their sites. The public availability of a first version of PrivacyScore was announced at the ENISA Annual Privacy Forum in June 2017.


title: Theoretical insight into the interaction of O2 and H2O molecules with the perfect and the defective InSe monolayers

abstract: By using first-principles calculation, the interaction of O2 and H2O molecules with the pristine and the defective InSe monolayers is studied. It is predicted that the single Se and In vacancies exhibit significantly enhanced chemical activity toward the adsorbates compared with the perfect InSe lattice site, and the Se vacancies have a much higher chemical activity than the In vacancies. H2O molecule should be only physisorbed on the various InSe monolayers at ambient conditions, according to the calculated energies. The doping of the various InSe monolayers is discussed by the physisorbed H2O. The vacancies show a much higher chemical activity toward O2 than H2O. Although O2 molecules are still physisorbed on the pristine InSe monolayer, they will be chemisorbed on the defective InSe monolayers. Especially, our calculated energies suggest that the surface oxidation of the 2D InSe semiconductor should be dominated by the defects that expose under-coordinated host atoms, especially In atoms. Our theoretical results can help better understanding the doping and the oxidation of the 2D InSe semiconductor under ambient conditions.


title: A covering theorem for singular measures in the Euclidean space

abstract: We prove that for any singular measure $\mu$ on $\mathbb{R}^n$ it is possible to cover $\mu$-almost every point with $n$ families of Lipschitz slabs of arbitrarily small total width. More precisely, up to a rotation, for every $\delta>0$ there are $n$ countable families of $1$-Lipschitz functions $\{f_i^1\}_{i\in\mathbb{N}},\ldots, \{f_i^n\}_{i\in\mathbb{N}},$ $f_i^j:\{x_j=0\}\subset\mathbb{R}^n\to\mathbb{R}$, and $n$ sequences of positive real numbers $\{\varepsilon_i^1\}_{i\in\mathbb{N}},\ldots, \{\varepsilon_i^n\}_{i\in\mathbb{N}}$ such that, denoting $\hat x_j$ the orthogonal projection of the point $x$ onto $\{x_j=0\}$ and $$I_i^j:=\{x=(x_1,\ldots,x_n)\in \mathbb{R}^n:f_i^j(\hat x_j)-\varepsilon_i^j< x_j< f_i^j(\hat x_j)+\varepsilon_i^j\},$$ it holds $\sum_{i,j}\varepsilon_i^j\leq \delta$ and $\mu(\mathbb{R}^n\setminus\bigcup_{i,j}I_i^j)=0.$ We apply this result to show that, if $\mu$ is not absolutely continuous, it is possible to approximate the identity with a sequence $g_h$ of smooth equi-Lipschitz maps satisfying $$\limsup_{h\to\infty}\int_{\mathbb{R}^n}{\rm{det}}(\nabla g_h) d\mu<\mu(\mathbb{R}^n).$$ From this, we deduce a simple proof of the fact that every top-dimensional Ambrosio-Kirchheim metric current in $\mathbb{R}^n$ is a Federer-Fleming flat chain.


title: Adapting a General Purpose Social Robot for Paediatric Rehabilitation through In-situ Design

abstract: Socially Assistive Robots (SARs) offer great promise for improving outcomes in paediatric rehabilitation. However, the design of software and interactive capabilities for SARs must be carefully considered in the context of their intended clinical use. While previous work has explored specific roles and functionalities to support paediatric rehabilitation, few have considered the design of such capabilities in the context of ongoing clinical deployment. In this paper we present a two-phase In-situ design process for SARs in health care, emphasising stakeholder engagement and on-site development. We explore this in the context of developing the humanoid social robot NAO as a socially assistive rehabilitation aid for children with cerebral palsy. We present and evaluate our design process, outcomes achieved, and preliminary results from ongoing clinical testing with 9 patients and 5 therapists over 14 sessions. We argue that our in-situ Design methodology has been central to the rapid and successful deployment of our system.


title: Effective Field Theory for Higgs properties parametrisation: the transverse momentum spectrum case

abstract: After the Higgs boson discovery, LHC can be used as a precision machine to explore its properties. Indeed, in case new resonances will not be found, the only access to New Physics would be via measuring small deviations from the SM predictions. A consistent approach is provided by a bottom-up Effective Field Theory, with dimension six operators built of Standard Model fields (SMEFT). We discuss how this approach works in case of the transverse momentum spectrum of the Higgs particle. In our calculation we augmented the Standard Model with three additional operators describing modifications of the top and bottom Yukawa couplings, and a point-like Higgs coupling to gluons. Based on recently presented resummed transverse-momentum spectra including these operators at NLL+NLO accuracy,which we recently presented in Ref [1], in this note we show the extension of the calculation to NNLL+NNLO. We find that such modifications, while affecting the total rate within the current uncertainties, can lead to significant distortions of the spectrum. Additionally, through significant reduction of the scale uncertainty we improve the sensitivity to the new operators.


title: Refutations on "Debunking the Myths of Influence Maximization: An In-Depth Benchmarking Study"

abstract: In a recent SIGMOD paper titled "Debunking the Myths of Influence Maximization: An In-Depth Benchmarking Study", Arora et al. [1] undertake a performance benchmarking study of several well-known algorithms for influence maximization. In the process, they contradict several published results, and claim to have unearthed and debunked several "myths" that existed around the research of influence maximization. It is the goal of this article to examine their claims objectively and critically, and refute the erroneous ones. Our investigation discovers that first, the overall experimental methodology in Arora et al. [1] is flawed and leads to scientifically incorrect conclusions. Second, the paper [1] is riddled with issues specific to a variety of influence maximization algorithms, including buggy experiments, and draws many misleading conclusions regarding those algorithms. Importantly, they fail to appreciate the trade-off between running time and solution quality, and did not incorporate it correctly in their experimental methodology. In this article, we systematically point out the issues present in [1] and refute 11 of their misclaims.


title: A characterisation of the Daugavet property in spaces of Lipschitz functions

abstract: We study the Daugavet property in the space of Lipschitz functions $\operatorname{Lip}_0(M)$ for a complete metric space $M$. Namely we show that $\operatorname{Lip}_0(M)$ has the Daugavet property if and only if $M$ is a length space. This condition also characterises the Daugavet property in the Lipschitz free space $\mathcal{F}(M)$. Moreover, when $M$ is compact, we show that either $\mathcal{F}(M)$ has the Daugavet property or its unit ball has a strongly exposed point. If $M$ is an infinite compact subset of a strictly convex Banach space then the Daugavet property of $\operatorname{Lip}_0(M)$ is equivalent to the convexity of $M$.


title: Characterisation of novel prototypes of monolithic HV-CMOS pixel detectors for high energy physics experiments

abstract: An upgrade of the ATLAS experiment for the High Luminosity phase of LHC is planned for 2024 and foresees the replacement of the present Inner Detector (ID) with a new Inner Tracker (ITk) completely made of silicon devices. Depleted active pixel sensors built with the High Voltage CMOS (HV-CMOS) technology are investigated as an option to cover large areas in the outermost layers of the pixel detector and are especially interesting for the development of monolithic devices which will reduce the production costs and the material budget with respect to the present hybrid assemblies. For this purpose the H35DEMO, a large area HV-CMOS demonstrator chip, was designed by KIT, IFAE and University of Liverpool, and produced in AMS 350 nm CMOS technology. It consists of four pixel matrices and additional test structures. Two of the matrices include amplifiers and discriminator stages and are thus designed to be operated as monolithic detectors. In these devices the signal is mainly produced by charge drift in a small depleted volume obtained by applying a bias voltage of the order of 100 V. Moreover, to enhance the radiation hardness of the chip, this technology allows to enclose the electronics in the same deep N-WELLs which are also used as collecting electrodes. In this contribution the characterisation of H35DEMO chips and results of the very first beam test measurements of the monolithic CMOS matrices with high energetic pions at CERN SPS will be presented.


title: Measurement of D-meson production in pp collisions with ALICE at the LHC

abstract: The $\textit p_{T}$-differential cross section of D mesons in the rapidity range $|y|< 0.5$ was measured in pp collisions at $\sqrt{s}$ = 2.76, 7 and 8 TeV. D mesons were reconstructed in their hadronic decay channels by means of the invariant mass analysis. The D-meson production cross sections is compared among different energies and to pQCD calculations. Also the prompt D meson are studied as a function of the multiplicity of charged articles produced in inelastic pp collisions at a centre-of-mass energy of $\sqrt{s}$ = 7 TeV. The measurements are compared with model calculations.


title: Joint Design of Multi-Tap Analog Cancellation and Digital Beamforming for Reduced Complexity Full Duplex MIMO Systems

abstract: Incorporating full duplex operation in Multiple Input Multiple Output (MIMO) systems provides the potential of boosting throughput performance. However, the hardware complexity of the analog self-interference canceller scales with the number of transmit and receive antennas, thus exploiting the benefits of analog cancellation becomes impractical for full duplex MIMO transceivers. In this paper, we present a novel architecture for the analog canceller comprising of reduced number of taps (tap refers to a line of fixed delay and variable phase shifter and attenuator) and simple multiplexers for efficient signal routing among the transmit and receive radio frequency chains. In contrast to the available analog cancellation architectures, the values for each tap and the configuration of the multiplexers are jointly designed with the digital beamforming filters according to certain performance objectives. Focusing on a narrowband flat fading channel model as an example, we present a general optimization framework for the joint design of analog cancellation and digital beamforming. We also detail a particular optimization objective together with its derived solution for the latter architectural components. Representative computer simulation results demonstrate the superiority of the proposed low complexity full duplex MIMO system over lately available ones.


title: Spin-3/2 dark matter in a simple $t$-channel model

abstract: We consider a spin-3/2 fermionic dark matter (DM) particle interacting with the Standard Model quarks through the exchange of a charged and coloured scalar or vector mediator in a simple $t$-channel model. It is found that for the vector mediator case, almost the entire parameter space allowed by the observed relic density is already ruled out by the direct detection LUX data. No such bounds exist on the interaction mediated by scalar particles. Monojet + missing energy searches at the Large Hadron Collider provide the most stringent bounds on the parameters of the model for this case. The collider bounds put a lower limit on the allowed DM masses.


title: Cherlin's conjecture for sporadic simple groups

abstract: We prove Cherlin's conjecture, concerning binary primitive permutation groups, for those groups with socle isomorphic to a sporadic simple group.


title: Initial-boundary value problem for 2D micropolar equations without angular viscosity

abstract: This paper concerns the initial-boundary value problem to 2D micropolar equations without angular viscosity in a smooth bounded domain. It is shown that such a system admits a unique and global weak solution. The main idea of this paper is to fully exploit the structure of this system and establish high order estimates via introducing an auxiliary field which is at the energy level of one order lower than micro-rotation.


title: Sensitivity of directed networks to the addition and pruning of edges and vertices

abstract: We study the sensitivity of directed complex networks to the addition and pruning of edges and vertices and introduce the susceptibility, which quantifies this sensitivity. We show that topologically different parts of a directed network have different sensitivity to the addition and pruning of edges and vertices and, therefore, they are characterized by different susceptibilities. These susceptibilities diverge at the critical point of the directed percolation transition, signaling the appearance (or disappearance) of the giant strongly connected component in the infinite size limit. We demonstrate this behavior in randomly damaged real and synthetic directed complex networks, such as the World Wide Web, Twitter, the \emph{Caenorhabditis elegans} neural network, directed Erd\H{o}s-R\'enyi graphs, and others. We reveal a non-monotonous dependence of the sensitivity to random pruning of edges or vertices in the case of \emph{Caenorhabditis elegans} and Twitter that manifests specific structural peculiarities of these networks. We propose the measurements of the susceptibilities during the addition or pruning of edges and vertices as a new method for studying structural peculiarities of directed networks.


title: The HARPS search for southern extra-solar planets. XXXVI. Eight HARPS multi-planet systems hosting 20 super-Earth and Neptune-mass companions

abstract: We present radial-velocity measurement of eight stars observed with the HARPS Echelle spectrograph mounted on the 3.6-m telescope in La Silla (ESO, Chile). Data span more than ten years and highlight the long-term stability of the instrument. We search for potential planets orbiting HD20003, HD20781, HD21693, HD31527, HD45184, HD51608, HD134060 and HD136352 to increase the number of known planetary systems and thus better constrain exoplanet statistics. After a preliminary phase looking for signals using generalized Lomb-Scargle periodograms, we perform a careful analysis of all signals to separate \emph{bona-fide} planets from spurious signals induced by stellar activity and instrumental systematics. We finally secure the detection of all planets using the efficient MCMC available on the Data and Analysis Center for Exoplanets (DACE web-platform), using model comparison whenever necessary. In total, we report the detection of twenty new super-Earth to Neptune-mass planets, with minimum masses ranging from 2 to 30 M$_{\rm Earth}$, and periods ranging from 3 to 1300 days. By including CORALIE and HARPS measurements of HD20782 to the already published data, we also improve the characterization of the extremely eccentric Jupiter orbiting this host.


title: Layerwise Systematic Scan: Deep Boltzmann Machines and Beyond

abstract: For Markov chain Monte Carlo methods, one of the greatest discrepancies between theory and system is the scan order - while most theoretical development on the mixing time analysis deals with random updates, real-world systems are implemented with systematic scans. We bridge this gap for models that exhibit a bipartite structure, including, most notably, the Restricted/Deep Boltzmann Machine. The de facto implementation for these models scans variables in a layerwise fashion. We show that the Gibbs sampler with a layerwise alternating scan order has its relaxation time (in terms of epochs) no larger than that of a random-update Gibbs sampler (in terms of variable updates). We also construct examples to show that this bound is asymptotically tight. Through standard inequalities, our result also implies a comparison on the mixing times.


title: How an incorrect transition from finite to infinite 2D conductor may result in a false negative relaxation

abstract: We consider the relaxation of a uniform current in a planar 2D conductor with account taken of electromagnetic retardation effects. If the 2D conductivity is larger than the speed of light, the straightforward solution for an infinite plane gives a negative relaxation rate. However if one starts from a conducting cylinder of finite radius and then increases it to infinity, the relaxation rate just tends to zero while remaining positive. We suggest that recent unusual plasmon-dispersion curves obtained by V. A. Volkov and A. A. Zabolotnykh [arXiv:1605.00430] result from the incorrect finite-to-infinite transition.


title: Free-running Sn precipitates: an efficient phase separation mechanism for metastable GeSn epilayers

abstract: We report on the temperature stability of pseudomorphic GeSn films grown by molecular beam epitaxy on Ge(001) substrates. Both the growth temperature-dependence and the influence of post-growth annealing steps were investigated. In either case we observe that decomposition of metastable epilayers with Sn concentrations around 10% sets in above 230{\deg}C, the eutectic temperature of the Ge/Sn system. Time-resolved annealing experiments in a scanning electron microscope reveal the crucial role of liquid Sn droplets in this phase separation process. Driven by a gradient of the chemical potential, the Sn droplets move on the surface along preferential crystallographic directions, thereby taking up Sn and Ge from the strained GeSn layer at their leading edge. While Sn-uptake increases the volume of the melt, dissolved Ge becomes re-deposited by a liquid-phase epitaxial process at the trailing edge of the droplet. Secondary droplets are launched from the rims of the single-crystalline Ge trails into intact regions of the GeSn film, leading to an avalanche-like transformation front between the GeSn film and re-deposited Ge. This process makes phase separation of metastable GeSn layers particularly efficient at rather low temperatures.


title: Covariant variational approach to Yang-Mills Theory: Thermodynamics

abstract: The thermodynamics of $SU(2)$ Yang-Mills theory in the covariant variational approach is studied by relating the free action density in the background of a non-trivial Polyakov loop to the pressure of the gluon plasma. The correct subtraction of the vacuum contribution in the free action density is argued for. The Poisson resummed expression for the pressure can be evaluated analytically in limiting cases, and shows the correct Stefan-Boltzmann limit at $T \to \infty$, while the limit $T \to 0$ is afflicted by artifacts due to massless modes in the confined phase. Several remedies to remove these artifacts are discussed. Using the numerical $T=0$ solutions for the ghost and gluon propagators in the covariant variational approach as input, the pressure, energy density and interaction strength are calculated and compared to lattice data.


title: An Alternative Globalization Strategy for Unconstrained Optimization

abstract: We propose a new globalization strategy that can be used in unconstrained optimization algorithms to support rapid convergence from remote starting points. Our approach is based on using multiple points at each iteration to build a representative model of the objective function. Using the new information gathered from those multiple points, a local step is gradually improved by updating its direction as well as its length. We give a global convergence result and also provide parallel implementation details accompanied with a numerical study. Our numerical study shows that the proposed algorithm is a promising alternative as a globalization strategy.


title: Diffusion in time-dependent random media and the Kardar-Parisi-Zhang equation

abstract: Although time-dependent random media with short range correlations lead to (possibly biased) normal tracer diffusion, anomalous fluctuations occur away from the most probable direction. This was pointed out recently in 1D lattice random walks, where statistics related to the 1D Kardar- Parisi-Zhang (KPZ) universality class, i.e. the GUE Tracy Widom distribution, were shown to arise. Here we provide a simple picture for this correspondence, directly in the continuum as well as for lattice models, which allows to study arbitrary space dimension and to predict a variety of universal distributions. In $d = 1$ we predict and verify numerically the emergence of the GOE Tracy-Widom distribution for the fluctuations of the transition probability. In $d = 3$ we predict a phase transition from Gaussian fluctuations to 3D-KPZ type fluctuations as the bias is increased. We predict KPZ universal distributions for the arrival time of a first particle from a cloud diffusing in such media.


title: Non-linearity in monochromatic transmission tomography

abstract: While it is well known that X-ray tomography using a polychromatic source is non-linear, as the linear attenuation coefficient depends on the wavelength of the X-rays, tomography using near monochromatic sources are usually assumed to be a linear inverse problem. When sources and detectors are not treated as points the measurements are the integrals of the exponentials of line integrals and hence non-linear. In this paper we show that this non-linearity can be observed in realistic situations using both experimental measurements in a gamma-ray tomography system and simulations. We exhibit the Jacobian matrix of the non-linear forward problem. We also demonstrate a reconstruction algorithm, which we apply to experimental data and we show that improved reconstructions can be obtained over the linear approximation.


title: Singularity formation to the 2D Cauchy problem of the full compressible Navier-Stokes equations with zero heat conduction

abstract: The formation of singularity and breakdown of strong solutions to the two-dimensional (2D) Cauchy problem of the full compressible Navier-Stokes equations with zero heat conduction are considered. It is shown that for the initial density allowing vacuum, the strong solution exists globally if the density $\rho$ and the pressure $P$ satisfy $\|\rho\|_{L^{\infty}(0,T;L^\infty)}+\|P\|_{L^{\infty}(0,T;L^\infty)}<\infty$. In addition, the initial density can even have compact support. The logarithm-type estimate for the Lam{\'e} system and some weighted estimates play a crucial role in the proof.


title: Emergence of non-abelian magnetic monopoles in a quantum impurity problem

abstract: Recently it was shown that molecules rotating in superfluid helium can be described in terms of the angulon quasiparticles (Phys. Rev. Lett. 118, 095301 (2017)). Here we demonstrate that in the experimentally realized regime the angulon can be seen as a point charge on a 2-sphere interacting with a gauge field of a non-abelian magnetic monopole. Unlike in several other settings, the gauge fields of the angulon problem emerge in the real coordinate space, as opposed to the momentum space or some effective parameter space. Furthermore, we find a topological transition associated with making the monopole abelian, which takes place in the vicinity of the previously reported angulon instabilities. These results pave the way for studying topological phenomena in experiments on molecules trapped in superfluid helium nanodroplets, as well as on other realizations of orbital impurity problems.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.other physics.atom-ph quant-ph


title: Computation of extremal eigenvalues of high-dimensional lattice-theoretic tensors via tensor-train decompositions

abstract: This paper lies in the intersection of several fields: number theory, lattice theory, multilinear algebra, and scientific computing. We adapt existing solution algorithms for tensor eigenvalue problems to the tensor-train framework. As an application, we consider eigenvalue problems associated with a class of lattice-theoretic meet and join tensors, which may be regarded as multidimensional extensions of the classically studied meet and join matrices such as GCD and LCM matrices, respectively. In order to effectively apply the solution algorithms, we show that meet tensors have an explicit low-rank tensor-train decomposition with sparse tensor-train cores with respect to the dimension. Moreover, this representation is independent of tensor order, which eliminates the so-called curse of dimensionality from the numerical analysis of these objects and makes the solution of tensor eigenvalue problems tractable with increasing dimensionality and order. For LCM tensors it is shown that a tensor-train decomposition with an a priori known TT rank exists under certain assumptions. We present a series of easily reproducible numerical examples covering tensor eigenvalue and generalized eigenvalue problems that serve as future benchmarks. The numerical results are used to assess the sharpness of existing theoretical estimates.


title: Reverse engineering protocols for controlling spin dynamics

abstract: We put forward reverse engineering protocols to shape in time the components of the magnetic field to manipulate a single spin, two independent spins with different gyromagnetic factors, and two interacting spins in short amount of times. We also use these techniques to setup protocols robust against the exact knowledge of the gyromagnetic factors for the one spin problem, or to generate entangled states for two or more spins coupled by dipole-dipole interactions.


title: SpectRes: A Fast Spectral Resampling Tool in Python

abstract: I present a fast Python tool, SpectRes, for carrying out the resampling of spectral flux densities and their associated uncertainties onto different wavelength grids. The function works with any grid of wavelength values, including non-uniform sampling, and preserves the integrated flux. This may be of use for binning data to increase the signal to noise ratio, obtaining synthetic photometry, or resampling model spectra to match the sampling of observed data for spectral energy distribution fitting. The function can be downloaded from https://www.github.com/ACCarnall/SpectRes.


title: Dynamical patterns in active nematics on a sphere

abstract: Using agent-based simulations of self-propelled particles subject to short-range repulsion and nematic alignment we explore the dynamical phases of a dense active material confined to the surface of a sphere. We map the dynamical phase diagram as a function of curvature, alignment strength and activity and reproduce phases seen in recent experiments on active microtubules moving on the surfaces of vesicles. At low driving, we recover the equilibrium nematic ground state with four +1/2 defects. As the driving is increased, geodesic forces drive the transition to a band of polar matter wrapping around an equator, with large bald spots corresponding to two +1 defects at the poles. Finally, bands fold onto themselves, followed by the system moving into a turbulent state marked by active proliferation of pairs of topological defects. We highlight the role of nematic persistence length and time for pattern formation in these confined systems with finite curvature.


title: Remarks on the arithmetic fundamental lemma

abstract: W. Zhang's arithmetic fundamental lemma (AFL) is a conjectural identity between the derivative of an orbital integral on a symmetric space with an arithmetic intersection number on a unitary Rapoport-Zink space. In the minuscule case, Rapoport-Terstiege-Zhang have verified the AFL conjecture via explicit evaluation of both sides of the identity. We present a simpler way for evaluating the arithmetic intersection number, thereby providing a new proof of the AFL conjecture in the minuscule case.


title: Effective Capacity of Licensed-Assisted Access in Unlicensed Spectrum for 5G: From Theory to Application

abstract: License-assisted access (LAA) is a promising technology to offload dramatically increasing cellular traffic to unlicensed bands. Challenges arise from the provision of quality-of-service (QoS) and the quantification of capacity, due to the distributed and heterogeneous nature of LAA and legacy systems (such as WiFi) coexisting in the bands. In this paper, we develop new theories of the effective capacity to measure LAA under statistical QoS requirements. A new four-state semi-Markovian model is developed to capture transmission collisions, random backoffs, and lossy wireless channels of LAA in distributed heterogeneous network environments. A closed-form expression for the effective capacity is derived to comprehensively analyze LAA. The four-state model is further abstracted to an insightful two-state equivalent which reveals the concavity of the effective capacity in terms of transmit rate. Validated by simulations, the concavity is exploited to maximize the effective capacity and effective energy efficiency of LAA, and provide significant improvements of 62.7% and 171.4%, respectively, over existing approaches. Our results are of practical value to holistic designs and deployments of LAA systems.


title: Generalized eigenvalue problems for meet and join matrices on semilattices

abstract: We study generalized eigenvalue problems for meet and join matrices with respect to incidence functions on semilattices. We provide new bounds for generalized eigenvalues of meet matrices with respect to join matrices under very general assumptions. The applied methodology is flexible, and it is shown in the case of GCD and LCM matrices that even sharper bounds can be obtained by applying the known properties of the divisor lattice. These results can also be easily modified for the dual problem of eigenvalues of join matrices with respect to meet matrices, which we briefly consider as well. We investigate the effectiveness of the obtained bounds for select examples involving number-theoretical lattices.


title: Design Criteria to Architect Continuous Experimentation for Self-Driving Vehicles

abstract: The software powering today's vehicles surpasses mechatronics as the dominating engineering challenge due to its fast evolving and innovative nature. In addition, the software and system architecture for upcoming vehicles with automated driving functionality is already processing ~750MB/s - corresponding to over 180 simultaneous 4K-video streams from popular video-on-demand services. Hence, self-driving cars will run so much software to resemble "small data centers on wheels" rather than just transportation vehicles. Continuous Integration, Deployment, and Experimentation have been successfully adopted for software-only products as enabling methodology for feedback-based software development. For example, a popular search engine conducts ~250 experiments each day to improve the software based on its users' behavior. This work investigates design criteria for the software architecture and the corresponding software development and deployment process for complex cyber-physical systems, with the goal of enabling Continuous Experimentation as a way to achieve continuous software evolution. Our research involved reviewing related literature on the topic to extract relevant design requirements. The study is concluded by describing the software development and deployment process and software architecture adopted by our self-driving vehicle laboratory, both based on the extracted criteria.


title: Orbifold Construction for Topological Field Theories

abstract: An equivariant topological field theory is defined on a cobordism category of manifolds with principal fiber bundles for a fixed (finite) structure group. We provide a geometric construction which for any given morphism $G \to H$ of finite groups assigns in a functorial way to a $G$-equivariant topological field theory an $H$-equivariant topological field theory, the pushforward theory. When $H$ is the trivial group, this yields an orbifold construction for $G$-equivariant topological field theories which unifies and generalizes several known algebraic notions of orbifoldization.


title: Emotion in Reinforcement Learning Agents and Robots: A Survey

abstract: This article provides the first survey of computational models of emotion in reinforcement learning (RL) agents. The survey focuses on agent/robot emotions, and mostly ignores human user emotions. Emotions are recognized as functional in decision-making by influencing motivation and action selection. Therefore, computational emotion models are usually grounded in the agent's decision making architecture, of which RL is an important subclass. Studying emotions in RL-based agents is useful for three research fields. For machine learning (ML) researchers, emotion models may improve learning efficiency. For the interactive ML and human-robot interaction (HRI) community, emotions can communicate state and enhance user investment. Lastly, it allows affective modelling (AM) researchers to investigate their emotion theories in a successful AI agent class. This survey provides background on emotion theory and RL. It systematically addresses 1) from what underlying dimensions (e.g., homeostasis, appraisal) emotions can be derived and how these can be modelled in RL-agents, 2) what types of emotions have been derived from these dimensions, and 3) how these emotions may either influence the learning efficiency of the agent or be useful as social signals. We also systematically compare evaluation criteria, and draw connections to important RL sub-domains like (intrinsic) motivation and model-based RL. In short, this survey provides both a practical overview for engineers wanting to implement emotions in their RL agents, and identifies challenges and directions for future emotion-RL research.


title: Continuous Diffraction of Molecules and Disordered Molecular Crystals

abstract: The diffraction pattern of a single non-periodic compact object, such as a molecule, is continuous and is proportional to the square modulus of the Fourier transform of that object. When arrayed in a crystal, the coherent sum of the continuous diffracted wave-fields from all objects gives rise to strong Bragg peaks that modulate the single-object transform. Wilson statistics describe the distribution of continuous diffraction intensities to the same extent that they apply to Bragg diffraction. The continuous diffraction obtained from translationally-disordered molecular crystals consists of the incoherent sum of the wave-fields from the individual rigid units (such as molecules) in the crystal, which is proportional to the incoherent sum of the diffraction from the rigid units in each of their crystallographic orientations. This sum over orientations modifies the statistics in a similar way that crystal twinning modifies the distribution of Bragg intensities. These statistics are applied to determine parameters of continuous diffraction such as its scaling, the beam coherence, and the number of independent wave-fields or object orientations contributing. Continuous diffraction is generally much weaker than Bragg diffraction and may be accompanied by a background that far exceeds the strength of the signal. Instead of just relying upon the smallest measured intensities to guide the subtraction of the background it is shown how all measured values can be utilised to estimate the background, noise, and signal, by employing a modified "noisy Wilson" distribution that explicitly includes the background. Parameters relating to the background and signal quantities can be estimated from the moments of the measured intensities. The analysis method is demonstrated on previously-published continuous diffraction data measured from imperfect crystals of photosystem II.

categories: physics.optics cond-mat.dis-nn physics.bio-ph physics.data-an


title: Active translocation of a semiflexible polymer assisted by an ATP-based molecular motor

abstract: In this work we study the assisted translocation of a polymer across a membrane nanopore, inside which a molecular motor exerts a force fuelled by the hydrolysis of ATP molecules. In our model the motor switches to its active state for a fixed amount of time, while it waits for an ATP molecule binding and triggering the impulse, during an exponentially distributed time lapse. The polymer is modelled as a beads-springs chain with both excluded volume and bending contributions, and moves in a stochastic three dimensional environment modelled with a Langevin dynamics at fixed temperature. The resulting dynamics shows a Michaelis-Menten translocation velocity that depends on the chain flexibility. The scaling behavior of the mean translocation time with the polymer length for different bending values is also investigated.


title: The bi-layered precipitate phase zeta in the Al-Ag alloy system

abstract: The Al-Ag system is thought to be a well-understood model system used to study diffusional phase transformations in alloys. Here we report the existence of a new precipitate phase, zeta, in this classical system using scanning transmission electron microscopy (STEM). The zeta phase has a modulated structure composed of alternating bilayers enriched in Al or Ag. Our in situ annealing experiments reveal that the zeta phase is an intermediate precipitate phase between GP zones epsilon and gamma prime. First-principles calculations show that z is a local energy minimum state formed during Ag clustering in Al. The layered structure of zeta is analogous to the well-known Ag segregation at the precipitate-matrix interfaces when Ag is micro- alloyed in various aluminium alloys.


title: On the Maximum Crossing Number

abstract: Research about crossings is typically about minimization. In this paper, we consider \emph{maximizing} the number of crossings over all possible ways to draw a given graph in the plane. Alpert et al. [Electron. J. Combin., 2009] conjectured that any graph has a \emph{convex} straight-line drawing, e.g., a drawing with vertices in convex position, that maximizes the number of edge crossings. We disprove this conjecture by constructing a planar graph on twelve vertices that allows a non-convex drawing with more crossings than any convex one. Bald et al. [Proc. COCOON, 2016] showed that it is NP-hard to compute the maximum number of crossings of a geometric graph and that the weighted geometric case is NP-hard to approximate. We strengthen these results by showing hardness of approximation even for the unweighted geometric case and prove that the unweighted topological case is NP-hard.


title: Observation of Narrow $N^+(1685)$ and $N^0(1685)$ Resonances in $\gamma N \to \eta \pi N$ Reactions

abstract: Observation of a narrow structure at $W\sim 1.68$ GeV in the excitation functions of some photon- and pion-induced reactions may signal a new narrow isospin-1/2 $N(1685)$ resonance. New data on the $\gamma N \to \pi \eta N$ reactions from GRAAL seems to reveal the signals of both $N^+(1685)$ and $N^0(1685)$ resonances.


title: On thin plate spline interpolation

abstract: We present a simple, PDE-based proof of the result [M. Johnson, 2001] that the error estimates of [J. Duchon, 1978] for thin plate spline interpolation can be improved by $h^{1/2}$. We illustrate that ${\mathcal H}$-matrix techniques can successfully be employed to solve very large thin plate spline interpolation problems


title: CLASH-VLT: constraints on $f(R)$ gravity models with galaxy clusters using lensing and kinematic analyses

abstract: We perform a maximum likelihood kinematic analysis of the two dynamically relaxed galaxy clusters MACS J1206.2-0847 at $z=0.44$ and RXC J2248.7-4431 at $z=0.35$ to determine the total mass profile in modified gravity models, using a modified version of the MAMPOSSt code of Mamon, Biviano and Bou\'e. Our work is based on the kinematic and lensing mass profiles derived using the data from the Cluster Lensing And Supernova survey with Hubble (hereafter CLASH) and the spectroscopic follow-up with the Very Large Telescope (hereafter CLASH-VLT). We assume a spherical Navarro-Frenk-White (NFW hereafter) profile in order to obtain a constraint on the fifth force interaction range $\lambda$ for models in which the dependence of this parameter on the enviroment is negligible at the scale considered (i.e. $\lambda=const$) and fixing the fifth force strength to the value predicted in $f(R)$ gravity. We then use information from lensing analysis to put a prior on the other NFW free parameters. In the case of MACSJ 1206 the joint kinematic+lensing analysis leads to an upper limit on the effective interaction range $\lambda\le1.61\,\mbox{Mpc}$ at $\Delta\chi^{2}=2.71$ on the marginalized distribution. For RXJ 2248 instead a possible tension with the $\Lambda$CDM model appears when adding lensing information, with a lower limit $\lambda\ge0.14\,\mbox{Mpc}$ at $\Delta\chi^{2}=2.71$. This is consequence of the slight difference between the lensing and kinematic data, appearing in GR for this cluster, that could be explained in terms of modifications of gravity. We discuss the impact of systematics and the limits of our analysis as well as future improvements of the results obtained.[...]


title: Mosquito Detection with Neural Networks: The Buzz of Deep Learning

abstract: Many real-world time-series analysis problems are characterised by scarce data. Solutions typically rely on hand-crafted features extracted from the time or frequency domain allied with classification or regression engines which condition on this (often low-dimensional) feature vector. The huge advances enjoyed by many application domains in recent years have been fuelled by the use of deep learning architectures trained on large data sets. This paper presents an application of deep learning for acoustic event detection in a challenging, data-scarce, real-world problem. Our candidate challenge is to accurately detect the presence of a mosquito from its acoustic signature. We develop convolutional neural networks (CNNs) operating on wavelet transformations of audio recordings. Furthermore, we interrogate the network's predictive power by visualising statistics of network-excitatory samples. These visualisations offer a deep insight into the relative informativeness of components in the detection problem. We include comparisons with conventional classifiers, conditioned on both hand-tuned and generic features, to stress the strength of automatic deep feature learning. Detection is achieved with performance metrics significantly surpassing those of existing algorithmic methods, as well as marginally exceeding those attained by individual human experts.


title: Determinantal point process mixtures via spectral density approach

abstract: We consider mixture models where location parameters are a priori encouraged to be well separated. We explore a class of determinantal point process (DPP) mixture models, which provide the desired notion of separation or repulsion. Instead of using the rather restrictive case where analytical results are available, we adopt a spectral representation from which approximations to the DPP intensity functions can be readily computed. For the sake of concreteness the presentation focuses on a power exponential spectral density, but the proposed approach is in fact quite general. We later extend our model to incorporate covariate information in the likelihood and also in the assignment to mixture components, yielding a trade-off between repulsiveness of locations in the mixtures and attraction among subjects with similar covariates. We develop full Bayesian inference, and explore model properties and posterior behavior using several simulation scenarios and data illustrations.


title: Asymptotic behavior for the radial eigenvalues of p-Laplacian in certain annular domains

abstract: In this paper we prove an asymptotic behavior for the radial eigenvalues to the Dirichlet $p$-Laplacian problem $-\Delta_p\,u = \lambda\,|u|^{p-2}u$ in $\Omega$, $u=0$ on $\partial\Omega$, where $\Omega$ is an annular domain $\Omega=\Omega_{R,\overline{R}}$ in $\mathbb{R}^N$.


title: Representation learning of drug and disease terms for drug repositioning

abstract: Drug repositioning (DR) refers to identification of novel indications for the approved drugs. The requirement of huge investment of time as well as money and risk of failure in clinical trials have led to surge in interest in drug repositioning. DR exploits two major aspects associated with drugs and diseases: existence of similarity among drugs and among diseases due to their shared involved genes or pathways or common biological effects. Existing methods of identifying drug-disease association majorly rely on the information available in the structured databases only. On the other hand, abundant information available in form of free texts in biomedical research articles are not being fully exploited. Word-embedding or obtaining vector representation of words from a large corpora of free texts using neural network methods have been shown to give significant performance for several natural language processing tasks. In this work we propose a novel way of representation learning to obtain features of drugs and diseases by combining complementary information available in unstructured texts and structured datasets. Next we use matrix completion approach on these feature vectors to learn projection matrix between drug and disease vector spaces. The proposed method has shown competitive performance with state-of-the-art methods. Further, the case studies on Alzheimer's and Hypertension diseases have shown that the predicted associations are matching with the existing knowledge.


title: Ising model on Cayley trees: a new class of Gibbs measures and their comparison with known ones

abstract: For the Ising model on Cayley trees we give a very wide class of new Gibbs measures. We show that these new measures are extreme under some conditions on the temperature. We give a review of all known Gibbs measures of the Ising model on trees and compare them with our new measures.


title: Analysis of Energy and QUadratic Invariant Preserving (EQUIP) methods

abstract: In this paper we are concerned with the analysis of a class of geometric integrators, at first devised in [14, 18], which can be regarded as an energy-conserving variant of Gauss collocation methods. With these latter they share the property of conserving quadratic first integrals but, in addition, they also conserve the Hamiltonian function itself. We here reformulate the methods in a more convenient way, and propose a more refined analysis than that given in [18] also providing, as a by-product, a practical procedure for their implementation. A thorough comparison with the original Gauss methods is carried out by means of a few numerical tests solving Hamiltonian and Poisson problems.


title: Tensorial dynamics on the space of quantum states

abstract: A geometric description of the space of states of a finite-dimensional quantum system and of the Markovian evolution associated with the Kossakowski-Lindblad operator is presented. This geometric setting is based on two composition laws on the space of observables defined by a pair of contravariant tensor fields. The first one is a Poisson tensor field that encodes the commutator product and allows us to develop a Hamiltonian mechanics. The other tensor field is symmetric, encodes the Jordan product and provides the variances and covariances of measures associated with the observables. This tensorial formulation of quantum systems is able to describe, in a natural way, the Markovian dynamical evolution as a vector field on the space of states. Therefore, it is possible to consider dynamical effects on non-linear physical quantities, such as entropies, purity and concurrence. In particular, in this work the tensorial formulation is used to consider the dynamical evolution of the symmetric and skew-symmetric tensors and to read off the corresponding limits as giving rise to a contraction of the initial Jordan and Lie products.


abstract: A new $Z$-eigenvalue inclusion theorem for tensors is given and proved to be tighter than those in [G. Wang, G.L. Zhou, L. Caccetta, $Z$-eigenvalue inclusion theorems for tensors, Discrete and Continuous Dynamical Systems Series B,22(1) (2017) 187--198]. Based on this set, a sharper upper bound for the $Z$-spectral radius of weakly symmetric nonnegative tensors is obtained. Finally, numerical examples are given to show the effectiveness of the proposed bound.


title: Anisotropic Variable Hardy-Lorentz Spaces and Their Real Interpolation

abstract: Let $p(\cdot):\ \mathbb R^n\to(0,\infty)$ be a variable exponent function satisfying the globally log-H\"{o}lder continuous condition, $q\in(0,\infty]$ and $A$ be a general expansive matrix on $\mathbb{R}^n$. In this article, the authors first introduce the anisotropic variable Hardy-Lorentz space $H_A^{p(\cdot),q}(\mathbb R^n)$ associated with $A$, via the radial grand maximal function, and then establish its radial or non-tangential maximal function characterizations. Moreover, the authors also obtain characterizations of $H_A^{p(\cdot),q}(\mathbb R^n)$, respectively, in terms of the atom and the Lusin area function. As an application, the authors prove that the anisotropic variable Hardy-Lorentz space $H_A^{p(\cdot),q}(\mathbb R^n)$ severs as the intermediate space between the anisotropic variable Hardy space $H_A^{p(\cdot)}(\mathbb R^n)$ and the space $L^\infty(\mathbb R^n)$ via the real interpolation. This, together with a special case of the real interpolation theorem of H. Kempka and J. Vyb\'iral on the variable Lorentz space, further implies the coincidence between $H_A^{p(\cdot),q}(\mathbb R^n)$ and the variable Lorentz space $L^{p(\cdot),q}(\mathbb R^n)$ when $\mathop\mathrm{essinf}_{x\in\mathbb{R}^n}p(x)\in (1,\infty)$.


title: Cosmic matter from dark electroweak phase transition with neutrino mass generation

abstract: We consider a dark electroweak phase transition, during which a baryon asymmetry in the dark neutrons and an equal lepton asymmetry in the dark Dirac neutrinos can be simultaneously induced by the CP-violating reflection of the dark fermions off the expanding dark Higgs bubbles. The Yukawa couplings for generating the ordinary Majorana neutrino masses can partially convert the dark lepton asymmetry to an ordinary baryon asymmetry in association with the ordinary sphaleron processes. The dark neutron can have a determined mass to serve as a dark matter particle. By further imposing a proper mirror symmetry, the Majorana neutrino mass matrix can have a form of linear seesaw while its Dirac CP phase can provide a unique source for the required CP violation.


title: Enumeration of meanders and Masur-Veech volumes

abstract: A meander is a topological configuration of a line and a simple closed curve in the plane (or a pair of simple closed curves on the 2-sphere) intersecting transversally. Meanders can be traced back to H. Poincar\'e and naturally appear in various areas of mathematics, theoretical physics and computational biology (in particular, they provide a model of polymer folding). Enumeration of meanders is an important open problem. The number of meanders with 2N crossings grows exponentially when N grows, but the longstanding problem on the precise asymptotics is still out of reach. We show that the situation becomes more tractable if one additionally fixes the topological type (or the total number of minimal arcs) of a meander. Then we are able to derive simple asymptotic formulas for the numbers of meanders as N tends to infinity. We also compute the asymptotic probability of getting a simple closed curve on a sphere by identifying the endpoints of two arc systems (one on each of the two hemispheres) along the common equator. The new tools we bring to bear are based on interpretation of meanders as square-tiled surfaces with one horizontal and one vertical cylinders. The proofs combine recent results on Masur-Veech volumes of the moduli spaces of meromorphic quadratic differentials in genus zero with our new observation that horizontal and vertical separatrix diagrams of integer quadratic differentials are asymptotically uncorrelated. The additional combinatorial constraints we impose in this article yield explicit polynomial asymptotics.


title: Determinants of gait stability while walking on a treadmill: a machine learning approach

abstract: Dynamic balance in human locomotion can be assessed through the local dynamic stability (LDS) method. Whereas gait LDS has been used successfully in many settings and applications, little is known about its sensitivity to individual characteristics of healthy adults. Therefore, we reanalyzed a large dataset of accelerometric data measured for 100 healthy adults from 20 to 70 years of age performing 10 min. treadmill walking. We sought to assess the extent to which the variations of age, body mass and height, sex, and preferred walking speed (PWS) could influence gait LDS. The random forest (RF) and multiple adaptive regression splines (MARS) algorithms were selected for their good bias-variance tradeoff and their capabilities to handle nonlinear associations. First, through variable importance measure (VIM), we used RF to evaluate which individual characteristics had the highest influence on gait LDS. Second, we used MARS to detect potential interactions among individual characteristics that may influence LDS. The VIM and MARS results indicated that PWS and age correlated with LDS, whereas no associations were found for sex, body height, and body mass. Further, the MARS model detected an age by PWS interaction: on one hand, at high PWS, gait stability is constant across age while, on the other hand, at low PWS, gait instability increases substantially with age. We conclude that it is advisable to consider the participants' age as well as their PWS to avoid potential biases in evaluating dynamic balance through LDS.


title: Simplicial Waldhausen categories and topological $K$-theory

abstract: Utilizing simplicial Waldhausen theory, we prove that the geometric realization of the topologized category of bounded chain complexes over complex numbers (resp. real numbers) is an infinite loop space that represents connective complex (resp. real) topological K-theory. The key ingredient in our proof is a generalized Waldhausen comparison theorem.


title: Experimental and theoretical study of AC losses in variable asymmetrical magnetic environments

abstract: Measurements of AC losses in a HTS-tape placed in between of two bulk magnetic shields of high permeability were performed by applying calorimetric techniques for various asymmetrical shielding arrangements. The experiment was supported by analytical calculations and finite-element simulations of the field and current distributions, based on the Bean model of the critical state. The simulated current and field profiles perfectly reproduce the analytic solutions known for certain shielding geometries. The evaluation of the consequent AC losses exhibits good agreement with measurements for the central position of the tape between the magnets but increasing discrepancy when the tape is approaching the shields. This can be explained by the increasing contribution of the eddy currents and magnetic hysteresis losses in the conducting shields.


title: Total variation distance between stochastic polynomials and invariance principles

abstract: The goal of this paper is to estimate the total variation distance between two general stochastic polynomials. As a consequence one obtains an invariance principle for such polynomials. This generalizes known results concerning the total variation distance between two multiple stochastic integrals on one hand, and invariance principles in Kolmogorov distance for multi-linear stochastic polynomials on the other hand. As an application we first discuss the asymptotic behavior of U-statistics associated to polynomial kernels. Moreover we also give an example of CLT associated to quadratic forms.


title: Orbital Solutions and Absolute Elements of the W UMa Binary MW Pavonis

abstract: We present differential $UBV$ photoelectric photometry obtained by Williamon of the short-period A-type W~UMa binary MW~Pav. With the Wilson-Devinney analysis program we obtained a simultaneous solution of these observations with the $UBV$ photometry of Lapasset (1977,1980), the $V$ measurements by the $ASAS$ program, and the double-lined radial velocity measurements of Rucinski & Duerbeck (2006). Our solution indicates that MW~Pav is in an overcontact state, where both components exceed their critical Roche lobes. We derive masses of $M_1 = 1.514 \pm 0.063 \, M_\sun$ and $M_2 = 0.327 \pm 0.014 \, M_\sun$, and equal-volume radii of $R_1 = 2.412 \pm 0.034 \, R_\sun$ and $R_2 = 1.277 \pm 0.019 \, R_\sun$ for the primary and secondary, respectively. The system is assumed to have a circular orbit and is seen at an inclination of $86.39\arcdeg \pm 0.63\arcdeg$. The effective temperature of the primary was held fixed at $6900$~K, whereas the secondary's temperature was found to be $6969 \pm 10$~K. The asymmetry of the light curves requires a large, single star spot on the smaller, less massive secondary component. A consistent base solution, with different spot characteristics for the Williamon, Lapasset, and $ASAS$ data, was found. The modeled spot varied little during the 40-year range of photometric observations. The combined solution utilized a third light component and found that the period is changing at a rate of dP/dt~=~$(6.50 \pm 0.19) \times 10^{-10}$.


title: Secondary isocurvature perturbations from acoustic reheating

abstract: The superhorizon (iso)curvature perturbations are conserved if the following conditions are satisfied: (i) (each) non adiabatic pressure perturbation is zero, (ii) the gradient terms are ignored, that is, at the leading order of the gradient expansion (iii) (each) total energy momentum tensor is conserved. We consider the case with the violation of the last two requirements and discuss the generation of secondary isocurvature perturbations during the late time universe. Second order gradient terms are not necessarily ignored even if we are interested in the long wavelength modes because of the convolutions which may pick products of short wavelength perturbations up. We then introduce second order conserved quantities on superhorizon scales under the conditions (i) and (iii) even in the presence of the gradient terms by employing the full second order cosmological perturbation theory. We also discuss the violation of the condition (iii), that is, the energy momentum tensor is conserved for the total system but not for each component fluid. As an example, we explicitly evaluate second order heat conduction between baryons and photons due to the weak Compton scattering, which dominates the period just before recombination. We show that such secondary effects can be recast into the isocurvature perturbations on superhorizon scales if the local type primordial non Gaussianity exists a priori.


title: Convex Coupled Matrix and Tensor Completion

abstract: We propose a set of convex low rank inducing norms for a coupled matrices and tensors (hereafter coupled tensors), which shares information between matrices and tensors through common modes. More specifically, we propose a mixture of the overlapped trace norm and the latent norms with the matrix trace norm, and then, we propose a new completion algorithm based on the proposed norms. A key advantage of the proposed norms is that it is convex and can find a globally optimal solution, while existing methods for coupled learning are non-convex. Furthermore, we analyze the excess risk bounds of the completion model regularized by our proposed norms which show that our proposed norms can exploit the low rankness of coupled tensors leading to better bounds compared to uncoupled norms. Through synthetic and real-world data experiments, we show that the proposed completion algorithm compares favorably with existing completion algorithms.


title: Finite Representability of Integers as $2$-Sums

abstract: A set $\mathcal{A}$ is said to be an additive $h$-basis if each element in $\{0,1,\ldots,hn\}$ can be written as an $h$-sum of elements of $\mathcal{A}$ in {\it at least} one way. We seek multiple representations as $h$-sums, and, in this paper we make a start by restricting ourselves to $h=2$. We say that $\mathcal{A}$ is said to be a truncated $(\alpha,2,g)$ additive basis if each $j\in[\alpha n, (2-\alpha)n]$ can be represented as a $2$-sum of elements of $\mathcal{A}$ in at least $g$ ways. In this paper, we provide sharp asymptotics for the event that a randomly selected set is a truncated $(\alpha,2,g)$ additive basis with high or low probability.


title: ADE String Chains and Mirror Symmetry

abstract: 6d superconformal field theories (SCFTs) are the SCFTs in the highest possible dimension. They can be geometrically engineered in F-theory by compactifying on non-compact elliptic Calabi-Yau manifolds. In this paper we focus on the class of SCFTs whose base geometry is determined by $-2$ curves intersecting according to ADE Dynkin diagrams and derive the corresponding mirror Calabi-Yau manifold. The mirror geometry is uniquely determined in terms of the mirror curve which has also an interpretation in terms of the Seiberg-Witten curve of the four-dimensional theory arising from torus compactification. Adding the affine node of the ADE quiver to the base geometry, we connect to recent results on SYZ mirror symmetry for the $A$ case and provide a physical interpretation in terms of little string theory. Our results, however, go beyond this case as our construction naturally covers the $D$ and $E$ cases as well.


title: Mixed-pairing superconductivity in 5d Mott insulators with antisymmetric exchange

abstract: We investigate the potential existence of a superconducting phase in $5d$ Mott insulators with an eye to hole doped Sr$_2$IrO$_4$. Using a mean-field method, a mixed singlet-triplet superconductivity, $d + p$, is observed due to the antisymmetric exchange originating from a quasi-spin-orbit-coupling. Our calculation on ribbon geometry shows possible existence of the topologically protected edge states, because of nodal structure of the superconducting gap. These edge modes are spin polarized and emerge as zero-energy flat bands, supporting a symmetry protected Majorana states, verified by evaluation of winding number and $\mathbb{Z}_2$ topological invariant. At the end, a possible experimental approach for observation of these edge states and determination of the superconducting gap symmetry are discussed based on the quasi-particle interference (QPI) technique.


title: On the convergence rate of the Dirichlet-Neumann iteration for unsteady thermal fluid structure interaction

abstract: We consider the Dirichlet-Neumann iteration for partitioned simulation of thermal fluid-structure interaction, also called conjugate heat transfer. We analyze its convergence rate for two coupled fully discretized 1D linear heat equations with jumps in the material coefficients across these. These are discretized using implicit Euler in time, a finite element method on one domain, a finite volume method on the other one and variable aspect ratio. We provide an exact formula for the spectral radius of the iteration matrix. This shows that for large time steps, the convergence rate is the aspect ratio times the quotient of heat conductivities and that decreasing the time step will improve the convergence rate. Numerical results confirm the analysis and show that the 1D formula is a good estimator in 2D and even for nonlinear thermal FSI applications.


title: Excitons versus electron-hole plasma in monolayer transition metal dichalcogenide semiconductors

abstract: When electron-hole pairs are excited in a semiconductor, it is a priori not clear if they form a fermionic plasma of unbound particles or a bosonic exciton gas. Usually, the exciton phase is associated with low temperatures. In atomically thin transition metal dichalcogenide semiconductors, excitons are particularly important even at room temperature due to strong Coulomb interaction and a large exciton density of states. Using state-of-the-art many-body theory including dynamical screening, we show that the exciton-to-plasma ratio can be efficiently tuned by dielectric substrate screening as well as charge carrier doping. Moreover, we predict a Mott transition from the exciton-dominated regime to a fully ionized electron-hole plasma at excitation densities between $3\times10^{12}$ cm$^{-2}$ and $1\times10^{13}$ cm$^{-2}$ depending on temperature, carrier doping and dielectric environment. We propose the observation of these effects by studying excitonic satellites in photoemission spectroscopy and scanning tunneling microscopy.


title: On The Feasibility of Exomoon Detection Via Exoplanet Phase Curve Spectral Contrast

abstract: An exoplanet-exomoon system presents a superposition of phase curves to observers - the dominant component varies according to the planetary period, and the lesser varies according to both the planetary and the lunar period. If the spectra of the two bodies differs significantly, then it is likely there are wavelength regimes where the contrast between the moon and planet is significantly larger. In principle, this effect could be used to isolate periodic oscillations in the combined phase curve. Being able to detect the exomoon component would allow a characterisation of the exomoon radius, and potentially some crude atmospheric data. We run a parameter survey of combined exoplanet-exomoon phase curves, which show that for most sets of planet-moon parameters, the lunar component of the phase curve is undetectable to current state-of-the-art transit observations. Even with future transit survey missions, measuring the exomoon signal will most likely require photometric precision of 10 parts per million or better. The only exception to this is if the moon is strongly tidally heated or in some way self-luminous. In this case, measurements of the phase curve at wavelengths greater than a few microns can be dominated by the lunar contribution. Instruments like the James Webb Space Telescope and its successors are needed to make this method feasible.


title: QCD Results from HERA

abstract: New results on the measurements of the hadronic final state in neutral-current deep-inelastic scattering at HERA are presented. A combination of reduced charm and beauty cross sections is presented and the masses of the heavy quarks are determined to $m_c=1290\,(^{+78}_{-53})\,{\rm MeV}$ and $m_b=4049\,(^{+138}_{-118})\,{\rm MeV}$. The measurement of the production of prompt photons accompanied by a jet provides a precise test of QCD predictions. Measurements of jet production cross sections are presented and compared for the first time to next-to-next-to-leading order predictions (NNLO). The strong coupling constant is determined from inclusive jet and dijet production cross sections using NNLO predictions to $\alpha_s(m_Z)=0.1157\,(6)_{\rm exp}\,(^{+31}_{-26})_{\rm th}$.


title: Post-flare Formation of the Accretion Stream and a Dip in Pulse Profiles of LMC X-4

abstract: We report here a pulse profile evolution study of an accreting X-ray pulsar LMC X-4 during and after the large X-ray flares using data from the two observatories XMM-Newton and RXTE. During the flares, the pulse profiles were found to have a significant phase offset in the range of 0.2-0.5 compared to the pulse profiles immediately before or after the flare. Investigating the pulse profiles for about 10^5 seconds after the flares, it was found that it takes about 2000-4000 seconds for the modified accretion column to return to its normal structure and formation of an accretion stream that causes a dip in the pulse profile of LMC X-4. We have also carried out pulse phase resolved spectroscopy of LMC X-4 in narrow phase bins using data from EPIC-pn and spectroscopically confirmed the pulsating nature of the soft spectral component, having a pulse fraction and phase different from that of the power-law component.


title: ResumeVis: A Visual Analytics System to Discover Semantic Information in Semi-structured Resume Data

abstract: Massive public resume data emerging on the WWW indicates individual-related characteristics in terms of profile and career experiences. Resume Analysis (RA) provides opportunities for many applications, such as talent seeking and evaluation. Existing RA studies based on statistical analyzing have primarily focused on talent recruitment by identifying explicit attributes. However, they failed to discover the implicit semantic information, i.e., individual career progress patterns and social-relations, which are vital to comprehensive understanding of career development. Besides, how to visualize them for better human cognition is also challenging. To tackle these issues, we propose a visual analytics system ResumeVis to mine and visualize resume data. Firstly, a text-mining based approach is presented to extract semantic information. Then, a set of visualizations are devised to represent the semantic information in multiple perspectives. By interactive exploration on ResumeVis performed by domain experts, the following tasks can be accomplished: to trace individual career evolving trajectory; to mine latent social-relations among individuals; and to hold the full picture of massive resumes' collective mobility. Case studies with over 2500 online officer resumes demonstrate the effectiveness of our system. We provide a demonstration video.


title: Design of a Very Compact CNN Classifier for Online Handwritten Chinese Character Recognition Using DropWeight and Global Pooling

abstract: Currently, owing to the ubiquity of mobile devices, online handwritten Chinese character recognition (HCCR) has become one of the suitable choice for feeding input to cell phones and tablet devices. Over the past few years, larger and deeper convolutional neural networks (CNNs) have extensively been employed for improving character recognition performance. However, its substantial storage requirement is a significant obstacle in deploying such networks into portable electronic devices. To circumvent this problem, we propose a novel technique called DropWeight for pruning redundant connections in the CNN architecture. It is revealed that the proposed method not only treats streamlined architectures such as AlexNet and VGGNet well but also exhibits remarkable performance for deep residual network and inception network. We also demonstrate that global pooling is a better choice for building very compact online HCCR systems. Experiments were performed on the ICDAR-2013 online HCCR competition dataset using our proposed network, and it is found that the proposed approach requires only 0.57 MB for storage, whereas state-of-the-art CNN-based methods require up to 135 MB; meanwhile the performance is decreased only by 0.91%.


title: Doppler-free resolution near-infrared spectroscopy at 1.28~$\mu$m with the noise-immune cavity-enhanced optical heterodyne molecular spectroscopy method

abstract: We report on the Doppler-free saturation spectroscopy of the nitrous oxide (N$_2$O) overtone transition at 1.28~$\mu$m. This measurement is performed by the noise-immune cavity-enhanced optical heterodyne molecular spectroscopy (NICE-OHMS) technique based on the quantum-dot (QD) laser. A high intra-cavity power, up to 10~W, reaches the saturation limit of the overtone line using an optical cavity with a high finesse of 113,500. At a pressure of several mTorr, the saturation dip is observed with a full width at half-maximum of about 2~MHz and a signal-to-noise ratio of 71. To the best of our knowledge, this is the first saturation spectroscopy of molecular overtone transitions in 1.3~$\mu$m region. The QD laser is then locked to this dispersion signal with a stability of 15 kHz at 1 sec integration time. We demonstrate the potential of the N$_2$O as markers because of its particularly rich spectrum at the vicinity of 1.28-1.30 $\mu$m where lies several important forbidden transitions of atomic parity violation measurements and the 1.3 $\mu$m O-band of optical communication.


title: Evaluating Rapid Application Development with Python for Heterogeneous Processor-based FPGAs

abstract: As modern FPGAs evolve to include more het- erogeneous processing elements, such as ARM cores, it makes sense to consider these devices as processors first and FPGA accelerators second. As such, the conventional FPGA develop- ment environment must also adapt to support more software- like programming functionality. While high-level synthesis tools can help reduce FPGA development time, there still remains a large expertise gap in order to realize highly performing implementations. At a system-level the skill set necessary to integrate multiple custom IP hardware cores, interconnects, memory interfaces, and now heterogeneous processing elements is complex. Rather than drive FPGA development from the hardware up, we consider the impact of leveraging Python to ac- celerate application development. Python offers highly optimized libraries from an incredibly large developer community, yet is limited to the performance of the hardware system. In this work we evaluate the impact of using PYNQ, a Python development environment for application development on the Xilinx Zynq devices, the performance implications, and bottlenecks associated with it. We compare our results against existing C-based and hand-coded implementations to better understand if Python can be the glue that binds together software and hardware developers.


title: On Popov's formula involving the Von Mangoldt function

abstract: We offer a generalization of a formula of Popov involving the Von Mangoldt function. Some commentary on its relation to other results in analytic number theory is mentioned as well as an analogue involving the m$\ddot{o}$bius function.


title: On-Grid DOA Estimation Method Using Orthogonal Matching Pursuit

abstract: Direction of Arrival (DOA) estimation of multiple narrow-band coherent or partially coherent sources is a major challenge in array signal processing. Though many subspace- based algorithms are available in literature, none of them tackle the problem of resolving coherent sources directly, e.g. without modifying the sample data covariance matrix. Compressive Sensing (CS) based sparse recovery algorithms are being applied as a novel technique to this area. In this paper, we introduce Orthogonal Matching Pursuit (OMP) to the DOA estimation problem. We demonstrate how a DOA estimation problem can be modelled for sparse recovery problem and then exploited using OMP to obtain the set of DOAs. Moreover, this algorithm uses only one snapshot to obtain the results. The simulation results demonstrate the validity and advantages of using OMP algorithm over the existing subspace- based algorithms.


title: Wireless Energy Beamforming using Received Signal Strength Indicator Feedback

abstract: Multiple antenna techniques that allow energy beamforming have been looked upon as a possible candidate for increasing the transfer efficiency between the energy transmitter (ET) and the energy receiver (ER) in wireless power transfer. This paper introduces a novel scheme that facilitates energy beamforming by utilizing Received Signal Strength Indicator (RSSI) values to estimate the channel. Firstly, in the training stage, the ET will transmit using each beamforming vector in a codebook, which is pre-defined using a Cramer-Rao lower bound analysis. RSSI value corresponding to each beamforming vector is fed back to the ET, and these values are used to estimate the channel through a maximum likelihood analysis. The results that are obtained are remarkably simple, requires minimal processing, and can be easily implemented. The paper also validates the analytical results numerically, as well as experimentally, and it is shown that the proposed method achieves impressive results.


title: Weierstrass Pure Gaps From a Quotient of the Hermitian Curve

abstract: In this paper, by employing the results over Kummer extensions, we give an arithmetic characterization of pure gaps at many totally ramified places over the quotients of Hermitian curves, including the well-studied Hermitian curves as special cases. The cardinality of these pure gaps is explicitly investigated. In particular, the numbers of gaps and pure gaps at a pair of distinct places are determined precisely, which can be regarded as an extension of the previous work by Matthews (2001) considered Hermitian curves. Additionally, some concrete examples are provided to illustrate our results.


title: Exact Statistical Characterization of $2\times2$ Gram Matrices with Arbitrary Variance Profile

abstract: This paper is concerned with the statistical properties of the Gram matrix $\mathbf{W}=\mathbf{H}\mathbf{H}^\dagger$, where $\mathbf{H}$ is a $2\times2$ complex central Gaussian matrix whose elements have arbitrary variances. With such arbitrary variance profile, this random matrix model fundamentally departs from classical Wishart models and presents a significant challenge as the classical analytical toolbox no longer directly applies. We derive new exact expressions for the distribution of $\mathbf{W}$ and that of its eigenvalues by means of an explicit parameterization of the group of unitary matrices. Our results yield remarkably simple expressions, which are further leveraged to study the outage data rate of a dual-antenna communication system under different variance profiles.


title: Beamspace SU-MIMO for Future Millimeter Wave Wireless Communications

abstract: For future networks (i.e., the fifth generation (5G) wireless networks and beyond), millimeter-wave (mmWave) communication with large available unlicensed spectrum is a promising technology that enables gigabit multimedia applications. Thanks to the short wavelength of mmWave radio, massive antenna arrays can be packed into the limited dimensions of mmWave transceivers. Therefore, with directional beamforming (BF), both mmWave transmitters (MTXs) and mmWave receivers (MRXs) are capable of supporting multiple beams in 5G networks. However, for the transmission between an MTX and an MRX, most works have only considered a single beam, which means that they do not make full potential use of mmWave. Furthermore, the connectivity of single beam transmission can easily be blocked. In this context, we propose a single-user multi-beam concurrent transmission scheme for future mmWave networks with multiple reflected paths. Based on spatial spectrum reuse, the scheme can be described as a multiple-input multiple-output (MIMO) technique in beamspace (i.e., in the beam-number domain). Moreover, this study investigates the challenges and potential solutions for implementing this scheme, including multibeam selection, cooperative beam tracking, multi-beam power allocation and synchronization. The theoretical and numerical results show that the proposed beamspace SU-MIMO can largely improve the achievable rate of the transmission between an MTX and an MRX and, meanwhile, can maintain the connectivity.


title: On some common compressive sensing recovery algorithms and applications - Review paper

abstract: Compressive Sensing, as an emerging technique in signal processing is reviewed in this paper together with its common applications. As an alternative to the traditional signal sampling, Compressive Sensing allows a new acquisition strategy with significantly reduced number of samples needed for accurate signal reconstruction. The basic ideas and motivation behind this approach are provided in the theoretical part of the paper. The commonly used algorithms for missing data reconstruction are presented. The Compressive Sensing applications have gained significant attention leading to an intensive growth of signal processing possibilities. Hence, some of the existing practical applications assuming different types of signals in real-world scenarios are described and analyzed as well.


title: Complex Block Floating-Point Format with Box Encoding For Wordlength Reduction in Communication Systems

abstract: We propose a new complex block floating-point format to reduce implementation complexity. The new format achieves wordlength reduction by sharing an exponent across the block of samples, and uses box encoding for the shared exponent to reduce quantization error. Arithmetic operations are performed on blocks of samples at time, which can also reduce implementation complexity. For a case study of a baseband quadrature amplitude modulation (QAM) transmitter and receiver, we quantify the tradeoffs in signal quality vs. implementation complexity using the new approach to represent IQ samples. Signal quality is measured using error vector magnitude (EVM) in the receiver, and implementation complexity is measured in terms of arithmetic complexity as well as memory allocation and memory input/output rates. The primary contributions of this paper are (1) a complex block floating-point format with box encoding of the shared exponent to reduce quantization error, (2) arithmetic operations using the new complex block floating-point format, and (3) a QAM transceiver case study to quantify signal quality vs. implementation complexity tradeoffs using the new format and arithmetic operations.


title: Optimizing the Drude-Lorentz model for material permittivity: Examples for semiconductors

abstract: Approximating the frequency dispersion of the permittivity of materials with simple analytical functions is of fundamental importance for understanding and modeling their optical properties. Quite generally, the permittivity can be treated in the complex frequency plane as an analytic function having a countable number of simple poles which determine the dispersion of the permittivity, with the pole weights corresponding to generalized conductivities of the medium at these resonances. The resulting Drude-Lorentz model separates the poles at frequencies with zero real part (Ohm's law and Drude poles) from poles with finite real part (Lorentz poles). To find the parameters of such an analytic function, we minimize the error weighted deviation between the model and measured values of the permittivity. We show examples of such optimizations for various semiconductors (Si, GaAs and Ge), for different frequency ranges and up to five pairs of Lorentz poles accounted for in the model.


title: Annotation of Car Trajectories based on Driving Patterns

abstract: Nowadays, the ubiquity of various sensors enables the collection of voluminous datasets of car trajectories. Such datasets enable analysts to make sense of driving patterns and behaviors: in order to understand the behavior of drivers, one approach is to break a trajectory into its underlying patterns and then analyze that trajectory in terms of derived patterns. The process of trajectory segmentation is a function of various resources including a set of ground truth trajectories with their driving patterns. To the best of our knowledge, no such ground-truth dataset exists in the literature. In this paper, we describe a trajectory annotation framework and report our results to annotate a dataset of personal car trajectories. Our annotation methodology consists of a crowd-sourcing task followed by a precise process of aggregation. Our annotation process consists of two granularity levels, one to specify the annotation (segment border) and the other one to describe the type of the segment (e.g. speed-up, turn, merge, etc.). The output of our project, Dataset of Annotated Car Trajectories (DACT), is available online at https://figshare.com/articles/dact_dataset_of_annotated_car_trajectories/5005289 .


title: Activating spin-forbidden transitions in molecules by the highly localized plasmonic field

abstract: Optical spectroscopy has been the primary tool to study the electronic structure of molecules. However the strict spin selection rule has severely limited its ability to access states of different spin multiplicities. Here we propose a new strategy to activate spin-forbidden transitions in molecules by introducing spatially highly inhomogeneous plasmonic field. The giant enhancement of the magnetic field strength resulted from the curl of the inhomogeneous vector potential makes the transition between states of different spin multiplicities naturally feasible. The dramatic effect of the inhomogeneity of the plasmonic field on the spin and symmetry selection rules is well illustrated by first principles calculations of C60. Remarkably, the intensity of singlet-triplet transitions can even be stronger than that of singlet-singlet transitions when the plasmon spatial distribution is comparable with the molecular size. This approach offers a powerful means to completely map out all excited states of molecules and to actively control their photochemical processes. The same concept can also be applied to study nano and biological systems.


title: Multiscale Simulation of Surface Nanostructure Effect on Bubble Nucleation

abstract: Effects of nanostructured defects of copper solid surface on the bubble growth in liquid argon have been investigated through a hybrid atomistic-continuum method. The same solid surfaces with five different nanostructures, namely, wedge defect, deep rectangular defect (R-I), shallow rectangular defect (R-II), small rectangular defect (R-III) and no defect, have been modeled at molecular level. The liquid argon is placed on top of the hot solid copper with superheat of 30 K after equilibration is achieved with CFD-MD coupled simulation. Phase change of argon on five nanostructures has been observed and analyzed accordingly. The results showed that the solid surface with wedge defect tends to induce a nano-bubble relatively more easily than the others, and the larger the size of the defect is the easier the bubble generate.


title: Self-acceleration in non-Hermitian Systems

abstract: We study self-acceleration in PT and non-PT symmetric systems. We find some novel wave effects that appear uniquely in non-Hermitian systems. We show that integrable self-accelerating waves exist if the Hamiltonian is non-Hermitian. We find that self-accelerating constant intensity waves are possible even when gain and loss are not balanced in the system.


title: Emergence of chaos in a viscous solution of rods

abstract: It is shown that the addition of small amounts of microscopic rods in a viscous fluid at low Reynolds number causes a significant increase of the flow resistance. Numerical simulations of the dynamics of the solution reveal that this phenomenon is associated to a transition from laminar to chaotic flow. Polymer stresses give rise to flow instabilities which, in turn, perturb the alignment of the rods. This coupled dynamics results in the activation of a wide range of scales, which enhances the mixing efficiency of viscous flows.


title: Derivation of a multilayer approach to model suspended sediment transport: application to hyperpycnal and hypopycnal plumes

abstract: We propose a multi-layer approach to simulate hyperpycnal and hypopycnal plumes in flows with free surface. The model allows to compute the vertical profile of the horizontal and the vertical components of the velocity of the fluid flow. The model can describe as well the vertical profile of the sediment concentration and the velocity components of each one of the sediment species that form the turbidity current. To do so, it takes into account the settling velocity of the particles and their interaction with the fluid. This allows to better describe the phenomena than a single layer approach. It is in better agreement with the physics of the problem and gives promising results. The numerical simulation is carried out by rewriting the multi-layer approach in a compact formulation, which corresponds to a system with non-conservative products, and using path-conservative numerical scheme. Numerical results are presented in order to show the potential of the model.


title: New bounds on the number of n-queens configurations

abstract: In how many ways can $n$ queens be placed on an $n \times n$ chessboard so that no two queens attack each other? This is the famous $n$-queens problem. Let $Q(n)$ denote the number of such configurations, and let $T(n)$ be the number of configurations on a toroidal chessboard. We show that for every $n$ of the form $4^k+1$, $T(n)$ and $Q(n)$ are both at least $n^{\Omega(n)}$. This result confirms a conjecture of Rivin, Vardi and Zimmerman for these values of $n$. We also present new upper bounds on $T(n)$ and $Q(n)$ using the entropy method, and conjecture that in the case of $T(n)$ the bound is asymptotically tight. Along the way, we prove an upper bound on the number of perfect matchings in regular hypergraphs, which may be of independent interest.


title: Fast and high-accuracy measuring technique for transmittance spectrum in VIS-NIR

abstract: In this paper, based on the framework of traditional spectrophotometry, we put forward a novel fast and high-accuracy technique for measuring transmittance spectrum in VIS-NIR wave range, its key feature is that during the measurement procedure, the output wavelength of the grating monochromator is kept increasing continuously and at the same time, the photoelectric detectors execute a concurrently continuous data acquisition routine. Initial experiment result shows that the newly proposed technique could shorten the time consumed for measuring the transmittance spectrum down to 50% that of the conventional spectrophotometric method, a relative error of 0.070% and a repeatability error of 0.042% are generated. Compared with the current mostly used techniques (spectrophotometry, methods based on multi-channel spectrometer and strategy using Fourier transform spectrometer) for obtaining transmittance spectrum in VIS-NIR, the new strategy has at all once the following advantages, firstly the measuring speed could be greatly quicken, fast measurement of transmittance spectrum in VIS-NIR is therefore promising, which would find wide application in dynamic environment, secondly high measuring accuracy (0.1%-0.3%) is available, and finally the measuring system has high mechanical stability because the motor of the grating monochromator is rotating continuously during the measurement.


title: The global dimension of the algebras of polynomial integro-differential operators $\mathbb{I}_n$ and the Jacobian algebras $\mathbb{A}_n$

abstract: The aim of the paper is to prove two conjectures that the (left and right) global dimension of the algebra of polynomial integro-differential operators $\mathbb{I}_n$ and the Jacobian algebra $\mathbb{A}_n$ is equal to $n$ (over a field of characteristic zero). An analogue of Hilbert's Syzygy Theorem is proven for them. The algebras $\mathbb{I}_n$ and $\mathbb{A}_n$ are neither left nor right Noetherian. Furthermore, they contain infinite direct sums of nonzero left/right ideals and are not domains. It is proven that the global dimension of all prime factor algebras of the algebras $\mathbb{I}_n$ and $\mathbb{A}_n$ is $n$ and the weak global dimension of all the factor algebras of $\mathbb{I}_n$ and $\mathbb{I}_n$ is $n$.


title: Predicting regional and pan-Arctic sea ice anomalies with kernel analog forecasting

abstract: Predicting Arctic sea ice extent is a notoriously difficult forecasting problem, even for lead times as short as one month. Motivated by Arctic intraannual variability phenomena such as reemergence of sea surface temperature and sea ice anomalies, we use a prediction approach for sea ice anomalies based on analog forecasting. Traditional analog forecasting relies on identifying a single analog in a historical record, usually by minimizing Euclidean distance, and forming a forecast from the analog's historical trajectory. Here an ensemble of analogs are used to make forecasts, where the ensemble weights are determined by a dynamics-adapted similarity kernel, which takes into account the nonlinear geometry on the underlying data manifold. We apply this method for forecasting pan-Arctic and regional sea ice area and volume anomalies from multi-century climate model data, and in many cases find improvement over the benchmark damped persistence forecast. Examples of success include the 3--6 month lead time prediction of pan-Arctic area, the winter sea ice area prediction of some marginal ice zone seas, and the 3--12 month lead time prediction of sea ice volume anomalies in many central Arctic basins. We discuss possible connections between KAF success and sea ice reemergence, and find KAF to be successful in regions and seasons exhibiting high interannual variability.


title: Modeling of the Latent Embedding of Music using Deep Neural Network

abstract: While both the data volume and heterogeneity of the digital music content is huge, it has become increasingly important and convenient to build a recommendation or search system to facilitate surfacing these content to the user or consumer community. Most of the recommendation models fall into two primary species, collaborative filtering based and content based approaches. Variants of instantiations of collaborative filtering approach suffer from the common issues of so called "cold start" and "long tail" problems where there is not much user interaction data to reveal user opinions or affinities on the content and also the distortion towards the popular content. Content-based approaches are sometimes limited by the richness of the available content data resulting in a heavily biased and coarse recommendation result. In recent years, the deep neural network has enjoyed a great success in large-scale image and video recognitions. In this paper, we propose and experiment using deep convolutional neural network to imitate how human brain processes hierarchical structures in the auditory signals, such as music, speech, etc., at various timescales. This approach can be used to discover the latent factor models of the music based upon acoustic hyper-images that are extracted from the raw audio waves of music. These latent embeddings can be used either as features to feed to subsequent models, such as collaborative filtering, or to build similarity metrics between songs, or to classify music based on the labels for training such as genre, mood, sentiment, etc.