title: A comparison of X-ray photon indices among the narrow and broad-line Seyfert 1 galaxies

abstract: We present a detailed comparative systematic study using a sample of 221 Narrow-line Seyfert 1 (NLSy1) galaxies in comparison to a redshift matched sample of 154 Broad-line Seyfert 1 (BLSy1) galaxies based on their observations using ROSAT and/or XMM-Newton telescopes in soft X-ray band (0.1-2.0 keV). A homogeneous analysis is carried out to estimate their soft X-ray photon indices ($\Gamma^{s}_{X}$) and its correlations with other parameters of nuclear activities such as Eddington ratios (R$_\mathrm{Edd}$), bolometric luminosities (L$_\mathrm{bol}$), black hole masses (M$_\mathrm{BH}$) and the widths of the broad component of H$\beta$ lines (FWHM(H$\beta$)). In our analysis, we found clear evidence of the difference in the $\Gamma^{s}_{X}$ and R$_\mathrm{Edd}$ distributions among NLSy1 and BLSy1 galaxies, with steeper $\Gamma^{s}_{X}$ and higher R$_\mathrm{Edd}$ for the former. Such a difference also exists in the spectral indices distribution in hard X-ray ($\Gamma^{h}_{X}$), based on the analysis of 53 NLSy1 and 46 BLSy1 galaxies in the 2-10 keV energy band. The difference in R$_\mathrm{Edd}$ distributions does exist even after applying the average correction for the difference in the inclination angle of NLSy1 and BLSy1 galaxies. We also estimated R$_\mathrm{Edd}$, based on SED fitting of 34 NLSy1 and 30 BLSy1 galaxies over the 0.3-10 keV energy band and found that results are still consistent with R$_\mathrm{Edd}$ estimates based on the optical bolometric luminosity. Our analysis suggests that the higher R$_\mathrm{Edd}$ in NLSy1 is responsible for its steeper X-ray spectral slope compared to the BLSy1, consistent with the disc-corona model as proposed for the luminous AGNs.


title: A space-fractional cable equation for the propagation of action potentials in myelinated neurons

abstract: Myelinated neurons are characterized by the presence of myelin, a multilaminated wrapping around the axons formed by specialized neuroglial cells. Myelin acts as an electrical insulator and therefore, in myelinated neurons, the action potentials do not propagate within the axons but happen only at the nodes of Ranvier which are gaps in the axonal myelination. Recent advancements in brain science have shown that the shapes, timings, and propagation speeds of these so-called saltatory action potentials are controlled by various biochemical interactions among neurons, glial cells, and the extracellular space. Given the complexity of brain's structure and processes, the work hypothesis made in this paper is that non-local effects are involved in the optimal propagation of action potentials. A space-fractional cable equation for the action potentials propagation in myelinated neurons is proposed that involves spatial derivatives of fractional order. The effects of non-locality on the distribution of the membrane potential are investigated using numerical simulations.


title: Electromagnetic theory of Helicoidal Dichroism in reflection from magnetic structures

abstract: We present the classical electromagnetic theory framework of reflection of a light beam carrying Orbital Angular Momentum (OAM) by an in-plane magnetic structure with generic symmetry. Depending on the magnetization symmetry, we find a change in the OAM content of the reflected beam due to magneto-optic interaction and an asymmetric far-field intensity profile. This leads to three types of Magnetic Helicoidal Dichroism (MHD), observed when switching the OAM of the incoming beam, the magnetization sign, or both. In cases of sufficient symmetries, we establish analytical formulas which link an experimentally accessible MHD signal up to $10\%$ to the Magneto-Optical Kerr Effect (MOKE) constants. Magnetic vortices are particularly enlightening and promising targets, for which we explore the implications of our theory in the joint publication XX XXX XXXXXX.


title: Vacuum Decay Induced by Quantum Fluctuations

abstract: We treat the effects of quantum field fluctuations on the decay of a meta-stable state of a self-coupled scalar field. We consider two varieties of field fluctuations and their potential effects in a semiclassical description. The first are the fluctuations of the time derivative a free massive scalar field operator, which has been averaged over finite regions of space and time. These fluctuations obey a Gaussian probability distribution. A sufficiently large fluctuation is assumed to produce an effect analogous to a classical initial field velocity, which can cause a finite region to fly over the barrier separating the meta-stable state from the stable vacuum state. Here we find a contribution to the decay rate which is comparable to the decay rate by quantum tunneling, as computed in an instanton approximation. This result is consistent with those of other authors. We next consider the effects of the fluctuations of operators which are quadratic in the time derivative of the free scalar field. The quadratic operator is also averaged over finite regions of space and of time. Now the probability distribution for the averaged operator falls more slowly than an exponential function, allowing for the possibility of very large fluctuations. We find a contribution to the decay rate which is much larger than those coming from either quantum tunneling or linear field fluctuations, and hence appears to be the dominant decay mechanism.


title: North Atlantic Right Whales Up-call Detection Using Multimodel Deep Learning

abstract: A new method for North Atlantic Right Whales (NARW) up-call detection using Multimodel Deep Learning (MMDL) is presented in this paper. In this approach, signals from passive acoustic sensors are first converted to spectrogram and scalogram images, which are time-frequency representations of the signals. These images are in turn used to train an MMDL detec-tor, consisting of Convolutional Neural Networks (CNNs) and Stacked Auto Encoders (SAEs). Our experimental studies revealed that CNNs work better with spectrograms and SAEs with sca-lograms. Therefore in our experimental design, the CNNs are trained by using spectrogram im-ages, and the SAEs are trained by using scalogram images. A fusion mechanism is used to fuse the results from individual neural networks. In this paper, the results obtained from the MMDL detector are compared with those obtained from conventional machine learning algorithms trained with handcraft features. It is shown that the performance of the MMDL detector is sig-nificantly better than those of the representative conventional machine learning methods in terms of up-call detection rate, non-up-call detection rate, and false alarm rate.


title: DiscretizationNet: A Machine-Learning based solver for Navier-Stokes Equations using Finite Volume Discretization

abstract: Over the last few decades, existing Partial Differential Equation (PDE) solvers have demonstrated a tremendous success in solving complex, non-linear PDEs. Although accurate, these PDE solvers are computationally costly. With the advances in Machine Learning (ML) technologies, there has been a significant increase in the research of using ML to solve PDEs. The goal of this work is to develop an ML-based PDE solver, that couples important characteristics of existing PDE solvers with ML technologies. The two solver characteristics that have been adopted in this work are: 1) the use of discretization-based schemes to approximate spatio-temporal partial derivatives and 2) the use of iterative algorithms to solve linearized PDEs in their discrete form. In the presence of highly non-linear, coupled PDE solutions, these strategies can be very important in achieving good accuracy, better stability and faster convergence. Our ML-solver, DiscretizationNet, employs a generative CNN-based encoder-decoder model with PDE variables as both input and output features. During training, the discretization schemes are implemented inside the computational graph to enable faster GPU computation of PDE residuals, which are used to update network weights that result into converged solutions. A novel iterative capability is implemented during the network training to improve the stability and convergence of the ML-solver. The ML-Solver is demonstrated to solve the steady, incompressible Navier-Stokes equations in 3-D for several cases such as, lid-driven cavity, flow past a cylinder and conjugate heat transfer.


title: Action Governor for Discrete-Time Linear Systems with Non-Convex Constraints

abstract: This paper introduces an add-on, supervisory scheme, referred to as Action Governor (AG), for discrete-time linear systems to enforce exclusion-zone avoidance requirements. It does so by monitoring, and minimally modifying when necessary, the nominal control signal to a constraint-admissible one. The AG operates based on set-theoretic techniques and online optimization. This paper establishes its theoretical foundation, discusses its computational realization, and uses two simulation examples to illustrate its effectiveness.


title: On algebraic properties of matroid polytopes

abstract: A toric variety is constructed from a lattice polytope. It is common in algebraic combinatorics to carry this way a notion of an algebraic property from the variety to the polytope. From the combinatorial point of view, one of the most interesting constructions of toric varieties comes from the base polytope of a matroid. Matroid base polytopes and independence polytopes are Cohen--Macaulay. We study two natural stronger algebraic properties -- Gorenstein and smooth. We provide a full classifications of matroids whose independence polytope or base polytope is smooth or Gorenstein. The latter answers to a question raised by Herzog and Hibi.


title: Additively manufactured hybrid anisotropic pentamode metamaterials

abstract: Pentamode metamaterials are a type of extremal designer metamaterials which are able to demonstrate high rigidity in one direction and extremely high compliance in other directions. Pentamodes can, therefore, be considered as building blocks of exotic materials with any arbitrarily selected thermodynamically admissible elasticity tensor. The pentamode lattices can then be envisioned to be combined to construct intermediate extremal materials such as quadramodes, trimodes, and bimodes. In this study, we constructed several primary types of anisotropic pentamode lattices (with midpoint positioning of 10%, 15%, 20%, 25%, 30%, 35%, and 42% of the main unit cell diagonal) and then combined them mutually to explore the dependence of elastic properties of hybrid pentamodes on those of individual constructing lattices. Several anisotropic individual and hybrid pentamode lattice structures were produced using MultiJet Additive Manufacturing technique and then mechanically tested under compression. Finite element models were also created using COMSOL Multiphysics package. Two-component hybrid pentamode lattices composed of individual lattices with extensively different (as large as of 2 order of magnitudes) FOM ratios were constructed and analysed. It was demonstrated that it is possible to design and construct composite intermediate extremal materials with arbitrary eigen values in the elastic tensor. It is concluded that the elastic E, shear G, and bulk moduli B of the hybrid structure are the superpositions of the corresponding moduli of the individual lattice structures. The Poisson's ratio of the hybrid pentamode structure equals that of individual structure with higher Poisson's ratio. The yield stress of the hybrid pentamode lattice structure depends on the elastic moduli of the constructing lattice structures as well as yield stress of the weaker lattice structure.


title: Bayesian biclustering for microbial metagenomic sequencing data via multinomial matrix factorization

