title: Substructural Observed Communication Semantics

abstract: Session-types specify communication protocols for communicating processes, and session-typed languages are often specified using substructural operational semantics given by multiset rewriting systems. We give an observed communication semantics for a session-typed language with recursion, where a process's observation is given by its external communications. To do so, we introduce fair executions for multiset rewriting systems, and extract observed communications from fair process executions. This semantics induces an intuitively reasonable notion of observational equivalence that we conjecture coincides with semantic equivalences induced by denotational semantics, bisimulations, and barbed congruences for these languages.


title: Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars

abstract: Comparison of concurrent programming languages and correctness of program transformations in concurrency are the focus of this research. As criterion we use contextual semantics adapted to concurrency, where may -- as well as should -- convergence are observed. We investigate the relation between the synchronous pi-calculus and a core language of Concurrent Haskell (CH). The contextual semantics is on the one hand forgiving with respect to the details of the operational semantics, and on the other hand implies strong requirements for the interplay between the processes after translation. Our result is that CH embraces the synchronous pi-calculus. Our main task is to find and prove correctness of encodings of pi-calculus channels by CH's concurrency primitives, which are MVars. They behave like (blocking) 1-place buffers modelling the shared-memory. The first developed translation uses an extra private MVar for every communication.We also automatically generate and check potentially correct translations that reuse the MVars where one MVar contains the message and two additional MVars for synchronization are used to model the synchronized communication of a single channel in the pi-calculus.Our automated experimental results lead to the conjecture that one additional MVar is insufficient.


title: The Battle of Infinity: Explosive Demand Surge vs Gigantic Service Providers

abstract: Infinite server queues have ultimate processing power to accommodate explosive demand surges. We provide a new stability criterion based on the Borel-Cantelli lemma to judge whether the infinite server safely accommodates heavy-tailed demands. We illustrate the battles between heavy-tailed demand and infinite servers in detail. In particular, we show some cases where the explosive demand overwhelms the infinite server queue. The medical demand caused by pandemics such as the COVID- 19 creates huge stress to the healthcare system. This framework indicates that healthcare systems need to account for the tail behavior of the cluster size and hospital stay length distributions to check the stability of their systems during pandemics.


title: Multi-Scale One-Class Recurrent Neural Networks for Discrete Event Sequence Anomaly Detection

abstract: Discrete event sequences are ubiquitous, such as an ordered event series of process interactions in Information and Communication Technology systems. Recent years have witnessed increasing efforts in detecting anomalies with discrete-event sequences. However, it still remains an extremely difficult task due to several intrinsic challenges including data imbalance issues, the discrete property of the events, and sequential nature of the data. To address these challenges, in this paper, we propose OC4Seq, a multi-scale one-class recurrent neural network for detecting anomalies in discrete event sequences. Specifically, OC4Seq integrates the anomaly detection objective with recurrent neural networks (RNNs) to embed the discrete event sequences into latent spaces, where anomalies can be easily detected. In addition, given that an anomalous sequence could be caused by either individual events, subsequences of events, or the whole sequence, we design a multi-scale RNN framework to capture different levels of sequential patterns simultaneously. Experimental results on three benchmark datasets show that OC4Seq consistently outperforms various representative baselines by a large margin. Moreover, through both quantitative and qualitative analysis, the importance of capturing multi-scale sequential patterns for event anomaly detection is verified.


title: Sentence Guided Temporal Modulation for Dynamic Video Thumbnail Generation

abstract: We consider the problem of sentence specified dynamic video thumbnail generation. Given an input video and a user query sentence, the goal is to generate a video thumbnail that not only provides the preview of the video content, but also semantically corresponds to the sentence. In this paper, we propose a sentence guided temporal modulation (SGTM) mechanism that utilizes the sentence embedding to modulate the normalized temporal activations of the video thumbnail generation network. Unlike the existing state-of-the-art method that uses recurrent architectures, we propose a non-recurrent framework that is simple and allows much more parallelization. Extensive experiments and analysis on a large-scale dataset demonstrate the effectiveness of our framework.


title: Extreme Memorization via Scale of Initialization

abstract: We construct an experimental setup in which changing the scale of initialization strongly impacts the implicit regularization induced by SGD, interpolating from good generalization performance to completely memorizing the training set while making little progress on the test set. Moreover, we find that the extent and manner in which generalization ability is affected depends on the activation and loss function used, with $\sin$ activation demonstrating extreme memorization. In the case of the homogeneous ReLU activation, we show that this behavior can be attributed to the loss function. Our empirical investigation reveals that increasing the scale of initialization correlates with misalignment of representations and gradients across examples in the same class. This insight allows us to devise an alignment measure over gradients and representations which can capture this phenomenon. We demonstrate that our alignment measure correlates with generalization of deep models trained on image classification tasks.


title: Local observer effect on the cosmological soft theorem

abstract: Non-Gaussianities of primordial perturbations in the soft limit provide the important information about the light degrees of freedom during inflation. The soft modes of the curvature perturbations, unobservable for a local observer, act as rescaling the spatial coordinates. We determine how the trispectrum in the collapsed limit is shifted by the rescaling due to the soft modes. We find the form of the inequality between $f_{\rm NL}$ and $\tau_{\rm NL}$ parameters is not affected by the rescaling, demonstrating that the role of the inequality as an indicator of the light degrees of freedom remains intact. We also comment on the local observer effect on the consistency relation for ultra slow-roll inflation.


title: Quantum random access memory via quantum walk

abstract: A novel concept of quantum random access memory (qRAM) employing a quantum walk is provided. Our qRAM relies on a bucket brigade scheme to access the memory cells. Introducing a bucket with chirality left and right as a quantum walker, and considering its quantum motion on a full binary tree, we can efficiently deliver the bucket to the designated memory cells, and fill the bucket with the desired information in the form of quantum superposition states. Our procedure has several advantages. First, we do not need to place any quantum devices at the nodes of the binary tree, and hence in our qRAM architecture, the cost to maintain the coherence can be significantly reduced. Second, our scheme is fully parallelized. Consequently, only O(n) steps are required to access and retrieve O(2n) data in the form of quantum superposition states. Finally, the simplicity of our procedure may allow the design of qRAM with simpler structures.


title: Functionalism as a Species of Reduction

abstract: This is the first of four papers prompted by a recent literature about a doctrine dubbed spacetime functionalism. This paper gives our general framework for discussing functionalism. Following Lewis, we take it as a species of reduction. We start by expounding reduction in a broadly Nagelian sense. Then we argue that Lewis's functionalism is an improvement on Nagelian reduction. This paper thereby sets the scene for the other papers, which will apply our framework to theories of space and time. Overall, we come to praise spacetime functionalism, not to bury it. But we criticize the recent philosophical literature for failing to stress: (i) functionalism's being a species of reduction (in particular: reduction of chrono-geometry to the physics of matter and radiation); (ii) functionalism's idea of specifying several concepts simultaneously by their roles; (iii) functionalism's providing bridge laws that are mandatory, not optional: they are statements of identity (or co-extension) that are conclusions of a deductive argument; and once we infer them, we have a reduction in a Nagelian sense. On the other hand, some of the older philosophical literature, and the mathematical physics literature, is faithful to these ideas (i) to (iii). In various papers, falling under various research programmes, the unique definability of a chrono-geometric concept (or concepts) in terms of matter and radiation, and a corresponding bridge law and reduction, is secured by a precise theorem. Hence our desire to celebrate these results as rigorous renditions of spacetime functionalism.


title: VarifocalNet: An IoU-aware Dense Object Detector

abstract: Accurately ranking the vast number of candidate detections is crucial for dense object detectors to achieve high performance. Prior work uses the classification score or a combination of classification and predicted localization scores to rank candidates. However, neither option results in a reliable ranking, thus degrading detection performance. In this paper, we propose to learn an Iou-aware Classification Score (IACS) as a joint representation of object presence confidence and localization accuracy. We show that dense object detectors can achieve a more accurate ranking of candidate detections based on the IACS. We design a new loss function, named Varifocal Loss, to train a dense object detector to predict the IACS, and propose a new star-shaped bounding box feature representation for IACS prediction and bounding box refinement. Combining these two new components and a bounding box refinement branch, we build an IoU-aware dense object detector based on the FCOS+ATSS architecture, that we call VarifocalNet or VFNet for short. Extensive experiments on MS COCO show that our VFNet consistently surpasses the strong baseline by $\sim$2.0 AP with different backbones. Our best model VFNet-X-1200 with Res2Net-101-DCN achieves a single-model single-scale AP of 55.1 on COCO test-dev, which is state-of-the-art among various object detectors.Code is available at https://github.com/hyz-xmaster/VarifocalNet .


title: PT-Ranking: A Benchmarking Platform for Neural Learning-to-Rank

abstract: Deep neural networks has become the first choice for researchers working on algorithmic aspects of learning-to-rank. Unfortunately, it is not trivial to find the optimal setting of hyper-parameters that achieves the best ranking performance. As a result, it becomes more and more difficult to develop a new model and conduct a fair comparison with prior methods, especially for newcomers. In this work, we propose PT-Ranking, an open-source project based on PyTorch for developing and evaluating learning-to-rank methods using deep neural networks as the basis to construct a scoring function. On one hand, PT-Ranking includes many representative learning-to-rank methods. Besides the traditional optimization framework via empirical risk minimization, adversarial optimization framework is also integrated. Furthermore, PT-Ranking's modular design provides a set of building blocks that users can leverage to develop new ranking models. On the other hand, PT-Ranking supports to compare different learning-to-rank methods based on the widely used datasets (e.g., MSLR-WEB30K, Yahoo!LETOR and Istella LETOR) in terms of different metrics, such as precision, MAP, nDCG, nERR. By randomly masking the ground-truth labels with a specified ratio, PT-Ranking allows to examine to what extent the ratio of unlabelled query-document pairs affects the performance of different learning-to-rank methods. We further conducted a series of demo experiments to clearly show the effect of different factors on neural learning-to-rank methods, such as the activation function, the number of layers and the optimization strategy.


