title: The Strength of Mechanically-Exfoliated Monolayer Graphene

abstract: The deformation and fracture behaviour of one-atom-thick mechanically exfoliated graphene has been studied in detail. Monolayer graphene flakes with different lengths, widths and shapes were successfully prepared by mechanical exfoliation and deposited onto poly(methyl methacrylate) (PMMA) beams. The fracture behaviour of the monolayer graphene was followed by deforming the PMMA beams. Through in-situ Raman mapping at different strain levels, the distributions of strain over the graphene flakes were determined from the shift of the graphene Raman 2D band. The failure mechanisms of the exfoliated graphene were either by flake fracture or failure of the graphene/polymer interface. The fracture of the flakes was observed from the formation of cracks identified from the appearance of lines of zero strain in the strain contour maps. It was found that the strength of the monolayer graphene flakes decreased with increasing flake width. The strength dropped to less than 10 GPa for large flakes, much lower than the reported value of 130 GPa for monolayer graphene, thought to be due to the presence of defects. It is shown that a pair of topological defects in monolayer graphene will form a pseudo crack and the effect of such defects upon the strength of monolayer graphene has been modelled using molecular mechanical simulations.


title: A row-sampling-based randomised finite element method for elliptic partial differential equations

abstract: We consider a randomised implementation of the finite element method (FEM) for elliptic partial differential equations on high-dimensional models. This is motivated by applications where model predictions are essential for real-time process diagnostics. In these circumstances it is imperative to expedite prediction without a significant compromise in the model's fidelity, which in turn relies on the rapid assembly and solution of the associated system of equations typically at the many-query context. Our approach involves converting the solution of the linear, symmetric positive definite FEM system into an over-determined least squares problem, whose solution is then projected onto a low-dimensional subspace. The resulting low-dimensional system can be effectively sketched as a product of two high-dimensional matrices using a parameter-dependent non-uniform sampling distribution, utilising only a small subset of the model's parameters. Although different to the optimal sampling distributions based on the statistical leverage-scores of the rows of the matrices, we show that the distance between them shrinks for an appropriate choice of the projection subspace. For the approximate solution we bound the incurring errors due to the projection, subspace approximation and sketching and show that the overall error is dominated by the condition number of the projected stiffness matrix. Our approach is tested on simulations on the Dirichlet and Neumann problems for the steady-state diffusion equation. The results show that our approach has on average a tenfold improvement on the computational times compared to the classical deterministic framework at the expense of a moderately small approximation error.


title: Polynomials and High-Dimensional Spheres

abstract: We show that a natural class of orthogonal polynomials on large spheres in $N$ dimensions tend to Hermite polynomials in the large-$N$ limit. We determine the behavior of the spherical Laplacian as well as zonal harmonic polynomials in the large-$N$ limit.


title: Universality Classes and Information-Theoretic Measures of Complexity via Group Entropies

abstract: We introduce a class of information measures based on group entropies, allowing us to describe the information-theoretical properties of complex systems. These entropic measures are nonadditive, and are mathematically deduced from a series of natural requirements. In particular, we introduce an extensivity postulate as a natural requirement for an information measure to be meaningful. The information measures proposed are suitably defined for describing universality classes of complex systems, each characterized by a specific phase space growth rate function.


title: When is the automorphism group of an affine variety nested?

abstract: For an affine algebraic variety $X$, we study the subgroup $\mathrm{Aut}_{\text{alg}}(X)$ of the group of regular automorphisms $\mathrm{Aut}(X)$ of $X$ generated by all the connected algebraic subgroups. We prove that $\mathrm{Aut}_{\text{alg}}(X)$ is nested, i.e., is a direct limit of algebraic subgroups of $\mathrm{Aut}(X)$, if and only if all the $\mathbb{G}_a$-actions on $X$ commute. Moreover, we describe the structure of such a group $\mathrm{Aut}_{\text{alg}}(X)$.


title: Asymptotics for vortex filaments using a modified Biot-Savart kernel

abstract: We consider a family of approximations to the Euler equations obtained by adding $(-\Delta)^{-\alpha/2}$ to the non-locality in the Biot-Savart kernel together with a mollification (with parameter $\varepsilon$). We consider the evolution of a thin vortex tube. We show that the velocity on the filament (core of the tube) in the limit as $\varepsilon\to 0$ is given $\frac{C(\alpha,t)}{\alpha} \kappa B + \mathcal O(1)$ where $\kappa$ and $B$ are the curvature and binormal of the curve, and $C$, $C^{-1}$ are uniformly bounded.


title: Twisted component sums of vector-valued modular forms

abstract: We construct isomorphisms between spaces of vector-valued modular forms for the dual Weil representation and certain spaces of scalar-valued modular forms in the case that the underlying finite quadratic module $A$ has order $p$ or $2p$, where $p$ is an odd prime. The isomorphisms are given by twisted sums of the components of vector-valued modular forms. Our results generalize work of Bruinier and Bundschuh to the case that the components $F_{\gamma}$ of the vector-valued modular form are antisymmetric in the sense that $F_{\gamma} = -F_{-\gamma}$ for all $\gamma \in A$. As an application, we compute restrictions of Doi-Naganuma lifts of odd weight to components of Hirzebruch-Zagier curves.


title: Thermal Hall Effect Induced by Magnon-Phonon Interactions

abstract: We propose a new mechanism for the thermal Hall effect in exchange spin-wave systems, which is induced by the magnon-phonon interaction. Using symmetry arguments, we first show that this effect is quite general, and exists whenever the mirror symmetry in the direction of the magnetization is broken. We then demonstrate our result in a collinear ferromagnet on a square lattice, with perpendicular easy-axis anisotropy and Dzyaloshinskii-Moriya interaction from mirror symmetry breaking. We show that the thermal Hall conductivity is controlled by the resonant contribution from the anti-crossing points between the magnon and phonon branches, and estimate its size to be comparable to that of the magnon mediated thermal Hall effect.


title: A Survey of Electromagnetic Side-Channel Attacks and Discussion on their Case-Progressing Potential for Digital Forensics

abstract: The increasing prevalence of Internet of Things (IoT) devices has made it inevitable that their pertinence to digital forensic investigations will increase into the foreseeable future. These devices produced by various vendors often posses limited standard interfaces for communication, such as USB ports or WiFi/Bluetooth wireless interfaces. Meanwhile, with an increasing mainstream focus on the security and privacy of user data, built-in encryption is becoming commonplace in consumer-level computing devices, and IoT devices are no exception. Under these circumstances, a significant challenge is presented to digital forensic investigations where data from IoT devices needs to be analysed. This work explores the electromagnetic (EM) side-channel analysis literature for the purpose of assisting digital forensic investigations on IoT devices. EM side-channel analysis is a technique where unintentional electromagnetic emissions are used for eavesdropping on the operations and data handling of computing devices. The non-intrusive nature of EM side-channel approaches makes it a viable option to assist digital forensic investigations as these attacks require, and must result in, no modification to the target device. The literature on various EM side-channel analysis attack techniques are discussed - selected on the basis of their applicability in IoT device investigation scenarios. The insight gained from the background study is used to identify promising future applications of the technique for digital forensic analysis on IoT devices - potentially progressing a wide variety of currently hindered digital investigations.


title: Self-Dual Skew Cyclic Codes over $\mathbb{F}_{q}+u\mathbb{F}_{q}$

abstract: In this paper, we give conditions for the existence of Hermitian self-dual $\Theta-$cyclic and $\Theta-$negacyclic codes over the finite chain ring $\mathbb{F}_q+u\mathbb{F}_q$. By defining a Gray map from $R=\mathbb{F}_q+u\mathbb{F}_q$ to $\mathbb{F}_{q}^{2}$, we prove that the Gray images of skew cyclic codes of odd length $n$ over $R$ with even characteristic are equivalent to skew quasi-twisted codes of length $2n$ over $\mathbb{F}_q$ of index $2$. We also extend an algorithm of Boucher and Ulmer \cite{BF3} to construct self-dual skew cyclic codes based on the least common left multiples of non-commutative polynomials over $\mathbb{F}_q+u\mathbb{F}_q$.


title: Direct Object Recognition Without Line-of-Sight Using Optical Coherence

abstract: Visual object recognition under situations in which the direct line-of-sight is blocked, such as when it is occluded around the corner, is of practical importance in a wide range of applications. With coherent illumination, the light scattered from diffusive walls forms speckle patterns that contain information of the hidden object. It is possible to realize non-line-of-sight (NLOS) recognition with these speckle patterns. We introduce a novel approach based on speckle pattern recognition with deep neural network, which is simpler and more robust than other NLOS recognition methods. Simulations and experiments are performed to verify the feasibility and performance of this approach.


title: The JETSCAPE framework

abstract: The JETSCAPE simulation framework is an overarching computational envelope for developing complete event generators for heavy-ion collisions. It allows for modular incorporation of a wide variety of existing and future software that simulates different aspects of a heavy-ion collision. The default JETSCAPE package contains both the framework, and an entire set of indigenous and third party routines that can be used to directly compare with experimental data. In this article, we outline the algorithmic design of the JETSCAPE framework, define the interfaces and describe the default modules required to carry out full simulations of heavy-ion collisions within this package. We begin with a description of the various physics elements required to simulate an entire event in a heavy-ion collision, and distribute these within a flowchart representing the event generator and statistical routines for comparison with data. This is followed by a description of the abstract class structure, with associated members and functions required for this flowchart to work. We then define the interface that will be required for external users of JETSCAPE to incorporate their code within this framework and to modify existing elements within the default distribution. We conclude with a discussion of some of the physics output for both $p$-$p$ and $A$-$A$ collisions from the default distribution, and an outlook towards future releases. In the appendix, we discuss various architectures on which this code can be run and outline our benchmarks on similar hardware.


