title: Fairness and Accuracy in Federated Learning

abstract: In the federated learning setting, multiple clients jointly train a model under the coordination of the central server, while the training data is kept on the client to ensure privacy. Normally, inconsistent distribution of data across different devices in a federated network and limited communication bandwidth between end devices impose both statistical heterogeneity and expensive communication as major challenges for federated learning. This paper proposes an algorithm to achieve more fairness and accuracy in federated learning (FedFa). It introduces an optimization scheme that employs a double momentum gradient, thereby accelerating the convergence rate of the model. An appropriate weight selection algorithm that combines the information quantity of training accuracy and training frequency to measure the weights is proposed. This procedure assists in addressing the issue of unfairness in federated learning due to preferences for certain clients. Our results show that the proposed FedFa algorithm outperforms the baseline algorithm in terms of accuracy and fairness.


title: On Grundy and b-chromatic number of some families of graphs: a comparative study

abstract: The Grundy and the {\rm b}-chromatic number of graphs are two important chromatic parameters. The Grundy number of a graph $G$, denoted by $\Gamma(G)$ is the worst case behavior of greedy (First-Fit) coloring procedure for $G$ and the {\rm b}-chromatic number ${\rm{b}}(G)$ is the maximum number of colors used in any color-dominating coloring of $G$. Because the nature of these colorings are different they have been studied widely but separately in the literature. This paper presents a comparative study of these coloring parameters. There exists a sequence $\{G_n\}_{n\geq 1}$ with limited {\rm b}-chromatic number but $\Gamma(G_n)\rightarrow \infty$. We obtain families of graphs $\mathcal{F}$ such that for some adequate function $f(.)$, $\Gamma(G)\leq f({\rm{b}}(G))$, for each graph $G$ from the family. This verifies a previous conjecture for these families.


title: TDN: Temporal Difference Networks for Efficient Action Recognition

abstract: Temporal modeling still remains challenging for action recognition in videos. To mitigate this issue, this paper presents a new video architecture, termed as Temporal Difference Network (TDN), with a focus on capturing multi-scale temporal information for efficient action recognition. The core of our TDN is to devise an efficient temporal module (TDM) by explicitly leveraging a temporal difference operator, and systematically assess its effect on short-term and long-term motion modeling. To fully capture temporal information over the entire video, our TDN is established with a two-level difference modeling paradigm. Specifically, for local motion modeling, temporal difference over consecutive frames is used to supply 2D CNNs with finer motion pattern, while for global motion modeling, temporal difference across segments is incorporated to capture long-range structure for motion feature excitation. TDN provides a simple and principled temporal modeling framework and could be instantiated with the existing CNNs at a small extra computational cost. Our TDN presents a new state of the art on the Something-Something V1 & V2 datasets and is on par with the best performance on the Kinetics-400 dataset. In addition, we conduct in-depth ablation studies and plot the visualization results of our TDN, hopefully providing insightful analysis on temporal difference modeling. We release the code at https://github.com/MCG-NJU/TDN.


title: A generalized slip-flow theory for a slightly rarefied gas flow induced by discontinuous wall temperature

abstract: A system of fluid-dynamic-type equations and their boundary conditions derived from a system of the Boltzmann equation is of great importance in kinetic theory when we are concerned with the motion of a slightly rarefied gas. It offers an efficient alternative to solving the Boltzmann equation directly and, more importantly, provides a clear picture of the flow structure in the near-continuum regime. However, the applicability of the existing slip-flow theory is limited to the case where both the boundary shape and the kinetic boundary condition are smooth functions of the boundary coordinates, which precludes, for example, the case where the kinetic boundary condition has a jump discontinuity. In this paper, we discuss the motion of a slightly rarefied gas caused by a discontinuous wall temperature in a simple two-surface problem and illustrate how the existing theory can be extended. The discussion is based on our recent paper [Taguchi and Tsuji, J. Fluid Mech. 897, A16 (2020)] supported by some preliminary numerical results for the newly introduced kinetic boundary layer (the Knudsen zone), from which a source-sink condition for the flow velocity is derived.


title: Recycling augmented Lagrangian preconditioner in an incompressible fluid solver

abstract: The paper discusses a reuse of matrix factorization as a building block in the Augmented Lagrangian (AL) and modified AL preconditioners for non-symmetric saddle point linear algebraic systems. The strategy is applied to solve two-dimensional incompressible fluid problems with efficiency rates independent of the Reynolds number. The solver is then tested to simulate motion of a surface fluid, an example of a 2D flow motivated by an interest in lateral fluidity of inextensible viscous membranes. Numerical examples include the Kelvin--Helmholtz instability problem posed on the sphere and on the torus. Some new eigenvalue estimates for the AL preconditioner are derived.


title: Mention Extraction and Linking for SQL Query Generation

abstract: On the WikiSQL benchmark, state-of-the-art text-to-SQL systems typically take a slot-filling approach by building several dedicated models for each type of slots. Such modularized systems are not only complex butalso of limited capacity for capturing inter-dependencies among SQL clauses. To solve these problems, this paper proposes a novel extraction-linking approach, where a unified extractor recognizes all types of slot mentions appearing in the question sentence before a linker maps the recognized columns to the table schema to generate executable SQL queries. Trained with automatically generated annotations, the proposed method achieves the first place on the WikiSQL benchmark.


title: Tunable ferromagnetism at non-integer filling of a moir\'e superlattice

abstract: The flat bands resulting from moir\'e superlattices in magic-angle twisted bilayer graphene (MATBG) and ABC-trilayer graphene aligned with hexagonal boron nitride (ABC-TLG/hBN) have been shown to give rise to fascinating correlated electron phenomena such as correlated insulators and superconductivity. More recently, orbital magnetism associated with correlated Chern insulators was found in this class of layered structures centered at integer multiples of n0, the density corresponding to one electron per moir\'e superlattice unit cell. Here we report the experimental observation of ferromagnetism at fractional filling of a flat Chern band in an ABC-TLG/hBN moir\'esuperlattice. The ferromagnetic state exhibits prominent ferromagnetic hysteresis behavior with large anomalous Hall resistivity in a broad region of densities, centered in the valence miniband at n = -2.3 n0. This ferromagnetism depends very sensitively on the control parameters in the moir\'e system: not only the magnitude of the anomalous Hall signal, but also the sign of the hysteretic ferromagnetic response can be modulated by tuning the carrier density and displacement field. Our discovery of electrically tunable ferromagnetism in a moir\'e Chern band at non-integer filling highlights the opportunities for exploring new correlated ferromagnetic states in moir\'e heterostructures.


title: Semantics and explanation: why counterfactual explanations produce adversarial examples in deep neural networks

abstract: Recent papers in explainable AI have made a compelling case for counterfactual modes of explanation. While counterfactual explanations appear to be extremely effective in some instances, they are formally equivalent to adversarial examples. This presents an apparent paradox for explainability researchers: if these two procedures are formally equivalent, what accounts for the explanatory divide apparent between counterfactual explanations and adversarial examples? We resolve this paradox by placing emphasis back on the semantics of counterfactual expressions. Producing satisfactory explanations for deep learning systems will require that we find ways to interpret the semantics of hidden layer representations in deep neural networks.


title: Two-way Fixed Effects and Differences-in-Differences Estimators with Several Treatments

abstract: We study two-way-fixed-effects regressions (TWFE) with several treatment variables. Under a parallel trends assumption, we show that the coefficient on each treatment identifies a weighted sum of that treatment's effect, with possibly negative weights, plus a weighted sum of the effects of the other treatments. Thus, those estimators are not robust to heterogeneous effects and may be contaminated by other treatments' effects. We further show that omitting a treatment from the regression can actually reduce the estimator's bias, unlike what would happen under constant treatment effects. We propose an alternative difference-in-differences estimator, robust to heterogeneous effects and immune to the contamination problem. In the application we consider, the TWFE regression identifies a highly non-convex combination of effects, with large contamination weights, and one of its coefficients significantly differs from our heterogeneity-robust estimator.


title: AU-Guided Unsupervised Domain Adaptive Facial Expression Recognition

abstract: The domain diversities including inconsistent annotation and varied image collection conditions inevitably exist among different facial expression recognition (FER) datasets, which pose an evident challenge for adapting the FER model trained on one dataset to another one. Recent works mainly focus on domain-invariant deep feature learning with adversarial learning mechanism, ignoring the sibling facial action unit (AU) detection task which has obtained great progress. Considering AUs objectively determine facial expressions, this paper proposes an AU-guided unsupervised Domain Adaptive FER (AdaFER) framework to relieve the annotation bias between different FER datasets. In AdaFER, we first leverage an advanced model for AU detection on both source and target domain. Then, we compare the AU results to perform AU-guided annotating, i.e., target faces that own the same AUs with source faces would inherit the labels from source domain. Meanwhile, to achieve domain-invariant compact features, we utilize an AU-guided triplet training which randomly collects anchor-positive-negative triplets on both domains with AUs. We conduct extensive experiments on several popular benchmarks and show that AdaFER achieves state-of-the-art results on all these benchmarks.


title: Enabling Retrain-free Deep Neural Network Pruning using Surrogate Lagrangian Relaxation

abstract: Network pruning is a widely used technique to reduce computation cost and model size for deep neural networks. However, the typical three-stage pipeline, i.e., training, pruning and retraining (fine-tuning) significantly increases the overall training trails. In this paper, we develop a systematic weight-pruning optimization approach based on Surrogate Lagrangian relaxation (SLR), which is tailored to overcome difficulties caused by the discrete nature of the weight-pruning problem while ensuring fast convergence. We further accelerate the convergence of the SLR by using quadratic penalties. Model parameters obtained by SLR during the training phase are much closer to their optimal values as compared to those obtained by other state-of-the-art methods. We evaluate the proposed method on image classification tasks, i.e., ResNet-18 and ResNet-50 using ImageNet, and ResNet-18, ResNet-50 and VGG-16 using CIFAR-10, as well as object detection tasks, i.e., YOLOv3 and YOLOv3-tiny using COCO 2014 and Ultra-Fast-Lane-Detection using TuSimple lane detection dataset. Experimental results demonstrate that our SLR-based weight-pruning optimization approach achieves higher compression rate than state-of-the-arts under the same accuracy requirement. It also achieves a high model accuracy even at the hard-pruning stage without retraining (reduces the traditional three-stage pruning to two-stage). Given a limited budget of retraining epochs, our approach quickly recovers the model accuracy.


