title: Rademacher Complexity and Generalization Performance of Multi-category Margin Classifiers

abstract: One of the main open problems in the theory of multi-category margin classification is the form of the optimal dependency of a guaranteed risk on the number C of categories, the sample size m and the margin parameter gamma. From a practical point of view, the theoretical analysis of generalization performance contributes to the development of new learning algorithms. In this paper, we focus only on the theoretical aspect of the question posed. More precisely, under minimal learnability assumptions, we derive a new risk bound for multi-category margin classifiers. We improve the dependency on C over the state of the art when the margin loss function considered satisfies the Lipschitz condition. We start with the basic supremum inequality that involves a Rademacher complexity as a capacity measure. This capacity measure is then linked to the metric entropy through the chaining method. In this context, our improvement is based on the introduction of a new combinatorial metric entropy bound.


title: Critical base for the unique codings of fat Sierpinski gasket

abstract: Given $\beta\in(1,2)$ the fat Sierpinski gasket $\mathcal S_\beta$ is the self-similar set in $\mathbb R^2$ generated by the iterated function system (IFS) \[ f_{\beta,d}(x)=\frac{x+d}{\beta},\quad d\in\mathcal A:=\{(0, 0), (1,0), (0,1)\}. \] Then for each point $P\in\mathcal S_\beta$ there exists a sequence $(d_i)\in\mathcal A^\mathbb N$ such that $P=\sum_{i=1}^\infty d_i/\beta^i$, and the infinite sequence $(d_i)$ is called a \emph{coding} of $P$. In general, a point in $\mathcal S_\beta$ may have multiple codings since the overlap region $\mathcal O_\beta:=\bigcup_{c,d\in\mathcal A, c\ne d}f_{\beta,c}(\Delta_\beta)\cap f_{\beta,d}(\Delta_\beta)$ has non-empty interior, where $\Delta_\beta$ is the convex hull of $\mathcal S_\beta$. In this paper we are interested in the invariant set \[ \widetilde{\mathcal U}_\beta:=\left\{\sum_{i=1}^\infty \frac{d_i}{\beta^i}\in \mathcal S_\beta: \sum_{i=1}^\infty\frac{d_{n+i}}{\beta^i}\notin\mathcal O_\beta~\forall n\ge 0\right\}. \] Then each point in $ \widetilde{\mathcal U}_\beta$ has a unique coding. We show that there is a transcendental number $\beta_c\approx 1.55263$ related to the Thue-Morse sequence, such that $\widetilde{\mathcal U}_\beta$ has positive Hausdorff dimension if and only if $\beta>\beta_{c}$. Furthermore, for $\beta=\beta_c$ the set $\widetilde{\mathcal U}_\beta$ is uncountable but has zero Hausdorff dimension, and for $\beta<\beta_c$ the set $\widetilde{\mathcal U}_\beta$ is at most countable. Consequently, we also answer a conjecture of Sidorov (2007). Our strategy is using combinatorics on words based on the lexicographical characterization of $\widetilde{\mathcal U}_\beta$.


title: Improve Microwave Quantum Illumination Via Optical Parametric Amplifier

abstract: Quantum illumination is a quantum-optical sensing technique in which an entangled source is exploited to improve the detection of a low-reflectivity object that is immersed in a bright thermal background. Entangled sources between microwave and optical fields can be exploited to improve detection in microwave quantum illumination technique. We proposed a scheme to enhance the entanglement between the output fields of microwave and optical cavity by introducing optical parametric amplifier medium in cavity optomechanical system. We show that improving signal-to-noise ratio and decreasing error probability of detection can be obtained consequently even for objects with low reflectivity in the presence of optical parametric amplifier.


title: Quantum communication protocols as a benchmark for quantum computers

abstract: We point out that realization of quantum communication protocols in programmable quantum computers provides a deep benchmark for capabilities of real quantum hardware. Particularly, it is prospective to focus on measurements of entropy-based characteristics of the performance and to explore whether a "quantum regime" is preserved. We perform proof-of-principle implementations of superdense coding and quantum key distribution BB84 using 5- and 16-qubit superconducting quantum processors of IBM Quantum Experience. We focus on the ability of these quantum machines to provide an efficient transfer of information between distant parts of the processors by placing Alice and Bob at different qubits of the devices. We also examine the ability of quantum devices to serve as quantum memory and to store entangled states used in quantum communication. Another issue we address is an error mitigation. Although it is at odds with benchmarking, this problem is nevertheless of importance in a general context of quantum computation with noisy quantum devices. We perform such a mitigation and noticeably improve some results.


title: Functional-renormalization-group aided density-functional analysis for the correlation energy of the two-dimensional homogeneous electron gas

abstract: The functional-renormalization-group aided density-functional theory (FRG-DFT) is applied to the two-dimensional homogeneous electron gas (2DHEG). The correlation energy of the 2DHEG is derived as a function of the Wigner-Seitz radius $ r_{\rm s} $ directly. We find that our correlation energy completely reproduces the exact behavior at the high-density limit. For finite density, the result of FRG-DFT shows good agreement with the Monte Carlo (MC) results in the high-density region, although the discrepancy between FRG-DFT and MC results becomes larger as the system becomes more dilute. Our study is the first example in which the FRG-DFT is applied to more-than-one-dimensional models, and shows that the FRG-DFT is a feasible and promising method even for the analysis of realistic models for quantum many-body systems.


title: Riemann Zero Mean Curvature Examples in Lorentz-Minkowski Space

abstract: Riemann zero mean curvature examples in the Lorentz-Minkowski space are surfaces with zero mean curvature foliated by circles contained in parallel planes. In contrast to the Euclidean case, this family of surfaces presents new and rich features because of the variety of types of circles. In this paper, we give a geometric description of these examples when the circles are contained in spacelike planes and timelike planes.


title: Abundance and size-frequency distributions of boulders in Linne crater's ejecta (Moon)

abstract: This paper presents the abundances and the size-frequency distributions (SFD) of the ejected boulders surrounding the Linne crater, located on the Moon's Mare Serenitatis basin. By means of Lunar Reconnaissance Orbiter Camera high-resolution images we prepare a context geological map of the Linne crater as well as we identify 12000 boulders > 4.4 m, with a maximum measured size of 30.8 m. The cumulative number of boulders per km2 is fitted with a power-law curve with index -4.03 +0.09/-0.10. By studying the radial ejecta abundances, we find that the largest ones are located within the first 2 km from the crater's centre, while few tens of boulders with sizes < 8 m are detectable above 5 km from the crater's rim. We find that the Linne proximal ejecta blanket is slightly asymmetrical, as indicated in the geological map too, showing a density increase in the NE-SW direction. This may be the result of an oblique impact emplacement of the original impactor, or it may be explained with a perpendicular impact in the Mare Serenitatis location, but on a surface with lunar basalts with different local mechanical properties. By exploiting our boulders size density as a function of the distance from the crater's centre, we derive a possible regolith thickness at the Linne impact of 4.75 m, supporting similar values based on Earth-based radar and optical data in the Mare Serenitatis basin.


title: Internet of Things (IoT) and New Computing Paradigms

abstract: The chapter presents foundations of computing paradigms for realizing emerging IoT applications, especially fog and edge computing, their background, characteristics, architectures and open challenges.


title: The translating soliton equation

abstract: We give an analytic approach to the translating soliton equation with a special emphasis in the study of the Dirichlet problem in convex domains of the plane.


title: Management and Orchestration of Network Slices in 5G, Fog, Edge and Clouds

abstract: Network slicing allows network operators to build multiple isolated virtual networks on a shared physical network to accommodate a wide variety of services and applications. With network slicing, service providers can provide a cost-efficient solution towards meeting diverse performance requirements of deployed applications and services. Despite slicing benefits, End-to-End orchestration and management of network slices is a challenging and complicated task. In this chapter, we intend to survey all the relevant aspects of network slicing, with the focus on networking technologies such as Software-defined networking (SDN) and Network Function Virtualization (NFV) in 5G, Fog/Edge and Cloud Computing platforms. To build the required background, this chapter begins with a brief overview of 5G, Fog/Edge and Cloud computing, and their interplay. Then we cover the 5G vision for network slicing and extend it to the Fog and Cloud computing through surveying the state-of-the-art slicing approaches in these platforms. We conclude the chapter by discussing future directions, analyzing gaps and trends towards the network slicing realization.


title: The Fast Interaction Trigger detector for the upgrade of the ALICE experiment at CERN: design and performance

abstract: ALICE (A Large Ion Collider Experiment) experiment at CERN LHC is designed to study the properties of the Quark-Gluon Plasma (QGP) in heavy-ion collisions. In 2019-2020 the upgrade of CERN LHC will increase the luminosity and the collision rate beyond the design parameters of the current ALICE setup. To be able to benefit from the improved performance of the LHC, ALICE will upgrade several of its key detector systems including the Fast Interaction Trigger (FIT) [2]. FIT is designed to provide the functionality of the old forward detectors while retaining or even improving their performance. It will provide Minimum Bias trigger with efficiency higher than 90% for pp collisions, measure luminosity for pp and Pb-Pb, sustain interaction rates up to 1MHz and 50kHz, respectively. FIT will determine the collision time with a resolution better than 50ps, and will be used to measure the event multiplicity, the centrality and the reaction plane. The detector consists of 2 arrays of Cherenkov radiators with MCP-PMT sensors, placed on both sides of the interaction point and of a single large-diameter scintillator ring. This presentation will discuss the main design concepts, detector construction, beam test results, MC simulations, and the results of detector performance studies.


title: Building Trust Takes Time: Limits to Arbitrage for Blockchain-Based Assets

abstract: A blockchain replaces central counterparties with time-consuming consensus protocols to record the transfer of ownership. This settlement latency slows cross-exchange trading, exposing arbitrageurs to price risk. Off-chain settlement, instead, exposes arbitrageurs to costly default risk. We show with Bitcoin network and order book data that cross-exchange price differences coincide with periods of high settlement latency, asset flows chase arbitrage opportunities, and price differences across exchanges with low default risk are smaller. Blockchain-based trading thus faces a dilemma: Reliable consensus protocols require time-consuming settlement latency, leading to arbitrage limits. Circumventing such arbitrage costs is possible only by reinstalling trusted intermediation, which mitigates default risk.