title: Ride-Sharing Networks with Mixed Autonomy

abstract: We consider ride-sharing networks served byhuman-driven vehicles and autonomous vehicles. First, wepropose a novel model for ride-sharing in this mixed autonomysetting for a multi-location network in which the platformsets prices for riders, compensation for drivers, and operatesautonomous vehicles for a fixed price. Then we study thepossible benefits, in the form of increased profits, to the ride-sharing platform that are possible by introducing autonomousvehicles. We first establish a nonconvex optimization problemcharacterizing the optimal profits for a network operatingat a steady-state equilibrium and then propose a convexproblem with the same optimal profits that allows for efficientcomputation. Next, we study the relative mix of autonomous andhuman-driven vehicles that results at equilibrium for variouscosts of operation for autonomous vehicles. In particular, weshow that there is a regime for which the platform will chooseto mix autonomous and human-driven vehicles in order tooptimize profits. Our results provide insights into how suchride-sharing platforms might choose to integrate autonomousvehicles into their fleet.


title: Additively manufactured ultra-high vacuum chamber below $10^{-10}$ mbar

abstract: Metal-based additive manufacturing (AM) represents a paradigm change in engineering and production methods across multiple industries and sectors. AM methods enable mass reduction and performance optimisation well beyond that achievable via conventional manufacturing, thereby impacting significantly on aerospace and space technologies. Technologies relying on high and ultra-high vacuum (UHV), such as x-ray photo-electron spectroscopy, photo-sensors, cameras and cryostats, could also benefit greatly from AM. Despite recent advances in AM processing of metals, additively manufactured UHV chambers have so far not been achieved. Reducing the mass of UHV equipment is particularly critical for the development of portable cold atom systems, which are expected to underpin the next generation of sensing and timekeeping technologies and to allow novel space-based sensors for fundamental research. We demonstrate here an additively manufactured UHV chamber reaching a pressure below $10^{-10}$ mbar, enabling a cloud of cold $^{85}$Rb atoms to be trapped - the starting point for many precision timekeeping and sensing devices. The chamber is manufactured from aluminium alloy AlSi10Mg by laser powder bed fusion and has a mass of less than a third of a commercially-available equivalent. Outgassing analysis based on mass spectrometry was performed and it was demonstrated that even without active pumping the system remains in the $10^{-9}$ mbar regime for up to 48 hours.


title: Open Heavy-Flavor Production in Heavy-Ion Collisions

abstract: The ultra-relativistic heavy-ion programs at the Relativistic Heavy Ion Collider and the Large Hadron Collider have evolved into a phase of quantitative studies of Quantum Chromodynamics at very high temperatures. The charm and bottom hadron production offer unique insights into the remarkable transport properties and the microscopic structure of the Quark-Gluon Plasma (QGP) created in these collisions. Heavy quarks, due to their large masses, undergo Brownian motion at low momentum, provide a window on hadronization mechanisms at intermediate momenta, and are expected to merge into a radiative-energy loss regime at high momentum. We review recent experimental and theoretical achievements on measuring a variety of heavy-flavor observables, characterizing the different regimes in momentum, extracting pertinent transport coefficients and deducing implications for the "inner workings" of the QGP medium.


title: On certain equations of arbitrary length over torsion-free groups

abstract: Let $G$ be a non-trivial torsion free group and $t$ be an unknown. In this paper we consider three equations (over $G$) of arbitrary length and show that they have a solution (over $G$) provided two relations among their coefficients hold. Such equations appear for all lengths greater than or equal to eight and the results presented in this article can substantially simplify their solution.


title: Low-energy effective quantum field theoretic description of excitations about soliton configurations

abstract: Solitons are the classical field configurations connecting two trivial vacua. These are also the solutions of classical field equations of motion with particle-like properties. Moreover, they are localized in space, having finite energy, and are stable against decay into radiation. The coherent state description of kink-solitons is discussed in the present article. Further, the relation between topological solitons and occupation numbers corresponding to low momentum excitations are also discussed coherently. The description of the low energy excitations about solitons in quantum field theory is the main theme of this article. Further, a few physical observables, namely some low order correlation functions, are computed up to certain integral forms. Furthermore, we have shown that it is possible to detect the presence of soliton-like classical configurations in many-particle systems from the nature of the one-point function and non-conservation of momentum feature of one-point, two-point and three-point functions in this low-energy effective field theory of these excitations.


title: Benchmarking Web API Quality -- Revisited

abstract: Modern applications increasingly interact with web APIs -- reusable components, deployed and operated outside the application, and accessed over the network. Their existence, arguably, spurs application innovations, making it easy to integrate data or functionalities. While previous work has analyzed the ecosystem of web APIs and their design, little is known about web API quality at runtime. This gap is critical, as qualities including availability, latency, or provider security preferences can severely impact applications and user experience. In this paper, we revisit a 3-month, geo-distributed benchmark of popular web APIs, originally performed in 2015. We repeat this benchmark in 2018 and compare results from these two benchmarks regarding availability and latency. We furthermore introduce new results from assessing provider security preferences, collected both in 2015 and 2018, and results from our attempts to reach out to API providers with the results from our 2015 experiments. Our extensive experiments show that web API qualities vary 1.) based on the geo-distribution of clients, 2.) during our individual experiments, and 3.) between the two experiments. Our findings provide evidence to foster the discussion around web API quality, and can act as a basis for the creation of tools and approaches to mitigate quality issues.


title: High-Energy Galactic Cosmic Rays (Astro2020 Science White Paper)

abstract: The origin of the highest energy Galactic cosmic rays is still not understood, nor is the transition to EeV extragalactic particles. Scientific progress requires enhancements of existing air-shower arrays, such as: IceCube with its surface detector IceTop, and the low-energy extensions of both the Telescope Array and the Pierre Auger Observatory.


title: A RAD approach to deep mixture models

abstract: Flow based models such as Real NVP are an extremely powerful approach to density estimation. However, existing flow based models are restricted to transforming continuous densities over a continuous input space into similarly continuous distributions over continuous latent variables. This makes them poorly suited for modeling and representing discrete structures in data distributions, for example class membership or discrete symmetries. To address this difficulty, we present a normalizing flow architecture which relies on domain partitioning using locally invertible functions, and possesses both real and discrete valued latent variables. This Real and Discrete (RAD) approach retains the desirable normalizing flow properties of exact sampling, exact inference, and analytically computable probabilities, while at the same time allowing simultaneous modeling of both continuous and discrete structure in a data distribution.


title: Reachability-Based Safety Guarantees using Efficient Initializations

abstract: Hamilton-Jacobi-Isaacs (HJI) reachability analysis is a powerful tool for analyzing the safety of autonomous systems. This analysis is computationally intensive and typically performed offline. Online, however, the autonomous system may experience changes in system dynamics, external disturbances, and/or the surrounding environment, requiring updated safety guarantees. Rather than restarting the safety analysis, we propose a method of "warm-start" reachability, which uses a user-defined initialization (typically the previously computed solution). By starting with an HJI function that is closer to the solution than the standard initialization, convergence may take fewer iterations. In this paper we prove that warm-starting will result in guaranteed conservative solutions by over-approximating the states that must be avoided to maintain safety. We additionally prove that for many common problem formulations, warm-starting will result in exact solutions.We demonstrate our method on several illustrative examples with a double integrator, and also on a more practical example with a 10D quadcopter model that experiences changes in mass and disturbances and must update its safety guarantees accordingly. We compare our approach to standard reachability and a recently proposed "discounted" reachability method, and find for our examples that warm-starting is 1.6 times faster than standard and 6.2 times faster than (untuned) discounted reachability.


title: Engaging Citizen Scientists to Keep Transit Times Fresh and Ensure the Efficient Use of Transiting Exoplanet Characterization Missions

abstract: This white paper advocates for the creation of a community-wide program to maintain precise mid-transit times of exoplanets that would likely be targeted by future platforms. Given the sheer number of targets that will require careful monitoring between now and the launch of the next generation of exoplanet characterization missions, this network will initially be devised as a citizen science project -- focused on the numerous amateur astronomers, small universities and community colleges and high schools that have access to modest sized telescopes and off-the-shelf CCDs.


title: Kronecker positivity and 2-modular representation theory

abstract: This paper consists of two prongs. Firstly, we prove that any Specht module labelled by a 2-separated partition is semisimple and we completely determine its decomposition as a direct sum of graded simple modules. Secondly, we apply these results and other modular representation theoretic techniques on the study of Kronecker coefficients and hence verify Saxl's conjecture for a large new class of partitions.


title: Almost optimal local well-posedness for improved modified Boussinesq equations

abstract: In this article, we investigate a class of improved modified Boussinesq equations, for which we provide first an alternate proof of local well-posedness in the space $(H^s\cap L^\infty)\times (H^s\cap L^\infty)(\mathbb{R})$ ($s\geq 0$) to the one obtained by Constantin and Molinet. Secondly, we show that the associated flow map is not smooth when considered from $H^s\times H^s(\mathbb{R})$ into $H^s(\mathbb{R})$ for $s<0$, thus providing a threshold for the regularity needed to perform a Picard iteration for these equations.


title: Quaternionic perturbation theory

abstract: In this paper we present a perturbation theory for constant quaternionic potentials. The effects of quaternionic perturbations are explicitly treated for bound states of hydrogen atom, infinite potential well and harmonic oscillator. Comparison with relativistic corrections is also briefly discussed.


