title: Signature of stochastic acceleration and cooling processes in an outburst phase of the TeV blazar ON 231

abstract: We present a detailed spectral and temporal study of the intermediate-type blazar ON 231 during the TeV outburst phase in 2008 June with observations performed by Swift and XMM-Newton. The X-ray flux of the source, which was significantly dominated by the soft photons (below $3-4$ keV), varies between 27$\%$ and 38$\%$ on day timescales, while mild variations were observed in the optical/UV emissions. We found a maximum soft lag of $\sim 1$ hr between the UV and soft X-ray bands, which can be understood if the magnetic field of the emitting region is $\sim 5.6~ \delta^{-1/3}$ G. The $0.6-10$ keV spectra can be well represented by a broken power-law model, which indicates the presence of both synchrotron and inverse Compton components in the studied X-ray regime. The synchrotron part of the SEDs constructed with simultaneous optical/UV and X-ray data follows a log-parabolic shape. A time-resolved spectral analysis shows that the break energy varies significantly between 2.4 and 7.3 keV with the changing flux state of the source, and the similar variations of the spectral slopes of the two components support the SSC scenario. The synchrotron tail, following a log-parabolic function, shows that the peak frequency ($\nu_{p}$) varies by two orders of magnitude ($\sim 10^{14}-10^{16}$ Hz) during the event. A significantly positive $E_{p}-\beta$ relation is observed from both SED and time-resolved spectral analyses. The most feasible scenario for the observed trend during the flaring event could be associated with a magnetic-field-driven stochastic process evolving toward an equilibrium energy level.


title: Constant Q-curvature metrics on conic 4-manifolds

abstract: We consider the constant Q-curvature metric problem in the given conformal class on conic 4-manifolds and study related differential equations.


title: Lower critical field measurement of NbN multilayer thin film superconductor at KEK

abstract: The multilayer thin film structure of the superconductor has been proposed by A. Gurevich to enhance the maximum gradient of SRF cavities. The lower critical field Hc1 at which the vortex starts penetrating the superconducting material will be improved by coating Nb with thin film superconductor such as NbN. It is expected that the enhancement of Hc1 depends on the thickness of each layer. In order to determine the optimum thickness of each layer and to compare the measurement results with the theoretical prediction proposed by T. Kubo, we developed the Hc1 measurement system using the third harmonic response of the applied AC magnetic field at KEK. For the Hc1 measurement without the influence of the edge or the shape effects, the AC magnetic field can be applied locally by the solenoid coil of 5mm diameter in our measurement system. ULVAC made the NbN-SiO2 multilayer thin film samples of various NbN thicknesses. In this report, the measurement result of the bulk Nb sample and NbN-SiO2 multilayer thin film samples of different thickness of NbN layer will be discussed.


title: Unbiased estimators for random design regression

abstract: In linear regression we wish to estimate the optimum linear least squares predictor for a distribution over $d$-dimensional input points and real-valued responses, based on a small sample. Under standard random design analysis, where the sample is drawn i.i.d. from the input distribution, the least squares solution for that sample can be viewed as the natural estimator of the optimum. Unfortunately, this estimator almost always incurs an undesirable bias coming from the randomness of the input points, which is a significant bottleneck in model averaging. In this paper we show that it is possible to draw a non-i.i.d. sample of input points such that, regardless of the response model, the least squares solution is an unbiased estimator of the optimum. Moreover, this sample can be produced efficiently by augmenting a previously drawn i.i.d. sample with an additional set of $d$ points, drawn jointly according to a certain determinantal point process constructed from the input distribution rescaled by the squared volume spanned by the points. Motivated by this, we develop a theoretical framework for studying volume-rescaled sampling, and in the process prove a number of new matrix expectation identities. We use them to show that for any input distribution and $\epsilon>0$ there is a random design consisting of $O(d\log d+ d/\epsilon)$ points from which an unbiased estimator can be constructed whose expected square loss over the entire distribution is bounded by $1+\epsilon$ times the loss of the optimum. We provide efficient algorithms for generating such unbiased estimators in a number of practical settings and support our claims experimentally.


title: Stochastic optimal control of a evolutionary $p$-Laplace equation with multiplicative L\'{e}vy noise

abstract: In this article, we are interested in an initial value optimal control problem for a evolutionary $p$-Laplace equation driven by multiplicative L\'{e}vy noise. We first present wellposedness of a weak solution by using an implicit time discretization of the problem, along with the Jakubowski version of the Skorokhod theorem for a non-metric space. We then formulate associated control problem, and establish existence of an optimal solution by using variational method and exploiting the convexity property of the cost functional.


title: Second-Scale Coherence Measured at the Quantum Projection Noise Limit with Hundreds of Molecular Ions

abstract: Cold molecules provide an excellent platform for quantum information, cold chemistry, and precision measurement. Certain molecules have enhanced sensitivity to beyond Standard Model physics, such as the electron's electric dipole moment ($e$EDM). Molecular ions are easily trappable and are therefore particularly attractive for precision measurements where sensitivity scales with interrogation time. Here, we demonstrate a spin precession measurement with second-scale coherence at the quantum projection noise (QPN) limit with hundreds of trapped molecular ions, chosen for their sensitivity to the $e$EDM rather than their amenability to state control and readout. Orientation-resolved resonant photodissociation allows us to simultaneously measure two quantum states with opposite $e$EDM sensitivity, reaching the QPN limit and fully exploiting the high count rate and long coherence.


title: Decays of $P_c$ into $J/\psi N$ and $\eta_cN$ with heavy quark spin symmetry

abstract: We investigate the consequences of heavy quark spin symmetry (HQSS) on hidden-charm pentaquark $P_c$ states. As has been proposed before, assuming the $P_c(4440)$ and the $P_c(4457)$ as $S$-wave $\bar{D}^*\Sigma_c$ molecules, seven hadronic molecular states composed of $\bar{D}\Sigma_c$, $\bar{D}\Sigma_c^*$, $\bar{D}^*\Sigma_c$, and $\bar{D}^*\Sigma_c^*$ can be obtained, with the $\bar{D}\Sigma_c$ molecule corresponding to the $P_c(4312)$. These seven states can decay into $J/\psi N$ and $\eta_c N$, and we use HQSS to predict ratios of partial widths of the $S$-wave decays. For the decays into $J/\psi N$, it is found that among all six $P_c$ molecules with spin $1/2$ or $3/2$, at least four states decay much more easily into the $J/\psi N$ than the $P_c(4312)$, and two of them couple dominantly to the $\bar D^*\Sigma_c^*$. While no significant peak around the $\bar{D}^*\Sigma_c^*$ threshold is found in the $J/\psi p$ distribution, these higher $P_c$ states either are produced with lower rates or some special production mechanism for the observed $P_c$ states might play an important role, such as an intricate interplay between the production of pentaquarks and triangle singularities.


title: Communication-Efficient (Client-Aided) Secure Two-Party Protocols and Its Application

abstract: Secure multi-party computation (MPC) allows a set of parties to compute a function jointly while keeping their inputs private. Compared with the MPC based on garbled circuits,some recent research results show that MPC based on secret sharing (SS) works at a very high speed. Moreover, SS-based MPC can be easily vectorized and achieve higher throughput. In SS-based MPC, however, we need many communication rounds for computing concrete protocols like equality check, less-than comparison, etc. This property is not suited for large-latency environments like the Internet (or WAN). In this paper, we construct semi-honest secure communication-efficient two-party protocols. The core technique is Beaver triple extension, which is a new tool for treating multi-fan-in gates, and we also show how to use it efficiently. We mainly focus on reducing the number of communication rounds, and our protocols also succeed in reducing the number of communication bits (in most cases). As an example, we propose a less-than comparison protocol (under practical parameters) with three communication rounds. Moreover, the number of communication bits is also $38.4\%$ fewer. As a result, total online execution time is $56.1\%$ shorter than the previous work adopting the same settings. Although the computation costs of our protocols are more expensive than those of previous work, we confirm via experiments that such a disadvantage has small effects on the whole online performance in the typical WAN environments.


title: Shock propagation in the hard sphere gas in two dimensions: comparison between simulations and hydrodynamics

abstract: We study the radial distribution of pressure, density, temperature and flow velocity fields at different times in a two dimensional hard sphere gas that is initially at rest and disturbed by injecting kinetic energy in a localized region through large scale event driven molecular dynamics simulations. For large times, the growth of these distributions are scale invariant. The hydrodynamic description of the problem, obtained from the continuity equations for the three conserved quantities -- mass, momentum, and energy -- is identical to those used to describe the hydrodynamic regime of a blast wave propagating through a medium at rest, following an intense explosion, a classic problem in gas dynamics. Earlier work showed that the results from simulations matched well with the predictions from hydrodynamics in two dimensions, but did not match well in three dimensions. To resolve this contradiction, we perform large scale simulations in two dimensions, and show that like in three dimensions, hydrodynamics does not describe the simulation data well. To account for this discrepancy, we check in our simulations the different assumptions of the hydrodynamic approach like local equilibrium, existence of an equation of state, neglect of heat conduction and viscosity.


title: Mass formulas and Eisenstein congruences in higher rank

abstract: We use mass formulas to construct minimal parabolic Eisenstein congruences for algebraic modular forms on reductive groups compact at infinity, and study when these yield congruences between cusp forms and Eisenstein series on the quasi-split inner form. This extends recent work of the first author on weight 2 Eisenstein congruences for GL(2) to higher rank. Two issues in higher rank are that the transfer to the quasi-split form is not always cuspidal and sometimes the congruences come from lower rank (e.g., are "endoscopic"). We show our construction yields Eisenstein congruences with non-endoscopic cuspidal automorphic forms on quasi-split unitary groups by using certain unitary groups over division algebras. On the other hand, when using unitary groups over fields, or other groups of Lie type, these Eisenstein congruences typically appear to be endoscopic. This suggests a new way to see higher weight Eisenstein congruences for GL(2), and leads to various conjectures about GL(2) Eisenstein congruences. In supplementary sections, we also generalize previous weight 2 Eisenstein congruences for Hilbert modular forms, and prove some special congruence mod p results between cusp forms on U(p).