title: Deep Learning Approach for Predicting 30 Day Readmissions after Coronary Artery Bypass Graft Surgery

abstract: Hospital Readmissions within 30 days after discharge following Coronary Artery Bypass Graft (CABG) Surgery are substantial contributors to healthcare costs. Many predictive models were developed to identify risk factors for readmissions. However, majority of the existing models use statistical analysis techniques with data available at discharge. We propose an ensembled model to predict CABG readmissions using pre-discharge perioperative data and machine learning survival analysis techniques. Firstly, we applied fifty one potential readmission risk variables to Cox Proportional Hazard (CPH) survival regression univariate analysis. Fourteen of them turned out to be significant (with p value < 0.05), contributing to readmissions. Subsequently, we applied these 14 predictors to multivariate CPH model and Deep Learning Neural Network (NN) representation of the CPH model, DeepSurv. We validated this new ensembled model with 453 isolated adult CABG cases. Nine of the fourteen perioperative risk variables were identified as the most significant with Hazard Ratios (HR) of greater than 1.0. The concordance index metrics for CPH, DeepSurv, and ensembled models were then evaluated with training and validation datasets. Our ensembled model yielded promising results in terms of c-statistics, as we raised the the number of iterations and data set sizes. 30 day all-cause readmissions among isolated CABG patients can be predicted more effectively with perioperative pre-discharge data, using machine learning survival analysis techniques. Prediction accuracy levels could be improved further with deep learning algorithms.


title: Integration of multifunctions with closed convex values in arbitrary Banach spaces

abstract: Integral properties of multifunctions with closed convex values are studied. In this more general framework not all the tools and the technique used for weakly compact convex valued multifunctions work. We pay particular attention to the "positive multifunctions". Among them an investigation of multifunctions determined by vector-valued functions is presented. Finally, decomposition results are obtained for scalarly and gauge-defined integrals of multifunctions and a full description of McShane integrability in terms of Henstock and Pettis integrability is given.


title: A Static Distributed-parameter Circuit Model Explains Electrical Stimulation on the Neuromuscular System

abstract: Finite Element Modeling (FEM) has been widely used to model the electric field distribution, to study the interaction between stimulation electrodes and neural tissue. However, due to the insufficient computational capability to represent neural tissue down to an atom-level, the existing FEM fails to model the real electric field that is perpendicular to neuron membrane to initiate an action potential. Thus, to reveal the real electrode-tissue interactions, we developed a circuit to model transmembrane voltage waveforms. Here, we show a distributed-parameter circuit model to systematically study how electrode-tissue interaction is affected by electrode position, input current waveform, and biological structures in the neuromuscular system. Our model explains and predicts various phenomena in neuromuscular stimulation, guides new stimulation electrode and method design, and more importantly, facilitates a fundamental understanding of the physical process during electrode-tissue interaction. In our model, myelin is assumed to be inductive. The voltage waveform resonance caused by this inductive myelin accounts for the much lower stimulation threshold to activate motoneurons than muscle fibers, which is observed with in vivo measurements. These findings confirmed the feasibility of studying electrode-tissue interaction using a proper distributed-parameter circuit. Our current application on the neuromuscular system also raises the possibility that this distributed-parameter circuit model could potentially be applied to study other neural tissues, including the Peripheral Nervous System (PNS) and the Central Nervous System (CNS).


title: Secure outsourced calculations with homomorphic encryption

abstract: With the rapid development of cloud computing, the privacy security incidents occur frequently, especially data security issues. Cloud users would like to upload their sensitive information to cloud service providers in encrypted form rather than the raw data, and to prevent the misuse of data. The main challenge is to securely process or analyze these encrypted data without disclosing any useful information, and to achieve the rights management efficiently. In this paper, we propose the encrypted data processing protocols for cloud computing by utilizing additively homomorphic encryption and proxy cryptography. For the traditional homomorphic encryption schemes with many limitations, which are not suitable for cloud computing applications. We simulate a cloud computing scenario with flexible access control and extend the original homomorphic cryptosystem to suit our scenario by supporting various arithmetical calculations. We also prove the correctness and security of our protocols, and analyze the advantages and performance by comparing with some latest works.


title: Resource Constrained Deep Reinforcement Learning

abstract: In urban environments, supply resources have to be constantly matched to the "right" locations (where customer demand is present) so as to improve quality of life. For instance, ambulances have to be matched to base stations regularly so as to reduce response time for emergency incidents in EMS (Emergency Management Systems); vehicles (cars, bikes, scooters etc.) have to be matched to docking stations so as to reduce lost demand in shared mobility systems. Such problem domains are challenging owing to the demand uncertainty, combinatorial action spaces (due to allocation) and constraints on allocation of resources (e.g., total resources, minimum and maximum number of resources at locations and regions). Existing systems typically employ myopic and greedy optimization approaches to optimize allocation of supply resources to locations. Such approaches typically are unable to handle surges or variances in demand patterns well. Recent research has demonstrated the ability of Deep RL methods in adapting well to highly uncertain environments. However, existing Deep RL methods are unable to handle combinatorial action spaces and constraints on allocation of resources. To that end, we have developed three approaches on top of the well known actor critic approach, DDPG (Deep Deterministic Policy Gradient) that are able to handle constraints on resource allocation. More importantly, we demonstrate that they are able to outperform leading approaches on simulators validated on semi-real and real data sets.


title: A Weak Galerkin Method with Implicit $\theta$-schemes for Second-Order Parabolic Problems

abstract: We introduce a new weak Galerkin finite element method whose weak functions on interior neighboring edges are double-valued for parabolic problems. Based on $(P_k(T), P_{k}(e), RT_k(T))$ element, a fully discrete approach is formulated with implicit $\theta$-schemes in time for $\frac{1}{2}\leq\theta\leq 1$, which include first-order backward Euler and second-order Crank-Nicolson schemes. Moreover, the optimal convergence rates in the $L^2$ and energy norms are derived. Numerical example is given to verify the theory.


title: Examining Deep Learning Architectures for Crime Classification and Prediction

abstract: In this paper, a detailed study on crime classification and prediction using deep learning architectures is presented. We examine the effectiveness of deep learning algorithms on this domain and provide recommendations for designing and training deep learning systems for predicting crime areas, using open data from police reports. Having as training data time-series of crime types per location, a comparative study of 10 state-of-the-art methods against 3 different deep learning configurations is conducted. In our experiments with five publicly available datasets, we demonstrate that the deep learning-based methods consistently outperform the existing best-performing methods. Moreover, we evaluate the effectiveness of different parameters in the deep learning architectures and give insights for configuring them in order to achieve improved performance in crime classification and finally crime prediction.


title: Quantum plateaus in dynamical Hall conductivity

abstract: Dynamical Hall conductivity {\sigma}_H({\omega}) of a 2D electron gas with impurities in the perpendicular magnetic field is analyzed. Plateau-like behavior at low frequencies as well as at high frequencies provided the complete filling of Landau levels is predicted. The broadening of a Landau level separates two frequency regions with different behaviour. Imaginary part of dynamical Hall conductivity reveals oscillations in the localized states region. Comparison with the experiment is carried out.


title: Quasi-Relative Interiors for Graphs of Convex Set-Valued Mappings

abstract: This paper aims at providing further studies of the notion of quasi-relative interior for convex sets introduced by Borwein and Lewis. We obtain new formulas for representing quasi-relative interiors of convex graphs of set-valued mappings and for convex epigraphs of extended-real-valued functions defined on locally convex topological vector spaces. We also show that the role, which this notion plays in infinite dimensions and the results obtained in this vein, are similar to those involving relative interior in finite-dimensional spaces.


title: A new method of testing the gravitational redshift effect with radio interferometers

abstract: We propose a new method to measure gravitational redshift effect using simultaneous interferometric observations of a distant radio source to synchronize clocks. The first order by $v/c$ contribution to the signal (the classical Doppler effect) is automatically canceled in our setup. When other contributions from the velocities of the clocks, clock imperfection and atmosphere are properly taken into account, the residual gravitational redshift can be measured with the relative precision of $\sim 10^{-3}$ for RadioAstron space-to-ground interferometer or with precision up to few $10^{-5}$ with the next generation of space radio interferometers.


title: General Support-Effective Decomposition for Multi-Directional 3D Printing

abstract: We present a method for fabricating general models with multi-directional 3D printing systems by printing different model regions along with different directions. The core of our method is a support-effective volume decomposition algorithm that minimizes the area of the regions with large overhangs. A beam-guided searching algorithm with manufacturing constraints determines the optimal volume decomposition, which is represented by a sequence of clipping planes. While current approaches require manually assembling separate components into a final model, our algorithm allows for directly printing the final model in a single pass. It can also be applied to models with loops and handles. A supplementary algorithm generates special supporting structures for models where supporting structures for large overhangs cannot be eliminated. We verify the effectiveness of our method using two hardware systems: a Cartesian-motion based system and an angular-motion based system. A variety of 3D models have been successfully fabricated on these systems.


title: Simultaneous LSST and Euclid observations - advantages for Solar System Objects

abstract: The ESA Euclid mission is a space telescope that will survey ~15,000 square degrees of the sky, primarily to study the distant universe (constraining cosmological parameters through the lensing of galaxies). It is also expected to observe ~150,000 Solar System Objects (SSOs), primarily in poorly understood high inclination populations, as it will mostly avoid +/-15 degrees from the ecliptic plane. With a launch date of 2022 and a 6 year survey, Euclid and LSST will operate at the same time, and have complementary capabilities. We propose a LSST mini-survey to coordinate quasi-simultaneous observations between these two powerful observatories, when possible, with the primary aim of greatly improving the orbits of SSOs discovered by these facilities. As Euclid will operate from a halo orbit around the Sun-Earth L2 Lagrangian point, there will be significant parallax between observations from Earth and Euclid (0.01 AU). This means that simultaneous observations will give an independent distance measurement to SSOs, giving additional constraints on orbits compared to single Euclid visits.


title: Macdonald trees and determinants of representations for finite Coxeter groups