title: Transfer Entropy Rate Through Lempel-Ziv Complexity

abstract: In this article we present a methodology to estimate the Transfer Entropy Rate between two systems through the Lempel-Ziv complexity. This methodology carries a set of practical advantages: it can be estimated from two single discrete series of measures, it is not computationally expensive and it does not assume any model for the data. The results of simulations over three different unidirectional coupled systems, suggest that this methodology can be used to assess the direction and strength of the information flow between systems.


title: Do tensor renormalization group methods work for frustrated spin systems?

abstract: No. To illustrate that tensor renormalization group methods are poorly suited for frustrated magnetic systems, we study the thermodynamic properties of the two-dimensional Edwards-Anderson Ising spin-glass model on a square lattice. We show that the limited precision of standard 64-bit data types and not a small cut-off parameter is the main reason for unphysical negative partition function values in spin glasses.


title: Discovering Heterogeneous Subsequences for Trajectory Classification

abstract: In this paper we propose a new parameter-free method for trajectory classification which finds the best trajectory partition and dimension combination for robust trajectory classification. Preliminary experiments show that our approach is very promising.


title: Constrained Best Approximation with Nonsmooth Nonconvex Constraints

abstract: In this paper, we consider the constraint set $K$ of inequalities with nonsmooth nonconvex constraint functions. We show that under Abadie's constraint qualification the "perturbation property" of the best approximation to any $x$ in $\R^n$ from a convex set $\tK:=C \cap K$ is characterized by the strong conical hull intersection property (strong CHIP) of $C$ and $K,$ where $C$ is a non-empty closed convex subset of $\R^n$ and the set $K$ is represented by $K:=\{x\in \R^n : g_j(x) \le 0, \ \forall \ j=1,2,\ldots,m \}$ with $g_j : \R^n \lrar \R$ $(j=1,2, \cdots,m)$ is a tangentially convex function at a given point $\bar x \in K.$ By using the idea of tangential subdifferential and a non-smooth version of Abadie's constraint qualification, we do this by first proving a dual cone characterization of the constraint set $K.$ Moreover, we present sufficient conditions for which the strong CHIP property holds. In particular, when the set $\tK$ is closed and convex, we show that the Lagrange multiplier characterization of best approximation holds under a non-smooth version of Abadie's constraint qualification. The obtained results extend many corresponding results in the context of constrained best approximation. Several examples are provided to clarify the results.


title: Are All Successful Communities Alike? Characterizing and Predicting the Success of Online Communities

abstract: The proliferation of online communities has created exciting opportunities to study the mechanisms that explain group success. While a growing body of research investigates community success through a single measure -- typically, the number of members -- we argue that there are multiple ways of measuring success. Here, we present a systematic study to understand the relations between these success definitions and test how well they can be predicted based on community properties and behaviors from the earliest period of a community's lifetime. We identify four success measures that are desirable for most communities: (i) growth in the number of members; (ii) retention of members; (iii) long term survival of the community; and (iv) volume of activities within the community. Surprisingly, we find that our measures do not exhibit very high correlations, suggesting that they capture different types of success. Additionally, we find that different success measures are predicted by different attributes of online communities, suggesting that success can be achieved through different behaviors. Our work sheds light on the basic understanding of what success represents in online communities and what predicts it. Our results suggest that success is multi-faceted and cannot be measured nor predicted by a single measurement. This insight has practical implications for the creation of new online communities and the design of platforms that facilitate such communities.


title: The $\hat{H}$-Parameter: An Oblique Higgs View

abstract: We study, from theoretical and phenomenological angles, the Higgs boson oblique parameter $\hat{H}$, as the hallmark of off-shell Higgs physics. $\hat{H}$ is defined as the Wilson coefficient of the sole dimension-6 operator that modifies the Higgs boson propagator, within a Universal EFT. Theoretically, we describe self-consistency conditions on Wilson coefficients, derived from the K\"{a}ll\'{e}n-Lehmann representation. Phenomenologically, we demonstrate that the process $gg\to h^\ast \to VV$ is insensitive to propagator corrections from $\hat{H}$, and instead advertise four-top production as an effective high-energy probe of off-shell Higgs behaviour, crucial to break flat directions in the EFT.


title: Forbidden transitions in neutral and charged current interactions between low-energy neutrinos and Argon

abstract: Background: The study of low-energy neutrinos and their interactions with atomic nuclei is crucial to several open problems in physics, including the neutrino mass hierarchy, CP-violation, candidates of Beyond Standard Model physics and supernova dynamics. Examples of experiments include CAPTAIN at SNS as well as DUNE's planned detection program of supernova neutrinos. Purpose: We present cross section calculations for quasielastic charged current and neutral current neutrinos at low energies, with a focus on $^{40}$Ar. We also take a close look at pion decay-at-rest neutrino spectra, which are used in e.g. the SNS experiment at Oakridge. Method and results: We employ a Hartree Fock + Continuum Random Phase Approximations (HF+CRPA) framework, which allows us to model the responses and include the effects of long-range correlations. It is expected to provide a good framework to calculate forbidden transitions, whose contribution which we show to be non-negligible. Conclusions: Forbidden transitions can be expected to contribute sizeably to the reaction strength at typical low-energy kinematics, such as DAR neutrinos. Modeling and Monte Carlo simulations need to take all due care to account for the influence of their contributions.


title: An Adversarial Risk Analysis Framework for Cybersecurity

abstract: Cyber threats affect all kinds of organisations. Risk analysis is an essential methodology for cybersecurity as it allows organisations to deal with the cyber threats potentially affecting them, prioritise the defence of their assets and decide what security controls should be implemented. Many risk analysis methods are present in cybersecurity models, compliance frameworks and international standards. However, most of them employ risk matrices, which suffer shortcomings that may lead to suboptimal resource allocations. We propose a comprehensive framework for cybersecurity risk analysis, covering the presence of both adversarial and non-intentional threats and the use of insurance as part of the security portfolio. A case study illustrating the proposed framework is presented, serving as template for more complex cases.


title: Assessing Disk Galaxy Stability through Time

abstract: N-body simulations have shown that a bar in a galaxy can be triggered by two processes: (1) by its own instabilities in the disk, or (2) by interactions with other galaxies. Both mechanisms have been widely studied. However, the literature has not shown measurements of the critical limits of the disk stability parameters (DSPs). We show measurements of those parameters through the whole evolution in isolated disk models and find that the initial rotation configuration of those models stays in the stable or unstable regime from the initial to the final evolution. Then we perturbed the isolated models to study the evolution of DSPs under perturbation. We find that the critical limits of DSPs are not much affected in barred models, but when the bar is triggered by a perturbation, the disk falls into the unstable regimen. We show in our models that a bar triggered by a light perturbation grows in two phases: first, the bar appears as a slow rotator, and then it evolves to be a fast rotator; second, when the perturbation is far from the target galaxy, the bar evolves from fast to slow rotator. When the bar is triggered by a heavy perturbation, it appears as a fast rotator and evolves to be a slow rotator, similar to classical bar models.


title: Constitutive modelling of mechanically induced martensitic transformations: Prediction of transformation surfaces

abstract: Purpose: The purpose of this work is to apply a recently proposed constitutive model for mechanically induced martensitic transformations to the prediction of transformation loci. Additionally, this study aims to elucidate if a stress-assisted criterion can account for transformations in the so-called strain-induced regime. Design/methodology/approach: The model is derived by generalising the stress-based criterion of Patel and Cohen (1953), relying on lattice information obtained using the Phenomenological Theory of Martensite Crystallography. Transformation multipliers (cf. plastic multipliers) are introduced, from which the martensite volume fraction evolution ensues. The associated transformation functions provide a variant selection mechanism. Austenite plasticity follows a classical single crystal formulation, to account for transformations in the strain-induced regime. The resulting model is incorporated into a fully-implicit RVE-based computational homogenisation finite element code. Findings: Results show good agreement with experimental data for a meta-stable austenitic stainless steel. In particular, the transformation locus is well reproduced, even in a material with considerable slip plasticity at the martensite onset, corroborating the hypothesis that an energy-based criterion can account for transformations in both stress-assisted and strain-induced regimes. Originality/value: A recently developed constitutive model for mechanically induced martensitic transformations is further assessed and validated. Its formulation is fundamentally based on a physical metallurgical mechanism and derived in a thermodynamically consistent way, inheriting a consistent mechanical dissipation. This model draws on a reduced number of phenomenological elements and is a step towards the fully predictive modelling of materials that exhibit such phenomena.


title: Between Promise and Performance: Science and Technology Policy Implementation through Network Governance

abstract: This research analyzes the effects of U.S. science and technology policy on the technological performance of organizations in a global strategic alliance network. During the mid-1980s the U.S. semiconductor industry appeared to be collapsing. Industry leaders and policymakers moved to support and protect U.S. firms by creating a program called Sematech. While many scholars regard Sematech as a success, how the program succeeded remains unclear. This study re-contextualizes Sematech as a network administrative organization which lowered cooperation costs and enhanced resource combination for innovation at the cutting edge. This study combines network analysis and longitudinal regression techniques to test the effects of public policy on organizational network position and technological performance in an unbalanced panel of semiconductor firms between 1986 and 2001. This research suggests governments might achieve policy through inter-organizational innovations aimed at the development and administration of robust governance networks.


title: Zirconia UV-curable colloids for additive manufacturing via hybrid inkjet printing-stereolithography

