title: Critical properties of calibrated relativistic mean-field models for the transition to warm, non-homogeneous nuclear matter

abstract: The critical properties for the transition to warm, asymmetric, non-homogeneous nuclear matter are analysed within a thermodynamical spinodal approach for a set of well calibrated equations of state. It is shown that even though different equations of state are constrained by the same experimental, theoretical and observational data, and the properties of symmetric nuclear matter are similar within the models, the properties of very asymmetric nuclear matter, such as the one found inside of neutron stars, differ a lot for various models. Some models predict larger transition densities to homogeneous matter for beta-equilibrated matter than for symmetric nuclear matter. Since one expects that such properties have a noticeable impact on the the evolution of either a supernova or neutron star merger, this different behavior should be understood in more detail.


title: Observation of Bloch Oscillations and Wannier-Stark Localization on a Superconducting Processor

abstract: The Bloch oscillation (BO) and Wannier-Stark localization (WSL) are fundamental concepts about metal-insulator transitions in condensed matter physics. These phenomena have also been observed in semiconductor superlattices and simulated in platforms such as photonic waveguide arrays and cold atoms. Here, we report experimental investigation of BOs and WSL simulated with a 5-qubit programmable superconducting processor, of which the effective Hamiltonian is an isotropic $XY$ spin chain. When applying a linear potential to the system by properly tuning all individual qubits, we observe that the propagation of a single spin on the chain is suppressed. It tends to oscillate near the neighborhood of their initial positions, which demonstrates the characteristics of BOs and WSL. We verify that the WSL length is inversely correlated to the potential gradient. Benefiting from the precise single-shot simultaneous readout of all qubits in our experiments, we can also investigate the thermal transport, which requires the joint measurement of more than one qubits. The experimental results show that, as an essential characteristic for BOs and WSL, the thermal transport is also blocked under a linear potential. Our experiment would be scalable to more superconducting qubits for simulating various of out-of-equilibrium problems in quantum many-body systems.


title: DVI: Depth Guided Video Inpainting for Autonomous Driving

abstract: To get clear street-view and photo-realistic simulation in autonomous driving, we present an automatic video inpainting algorithm that can remove traffic agents from videos and synthesize missing regions with the guidance of depth/point cloud. By building a dense 3D map from stitched point clouds, frames within a video are geometrically correlated via this common 3D map. In order to fill a target inpainting area in a frame, it is straightforward to transform pixels from other frames into the current one with correct occlusion. Furthermore, we are able to fuse multiple videos through 3D point cloud registration, making it possible to inpaint a target video with multiple source videos. The motivation is to solve the long-time occlusion problem where an occluded area has never been visible in the entire video. To our knowledge, we are the first to fuse multiple videos for video inpainting. To verify the effectiveness of our approach, we build a large inpainting dataset in the real urban road environment with synchronized images and Lidar data including many challenge scenes, e.g., long time occlusion. The experimental results show that the proposed approach outperforms the state-of-the-art approaches for all the criteria, especially the RMSE (Root Mean Squared Error) has been reduced by about 13%.


title: A Biologically Plausible Audio-Visual Integration Model for Continual Learning

abstract: The problem of catastrophic forgetting has a history of more than 30 years and has not been completely solved yet. Since the human brain has natural ability to perform continual lifelong learning, learning from the brain may provide solutions to this problem. In this paper, we propose a novel biologically plausible audio-visual integration model (AVIM) based on the assumption that the integration of audio and visual perceptual information in the medial temporal lobe during learning is crucial to form concepts and make continual learning possible. Specifically, we use multi-compartment Hodgkin-Huxley neurons to build the model and adopt the calcium-based synaptic tagging and capture as the model's learning rule. Furthermore, we define a new continual learning paradigm to simulate the possible continual learning process in the human brain. We then test our model under this new paradigm. Our experimental results show that the proposed AVIM can achieve state-of-the-art continual learning performance compared with other advanced methods such as OWM, iCaRL and GEM. Moreover, it can generate stable representations of objects during learning. These results support our assumption that concept formation is essential for continuous lifelong learning and suggest the proposed AVIM is a possible concept formation mechanism.


title: EPNet: Enhancing Point Features with Image Semantics for 3D Object Detection