title: Stability of the coexistence phase of chiral superconductivity and noncollinear spin ordering with a nontrivial topology and strong electron correlations

abstract: We show that the quantum charge and spin fluctuations, while sufficiently renormalizing the magnetic order parameter, do not destroy the coexistence phase of chiral d+id superconductivity and 120-degree spin ordering in a strongly correlated 2D system with a triangular lattice. The nontrivial topology characterized by the topological invariant N3 is also preserved. It is shown that the Majorana mode exist among edge states in the topologically nontrivial phase. The spatial structure of such mode is determined. The spin and charge fluctuations shift the critical values of electron density at which quantum topological transitions occur. Increasing intersite Coulomb repulsion leads to decrease in the number of the topological transitions.


title: The Price of Interpretability

abstract: When quantitative models are used to support decision-making on complex and important topics, understanding a model's ``reasoning'' can increase trust in its predictions, expose hidden biases, or reduce vulnerability to adversarial attacks. However, the concept of interpretability remains loosely defined and application-specific. In this paper, we introduce a mathematical framework in which machine learning models are constructed in a sequence of interpretable steps. We show that for a variety of models, a natural choice of interpretable steps recovers standard interpretability proxies (e.g., sparsity in linear models). We then generalize these proxies to yield a parametrized family of consistent measures of model interpretability. This formal definition allows us to quantify the ``price'' of interpretability, i.e., the tradeoff with predictive accuracy. We demonstrate practical algorithms to apply our framework on real and synthetic datasets.


title: Knot spectrum of turbulence

abstract: Streamlines, vortex lines and magnetic flux tubes in turbulent fluids and plasmas display a great amount of coiling, twisting and linking, raising the question as to whether their topological complexity (continually created and destroyed by reconnections) can be quantified. In superfluid helium, the discrete (quantized) nature of vorticity can be exploited to associate to each vortex loop a knot invariant called the Alexander polynomial whose degree characterizes the topology of that vortex loop. By numerically simulating the dynamics of a tangle of quantum vortex lines, we find that this quantum turbulence always contains vortex knots of very large degree which keep forming, vanishing and reforming, creating a distribution of topologies which we quantify in terms of a knot spectrum and its scaling law. We also find results analogous to those in the wider literature, demonstrating that the knotting probability of the vortex tangle grows with the vortex length, as for macromolecules, and saturates above a characteristic length, as found for tumbled strings.


title: Real Time Control and Performance Analysis of A Smart Multi-Machine System through Hardware-in-the-Loop Simulation

abstract: This paper presents an implementation of a smart power system using inter-device communication and supervisory control through Simulink integrated with the physical system. This control includes features of real-time control, load management, fault detection and self-healing. The prototype is designed in hardware which takes in required parameter via sensors to PC via RS-232 power meter interface and actuator interfaced with Arduino microcontroller board which is integrated with Simulink. Simulink simulates the model and predict control signals depending upon input parameters and it sends control signal back to Arduino which then control the hardware through hardware in the loop (HIL) simulation. In the case of a severe fault, these control techniques detect system variation and compensate for this variation or remove the faulty part by using relays, which represents the self-healing nature of the developed model.


title: Bootstrap Model Ensemble and Rank Loss for Engagement Intensity Regression

abstract: This paper presents our approach for the engagement intensity regression task of EmotiW 2019. The task is to predict the engagement intensity value of a student when he or she is watching an online MOOCs video in various conditions. Based on our winner solution last year, we mainly explore head features and body features with a bootstrap strategy and two novel loss functions in this paper. We maintain the framework of multi-instance learning with long short-term memory (LSTM) network, and make three contributions. First, besides of the gaze and head pose features, we explore facial landmark features in our framework. Second, inspired by the fact that engagement intensity can be ranked in values, we design a rank loss as a regularization which enforces a distance margin between the features of distant category pairs and adjacent category pairs. Third, we use the classical bootstrap aggregation method to perform model ensemble which randomly samples a certain training data by several times and then averages the model predictions. We evaluate the performance of our method and discuss the influence of each part on the validation dataset. Our methods finally win 3rd place with MSE of 0.0626 on the testing set.


title: On-Policy Robot Imitation Learning from a Converging Supervisor

abstract: Existing on-policy imitation learning algorithms, such as DAgger, assume access to a fixed supervisor. However, there are many settings where the supervisor may evolve during policy learning, such as a human performing a novel task or an improving algorithmic controller. We formalize imitation learning from a "converging supervisor" and provide sublinear static and dynamic regret guarantees against the best policy in hindsight with labels from the converged supervisor, even when labels during learning are only from intermediate supervisors. We then show that this framework is closely connected to a class of reinforcement learning (RL) algorithms known as dual policy iteration (DPI), which alternate between training a reactive learner with imitation learning and a model-based supervisor with data from the learner. Experiments suggest that when this framework is applied with the state-of-the-art deep model-based RL algorithm PETS as an improving supervisor, it outperforms deep RL baselines on continuous control tasks and provides up to an 80-fold speedup in policy evaluation.


title: Segway DRIVE Benchmark: Place Recognition and SLAM Data Collected by A Fleet of Delivery Robots

abstract: Visual place recognition and simultaneous localization and mapping (SLAM) have recently begun to be used in real-world autonomous navigation tasks like food delivery. Existing datasets for SLAM research are often not representative of in situ operations, leaving a gap between academic research and real-world deployment. In response, this paper presents the Segway DRIVE benchmark, a novel and challenging dataset suite collected by a fleet of Segway delivery robots. Each robot is equipped with a global-shutter fisheye camera, a consumer-grade IMU synced to the camera on chip, two low-cost wheel encoders, and a removable high-precision lidar for generating reference solutions. As they routinely carry out tasks in office buildings and shopping malls while collecting data, the dataset spanning a year is characterized by planar motions, moving pedestrians in scenes, and changing environment and lighting. Such factors typically pose severe challenges and may lead to failures for SLAM algorithms. Moreover, several metrics are proposed to evaluate metric place recognition algorithms. With these metrics, sample SLAM and metric place recognition methods were evaluated on this benchmark. The first release of our benchmark has hundreds of sequences, covering more than 50 km of indoor floors. More data will be added as the robot fleet continues to operate in real life. The benchmark is available at http://drive.segwayrobotics.com/#/dataset/download.


title: Plasma pressures in the heliosheath from Cassini ENA and Voyager 2 measurements: Validation by the Voyager 2 heliopause crossing

abstract: We report "ground truth", 28-3500 keV in-situ ion and 5.2-55 keV remotely sensed ENA measurements from Voyager 2/Low Energy Charged Particle (LECP) detector and Cassini/Ion and Neutral Camera (INCA), respectively, that assess the components of the ion pressure in the heliosheath. In this process, we predict an interstellar neutral hydrogen density of ~0.12 cm-3 and an interstellar magnetic field strength of ~0.5 nT upstream of the heliopause in the direction of V2, i.e. consistent with the measured magnetic field and neutral density measurements at Voyager 1 from August 2012, when the spacecraft entered interstellar space, to date. Further, this analysis results in an estimated heliopause crossing by V2 of ~119 AU, as observed, suggesting that the parameters deduced from the pressure analysis are valid. The shape of the >5.2 keV ion energy spectra play a critical role towards determining the pressure balance and acceleration mechanisms inside the heliosheath.


title: Multivariate-Information Adversarial Ensemble for Scalable Joint Distribution Matching

abstract: A broad range of cross-$m$-domain generation researches boil down to matching a joint distribution by deep generative models (DGMs). Hitherto algorithms excel in pairwise domains while as $m$ increases, remain struggling to scale themselves to fit a joint distribution. In this paper, we propose a domain-scalable DGM, i.e., MMI-ALI for $m$-domain joint distribution matching. As an $m$-domain ensemble model of ALIs \cite{dumoulin2016adversarially}, MMI-ALI is adversarially trained with maximizing Multivariate Mutual Information (MMI) w.r.t. joint variables of each pair of domains and their shared feature. The negative MMIs are upper bounded by a series of feasible losses that provably lead to matching $m$-domain joint distributions. MMI-ALI linearly scales as $m$ increases and thus, strikes a right balance between efficacy and scalability. We evaluate MMI-ALI in diverse challenging $m$-domain scenarios and verify its superiority.


title: Guidelines for benchmarking of optimization approaches for fitting mathematical models

abstract: Insufficient performance of optimization approaches for fitting of mathematical models is still a major bottleneck in systems biology. In this manuscript, the reasons and methodological challenges are summarized as well as their impact in benchmark studies. Important aspects for increasing evidence of outcomes of benchmark analyses are discussed. Based on general guidelines for benchmarking in computational biology, a collection of tailored guidelines is presented for performing informative and unbiased benchmarking of optimization-based fitting approaches. Comprehensive benchmark studies based on these recommendations are urgently required for establishing of a robust and reliable methodology for the systems biology community.


title: The far field limit profile functions of two overlapped dyons

abstract: We study the profile functions of two overlapped dyons at infinity. We assume that the superposition of two dyons satisfies Yang-Mills (Y-M) equation and then we find new equations of motion for individual dyons which do not satisfy the original Y-M equation, anymore. By solving these new equations, we find out that the profile functions of two overlapped dyons of the same type at infinity, looks like the profile functions of one dyon. However, the superposition of two dyons of different types gives trivial holonomy and therefore no contribution in the confinement phase is observed.


title: Battling Gibbs Phenomenon: On Finite Element Approximations of Discontinuous Solutions of PDEs

