title: Quantifying Legibility of Indoor Spaces Using Deep Convolutional Neural Networks: Case Studies in Train Stations

abstract: Legibility is the extent to which a space can be easily recognized. Evaluating legibility is particularly desirable in indoor spaces, since it has a large impact on human behavior and the efficiency of space utilization. However, indoor space legibility has only been studied through survey and trivial simulations and lacks reliable quantitative measurement. We utilized a Deep Convolutional Neural Network (DCNN), which is structurally similar to a human perception system, to model legibility in indoor spaces. To implement the modeling of legibility for any indoor spaces, we designed an end-to-end processing pipeline from indoor data retrieving to model training to spatial legibility analysis. Although the model performed very well (98% top-1 accuracy) overall, there are still discrepancies in accuracy among different spaces, reflecting legibility differences. To prove the validity of the pipeline, we deployed a survey on Amazon Mechanical Turk, collecting 4,015 samples. The human samples showed a similar behavior pattern and mechanism as the DCNN models. Further, we used model results to visually explain legibility in different architectural programs, building age, building style, visual clusterings of spaces and visual explanations for building age and architectural functions.


title: High-Resolution Numerical Simulations of a Large-Scale Helium Plume Using Adaptive Mesh Refinement

abstract: The physical characteristics and evolution of a large-scale helium plume are examined through a series of numerical simulations with increasing physical resolution using adaptive mesh refinement (AMR). The five simulations each model a 1~m diameter circular helium plume exiting into a (4~m)$^3$ domain, and differ solely with respect to the smallest scales resolved using the AMR, spanning resolutions from 15.6~mm down to 0.976~mm. As the physical resolution becomes finer, the helium-air shear layer and subsequent Kelvin-Helmholtz instability are better resolved, leading to a shift in the observed plume structure and dynamics. In particular, a critical resolution is found between 3.91~mm and 1.95~mm, below which the mean statistics and frequency content of the plume are altered by the development of a Rayleigh-Taylor instability near the centerline in close proximity to the base of the plume. This shift corresponds to a plume "puffing" frequency that is slightly higher than would be predicted using empirical relationships developed for buoyant jets. Ultimately, the high-fidelity simulations performed here are intended as a new validation dataset for the development of subgrid-scale models used in large eddy simulations of real-world buoyancy-driven flows.


title: The Effects of Using Business Intelligence Systems on an Excellence Management and Decision-Making Process by Start-Up Companies: A Case Study

abstract: The rapid increase in data volumes in companies has meant that momentous and comprehensive information gathering is barely possible by manual means. Business intelligence solutions can help here. They provide tools with appropriate technologies to assist with the collection, integration, storage, editing, and analysis of existing data. While almost only large companies were interested in this topic a few years ago, it has meanwhile also become necessary for start-up companies, and so the market for business intelligence has been growing for years. This article focuses on the general potentials of using BI in start-ups. First, will be examined which providers of BI solutions that are suitable for start-ups and what opportunities exist for implementing BI systems in start-ups. Then it will be shown to what extent BI has prevailed in start-ups, in which areas the techniques of BI are used in start-ups and what purpose BI has in start-ups. Finally, the success factors for BI projects in start-ups are considered.


title: Possibilistic investment models with background risk

abstract: In the study of investment problem, aside from the investment risk the background risk appears. Both the investment risk and the background risk are probabilistically described by random variables. This paper starts from the hypothesis that the two types of risk can be represented both probabilistically (by random variables) and possibilistically (by fuzzy numbers). We will study three models in which the investment risk and the background risk can be: fuzzy numbers, a random variabl-a fuzzy number and a fuzzy number-a random variable. A portfolio problem is formulated for each model and an approximate calculation formula of the optimal solution is proved.


title: Bayesian Networks based Hybrid Quantum-Classical Machine Learning Approach to Elucidate Gene Regulatory Pathways

abstract: We report a scalable hybrid quantum-classical machine learning framework to build Bayesian networks (BN) that captures the conditional dependence and causal relationships of random variables. The generation of a BN consists of finding a directed acyclic graph (DAG) and the associated joint probability distribution of the nodes consistent with a given dataset. This is a combinatorial problem of structural learning of the underlying graph, starting from a single node and building one arc at a time, that fits a given ensemble using maximum likelihood estimators (MLE). It is cast as an optimization problem that consists of a scoring step performed on a classical computer, penalties for acyclicity and number of parents allowed constraints, and a search step implemented using a quantum annealer. We have assumed uniform priors in deriving the Bayesian network that can be relaxed by formulating the problem as an estimation Dirichlet parameters. We demonstrate the utility of the framework by applying to the problem of elucidating the gene regulatory network for the MAPK/Raf pathway in human T-cells using proteomics data where the concentration of proteins, nodes of the BN, are interpreted as probabilities.


title: Attraction of indirect excitons in van der Waals heterostructures with three semiconducting layers

abstract: We study a capacitor made of three monolayers of transition metal dichalcogenide (TMD) separated by hexagonal Boron Nitride (hBN). We assume that the structure is symmetric with respect to the central layer plane. The symmetry includes the contacts: if the central layer is contacted by the negative electrode, both external layers are contacted by the positive one. As a result a strong enough voltage $V$ induces electron-hole dipoles (indirect excitons) pointing towards one of the external layers. Antiparallel dipoles attract each other at large distances. Thus, the dipoles alternate in the central plane forming a 2D antiferroelectric with negative binding energy per dipole. The charging of a three-layer device is a first order transition, and we show that if $V_1$ is the critical voltage required to create a single electron-hole pair and charge this capacitor by $e$, the macroscopic charge $Q_c = eSn_c$ ($S$ is the device area) enters the three-layer capacitor at a smaller critical voltage $V_{c} < V_{1}$. In other words, the differential capacitance $C(V)$ is infinite at $V = V_{c}$. We also show that in a contact-less three-layer device, where the chemically different central layer has lower conduction and valence bands, optical excitation creates indirect excitons which attract each other, and therefore form antiferroelectric exciton droplets. Thus, the indirect exciton luminescence is red shifted compared to a two-layer device.


title: Fast Randomized Matrix and Tensor Interpolative Decomposition Using CountSketch

abstract: We propose a new fast randomized algorithm for interpolative decomposition of matrices which utilizes CountSketch. We then extend this approach to the tensor interpolative decomposition problem introduced by Biagioni et al. (J. Comput. Phys. 281, pp. 116-134, 2015). Theoretical performance guarantees are provided for both the matrix and tensor settings. Numerical experiments on both synthetic and real data demonstrate that our algorithms maintain the accuracy of competing methods, while running in less time, achieving at least an order of magnitude speed-up on large matrices and tensors.


title: Capacity of Control for Stochastic Dynamical Systems Perturbed by Mixed Fractional Brownian Motion with Delay in Control

abstract: In this paper, we discuss the relationships between capacity of control in entropy theory and intrinsic properties in control theory for a class of finite dimensional stochastic dynamical systems described by a linear stochastic differential equations driven by mixed fractional Brownian motion with delay in control. Stochastic dynamical systems can be described as an information channel between the space of control signals and the state space. We study this control to state information capacity of this channel in continuous time. We turned out that, the capacity of control depends on the time of final state in dynamical systems. By using the analysis and representation of fractional Gaussian process, the closed form of continuous optimal control law is derived. The reached optimal control law maximizes the mutual information between control signals and future state over a finite time horizon. The results obtained here are motivated by control to state information capacity for linear systems in both types deterministic and stochastic models that are widely used to understand information flows in wireless network information theory. The contribution of this paper is that we propose some new relationships between control theory and entropy theoretic properties of stochastic dynamical systems with delay in control. Finally, we present an example that serve to illustrate the relationships between capacity of control and intrinsic properties in control theory.


title: Experimental realization of a quantum dot energy harvester

abstract: We demonstrate experimentally an autonomous nanoscale energy harvester that utilises the physics of resonant tunnelling quantum dots. Gate defined quantum dots on GaAs/AlGaAs high-electron-mobility transistors are placed on either side of a hot electron reservoir. The discrete energy levels of the quantum dots are tuned to be aligned with low energy electrons on one side and high energy electrons on the other side of the hot reservoir. The quantum dots thus act as energy filters and allow for the conversion of heat from the cavity into electrical power. This energy harvester device, measured at an estimated base temperature of 75 mK in a He3/He4 dilution refrigerator, can generate a thermal power of 0.13 fW when the temperature difference across each dot is about 67 mK.


title: MIMO Applications for Multibeam Satellites

abstract: High throughput satellites employing multibeam antennas and full frequency reuse for broadband satellite services are considered in this paper. Such architectures offer, for example, a cost-effective solution to optimize data delivery and extend the coverage areas in future 5G networks. We propose the application of the multiple-input-multiple-output (MIMO) technology in both the feeder link and the multiuser downlink. Spatial multiplexing of different data streams is performed in a common feeder beam. In the user links, MIMO with multiple beams is exploited to simultaneously serve different users in the same frequency channel. Under particular design constraints, effective spatial separation of the multiple user signals is possible. To mitigate the interstream interference in the MIMO feeder link as well as the multiuser downlink, precoding of the transmit signals is applied. Simulation results illustrate the performance gains in terms of sum throughput.


title: Effective pairing interaction in a system with an incipient band

abstract: The nature and mechanism of superconductivity in the extremely electron-doped FeSe based superconductors continues to be a matter of debate. In these systems, the hole-like band has moved below the Fermi energy, and various spin-fluctuation theories involving pairing between states near the electron Fermi surface and states of this incipient band have been proposed. Here, using a dynamic cluster quantum Monte Carlo calculation for a bilayer Hubbard model we show that the pairing in these systems can be understood in terms of an effective retarded attractive interaction between electrons near the electron Fermi surface.


title: Directed Formation Control of n Planar Agents with Distance and Area Constraints