title: Relative entropic uncertainty relation

abstract: Quantum uncertainty relations are formulated in terms of relative entropy between distributions of measurement outcomes and suitable reference distributions with maximum entropy. This type of entropic uncertainty relation can be applied directly to observables with either discrete or continuous spectra. We find that a sum of relative entropies is bounded from above in a nontrivial way, which we illustrate with some examples.


title: A Comparison of Distance Bounds for Quasi-Twisted Codes

abstract: Spectral bounds on the minimum distance of quasi-twisted codes over finite fields are proposed, based on eigenvalues of polynomial matrices and the corresponding eigenspaces. They generalize the Semenov-Trifonov and Zeh-Ling bounds in a way similar to how the Roos and shift bounds extend the BCH and HT bounds for cyclic codes. The eigencodes of a quasi-twisted code in the spectral theory and the outer codes in its concatenated structure are related. A comparison based on this relation verifies that the Jensen bound always outperforms the spectral bound under special conditions, which yields a similar relation between the Lally and the spectral bounds. The performances of the Lally, Jensen and spectral bounds are presented in comparison with each other.


title: Estimating Sparsity Level for Enabling Compressive Sensing of Wireless Channels and Spectra in 5G and Beyond

abstract: Applying compressive sensing (CS) allows for sub-Nyquist sampling in several application areas in 5G and beyond. This reduces the associated training, feedback, and computation overheads in many applications. However, the applicability of CS relies on the validity of a signal sparsity assumption and knowing the exact sparsity level. It is customary to assume a foreknown sparsity level. Still, this assumption is not valid in practice, especially when applying learned dictionaries as sparsifying transforms. The problem is more strongly pronounced with multidimensional sparsity. In this paper, we propose an algorithm for estimating the composite sparsity lying in multiple domains defined by learned dictionaries. The proposed algorithm estimates the sparsity level over a dictionary by inferring it from its counterpart with respect to a compact discrete Fourier basis. This inference is achieved by a machine learning prediction. This setting learns the intrinsic relationship between the columns of a dictionary and those of such a fixed basis. The proposed algorithm is applied to estimating sparsity levels in wireless channels, and in cognitive radio spectra. Extensive simulations validate a high quality of sparsity estimation leading to performances very close to the impractical case of assuming known sparsity.


title: Spectral Reflectance Estimation Using Projector with Unknown Spectral Power Distribution

abstract: A lighting-based multispectral imaging system using an RGB camera and a projector is one of the most practical and low-cost systems to acquire multispectral observations for estimating the scene's spectral reflectance information. However, existing projector-based systems assume that the spectral power distribution (SPD) of each projector primary is known, which requires additional equipment such as a spectrometer to measure the SPD. In this paper, we present a method for jointly estimating the spectral reflectance and the SPD of each projector primary. In addition to adopting a common spectral reflectance basis model, we model the projector's SPD by a low-dimensional model using basis functions obtained by a newly collected projector's SPD database. Then, the spectral reflectances and the projector's SPDs are alternatively estimated based on the basis models. We experimentally show the performance of our joint estimation using a different number of projected illuminations and investigate the potential of the spectral reflectance estimation using a projector with unknown SPD.


title: Stochastic RWA and Lightpath Rerouting in WDM Networks

abstract: In a telecommunication network, Routing and Wavelength Assignment (RWA) is the problem of finding lightpaths for incoming connection requests. When facing a dynamic traffic, greedy assignment of lightpaths to incoming requests based on predefined deterministic policies leads to a fragmented network that cannot make use of its full capacity due to stranded bandwidth. At this point service providers try to recover the capacity via a defragmentation process. We study this setting from two perspectives: (i) while granting the connection requests via the RWA problem and (ii) during the defragmentation process by lightpath rerouting. For both problems, we present the first two-stage stochastic integer programming model incorporating incoming request uncertainty to maximize the expected grade of service. We develop a decomposition-based solution approach, which uses various relaxations of the problem and a newly developed problem-specific cut family. Simulation of two-stage policies for a variety of instances in a rolling-horizon framework of 52 stages shows that our stochastic models provide high-quality solutions compared to traditionally used deterministic ones. Specifically, the proposed provisioning policies yield improvements of up to 19% in overall grade of service and 20% in spectrum saving, while the stochastic lightpath rerouting policies grant up to 36% more requests using up to just 4% more bandwidth spectrum.


title: The updated BaSTI stellar evolution models and isochrones: II. alpha-enhanced calculations

abstract: This is the second paper of a series devoted to present an updated release of the BaSTI ( a Bag of Stellar Tracks and Isochrones) stellar model and isochrone library. Following the publication of the updated solar scaled library, here we present the library for a $\alpha-$enhanced heavy element distribution. These new alpha-enhanced models account for all improvements and updates in the reference solar metal distribution and physics inputs, as in the new solar scaled library. The models cover a mass range between 0.1 and $15~M_{\odot}$, 18 metallicities between [Fe/H]=-3.20 and +0.06 with [alpha/Fe]=+0.4 , and a helium to metal enrichment ratio Delta{Y}\Delta{Z}=1.31. For each metallicity, He-enhanced stellar models are also provided. The isochrones cover (typically) an age range between 20Myr and 14.5Gyr, including consistently the pre-main sequence phase. Asteroseismic properties of the theoretical models have also been calculated. Models and isochrones have been compared with results from independent calculations, with the previous BaSTI release, and also with selected observations, to test the accuracy/reliability of these new calculations. All stellar evolution tracks, asteroseismic properties and isochrones are made publicly available at http://basti-iac.oa-teramo.inaf.it


title: Program Analysis (an Appetizer)

abstract: This book is an introduction to program analysis that is meant to be considerably more elementary than our advanced book Principles of Program Analysis (Springer, 2005). Rather than using flow charts as the model of programs, the book follows our introductory book Formal Methods an Appetizer (Springer, 2019) using program graphs as the model of programs. In our experience this makes the underlying ideas more accessible to our computer science and computer engineering students on the master course 02242: Program Analysis at The Technical University of Denmark. Here we have gradually replaced our use of the more elementary parts of Principles of Program Analysis with material from the current book.


title: The antimagic orientation problems for graphs obtained by some graph operations

abstract: A simple graph $G$ is said to admit an antimagic orientation if there exist an orientation on the edges of $G$ and a bijection from $E(G)$ to $\{1,2,\ldots,|E(G)|\}$ such that the vertex sums of vertices are pairwise distinct, where the vertex sum of a vertex is defined to be the sum of the labels of the in-edges minus that of the out-edges incident to the vertex. It was conjectured by Hefetz, M\"{u}tze, and Schwartz~\cite{HMS10} in 2010 that every connected simple graph admits an antimagic orientation. In this paper, we prove that the Mycielski construction and the corona product for graphs with some conditions yield graphs satisfying the above conjecture.


title: Breakdown of Maxwell Garnett theory due to evanescent fields at deep-subwavelength scale

abstract: Deep-subwavelength all-dielectric composite materials are believed to tightly obey the Maxwell Garnett effective medium theory. Here, we demonstrate that the Maxwell Garnett theory could break down due to evanescent fields in deep-subwavelength dielectric structures. By utilizing two- and three-dimensional dielectric composite materials with inhomogeneities at the scale of {\lambda}/100, we show that local evanescent fields generally occur nearby the dielectric inhomogeneities. When tiny absorptive constituents are placed there, the absorption and transmission of the whole composite will show strong dependence on the positions of the absorptive constituents. The Maxwell Garnett theory fails to predict such position-dependent characteristics, because it averages out the evanescent fields. By taking the distribution of the evanescent fields into consideration, we made a correction to the Maxwell Garnett theory, such that the position-dependent characteristics become predictable. We reveal not only the breakdown of the Maxwell Garnett theory, but also a unique phenomenon of "invisible" loss induced by the prohibition of electric fields at deep-subwavelength scales. Our work promises a route to control the macroscopic properties of composite materials without changing their composition, which is beyond the traditional Maxwell Garnett theory.


title: Proper static potential in classical lattice gauge theory at finite T

abstract: We compute the proper real-time interaction potential between a static quark and antiquark in classical lattice gauge theory at finite temperature. Our central result is the determination of the screened real-part of this potential, and we reconfirm the presence of an imaginary part. The real part is intimately related to the back-reaction of the static sources onto the gauge fields, incorporated via Gauss's law. Differences in the treatment of static sources in quantum and classical lattice gauge theory are discussed.


title: Bias-dependent diffusion of H$_2$O molecules on an Al(111) surface

abstract: We investigate the process by which a water molecule diffuses on the surface of an Al(111) electrode under constant bias voltage by first-principles density functional theory. To understand the diffusion path of the water on the Al(111), we calculated the minimum energy path (MEP) determined by the nudged elastic band method in combination with constant electron chemical potential (constant-$\mu_{\rm e}$) methods. The simulation shows that the MEP of the water molecule, its adsorption site, and the activation barrier strongly depend on the applied bias voltage. This strong dependence of the water diffusion process on the bias voltage is in good agreement with the result of a previous scanning tunneling microscopy (STM) experiment. The agreement between the theoretical and experimental results implies that accurate treatment of bias voltage plays a significant role in understanding the interaction between the electric field and the surface of the material. Comparative studies of the diffusion process with the constant total number of electrons (constant-$N_\mathrm{e}$) scheme show that the absence of strong interaction between the molecular dipole and the electric field leads to a different understanding of how water diffuses on a metal surface. The proposed constant-$\mu_{\rm e}$ scheme is a realistic tool for the simulation of reactions under bias voltage not only using STM but also at the electrochemical interface.


title: A multigrid/ensemble Kalman Filter strategy for assimilation of unsteady flows