abstract: In this paper, we want to clarify the Gibbs phenomenon when continuous and discontinuous finite elements are used to approximate discontinuous or nearly discontinuous PDE solutions from the approximation point of view. For a simple step function, we explicitly compute its continuous and discontinuous piecewise constant or linear projections on discontinuity matched or non-matched meshes. For the simple discontinuity-aligned mesh case, piecewise discontinuous approximations are always good. For the general non-matched case, we explain that the piecewise discontinuous constant approximation combined with adaptive mesh refinements is a good choice to achieve accuracy without overshoots. For discontinuous piecewise linear approximations, non-trivial overshoots will be observed unless the mesh is matched with discontinuity. For continuous piecewise linear approximations, the computation is based on a "far-away assumption", and non-trivial overshoots will always be observed under regular meshes. We calculate the explicit overshoot values for several typical cases. Numerical tests are conducted for a singularly-perturbed reaction-diffusion equation and linear hyperbolic equations to verify our findings in the paper. Also, we discuss the $L^1$-minimization-based methods and do not recommend such methods due to their similar behavior to $L^2$-based methods and more complicated implementations.


title: Magnetically charged AdS5 black holes from class S theories on hyperbolic 3-manifolds

abstract: We study the twisted index of 4d $\mathcal{N}$ = 2 class S theories on a closed hyperbolic 3-manifold $M_3$. Via 6d picture, the index can be written in terms of topological invariants called analytic torsions twisted by irreducible flat connections on the 3-manifold. Using the topological expression, we determine the full perturbative 1/N expansion of the twisted index. The leading part nicely matches the Bekestein-Hawking entropy of a magnetically charged black hole in the holographic dual $AdS_5$ with $AdS_2\times M_3$ near-horizon.


title: Expeditious computation of nonlinear optical properties of arbitrary order with native electronic interactions in the time domain

abstract: We adapted a recently proposed framework to characterize the optical response of interacting electrons in solids in order to expedite its computation without compromise in accuracy at the microscopic level. Our formulation is based on reliable parameterizations of Hamiltonians and Coulomb interactions, which allows economy and flexibility in obtaining response functions. It is suited to computing the optical response to fields of arbitrary temporal shape and strength, to arbitrary order in the field, and natively accounts for excitonic effects. We demonstrate the approach by computing the frequency-dependent susceptibilities of MoS2 and hexagonal BN monolayers up to the third-harmonic. Grounded on a generic non-equilibrium many-body perturbation theory, this framework allows extensions to handle generic interaction models or to describe electronic processes taking place at ultrafast time scales.


title: Blind source separation using Fast-ICA with a novel nonlinear function

abstract: Blind source separation(BSS) is a hotspot in signal processing, and independent component analysis (ICA) is a very effective tool for solving the BSS problem. In order to improve the performance of the separation, a new nonlinear function sin was introduced. It can replace the commonly used classical functions (tanh, gauss and pow3) and does not need to select different nonlinear functions according to the Gauss property of signals. The two Matlab simulation results show that the improved Fast-ICA algorithm with the proposed nonlinearity can not only improve the separation accuracy but also speed up the convergence of blind source separation.


title: Normalized ground states for the fractional nonlinear Schr\"{o}dinger equations

abstract: In this paper, we study the existence and instability of standing waves with a prescribed $L^2$-norm for the fractional Schr\"{o}dinger equation \begin{equation} i\partial_{t}\psi=(-\Delta)^{s}\psi-f(\psi), \qquad (0.1)\end{equation} where $0<s<1$, $f(\psi)=|\psi|^{p}\psi$ with $\frac{4s}{N}<p<\frac{4s}{N-2s}$ or $f(\psi)=(|x|^{-\gamma}\ast|\psi|^2)\psi$ with $2s<\gamma<\min\{N,4s\}$. To this end, we look for normalized solutions of the associated stationary equation \begin{equation} (-\Delta)^s u+\omega u-f(u)=0. \qquad (0.2) \end{equation} Firstly, by constructing a suitable submanifold of a $L^2$-sphere, we prove the existence of a normalized solution for (0.2) with least energy in the $L^2$-sphere, which corresponds to a normalized ground state standing wave of(0.1). Then, we show that each normalized ground state of (0.2) coincides a ground state of (0.2) in the usual sense. Finally, we obtain the sharp threshold of global existence and blow-up for (0.1). Moreover, we can use this sharp threshold to show that all normalized ground state standing waves are strongly unstable by blow-up.


title: Comparative studies of optoelectrical properties of prominent PV materials: Halide Perovskite, CdTe, and GaAs

abstract: We compare three representative high performance PV materials: halide perovskite MAPbI3, CdTe, and GaAs, in terms of photoluminescence (PL) efficiency, PL lineshape, carrier diffusion, and surface recombination, over multiple orders of photo-excitation density. An analytic model is used to describe the excitation density dependence of PL intensity and extract the internal PL efficiency and multiple pertinent recombination parameters. A PL imaging technique is used to obtain carrier diffusion length without using a PL quencher, thus, free of unintended influence beyond pure diffusion. Our results show that perovskite samples tend to exhibit lower Shockley-Read-Hall (SRH) recombination rate in both bulk and surface, thus higher PL efficiency than the inorganic counterparts, particularly under low excitation density, even with no or preliminary surface passivation. PL lineshape and diffusion analysis indicate that there is considerable structural disordering in the perovskite materials, and thus photo-generated carriers are not in global thermal equilibrium, which in turn suppresses the nonradiative recombination. This study suggests that relatively low point-defect density, less detrimental surface recombination, and moderate structural disordering contribute to the high PV efficiency in the perovskite. This comparative photovoltaics study provides more insights into the fundamental material science and the search for optimal device designs by learning from different technologies.


title: A proximal dual semismooth Newton method for computing zero-norm penalized QR estimator

abstract: This paper is concerned with the computation of the high-dimensional zero-norm penalized quantile regression estimator, defined as a global minimizer of the zero-norm penalized check loss function. To seek a desirable approximation to the estimator, we reformulate this NP-hard problem as an equivalent augmented Lipschitz optimization problem, and exploit its coupled structure to propose a multi-stage convex relaxation approach (MSCRA\_PPA), each step of which solves inexactly a weighted $\ell_1$-regularized check loss minimization problem with a proximal dual semismooth Newton method. Under a restricted strong convexity condition, we provide the theoretical guarantee for the MSCRA\_PPA by establishing the error bound of each iterate to the true estimator and the rate of linear convergence in a statistical sense. Numerical comparisons on some synthetic and real data show that MSCRA\_PPA not only has comparable even better estimation performance, but also requires much less CPU time.


title: parboiled2: a macro-based approach for effective generators of parsing expressions grammars in Scala

abstract: In today's computerized world, parsing is ubiquitous. Developers parse logs, queries to databases and websites, programming and natural languages. When Java ecosystem maturity, concise syntax, and runtime speed matters, developers choose parboiled2 that generates grammars for parsing expression grammars (PEG). The following open source libraries have chosen parboiled2 for parsing facilities: - akka-http is the Streaming-first HTTP server/module of Lightbend Akka - Sangria is a Scala GraphQL implementation - http4s is a minimal, idiomatic Scala interface for HTTP - cornichon is Scala DSL for testing HTTP JSON API - scala-uri is a simple Scala library for building and parsing URIs The library uses a wide range of Scala facilities to provide required functionality. We also discuss the extensions to PEGs. In particular, we show the implementation of an internal Scala DSL that features intuitive syntax and semantics. We demonstrate how parboiled2 extensively uses Scala typing to verify DSL integrity. We also show the connections to inner structures of parboiled2, which can give the developer a better understanding of how to compose more effective grammars. Finally, we expose how a grammar is expanded with Scala Macros to an effective runtime code.


title: Fair Byzantine Agreements for Blockchains

abstract: Byzantine general problem is the core problem of the consensus algorithm, and many protocols are proposed recently to improve the decentralization level, the performance and the security of the blockchain. There are two challenging issues when the blockchain is operating in practice. First, the outcomes of the consensus algorithm are usually related to the incentive model, so whether each participant's value has an equal probability of being chosen becomes essential. However, the issues of fairness are not captured in the traditional security definition of Byzantine agreement. Second, the blockchain should be resistant to network failures, such as cloud services shut down or malicious attack, while remains the high performance most of the time. This paper has two main contributions. First, we propose a novel notion called fair validity for Byzantine agreement. Intuitively, fair validity lower-bounds the expected numbers that honest nodes' values being decided if the protocol is executed many times. However, we also show that any Byzantine agreement could not achieve fair validity in an asynchronous network, so we focus on synchronous protocols. This leads to our second contribution: we propose a fair, responsive and partition-resilient Byzantine agreement protocol tolerating up to 1/3 corruptions. Fairness means that our protocol achieves fair validity. Responsiveness means that the termination time only depends on the actual network delay instead of depending on any pre-determined time bound. Partition-resilience means that the safety still holds even if the network is partitioned, and the termination will hold if the partition is resolved.


title: Density Matrix Reconstructions in Ultrafast Transmission Electron Microscopy: Uniqueness, Stability, and Convergence Rates

abstract: In the recent paper [17] the first experimental determination of the density matrix of a free electron beam has been reported. The employed method leads to a linear inverse problem with a positive semidefinite operator as unknown. The purpose of this paper is to complement the experimental and algorithmic results in the work mentioned above by a mathematical analysis of the inverse problem concerning uniqueness, stability, and rates of convergence under different types of a-priori information.


title: Sharp Logarithmic Sobolev and related inequalities with monomial weights

abstract: We derive a sharp Logarithmic Sobolev inequality with monomial weights starting from a sharp Sobolev inequality with monomial weights. Several related inequalities such as Shannon type and Heisenberg's uncertain type are also derived. A characterization of the equality case for the Logarithmic Sobolev inequality is given when the exponents of the monomial weights are all zero or integers. Such a proof is new even in the unweighted case.


title: Skew lattices and set-theoretic solutions of the Yang-Baxter equation

abstract: In this paper we discuss and characterize several set-theoretic solutions of the Yang-Baxter equation obtained using skew lattices, an algebraic structure that has not yet been related to the Yang-Baxter equation. Such solutions are degenerate in general, and thus different from solutions obtained from braces and other algebraic structures. Our main result concerns a description of a set-theoretic solution of the Yang-Baxter equation, obtained from an arbitrary skew lattice. We also provide a construction of a cancellative and distributive skew lattice on a given family of pairwise disjoint sets.