abstract: High-throughput sequencing technology provides unprecedented opportunities to quantitatively explore human gut microbiome and its relation to diseases. Microbiome data are compositional, sparse, noisy, and heterogeneous, which pose serious challenges for statistical modeling. We propose an identifiable Bayesian multinomial matrix factorization model to infer overlapping clusters on both microbes and hosts. The proposed method represents the observed over-dispersed zero-inflated count matrix as Dirichlet-multinomial mixtures on which latent cluster structures are built hierarchically. Under the Bayesian framework, the number of clusters is automatically determined and available information from a taxonomic rank tree of microbes is naturally incorporated, which greatly improves the interpretability of our findings. We demonstrate the utility of the proposed approach by comparing to alternative methods in simulations. An application to a human gut microbiome dataset involving patients with inflammatory bowel disease reveals interesting clusters, which contain bacteria families Bacteroidaceae, Bifidobacteriaceae, Enterobacteriaceae, Fusobacteriaceae, Lachnospiraceae, Ruminococcaceae, Pasteurellaceae, and Porphyromonadaceae that are known to be related to the inflammatory bowel disease and its subtypes according to biological literature. Our findings can help generate potential hypotheses for future investigation of the heterogeneity of the human gut microbiome.


title: Thermodynamical Interpretation of the Second Law for Cosmology

abstract: The area of a future holographic screen increases monotonically. Associating this area with entropy results in a generalized second law for Cosmology (GSLC). Unlike black hole horizons, screens relevant to Cosmology have no thermodynamical interpretation. We suggest relating the entropy of the screens to spacetime degrees of freedom surface density derived from a (seemingly) phase space. This construction enables us to identify the entropy of any holographic screen as the entropy detected by accelerating observers due to their acceleration. Using Unruh's temperature and the equivalence principle, this gives the holographic screens' temperature and yields a thermodynamical interpretation of the GSLC.


title: Not So Fast: Understanding and Mitigating Negative Impacts of Compiler Optimizations on Code Reuse Gadget Sets

abstract: Despite extensive testing and correctness certification of their functional semantics, a number of compiler optimizations have been shown to violate security guarantees implemented in source code. While prior work has shed light on how such optimizations may introduce semantic security weaknesses into programs, there remains a significant knowledge gap concerning the impacts of compiler optimizations on non-semantic properties with security implications. In particular, little is currently known about how code generation and optimization decisions made by the compiler affect the availability and utility of reusable code segments called gadgets required for implementing code reuse attack methods such as return-oriented programming. In this paper, we bridge this gap through a study of the impacts of compiler optimization on code reuse gadget sets. We analyze and compare 1,187 variants of 20 different benchmark programs built with two production compilers (GCC and Clang) to determine how their optimization behaviors affect the code reuse gadget sets present in program variants with respect to both quantitative and qualitative metrics. Our study exposes an important and unexpected problem; compiler optimizations introduce new gadgets at a high rate and produce code containing gadget sets that are generally more useful to an attacker than those in unoptimized code. Using differential binary analysis, we identify several undesirable behaviors at the root of this phenomenon. In turn, we propose and evaluate several strategies to mitigate these behaviors. In particular, we show that post-production binary recompilation can effectively mitigate these behaviors with negligible performance impacts, resulting in optimized code with significantly smaller and less useful gadget sets.


title: Attack-aware Security Function Chain Reordering

abstract: Attack-awareness recognizes self-awareness for security systems regarding the occurring attacks. More frequent and intense attacks on cloud and network infrastructures are pushing security systems to the limit. With the end of Moore's Law, merely scaling against these attacks is no longer economically justified. Previous works have already dealt with the adoption of Software-defined Networking and Network Function Virtualization in security systems and used both approaches to optimize performance by the intelligent placement of security functions. However, these works have not yet considered the sequence in which traffic passes through these functions. In this work, we make a case for the need to take this ordering into account by showing its impact. We then propose a reordering framework and analyze what aspects are necessary for modeling security service function chains and making decisions regarding the order based on those models. We show the impact of the order and validate our framework in an evaluation environment. The effect can extend to multiple orders of magnitude, and the framework's evaluation proves the feasibility of our concept.


title: MixingBoard: a Knowledgeable Stylized Integrated Text Generation Platform

abstract: We present MixingBoard, a platform for quickly building demos with a focus on knowledge grounded stylized text generation. We unify existing text generation algorithms in a shared codebase and further adapt earlier algorithms for constrained generation. To borrow advantages from different models, we implement strategies for cross-model integration, from the token probability level to the latent space level. An interface to external knowledge is provided via a module that retrieves on-the-fly relevant knowledge from passages on the web or any document collection. A user interface for local development, remote webpage access, and a RESTful API are provided to make it simple for users to build their own demos.


title: Flexo-induced ferroelectricity in low dimensional transition metal dichalcogenides

abstract: We developed a Landau type theory for the description of polar phenomena in low-dimensional transition metal dichalcogenides (TMDs), specifically exploring flexoelectric origin of the polarization induced by a spontaneous bending and by inversion symmetry breaking due to the interactions with substrate. We consider the appearance of the spontaneous out-of-plane polarization due to the flexoelectric coupling with the strain gradient of the spontaneous surface rippling and surface-induced piezoelectricity. Performed calculations proved that the out-of-plane spontaneous polarization, originated from flexoelectric effect in a rippled TMD, is bistable and reversible by a non-uniform electric field. In contrast, the spontaneous polarization induced by a misfit strain and symmetry-sensitive surface-induced piezoelectric coupling, cannot be reversed by an external electric field. The special attention is paid to the spectral analysis of the linear dielectric susceptibility and gain factor, which enhancement is critically important for the observation of the polar phenomena in low-dimensional TMDs by the surface-enhanced vibrational spectroscopy.


title: DEXA: Supporting Non-Expert Annotators with Dynamic Examples from Experts