abstract: Currently, additive manufacturing of ceramics by stereolithography (SLA) is limited to single materials and by a poor thickness resolution that strongly depends on the ceramic particles-UV light interaction. Combining selective laser curing with inkjet printing represents a novel strategy to overcome these constrains. Nonetheless, this approach requires UV-curable inks that allow hardening of the printed material and sintering to high density. In this work, we report how to design an ink for inkjet printing of yttria stabilized zirconia (YSZ) which can be impressed by addition of UV-curable monomers. We especially show how the formulation of the inks and particularly the UV-monomer concentration impacts the printability and the UV-curing. This leads to prints that are resistant to solvent washing first and densify to 96% dense YSZ layers after sintering.


title: Atom ionization by ultrashort laser pulse - 2D, 3D consideration

abstract: We theoretically analyze the quantum vortices - the zeros of electron wave function which are formed through atom ionization by ultrashort laser pulse. In 2D space we consider the case of above-threshold ionization of hydrogen atom and in 3D space the ionization of the atom in the zero-radius-potential approximation. With the help of obtained analytical results we make the assumption that localization of quantum vortices in 3D space can be predicted by analysis of 2D model.


title: Motion of a finite composite cylindrical annulus comprised of nonlinear elastic solids subject to periodic shear

abstract: In this paper we study the motion of a finite composite cylindrical annulus made of generalized neo-Hookean solids that is subject to periodic shear loading on the inner boundary. Such a problem has relevance to several problems of technological significance, for example blood vessels can be idealized as finite anisotropic composite cylinders. Here, we consider the annulus to be comprised of an isotropic material, namely a generalized neo-Hookean solid and study the effects of annular thickness on the stress distribution within the annulus. We solve the governing partial differential equations and examine the stress response for the strain hardening and strain softening cases of the generalized neo-Hookean model. We also solve the problem of the annular region being infinite in length, that reduces the problem to a partial differential equation in only time and one spatial dimension. When the thickness of the annulus is sufficiently large, the solutions to the problems exhibit very interesting boundary layer structure in that the norm of the strain has a large gradient in a narrow region adjacent to one of the boundaries, with the strain being relatively uniform outside the narrow region. We also find that beyond a distance of two times the annular wall thickness from the ends of the cylinder the solutions for the infinite length cylinder match solutions for the finite length cylinder implying that end effects are not felt in most of the length of a sufficiently long annulus.


title: Generators for Coulomb branches of quiver gauge theories

abstract: We study the Coulomb branches of $3d$ $\mathcal{N}=4$ quiver gauge theories, focusing on the generators for their quantized coordinate rings. We show that there is a surjective map from a shifted Yangian onto the quantized Coulomb branch, once the deformation parameter is set to $\hbar =1$. In finite ADE type, this extends to a surjection over $\mathbb{C}[\hbar]$. We also show that these algebras are generated by the dressed minuscule monopole operators, for an arbitrary quiver (this is similar to the proof of Theorem 4.29 in arXiv:1811.12137). Finally, we describe how the KLR Yangian algebra from arXiv:1806.07519 is related to Webster's extended BFN category. This paper provides proofs for two results which were announced in arXiv:1806.07519.


title: Aspects of quantum gravity

abstract: For more than 80 years theoretical physicists have been trying to develop a theory of quantum gravity which would successfully combine the tenets of Einstein's theory of general relativity (GR) together with those of quantum field theory. At the current stage, there are various competing responses to this challenge under construction. Attacking the problem of quantum gravity from the quantum geometry perspective, where space and spacetime are discrete, the focus of this thesis lies on the application of loop quantum gravity (LQG) and group field theory (GFT). We employ these two closely related nonperturbative approaches to two areas where quantum gravity effects are broadly expected to be relevant: black holes and quantum cosmology. Concerning black holes, apart from understanding their inner structure, a pressing issue is to give a microscopic explanation for the phenomenon of black hole entropy in terms of a discrete quantum geometry and relate it to the symmetries of the horizon. Black hole models in LQG are typically constructed via the isolated horizon boundary condition which gives rise to an effective description of the horizon geometry in terms SU(2) Chern-Simons theory. In this thesis we find a reinterpretation of the statistics of the horizon degrees of freedom as those of a system of non-Abelian anyons. As regards quantum cosmology, the challenge is to understand how the initial singularity problem of GR can be resolved by means of the discreteness of geometry and how a continuum spacetime can emerge from a large assembly of geometric building blocks. Most recent research in GFT aims at deriving the effective dynamics for condensate states directly from the microscopic GFT quantum dynamics and subsequently to extract a cosmological interpretation from them. In this thesis we elaborate on aspects of this approach and study phenomenological consequences in detail.


title: Viscoelastic properties and flow instabilities of aqueous suspensions of cellulosic fibers

abstract: Processing of concentrated lignocellulosic biomass suspensions typically involves the conversion of the cellulose into sugars and sugars into ethanol. Biomass is usually pre-processed (i.e. via comminution, steam explosion, etc.) to form fine cellulosic fibers to be dispersed into an aqueous phase for further treatment. The resulting cellulose suspensions need to be pressurized and pumped into and out of various processing vessels without allowing the development of flow instabilities that are typically associated with the demixing, i.e., the segregation of the cellulosic biomass from the aqueous phase. Here, it is demonstrated that the use of a gelation agent, hydroxypropyl guar gum (HPG) at the relatively low concentration of 0.5 wt% significantly affects the development of viscoelastic material functions of cellulosic suspensions, and improves the dispersive mixing of the cellulose fibers within the aqueous phase. This results in the reduction of the flow instabilities and associated demixing effects that are ubiquitously observed during the pressurization of cellulosic suspensions in Poiseuille and compressive squeeze flows.


title: Risk and Return models for Equity Markets and Implied Equity Risk Premium

abstract: Equity risk premium is a central component of every risk and return model in finance and a key input to estimate costs of equity and capital in both corporate finance and valuation. An article by Damodaran examines three broad approaches for estimating the equity risk premium. The first is survey based, it consists in asking common investors or big players like pension fund managers what they require as a premium to invest in equity. The second is to look at the premia earned historically by investing in stocks, as opposed to risk-free investments. The third method tries to extrapolate a market-consensus on equity risk premium (Implied Equity Risk Premium) by analysing equity prices on the market today. After having introduced some basic concepts and models, I'll briefly explain the pluses and minuses of the first two methods, and analyse more deeply the third. In the end I'll show the results of my estimation of ERP on real data, using variants of the Implied ERP (third) method.


title: Predicting Stochastic Human Forward Reachable Sets Based on Learned Human Behavior

abstract: With the recent surge of interest in introducing autonomous vehicles to the everyday lives of people, developing accurate and generalizable algorithms for predicting human behavior becomes highly crucial. Moreover, many of these emerging applications occur in a safety-critical context, making it even more urgent to develop good prediction models for human-operated vehicles. This is fundamentally a challenging task as humans are often noisy in their decision processes. Hamilton-Jacobi (HJ) reachability is a useful tool in control theory that provides safety guarantees for collision avoidance. In this paper, we first demonstrate how to incorporate information derived from HJ reachability into a machine learning problem which predicts human behavior in a simulated collision avoidance context, and show that this yields a higher prediction accuracy than learning without this information. Then we propose a framework to generate stochastic forward reachable sets that flexibly provides different safety probabilities and generalizes to novel scenarios. We demonstrate that we can construct stochastic reachable sets that can capture the trajectories with probability from 0.75 to 1.


title: Tunneling and Fluctuating Electron-Hole Cooper Pairs in Double Bilayer Graphene

abstract: A strong low-temperature enhancement of the tunneling conductance between graphene bilayers has been reported recently, and interpreted as a signature of equilibrium electron-hole pairing, first predicted in bilayers more than forty years ago but previously unobserved. Here we provide a detailed theory of conductance enhanced by fluctuating electron-hole Cooper pairs, which are a precursor to equilibrium pairing, that accounts for specific details of the multi-band double graphene bilayer system which supports several different pairing channels. Above the equilibrium condensation temperature, pairs have finite temporal coherence and do not support dissipationless tunneling. Instead, they strongly boost the tunneling conductivity via a fluctuational internal Josephson effect. Our theory makes predictions for the dependence of the zero bias peak in the differential tunneling conductance on temperature and electron-hole density imbalance that capture important aspects of the experimental observations. In our interpretation of the observations, cleaner samples with longer disorder scattering times would condense at temperatures $T_c$ up to $\sim 50 {\rm K}$, compared to the record $T_c \sim 1.5 $K achieved to date in the experiment.


title: Learning to Augment Synthetic Images for Sim2Real Policy Transfer

abstract: Vision and learning have made significant progress that could improve robotics policies for complex tasks and environments. Learning deep neural networks for image understanding, however, requires large amounts of domain-specific visual data. While collecting such data from real robots is possible, such an approach limits the scalability as learning policies typically requires thousands of trials. In this work we attempt to learn manipulation policies in simulated environments. Simulators enable scalability and provide access to the underlying world state during training. Policies learned in simulators, however, do not transfer well to real scenes given the domain gap between real and synthetic data. We follow recent work on domain randomization and augment synthetic images with sequences of random transformations. Our main contribution is to optimize the augmentation strategy for sim2real transfer and to enable domain-independent policy learning. We design an efficient search for depth image augmentations using object localization as a proxy task. Given the resulting sequence of random transformations, we use it to augment synthetic depth images during policy learning. Our augmentation strategy is policy-independent and enables policy learning with no real images. We demonstrate our approach to significantly improve accuracy on three manipulation tasks evaluated on a real robot.


title: The epidemiology of lateral movement: exposures and countermeasures with network contagion models