title: A statistical methodology for data-driven partitioning of infectious disease incidence into age-groups

abstract: Understanding age-group dynamics of infectious diseases is a fundamental issue for both scientific study and policymaking. Age-structure epidemic models were developed in order to study and improve our understanding of these dynamics. By fitting the models to incidence data of real outbreaks one can infer estimates of key epidemiological parameters. However, estimation of the transmission in an age-structured populations requires first to define the age-groups of interest. Misspecification in representing the heterogeneity in the age-dependent transmission rates can potentially lead to biased estimation of parameters. We develop the first statistical, data-driven methodology for deciding on the best partition of incidence data into age-groups. The method employs a top-down hierarchical partitioning algorithm, with a metric distance built for maximizing mathematical identifiability of the transmission matrix, and a stopping criteria based on significance testing. The methodology is tested using simulations showing good statistical properties. The methodology is then applied to influenza incidence data of 14 seasons in order to extract the significant age-group clusters in each season.


title: The Jet of FSRQ PKS~1229$-$02 and its Misidentification as a $\gamma$-ray AGN

abstract: Flat-spectrum radio quasar PKS~1229$-$02 with a knotty and asymmetric radio morphology was identified as the optical and radio counterpart of a $\gamma$-ray source. In this paper, we study the properties, e.g. morphology, opacity, polarization and kinematics of the jet in PKS~1229$-$02 using radio interferometry. With our results, we find that the knotty and asymmetric morphology of this source may probably shaped by the interaction between its anterograde jet and the nonuniform dense ambient medium. By reproducing a Spectral Energy Distribution of PKS~1229$-$02 with the obtained kinematic parameters, we find that the relativistic beaming effect in PKS~1229$-$02 is not strong enough to produce the reported $\gamma$-ray emission, i.e. PKS~1229$-$02 may not be a $\gamma$-ray AGN. The misidentification may probably due to the poor spatial resolution of the $\gamma$-ray detector of the previous generation.


title: Unfree gauge symmetry in the BV formalism

abstract: The BV formalism is proposed for the theories where the gauge symmetry parameters are unfree, being constrained by differential equations.


title: Capacity and Algorithms for a Cognitive Network with Primary-Secondary User Cooperation

abstract: In this work, we examine cognitive radio networks, where secondary users may act as relays for messages sent by the primary user, hence offering performance improvement of primary transmissions, while at the same time obtaining more transmission opportunities for their own data. In particular, assuming the broadcast packet erasure model with feedback, we investigate the capacity of the fundamental cooperative cognitive radio network which consists of one primary and one secondary transmitter-receiver pairs. The primary transmitter is the owner of the channel and as such, we intend to keep its operations simple and to avoid increasing its storage requirements. Specifically, the primary transmitter does not receive data sent by the secondary transmitter and does not perform any coding operations. On the other hand, the secondary transmitter can overhear primary transmissions and is allowed to perform any coding operations. We develop an outer bound to the capacity of the fundamental cooperative cognitive radio network under consideration. Then, we propose a coding-scheduling algorithm suitable for this type of networks, which involves only XOR network coding operations. The complexity of the scheduling decisions of the proposed algorithm depends on the channel statistical parameters and three cases, depending on the relations between channel erasure probabilities, are distinguished. For the first two cases the rate region of the proposed algorithm coincides with the developed capacity outer bound, hence the algorithm is capacity achieving. For the third case, the rate region of the proposed algorithm is not identical to the outer bound; however, numerical results show that it is fairly close to the derived outer bound for a wide range of the statistical parameters of the system.


title: Viscosity in cosmic fluids

abstract: The effective theory of large-scale structure formation based on $\Lambda$CDM paradigm predicts finite dissipative effects in the resulting fluid equations. In this work, we study how viscous effect that could arise if one includes self-interaction among the dark-matter particles combines with the effective theory. It is shown that these two possible sources of dissipation can operate together in a cosmic fluid and the interplay between them can play an important role in determining dynamics of the cosmic fluid. In particular, we demonstrate that the viscosity coefficient due to self-interaction is added inversely with the viscosity calculated using effective theory of $\Lambda$CDM model. Thus the larger viscosity has less significant contribution in the effective viscosity. Using the known bounds on $\,\sigma/m$ for self-interacting dark-matter, where $\,\sigma\,$ and $m$ are the cross-section and mass of the dark-matter particles respectively, we discuss role of the effective viscosity in various cosmological scenarios.

categories: astro-ph.CO astro-ph.GA hep-ph physics.flu-dyn


title: Discrete time crystal in a finite chain of Rydberg atoms without disorder

abstract: We study the collective dynamics of a clean Floquet system of cold atoms, numerically simulating two realistic set-ups based on a regular chain of interacting Rydberg atoms driven by laser fields. In both cases, the population evolution and its Fourier spectrum display clear signatures of a discrete time crystal (DTC), exhibiting the appearance of a robust subharmonic oscillation which persists on a time scale increasing with the chain size, within a certain range of control parameters. We also characterize how the DTC stability is affected by dissipative processes, typically present in this atomic system even though the Rydberg state is very long lived.


title: Variation of mass accretion rate onto the white dwarf in the dwarf nova VW Hyi in quiescence

abstract: We have analysed a series of Suzaku data and one dataset of XMM-Newton of the SU UMa type dwarf nova VW Hyi in optical quiescence. The observed spectra in the 0.2-10 keV band are moderately well represented by multi-temperature thermal plasma emission models with a maximum temperature of 5-9 keV and bolometric luminosity of 2.4-5.2 $\times$ 10$^{30}$ erg s$^{-1}$. The mass accretion rate derived from the hard X-ray spectra does not show any clear trend as a function of time since the last superoutburst, in contradiction to theoretical predictions of the disc behaviour of a SU UMa type dwarf nova. The mass accretion rate, on the other hand, shows a clear declining trend with time since the last outburst (including the superoutburst). The rate of decline is of the same order as that evaluated from the hard X-ray light curves of the other two dwarf novae SS Cyg and SU UMa. The standard disc instability model, on the other hand, predicts that the mass accretion rate should increase throughout the optically-quiescent phase. We need further observation and theoretical consideration to resolve this discrepancy.


title: Perceptual representations of structural information in images: application to quality assessment of synthesized view in FTV scenario

abstract: As the immersive multimedia techniques like Free-viewpoint TV (FTV) develop at an astonishing rate, user's demand for high-quality immersive contents increases dramatically. Unlike traditional uniform artifacts, the distortions within immersive contents could be non-uniform structure-related and thus are challenging for commonly used quality metrics. Recent studies have demonstrated that the representation of visual features can be extracted from multiple levels of the hierarchy. Inspired by the hierarchical representation mechanism in the human visual system (HVS), in this paper, we explore to adopt structural representations to quantitatively measure the impact of such structure-related distortion on perceived quality in FTV scenario. More specifically, a bio-inspired full reference image quality metric is proposed based on 1) low-level contour descriptor; 2) mid-level contour category descriptor; and 3) task-oriented non-natural structure descriptor. The experimental results show that the proposed model outperforms significantly the state-of-the-art metrics.


title: Skyrmion Racetrack memory with an antidot

abstract: Skyrmion racetrack memory has a lots of potential in future non-volatile solid state devices. In general such devices require current to nucleate skyrmions via spin transfer torque (STT) effect. Further the current is also required to drive the skyrmions in the nanowire device. However the current applied during nucleation of successive skyrmions may have unwanted perturbation \emph{viz.} Joule heating and skyrmion Hall effect, on the propagation of previously generated skyrmions. Therefore new methodology is required to decouple the generation and propagation of skyrmions. Here we present a novel route via micromagnetic simulation for generation of skyrmions from triangular antidot structure in a ferromagnetic nanotrack using local oersted field. Antidots are holes in a magnetic nanoelement. Controlled skyrmion injection can be achieved by tuning the dimensions of the antidots that are placed at either end of the nanotrack. Multiple skyrmions can be simultaneously generated by incorporating more number of antidots. Here we propose a novel design to realise skyrmionic racetrcak memory where one can individually generate and manipulate the skyrmions within the nanotrack.


title: Elements generating a proper normal subgroup of the Cremona group

abstract: Consider an algebraically closed field k and the Cremona group of all birational transformations of the projective plane over k. We characterize infinite order elements of this group having a non-zero power generating a proper normal subgroup of the Cremona group.


title: General Control Functions for Causal Effect Estimation from Instrumental Variables

abstract: Causal effect estimation relies on separating the variation in the outcome into parts due to the treatment and due to the confounders. To achieve this separation, practitioners often use external sources of randomness that only influence the treatment called instrumental variables (IVs). We study variables constructed from treatment and IV that help estimate effects, called control functions. We characterize general control functions for effect estimation in a meta-identification result. Then, we show that structural assumptions on the treatment process allow the construction of general control functions, thereby guaranteeing identification. To construct general control functions and estimate effects, we develop the general control function method (GCFN). GCFN's first stage called variational decoupling (VDE) constructs general control functions by recovering the residual variation in the treatment given the IV. Using VDE's control function, GCFN's second stage estimates effects via regression. Further, we develop semi-supervised GCFN to construct general control functions using subsets of data that have both IV and confounders observed as supervision; this needs no structural treatment process assumptions. We evaluate GCFN on low and high dimensional simulated data and on recovering the causal effect of slave export on modern community trust.


title: Deep splitting method for parabolic PDEs

abstract: In this paper we introduce a numerical method for nonlinear parabolic PDEs that combines operator splitting with deep learning. It divides the PDE approximation problem into a sequence of separate learning problems. Since the computational graph for each of the subproblems is comparatively small, the approach can handle extremely high-dimensional PDEs. We test the method on different examples from physics, stochastic control and mathematical finance. In all cases, it yields very good results in up to 10,000 dimensions with short run times.


title: There are no deviations for the ergodic averages of the Giulietti-Liverani horocycle flows on the two-torus