title: Introducing Representations of Facial Affect in Automated Multimodal Deception Detection

abstract: Automated deception detection systems can enhance health, justice, and security in society by helping humans detect deceivers in high-stakes situations across medical and legal domains, among others. This paper presents a novel analysis of the discriminative power of dimensional representations of facial affect for automated deception detection, along with interpretable features from visual, vocal, and verbal modalities. We used a video dataset of people communicating truthfully or deceptively in real-world, high-stakes courtroom situations. We leveraged recent advances in automated emotion recognition in-the-wild by implementing a state-of-the-art deep neural network trained on the Aff-Wild database to extract continuous representations of facial valence and facial arousal from speakers. We experimented with unimodal Support Vector Machines (SVM) and SVM-based multimodal fusion methods to identify effective features, modalities, and modeling approaches for detecting deception. Unimodal models trained on facial affect achieved an AUC of 80%, and facial affect contributed towards the highest-performing multimodal approach (adaptive boosting) that achieved an AUC of 91% when tested on speakers who were not part of training sets. This approach achieved a higher AUC than existing automated machine learning approaches that used interpretable visual, vocal, and verbal features to detect deception in this dataset, but did not use facial affect. Across all videos, deceptive and truthful speakers exhibited significant differences in facial valence and facial arousal, contributing computational support to existing psychological theories on affect and deception. The demonstrated importance of facial affect in our models informs and motivates the future development of automated, affect-aware machine learning approaches for modeling and detecting deception and other social behaviors in-the-wild.


title: Kerr-Vaidya black holes

abstract: Kerr-Vaidya metrics are the simplest nonstationary extensions of the Kerr metric. We explore their properties and compare them with the near-horizon limits of the spherically symmetric self-consistent solutions (the ingoing Vaidya metric with decreasing mass and the outgoing Vaidya metric with increasing mass) for the evaporating and accreting physical black holes. The Newman-Janis transformation relates the corresponding Vaidya and Kerr-Vaidya metrics. For nonzero angular momentum, the energy-momentum tensor violates the null energy condition (NEC). However, we show that its structure differs from the standard form of the NEC-violating tensors. The apparent horizon in the outgoing Kerr-Vaidya metric coincides with that of the Kerr black hole. For the ingoing metric, its location is different. We derive the ordinary differential equation for this surface and locate it numerically. A spherically symmetric accreting black hole leads to a firewall -- a divergent energy density, pressure, and flux as perceived by an infalling observer. We show that this is also true for the outgoing Kerr-Vaidya metric


title: Universal Route for the Emergence of Exceptional Points in PT-Symmetric Metamaterials with Unfolding Spectral Symmetries

abstract: We introduce a class of Parity-Time symmetric elastodynamic metamaterials (Ed-MetaMater) whose Hermitian counterpart exhibits a frequency spectrum with unfolding (fractal) symmetries. Our study reveals a scale-free formation of exceptional points (EP) whose density is dictated by the fractal dimension of their Hermitian spectra. Demonstrated in a quasi-periodic Aubry-Harper, a geometric H-tree-fractal, and an aperiodic Fibonacci Ed-MetaMater, the universal route for EP-formation is established via a coupled mode theory model with controllable fractal spectrum. This universality will enable the rational design of novel Ed-MetaMater for hypersensitive sensing and elastic wave control.


title: Note on approximating the Laplace transform of a Gaussian on a complex disk

abstract: In this short note we study how well a Gaussian distribution can be approximated by distributions supported on $[-a,a]$. Perhaps, the natural conjecture is that for large $a$ the almost optimal choice is given by truncating the Gaussian to $[-a,a]$. Indeed, such approximation achieves the optimal rate of $e^{-\Theta(a^2)}$ in terms of the $L_\infty$-distance between characteristic functions. However, if we consider the $L_\infty$-distance between Laplace transforms on a complex disk, the optimal rate is $e^{-\Theta(a^2 \log a)}$, while truncation still only attains $e^{-\Theta(a^2)}$. The optimal rate can be attained by the Gauss-Hermite quadrature. As corollary, we also construct a ``super-flat'' Gaussian mixture of $\Theta(a^2)$ components with means in $[-a,a]$ and whose density has all derivatives bounded by $e^{-\Omega(a^2 \log(a))}$ in the $O(1)$-neighborhood of the origin.


title: Optimize What You Evaluate With: A Simple Yet Effective Framework For Direct Optimization Of IR Metrics

abstract: Learning-to-rank has been intensively studied and has shown significantly increasing values in a wide range of domains. The performance of learning-to-rank methods is commonly evaluated using rank-sensitive metrics, such as average precision (AP) and normalized discounted cumulative gain (nDCG). Unfortunately, how to effectively optimize rank-sensitive objectives is far from being resolved, which has been an open problem since the dawn of learning-to-rank over a decade ago. In this paper, we introduce a simple yet effective framework for directly optimizing information retrieval (IR) metrics. Specifically, we propose a novel twin-sigmoid function for deriving the exact rank positions of documents during the optimization process instead of using approximated rank positions or relying on the traditional sorting algorithms. Thanks to this, the rank positions are differentiable, enabling us to reformulate the widely used IR metrics as differentiable ones and directly optimize them based on neural networks. Furthermore, by carrying out an in-depth analysis of the gradients, we pinpoint the potential limitations inherent with direct optimization of IR metrics based on the vanilla sigmoid. To break the limitations, we propose different strategies by explicitly modifying the gradient computation. To validate the effectiveness of the proposed framework for direct optimization of IR metrics, we conduct a series of experiments on the widely used benchmark collection MSLRWEB30K.


title: Active Local Learning

abstract: In this work we consider active local learning: given a query point $x$, and active access to an unlabeled training set $S$, output the prediction $h(x)$ of a near-optimal $h \in H$ using significantly fewer labels than would be needed to actually learn $h$ fully. In particular, the number of label queries should be independent of the complexity of $H$, and the function $h$ should be well-defined, independent of $x$. This immediately also implies an algorithm for distance estimation: estimating the value $opt(H)$ from many fewer labels than needed to actually learn a near-optimal $h \in H$, by running local learning on a few random query points and computing the average error. For the hypothesis class consisting of functions supported on the interval $[0,1]$ with Lipschitz constant bounded by $L$, we present an algorithm that makes $O(({1 / \epsilon^6}) \log(1/\epsilon))$ label queries from an unlabeled pool of $O(({L / \epsilon^4})\log(1/\epsilon))$ samples. It estimates the distance to the best hypothesis in the class to an additive error of $\epsilon$ for an arbitrary underlying distribution. We further generalize our algorithm to more than one dimensions. We emphasize that the number of labels used is independent of the complexity of the hypothesis class which depends on $L$. Furthermore, we give an algorithm to locally estimate the values of a near-optimal function at a few query points of interest with number of labels independent of $L$. We also consider the related problem of approximating the minimum error that can be achieved by the Nadaraya-Watson estimator under a linear diagonal transformation with eigenvalues coming from a small range. For a $d$-dimensional pointset of size $N$, our algorithm achieves an additive approximation of $\epsilon$, makes $\tilde{O}({d}/{\epsilon^2})$ queries and runs in $\tilde{O}({d^2}/{\epsilon^{d+4}}+{dN}/{\epsilon^2})$ time.


title: Torres infinitas sorprendentes. Una introducci\'on a la Teor\'ia de Iwasawa

abstract: This text is a mostly self-contained textbook-like introduction to classical and modern Iwasawa Theory in Spanish language. It grew out of notes for a course that the authors gave at the annual conference of the Mexican Mathematical Society (SMM) in 2018. It covers some preliminaries from algebraic number theory and profinite algebra, the theory of the Iwasawa algebra and its modules, results about class groups in $\mathbb{Z}_p$-extensions, $p$-adic $L$-functions for Dirichlet characters and their various constructions (along with some complex theory of $L$-functions), the cyclotomic main conjecture in different formulations together with its most important implications, and a chapter about generalizations outlining logarithmic Iwasawa theory and generalizations of the Main conjecture to elliptic curves, motives and the ETNC. The text includes references and detailed proofs, some of which are not available in the standard literature, and is accessible for anyone with basic knowledge of algebra and some algebraic number theory.


title: Toroidal compactifications of the moduli spaces of Drinfeld modules, I

abstract: We construct the toroidal compactifications of moduli spaces of Drinfeld modules.


title: Evaluating Single Image Dehazing Methods Under Realistic Sunlight Haze

abstract: Haze can degrade the visibility and the image quality drastically, thus degrading the performance of computer vision tasks such as object detection. Single image dehazing is a challenging and ill-posed problem, despite being widely studied. Most existing methods assume that haze has a uniform/homogeneous distribution and haze can have a single color, i.e. grayish white color similar to smoke, while in reality haze can be distributed non-uniformly with different patterns and colors. In this paper, we focus on haze created by sunlight as it is one of the most prevalent type of haze in the wild. Sunlight can generate non-uniformly distributed haze with drastic density changes due to sun rays and also a spectrum of haze color due to sunlight color changes during the day. This presents a new challenge to image dehazing methods. For these methods to be practical, this problem needs to be addressed. To quantify the challenges and assess the performance of these methods, we present a sunlight haze benchmark dataset, Sun-Haze, containing 107 hazy images with different types of haze created by sunlight having a variety of intensity and color. We evaluate a representative set of state-of-the-art image dehazing methods on this benchmark dataset in terms of standard metrics such as PSNR, SSIM, CIEDE2000, PI and NIQE. This uncovers the limitation of the current methods, and questions their underlying assumptions as well as their practicality.


title: Harmonic analysis on a local field towards addition theorems for multivariate Krawtchouk polynomials

abstract: We aim addition theorems for multivariate Krawtchouk polynomials, following Dunkl(1976) for 1-variate case. We work on harmonic analysis on a non-Archimedean local field, that is a group theoretic situation where these polynomials play roles of the zonal spherical functions. Unlike Dunkl's case, we use decompositions of spherical representations as not necessarily irreducible. We examine translations of zonal spherical functions, and have a kind of addition theorem for multivariate Krawtchouk polynomials.