abstract: An approach is developed for analyzing computer networks to identify systems and accounts that are at particular risk of compromise by an adversary seeking to move laterally through the network via authentication. The dynamics of the adversary are modeled as a contagion spreading across systems linked via authentication relationships derived from Administrator account access and active session data. The adversary is assumed to traverse the network via credential chaining, where the adversary steals credentials from one system, uses them to authenticate to another, and repeats the process. Graph topology measures are used to analyze different contagion models applied to a real Windows network for three primary exposures by identifying: accounts which, either individually or collectively, provide wide and far-reaching access to many systems across the network; accounts with notable privilege escalation liability; and "gatekeeper" systems through which the adversary must pass in order to reach critical assets. The approach can be used to test how different mitigations and countermeasures affect these exposures; for example, we find that disabling remote logins by local accounts and implementing protections that prevent the caching of credentials on remote hosts can substantially curtail lateral movement and privilege escalation.


title: Body-rotation behavior of pedestrians for collision avoidance in passing and cross flow

abstract: We observe body-rotation behavior of pedestrians to avoid others when they are moving in congested situations. In such cases, body orientation often differs from walking direction, i.e., pedestrians step sideways. In this paper, we focused on a deviation between body orientation and walking direction during collision avoidance by body rotation for counter-flows in narrow corridors quantitatively. We conducted simple experiments in which two pedestrians passed each other. We found that pedestrians rotated their bodies when the width of the corridor was smaller than the sum of the widths of the two pedestrians. This behavior was explained by analyzing the geometry of two ellipses circumscribing each other in a narrow corridor. Moreover, we developed a preliminary model and succeeded to simulate the deviation between body orientation and walking direction during passing observed in the experiments. Furthermore, we performed a cross-flow experiment, which is much more complex and realistic than the passing experiments and confirmed that body-rotation behavior is also an indispensable factor for complex and realistic scenarios.


title: Real-Time Constrained Trajectory Planning and Vehicle Control for Proactive Autonomous Driving With Road Users

abstract: For motion planning and control of autonomous vehicles to be proactive and safe, pedestrians' and other road users' motions must be considered. In this paper, we present a vehicle motion planning and control framework, based on Model Predictive Control, accounting for moving obstacles. Measured pedestrian states are fed into a prediction layer which translates each pedestrians' predicted motion into constraints for the MPC problem. Simulations and experimental validation were performed with simulated crossing pedestrians to show the performance of the framework. Experimental results show that the controller is stable even under significant input delays, while still maintaining very low computational times. In addition, real pedestrian data was used to further validate the developed framework in simulations.


title: A Geometrical Method for Low-Dimensional Representations of Simulations

abstract: We propose a new data analysis approach for the efficient post-processing of bundles of finite element data from numerical simulations. The approach is based on the mathematical principles of symmetry. We consider the case where simulations of an industrial product are contained in the space of surface meshes embedded in R^3. Furthermore, we assume that distance preserving transformations exist, albeit unknown, which map simulation to simulation. In this setting, a discrete Laplace-Beltrami operator can be constructed on the mesh, which is invariant to isometric transformations and therefore valid for all simulations. The eigenfunctions of such an operator are used as a common basis for all (isometric) simulations. One can use the projection coefficients instead of the full simulations for further analysis. To extend the idea of invariance, we employ a discrete Fokker-Planck operator, that in the continuous limit converges to an operator invariant to a nonlinear transformation, and use its eigendecomposition accordingly. The data analysis approach is applied to time-dependent datasets from numerical car crash simulations. One observes that only a few spectral coefficients are necessary to describe the data variability, and low dimensional structures are obtained. The eigenvectors are seen to recover different independent variation modes such as translation, rotation, or global and local deformations. An effective analysis of the data from bundles of numerical simulations is made possible, in particular an analysis for many simulations in time.


title: Learning with Sets in Multiple Instance Regression Applied to Remote Sensing

abstract: In this paper, we propose a novel approach to tackle the multiple instance regression (MIR) problem. This problem arises when the data is a collection of bags, where each bag is made of multiple instances corresponding to the same unique real-valued label. Our goal is to train a regression model which maps the instances of an unseen bag to its unique label. This MIR setting is common to remote sensing applications where there is high variability in the measurements and low geographical variability in the quantity being estimated. Our approach, in contrast to most competing methods, does not make the assumption that there exists a prime instance responsible for the label in each bag. Instead, we treat each bag as a set (i.e, an unordered sequence) of instances and learn to map each bag to its unique label by using all the instances in each bag. This is done by implementing an order-invariant operation characterized by a particular type of attention mechanism. This method is very flexible as it does not require domain knowledge nor does it make any assumptions about the distribution of the instances within each bag. We test our algorithm on five real world datasets and outperform previous state-of-the-art on three of the datasets. In addition, we augment our feature space by adding the moments of each feature for each bag, as extra features, and show that while the first moments lead to higher accuracy, there is a diminishing return.


title: Pairwise Comparisons with Flexible Time-Dynamics

abstract: Inspired by applications in sports where the skill of players or teams competing against each other varies over time, we propose a probabilistic model of pairwise-comparison outcomes that can capture a wide range of time dynamics. We achieve this by replacing the static parameters of a class of popular pairwise-comparison models by continuous-time Gaussian processes; the covariance function of these processes enables expressive dynamics. We develop an efficient inference algorithm that computes an approximate Bayesian posterior distribution. Despite the flexbility of our model, our inference algorithm requires only a few linear-time iterations over the data and can take advantage of modern multiprocessor computer architectures. We apply our model to several historical databases of sports outcomes and find that our approach outperforms competing approaches in terms of predictive performance, scales to millions of observations, and generates compelling visualizations that help in understanding and interpreting the data.


title: Information-theoretic aspects of the generalized amplitude damping channel

abstract: The generalized amplitude damping channel (GADC) is one of the sources of noise in superconducting-circuit-based quantum computing. It can be viewed as the qubit analogue of the bosonic thermal channel, and it thus can be used to model lossy processes in the presence of background noise for low-temperature systems. In this work, we provide an information-theoretic study of the GADC. We first determine the parameter range for which the GADC is entanglement breaking and the range for which it is anti-degradable. We then establish several upper bounds on its classical, quantum, and private capacities. These bounds are based on data-processing inequalities and the uniform continuity of information-theoretic quantities, as well as other techniques. Our upper bounds on the quantum capacity of the GADC are tighter than the known upper bound reported recently in [Rosati et al., Nat. Commun. 9, 4339 (2018)] for the entire parameter range of the GADC, thus reducing the gap between the lower and upper bounds. We also establish upper bounds on the two-way assisted quantum and private capacities of the GADC. These bounds are based on the squashed entanglement, and they are established by constructing particular squashing channels. We compare these bounds with the max-Rains information bound, the mutual information bound, and another bound based on approximate covariance. For all capacities considered, we find that a large variety of techniques are useful in establishing bounds.


title: Distributed Subtrajectory Join on Massive Datasets

abstract: Joining trajectory datasets is a significant operation in mobility data analytics and the cornerstone of various methods that aim to extract knowledge out of them. In the era of Big Data, the production of mobility data has become massive and, consequently, performing such an operation in a centralized way is not feasible. In this paper, we address the problem of Distributed Subtrajectory Join processing by utilizing the MapReduce programming model. Compared to traditional trajectory join queries, this problem is even more challenging since the goal is to retrieve all the "maximal" portions of trajectories that are "similar". We propose three solutions: (i) a well-designed basic solution, coined DTJb, (ii) a solution that uses a preprocessing step that repartitions the data, labeled DTJr, and (iii) a solution that, additionally, employs an indexing scheme, named DTJi. In our experimental study, we utilize a 56GB dataset of real trajectories from the maritime domain, which, to the best of our knowledge, is the largest real dataset used for experimentation in the literature of trajectory data management. The results show that DTJi performs up to 16x faster compared with DTJb, 10x faster than DTJr and 3x faster than the closest related state of the art algorithm.


title: Galaxy classification: A machine learning analysis of GAMA catalogue data

abstract: We present a machine learning analysis of five labelled galaxy catalogues from the Galaxy And Mass Assembly (GAMA): The SersicCatVIKING and SersicCatUKIDSS catalogues containing morphological features, the GaussFitSimple catalogue containing spectroscopic features, the MagPhys catalogue including physical parameters for galaxies, and the Lambdar catalogue, which contains photometric measurements. Extending work previously presented at the ESANN 2018 conference - in an analysis based on Generalized Relevance Matrix Learning Vector Quantization and Random Forests - we find that neither the data from the individual catalogues nor a combined dataset based on all 5 catalogues fully supports the visual-inspection-based galaxy classification scheme employed to categorise the galaxies. In particular, only one class, the Little Blue Spheroids, is consistently separable from the other classes. To aid further insight into the nature of the employed visual-based classification scheme with respect to physical and morphological features, we present the galaxy parameters that are discriminative for the achieved class distinctions.


title: PyBioNetFit and the Biological Property Specification Language

abstract: In systems biology modeling, important steps include model parameterization, uncertainty quantification, and evaluation of agreement with experimental observations. To help modelers perform these steps, we developed the software PyBioNetFit. PyBioNetFit is designed for parameterization, and also supports uncertainty quantification, checking models against known system properties, and solving design problems. PyBioNetFit introduces the Biological Property Specification Language (BPSL) for the formal declaration of system properties. BPSL allows qualitative data to be used alone or in combination with quantitative data for parameterization model checking, and design. PyBioNetFit performs parameterization with parallelized metaheuristic optimization algorithms (differential evolution, particle swarm optimization, scatter search) that work directly with existing model definition standards: BioNetGen Language (BNGL) and Systems Biology Markup Language (SBML). We demonstrate PyBioNetFit's capabilities by solving 31 example problems, including the challenging problem of parameterizing a model of cell cycle control in yeast. We benchmark PyBioNetFit's parallelization efficiency on computer clusters, using up to 288 cores. Finally, we demonstrate the model checking and design applications of PyBioNetFit and BPSL by analyzing a model of therapeutic interventions in autophagy signaling.