abstract: Every irreducible odd dimensional representation of the $n$'th symmetric or hyperoctahedral group, when restricted to the $(n-1)$'th, has a unique irreducible odd-dimensional constituent. Furthermore, the subgraph induced by odd-dimensional representations in the Bratteli diagram of symmetric and hyperoctahedral groups is a binary tree with a simple recursive description. We survey the description of this tree, known as the Macdonald tree, for symmetric groups, from our earlier work. We describe analogous results for hyperoctahedral groups. A partition $\lambda$ of $n$ is said to be chiral if the corresponding irreducible representation $V_\lambda$ of $S_n$ has non-trivial determinant. We review our previous results on the structure and enumeration of chiral partitions, and subsequent extension to all Coxeter groups by Ghosh and Spallone. Finally we show that the numbers of odd and chiral partitions track each other closely.


title: Bus bunching as a synchronisation phenomenon

abstract: Bus bunching is a perennial phenomenon that not only diminishes the efficiency of a bus system, but also prevents transit authorities from keeping buses on schedule. We present a physical theory of buses serving a loop of bus stops as a ring of coupled self-oscillators, analogous to the Kuramoto model. Sustained bunching is a repercussion of the process of phase synchronisation whereby the phases of the oscillators are locked to each other. This emerges when demand exceeds a critical threshold. Buses also bunch at low demand, albeit temporarily, due to frequency detuning arising from different human drivers' distinct natural speeds. We calculate the critical transition when \emph{complete phase locking} (full synchronisation) occurs for the bus system, and posit the critical transition to \emph{completely no phase locking} (zero synchronisation). The intermediate regime is the phase where clusters of partially phase locked buses exist. Intriguingly, these theoretical results are in close correspondence to real buses in a university's shuttle bus system.


title: Weak discrete maximum principle and $L^\infty$ analysis of the DG method for the Poisson equation on a polygonal domain

abstract: We derive several $L^\infty$ error estimates for the symmetric interior penalty (SIP) discontinuous Galerkin (DG) method applied to the Poisson equation in a two-dimensional polygonal domain. Both local and global estimates are examined. The weak maximum principle (WMP) for the discrete harmonic function is also established. We prove our $L^\infty$ estimates using this WMP and several $W^{2,p}$ and $W^{1,1}$ estimates for the Poisson equation. Numerical examples to validate our results are also presented.


title: Self-stresses control stiffness and stability in overconstrained disordered networks

abstract: We investigate the interplay between pre-stress and mechanical properties in random elastic networks. To do this in a controlled fashion, we introduce an algorithm for creating random freestanding frames that support exactly one state of self stress. By multiplying all the bond tensions in this state of self stress by the same number---which with the appropriate normalization corresponds to the physical pre-stress inside the frame---we systematically evaluate the linear mechanical response of the frame as a function of pre-stress. After proving that the mechanical moduli of affinely deforming frames are rigourously independent of pre-stress, we turn to non-affinely deforming frames. In such frames, pre-stress has a profound effect on linear response: not only can it change the values of the linear modulus---an effect we demonstrate to be related to a suppressive effect of pre-stress on non-affinity---but pre-stresses also generically trigger bistable mechanical response. Thus, pre-stress can be leveraged to both augment the mechanical response of network architectures on the fly, and to actuate finite deformations. These control modalities may be of use in the design of both novel responsive materials and soft actuators.


title: Direct Cauchy Theorem and Fourier integral in Widom domains

abstract: We derive Fourier integral associated to the complex Martin function in the Denjoy domain of Widom type with the Direct Cauchy Theorem (DCT). As an application we study reflectionless Weyl-Titchmarsh functions in such domains, related to them canonical systems and transfer matrices. The DCT property appears to be crucial in many aspects of the underlying theory.


title: Running Primal-Dual Gradient Method for Time-Varying Nonconvex Problems

abstract: This paper considers a nonconvex optimization problem that evolves over time, and addresses the synthesis and analysis of regularized primal-dual gradient methods to track a Karush-Kuhn-Tucker (KKT) trajectory. The proposed regularized primal-dual gradient methods are implemented in a running fashion, in the sense that the underlying optimization problem changes during the iterations of the algorithms. For a problem with twice continuously differentiable cost and constraints, and under a generalization of the Mangasarian-Fromovitz constraint qualification, sufficient conditions are derived for the running algorithm to track a KKT trajectory. Further, asymptotic bounds for the tracking error (as a function of the time-variability of a KKT trajectory) are obtained. A continuous-time version of the algorithm, framed as a system of differential inclusions, is also considered and analytical convergence results are derived. For the continuous-time setting, a set of sufficient conditions for the KKT trajectories not to bifurcate or merge is proposed. Illustrative numerical results inspired by a real-world application are provided.


title: L\^e numbers and Newton diagram

abstract: We give an algorithm to compute the L\^e numbers of (the germ of) a Newton non-degenerate complex analytic function $f\colon(\mathbb{C}^n,0) \rightarrow (\mathbb{C},0)$ in terms of certain invariants attached to the Newton diagram of the function $f+z_1^{\alpha_1}+\cdots +z_d^{\alpha_d}$, where $d$ is the dimension of the critical locus of $f$ and $\alpha_1,\ldots, \alpha_d$ are sufficiently large integers. This is a version for non-isolated singularities of a famous theorem of A. G. Kouchnirenko. As a corollary, we obtain that Newton non-degenerate functions with the same Newton diagram have the same L\^e numbers.


title: Spatial-temporal Fusion Convolutional Neural Network for Simulated Driving Behavior Recognition

abstract: Abnormal driving behaviour is one of the leading cause of terrible traffic accidents endangering human life. Therefore, study on driving behaviour surveillance has become essential to traffic security and public management. In this paper, we conduct this promising research and employ a two stream CNN framework for video-based driving behaviour recognition, in which spatial stream CNN captures appearance information from still frames, whilst temporal stream CNN captures motion information with pre-computed optical flow displacement between a few adjacent video frames. We investigate different spatial-temporal fusion strategies to combine the intra frame static clues and inter frame dynamic clues for final behaviour recognition. So as to validate the effectiveness of the designed spatial-temporal deep learning based model, we create a simulated driving behaviour dataset, containing 1237 videos with 6 different driving behavior for recognition. Experiment result shows that our proposed method obtains noticeable performance improvements compared to the existing methods.


title: The evolution of the FRW universe with decaying metastable dark energy --- a dynamical system analysis

abstract: We investigate a cosmological model in which dark energy identified with the vacuum energy which is running and decaying. In this model vacuum is metastable and decays into a bare (true) vacuum. This decaying process has a quantum nature and is described by tools of the quantum decay theory of unstable systems. We have found formulas for an asymptotic behavior of the energy density of dark energy in the form of a series of inverse powers of the cosmological time. We investigate the dynamics of FRW models using dynamical system methods as well as searching for exact solutions. From dynamical analysis we obtain different evolutional scenarios admissible for all initial conditions. For the interpretation of the dynamical evolution caused by the decay of the quantum vacuum we study the thermodynamics of the apparent horizon of the model as well as the evolution of the temperature. For the early Universe, we found that the quantum effects modified the evolution of the temperature of the Universe. In our model the adiabatic approximation is valid and the quantum vacuum decay occurs with an adequate unknown particle which constitutes quantum vacuum. We argue that the late-time evolution of metastable energy is the holographic dark energy.


title: The Component Connectivity of Alternating Group Graphs and Split-Stars

abstract: For an integer $\ell\geqslant 2$, the $\ell$-component connectivity of a graph $G$, denoted by $\kappa_{\ell}(G)$, is the minimum number of vertices whose removal from $G$ results in a disconnected graph with at least $\ell$ components or a graph with fewer than $\ell$ vertices. This is a natural generalization of the classical connectivity of graphs defined in term of the minimum vertex-cut and is a good measure of robustness for the graph corresponding to a network. So far, the exact values of $\ell$-connectivity are known only for a few classes of networks and small $\ell$'s. It has been pointed out in~[Component connectivity of the hypercubes, Int. J. Comput. Math. 89 (2012) 137--145] that determining $\ell$-connectivity is still unsolved for most interconnection networks, such as alternating group graphs and star graphs. In this paper, by exploring the combinatorial properties and fault-tolerance of the alternating group graphs $AG_n$ and a variation of the star graphs called split-stars $S_n^2$, we study their $\ell$-component connectivities. We obtain the following results: (i) $\kappa_3(AG_n)=4n-10$ and $\kappa_4(AG_n)=6n-16$ for $n\geqslant 4$, and $\kappa_5(AG_n)=8n-24$ for $n\geqslant 5$; (ii) $\kappa_3(S_n^2)=4n-8$, $\kappa_4(S_n^2)=6n-14$, and $\kappa_5(S_n^2)=8n-20$ for $n\geqslant 4$.


title: Phase transition in a Rabi coupled two-component Bose-Einstein condensate

abstract: This paper deals with the study of the phase transition of the wave functions of a segregated two-component Bose-Einstein condensate under Rabi coupling. This yields a system of two coupled ODE's where the Rabi coupling is linear in the other wave function and acts against segregation. We prove estimates on the asymptotic behaviour of the wave functions, as the strength of the interaction gets strong or weak. We also derive limiting problems in both cases.


title: Debugging Smart Contract's Business Logic Using Symbolic Model-Checking

abstract: Smart contracts are a special type of programs running inside a blockchain. Immutable and transparent, they provide means to implement fault-tolerant and censorship-resistant services. Unfortunately, its immutability causes a serious challenge of ensuring that a business logic and implementation is correct upfront, before publishing in a blockchain. Several big accidents have indeed shown that users of this technology need special tools to verify smart contract correctness. Existing automated checkers are able to detect only well known implementation bugs, leaving the question of business logic correctness far aside. In this work, we present a symbolic model-checking technique along with a formal specification method for a subset of Solidity programming language that is able to express both state properties and trace properties; the latter constitutes a weak analogy of temporal properties. We evaluate the proposed technique on the MiniDAO smart contract, a young brother of notorious TheDAO. Our Proof-of-Concept was able to detect a non-trivial error in the business logic of this smart contract in a few seconds.


title: The minimal model of Hahn for the Calvin cycle