abstract: We show that the ergodic averages for the horocycle flow on the two-torus associated by Giulietti and Liverani to an Anosov diffeomorphism either grow linearly or are bounded, in other words there are no deviations. For this, we use topological invariance of the Artin-Mazur zeta function to exclude resonances outside of the open unit disc. Transfer operators acting on suitable spaces of anisotropic distributions and their Ruelle determinants are the key tools in the proof. As a bonus, we show that for any smooth Anosov diffeomorphism F on the two-torus, the correlations for the measure of maximal entropy and smooth observables decay with a rate strictly smaller than exp(-h_top(F)). We compare our results with related work of Forni.


title: Privacy-Preserving Speaker Recognition with Cohort Score Normalisation

abstract: In many voice biometrics applications there is a requirement to preserve privacy, not least because of the recently enforced General Data Protection Regulation (GDPR). Though progress in bringing privacy preservation to voice biometrics is lagging behind developments in other biometrics communities, recent years have seen rapid progress, with secure computation mechanisms such as homomorphic encryption being applied successfully to speaker recognition. Even so, the computational overhead incurred by processing speech data in the encrypted domain is substantial. While still tolerable for single biometric comparisons, most state-of-the-art systems perform some form of cohort-based score normalisation, requiring many thousands of biometric comparisons. The computational overhead is then prohibitive, meaning that one must accept either degraded performance (no score normalisation) or potential for privacy violations. This paper proposes the first computationally feasible approach to privacy-preserving cohort score normalisation. Our solution is a cohort pruning scheme based on secure multi-party computation which enables privacy-preserving score normalisation using probabilistic linear discriminant analysis (PLDA) comparisons. The solution operates upon binary voice representations. While the binarisation is lossy in biometric rank-1 performance, it supports computationally-feasible biometric rank-n comparisons in the encrypted domain.


title: Signal Reconstruction using Blind Super-resolution with Arbitrary Sampling

abstract: In this paper the problem of blind super-resolution of sparse signals using arbitrary sampling scheme and atomic lift is discussed. After comprehensive description on blind superresolution problem, it is shown that using Prolate Spheroidal Wave Functions (PSWFs), it is possible to derive a new SemiDefinite Program (SDP) for the blind super-resolution problem. Unlike the previous results, the newly proposed SDP can localize spikes without magnitude recovery. Several numerical simulations were conducted to compare the performance of the proposed method with the recent related research.


title: Emergence of outcomes in quantum mechanics

abstract: A persistent focus on the concept of emergence as a core element of the scientific method allows a clean separation, insofar as this is possible, of the physical and philosophical aspects of the problem of outcomes in quantum mechanics. The philosophical part of the problem is to explain why a closed system has definite experimental outcomes. The physical part is to show mathematically that there exists a limit in which the contradiction between unitary Schroedinger dynamics and a reduction process leading to distinct outcomes becomes negligible according to an explicitly stated criterion, and to make this criterion as objective as possible. The physical problem is solved here by redefining the notion of a quantum state and finding a suitable measure for the change of state upon reduction. The appropriate definition of the quantum state is not as a ray or density operator in Hilbert space, but rather as an equivalence class consisting of all density operators in a given subspace, the members of which all describe the same experimental outcome. For systems containing only subsystems that are integrated with their environments, these equivalence classes can be represented mathematically by projection operators, and the resulting formalism is closely related to that used by von Neumann to study the increase of entropy predicted by the second law of thermodynamics. However, nearly isolated subsystems are reduced only indirectly, as a consequence of their interaction with integrated subsystems. The reduced states of isolated subsystems are the same conditional states used in the definition of quantum discord. The key concepts of decoherence theory can all be adapted to fit this definition of a quantum state, resulting in a unified theory capable of resolving, in principle, all aspects of the quantum measurement problem. The theory thus obtained is weakly objective but not strongly objective.


title: An area bound for surfaces in Riemannian manifolds

abstract: Let $M$ be a compact Riemannian manifold not containing any totally geodesic surface. Our main result shows that then the area of any complete surface immersed into $M$ is bounded by a multiple of its extrinsic curvature energy, i.e. by a multiple of the integral of the squared norm of its second fundamental form.


title: The GDPR & Speech Data: Reflections of Legal and Technology Communities, First Steps towards a Common Understanding

abstract: Privacy preservation and the protection of speech data is in high demand, not least as a result of recent regulation, e.g. the General Data Protection Regulation (GDPR) in the EU. While there has been a period with which to prepare for its implementation, its implications for speech data is poorly understood. This assertion applies to both the legal and technology communities, and is hardly surprising since there is no universal definition of 'privacy', let alone a clear understanding of when or how the GDPR applies to the capture, storage and processing of speech data. In aiming to initiate the discussion that is needed to establish a level of harmonisation that is thus far lacking, this contribution presents some reflections of both legal and technology communities on the implications of the GDPR as regards speech data. The article outlines the need for taxonomies at the intersection of speech technology and data privacy - a discussion that is still very much in its infancy - and describes the ways to safeguards and priorities for future research. In being agnostic to any specific application, the treatment should be of interest to the speech communication community at large.


title: Joint Neural Collaborative Filtering for Recommender Systems

abstract: We propose a J-NCF method for recommender systems. The J-NCF model applies a joint neural network that couples deep feature learning and deep interaction modeling with a rating matrix. Deep feature learning extracts feature representations of users and items with a deep learning architecture based on a user-item rating matrix. Deep interaction modeling captures non-linear user-item interactions with a deep neural network using the feature representations generated by the deep feature learning process as input. J-NCF enables the deep feature learning and deep interaction modeling processes to optimize each other through joint training, which leads to improved recommendation performance. In addition, we design a new loss function for optimization, which takes both implicit and explicit feedback, point-wise and pair-wise loss into account. Experiments on several real-word datasets show significant improvements of J-NCF over state-of-the-art methods, with improvements of up to 8.24% on the MovieLens 100K dataset, 10.81% on the MovieLens 1M dataset, and 10.21% on the Amazon Movies dataset in terms of HR@10. NDCG@10 improvements are 12.42%, 14.24% and 15.06%, respectively. We also conduct experiments to evaluate the scalability and sensitivity of J-NCF. Our experiments show that the J-NCF model has a competitive recommendation performance with inactive users and different degrees of data sparsity when compared to state-of-the-art baselines.


title: Constraints on individual supermassive binary black holes using observations of PSR J1909-3744

abstract: We perform a search for gravitational waves (GWs) from several supermassive binary black hole (SMBBH) candidates (NGC 5548, Mrk 231, OJ 287, PG 1302-102, NGC 4151, Ark 120 and 3C 66B) in long-term timing observations of the pulsar PSR J1909$-$3744 obtained using the Parkes radio telescope. No statistically significant signals were found. We constrain the chirp masses of those SMBBH candidates and find the chirp mass of NGC 5548 and 3C 66B to be less than $2.4 \times 10^9\,\rm M_{\odot}$ and $2.5 \times 10^9\,\rm M_{\odot}$ (with 95% confidence), respectively. Our upper limits remain a factor of 3 to 370 above the likely chirp masses for these candidates as estimated from other approaches. The observations processed here provide upper limits on the GW strain amplitude that improve upon the results from the first Parkes Pulsar Timing Array data release by a factor of 2 to 7. We investigate how information about the orbital parameters can help improve the search sensitivity for individual SMBBH systems. Finally, we show that these limits are insensitive to uncertainties in the Solar System ephemeris model.


title: Modulation of Semiconductor Superlattice Thermopower Through Symmetry and Strain

abstract: In doped semiconductors and metals, the thermopower decreases with increasing carrier concentration, in agreement with the Pisarenko relation. Here, we demonstrate a new strain engineering approach to increase the thermopower of [001] Si/Ge superlattices (SLs) beyond this relation. Using two independent theoretical modeling approaches, we show that new bands form due to the structural symmetry, and, the SL bands are highly tunable with epitaxial substrate strain. The band shifts lead to a modulated thermopower, with a peak $\sim$5-fold enhancement in strained Si/Ge SLs in the high doping regime.


title: Substrate-limited helical edge states

abstract: We derived analytical results for the gapless edge states of two-dimensional topological insulators in the presence of electron-surface optical (SO) phonon interaction due to substrates. We followed an analytical algorithm, called Lee-Low-Pines variational approximation in the conventional polaron theory, to examine the substrate induced effects on both bulk and edge states of a two dimensional topological insulator within the frame work of Bernevig-Hughes-Zhang (BHZ) model. By implementing this algorithm, we propose a novel phonon-dressed BHZ Hamiltonian which allows one to investigate the effects of various substrates not only on bulk states but also on the associated gapless helical edge states (HESs). We found that both the bulk and HESs are significantly renormalized in the momentum space due to the substrate-related polaronic effects. The model we developed here clarifies which subtrates favor the HESs of quantum spin Hall system and which are not. Correspondingly, our work demonstrates that the substrate related polaronic effects have significant role on the emergence of HESs. In other words, we show that SO phonons due to substrates modify the electronic band topology of topological insulators together with the associated HESs and therefore they can be used to tune quantum phase transitions between topological insulators and non-topological ones.


title: Fluctuation theorem in cavity quantum electrodynamics systems

abstract: We derive an integral fluctuation theorem (FT) in a general setup of cavity quantum electrodynamics systems. In the derivation, a key difficulty lies in a diverging behavior of entropy change arising from the zero-temperature limit of an external bath, which is required to describe the cavity loss. We solve this difficulty from the viewpoint of absolute irreversibility and find that two types of absolute irreversibility contribute to the integral FT. Furthermore, we show that, in a stationary and small cavity-loss condition, these contributions have simple relationships to the average number of photons emitted out of the cavity, and the integral FT yields an approximate form independent of the setup details. We illustrate the general results with a numerical simulation in a model of quantum heat engine.


title: Complementarity has empirically relevant consequences for the definition of quantum states