title: NIHAO XXVI: Nature versus nurture, the Star Formation Main Sequence and the origin of its scatter

abstract: We investigate how the NIHAO galaxies match the observed star formation main sequence (SFMS) and what the origin of its scatter is. The NIHAO galaxies reproduce the SFMS and generally agree with observations, but the slope is about unity and thus significantly larger than observed values. This is because observed galaxies at large stellar masses, although still being part of the SFMS, are already influenced by quenching. This partial suppression of star formation by AGN feedback leads to lower star formation rates and therefore to lower observed slopes. We confirm that including the effects of AGN in our galaxies leads to slopes in agreement with observations. We find the deviation of a galaxy from the SFMS is correlated with its $z=0$ dark matter halo concentration and thus with its halo formation time. This means galaxies with a higher-than-average star formation rate (SFR) form later and vice versa. We explain this apparent correlation with the SFR by re-interpreting galaxies that lie above the SFMS (higher-than-average SFR) as lying to the left of the SFMS (lower-than-average stellar mass) and vice versa. Thus later forming haloes have a lower-than-average stellar mass, this is simply because they have had less-than-average time to form stars, and vice versa. It is thus the nature, i.e. how and when these galaxies form, that sets the path of a galaxy in the SFR versus stellar mass plane.


title: Localized-to-itinerant transition preceding antiferromagnetic quantum critical point and gapless superconductivity in CeRh$_{0.5}$Ir$_{0.5}$In$_5$

abstract: A fundamental problem posed from the study of correlated electron compounds, of which heavy-fermion systems are prototypes, is the need to understand the physics of states near a quantum critical point (QCP). At a QCP, magnetic order is suppressed continuously to zero temperature and unconventional superconductivity often appears. Here, we report pressure ($P$) -dependent $^{115}$In nuclear quadrupole resonance (NQR) measurements on heavy-fermion antiferromagnet CeRh$_{0.5}$Ir$_{0.5}$In$_5$. These experiments reveal an antiferromagnetic (AF) QCP at $P_{\rm c}^{\rm AF}$ = 1.2 GPa where a dome of superconductivity reaches a maximum transition temperature $T_{\rm c}$. Preceding $P_{\rm c}^{\rm AF}$, however, the NQR frequency $\nu_{\rm Q}$ undergoes an abrupt increase at $P_{\rm c}^{\rm *}$ = 0.8 GPa in the zero-temperature limit, indicating a change from localized to itinerant character of cerium's $f$-electron and associated small-to-large change in the Fermi surface. At $P_{\rm c}^{\rm AF}$ where $T_{\rm c}$ is optimized, there is an unusually large fraction of gapless excitations well below $T_{\rm c}$ that implicates spin-singlet, odd-frequency pairing symmetry.


title: Augmented Reality-Based Advanced Driver-Assistance System for Connected Vehicles

abstract: With the development of advanced communication technology, connected vehicles become increasingly popular in our transportation systems, which can conduct cooperative maneuvers with each other as well as road entities through vehicle-to-everything communication. A lot of research interests have been drawn to other building blocks of a connected vehicle system, such as communication, planning, and control. However, less research studies were focused on the human-machine cooperation and interface, namely how to visualize the guidance information to the driver as an advanced driver-assistance system (ADAS). In this study, we propose an augmented reality (AR)-based ADAS, which visualizes the guidance information calculated cooperatively by multiple connected vehicles. An unsignalized intersection scenario is adopted as the use case of this system, where the driver can drive the connected vehicle crossing the intersection under the AR guidance, without any full stop at the intersection. A simulation environment is built in Unity game engine based on the road network of San Francisco, and human-in-the-loop (HITL) simulation is conducted to validate the effectiveness of our proposed system regarding travel time and energy consumption.


title: Impact of Battery Degradation on Market Participation of Utility-Scale Batteries: Case Studies

abstract: The recent decrease in battery manufacturing costs stimulates the market participation of utility-scale battery energy storage systems (BESSs). However, battery degradation remains a major concern for BESS owners while determining their BESS investment and operation strategies. This paper studies the impact of battery degradation on BESS's operation and revenue/cost in real-time energy, reserve, and pay as performance regulation markets. Comparative case studies are performed on two optimization frameworks which model the participation of a price-maker BESS in energy and ancillary services markets with and without considering battery degradation cost. A synthetic test system built upon real-world data is adopted in the case studies. Analyses reveal that degradation cost plays an important role in the scheduling of BESSs and should not be neglected. Several potential enhancements to the optimization frameworks are discussed based on the performed analyses.


title: Jetted Narrow-Line Seyfert 1 Galaxies & Co.: where do we stand?

abstract: The discovery in 2008 of high-energy gamma-rays from Narrow-Line Seyfert 1 Galaxies (NLS1s) made it clear that there were active galactic nuclei (AGN) other than blazars and radio galaxies that can eject powerful relativistic jets. In addition to NLS1s, the great performance of the Fermi Large Area Telescope made it possible to discover MeV-GeV photons emitted from more classes of AGN, like Seyferts, Compact Steep Spectrum Gigahertz Peaked Sources (CSS/GPS), and disk-hosted radio galaxies. Although observations indicate a variety of objects, their physical characteristics point to a central engine powered by a relatively small-mass black hole (but, obviously, there are interpretations against this view). This essay critically reviews the literature published on these topics during the last eight years and analyses the perspectives for the forthcoming years.


title: No-go theorem for spatially regular boson stars made of static nonminimally coupled massive scalar fields

abstract: We present a compact theorem which reveals the fact that static spatially regular massive scalar fields with nonminimal coupling to gravity cannot form spherically symmetric asymptotically flat horizonless matter configurations. In particular, the no-go theorem rules out the existence of boson stars made of static scalar fields with generic values of the physical parameter $\xi$ which quantifies the coupling between the spacetime curvature and the massive bosonic fields.


title: Structural, magnetic and dielectric properties in 3$d$-5$d$ based Sr$_2$FeIrO$_6$ thin films

abstract: The structural, magnetic and dielectric properties have been investigated in 3$d$-5$d$ based double perovskite Sr$_2$FeIrO$_6$ thin films deposited by pulse laser deposition technique. To understand the effect of strain, epitaxial films are grown with varying thickness as well as on different substrates i.e., SrTiO$_3$ (100) and LaAlO$_3$ (100). The films with highest thickness are found to be more relaxed. Atomic force microscope images indicate all films are of good quality where grain sizes increase with increase in film thickness. X-ray absorption spectroscopy measurements indicate a Ir$^{5+}$ charge state in present films while providing a detailed picture of hybridization between Fe/Ir-$d$ and O-$p$ orbitals. The bulk antiferromagnetic transition is retained in films though the transition temperature shifts to higher temperature. Both dielectric constant ($\epsilon_r$) and loss ($\tan\delta$) show change around the magnetic ordering temperatures of bulk Sr$_2$FeIrO$_6$ indicating a close relation between dielectric and magnetic behaviors. A Maxwell-Wagner type relaxation is found to follow over whole frequency range down to low temperature in present film. On changing the substrate i.e., LaAlO$_3$ (100), the $\epsilon_r(T)$ and ($\tan\delta(T)$) show almost similar behavior but $\epsilon_r$ shows a higher value which is due to an increased strain coming from high mismatch of lattice parameters.


title: High-speed InAs/GaSb Mid-Wave Infrared Interband Cascade Photodetector at Room Temperature

abstract: High speed mid-wave infrared (MWIR) photodetectors have important applications in the emerging areas such high-precision frequency comb spectroscopy and light detection and ranging (LIDAR). In this work, we report a high-speed room-temperature mid-wave infrared interband cascade photodetector (ICIP) based on a type-II InAs/GaSb superlattice. The devices show an optical cut-off wavelength around 5um and a 3-dB bandwidth up to 7.04 GHz. The relatively low dark current density around 9.39 x 10-2 A/cm2 under -0.1 V is also demonstrated at 300 K. These results validate the advantages of ICIPs to achieve both high-frequency operation and low noise at room temperature. Limitations on the high-speed performance of the detector are also discussed based on the S-parameter analysis and other RF performance measurement.


title: When does stabilizability imply the existence of infinite horizon optimal control in nonlinear systems?

abstract: The paper addresses an existence problem for infinite horizon optimal control when the system under control is exponentially stabilizable or stable. Classes of nonlinear control systems for which infinite horizon optimal controls exist are identified in terms of stability, stabilizability, detectability and growth conditions. The result then applies to estimate the existence region of stable manifolds in the associated Hamiltonian systems. Applications of the results also include the analysis for turnpike property in nonlinear finite horizon optimal control problems by a geometric approach.


title: A geometrical approach to evaluating the heat flux peaking factor on first wall components

abstract: In magnetic fusion experiments, a simple technique to evaluate the heat flux on first wall components is a key to controlled plasma surface interaction. The heat flux can be characterized by the peaking factor which is the ratio of the peak heat flux to the average heat flux. The peaking factor can be calculated exactly using simple derivations and standard software tools. This analysis is applied to an Iter class experiment for plasma wall contact during start up phases at 15 MW, in idealised, realistic and misaligned situations. Even though the peaking factors are usually above 10, the peak heat load on the wall remains moderate at a few MW/m${}^2$.


title: Tracking Single Particles using Surface Plasmon Leakage Radiation Speckle

abstract: Label free tracking of small bio-particles such as proteins or viruses is of great utility in the study of biological processes, however such experiments are frequently hindered by weak signal strengths and a susceptibility to scattering impurities. To overcome these problems we here propose a novel technique leveraging the enhanced sensitivity of both interferometric detection and the strong field confinement of surface plasmons. Specifically, we show that interference between the field scattered by an analyte particle and a speckle reference field, derived from random scattering of surface plasmons propagating on a rough metal film, enables particle tracking with sub-wavelength accuracy. We present the analytic framework of our technique and verify its robustness to noise through Monte Carlo simulations.


title: Droplet Migration on Conical Fibers