title: General Relativistic Thick Disks in the Accelerating Expanding Universe Dominated By Dark Energy

abstract: In this article, we study the effect of the universe accelerating expansion on the structure of the general relativistic thick disks. Hence, by applying a conformal transformation on the metric of a static disk in isotropic coordinates, we transform the disk to the spacetime of a Friedman-Robertson-Walker (FRW) of an expanding universe. Also, by solving Einstein equations in the presence of the cosmological constant, $\Lambda$, which leads to the expansion of the universe, we investigate the structure of this disk in a dynamical state, and the changes in the disk mass density and energy density, as well as radial, azimuthal and vertical pressure, are examined as a function of time. Furthermore, by considering weak, strong and dominant energy conditions, we show that relativistic thick disks in the accelerating expanding universe dominated by dark energy satisfy all energy conditions.


title: Incentive Design for Temporal Logic Objectives

abstract: We study the problem of designing an optimal sequence of incentives that a principal should offer to an agent so that the agent's optimal behavior under the incentives realizes the principal's objective expressed as a temporal logic formula. We consider an agent with a finite decision horizon and model its decision-making process as a Markov decision process (MDP). Under certain assumptions, we present a polynomial-time algorithm to synthesize an incentive sequence that minimizes the cost to the principal. We show that if the underlying MDP has only deterministic transitions, the principal can hide its objective from the agent and still realize the desired behavior through incentives. On the other hand, an MDP with stochastic transitions may require the principal to share its objective with the agent. Finally, we demonstrate the proposed method in motion planning examples where a principal changes the optimal trajectory of an agent by providing incentives.


title: Simulating squirmers with volumetric solvers

abstract: Squirmers are models of a class of microswimmers, such as ciliated organisms and phoretic particles, that self-propel in fluids without significant deformation of their body shape. Available techniques for their simulation are based on the boundary-element method and do not contemplate nonlinearities such as those arising from the fluid's inertia or non-Newtonian rheology. This article describes a methodology to simulate squirmers that overcomes these limitations by using volumetric numerical methods, such as finite elements or finite volumes. It deals with interface conditions at the squirmer's surface that generalize those in the published literature. The actual procedures to be performed on a fluid solver to implement the proposed methodology are provided, including the treatment of metachronal surface waves. Among the several numerical examples, a two-dimensional simulation is shown of the hydrodynamic interaction of two individuals of Opalina ranarum.


title: A New Frontier for Pull-Based Graph Processing

abstract: The trade-off between pull-based and push-based graph processing engines is well-understood. On one hand, pull-based engines can achieve higher throughput because their workloads are read-dominant, rather than write-dominant, and can proceed without synchronization between threads. On the other hand, push-based engines are much better able to take advantage of the frontier optimization, which leverages the fact that often only a small subset of the graph needs to be accessed to complete an iteration of a graph processing application. Hybrid engines attempt to overcome this trade-off by dynamically switching between push and pull, but there are two key disadvantages with this approach. First, applications must be implemented twice (once for push and once for pull), and second, processing throughput is reduced for iterations that run with push. We propose a radically different solution: rebuild the frontier optimization entirely such that it is well-suited for a pull-based engine. In doing so, we remove the only advantage that a push-based engine had over a pull-based engine, making it possible to eliminate the push-based engine entirely. We introduce Wedge, a pull-only graph processing framework that transforms the traditional source-oriented vertex-based frontier into a pull-friendly format called the Wedge Frontier. The transformation itself is expensive even when parallelized, so we introduce two key optimizations to make it practical. First, we perform the transformation only when the resulting Wedge Frontier is sufficiently sparse. Second, we coarsen the granularity of the representation of elements in the Wedge Frontier. These optimizations respectively improve Wedge's performance by up to 5x and 2x, enabling it to outperform Grazelle, Ligra, and GraphMat respectively by up to 2.8x, 4.9x, and 185.5x.


title: Causal inference from observational data: Estimating the effect of contributions on visitation frequency atLinkedIn

abstract: Randomized experiments (A/B testings) have become the standard way for web-facing companies to guide innovation, evaluate new products, and prioritize ideas. There are times, however, when running an experiment is too complicated (e.g., we have not built the infrastructure), costly (e.g., the intervention will have a substantial negative impact on revenue), and time-consuming (e.g., the effect may take months to materialize). Even if we can run an experiment, knowing the magnitude of the impact will significantly accelerate the product development life cycle by helping us prioritize tests and determine the appropriate traffic allocation for different treatment groups. In this setting, we should leverage observational data to quickly and cost-efficiently obtain a reliable estimate of the causal effect. Although causal inference from observational data has a long history, its adoption by data scientist in technology companies has been slow. In this paper, we rectify this by providing a brief introduction to the vast field of causal inference with a specific focus on the tools and techniques that data scientist can directly leverage. We illustrate how to apply some of these methodologies to measure the effect of contributions (e.g., post, comment, like or send private messages) on engagement metrics. Evaluating the impact of contributions on engagement through an A/B test requires encouragement design and the development of non-standard experimentation infrastructure, which can consume a tremendous amount of time and financial resources. We present multiple efficient strategies that exploit historical data to accurately estimate the contemporaneous (or instantaneous) causal effect of a user's contribution on her own and her neighbors' (i.e., the users she is connected to) subsequent visitation frequency. We apply these tools to LinkedIn data for several million members.


title: Hierarchical Routing Mixture of Experts

abstract: In regression tasks the distribution of the data is often too complex to be fitted by a single model. In contrast, partition-based models are developed where data is divided and fitted by local models. These models partition the input space and do not leverage the input-output dependency of multimodal-distributed data, and strong local models are needed to make good predictions. Addressing these problems, we propose a binary tree-structured hierarchical routing mixture of experts (HRME) model that has classifiers as non-leaf node experts and simple regression models as leaf node experts. The classifier nodes jointly soft-partition the input-output space based on the natural separateness of multimodal data. This enables simple leaf experts to be effective for prediction. Further, we develop a probabilistic framework for the HRME model, and propose a recursive Expectation-Maximization (EM) based algorithm to learn both the tree structure and the expert models. Experiments on a collection of regression tasks validate the effectiveness of our method compared to a variety of other regression models.


title: Distance Distribution Between Two Random Nodes in Arbitrary Polygons

abstract: Distance distributions are a key building block in stochastic geometry modelling of wireless networks and in many other fields in mathematics and science. In this paper, we propose a novel framework for analytically computing the closed form probability density function (PDF) of the distance between two random nodes each uniformly randomly distributed in respective arbitrary (convex or concave) polygon regions (which may be disjoint or overlap or coincide). The proposed framework is based on measure theory and uses polar decomposition for simplifying and calculating the integrals to obtain closed form results. We validate our proposed framework by comparison with simulations and published closed form results in the literature for simple cases. We illustrate the versatility and advantage of the proposed framework by deriving closed form results for a case not yet reported in the literature. Finally, we also develop a Mathematica implementation of the proposed framework which allows a user to define any two arbitrary polygons and conveniently determine the distance distribution numerically.


title: Motion Planning for Multi-Mobile-Manipulator Payload Transport Systems

abstract: In this paper, a kinematic motion planning algorithm for cooperative spatial payload manipulation is presented. A hierarchical approach is introduced to compute real-time collision-free motion plans for a formation of mobile manipulator robots. Initially, collision-free configurations of a deformable 2-D virtual bounding box are identified, over a planning horizon, to define a convex workspace for the entire system. Then, 3-D payload configurations whose projections lie within the defined convex workspace are computed. Finally, a convex decentralized model-predictive controller is formulated to plan collision-free trajectories for the formation of mobile manipulators. This approach facilitates real-time motion planning for the system and is scalable in the number of robots. The algorithm is validated in simulated dynamic environments. Simulation video: https://youtu.be/9EKj7RwRs_4.


title: Machine Learning for Orders of Magnitude Speedup in Multi-Objective Optimization of Particle Accelerator Systems

abstract: High-fidelity physics simulations are powerful tools in the design and optimization of charged particle accelerators. However, the computational burden of these simulations often limits their use in practice for design optimization and experiment planning. It also precludes their use as online models tied directly to accelerator operation. We introduce an approach based on machine learning to create nonlinear, fast-executing surrogate models that are informed by a sparse sampling of the physics simulation. The models are 10^6 to 10^7 times more efficient to execute.We also demonstrate that these models can be reliably used with multi-objective optimization to obtain orders-of-magnitude speedup in initial design studies and experiment planning. For example, we required 132 times fewer simulation evaluations to obtain an equivalent solution for our main test case, and initial studies suggest that between 330 to 550 times fewer simulation evaluations are needed when using an iterative retraining process. Our approach enables new ways for high-fidelity particle accelerator simulations to be used, at comparatively little computational cost.


title: High-Energy Astrophysics in the 2020s and Beyond