abstract: In this paper, we aim at addressing two critical issues in the 3D detection task, including the exploitation of multiple sensors~(namely LiDAR point cloud and camera image), as well as the inconsistency between the localization and classification confidence. To this end, we propose a novel fusion module to enhance the point features with semantic image features in a point-wise manner without any image annotations. Besides, a consistency enforcing loss is employed to explicitly encourage the consistency of both the localization and classification confidence. We design an end-to-end learnable framework named EPNet to integrate these two components. Extensive experiments on the KITTI and SUN-RGBD datasets demonstrate the superiority of EPNet over the state-of-the-art methods. Codes and models are available at: \url{https://github.com/happinesslz/EPNet}.


title: An analytic study on the excited states of holographic superconductors

abstract: Based on the Sturm-Liouville eigenvalue problem, we develop a general analytic technique to investigate the excited states of the holographic superconductors. By including more higher order terms in the expansion of the trial function, we observe that the analytic results agree well with the numeric data, which indicates that the Sturm-Liouville method is very powerful to study the holographic superconductors even if we consider the excited states. For both the holographic s-wave and p-wave models, we find that the excited state has a lower critical temperature than the corresponding ground state and the difference of the dimensionless critical chemical potential between the consecutive states is around 5. Moreover, we analytically confirm that the holographic superconductor phase transition with the excited states belongs to the second order, which can be used to back up the numerical findings for both s-wave and p-wave superconductors.


title: M\"ossbauer studies of spin- and charge-modulations in BaFe2(As1-xPx)2

abstract: The BaFe2(As1-xPx)2 compounds with x = 0 (parent), x = 0.10 (under-doped), x = 0.31, 0.33, 0.53 (superconductors with Tc = 27.3 K, 27.6 K, 13.9 K, respectively) and x = 0.70, 0.77 (over-doped) have been investigated versus temperature using 57Fe M\"ossbauer spectroscopy. Special attention was paid to regions of the spin-density-wave (SDW) antiferromagnetic order, spin-nematic phase, and superconducting transition. The BaFe2(As0.90P0.10)2 compound exhibits a reduced amplitude of SDW as compared to the parent compound and preserved universality class of two-dimensional magnetic planes with one-dimensional spins. The spin-nematic phase region for x = 0.10 is characterized by an incoherent magnetic order. BaFe2(As0.69P0.31)2 shows coexistence of a weak magnetic order and superconductivity due to the vicinity of the quantum critical point. The charge density modulations in the BaFe2(As0.67P0.33)2 and BaFe2(As0.47P0.53)2 superconductors are perturbed near Tc. Pronounced hump of the average quadrupole splitting across superconducting transition is observed for the system with x = 0.33. The phosphorus substitution increases the Debye temperature of the BaFe2(As1-xPx)2 compound. Moreover, experimental electron charge densities at Fe nuclei in this material conclusively show that it should be recognized as a hole-doped system. The measured M\"ossbauer spectral shift and spectral area are not affected by transition to the superconducting state. This indicates that neither the average electron density at Fe nuclei nor the dynamical properties of the Fe-sublattice in BaFe2(As1-xPx)2 are sensitive to the superconducting transition. Theoretical calculations of hyperfine parameters determining the patterns of M\"ossbauer spectra of BaFe2(As1-xPx)2 with x = 0, 0.31, 0.5, and 1.0 are performed within the framework of the density functional theory.


title: The Engulfing Property from a Convex Analysis Viewpoint

abstract: In this note we provide a simple proof of some properties enjoyed by convex functions having the engulfing property. In particular, making use only of results peculiar to convex analysis, we prove that differentiability and strict convexity are conditions intrinsic to the engulfing property.


title: FSpiNN: An Optimization Framework for Memory- and Energy-Efficient Spiking Neural Networks

abstract: Spiking Neural Networks (SNNs) are gaining interest due to their event-driven processing which potentially consumes low power/energy computations in hardware platforms, while offering unsupervised learning capability due to the spike-timing-dependent plasticity (STDP) rule. However, state-of-the-art SNNs require a large memory footprint to achieve high accuracy, thereby making them difficult to be deployed on embedded systems, for instance on battery-powered mobile devices and IoT Edge nodes. Towards this, we propose FSpiNN, an optimization framework for obtaining memory- and energy-efficient SNNs for training and inference processing, with unsupervised learning capability while maintaining accuracy. It is achieved by (1) reducing the computational requirements of neuronal and STDP operations, (2) improving the accuracy of STDP-based learning, (3) compressing the SNN through a fixed-point quantization, and (4) incorporating the memory and energy requirements in the optimization process. FSpiNN reduces the computational requirements by reducing the number of neuronal operations, the STDP-based synaptic weight updates, and the STDP complexity. To improve the accuracy of learning, FSpiNN employs timestep-based synaptic weight updates, and adaptively determines the STDP potentiation factor and the effective inhibition strength. The experimental results show that, as compared to the state-of-the-art work, FSpiNN achieves 7.5x memory saving, and improves the energy-efficiency by 3.5x on average for training and by 1.8x on average for inference, across MNIST and Fashion MNIST datasets, with no accuracy loss for a network with 4900 excitatory neurons, thereby enabling energy-efficient SNNs for edge devices/embedded systems.


title: Finite-key analysis for twin-field quantum key distribution based on generalized operator dominance condition

abstract: Quantum key distribution (QKD) can help two distant peers to share secret key bits, whose security is guaranteed by the law of physics. In practice, the secret key rate of a QKD protocol is always lowered with the increasing of channel distance, which severely limits the applications of QKD. Recently, twin-field (TF) QKD has been proposed and intensively studied, since it can beat the rate-distance limit and greatly increase the achievable distance of QKD. Remarkalebly, K. Maeda et. al. proposed a simple finite-key analysis for TF-QKD based on operator dominance condition. Although they showed that their method is sufficient to beat the rate-distance limit, their operator dominance condition is not general, i.e. it can be only applied in three decoy states scenarios, which implies that its key rate cannot be increased by introducing more decoy states, and also cannot reach the asymptotic bound even in case of preparing infinite decoy states and optical pulses. Here, to bridge this gap, we propose an improved finite-key analysis of TF-QKD through devising new operator dominance condition. We show that by adding the number of decoy states, the secret key rate can be furtherly improved and approach the asymptotic bound. Our theory can be directly used in TF-QKD experiment to obtain higher secret key rate. Our results can be directly used in experiments to obtain higher key rates.


title: Kinetic Modeling of Transient Electroluminescence reveals TTA as Efficiency-Limiting Process in Exciplex-Based TADF OLEDs

abstract: Organic light emitting diodes (OLEDs) based on thermally activated delayed fluorescence (TADF) show increased efficiencies due to efficient upconversion of non-emissive triplet states to emissive singlets states via reverse intersystem crossing (RISC). To assess the influence of the characteristic efficiency-enhancing RISC process as well as possible efficiency-limiting effects in operational OLEDs, we performed temperature-dependent measurements of transient electroluminescence (trEL). With kinetic modeling, we quantify and separate the impact of different temperature-dependent depopulation processes and contributions to EL in the established donor:acceptor model system m-MTDATA:3TPYMB. The underlying rate equations adapted for EL measurements on TADF systems include radiative and non-radiative first- and second-order effects. In this way, we are able to evaluate the non-radiative recombination and annihilation processes with respect to their efficiency-limiting effects on these OLEDs. On the one hand, we evaluate the depopulation of intermolecular exciplex triplet states via non-radiative direct triplet decay, RISC and triplet-triplet annihilation (TTA). On the other hand, we determine the contribution to EL from the formation of singlet exciplex states via polarons, RISC and TTA. Our results show that TTA accounts for a significant part to triplet depopulation and contributes to EL while limiting the overall device quantum efficiency.


title: Light Majorana Neutrinos in (Semi)invisible Meson Decays

abstract: We reconsider decays of pseudoscalar mesons (P) to neutrino pairs and possibly additional photons in presence of (light) Majorana neutrinos. For this purpose we derive a model-independent general parametrization of neutrino mass matrices with physically interpretable and irreducible set of parameters. The parametrization is valid for any number of neutrinos and interpolates smoothly between the heavy Majorana and the (pseudo)Dirac neutrino limits. We apply the new parametrization to the study of $P \rightarrow \nu \nu$ and $P \rightarrow \nu \nu \gamma$ decays within the SM extended by additional singlet fermions. We update the SM predictions for the branching ratios of $B_{s,d} \rightarrow \nu \nu \gamma$ and discuss the sensitivity of the $B_{s,d} \rightarrow E_{\rm miss} (\gamma)$ decays to neutrino mass and mixing parameters.


title: Sparse Linear Networks with a Fixed Butterfly Structure: Theory and Practice

abstract: A butterfly network consists of logarithmically many layers, each with a linear number of non-zero weights (pre-specified). The fast Johnson-Lindenstrauss transform (FJLT) can be represented as a butterfly network followed by a projection onto a random subset of the coordinates. Moreover, a random matrix based on FJLT with high probability approximates the action of any matrix on a vector. Motivated by these facts, we propose to replace a dense linear layer in any neural network by an architecture based on the butterfly network. The proposed architecture significantly improves upon the quadratic number of weights required in a standard dense layer to nearly linear with little compromise in expressibility of the resulting operator. In a collection of wide variety of experiments, including supervised prediction on both the NLP and vision data, we show that this not only produces results that match and at times outperform existing well-known architectures, but it also offers faster training and prediction in deployment. To understand the optimization problems posed by neural networks with a butterfly network, we also study the optimization landscape of the encoder-decoder network, where the encoder is replaced by a butterfly network followed by a dense linear layer in smaller dimension. Theoretical result presented in the paper explains why the training speed and outcome are not compromised by our proposed approach.


title: Multiple zeta values and their q-analogues

abstract: We explore the theory of multiple zeta values (MZVs) and some of their $q$-generalisations. Multiple zeta values are numerical quantities that satisfy several combinatorial relations over the rationals. These relations include two multiplicative relations, which arise naturally from comparison of the MZVs with an underlying algebraic structure. We generalise these concepts by introducing the parameter $q$ in such a way that as $q\to 1^-$ we return to the ordinary MZVs. Our special interest lies in two $q$-models recently introduced by H. Bachmann. He further conjectures that the $\mathbb{Q}$-spaces generated by these $q$-generalisations coincide. In this thesis we establish a particular case of Bachmann's conjecture.


title: Greibach Normal Form for $\omega$-Algebraic Systems and Weighted Simple $\omega$-Pushdown Automata

abstract: In weighted automata theory, many classical results on formal languages have been extended into a quantitative setting. Here, we investigate weighted context-free languages of infinite words, a generalization of $\omega$-context-free languages (Cohen, Gold 1977) and an extension of weighted context-free languages of finite words (Chomsky, Sch\"utzenberger 1963). As in the theory of formal grammars, these weighted context-free languages, or $\omega$-algebraic series, can be represented as solutions of mixed $\omega$-algebraic systems of equations and by weighted $\omega$-pushdown automata. In our first main result, we show that (mixed) $\omega$-algebraic systems can be transformed into Greibach normal form. We use the Greibach normal form in our second main result to prove that simple $\omega$-reset pushdown automata recognize all $\omega$-algebraic series. Simple $\omega$-reset automata do not use $\epsilon$-transitions and can change the stack only by at most one symbol. These results generalize fundamental properties of context-free languages to weighted context-free languages.


title: Electroweak corrections to the angular coefficients in finite-$p_T$ $Z$-boson production and dilepton decay

abstract: We present next-to-leading order (NLO) electroweak corrections to the dominant five angular coefficients parametrizing the Drell-Yan process in the $Z$-boson mass peak range for finite-$p_T$ vector boson production. The results are presented differentially in the vector boson transverse momentum. The Lam-Tung violating difference $A_0-A_2$ is examined alongside the coefficients. A single lepton transverse momentum cut is needed in the case of electroweak corrections to avoid a double singularity in the photon induced diagrams, and the dependence on the value of this cut is examined. We compare the electroweak corrections to the angular coefficients to the NLO QCD corrections, including the single lepton cut. The size of the single lepton cut is found to affect the two coefficients $A_0$ and $A_2$ to largest extent. The relative size of the electroweak corrections to the coefficients is moderate for all single lepton cut values, and by extrapolation to the inclusive results, is moderate also for the full dilepton phase space case. However, for the Lam-Tung violation, there is a significant contribution from the electroweak corrections for low $p_T$ of the lepton pair.


title: Bijections between walks inside a triangular domain and Motzkin paths of bounded amplitude

abstract: This paper solves an open question of Mortimer and Prellberg asking for an explicit bijection between two families of walks. The first family is formed by what we name triangular walks, which are two-dimensional walks moving in six directions (0{\deg}, 60{\deg}, 120{\deg}, 180{\deg}, 240{\deg}, 300{\deg}) and confined within a triangle. The other family is comprised of two-colored Motzkin paths with bounded height, in which the horizontal steps may be forbidden at maximal height. We provide several new bijections. The first one is derived from a simple inductive proof, taking advantage of a $2^n$-to-one function from generic triangular walks to triangular walks only using directions 0{\deg}, 120{\deg}, 240{\deg}. The second is based on an extension of Mortimer and Prellberg's results to triangular walks starting not only at a corner of the triangle, but at any point inside it. It has a linear-time complexity and is in fact adjustable: by changing some set of parameters called a scaffolding, we obtain a wide range of different bijections. Finally, we extend our results to higher dimensions. In particular, by adapting the previous proofs, we discover an unexpected bijection between three-dimensional walks in a pyramid and two-dimensional simple walks confined in a bounded domain shaped like a waffle.


title: Edge ideals of Erd\"{o}s-R\'enyi random graphs : Linear resolution, unmixedness and regularity

abstract: We study the homological algebra of edge ideals of Erd\"{o}s-R\'enyi random graphs. These random graphs are generated by deleting edges of a complete graph on $n$ vertices independently of each other with probability $1-p$. We focus on some aspects of these random edge ideals - linear resolution, unmixedness and algebraic invariants like the Castelnuovo-Mumford regularity, projective dimension and depth. We first show a double phase transition for existence of linear presentation and resolution and determine the critical windows as well. As a consequence, we obtain that except for a very specific choice of parameters (i.e., $n,p := p(n)$), with high probability, a random edge ideal has linear presentation if and only if it has linear resolution. This shows certain conjectures hold true for large random graphs with high probability even though the conjectures were shown to fail for determinstic graphs. Next, we study asymptotic behaviour of some algebraic invariants - the Castelnuovo-Mumford regularity, projective dimension and depth - of such random edge ideals in the sparse regime (i.e., $p = \frac{\lambda}{n}, \lambda \in (0,\infty)$). These invariants are studied using local weak convergence (or Benjamini-Schramm convergence) and relating them to invariants on Galton-Watson trees. We also show that when $p \to 0$ or $p \to 1$ fast enough, then with high probability the edge ideals are unmixed and for most other choices of $p$, these ideals are not unmixed with high probability. This is further progress towards the conjecture that random monomial ideals are unlikely to have Cohen-Macaulay property (see De Loera et al. 2019a,2019b) in the setting when the number of variables goes to infinity but the degree is fixed.


title: Abelian topological order of $\nu=2/5$ and $3/7$ fractional quantum Hall states in lattice models

abstract: Determining the statistics of elementary excitations supported by fractional quantum Hall states is crucial to understanding their properties and potential applications. In this paper, we use the topological entanglement entropy as an indicator of Abelian statistics to investigate the single-component $\nu=2/5$ and $3/7$ states for the Hofstadter model in the band mixing regime. We perform many-body simulations using the infinite cylinder density matrix renormalization group and present an efficient algorithm to construct the area law of entanglement, which accounts for both numerical and statistical errors. Using this algorithm, we show that the $\nu=2/5$ and $3/7$ states exhibit Abelian topological order in the case of two-body nearest-neighbor interactions. Moreover, we discuss the sensitivity of the proposed method and fractional quantum Hall states with respect to interaction range and strength.


title: Overview of Security of Virtual Mobile Networks

abstract: 5G is enabling different services over the same physical infrastructure through the concepts and technologies of virtualization, softwarization, slicing and cloud computing. Virtual Mobile Networks (VMNs), using these concepts, provide an opportunity to share the same physical infrastructure among multiple operators. Each VMN Operator (VMNO) can have own distinct operating and support systems. However, the technologies used to enable VMNs have their own explicit security challenges and solutions. The integrated environment built upon virtualization, softwarization, and cloudification, thus, will have complex security requirements and implications. In this vain, this article provides an overview of the security challenges and potential solutions for VMNs.


title: Impact of base dataset design on few-shot image classification

abstract: The quality and generality of deep image features is crucially determined by the data they have been trained on, but little is known about this often overlooked effect. In this paper, we systematically study the effect of variations in the training data by evaluating deep features trained on different image sets in a few-shot classification setting. The experimental protocol we define allows to explore key practical questions. What is the influence of the similarity between base and test classes? Given a fixed annotation budget, what is the optimal trade-off between the number of images per class and the number of classes? Given a fixed dataset, can features be improved by splitting or combining different classes? Should simple or diverse classes be annotated? In a wide range of experiments, we provide clear answers to these questions on the miniImageNet, ImageNet and CUB-200 benchmarks. We also show how the base dataset design can improve performance in few-shot classification more drastically than replacing a simple baseline by an advanced state of the art algorithm.


title: Generalized tracker quintessence models for dark energy

abstract: We study the dynamical properties of tracker quintessence models using a general parametrization of their corresponding potentials, and show that there is a general condition for the appearance of a tracker behavior at early times. Likewise, we determine the conditions under which the quintessence tracker models can also provide an accelerating expansion of the universe with an equation of state closer to $-1$. Apart from the analysis of the background dynamics, we also include linear density perturbations of the quintessence field in a consistent manner and using the same parametrization of the potential, with which we show the influence they have on some cosmological observables. The generalized tracker models are compared to observations, and we discuss their appropriateness to ameliorate the fine-tuning of initial conditions and their consistency with the accelerated expansion of the Universe at late times.


title: The Effect of Multiple Access Categories on the MAC Layer Performance of IEEE 802.11p

abstract: The enhanced distributed channel access (EDCA) mechanism enables IEEE 802.11p to accommodate differential quality of service (QoS) levels in vehicle-to-vehicle (V2V) communications, through four access categories (ACs). This paper presents multi-dimensional discrete-time Markov chain (DTMC) based model to study the effect of parallel operation of the ACs on the medium access control (MAC) layer performance of ITS-G5 IEEE 802.11p. The overall model consists of four queue models with their respective traffic generators, which are appropriately linked with the DTMCs modeling the operation of each AC. Closed-form solutions for the steady-state probabilities of the models are obtained, which are then utilized to derive expressions for key performance indicators at the MAC layer. An application for a highway scenario is presented to draw insights on the performance. The results show how the performance measures vary among ACs according to their priority levels, and emphasize the importance of analytical modeling of the parallel operation of all four ACs.


title: Security, Availability, and Multiple Information Sources: Exploring Update Behavior of System Administrators

abstract: Experts agree that keeping systems up to date is a powerful security measure. Previous work found that users sometimes explicitly refrain from performing timely updates, e.g., due to bad experiences which has a negative impact on end-user security. Another important user group has been investigated less extensively: system administrators, who are responsible for keeping complex and heterogeneous system landscapes available and secure. In this paper, we sought to understand administrators' behavior, experiences, and attitudes regarding updates in a corporate environment. Based on the results of an interview study, we developed an online survey and quantified common practices and obstacles (e.g., downtime or lack of information about updates). The findings indicate that even experienced administrators struggle with update processes as the consequences of an update are sometimes hard to assess. Therefore, we argue that more usable monitoring and update processes are essential to guarantee IT security at scale.


title: Tractability Beyond $\beta$-Acyclicity for Conjunctive Queries with Negation

abstract: Numerous fundamental database and reasoning problems are known to be NP-hard in general but tractable on instances where the underlying hypergraph structure is $\beta$-acyclic. Despite the importance of many of these problems, there has been little success in generalizing these results beyond acyclicity. In this paper, we take on this challenge and propose nest-set width, a novel generalization of hypergraph $\beta$-acyclicity. We demonstrate that nest-set width has desirable properties and algorithmic significance. In particular, evaluation of boolean conjunctive queries with negation is tractable for classes with bounded nest-set width. Furthermore, propositional satisfiability is fixed-parameter tractable when parameterized by nest-set width.


title: Resilience of long modes in cosmological observables

abstract: By a careful implementation of gauge transformations involving long-wavelength modes, we show that a variety of effects involving squeezed bispectrum configurations, for which one Fourier mode is much shorter than the other two, cannot be gauged away, except for the unphysical exactly infinite-wavelength ($k=0$) limit. Our result applies, in particular, to the Maldacena consistency relation for single-field inflation, yielding a local non-Gaussianity strength $f_{\rm NL}^{\rm local} = - (5/12)(n_S-1)$ (with $n_S$ the primordial spectral index of scalar perturbations), and to the $f_{\rm NL}^{\rm GR} = -5/3$ term, appearing in the dark matter bispectrum and in the halo bias, as a consequence of the general relativistic non-linear evolution of matter perturbations. Such effects are therefore physical and observable in principle by future high-sensitivity experiments.


title: Correlated disorder in a well relaxed model binary glass through a local SU(2) bonding topology

abstract: A quantitative understanding of the microscopic constraints which underlie a well relaxed glassy structure is the key to developing a microscopic theory of structural evolution and plasticity for the amorphous solid. Here we demonstrate the applicability of one such theory of local bonding constraints developed by D. R. Nelson [Phys. Rev. B 28, 5515 (1983)], for a model binary Lennard-Jones glass structure that has undergone an isothermal annealing simulation spanning over 10 micro-seconds of physical simulation time. By introducing a modified radical Voronoi tessellation which removes some ambiguity in how nearest neighbour bonds are enumerated, it is found, that a large proportion ($>95\%$) of local atomic environments follow the connectivity rules of the SU(2) topology of Nelson's work resulting in a dense network of disclination lines characterizing the defect bonds. Furthermore, it is numerically shown that a low energy glass structure corresponds to a reduced level of bond-length frustration and thus a minimally defected bond-defect network. It is then demonstrated that such a defect network provides a framework in which to analyse thermally-activated structural excitations, revealing those high-energy/low-density regions not following the connectivity constraints are more likely to undergo structural rearrangement that often results in a local relaxation that ends with the creation of new SU(2) local topology content.


title: Matrix measures, stability and contraction theory for dynamical systems on time scales

abstract: This paper is concerned with the study of the stability of dynamical systems evolving on time scales. We first {formalize the notion of matrix measures on time scales, prove some of their key properties and make use of this notion to study both linear and nonlinear dynamical systems on time scales.} Specifically, we start with considering linear time-varying systems and, for these, we prove a time scale analogous of an upper bound due to Coppel. We make use of this upper bound to give stability and input-to-state stability conditions for linear time-varying systems. {Then, we consider nonlinear time-varying dynamical systems on time scales and} establish a sufficient condition for the convergence of the solutions. Finally, after linking our results to the existence of a Lyapunov function, we make use of our approach to study certain epidemic dynamics and complex networks. For the former, we give a sufficient condition on the parameters of a SIQR model on time scales ensuring that its solutions converge to the disease-free solution. For the latter, we first give a sufficient condition for pinning controllability of complex time scale networks and then use this condition to study certain collective opinion dynamics. The theoretical results are complemented with simulations.


title: A Differential Game Theoretic Neural Optimizer for Training Residual Networks

abstract: Connections between Deep Neural Networks (DNNs) training and optimal control theory has attracted considerable attention as a principled tool of algorithmic design. Differential Dynamic Programming (DDP) neural optimizer is a recently proposed method along this line. Despite its empirical success, the applicability has been limited to feedforward networks and whether such a trajectory-optimization inspired framework can be extended to modern architectures remains unclear. In this work, we derive a generalized DDP optimizer that accepts both residual connections and convolution layers. The resulting optimal control representation admits a game theoretic perspective, in which training residual networks can be interpreted as cooperative trajectory optimization on state-augmented dynamical systems. This Game Theoretic DDP (GT-DDP) optimizer enjoys the same theoretic connection in previous work, yet generates a much complex update rule that better leverages available information during network propagation. Evaluation on image classification datasets (e.g. MNIST and CIFAR100) shows an improvement in training convergence and variance reduction over existing methods. Our approach highlights the benefit gained from architecture-aware optimization.


title: Three-Body Non-Leptonic Heavy-to-heavy $B$ Decays at NNLO in QCD

abstract: Exclusive non-leptonic two-body decays of $B$ mesons have been studied extensively in the past two decades within the framework of factorization. However, the exploration of the corresponding three-body case has only started recently, in part motivated by new data. We consider here the simplest non-leptonic three-body $B$ decays from the point of view of factorization, namely heavy-to-heavy transitions. We provide a careful derivation of the SCET/QCDF factorized amplitudes to NNLO in $\alpha_s$, and discuss the numerical impact of NLO and NNLO corrections. We then study the narrow-width limit, showing that the three-body amplitude reproduces analytically the known quasi-two-body decay amplitudes, and compute finite-width corrections. Finally, we discuss certain observables that are sensitive to perturbative NLO and NNLO corrections and to higher Gegenbauer moments of the dimeson LCDAs. This is the first study of non-leptonic three-body $B$ decays to NNLO in QCD.


title: Trigger turbulent bands directly at low Reynolds numbers in channel flow using a moving-force technique

abstract: We show a method, for direct numerical simulations, to trigger and maintain turbulent bands directly at low Reynolds numbers in channel flow. The key is to impose a moving localised force which induces a local flow with sufficiently strong inflectional instability. With the method, we can trigger and maintain turbulent bands at Reynolds numbers down to $Re \simeq 500$. More importantly, we can generate any band patterns with desired relative position and orientation. The usual perturbation approach resorts to turbulent fields simulated at higher Reynolds numbers, random noise, or localised vortical perturbation, which neither assures a successful generation of bands at low Reynolds numbers nor offers a control on the orientation of the generated bands. A precise control on the position and orientation of turbulent bands is important for the investigation of all possible types of band interaction and for understanding the transition in channel flow at low Reynolds numbers.


title: Consensus-Aware Visual-Semantic Embedding for Image-Text Matching

abstract: Image-text matching plays a central role in bridging vision and language. Most existing approaches only rely on the image-text instance pair to learn their representations, thereby exploiting their matching relationships and making the corresponding alignments. Such approaches only exploit the superficial associations contained in the instance pairwise data, with no consideration of any external commonsense knowledge, which may hinder their capabilities to reason the higher-level relationships between image and text. In this paper, we propose a Consensus-aware Visual-Semantic Embedding (CVSE) model to incorporate the consensus information, namely the commonsense knowledge shared between both modalities, into image-text matching. Specifically, the consensus information is exploited by computing the statistical co-occurrence correlations between the semantic concepts from the image captioning corpus and deploying the constructed concept correlation graph to yield the consensus-aware concept (CAC) representations. Afterwards, CVSE learns the associations and alignments between image and text based on the exploited consensus as well as the instance-level representations for both modalities. Extensive experiments conducted on two public datasets verify that the exploited consensus makes significant contributions to constructing more meaningful visual-semantic embeddings, with the superior performances over the state-of-the-art approaches on the bidirectional image and text retrieval task. Our code of this paper is available at: https://github.com/BruceW91/CVSE.


title: Solutions of Nonlinear Operator Equations by Viscosity Iterative Methods

abstract: Finding the solutions of nonlinear operator equations has been a subject of research for decades but has recently attracted much attention. This paper studies the convergence of a newly introduced viscosity implicit iterative algorithm to a fixed point of a nonexpansive mapping in Banach spaces. Our technique is indispensable in terms of explicitly clarifying the associated concepts and analysis. The scheme is effective for obtaining the solutions of various nonlinear operator equations as it involves the generalized contraction. The results are applied to obtain a fixed point of {\lambda}-strictly pseudocontractive mappings, solution of {\alpha}-inverse-strongly monotone mappings, and solution of integral equations of Fredholm type


title: Analysis of Industrial Device Architectures for Real-Time Operations under Denial of Service Attacks

abstract: More and more industrial devices are connected to IP-based networks, as this is essential for the success of Industry 4.0. However, this interconnection also results in an increased attack surface for various network-based attacks. One of the easiest attacks to carry out are DoS attacks, in which the attacked target is overloaded due to high network traffic and corresponding CPU load. Therefore, the attacked device can no longer provide its regular services. This is especially critical for devices, which perform real-time operations in industrial processes. To protect against DoS attacks, there is the possibility of throttling network traffic at the perimeter, e.g. by a firewall, to develop robust device architectures. In this paper, we analyze various concepts for secure device architectures and compare them with regard to their robustness against DoS attacks. Here, special attention is paid to how the control process of an industrial controller behaves during the attack. For this purpose, we compare different schedulers on single-core and dual-core Linux-based systems, as well as a heterogeneous multi-core architecture under various network loads and additional system stress.


title: Art Speaks Maths, Maths Speaks Art

abstract: Our interdisciplinary team Mathematics for Applications in Cultural Heritage (MACH) aims to use mathematical research for the benefit of the arts and humanities. Our ultimate goal is to create user-friendly software toolkits for artists, art conservators and archaeologists. In order for their underlying mathematical engines and functionality to be optimised for the needs of the end users, we pursue an iterative approach based on a continuous communication between the mathematicians and the cultural-heritage members of our team. Our paper illustrates how maths can speak art, but only if first art speaks maths.


title: Current-induced second harmonic generation in inversion-symmetric Dirac and Weyl semimetals

abstract: Second harmonic generation (SHG) is a fundamental nonlinear optical phenomenon widely used both for experimental probes of materials and for application to optical devices. Even-order nonlinear optical responses including SHG generally require breaking of inversion symmetry, and thus have been utilized to study noncentrosymmetric materials. Here, we study theoretically the SHG in inversion-symmetric Dirac and Weyl semimetals under a DC current which breaks the inversion symmetry by creating a nonequilibrium steady state. Based on analytic and numerical calculations, we find that Dirac and Weyl semimetals exhibit strong SHG upon application of finite current. Our experimental estimation for a Dirac semimetal Cd$_3$As$_2$ and a magnetic Weyl semimetal Co$_3$Sn$_2$S$_2$ suggests that the induced susceptibility $\chi^{(2)}$ for practical applied current densities can reach $10^5~\mathrm{pm}\cdot\mathrm{V}^{-1}$ with mid-IR or far-IR light. This value is 10$^2$-10$^4$ times larger than those of typical nonlinear optical materials. We also discuss experimental approaches to observe the current-induced SHG and comment on current-induced SHG in other topological semimetals in connection with recent experiments.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other cond-mat.stat-mech cond-mat.str-el


title: On symmetries and dynamics of exotic supermultiplets

abstract: Among the allowed representations of extended supersymmetry in six dimensions there are exotic chiral multiplets that, instead of a graviton, contain mixed-symmetry spin-2 tensor fields. Notably, an $\mathcal{N}=(4,0)$ multiplet has a four index exotic graviton and it was conjectured that an interacting theory based on this multiplet could arise as a strong coupling limit of M theory compactified on $T^6$. We present an algebraic study of these multiplets and their possible embedding into the framework of exceptional field theory, finding in particular that the six-dimensional momenta do not correspond to a conventional spacetime section. When compactified on a circle, the six-dimensional multiplets give rise to the same degrees of freedom as five-dimensional supergravity theories with the same number of supersymmetries. However, by considering anomalies (computed using the product multiplets construction) and the generation of Chern-Simons couplings, we find reason to doubt that their dynamics will agree with the five-dimensional gravity theories. We propose an alternative picture, similar to F-theory, in which particular fixed-volume $T^3$-fibered spacetimes play a central role, suggesting that only on compactification to three-dimensions will one make contact with the dynamics of supergravity.


title: Drop impact on wetted walls: An analytical solution for modelling the crown spreading based on stagnation-point flow

abstract: An analytical solution is proposed to predict the crown propagation, generated by a single droplet impact on wetted walls. This approach enables a smooth transition from the inertia-driven to the viscous-controlled regime of crown propagation. The modelling strategy is based on the stagnation-point flow, because it resembles closely the hydrodynamic flow in the lamella and offers two main advantages. First, it allows a simple estimation of the wall-film thinning rate, caused by the impulse transfer from the impacting droplet to the wall film. Second, thanks to the self-similarity of the solution, it enables a straightforward estimation of momentum losses during film spreading along the wall. By incorporating this estimation into existing inviscid models, an excellent agreement with experiments is found during the entire crown elevation phase. In general, the analysis shows that momentum losses due to viscous effects cannot be neglected during a significant portion of crown propagation, particularly for thin wall films. The proposed methodology paves the way for predicting the inception of crown bottom breakup (CBB). In this case, the crown lamella disintegrates directly at its base due to the spontaneous creation of holes that create a web-like structure in the lamella prior to its break-up. Our theoretical analysis shows that this premature break-up of the crown lamella is associated to local instability effects, caused by the unbalance between inertial forces and surface tension.


title: Spectral Function of an Electron Coupled to Hard Core Bosons

abstract: The polaron, an electron dressed with HCB excitations, remains light even in the strong coupling limit as its effective mass remains of the order of the free electron mass. This result is in a sharp contrast to the Holstein model where the electron effective mass increases exponentially with the electron-phonon coupling. HCB degrees of freedom mediate the attractive potential between two electrons that form a bound singlet bipolaron state at any non-zero coupling strength. In the low-frequency regime of the electron spectral function we observe a quasi-particle (QP) band that is separated from the continuum of states only in the central part of the Brillouin zone. The quasiparticle weight approaches zero as the QP band enters the continuum where it obtains a finite lifetime. At finite temperature an electron can annihilate thermally excited HCB's. Such thermally activated processes lead to a buildup of the spectral weight below the QP band. While the investigated model bears a resemblance with the Holstein model, we point out many important differences that originate from the binary HCB excitation spectrum, which in turn mimics spin-$1\over 2$ degrees of freedom


title: The multi-species mean-field spin-glass on the Nishimori line

abstract: In this paper we study a multi-species disordered model on the Nishimori line. The typical properties of this line, a set of identities and inequalities among correlation functions, allow us to prove the replica symmetry i.e. the concentration of the order parameter. When the interaction structure is elliptic we rigorously compute the exact solution of the model in terms of a finite dimensional variational principle and we study its properties.


title: Fluid-structure interaction using volume penalization and mass-spring models with application to flapping bumblebee flight

abstract: Wing flexibility plays an essential role in the aerodynamic performance of insects due to the considerable deformation of their wings during flight under the impact of inertial and aerodynamic forces. These forces come from the complex wing kinematics of insects. In this study, both wing structural dynamics and flapping wing motion are taken into account to investigate the effect of wing deformation on the aerodynamic efficiency of a bumblebee in tethered flight. A fluid-structure interaction solver, coupling a mass-spring model for the flexible wing with a pseudo-spectral code solving the incompressible Navier-Stokes equations, is implemented for this purpose. We first consider a tethered bumblebee flying in laminar flow with flexible wings. Compared to the rigid model, flexible wings generate smaller aerodynamic forces but require much less power. Finally, the bumblebee model is put into a turbulent flow to investigate its influence on the force production of flexible wings.


title: Prioritized Multi-Criteria Federated Learning

abstract: In Machine Learning scenarios, privacy is a crucial concern when models have to be trained with private data coming from users of a service, such as a recommender system, a location-based mobile service, a mobile phone text messaging service providing next word prediction, or a face image classification system. The main issue is that, often, data are collected, transferred, and processed by third parties. These transactions violate new regulations, such as GDPR. Furthermore, users usually are not willing to share private data such as their visited locations, the text messages they wrote, or the photo they took with a third party. On the other hand, users appreciate services that work based on their behaviors and preferences. In order to address these issues, Federated Learning (FL) has been recently proposed as a means to build ML models based on private datasets distributed over a large number of clients, while preventing data leakage. A federation of users is asked to train a same global model on their private data, while a central coordinating server receives locally computed updates by clients and aggregate them to obtain a better global model, without the need to use clients' actual data. In this work, we extend the FL approach by pushing forward the state-of-the-art approaches in the aggregation step of FL, which we deem crucial for building a high-quality global model. Specifically, we propose an approach that takes into account a suite of client-specific criteria that constitute the basis for assigning a score to each client based on a priority of criteria defined by the service provider. Extensive experiments on two publicly available datasets indicate the merits of the proposed approach compared to standard FL baseline.


title: Off-shell Diagrammatics for Quantum Gravity

abstract: This article reports on how diagrammatic identities of Yang--Mills theory translate to diagrammatics for pure gravity. For this, we consider the Einstein--Hilbert action and follow the approach of Capper, Leibbrandt, and Medrano and expand the inverse metric density around the Minkowski metric. By analogy to Yang--Mills theory, cancellation identities are constructed for the graviton as well as the ghost vertices up to the valency of six.


title: Computational investigations of dispersion interactions between small molecules and graphene-like flakes

abstract: In this work, we investigate dispersion interactions in a selection of atomic, molecular, and molecule-surface systems, comparing high-level correlated methods with empirically-corrected density functional theory (DFT). We assess the efficacy of functionals commonly used for surface-based calculations, with and without the D3 correction of Grimme. We find that the inclusion of the correction is essential to get meaningful results, but there is otherwise little to distinguish between the functionals. We also present coupled-cluster quality interaction curves for \ce{H2} and \ce{NO2} interacting with large carbon flakes, acting as models for graphene surfaces, using novel absolutely localised molecular orbital based methods. These calculations demonstrate that the problems with empirically-corrected DFT when investigating dispersion appear to compound as the system size increases, with important implications for future computational studies of molecule-surface interactions.


title: Strangeness Photoproduction at the BGO-OD experiment

abstract: The BGO-OD experiment at the ELSA accelerator facility uses an energy tagged bremsstrahlung photon beam to investigate the excitation structure of the nucleon. The setup consists of a highly segmented BGO calorimeter surrounding the target, with a particle tracking magnetic spectrometer at forward angles. BGO-OD is ideal for investigating low momentum transfer processes due to the acceptance and high momentum resolution at forward angles. In particular, this enables the investigation of strangeness photoproduction where t-channel exchange mechanisms play an important role. This also allows access to low momentum exchange kinematics where extended, molecular structure may manifest in reaction mechanisms. First key results at low $t$ indicate a cusp-like structure in $K^+\Sigma^0$ photoproduction at $W = 1900$\,MeV, line shapes and differential cross sections for $K^+\Lambda$(1405)$\rightarrow K^+\Sigma^0\pi^0$, and a peak structure in $K^0_S\Sigma^0$ photoproduction. The peak in the $K^0_S\Sigma^0$ channel appears consistent with meson-baryon generated states, where equivalent models have been used to describe the $P_C$ pentaquark candidates in the heavy charmed quark sector.


title: Superpixel-Guided Label Softening for Medical Image Segmentation

abstract: Segmentation of objects of interest is one of the central tasks in medical image analysis, which is indispensable for quantitative analysis. When developing machine-learning based methods for automated segmentation, manual annotations are usually used as the ground truth toward which the models learn to mimic. While the bulky parts of the segmentation targets are relatively easy to label, the peripheral areas are often difficult to handle due to ambiguous boundaries and the partial volume effect, etc., and are likely to be labeled with uncertainty. This uncertainty in labeling may, in turn, result in unsatisfactory performance of the trained models. In this paper, we propose superpixel-based label softening to tackle the above issue. Generated by unsupervised over-segmentation, each superpixel is expected to represent a locally homogeneous area. If a superpixel intersects with the annotation boundary, we consider a high probability of uncertain labeling within this area. Driven by this intuition, we soften labels in this area based on signed distances to the annotation boundary and assign probability values within [0, 1] to them, in comparison with the original "hard", binary labels of either 0 or 1. The softened labels are then used to train the segmentation models together with the hard labels. Experimental results on a brain MRI dataset and an optical coherence tomography dataset demonstrate that this conceptually simple and implementation-wise easy method achieves overall superior segmentation performances to baseline and comparison methods for both 3D and 2D medical images.


title: $K^+\Lambda$(1405) photoproduction at the BGO-OD experiment

abstract: Since the discovery of the $\Lambda(1405)$, it remains poorly described by conventional constituent quark models, and it is a candidate for having an "exotic" meson-baryon or "penta-quark" structure, similar to states recently reported in the hidden charm sector. The $\Lambda(1405)$ can be produced in the reaction $\gamma p \rightarrow K^+\Lambda(1405)$. The pure I=0 decay mode into $\Sigma^0\pi^0$ is prohibited for the mass-overlapping $\Sigma(1385)$. Combining a large aperture forward magnetic spectrometer and a central BGO crystal calorimeter, the BGO-OD experiment is ideally suited to measure this decay with the $K^+$ in the forward direction. Preliminary results are presented. *Supported by DFG (PN 388979758, 405882627).


title: Topological Aspects of the Equivariant Index Theory of Infinite-Dimensional LT-Manifolds

abstract: Let $T$ be the circle group and let $LT$ be its loop group. We formulate and investigate several topological aspects of the $LT$-equivariant index theory for proper $LT$-spaces, where proper $LT$-spaces are infinite-dimensional manifolds equipped with "proper cocompact" $LT$-actions. Concretely, we introduce "$\mathcal{R}KK$-theory for infinite-dimensional manifolds", and by using it, we formulate an infinite-dimensional version of the $KK$-theoretical Poincar\'e duality homomorphism, and an infinite-dimensional version of the $\mathcal{R}KK$-theory counterpart of the assembly map, for proper $LT$-spaces. The left hand side of the Poincar\'e duality homomorphism is formulated by the "$C^*$-algebra of a Hilbert manifold" introduced by Guoliang Yu. Thus, the result of this paper suggests that this construction carries some topological information of Hilbert manifolds. In order to formulate the assembly map in a classical way, we need crossed products, which require an invariant measure of a group. However, there is an alternative formula to define them using generalized fixed-point algebras. We will adopt it as the definition of "crossed products by $LT$".


title: A fast approximate skeleton with guarantees for any cloud of points in a Euclidean space

abstract: The tree reconstruction problem is to find an embedded straight-line tree that approximates a given cloud of unorganized points in $\mathbb{R}^m$ up to a certain error. A practical solution to this problem will accelerate a discovery of new colloidal products with desired physical properties such as viscosity. We define the Approximate Skeleton of any finite point cloud $C$ in a Euclidean space with theoretical guarantees. The Approximate Skeleton ASk$(C)$ always belongs to a given offset of $C$, i.e. the maximum distance from $C$ to ASk$(C)$ can be a given maximum error. The number of vertices in the Approximate Skeleton is close to the minimum number in an optimal tree by factor 2. The new Approximate Skeleton of any unorganized point cloud $C$ is computed in a near linear time in the number of points in $C$. Finally, the Approximate Skeleton outperforms past skeletonization algorithms on the size and accuracy of reconstruction for a large dataset of real micelles and random clouds.


title: Spectral properties of correlated quantum wires and carbon nanotubes within the Generalized Kadanoff-Baym Ansatz

abstract: We investigate the spectral properties of an open interacting system by solving the Generalized Kadanoff-Baym Ansatz (GKBA) master equation for the single-particle density matrix, namely the time-diagonal lesser Green's function. To benchmark its validity, we compare the solution obtained within the GKBA with the solution of the Dyson equation (equivalently the full Kadanoff-Baym equations). In both approaches, we treat the interaction within the self-consistent second-order Born approximation, whereas the GKBA still retains the retarded propagator calculated at the Hartree-Fock level. We consider the case of two leads connected through a central correlated region where particles can interact and exploit the stationary particle current at the boundary of the junction as a probe of the spectral features of the system. In this work, as an example, we take the central region to be a one-dimensional quantum wire and a two-dimensional carbon nanotube and show that the solution of the GKBA master equation well captures their spectral features. Our result demonstrates that, even when the propagator used is at the Hartree-Fock level, the GBKA solution retains the main spectral features of the self-energy used.


title: Attraction-Repulsion Spectrum in Neighbor Embeddings

abstract: Neighbor embeddings are a family of methods for visualizing complex high-dimensional datasets using $k$NN graphs. To find the low-dimensional embedding, these algorithms combine an attractive force between neighboring pairs of points with a repulsive force between all points. One of the most popular examples of such algorithms is t-SNE. Here we empirically show that changing the balance between the attractive and the repulsive forces in t-SNE using the exaggeration parameter yields a spectrum of embeddings, which is characterized by a simple trade-off: stronger attraction can better represent continuous manifold structures, while stronger repulsion can better represent discrete cluster structures and yields higher $k$NN recall. We find that UMAP embeddings correspond to t-SNE with increased attraction; mathematical analysis shows that this is because the negative sampling optimisation strategy employed by UMAP strongly lowers the effective repulsion. Likewise, ForceAtlas2, commonly used for visualizing developmental single-cell transcriptomic data, yields embeddings corresponding to t-SNE with the attraction increased even more. At the extreme of this spectrum lie Laplacian Eigenmaps. Our results demonstrate that many prominent neighbor embedding algorithms can be placed onto the attraction-repulsion spectrum, and highlight the inherent trade-offs between them.


title: Area fluctuations on a subinterval of Brownian excursion

abstract: Area fluctuations of a Brownian excursion are described by the Airy distribution, which found applications in different areas of physics, mathematics and computer science. Here we generalize this distribution to describe the area fluctuations on a \emph{subinterval} of a Brownian excursion. In the first version of the problem (Model 1) no additional conditions are imposed. In the second version (Model 2) we study the distribution of the area fluctuations on a subinterval given the excursion area on the whole interval. Both versions admit convenient path-integral formulations. In Model 1 we obtain an explicit expression for the Laplace transform of the area distribution on the subinterval. In both models we focus on large deviations of the area by evaluating the tails of the area distributions, sometimes with account of pre-exponential factors. When conditioning on very large areas in Model 2, we uncover two singularities in the rate function of the subinterval area fraction. They can be interpreted as dynamical phase transitions of second and third order.


title: Provable Near-Optimal Low-Multilinear-Rank Tensor Recovery

abstract: We consider the problem of recovering a low-multilinear-rank tensor from a small amount of linear measurements. We show that the Riemannian gradient algorithm initialized by one step of iterative hard thresholding can reconstruct an order-$d$ tensor of size $n\times\ldots\times n$ and multilinear rank $(r,\ldots,r)$ with high probability from only $O(nr^2 + r^{d+1})$ measurements, assuming $d$ is a constant. This sampling complexity is optimal in $n$, compared to existing results whose sampling complexities are all unnecessarily large in $n$. The analysis relies on the tensor restricted isometry property (TRIP) and the geometry of the manifold of all tensors with a fixed multilinear rank. High computational efficiency of our algorithm is also achieved by doing higher order singular value decomposition on intermediate small tensors of size only $2r\times \ldots\times 2r$ rather than on tensors of size $n\times \ldots\times n$ as usual.


title: Electron-Electron Scattering and Resistivity in Non-Centrosymmetric Metals

abstract: The quadratic low-temperature dependence of resistance in ordinary metals is determined by the momentum relaxation due to electron-electron scattering in the presence Umklapp processes and scattering on impurities. In metals without inversion center spin-orbit interaction of electrons with crystal lattice lifts spin degeneracy of electron states and splits each band on two bands. The temperature dependence of electron-electron collisions scattering rate is found using the matrix kinetic equation including the electron-impurity and electron-electron intra and inter band scattering. It is shown that in clean enough case when the energy of band splitting exceeds the electron-impurity scattering rate but at the same time it is much smaller than the Fermi energy the square low-temperature dependence of resistivity is still valid.


title: Differential Inclusions in Wasserstein Spaces: The Cauchy-Lipschitz Framework

abstract: In this article, we propose a general framework for the study of differential inclusions in the Wasserstein space of probability measures. Based on earlier geometric insights on the structure of continuity equations, we define solutions of differential inclusions as absolutely continuous curves whose driving velocity fields are measurable selections of multifunction taking their values in the space of vector fields. In this general setting, we prove three of the founding results of the theory of differential inclusions: Filippov's theorem, the Relaxation theorem, and the compactness of the solution sets. These contributions -- which are based on novel estimates on solutions of continuity equations -- are then applied to derive a new existence result for fully non-linear mean-field optimal control problems with closed-loop controls.


title: Identification of Tree Species in Japanese Forests based on Aerial Photography and Deep Learning

abstract: Natural forests are complex ecosystems whose tree species distribution and their ecosystem functions are still not well understood. Sustainable management of these forests is of high importance because of their significant role in climate regulation, biodiversity, soil erosion and disaster prevention among many other ecosystem services they provide. In Japan particularly, natural forests are mainly located in steep mountains, hence the use of aerial imagery in combination with computer vision are important modern tools that can be applied to forest research. Thus, this study constitutes a preliminary research in this field, aiming at classifying tree species in Japanese mixed forests using UAV images and deep learning in two different mixed forest types: a black pine (Pinus thunbergii)-black locust (Robinia pseudoacacia) and a larch (Larix kaempferi)-oak (Quercus mongolica) mixed forest. Our results indicate that it is possible to identify black locust trees with 62.6 % True Positives (TP) and 98.1% True Negatives (TN), while lower precision was reached for larch trees (37.4% TP and 97.7% TN).


title: Coherent coupling between multiple ferrimagnetic spheres and a microwave cavity in the quantum-limit

abstract: The spin resonance of electrons can be coupled to a microwave cavity mode to obtain a photon-magnon hybrid system. These quantum systems are widely studied for both fundamental physics and technological quantum applications. In this article, the behavior of a large number of ferrimagnetic spheres coupled to a single cavity is put under test. We use second-quantization modeling of harmonic oscillators to theoretically describe our experimental setup and understand the influence of several parameters. The magnon-polariton dispersion relation is used to characterize the system, with a particular focus on the vacuum Rabi mode splitting due to multiple spheres. We combine the results obtained with simple hybrid systems to analyze the behavior of a more complex one, and show that it can be devised in such a way to minimize the degrees of freedom needed to completely describe it. By studying single-sphere coupling two possible size-effects related to the sample diameter have been identified, while multiple-spheres configurations reveal how to upscale the system. This characterization is useful for the implementation of an axion-to-electromagnetic field transducer in a ferromagnetic haloscope for dark matter searches. Our dedicated setup, consisting in ten 2 mm-diameter YIG spheres coupled to a copper microwave cavity, is used for this aim and studied at mK temperatures. Moreover, we show that novel applications of optimally-controlled hybrid systems can be foreseen for setups embedding a large number of samples.


title: Minimality of tensors of fixed multilinear rank

abstract: We discover a geometric property of the space of tensors of fixed multilinear (Tucker) rank. Namely, it is shown that real tensors of fixed multilinear rank form a minimal submanifold of the Euclidean space of tensors endowed with the Frobenius inner product. We also establish the absence of local extrema for linear functionals restricted to the submanifold of rank-one tensors, finding application in statistics.


title: On the Complexity of Quadratization for Polynomial Differential Equations

abstract: Chemical reaction networks (CRNs) are a standard formalism used in chemistry and biology to reason about the dynamics of molecular interaction networks. In their interpretation by ordinary differential equations, CRNs provide a Turing-complete model of analog computattion, in the sense that any computable function over the reals can be computed by a finite number of molecular species with a continuous CRN which approximates the result of that function in one of its components in arbitrary precision. The proof of that result is based on a previous result of Bournez et al. on the Turing-completeness of polyno-mial ordinary differential equations with polynomial initial conditions (PIVP). It uses an encoding of real variables by two non-negative variables for concentrations, and a transformation to an equivalent quadratic PIVP (i.e. with degrees at most 2) for restricting ourselves to at most bimolecular reactions. In this paper, we study the theoretical and practical complexities of the quadratic transformation. We show that both problems of minimizing either the number of variables (i.e., molecular species) or the number of monomials (i.e. elementary reactions) in a quadratic transformation of a PIVP are NP-hard. We present an encoding of those problems in MAX-SAT and show the practical complexity of this algorithm on a benchmark of quadratization problems inspired from CRN design problems.


title: Technologies for Trustworthy Machine Learning: A Survey in a Socio-Technical Context

abstract: Concerns about the societal impact of AI-based services and systems has encouraged governments and other organisations around the world to propose AI policy frameworks to address fairness, accountability, transparency and related topics. To achieve the objectives of these frameworks, the data and software engineers who build machine-learning systems require knowledge about a variety of relevant supporting tools and techniques. In this paper we provide an overview of technologies that support building trustworthy machine learning systems, i.e., systems whose properties justify that people place trust in them. We argue that four categories of system properties are instrumental in achieving the policy objectives, namely fairness, explainability, auditability and safety & security (FEAS). We discuss how these properties need to be considered across all stages of the machine learning life cycle, from data collection through run-time model inference. As a consequence, we survey in this paper the main technologies with respect to all four of the FEAS properties, for data-centric as well as model-centric stages of the machine learning system life cycle. We conclude with an identification of open research problems, with a particular focus on the connection between trustworthy machine learning technologies and their implications for individuals and society.


title: Comment on "Pentadiamond: A Hard Carbon Allotrope of a Pentagonal Network of sp2 and sp3 atoms"

abstract: In a recent Letter [1] Y. Fujii et al. proposed a new carbon allotrope and claimed its extremely high Young's and shear moduli of 1691 and 1113 GPa, respectively, surpassing those of diamond by 1.5 and 2 times! The authors also claimed unique negative averaged Poisson's ratio of -0.24, bulk modulus of 381 GPa and record value of the sound speed 28.7 km/s for this carbon modification. Here we show by two independent computations that these values were obtained as a result of errors. The new hypothetical allotrope has in fact quite moderate elastic moduli, unremarkable for a carbon structure with similar density: bulk modulus of 250 GPa, shear modulus of 170 GPa,Young's modulus of 417 GPa, positive Poisson's ratio of 0.22.


title: Massive gravitons on the Landscape and the AdS Distance Conjecture

abstract: This work regards IIB string theory embeddings of massive and bi-metric $AdS_{4}$ gravity where the spectrum of the theory includes multiple massive gravitons. The corresponding geometry consists of multiple $AdS_{4}\times_{w}\mathcal{M}_{6}$ spacetimes coupled by Janus throats of different radii. In the second part of this work, the AdS distance conjecture is studied in the above context and it is shown that the scale of the predicted infinite tower of light states is related to the breakdown scale of the effective field theory.


title: All-Pairs LCA in DAGs: Breaking through the $O(n^{2.5})$ barrier

abstract: Let $G=(V,E)$ be an $n$-vertex directed acyclic graph (DAG). A lowest common ancestor (LCA) of two vertices $u$ and $v$ is a common ancestor $w$ of $u$ and $v$ such that no descendant of $w$ has the same property. In this paper, we consider the problem of computing an LCA, if any, for all pairs of vertices in a DAG. The fastest known algorithms for this problem exploit fast matrix multiplication subroutines and have running times ranging from $O(n^{2.687})$ [Bender et al.~SODA'01] down to $O(n^{2.615})$ [Kowaluk and Lingas~ICALP'05] and $O(n^{2.569})$ [Czumaj et al.~TCS'07]. Somewhat surprisingly, all those bounds would still be $\Omega(n^{2.5})$ even if matrix multiplication could be solved optimally (i.e., $\omega=2$). This appears to be an inherent barrier for all the currently known approaches, which raises the natural question on whether one could break through the $O(n^{2.5})$ barrier for this problem. In this paper, we answer this question affirmatively: in particular, we present an $\tilde O(n^{2.447})$ ($\tilde O(n^{7/3})$ for $\omega=2$) algorithm for finding an LCA for all pairs of vertices in a DAG, which represents the first improvement on the running times for this problem in the last 13 years. A key tool in our approach is a fast algorithm to partition the vertex set of the transitive closure of $G$ into a collection of $O(\ell)$ chains and $O(n/\ell)$ antichains, for a given parameter $\ell$. As usual, a chain is a path while an antichain is an independent set. We then find, for all pairs of vertices, a \emph{candidate} LCA among the chain and antichain vertices, separately. The first set is obtained via a reduction to min-max matrix multiplication. The computation of the second set can be reduced to Boolean matrix multiplication similarly to previous results on this problem. We finally combine the two solutions together in a careful (non-obvious) manner.


title: Higher key rate of measurement-device-independent quantum key distribution through joint data processing

abstract: We propose a method named as double-scanning method, to improve the key rate of measurement-device-independent quantum key distribution (MDI-QKD) drastically. In the method, two parameters are scanned simultaneously to tightly estimate the counts of single-photon pairs and the phase-flip error rate jointly. Numerical results show that the method in this work can improve the key rate by $35\%-280\%$ in a typical experimental set-up. Besides, we study the optimization of MDI-QKD protocol with all parameters including the source parameters and failure probability parameters, over symmetric channel or asymmetric channel. Compared with the optimized results with only the source parameters, the all-parameter-optimization method could improve the key rate by about $10\%$.


title: Branching process descriptions of information cascades on Twitter

abstract: A detailed analysis of Twitter-based information cascades is performed, and it is demonstrated that branching process hypotheses are approximately satisfied. Using a branching process framework, models of agent-to-agent transmission are compared to conclude that a limited attention model better reproduces the relevant characteristics of the data than the more common independent cascade model. Existing and new analytical results for branching processes are shown to match well to the important statistical characteristics of the empirical information cascades, thus demonstrating the power of branching process descriptions for understanding social information spreading.


title: Multi-dimensional Long-Run Average Problems for Vector Addition Systems with States

abstract: A vector addition system with states (VASS) consists of a finite set of states and counters. A transition changes the current state to the next state, and every counter is either incremented, or decremented, or left unchanged. A state and value for each counter is a configuration; and a computation is an infinite sequence of configurations with transitions between successive configurations. A probabilistic VASS consists of a VASS along with a probability distribution over the transitions for each state. Qualitative properties such as state and configuration reachability have been widely studied for VASS. In this work we consider multi-dimensional long-run average objectives for VASS and probabilistic VASS. For a counter, the cost of a configuration is the value of the counter; and the long-run average value of a computation for the counter is the long-run average of the costs of the configurations in the computation. The multi-dimensional long-run average problem given a VASS and a threshold value for each counter, asks whether there is a computation such that for each counter the long-run average value for the counter does not exceed the respective threshold. For probabilistic VASS, instead of the existence of a computation, we consider whether the expected long-run average value for each counter does not exceed the respective threshold. Our main results are as follows: we show that the multi-dimensional long-run average problem (a) is NP-complete for integer-valued VASS; (b) is undecidable for natural-valued VASS (i.e., nonnegative counters); and (c) can be solved in polynomial time for probabilistic integer-valued VASS, and probabilistic natural-valued VASS when all computations are non-terminating.


title: On the discretization of Darboux Integrable Systems admitting the second-order integrals

abstract: We study discretization of Darboux integrable systems. The discretization is done by using $x$- or $y$-integrals of the considered systems. New examples of semi-discrete Darboux integrable systems are obtained.


title: Edge-Preserving Guided Semantic Segmentation for VIPriors Challenge

abstract: Semantic segmentation is one of the most attractive research fields in computer vision. In the VIPriors challenge, only very limited numbers of training samples are allowed, leading to that the current state-of-the-art and deep learning-based semantic segmentation techniques are hard to train well. To overcome this shortcoming, therefore, we propose edge-preserving guidance to obtain the extra prior information, to avoid the overfitting under small-scale training dataset. First, a two-channeled convolutional layer is concatenated to the last layer of the conventional semantic segmentation network. Then, an edge map is calculated from the ground truth by Sobel operation and followed by concatenating a hard-thresholding operation to indicate whether the pixel is the edge or not. Then, the two-dimensional cross-entropy loss is adopted to calculate the loss between the predicted edge map and its ground truth, termed as an edge-preserving loss. In this way, the continuity of boundaries between different instances can be forced by the proposed edge-preserving loss. Experiments demonstrate that the proposed method can achieve excellent performance under small-scale training set, compared to state-of-the-art semantic segmentation techniques.


title: Vision-based Estimation of MDS-UPDRS Gait Scores for Assessing Parkinson's Disease Motor Severity

abstract: Parkinson's disease (PD) is a progressive neurological disorder primarily affecting motor function resulting in tremor at rest, rigidity, bradykinesia, and postural instability. The physical severity of PD impairments can be quantified through the Movement Disorder Society Unified Parkinson's Disease Rating Scale (MDS-UPDRS), a widely used clinical rating scale. Accurate and quantitative assessment of disease progression is critical to developing a treatment that slows or stops further advancement of the disease. Prior work has mainly focused on dopamine transport neuroimaging for diagnosis or costly and intrusive wearables evaluating motor impairments. For the first time, we propose a computer vision-based model that observes non-intrusive video recordings of individuals, extracts their 3D body skeletons, tracks them through time, and classifies the movements according to the MDS-UPDRS gait scores. Experimental results show that our proposed method performs significantly better than chance and competing methods with an F1-score of 0.83 and a balanced accuracy of 81%. This is the first benchmark for classifying PD patients based on MDS-UPDRS gait severity and could be an objective biomarker for disease severity. Our work demonstrates how computer-assisted technologies can be used to non-intrusively monitor patients and their motor impairments. The code is available at https://github.com/mlu355/PD-Motor-Severity-Estimation.


title: Boundary-preserving Mask R-CNN

abstract: Tremendous efforts have been made to improve mask localization accuracy in instance segmentation. Modern instance segmentation methods relying on fully convolutional networks perform pixel-wise classification, which ignores object boundaries and shapes, leading coarse and indistinct mask prediction results and imprecise localization. To remedy these problems, we propose a conceptually simple yet effective Boundary-preserving Mask R-CNN (BMask R-CNN) to leverage object boundary information to improve mask localization accuracy. BMask R-CNN contains a boundary-preserving mask head in which object boundary and mask are mutually learned via feature fusion blocks. As a result, the predicted masks are better aligned with object boundaries. Without bells and whistles, BMask R-CNN outperforms Mask R-CNN by a considerable margin on the COCO dataset; in the Cityscapes dataset, there are more accurate boundary groundtruths available, so that BMask R-CNN obtains remarkable improvements over Mask R-CNN. Besides, it is not surprising to observe that BMask R-CNN obtains more obvious improvement when the evaluation criterion requires better localization (e.g., AP$_{75}$) as shown in Fig.1. Code and models are available at \url{https://github.com/hustvl/BMaskR-CNN}.


title: Can Learned Frame-Prediction Compete with Block-Motion Compensation for Video Coding?

abstract: Given recent advances in learned video prediction, we investigate whether a simple video codec using a pre-trained deep model for next frame prediction based on previously encoded/decoded frames without sending any motion side information can compete with standard video codecs based on block-motion compensation. Frame differences given learned frame predictions are encoded by a standard still-image (intra) codec. Experimental results show that the rate-distortion performance of the simple codec with symmetric complexity is on average better than that of x264 codec on 10 MPEG test videos, but does not yet reach the level of x265 codec. This result demonstrates the power of learned frame prediction (LFP), since unlike motion compensation, LFP does not use information from the current picture. The implications of training with L1, L2, or combined L2 and adversarial loss on prediction performance and compression efficiency are analyzed.


title: Unconditional well-posedness for the Kawahara equation

abstract: This article is concerned with the unconditional well-posedness for the Kawahara equation on the real line and shows that this holds true for initial data in $L^2(\mathbb{R})$. This is achieved by applying an infinite iteration scheme of normal form reductions.


title: The energy technique for the six-step BDF method

abstract: In combination with the Grenander--Szeg\"o theorem, we observe that a relaxed positivity condition on multipliers, milder than the basic %fundamental requirement of the Nevanlinna--Odeh multipliers that the sum of the absolute values of their components is strictly less than $1$, makes the energy technique applicable to the stability analysis of BDF methods for parabolic equations with selfadjoint elliptic part. This is particularly useful for the six-step BDF method for which no Nevanlinna--Odeh multiplier exists. We introduce multipliers satisfying the positivity property for the six-step BDF method and establish stability of the method for parabolic equations.


title: Initialization of a Disease Transmission Model

abstract: Approaches to the calculation of the full state vector of a larger epidemiological model for the spread of COVID-19 in Sweden at the initial time instant from available data and with a simplified dynamical model are proposed and evaluated. The larger epidemiological model is based on a continuous Markov chain and captures the demographic composition of and the transport flows between the counties of Sweden. Its intended use is to predict the outbreak development in temporal and spatial coordinates as well as across the demographic groups. It can also support evaluating and comparing of prospective intervention strategies in terms of e.g. lockdown in certain areas or isolation of specific age groups. The simplified model is a discrete time-invariant linear system that has cumulative infectious incidence, infected population, asymptomatic population, exposed population, and infectious pressure as the state variables. Since the system matrix of the model depends on a number transition rates, structural properties of the model are investigated for suitable parameter ranges. It is concluded that the model becomes unobservable for some parameter values. Two contrasting approaches to the initial state estimation are considered. One is a version of Rauch-Tung-Striebel smoother and another is based on solving a batch nonlinear optimization problem. The benefits and shortcomings of the considered estimation techniques are analyzed and compared on synthetic data for several Swedish counties.


title: Smart Choices and the Selection Monad

abstract: Describing systems in terms of choices and their resulting costs and rewards offers the promise of freeing algorithm designers and programmers from specifying how those choices should be made; in implementations, the choices can be realized by optimization techniques and, increasingly, by machine-learning methods. We study this approach from a programming-language perspective. We define two small languages that support decision-making abstractions: one with choices and rewards, and the other additionally with probabilities. We give both operational and denotational semantics. In the case of the second language we consider three denotational semantics, with varying degrees of correlation between possible program values and expected rewards. The operational semantics combine the usual semantics of standard constructs with optimization over spaces of possible execution strategies. The denotational semantics, which are compositional, rely on the selection monad, to handle choice, augmented with an auxiliary monad to handle other effects, such as rewards or probability. We establish adequacy theorems that the two semantics coincide in all cases. We also prove full abstraction at base types, with varying notions of observation in the probabilistic case corresponding to the various degrees of correlation. We present axioms for choice combined with rewards and probability, establishing completeness at base types for the case of rewards without probability.


title: Towards a Model of Testers' Cognitive Processes: Software Testing as a Problem Solving Approach

abstract: Software testing is a complex, intellectual activity based (at least) on analysis, reasoning, decision making, abstraction and collaboration performed in a highly demanding environment. Naturally, it uses and allocates multiple cognitive resources in software testers. However, while a cognitive psychology perspective is increasingly used in the general software engineering literature, it has yet to find its place in software testing. To the best of our knowledge, no theory of software testers' cognitive processes exists. Here, we take the first step towards such a theory by presenting a cognitive model of software testing based on how problem solving is conceptualized in cognitive psychology. Our approach is to instantiate a general problem solving process for the specific problem of creating test cases. We then propose an experiment for testing our cognitive test design model. The experiment makes use of verbal protocol analysis to understand the mechanisms by which human testers choose, design, implement and evaluate test cases. An initial evaluation was then performed with five software engineering master students as subjects. The results support a problem solving-based model of test design for capturing testers' cognitive processes.


title: Low Complexity Reconfigurable Modified FRM Architecture with Full Spectral Utilization for Efficient Channelizers

abstract: This paper proposes a design of low complexity, reconfigurable and narrow transition band (NTB) filter bank (FB). In our proposed Modified Frequency Response Masking (ModFRM) architecture, the modal filter and complementary filter in conventional FRM approach are replaced by a power complementary and linear phase FB. Additionally, a new masking strategy is proposed by which an M-channel FB can be designed by alternately masking even channels and odd channels. By using this masking strategy, it is only necessary to alternately mask even channels and odd channels by the two masking filters while modulating them over the multiple spectra replicas appearing in [0,2$\pi$] to generate uniform ModFRM FB. Also, reconfigurability of filter bank can be achieved by adjusting the interpolation values appropriately, to obtain more masking responses. To reduce the overall implementation complexity, masking filters are optimized using the interpolated FIR (IFIR) technique. The results indicate that the proposed method requires substantially less multipliers in comparison to the reconfigurable FB existing in literature. Finally, non-uniform FB are generated from the uniform FB by combining nearby channels. The proposed non-uniform ModFRM FB is used for the extraction of different communication standards in the software defined radio (SDR) channelizer. When more channels are to be extracted, the proposed scheme was able to achieve a reduced hardware complexity in comparison to other filter bank based SDR channelizers.


title: Provably Consistent Partial-Label Learning

abstract: Partial-label learning (PLL) is a multi-class classification problem, where each training example is associated with a set of candidate labels. Even though many practical PLL methods have been proposed in the last two decades, there lacks a theoretical understanding of the consistency of those methods-none of the PLL methods hitherto possesses a generation process of candidate label sets, and then it is still unclear why such a method works on a specific dataset and when it may fail given a different dataset. In this paper, we propose the first generation model of candidate label sets, and develop two novel PLL methods that are guaranteed to be provably consistent, i.e., one is risk-consistent and the other is classifier-consistent. Our methods are advantageous, since they are compatible with any deep network or stochastic optimizer. Furthermore, thanks to the generation model, we would be able to answer the two questions above by testing if the generation model matches given candidate label sets. Experiments on benchmark and real-world datasets validate the effectiveness of the proposed generation model and two PLL methods.


title: Reducing the maximum degree of a graph: comparisons of bounds

abstract: Let $\lambda(G)$ be the smallest number of vertices that can be removed from a non-empty graph $G$ so that the resulting graph has a smaller maximum degree. Let $\lambda_{\rm e}(G)$ be the smallest number of edges that can be removed from $G$ for the same purpose. Let $k$ be the maximum degree of $G$, let $t$ be the number of vertices of degree $k$, let $M(G)$ be the set of vertices of degree $k$, let $n$ be the number of vertices in the closed neighbourhood of $M(G)$, and let $m$ be the number of edges incident to vertices in $M(G)$. Fenech and the author showed that $\lambda(G) \leq \frac{n+(k-1)t}{2k}$, and they essentially showed that $\lambda (G) \leq n \left ( 1- \frac{k}{k+1} { \Big( \frac{n}{(k+1)t} \Big) }^{1/k} \right )$. They also showed that $\lambda_{\rm e}(G) \leq \frac{m + (k-1)t}{2k-1}$ and $\lambda_{\rm e} (G) \leq m \left ( 1- \frac{k-1}{k} { \Big( \frac{m}{kt} \Big) }^{1/(k-1)} \right )$. These bounds are attained if $k \geq 2$ and $G$ is the union of $t$ pairwise vertex-disjoint $(k+1)$-vertex stars. For each of $\lambda(G)$ and $\lambda_{\rm e}(G)$, the two bounds on the parameter are compared for the purpose of determining, for each bound, the cases in which the bound is better than the other. This work is also motivated by the likelihood that similar pairs of bounds will be discovered for other graph parameters and the same analysis can be applied.


title: Crystal-momentum-resolved contributions to multiple plateaus of high-order harmonic generation from band-gap materials

abstract: We study the crystal-momentum-resolved contributions to the high-order harmonic generation (HHG) in band-gap materials, and identify the relevant initial crystal momenta for the first and higher plateaus of the HHG spectra. We do so by using a time-dependent density-functional theory model of one-dimensional linear chains. We introduce a self-consistent periodic treatment for the infinitely extended limit of the linear chain model, which provides a convenient way to simulate and discuss the HHG from a perfect crystal beyond the single-active-electron approximation. The multi-plateau spectral feature is elucidated by a semiclassical k-space trajectory analysis with multiple conduction bands taken into account. In the considered laser-interaction regime, the multiple plateaus beyond the first cutoff are found to stem mainly from electrons with initial crystal momenta away from the Gamma point (k = 0), while electrons with initial crystal momenta located around the Gamma point are responsible for the harmonics in the first plateau. We also show that similar findings can be obtained from calculations using a sufficiently large finite model, which proves to mimic the corresponding infinite periodic limit in terms of the band structures and the HHG spectra.


title: Long-Lived Charge Separation Following Pump-Energy Dependent Ultrafast Charge Transfer in Graphene/WS$_2$ Heterostructures

abstract: Van der Waals heterostructures consisting of graphene and transition metal dichalcogenides (TMDCs) have recently shown great promise for high-performance optoelectronic applications. However, an in-depth understanding of the critical processes for device operation, namely interfacial charge transfer (CT) and recombination, has so far remained elusive. Here, we investigate these processes in graphene-WS$_2$ heterostructures, by complementarily probing the ultrafast terahertz photoconductivity in graphene and the transient absorption dynamics in WS$_2$ following photoexcitation. We find that CT across graphene-WS$_2$ interfaces occurs via photo-thermionic emission for sub-A-exciton excitation, and direct hole transfer from WS$_2$ to the valence band of graphene for above-A-exciton excitation. Remarkably, we observe that separated charges in the heterostructure following CT live extremely long: beyond 1 ns, in contrast to ~1 ps charge separation reported in previous studies. This leads to efficient photogating of graphene. These findings provide relevant insights to optimize further the performance of optoelectronic devices, in particular photodetection.


title: Unsaturated Single Atoms on Monolayer Transition Metal Dichalcogenides for Ultrafast Hydrogen Evolution

abstract: Large scale implementation of electrochemical water splitting for hydrogen evolution requires cheap and efficient catalysts to replace expensive platinum. Molybdenum disulfide is one of the most promising alternative catalysts but its intrinsic activity is still inferior to platinum. There is therefore a need to explore new active site origins in molybdenum disulfide with ultrafast reaction kinetics and to understand their mechanisms. Here, we report a universal cold hydrogen plasma reduction method for synthesizing different single atoms sitting on two-dimensional monolayers. In case of molybdenum disulfide, we design and identify a new type of active site, i.e., unsaturated Mo single atoms on cogenetic monolayer molybdenum disulfide. The catalyst shows exceptional intrinsic activity with a Tafel slope of 35.1 mV dec-1 and a turnover frequency of ~10^3 s-1 at 100 mV, based on single flake microcell measurements. Theoretical studies indicate that coordinately unsaturated Mo single atoms sitting on molybdenum disulfide increase the bond strength between adsorbed hydrogen atoms and the substrates through hybridization, leading to fast hydrogen adsorption/desorption kinetics and superior hydrogen evolution activity. This work shines fresh light on preparing highly-efficient electrocatalysts for water splitting and other electrochemical processes, as well as provides a general method to synthesize single atoms on two-dimensional monolayers.