abstract: In this paper, we take a first step towards generalizing a recently proposed method for dealing with the problem of convergence to incorrect equilibrium points of distance-based formation controllers. Specifically, we introduce a distance and area-based scheme for the formation control of $n$-agent systems in two dimensions using directed graphs and the single-integrator model. We show that under certain conditions on the edge lengths of the triangulated desired formation, the control ensures almost-global convergence to the correct formation.


title: Ulam-Warburton Automaton - Counting Cells with Quadratics

abstract: This paper is about a sequence of quadratic functions that enumerate the total number of ON cells up to and including generation $n$ of the Ulam-Warburton cellular automaton, where $n$ has the form $n_m=m\cdot2^k$


title: Fair Regression for Health Care Spending

abstract: The distribution of health care payments to insurance plans has substantial consequences for social policy. Risk adjustment formulas predict spending in health insurance markets in order to provide fair benefits and health care coverage for all enrollees, regardless of their health status. Unfortunately, current risk adjustment formulas are known to underpredict spending for specific groups of enrollees leading to undercompensated payments to health insurers. This incentivizes insurers to design their plans such that individuals in undercompensated groups will be less likely to enroll, impacting access to health care for these groups. To improve risk adjustment formulas for undercompensated groups, we expand on concepts from the statistics, computer science, and health economics literature to develop new fair regression methods for continuous outcomes by building fairness considerations directly into the objective function. We additionally propose a novel measure of fairness while asserting that a suite of metrics is necessary in order to evaluate risk adjustment formulas more fully. Our data application using the IBM MarketScan Research Databases and simulation studies demonstrate that these new fair regression methods may lead to massive improvements in group fairness (e.g., 98%) with only small reductions in overall fit (e.g., 4%).


title: Intermittent "Turbulence" in a Many-body System

abstract: In natural settings, intermittent dynamics are ubiquitous and often arise from a coupling between external driving and spatial heterogeneities. A well-known example is the generation of transient, turbulent puffs of fluid through a pipe with rough walls. Here we show how similar dynamics can emerge in a discrete, crystalline system of particles driven by noise. Polydispersity in particle masses leads to localized vibrational modes that effectuate a transition to a gas-like phase. A minimal model for the evolution of the system's mechanical energies exhibits quasi-cyclic oscillations, and a single, dimensionless number captures the essential features of the intermittent dynamics, analogous to the Reynolds number for pipe flow.


title: Stochastic Gradient MCMC for Nonlinear State Space Models

abstract: State space models (SSMs) provide a flexible framework for modeling complex time series via a latent stochastic process. Inference for nonlinear, non-Gaussian SSMs is often tackled with particle methods that do not scale well to long time series. The challenge is two-fold: not only do computations scale linearly with time, as in the linear case, but particle filters additionally suffer from increasing particle degeneracy with longer series. Stochastic gradient MCMC methods have been developed to scale Bayesian inference for finite-state hidden Markov models and linear SSMs using buffered stochastic gradient estimates to account for temporal dependencies. We extend these stochastic gradient estimators to nonlinear SSMs using particle methods. We present error bounds that account for both buffering error and particle error in the case of nonlinear SSMs that are log-concave in the latent process. We evaluate our proposed particle buffered stochastic gradient using stochastic gradient MCMC for inference on both long sequential synthetic and minute-resolution financial returns data, demonstrating the importance of this class of methods.


title: Renyi and Shannon Entropies of Finite Mixtures of Multivariate Skew t-distributions

abstract: Shannon and Renyi entropies are quantitative measures of uncertainty in a data set. They are developed by Renyi in the context of entropy theory. These measures have been studied in the case of the multivariate t-distributions. We extend these tools to the class of multivariate skew t-distributions and then to more families of finite mixture of multivariate skew t distributions. In particular, by using generalized Holder inequality and some properties of multinomial theorem, we find upper and lower bounds of entropies for these families. An approximate value of these entropies can be calculated. In addition, an asymptotic expression for Renyi entropy is given by approximation and by using some inequalities and properties of Lp spaces. Finally, we give a real data examples to illustrate the behavior of entropy of the mixture model under consideration.


title: Using Floating Gate Memory to Train Ideal Accuracy Neural Networks

abstract: Floating gate SONOS (Silicon-Oxygen-Nitrogen-Oxygen-Silicon) transistors can be used to train neural networks to ideal accuracies that match those of floating point digital weights on the MNIST dataset when using multiple devices to represent a weight or within 1% of ideal accuracy when using a single device. This is enabled by operating devices in the subthreshold regime, where they exhibit symmetric write nonlinearities. A neural training accelerator core based on SONOS with a single device per weight would increase energy efficiency by 120X, operate 2.1X faster and require 5X lower area than an optimized SRAM based ASIC.


title: Patterns on the numerical duplication by their admissibility degree

abstract: We develop the theory of patterns on numerical semigroups in terms of the admissibility degree. We prove that the Arf pattern induces every strongly admissible pattern, and determine all patterns equivalent to the Arf pattern. We study patterns on the numerical duplication $S \Join^d E$ when $d \gg0$. We also provide a definition of patterns on rings.


title: Diamond/c-BN HEMTs for power applications: A theoretical feasibility analysis

abstract: Diamond is a promising material for high-power electronic applications in both the dc and rf domains. However, the predicted advantages are yet to be realized for a number of technical challenges. In particular, n-type devices have not been feasible due to the large ionization energies and low thermodynamic solubility limits of n-dopants. Motivated by the recent advances in nonequilibrium processing, we propose and theoretically examine a diamond/c-BN HEMT that can circumvent the critical limitations. A first-principles calculation suggests the desired type-I alignment at the heterojunction of these two nearly lattice matched semiconductors. The investigation also illustrates that a large sheet carrier density in excess of $5\times10^{12}~\mathrm{cm^{-2}}$ can be induced in the undoped diamond channel by the gate bias. A subsequent analysis of a simple prototype design indicates that the proposed device can achieve large current drive (~10 A/cm), low $R_{on}$ ($\sim 0.05 ~ \mathrm{m}\Omega \cdot \mathrm{cm}^2$), and high $f_T$ (~300 GHz) simultaneously.


title: Characteristic polynomials and zeta functions of equitably partitioned graphs

abstract: Let $\pi=\{V_1,\dots,V_r\}$ be an equitable partition of the vertex set of a directed graph (digraph) $X$. It is well known that the characteristic polynomial $\phi(X/\pi,x)$ of a quotient graph $X/\pi$ divides that of $X$, but the remainder part is not well investigated. In this paper, we define a deletion graph $X\backslash\pi$ over an equitable partition $\pi$, which is a signed directed graph defined for a fixed set of deleting vertices $\{\bar{v}_i\in V_i, i=1,\cdots,r\}$, and give a similarity transformation exchanging the adjacency matrix $A(X)$ which is compatible with the equitable partition for a block triangular matrix whose diagonal blocks are the adjacency matrix of the quotient graph and the deletion graph. In fact, we show the result for more general matrices including adjacency matrix of graphs, and as corollaries, we show the followings: (i) a decomposition formula of the reciprocal of the Ihara-Bartholdi zeta function over an equitably partitioned undirected graph into the quotient graph part and the deletion graph part, and (ii) Chen and Chen's result ([CC17, Theorem 3.1]) on the Ihara-Bartholdi zeta functions on generalized join graphs, and (iii) Teranishi's result [Ter03, Theorem 3.3].


title: Mysterious High Energy Gamma Rays Might Help Explain What Drives Solar Cycles

abstract: This paper is in response to a technical paper, entitled "Evidence for a New Component of High-Energy Solar Gamma-Ray Production" (Linden, et al., 2018). An article in Scientific American entitled "The Sun Is Spitting Out Strange Patterns of Gamma Rays-and No One Knows Why" is a discussion of Linden's paper. It may be summarized as follows: The Sun has been observed to be emitting gamma ray bursts. The weaker gamma rays tend to be less than 50 GeV, emitted during the most active energetic period of the solar cycle and towards the poles. The gamma-ray emission is most intense during Solar Minimum, reaching >100 GeV and those emissions are near the equator: "Most strikingly, although 6 gamma rays above 100 GeV are observed during the 1.4 years of solar minimum, none are observed during the next 7.8 years (Linden, et al., 2018)." Pease and Glenn, in the conclusion of a recent paper, suggested that solar cycles are regulated by planetary orbital positions, influencing the Sun through transfer of gravitational or electromagnetic forces, or both (Pease & Glenn, 2016). This paper will describe a working hypothesis that points strongly to electromagnetic connections between Jupiter, Saturn, and the Sun during Solar Minimum which contribute to the high gamma-ray energy observed being emitted by the Sun. The hypothesis further suggests that the electromagnetic connections between the Sun and Jupiter, Saturn, and other planets with magnetospheres, namely Neptune, Earth, and Uranus, are responsible over billions of years for modulating a dual electromagnetic field resonance internal to the Sun. These major periodic cycles are known as the 11-year Schwabe and 22-year Hale solar cycles.


title: Disorder-Induced Weyl Semimetal Phase and Sequential Band Inversions in PbSe-SnSe Alloys

abstract: The search for topological systems has recently broadened to include random substitutional alloys, which lack the specific crystalline symmetries that protect topological phases, raising the question whether topological properties can be preserved, or are modified by disorder. To address this question, we avoid methods that assumed at the outset high (averaged) symmetry, using instead a fully-atomistic, topological description of alloy. Application to PbSe-SnSe alloy reveals that topology survives in an interesting fashion: (a) spatial randomness removes the valley degeneracy (splitting larger than 150 meV), leading to a sequential inversion of the split valley components over a range of compositions; (b) absence of inversion lifts spin degenerates, leading to a Weyl semimetal phase without the need of external magnetic field, an unexpected result, given that the alloy constituent compounds are inversion-symmetric. (a) and (b) underpin the topological physics at low symmetry and complete the missing understanding of possible topological phases within the normal-topological insulator transition.