abstract: A sequential estimator based on the Ensemble Kalman Filter for Data Assimilation of fluid flows is presented in this research work. The main feature of this estimator is that the Kalman filter update, which relies on the determination of the Kalman gain, is performed exploiting the algorithmic features of the numerical solver employed as a model. More precisely, the multilevel resolution associated with the multigrid iterative approach for time advancement is used to generate several low-resolution numerical simulations. These results are used as ensemble members to determine the correction via Kalman filter, which is then projected on the high-resolution grid to correct a single simulation which corresponds to the numerical model. The assessment of the method is performed via the analysis of one-dimensional and two-dimensional test cases, using different dynamic equations. The results show an efficient trade-off in terms of accuracy and computational costs required. In addition, a physical regularization of the flow, which is not granted by classical KF approaches, is naturally obtained owing to the multigrid iterative calculations. The algorithm is also well suited for the analysis of unsteady phenomena and, in particular,for potential application to in-streaming Data Assimilation techniques.


title: The Parameterized Suffix Tray

abstract: Let $\Sigma$ and $\Pi$ be disjoint alphabets, respectively called the static alphabet and the parameterized alphabet. Two strings $x$ and $y$ over $\Sigma \cup \Pi$ of equal length are said to parameterized match (p-match) if there exists a renaming bijection $f$ on $\Sigma$ and $\Pi$ which is identity on $\Sigma$ and maps the characters of $x$ to those of $y$ so that the two strings become identical. The indexing version of the problem of finding p-matching occurrences of a given pattern in the text is a well-studied topic in string matching. In this paper, we present a state-of-the-art indexing structure for p-matching called the parameterized suffix tray of an input text $T$, denoted by $\mathsf{PSTray}(T)$. We show that $\mathsf{PSTray}(T)$ occupies $O(n)$ space and supports pattern matching queries in $O(m + \log (\sigma+\pi) + \mathit{occ})$ time, where $n$ is the length of $T$, $m$ is the length of a query pattern $P$, $\pi$ is the number of distinct symbols of $|\Pi|$ in $T$, $\sigma$ is the number of distinct symbols of $|\Sigma|$ in $T$ and $\mathit{occ}$ is the number of p-matching occurrences of $P$ in $T$. We also present how to build $\mathsf{PSTray}(T)$ in $O(n)$ time from the parameterized suffix tree of $T$.


title: Photoluminescence from Single-Walled MoS$_2$ Nanotubes Coaxially Grown on Boron Nitride Nanotubes

abstract: Single- and multi-walled molybdenum disulfide (MoS$_2$) nanotubes have been coaxially grown on small diameter boron nitride nanotubes (BNNTs) which were synthesized from heteronanotubes by removing single-walled carbon nanotubes (SWCNTs), and systematically investigated by optical spectroscopy. The strong photoluminescence (PL) from single-walled MoS$_2$ nanotubes supported by core BNNTs is observed in this work, which evidences a direct band gap structure for single-walled MoS$_2$ nanotubes with around 6 - 7 nm in diameter. The observation is consistent with our DFT results that the single-walled MoS$_2$ nanotube changes from an indirect-gap to a direct-gap semiconductor when the diameter of a nanotube is more than around 5 nm. On the other hand, when there are SWCNTs inside the heteronanotubes of BNNTs and MoS$_2$ nanotubes, the PL signal is considerably quenched. The charge transfer and energy transfer between SWCNTs and single-walled MoS$_2$ nanotubes were examined through characterizations by PL, XPS, and Raman spectroscopy. Unlike the single-walled MoS$_2$ nanotubes, multi-walled MoS$_2$ nanotubes do not emit light. Single- and multi-walled MoS$_2$ nanotubes exhibit different Raman features in both resonant and non-resonant Raman spectra. The method of assembling heteronanotubes using BNNTs as templates provides an efficient approach for exploring the electronic and optical properties of other transition metal dichalcogenide nanotubes.


title: Spectral Transfer Tensor Method for Non-Markovian Noise Characterization

abstract: With continuing improvements on the quality of fabricated quantum devices, it becomes increasingly crucial to analyze noisy quantum process in greater details such as characterizing the non-Markovianity in a quantitative manner. In this work, we propose an experimental protocol, termed Spectral Transfer Tensor Maps (SpecTTM), to accurately predict the RHP non-Markovian measure of any Pauli channels without state-preparation and measurement (SPAM) errors. In fact, for Pauli channels, SpecTTM even allows the reconstruction of highly-precised noise power spectrum for qubits. At last, we also discuss how SpecTTM can be useful to approximately characterize non-Markovianity of non-Pauli channels via Pauli twirling in an optimal basis.


title: A First Look at Human Values-Violation in App Reviews

abstract: Ubiquitous technologies such as mobile software applications (mobile apps) have a tremendous influence on the evolution of the social, cultural, economic, and political facets of life in society. Mobile apps fulfil many practical purposes for users including entertainment, transportation, financial management, etc. Given the ubiquity of mobile apps in the lives of individuals and the consequent effect of these technologies on society, it is essential to consider the relationship between human values and the development and deployment of mobile apps. The many negative consequences of violating human values such as privacy, fairness or social justice by technology have been documented in recent times. If we can detect these violations in a timely manner, developers can look to better address them. To understand the violation of human values in a range of common mobile apps, we analysed 22,119 app reviews from Google Play Store using natural language processing techniques. We base our values violation detection approach on a widely accepted model of human values; the Schwartz theory of basic human values. The results of our analysis show that 26.5% of the reviews contained text indicating user perceived violations of human values. We found that benevolence and self-direction were the most violated value categories, and conformity and tradition were the least violated categories. Our results also highlight the need for a proactive approach to the alignment of values amongst stakeholders and the use of app reviews as a valuable additional source for mining values requirements.


title: Enhancement in optically induced ultrafast THz response of MoSe2MoS2 heterobilayer

abstract: THz conductivity of large area MoS2 and MoSe2 monolayers as well as their vertical heterostructure, MoSe2MoS2 is measured in the 0.3-5 THz frequency range. Compared to the monolayers, the ultrafast THz reflectivity of the MoSe2MoS2 heterobilayer is enhanced many folds when optically excited above the direct band gap energies of the constituting monolayers. The free carriers generated in the heterobilayer evolve with the characteristic times found in each of the two monolayers. Surprisingly, the same enhancement is recorded in the ultrafst THz reflectivity of the heterobilayer when excited below the MoS2 bandgap energy. A mechanism accounting for these observations is proposed.


title: Beam Diagnostics in the Advanced Plasma Wakefield Experiment AWAKE

abstract: In AWAKE a self-modulated proton bunch drives wakefields in a plasma. Recent experiments successfully demonstrated many aspects of the self-modulation of the drive bunch as well as acceleration of test electrons. Next experiments will focus on producing a multi-GeV accelerated electron bunch with low emittance and low energy spread. The experiment requires a variety of advanced beam diagnostics to characterize the self-modulated proton bunch at the picosecond time scale. These include optical transition radiation and a streak camera for short and long time scale detailed imaging of self-modulation and hosing, coherent transition radiation for modulation frequency measurements in the 100-300 GHz frequency range and multiple fluorescent screens for core and halo measurements. An overview of these diagnostics will be given.


title: Superradiant phase transition with cavity assisted dynamical spin-orbit coupling

abstract: Superradiant phase transition represents an important quantum phenomenon that shows the collective excitations based on the coupling between atoms and cavity modes. The spin-orbit coupling is another quantum effect which induced from the interaction of the atom internal degrees of freedom and momentum of center-of-mass. In this work, we consider the cavity assisted dynamical spin-orbit coupling which comes from the combination of these two effects. It can induce a series of interesting quantum phenomena, such as the flat spectrum and the singularity of the excitation energy spectrum around the critical point of quantum phase transition. We further discuss the influence of atom decay and nonlinear coupling to the phase diagram. The atom decay suppresses the singularity of the phase diagram and the nonlinear coupling can break the symmetric properties of the phase transition. Our work provide the theoretical methods to research the rich quantum phenomena in this dynamic many-body systems.


title: Crowd-Driven Mapping, Localization and Planning

abstract: Navigation in dense crowds is a well-known open problem in robotics with many challenges in mapping, localization, and planning. Traditional solutions consider dense pedestrians as passive/active moving obstacles that are the cause of all troubles: they negatively affect the sensing of static scene landmarks and must be actively avoided for safety. In this paper, we provide a new perspective: the crowd flow locally observed can be treated as a sensory measurement about the surrounding scenario, encoding not only the scene's traversability but also its social navigation preference. We demonstrate that even using the crowd-flow measurement alone without any sensing about static obstacles, our method still accomplishes good results for mapping, localization, and social-aware planning in dense crowds. Videos of the experiments are available at https://sites.google.com/view/crowdmapping.


title: Fast flaring observed from XMMU J053108.3-690923 by eROSITA: a supergiant fast X-ray transient in the Large Magellanic Cloud

abstract: Supergiant fast X-ray transients (SFXTs) are a peculiar class of supergiant high-mass X-ray binary (HMXB) systems characterised by extreme variability in the X-ray domain. In current models, this is mainly attributed to the clumpy nature of the stellar wind coupled with gating mechanisms involving the spin and magnetic field of the neutron star. We studied the X-ray properties of the supergiant HMXB XMMU J053108.3-690923 in the Large Magellanic Cloud to understand its nature. We performed a detailed temporal and spectral analysis of the eROSITA and XMM-Newton data of XMMU J053108.3-690923. We confirm the putative pulsations previously reported for the source with high confidence, certifying its nature as a neutron star in orbit with a supergiant companion. We identify the extremely variable nature of the source in the form of flares seen in the eROSITA light curves. The source flux exhibits a total dynamic range of more than three orders of magnitude, which confirms its nature as an SFXT, and is the first such direct evidence from a HMXB outside our Galaxy exhibiting a very high dynamic range in luminosity as well as a fast flaring behaviour. We detect changes in the hardness ratio during the flaring intervals where the hardness ratio reaches its minimum during the peak of the flare and increases steeply shortly afterwards. This is also supported by the results of the spectral analysis carried out at the peak and off-flare intervals. This scenario is consistent with the presence of dense structures in the supergiant wind of XMMU J053108.3-690923 where the clumpy medium becomes photoionised at the peak of the flare leading to a drop in the photo-electric absorption. Further, we provide an estimate of the clumpiness of the medium and the magnetic field of the neutron star assuming a spin equilibrium condition.