abstract: The Copenhagen interpretation of quantum mechanics, which first took shape in Bohr's landmark 1928 paper on complementarity, remains an enigma. Although many physicists are skeptical about the necessity of Bohr's philosophical conclusions, his pragmatic message about the importance of the whole experimental arrangement is widely accepted. It is, however, generally also agreed that the Copenhagen interpretation has no direct consequences for the mathematical structure of quantum mechanics. Here I show that the application of Bohr's main concepts of complementarity to the subsystems of a closed system requires a change in the definition of the quantum state. The appropriate definition is as an equivalence class similar to that used by von Neumann to describe macroscopic subsystems. He showed that such equivalence classes are necessary in order to maximize information entropy and achieve agreement with experimental entropy. However, the significance of these results for the quantum theory of measurement has been overlooked. Current formulations of measurement theory are therefore manifestly in conflict with experiment. This conflict is resolved by the definition of the quantum state proposed here.


title: A unified neural network for object detection, multiple object tracking and vehicle re-identification

abstract: Deep SORT\cite{wojke2017simple} is a tracking-by-detetion approach to multiple object tracking with a detector and a RE-ID model. Both separately training and inference with the two model is time-comsuming. In this paper, we unify the detector and RE-ID model into an end-to-end network, by adding an additional track branch for tracking in Faster RCNN architecture. With a unified network, we are able to train the whole model end-to-end with multi loss, which has shown much benefit in other recent works. The RE-ID model in Deep SORT needs to use deep CNNs to extract feature map from detected object images, However, track branch in our proposed network straight make use of the RoI feature vector in Faster RCNN baseline, which reduced the amount of calculation. Since the single image lacks the same object which is necessary when we use the triplet loss to optimizer the track branch, we concatenate the neighbouring frames in a video to construct our training dataset. We have trained and evaluated our model on AIC19 vehicle tracking dataset, experiment shows that our model with resnet101 backbone can achieve 57.79 \% mAP and track vehicle well.


title: The size-Ramsey number of powers of bounded degree trees

abstract: Given a positive integer $s$, the $s$-colour size-Ramsey number of a graph $H$ is the smallest integer $m$ such that there exists a graph $G$ with $m$ edges with the property that, in any colouring of $E(G)$ with $s$ colours, there is a monochromatic copy of $H$. We prove that, for any positive integers $k$ and $s$, the $s$-colour size-Ramsey number of the $k$th power of any $n$-vertex bounded degree tree is linear in $n$. As a corollary we obtain that the $s$-colour size-Ramsey number of $n$-vertex graphs with bounded treewidth and bounded degree is linear in $n$, which answers a question raised by Kam\v{c}ev, Liebenau, Wood and Yepremyan [The size Ramsey number of graphs with bounded treewidth, arXiv:1906.09185 (2019)].


title: Graph Signal Processing -- Part I: Graphs, Graph Spectra, and Spectral Clustering

abstract: The area of Data Analytics on graphs promises a paradigm shift as we approach information processing of classes of data, which are typically acquired on irregular but structured domains (social networks, various ad-hoc sensor networks). Yet, despite its long history, current approaches mostly focus on the optimization of graphs themselves, rather than on directly inferring learning strategies, such as detection, estimation, statistical and probabilistic inference, clustering and separation from signals and data acquired on graphs. To fill this void, we first revisit graph topologies from a Data Analytics point of view, and establish a taxonomy of graph networks through a linear algebraic formalism of graph topology (vertices, connections, directivity). This serves as a basis for spectral analysis of graphs, whereby the eigenvalues and eigenvectors of graph Laplacian and adjacency matrices are shown to convey physical meaning related to both graph topology and higher-order graph properties, such as cuts, walks, paths, and neighborhoods. Next, to illustrate estimation strategies performed on graph signals, spectral analysis of graphs is introduced through eigenanalysis of mathematical descriptors of graphs and in a generic way. Finally, a framework for vertex clustering and graph segmentation is established based on graph spectral representation (eigenanalysis) which illustrates the power of graphs in various data association tasks. The supporting examples demonstrate the promise of Graph Data Analytics in modeling structural and functional/semantic inferences. At the same time, Part I serves as a basis for Part II and Part III which deal with theory, methods and applications of processing Data on Graphs and Graph Topology Learning from data.


title: Correct-and-Memorize: Learning to Translate from Interactive Revisions

abstract: State-of-the-art machine translation models are still not on par with human translators. Previous work takes human interactions into the neural machine translation process to obtain improved results in target languages. However, not all model-translation errors are equal -- some are critical while others are minor. In the meanwhile, the same translation mistakes occur repeatedly in a similar context. To solve both issues, we propose CAMIT, a novel method for translating in an interactive environment. Our proposed method works with critical revision instructions, therefore allows human to correct arbitrary words in model-translated sentences. In addition, CAMIT learns from and softly memorizes revision actions based on the context, alleviating the issue of repeating mistakes. Experiments in both ideal and real interactive translation settings demonstrate that our proposed \method enhances machine translation results significantly while requires fewer revision instructions from human compared to previous methods.


title: Suppression of Chaos in Mutually Coupled Synchronized Generalized Lorenz Systems

abstract: In this work, the dynamics of a system of mutually coupled Generalized Lorenz systems (GLS) is investigated. The state variables of two Lorenz oscillators are coupled mutually via non-linear controls and synchronization is achieved between the state variables. We find that by suitably controlling a parameter having a bearing on the coupling coefficient between the two Lorenz oscillators, the GLS, while preserving synchronization is rendered to a state wherein chaotic nature of state variables is suppressed and state variables exhibit oscillatory character. The suppression of chaos is verified by power spectra, permutation entropy and Lyapunov exponent calculations. When operated in chaotic domain, we show the possibility of transition from the state of synchronization to the state of anti-synchronization.


title: Appliance-level Flexible Scheduling for Socio-technical Smart Grid Optimisation

abstract: Participation in residential energy demand response programs requires an active role by the consumers. They contribute flexibility in how they use their appliances as the means to adjust energy consumption, and reduce demand peaks, possibly at the expense of their own comfort (e.g., thermal). Understanding the collective potential of appliance-level flexibility for reducing demand peaks is challenging and complex. For instance, physical characteristics of appliances, usage preferences, and comfort requirements all influence consumer flexibility, adoption, and effectiveness of demand response programs. To capture and study such socio-technical factors and trade-offs, this paper contributes a novel appliance-level flexible scheduling framework based on consumers' self-determined flexibility and comfort requirements. By utilizing this framework, this paper studies (i) consumers usage preferences across various appliances, as well as their voluntary contribution of flexibility and willingness to sacrifice comfort for improving grid stability, (ii) impact of individual appliances on the collective goal of reducing demand peaks, and (iii) the effect of variable levels of flexibility, cooperation, and participation on the outcome of coordinated appliance scheduling. Experimental evaluation using a novel dataset collected via a smartphone app shows that higher consumer flexibility can significantly reduce demand peaks, with the oven having the highest system-wide potential for this. Overall, the cooperative approach allows for higher peak-shaving compared to non-cooperative schemes that focus entirely on the efficiency of individual appliances. The findings of this study can be used to design more cost-effective and granular (appliance-level) demand response programs in participatory and decentralized Smart Grids.


title: Vertex-Frequency Graph Signal Processing: A review

abstract: Graph signal processing deals with signals which are observed on an irregular graph domain. While many approaches have been developed in classical graph theory to cluster vertices and segment large graphs in a signal independent way, signal localization based approaches to the analysis of data on graph represent a new research direction which is also a key to big data analytics on graphs. To this end, after an overview of the basic definitions in graphs and graph signals, we present and discuss a localized form of the graph Fourier transform. To establish an analogy with classical signal processing, spectral- and vertex-domain definitions of the localization window are given next. The spectral and vertex localization kernels are then related to the wavelet transform, followed by a study of filtering and inversion of the localized graph Fourier transform. For rigour, the analysis of energy representation and frames in the localized graph Fourier transform is extended to the energy forms of vertex-frequency distributions, which operate even without the need to apply localization windows. Another link with classical signal processing is established through the concept of local smoothness, which is subsequently related to the particular paradigm of signal smoothness on graphs. This all represents a comprehensive account of the relation of general vertex-frequency analysis with classical time-frequency analysis, and important but missing link for more advanced applications of graphs signal processing. The theory is supported by illustrative and practically relevant examples.


title: Combined measurement of velocity and temperature in liquid metal convection

abstract: Combined measurements of velocity components and temperature in a turbulent Rayleigh-B\'enard convection flow at a low Prandtl number of $\mathit{Pr}= 0.029$ and Rayleigh numbers between $10^6 \le \mathit{Ra} \le 6 \times 10^7$ are conducted in a series of experiments with durations of more than a thousand free-fall time units. Multiple crossing ultrasound beam lines and an array of thermocouples at mid-height allow for a detailed analysis and characterization of the complex three-dimensional dynamics of the single large-scale circulation (LSC) roll in the cylindrical convection cell of unit aspect ratio which is filled with the liquid metal alloy GaInSn. We measure the internal temporal correlations of the complex large-scale flow and distinguish between short-term oscillations associated with a sloshing motion in the mid-plane as well as varying orientation angles of the velocity close to the top/bottom plates and the slow azimuthal drift of the mean orientation of the roll as a whole that proceeds on an up to a hundred times slower time scale. The coherent LSC drives a vigorous turbulence in the whole cell that is quantified by direct Reynolds number measurements at different locations in the cell. The velocity increment statistics in the bulk of the cell displays characteristic properties of intermittent small-scale fluid turbulence. We also show that the impact of the symmetry-breaking large-scale flow persists to small-scale velocity fluctuations thus preventing the establishment of fully isotropic turbulence in the cell centre. Reynolds number amplitudes depend sensitively on beam line position in the cell such that different definitions have to be compared. The global momentum and heat transfer scalings with Rayleigh number are found to agree with those of direct numerical simulations and other laboratory experiments.


title: Mitigating Censorship with Multi-Circuit Tor and Linear Network Coding

abstract: Anonymity networks are providing practical mechanisms to protect its users against censorship by hiding their identity and information content. The best-known anonymity network, The Onion Routing (Tor) network, is however subject to censorship attacks by blocking the public Tor entry routers and a few secret Tor entry points (bridges), thus preventing users to access the Tor. To further advance the evolution of anonymity networks, while addressing censorship attacks, we propose to enhance the well-known multi-circuit Tor technique with linear network coding (LNC) and analyze the resulting censorship success. The results show that LNC can improve the robustness of Tor against censorship.