abstract: There are many models of the Calvin cycle of photosynthesis in the literature. When investigating the dynamics of these models one strategy is to look at the simplest possible models in order to get the most detailed insights. We investigate a minimal model of the Calvin cycle introduced by Hahn while he was pursuing this strategy. In a variant of the model not including photorespiration it is shown that there exists exactly one positive steady state and that this steady state is unstable. For generic initial data either all concentrations tend to infinity at lates times or all concentrations tend to zero at late times. In a variant including photorespiration it is shown that for suitable values of the parameters of the model there exist two positive steady states, one stable and one unstable. For generic initial data either the solution tends to the stable steady state at late times or all concentrations tend to zero at late times. Thus we obtain rigorous proofs of mathematical statements which together confirm the intuitive idea proposed by Hahn that photorespiration can stabilize the operation of the Calvin cycle. In the case that the concentrations tend to infinity we derive formulae for the leading order asymptotics using the Poincar\'e compactification.


title: Surface Algebras and Surface Orders II: Affine Bundles on Curves

abstract: I will give a new way to understand the Geometric Langlands Program.


title: Protection of an information system by artificial intelligence: a three-phase approach based on behaviour analysis to detect a hostile scenario

abstract: The analysis of the behaviour of individuals and entities (UEBA) is an area of artificial intelligence that detects hostile actions (e.g. attacks, fraud, influence, poisoning) due to the unusual nature of observed events, by affixing to a signature-based operation. A UEBA process usually involves two phases, learning and inference. Intrusion detection systems (IDS) available still suffer from bias, including over-simplification of problems, underexploitation of the AI potential, insufficient consideration of the temporality of events, and perfectible management of the memory cycle of behaviours. In addition, while an alert generated by a signature-based IDS can refer to the signature on which the detection is based, the IDS in the UEBA domain produce results, often associated with a score, whose explainable character is less obvious. Our unsupervised approach is to enrich this process by adding a third phase to correlate events (incongruities, weak signals) that are presumed to be linked together, with the benefit of a reduction of false positives and negatives. We also seek to avoid a so-called "boiled frog" bias inherent in continuous learning. Our first results are interesting and have an explainable character, both on synthetic and real data.


title: Graph calculus and the disconnected-boundary Schwinger-Dyson equations of quartic tensor field theories