title: Boolean Functions with Biased Inputs: Approximation and Noise Sensitivity

abstract: This paper considers the problem of approximating a Boolean function $f$ using another Boolean function from a specified class. Two classes of approximating functions are considered: $k$-juntas, and linear Boolean functions. The $n$ input bits of the function are assumed to be independently drawn from a distribution that may be biased. The quality of approximation is measured by the mismatch probability between $f$ and the approximating function $g$. For each class, the optimal approximation and the associated mismatch probability is characterized in terms of the biased Fourier expansion of $f$. The technique used to analyze the mismatch probability also yields an expression for the noise sensitivity of $f$ in terms of the biased Fourier coefficients, under a general i.i.d. input perturbation model.


title: CN-Stream: Open-source library for nonlinear regular waves using stream function theory

abstract: CN-Stream is a library for the computation of nonlinear regular ocean waves. The library is developed in order to be easily integrated with wave generation models in CFD solvers. It is based on the stream function theory and provides significant improvements regarding the applicability of the method for waves close to breaking (in deep or shallow water) compared to the classical implementation of Rienecker and Fenton [26]. The complete description of the wave field is available, including the free-surface evolution and the wave kinematics in the fluid domain. It is released as open-source, developed and distributed under the terms of GPL v3.


title: The Computer-Linguistic Analysis of Socio-Demographic Profile of Virtual Community Member

abstract: This article considers the current problem of investigation and development of computerlinguistic analysis of socio-demographic profile of virtual community member. Webmembers' socio-demographic characteristics' profile validation based on analysis of sociodemographic characteristics. The topicality of the paper is determined by the necessity to identify the web-community member by means of computer-linguistic analysis of their information track. The formal model of basic socio-demographic characteristics of virtual communities' member is formed. The structural model of lingvo-communicative indicators of socio-demographic characteristics of the web-members and common algorithm of the formation of lingvo-communicative indicators based on processing training sample are developed. Types of the computer-linguistic analysis of indicative characteristics are studied and classifications of lingvo-communicative indicators of gender, age and sphere of activities of web-community member is established. Also, the formal model of the basic socio-demographic characteristics of web-communities' member is introduced.


title: Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study

abstract: Internet of Things (IoT) is an emerging technology that has the promising power to change our future. Due to the market pressure, IoT systems may be released without sufficient testing. However, it is no longer acceptable to release IoT systems to the market without assuring the quality. As in the case of new technologies, the quality assurance process is a challenging task. This paper shows the results of the first comprehensive and systematic mapping study to structure and categories the research evidence in the literature starting in 2009 when the early publication of IoT papers for IoT quality assurance appeared. The conducted research is based on the most recent guidelines on how to perform systematic mapping studies. A set of research questions is defined carefully regarding the quality aspects of the IoT. Based on these questions, a large number of evidence and research papers is considered in the study (478 papers). We have extracted and analyzed different levels of information from those considered papers. Also, we have classified the topics addressed in those papers into categories based on the quality aspects. The study results carry out different areas that require more work and investigation in the context of IoT quality assurance. The results of the study can help in a further understanding of the research gaps. Moreover, the results show a roadmap for future research directions.


title: Beyond Control: Enabling Smart Thermostats For Leakage Detection

abstract: Smart thermostats, with multiple sensory abilities, are becoming pervasive and ubiquitous, in both residential and commercial buildings. By analyzing occupants' behavior, adjusting set temperature automatically, and adapting to temporal and spatial changes in the atmosphere, smart thermostats can maximize both - energy savings and user comfort. In this paper, we study smart thermostats for refrigerant leakage detection. Retail outlets, such as milk-booths and quick service restaurants set up cold-rooms to store perishable items. In each room, a refrigeration unit (akin to air-conditioners) is used to maintain a suitable temperature for the stored products. Often, refrigerant leaks through the coils (or valves) of the refrigeration unit which slowly diminishes the cooling capacity of the refrigeration unit while allowing it to be functional. Such leaks waste significant energy, risk occupants' health, and impact the quality of stored perishable products. While store managers usually fail to sense the early symptoms of such leaks, current techniques to report refrigerant leakage are often not scalable. We propose Greina - to continuously monitor the readily available ambient information from the thermostat and timely report such leaks. We evaluate our approach on 74 outlets of a retail enterprise and results indicate that Greina can report the leakage a week in advance when compared to manual reporting.


title: A Review on Energy, Environmental, and Sustainability Implications of Connected and Automated Vehicles

abstract: Connected and automated vehicles (CAVs) are poised to reshape transportation and mobility by replacing humans as the driver and service provider. While the primary stated motivation for vehicle automation is to improve safety and convenience of road mobility, this transformation also provides a valuable opportunity to improve vehicle energy efficiency and reduce emissions in the transportation sector. Progress in vehicle efficiency and functionality, however, does not necessarily translate to net positive environmental outcomes. Here we examine the interactions between CAV technology and the environment at four levels of increasing complexity: vehicle, transportation system, urban system, and society. We find that environmental impacts come from CAV-facilitated transformations at all four levels, rather than from CAV technology directly. We anticipate net positive environmental impacts at the vehicle, transportation system, and urban system levels, but expect greater vehicle utilization and shifts in travel patterns at the society level to offset some of these benefits. Focusing on the vehicle-level improvements associated with CAV technology is likely to yield excessively optimistic estimates of environmental benefits. Future research and policy efforts should strive to clarify the extent and possible synergetic effects from a systems level in order to envisage and address concerns regarding the short- and long-term sustainable adoption of CAV technology.


title: Smart contracts for the Internet of Things: opportunities and challenges

abstract: With the Internet of Things (IoT), Things are expected to live in different "domains" and "contexts" during their lifetime. Information generated by and associated with Things should be manageable by multiple, diverse stakeholders accordingly. Moreover, the scope of the information related to Things can range from private and confidential to public and auditable. Identification, security, and interoperability in this vivid environment are expected to be challenging. In this paper we discuss how smart contracts and blockchain technologies create the potential for a viable solution. To this end, we present smart contract-based solutions that improve security and information management, we identify new opportunities and challenges, and we provide security recommendations and guidelines.


title: Automatic end-to-end De-identification: Is high accuracy the only metric?

abstract: De-identification of electronic health records (EHR) is a vital step towards advancing health informatics research and maximising the use of available data. It is a two-step process where step one is the identification of protected health information (PHI), and step two is replacing such PHI with surrogates. Despite the recent advances in automatic de-identification of EHR, significant obstacles remain if the abundant health data available are to be used to the full potential. Accuracy in de-identification could be considered a necessary, but not sufficient condition for the use of EHR without individual patient consent. We present here a comprehensive review of the progress to date, both the impressive successes in achieving high accuracy and the significant risks and challenges that remain. To best of our knowledge, this is the first paper to present a complete picture of end-to-end automatic de-identification. We review 18 recently published automatic de-identification systems -designed to de-identify EHR in the form of free text- to show the advancements made in improving the overall accuracy of the system, and in identifying individual PHI. We argue that despite the improvements in accuracy there remain challenges in surrogate generation and replacements of identified PHIs, and the risks posed to patient protection and privacy.


title: Trading-off Accuracy and Energy of Deep Inference on Embedded Systems: A Co-Design Approach

abstract: Deep neural networks have seen tremendous success for different modalities of data including images, videos, and speech. This success has led to their deployment in mobile and embedded systems for real-time applications. However, making repeated inferences using deep networks on embedded systems poses significant challenges due to constrained resources (e.g., energy and computing power). To address these challenges, we develop a principled co-design approach. Building on prior work, we develop a formalism referred to as Coarse-to-Fine Networks (C2F Nets) that allow us to employ classifiers of varying complexity to make predictions. We propose a principled optimization algorithm to automatically configure C2F Nets for a specified trade-off between accuracy and energy consumption for inference. The key idea is to select a classifier on-the-fly whose complexity is proportional to the hardness of the input example: simple classifiers for easy inputs and complex classifiers for hard inputs. We perform comprehensive experimental evaluation using four different C2F Net architectures on multiple real-world image classification tasks. Our results show that optimized C2F Net can reduce the Energy Delay Product (EDP) by 27 to 60 percent with no loss in accuracy when compared to the baseline solution, where all predictions are made using the most complex classifier in C2F Net.


title: Rare geometries: revealing rare categories via dimension-driven statistics