title: Modeling and simulating the spatial spread of an epidemic through multiscale kinetic transport equations

abstract: In this work we propose a novel space-dependent multiscale model for the spread of infectious diseases in a two-dimensional spatial context on realistic geographical scenarios. The model couples a system of kinetic transport equations describing a population of commuters moving on a large scale (extra-urban) with a system of diffusion equations characterizing the non commuting population acting over a small scale (urban). The modeling approach permits to avoid unrealistic effects of traditional diffusion models in epidemiology, like infinite propagation speed on large scales and mass migration dynamics. A construction based on the transport formalism of kinetic theory allows to give a clear model interpretation to the interactions between infected and susceptible in compartmental space-dependent models. In addition, in a suitable scaling limit, our approach permits to couple the two populations through a consistent diffusion model acting at the urban scale. A discretization of the system based on finite volumes on unstructured grids, combined with an asymptotic preserving method in time, shows that the model is able to describe correctly the main features of the spatial expansion of an epidemic. An application to the initial spread of COVID-19 is finally presented.


title: Frequency Consistent Adaptation for Real World Super Resolution

abstract: Recent deep-learning based Super-Resolution (SR) methods have achieved remarkable performance on images with known degradation. However, these methods always fail in real-world scene, since the Low-Resolution (LR) images after the ideal degradation (e.g., bicubic down-sampling) deviate from real source domain. The domain gap between the LR images and the real-world images can be observed clearly on frequency density, which inspires us to explictly narrow the undesired gap caused by incorrect degradation. From this point of view, we design a novel Frequency Consistent Adaptation (FCA) that ensures the frequency domain consistency when applying existing SR methods to the real scene. We estimate degradation kernels from unsupervised images and generate the corresponding LR images. To provide useful gradient information for kernel estimation, we propose Frequency Density Comparator (FDC) by distinguishing the frequency density of images on different scales. Based on the domain-consistent LR-HR pairs, we train easy-implemented Convolutional Neural Network (CNN) SR models. Extensive experiments show that the proposed FCA improves the performance of the SR model under real-world setting achieving state-of-the-art results with high fidelity and plausible perception, thus providing a novel effective framework for real-world SR application.


title: A proposal for Heisenberg uncertainty principle and STUR for curved backgrounds: an application to white dwarf, neutron stars and black holes

abstract: After a critical overview of the Generalized Uncertainty Principle (GUP) applied to compact objects, we propose a texture of Heisenberg uncertainty principle in curved spacetimes (CHUP). CHUP allows to write down physically motivated STUR (spacetime uncertainty relations) in a generic background for a non commutative spacetime in terms of tetrad variables. In order to study possible quantum effects for compact astrophysical objects as white dwarf, neutron stars and black holes, an expression for quantum fluctuations is outlined. As a result, contrary to GUP-based claims, we found no evidence for quantum effects concerning equilibrium equation and critical mass $M_c$ for white dwarf and neutron stars. Conversely, our expression for CHUP confirms that general relativistic effects strongly reduce the Oppenheimer-Volkoff Newtonian limit for very compact astrophysical objects as neutron stars. In particular, we found that for a degenerate relativistic Fermi gas, the maximum mass decreases for increasing compactness of the star with a minimum critical mass $M_c\simeq 0.59 M_{\odot}$ at the Buchdahl limit. Finally, we study possible non commutative effects near the event horizon of a black hole.


title: Local operator system structures and their tensor products

abstract: We introduce and explore the theory of tensor products in the category of local operator systems. Analogous to minimal operator system OMIN and maximal operator system OMAX, minimal and maximal local operator system structures LOMIN and LOMAX, respectively, are also discussed.


title: Coupling hadron-hadron thresholds within a chiral quark model approach

abstract: Heavy hadron spectroscopy was well understood within the naive quark model until the end of the past century. However, in 2003, the $X(3872)$ was discovered, with puzzling properties difficult to understand in the simple naive quark model picture. This state made clear that excited states of heavy mesons should be coupled to two-meson states in order to understand not only the masses but, in some cases, unexpected decay properties. In this work we will review how the naive quark model can be complemented with the coupling to two hadron thresholds. This program has been already applied to the heavy meson spectrum with the chiral quark model and we show some examples where thresholds are of special relevance.


title: Stable Implementation of Probabilistic ODE Solvers

abstract: Probabilistic solvers for ordinary differential equations (ODEs) provide efficient quantification of numerical uncertainty associated with simulation of dynamical systems. Their convergence rates have been established by a growing body of theoretical analysis. However, these algorithms suffer from numerical instability when run at high order or with small step-sizes -- that is, exactly in the regime in which they achieve the highest accuracy. The present work proposes and examines a solution to this problem. It involves three components: accurate initialisation, a coordinate change preconditioner that makes numerical stability concerns step-size-independent, and square-root implementation. Using all three techniques enables numerical computation of probabilistic solutions of ODEs with algorithms of order up to 11, as demonstrated on a set of challenging test problems. The resulting rapid convergence is shown to be competitive to high-order, state-of-the-art, classical methods. As a consequence, a barrier between analysing probabilistic ODE solvers and applying them to interesting machine learning problems is effectively removed.


title: The number of Dirac-weighted eigenvalues of Sturm-Liouville equations with integrable potentials and an application to inverse problems

abstract: In this paper, we further Meirong Zhang, et al.'s work by computing the number of weighted eigenvalues for Sturm-Liouville equations, equipped with general integrable potentials and Dirac weights, under Dirichlet boundary condition. We show that, for a Sturm-Liouville equation with a general integrable potential, if its weight is a positive linear combination of $n$ Dirac Delta functions, then it has at most $n$ (may be less than $n$, or even be $0$) distinct real Dirichlet eigenvalues, or every complex number is a Dirichlet eigenvalue; in particular, under some sharp condition, the number of Dirichlet eigenvalues is exactly $n$. Our main method is to introduce the concepts of characteristics matrix and characteristics polynomial for Sturm-Liouville problem with Dirac weights, and put forward a general and direct algorithm used for computing eigenvalues. As an application, a class of inverse Dirichelt problems for Sturm-Liouville equations involving single Dirac distribution weights is studied.


title: Global daily 1km land surface precipitation based on cloud cover-informed downscaling

abstract: High-resolution climatic data are essential to many applications in environmental research. Here we develop a new semi-mechanistic downscaling approach for daily precipitation that incorporates high resolution (30 arc sec) satellite-derived cloud frequency. The downscaling algorithm incorporates orographic predictors such as wind fields, valley exposition, and boundary layer height, with a subsequent bias correction. We apply the method to the ERA5 precipitation archive and MODIS monthly cloud cover frequency to develop a daily gridded precipitation time series in 1km resolution for the years 2003 onward. Comparison of the predictions with existing gridded products and station data indicates an improvement in the spatio-temporal performance of the downscaled data in predicting precipitation. Regional scrutiny of the cloud cover correction from a topographically highly heterogeneous area further confirms that CHELSA-EarthEnv performs well in comparison to other precipitation products such as numerical weather models. The presented CHELSA-EarthEnv daily precipitation product improves the temporal accuracy compared to ERA5 with an additional improved in spatial accuracy and much better representation of precipitation in complex terrain


title: Non-equilibrium dynamics in Holography

abstract: We investigate aspects of non-equilibrium dynamics of strongly coupled field theories within holography. We establish a hydrodynamic description for anomalous quantum field theories subject to a strong external field for the first time in the literature. Within holography, we explicitly demonstrate which transport coefficients are non-zero due to the chiral anomaly and thus important for the transport. We show that the standard treatment of the hydrodynamics for spontaneously broken translational invariance is more subtle and has to be revised since the description is missing a novel thermodynamic coefficient. Within holographic massive gravity, we lay out a road map for extensions of hydrodynamics to momentum dissipation. Furthermore, we study the imprint of spontaneously broken translations beyond linear response theory in terms of periodically driven strongly coupled quantum field theories. Another important non-equilibrium scenario specially important for the understanding of our universe is quantum gravity in de-Sitter. Recently, the bold claim of the so-called swampland conjectures has attracted great interest since it banishes all stable theories of quantum gravity on de-Sitter with matter into swampland. Within the well-defined framework of the DS/dS correspondence, we set out to derive consistency conditions on the matter content in de-Sitter. Surprisingly, our proposed bound is violated by any reasonable form of matter. In our discussion, we find a novel one-parameter family of entangling surfaces. The last chapter is dedicated to solvable irrelevant deformations in quantum field theory -- the $T\bar T$ deformation. Within holography, we derive the entanglement entropies for generic subintervals on a sphere. We also resolve the confusion in the literature about a seeming mismatch between the holographic field theory results for the entanglement entropy in general dimensions.


title: Methodology for In-flight Flat-field Calibration of the Lyman-alpha Solar Telescope (LST)

abstract: Flat-field reflects the non-uniformity of the photometric response at the focal plane of an instrument, which uses digital image sensors, such as Charge Coupled Device (CCD) and Complementary Metal-Oxide-Semiconductor (CMOS). This non-uniformity must corrected before being used for scientific research. In this paper, we assess various candidate methods via simulation using available data so as to figure the in-flight flat-field calibration methodology for the Lyman-alpha Solar Telescope (LST). LST is one of the payloads for the Advanced Space-based Solar Observatory (ASO-S) mission and consists of three instruments: a White-light Solar Telescope (WST), a Solar Disk Imager (SDI) and a dual-waveband Solar Corona Imager (SCI). In our simulations, data from the Helioseismic and Magnetic Imager (HMI) and Atmospheric Imaging Assembly (AIA) onboard the Solar Dynamics Observatory (SDO) mission are used. Our results show that the normal KLL method is appropriate for in-flight flat-field calibration of WST and implementing a transmissive diffuser is applicable for SCI. For the in-flight flat-field calibration of SDI, we recommend the KLL method with off-pointing images with defocused resolution of around 18", and use the local correlation tracking (LCT) algorithm instead of limb-fitting to determine the relative dis-placements between different images.