abstract: The success of crowdsourcing based annotation of text corpora depends on ensuring that crowdworkers are sufficiently well-trained to perform the annotation task accurately. To that end, a frequent approach to train annotators is to provide instructions and a few example cases that demonstrate how the task should be performed (referred to as the CONTROL approach). These globally defined "task-level examples", however, (i) often only cover the common cases that are encountered during an annotation task; and (ii) require effort from crowdworkers during the annotation process to find the most relevant example for the currently annotated sample. To overcome these limitations, we propose to support workers in addition to task-level examples, also with "task-instance level" examples that are semantically similar to the currently annotated data sample (referred to as Dynamic Examples for Annotation, DEXA). Such dynamic examples can be retrieved from collections previously labeled by experts, which are usually available as gold standard dataset. We evaluate DEXA on a complex task of annotating participants, interventions, and outcomes (known as PIO) in sentences of medical studies. The dynamic examples are retrieved using BioSent2Vec, an unsupervised semantic sentence similarity method specific to the biomedical domain. Results show that (i) workers of the DEXA approach reach on average much higher agreements (Cohen's Kappa) to experts than workers of the the CONTROL approach (avg. of 0.68 to experts in DEXA vs. 0.40 in CONTROL); (ii) already three per majority voting aggregated annotations of the DEXA approach reach substantial agreements to experts of 0.78/0.75/0.69 for P/I/O (in CONTROL 0.73/0.58/0.46). Finally, (iii) we acquire explicit feedback from workers and show that in the majority of cases (avg. 72%) workers find the dynamic examples useful.


title: Multi-Objective level generator generation with Marahel

abstract: This paper introduces a new system to design constructive level generators by searching the space of constructive level generators defined by Marahel language. We use NSGA-II, a multi-objective optimization algorithm, to search for generators for three different problems (Binary, Zelda, and Sokoban). We restrict the representation to a subset of Marahel language to push the evolution to find more efficient generators. The results show that the generated generators were able to achieve good performance on most of the fitness functions over these three problems. However, on Zelda and Sokoban, they tend to depend on the initial state than modifying the map.


title: On a functional-differential equation with quasi-arithmetic mean value

abstract: In this paper we describe all differentiable functions $\varphi,\psi\colon E\to\mathbb{R}$ satisfying the functional-differential equation \begin{equation*} [\varphi(y) - \varphi(x)]\psi '\bigl(h(x,y)\bigr) = [\psi(y) - \psi(x)]\varphi '\bigl(h(x,y)\bigr), \end{equation*} for all $x,y\in E$, $x<y$, where $E \subseteq \mathbb{R}$ is a nonempty open interval, $h(\cdot,\cdot)$ is a quasi-arithmetic mean, i.e. $h(x,y)=H^{-1}(\alpha H (x)+\beta H (y))$, $x,y\in E$, for some differentiable and strictly monotone function $H\colon E \to H(E)$ and fixed $\alpha, \beta\in (0,1)$ with $\alpha+\beta=1$.


title: A socio-technical framework for digital contact tracing

abstract: In their efforts to tackle the COVID-19 crisis, decision makers are considering the development and use of smartphone applications for contact tracing. Even though these applications differ in technology and methods, there is an increasing concern about their implications for privacy and human rights. Here we propose a framework to evaluate their suitability in terms of impact on the users, employed technology and governance methods. We illustrate its usage with three applications, and with the European Data Protection Board (EDPB) guidelines, highlighting their limitations.


title: An energy-dissipative level-set method for the incompressible two-phase Navier-Stokes equations with surface tension using functional entropy variables

abstract: This paper presents the first energy-dissipative level-set method for the incompressible Navier-Stokes equations with surface tension. The methodology relies on the recently proposed concept of functional entropy variables. Discretization in space is performed with isogeometric analysis. Temporal-integration is performed with a new perturbed midpoint scheme. The fully-discrete scheme is unconditionally energy-dissipative, pointwise divergence-free and satisfies the maximum principle for the density. Numerical examples in two and three dimensions verify the energetic-stability of the methodology.


title: Uniform convergence of stochastic semigroups

abstract: For stochastic $C_0$-semigroups on $L^1$-spaces there is wealth of results that show strong convergence to an equilibrium as $t \to \infty$, given that the semigroup contains a partial integral operator. This has plenty of applications to transport equations and in mathematical biology. However, up to now partial integral operators do not play a prominent role in theorems which yield uniform convergence of the semigroup rather than only strong convergence. In this article we prove that, for irreducible stochastic semigroups, uniform convergence to an equilibrium is actually equivalent to being partially integral and uniformly mean ergodic. In addition to this Tauberian theorem, we also show that our semigroup is uniformly convergent if and only if it is partially integral and the dual semigroup satisfies a certain irreducibility condition. Our proof is based on a uniform version of a lower bound theorem of Lasota and Yorke, which we combine with various techniques from Banach lattice theory.


title: A Tutorial on Multivariate $k$-Statistics and their Computation

abstract: This document aims to provide an accessible tutorial on the unbiased estimation of multivariate cumulants, using $k$-statistics. We offer an explicit and general formula for multivariate $k$-statistics of arbitrary order. We also prove that the $k$-statistics are unbiased, using M\"obius inversion and rudimentary combinatorics. Many detailed examples are considered throughout the paper. We conclude with a discussion of $k$-statistics computation, including the challenge of time complexity, and we examine a couple of possible avenues to improve the efficiency of this computation. The purpose of this document is threefold: to provide a clear introduction to $k$-statistics without relying on specialized tools like the umbral calculus; to construct an explicit formula for $k$-statistics that might facilitate future approximations and faster algorithms; and to serve as a companion paper to our Python library PyMoments, which implements this formula.


title: Intelligent O-RAN for Beyond 5G and 6G Wireless Networks

abstract: Building on the principles of openness and intelligence, there has been a concerted global effort from the operators towards enhancing the radio access network (RAN) architecture. The objective is to build an operator-defined RAN architecture (and associated interfaces) on open hardware that provides intelligent radio control for beyond fifth generation (5G) as well as future sixth generation (6G) wireless networks. Specifically, the open-radio access network (O-RAN) alliance has been formed by merging xRAN forum and C-RAN alliance to formally define the requirements that would help achieve this objective. Owing to the importance of O-RAN in the current wireless landscape, this article provides an introduction to the concepts, principles, and requirements of the Open RAN as specified by the O-RAN alliance. In order to illustrate the role of intelligence in O-RAN, we propose an intelligent radio resource management scheme to handle traffic congestion and demonstrate its efficacy on a real-world dataset obtained from a large operator. A high-level architecture of this deployment scenario that is compliant with the O-RAN requirements is also discussed. The article concludes with key technical challenges and open problems for future research and development.


title: A formula for backward and control problems of the heat equation

abstract: (a). Using time analyticity result, we address a basic question for a nonhomogeneous backward heat equation (exact control problem) in the setting of smooth domains and compact manifolds, namely: when is essentially time independent control possible? i.e. The control function is 0 on one time interval and stationary on the other. For general $L^2$ initial values, the answer is: if and only if the full space domain is used for the control function. Also an explicit formula for the control function is found in the form of an infinite series involving the heat kernel, which converges rapidly. (b). A formal exact formula for a time dependent control function supported in a proper subdomain is also obtained via eigenfunctions of the Laplacian. The formula is rigorous on any finite dimensional space spanned by the eigenfunctions and there is no smoothness assumption on the whole domain, making partial progress on a problem on p74 \cite{Zu:1}. (c). A byproduct is an inversion formula for the heat kernel.


title: Diagnostic Needs for Wakefield Accelerator Experiments

abstract: Wakefield accelerators are under development in many laboratories worldwide. They bring the promise of a high accelerating gradient, orders of magnitude higher than current machines. The reduction in the overall length of the accelerators will pave the way to a wider use of such machines, for industrial, medical, research, and educational purposes. At the same time, all the equipment must be reduced as well, to keep the dimensions of the machine as small as possible. The two main challenges of the diagnostics for plasma accelerated electron beams are the ability to measure the 6D phase space properties with single shot techniques and the compactness to meet the requirements of a `table-top' facility.


title: The Role of Randomness and Noise in Strategic Classification

abstract: We investigate the problem of designing optimal classifiers in the strategic classification setting, where the classification is part of a game in which players can modify their features to attain a favorable classification outcome (while incurring some cost). Previously, the problem has been considered from a learning-theoretic perspective and from the algorithmic fairness perspective. Our main contributions include 1. Showing that if the objective is to maximize the efficiency of the classification process (defined as the accuracy of the outcome minus the sunk cost of the qualified players manipulating their features to gain a better outcome), then using randomized classifiers (that is, ones where the probability of a given feature vector to be accepted by the classifier is strictly between 0 and 1) is necessary. 2. Showing that in many natural cases, the imposed optimal solution (in terms of efficiency) has the structure where players never change their feature vectors (the randomized classifier is structured in a way, such that the gain in the probability of being classified as a 1 does not justify the expense of changing one's features). 3. Observing that the randomized classification is not a stable best-response from the classifier's viewpoint, and that the classifier doesn't benefit from randomized classifiers without creating instability in the system. 4. Showing that in some cases, a noisier signal leads to better equilibria outcomes -- improving both accuracy and fairness when more than one subpopulation with different feature adjustment costs are involved. This is interesting from a policy perspective, since it is hard to force institutions to stick to a particular randomized classification strategy (especially in a context of a market with multiple classifiers), but it is possible to alter the information environment to make the feature signals inherently noisier.


title: Energy and Information Management of Electric Vehicular Network: A Survey

abstract: The connected vehicle paradigm empowers vehicles with the capability to communicate with neighboring vehicles and infrastructure, shifting the role of vehicles from a transportation tool to an intelligent service platform. Meanwhile, the transportation electrification pushes forward the electric vehicle (EV) commercialization to reduce the greenhouse gas emission by petroleum combustion. The unstoppable trends of connected vehicle and EVs transform the traditional vehicular system to an electric vehicular network (EVN), a clean, mobile, and safe system. However, due to the mobility and heterogeneity of the EVN, improper management of the network could result in charging overload and data congestion. Thus, energy and information management of the EVN should be carefully studied. In this paper, we provide a comprehensive survey on the deployment and management of EVN considering all three aspects of energy flow, data communication, and computation. We first introduce the management framework of EVN. Then, research works on the EV aggregator (AG) deployment are reviewed to provide energy and information infrastructure for the EVN. Based on the deployed AGs, we present the research work review on EV scheduling that includes both charging and vehicle-to-grid (V2G) scheduling. Moreover, related works on information communication and computing are surveyed under each scenario. Finally, we discuss open research issues in the EVN.


title: Towards Characterizing COVID-19 Awareness on Twitter

abstract: The coronavirus (COVID-19) pandemic has significantly altered our lifestyles as we resort to minimize the spread through preventive measures such as social distancing and quarantine. An increasingly worrying aspect is the gap between the exponential disease spread and the delay in adopting preventive measures. This gap is attributed to the lack of awareness about the disease and its preventive measures. Nowadays, social media platforms (ie., Twitter) are frequently used to create awareness about major events, including COVID-19. In this paper, we use Twitter to characterize public awareness regarding COVID-19 by analyzing the information flow in the most affected countries. Towards that, we collect more than 46K trends and 622 Million tweets from the top twenty most affected countries to examine 1) the temporal evolution of COVID-19 related trends, 2) the volume of tweets and recurring topics in those trends, and 3) the user sentiment towards preventive measures. Our results show that countries with a lower pandemic spread generated a higher volume of trends and tweets to expedite the information flow and contribute to public awareness. We also observed that in those countries, the COVID-19 related trends were generated before the sharp increase in the number of cases, indicating a preemptive attempt to notify users about the potential threat. Finally, we noticed that in countries with a lower spread, users had a positive sentiment towards COVID-19 preventive measures. Our measurements and analysis show that effective social media usage can influence public behavior, which can be leveraged to better combat future pandemics.


title: Deuteros 2.0: Peptide-level significance testing of data from hydrogen deuterium exchange mass spectrometry

abstract: Summary: Hydrogen deuterium exchange mass spectrometry (HDX-MS) is becoming increasing routine for monitoring changes in the structural dynamics of proteins. Differential HDX-MS allows comparison of individual protein states, such as in the absence or presence of a ligand. This can be used to attribute changes in conformation to binding events, allowing the mapping of entire con-formational networks. As such, the number of necessary cross-state comparisons quickly increas-es as additional states are introduced to the system of study. There are currently very few software packages available that offer quick and informative comparison of HDX-MS datasets and even few-er which offer statistical analysis and advanced visualization. Following the feedback from our origi-nal software Deuteros, we present Deuteros 2.0 which has been redesigned from the ground up to fulfil a greater role in the HDX-MS analysis pipeline. Deuteros 2.0 features a repertoire of facilities for back exchange correction, data summarization, peptide-level statistical analysis and advanced data plotting features. Availability: Deuteros 2.0 can be downloaded from https://github.com/andymlau/Deuteros_2.0 under the Apache 2.0 license. Installation of Deuteros 2.0 requires the MATLAB Runtime Library available free of charge from MathWorks (https://www.mathworks.com/products/compiler/matlab-runtime.html) and is available for both Windows and Mac operating systems.


title: Enhancing Covid-19 Decision-Making by Creating an Assurance Case for Simulation Models

abstract: Simulation models have been informing the COVID-19 policy-making process. These models, therefore, have significant influence on risk of societal harms. But how clearly are the underlying modelling assumptions and limitations communicated so that decision-makers can readily understand them? When making claims about risk in safety-critical systems, it is common practice to produce an assurance case, which is a structured argument supported by evidence with the aim to assess how confident we should be in our risk-based decisions. We argue that any COVID-19 simulation model that is used to guide critical policy decisions would benefit from being supported with such a case to explain how, and to what extent, the evidence from the simulation can be relied on to substantiate policy conclusions. This would enable a critical review of the implicit assumptions and inherent uncertainty in modelling, and would give the overall decision-making process greater transparency and accountability.


title: Optimal Pump Control for Water Distribution Networks via Data-based Distributional Robustness

abstract: In this paper, we propose a data-based methodology to solve a multi-period stochastic optimal water flow (OWF) problem for water distribution networks (WDNs). The framework explicitly considers the pump schedule and water network head level with limited information of demand forecast errors for an extended period simulation. The objective is to determine the optimal feedback decisions of network-connected components, such as nominal pump schedules and tank head levels and reserve policies, which specify device reactions to forecast errors for accommodation of fluctuating water demand. Instead of assuming the uncertainties across the water network are generated by a prescribed certain distribution, we consider ambiguity sets of distributions centered at an empirical distribution, which is based directly on a finite training data set. We use a distance-based ambiguity set with the Wasserstein metric to quantify the distance between the real unknown data-generating distribution and the empirical distribution. This allows our multi-period OWF framework to trade off system performance and inherent sampling errors in the training dataset. Case studies on a three-tank water distribution network systematically illustrate the tradeoff between pump operational cost, risks of constraint violation, and out-of-sample performance.


title: Degenerate elliptic problem with a singular nonlinearity

abstract: In this paper, we prove existence and regularity results for solutions of some nonlinear Dirichlet problems for an elliptic equation defined by a degenerate coercive operator and a singular right hand side. \begin{equation}\label{01} \left\{ \begin{array}{lll} -\displaystyle\mbox{div}( a(x,u,\nabla u))&=\displaystyle\frac{f}{u^{\gamma}} & \mbox{ in } \Omega \\ u&>0 &\mbox{ in }\Omega \\ u&=0 &\mbox{ on } \delta\Omega \end{array} \right. \end{equation} where $\Omega $ is bounded open subset of $I\!\!R^{N}(N\geq2),$ $\gamma>0$ and $ f$ is a nonnegative function that belongs to some Lebesgue space.


title: Fixed Point Semantics for Stream Reasoning

abstract: Reasoning over streams of input data is an essential part of human intelligence. During the last decade {\em stream reasoning} has emerged as a research area within the AI-community with many potential applications. In fact, the increased availability of streaming data via services like Google and Facebook has raised the need for reasoning engines coping with data that changes at high rate. Recently, the rule-based formalism {\em LARS} for non-monotonic stream reasoning under the answer set semantics has been introduced. Syntactically, LARS programs are logic programs with negation incorporating operators for temporal reasoning, most notably {\em window operators} for selecting relevant time points. Unfortunately, by preselecting {\em fixed} intervals for the semantic evaluation of programs, the rigid semantics of LARS programs is not flexible enough to {\em constructively} cope with rapidly changing data dependencies. Moreover, we show that defining the answer set semantics of LARS in terms of FLP reducts leads to undesirable circular justifications similar to other ASP extensions. This paper fixes all of the aforementioned shortcomings of LARS. More precisely, we contribute to the foundations of stream reasoning by providing an operational fixed point semantics for a fully flexible variant of LARS and we show that our semantics is sound and constructive in the sense that answer sets are derivable bottom-up and free of circular justifications.


title: Low-Complexity Vector Quantized Compressed Sensing via Deep Neural Networks

abstract: Sparse signals, encountered in many wireless and signal acquisition applications, can be acquired via compressed sensing (CS) to reduce computations and transmissions, crucial for resource-limited devices, e.g., wireless sensors. Since the information signals are often continuous-valued, digital communication of compressive measurements requires quantization. In such a quantized compressed sensing (QCS) context, we address remote acquisition of a sparse source through vector quantized noisy compressive measurements. We propose a deep encoder-decoder architecture, consisting of an encoder deep neural network (DNN), a quantizer, and a decoder DNN, that realizes low-complexity vector quantization aiming at minimizing the mean-square error of the signal reconstruction for a given quantization rate. We devise a supervised learning method using stochastic gradient descent and backpropagation to train the system blocks. Strategies to overcome the vanishing gradient problem are proposed. Simulation results show that the proposed non-iterative DNN-based QCS method achieves higher rate-distortion performance with lower algorithm complexity as compared to standard QCS methods, conducive to delay-sensitive applications with large-scale signals.


title: Failure of confined granular media due to pullout of an intruder: From force networks to a system wide response

abstract: We investigate computationally the pullout of a spherical intruder initially buried at the bottom of a granular column. The intruder starts to move out of the granular bed once the pulling force reaches a critical value, leading to material failure. The failure point is found to depend on the diameter of the granular column, pointing out the importance of particle-wall interaction in determining the material response. Discrete element simulations show that prior to failure, the contact network is essentially static, with only minor rearrangements of the particles. However, the force network, which includes not only the contact information, but also the information about the interaction strength, undergoes a nontrivial evolution. An initial insight is reached by considering the relative magnitudes of normal and tangential forces between the particles, and in particular the proportion of contacts that reach Coulomb threshold. More detailed understanding of the processes leading to failure is reached by the analysis of both spatial and temporal properties of the force network using the tools of persistent homology. We find that the forces between the particles undergo intermittent temporal variations ahead of the failure. In addition to this temporal intermittency, the response of the force network is found to be spatially dependent and influenced by proximity to the intruder. Furthermore, the response is modified significantly by the interaction strength, with the relevant measures describing the response showing differing behavior for the contacts characterized by large interaction forces.


title: Spectral theory of the frame flow on hyperbolic 3-manifolds (with an appendix by Charles Hadfield)

abstract: We study the spectral theory and the resolvent of the vector field generating the frame flow of closed hyperbolic 3-dimensional manifolds on some family of anisotropic Sobolev spaces. We show the existence of a spectral gap and prove resolvent estimates using semiclassical methods.


title: A symmetry principle for emergent spacetime

abstract: There are many examples where geometry and gravity are concepts that emerge from a theory of quantum mechanics without gravity. This suggests thinking of gravity as an exotic phase of matter. Quantifying this phase in the Landau paradigm requires some sort of symmetry principle or order parameter that captures its appearance. In this essay we propose higher-form symmetries as a symmetry principle underlying emergent spacetime. We explore higher-form symmetries in gauge-gravity duality and explain how their breaking describes features of a gravitational theory. Such symmetries imply the existence of nonlocal objects in the gravitational theory -- in gauge-gravity duality these are the strings and branes of the bulk theory -- giving an alternative way to understand the nonlocality necessary in any ultraviolet completion of gravity.


title: Beam Diagnostic Requirements: an Overview

abstract: Beam diagnostics and instrumentation are an essential part of any kind of accelerator. There is a large variety of parameters to be measured for observation of particle beams with the precision required to tune, operate, and improve the machine. In the first part, the basic mechanisms of information transfer from the beam particles to the detector are described in order to derive suitable performance characteristics for the beam properties. However, depending on the type of accelerator, for the same parameter, the working principle of a monitor may strongly differ, and related to it also the requirements for accuracy. Therefore, in the second part, selected types of accelerators are described in order to illustrate specific diagnostics needs which must be taken into account before designing a related instrument.


title: Sorting probability for large Young diagrams

abstract: For a finite poset $P=(X,\prec)$, let $\mathcal{L}_P$ denote the set of linear extensions of $P$. The sorting probability $\delta(P)$ is defined as \[\delta(P) \, := \, \min_{x,y\in X} \, \bigl| \mathbf{P} \, [L(x)\leq L(y) ] \ - \ \mathbf{P} \, [L(y)\leq L(x) ] \bigr|\,, \] where $L \in \mathcal{L}_P$ is a uniform linear extension of $P$. We give asymptotic upper bounds on sorting probabilities for posets associated with large Young diagrams and large skew Young diagrams, with bounded number of rows.


title: The Online Multi-Commodity Facility Location Problem

abstract: We consider a natural extension to the metric uncapacitated Facility Location Problem (FLP) in which requests ask for different commodities out of a finite set $S$ of commodities. Ravi and Sinha (SODA'04) introduced the model as the Multi-Commodity Facility Location Problem (MFLP) and considered it an offline optimization problem. The model itself is similar to the FLP: i.e., requests are located at points of a finite metric space and the task of an algorithm is to construct facilities and assign requests to facilities while minimizing the construction cost and the sum over all assignment distances. In addition, requests and facilities are heterogeneous; they request or offer multiple commodities out of $S$. A request has to be connected to a set of facilities jointly offering the commodities demanded by it. In comparison to the FLP, an algorithm has to decide not only if and where to place facilities, but also which commodities to offer at each. To the best of our knowledge we are the first to study the problem in its online variant in which requests, their positions and their commodities are not known beforehand but revealed over time. We present results regarding the competitive ratio. On the one hand, we show that heterogeneity influences the competitive ratio by developing a lower bound on the competitive ratio for any randomized online algorithm of $\Omega(\sqrt{|S|}+\frac{\log n}{\log\log n})$ that already holds for simple line metrics. Here, $n$ is the number of requests. On the other side, we establish a deterministic $O(\sqrt{|S|}\cdot\log n)$-competitive algorithm and a randomized $O(\sqrt{|S|}\cdot\frac{\log n}{\log\log n})$-competitive algorithm. Further, we show that when considering a more special class of cost functions for the construction cost of a facility, the competitive ratio decreases given by our deterministic algorithm depending on the function.


abstract: Autoregressive Predictive Coding (APC), as a self-supervised objective, has enjoyed success in learning representations from large amounts of unlabeled data, and the learned representations are rich for many downstream tasks. However, the connection between low self-supervised loss and strong performance in downstream tasks remains unclear. In this work, we propose Vector-Quantized Autoregressive Predictive Coding (VQ-APC), a novel model that produces quantized representations, allowing us to explicitly control the amount of information encoded in the representations. By studying a sequence of increasingly limited models, we reveal the constituents of the learned representations. In particular, we confirm the presence of information with probing tasks, while showing the absence of information with mutual information, uncovering the model's preference in preserving speech information as its capacity becomes constrained. We find that there exists a point where phonetic and speaker information are amplified to maximize a self-supervised objective. As a byproduct, the learned codes for a particular model capacity correspond well to English phones.


title: Capturing Software Architecture Knowledge for Pattern-Driven Design

abstract: Context: Software architecture is a knowledge-intensive field. One mechanism for storing architecture knowledge is the recognition and description of architectural patterns. Selecting architectural patterns is a challenging task for software architects, as knowledge about these patterns is scattered among a wide range of literature. Method: We report on a systematic literature review, with the aim of building a decision model for the architectural pattern selection problem. Moreover, twelve experienced practitioners at software-producing organizations evaluated the usability and usefulness of the extracted knowledge.\newline Results: An overview is provided of 29 patterns and their effects on 40 quality attributes. Furthermore, we report in which systems the 29 patterns are applied and in which combinations. The practitioners confirmed that architectural knowledge supports software architects with their decision-making process to select a set of patterns for a new problem. We investigate the potential trends among architects to select patterns. Conclusion: With the knowledge available, architects can more rapidly select and eliminate combinations of patterns to design solutions. Having this knowledge readily available supports software architects in making more efficient and effective design decisions that meet their quality concerns.


title: UAV-Aided Multi-Way NOMA Networks with Residual Hardware Impairments

abstract: In this paper, we study an unmanned aerial vehicle (UAV)-aided non-orthogonal multiple access (NOMA) multi-way relaying networks (MWRNs). Multiple terrestrial users aim to exchange their mutual information via an amplify-and-forward (AF) UAV relay. Specifically, the realistic assumption of the residual hardware impairments (RHIs) at the transceivers is taken into account. To evaluate the performance of the considered networks, we derive the analytical expressions for the achievable sum-rate (ASR). In addition, we carry out the asymptotic analysis by invoking the affine expansion of the ASR in terms of \emph{high signal-to-noise ratio (SNR) slope} and \emph{high SNR power offset}. Numerical results show that: 1) Compared with orthogonal multiple access (OMA), the proposed networks can significantly improve the ASR since it can reduce the time slots from $\left[ {\left( {M - 1} \right)/2} \right] + 1$ to 2; and 2) RHIs of both transmitter and receiver have the same effects on the ASR of the considered networks.


title: Impact studies of nationwide measures COVID-19 anti-pandemic: compartmental model and machine learning

abstract: In this paper, we deal with the study of the impact of nationwide measures COVID-19 anti-pandemic. We drive two processes to analyze COVID-19 data considering measures. We associate level of nationwide measure with value of parameters related to the contact rate of the model. Then a parametric solve, with respect to those parameters of measures, shows different possibilities of the evolution of the pandemic. Two machine learning tools are used to forecast the evolution of the pandemic. Finally, we show comparison between deterministic and two machine learning tools.


title: A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper

abstract: We introduce dependently typed Proto-Quipper, or Proto-Quipper-D for short, an experimental quantum circuit programming language with linear dependent types. We give several examples to illustrate how linear dependent types can help in the construction of correct quantum circuits. Specifically, we show how dependent types enable programming families of circuits, and how dependent types solve the problem of type-safe uncomputation of garbage qubits. We also discuss other language features along the way.


title: Berry-Ess\'een bound for drift estimation of fractional Ornstein Uhlenbeck process of second kind

abstract: In the present paper we consider the Ornstein-Uhlenbeck process of the second kind defined as solution to the equation $dX_{t} = -\alpha X_{t}dt+dY_{t}^{(1)}, \ \ X_{0}=0$, where $Y_{t}^{(1)}:=\int_{0}^{t}e^{-s}dB^H_{a_{s}}$ with $a_{t}=He^{\frac{t}{H}}$, and $B^H$ is a fractional Brownian motion with Hurst parameter $H\in(\frac12,1)$, whereas $\alpha>0$ is unknown parameter to be estimated. We obtain the upper bound $O(1/\sqrt{T})$ in Kolmogorov distance for normal approximation of the least squares estimator of the drift parameter $\alpha$ on the basis of the continuous observation $\{X_t,t\in[0,T]\}$, as $T\rightarrow\infty$. Our method is based on the work of \cite{kp-JVA}, which is proved using a combination of Malliavin calculus and Stein's method for normal approximation.


title: Permutation orbifolds of Virasoro vertex algebras and $W$-algebras

abstract: We study permutation orbifolds of the $2$-fold and $3$-fold tensor product for the Virasoro vertex algebra $\mathcal{V}_c$ of central charge $c$. In particular, we show that for all but finitely many central charges $\left(\mathcal{V}_c^{\otimes 3}\right)^{\mathbb{Z}_3}$ is a $W$-algebra of type $(2, 4, 5, 6^3 , 7, 8^3 , 9^3 , 10^2 )$. We also study orbifolds of their simple quotients and obtain new realizations of certain rational affine $W$-algebras associated to a principal nilpotent element. Further analysis of permutation orbifolds of the celebrated $(2,5)$-minimal vertex algebra $\mathcal{L}_{-\frac{22}{5}}$ is presented.


title: T-VSE: Transformer-Based Visual Semantic Embedding

abstract: Transformer models have recently achieved impressive performance on NLP tasks, owing to new algorithms for self-supervised pre-training on very large text corpora. In contrast, recent literature suggests that simple average word models outperform more complicated language models, e.g., RNNs and Transformers, on cross-modal image/text search tasks on standard benchmarks, like MS COCO. In this paper, we show that dataset scale and training strategy are critical and demonstrate that transformer-based cross-modal embeddings outperform word average and RNN-based embeddings by a large margin, when trained on a large dataset of e-commerce product image-title pairs.


title: Content analysis of Persian/Farsi Tweets during COVID-19 pandemic in Iran using NLP

abstract: Iran, along with China, South Korea, and Italy was among the countries that were hit hard in the first wave of the COVID-19 spread. Twitter is one of the widely-used online platforms by Iranians inside and abroad for sharing their opinion, thoughts, and feelings about a wide range of issues. In this study, using more than 530,000 original tweets in Persian/Farsi on COVID-19, we analyzed the topics discussed among users, who are mainly Iranians, to gauge and track the response to the pandemic and how it evolved over time. We applied a combination of manual annotation of a random sample of tweets and topic modeling tools to classify the contents and frequency of each category of topics. We identified the top 25 topics among which living experience under home quarantine emerged as a major talking point. We additionally categorized broader content of tweets that shows satire, followed by news, is the dominant tweet type among the Iranian users. While this framework and methodology can be used to track public response to ongoing developments related to COVID-19, a generalization of this framework can become a useful framework to gauge Iranian public reaction to ongoing policy measures or events locally and internationally.


title: Evasive subspaces

abstract: Let $V$ denote an $r$-dimensional vector space over $\mathbb{F}_{q^n}$, the finite field of $q^n$ elements. Then $V$ is also an $rn$-dimension vector space over $\mathbb{F}_q$. An $\mathbb{F}_q$-subspace $U$ of $V$ is $(h,k)_q$-evasive if it meets the $h$-dimensional $\mathbb{F}_{q^n}$-subspaces of $V$ in $\mathbb{F}_q$-subspaces of dimension at most $k$. The $(1,1)_q$-evasive subspaces are known as scattered and they have been intensively studied in finite geometry, their maximum size has been proved to be $\lfloor rn/2 \rfloor$ when $rn$ is even or $n=3$. We investigate the maximum size of $(h,k)_q$-evasive subspaces, study two duality relations among them and provide various constructions. In particular, we present the first examples, for infinitely many values of $q$, of maximum scattered subspaces when $r=3$ and $n=5$. We obtain these examples in characteristics $2$, $3$ and $5$.


title: Hyperbolic cylinders and entanglement entropy: gravitons, higher spins, $p$-forms

abstract: We show that the entanglement entropy of $D=4$ linearized gravitons across a sphere recently computed by Benedetti and Casini coincides with that obtained using the Kaluza-Klein tower of traceless transverse massive spin-2 fields on $S^1\times AdS_3$. The mass of the constant mode on $S^1$ saturates the Brietenholer-Freedman bound in $AdS_3$. This condition also ensures that the entanglement entropy of higher spins determined from partition functions on the hyperbolic cylinder coincides with their recent conjecture. Starting from the action of the 2-form on $S^1\times AdS_5$ and fixing gauge, we evaluate the entanglement entropy across a sphere as well as the dimensions of the corresponding twist operator. We demonstrate that the conformal dimensions of the corresponding twist operator agrees with that obtained using the expectation value of the stress tensor on the replica cone. For conformal $p$-forms in even dimensions it obeys the expected relations with the coefficients determining the $3$-point function of the stress tensor of these fields.


title: Deriving approximate functionals with asymptotics

abstract: Modern density functional approximations achieve moderate accuracy at low computational cost for many electronic structure calculations. Some background is given relating the gradient expansion of density functional theory to the WKB expansion in one dimension, and modern approaches to asymptotic expansions. A mathematical framework for analyzing asymptotic behavior for the sums of energies unites both corrections to the gradient expansion of DFT and hyperasymptotics of sums. Simple examples are given for the model problem of orbital-free DFT in one dimension. In some cases, errors can be made as small as 10$^{-32}$ Hartree suggesting that, if these new ingredients can be applied, they might produce approximate functionals that are much more accurate than those in current use. A variation of the Euler-Maclaurin formula generalizes previous results.

categories: physics.chem-ph cond-mat.mtrl-sci math-ph math.MP physics.atom-ph


title: Fluid and Thermal Dynamical Analysis of Three-Dimensional Spin-Exchange Optical Pumping Cells

abstract: We present a finite-element analysis of the fluid dynamics, thermal dynamics, and alkali diffusion in a common cell geometry used for spin-exchange optical pumping of $^{129}$Xe using a flow-through polarizer design. The analysis is the first to simulate aspects of the laser run-away effect observed in some optical pumping cells. The analysis further suggests that high-temperature gas in the outlet tube may give rise to rapid depolarization due to high concentrations of alkali vapor. Finally, the analysis indicates that the alkali number density distribution and the specifics of the dynamics are highly dependent upon the the distribution of the alkali metal in the optical pumping portion and outlet tube of the cell.


title: Quantum hybrid optomechanical inertial sensing

abstract: We discuss the design of quantum hybrid inertial sensor that combines an optomechanical inertial sensor with the retro-reflector of a cold atom interferometer. This sensor fusion approach provides absolute and high accuracy measurements with cold atom interferometers, while utilizing the optomechanical inertial sensor at frequencies above the repetition rate of the atom interferometer. This improves the overall measurement bandwidth as well as the robustness and field deployment capabilities of these systems. We evaluate which parameters yield an optimal acceleration sensitivity, from which we anticipate a noise floor at nano-g levels from DC to 1 kHz.

categories: quant-ph physics.atom-ph physics.ins-det physics.optics


title: The Einstein - de Haas effect at radio frequencies in and near magnetic equilibrium

abstract: The Einstein-de Haas (EdH) effect and its reciprocal the Barnett effect are fundamental to magnetism and uniquely yield measures of the ratio of magnetic moment to total angular momentum. These effects, small and generally difficult to observe, are enjoying a resurgence of interest as contemporary techniques enable new approaches to their study. The high mechanical resonance frequencies in nanomechanical systems offer a tremendous advantage for the observation of EdH torques in particular. At radio frequencies, the EdH effect can become comparable to or even exceed in magnitude conventional cross-product magnetic torques. In addition, the RF-EdH torque is expected to be phase-shifted by 90 degrees relative to cross-product torques, provided the magnetic system remains in quasi-static equilibrium, enabling separation in quadratures when both sources of torque are operative. Radio frequency EdH measurements are demonstrated through the full hysteresis range of micrometer scale, monocrystalline yttrium iron garnet (YIG) disks. Equilibrium behavior is observed in the vortex state at low bias field. Barkhausen-like features emerge in the in-plane EdH torque at higher fields in the vortex state, revealing magnetic disorder too weak to be visible through the in-plane cross-product torque. Beyond vortex annihilation, peaks arise in the EdH torque versus bias field, and these together with their phase signatures indicate additional utility of the Einstein-de Haas effect for the study of RF-driven spin dynamics.


title: Band Alignments of Emerging Wurtzite BAlN and BGaN Semiconductors

abstract: The wurtzite III-Nitrides family of semiconductors, which include the compounds GaN, InN, and AlN, along with their derivative ternary alloys, is highly priced for its wide range of bandgaps, lattice constant tunability, high breakdown voltages, and thermal and chemical stability. The incorporation of wurtzite BxAl1-xN and BxGa1-xN ternary alloys into this family introduces an even larger range of bandgaps, lattice constants, and refractive indices, which indicates their potential in the fields of optoelectronics and power devices. An important parameter in the design of cutting edge devices is the band alignment between the different alloys. In our work, the natural band offset values between wz-BxAl1-xN and wz-BxGa1-xN alloys were investigated using ab initio simulations. The Vienna Ab initio Simulation Package was used to perform density functional theory calculations in order to obtain lattice parameters, band gap energies, and relative electrostatic potential lineups. Through these calculations, we were able to quantify the natural band offset values for the materials of interest, and as such were able to identify some general qualitative features associated with the different alloys we studied. As the growth and fabrication of wz-BAlN and wz-BGaN crystals matures, we hope that our results can provide a theoretical basis for design and analysis of cutting-edge devices.


title: Searching for lepton flavor violating decays tau to Pl in Minimal R-symmetric Supersymmetric Standard Model

abstract: We analyze the lepton flavor violating decays $\tau\rightarrow Pl$ ($P=\pi,\eta,\eta';\;l=e,\mu$) in the scenario of the minimal R-symmetric supersymmetric standard model. The prediction on the branching ratios BR$(\tau\rightarrow P e)$ and BR$(\tau\rightarrow P \mu)$ is affected by the mass insertion parameters $\delta^{13}$ and $\delta^{23}$, respectively. These parameters are constrained by the experimental bounds on the branching ratios BR($\tau\rightarrow e (\mu) \gamma$) and BR($\tau\rightarrow 3e(\mu)$). The result shows $Z$ penguin dominates the prediction on BR($\tau\rightarrow Pl$) in a large region of the parameter space. The branching ratios for BR($\tau\rightarrow Pl$) are predicted to be, at least, five orders of magnitude smaller than present experimental bounds and three orders of magnitude smaller than future experimental sensitivities.


title: Symbolic Models for a Class of Impulsive Systems

abstract: Symbolic models have been used as the basis of a systematic framework to address control design of several classes of hybrid systems with sophisticated control objectives. However, results available in the literature are not concerned with impulsive systems which are an important modeling framework of many applications. In this paper, we provide an approach for constructing symbolic models for a class of impulsive systems possessing some stability properties. We formally relate impulsive systems and their symbolic models using a notion of so-called alternating simulation function. We show that behaviors of the constructed symbolic models are approximately equivalent to those of the impulsive systems. Finally, we illustrate the effectiveness of our results through a model of storage-delivery process by constructing its symbolic model and designing controllers enforcing some safety specifications.


title: Bright X-ray and Radio Pulses from a Recently Reactivated Magnetar

abstract: Magnetars are young, rotating neutron stars that possess larger magnetic fields ($B$ $\approx$ $10^{13}$-$10^{15}$ G) and longer rotational periods ($P$ $\approx$ 1-12 s) than ordinary pulsars. In contrast to rotation-powered pulsars, magnetar emission is thought to be fueled by the evolution and decay of their powerful magnetic fields. They display highly variable radio and X-ray emission, but the processes responsible for this behavior remain a mystery. We report the discovery of bright, persistent individual X-ray pulses from XTE J1810-197, a transient radio magnetar, using the Neutron star Interior Composition Explorer (NICER) following its recent radio reactivation. Similar behavior has only been previously observed from a magnetar during short time periods following a giant flare. However, the X-ray pulses presented here were detected outside of a flaring state. They are less energetic and display temporal structure that differs from the impulsive X-ray events previously observed from the magnetar class, such as giant flares and short X-ray bursts. Our high frequency radio observations of the magnetar, carried out simultaneously with the X-ray observations, demonstrate that the relative alignment between the X-ray and radio pulses varies on rotational timescales. No correlation was found between the amplitudes or temporal structure of the X-ray and radio pulses. The magnetar's 8.3 GHz radio pulses displayed frequency structure, which was not observed in the pulses detected simultaneously at 31.9 GHz. Many of the radio pulses were also not detected simultaneously at both frequencies, which indicates that the underlying emission mechanism producing these pulses is not broadband. We find that the radio pulses from XTE J1810-197 share similar characteristics to radio bursts detected from fast radio burst (FRB) sources, some of which are now thought to be produced by active magnetars.


title: Spike-Timing Dependent Plasticity Effect on the Temporal Patterning of Neural Synchronization

abstract: Neural synchrony in the brain at rest is usually variable and intermittent, thus intervals of predominantly synchronized activity are interrupted by intervals of desynchronized activity. Prior studies suggested that this temporal structure of the weakly synchronous activity might be functionally significant: many short desynchronizations may be functionally different from few long desynchronizations even if the average synchrony level is the same. In this study, we used computational neuroscience methods to investigate the effects of spike-timing dependent plasticity (STDP) on the temporal patterns of synchronization in a simple model. We employed a small network of conductance-based model neurons that were connected via excitatory plastic synapses. The dynamics of this network was subjected to the time-series analysis methods used in prior experimental studies. We found that STDP could alter the synchronized dynamics in the network in several ways, depending on the time scale that plasticity acts on. However, in general, the action of STDP in the simple network considered here is to promote dynamics with short desynchronizations (i.e. dynamics reminiscent of that observed in experimental studies). Complex interplay of the cellular and synaptic dynamics may lead to the activity-dependent adjustment of synaptic strength in such a way as to facilitate experimentally observed short desynchronizations in the intermittently synchronized neural activity.


title: Effects of filling, strain, and electric field on the N\'{e}el vector in antiferromagnetic CrSb

abstract: CrSb is a layered antiferromagnet (AFM) with perpendicular magnetic anisotropy, a high N\'{e}el temperature, and large spin-orbit coupling (SOC), which makes it interesting for AFM spintronic applications. To elucidate the various mechanisms of N\'{e}el vector control, the effects of strain, band filling, and electric field on the magnetic anisotropy energy (MAE) of bulk and thin-film CrSb are determined and analysed using density functional theory. The MAE of the bulk crystal is large (1.2 meV per unit cell). Due to the significant ionic nature of the Cr-Sb bond, finite slabs are strongly affected by end termination. Truncation of the bulk crystal to a thin film with one surface terminated with Cr and the other surface terminated with Sb breaks inversion symmetry, creates a large charge dipole and average electric field across the film, and breaks spin degeneracy, such that the thin film becomes a ferrimagnet. The MAE is reduced such that its sign can be switched with realistic strain, and the large SOC gives rise to an intrinsic voltage controlled magnetic anisotropy (VCMA). A slab terminated on both faces with Cr remains a compensated AFM, but with the compensation occurring nonlocally between mirror symmetric Cr pairs. In-plane alignment of the moments is preferred, the magnitude of the MAE remains large, similar to that of the bulk, and it is relatively insensitive to filling.


title: Learning on a Grassmann Manifold: CSI Quantization for Massive MIMO Systems

abstract: This paper focuses on the design of beamforming codebooks that maximize the average normalized beamforming gain for any underlying channel distribution. While the existing techniques use statistical channel models, we utilize a model-free data-driven approach with foundations in machine learning to generate beamforming codebooks that adapt to the surrounding propagation conditions. The key technical contribution lies in reducing the codebook design problem to an unsupervised clustering problem on a Grassmann manifold where the cluster centroids form the finite-sized beamforming codebook for the channel state information (CSI), which can be efficiently solved using K-means clustering. This approach is extended to develop a remarkably efficient procedure for designing product codebooks for full-dimension (FD) multiple-input multiple-output (MIMO) systems with uniform planar array (UPA) antennas. Simulation results demonstrate the capability of the proposed design criterion in learning the codebooks, reducing the codebook size and producing noticeably higher beamforming gains compared to the existing state-of-the-art CSI quantization techniques.


title: Unbiased MLMC stochastic gradient-based optimization of Bayesian experimental designs

abstract: In this paper we propose an efficient stochastic optimization algorithm to search for Bayesian experimental designs such that the expected information gain is maximized. The gradient of the expected information gain with respect to experimental design parameters is given by a nested expectation, for which the standard Monte Carlo method using a fixed number of inner samples yields a biased estimator. In this paper, applying the idea of randomized multilevel Monte Carlo (MLMC) methods, we introduce an unbiased Monte Carlo estimator for the gradient of the expected information gain with finite expected squared $\ell_2$-norm and finite expected computational cost per sample. Our unbiased estimator can be combined well with stochastic gradient descent algorithms, which results in our proposal of an optimization algorithm to search for an optimal Bayesian experimental design. Numerical experiments confirm that our proposed algorithm works well not only for a simple test problem but also for a more realistic pharmacokinetic problem.


title: Selective Confidence Intervals for Martingale Regression Model

abstract: In this paper we consider the problem of constructing confidence intervals for coefficients of martingale regression models (in particular, time series models) after variable selection. Although constructing confidence intervals are common practice in statistical analysis, it is challenging in our framework due to the data-dependence of the selected model and the correlation among the variables being selected and not selected. We first introduce estimators for the selected coefficients and show that it is consistent under martingale regression model, in which the observations can be dependent and the errors can be heteroskedastic. Then we use the estimators together with a resampling approach to construct confidence intervals. Our simulation results show that our approach outperforms other existing approaches in various data structures.


title: EdgeRec: Recommender System on Edge in Mobile Taobao

abstract: Recommender system (RS) has become a crucial module in most web-scale applications. Recently, most RSs are in the waterfall form based on the cloud-to-edge framework, where recommended results are transmitted to edge (e.g., user mobile) by computing in advance in the cloud server. Despite effectiveness, network bandwidth and latency between cloud server and edge may cause the delay for system feedback and user perception. Hence, real-time computing on edge could help capture user preferences more preciously and thus make more satisfactory recommendations. Our work, to our best knowledge, is the first attempt to design and implement the novel Recommender System on Edge (EdgeRec), which achieves Real-time User Perception and Real-time System Feedback. Moreover, we propose Heterogeneous User Behavior Sequence Modeling and Context-aware Reranking with Behavior Attention Networks to capture user's diverse interests and adjust recommendation results accordingly. Experimental results on both the offline evaluation and online performance in Taobao home-page feeds demonstrate the effectiveness of EdgeRec.


title: Syntax-guided Controlled Generation of Paraphrases

abstract: Given a sentence (e.g., "I like mangoes") and a constraint (e.g., sentiment flip), the goal of controlled text generation is to produce a sentence that adapts the input sentence to meet the requirements of the constraint (e.g., "I hate mangoes"). Going beyond such simple constraints, recent works have started exploring the incorporation of complex syntactic-guidance as constraints in the task of controlled paraphrase generation. In these methods, syntactic-guidance is sourced from a separate exemplar sentence. However, these prior works have only utilized limited syntactic information available in the parse tree of the exemplar sentence. We address this limitation in the paper and propose Syntax Guided Controlled Paraphraser (SGCP), an end-to-end framework for syntactic paraphrase generation. We find that SGCP can generate syntax conforming sentences while not compromising on relevance. We perform extensive automated and human evaluations over multiple real-world English language datasets to demonstrate the efficacy of SGCP over state-of-the-art baselines. To drive future research, we have made SGCP's source code available


title: Hardware implementation of Bayesian network building blocks with stochastic spintronic devices

abstract: Bayesian networks are powerful statistical models to understand causal relationships in real-world probabilistic problems such as diagnosis, forecasting, computer vision, etc. For systems that involve complex causal dependencies among many variables, the complexity of the associated Bayesian networks become computationally intractable. As a result, direct hardware implementation of these networks is one promising approach to reducing power consumption and execution time. However, the few hardware implementations of Bayesian networks presented in literature rely on deterministic CMOS devices that are not efficient in representing the inherently stochastic variables in a Bayesian network. This work presents an experimental demonstration of a Bayesian network building block implemented with naturally stochastic spintronic devices. These devices are based on nanomagnets with perpendicular magnetic anisotropy, initialized to their hard axes by the spin orbit torque from a heavy metal under-layer utilizing the giant spin Hall effect, enabling stochastic behavior. We construct an electrically interconnected network of two stochastic devices and manipulate the correlations between their states by changing connection weights and biases. By mapping given conditional probability tables to the circuit hardware, we demonstrate that any two node Bayesian networks can be implemented by our stochastic network. We then present the stochastic simulation of an example case of a four node Bayesian network using our proposed device, with parameters taken from the experiment. We view this work as a first step towards the large scale hardware implementation of Bayesian networks.


title: Hybrid-DNNs: Hybrid Deep Neural Networks for Mixed Inputs

abstract: Rapid development of big data and high-performance computing have encouraged explosive studies of deep learning in geoscience. However, most studies only take single-type data as input, frittering away invaluable multisource, multi-scale information. We develop a general architecture of hybrid deep neural networks (HDNNs) to support mixed inputs. Regarding as a combination of feature learning and target learning, the new proposed networks provide great capacity in high-hierarchy feature extraction and in-depth data mining. Furthermore, the hybrid architecture is an aggregation of multiple networks, demonstrating good flexibility and wide applicability. The configuration of multiple networks depends on application tasks and varies with inputs and targets. Concentrating on reservoir production prediction, a specific HDNN model is configured and applied to an oil development block. Considering their contributions to hydrocarbon production, core photos, logging images and curves, geologic and engineering parameters can all be taken as inputs. After preprocessing, the mixed inputs are prepared as regular-sampled structural and numerical data. For feature learning, convolutional neural networks (CNN) and multilayer perceptron (MLP) network are configured to separately process structural and numerical inputs. Learned features are then concatenated and fed to subsequent networks for target learning. Comparison with typical MLP model and CNN model highlights the superiority of proposed HDNN model with high accuracy and good generalization.


title: A Visual Kinematics Calibration Method for Manipulator Based on Nonlinear Optimization

abstract: The traditional kinematic calibration method for manipulators requires precise three-dimensional measuring instruments to measure the end pose, which is not only expensive due to the high cost of the measuring instruments but also not applicable to all manipulators. Another calibration method uses a camera, but the system error caused by the camera's parameters affects the calibration accuracy of the kinematics of the robot arm. Therefore, this paper proposes a method for calibrating the geometric parameters of a kinematic model of a manipulator based on monocular vision. Firstly, the classic Denavit-Hartenberg(D-H) modeling method is used to establish the kinematic parameters of the manipulator. Secondly, nonlinear optimization and parameter compensation are performed. The three-dimensional positions of the feature points of the calibration plate under each manipulator attitude corresponding to the actual kinematic model and the classic D-H kinematic model are mapped into the pixel coordinate system, and the sum of Euclidean distance errors of the pixel coordinates of the two is used as the objective function to be optimized. The experimental results show that the pixel deviation of the end pose corresponding to the optimized D-H kinematic model proposed in this paper and the end pose corresponding to the actual kinematic model in the pixel coordinate system is 0.99 pixels. Compared with the 7.9 deviation pixels between the pixel coordinates calculated by the classic D-H kinematic model and the actual pixel coordinates, the deviation is reduced by nearly 7 pixels for an 87% reduction in error. Therefore, the proposed method can effectively avoid system errors caused by camera parameters in visual calibration, can improve the absolute positioning accuracy of the end of the robotic arm, and has good economy and universality.


title: Floquet-surface bound states in the continuum in a resonantly driven 1D tilted defect-free lattice

abstract: We study the Floquet-surface bound states embedded in the continuum (BICs) and bound states out the continuum (BOCs)in a resonantly driven 1D tilted defect-free lattice. In contrast to fragile single-particle BICs assisted by specially tailored potentials, we find that Floquet-surface BICs, stable against structural perturbations, can exist in a wide range of parameter space. By using a multiple-time-scale asymptotic analysis in the high-frequency limit, the appearance of Floquet-surface bound states can be analytically explained by effective Tamm-type defects at boundaries induced by the resonance between the periodic driving and tilt. The phase boundary of existing Floquet-surface states is also analytically given. Based on the repulsion effect of surface states, we propose to detect transition points and measure the number of Floquet-surface bound states by quantum walk. Our work opens a new door to experimental realization of BICs in quantum system.


title: Fmax = 270 GHz InAlN/GaN HEMT on Si with forming gas/nitrogen two-step annealing

abstract: In this letter, N2 and forming gas (FG) were used during ohmic contact annealing of InAlN/GaN HEMTs on Si. It is found that N2 annealing offers lower ohmic contact resistance (RC) while FG annealing features lower sheet resistance (Rsheet). Then FG/N2 two-step annealing was used to achieve a subthreshold swing (SS) of 113 mV/dec, an on/off current (Ion/Ioff) ratio of ~ 106, a transconductance (gm) peak of 415 mS/mm, a record low drain-inducing barrier lowing (DIBL) of 65 mV/V, and a record high power gain cutoff frequency (fmax) of 270 GHz on 50-nm InAlN/GaN HEMT on Si.


title: Sub-60 mV/decade switching via high energy electrons tunneling in nanoscale gallium nitride field-effect transistors

abstract: Novel devices such as tunneling field-effect transistors (FETs) and ferroelectric FETs have been demonstrated to break the subthreshold swing (SS) limit with sub-60 mV/decade switching for further low voltage/low power applications. In this paper, SS of sub-60 mV/dec was firstly observed in InAlN/GaN high electron mobility transistors (HMETs): an average SS of 30 mV/dec over three orders of magnitude in drain-source (Ids) and a minimum point-by-point SS of 15 mV/dec were achieved in the InAlN/GaN HEMTs with gate length (Lg) of 40 nm. It is found that SS decreases with drain-source voltage (Vds) as well as Lg, and falls below 60 mV/dec when Lg < 100 nm. The decrease of SS as the device dimension scales down is attributed to the tunneling of high energy electrons from channel to the surface. The SS decreasing with the nanoscale gate length shows the great potential of the InAlN/GaN HEMTs to be applied in future logic switches.


title: Single-sample writers -- "Document Filter" and their impacts on writer identification

abstract: The writing can be used as an important biometric modality which allows to unequivocally identify an individual. It happens because the writing of two different persons present differences that can be explored both in terms of graphometric properties or even by addressing the manuscript as a digital image, taking into account the use of image processing techniques that can properly capture different visual attributes of the image (e.g. texture). In this work, perform a detailed study in which we dissect whether or not the use of a database with only a single sample taken from some writers may skew the results obtained in the experimental protocol. In this sense, we propose here what we call "document filter". The "document filter" protocol is supposed to be used as a preprocessing technique, such a way that all the data taken from fragments of the same document must be placed either into the training or into the test set. The rationale behind it, is that the classifier must capture the features from the writer itself, and not features regarding other particularities which could affect the writing in a specific document (i.e. emotional state of the writer, pen used, paper type, and etc.). By analyzing the literature, one can find several works dealing the writer identification problem. However, the performance of the writer identification systems must be evaluated also taking into account the occurrence of writer volunteers who contributed with a single sample during the creation of the manuscript databases. To address the open issue investigated here, a comprehensive set of experiments was performed on the IAM, BFL and CVL databases. They have shown that, in the most extreme case, the recognition rate obtained using the "document filter" protocol drops from 81.80% to 50.37%.


title: High dimensional normality of noisy eigenvectors

abstract: We study joint eigenvector distributions for large symmetric matrices in the presence of weak noise. Our main result asserts that every submatrix in the orthogonal matrix of eigenvectors converges to a multidimensional Gaussian distribution. The proof involves analyzing the stochastic eigenstate equation (SEE) which describes the Lie group valued flow of eigenvectors induced by matrix valued Brownian motion. We consider the associated colored eigenvector moment flow defining an SDE on a particle configuration space. This flow extends the eigenvector moment flow first introduced in Bourgade and Yau (2017) to the multicolor setting. However, it is no longer driven by an underlying Markov process on configuration space due to the lack of positivity in the semigroup kernel. Nevertheless, we prove the dynamics admit sufficient averaged decay and contractive properties. This allows us to establish optimal time of relaxation to equilibrium for the colored eigenvector moment flow and prove joint asymptotic normality for eigenvectors. Applications in random matrix theory include the explicit computations of joint eigenvector distributions for general Wigner type matrices and sparse graph models when corresponding eigenvalues lie in the bulk of the spectrum, as well as joint eigenvector distributions for L\'evy matrices when the eigenvectors correspond to small energy levels.


title: Echoes from corpuscular black holes

abstract: In the corpuscular picture of black hole there exists no geometric notion of horizon which, instead, only emerges in the semi-classical limit. Therefore, it is very natural to ask - what happens if we send a signal towards a corpuscular black hole? We show that quantum effects at the horizon scale imply the existence of a surface located at an effective radius $R=R_s(1+\epsilon)$ slightly larger than the Schwarzschild radius $R_s,$ where $\epsilon=1/N$ and $N$ is the number of gravitons composing the system. Consequently, the reflectivity of the object can be non-zero and, indeed, we find that incoming waves with energies comparable to the Hawking temperature can have a probability of backscattering of order one. Thus, modes can be trapped between the two potential barriers located at the photon sphere and at the surface of a corpuscular black hole, and periodic echoes can be produced. The time delay of echoes turns out to be of the same order of the scrambling time, i.e., in units of Planck length it reads $\sqrt{N}\,{\rm log}\,N.$ We also show that the $\epsilon$-parameter, or in other words the compactness, of a corpuscular black hole coincides with the quantum coupling that measures the interaction strength among gravitons, and discuss the physical implications of this remarkable feature.


title: Security Survey and Analysis of Vote-by-Mail Systems

abstract: Voting by mail has been gaining traction for decades in the United States and has emerged as the preferred voting method during the COVID-19 pandemic. In this paper, we examine the security of electronic systems used in the process of voting by mail, including online voter registration and online ballot tracking systems. The goals of these systems, to facilitate voter registration and increase public confidence in elections, are laudable. They indisputably provide a critical public good. It is for these reasons that understanding the security and privacy posture of the mail-in voting process is paramount. We find that online voter registration systems in some states have vulnerabilities that allow adversaries to alter or effectively prevent a voter's registration. We additionally find that ballot tracking systems raise serious privacy questions surrounding ease of access to voter data. While the vulnerabilities discussed here are unlikely to enable an adversary to modify votes, several could have the effect of disenfranchising voters and reducing voter confidence in U.S. elections infrastructure, thereby undermining the very purpose of these systems.


title: Cosmology and gravitational waves in consistent $D\to 4$ Einstein-Gauss-Bonnet gravity

abstract: In a very recent paper [1], we have proposed a novel $4$-dimensional gravitational theory with two dynamical degrees of freedom, which serves as a consistent realization of $D\to4$ Einstein-Gauss-Bonnet gravity with the rescaled Gauss-Bonnet coupling constant $\tilde{\alpha}$. This has been made possible by breaking a part of diffeomorphism invariance, and thus is consistent with the Lovelock theorem. In the present paper, we study cosmological implications of the theory in the presence of a perfect fluid and clarify the similarities and differences between the results obtained from the consistent $4$-dimensional theory and those from the previously considered, naive (and inconsistent) $D\rightarrow 4$ limit. Studying the linear perturbations, we explicitly show that the theory only has tensorial gravitational degrees of freedom (besides the matter degree) and that for $\tilde{\alpha}>0$ and $\dot{H}<0$, perturbations are free of any pathologies so that we can implement the setup to construct early and/or late time cosmological models. Interestingly, a $k^4$ term appears in the dispersion relation of tensor modes which plays significant roles at small scales and makes the theory different than not only general relativity but also many other modified gravity theories as well as the naive (and inconsistent) $D\to 4$ limit. Taking into account the $k^4$ term, the observational constraint on the propagation of gravitational waves yields the bound $\tilde{\alpha} \lesssim (10\,{\rm meV})^{-2}$. This is the first bound on the only parameter (besides the Newton's constant and the choice of a constraint that stems from a temporal gauge fixing) in the consistent theory of $D\to 4$ Einstein-Gauss-Bonnet gravity.


title: Numerical simulations of a sphere settling in simple shear flows of yield stress fluids

abstract: We perform $3$D numerical simulations to investigate the sedimentation of a single sphere in the absence and presence of a simple cross shear flow in a yield stress fluid with weak inertia. In our simulations, the settling flow is considered to be the primary flow, whereas the linear cross shear flow is a secondary flow with amplitude $10\%$ of the primary flow. To study the effects of elasticity and plasticity of the carrying fluid on the sphere drag as well as the flow dynamics, the fluid is modeled using the elastovisco-plastic (EVP) constitutive laws proposed by \cite{saramito2009new}. The extra non-Newtonian stress tensor is fully coupled with the flow equation and the solid particle is represented by an immersed boundary (IB) method. Our results show that the fore-aft asymmetry in the velocity is less pronounced and the negative wake disappears when a linear cross shear flow is applied. We find that the drag on a sphere settling in a sheared yield stress fluid is reduced significantly as compared to an otherwise quiescent fluid. More importantly, the sphere drag in the presence of a secondary cross shear flow cannot be derived from the pure sedimentation drag law owing to the non-linear coupling between the simple shear flow and the uniform flow. Finally, we show that the drag on the sphere settling in a sheared yield-stress fluid is reduced at higher material elasticity mainly due to the form and viscous drag reduction.


title: Reconstructing ERP Signals Using Generative Adversarial Networks for Mobile Brain-Machine Interface

abstract: Practical brain-machine interfaces have been widely studied to accurately detect human intentions using brain signals in the real world. However, the electroencephalography (EEG) signals are distorted owing to the artifacts such as walking and head movement, so brain signals may be large in amplitude rather than desired EEG signals. Due to these artifacts, detecting accurately human intention in the mobile environment is challenging. In this paper, we proposed the reconstruction framework based on generative adversarial networks using the event-related potentials (ERP) during walking. We used a pre-trained convolutional encoder to represent latent variables and reconstructed ERP through the generative model which shape similar to the opposite of encoder. Finally, the ERP was classified using the discriminative model to demonstrate the validity of our proposed framework. As a result, the reconstructed signals had important components such as N200 and P300 similar to ERP during standing. The accuracy of reconstructed EEG was similar to raw noisy EEG signals during walking. The signal-to-noise ratio of reconstructed EEG was significantly increased as 1.3. The loss of the generative model was 0.6301, which is comparatively low, which means training generative model had high performance. The reconstructed ERP consequentially showed an improvement in classification performance during walking through the effects of noise reduction. The proposed framework could help recognize human intention based on the brain-machine interface even in the mobile environment.


title: Deep Learning and Bayesian Deep Learning Based Gender Prediction in Multi-Scale Brain Functional Connectivity

abstract: Brain gender differences have been known for a long time and are the possible reason for many psychological, psychiatric and behavioral differences between males and females. Predicting genders from brain functional connectivity (FC) can build the relationship between brain activities and gender, and extracting important gender related FC features from the prediction model offers a way to investigate the brain gender difference. Current predictive models applied to gender prediction demonstrate good accuracies, but usually extract individual functional connections instead of connectivity patterns in the whole connectivity matrix as features. In addition, current models often omit the effect of the input brain FC scale on prediction and cannot give any model uncertainty information. Hence, in this study we propose to predict gender from multiple scales of brain FC with deep learning, which can extract full FC patterns as features. We further develop the understanding of the feature extraction mechanism in deep neural network (DNN) and propose a DNN feature ranking method to extract the highly important features based on their contributions to the prediction. Moreover, we apply Bayesian deep learning to the brain FC gender prediction, which as a probabilistic model can not only make accurate predictions but also generate model uncertainty for each prediction. Experiments were done on the high-quality Human Connectome Project S1200 release dataset comprising the resting state functional MRI data of 1003 healthy adults. First, DNN reaches 83.0%, 87.6%, 92.0%, 93.5% and 94.1% accuracies respectively with the FC input derived from 25, 50, 100, 200, 300 independent component analysis (ICA) components. DNN outperforms the conventional machine learning methods on the 25-ICA-component scale FC, but the linear machine learning method catches up as the number of ICA components increases...