abstract: The spontaneous migration of droplets on conical fibers is studied experimentally by depositing silicone oil droplets onto conical glass fibers. Their motion is recorded using optical microscopy and analysed to extract the relevant geometrical parameters of the system. The speed of the droplet can be predicted as a function of geometry and the fluid properties using a simple theoretical model, which balances viscous dissipation against the surface tension driving force. The experimental data are found to be in good agreement with the model.


title: Iterative Symbol Recovery For Power Efficient DC Biased Optical OFDM Systems

abstract: Orthogonal frequency division multiplexing (OFDM) has proven itself as an effective multi-carrier digital communication technique. In recent years the interest in optical OFDM has grown significantly, due to its spectral efficiency and inherent resilience to frequency-selective channels and to narrowband interference. For these reasons it is currently considered to be one of the leading candidates for deployment in short fiber links such as the ones intended for inter-data-center communications. In this paper we present a new power-efficient symbol recovery scheme for dc-biased optical OFDM (DCO-OFDM) in an intensity-modulation direct-detection (IM/DD) system. We introduce an alternative method for clipping in order to maintain a non-negative real-valued signal and still preserve information, which is lost when using clipping, and propose an iterative detection algorithm for this method. A reduction of $50\%$ in the transmitted optical power along with an increase of signal-independent noise immunity (gaining $3$[dB] in SNR), compared to traditional DCO-OFDM with a DC bias of $2$ standard deviations of the OFDM signal, is attained by our new scheme for a symbol error rate (SER) of $10^{-3}$ in a QPSK constellation additive white gaussian noise (AWGN) flat channel model.


title: Robots, computer algebra and eight connected components

abstract: Answering connectivity queries in semi-algebraic sets is a long-standing and challenging computational issue with applications in robotics, in particular for the analysis of kinematic singularities. One task there is to compute the number of connected components of the complementary of the singularities of the kinematic map. Another task is to design a continuous path joining two given points lying in the same connected component of such a set. In this paper, we push forward the current capabilities of computer algebra to obtain computer-aided proofs of the analysis of the kinematic singularities of various robots used in industry. We first show how to combine mathematical reasoning with easy symbolic computations to study the kinematic singularities of an infinite family (depending on paramaters) modelled by the UR-series produced by the company ``Universal Robots''. Next, we compute roadmaps (which are curves used to answer connectivity queries) for this family of robots. We design an algorithm for ``solving'' positive dimensional polynomial system depending on parameters. The meaning of solving here means partitioning the parameter's space into semi-algebraic components over which the number of connected components of the semi-algebraic set defined by the input system is invariant. Practical experiments confirm our computer-aided proof and show that such an algorithm can already be used to analyze the kinematic singularities of the UR-series family. The number of connected components of the complementary of the kinematic singularities of generic robots in this family is $8$.


title: Common frequent hypercyclicity

abstract: We provide with criteria for a family of sequences of operators to share a frequently universal vector. These criteria are variants of the classical Frequent Hypercyclicity Criterion and of a recent criterion due to Grivaux, Matheron and Menet where periodic points play the central role. As an application, we obtain for any operator T in a specific class of operators acting on a separable Banach space, a necessary and sufficient condition on a subset $\Lambda$ of the complex plane for the family {$\lambda$T : $\lambda$ $\in$ $\Lambda$} to have a common frequently hypercyclic vector. In passing, this permits us to easily exhibit frequent hypercyclic weighted shifts which do not possess common frequent hypercyclic vectors. We also provide with criteria for families of the recently introduced operators of C-type to share a common frequently hypercyclic vector. Further, we prove that the same problem of common $\alpha$-frequent hypercyclicity may be vacuous, where the notion of $\alpha$-frequent hypercyclicity extends that of frequent hypercyclicity replacing the natural density by more general weighted densities. Finally, it is already known that any operator satisfying the classical Frequent Universality Criterion is $\alpha$-frequently universal for any sequence $\alpha$ satisfying a suitable condition. We complement this result by showing that for any such operator, there exists a vector x which is $\alpha$-frequently universal for T , with respect to all such $\alpha$.


title: On a constant curvature statistical manifold

abstract: We will show that a statistical manifold $(M, g, \nabla)$ has a constant curvature if and only if it is a projectively flat conjugate symmetric manifold, that is, the affine connection $\nabla$ is projectively flat and the curvatures satisfies $R=R^*$, where $R^*$ is the curvature of the dual connection $\nabla^*$. Moreover, we will show that properly convex structures on a projectively flat compact manifold induces constant curvature $-1$ statistical structures and vice versa.


title: Nonequilibrium steady-state picture of incoherent light-induced excitation harvesting

abstract: We formulate a comprehensive theoretical description of excitation harvesting in molecular aggregates photoexcited by weak incoherent radiation. An efficient numerical scheme that respects the continuity equation for excitation fluxes is developed to compute the nonequilibrium steady state (NESS) arising from the interplay between excitation generation, excitation relaxation, dephasing, trapping at the load, and recombination. The NESS is most conveniently described in the so-called preferred basis in which the steady-state excitonic density matrix is diagonal. The NESS properties are examined by relating the preferred-basis description to the descriptions in the site or excitonic bases. Focusing on a model photosynthetic dimer, we find that the NESS in the limit of long trapping time is quite similar to the excited-state equilibrium in which the stationary coherences originate from the excitation-environment entanglement. For shorter trapping times, we demonstrate how the properties of the NESS can be extracted from the time-dependent description of an incoherently driven but unloaded dimer. This relation between stationary and time-dependent pictures is valid, provided that the trapping time is longer than the decay time of dynamic coherences accessible in femtosecond spectroscopy experiments.


title: Securing the Inter-Spacecraft Links: Doppler Frequency Shift based Physical Layer Key Generation

abstract: We propose a novel physical layer secret key generation method for the inter-spacecraft communication links. By exploiting the Doppler frequency shifts of the reciprocal spacecraft links as a unique secrecy source, spacecrafts aim to obtain identical secret keys from their individual observations. We obtain theoretical expressions for the key disagreement rate (KDR). Using generalized Gauss-Laguerre quadrature, we derive closed form expressions for the KDR. Through numerical studies, the tightness of the provided approximations are shown. Both the theoretical and numerical results demonstrate the validity and the practicality of the presented physical layer key generation procedure considering the security of the communication links of spacecrafts.


title: Spectral variability of the blazar 3C 279 in the optical to X-ray band during 2009-2018

abstract: We report on spectral variability of the blazar 3C 279 in the optical to X-ray band between MJD 55100 and 58400 during which long-term radio variability was observed. We construct light curves and band spectra in each of the optical ($2\times10^{14}$-$1.5\times10^{15}$ Hz) and X-ray (0.3-10 keV) bands, measure the spectral parameters (flux $F$ and spectral index $\alpha$), and investigate correlation between $F$ and $\alpha$ within and across the bands. We find that the correlation of the optical properties dramatically change after $\sim$MJD 55500 and the light curves show more frequent activity after $\sim$MJD 57700. We therefore divide the time interval into three "states" based on the correlation properties and source activity in the light curves, and analyze each of the three states separately. We find various correlations between the spectral parameters in the states and an intriguing 65-day delay of the optical emission with respect to the X-ray one in state 2 (MJD 55500-57700). We attempt to explain these findings using a one-zone synchro-Compton emission scenario.


title: Thermodynamic limit of the spin-$\frac{1}{2}$ XYZ spin chain with the antiperiodic boundary condition

abstract: Based on its off-diagonal Bethe ansatz solution, we study the thermodynamic limit of the spin-$\frac{1}{2}$ XYZ spin chain with the antiperiodic boundary condition. The key point of our method is that there exist some degenerate points of the crossing parameter $\eta_{m,l}$, at which the associated inhomogeneous $T-Q$ relation becomes a homogeneous one. This makes extrapolating the formulae deriving from the homogeneous one to an arbitrary $\eta$ with $O(N^{-2})$ corrections for a large $N$ possible. The ground state energy and elementary excitations of the system are obtained. By taking the trigonometric limit, we also give the results of antiperiodic XXZ spin chain within the gapless region in the thermodynamic limit, which does not have any degenerate points.

categories: math-ph cond-mat.stat-mech hep-th math.MP


title: The second moment of symmetric square L-functions over Gaussian integers

abstract: We prove a new upper bound on the second moment of Maass form symmetric square L-functions defined over Gaussian integers. Combining this estimate with the recent result of Balog-Biro-Cherubini-Laaksonen, we improve the error term in the prime geodesic theorem for the Picard manifold.


title: Uplink Channel Estimation and Signal Extraction Against Malicious IRS in Massive MIMO System

abstract: This paper investigates effect of malicious intelligence reflecting surface (IRS). The malicious IRS is utilized for performing attack by randomly reflecting data sequences of legitimate users (LUs) to a base station (BS). We find that the data sequences of LUs are correlative to the signals reflected by malicious IRS. The correlation undermines the performance of traditional eigenvalue decomposition (EVD)-based channel estimation (CE) methods. To address this challenge, we propose a empirical-distribution-based channel estimation approach in the presence of malicious IRS. The proposed method works by capturing desired convex hulls from signals disturbed by malicious IRS, on the basis of its empirical distribution. Simulation results show that our proposed approach outperforms traditional EVD-based methods as much as nearly 5 dB in normalized mean square error (NMSE).


title: Transport Through a Quantum Dot with Electron-Phonon Interaction

abstract: We theoretically study the electrical transport properties of a single level quantum dot connected to two normal conducting leads, which is coupled to the lattice vibrations. We determine the current through the quantum dot in two different situations: time-independent and time-averaged. In all situations we consider three cases: when there is no electron-phonon interaction, when the dot electrons interact with optical phonons or when they interact with acoustic phonons. At finite temperatures we take into account the temperature dependence of the chemical potential. We treat the electron-phonon interaction by the canonical transformation method. In the case of electron-longitudinal optical phonon interaction the spectrum contains a subpeak. In the case of electron-acoustic phonon interaction the spectrum is continuous. In the time-averaged situation many parasite peaks appear in the spectrum, due to the external time-modulation.