title: The $2$-connected bottleneck Steiner network problem is NP-hard in any $\ell_p$ plane

abstract: Bottleneck Steiner networks model energy consumption in wireless ad-hoc networks. The task is to design a network spanning a given set of terminals and at most $k$ Steiner points such that the length of the longest edge is minimised. The problem has been extensively studied for the case where an optimal solution is a tree in the Euclidean plane. However, in order to model a wider range of applications, including fault-tolerant networks, it is necessary to consider multi-connectivity constraints for networks embedded in more general metrics. We show that the $2$-connected bottleneck Steiner network problem is NP-hard in any planar $p$-norm and, in fact, if P$\,\neq\,$NP then an optimal solution cannot be approximated to within a ratio of ${2}^\frac{1}{p}-\epsilon$ in polynomial time for any $\epsilon >0$ and $1\leq p< \infty$.


title: Estimating Return on Investment for GUI Test Automation Tools

abstract: Automated graphical user interface (GUI) tests can reduce manual testing activities and increase test frequency. This motivates the conversion of manual test cases into automated GUI tests. However, it is not clear whether such automation is cost-effective given that GUI automation scripts add to the code base and demand maintenance as a system evolves. In this paper, we introduce a method for estimating maintenance cost and Return on Investment (ROI) for Automated GUI Testing (AGT). The method utilizes the existing source code change history and can be used for evaluation also of other testing or quality assurance automation technologies. We evaluate the method for a real-world, industrial software system and compare two fundamentally different AGT tools, namely Selenium and EyeAutomate, to estimate and compare their ROI. We also report on their defect-finding capabilities and usability. The quantitative data is complemented by interviews with employees at the case company. The method was successfully applied and estimated maintenance cost and ROI for both tools are reported. Overall, the study supports earlier results showing that implementation time is the leading cost for introducing AGT. The findings further suggest that while EyeAutomate tests are significantly faster to implement, Selenium tests require more of a programming background but less maintenance.


title: Correcting the formalism governing Bloch Surface Waves excited by 3D Gaussian beams

abstract: Due to the growing number of publications and applications based on the exploitation of Bloch surface waves and the gross errors and approximations that are regularly used to evaluate the properties of this type of wave, we judge seriously important for successful interpretation and understanding of experiments to implement adapted formalism allowing to extract the relevant information. Through a comprehensive calculation supported by an analytical development, we establish a generalized formula for the propagation length which is different from what is usually employed in the literature. We also demonstrate that the Goos-H\"anchen shift becomes an extrinsic property that depends on the beam dimension with an asymptotic behavior limiting its value to that of the propagation length. The proposed theoretical scheme allows predicting some new and unforeseen results such as the effect due to a slight deviation of the angle of incidence or of the beam-waist position with respect to the structure. This formalism can be used to describe any polarization-dependent resonant structure illuminated by a polarized Gaussian beam.


title: B\"okstedt periodicity and quotients of DVRs

abstract: In this note we compute the topological Hochschild homology of quotients of DVRs. Along the way we give a short argument for B\"okstedt periodicity and generalizations over various other bases. Our strategy also gives a very efficient way to redo the computations of THH (resp. logarithmic THH) of complete DVRs originally due to Lindenstrauss-Madsen (resp. Hesselholt-Madsen).


title: Bell correlations at Ising quantum critical points

abstract: When a collection of distant observers share an entangled quantum state, the statistical correlations among their measurements may violate a many-body Bell inequality, demonstrating a non-local behavior. Focusing on the Ising model in a transverse-field with power-law ($1/r^\alpha$) ferromagnetic interactions, we show that a permutationally invariant Bell inequality based on two-body correlations is violated in the vicinity of the quantum-critical point. This observation, obtained via analytical spin-wave calculations and numerical density-matrix renormalization group computations, is traced back to the squeezing of collective-spin fluctuations generated by quantum-critical correlations. We observe a maximal violation for infinite-range interactions ($\alpha=0$), namely when interactions and correlations are themselves permutationally invariant.

categories: cond-mat.str-el cond-mat.quant-gas cond-mat.stat-mech quant-ph


title: First Generation Heterodyne Instrumentation Concepts for the Atacama Large Aperture Submillimeter Telescope

abstract: (abridged) The Atacama Large Aperture Submillimeter Telescope (AtLAST) project aims to build a 50-m-class submm telescope with $>1^\circ$ field of view, high in the Atacama Desert, providing fast and detailed mapping of the mm/submm sky. It will thus serve as a strong complement to existing facilities such as ALMA. ALMA's small field of view ($<15^{\prime\prime}$ at 350 GHz) limits its mapping speed for large surveys. Instead, a single dish with a large field of view such as the AtLAST concept can host large multi-element instruments that can more efficiently map large portions of the sky. Small aperture survey instruments (typically much smaller than $<3\times$ the size of an interferometric array element) can mitigate this somewhat but lack the resolution for accurate recovery of source location and have small collecting areas. Furthermore, small aperture survey instruments do not provide sufficient overlap in the spatial scales they sample to provide a complete reconstruction of extended sources (i.e.\ the zero-spacing information is incomplete in $u,v$-space.) The heterodyne instrumentation for the AtLAST telescope that we consider here will take advantage of extensive developments in the past decade improving the performance and pixel count of heterodyne focal plane arrays. Such instrumentation, with higher pixel counts, has alredy begun to take advantage of integration in the focal planes to increase packaging efficiency over simply stacking modular mixer blocks in the focal plane. We extrapolate from the current state-of-the-art to present concept first-generation heterodyne designs for AtLAST.


title: Global existence of weak solutions to viscoelastic phase separation: Part I Regular Case

abstract: We prove the existence of weak solutions to a viscoelastic phase separation problem in two space dimensions. The mathematical model consists of a Cahn-Hilliard-type equation for two-phase flows and the Peterlin-Navier-Stokes equations for viscoelastic fluids. We focus on the case of a polynomial-like potential and suitably bounded coefficient functions. Using the Lagrange-Galerkin finite element method complex behavior of solution for spinodal decomposition including transient polymeric network structures is demonstrated.


title: The Yoneda Reduction of Polymorphic Types (Extended Version)

abstract: In this paper we explore a family of type isomorphisms in System F whose validity corresponds, semantically, to some form of the Yoneda isomorphism from category theory. These isomorphisms hold under theories of equivalence stronger than beta-eta-equivalence, like those induced by parametricity and dinaturality. We show that the Yoneda type isomorphisms yield a rewriting over types, that we call Yoneda reduction, which can be used to eliminate quantifiers from a polymorphic type, replacing them with a combination of monomorphic type constructors. We establish some sufficient conditions under which quantifiers can be fully eliminated from a polymorphic type, and we show some application of these conditions to count the inhabitants of a type and to compute program equivalence in some fragments of System F.


title: Sphere theorems for RCD and stratified spaces

abstract: We prove topological sphere theorems for RCD(n-1, n) spaces which generalize Colding's results and Petersen's result to the RCD setting. We also get an improved sphere theorem in the case of Einstein stratified spaces.


title: Quantifying Transparency of Machine Learning Systems through Analysis of Contributions

abstract: Increased adoption and deployment of machine learning (ML) models into business, healthcare and other organisational processes, will result in a growing disconnect between the engineers and researchers who developed the models and the model's users and other stakeholders, such as regulators or auditors. This disconnect is inevitable, as models begin to be used over a number of years or are shared among third parties through user communities or via commercial marketplaces, and it will become increasingly difficult for users to maintain ongoing insight into the suitability of the parties who created the model, or the data that was used to train it. This could become problematic, particularly where regulations change and once-acceptable standards become outdated, or where data sources are discredited, perhaps judged to be biased or corrupted, either deliberately or unwittingly. In this paper we present a method for arriving at a quantifiable metric capable of ranking the transparency of the process pipelines used to generate ML models and other data assets, such that users, auditors and other stakeholders can gain confidence that they will be able to validate and trust the data sources and human contributors in the systems that they rely on for their business operations. The methodology for calculating the transparency metric, and the type of criteria that could be used to make judgements on the visibility of contributions to systems are explained and illustrated through an example scenario.


title: Petrov type D equation on horizons of nontrivial bundle topology

abstract: We consider $3$-dimensional isolated horizons (IHs) generated by null curves that form nontrivial $U(1)$ bundles. We find a natural interplay between the IH geometry and the $U(1)$-bundle geometry. In this context we consider the Petrov type D equation introduced and studied in previous works \cite{DLP1,DLP2,LS,DKLS1}. From the $4$-dimensional spacetime point of view, solutions to that equation define isolated horizons embeddable in vacuum spacetimes (with cosmological constant) as Killing horizons to the second order such that the spacetime Weyl tensor at the horizon is of the Petrov type D. From the point of view of the $U(1)$-bundle structure, the equation couples a $U(1)$-connection, a metric tensor defined on the base manifold and the surface gravity in a very nontrivial way. We focus on the $U(1)$-bundles over $2$-dimensional manifolds diffeomorphic to $2$-sphere. We have derived all the axisymmetric solutions to the Petrov type D equation. For a fixed value of the cosmological constant they set a $3$-dimensional family as one could expect. A surprising result is, that generically our horizons are not embeddable in the known exact solutions to Einstein's equations. It means that among the exact type D spacetimes there exists a new family of spacetimes that generalize the properties of the Kerr- (anti) de Sitter black holes on one hand and the Taub-NUT spacetimes on the other hand.


title: Unified Formalism for 6D Superamplitudes Based on a Symplectic Grassmannian

abstract: Recently, twistor-like formulations of tree amplitudes involving $n$ massless particles have been proposed for various 6D supersymmetric theories. The formulas are based on two different forms of the scattering equations: one based on rational maps and the other based on polarized scattering equations. We show that both formulations can be interpreted in terms of a symplectic (or complex Lagrangian) Grassmannian, $\mathbb{LG}(n, 2n)$, and that they correspond to different ways of fixing the ${\rm GL}(n, \mathbb{C})$ symmetry of $\mathbb{LG}(n, 2n)$. This provides an understanding of the equivalence of these different-looking formulas, and it leads to new twistor-like formulas for 6D superamplitudes.