title: Reconfigurable Intelligent Surface Enhanced NOMA Assisted Backscatter Communication System

abstract: A reconfigurable intelligent surface (RIS) enhanced non-orthogonal multiple access assisted backscatter communication (RIS-NOMABC) system is considered. A joint optimization problem over power reflection coefficients and phase shifts is formulated. To solve this non-convex problem, a low complexity algorithm is proposed by invoking the alternative optimization, successive convex approximation and manifold optimization algorithms. Numerical results corroborate that the proposed RIS-NOMABC system outperforms the conventional non-orthogonal multiple access assisted backscatter communication (NOMABC) system without RIS, and demonstrate the feasibility and effectiveness of the proposed algorithm.


title: A novel approach to assess hydrogen embrittlement (HE) susceptibility and mechanisms in high strength martensitic steels

abstract: A rapid fracture test in four-point bending is proposed to assess hydrogen embrittlement (HE) susceptibility of high strength martensitic steels. The novelty of this technique is the rapid rate of loading, whereas conventional approaches require prolonged slow strain rate testing. The essential fractographic features required to identify the mechanisms of HE failure remain evident, despite the fast loading conditions. To demonstrate these attributes, two quenched and tempered steels at two different strength levels were tested, with and without pre-charging of hydrogen. Stress coupled hydrogen diffusion finite element analysis (FEA) was performed to calculate both stress and hydrogen concentration distributions. In addition to fractographic analysis, a mechanistic description rooted in hydrogen enhanced decohesion (HEDE) mechanism was used to corroborate the mechanical test data. The study shows that the approach is capable of quantifying HE susceptibility by being responsive to key factors affecting hydrogen induced fracture, thus developing further understanding on the HE of martensitic steels.


title: On the density estimation problem for uncertainty propagation with unknown input distributions

abstract: In this article we study the problem of quantifying the uncertainty in an experiment with a technical system. We propose new density estimates which combine observed data of the technical system and simulated data from an (imperfect) simulation model based on estimated input distributions. We analyze the rate of convergence of these estimates. The finite sample size performance of the estimates is illustrated by applying them to simulated data. The practical usefulness of the newly proposed estimates is demonstrated by using them to predict the uncertainty of a lateral vibration attenuation system with piezo-elastic supports.


title: Aging behavior of Haynes 282 wrought nickel superalloy subjected to a cold pre-deformation by differential speed rolling

abstract: The mechanical response of Haynes 282, a wrought gamma prime strengthened nickel based superalloy, is tailored by using both a cold deformation processing and a post straining heat treatment including a two step aging. In this work, the effect of the applied cold pre deformation by conventional equal speed rolling ESR or differential speed rolling DSR methods on the aging behavior of Haynes 282 superalloy, is examined for the first time. For this reason, the solid solution annealed alloy was subjected to 50 pct. nominal cold thickness reduction by either ESR or DSR methods, followed by a two step heat treatment at 1010C for 2h and 780C for 8h. The material structural evolution on each processing step was characterized by using scanning electron microscopy, electron backscatter diffraction and transmission electron microscopy methods. Corresponding mechanical properties were examined in static tensile tests performed on non standard miniaturized specimens. It was found that, the introduction of a shear strain by rolls speed differentiation in the cold rolling process results in a more efficient strain hardening of the alloy in the as deformed state and an intensive grain refinement upon the post deformation annealing. Consequently, the DSR provides a higher room temperature mechanical strength obtained in both aging steps, as compared to the non deformed and conventionally cold rolled counterparts. Furthermore, noticeable differences in terms of stability of crystallographic orientations for ESRed or DSRed and heat treated alloy, were noted.


title: Evolutionary dynamics of complex traits in sexual populations in a strongly heterogeneous environment: how normal?

abstract: When studying the dynamics of trait distribution of populations in a heterogeneous environment, classical models from quantitative genetics choose to look at its system of moments, specifically the first two ones. Additionally, in order to close the resulting system of equations, they often assume that the trait distribution is Gaussian (see for instance Ronce and Kirkpatrick 2001). The aim of this paper is to introduce a mathematical framework that follows the whole trait distribution (without prior assumption) to study evolutionary dynamics of sexually reproducing populations. Specifically, it focuses on complex traits, whose inheritance can be encoded by the infinitesimal model of segregation (Fisher 1919). We show that it allows us to derive a regime in which our model gives the same dynamics as when assuming a Gaussian trait distribution. To support that, we compare the stationary problems of the system of moments derived from our model with the one given in Ronce and Kirkpatrick 2001 and show that they are equivalent under this regime and do not need to be otherwise. Moreover, under this regime of equivalence, we show that a separation bewteen ecological and evolutionary time scales arises. A fast relaxation toward monomorphism allows us to reduce the complexity of the system of moments, using a slow-fast analysis. This reduction leads us to complete, still in this regime, the analytical description of the bistable asymmetrical equilibria numerically found in Ronce and Kirkpatrick 2001. More globally, we provide explicit modelling hypotheses that allow for such local adaptation patterns to occur.


title: Automorphisms of (Affine) SL(2,q)-Unitals

abstract: $\operatorname{SL}(2,q)$-unitals are unitals of order $q$ admitting a regular action of $\operatorname{SL}(2,q)$ on the complement of some block. They can be obtained from affine $\operatorname{SL}(2,q)$-unitals via parallelisms. We compute a sharp upper bound for automorphism groups of affine $\operatorname{SL}(2,q)$-unitals and show that exactly two parallelisms are fixed by all automorphisms. In $\operatorname{SL}(2,q)$-unitals obtained as closures of affine $\operatorname{SL}(2,q)$-unitals via those two parallelisms, we show that there is one block fixed under the full automorphism group.


title: Strong Rates of Convergence for Space-Time Discretization of the Backward Stochastic Heat Equation, and of a Linear-Quadratic Control Problem for the Stochastic Heat Equation

abstract: We introduce a time-implicit, finite-element based space-time discretization scheme for the backward stochastic heat equation, and for the forward-backward stochastic heat equation from stochastic optimal control, and prove strong rates of convergence. The fully discrete version of the forward-backward stochastic heat equation is then used within a gradient descent algorithm to approximately solve the linear-quadratic control problem for the stochastic heat equation driven by additive noise.


title: Full parity phase diagram of a proximitized nanowire island

abstract: We measure the charge periodicity of Coulomb blockade conductance oscillations of a hybrid InSb-Al island as a function of gate voltage and parallel magnetic field. The periodicity changes from $2e$ to $1e$ at a gate-dependent value of the magnetic field, $B^*$, decreasing from a high to a low limit upon increasing the gate voltage. In the gate voltage region between the two limits, which our numerical simulations indicate to be the most promising for locating Majorana zero modes, we observe correlated oscillations of peak spacings and heights. For positive gate voltages, the $2e$-$1e$ transition with low $B^*$ is due to the presence of non-topological states whose energy quickly disperses below the charging energy due to the orbital effect of the magnetic field. Our measurements demonstrate the importance of a careful exploration of the entire available phase space of a proximitized nanowire as a prerequisite to define future topological qubits.


title: Structured light for ultrafast laser micro- and nanoprocessing

abstract: The industrial maturity of ultrashort pulsed lasers has triggered the development of a plethora of material processing strategies. Recently, the combination of these remarkable temporal pulse properties with advanced structured light concepts has led to breakthroughs in the development of novel laser application methods, which will now gradually reach industrial environments. We review the efficient generation of customized focus distributions from the near infrared down to the deep ultraviolet, e.g., based on non-diffracting beams and 3D-beam splitters, and demonstrate their impact for micro- and nanomachining of a wide range of materials. In the beam shaping concepts presented, special attention was paid to suitability for both high energies and high powers.


title: Technical Progress Analysis Using a Dynamic Topic Model for Technical Terms to Revise Patent Classification Codes

abstract: Japanese patents are assigned a patent classification code, FI (File Index), that is unique to Japan. FI is a subdivision of the IPC, an international patent classification code, that is related to Japanese technology. FIs are revised to keep up with technological developments. These revisions have already established more than 30,000 new FIs since 2006. However, these revisions require a lot of time and workload. Moreover, these revisions are not automated and are thus inefficient. Therefore, using machine learning to assist in the revision of patent classification codes (FI) will lead to improved accuracy and efficiency. This study analyzes patent documents from this new perspective of assisting in the revision of patent classification codes with machine learning. To analyze time-series changes in patents, we used the dynamic topic model (DTM), which is an extension of the latent Dirichlet allocation (LDA). Also, unlike English, the Japanese language requires morphological analysis. Patents contain many technical words that are not used in everyday life, so morphological analysis using a common dictionary is not sufficient. Therefore, we used a technique for extracting technical terms from text. After extracting technical terms, we applied them to DTM. In this study, we determined the technological progress of the lighting class F21 for 14 years and compared it with the actual revision of patent classification codes. In other words, we extracted technical terms from Japanese patents and applied DTM to determine the progress of Japanese technology. Then, we analyzed the results from the new perspective of revising patent classification codes with machine learning. As a result, it was found that those whose topics were on the rise were judged to be new technologies.


title: Frustration induced incommensurate solids in the extended Bose-Hubbard model