title: Power and Performance Analysis of Persistent Key-Value Stores

abstract: With the current rate of data growth, processing needs are becoming difficult to fulfill due to CPU power and energy limitations. Data serving systems and especially persistent key-value stores have become a substantial part of data processing stacks in the data center, providing access to massive amounts of data for applications and services. Key-value stores exhibit high CPU and I/O overheads because of their constant need to reorganize data on the devices. In this paper, we examine the efficiency of two key-value stores on four servers of different generations and with different CPU architectures. We use RocksDB, a key-value that is deployed widely, e.g. in Facebook, and Kreon, a research key-value store that has been designed to reduce CPU overhead. We evaluate their behavior and overheads on an ARM-based microserver and three different generations of x86 servers. Our findings show that microservers have better power efficiency in the range of 0.68-3.6x with a comparable tail latency.


title: Higher order hydrodynamics and equilibrium fluctuations of interacting particle systems

abstract: Motivated by the recent preprint [arXiv:2004.08412] by Ayala, Carinci, and Redig, we first provide a general framework for the study of scaling limits of higher order fields. Then, by considering the same class of infinite interacting particle systems as in [arXiv:2004.08412], namely symmetric simple exclusion and inclusion processes in the d-dimensional Euclidean lattice, we prove the hydrodynamic limit, and convergence for the equilibrium fluctuations, of higher order fields. In particular, the limit fields exhibit a tensor structure. Our fluctuation result differs from that in [arXiv:2004.08412], since we consider a different notion of higher order fluctuation fields.


title: Beyond Our Behavior: The GDPR and Humanistic Personalization

abstract: Personalization should take the human person seriously. This requires a deeper understanding of how recommender systems can shape both our self-understanding and identity. We unpack key European humanistic and philosophical ideas underlying the General Data Protection Regulation (GDPR) and propose a new paradigm of humanistic personalization. Humanistic personalization responds to the IEEE's call for Ethically Aligned Design (EAD) and is based on fundamental human capacities and values. Humanistic personalization focuses on narrative accuracy: the subjective fit between a person's self-narrative and both the input (personal data) and output of a recommender system. In doing so, we re-frame the distinction between implicit and explicit data collection as one of nonconscious ("organismic") behavior and conscious ("reflective") action. This distinction raises important ethical and interpretive issues related to agency, self-understanding, and political participation. Finally, we discuss how an emphasis on narrative accuracy can reduce opportunities for epistemic injustice done to data subjects.


title: CenterYou: A cloud-based Approach to Simplify Android Privacy Management

abstract: With mobile applications and associated services becoming increasingly popular, concerns are being raised about private data leakages have raised. Previous solutions to this well-known set of problems have approached it from the ground up but required rewriting the operating system which is unnecessary and burdensome. In this work, a framework we proposed to overcome these issues by applying a pseudo data technique and cloud-based decision-making system to identify potential privacy leakages.


title: Rotational analysis of ChaCha permutation

abstract: We show that the underlying permutation of ChaCha20 stream cipher does not behave as a random permutation for up to 17 rounds with respect to rotational cryptanalysis. In particular, we derive a lower and an upper bound for the rotational probability through ChaCha quarter round, we show how to extend the bound to a full round and then to the full permutation. The obtained bounds show that the probability to find what we call a parallel rotational collision is, for example, less than $2^{-488}$ for 17 rounds of ChaCha permutation, while for a random permutation of the same input size, this probability is $2^{-511}$. We remark that our distinguisher is not an attack to ChaCha20 stream cipher, but rather a theoretical analysis of its internal permutation from the point of view of rotational cryptanalysis.


title: The fourth moment of Dirichlet $L$-functions at the central value

abstract: The asymptotic formula of the fourth moment of Dirichlet $L$-functions at the central value was predicted in a conjecture by J. B. Conrey, D. W. Farmer, J. P. Keating, M. O. Rubinstein, and N. C. Snaith, and the prime moduli case was proved by M. P. Young in 2011. This work establishes this asymptotic formula for general moduli. The work relies on the study of a special divisor sum function, called $\mathcal{D}_q$-function, which plays a key role in deducing the main terms. Another key ingredient is an application of new bounds for double sums in Kloosterman sums, applied in the estimate of the error terms.


title: $q$-Hypergeometric polynomials and group-invariant Fourier transformations over a finite field

abstract: By the Fourier transformations, any group-invariant functions over finite Abelian groups are transformed into group-invariant functions over the character groups. In this paper, we calculate matrix elements of this transformations under specific bases. More specifically, we deal with some vector spaces over a finite field and linear actions. Then the matrix elements under adequate bases are expressed by Krawtchouk or Affine q-Krawtchouk polynomials. For calculations, we construct a commutative diagram which combines two settings of group-invariant Fourier transformations. We apply it to different sized transformations of each example, and solve it inductively. We remark the matrix elements are related to the zonal spherical functions of finite Gelfand pairs.


title: A Jacobi Algorithm in Phase Space: Diagonalizing (skew-) Hamiltonian and Symplectic Matrices with Dirac-Majorana Matrices

abstract: Jacobi's method is a well-known algorithm in linear algebra to diagonalize symmetric matrices by successive elementary rotations. We report about the generalization of these elementary rotations towards canonical transformations acting in Hamiltonian phase spaces. This generalization allows to use Jacobi's method in order to compute eigenvalues and eigenvectors of Hamiltonian (and skew-Hamiltonian) matrices with either purely real or purely imaginary eigenvalues by successive elementary symplectic "decoupling"-transformations.


title: Room-temperature giant magnetotranstance effect in single-phase multiferroics

abstract: Single-phase multiferroic materials are usually considered useless because of the weak magnetoelectric effects, low operating temperature, and small electric polarization induced by magnetic orders. As a result, current studies on applications of the magnetoelectric effects are mainly focusing on multiferroic heterostructures and composites. Here we report a room-temperature giant effect in response to external magnetic fields in single-phase multiferroics. A low magnetic field of 1000 Oe applied on the spin-driven multiferroic hexaferrites BaSrCo2Fe11AlO22 and Ba0.9Sr1.1Co2Fe11AlO22 is able to cause a huge change in the linear magnetoelectric coefficient by several orders, leading to a giant magnetotranstance (GMT) effect at room temperature. The GMT effect is comparable to the well-known giant magnetoresistance (GMR) effect in magnetic multilayers, and thus opens up a door toward practical applications for single-phase multiferroics.


title: Gas-grain model of carbon fractionation in dense molecular clouds

abstract: Carbon containing molecules in cold molecular clouds show various levels of isotopic fractionation through multiple observations. To understand such effects, we have developed a new gas-grain chemical model with updated 13C fractionation reactions (also including the corresponding reactions for 15N, 18O and 34S). For chemical ages typical of dense clouds, our nominal model leads to two 13C reservoirs: CO and the species that derive from CO, mainly s-CO and s-CH3OH, as well as C3 in the gas phase. The nominal model leads to strong enrichment in C3, c-C3H2 and C2H in contradiction with observations. When C3 reacts with oxygen atoms the global agreement between the various observations and the simulations is rather good showing variable 13C fractionation levels which are specific to each species. Alternatively, hydrogen atom reactions lead to notable relative 13C fractionation effects for the two non-equivalent isotopologues of C2H, c-C3H2 and C2S. As there are several important fractionation reactions, some carbon bearing species are enriched in 13C, particularly CO, depleting atomic 13C in the gas phase. This induces a 13C depletion in CH4 formed on grain surfaces, an effect that is not observed in the CH4 in the solar system, in particular on Titan. This seems to indicate a transformation of matter between the collapse of the molecular clouds, leading to the formation of the protostellar disc, and the formation of the planets. Or it means that the atomic carbon sticking to the grains reacts with the species already on the grains giving very little CH4.


title: Real-time Prediction of COVID-19 related Mortality using Electronic Health Records

abstract: Coronavirus Disease 2019 (COVID-19) is an emerging respiratory disease caused by the severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) with rapid human-to-human transmission and a high case fatality rate particularly in older patients. Due to the exponential growth of infections, many healthcare systems across the world are under pressure to care for increasing amounts of at-risk patients. Given the high number of infected patients, identifying patients with the highest mortality risk early is critical to enable effective intervention and optimal prioritisation of care. Here, we present the COVID-19 Early Warning System (CovEWS), a clinical risk scoring system for assessing COVID-19 related mortality risk. CovEWS provides continuous real-time risk scores for individual patients with clinically meaningful predictive performance up to 192 hours (8 days) in advance, and is automatically derived from patients' electronic health records (EHRs) using machine learning. We trained and evaluated CovEWS using de-identified data from a cohort of 66430 COVID-19 positive patients seen at over 69 healthcare institutions in the United States (US), Australia, Malaysia and India amounting to an aggregated total of over 2863 years of patient observation time. On an external test cohort of 5005 patients, CovEWS predicts COVID-19 related mortality from $78.8\%$ ($95\%$ confidence interval [CI]: $76.0$, $84.7\%$) to $69.4\%$ ($95\%$ CI: $57.6, 75.2\%$) specificity at a sensitivity greater than $95\%$ between respectively 1 and 192 hours prior to observed mortality events - significantly outperforming existing generic and COVID-19 specific clinical risk scores. CovEWS could enable clinicians to intervene at an earlier stage, and may therefore help in preventing or mitigating COVID-19 related mortality.


title: A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems

abstract: Smart contracts are regarded as one of the most promising and appealing notions in blockchain technology. Their self-enforcing and event-driven features make some online activities possible without a trusted third party. Nevertheless, problems such as miscellaneous attacks, privacy leakage, and low processing rates pre-vent them from being widely applied. Various schemes and tools have been proposed to facilitate the construction and execution of secure smart contracts. However, a comprehensive survey for these proposals is absent, hindering new researchers and developers from a quick start. This paper surveys the literature and online resources on smart contract construction and execution over the period 2008-2020. We divide the studies into three categories: (1) design paradigms that give examples and patterns on contract construction, (2) design tools that facilitate the development of secure smart contracts, and (3) extensions and alternatives that improve the privacy or efficiency of the system. We start by grouping the relevant construction schemes into the first two categories. We then review the execution mechanisms in the last category and further divide the state-of-the-art solutions into three classes: private contracts with extra tools, off-chain channels, and extensions on core functionalities. Finally, we summarize several challenges and identify future research directions toward developing secure, privacy-preserving, and efficient smart contracts.