title: Remarks about the existence of conformable derivatives and some consequences

abstract: The aim of the present paper is to make some notes to the newly introduced conformable derivative as a type local fractional derivative and to present a surprising result about the relation between the conformable derivatives and the usual integer order derivatives.


title: Border Waring Rank via Asymptotic Rank

abstract: We investigate an extension of a lower bound on the Waring (cactus) rank of homogeneous forms due to Ranestad and Schreyer. We show that for particular classes of homogeneous forms, for which a generalization of this method applies, the lower bound extends to the level of border (cactus) rank. The approach is based on recent results on tensor asymptotic rank.


title: Astro2020 Science White Paper: Exploration and characterization of the earliest epoch of galaxy formation: beyond the re-ionization era

abstract: State-of-the-art rest-frame UV and FIR photometric and spectroscopic observations are now pushing the redshift frontiers of galaxy formation studies up to $z\sim9-11$ and beyond. Recent HST observations unveiled the presence of a star-forming galaxy exhibiting the Lyman break at $\lambda_{\rm obs}=1.47\pm0.01$ $\mu$m, i.e., a $z=11.09^{+0.08}_{-0.12}$ galaxy with a stellar mass of $\sim10^9 M_\odot$, demonstrating that galaxy build-up was well underway early in the epoch of reionization (EoR) at $z>10$. Targeted spectroscopy of a lensed Lyman break galaxy uncovers the earliest metals known to date up to $z=9.1096\pm0.0006$ by detecting the bright [OIII] 88~$\mu$m nebular line, indicating the onset of star formation 250 million years after the Big Bang, i.e., corresponding to a redshift of $z\sim15$. These latest findings lead us to a number of key questions: How and when metal enrichment happened in the EoR? What was the nature of the earliest-epoch star-forming galaxies at $z=10-15$? What was the spatial distribution of such galaxies, and what was the relation to the putative large-scale ionization bubbles during the EoR? What were the dark-halo masses of such earliest-epoch star-forming galaxies? To address all these questions, we need to uncover a statistically large number of $z=10-15$ galaxies in the pre-reionization era. Here we argue two possible pathways: (1) a wide-area, sensitive blind spectroscopic survey of [OIII] 88 $\mu$m line-emitting galaxies at submillimeter wavelengths, and (2) an ultra-wide-area, high-cadence photometric survey of transient sources at radio-to-(sub)millimeter wavelengths, together with the immediate follow-up spectroscopy with an ultra-wide-band spectrograph, to catch the pop-III $\gamma$-ray bursts.


title: Laser-driven generation of collimated quasi-monoenergetic proton beam using double-layer target with modulated interface

abstract: Usage of double-layer targets consisting of heavy and light material with modulated interface between them provides a way for laser-driven generation of collimated ion beams. With extensive 2D3V PIC simulations we show that this configuration may result in a development of a relativistic instability with Rayleigh-Taylor and Richtmyer-Meshkov like features. Initially small perturbations are amplified during the laser-target interaction leading to the formation of low-density plasma regions and high-density bunches between them, which are accelerated by the laser radiation pressure as whole compact structures. That results in collimated quasi-monoenergetic proton beam with high average energy. The properties of this proton beam such as its low emittance (one order of magnitude lower compared to that of conventional accelerators) and divergence are discussed. Results are compared with similar acceleration schemes such as double-layer target without corrugation and single-layer target.


title: Single-spectrum prediction of kurtosis of water waves in a non-conservative model

abstract: We study statistical properties after a sudden episode of wind for water waves propagating in one direction. A wave with random initial conditions is propagated using a forced-damped higher order Nonlinear Schr\"odinger equation (NLS). During the wind episode, the wave action increases, the spectrum broadens, the spectral mean shifts up and the Benjamin-Feir index (BFI) and the kurtosis increase. Conversely, after the wind episode, the opposite occurs for each quantity. The kurtosis of the wave height distribution is considered the main parameter that can indicate whether rogue waves are likely to occur in a sea state, and the BFI is often mentioned as a means to predict the kurtosis. However, we find that while there is indeed a quadratic relation between these two, this relationship is dependent on the details of the forcing and damping. Instead, a simple and robust quadratic relation does exist between the kurtosis and the bandwidth. This could allow for a single-spectrum assessment of the likelihood of rogue waves in a given sea state. In addition, as the kurtosis depends strongly on the damping and forcing coefficients, by combining the bandwidth measurement with the damping coefficient, the evolution of the kurtosis after the wind episode can be predicted.


title: Searching for Effective Neural Extractive Summarization: What Works and What's Next

abstract: The recent years have seen remarkable success in the use of deep neural networks on text summarization. However, there is no clear understanding of \textit{why} they perform so well, or \textit{how} they might be improved. In this paper, we seek to better understand how neural extractive summarization systems could benefit from different types of model architectures, transferable knowledge and learning schemas. Additionally, we find an effective way to improve current frameworks and achieve the state-of-the-art result on CNN/DailyMail by a large margin based on our observations and analyses. Hopefully, our work could provide more clues for future research on extractive summarization.


title: Inertia drives a flocking phase transition in viscous active fluids

abstract: How fast must an oriented collection of extensile swimmers swim to escape the instability of viscous active suspensions? We show that the answer lies in the dimensionless combination $R=\rho v_0^2/2\sigma_a$, where $\rho$ is the suspension mass density, $v_0$ the swim speed and $\sigma_a$ the active stress. Linear stability analysis shows that for small $R$ disturbances grow at a rate linear in their wavenumber $q$, and that the dominant instability mode involves twist. The resulting steady state in our numerical studies is isotropic hedgehog-defect turbulence. Past a first threshold $R$ of order unity we find a slower growth rate, of $O(q^2)$; the numerically observed steady state is {\it phase-turbulent}: noisy but {\it aligned} on average. We present numerical evidence in three and two dimensions that this inertia driven flocking transition is continuous, with a correlation length that grows on approaching the transition. For much larger $R$ we find an aligned state linearly stable to perturbations at all $q$. Our predictions should be testable in suspensions of mesoscale swimmers [D Klotsa, Soft Matter \textbf{15}, 8946 (2019)].


title: A semiclassical Birkhoff normal form for symplectic magnetic wells

abstract: In this paper we construct a Birkhoff normal form for a semiclassical magnetic Schr{\"o}dinger operator with non-degenerate magnetic field, and discrete magnetic well, defined on an even dimensional riemannian manifold M. We use this normal form to get an expansion of the first eigenvalues in powers of h^{1/2}, and semiclassical Weyl asymptotics for this operator.


title: Single and bilayer graphene on the topological insulator Bi$_2$Se$_3$: Electronic and spin-orbit properties from first principles

abstract: We present a detailed study of the electronic and spin-orbit properties of single and bilayer graphene in proximity to the topological insulator Bi$_2$Se$_3$. Our approach is based on first-principles calculations, combined with symmetry derived model Hamiltonians that capture the low-energy band properties. We consider single and bilayer graphene on 1--3 quintuple layers of Bi$_2$Se$_3$ and extract orbital and proximity induced spin-orbit coupling (SOC) parameters. We find that graphene gets significantly hole doped (350 meV), but the linear dispersion is preserved. The proximity induced SOC parameters are about 1 meV in magnitude, and are of valley-Zeeman type. The induced SOC depends weakly on the number of quintuple layers of Bi$_2$Se$_3$. We also study the effect of a transverse electric field, that is applied across heterostructures of single and bilayer graphene above 1 quintuple layer of Bi$_2$Se$_3$. Our results show that band offsets, as well as proximity induced SOC parameters can be tuned by the field. Most interesting is the case of bilayer graphene, in which the band gap, originating from the intrinsic dipole of the heterostructure, can be closed and reopened again, with inverted band character. The switching of the strong proximity SOC from the conduction to the valence band realizes a spin-orbit valve. Additonally, we find a giant increase of the proximity induced SOC of about 200%, when we decrease the interlayer distance between graphene and Bi$_2$Se$_3$ by only 10%. Finally, for a different substrate material Bi$_2$Te$_2$Se, band offsets are significantly different, with the graphene Dirac point located at the Fermi level, while the induced SOC strength stays similar in magnitude compared to the Bi$_2$Se$_3$ substrate.


title: Non-Invasive MGMT Status Prediction in GBM Cancer Using Magnetic Resonance Images (MRI) Radiomics Features: Univariate and Multivariate Machine Learning Radiogenomics Analysis

abstract: Background and aim: This study aimed to predict methylation status of the O-6 methyl guanine-DNA methyl transferase (MGMT) gene promoter status by using MRI radiomics features, as well as univariate and multivariate analysis. Material and Methods: Eighty-two patients who had a MGMT methylation status were include in this study. Tumor were manually segmented in the four regions of MR images, a) whole tumor, b) active/enhanced region, c) necrotic regions and d) edema regions (E). About seven thousand radiomics features were extracted for each patient. Feature selection and classifier were used to predict MGMT status through different machine learning algorithms. The area under the curve (AUC) of receiver operating characteristic (ROC) curve was used for model evaluations. Results: Regarding univariate analysis, the Inverse Variance feature from gray level co-occurrence matrix (GLCM) in Whole Tumor segment with 4.5 mm Sigma of Laplacian of Gaussian filter with AUC: 0.71 (p-value: 0.002) was found to be the best predictor. For multivariate analysis, the decision tree classifier with Select from Model feature selector and LOG filter in Edema region had the highest performance (AUC: 0.78), followed by Ada Boost classifier with Select from Model feature selector and LOG filter in Edema region (AUC: 0.74). Conclusion: This study showed that radiomics using machine learning algorithms is a feasible, noninvasive approach to predict MGMT methylation status in GBM cancer patients Keywords: Radiomics, Radiogenomics, GBM, MRI, MGMT