abstract: In many situations, classes of data points of primary interest also happen to be those that are least numerous. A well-known example is detection of fraudulent transactions among the collection of all financial transactions, the vast majority of which are legitimate. These types of problems fall under the label of `rare-category detection.' There are two challenging aspects of these problems. The first is a general lack of labeled examples of the rare class and the second is the potential non-separability of the rare class from the majority (in terms of available features). Statistics related to the geometry of the rare class (such as its intrinsic dimension) can be significantly different from those for the majority class, reflecting the different dynamics driving variation in the different classes. In this paper we present a new supervised learning algorithm that uses a dimension-driven statistic, called the kappa-profile, to classify whether unlabeled points belong to a rare class. Our algorithm requires very few labeled examples and is invariant with respect to translation so that it performs equivalently on both separable and non-separable classes.


title: On worldsheet curvature coupling in pure spinor sigma-model

abstract: We discuss the relation between unintegrated and integrated vertex operators in string worldsheet theory, in the context of BV formalism. In particular, we clarify the origin of the Fradkin-Tseytlin term. We first consider the case of bosonic string, and then concentrate on the case of pure spinor superstring in $AdS_5\times S^5$. In particular, we compute the action of $b_0 - \bar{b}_0$ on the beta-deformation vertex. As a by-product, we formulate some new conjectures on general finite-dimensional vertices.


title: Anharmonic Effects in the Low-Frequency Vibrational Modes of Aspirin and Paracetamol Crystals

abstract: The low-frequency range of vibrational spectra is sensitive to collective vibrations of the lattice. In molecular crystals, it can be decisive to identify the structure of different polymorphs, and in addition, it plays an important role on the magnitude of the temperature-dependent component of vibrational free energy differences between these crystals. In this work we study the vibrational Raman spectra and vibrational density of states of different polymorphs of the flexible Aspirin and Paracetamol crystals based on dispersion-corrected density-functional theory, density-functional perturbation theory, and $ab\,initio$ molecular dynamics. We examine the effect of quasi-harmonic lattice expansion and compare the results of harmonic theory and the time correlation formalism for vibrational spectra. Lattice expansion strongly affects the collective vibrations below 300 cm$^{-1}$, but it is significantly less important at higher frequencies, while thermal nuclear motion can be important in the full vibrational range. We also observe that the inclusion or neglect of many-body van der Waals dispersion interactions do not cause large differences in the low-frequency range of Raman spectra or vibrational density of states, provided the lattice constants are fixed. We obtain quantitative agreement with experimental room-temperature Raman spectra below 300 cm$^{-1}$ for all polymorphs studied. Examining the two-dimensional correlations between different vibrations, we find which modes show a larger degree of anharmonic coupling to others, providing a possible route to assess the accuracy of harmonic free energy evaluations in different cases.


title: A Unified Picture of Lattice Instabilities in Metallic Transition Metal Dichalcogenides

abstract: Transition metal dichalcogenides (TMDs) in the $1T$ polymorph are subject to a rich variety of periodic lattice distortions, often referred to as charge density waves (CDW) when not too strong. We study from first principles the fermiology and phonon dispersion of three representative single-layer transition metal disulfides with different occupation of the $t_{2g}$ subshell: TaS$_2$ ($t_{2g}^1$), WS$_2$ ($t_{2g}^2$), and ReS$_2$ ($t_{2g}^3$) across a broad range of doping levels. While strong electron-phonon interactions are at the heart of these instabilities, we argue that away from half-filling of the $t_{2g}$ subshell, the doping dependence of the calculated CDW wave vector can be explained from simple fermiology arguments, so that a weak-coupling nesting picture is a useful starting point for understanding. On the other hand, when the $t_{2g}$ subshell is closer to half-filling, we show that nesting is irrelevant, while a real-space strong-coupling picture of bonding Wannier functions is more appropriate and simple bond-counting arguments apply. Our study thus provides a unifying picture of lattice distortions in $1T$ TMDs that bridges the two regimes, while the crossover between these regimes can be attained by tuning the filling of the $t_{2g}$ orbitals.


title: A Robust Time Series Model with Outliers and Missing Entries

abstract: This paper studies the problem of robustly learning the correlation function for a univariate time series with the presence of noise, outliers and missing entries. The outliers or anomalies considered here are sparse and rare events that deviate from normality which is depicted by a correlation function and an uncertainty condition. This general formulation is applied to univariate time series of event counts (or non-negative time series) where the correlation is a log-linear function with the uncertainty condition following the Poisson distribution. Approximations to the sparsity constraint, such as $\ell^r, 0< r\le 1$, are used to obtain robustness in the presence of outliers. The $\ell^r$ constraint is also applied to the correlation function to reduce the number of active coefficients. This task also helps bypassing the model selection procedure. Simulated results are presented to validate the model.


title: Throttling Malware Families in 2D

abstract: Malicious software are categorized into families based on their static and dynamic characteristics, infection methods, and nature of threat. Visual exploration of malware instances and families in a low dimensional space helps in giving a first overview about dependencies and relationships among these instances, detecting their groups and isolating outliers. Furthermore, visual exploration of different sets of features is useful in assessing the quality of these sets to carry a valid abstract representation, which can be later used in classification and clustering algorithms to achieve a high accuracy. In this paper, we investigate one of the best dimensionality reduction techniques known as t-SNE to reduce the malware representation from a high dimensional space consisting of thousands of features to a low dimensional space. We experiment with different feature sets and depict malware clusters in 2-D. Surprisingly, t-SNE does not only provide nice 2-D drawings, but also dramatically increases the generalization power of SVM classifiers. Moreover, obtained results showed that cross-validation accuracy is much better using the 2-D embedded representation of samples than using the original high-dimensional representation.


title: Enhanced Minimal Scheduling Function for IEEE802.15.4e TSCH Networks

abstract: MAC layer protocol design in a WSN is crucial due to the limitations on processing capacities and power of wireless sensors. The latest version of the IEEE 802.15.4, referenced to as IEEE 802.15.4e, was released by IEEE and outlines the mechanism of the Time Slotted Channel Hopping (TSCH). Hence, 6TiSCH working group has released a distributed algorithm for neighbour nodes to agree on a communication pattern driven by a minimal scheduling function. A slotframe contains a specific number of time slots, which are scheduled based on the application requirements and the routing topology. Sensors nodes use the schedule to determine when to transmit or to receive data. However, IEEE 802.15.4e TSCH does not address the specifics on planning time slot scheduling. In this paper, we propose a distributed Enhanced Minimal Scheduling Function (EMSF) based on the minimal scheduling function, which is compliant with 802.15.4e TSCH. In this vein, we introduce a distributed algorithm based on a Poisson process to predict the following schedule requirements. Consequently, the negotiation operations between pairs of nodes to agree about the schedule will be reduced. As a result, EMSF decreases the exchanged overhead, the end-to-end latency and the packet queue length significantly. Preliminary simulation results have confirmed that EMSF outperforms the 802.15.4e TSCH MSF scheduling algorithm.


title: Manifestation of the topological index formula in quantum waves and geophysical waves

abstract: Using semi-classical analysis in $\mathbb{R}^{n}$ we present a quite general model for which the topological index formula of Atiyah-Singer predicts a spectral flow with the transition of a finite number of eigenvalues between clusters (energy bands). This model corresponds to physical phenomena that are well observed for quantum energy levels of small molecules [faure_zhilinskii_2000,2001], also in geophysics for the oceanic or atmospheric equatorial waves [Matsuno_1966, Delplace_Marston_Venaille_2017] and expected to be observed in plasma physics [Qin, Fu 2022].

categories: math-ph math.AT math.MP math.SP physics.geo-ph quant-ph


title: Decentralized Online Learning: Take Benefits from Others' Data without Sharing Your Own to Track Global Trend

abstract: Decentralized Online Learning (online learning in decentralized networks) attracts more and more attention, since it is believed that Decentralized Online Learning can help the data providers cooperatively better solve their online problems without sharing their private data to a third party or other providers. Typically, the cooperation is achieved by letting the data providers exchange their models between neighbors, e.g., recommendation model. However, the best regret bound for a decentralized online learning algorithm is $\Ocal{n\sqrt{T}}$, where $n$ is the number of nodes (or users) and $T$ is the number of iterations. This is clearly insignificant since this bound can be achieved \emph{without} any communication in the networks. This reminds us to ask a fundamental question: \emph{Can people really get benefit from the decentralized online learning by exchanging information?} In this paper, we studied when and why the communication can help the decentralized online learning to reduce the regret. Specifically, each loss function is characterized by two components: the adversarial component and the stochastic component. Under this characterization, we show that decentralized online gradient (DOG) enjoys a regret bound $\Ocal{n\sqrt{T}G + \sqrt{nT}\sigma}$, where $G$ measures the magnitude of the adversarial component in the private data (or equivalently the local loss function) and $\sigma$ measures the randomness within the private data. This regret suggests that people can get benefits from the randomness in the private data by exchanging private information. Another important contribution of this paper is to consider the dynamic regret -- a more practical regret to track users' interest dynamics. Empirical studies are also conducted to validate our analysis.


title: Harnack and pointwise estimates for degenerate or singular parabolic equations

abstract: In this paper we give both an historical and technical overview of the theory of Harnack inequalities for nonlinear parabolic equations in divergence form. We start reviewing the elliptic case with some of its variants and geometrical consequences. The linear parabolic Harnack inequality of Moser is discussed extensively, together with its link to two-sided kernel estimates and to the Li-Yau differential Harnack inequality. Then we overview the more recent developements of the theory for nonlinear degenerate/singular equations, highlighting the differences with the quadratic case and introducing the so-called intrinsic Harnack inequalities. Finally, we provide complete proofs of the Harnack inequalities in some paramount case to introduce the reader to the expansion of positivity method.


title: Evaluation protocol for revealing magnonic contrast in STXM-FMR measurements

abstract: We present a statistically motivated method to extract magnonic contrast from STXM-FMR measurement with microwave frequencies of the order of \unit[10]{GHz}. With this method it is possible to generate phase and amplitude profiles with a spatial resolution of about \unit[30]{nm} given by the STXM resolution, furthermore this method allows fo a rigoros transformation to reciprocal \vec{k}-space, revealing \vec{k}-dependent magnon properties.


title: Stochastic modelling reveals mechanisms of metabolic heterogeneity

abstract: Phenotypic variation is a hallmark of cellular physiology. Metabolic heterogeneity, in particular, underpins single-cell phenomena such as microbial drug tolerance and growth variability. Much research has focussed on transcriptomic and proteomic heterogeneity, yet it remains unclear if such variation permeates to the metabolic state of a cell. Here we propose a stochastic model to show that complex forms of metabolic heterogeneity emerge from fluctuations in enzyme expression and catalysis. The analysis predicts clonal populations to split into two or more metabolically distinct subpopulations. We reveal mechanisms not seen in deterministic models, in which enzymes with unimodal expression distributions lead to metabolites with a bimodal or multimodal distribution across the population. Based on published data, the results suggest that metabolite heterogeneity may be more pervasive than previously thought. Our work casts light on links between gene expression and metabolism, and provides a theory to probe the sources of metabolite heterogeneity.


title: Jones representations of Thompson's group $F$ arising from Temperley-Lieb-Jones algebras

abstract: Following a procedure due to V. Jones, using suitably normalized elements in a Temperley-Lieb-Jones (planar) algebra we introduce a 3-parametric family of unitary representations of the Thompson's group $F$ equipped with canonical (vacuum) vectors and study some of their properties. In particular, we discuss the behaviour at infinity of their matrix coefficients, thus showing that these representations do not contain any finite type component. We then focus on a particular representation known to be quasi-regular and irreducible and show that it is inequivalent to itself once composed with a classical automorphism of F. This allows us to distinguish three equivalence classes in our family. Finally, we investigate a family of stabilizer subgroups of $F$ indexed by subfactor Jones indices that are described in terms of the chromatic polynomial. In contrast to the first non-trivial index value for which the corresponding subgroup is isomorphic to the Brown-Thompson's group $F_3$, we show that when the index is large enough this subgroup is always trivial.


title: Extraordinary subradiance with lossless excitation transfer in dipole-coupled nano-rings of quantum emitters

abstract: A ring of sub-wavelength spaced dipole-coupled quantum emitters possesses only few radiant but many extraordinarily subradiant collective modes. These exhibit a 3D-confined spatial radiation field pattern forming a nano-scale high-Q optical resonator. We show that tailoring the geometry, orientation and distance between two such rings allows for increasing the ratio of coherent ring-to-ring coupling versus free-space emission by several orders of magnitude. In particular we find that subradiant excitations, when delocalized over several ring sites, are effectively transported between the rings with a high fidelity.


title: On the Credibility of Information Flows in Real-time Wireless Networks

abstract: This paper considers a wireless network where multiple flows are delivering status updates about their respective information sources. An end user aims to make accurate real-time estimations about the status of each information source using its received packets. As the accuracy of estimation is most impacted by events in the recent past, we propose to measure the credibility of an information flow by the number of timely deliveries in a window of the recent past, and say that a flow suffers from a loss-of-credibility (LoC) if this number is insufficient for the end user to make an accurate estimation. We then study the problem of minimizing the system-wide LoC in wireless networks where each flow has different requirement and link quality. We show that the problem of minimizing the system-wide LoC requires the control of temporal variance of timely deliveries for each flow. This feature makes our problem significantly different from other optimization problems that only involves the average of control variables. Surprisingly, we show that there exists a simple online scheduling algorithm that is near-optimal. Simulation results show that our proposed algorithm is significantly better than other state-of-the-art policies.


title: Wind Tunnel Tests of a Pitot-Static Tube Array to Estimate Wind Velocity

abstract: This paper examines the use of a pitot-static tube array (PSA) to estimate horizontal wind velocity in all directions. This method uses the readings from the PSA as inputs. No flight tests have been done, but this method could potentially be used to estimate wind velocity from small UAVs. To do this, UAV ground speed and attitude must be available as inputs. Wind tunnel data of the PSA was used to create an algorithm that estimates wind velocity even when the wind is not parallel with any of the pitot-static tubes. This paper discuses the wind tunnel data, the algorithm, and the application for small UAVs.


title: Scalar models of formally interacting non-standard quantum fields in Minkowski space-time

abstract: For decades, a lot of work has been devoted to the problem of constructing a non-trivial quantum field theory in four-dimensional space time. This letter addresses the attempts to construct an algebraic quantum field theory in the framework of non-standard theories like hyperfunction or ultra-hyperfunction quantum field theory. For this purpose model theories of formally interacting neutral scalar fields are constructed and some of their characteristic properties like two-point functions are discussed. The formal self-couplings are obtained from local normally-ordered analytic redefinitions of the free scalar quantum field, mimicking a non-trivial structure of the resulting Lagrangians and equations of motion.


title: On the K-theory of truncated polynomial algebras, revisited

abstract: We revisit the computation, due to Hesselholt and Madsen, of the K-theory of truncated polynomial algebras for perfect fields of positive characteristic. The resulting K-groups are expressed in terms of big Witt vectors of the field. The original proof relied on an understanding of cyclic polytopes in order to determine the genuine equivariant homotopy type of the cyclic bar construction for a suitable monoid. Using the Nikolaus-Scholze framework for topological cyclic homology we achieve the same result using only the homology of said cyclic bar construction, as well as the action of Connes' operator.


title: Numerically Recovering the Critical Points of a Deep Linear Autoencoder

abstract: Numerically locating the critical points of non-convex surfaces is a long-standing problem central to many fields. Recently, the loss surfaces of deep neural networks have been explored to gain insight into outstanding questions in optimization, generalization, and network architecture design. However, the degree to which recently-proposed methods for numerically recovering critical points actually do so has not been thoroughly evaluated. In this paper, we examine this issue in a case for which the ground truth is known: the deep linear autoencoder. We investigate two sub-problems associated with numerical critical point identification: first, because of large parameter counts, it is infeasible to find all of the critical points for contemporary neural networks, necessitating sampling approaches whose characteristics are poorly understood; second, the numerical tolerance for accurately identifying a critical point is unknown, and conservative tolerances are difficult to satisfy. We first identify connections between recently-proposed methods and well-understood methods in other fields, including chemical physics, economics, and algebraic geometry. We find that several methods work well at recovering certain information about loss surfaces, but fail to take an unbiased sample of critical points. Furthermore, numerical tolerance must be very strict to ensure that numerically-identified critical points have similar properties to true analytical critical points. We also identify a recently-published Newton method for optimization that outperforms previous methods as a critical point-finding algorithm. We expect our results will guide future attempts to numerically study critical points in large nonlinear neural networks.


title: Improved Path-length Regret Bounds for Bandits

abstract: We study adaptive regret bounds in terms of the variation of the losses (the so-called path-length bounds) for both multi-armed bandit and more generally linear bandit. We first show that the seemingly suboptimal path-length bound of (Wei and Luo, 2018) is in fact not improvable for adaptive adversary. Despite this negative result, we then develop two new algorithms, one that strictly improves over (Wei and Luo, 2018) with a smaller path-length measure, and the other which improves over (Wei and Luo, 2018) for oblivious adversary when the path-length is large. Our algorithms are based on the well-studied optimistic mirror descent framework, but importantly with several novel techniques, including new optimistic predictions, a slight bias towards recently selected arms, and the use of a hybrid regularizer similar to that of (Bubeck et al., 2018). Furthermore, we extend our results to linear bandit by showing a reduction to obtaining dynamic regret for a full-information problem, followed by a further reduction to convex body chasing. We propose a simple greedy chasing algorithm for squared 2-norm, leading to new dynamic regret results and as a consequence the first path-length regret for general linear bandit as well.


title: Detailed Solar System dynamics as a probe of the Dark Matter hypothesis

abstract: Within the dark matter paradigm, explaining observed orbital dynamics at galactic level through the inclusion of a dominant dark halo, implies also the necessary appearance of dynamical friction effects. Satellite galaxies, globular clusters and even stars orbiting within these galactic halos, will perturb the equilibrium orbits of dark matter particles encountered, to produce a resulting trailing wake of slightly enhanced dark matter density associated with any perturber in the halo. The principal effect of this gravitational interaction between an orbiting body and the dark matter particles composing it, is the appearance of a frictional drag force slowly removing energy and angular momentum from the perturber. Whilst this effect might be relevant to help bring about the actual merger of the components of interacting forming galaxies, at smaller stellar scales, it becomes negligible. However, the trailing wake will still be present. In this letter I show that the corresponding dark matter wake associated to the Sun, will constitute a small but resonant perturbation on solar system dynamics which can be ruled out, as current laser and radio ranging measurements are now over an order of magnitude more precise than the amplitude of the orbital perturbations which said wake implies. The absence of any such detection implies the nonexistence of the dynamical friction trailing wake on the sun, which in turn strongly disfavours dark matter as an explanation for the observed gravitational anomalies at galactic scales.


title: Solving Schr\"odinger Equation with Scattering Matrices. Bound states of Lennard-Jones Potential

abstract: This paper presents an accurate highly efficient method for solving the bound states in the one-dimensional Schr\"odinger equation with an arbitrary potential. We show that the bound state energies of a general potential well can be obtained from the scattering matrices of two associated scattering potentials. Such scattering matrices can be determined with high efficiency and accuracy, leading us to a new method to find the bound state energies. Moreover, it allows us to find the associated wavefunctions, their norm, and expected values. The method is validated by comparing solutions of the harmonic oscillator and the hydrogen atom with their analytical counterparts. The energies and eigenfunctions of Lennard-Jones potential are also computed and compared to others reported in the literature. This method is highly parallelizable and produces results that reach machine precision with low computational effort.

categories: quant-ph cond-mat.mes-hall physics.chem-ph physics.comp-ph


title: The hardwall method of solving the radial Schr\"odinger equation and unmasking hidden symmetries

abstract: Solving for the bound state eigenvalues of the Schr\"odinger equation is a tedious iterative process when the conventional shooting or matching method is used. In this work, we bypass the eigenvalue's dependence on the eigenfunction by simply trying out all eigenvalues to a desired accuracy. When the eigenvalue is known, the integration for the eigenfunction is then trivial. At a given energy, by outputting the radial distance at which the wave function crosses zero (the hardwall radius), this method automatically determines the entire spectrum of eigenvalues of the radial Schr\"odinger equation without iterative adjustments. Moreover, such a spherically symmetric "hardwall" can unmask "accidental degeneracy" of eigenvalues due to hidden symmetries. We illustrate the method on the Coulomb, harmonic, Coulomb+harmonic, and the Woods-Saxon potentials.


title: Validity of kinetic theory for radiative heat transfer in nanoparticle chains

abstract: In chains of closely-spaced nanoparticles supporting surface polaritons, near-field electromagnetic coupling leads to collective effects and super-Planckian thermal radiation exchange. Researchers have primarily used two analytical approaches to calculate radiative heat transfer in these systems: fluctuational electrodynamics, which directly incorporates fluctuating thermal currents into Maxwell's equations, and a kinetic approach where the dispersion relation provides modes and propagation lengths for the Boltzmann transport equation. Here, we compare results from the two approaches in order to identify regimes in which kinetic theory is valid and to explain differing results in the literature on its validity. Using both methods, we calculate the diffusive radiative thermal conductivity of nanoparticle chains. We show that kinetic theory is valid and matches predictions by fluctuational electrodynamics when the propagation lengths are greater than the particle spacing.


title: Deep Active Learning for Efficient Training of a LiDAR 3D Object Detector

abstract: Training a deep object detector for autonomous driving requires a huge amount of labeled data. While recording data via on-board sensors such as camera or LiDAR is relatively easy, annotating data is very tedious and time-consuming, especially when dealing with 3D LiDAR points or radar data. Active learning has the potential to minimize human annotation efforts while maximizing the object detector's performance. In this work, we propose an active learning method to train a LiDAR 3D object detector with the least amount of labeled training data necessary. The detector leverages 2D region proposals generated from the RGB images to reduce the search space of objects and speed up the learning process. Experiments show that our proposed method works under different uncertainty estimations and query functions, and can save up to 60% of the labeling efforts while reaching the same network performance.


title: Robust Deep Multi-Modal Sensor Fusion using Fusion Weight Regularization and Target Learning

abstract: Sensor fusion has wide applications in many domains including health care and autonomous systems. While the advent of deep learning has enabled promising multi-modal fusion of high-level features and end-to-end sensor fusion solutions, existing deep learning based sensor fusion techniques including deep gating architectures are not always resilient, leading to the issue of fusion weight inconsistency. We propose deep multi-modal sensor fusion architectures with enhanced robustness particularly under the presence of sensor failures. At the core of our gating architectures are fusion weight regularization and fusion target learning operating on auxiliary unimodal sensing networks appended to the main fusion model. The proposed regularized gating architectures outperform the existing deep learning architectures with and without gating under both clean and corrupted sensory inputs resulted from sensor failures. The demonstrated improvements are particularly pronounced when one or more multiple sensory modalities are corrupted.


title: Fundamental properties of the pre-main sequence eclipsing stars of MML 53 and the mass of the tertiary

abstract: We present the most comprehensive analysis to date of the Upper Centaurus Lupus eclipsing binary MML 53 (2.097892 d), and for the first time, confirm the bound-nature of the third star (~9yr orbit). Our analysis uses new and archival spectra and time-series photometry. We determined the temperature of the primary star to be 4880+-100 K. The study of the close binary incorporated treatment of spots and dilution by the tertiary in the light curves, allowing for the robust measurement of the masses of the eclipsing components within 1% (M1=1.0400+-0.0067 and M2=0.8907+-0.0058 Msun), their radii within 4.5% (R1=1.283+-0.043 and R2=1.107+-0.049 Rsun), and the secondary temperature (4379+-100K). From the analysis of the eclipse timings, and the change in systemic velocity of the eclipsing binary and the radial velocities of the third star, we measured the mass of the outer companion to be 0.7 Msun within 20%. The age we derived from the evolution of the temperature ratio between the eclipsing components is fully consistent with previous estimates of the age of UCL (16+-2 Myr). At this age, the tightening of the MML 53 eclipsing binary has already occurred, thus supporting close-binary formation mechanisms that act early in their evolution. The eclipsing stars roughly follow the same theoretical isochrone, but appear to be inflated in radius (by 20% for the primary and 10% for the secondary). However, our primary radius measurement of is in full agreement with the independent measurement of the secondary of NP Per which has the same mass and a similar age. The eclipsing stars of MML 53 are found to be larger but not cooler than predicted by non-magnetic models, it is not clear what is the mechanism that is causing the radius inflation given that activity, spots and/or magnetic fields slowing their contraction, require the inflated stars to be cooler to remain in thermal equilibrium.


title: 2- and 3-Covariant Equiangular Tight Frames

abstract: Equiangular tight frames (ETFs) are configurations of vectors which are optimally geometrically spread apart and provide resolutions of the identity. Many known constructions of ETFs are group covariant, meaning they result from the action of a group on a vector, like all known constructions of symmetric, informationally complete, positive operator-valued measures. In this short article, some results characterizing the transitivity of the symmetry groups of ETFs will be presented as well as a proof that an infinite class of so-called Gabor-Steiner ETFs are roux lines, where roux lines are a generalization of doubly transitive lines.


title: Robust Identification of "Sparse Plus Low-rank" Graphical Models: An Optimization Approach

abstract: Motivated by graphical models, we consider the "Sparse Plus Low-rank" decomposition of a positive definite concentration matrix -- the inverse of the covariance matrix. This is a classical problem for which a rich theory and numerical algorithms have been developed. It appears, however, that the results rapidly degrade when, as it happens in practice, the covariance matrix must be estimated from the observed data and is therefore affected by a certain degree of uncertainty. We discuss this problem and propose an alternative optimization approach that appears to be suitable to deal with robustness issues in the "Sparse Plus Low-rank" decomposition problem.The variational analysis of this optimization problem is carried over and discussed.


title: Distributions of extremal black holes in Calabi-Yau compactifications

abstract: We study non-supersymmetric extremal black hole excitations of 4d N=2 supersymmetric string vacua arising from compactification on Calabi-Yau threefolds. The values of the (vector multiplet) moduli at the black hole horizon are governed by the attractor mechanism. This raises natural questions, such as "what is the distribution of attractor points on moduli space?" and "how many attractor black holes are there with horizon area up to a certain size?" We employ tools developed by Denef and Douglas to answer these questions.


title: Data Consistency in Transactional Storage Systems: a Centralised Approach

abstract: We introduce an interleaving operational semantics for describing the client-observable behaviour of atomic transactions on distributed key-value stores. Our semantics builds on abstract states comprising centralised, global key-value stores and partial client views. We provide operational definitions of consistency models for our key-value stores which are shown to be equivalent to the well-known declarative definitions of consistency model for execution graphs. We explore two immediate applications of our semantics: specific protocols of geo-replicated databases (e.g. COPS) and partitioned databases (e.g. Clock-SI) can be shown to be correct for a specific consistency model by embedding them in our centralised semantics; programs can be directly shown to have invariant properties such as robustness results against a weak consistency model.


title: Further investigations of R\'enyi entropy power inequalities and an entropic characterization of s-concave densities

abstract: We investigate the role of convexity in R\'enyi entropy power inequalities. After proving that a general R\'enyi entropy power inequality in the style of Bobkov-Chistyakov (2015) fails when the R\'enyi parameter $r\in(0,1)$, we show that random vectors with $s$-concave densities do satisfy such a R\'enyi entropy power inequality. Along the way, we establish the convergence in the Central Limit Theorem for R\'enyi entropies of order $r\in(0,1)$ for log-concave densities and for compactly supported, spherically symmetric and unimodal densities, complementing a celebrated result of Barron (1986). Additionally, we give an entropic characterization of the class of $s$-concave densities, which extends a classical result of Cover and Zhang (1994).


title: The action spectrum characterizes closed contact 3-manifolds all of whose Reeb orbits are closed

abstract: A classical theorem due to Wadsley implies that, on a connected contact manifold all of whose Reeb orbits are closed, there is a common period for the Reeb orbits. In this paper we show that, for any Reeb flow on a closed connected 3-manifold, the following conditions are actually equivalent: (1) every Reeb orbit is closed; (2) all closed Reeb orbits have a common period; (3) the action spectrum has rank 1. We also show that, on a fixed closed connected 3-manifold, a contact form with an action spectrum of rank 1 is determined (up to pull-back by diffeomorphisms) by the set of minimal periods of its closed Reeb orbits.


title: Persuasion-based Robust Sensor Design Against Attackers with Unknown Control Objectives

abstract: In this paper, we introduce a robust sensor design framework to provide "persuasion-based" defense in stochastic control systems against an unknown type attacker with a control objective exclusive to its type. For effective control, such an attacker's actions depend on its belief on the underlying state of the system. We design a robust "linear-plus-noise" signaling strategy to encode sensor outputs in order to shape the attacker's belief in a strategic way and correspondingly to persuade the attacker to take actions that lead to minimum damage with respect to the system's objective. The specific model we adopt is a Gauss-Markov process driven by a controller with a (partially) "unknown" malicious/benign control objective. We seek to defend against the worst possible distribution over control objectives in a robust way under the solution concept of Stackelberg equilibrium, where the sensor is the leader. We show that a necessary and sufficient condition on the covariance matrix of the posterior belief is a certain linear matrix inequality and we provide a closed-form solution for the associated signaling strategy. This enables us to formulate an equivalent tractable problem, indeed a semi-definite program, to compute the robust sensor design strategies "globally" even though the original optimization problem is non-convex and highly nonlinear. We also extend this result to scenarios where the sensor makes noisy or partial measurements. Finally, we analyze the ensuing performance numerically for various scenarios.


title: Twitter Job/Employment Corpus: A Dataset of Job-Related Discourse Built with Humans in the Loop

abstract: We present the Twitter Job/Employment Corpus, a collection of tweets annotated by a humans-in-the-loop supervised learning framework that integrates crowdsourcing contributions and expertise on the local community and employment environment. Previous computational studies of job-related phenomena have used corpora collected from workplace social media that are hosted internally by the employers, and so lacks independence from latent job-related coercion and the broader context that an open domain, general-purpose medium such as Twitter provides. Our new corpus promises to be a benchmark for the extraction of job-related topics and advanced analysis and modeling, and can potentially benefit a wide range of research communities in the future.


title: A double-continuum transport model for segregated porous media: derivation and sensitivity analysis-driven calibration

abstract: We present and derive a novel double-continuum transport model based on pore-scale characteristics. Our approach relies on building a simplified unit cell made up of immobile and mobile continua. We employ a numerically resolved pore-scale velocity distribution to characterize the volume of each continuum and to define the velocity profile in the mobile continuum. Using the simplified unit cell, we derive a closed form model, which includes two effective parameters that need to be estimated: a characteristic length scale and a ratio of waiting times RD that lumps the effect of stagnant regions and escape process. To calibrate and validate our model, we rely on a set of pore-scale numerical simulation performed on a 2D disordered segregated periodic porous medium considering different initial solute distributions. Using a Global Sensitivity Analysis, we explore the impact of the two effective parameters on solute concentration profiles and thereby define a sensitivity analysis driven criterion for model calibration. The latter is compared to a classical calibration approach. Our results show that, depending on the initial condition, the mass exchange process between mobile and immobile continua impact on solute profile shape significantly. By introducing parameter RD we obtain a flexible transport model capable of interpreting both symmetric and highly skewed solute concentration profiles. We show that the effectiveness of the calibration of the two parameters closely depends on the content of information of calibration dataset and the selected objective function whose definition can be supported by of the implementation of model sensitivity analysis. By relying on a sensitivity analysis driven calibration, we are able to provide a good interpretation of the concentration profile evolution independent of the given initial condition relying on a unique set of effective parameter values.


title: Enhanced Variational Inference with Dyadic Transformation

abstract: Variational autoencoder is a powerful deep generative model with variational inference. The practice of modeling latent variables in the VAE's original formulation as normal distributions with a diagonal covariance matrix limits the flexibility to match the true posterior distribution. We propose a new transformation, dyadic transformation (DT), that can model a multivariate normal distribution. DT is a single-stage transformation with low computational requirements. We demonstrate empirically on MNIST dataset that DT enhances the posterior flexibility and attains competitive results compared to other VAE enhancements.


title: Reliable Smart Road Signs

abstract: In this paper, we propose a game theoretical adversarial intervention detection mechanism for reliable smart road signs. A future trend in intelligent transportation systems is ``smart road signs" that incorporate smart codes (e.g., visible at infrared) on their surface to provide more detailed information to smart vehicles. Such smart codes make road sign classification problem aligned with communication settings more than conventional classification. This enables us to integrate well-established results in communication theory, e.g., error-correction methods, into road sign classification problem. Recently, vision-based road sign classification algorithms have been shown to be vulnerable against (even) small scale adversarial interventions that are imperceptible for humans. On the other hand, smart codes constructed via error-correction methods can lead to robustness against small scale intelligent or random perturbations on them. In the recognition of smart road signs, however, humans are out of the loop since they cannot see or interpret them. Therefore, there is no equivalent concept of imperceptible perturbations in order to achieve a comparable performance with humans. Robustness against small scale perturbations would not be sufficient since the attacker can attack more aggressively without such a constraint. Under a game theoretical solution concept, we seek to ensure certain measure of guarantees against even the worst case (intelligent) attackers that can perturb the signal even at large scale. We provide a randomized detection strategy based on the distance between the decoder output and the received input, i.e., error rate. Finally, we examine the performance of the proposed scheme over various scenarios.


title: End-to-End Knowledge-Routed Relational Dialogue System for Automatic Diagnosis

abstract: Beyond current conversational chatbots or task-oriented dialogue systems that have attracted increasing attention, we move forward to develop a dialogue system for automatic medical diagnosis that converses with patients to collect additional symptoms beyond their self-reports and automatically makes a diagnosis. Besides the challenges for conversational dialogue systems (e.g. topic transition coherency and question understanding), automatic medical diagnosis further poses more critical requirements for the dialogue rationality in the context of medical knowledge and symptom-disease relations. Existing dialogue systems (Madotto, Wu, and Fung 2018; Wei et al. 2018; Li et al. 2017) mostly rely on data-driven learning and cannot be able to encode extra expert knowledge graph. In this work, we propose an End-to-End Knowledge-routed Relational Dialogue System (KR-DS) that seamlessly incorporates rich medical knowledge graph into the topic transition in dialogue management, and makes it cooperative with natural language understanding and natural language generation. A novel Knowledge-routed Deep Q-network (KR-DQN) is introduced to manage topic transitions, which integrates a relational refinement branch for encoding relations among different symptoms and symptom-disease pairs, and a knowledge-routed graph branch for topic decision-making. Extensive experiments on a public medical dialogue dataset show our KR-DS significantly beats state-of-the-art methods (by more than 8% in diagnosis accuracy). We further show the superiority of our KR-DS on a newly collected medical dialogue system dataset, which is more challenging retaining original self-reports and conversational data between patients and doctors.


title: Optimal control for multiscale equations with rough coefficients

abstract: This paper concerns the convex optimal control problem governed by multiscale elliptic equations with arbitrarily rough $L^\infty$ coefficients, which has important applications in composite materials and geophysics. We use one of the recently developed numerical homogenization techniques, the so-called Rough Polyharmonic Splines (RPS) and its generalization (GRPS) for the efficient resolution of the elliptic operator on the coarse scale. Those methods have optimal convergence rate which do not rely on the regularity of the coefficients nor the concepts of scale-separation or ergodicity. As the iterative solution of the OCP-OPT formulation of the optimal control problem requires solving the corresponding (state and co-state) multiscale elliptic equations many times with different right hand sides, numerical homgogenization approach only requires one-time pre-computation on the fine scale and the following iterations can be done with computational cost proportional to coarse degrees of freedom. Numerical experiments are presented to validate the theoretical analysis.


title: Physical-constraints-preserving Lagrangian finite volume schemes for one- and two-dimensional special relativistic hydrodynamics

abstract: This paper studies the physical-constraints-preserving (PCP) Lagrangian finite volume schemes for one- and two-dimensional special relativistic hydrodynamic (RHD) equations. First, the PCP property (i.e. preserving the positivity of the rest-mass density and the pressure and the bound of the velocity) is proved for the first-order accurate Lagrangian scheme with the HLLC Riemann solver and forward Euler time discretization. The key is that the intermediate states in the HLLC Riemann solver are shown to be admissible or PCP when the HLLC wave speeds are estimated suitably. Then, the higher-order accurate schemes are proposed by using the high-order accurate strong stability preserving (SSP) time discretizations and the scaling PCP limiter as well as the WENO reconstruction. Finally, several one- and two-dimensional numerical experiments are conducted to demonstrate the accuracy and the effectiveness of the PCP Lagrangian schemes in solving the special RHD problems involving strong discontinuities, or large Lorentz factor, or low rest-mass density or low pressure etc.


title: A new strategy for directly calculating the minimum eigenvector of matrices without diagonalization

abstract: The diagonalization of matrices may be the top priority in the application of modern physics. In this paper, we numerically demonstrate that, for real symmetric random matrices with non-positive off-diagonal elements, a universal scaling between the eigenvector and matrix elements exists. Namely, each element of the eigenvector of ground states linearly correlates with the sum of matrix elements in the corresponding row. Although the conclusion is obtained based on the random matrices, the linear relationship still keeps for regular matrices, in which off-diagonal elements are non-positive. The relationship implies a straightforward method to directly calculate the eigenvector of ground states for a kind of matrices. The test on both Hubbard and Ising models shows that, this new method works excellently.


title: Deformation limit and bimeromorphic embedding of Moishezon manifolds

abstract: Let $\pi: \mathcal{X}\rightarrow \Delta$ be a holomorphic family of compact complex manifolds over an open disk in $\mathbb{C}$. If the fiber $\pi^{-1}(t)$ for each nonzero $t$ in an uncountable subset $B$ of $\Delta$ is Moishezon and the reference fiber $X_0$ satisfies the local deformation invariance for Hodge number of type $(0,1)$ or admits a strongly Gauduchon metric introduced by D. Popovici, then $X_0$ is still Moishezon. We also obtain a bimeromorphic embedding $\mathcal{X}\dashrightarrow\mathbb{P}^N\times\Delta$. Our proof can be regarded as a new, algebraic proof of several results in this direction proposed and proved by Popovici in 2009, 2010 and 2013. However, our assumption with $0$ not necessarily being a limit point of $B$ and the bimeromorphic embedding are new. Our strategy of proof lies in constructing a global holomorphic line bundle over the total space of the holomorphic family and studying the bimeromorphic geometry of $\pi:\mathcal{X}\rightarrow \Delta$. S.-T. Yau's solutions to certain degenerate Monge--Amp\`ere equations are used.


title: On Multiterminal Communication over MIMO Channels with One-bit ADCs at the Receivers

abstract: The fundamental limits of communication over multiple-input multiple-output (MIMO) networks are considered when a limited number of one-bit analog to digital converters (ADC) are used at the receiver terminals. Prior works have mainly focused on point-to-point communications, where receiver architectures consisting of a concatenation of an analog processing module, a limited number of one-bit ADCs with non-adaptive thresholds, and a digital processing module are considered. In this work, a new receiver architecture is proposed which utilizes adaptive threshold one-bit ADCs - where the ADC thresholds at each channel-use are dependent on the channel outputs in the previous channel-uses - to mitigate the quantization rate-loss. Coding schemes are proposed for communication over the point-to-point and broadcast channels, and achievable rate regions are derived. In the high SNR regime, it is shown that using the proposed architectures and coding schemes leads to the largest achievable rate regions among all receiver architectures with the same number of one-bit ADCs.


title: A Convolutional Neural Network model based on Neutrosophy for Noisy Speech Recognition

abstract: Convolutional neural networks are sensitive to unknown noisy condition in the test phase and so their performance degrades for the noisy data classification task including noisy speech recognition. In this research, a new convolutional neural network (CNN) model with data uncertainty handling; referred as NCNN (Neutrosophic Convolutional Neural Network); is proposed for classification task. Here, speech signals are used as input data and their noise is modeled as uncertainty. In this task, using speech spectrogram, a definition of uncertainty is proposed in neutrosophic (NS) domain. Uncertainty is computed for each Time-frequency point of speech spectrogram as like a pixel. Therefore, uncertainty matrix with the same size of spectrogram is created in NS domain. In the next step, a two parallel paths CNN classification model is proposed. Speech spectrogram is used as input of the first path and uncertainty matrix for the second path. The outputs of two paths are combined to compute the final output of the classifier. To show the effectiveness of the proposed method, it has been compared with conventional CNN on the isolated words of Aurora2 dataset. The proposed method achieves the average accuracy of 85.96 in noisy train data. It is more robust against Car, Airport and Subway noises with accuracies 90, 88 and 81 in test sets A, B and C, respectively. Results show that the proposed method outperforms conventional CNN with the improvement of 6, 5 and 2 percentage in test set A, test set B and test sets C, respectively. It means that the proposed method is more robust against noisy data and handle these data effectively.


title: Isometry groups of generalized Stiefel manifolds

abstract: A generalized Stiefel manifold is the manifold of orthonormal frames in a vector space with a non-degenerated bilinear or hermitian form. In this article, the Isometry group of the generalized Stiefel manifolds are computed at least up to connected components in an explicit form. This is done by considering a natural non-associative algebra $\mathfrak{m}$ associated to the affine structure of the Stiefel manifold, computing explicitly the automorphism group $Aut(\mathfrak{m})$ and inducing this computation to the Isometry group.


title: Dense graphs have rigid parts

abstract: While the problem of determining whether an embedding of a graph $G$ in $\mathbb{R}^2$ is {\it infinitesimally rigid} is well understood, specifying whether a given embedding of $G$ is {\it rigid} or not is still a hard task that usually requires ad hoc arguments. In this paper, we show that {\it every} embedding (not necessarily generic) of a dense enough graph (concretely, a graph with at least $C_0n^{3/2}\log n$ edges, for some absolute constant $C_0>0$), which satisfies some very mild general position requirements (no three vertices of $G$ are embedded to a common line), must have a subframework of size at least three which is rigid. For the proof we use a connection, established in Raz [Ra], between the notion of graph rigidity and configurations of lines in $\mathbb{R}^3$. This connection allows us to use properties of line configurations established in Guth and Katz [GK2]. In fact, our proof requires an extended version of Guth and Katz result; the extension we need is proved by J\'anos Koll\'ar in an Appendix to our paper. We do not know whether our assumption on the number of edges being $\Omega(n^{3/2}\log n)$ is tight, and we provide a construction that shows that requiring $\Omega(n\log n)$ edges is necessary.


title: Predicting quantum advantage by quantum walk with convolutional neural networks

abstract: Quantum walks are at the heart of modern quantum technologies. They allow to deal with quantum transport phenomena and are an advanced tool for constructing novel quantum algorithms. Quantum walks on graphs are fundamentally different from classical random walks analogs, in particular, they walk faster than classical ones on certain graphs, enabling in these cases quantum algorithmic applications and quantum-enhanced energy transfer. However, little is known about the possible advantages on arbitrary graphs not having explicit symmetries. For these graphs one would need to perform simulations of classical and quantum walk dynamics to check if the speedup occurs, which could take a long computational time. Here we present a new approach for the solution of the quantum speedup problem, which is based on a machine learning algorithm that predicts the quantum advantage by just looking at a graph. The convolutional neural network, which we designed specifically to learn from graphs, observes simulated examples and learns complex features of graphs that lead to a quantum advantage, allowing to identify graphs that exhibit quantum advantage without performing any quantum walk or random walk simulations. The performance of our approach is evaluated for line and random graphs, where classification was always better than random guess even for the most challenging cases. Our findings pave the way to an automated elaboration of novel large-scale quantum circuits utilizing quantum walk based algorithms, and to simulating high-efficiency energy transfer in biophotonics and material science.


title: Efficiently computing runs on a trie

abstract: A maximal repetition, or run, in a string, is a maximal periodic substring whose smallest period is at most half the length of the substring. In this paper, we consider runs that correspond to a path on a trie, or in other words, on a rooted edge-labeled tree where the endpoints of the path must be a descendant/ancestor of the other. For a trie with $n$ edges, we show that the number of runs is less than $n$. We also show an asymptotic lower bound on the maximum density of runs in tries: $\lim_{n\rightarrow\infty}\rho_\mathcal{T}(n)/n \geq 0.993238$ where $\rho_{\mathcal{T}}(n)$ is the maximum number of runs in a trie with $n$ edges. Furthermore, we also show an $O(n\log \log n)$ time and $O(n)$ space algorithm for finding all runs.


title: Privacy-preserving Q-Learning with Functional Noise in Continuous State Spaces

abstract: We consider differentially private algorithms for reinforcement learning in continuous spaces, such that neighboring reward functions are indistinguishable. This protects the reward information from being exploited by methods such as inverse reinforcement learning. Existing studies that guarantee differential privacy are not extendable to infinite state spaces, as the noise level to ensure privacy will scale accordingly to infinity. Our aim is to protect the value function approximator, without regard to the number of states queried to the function. It is achieved by adding functional noise to the value function iteratively in the training. We show rigorous privacy guarantees by a series of analyses on the kernel of the noise space, the probabilistic bound of such noise samples, and the composition over the iterations. We gain insight into the utility analysis by proving the algorithm's approximate optimality when the state space is discrete. Experiments corroborate our theoretical findings and show improvement over existing approaches.


title: A discontinuous Galerkin method for approximating the stationary distribution of stochastic fluid-fluid processes

abstract: Introduced by Bean and O'Reilly (2014), a stochastic fluid-fluid process is a Markov processes $\{X_t, Y_t, \varphi_t\}_{t \geq 0}$, where the first fluid $X_t$ is driven by the Markov chain $\varphi_t$, and the second fluid $Y_t$ is driven by $\varphi_t$ as well as by $X_t$. That paper derived a closed-form expression for the joint stationary distribution, given in terms of operators acting on measures, which does not lend itself easily to numerical computations. Here, we construct a discontinuous Galerkin method for approximating this stationary distribution, and illustrate the methodology using an on-off bandwidth sharing system, which is a special case of a stochastic fluid-fluid process.


title: On the solvability of regular subgroups in the holomorph of a finite solvable group

abstract: We exhibit infinitely many natural numbers $n$ for which there exists at least one insolvable group of order $n$, and yet the holomorph of any solvable group of order $n$ has no insolvable regular subgroup. We also solve Problem 19.90 (d) in the Kourovka notebook.


title: Upper tail bounds for Stars

abstract: For r \ge 2, let X be the number of r-armed stars K_{1,r} in the binomial random graph G_{n,p}. We study the upper tail \Pr(X \ge (1+\epsilon)\E X), and establish exponential bounds which are best possible up to constant factors in the exponent (for the special case of stars K_{1,r} this solves a problem of Janson and Rucinski, and confirms a conjecture by DeMarco and Kahn). In contrast to the widely accepted standard for the upper tail problem, we do not restrict our attention to constant \epsilon, but also allow for \epsilon \ge n^{-\alpha} deviations.


title: Constraining cosmological parameters in FLRW metric with lensed GW+EM signals

abstract: We proposed a model-independent method to constrain the cosmological parameters using the Distance Sum Rule of the FLRW metric by combining the time delay distances and the comoving distances through a multi-messenger approach. The time delay distances are measured from lensed gravitational wave~(GW) signals together with their corresponding electromagnetic wave~(EM) counterpart, while the comoving distances are obtained from a parametrized fitting approach with independent supernova observations. With a series of simulations based on Einstein Telescope, Large Synoptic Survey Telescope and The Dark Energy Survey, we find that only 10 lensed GW+EM systems can achieve the constraining power comparable to and even stronger than 300 lensed quasar systems due to more precise time delay from lensed GW signals. Specifically, the cosmological parameters can be constrained to ~$k=0.01_{-0.05}^{+0.05}$ and ~$H_0=69.7_{-0.35}^{+0.35}$ (1$\sigma$). Our results show that more precise time delay measurements could provide more stringent cosmological parameter values, and lensed GW+EM systems therefore can be applied as a powerful tool in the future precision cosmology.


title: Focusing Solutions of the Vlasov-Poisson System

abstract: We study smooth, spherically-symmetric solutions to the Vlasov-Poisson system and relativistic Vlasov-Poisson system in the plasma physical case. We construct solutions that initially possess arbitrarily small C^k norms for the charge densities and the electric fields, but attain arbitrarily large L^1 norms of them at some later time.


title: Contexts in Convex and Sequential Effect Algebras

abstract: A convex sequential effect algebra (COSEA) is an algebraic system with three physically motivated operations, an orthogonal sum, a scalar product and a sequential product. The elements of a COSEA correspond to yes-no measurements and are called effects. In this work we stress the importance of contexts in a COSEA. A context is a finest sharp measurement and an effect will act differently according to the underlying context with which it is measured. Under a change of context, the possible values of an effect do not change but the way these values are obtained may be different. In this paper we discuss direct sums and the center of a COSEA. We also consider conditional probabilities and the spectra of effects. Finally, we characterize COSEA's that are isomorphic to COSEA's of positive operators on a complex Hilbert space. These result in the traditional quantum formalism. All of this work depends heavily on the concept of a context.


title: Radiative deflection by spin effect in the quantum radiation-reaction regime

abstract: The colliding between ultra-relativistic electrons and an ultra-intense laser pulse is a powerful approach to testify the physics in strong-field QED regime. By considering spin-dependent radiation-reaction during laser-electron collision we find anti-symmetric deflection of electrons with different spin states. We revealed that such deflection is induced by the non-zero work done by radiation-reaction force along field polarization-direction in a half-period of phase, which is larger for spin-anti-paralleled electrons and smaller for spin-paralleled electrons. The spin-projection on the magnetic field of an electron gets inversed in adjacent half-periods due to oscillating magnetic field and therefore the deflection due to spin-dependent radiation is accumulated rather than vanishing. The new mechanism provides an extra dimension to observe quantum radiation-reaction effect in the strong-field QED regime by measuring the anti-symmetric distribution.