title: Hydrogen Penetration and Fuel Cell Vehicle Deployment in the Carbon Constrained Future Energy System

abstract: This research details outcomes from a global model which estimates future hydrogen penetration into a carbon constrained energy system to the year 2050. Focusing on minimum and maximum penetration scenarios, an investigation of global fuel cell vehicle (FCV) deployment is undertaken, cognizant of optimal economic deployment at the global level and stakeholder preferences in a case study of Japan. The model is mathematically formulated as a very large-scale linear optimization problem, aiming to minimize system costs, including generation type, fuel costs, conversion costs, and carbon reduction costs, subject to the constraint of carbon dioxide reductions for each nation. Results show that between approximately 0.8% and 2% of global energy consumption needs can be met by hydrogen out to the year 2050, with city gas and transport emerging as significant use cases. Passenger FCVs and hydrogen buses account for almost all of the hydrogen-based transportation sector, leading to a global deployment of approximately 120 million FCVs by 2050. Hydrogen production is reliant on fossil fuels, and OECD nations are net importers - especially Japan with a 100% import case. To underpin hydrogen production from fossil fuels, carbon capture and storage (CCS) is required in significant quantities when anticipating a large fleet of FCVs. Stakeholder engagement suggests optimism toward FCV deployment while policy issues identified include necessity for large-scale future energy system investment and rapid technical and economic feasibility progress for renewable energy technologies and electrolyzers.


title: Ring dynamics around an oblate body with an inclined satellite: The case of Haumea

abstract: The recent discovery of rings and massive satellites around minor bodies and dwarf planets suggests that they may often coexist, as for example around Haumea. A ring perturbed by an oblate central body and by an inclined satellite may disperse on a short timescale. The conditions under which a ring may survive are explored both analytically and numerically. The trajectories of ring particles are integrated under the influence of the gravitational field of a triaxial ellipsoid and (a) massive satellite(s), including the effects of collisions. A ring initially formed in the equatorial plane of the central body will be disrupted if the satellite has an inclination in the Kozai Lidov regime (39.2 < i < 144.8). For lower inclinations, the ring may relax to the satellite orbital plane thanks to an intense collisional damping. On the other hand, a significant J2 term easily suppresses the perturbations of an inclined satellite within a critical semimajor axis, even in the case of Kozai Lidov cycles. However, if the ring is initially inclined with respect to the equatorial plane, the same J2 perturbations are not a protective factor but instead disrupt the ring on a short timescale. The ring found around Haumea is stable despite the rise in the impact velocities that is due to the asymmetric shape of the the body and the presence of a 3:1 resonance with the rotation of the central body. A ring close to an oblate central body should be searched for in the proximity of the equatorial plane, where the J2 perturbations protect it against the perturbations of an external inclined satellites. In an inclined configuration, the J2 term is itself disruptive.


title: Interplay between local structure and electronic properties on CuO under pressure

abstract: The electronic and local structural properties of CuO under pressure have been investigated by means of X-ray absorption spectroscopy (XAS) at Cu K edge and ab-initio calculations, up to 17 GPa. The crystal structure of CuO consists of Cu motifs within CuO$_4$ square planar units and two elongated apical Cu-O bonds. The CuO$_4$ square planar units are stable in the studied pressure range, with Cu-O distances that are approximately constant up to 5 GPa, and then decrease slightly up to 17 GPa. In contrast, the elongated Cu-O apical distances decrease continuously with pressure in the studied range. An anomalous increase of the mean square relative displacement (EXAFS Debye Waller, \sigma$^2$) of the elongated Cu-O path is observed from 5 GPa up to 13 GPa, when a drastic reduction takes place in \sigma$^2$. This is interpreted in terms of local dynamic disorder along the apical Cu-O path. At higher pressures (P>13 GPa), the local structure of Cu$^{2+}$ changes from a 4-fold square planar to a 4+2 Jahn-Teller distorted octahedral ion. We interpret these results in terms of the tendency of the Cu$^{2+}$ ion to form favorable interactions with the apical O atoms. Also, the decrease in Cu-O apical distance caused by compression softens the normal mode associated with the out-of-plane Cu movement. CuO is predicted to have an anomalous rise in permittivity with pressure as well as modest piezoelectricity in the 5-13 GPa pressure range. In addition, the near edge features in our XAS experiment show a discontinuity and a change of tendency at 5 GPa. For P < 5 GPa the evolution of the edge shoulder is ascribed to purely electronic effects which also affect the charge transfer integral. This is linked to a charge migration from the Cu to O, but also to an increase of the energy band gap, which show a change of tendency occurring also at 5 GPa.


title: Quantitative inference of the $H_2$ column densities from 3 mm molecular emission: A case study towards Orion B

abstract: Molecular hydrogen being unobservable in cold molecular clouds, the column density measurements of molecular gas currently rely either on dust emission observation in the far-IR or on star counting. (Sub-)millimeter observations of numerous trace molecules are effective from ground based telescopes, but the relationships between the emission of one molecular line and the H2 column density (NH2) is non-linear and sensitive to excitation conditions, optical depths, abundance variations due to the underlying physico-chemistry. We aim to use multi-molecule line emission to infer NH2 from radio observations. We propose a data-driven approach to determine NH2 from radio molecular line observations. We use supervised machine learning methods (Random Forests) on wide-field hyperspectral IRAM-30m observations of the Orion B molecular cloud to train a predictor of NH2, using a limited set of molecular lines as input, and the Herschel-based dust-derived NH2 as ground truth output. For conditions similar to the Orion B molecular cloud, we obtain predictions of NH2 within a typical factor of 1.2 from the Herschel-based estimates. An analysis of the contributions of the different lines to the predictions show that the most important lines are $^{13}$CO(1-0), $^{12}$CO(1-0), C$^{18}$O(1-0), and HCO$^+$(1-0). A detailed analysis distinguishing between diffuse, translucent, filamentary, and dense core conditions show that the importance of these four lines depends on the regime, and that it is recommended to add the N$_2$H$^+$(1-0) and CH$_3$OH(20-10) lines for the prediction of NH2 in dense core conditions. This article opens a promising avenue to directly infer important physical parameters from the molecular line emission in the millimeter domain. The next step will be to try to infer several parameters simultaneously (e.g., NH2 and far-UV illumination field) to further test the method. [Abridged]


title: A Recent Major Merger Tale for the Closest Giant Elliptical Galaxy Centaurus A

abstract: We have used hydrodynamical simulations to model the formation of the closest giant elliptical galaxy, Centaurus A. We find that a single major merger event with a mass ratio up to 1.5, and which has happened ~2 Gyr ago, is able to reproduce many of its properties, including galaxy kinematics, the inner gas disk, stellar halo ages and metallicities, and numerous faint features observed in the halo. The elongated halo shape is mostly made of progenitor residuals deposited by the merger, which also contribute to stellar shells observed in the Centaurus A halo. The current model also reproduces the measured Planetary Nebulae line of sight velocity and their velocity dispersion. Models with small mass ratio and relatively low gas fraction result in a de Vaucouleurs profile distribution, which is consistent with observations and model expectations. A recent merger left imprints in the age distribution that are consistent with the young stellar and Globular Cluster populations (2-4 Gyrs) found within the halo. We conclude that even if not all properties of Centaurus A have been accurately reproduced, a recent major merger has likely occurred to form the Centaurus A galaxy as we observe it at present day.


title: Integrative Object and Pose to Task Detection for an Augmented-Reality-based Human Assistance System using Neural Networks

abstract: As a result of an increasingly automatized and digitized industry, processes are becoming more complex. Augmented Reality has shown considerable potential in assisting workers with complex tasks by enhancing user understanding and experience with spatial information. However, the acceptance and integration of AR into industrial processes is still limited due to the lack of established methods and tedious integration efforts. Meanwhile, deep neural networks have achieved remarkable results in computer vision tasks and bear great prospects to enrich Augmented Reality applications . In this paper, we propose an Augmented-Reality-based human assistance system to assist workers in complex manual tasks where we incorporate deep neural networks for computer vision tasks. More specifically, we combine Augmented Reality with object and action detectors to make workflows more intuitive and flexible. To evaluate our system in terms of user acceptance and efficiency, we conducted several user studies. We found a significant reduction in time to task completion in untrained workers and a decrease in error rate. Furthermore, we investigated the users learning curve with our assistance system.


title: A Myopic Adjustment Process for Mean Field Games with Finite State and Action Space

abstract: In this paper, we introduce a natural learning rule for mean field games with finite state and action space, the so-called myopic adjustment process. The main motivation for these considerations are the complex computations necessary to determine dynamic mean-field equilibria, which make it seem questionable whether agents are indeed able to play these equilibria. We prove that the myopic adjustment process converges locally towards stationary equilibria with deterministic equilibrium strategies under rather broad conditions. Moreover, for a two-strategy setting, we also obtain a global convergence result under stronger, yet intuitive conditions.


title: Comparing turbulent cascades and heating vs spectral anisotropy in solar wind via direct simulations

abstract: In a previous work (MGV18), we showed numerically that the turbulent cascade generated by quasi-2D structures (with wave vectors mostly-perpendicular to the mean magnetic field) is able to generate a temperature profile close to the one observed in solar wind ($\simeq 1/R$) in the range 0.2 $\le R \le$ 1 au. Theory, observations and numerical simulations point to another robust structure, the radial-slab, with dominant wave vectors along the radial: we study here the efficiency of the radial-slab cascade in building the $1/R$ temperature profile. As in MGV18, we solve the three-dimensional MHD equations including expansion to simulate the turbulent evolution. We find that an isotropic distribution of wave vectors with large cross helicity at 0.2 au, along with a large wind expansion rate, lead again to a temperature decay rate close to $1/R$ but with a radial-slab anisotropy at 1 au. Surprisingly, the turbulent cascade concentrates in the plane transverse to the radial direction, displaying 1D spectra with scalings close to $k^{-5/3}$ in this plane. This supports both the idea of turbulent heating of the solar wind, and the existence of two different turbulent cascades, quasi-2D and radial slab, at the origin of the heating. We conclude that sampling the radial spectrum in the solar wind may give but a poor information on the real cascade regime and rate when the radial slab is a non-negligible part of turbulence.