abstract: Tensor field theory (TFT) focuses on quantum field theory aspects of random tensor models, a quantum-gravity-motivated generalisation of random matrix models. The TFT correlation functions have been shown to be classified by graphs that describe the geometry of the boundary states, the so-called boundary graphs. These graphs can be disconnected, although the correlation functions are themselves connected. In a recent work, the Schwinger-Dyson equations for an arbitrary albeit connected boundary were obtained. Here, we introduce the multivariable graph calculus in order to derive the missing equations for all correlation functions with disconnected boundary, thus completing the Schwinger-Dyson pyramid for quartic melonic (`pillow'-vertices) models in arbitrary rank. We first study finite group actions that are parametrised by graphs and build the graph calculus on a suitable quotient of the monoid algebra $A[G]$ corresponding to a certain function space $A$ and to the free monoid $G$ in finitely many graph variables; a derivative of an element of $A[G]$ with respect to a graph yields its corresponding group action on $A$. The present result and the graph calculus have three potential applications: the non-perturbative large-$N$ limit of tensor field theories, the solvability of the theory by using methods that generalise the topological recursion to the TFT setting and the study of `higher dimensional maps' via Tutte-like equations. In fact, we also offer a term-by-term comparison between Tutte equations and the present Schwinger-Dyson equations.


title: From classical to quantum walk via erasure of which-way information

abstract: Decoherence transforms a ballistic quantum walk into a diffusive classical random walk. After each step the environment measures the particle's path and the outside world gets to know the which-way information. The relation between the which-way information and the classicality of the spatial distribution is clearly visible in the multi-coin quantum walk in which the information about particle's path is encoded in the multi-coin degree of freedom. The more information is stored on the coins, the more classical and diffusive the spatial distribution is. Here, we propose a generalized version of the quantum eraser scenario that allows for complex erasure strategies. We show that the which-way information can be erased from the coins and the ballistic features in the spatial probability distribution can be recovered.


title: State-Dependent Modulation of Locomotion by GABAergic Spinal Sensory Neurons

abstract: The cerebrospinal fluid (CSF) constitutes an interface through which chemical cues can reach and modulate the activity of neurons located at the epithelial boundary within the entire nervous system. Here, we investigate the role and functional connectivity of a class of GABAergic sensory neurons contacting the CSF in the vertebrate spinal cord and referred to as CSF-cNs. The remote activation of CSF-cNs was shown to trigger delayed slow locomotion in the zebrafish larva, suggesting that these cells modulate components of locomotor central pattern generators (CPGs). Combining anatomy, electrophysiology, and optogenetics in vivo, we show that CSF-cNs form active GABAergic synapses onto V0-v glutamatergic interneurons, an essential component of locomotor CPGs. We confirmed that activating CSF-cNs at rest induced delayed slow locomotion in the fictive preparation. In contrast, the activation of CSF-cNs promptly inhibited ongoing slow locomotion. Moreover, selective activation of rostral CSF-cNs during ongoing activity disrupted rostrocaudal propagation of descending excitation along the spinal cord, indicating that CSF-cNs primarily act at the premotor level. Altogether, our results demonstrate how a spinal GABAergic sensory neuron can tune the excitability of locomotor CPGs in a state-dependent manner by projecting onto essential components of the excitatory premotor pool.


title: Exotic decay channels are not the cause of the neutron lifetime anomaly

abstract: Since long neutron lifetimes measured with a beam of cold neutrons are significantly different from lifetimes measured with ultracold neutrons bottled in a trap. It is often speculated that this "neutron anomaly" is due to an exotic dark neutron decay channel of unknown origin. We show that this explanation of the neutron anomaly can be excluded with a high level of confidence when use is made of new data on neutron decay parameters. Furthermore, data from neutron decay now compare well with Ft data derived from nuclear \b{eta} decays.


title: Geometric properties of measures related to holomorphic functions having positive imaginary or real part

abstract: In this paper, we study the properties of a certain class of Borel measures on $\mathbb{R}^n$ that arise in the integral representation of Herglotz-Nevanlinna functions. In particular, we find that restrictions to certain hyperplanes are of a surprisingly simple form and show that the supports of such measures can not lie within particular geometric regions, e.g. strips with positive slope. Corresponding results are derived for measures on the unit poly-torus with vanishing mixed Fourier coefficients. These measures are closely related to functions mapping the unit polydisk analytically into the right half-plane.


title: A generic coordinate descent solver for nonsmooth convex optimization

abstract: We present a generic coordinate descent solver for the minimization of a nonsmooth convex objective with structure. The method can deal in particular with problems with linear constraints. The implementation makes use of efficient residual updates and automatically determines which dual variables should be duplicated. A list of basic functional atoms is pre-compiled for efficiency and a modelling language in Python allows the user to combine them at run time. So, the algorithm can be used to solve a large variety of problems including Lasso, sparse multinomial logistic regression, linear and quadratic programs.


title: Convergence in the $p$-contest

abstract: We study asymptotic properties of the following Markov system of $N \geq 3$ points in~$[0,1]$. At each time step, the point farthest from the current centre of mass, multiplied by a constant $p>0$, is removed and replaced by an independent $\zeta$-distributed point; the problem, inspired by variants of the Bak--Sneppen model of evolution and called a $p$-contest, was posed in [Grinfeld, M, Knight, P.A., and Wade, A.R. Rank-driven Markov processes, J. Stat. Phys. 146 (2012)]. We obtain various criteria for the convergences of the system, both for $p<1$ and $p>1$. In particular, when $p<1$ and $\zeta\sim U[0,1]$, we show that the limiting configuration converges to zero. When $p>1$, we show that the configuration must converge to either zero or one, and we present an example where both outcomes are possible. Finally, when $p>1$, $N=3$ and $\zeta$ satisfies certain conditions (e.g.~$\zeta\sim U[0,1]$), we prove that the configuration can only converge to one a.s. Our paper substantially extends the results of [Grinfeld, M., Volkov, S., and Wade, A.R. Convergence in a multidimensional randomized Keynesian beauty contest. Adv. in Appl. Probab. 47 (2015)] and [Kennerberg, P., and Volkov, S. Jante's law process. Adv. in Appl. Probab. 50 (2018)] where it was assumed that $p=1$. Unlike the previous models, one can no longer use the Lyapunov function based just on the radius of gyration; when $0<p<1$ one has to find a much finer tuned function which turns out to be a supermartingale; the proof of this fact constitutes an unwieldy, albeit necessary, part of the paper.


title: Review of phenomenological analyses of $\eta^{(\prime)} \pi$ resonances

abstract: We present a robust analysis of the $\eta^{(\prime)} \pi$ system in COMPASS data. We fit the extracted relative phases and intensities with a coupled-channel formalism enforcing both unitarity and analyticity. We provide a robust extraction of a single exotic $\pi_1(1600)$ decaying to both $\eta^{(\prime)} \pi$ final states, and the resonance parameters of the $a_2(1320)$ and $a'_2(1700)$. We find no evidence for a second exotic state, which is compatible with recent Lattice QCD estimates.


title: Optomechanics with one-dimensional gallium phosphide photonic crystal cavities

abstract: Gallium phosphide offers an attractive combination of a high refractive index ($n>3$ for vacuum wavelengths up to 4 {\mu}m) and a wide electronic bandgap (2.26 eV), enabling optical cavities with small mode volumes and low two-photon absorption at telecommunication wavelengths. Heating due to strongly confined light fields is therefore greatly reduced. Here, we investigate the benefits of these properties for cavity optomechanics. Utilizing a recently developed fabrication scheme based on direct wafer bonding, we realize integrated one-dimensional photonic crystal cavities made of gallium phosphide with optical quality factors as high as $1.1\times10^5$. We optimize their design to couple the optical eigenmode at $\approx 200$ THz via radiation pressure to a co-localized mechanical mode with a frequency of 3 GHz, yielding sideband-resolved devices. The high vacuum optomechanical coupling rate ($g_0=2\pi\times 400$ kHz) permits amplification of the mechanical mode into the so-called mechanical lasing regime with input power as low as $\approx 20$ {\mu}W. The observation of mechanical lasing implies a multiphoton cooperativity of $C>1$, an important threshold for the realization of quantum state transfer protocols. Because of the reduced thermo-optic resonance shift, optomechanically induced transparency can be detected at room temperature in addition to the normally observed optomechanically induced absorption.


title: Linear-Quadratic McKean-Vlasov Stochastic Differential Games

abstract: We consider a multi-player stochastic differential game with linear McKean-Vlasov dynamics and quadratic cost functional depending on the variance and mean of the state and control actions of the players in open-loop form. Finite and infinite horizon problems with possibly some random coefficients as well as common noise are addressed. We propose a simple direct approach based on weak martingale optimality principle together with a fixed point argument in the space of controls for solving this game problem. The Nash equilibria are characterized in terms of systems of Riccati ordinary differential equations and linear mean-field backward stochastic differential equations: existence and uniqueness conditions are provided for such systems. Finally, we illustrate our results on a toy example.


title: Electron collisions with cyanoacetylene HCCCN: vibrational excitation and dissociative electron attachment

abstract: We experimentally probe electron collisions with HC$_3$N in the energy range from 0 to 10 eV with the focus on vibrational excitation and dissociative electron attachment. The vibrational excitation cross sections show a number of resonances which are mode specific: the two dominant $\pi^*$ resonances are visible in the excitation of all the vibrational modes, however, broad $\sigma^*$ resonances are visible only in certain bond-stretching vibrational modes. The lower $\pi^*$ resonance shows a pronounced boomerang structure. Since it overlaps with the threshold peak originating from a long-range electron-molecule interaction, the interference pattern is rather unusual. Somewhat surprisingly, the boomerang structure is visible also in the elastic scattering cross section. The dissociative electron attachment cross sections agree qualitatively with the data of Gilmore and Field [J. Phys. B 48 (2015) 035201], however, approximately a factor of two difference is found in the absolute values.


title: Integration of atomically thin layers of transition metal dichalcogenides into high-Q, monolithic Bragg-cavities - an experimental platform for the enhancement of optical interaction in 2D-materials

abstract: We demonstrate a new approach to integrate single layer MoSeR2R and WSeR2R flakes into monolithic all-dielectric planar high-quality micro-cavities. These distributed-Bragg-reflector (DBR) cavities may e.g. be tuned to match the exciton resonance of the 2D-materials. They are highly robust and compatible with cryogenic and room-temperature operation. The integration is achieved by a customized ion-assisted physical vapor deposition technique, which does not degrade the optical properties of the 2D-materials. The monolithic 2D resonator is shown to have a high Q-factor in excess of 4500. We use photoluminescence (PL) experiments to demonstrate that the coating procedure with an SiO2 coating on a prepared surface does not significantly alter the electrooptical properties of the 2D-materials. Moreover, we observe a resonance induced modification of the PL-spectrum for the DBR embedded flake. Our system thus represents a versatile platform to resonantly enhance and tailor light-matter-interaction in 2D-materials. The gentle processing conditions would also allow the integration of other sensitive materials into these highly resonant structures.


title: FETI-DP for the three-dimensional Virtual Element Method

abstract: We deal with the Finite Element Tearing and Interconnecting Dual Primal (FETI-DP) preconditioner for elliptic problems discretized by the virtual element method (VEM). We extend the result of [22] to the three dimensional case. We prove polylogarithmic condition number bounds, independent of the number of subdomains, the mesh size, and jumps in the diffusion coefficients. Numerical experiments validate the theory


title: The benefit of simultaneous seven-filter imaging: 10 years of GROND observations

abstract: A variety of scientific results have been achieved over the last 10 years with the GROND simultaneous 7-channel imager at the 2.2m telescope of the Max-Planck Society at ESO/La Silla. While designed primarily for rapid observations of gamma-ray burst afterglows, the combination of simultaneous imaging in the Sloan g'r'i'z' and near-infrared JHK bands at a medium-sized (2.2m) telescope and the very flexible scheduling possibility has resulted in an extensive use for many other astrophysical research topics, from exoplanets and accreting binaries to galaxies and quasars.


title: Consistent origin of neutrino mass and freeze-in dark matter in large N theories

abstract: Most of what we concern in beyond standard phenomenology are the existence of tiny numbers. The well-defined principle for protecting the tiny number to be large from quantum correction is supersymmetry. However, such a nice framework is challenged by the non-observation of superpartners at LHC. Instead, we propose a new principle to realize a natural framework to explain the smallness of feebly interaction dark matter coupling and neutrino mass. The scalar sector as well as gauge sector must be extended to include $N$ copies as a price. It is found in this paper that the yukawa coupling $y$ as well as quartic coupling $\lambda$ scales with inverse power of $N$ to maintain perturbativity. In terms of the scaling behavior of couplings, the freeze-in dark matter becomes compatible with neutrino mass requirement. The biggest observation is that $y$ has to be evaluated by $1/N^{3/2}$ in type-I seesaw mechanism in order to obtain a large $N$ suppressed neutrino mass. The intrinsic hierarchy between $1/\sqrt{N}$ and $1/N^{3/2}$ for yukawa coupling $y$ can be improved if we focus on the loop generated neutrino mass which can be relaxed to be $1/N$. The underlying reason for not use $1/\sqrt{N}$ is that freeze-in dark matter provides a lower bound for the scaling. Therefore the only choice of scaling for yukawa coupling is left to be $1/N$. Based on this simple scaling, we realiza an unified framework for explaining FIMP and neutrino mass.


title: Neutrino Properties and the Cosmological Tensions in the $\Lambda$CDM Model

abstract: In this talk I will review the current status of the constraints on the neutrino properties from cosmological measurements, with a particular focus on their mass and effective number. I will also discuss the existing tensions within the context of the \lcdm\ model, including the discrepancies on the Hubble parameter and on the matter fluctuations at small scales, and how neutrinos could help to alleviate the aforementioned problems.


title: The Mechanism of Tidal Triggering of Earthquakes at Mid-Ocean Ridges

abstract: Evidence for the triggering of earthquakes by tides has been largely lacking for the continents but detectable in the oceans where the tides are larger. By far the strongest tidal triggering signals are in volcanic areas of mid-ocean ridges. These areas offer the most promise for the study of this process, but even the most basic mechanism of tidal triggering at the ridges has been elusive. The triggering occurs at low tides, but as the earthquakes are of the normal faulting type, low tides should inhibit rather than encourage faulting. Here, treating the most well documented case, Axial Volcano on the Juan de Fuca ridge, we show that the axial magma chamber inflates or deflates in response to tidal stresses and produces Coulomb stresses on normal faults opposite in sign to those produced by the tidal stresses. If the bulk modulus of the magma chamber is below a critical value, the magma chamber Coulomb stresses will exceed the tidal ones and the phase of tidal triggering will be inverted. The stress dependence of seismicity rate agrees with triggering theory with unprecedented faithfulness, showing that there is no triggering threshold.


title: $F(R)$ gravity in the early Universe: Electroweak phase transition and chameleon mechanism

abstract: It is widely believed that the screening mechanism is an essential feature for the modified gravity theory. Although this mechanism has been examined thoroughly in the past decade, their analyses are based on the classical configuration of the matter fields. In this paper, we demonstrate a new formulation of the chameleon mechanism in $F(R)$ gravity theory, to shed light on quantum-field theoretical effects on the chameleon mechanism as well as the related scalaron physics, induced by the matter sector. We show a potential absence of the chameleon mechanism in the cosmic history based on a scale-invariant-extended scenario beyond the standard model of particle physics, in which a realistic electroweak phase transition, possibly yielding the right amount of baryon asymmetry of Universe today, simultaneously breaks the scale invariance in the early Universe. Remarkably enough, the matter sector contribution to the trace of energy-momentum tensor turns out to be on the same order of magnitude as that computed in the classical perfect-fluid approximation, even though the theory involves the nontrivial electroweak-phase transition environment. We also briefly discuss the oscillation of the scalaron field and indirect generation of non-tensorial gravitational waves induced by the electroweak phase transition.


title: An improved fully nonparametric estimator of the marginal survival function based on case-control clustered data

abstract: A case-control family study is a study where individuals with a disease of interest (case probands) and individuals without the disease (control probands) are randomly sampled from a well-defined population. Possibly right-censored age at onset and disease status are observed for both probands and their relatives. Correlation among the outcomes within a family is induced by factors such as inherited genetic susceptibility, shared environment, and common behavior patterns. For this setting, we present a nonparametric estimator of the marginal survival function, based on local linear estimation of conditional survival functions. Asymptotic theory for the estimator is provided, and simulation results are presented showing that the method performs well. The method is illustrated on data from a prostate cancer study. Keywords: case-control; family study; multivariate survival; nonparametric estimator; local linear


title: Properties of protons in nuclear medium with AdS/QCD model with a quadratic modified dilaton

abstract: A modified version of the usual soft wall quadratic dilaton, a dilaton which catches the variation of the proton mass inside nucleons in the nuclear medium is used. With this dilaton, called nuclear dilaton, we have calculated the electromagnetic form factors and magnetic moments associated with the in-medium proton following the AdS/QCD prescription.


title: Cluster Gutzwiller Monte Carlo approach for a critical dissipative spin model

abstract: We study the influence of short-range quantum correlations and classical spatial correlations on the phase diagram of the dissipative XYZ model by using a Gutzwiller Monte carlo method and a cluster Gutzwiller ansatz for the wave function. Considering lattices of finite size we show the emergence of a ferromagnetic phase, two paramagnetic phases and the possible existence of a phase transition which is entirely quantum in nature. The inclusion of short-range quantum correlations has a drastic effect on the phase diagram but our results show the inclusion of long-range quantum correlations or the use of more sophisticated methods are needed to quantitatively match the exact results. A study of the susceptibility tensor shows that reciprocity is broken, a feature not observed in closed quantum systems.


title: Normal approximation of the solution to the stochastic heat equation with L\'evy noise

abstract: Given a sequence $\dot{L}^{\varepsilon}$ of L\'evy noises, we derive necessary and sufficient conditions in terms of their variances $\sigma^2(\varepsilon)$ such that the solution to the stochastic heat equation with noise $\sigma(\varepsilon)^{-1} \dot{L}^\varepsilon$ converges in law to the solution to the same equation with Gaussian noise. Our results apply to both equations with additive and multiplicative noise and hence lift the findings of S. Asmussen and J. Rosi\'nski [J. Appl. Probab. 38 (2001) 482-493] and S. Cohen and J. Rosi\'nski [Bernoulli 13 (2007) 195-210] for finite-dimensional L\'evy processes to the infinite-dimensional setting without making distributional assumptions on the solutions such as infinite divisibility. One important ingredient of our proof is to characterize the solution to the limit equation by a sequence of martingale problems. To this end, it is crucial to view the solution processes both as random fields and as c\`adl\`ag processes with values in a Sobolev space of negative real order.


title: Unsupervised Deep Slow Feature Analysis for Change Detection in Multi-Temporal Remote Sensing Images

abstract: Change detection has been a hotspot in remote sensing technology for a long time. With the increasing availability of multi-temporal remote sensing images, numerous change detection algorithms have been proposed. Among these methods, image transformation methods with feature extraction and mapping could effectively highlight the changed information and thus has better change detection performance. However, changes of multi-temporal images are usually complex, existing methods are not effective enough. In recent years, deep network has shown its brilliant performance in many fields including feature extraction and projection. Therefore, in this paper, based on deep network and slow feature analysis (SFA) theory, we proposed a new change detection algorithm for multi-temporal remotes sensing images called Deep Slow Feature Analysis (DSFA). In DSFA model, two symmetric deep networks are utilized for projecting the input data of bi-temporal imagery. Then, the SFA module is deployed to suppress the unchanged components and highlight the changed components of the transformed features. The CVA pre-detection is employed to find unchanged pixels with high confidence as training samples. Finally, the change intensity is calculated with chi-square distance and the changes are determined by threshold algorithms. The experiments are performed on two real-world datasets and a public hyperspectral dataset. The visual comparison and quantitative evaluation have both shown that DSFA could outperform the other state-of-the-art algorithms, including other SFA-based and deep learning methods.


title: Local Lipschitz regularity for functions satisfying a time-dependent dynamic programming principle

abstract: We prove in this article that functions satisfying a dynamic programming principle have a local interior Lipschitz type regularity. This DPP is partly motivated by the connection to the normalized parabolic $p$-Laplace operator.


title: Deep Hierarchical Machine: a Flexible Divide-and-Conquer Architecture

abstract: We propose Deep Hierarchical Machine (DHM), a model inspired from the divide-and-conquer strategy while emphasizing representation learning ability and flexibility. A stochastic routing framework as used by recent deep neural decision/regression forests is incorporated, but we remove the need to evaluate unnecessary computation paths by utilizing a different topology and introducing a probabilistic pruning technique. We also show a specified version of DHM (DSHM) for efficiency, which inherits the sparse feature extraction process as in traditional decision tree with pixel-difference feature. To achieve sparse feature extraction, we propose to utilize sparse convolution operation in DSHM and show one possibility of introducing sparse convolution kernels by using local binary convolution layer. DHM can be applied to both classification and regression problems, and we validate it on standard image classification and face alignment tasks to show its advantages over past architectures.


title: Proceedings of the fourth "international Traveling Workshop on Interactions between low-complexity data models and Sensing Techniques" (iTWIST'18)

abstract: The iTWIST workshop series aim at fostering collaboration between international scientific teams for developing new theories, applications and generalizations of low-complexity models. These events emphasize dissemination of ideas through both specific oral and poster presentations, as well as free discussions. For this fourth edition, iTWIST'18 gathered in CIRM, Marseille, France, 74 international participants and featured 7 invited talks, 16 oral presentations, and 21 posters. From iTWIST'18, the scientific committee has decided that the workshop proceedings will adopt the episcience.org philosophy, combined with arXiv.org: in a nutshell, "the proceedings are equivalent to an overlay page, built above arXiv.org; they add value to these archives by attaching a scientific caution to the validated papers." This means that all papers listed in the HTML page of this arxiv publication (see the menu on the right) have been thoroughly evaluated and approved by two independent reviewers, and authors have revised their work according to the comments provided by these reviewers.


title: Generalized superconductors from the coupling of a scalar field to the Einstein tensor and their refractive index in massive gravity

abstract: We construct the generalized superconductors from the coupling of a scalar field to the Einstein tensor in the massive gravity and investigate their negative refraction in the probe limit. We observe that the larger graviton mass and Einstein tensor coupling parameters both hinder the formation of the condensation, but the larger graviton mass or smaller coupling parameter makes it easier for the emergence of the Cave of Winds. Furthermore, we see that the larger graviton mass but smaller coupling parameter make the range of frequencies or the range of temperatures larger for which a negative Depine-Lakhtakia index occurs, which indicates that the graviton mass and Einstein tensor have completely different effects on the negative refraction. In addition, we find that the larger graviton mass and coupling parameters both can reduce the dissipation and improve the propagation in the holographic setup.


title: Model Based In Situ Calibration with Temperature compensation of 6 axis Force Torque Sensors

abstract: It is well known that sensors using strain gauges have a potential dependency on temperature. This creates temperature drift in the measurements of six axis force torque sensors (F/T). The temperature drift can be considerable if an experiment is long or the environmental conditions are different from when the calibration of the sensor was performed. Other \textit{in situ} methods disregard the effect of temperature on the sensor measurements. Experiments performed using the humanoid robot platform iCub show that the effect of temperature is relevant. The model based \textit{in situ} calibration of six axis force torque sensors method is extended to perform temperature compensation.


title: Towards Agent-based Models of Rumours in Organizations: A Social Practice Theory Approach

abstract: Rumour is a collective emergent phenomenon with a potential for provoking a crisis. Modelling approaches have been deployed since five decades ago; however, the focus was mostly on epidemic behaviour of the rumours which does not take into account the differences of the agents. We use social practice theory to model agent decision making in organizational rumourmongering. Such an approach provides us with an opportunity to model rumourmongering agents with a layer of cognitive realism and study the impacts of various intervention strategies for prevention and control of rumours in organizations.


title: An abstract elementary class non-axiomatizable in $L_{(\infty,\kappa)}$

abstract: We show that for any uncountable cardinal $\lambda$, the category of sets of cardinality at least $\lambda$ and monomorphisms between them cannot appear as the category of point of a topos, in particular is not the category of models of a $L_{(\infty,\omega)}$-theory. More generally we show that for any regular cardinal $\kappa < \lambda$ it is neither the category of $\kappa$-points of a $\kappa$-topos, in particular, not the category of models of a $L_{(\infty,\kappa)}$-theory. The proof relies on the construction of a categorified version of the Scott topology, which constitute a left adjoint to the functor sending any topos to its category of points and the computation of this left adjoint evaluated on the category of sets of cardinality at least $\lambda$ and monomorphisms between them. The same techniques also applies to a few other categories. At least to the category of vector spaces of with bounded below dimension and the category of algebraic closed fields of fixed characteristic with bounded below transcendence degree.


title: An Observation On The Uniform Preconditioners For The Mixed Darcy Problem

abstract: When solving a multi-physics problem one often decomposes a monolithic system into simpler, frequently single-physics, subproblems. A comprehensive solution strategy may commonly be attempted, then, by means of combining strategies devised for the constituent subproblems. When decomposing the monolithic problem, however, it may be that requiring a particular scaling for one subproblem enforces an undesired scaling on another. In this manuscript we consider the H(div)-based mixed formulation of the Darcy problem as a single-physics subproblem; the hydraulic conductivity, K, is considered intrinsic and not subject to any rescaling. Preconditioners for such porous media flow problems in mixed form are frequently based on H(div) preconditioners rather than the pressure Schur complement. We show that when the hydraulic conductivity, K, is small the pressure Schur complement can also be utilised for H(div)-based preconditioners. The proposed approach employs an operator preconditioning framework to establish a robust, K- and h-uniform block preconditioner. The mapping properties of the continuous operator are a key component in applying the theoretical framework point of view. As such, a main challenge addressed here is establishing a K-uniform inf-sup condition with respect to appropriately weighted Hilbert intersection- and sum-spaces.


title: Constructions for the Elekes-Szab\'o and Elekes-R\'onyai problems

abstract: We give a construction of a non-degenerate polynomial $F\in \mathbb R[x,y,z]$ and a set $A$ of cardinality $n$ such that $\left|Z(F)\cap (A \times A \times A) \right| \gg n^{\frac{3}{2}}$, thus providing a new lower bound construction for the Elekes--Szab\'o problem. We also give a related construction for the Elekes--R\'onyai problem restricted to a subgraph. This consists of a polynomial $f\in \mathbb R[x,y]$ that is not additive or multiplicative, a set $A$ of size $n$, and a subset $P\subset A\times A$ of size $|P|\gg n^{3/2}$ on which $f$ takes only $n$ distinct values.


title: Massive Modes for Quantum Graphs

abstract: The spectral two-point function of chaotic quantum graphs is expected to be universal. Within the supersymmetry approach, a proof of that assertion amounts to showing that the contribution of non-universal (or massive) modes vanishes in the limit of infinite graph size. Here we pay particular attention to the fact that the massive modes are defined in a coset space. Using the assumption that the spectral gap of the Perron-Frobenius operator remains finite in the limit, we then argue that the massive modes are indeed negligible.


title: Counter-Propagating Core Assignment in Multi-Core Fiber Optical Networks to Reduce Inter-Core Crosstalk and Capacity Wastage

abstract: Inter-core crosstalk is one of the most serious impairments for signal transmission in a multi-core fiber (MCF) optical network. On the other hand, because of wide deployment of data centers (DCs), we are seeing an increasing bidirectional traffic demand asymmetry, which leads to significant capacity wastage in designing and operating an optical transport network. To alleviate these effects, for an MCF optical network, we propose to assign fiber cores in an MCF in an asymmetric and counter-propagating manner. This can not only significantly reduce inter-core crosstalk between counter-propagating fiber cores but also flexibly assign different numbers of fiber cores in the opposite directions of a fiber link, thereby overcoming network capacity wastage due to the bidirectional traffic demand asymmetry. To evaluate the benefits of the proposed strategy, we consider the routing, spectrum, and core assignment (RSCA) problem for the MCF optical network. An integer linear programming (ILP) model and an auxiliary graph (AG) based heuristic algorithm are developed to optimize network spectrum resource utilization. Simulation studies show the effectiveness of the proposed core counter-propagation strategy, which can significantly outperform its counterpart, i.e., the co-propagation scheme, in terms of the total number of MCFs used and average inter-core crosstalk. In addition, the proposed RSCA heuristic algorithm is efficient to perform close to the ILP model, which can minimize the number of MCFs used and crosstalk between neighboring cores.


title: Making Faranoff-Riley I radio sources II. The effects of jet magnetization

abstract: Radio sources of low power are the most common in the universe. Their jets typically move at nonrelativistic velocity and show plume-like morphologies that in many instances appear distorted and bent. We investigate the role of magnetic field on the propagation and evolution of low-power jets and the connection between the field intensity and the resulting morphology. The problem is addressed by means of three-dimensional magnetohydrodynamic (MHD) simulations. We consider supersonic jets that propagate in a stratified medium. The ambient temperature increases with distance from the jet origin maintaining constant pressure. Jets with low magnetization show an enhanced collimation at small distances with respect to hydrodynamic (HD) cases studied in a previous paper. These jets eventually evolve in a way similar to the HD cases. Jets with higher magnetization are affected by strong nonaxisymmetric modes that lead to the sudden jet energy release. From there on, distorted plumes of jet material move at subsonic velocities. This transition is associated with the formation of structures reminiscent of the `warm spots' observed in wide-angle-tail (WAT) sources.


title: Artificial Life in an Exciton-Polariton Lattice

abstract: We show theoretically that a lattice of exciton-polaritons can behave as a life-like cellular automaton when simultaneously excited by a continuous wave coherent field and a time-periodic sequence of non-resonant pulses. This provides a mechanism of realizing a range of highly sought spatiotemporal structures under the same conditions, including: discrete solitons, oscillating solitons, rotating solitons, breathers, soliton trains, guns, and choatic behaviour. These structures can survive in the system indefinitely, despite the presence of dissipation, and allow universal computation.


title: Effect of Crab cavity HOMs on the coupled-bunch stability of HL-LHC

abstract: High frequency High Order Modes can significantly affect the coupled-bunch stability in a circular accelerator. With a large enough shunt impedance they may drive a coupled-bunch transverse instability. We have developed an analytical model and implemented it in the NHT Vlasov solver. The results show that the instability is characterized by the excitation of many azimuthal intra-bunch modes, which have similar growth rates, that make the traditional remedies such as a flat resistive feedback and chromaticity inefficient in suppressing it. For the High Luminosity Large Hadron Collider this could result in a significant increase of the stabilizing Landau octupole current, up to $\sim 100$ A ($\sim 20\%$ of the maximum available current). In order to limit the increase below 10 A ($\sim 2\%$), the transverse shunt impedance has to be kept below 1 M$\Omega$/m.


title: Knowledge Distillation with Feature Maps for Image Classification

abstract: The model reduction problem that eases the computation costs and latency of complex deep learning architectures has received an increasing number of investigations owing to its importance in model deployment. One promising method is knowledge distillation (KD), which creates a fast-to-execute student model to mimic a large teacher network. In this paper, we propose a method, called KDFM (Knowledge Distillation with Feature Maps), which improves the effectiveness of KD by learning the feature maps from the teacher network. Two major techniques used in KDFM are shared classifier and generative adversarial network. Experimental results show that KDFM can use a four layers CNN to mimic DenseNet-40 and use MobileNet to mimic DenseNet-100. Both student networks have less than 1\% accuracy loss comparing to their teacher models for CIFAR-100 datasets. The student networks are 2-6 times faster than their teacher models for inference, and the model size of MobileNet is less than half of DenseNet-100's.


title: Essential guidelines for computational method benchmarking

abstract: In computational biology and other sciences, researchers are frequently faced with a choice between several computational methods for performing data analyses. Benchmarking studies aim to rigorously compare the performance of different methods using well-characterized benchmark datasets, to determine the strengths of each method or to provide recommendations regarding suitable choices of methods for an analysis. However, benchmarking studies must be carefully designed and implemented to provide accurate, unbiased, and informative results. Here, we summarize key practical guidelines and recommendations for performing high-quality benchmarking analyses, based on our experiences in computational biology.


title: Phase connected X-ray light curve and He II RV measurements of NGC 300 X-1

abstract: NGC300 X-1 and IC10 X-1 are currently the only two robust extragalactic candidates for being Wolf-Rayet/black hole X-ray binaries, the Galactic analogue being Cyg X-3. These systems are believed to be a late product of high-mass X-ray binary evolution and direct progenitors of black hole mergers. From the analysis of Swift data, the orbital period of NGC 300 X-1 was found to be 32.8h. We here merge the full set of existing data of NGC300 X-1, using XMM-Newton, Chandra and Swift observations to derive a more precise value of the orbital period of 32.7932+-0.0029h above a confidence level of 99.99%. This allows us to phase connect the X-ray light curve of the source with radial velocity measurements of He II lines performed in 2010. We show that, as for IC10 X-1 and Cyg X-3, the X-ray eclipse corresponds to maximum of the blueshift of the He II lines, instead of the expected zero velocity. This indicates that for NGC300 X-1 as well, the wind of the WR star is completely ionised by the black hole radiation and that the emission lines come from the region of the WR star that is in the shadow. We also present for the first time the light curve of two recent very long XMM-Newton observations of the source, performed on the 16th to 20th of December 2016.


title: On the high temperature limit of the Casimir energy

abstract: We introduce a useful approach to find asymptotically explicit expressions for the Casimir free energy at large temperature. The resulting expressions contain the classical terms as well as the few first terms of the corresponding heat-kernel expansion, as expected. This technique works well for many familiar configurations in Euclidean as well as non-Euclidean spaces. By utilizing this approach, we provide some new numerically considerable results for the Casimir pressure in some rectangular ideal-metal cavities. For instance, we show that at sufficiently large temperature, the Casimir pressure acting on the sidewalls of a rectangular tube can be up to twice that of the two parallel planes. We also apply this technique for calculating the Casimir free energy on a 3-torus as well as a 3-sphere. We show that a nonzero mass term for both scalar and spinor fields as well on the torus as on the sphere, violates the third law of thermodynamics. We obtain some negative values for the Casimir entropy on the 3-torus as well as on the 3-sphere. We speculate that these negative Casimir entropies can be interpreted thermodynamically as an instability of the vacuum state at finite temperatures


title: Stochastic project management: Multiple projects with multi-skilled human resources

abstract: This paper presents two stochastic optimization approaches for simultaneous project scheduling and personnel planning, extending a deterministic model previously developed by Heimerl and Kolisch. For the problem of assigning work packages to multi-skilled human resources with heterogeneous skills, the uncertainty on work package processing times is addressed. In the case where the required capacity exceeds the available capacity of internal resources, external human resources are used. The objective is to minimize the expected external costs. The first solution approach is a 'matheuristic' based on a decomposition of the problem into a project scheduling subproblem and a staffing subproblem. An iterated local search procedure determines the project schedules, while the staffing subproblem is solved by means of the Frank-Wolfe algorithm for convex optimization. The second solution approach is Sample Average Approximation where, based on sampled scenarios, the deterministic equivalent problem is solved through mixed integer programming. Experimental results for synthetically generated test instances inspired by a real-world situation are provided, and some managerial insights are derived.


title: Hot Jupiter accretion: 3D MHD simulations of star-planet wind interaction

abstract: We present 3D MHD simulations of the wind-wind interactions between a solar type star and a short period hot Jupiter exoplanet. This is the first such simulation in which the stellar surface evolution is studied in detail. In our simulations, a planetary outflow, based on models of FUV evaporation of the exoplanets upper atmosphere, results in the build-up of circumstellar and circumplanetary material which accretes onto the stellar surface in a form of coronal rain, in which the rain is HJ wind material falling onto the stellar surface. We have conducted a suite of mixed geometry high resolution simulations which characterise the behaviour of interacting stellar and planetary wind material for a representative HJ hosting system. Our results show that magnetic topology plays a central role in forming accretion streams between the star and HJ and that the nature of the accretion is variable both in location and in rate, with the final accretion point occurring at $\phi~=~227^{\circ}$ ahead of the sub-planetary point and $\theta~=~53^{\circ}$ below the orbital plain. The size of the accretion spot itself has been found to vary with a period of $67 \ \mathrm{ks}$. Within the accretion spot, there is a small decrease in temperature accompanied by an increase in density compared with ambient surface conditions. We also demonstrate that magnetic fields cannot be ignored as accretion is highly dependent upon the magnetic topology of both the HJ and the host. We characterise this behaviour as Star Planet Wind Interaction (SPWI)


title: Source counts and confusion at 72-231 MHz in the MWA GLEAM survey

abstract: The GaLactic and Extragalactic All-sky MWA survey (GLEAM) is a radio continuum survey at 72-231 MHz of the whole sky south of declination +30 deg, carried out with the Murchison Widefield Array (MWA). In this paper, we derive source counts from the GLEAM data at 200, 154, 118 and 88 MHz, to a flux density limit of 50, 80, 120 and 290 mJy respectively, correcting for ionospheric smearing, incompleteness and source blending. These counts are more accurate than other counts in the literature at similar frequencies as a result of the large area of sky covered and this survey's sensitivity to extended emission missed by other surveys. At S_154MHz > 0.5 Jy, there is no evidence of flattening in the average spectral index (alpha approx. -0.8 where S proportional to nu^alpha) towards the lower frequencies. We demonstrate that the SKA Design Study (SKADS) model by Wilman et al. (2008) significantly underpredicts the observed 154 MHz GLEAM counts, particularly at the bright end. Using deeper LOFAR counts and the SKADS model, we find that sidelobe confusion dominates the thermal noise and classical confusion at nu >~ 100 MHz due to both the limited CLEANing depth and undeconvolved sources outside the field-of-view. We show that we can approach the theoretical noise limit using a more efficient and automated CLEAN algorithm.


title: The TMB path loss model for 5 GHz indoor WiFi scenarios: On the empirical relationship between RSSI, MCS, and spatial streams

abstract: The WiFi landscape is rapidly changing over the last years, responding to the new needs of wireless communications. IEEE 802.11ax is the next fast-approaching standard, addressing some of today's biggest performance challenges specifically for high-density public environments. It is designed to operate at 2.4 GHz and 5 GHz bands, the latter being rapidly adopted worldwide after its inclusion in IEEE 802.11ac, and with expected growing demand in the next 10 years. This paper assesses empirically the suitability of the available IEEE 802.11ax path loss models at 5 GHz on some real testbeds and proposes a new model with higher abstraction level; i.e., without requiring from a previous in situ analysis of each considered receiver's location. The proposed TMB path loss model, used in combination with generated data sets, is able to obtain an estimation of RSSI, selected modulation and coding scheme (MCS), and number of spatial streams in function of the AP configuration and the AP-STA distance. We aim to use the model to compare IEEE 802.11ac/ax performance simulation results with experimental ones.


title: An Interpretable Machine Vision Approach to Human Activity Recognition using Photoplethysmograph Sensor Data

abstract: The current gold standard for human activity recognition (HAR) is based on the use of cameras. However, the poor scalability of camera systems renders them impractical in pursuit of the goal of wider adoption of HAR in mobile computing contexts. Consequently, researchers instead rely on wearable sensors and in particular inertial sensors. A particularly prevalent wearable is the smart watch which due to its integrated inertial and optical sensing capabilities holds great potential for realising better HAR in a non-obtrusive way. This paper seeks to simplify the wearable approach to HAR through determining if the wrist-mounted optical sensor alone typically found in a smartwatch or similar device can be used as a useful source of data for activity recognition. The approach has the potential to eliminate the need for the inertial sensing element which would in turn reduce the cost of and complexity of smartwatches and fitness trackers. This could potentially commoditise the hardware requirements for HAR while retaining the functionality of both heart rate monitoring and activity capture all from a single optical sensor. Our approach relies on the adoption of machine vision for activity recognition based on suitably scaled plots of the optical signals. We take this approach so as to produce classifications that are easily explainable and interpretable by non-technical users. More specifically, images of photoplethysmography signal time series are used to retrain the penultimate layer of a convolutional neural network which has initially been trained on the ImageNet database. We then use the 2048 dimensional features from the penultimate layer as input to a support vector machine. Results from the experiment yielded an average classification accuracy of 92.3%. This result outperforms that of an optical and inertial sensor combined (78%) and illustrates the capability of HAR systems using...


title: Hoard: A Distributed Data Caching System to Accelerate Deep Learning Training on the Cloud

abstract: Deep Learning system architects strive to design a balanced system where the computational accelerator -- FPGA, GPU, etc, is not starved for data. Feeding training data fast enough to effectively keep the accelerator utilization high is difficult when utilizing dedicated hardware like GPUs. As accelerators are getting faster, the storage media \& data buses feeding the data have not kept pace and the ever increasing size of training data further compounds the problem. We describe the design and implementation of a distributed caching system called Hoard that stripes the data across fast local disks of multiple GPU nodes using a distributed file system that efficiently feeds the data to ensure minimal degradation in GPU utilization due to I/O starvation. Hoard can cache the data from a central storage system before the start of the job or during the initial execution of the job and feeds the cached data for subsequent epochs of the same job and for different invocations of the jobs that share the same data requirements, e.g. hyper-parameter tuning. Hoard exposes a POSIX file system interface so the existing deep learning frameworks can take advantage of the cache without any modifications. We show that Hoard, using two NVMe disks per node and a distributed file system for caching, achieves a 2.1x speed-up over a 10Gb/s NFS central storage system on a 16 GPU (4 nodes, 4 GPUs per node) cluster for a challenging AlexNet ImageNet image classification benchmark with 150GB of input dataset. As a result of the caching, Hoard eliminates the I/O bottlenecks introduced by the shared storage and increases the utilization of the system by 2x compared to using the shared storage without the cache.


title: On geodesic mappings in particular class of Roter spaces

abstract: We determine a particular class of Roter type warped product manifolds. We show that every manifold of that class admits a geodesic mapping onto a some Roter type warped product manifold. Moreover, both geodesically related manifolds are pseudosymmetric of constant type.


title: Topological order on the Bloch sphere

abstract: A Bloch sphere is the geometrical representation of an arbitrary two-dimensional Hilbert space. Possible classes of entanglement and separability for the pure and mixed states on the Bloch sphere were suggested by [M. Boyer, R. Liss, T. Mor, PRA 95, 032308 (2017)]. Here we construct a Bloch sphere for the Hilbert space spanned by one of the ground states of Kitaev's toric code model and one of its closest product states. We prove that this sphere contains only one separable state, thus belonging to the fourth class suggested by the said paper. We furthermore study the topological order of the pure states on its surface and conclude that, according to conventional definitions, only one state (the toric code ground state) seems to present non-trivial topological order. We conjecture that most of the states on this Bloch sphere are neither ``trivial'' states (namely, they cannot be generated from a product state using a trivial circuit) nor topologically ordered. In addition, we show that the whole setting can be understood in terms of Grover rotations with gauge symmetry, akin to the quantum search algorithm.


title: Shashlik calorimeters: novel compact prototypes for the ENUBET experiment

abstract: We summarize in this paper the detector R&D performed in the framework of the ERC ENUBET Project. We discuss in particular the latest results on longitudinally segmented shashlik calorimeters and the first HEP application of polysiloxane-based scintillators.


title: Uniqueness of the inverse reaction coefficient problems for nonlocal diffusion models

abstract: In this paper, we consider the inverse reaction coefficient problems (IRCPs) for nonlocal diffusion equation and multi-term time-fractional nonlocal diffusion equation from the average nonlocal flux data in external reaction region. Based on the nonlocal maximum principle we established, the uniqueness theorem for IRCPs are proved.


title: Gravitational waves induced by scalar perturbations as probes of the small-scale primordial spectrum

abstract: Compared to primordial perturbations on large scales, roughly larger than $1$ megaparsec, those on smaller scales are not severely constrained. We revisit the issue of probing small-scale primordial perturbations using gravitational waves (GWs), based on the fact that, when large-amplitude primordial perturbations on small scales exist, GWs with relatively large amplitudes are induced at second order in scalar perturbations, and these induced GWs can be probed by both existing and planned gravitational-wave projects. We use accurate methods to calculate these induced GWs and take into account sensitivities of different experiments to induced GWs carefully, to report existing and expected limits on the small-scale primordial spectrum.


title: Suppressed out-of-plane polarizability of free excitons in monolayer WSe$_{2}$

abstract: Monolayer semiconductors are atomically thin quantum wells with strong confinement of electrons in two-dimensional (2D) plane. Here, we experimentally study the out-of-plane polarizability of excitons in hBN-encapsulated monolayer WSe$_{2}$ in strong electric fields of up to 1.6 V/nm (16 MV/cm). We monitor free and bound exciton photoluminescence peaks with increasing electric fields at a constant carrier density, carefully compensating for unintentional photodoping in our double-gated device at 4K. We show that the Stark shift is < 0.4 meV despite the large electric fields applied, yielding an upper limit of polarizability {\alpha}$_{z}$ to be ~ 10$^{-11}$ Dm/V. Such a small polarizability, which is nearly two orders of magnitude smaller than the previously reported value for MoS$_{2}$, indicates strong atomic confinement of electrons in this 2D system and highlights the unusual robustness of free excitons against surface potential fluctuations.


title: Efficient multistep methods for tempered fractional calculus: Algorithms and Simulations

abstract: In this work, we extend the fractional linear multistep methods in [C. Lubich, SIAM J. Math. Anal., 17 (1986), pp.704--719] to the tempered fractional integral and derivative operators in the sense that the tempered fractional derivative operator is interpreted in terms of the Hadamard finite-part integral. We develop two fast methods, Fast Method I and Fast Method II, with linear complexity to calculate the discrete convolution for the approximation of the (tempered) fractional operator. Fast Method I is based on a local approximation for the contour integral that represents the convolution weight. Fast Method II is based on a globally uniform approximation of the trapezoidal rule for the integral on the real line. Both methods are efficient, but numerical experimentation reveals that Fast Method II outperforms Fast Method I in terms of accuracy, efficiency, and coding simplicity. The memory requirement and computational cost of Fast Method II are $O(Q)$ and $O(Qn_T)$, respectively, where $n_T$ is the number of the final time steps and $Q$ is the number of quadrature points used in the trapezoidal rule. The effectiveness of the fast methods is verified through a series of numerical examples for long-time integration, including a numerical study of a fractional reaction-diffusion model.


title: Clinical Document Classification Using Labeled and Unlabeled Data Across Hospitals

abstract: Reviewing radiology reports in emergency departments is an essential but laborious task. Timely follow-up of patients with abnormal cases in their radiology reports may dramatically affect the patient's outcome, especially if they have been discharged with a different initial diagnosis. Machine learning approaches have been devised to expedite the process and detect the cases that demand instant follow up. However, these approaches require a large amount of labeled data to train reliable predictive models. Preparing such a large dataset, which needs to be manually annotated by health professionals, is costly and time-consuming. This paper investigates a semi-supervised learning framework for radiology report classification across three hospitals. The main goal is to leverage clinical unlabeled data in order to augment the learning process where limited labeled data is available. To further improve the classification performance, we also integrate a transfer learning technique into the semi-supervised learning pipeline . Our experimental findings show that (1) convolutional neural networks (CNNs), while being independent of any problem-specific feature engineering, achieve significantly higher effectiveness compared to conventional supervised learning approaches, (2) leveraging unlabeled data in training a CNN-based classifier reduces the dependency on labeled data by more than 50% to reach the same performance of a fully supervised CNN, and (3) transferring the knowledge gained from available labeled data in an external source hospital significantly improves the performance of a semi-supervised CNN model over their fully supervised counterparts in a target hospital.