abstract: With each passing decade, we gain new appreciation for the dynamic, connected, and often violent nature of the Universe. This reality necessarily places the study of high-energy processes at the very heart of modern astrophysics. This White Paper illustrates the central role of high-energy astrophysics to some of the most pressing astrophysical problems of our time, the formation/evolution of galaxies, the origin of the heavy elements, star and planet formation, the emergence of life on exoplanets, and the search for new physics. We also highlight the new connections that are growing between astrophysicists and plasma physicists. We end with a discussion of the challenges that must be addressed to realize the potential of these connections, including the need for integrated planning across physics and astronomy programs in multiple agencies, and the need to foster the creativity and career aspirations of individual scientists in this era of large projects.


title: A Parallel Data Compression Framework for Large Scale 3D Scientific Data

abstract: Large scale simulations of complex systems ranging from climate and astrophysics to crowd dynamics, produce routinely petabytes of data and are projected to reach the zettabytes level in the coming decade. These simulations enable unprecedented insights but at the same their effectiveness is hindered by the enormous data sizes associated with the computational elements and respective output quantities of interest that impose severe constraints on storage and I/O time. In this work, we address these challenges through a novel software framework for scientific data compression. The software (CubismZ) incorporates efficient wavelet based techniques and the state-of-the-art ZFP, SZ and FPZIP floating point compressors. The framework relies on a block-structured data layout, benefits from OpenMP and MPI and targets supercomputers based on multicores. CubismZ can be used as a tool for ex situ (offline) compression of scientific datasets and supports conventional Computational Fluid Dynamics (CFD) file formats. Moreover, it provides a testbed of comparison, in terms of compression factor and peak signal-to-noise ratio, for a number of available data compression methods. The software yields in situ compression ratios of 100x or higher for fluid dynamics data produced by petascale simulations of cloud cavitation collapse using $\mathcal{O}(10^{11})$ grid cells, with negligible impact on the total simulation time.


title: Emergent regularities and scaling in armed conflict data

abstract: Armed conflict exhibits regularities beyond known power law distributions of fatalities and duration over varying culture and geography. We systematically cluster conflict reports from a database of $10^5$ events from Africa spanning 20 years into conflict avalanches. Conflict profiles collapse over a range of scales. Duration, diameter, extent, fatalities, and report totals satisfy mutually consistent scaling relations captured with a model combining geographic spread and local conflict-site growth. The emergence of such social scaling laws hints at principles guiding conflict evolution.

categories: physics.soc-ph cond-mat.stat-mech nlin.AO q-bio.NC


title: Manifest gravitational duality near anti de Sitter space-time

abstract: We derive a manifestly duality-invariant formulation of the action principle for linearized gravity on anti de Sitter background. The analysis is based on the two-potential formalism, obtained upon resolution of the constraints in the Hamiltonian formulation. We discuss the relevance of our result in the context of holography.


title: The Moduli Space of smooth Ample Hypersurfaces in Abelian Varieties

abstract: We give a characterizaton of smooth ample Hypersurfaces in Abelian Varieties and also describe an irreducible connected component of their moduli space: it consists of the Hypersurfaces of a given polarization type, plus the iterated univariate coverings of normal type (of the same polarization type). The above manifolds yield also a connected component of the open set of Teichm\"uller space consisting of K\"ahler complex structures.


title: Deep Reinforcement Learning with Decorrelation

abstract: Learning an effective representation for high-dimensional data is a challenging problem in reinforcement learning (RL). Deep reinforcement learning (DRL) such as Deep Q networks (DQN) achieves remarkable success in computer games by learning deeply encoded representation from convolution networks. In this paper, we propose a simple yet very effective method for representation learning with DRL algorithms. Our key insight is that features learned by DRL algorithms are highly correlated, which interferes with learning. By adding a regularized loss that penalizes correlation in latent features (with only slight computation), we decorrelate features represented by deep neural networks incrementally. On 49 Atari games, with the same regularization factor, our decorrelation algorithms perform $70\%$ in terms of human-normalized scores, which is $40\%$ better than DQN. In particular, ours performs better than DQN on 39 games with 4 close ties and lost only slightly on $6$ games. Empirical results also show that the decorrelation method applies to Quantile Regression DQN (QR-DQN) and significantly boosts performance. Further experiments on the losing games show that our decorelation algorithms can win over DQN and QR-DQN with a fined tuned regularization factor.


title: Lemotif: An Affective Visual Journal Using Deep Neural Networks

abstract: We present Lemotif, an integrated natural language processing and image generation system that uses machine learning to (1) parse a text-based input journal entry describing the user's day for salient themes and emotions and (2) visualize the detected themes and emotions in creative and appealing image motifs. Synthesizing approaches from artificial intelligence and psychology, Lemotif acts as an affective visual journal, encouraging users to regularly write and reflect on their daily experiences through visual reinforcement. By making patterns in emotions and their sources more apparent, Lemotif aims to help users better understand their emotional lives, identify opportunities for action, and track the effectiveness of behavioral changes over time. We verify via human studies that prospective users prefer motifs generated by Lemotif over corresponding baselines, find the motifs representative of their journal entries, and think they would be more likely to journal regularly using a Lemotif-based app.


title: Visualizations of Centre Vortex Structure in Lattice Simulations

abstract: The structure of centre vortices in SU(3) gauge-field configurations is examined through modern visualization techniques. Centre vortices are identified through gauge transformations maximizing the centre of the gauge group. Focusing on the thin vortices identified by Wilson loops having a non-trivial centre phase, the vortex structure is illustrated through renderings of oriented spatial plaquettes. Time oriented plaquettes are illustrated by identifying spatial links associated with these non-trivial plaquettes. The results illustrate an important role for the branching of SU(3) centre vortices, possibly through monopole anti-monopole dynamics. Of particular interest is the correlation of the vortex structure and the topological-charge structure of the gauge fields, vital to dynamical chiral symmetry breaking and its associated mass generation. Singular points, where the projected vortex structure contains non-trivial centre phases in associated plaquettes spanning all four dimensions, are observed within the regions of nontrivial topological charge density calculated on the original Monte-Carlo generated configurations. The results provide new insights into the role of centre vortices in underpinning non-trivial topology in gauge fields. They reveal how the removal of centre-vortices necessarily destroys non-trivial topology and destabilizes would-be instantons under smoothing algorithms. The observed correlations further strengthen the idea that centre vortices are the seeds of dynamical chiral symmetry breaking.


title: Neural Networks for Lorenz Map Prediction: A Trip Through Time

abstract: In this article the Lorenz dynamical system is revived and revisited and the current state of the art results for one step ahead forecasting for the Lorenz trajectories are published. Multitask learning is shown to help learning the hard to learn z trajectory. The article is a reflection upon the evolution of neural networks with respect to the prediction performance on this canonical task.


title: J. S. Mill's Liberal Principle and Unanimity

abstract: The broad concept of an individual's welfare is actually a cluster of related specific concepts that bear a "family resemblance" to one another. One might care about how a policy will affect people both in terms of their subjective preferences and also in terms of some notion of their objective interests. This paper provides a framework for evaluation of policies in terms of welfare criteria that combine these two considerations. Sufficient conditions are provided for such a criterion to imply the same ranking of social states as does Pareto's unanimity criterion. Sufficiency is proved via study of a community of agents with interdependent ordinal preferences.


title: Variational B-rep Model Analysis for Direct Modeling using Geometric Perturbation

abstract: The very recent CAD paradigm of direct modeling gives rise to the need of processing 3D geometric constraint systems defined on boundary representation (B-rep) models. The major issue of processing such variational B-rep models (in the STEP format) is that free motions of a well-constrained model involve more than just rigid-body motions. The fundamental difficulty lies in having a systematic description of what pattern these free motions follow. This paper proposes a geometric perturbation method to study these free motions. This method is a generalization of the witness method, allowing it to directly deal with variational B-rep models represented with the standard STEP scheme. This generalization is essentially achieved by using a direct, geometric representation of the free motions, and then expressing the free motions in terms of composites of several basis motions. To demonstrate the effectiveness of the proposed method, a series of comparisons and case studies are presented.


title: Collective stochastic dynamics of the Cucker-Smale ensemble under uncertain communications

abstract: We present collective dynamics of the Cucker-Smale (C-S) ensemble under random communications. As an effective modeling of the C-S ensemble, we introduce a stochastic kinetic C-S equation with a multiplicative white noise. For the proposed stochastic kinetic model with a multiplicative noise, we present a global well-posedness of strong solutions and their asymptotic flocking dynamics, when initial datum is sufficiently regular, and communication weight function has a positive lower bound.


title: Bijections between t-Core Partitions and t-Tuples

abstract: This note introduces some bijections relating core partitions and tuples of integers. We apply these bijections to count the number of cores with various types of restriction, including fixed number of parts, limited size of parts, parts divisible by some integer, and distinct parts. For example, we prove that the number of $2t$-core partitions into $l$ even parts equals the number of $t$-core partitions into $l$ parts. We also generalize one expression for simultaneous cores, which was given by Baek, Nam and Yu, recently. Subsequently, we use this expression to obtain recurrence satisfied by numbers of $(s,s+1,\cdots,s+r)-$core partitions for $s\geq1$.


title: Bounds on the probability of radically different opinions

abstract: We establish bounds on the probability that two different agents, who share an initial opinion expressed as a probability distribution on an abstract probability space, given two different sources of information, may come to radically different opinions regarding the conditional probability of the same event.


title: Bow shocks, bow waves, and dust waves. II. Beyond the rip point