title: Network resilience in the presence of non-equilibrium dynamics

abstract: Many complex networks are known to exhibit sudden transitions between alternative steady states with contrasting properties. Such a sudden transition demonstrates a network's resilience, which is the ability of a system to persist in the face of perturbations. Most of the research on network resilience has focused on the transition from one equilibrium state to an alternative equilibrium state. Although the presence of non-equilibrium dynamics in some nodes may advance or delay sudden transitions in networks and give early warning signals of an impending collapse, it has not been studied much in the context of network resilience. Here we bridge this gap by studying a neuronal network model with diverse topologies, in which non-equilibrium dynamics may appear in the network even before the transition to a resting state from an active state in response to environmental stress deteriorating their external conditions. We find that the percentage of uncoupled nodes exhibiting non-equilibrium dynamics plays a vital role in determining the network's transition type. We show that a higher proportion of nodes with non-equilibrium dynamics can delay the tipping and increase networks' resilience against environmental stress, irrespective of their topology. Further, predictability of an upcoming transition weakens, as the network topology moves from regular to disordered.


title: A Chain of Normalizers in the Sylow $2$-subgroups of the symmetric group on $2^n$ letters

abstract: On the basis of an initial interest in symmetric cryptography, in the present work we study a chain of subgroups. Starting from a Sylow $2$-subgroup of AGL(2,n), each term of the chain is defined as the normalizer of the previous one in the symmetric group on $2^n$ letters. Partial results and computational experiments lead us to conjecture that, for large values of $n$, the index of a normalizer in the consecutive one does not depend on $n$. Indeed, there is a strong evidence that the sequence of the logarithms of such indices is the one of the partial sums of the numbers of partitions into at least two distinct parts.


title: Likelihood-based inference for modelling packet transit from thinned flow summaries

abstract: The substantial growth of network traffic speed and volume presents practical challenges to network data analysis. Packet thinning and flow aggregation protocols such as NetFlow reduce the size of datasets by providing structured data summaries, but conversely this impedes statistical inference. Methods which aim to model patterns of traffic propagation typically do not account for the packet thinning and summarisation process into the analysis, and are often simplistic, e.g.~method-of-moments. As a result, they can be of limited practical use. We introduce a likelihood-based analysis which fully incorporates packet thinning and NetFlow summarisation into the analysis. As a result, inferences can be made for models on the level of individual packets while only observing thinned flow summary information. We establish consistency of the resulting maximum likelihood estimator, derive bounds on the volume of traffic which should be observed to achieve required levels of estimator accuracy, and identify an ideal family of models. The robust performance of the estimator is examined through simulated analyses and an application on a publicly available trace dataset containing over 36m packets over a 1 minute period.


title: Holographic Bound on Area of Compact Binary Merger Remnant

abstract: Using concomitantly the Generalized Second Law of black hole thermodynamics and the holographic Bekenstein entropy bound embellished by Loop Quantum Gravity corrections to quantum black hole entropy, we show that the boundary cross sectional area of the postmerger remnant formed from the compact binary merger in gravitational wave detection experiments like GW150914, is bounded from below. This lower bound is more general than the bound from application of the classical area theorem for black holes, since it does not depend on whether the inspiralling compact binary pair or the postmerger remnant consists of black holes or other exotic compact objects. The derivation of the bound entails an estimate of the entropy of the gravitational waves emitted during the binary merger which adapts to gravitational waves an extant formalism proposed originally for particle ensembles. The results for the minimal cross-sectional area of the merger remnant due to binary compact mergers observed recently by the LIGO-VIRGO collaboration are discussed. While accurate measurement of the mass of the remnant for the BNS merger GW170817 remains a challenge, we provide a proof of principle that for BNS mergers our lower bound on the cross-sectional area of the remnant provides an alternative approach to probe the validity of neutron star Equations of State, independent of the measurements of the tidal deformabilities of the components.


title: Self-supervised Video Representation Learning by Uncovering Spatio-temporal Statistics

abstract: This paper proposes a novel pretext task to address the self-supervised video representation learning problem. Specifically, given an unlabeled video clip, we compute a series of spatio-temporal statistical summaries, such as the spatial location and dominant direction of the largest motion, the spatial location and dominant color of the largest color diversity along the temporal axis, etc. Then a neural network is built and trained to yield the statistical summaries given the video frames as inputs. In order to alleviate the learning difficulty, we employ several spatial partitioning patterns to encode rough spatial locations instead of exact spatial Cartesian coordinates. Our approach is inspired by the observation that human visual system is sensitive to rapidly changing contents in the visual field, and only needs impressions about rough spatial locations to understand the visual contents. To validate the effectiveness of the proposed approach, we conduct extensive experiments with four 3D backbone networks, i.e., C3D, 3D-ResNet, R(2+1)D and S3D-G. The results show that our approach outperforms the existing approaches across these backbone networks on four downstream video analysis tasks including action recognition, video retrieval, dynamic scene recognition, and action similarity labeling. The source code is publicly available at: https://github.com/laura-wang/video_repres_sts.


title: Projective plane curves whose automorphism groups are simple and primitive

abstract: We study complex projective plane curves with a given group of automorphisms. Let $G$ be a simple primitive subgroup of $PGL(3, \mathbb{C})$, which is isomorphic to $A_{6}$, $A_{5}$ or $PSL(2, \mathbb{F}_{7})$. We obtain a necessary and sufficient condition on $d$ for the existence of a nonsingular projective plane curve of degree $d$ invariant under $G$. We also study an analogous problem on integral curves.


title: Symmetry Exploitation in Orbit Feedback Systems of Synchrotron Storage Rings

abstract: Structural symmetries in the storage ring of synchrotrons are intentionally created during the design phase of the magnetic lattices, but they are not considered in the design of control algorithms that stabilize the beam of accelerated particles. The choice of control algorithm, however, is limited by the speed requirements of the synchrotron. Standard control algorithms for synchrotrons are based on a singular value decomposition (SVD) of the orbit response matrix. SVD controllers neither exploit the structural symmetries nor exhibit any speed advantages. Based on the periodicity and the reflection properties of the betatron function, we show that these structural symmetries are inherited by the orbit response matrix. We show that the resulting block-circulant and centrosymmetric properties of the matrix can be used for different computationally efficient decompositions of the controller. We also address the case of broken symmetry due to odd placements of magnets and monitors. Our efficient decomposition could enable the use of more advanced control techniques for synchrotrons, such as control algorithms that require real-time optimization. These advanced control techniques could in turn increase the quality of research in synchrotron light sources.


title: Structured Graph Learning for Clustering and Semi-supervised Classification

abstract: Graphs have become increasingly popular in modeling structures and interactions in a wide variety of problems during the last decade. Graph-based clustering and semi-supervised classification techniques have shown impressive performance. This paper proposes a graph learning framework to preserve both the local and global structure of data. Specifically, our method uses the self-expressiveness of samples to capture the global structure and adaptive neighbor approach to respect the local structure. Furthermore, most existing graph-based methods conduct clustering and semi-supervised classification on the graph learned from the original data matrix, which doesn't have explicit cluster structure, thus they might not achieve the optimal performance. By considering rank constraint, the achieved graph will have exactly $c$ connected components if there are $c$ clusters or classes. As a byproduct of this, graph learning and label inference are jointly and iteratively implemented in a principled way. Theoretically, we show that our model is equivalent to a combination of kernel k-means and k-means methods under certain condition. Extensive experiments on clustering and semi-supervised classification demonstrate that the proposed method outperforms other state-of-the-art methods.


title: Architectural Analysis of FPGA Technology Impact

abstract: The use of high-level languages for designing hardware is gaining popularity since they increase design productivity by providing higher abstractions. However, one drawback of such abstraction level has been the difficulty of relating the low-level implementation problems back to the original high-level design, which is paramount for architectural optimization. In this work (developed between April 2013 and April 2014), we propose a methodology to analyze the effects of technology over the architecture, and to generate architectural-level area, delay and power metrics. Such feedback allows the designer to quickly gauge the impact of architectural decisions on the quality of generated hardware and opens the door to automatic architectural analysis. We demonstrate the use of our technique on three FPGA platforms using two designs: a Reed-Solomon error correction decoder and a 32-bit pipelined processor implementation.


title: Three-dimensional quantum Hall effect and magnetothermoelectric properties in Weyl semimetals

abstract: We numerically study the three-dimensional (3D) quantum Hall effect (QHE) and magnetothermoelectric transport of Weyl semimetals in the presence of disorder. We obtain a bulk picture that the exotic 3D QHE emerges in a finite range of Fermi energy near the Weyl points determined by the gap between the $n=-1$ and $n=1$ Landau levels (LLs). The quantized Hall conductivity is attributable to the chiral zeroth LLs traversing the gap, and is robust against disorder scattering for an intermediate number of layers in the direction of the magnetic field. Moreover, we predict several interesting characteristic features of the thermoelectric transport coefficients in the 3D QHE regime, which can be probed experimentally. This may open an avenue for exploring Weyl physics in topological materials.


title: VALMOD: A Suite for Easy and Exact Detection of Variable Length Motifs in Data Series