abstract: We study the extended Bose-Hubbard model with nearest-neighbor and next-nearest-neighbor $(V, V')$ repulsive interactions on a square lattice by using the quantum Monte Carlo method. Unlike the case of strong $V'$ where the ground states can be striped solids or striped supersolids, we focus on weak $V' < V/2$ and small hoppings and find that, in the thermodynamic limit, incommensurate solids of fractional densities varying from 1/4 to 1/2 can be stabilized. We also show that the incommensurate solids, which are characterized by a continuous set of wave vectors changing from $(\pi,\pi/2)$ (or $(\pi/2,\pi)$) to $(\pi,\pi)$, can be understood by a mechanism of domain wall formation. The related ground-state phase diagram and thermal phase transitions are also discussed.


title: Weakly-supervised Semantic Segmentation in Cityscape via Hyperspectral Image

abstract: High-resolution hyperspectral images (HSIs) contain the response of each pixel in different spectral bands, which can be used to effectively distinguish various objects in complex scenes. While HSI cameras have become low cost, algorithms based on it have not been well exploited. In this paper, we focus on a novel topic, weakly-supervised semantic segmentation in cityscape via HSIs. It is based on the idea that high-resolution HSIs in city scenes contain rich spectral information, which can be easily associated to semantics without manual labeling. Therefore, it enables low cost, highly reliable semantic segmentation in complex scenes. Specifically, in this paper, we theoretically analyze the HSIs and introduce a weakly-supervised HSI semantic segmentation framework, which utilizes spectral information to improve the coarse labels to a finer degree. The experimental results show that our method can obtain highly competitive labels and even have higher edge fineness than artificial fine labels in some classes. At the same time, the results also show that the refined labels can effectively improve the effect of semantic segmentation. The combination of HSIs and semantic segmentation proves that HSIs have great potential in high-level visual tasks.


title: Hamiltonian properties in generalized lexicographic products

abstract: The lexicographic product $G[H]$ of two graphs $G$ and $H$ is obtained from $G$ by replacing each vertex with a copy of $H$ and adding all edges between any pair of copies corresponding to adjacent vertices of $G$. We consider also the generalized lexicographic product such that we replace each vertex of $G$ with arbitrary graph on the same number of vertices. We present sufficient and necessary conditions for traceability, hamiltonicity and hamiltonian connectivity of $G[H]$ if $G$ is a path and hence we improved and extended results in M. Kriesell, A Note on Hamiltonian Cycles in Lexicographical Products.


title: Bayesian nonparametric panel Markov-switching GARCH models

abstract: This paper introduces a new model for panel data with Markov-switching GARCH effects. The model incorporates a series-specific hidden Markov chain process that drives the GARCH parameters. To cope with the high-dimensionality of the parameter space, the paper exploits the cross-sectional clustering of the series by first assuming a soft parameter pooling through a hierarchical prior distribution with two-step procedure, and then introducing clustering effects in the parameter space through a nonparametric prior distribution. The model and the proposed inference are evaluated through a simulation experiment. The results suggest that the inference is able to recover the true value of the parameters and the number of groups in each regime. An empirical application to 78 assets of the SP\&100 index from $6^{th}$ January 2000 to $3^{rd}$ October 2020 is also carried out by using a two-regime Markov switching GARCH model. The findings shows the presence of 2 and 3 clusters among the constituents in the first and second regime, respectively.


title: A Data-Driven Warm Start Approach for Convex Relaxation in Optimal Gas Flow

abstract: In this letter, we propose a data-driven warm start approach, empowered by artificial neural networks, to boost the efficiency of convex relaxations in optimal gas flow. Case studies show that this approach significantly decreases the number of iterations for the convex-concave procedure algorithm, and optimality and feasibility of the solution can still be guaranteed.


title: Petri Net Based Symbolic Model Checking for Computation Tree Logic of Knowledge

abstract: Computation Tree Logic of Knowledge (CTLK) can specify many design requirements of privacy and security of multi-agent systems (MAS). In our conference paper, we defined Knowledge-oriented Petri Nets (KPN) to model MAS and proposed Reachability Graphs with Equivalence Relations (RGER) to verify CTLK. In this paper, we use the technique of Ordered Binary Decision Diagrams (OBDD) to encode RGER in order to alleviate the state explosion problem and enhance the verification efficiency. We propose a heuristic method to order those variables in OBDD, which can well improve the time and space performance of producing, encoding and exploring a huge state space. More importantly, our method does not produce and encode any transition or equivalence relation of states when producing and encoding an RGER, and in fact it dynamically produces those transition or equivalence relations that are required in the verification process of CTLK formulas. This policy can save a lot of time and space since the number of transition or equivalence relations of states is much greater than the number of states themselves. We design symbolic model checking algorithms, develop a tool and apply them to two famous examples: Alice-Bob Protocol and Dining Cryptographers Protocol. We compare our tool with MCMAS which is the state-of-the-art model checker of verifying CTLK. The experimental results illustrate the advantages of our model and method. Our tool running in a general PC can totally spend less than 14 hours to verify Dining Cryptographers Protocol with 1200 concurrent cryptographers where there are about $10^{1080}$ states and the two verified CTLK formulas have more than 6000 atomic propositions and more than 3600 operators. These good performances are owed to a combination of the OBDD technique and the structure characteristics of KPN.


title: New equation of state involving Bose-Einstein condensate of antikaon for supernova and neutron star merger simulations

abstract: We compute a new equation of state table including Bose-Einstein condensate of $K^{-}$ mesons for core collapse supernova and neutron star merger simulations. Nuclei and interacting nucleons in non-uniform matter is described in an extended version of the nuclear statistical equilibrium model including excluded volume effects whereas the uniform matter at higher densities is treated in the relativistic hadron field theory with density dependent couplings. The equation of state table is generated for a wide range of density ($10^{-12}$ to $\sim 1$ fm$^{-3}$), positive charge fraction (0.01 to 0.60) and temperature (0.1 to 158.48 MeV). The impact of antikaon condensate is investigated on different thermodynamic quantities for example free energy per baryon, entropy per baryon, pressure as well as compositions of matter. Furthermore, critical temperatures of antikaon condensation and the phase diagram of matter are also studied in this article.


title: Toward Streaming ASR with Non-Autoregressive Insertion-based Model

abstract: Neural end-to-end (E2E) models have become a promising technique to realize practical automatic speech recognition (ASR) systems. When realizing such a system, one important issue is the segmentation of audio to deal with streaming input or long recording. After audio segmentation, the ASR model with a small real-time factor (RTF) is preferable because the latency of the system can be faster. Recently, E2E ASR based on non-autoregressive models becomes a promising approach since it can decode an $N$-length token sequence with less than $N$ iterations. We propose a system to concatenate audio segmentation and non-autoregressive ASR to realize high accuracy and low RTF ASR. As a non-autoregressive ASR, the insertion-based model is used. In addition, instead of concatenating separated models for segmentation and ASR, we introduce a new architecture that realizes audio segmentation and non-autoregressive ASR by a single neural network. Experimental results on Japanese and English dataset show that the method achieved a reasonable trade-off between accuracy and RTF compared with baseline autoregressive Transformer and connectionist temporal classification.


title: Parallelisms and Translations of (Affine) SL(2,q)-Unitals

abstract: Unitals can be obtained as closures of affine unitals via parallelisms. The isomorphism type of the closure depends on the chosen parallelism, which need not be unique. For affine $\operatorname{SL}(2,q)$-unitals, we introduce a class of parallelisms for odd order and one for square order. Translations are automorphisms of unitals, fixing each block through a given center. For each of the known parallelisms of affine $\operatorname{SL}(2,q)$-unitals, we compute all possible translations with centers on the block at infinity.


title: The Bar and Spiral Arms in the Milky Way: Structure and Kinematics

abstract: The Milky Way is a spiral galaxy with the Schechter characteristic luminosity $L_*$, thus an important anchor point of the Hubble sequence of all spiral galaxies. Yet the true appearance of the Milky Way has remained elusive for centuries. We review the current best understanding of the structure and kinematics of our home galaxy, and present an updated scientifically accurate visualization of the Milky Way structure with almost all components of the spiral arms, along with the COBE image in the solar perspective. The Milky Way contains a strong bar, four major spiral arms, and an additional arm segment (the Local arm) that may be longer than previously thought. The Galactic boxy bulge that we observe is mostly the peanut-shaped central bar viewed nearly end-on with a bar angle of 25-30 degrees from the Sun-Galactic center line. The bar transitions smoothly from a central peanut-shaped structure to an extended thin part that ends around R ~ 5 kpc. The Galactic bulge/bar contains ~ 30-40% of the total stellar mass in the Galaxy. Dynamical modelling of both the stellar and gas kinematics yields a bar pattern rotation speed of ~ 35-40 km/s/kpc, corresponding to a bar rotation period of ~ 160-180 Myr. From a galaxy formation point of view, our Milky Way is probably a pure-disk galaxy with little room for a significant merger-made, "classical" spheroidal bulge, and we give a number of reasons why this is the case.


title: Charmed baryon productions in proton-antiproton collisions in effective Lagrangian and Regge approaches

abstract: Strange and charmed baryon productions from proton-antiproton collisions are studied in the effective Lagrangian and Regge approaches. We include only the $t$-channel dynamics which is dominant for the diffractive region that is relevant in the present discussions. For strangeness productions, the coupling constants for $K$ meson are determined by $SU(3)$ relations while other unknown parameters for $K^{*}$ couplings and for form factors are fixed by existing observed data for strangeness productions. By extrapolating the amplitudes for strangeness productions to those for charm, we predict charm production cross sections. It turns out that the total cross sections are $10^{4}$ to $10^{5}$ smaller than those of strangeness productions, depending on the final states. By using the known total cross sections for strangeness, $\sim 10^{2} \mu b$ for $\Lambda \bar{\Lambda}$ and, $\sim 10^{1} \mu b$ for $\Sigma \bar{\Lambda}$ the total cross sections for charm productions are predicted to be $\sim 10^{-2} \mu b$ for $\Lambda_{c} \bar{\Lambda}_c$, $\sim 10^{-3} \mu b$ for $\Sigma_{c} \bar{\Lambda}_c$, and $\sim 10^{-4} \mu b$ for $\Sigma_{c} \bar{\Sigma}_c$. Our results can be tested in the future experiments at $\bar{\text{P}}$ANDA.


title: Energy minimisers with prescribed Jacobian

abstract: We study the symmetry and uniqueness of maps which minimise the $np$-Dirichlet energy, under the constraint that their Jacobian is a given radially symmetric function $f$. We find a condition on $f$ which ensures that the minimisers are symmetric and unique. In the absence of this condition we construct an explicit $f$ for which there are uncountably many distinct energy minimisers, none of which is symmetric. Even if we prescribe the maps to be the identity on the boundary of a ball we show that the minimisers need not be symmetric. This gives a negative answer to a question of H\'{e}lein (Ann. Inst. H. Poincar\'{e} Anal. Non Lin\'{e}aire 11 (1994), no. 3, 275-296).


title: CodeVIO: Visual-Inertial Odometry with Learned Optimizable Dense Depth

abstract: In this work, we present a lightweight, tightly-coupled deep depth network and visual-inertial odometry (VIO) system, which can provide accurate state estimates and dense depth maps of the immediate surroundings. Leveraging the proposed lightweight Conditional Variational Autoencoder (CVAE) for depth inference and encoding, we provide the network with previously marginalized sparse features from VIO to increase the accuracy of initial depth prediction and generalization capability. The compact encoded depth maps are then updated jointly with navigation states in a sliding window estimator in order to provide the dense local scene geometry. We additionally propose a novel method to obtain the CVAE's Jacobian which is shown to be more than an order of magnitude faster than previous works, and we additionally leverage First-Estimate Jacobian (FEJ) to avoid recalculation. As opposed to previous works relying on completely dense residuals, we propose to only provide sparse measurements to update the depth code and show through careful experimentation that our choice of sparse measurements and FEJs can still significantly improve the estimated depth maps. Our full system also exhibits state-of-the-art pose estimation accuracy, and we show that it can run in real-time with single-thread execution while utilizing GPU acceleration only for the network and code Jacobian.


title: Three Affine SL(2,8)-Unitals

abstract: $\operatorname{SL}(2,q)$-unitals are unitals of order $q$ admitting a regular action of $\operatorname{SL}(2,q)$ on the complement of some block. We introduce three non-classical affine $\operatorname{SL}(2,8)$-unitals and their full automorphism groups. Each of those three affine unitals can be completed to at least two non-isomorphic unitals, leading to six pairwise non-isomorphic unitals of order $8$.


title: Larger Sparse Quadratic Assignment Problem Optimization Using Quantum Annealing and a Bit-Flip Heuristic Algorithm

abstract: Quantum annealing and D-Wave quantum annealer attracted considerable attention for their ability to solve combinatorial optimization problems. In order to solve other type of optimization problems, it is necessary to apply certain kinds of mathematical transformations. However, linear constraints reduce the size of problems that can be represented in quantum annealers, owing to the sparseness of connections between qubits. For example, the quadratic assignment problem (QAP) with linear equality constraints can be solved only up to size 12 in the quantum annealer D-Wave Advantage, which has 5640 qubits. To overcome this obstacle, Ohzeki developed a method for relaxing the linear equality constraints and numerically verified the effectiveness of this method with some target problems, but others remain unsolvable. In particular, it is difficult to obtain feasible solutions to problems with hard constraints, such as the QAP. We therefore propose a method for solving the QAP with quantum annealing by applying a post-processing bit-flip heuristic algorithm to solutions obtained by the Ohzeki method. In a numerical experiment, we solved a sparse QAP by the proposed method. This sparse QAP has been used in areas such as item listing on an E-commerce website. We successfully solved a QAP of size 19 with high accuracy for the first time using D-Wave Advantage. We also confirmed that the bit-flip heuristic algorithm moves infeasible solutions to nearby feasible solutions in terms of Hamming distance with good computational efficiency.


title: Observation of d-wave Pomeranchuk nematic order in floating monolayer FeSe on FeSe/STO

abstract: As a foundation of condensed matter physics, the normal states of most metals are successfully described by Landau Fermi liquid theory with quasi-particles and their Fermi surfaces (FSs). The FSs sometimes become deformed or gapped at low temperatures owing to quasi-particle interactions, known as FS instabilities. A notable example of a FS deformation that breaks only the rotation symmetry, namely Pomeranchuk instability, is the d-wave FS distortion, which is also proposed as one possible origin of electron nematicity in iron-based superconductors. However, no clear evidence has been made for its existence, mostly owing to the mixture of multiple orders. Here we report an unequivocally observation of the Pomeranchuk nematic order in floating monolayer (ML) FeSe on 1 ML-FeSe/SrTiO3 substrate. By using angle-resolve photoemission spectroscopy, we find remarkably that the dxz and dyz bands are degenerate at the Brillouin zone center (Gamma point), while their splitting is even larger at zone corner (M point), in stark contrast to that in bulk FeSe. Our detailed analysis show that the momentum-dependent nematic order in floating monolayer FeSe is coming from the d-wave Pomeranchuk instability at M point, shedding light on the origin of the ubiquitous nematicity in iron-based superconductors. Our results establish the single-layer high-Tc superconductors as an excellent material platform for investigating emergent quantum physics under complex intertwinement.


title: Air Entrapment and its effect on Pressure Impulses in the slamming of a Flat Disc on Water

abstract: The presence of ambient air in liquid-slamming events plays a crucial role in influencing the shape of the liquid surface prior to the impact, and the distribution of loads created upon impact. We study the effect of trapped air on impact loads in a simplified geometry, by slamming a horizontal flat disc onto a stationary water bath at a well-controlled velocity. We show how air trapping influences pressure peaks at different radial locations on the disc, how the pressure impulses are affected, and how local pressure impulses differ from those obtained from area-integrated (force) impulses at impact. More specifically, we find that the air layer causes a gradual buildup of the load before the peak value is reached, and show that this buildup follows inertial scaling. Further, the same localised pressure impulse at the disc centre are found to be lower than the corresponding (area-integrated) force impulse on the entire disc. While the (area-integrated) force impulses are close to the classical result of Batchelor (1967, section 6.10) and Glasheen & McMahon (1996), the localised pressure impulses at disc center, where the trapped air layer is at its thickest, are found to lie closer to the theoretical estimation by Peters et al. (2013) for an air-cushioned impact.


title: Resource-efficient DNNs for Keyword Spotting using Neural Architecture Search and Quantization

abstract: This paper introduces neural architecture search (NAS) for the automatic discovery of small models for keyword spotting (KWS) in limited resource environments. We employ a differentiable NAS approach to optimize the structure of convolutional neural networks (CNNs) to maximize the classification accuracy while minimizing the number of operations per inference. Using NAS only, we were able to obtain a highly efficient model with 95.4% accuracy on the Google speech commands dataset with 494.8 kB of memory usage and 19.6 million operations. Additionally, weight quantization is used to reduce the memory consumption even further. We show that weight quantization to low bit-widths (e.g. 1 bit) can be used without substantial loss in accuracy. By increasing the number of input features from 10 MFCC to 20 MFCC we were able to increase the accuracy to 96.3% at 340.1 kB of memory usage and 27.1 million operations.


title: Sound absorption in glasses

abstract: The paper presents a description of the sound wave absorption in glasses, from the lowest temperatures up to the glass transition, in terms of three compatible phenomenological models. Resonant tunneling, the rise of the relaxational tunneling to the tunneling plateau and the crossover to classical relaxation are universal features of glasses and are well described by the tunneling model and its extension to include soft vibrations and low barrier relaxations, the soft potential model. Its further extension to non-universal features at higher temperatures is the very flexible Gilroy-Phillips model, which allows to determine the barrier density of the energy landscape of the specific glass from the frequency and temperature dependence of the sound wave absorption in the classical relaxation domain. To apply it properly at elevated temperatures, one needs its formulation in terms of the shear compliance. As one approaches the glass transition, universality sets in again with an exponential rise of the barrier density reflecting the frozen fast Kohlrausch t^beta-tail (in time t, with beta close to 1/2) of the viscous flow at the glass temperature. The validity of the scheme is checked for literature data of several glasses and polymers with and without secondary relaxation peaks. The frozen Kohlrausch tail of the mechanical relaxation shows no indication of the strongly temperature-dependent barrier density observed in dielectric data of molecular glasses with hydrogen bonds. Instead, the mechanical relaxation data indicate an energy landscape describable with a frozen temperature-independent barrier density for any glass.


title: Voronoi Progressive Widening: Efficient Online Solvers for Continuous State, Action, and Observation POMDPs

abstract: This paper introduces Voronoi Progressive Widening (VPW), a generalization of Voronoi optimistic optimization (VOO) and action progressive widening to partially observable Markov decision processes (POMDPs). Tree search algorithms can use VPW to effectively handle continuous or hybrid action spaces by efficiently balancing local and global action searching. This paper proposes two VPW-based algorithms and analyzes them from theoretical and simulation perspectives. Voronoi Optimistic Weighted Sparse Sampling (VOWSS) is a theoretical tool that justifies VPW-based online solvers, and it is the first algorithm with global convergence guarantees for continuous state, action, and observation POMDPs. Voronoi Optimistic Monte Carlo Planning with Observation Weighting (VOMCPOW) is a versatile and efficient algorithm that consistently outperforms state-of-the-art POMDP algorithms in several simulation experiments.


title: MASSIVE: Tractable and Robust Bayesian Learning of Many-Dimensional Instrumental Variable Models

abstract: The recent availability of huge, many-dimensional data sets, like those arising from genome-wide association studies (GWAS), provides many opportunities for strengthening causal inference. One popular approach is to utilize these many-dimensional measurements as instrumental variables (instruments) for improving the causal effect estimate between other pairs of variables. Unfortunately, searching for proper instruments in a many-dimensional set of candidates is a daunting task due to the intractable model space and the fact that we cannot directly test which of these candidates are valid, so most existing search methods either rely on overly stringent modeling assumptions or fail to capture the inherent model uncertainty in the selection process. We show that, as long as at least some of the candidates are (close to) valid, without knowing a priori which ones, they collectively still pose enough restrictions on the target interaction to obtain a reliable causal effect estimate. We propose a general and efficient causal inference algorithm that accounts for model uncertainty by performing Bayesian model averaging over the most promising many-dimensional instrumental variable models, while at the same time employing weaker assumptions regarding the data generating process. We showcase the efficiency, robustness and predictive performance of our algorithm through experimental results on both simulated and real-world data.


title: Learning and balancing unknown loads in large-scale systems

abstract: Consider a system of identical server pools where tasks with exponentially distributed service times arrive as a time-inhomogenenous Poisson process. An admission threshold is used in an inner control loop to assign incoming tasks to server pools while, in an outer control loop, a learning scheme adjusts this threshold over time to keep it aligned with the unknown offered load of the system. In a many-server regime, we prove that the learning scheme reaches an equilibrium along intervals of time where the normalized offered load per server pool is suitably bounded, and that this results in a balanced distribution of the load. Furthermore, we establish a similar result when tasks with Coxian distributed service times arrive at a constant rate and the threshold is adjusted using only the total number of tasks in the system. The novel proof technique developed in this paper, which differs from a traditional fluid limit analysis, allows to handle rapid variations of the first learning scheme, triggered by excursions of the occupancy process that have vanishing size. Moreover, our approach allows to characterize the asymptotic behavior of the system with Coxian distributed service times without relying on a fluid limit of a detailed state descriptor.


title: Debris discs in binaries: morphology and photometric signatures

abstract: We aim to see whether debris belts evolving in between two stars may be impacted by the presence of the companion and whether this leaves any detectable signature that could be observed with current or future instruments. We consider a circumprimary parent body (PB) planetesimal belt that is placed just inside the stability limit between the 2 stars and use the DyCoSS code to follow the coupled dynamical and collisional evolution of the dust produced by this PB belt. We explore several free parameters such as the belt's mass or the binary's mass ratio and orbit. We use the GraTeR package to produce 2-D luminosity maps and system-integrated SEDs. We confirm a preliminary result obtained by earlier DyCoSS studies, which is that the coupled effect of collisional activity, binary perturbations and stellar radiation pressure maintains a halo of small grains in the dynamically unstable region between the 2 stars. In addition, several spatial structures are identified, notably a single spiral arm stretching all the way from the PB belt to the companion star. We also identify a fainter and more compact disc around the secondary star, which is non-native and feeds off small grains from the unstable halo. Both the halo, spiral arm and secondary disc should be detectable on resolved images by instruments with capacities similar to SPHERE. The system as a whole is depleted in small grains when compared to a companion-free case. This depletion leaves an imprint on the system's integrated SED, which appears colder than for the same parent body belt around a single star. This new finding could explain why the SED-derived location $r_{disc}$ of some unresolved discs-in-binaries places their primary belt in the dynamically "forbidden" region between the 2 stars: this apparent paradox could indeed be due to overestimating $r_{disc}$ when using empirical prescriptions valid for a single star case


title: Relativistic mean-field corrections for interactions of dark matter particles with nucleons

abstract: We investigate the interactions of weakly interacting massive particles (WIMPS) with nucleons in nuclear medium by taking into account the effect of nuclear dynamics. We derive the nonrelativistic effective operators starting from the relativistic mean-field approximation. Certain interactions receive non-negligible corrections, which may significantly change the sensitivities of WIMP-nucleus scattering cross section to these effective operators.


title: Heavy tailed distributions in closing auctions

abstract: We study the tails of closing auction return distributions for a sample of liquid European stocks. We use the stochastic call auction model of Derksen et al. (2020a), to derive a relation between tail exponents of limit order placement distributions and tail exponents of the resulting closing auction return distribution and we verify this relation empirically. Counter-intuitively, large closing price fluctuations are typically not caused by large market orders, instead tails become heavier when market orders are removed. The model explains this by the observation that limit orders are submitted so as to counter existing market order imbalance.


title: Achieving State Machine Replication without Honest Players

abstract: Existing standards for player characterisation in tokenised state machine replication protocols depend on honest players who will always follow the protocol, regardless of possible token increases for deviating. Given the ever-increasing market capitalisation of these tokenised protocols, honesty is becoming more expensive and more unrealistic. As such, this out-dated player characterisation must be removed to provide true guarantees of safety and liveness in a major stride towards universal trust in state machine replication protocols and a new scale of adoption. As all current state machine replication protocols are built on these legacy standards, it is imperative that a new player model is identified and utilised to reflect the true nature of players in tokenised protocols, now and into the future. To this effect, we propose the ByRa player model for state machine replication protocols. In the ByRa model, players either attempt to maximise their tokenised rewards, or behave adversarially. This merges the fields of game theory and distributed systems, an intersection in which tokenised state machine replication protocols exist, but on which little formalisation has been carried out. In the ByRa model, we identify the properties of strong incentive compatibility in expectation and fairness that all protocols must satisfy in order to achieve state machine replication. We then provide Tenderstake, a protocol which provably satisfies these properties, and by doing so, achieves state machine replication in the ByRa model.


title: Hierarchical principles of embodied reinforcement learning: A review

abstract: Cognitive Psychology and related disciplines have identified several critical mechanisms that enable intelligent biological agents to learn to solve complex problems. There exists pressing evidence that the cognitive mechanisms that enable problem-solving skills in these species build on hierarchical mental representations. Among the most promising computational approaches to provide comparable learning-based problem-solving abilities for artificial agents and robots is hierarchical reinforcement learning. However, so far the existing computational approaches have not been able to equip artificial agents with problem-solving abilities that are comparable to intelligent animals, including human and non-human primates, crows, or octopuses. Here, we first survey the literature in Cognitive Psychology, and related disciplines, and find that many important mental mechanisms involve compositional abstraction, curiosity, and forward models. We then relate these insights with contemporary hierarchical reinforcement learning methods, and identify the key machine intelligence approaches that realise these mechanisms. As our main result, we show that all important cognitive mechanisms have been implemented independently in isolated computational architectures, and there is simply a lack of approaches that integrate them appropriately. We expect our results to guide the development of more sophisticated cognitively inspired hierarchical methods, so that future artificial agents achieve a problem-solving performance on the level of intelligent animals.


title: The stochastic $p$-Laplace equation on $\mathbb{R}^d$

abstract: We show well-posedness of the $p$-Laplace evolution equation on $\mathbb{R}^d$ with square integrable random initial data for arbitrary $1<p<\infty$ and arbitrary space dimension $d\in\mathbb{N}$. The noise term on the right-hand side of the equation may be additive or multiplicative. Due to a lack of coercivity of the $p$-Laplace operator in the whole space, the possibility to apply well-known existence and uniqueness theorems in the classical functional setting is limited to certain values of $1<p<\infty$ and also depends on the space dimension $d$. We propose a framework of functional spaces which is independent of Sobolev space embeddings and space dimension. For additive noise, we show existence using a time discretization. Then, a fixed-point argument yields the result for multiplicative noise.


title: Multi-Photon Resonances in Josephson Junction-Cavity Circuits

abstract: We explore the dissipative dynamics of nonlinearly driven oscillator systems tuned to resonances where multiple excitations are generated. Such systems are readily realised in circuit QED systems combining Josephson junctions with a microwave cavity and a drive achieved either through flux or voltage bias. For resonances involving 3 or more photons the system undergoes a sequence of two closely spaced dynamical transitions (the first one discontinuous and the second continuous) as the driving is increased leading to steady states that form complex periodic structures in phase space. In the vicinity of the transitions the system displays interesting bistable behaviour: we find that coherent effects can lead to surprising oscillations in the weight of the different dynamical states in the steady state of the system with increasing drive. We show that the dynamics is well-described by a simple effective rate model with transitions between states localised at different points in the phase space crystal. The oscillations in the weights of the dynamical states is reflected in corresponding oscillations in a time-scale that describes transitions between the states.


title: SCNet: Training Inference Sample Consistency for Instance Segmentation

abstract: Cascaded architectures have brought significant performance improvement in object detection and instance segmentation. However, there are lingering issues regarding the disparity in the Intersection-over-Union (IoU) distribution of the samples between training and inference. This disparity can potentially exacerbate detection accuracy. This paper proposes an architecture referred to as Sample Consistency Network (SCNet) to ensure that the IoU distribution of the samples at training time is close to that at inference time. Furthermore, SCNet incorporates feature relay and utilizes global contextual information to further reinforce the reciprocal relationships among classifying, detecting, and segmenting sub-tasks. Extensive experiments on the standard COCO dataset reveal the effectiveness of the proposed method over multiple evaluation metrics, including box AP, mask AP, and inference speed. In particular, while running 38\% faster, the proposed SCNet improves the AP of the box and mask predictions by respectively 1.3 and 2.3 points compared to the strong Cascade Mask R-CNN baseline. Code is available at \url{https://github.com/thangvubk/SCNet}.


title: Structural Balance and Interpersonal Appraisals Dynamics: Beyond All-to-All and Two-Faction Networks

abstract: Structural balance theory describes stable configurations of topologies of signed interpersonal appraisal networks. Existing models explaining the convergence of appraisal networks to structural balance either diverge in finite time, or could get stuck in jammed states, or converge to only complete graphs. In this paper, we study the open problem how steady non-all-to-all structural balance emerges via local dynamics of interpersonal appraisals. We first compare two well-justified definitions of structural balance for general non-all-to-all graphs, i.e., the triad-wise structural balance and the two-faction structural balance, and thoroughly study their relations. Secondly, based on three widely adopted sociological mechanisms: the symmetry mechanism, the influence mechanism, and the homophily mechanism, we propose two simple models of gossip-like appraisal dynamics, the symmetry-influence-homophily (SIH) dynamics and the symmetry-influence-opinion-homophily (SIOH) dynamics. In these models, the appraisal network starting from any initial condition almost surely achieves non-all-to-all triad-wise and two-faction structural balance in finite time respectively. Moreover, the SIOH dynamics capture the co-evolution of interpersonal appraisals and individuals' opinions. Regarding the theoretical contributions, we show that the equilibrium set of the SIH (SIOH resp.) dynamics corresponds to the set of all the possible triad-wise (two-faction resp.) structural balance configurations of the appraisal networks. Moreover, we prove that, for any initial condition, the appraisal networks in the SIH (SIOH resp.) dynamics almost surely achieve triad-wise (two-faction resp.) structural balance in finite time. Numerical studies of the SIH dynamics also imply some insightful take-home messages on whether multilateral relations reduce or exacerbate conflicts.