abstract: Dust waves are a result of gas-grain decoupling in a stream of dusty plasma that flows past a luminous star. The radiation field is sufficiently strong to overcome the collisional coupling between grains and gas at a "rip-point", where the ratio of radiation pressure to gas pressure exceeds a critical value of roughly 1000. When the rip point occurs outside the hydrodynamic bow shock, a separate dust wave may form, decoupled from the gas shell, which can either be drag-confined or inertia-confined, depending on the stream density and relative velocity. In the drag-confined case, there is a minimum stream velocity of roughly 60 km/s that allows a steady-state stagnant drift solution for the dust wave apex. For lower relative velocities, the dust dynamics close to the axis exhibit a limit cycle behavior (rip and snap back) between two different radii. Strong coupling of charged grains to the plasma's magnetic field can modify these effects, but for a quasi-parallel field orientation the results are qualitatively similar to the non-magnetic case. For a quasi-perpendicular field, on the other hand, the formation of a decoupled dust wave is strongly suppressed.


title: QuickSort: Improved right-tail asymptotics for the limiting distribution, and large deviations

abstract: We substantially refine asymptotic logarithmic upper bounds produced by Svante Janson (2015) on the right tail of the limiting QuickSort distribution function $F$ and by Fill and Hung (2018) on the right tails of the corresponding density $f$ and of the absolute derivatives of $f$ of each order. For example, we establish an upper bound on $\log[1 - F(x)]$ that matches conjectured asymptotics of Knessl and Szpankowski (1999) through terms of order $(\log x)^2$; the corresponding order for the Janson (2015) bound is the lead order, $x \log x$. Using the refined asymptotic bounds on $F$, we derive right-tail large deviation (LD) results for the distribution of the number of comparisons required by QuickSort that substantially sharpen the two-sided LD results of McDiarmid and Hayward (1996).


title: Modeling with the Crowd: Optimizing the Human-Machine Partnership with Zooniverse

abstract: LSST and Euclid must address the daunting challenge of analyzing the unprecedented volumes of imaging and spectroscopic data that these next-generation instruments will generate. A promising approach to overcoming this challenge involves rapid, automatic image processing using appropriately trained Deep Learning (DL) algorithms. However, reliable application of DL requires large, accurately labeled samples of training data. Galaxy Zoo Express (GZX) is a recent experiment that simulated using Bayesian inference to dynamically aggregate binary responses provided by citizen scientists via the Zooniverse crowd-sourcing platform in real time. The GZX approach enables collaboration between human and machine classifiers and provides rapidly generated, reliably labeled datasets, thereby enabling online training of accurate machine classifiers. We present selected results from GZX and show how the Bayesian aggregation engine it uses can be extended to efficiently provide object-localization and bounding-box annotations of two-dimensional data with quantified reliability. DL algorithms that are trained using these annotations will facilitate numerous panchromatic data modeling tasks including morphological classification and substructure detection in direct imaging, as well as decontamination and emission line identification for slitless spectroscopy. Effectively combining the speed of modern computational analyses with the human capacity to extrapolate from few examples will be critical if the potential of forthcoming large-scale surveys is to be realized.


title: Symmetric functions in superspace: a compendium of results and open problems (including a SageMath worksheet)

abstract: We present a review of the most important results in the theory of symmetric functions in superspace (or symmetric superpolynomials), summarizing all principal contributions since its introduction in 2001 in the context of the supersymmetric Calogero-Moser-Sutherland integrable model. We also mention some open problems which remain unanswered at this moment, in particular the connection with representation theory. In addition, we provide a free open access source code, relying on SageMath library, that can be used as a research tool for symmetric superpolynomials. The content is directed to an audience new to this research area, but who is familiar with the classical theory of symmetric functions.


title: Pump-probe nuclear spin relaxation study of the quantum Hall ferromagnet at filling factor nu = 2

abstract: The nuclear spin-lattice relaxation time T1 of the nu = 2 quantum Hall ferromagnet (QHF) formed in a gate-controlled InSb two-dimensional electron gas has been characterized using a pump-probe technique. In contrast to a long T1 of quantum Hall states around nu = 1 that possesses a Korringa-type temperature dependence, the temperature-independent short T1 of the nu = 2 QHF suggests the presence of low energy collective spin excitations in a domain wall. Furthermore, T1 of this ferromagnetic state is also found to be filling- and current-independent. The interpretation of these results as compared to the T1 properties of other QHFs is discussed in terms of the domain wall skyrmion, which will lead to a better understanding of the QHF.


title: The exterior spacetime of relativistic stars in scalar-Gauss-Bonnet gravity

abstract: The spacetime around compact objects is an excellent place to study gravity in the strong, nonlinear, dynamical regime where solar system tests cannot account for the effects of large curvature. Understanding the dynamics of this spacetime is important for testing theories of gravity and probing a regime which has not yet been studied with observations. In this paper, we construct an analytical solution for the exterior spacetime of a neutron star in scalar-Gauss-Bonnet gravity that is independent of the equation of state chosen. The aim is to provide a metric that can be used to probe the strong-field regime near a neutron star and create predictions that can be compared with future observations to place possible constraints on the theory. In addition to constructing the metric, we examine a number of physical systems in order to see what deviations exist between our spacetime and that of general relativity. We find these deviations to be small and of higher post-Newtonian order than previous results using black hole solutions. The metric derived here can be used to further the study of scalar-Gauss-Bonnet gravity in the strong field, and allow for constraints on corrections to general relativity with future observations.


title: Optimal Bias Correction of the Log-periodogram Estimator of the Fractional Parameter: A Jackknife Approach

abstract: We use the jackknife to bias correct the log-periodogram regression(LPR) estimator of the fractional parameter in a stationary fractionally integrated model. The weights for the jackknife estimator are chosen in such a way that bias reduction is achieved without the usual increase in asymptotic variance, with the estimator viewed as `optimal' in this sense. The theoretical results are valid under both the non-overlapping and moving-block sub-sampling schemes that can be used in the jackknife technique, and do not require the assumption of Gaussianity for the data generating process. A Monte Carlo study explores the finite sample performance of different versions of the jackknife estimator, under a variety of scenarios. The simulation experiments reveal that when the weights are constructed using the parameter values of the true data generating process, a version of the optimal jackknife estimator almost always out-performs alternative semi-parametric bias-corrected estimators. A feasible version of the jackknife estimator, in which the weights are constructed using estimates of the unknown parameters, whilst not dominant overall, is still the least biased estimator in some cases. Even when misspecified short run dynamics are assumed in the construction of the weights, the feasible jackknife still shows significant reduction in bias under certain designs. As is not surprising, parametric maximum likelihood estimation out-performs all semi-parametric methods when the true values of the short memory parameters are known, but is dominated by the semi-parametric methods (in terms of bias) when the short memory parameters need to be estimated, and in particular when the model is misspecified.


title: Vulnerability Assessment of N-1 Reliable Power Systems to False Data Injection Attacks

abstract: This paper studies the vulnerability of large-scale power systems to false data injection (FDI) attacks through their physical consequences. Prior work has shown that an attacker-defender bi-level linear program (ADBLP) can be used to determine the worst-case consequences of FDI attacks aiming to maximize the physical power flow on a target line. Understanding the consequences of these attacks requires consideration of power system operations commonly used in practice, specifically real-time contingency analysis (RTCA) and security constrained economic dispatch (SCED). An ADBLP is formulated with detailed assumptions on attacker's knowledge, and a modified Benders' decomposition algorithm is introduced to solve such an ADBLP. The vulnerability analysis results presented for the synthetic Texas system with 2000 buses show that intelligent FDI attacks can cause post-contingency overflows.


title: Semiparametric Methods for Exposure Misclassification in Propensity Score-Based Time-to-Event Data Analysis

abstract: In epidemiology, identifying the effect of exposure variables in relation to a time-to-event outcome is a classical research area of practical importance. Incorporating propensity score in the Cox regression model, as a measure to control for confounding, has certain advantages when outcome is rare. However, in situations involving exposure measured with moderate to substantial error, identifying the exposure effect using propensity score in Cox models remains a challenging yet unresolved problem. In this paper, we propose an estimating equation method to correct for the exposure misclassification-caused bias in the estimation of exposure-outcome associations. We also discuss the asymptotic properties and derive the asymptotic variances of the proposed estimators. We conduct a simulation study to evaluate the performance of the proposed estimators in various settings. As an illustration, we apply our method to correct for the misclassification-caused bias in estimating the association of PM2.5 level with lung cancer mortality using a nationwide prospective cohort, the Nurses' Health Study (NHS). The proposed methodology can be applied using our user-friendly R function published online.


title: Category decoding of visual stimuli from human brain activity using a bidirectional recurrent neural network to simulate bidirectional information flows in human visual cortices

abstract: Recently, visual encoding and decoding based on functional magnetic resonance imaging (fMRI) have realized many achievements with the rapid development of deep network computation. Despite the hierarchically similar representations of deep network and human vision, visual information flows from primary visual cortices to high visual cortices and vice versa based on the bottom-up and top-down manners, respectively. Inspired by the bidirectional information flows, we proposed a bidirectional recurrent neural network (BRNN)-based method to decode the categories from fMRI data. The forward and backward directions in the BRNN module characterized the bottom-up and top-down manners, respectively. The proposed method regarded the selected voxels of each visual cortex region (V1, V2, V3, V4, and LO) as one node in the sequence fed into the BRNN module and combined the output of the BRNN module to decode the categories with the subsequent fully connected layer. This new method allows the efficient utilization of hierarchical information representations and bidirectional information flows in human visual cortices. Experiment results demonstrated that our method improved the accuracy of three-level category decoding than other methods, which implicitly validated the hierarchical and bidirectional human visual representations. Comparative analysis revealed that the category representations of human visual cortices were hierarchical, distributed, complementary, and correlative.