abstract: Data series motif discovery represents one of the most useful primitives for data series mining, with applications to many domains, such as robotics, entomology, seismology, medicine, and climatology, and others. The state-of-the-art motif discovery tools still require the user to provide the motif length. Yet, in several cases, the choice of motif length is critical for their detection. Unfortunately, the obvious brute-force solution, which tests all lengths within a given range, is computationally untenable, and does not provide any support for ranking motifs at different resolutions (i.e., lengths). We demonstrate VALMOD, our scalable motif discovery algorithm that efficiently finds all motifs in a given range of lengths, and outputs a length-invariant ranking of motifs. Furthermore, we support the analysis process by means of a newly proposed meta-data structure that helps the user to select the most promising pattern length. This demo aims at illustrating in detail the steps of the proposed approach, showcasing how our algorithm and corresponding graphical insights enable users to efficiently identify the correct motifs. (Paper published in ACM Sigmod Conference 2018.)


title: On thermomechanics of multilayered beams

abstract: In this paper, the mechanical behavior of multilayered small-scale beams in nonisothermal environment is investigated. Scale phenomena are modeled by means of the mathematically well-posed and experimentally consistent stress-driven integral formulation of elasticity. The present research extends the treatment in [1] confined to elastically homogeneous nano-scopic structures. It is shown that the non-locality leads to a complex coupling between axial and transverse elastic displacements. Such a size-dependent phenomenon makes the solution of the relevant nonlocal thermoelastostatic problem, governed by a system of two ordinary differential equations with ten standard boundary conditions and non-classical constitutive boundary conditions, significantly more involved with respect to treatments in literature. Thus, a novel solution methodology, based on Laplace transforms, is proposed and illustrated by examining simple structural schemes of current applicative interest in Nanomechanics and Nanotechnology.


title: The cyclotron line energy in Her X-1: stable after the decay

abstract: We summarize the results of a dedicated effort between 2012 and 2019 to follow the evolution of the cyclotron line in Her~X-1 through repeated NuSTAR observations. The previously observed nearly 20-year long decay of the cyclotron line energy has ended around 2012: from there onward the pulse phase averaged flux corrected cyclotron line energy has remained stable and constant at an average value of Ecyc= (37.44+/-0.07) keV (normalized to a flux level of 6.8 RXTE/ASM-cts/s). The flux dependence of Ecyc discovered in 2007 is now measured with high precision, giving a slope of (0.675+/-0.075) keV/(ASM-cts/s), corresponding to an increase of 6.5% of Ecyc for an increase in flux by a factor of two. We also find that all line parameters as well as the continuum parameters show a correlation with X-ray flux. While a correlation between Ecyc and X-ray flux (both positive and negative) is now known for several accreting binaries with various suggestions for the underlying physics, the phenomenon of a long-term decay has so far only been seen in Her~X-1 and Vela~X-1, with far less convincing explanations.


title: E-series of character varieties of non-orientable surfaces

abstract: In this paper we are interested in two kinds of (stacky) character varieties associated to a compact non-orientable surface. (A) We consider the quotient stack of the space of representations of the fundamental group of this surface to GL(n). (B) We choose a set of k-punctures on the surface and a generic k-tuple of semisimple conjugacy classes of GL(n), and we consider the stack of anti-invariant local systems on the orientation cover of the surface with local monodromies around the punctures given by the prescribed conjugacy classes. We compute the number of points of these spaces over finite fields from which we get a formula for their E-series (a certain specialization of the mixed Poincar\'e series). In case (B), we discuss the mixed Poincar\'e series when the surface is the real projective plane and k=1.


title: Low-Cost Performance-Efficient Field-Programmable Pin-Constrained Digital Microfluidic Biochip

abstract: Digital microfluidic biochips (DMFBs) are revolutionary biomedical devices towards diagnostics and point-of-care applications; the chips provide the capability of performing wide ranges of biochemistry and laboratory procedures, offering various opportunities among which to mention are automation, miniaturization and cost-affordability of bioassays. There have been various digital microfluidic biochips architectures; the application-specific chips are mainly suited towards executing a predefined set of bioassays whereas the more flexible general-purpose chips allow executing wide ranges of bioassays on the same architecture. Though more flexible in terms of performing various bioassays the general-purpose chips require more complicated designs compared with application-specific counterparts necessitating larger and more costly designs. This paper attempts to propose a general-purpose field-programmable pin-constrained DMFB design with improved characteristics in terms area-consumption, manufacturing cost and performance.


title: Equilibrium Equality for Free Energy Difference

abstract: Jarzynski Equality (JE) and the thermodynamic integration method are conventional methods to calculate free energy difference (FED) between two equilibrium states with constant temperature of a system. However, a number of ensemble samples should be generated to reach high accuracy for a system with large size, which consumes a lot computational resource. Previous work had tried to replace the non-equilibrium quantities with equilibrium quantities in JE by introducing a virtual integrable system and it had promoted the efficiency in calculating FED between different equilibrium states with constant temperature. To overcome the downside that the FED for two equilibrium states with different temperature can't be calculated efficiently in previous work, this article derives out the Equilibrium Equality for FED between any two different equilibrium states by deriving out the equality for FED between states with different temperatures and then combining the equality for FED between states with different volumes. The equality presented in this article expresses FED between any two equilibrium states as an ensemble average in one equilibrium state, which enable the FED between any two equilibrium states can be determined by generating only one canonical ensemble and thus the samples needed are dramatically less and the efficiency is promoted a lot. Plus, the effectiveness and efficiency of the equality are examined in Toda-Lattice model with different dimensions.


title: Modulation of spin conversion in a 1.5 nm-thick Pd film by ionic gating

abstract: Gate-induced modulation of the spin-orbit interaction (SOI) in a 1.5 nm-thick Pd thin film grown on a ferrimagnetic insulator was investigated. Efficient charge accumulation by ionic gating enables a substantial upshift in the Fermi level of the Pd film, which was corroborated by suppression of the resistivity in the Pd. Electromotive forces arising from the inverse spin Hall effect in Pd under spin pumping were substantially modulated by the gating, in consequence of the modulation of the spin Hall conductivity of Pd as in an ultrathin Pt film. The same experiment using a thin Cu film, for which the band structure is largely different from Pd and Pt and its SOI is quite small, provides further results supporting our claim. The results obtained help in developing a holistic understanding of the gate-tunable SOI in solids and confirm a previous explanation of the significant modulation of the spin Hall conductivity in an ultrathin Pt film by gating.


title: Near-threshold photoproduction of $J/\psi$ in two-gluon exchange model

abstract: The near-threshold photoproduction of $J/\psi$ is regarded as one golden process to unveil the nucleon mass structure, pentaquark state involving the charm quarks, and the poorly constrained gluon distribution of the nucleon at large $x$ ($>0.1$). In this paper, we present an analysis of the current experimental data under a two-gluon exchange model, which shows a good consistency. Using a parameterized function form with three free parameters, we have determined the nucleonic gluon distribution at the $J/\psi$ mass scale. Moreover, we predict the differential cross section of the electroproduction of $J/\psi$ as a function of the invariant mass of the final hadrons $W$, at EicC, as a practical application of the model and the obtained gluon distribution. According to our estimation, thousands of $J/\psi$ events can be detected per year on EicC near the threshold. Therefore, the relevant experimental measurements are suggested to be carried out on EicC.


title: 1/2-BPS vortex strings in $\mathcal{N}=2$ supersymmetric ${\rm U}(1)^N$ gauge theories

abstract: Strings in $\mathcal{N}=2$ supersymmetric ${\rm U}(1)^N$ gauge theories with $N$ hypermultiplets are studied in the generic setting of an arbitrary Fayet-Iliopoulos triplet of parameters for each gauge group and an invertible charge matrix. Although the string tension is generically of a square-root form, it turns out that all existing BPS (Bogomol'nyi-Prasad-Sommerfield) solutions have a tension which is linear in the magnetic fluxes, which in turn are linearly related to the winding numbers. The main result is a series of theorems establishing three different kinds of solutions of the so-called constraint equations, which can be pictured as orthogonal directions to the magnetic flux in ${\rm SU}(2)_R$ space. We further prove for all cases, that a seemingly vanishing Bogomol'nyi bound cannot have solutions. Finally, we write down the most general vortex equations in both master form and Taubes-like form. Remarkably, the final vortex equations essentially look Abelian in the sense that there is no trace of the ${\rm SU}(2)_R$ symmetry in the equations, after the constraint equations have been solved.


title: Over 1% magnetoresistance ratio at room temperature in non-degenerate silicon-based lateral spin valves

abstract: To augment the magnetoresistance (MR) ratio of n-type non-degenerate Si-based lateral spin valves (Si-LSVs), we modify the doping profile in the Si layer and introduce a larger local strain into the Si channel by changing a capping insulator. The highest MR ratio of 1.4% is achieved in the Si-LSVs through these improvements, with significant roles played by a reduction in the resistance-area product of the ferromagnetic contacts and an enhancement of the momentum relaxation time in the Si channel.


title: A New Observable for Measuring CP Property of Top-Higgs Interaction

abstract: We propose a new dihedral angle observable to measure the CP property of the interaction of top quark and Higgs boson in the $t\bar{t}H$ production at the 14~TeV LHC. We consider two decay modes of the Higgs boson, $H\to b\bar{b}$ and $H\to \gamma\gamma$ and show that the dihedral angle distribution is able to distinguish the CP-even and the CP-odd hypothesis at 95\% confidence level with an integrated luminosity of $\sim 180~{\rm fb}^{-1}$.


title: On the Quality Requirements of Demand Prediction for Dynamic Public Transport

abstract: As Public Transport (PT) becomes more dynamic and demand-responsive, it increasingly depends on predictions of transport demand. But how accurate need such predictions be for effective PT operation? We address this question through an experimental case study of PT trips in Metropolitan Copenhagen, Denmark, which we conduct independently of any specific prediction models. First, we simulate errors in demand prediction through unbiased noise distributions that vary considerably in shape. Using the noisy predictions, we then simulate and optimize demand-responsive PT fleets via a linear programming formulation and measure their performance. Our results suggest that the optimized performance is mainly affected by the skew of the noise distribution and the presence of infrequently large prediction errors. In particular, the optimized performance can improve under non-Gaussian vs. Gaussian noise. We also find that dynamic routing could reduce trip time by at least 23% vs. static routing. This reduction is estimated at 809,000 EUR/year in terms of Value of Travel Time Savings for the case study.