title: NGAT4Rec: Neighbor-Aware Graph Attention Network For Recommendation

abstract: Learning informative representations (aka. embeddings) of users and items is the core of modern recommender systems. Previous works exploit user-item relationships of one-hop neighbors in the user-item interaction graph to improve the quality of representation. Recently, the research of Graph Neural Network (GNN) for recommendation considers the implicit collaborative information of multi-hop neighbors to enrich the representation. However, most works of GNN for recommendation systems do not consider the relational information which implies the expression differences of different neighbors in the neighborhood explicitly. The influence of each neighboring item to the representation of the user's preference can be represented by the correlation between the item and neighboring items of the user. Symmetrically, for a given item, the correlation between one neighboring user and neighboring users can reflect the strength of signal about the item's characteristic. To modeling the implicit correlations of neighbors in graph embedding aggregating, we propose a Neighbor-Aware Graph Attention Network for recommendation task, termed NGAT4Rec. It employs a novel neighbor-aware graph attention layer that assigns different neighbor-aware attention coefficients to different neighbors of a given node by computing the attention among these neighbors pairwisely. Then NGAT4Rec aggregates the embeddings of neighbors according to the corresponding neighbor-aware attention coefficients to generate next layer embedding for every node. Furthermore, we combine more neighbor-aware graph attention layer to gather the influential signals from multi-hop neighbors. We remove feature transformation and nonlinear activation that proved to be useless on collaborative filtering. Extensive experiments on three benchmark datasets show that our model outperforms various state-of-the-art models consistently.


title: State space models for building control: how deep should you go?

abstract: Power consumption in buildings show non-linear behaviors that linear models cannot capture whereas recurrent neural networks (RNNs) can. This ability makes RNNs attractive alternatives for the model-predictive control (MPC) of buildings. However RNN models lack mathematical regularity which makes their use challenging in optimization problems. This work therefore systematically investigates whether using RNNs for building control provides net gains in an MPC framework. It compares the representation power and control performance of two architectures: a fully non-linear RNN architecture and a linear state-space model with non-linear regressor. The comparison covers five instances of each architecture over two months of simulated operation in identical conditions. The error on the one-hour forecast of temperature is 69% lower with the RNN model than with the linear one. In control the linear state-space model outperforms by 10% on the objective function, shows 2.8 times higher average temperature violations, and needs a third of the computation time the RNN model requires. This work therefore demonstrates that in their current form RNNs do improve accuracy but on balance well-designed linear state-space models with non-linear regressors are best in most cases of MPC.


title: Band dynamics accompanied by bound states in the continuum at the third-order $\Gamma$ point in leaky-mode photonic lattices

abstract: Bound states in the continuum (BICs) and Fano resonances in planar photonic lattices, including metasurfaces and photonic crystal slabs, have been studied extensively in recent years. Typically, the BICs and Fano resonances are associated with the second stop bands open at the second-order Gamma ($\Gamma$) point. This paper address the fundamental properties of the fourth stop band accompanied by BICs at the third-order $\Gamma$ point in one-dimensional (1D) leaky-mode photonic lattices. At the fourth stop band, one band edge mode suffers radiation loss, thereby generating a Fano resonance, while the other band edge mode becomes a nonleaky BIC. The fourth stop band is controlled primarily by the Bragg processes associated with the first, second, and fourth Fourier harmonic components of the periodic dielectric constant modulation. The interplay between these three major processes closes the fourth band gap and induces a band flip whereby the leaky and BIC edges transit across the fourth band gap. At the fourth stop band, a new type of BIC is formed owing to the destructive interplay between the first and second Fourier harmonics. When the fourth band gap closes with strongly enhanced $Q$ factors, Dirac cone dispersions can appear at the third-order $\Gamma$ point. Our results demonstrate a method for manipulating electromagnetic waves by utilizing the high-$Q$ Bloch modes at the fourth stop band.


title: Protocols for creating and distilling multipartite GHZ states with Bell pairs

abstract: The distribution of high-quality Greenberger-Horne-Zeilinger (GHZ) states is at the heart of many quantum communication tasks, ranging from extending the baseline of telescopes to secret sharing. They also play an important role in error-correction architectures for distributed quantum computation, where Bell pairs can be leveraged to create an entangled network of quantum computers. We investigate the creation and distillation of GHZ states out of non-perfect Bell pairs over quantum networks. In particular, we introduce a heuristic dynamic programming algorithm to optimize over a large class of protocols that create and purify GHZ states. All protocols considered use a common framework based on measurements of non-local stabilizer operators of the target state (i.e., the GHZ state), where each non-local measurement consumes another (non-perfect) entangled state as a resource. The new protocols outperform previous proposals for scenarios without decoherence and local gate noise. Furthermore, the algorithms can be applied for finding protocols for any number of parties and any number of entangled pairs involved.


title: Population Gradients improve performance across data-sets and architectures in object classification

abstract: The most successful methods such as ReLU transfer functions, batch normalization, Xavier initialization, dropout, learning rate decay, or dynamic optimizers, have become standards in the field due, particularly, to their ability to increase the performance of Neural Networks (NNs) significantly and in almost all situations. Here we present a new method to calculate the gradients while training NNs, and show that it significantly improves final performance across architectures, data-sets, hyper-parameter values, training length, and model sizes, including when it is being combined with other common performance-improving methods (such as the ones mentioned above). Besides being effective in the wide array situations that we have tested, the increase in performance (e.g. F1) it provides is as high or higher than this one of all the other widespread performance-improving methods that we have compared against. We call our method Population Gradients (PG), and it consists on using a population of NNs to calculate a non-local estimation of the gradient, which is closer to the theoretical exact gradient (i.e. this one obtainable only with an infinitely big data-set) of the error function than the empirical gradient (i.e. this one obtained with the real finite data-set).


title: The Muskat problem with surface tension and equal viscosities in subcritical $L_p$-Sobolev spaces

abstract: In this paper we establish the well-posedness of the Muskat problem with surface tension and equal viscosities in the subcritical Sobolev spaces $W^s_p(\mathbb{R})$, where ${p\in(1,2]}$ and ${s\in(1+1/p,2)}$. This is achieved by showing that the mathematical model can be formulated as a quasilinear parabolic evolution problem in $W^{\overline{s}-2}_p(\mathbb{R})$, where ${\overline{s}\in(1+1/p,s)}$. Moreover, we prove that the solutions become instantly smooth and we provide a criterion for the global existence of solutions.


title: Finite periodic $\delta-\delta'$ comb

abstract: A finit periodic $\delta-\delta'$ comb was solved by the help of both classical approach based on a direct solving of a Sr\"{odinger} equation and a quantum wave impedance method. It was demonstrated that the violation of a periodicity leads to the formation of energy levels in band gaps. The expresion for a surface levels (Tamm's levels) were found in this model system. Obtained results allow extending the scope of theoretical models which are applicable for a describing real quantum mechanical systems as well as better understanding the physical properties of systems in which the boundary dependent states are involved, especially the influence of boundary dependent electronic states on the physical properties of low-dimensional systems.


title: Forecasting With Factor-Augmented Quantile Autoregressions: A Model Averaging Approach

abstract: This paper considers forecasts of the growth and inflation distributions of the United Kingdom with factor-augmented quantile autoregressions under a model averaging framework. We investigate model combinations across models using weights that minimise the Akaike Information Criterion (AIC), the Bayesian Information Criterion (BIC), the Quantile Regression Information Criterion (QRIC) as well as the leave-one-out cross validation criterion. The unobserved factors are estimated by principal components of a large panel with N predictors over T periods under a recursive estimation scheme. We apply the aforementioned methods to the UK GDP growth and CPI inflation rate. We find that, on average, for GDP growth, in terms of coverage and final prediction error, the equal weights or the weights obtained by the AIC and BIC perform equally well but are outperformed by the QRIC and the Jackknife approach on the majority of the quantiles of interest. In contrast, the naive QAR(1) model of inflation outperforms all model averaging methodologies.


title: The Effect of the Pauli Spin Matrices on the Quantum Lattice Algorithm for Maxwell Equations in Inhomogeneous Media

abstract: A quantum lattice algorithm (QLA) is developed for the solution of Maxwell equations in scalar dielectric media using the Riemann-Silberstein representation. For x-dependent and y-dependent inhomogeneities, the corresponding QLA requries 8 qubits/spatial lattice site. This is because the corresponding Pauli spin matrices have off-diagonal components which permit the collisional entanglement of two qubits. However, z-dependent inhomogeneities require a QLA with 16 qubits/lattice site since the Pauli spin matrix $\sigma_z$ is diagonal. QLA simulations are performed for the time evolution of an initial electromagnetic pulse propagating normally to a boundary layer region joining two media of different refractive index. There is excellent agreement between all three representations, as well as very good agreement with nearly all the standard plane wave boundary condition results for reflection and transmission off a dielectric discontinuity. In the QLA simulation, no boundary conditions are imposed at the continuous, but sharply increasing, boundary layer.


title: Model Interpretability through the Lens of Computational Complexity

abstract: In spite of several claims stating that some models are more interpretable than others -- e.g., "linear models are more interpretable than deep neural networks" -- we still lack a principled notion of interpretability to formally compare among different classes of models. We make a step towards such a notion by studying whether folklore interpretability claims have a correlate in terms of computational complexity theory. We focus on local post-hoc explainability queries that, intuitively, attempt to answer why individual inputs are classified in a certain way by a given model. In a nutshell, we say that a class $\mathcal{C}_1$ of models is more interpretable than another class $\mathcal{C}_2$, if the computational complexity of answering post-hoc queries for models in $\mathcal{C}_2$ is higher than for those in $\mathcal{C}_1$. We prove that this notion provides a good theoretical counterpart to current beliefs on the interpretability of models; in particular, we show that under our definition and assuming standard complexity-theoretical assumptions (such as P$\neq$NP), both linear and tree-based models are strictly more interpretable than neural networks. Our complexity analysis, however, does not provide a clear-cut difference between linear and tree-based models, as we obtain different results depending on the particular post-hoc explanations considered. Finally, by applying a finer complexity analysis based on parameterized complexity, we are able to prove a theoretical result suggesting that shallow neural networks are more interpretable than deeper ones.


title: Dynamic Programming in Topological Spaces

abstract: Dynamic programming is a mathematical optimization method and a computer programming method as well. In this paper, the notion of sheaf programming in topological spaces is introduced and it is demonstrated that it relates very well to the concept of dynamic programming.


title: Show and Speak: Directly Synthesize Spoken Description of Images

abstract: This paper proposes a new model, referred to as the show and speak (SAS) model that, for the first time, is able to directly synthesize spoken descriptions of images, bypassing the need for any text or phonemes. The basic structure of SAS is an encoder-decoder architecture that takes an image as input and predicts the spectrogram of speech that describes this image. The final speech audio is obtained from the predicted spectrogram via WaveNet. Extensive experiments on the public benchmark database Flickr8k demonstrate that the proposed SAS is able to synthesize natural spoken descriptions for images, indicating that synthesizing spoken descriptions for images while bypassing text and phonemes is feasible.


title: A Combinatorial Perspective on Transfer Learning

abstract: Human intelligence is characterized not only by the capacity to learn complex skills, but the ability to rapidly adapt and acquire new skills within an ever-changing environment. In this work we study how the learning of modular solutions can allow for effective generalization to both unseen and potentially differently distributed data. Our main postulate is that the combination of task segmentation, modular learning and memory-based ensembling can give rise to generalization on an exponentially growing number of unseen tasks. We provide a concrete instantiation of this idea using a combination of: (1) the Forget-Me-Not Process, for task segmentation and memory based ensembling; and (2) Gated Linear Networks, which in contrast to contemporary deep learning techniques use a modular and local learning mechanism. We demonstrate that this system exhibits a number of desirable continual learning properties: robustness to catastrophic forgetting, no negative transfer and increasing levels of positive transfer as more tasks are seen. We show competitive performance against both offline and online methods on standard continual learning benchmarks.


title: Reducing Bias in Modeling Real-world Password Strength via Deep Learning and Dynamic Dictionaries

abstract: Password security hinges on an in-depth understanding of the techniques adopted by attackers. Unfortunately, real-world adversaries resort to pragmatic guessing strategies such as dictionary attacks that are inherently difficult to model in password security studies. In order to be representative of the actual threat, dictionary attacks must be thoughtfully configured and tuned. However, this process requires a domain-knowledge and expertise that cannot be easily replicated. The consequence of inaccurately calibrating dictionary attacks is the unreliability of password security analyses, impaired by a severe measurement bias. In the present work, we introduce a new generation of dictionary attacks that is consistently more resilient to inadequate configurations. Requiring no supervision or domain-knowledge, this technique automatically approximates the advanced guessing strategies adopted by real-world attackers. To achieve this: (1) We use deep neural networks to model the proficiency of adversaries in building attack configurations. (2) Then, we introduce dynamic guessing strategies within dictionary attacks. These mimic experts' ability to adapt their guessing strategies on the fly by incorporating knowledge on their targets. Our techniques enable more robust and sound password strength estimates within dictionary attacks, eventually reducing overestimation in modeling real-world threats in password security. Code available: https://github.com/TheAdamProject/adams


title: Model of continuous random cascade processes in financial markets

abstract: This article present a continuous cascade model of volatility formulated as a stochastic differential equation. Two independent Brownian motions are introduced as random sources triggering the volatility cascade. One multiplicatively combines with volatility; the other does so additively. Assuming that the latter acts perturbatively on the system, then the model parameters are estimated by application to an actual stock price time series. Numerical calculation of the Fokker--Planck equation derived from the stochastic differential equation is conducted using the estimated values of parameters. The results reproduce the pdf of the empirical volatility, the multifractality of the time series, and other empirical facts.


title: Multiple-merger genealogies -- models, consequences, inference

abstract: Trees corresponding to $\Lambda$- and $\Xi$-$n$-coalescents can be both quite similar and fundamentally different compared to bifurcating tree models based on Kingman's $n$-coalescent. This has consequences for inference of a well-fitting gene genealogy as well as for assessing biological properties of species having such sample genealogies. Here, mathematical properties concerning clade sizes in the tree as well as changes of the tree when the samples are enlargened are highlighted. To be used as realistic genealogy models for real populations, an extension for changing population sizes is discussed.


title: Pre-training with Meta Learning for Chinese Word Segmentation

abstract: Recent researches show that pre-trained models (PTMs) are beneficial to Chinese Word Segmentation (CWS). However, PTMs used in previous works usually adopt language modeling as pre-training tasks, lacking task-specific prior segmentation knowledge and ignoring the discrepancy between pre-training tasks and downstream CWS tasks. In this paper, we propose a CWS-specific pre-trained model METASEG, which employs a unified architecture and incorporates meta learning algorithm into a multi-criteria pre-training task. Empirical results show that METASEG could utilize common prior segmentation knowledge from different existing criteria and alleviate the discrepancy between pre-trained models and downstream CWS tasks. Besides, METASEG can achieve new state-of-the-art performance on twelve widely-used CWS datasets and significantly improve model performance in low-resource settings.


title: Kinodynamic Planning for an Energy-Efficient Autonomous Ornithopter

abstract: This paper presents a novel algorithm to plan energy-efficient trajectories for autonomous ornithopters. In general, trajectory optimization is quite a relevant problem for practical applications with \emph{Unmanned Aerial Vehicles} (UAVs). Even though the problem has been well studied for fixed and rotatory-wing vehicles, there are far fewer works exploring it for flapping-wing UAVs like ornithopters. These are of interest for many applications where long flight endurance, but also hovering capabilities are required. We propose an efficient approach to plan ornithopter trajectories that minimize energy consumption by combining gliding and flapping maneuvers. Our algorithm builds a tree of dynamically feasible trajectories and applies heuristic search for efficient online planning, using reference curves to guide the search and prune states. We present computational experiments to analyze and tune key parameters, as well as a comparison against a recent alternative probabilistic planning, showing best performance. Finally, we demonstrate how our algorithm can be used for planning perching maneuvers online.


title: VIRAL-Fusion: A Visual-Inertial-Ranging-Lidar Sensor Fusion Approach

abstract: In recent years, Onboard Self Localization (OSL) methods based on cameras or Lidar have achieved many significant progresses. However, some issues such as estimation drift and feature-dependence still remain inherent limitations. On the other hand, infrastructure-based methods can generally overcome these issues, but at the expense of some installation cost. This poses an interesting problem of how to effectively combine these methods, so as to achieve localization with long-term consistency as well as flexibility compared to any single method. To this end, we propose a comprehensive optimization-based estimator for 15-dimensional state of an Unmanned Aerial Vehicle (UAV), fusing data from an extensive set of sensors: inertial measurement units (IMUs), Ultra-Wideband (UWB) ranging sensors, and multiple onboard Visual-Inertial and Lidar odometry subsystems. In essence, a sliding window is used to formulate a sequence of robot poses, where relative rotational and translational constraints between these poses are observed in the IMU preintegration and OSL observations, while orientation and position are coupled in body-offset UWB range observations. An optimization-based approach is developed to estimate the trajectory of the robot in this sliding window. We evaluate the performance of the proposed scheme in multiple scenarios, including experiments on public datasets, high-fidelity graphical-physical simulator, and field-collected data from UAV flight tests. The result demonstrates that our integrated localization method can effectively resolve the drift issue, while incurring minimal installation requirements.


title: Particles, conformal invariance and criticality in pure and disordered systems

abstract: The two-dimensional case occupies a special position in the theory of critical phenomena due to the exact results provided by lattice solutions and, directly in the continuum, by the infinite-dimensional character of the conformal algebra. However, some sectors of the theory, and most notably criticality in systems with quenched disorder and short range interactions, have appeared out of reach of exact methods and lacked the insight coming from analytical solutions. In this article we review recent progress achieved implementing conformal invariance within the particle description of field theory. The formalism yields exact unitarity equations whose solutions classify critical points with a given symmetry. It provides new insight in the case of pure systems, as well as the first exact access to criticality in presence of short range quenched disorder. Analytical mechanisms emerge that in the random case allow the superuniversality of some critical exponents and make explicit the softening of first order transitions by disorder.

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


title: Dynamics of a reactive spherical particle falling in a linearly stratified fluid

abstract: Motivated by numerous geophysical applications, we have carried out laboratory experiments of a reactive (i.e. melting) solid sphere freely falling by gravity in a stratified environment, in the regime of large Reynolds ($Re$) and Froude numbers. We compare our results to non-reactive spheres in the same regime. First, we confirm for larger values of $Re$, the stratification drag enhancement previously observed for low and moderate Re (Magnaudet and Mercier, 2020). We also show an even more significant drag enhancement due to melting, much larger than the stratification-induced one. We argue that the mechanism for both enhancements is similar, due to the specific structure of the vorticity field sets by buoyancy effects and associated baroclinic torques, as deciphered for stratification by Zhang et al. (2019). Using particle image velocimetry, we then characterize the long-term evolution (at time $t \gg 1/N$ with $N$ the Br\"unt-V\"ais\"al\"a frequency) of the internal wave field generated by the wake of the spheres. Measured wave field is similar for both reactive and inert spheres: indeed, each sphere fall might be considered as a quasi impulsive source of energy in time and the horizontal direction, as the falling time (resp. the sphere radius) is much smaller than $N$ (resp. than the tank width). Internal gravity waves are generated by wake turbulence over a broad spectrum, with the least damped component being at the Br\"unt-V\"ais\"al\"a frequency and the largest admissible horizontal wavelength. About 1% of the initial potential energy of each sphere is converted in to kinetic energy in the internal waves, with no significant dependence on the Froude number over the explored range.


title: Speech Activity Detection Based on Multilingual Speech Recognition System

abstract: To better model the contextual information and increase the generalization ability of Speech Activity Detection (SAD) system, this paper leverages a multi-lingual Automatic Speech Recognition (ASR) system to perform SAD. Sequence discriminative training of Acoustic Model (AM) using Lattice-Free Maximum Mutual Information (LF-MMI) loss function, effectively extracts the contextual information of the input acoustic frame. Multi-lingual AM training, causes the robustness to noise and language variabilities. The index of maximum output posterior is considered as a frame-level speech/non-speech decision function. Majority voting and logistic regression are applied to fuse the language-dependent decisions. The multi-lingual ASR is trained on 18 languages of BABEL datasets and the built SAD is evaluated on 3 different languages. On out-of-domain datasets, the proposed SAD model shows significantly better performance with respect to baseline models. On the Ester2 dataset, without using any in-domain data, this model outperforms the WebRTC, phoneme recognizer based VAD (Phn Rec), and Pyannote baselines (respectively by 7.1, 1.7, and 2.7% absolute) in Detection Error Rate (DetER) metrics. Similarly, on the LiveATC dataset, this model outperforms the WebRTC, Phn Rec, and Pyannote baselines (respectively by 6.4, 10.0, and 3.7% absolutely) in DetER metrics.


title: Measurement-feedback control of chiral photon emission from an atom chain into a nanofiber

abstract: We theoretically investigate measurement-based feedback control of a laser-driven one-dimensional atomic chain interfaced with a nanofiber. The interfacing leads to all-to-all interactions among the atomic emitters and induces chirality, i.e. the directional emission of photons into a preferred guided mode of the nanofiber. In the setting we consider, the measurement of guided light -- conducted either by photon counting or through homodyne detection of the photocurrent quadratures -- is fed back into the system through a modulation of the driving laser field. We investigate how this feedback scheme influences the photon counting rate and the quadratures of the guided light field. Moreover, we analyse how feedback alters the many-body steady state of the atom chain. Our results provide some insights on how to control and engineer dynamics in light-matter networks realizable with state-of-the-art experimental setups.

categories: quant-ph cond-mat.quant-gas physics.atom-ph physics.optics


title: Design and Sensitivity of the Radio Neutrino Observatory in Greenland (RNO-G)

abstract: This article presents the design of the Radio Neutrino Observatory Greenland (RNO-G) and discusses its scientific prospects. Using an array of radio sensors, RNO-G seeks to measure neutrinos above 10 PeV by exploiting the Askaryan effect in neutrino-induced cascades in ice. We discuss the experimental considerations that drive the design of RNO-G, present first measurements of the hardware that is to be deployed and discuss the projected sensitivity of the instrument. RNO-G will be the first production-scale radio detector for in-ice neutrino signals.


title: Bet and Attack: Incentive Compatible Collaborative Attacks Using Smart Contracts

abstract: Smart contract-enabled blockchains allow building decentralized applications in which mutually-distrusted parties can work together. Recently, oracle services emerged to provide these applications with real-world data feeds. Unfortunately, these capabilities have been used for malicious purposes under what is called criminal smart contracts. A few works explored this dark side and showed a variety of such attacks. However, none of them considered collaborative attacks against targets that reside outside the blockchain ecosystem. In this paper, we bridge this gap and introduce a smart contract-based framework that allows a sponsor to orchestrate a collaborative attack among (pseudo)anonymous attackers and reward them for that. While all previous works required a technique to quantify an attacker's individual contribution, which could be infeasible with respect to real-world targets, our framework avoids that. This is done by developing a novel scheme for trustless collaboration through betting. That is, attackers bet on an event (i.e., the attack takes place) and then work on making that event happen (i.e., perform the attack). By taking DDoS as a usecase, we formulate attackers' interaction as a game, and formally prove that these attackers will collaborate in proportion to the amount of their bets in the game's unique equilibrium. We also model our framework and its reward function as an incentive mechanism and prove that it is a strategy proof and budget-balanced one. Finally, we conduct numerical simulations to demonstrate the equilibrium behavior of our framework.


title: Linking thermodynamics and measurements of protein stability

abstract: We review the background, theory and general equations for the analysis of equilibrium protein unfolding experiments, focusing on denaturant and heat-induced unfolding. The primary focus is on the thermodynamics of reversible folding/unfolding transitions and the experimental methods that are available for extracting thermodynamic parameters. We highlight the importance of modelling both how the folding equilibrium depends on a perturbing variable such as temperature or denaturant concentration, and the importance of modelling the baselines in the experimental observables.


title: Exploring Research Interest in Stack Overflow -- A Systematic Mapping Study and Quality Evaluation

abstract: Platforms such as Stack Overflow are available for software practitioners to solicit solutions to their challenges and knowledge needs. The practices therein have in recent times however triggered quality related concerns. This is a noteworthy issue when considering that the Stack Overflow platform is used by numerous software developers. Academic research tends to provide validation for the practices and processes employed by Stack Overflow and other such forums. However, previous work did not review the scale of scientific attention that is given to this cause. Continuing from our preliminary work, we conducted a Systematic Mapping study involving 265 papers from six relevant databases to address this gap. In this work, we explored the level of academic interest Stack Overflow has generated, the publication venues that are targeted, the topics that are studied, approaches used, types of contributions and the quality of the publications that are written about Stack Overflow. Outcomes show that Stack Overflow has attracted increasing research interest over the years, with topics relating to both community dynamics and human factors, and technical issues. In addition, research studies have been largely evaluative or proposed solutions; however, the latter approach tends to lack validation. The contributions of these studies are often techniques or answers to a specific problem. Evaluating the quality of all studies that were dedicated to software programming (58 papers), our outcomes show that on average only 58% of the developed quality criteria were met. Notwithstanding that research is continually aiming to understand Stack Overflow and other similar communities, further investigations are required to validate such studies and the solutions they propose.


title: ST-BERT: Cross-modal Language Model Pre-training For End-to-end Spoken Language Understanding

abstract: Language model pre-training has shown promising results in various downstream tasks. In this context, we introduce a cross-modal pre-trained language model, called Speech-Text BERT (ST-BERT), to tackle end-to-end spoken language understanding (E2E SLU) tasks. Taking phoneme posterior and subword-level text as an input, ST-BERT learns a contextualized cross-modal alignment via our two proposed pre-training tasks: Cross-modal Masked Language Modeling (CM-MLM) and Cross-modal Conditioned Language Modeling (CM-CLM). Experimental results on three benchmarks present that our approach is effective for various SLU datasets and shows a surprisingly marginal performance degradation even when 1% of the training data are available. Also, our method shows further SLU performance gain via domain-adaptive pre-training with domain-specific speech-text pair data.


title: Pre-training Graph Transformer with Multimodal Side Information for Recommendation

abstract: Side information of items, e.g., images and text description, has shown to be effective in contributing to accurate recommendations. Inspired by the recent success of pre-training models on natural language and images, we propose a pre-training strategy to learn item representations by considering both item side information and their relationships. We relate items by common user activities, e.g., co-purchase, and construct a homogeneous item graph. This graph provides a unified view of item relations and their associated side information in multimodality. We develop a novel sampling algorithm named MCNSampling to select contextual neighbors for each item. The proposed Pre-trained Multimodal Graph Transformer (PMGT) learns item representations with two objectives: 1) graph structure reconstruction, and 2) masked node feature reconstruction. Experimental results on real datasets demonstrate that the proposed PMGT model effectively exploits the multimodality side information to achieve better accuracies in downstream tasks including item recommendation, item classification, and click-through ratio prediction. We also report a case study of testing the proposed PMGT model in an online setting with 600 thousand users.


title: Magnetic and structural properties of Ni-substituted magnetoelectric Co$_4$Nb$_2$O$_9$

abstract: The magnetic and structural properties of polycrystalline Co$_{4-x}$ Ni$_x$ Nb$_2$ O$_9$ (x=1,2) have been investigated by neutron powder diffraction, magnetization and heat capacity measurements, and density functional theory (DFT) calculations. For x=1, the compound crystallizes in the trigonal P$\bar{3}$c1 space group. Below T$_N$ = 31 K it develops a weakly non-collinear antiferromagnetig structure with magnetic moments in the ab-plane. The compound with x=2 has crystal structure of the orthorhombic Pbcn space group and shows a hard ferrimagnetic behavior below T$_C$ =47 K. For this compound a weakly non-collinear ferrimagnetic structure with two possible configurations in ab plane was derived from ND study. By calculating magnetic anisotropy energy via DFT, the ground-state magnetic configuration was determined for this compound. The heat capacity study in magnetic fields up to 140 kOe provide further information on the magnetic structure of the compounds.


title: Unbiased Estimation Equation under $f$-Separable Bregman Distortion Measures

abstract: We discuss unbiased estimation equations in a class of objective function using a monotonically increasing function $f$ and Bregman divergence. The choice of the function $f$ gives desirable properties such as robustness against outliers. In order to obtain unbiased estimation equations, analytically intractable integrals are generally required as bias correction terms. In this study, we clarify the combination of Bregman divergence, statistical model, and function $f$ in which the bias correction term vanishes. Focusing on Mahalanobis and Itakura-Saito distances, we provide a generalization of fundamental existing results and characterize a class of distributions of positive reals with a scale parameter, which includes the gamma distribution as a special case. We discuss the possibility of latent bias minimization when the proportion of outliers is large, which is induced by the extinction of the bias correction term.


title: Direct spectral problem for a Dirac operator with non-local potential

abstract: For a Dirac operator with non-local potential on a finite segment, a method of reconstruction of non-local potential from the spectral data is developed. Description of spectral data for such class of operators is given.


title: Graph-Homomorphic Perturbations for Private Decentralized Learning

abstract: Decentralized algorithms for stochastic optimization and learning rely on the diffusion of information as a result of repeated local exchanges of intermediate estimates. Such structures are particularly appealing in situations where agents may be hesitant to share raw data due to privacy concerns. Nevertheless, in the absence of additional privacy-preserving mechanisms, the exchange of local estimates, which are generated based on private data can allow for the inference of the data itself. The most common mechanism for guaranteeing privacy is the addition of perturbations to local estimates before broadcasting. These perturbations are generally chosen independently at every agent, resulting in a significant performance loss. We propose an alternative scheme, which constructs perturbations according to a particular nullspace condition, allowing them to be invisible (to first order in the step-size) to the network centroid, while preserving privacy guarantees. The analysis allows for general nonconvex loss functions, and is hence applicable to a large number of machine learning and signal processing problems, including deep learning.


title: Unraveling the orbital physics in a canonical orbital system KCuF$_3$

abstract: We explore the existence of the collective orbital excitations, orbitons, in the canonical orbital system KCuF$_3$. Using the Cu $L_3$-edge resonant inelastic X-ray scattering we show that the non-dispersive high-energy peaks result from the Cu$^{2+}$ $dd$ orbital excitations. These high-energy modes show good agreement with the {\it ab-initio} quantum chemistry calculation based on a single cluster, indicating that the $dd$ excitations are highly localized. At the same time, the low-energy excitations present clear dispersion. They match extremely well with the two-spinon continuum following the comparison with Mueller Ansatz calculations. The localized $dd$ excitations and the observation of the strongly dispersive magnetic excitations suggest that orbiton dispersion is below the resolution detection limit. Our results can reconcile with the strong {\it local} Jahn-Teller effect in KCuF$_3$, which predominantly drives orbital ordering.


title: Exploring Common and Individual Characteristics of Students via Matrix Recovering

abstract: Balancing group teaching and individual mentoring is an important issue in education area. The nature behind this issue is to explore common characteristics shared by multiple students and individual characteristics for each student. Biclustering methods have been proved successful for detecting meaningful patterns with the goal of driving group instructions based on students' characteristics. However, these methods ignore the individual characteristics of students as they only focus on common characteristics of students. In this article, we propose a framework to detect both group characteristics and individual characteristics of students simultaneously. We assume that the characteristics matrix of students' is composed of two parts: one is a low-rank matrix representing the common characteristics of students; the other is a sparse matrix representing individual characteristics of students. Thus, we treat the balancing issue as a matrix recovering problem. The experiment results show the effectiveness of our method. Firstly, it can detect meaningful biclusters that are comparable with the state-of-the-art biclutering algorithms. Secondly, it can identify individual characteristics for each student simultaneously. Both the source code of our algorithm and the real datasets are available upon request.


title: Investigation of $\Xi^{-}nn$ ($S=-2$) Hypernucleus in Low-energy Pionless Halo Effective Theory

abstract: In the strangeness $S=-2$ sector, we study the $\Xi^{-}nn$ ($I=3/2, J^P={1/2}^+$) three-body system using pionless halo effective field theory (EFT), which provides a systematic model independent framework for assessing the feasibility of light particle-stable three-body bound states, utilizing low-energy universality. Here we take recourse to a simplistic speculation of the three-body system by eliminating the repulsive spin-singlet $\Xi^- n$ sub-system, while retaining the predominantly attractive (possibly bound) spin-triplet $\Xi^{-}n$ and the virtual bound spin-singlet $nn$ sub-system. In particular, a qualitative leading order EFT investigation by introducing a sharp momentum (ultraviolet) cut-off parameter $\Lambda_c$ into the Faddeev-like coupled integral equations, indicates a discrete scaling behavior akin to a renormalization group limit cycle, thereby suggesting the formal existence of Efimov states in the unitary limit, as $\Lambda_c\to \infty$. Our subsequent non-asymptotic analysis indicates that the three-body binding energy $B_3$ is sensitively dependent on the cut-off without the inclusion of three-body contact interactions. Furthermore, our analysis reproduces several values of the binding energy $B_3\sim 3-4$ MeV, predicted in context of existing potential models, with the regulator $\Lambda_c$ in the range, $\sim 350-460$ MeV. Finally, based on these model inputs for $B_3$, a ballpark estimate of the three-body scattering length in the range, $2.6-4.9$ fm, is naively constrained by our EFT analysis, ostensibly demonstrating the universal nature of three-body correlations that is likely to manifest themselves in a halo-bound $\Xi^{-}nn$ system.


title: Linearly Converging Error Compensated SGD

abstract: In this paper, we propose a unified analysis of variants of distributed SGD with arbitrary compressions and delayed updates. Our framework is general enough to cover different variants of quantized SGD, Error-Compensated SGD (EC-SGD) and SGD with delayed updates (D-SGD). Via a single theorem, we derive the complexity results for all the methods that fit our framework. For the existing methods, this theorem gives the best-known complexity results. Moreover, using our general scheme, we develop new variants of SGD that combine variance reduction or arbitrary sampling with error feedback and quantization and derive the convergence rates for these methods beating the state-of-the-art results. In order to illustrate the strength of our framework, we develop 16 new methods that fit this. In particular, we propose the first method called EC-SGD-DIANA that is based on error-feedback for biased compression operator and quantization of gradient differences and prove the convergence guarantees showing that EC-SGD-DIANA converges to the exact optimum asymptotically in expectation with constant learning rate for both convex and strongly convex objectives when workers compute full gradients of their loss functions. Moreover, for the case when the loss function of the worker has the form of finite sum, we modified the method and got a new one called EC-LSVRG-DIANA which is the first distributed stochastic method with error feedback and variance reduction that converges to the exact optimum asymptotically in expectation with a constant learning rate.


title: Special Lagrangian webbing

abstract: We construct families of imaginary special Lagrangian cylinders near transverse Maslov index $0$ or $n$ intersection points of positive Lagrangian submanifolds in a general Calabi-Yau manifold. Hence, we obtain geodesics of open positive Lagrangian submanifolds near such intersection points. Moreover, this result is a first step toward the non-perturbative construction of geodesics of closed positive Lagrangian submanifolds. Also, we introduce a method for proving $C^{1,1}$ regularity of geodesics of positive Lagrangians at the non-smooth locus. This method is used to show that $C^{1,1}$ geodesics of positive Lagrangian spheres persist under small perturbations of endpoints, improving the regularity of a previous result of the authors. In particular, we obtain the first examples of $C^{1,1}$ solutions to the positive Lagrangian geodesic equation in arbitrary dimension that are not invariant under isometries. Along the way, we study geodesics of positive Lagrangian linear subspaces in a complex vector space, and prove an a priori existence result in the case of Maslov index $0$ or $n.$ Throughout the paper, the cylindrical transform introduced in previous work of the authors plays a key role.


title: Topic Space Trajectories: A case study on machine learning literature

abstract: The annual number of publications at scientific venues, for example, conferences and journals, is growing quickly. Hence, even for researchers it becomes harder and harder to keep track of research topics and their progress. In this task, researchers can be supported by automated publication analysis. Yet, many such methods result in uninterpretable, purely numerical representations. As an attempt to support human analysts, we present topic space trajectories, a structure that allows for the comprehensible tracking of research topics. We demonstrate how these trajectories can be interpreted based on eight different analysis approaches. To obtain comprehensible results, we employ non-negative matrix factorization as well as suitable visualization techniques. We show the applicability of our approach on a publication corpus spanning 50 years of machine learning research from 32 publication venues. Our novel analysis method may be employed for paper classification, for the prediction of future research topics, and for the recommendation of fitting conferences and journals for submitting unpublished work.


title: Many-body localization as a percolation phenomenon

abstract: We examine the standard model of many-body localization (MBL), i.e., the disordered chain of interacting spinless fermions, by representing it as the network in the many-body (MB) basis of noninteracting localized Anderson states. By studying eigenstates of the full Hamiltonian, for strong disorders we find that the dynamics is confined up to very long times to disconnected MB clusters in the Fock space. By keeping only resonant contributions and simplifying the quantum problem to rate equations (REs) for MB states, in analogy with percolation problems, the MBL transition is located via the universal cluster distribution and the emergence of the macroscopic cluster. On the ergodic side, our approximate RE approach to the relaxation processes captures well the diffusion transport, as found for the full quantum model. In a broad transient regime, we find an anomalous, i.e., subdiffusivelike, transport, emerging from weak links between MB states.


title: Evolution of a migrating giant planet in the presence of an inclined binary companion

abstract: Aims. There are a growing number of giant planets discovered moving around one stellar component of a binary star, most of which have very diverse eccentricity. These discoveries raise the question of their formation and long-term evolution because the stellar companion can strongly affect the planet formation process. We aim to study the dynamical influence of a wide binary companion on the evolution of a single giant planet migrating in a protoplanetary disk. Methods. Using a symplectic n-body integrator adapted for binary star systems and modeling the dissipation due to the disk by appropriate formulae emerging from hydrodynamical simulations, we carried out 3600 simulations with different orbital parameters for the planet and different eccentricity and inclination values for the binary companion. The long-term evolution of the planets was followed for 100 Myr and the different dynamical behaviors were unveiled using a quadrupolar Hamiltonian approach. Results. We highlight the high probability for planets to experience, during the disk phase, a scattering event or an ejection due to the presence of a binary companion. We show that a capture in a Lidov-Kozai resonant state is far from automatic when the binary companion star is highly inclined, since only $11 \%$ of the systems end up locked in the resonance at the end of the simulations. Nevertheless, in the presence of a highly inclined binary companion, all the planetary evolutions are strongly influenced by the Lidov-Kozai resonance and the nonresonant evolutions present high eccentricity and inclination variations associated with circulation around the Lidov-Kozai islands.


title: Deep Reinforcement Learning for IoT Networks: Age of Information and Energy Cost Tradeoff

abstract: In most Internet of Things (IoT) networks, edge nodes are commonly used as to relays to cache sensing data generated by IoT sensors as well as provide communication services for data consumers. However, a critical issue of IoT sensing is that data are usually transient, which necessitates temporal updates of caching content items while frequent cache updates could lead to considerable energy cost and challenge the lifetime of IoT sensors. To address this issue, we adopt the Age of Information (AoI) to quantify data freshness and propose an online cache update scheme to obtain an effective tradeoff between the average AoI and energy cost. Specifically, we first develop a characterization of transmission energy consumption at IoT sensors by incorporating a successful transmission condition. Then, we model cache updating as a Markov decision process to minimize average weighted cost with judicious definitions of state, action, and reward. Since user preference towards content items is usually unknown and often temporally evolving, we therefore develop a deep reinforcement learning (DRL) algorithm to enable intelligent cache updates. Through trial-and-error explorations, an effective caching policy can be learned without requiring exact knowledge of content popularity. Simulation results demonstrate the superiority of the proposed framework.


title: Richter b-value maps from local moments of seismicity

abstract: We develop a technique to estimate spatially varying seismicity patterns. It is based on a Gaussian approximation of the underlying Poisson Process. A link function is used to estimate local moments of the seismicity from observed catalogues. These are modeled by a nonstationary Gaussian field. We construct a prior based on the local distribution of seismic faults. This allows us to incorporate geological information into the Bayesian inversion of the observed seismicity. In this paper we limit ourselve to the $b$-value field for which we compute the posterior expectations as well as the uncertainties. The technique however may be applied to other seismically relevant parameters like Omori $c$ and $p$-values.


title: Smoothing and adaptation of shifted P\'olya Tree ensembles

abstract: Recently, S. Arlot and R. Genuer have shown that a model of random forests outperforms its single-tree counterpart in the estimation of $\alpha-$H\"older functions, $\alpha\leq2$. This backs up the idea that ensembles of tree estimators are smoother estimators than single trees. On the other hand, most positive optimality results on Bayesian tree-based methods assume that $\alpha\leq1$. Naturally, one wonders whether Bayesian counterparts of forest estimators are optimal on smoother classes, just like it has been observed for frequentist estimators for $\alpha\leq 2$. We dwell on the problem of density estimation and introduce an ensemble estimator from the classical (truncated) P\'olya tree construction in Bayesian nonparametrics. The resulting Bayesian forest estimator is shown to lead to optimal posterior contraction rates, up to logarithmic terms, for the Hellinger and $L^1$ distances on probability density functions on $[0;1)$ for arbitrary H\"older regularity $\alpha>0$. This improves upon previous results for constructions related to the P\'olya tree prior whose optimality was only proven in the case $\alpha\leq 1$. Also, we introduce an adaptive version of this new prior in the sense that it does not require the knowledge of $\alpha$ to be defined and attain optimality.


title: Perturbed Pricing

abstract: We propose a simple randomized rule for the optimization of prices in revenue management with contextual information. It is known that the certainty equivalent pricing rule, albeit popular, is sub-optimal. We show that, by allowing a small amount of randomization around these certainty equivalent prices, the benefits of optimal pricing and low regret are achievable.


title: Learning Multi-layer Graphs and a Common Representation for Clustering

abstract: In this paper, we focus on graph learning from multi-view data of shared entities for spectral clustering. We can explain interactions between the entities in multi-view data using a multi-layer graph with a common vertex set, which represents the shared entities. The edges of different layers capture the relationships of the entities. Assuming a smoothness data model, we jointly estimate the graph Laplacian matrices of the individual graph layers and low-dimensional embedding of the common vertex set. We constrain the rank of the graph Laplacian matrices to obtain multi-component graph layers for clustering. The low-dimensional node embeddings, common to all the views, assimilate the complementary information present in the views. We propose an efficient solver based on alternating minimization to solve the proposed multi-layer multi-component graph learning problem. Numerical experiments on synthetic and real datasets demonstrate that the proposed algorithm outperforms state-of-the-art multi-view clustering techniques.


title: Entropy production at criticality in a nonequilibrium Potts model

abstract: Understanding nonequilibrium systems and the consequences of irreversibility for the system's behavior as compared to the equilibrium case, is a fundamental question in statistical physics. Here, we investigate two types of nonequilbrium phase transitions, a second-order and an infinite-order phase transition, in a prototypical q-state vector Potts model which is driven out of equilibrium by coupling the spins to heat baths at two different temperatures. We discuss the behavior of the quantities that are typically considered in the vicinity of (equilibrium) phase transitions, like the specific heat, and moreover investigate the behavior of the entropy production (EP), which directly quantifies the irreversibility of the process. For the second-order phase transition, we show that the universality class remains the same as in equilibrium. Further, the derivative of the EP rate with respect to the temperature diverges with a power-law at the critical point, but displays a non-universal critical exponent, which depends on the temperature difference, i.e., the strength of the driving. For the infinite-order transition, the derivative of the EP exhibits a maximum in the disordered phase, similar to the specific heat. However, in contrast to the specific heat, whose maximum is independent of the strength of the driving, the maximum of the derivative of the EP grows with increasing temperature difference. We also consider entropy fluctuations and find that their skewness increases with the driving strength, in both cases, in the vicinity of the second-order transition, as well as around the infinite-order transition.


title: Random hyperbolic graphs in $d+1$ dimensions

abstract: We consider random hyperbolic graphs in hyperbolic spaces of any dimension $d+1\geq 2$. We present a rescaling of model parameters that casts the random hyperbolic graph model of any dimension to a unified mathematical framework, leaving the degree distribution invariant with respect to the dimension. Unlike the degree distribution, clustering does depend on the dimension, decreasing to 0 at $d \rightarrow \infty$. We analyze all of the other limiting regimes of the model, and we release a software package that generates random hyperbolic graphs and their limits in hyperbolic spaces of any dimension.


title: The Shape of Full Configuration Interaction to Come

abstract: We present a perspective on what the future holds for full configuration interaction (FCI) theory, with an emphasis on conceptual rather than technical details. Upon revisiting the early history of FCI, a number of its key contemporary approximations are compared on as equal a footing as possible, using a recent blind challenge on the benzene molecule as a testbed [Eriksen et al., J. Phys. Chem. Lett., 11, 8922 (2020)]. In the process, we review the scope of applications for which FCI continues to prove indispensable, and the required traits in terms of robustness, efficacy, and reliability its modern approximations must satisfy are discussed. We close by conveying a number of general observations on the merits offered by the state-of-the-art alongside some of the challenges still faced to this day. While the field has altogether seen immense progress over the years - the past decade, in particular - it remains clear that our community as a whole has a substantial way to go in enhancing the overall applicability of near-exact electronic structure theory for systems of general composition and increasing size.


title: FAME: Feature-Based Adversarial Meta-Embeddings for Robust Input Representations

abstract: Combining several embeddings typically improves performance in downstream tasks as different embeddings encode different information. It has been shown that even models using embeddings from transformers still benefit from the inclusion of standard word embeddings. However, the combination of embeddings of different types and dimensions is challenging. As an alternative to attention-based meta-embeddings, we propose feature-based adversarial meta-embeddings (FAME) with an attention function that is guided by features reflecting word-specific properties, such as shape and frequency, and show that this is beneficial to handle subword-based embeddings. In addition, FAME uses adversarial training to optimize the mappings of differently-sized embeddings to the same space. We demonstrate that FAME works effectively across languages and domains for sequence labeling and sentence classification, in particular in low-resource settings. FAME sets the new state of the art for POS tagging in 27 languages, various NER settings and question classification in different domains.


title: Network Classifiers Based on Social Learning

abstract: This work proposes a new way of combining independently trained classifiers over space and time. Combination over space means that the outputs of spatially distributed classifiers are aggregated. Combination over time means that the classifiers respond to streaming data during testing and continue to improve their performance even during this phase. By doing so, the proposed architecture is able to improve prediction performance over time with unlabeled data. Inspired by social learning algorithms, which require prior knowledge of the observations distribution, we propose a Social Machine Learning (SML) paradigm that is able to exploit the imperfect models generated during the learning phase. We show that this strategy results in consistent learning with high probability, and it yields a robust structure against poorly trained classifiers. Simulations with an ensemble of feedforward neural networks are provided to illustrate the theoretical results.


title: Self-Learning Transformations for Improving Gaze and Head Redirection

abstract: Many computer vision tasks rely on labeled data. Rapid progress in generative modeling has led to the ability to synthesize photorealistic images. However, controlling specific aspects of the generation process such that the data can be used for supervision of downstream tasks remains challenging. In this paper we propose a novel generative model for images of faces, that is capable of producing high-quality images under fine-grained control over eye gaze and head orientation angles. This requires the disentangling of many appearance related factors including gaze and head orientation but also lighting, hue etc. We propose a novel architecture which learns to discover, disentangle and encode these extraneous variations in a self-learned manner. We further show that explicitly disentangling task-irrelevant factors results in more accurate modelling of gaze and head orientation. A novel evaluation scheme shows that our method improves upon the state-of-the-art in redirection accuracy and disentanglement between gaze direction and head orientation changes. Furthermore, we show that in the presence of limited amounts of real-world training data, our method allows for improvements in the downstream task of semi-supervised cross-dataset gaze estimation. Please check our project page at: https://ait.ethz.ch/projects/2020/STED-gaze/


title: Experimental investigation of tsunami waves generated by granular collapse into water

abstract: The generation of a tsunami wave by an aerial landslide is investigated through model laboratory experiments. We examine the collapse of an initially dry column of grains into a shallow water layer and the subsequent generation of waves. The experiments show that the collective entry of the granular material into water governs the wave generation process. We observe that the amplitude of the wave relative to the water height scales linearly with the Froude number based on the horizontal velocity of the moving granular front relative to the wave velocity. For all the different parameters considered here, the aspect ratio and the volume of the column, the diameter and density of the grains, and the height of the water, the granular collapse acts like a moving piston displacing the water. We also highlight that the density of the falling grains has a negligible influence on the wave amplitude, which suggests that the volume of grains entering the water is the relevant parameter in the wave generation.


title: A Survey on Recent Approaches for Natural Language Processing in Low-Resource Scenarios

abstract: Deep neural networks and huge language models are becoming omnipresent in natural language applications. As they are known for requiring large amounts of training data, there is a growing body of work to improve the performance in low-resource settings. Motivated by the recent fundamental changes towards neural models and the popular pre-train and fine-tune paradigm, we survey promising approaches for low-resource natural language processing. After a discussion about the different dimensions of data availability, we give a structured overview of methods that enable learning when training data is sparse. This includes mechanisms to create additional labeled data like data augmentation and distant supervision as well as transfer learning settings that reduce the need for target supervision. A goal of our survey is to explain how these methods differ in their requirements as understanding them is essential for choosing a technique suited for a specific low-resource setting. Further key aspects of this work are to highlight open issues and to outline promising directions for future research.


title: Polarization rotation by external electric field in two-dimensional antiferroelectric squaric acid, H$_2$C$_4$O$_4$

abstract: A pseudospin model for description of the influence of the electric field, confined to the plane of sublattice polarization, on the two-dimensional squaric acid antiferroelectrics is developed. The system behavior is analyzed in terms of the parameters of ferroelectric and antiferroelectric ordering, as well as the non-collinearity angle $\theta$, which is the angle between sublattice polarizations. The temperature-electric field $T-E_1$ phase diagram is constructed. Most of the field-induced transitions are found to be associated with polarization rotation. The observed phases include the collinear ferroelectric and non-collinear ferrielectric with almost antiparallel and perpendicular polarizations of the sublattices, respectively. The diagram also contains two regions, where the non-collinearity angle varies continuously between, nominally, 0 and 90$^\circ$ and between 90$^\circ$ and 180$^\circ$. The first and second order transition lines, supercritical lines, critical end points, and critical points on the $T-E_1$ phase diagram are detected.


title: A complete scenario on nodal radial solutions to the Brezis Nirenberg problem in low dimensions

abstract: In this paper we consider nodal radial solutions of the problem $$ \begin{cases} -\Delta u=|u|^{2^*-2}u+\lambda u&\text{ in }B,\\ u=0&\text{ on }\partial B \end{cases} $$ where $2^*=\frac{2N}{N-2}$ with $3\le N\le6$ and $B$ is the unit ball of $\R^N$. We compute the asymptotics of the solution $u$ as well as $||u||_\infty$, its first zero and other relevant quantities as $\l$ goes to a critical value $\bar\l$. Also the sign of $\l-\bar\l$ is established in all cases. This completes an analogous analysis for $N\ge7$ given in [EGPV].


title: Two-sided bounds on free energy of directed polymers on strongly recurrent graphs

abstract: We study the directed polymers in random environment on an infinite graph $G=(V,E)$ on which the underlying random walk satisfies sub-Gaussian heat kernel bounds with spectral dimension $d_{s}$ strictly less than two. Our goal in this paper is to show (i) the existence and the coincidence of the quenched and the annealed free energy $F_q(\beta)$, $F_a(\beta)$ and (ii) that $F_a(\beta)-F_q(\beta)$ is comparable to $\beta^{\frac{4}{2-d_{s}}}$ for small inverse temperature $\beta$.


title: Model-Based Machine Learning for Joint Digital Backpropagation and PMD Compensation

abstract: In this paper, we propose a model-based machine-learning approach for dual-polarization systems by parameterizing the split-step Fourier method for the Manakov-PMD equation. The resulting method combines hardware-friendly time-domain nonlinearity mitigation via the recently proposed learned digital backpropagation (LDBP) with distributed compensation of polarization-mode dispersion (PMD). We refer to the resulting approach as LDBP-PMD. We train LDBP-PMD on multiple PMD realizations and show that it converges within 1% of its peak dB performance after 428 training iterations on average, yielding a peak effective signal-to-noise ratio of only 0.30 dB below the PMD-free case. Similar to state-of-the-art lumped PMD compensation algorithms in practical systems, our approach does not assume any knowledge about the particular PMD realization along the link, nor any knowledge about the total accumulated PMD. This is a significant improvement compared to prior work on distributed PMD compensation, where knowledge about the accumulated PMD is typically assumed. We also compare different parameterization choices in terms of performance, complexity, and convergence behavior. Lastly, we demonstrate that the learned models can be successfully retrained after an abrupt change of the PMD realization along the fiber.


title: Misfit layer compounds: a platform for heavily-doped two-dimensional transition metal dichalcogenides

abstract: Transition metal dichalcogenides (TMDs) display a rich variety of instabilities such as spin and charge orders, Ising superconductivity and topological properties. Their physical properties can be controlled by doping in electric double-layer field-effect transistors (FET). However, for the case of single layer NbSe$_2$, FET doping is limited to $\approx 1\times 10^{14}$ cm$^{-2}$, while a somewhat larger charge injection can be obtained via deposition of K atoms. Here, by performing ARPES, STM, quasiparticle interference measurements, and first principles calculations we show that a misfit compound formed by sandwiching NbSe$_2$ and LaSe layers behaves as a NbSe$_2$ single layer with a rigid doping of $0.55-0.6$ electrons per Nb atom or $\approx 6\times 10^{14}$ cm$^{-2}$. Due to this huge doping, the $3\times3$ charge density wave is replaced by a $2\times2$ order with very short coherence length. As a tremendous number of different misfit compounds can be obtained by sandwiching TMDs layers with rock salt or other layers, our work paves the way to the exploration of heavily doped 2D TMDs over an unprecedented wide range of doping.


title: A Modular Framework for Distributed Model Predictive Control of Nonlinear Continuous-Time Systems (GRAMPC-D)

abstract: The modular open-source framework GRAMPC-D for model predictive control of distributed systems is presented in this paper. The modular concept allows to solve optimal control problems (OCP) in a centralized and distributed fashion using the same problem description. It is tailored to computational efficiency with the focus on embedded hardware. The distributed solution is based on the Alternating Direction Method of Multipliers (ADMM) and uses the concept of neighbor approximation to enhance convergence speed. The presented framework can be accessed through Cpp and Python and also supports plug-and-play and data exchange between agents over a network.


title: Matching the Clinical Reality: Accurate OCT-Based Diagnosis From Few Labels

abstract: Unlabeled data is often abundant in the clinic, making machine learning methods based on semi-supervised learning a good match for this setting. Despite this, they are currently receiving relatively little attention in medical image analysis literature. Instead, most practitioners and researchers focus on supervised or transfer learning approaches. The recently proposed MixMatch and FixMatch algorithms have demonstrated promising results in extracting useful representations while requiring very few labels. Motivated by these recent successes, we apply MixMatch and FixMatch in an ophthalmological diagnostic setting and investigate how they fare against standard transfer learning. We find that both algorithms outperform the transfer learning baseline on all fractions of labelled data. Furthermore, our experiments show that exponential moving average (EMA) of model parameters, which is a component of both algorithms, is not needed for our classification problem, as disabling it leaves the outcome unchanged. Our code is available online: https://github.com/Valentyn1997/oct-diagn-semi-supervised


title: Error Bounds of Projection Models in Weakly Supervised 3D Human Pose Estimation

abstract: The current state-of-the-art in monocular 3D human pose estimation is heavily influenced by weakly supervised methods. These allow 2D labels to be used to learn effective 3D human pose recovery either directly from images or via 2D-to-3D pose uplifting. In this paper we present a detailed analysis of the most commonly used simplified projection models, which relate the estimated 3D pose representation to 2D labels: normalized perspective and weak perspective projections. Specifically, we derive theoretical lower bound errors for those projection models under the commonly used mean per-joint position error (MPJPE). Additionally, we show how the normalized perspective projection can be replaced to avoid this guaranteed minimal error. We evaluate the derived lower bounds on the most commonly used 3D human pose estimation benchmark datasets. Our results show that both projection models lead to an inherent minimal error between 19.3mm and 54.7mm, even after alignment in position and scale. This is a considerable share when comparing with recent state-of-the-art results. Our paper thus establishes a theoretical baseline that shows the importance of suitable projection models in weakly supervised 3D human pose estimation.


title: Ornstein-Uhlenbeck parameter extraction from light curves of Fermi-LAT observed blazars

abstract: Context. Monthly-binned gamma-ray light curves of 236 bright gamma-ray sources, particularly blazars, selected from a sample of 2278 high-galactic latitude objects observed with Fermi-LAT, show flux variability characterized by power spectral densities consisting of a single power-law component, ranging from Brownian to white noise. Aims. The main goal here is to assess the Ornstein-Uhlenbeck (OU) model by studying the range of its three parameters that reproduces these statistical properties. Methods. We develop procedures for extracting values of the three OU model parameters (mean flux, correlation length, and random amplitude) from time series data, and apply them to compare numerical integrations of the OU process with the Fermi-LAT data. Results. The OU process fully describes the statistical properties of the flux variations of the 236 blazars. The distributions of the extracted OU parameters are narrowly peaked about well-defined values (sigma, mu, theta) = (0.2, -8.4, 0.5) with variances (0.004, 0.07, 0.13). The distributions of rise and decay time scales of flares in the numerical simulations, i.e. major flux variations fulfilling pre-defined criteria, are in agreement with the observed ones. The power spectral densities of the synthetic light curves are statistically indistinguishable from those of the measured light curves. Conclusions. Long-term gamma-ray flux variability of blazars on monthly time scales is well described by a stochastic model involving only three parameters. The methods described here are powerful tools to study randomness in light curves and thereby constrain the physical mechanisms responsible for the observed flux variations.


title: Fluctuating Cooper pairs in FeSe at temperatures exceeding double Tc

abstract: Temperature dependencies of excess conductivity, Sigma', have been studied in detail for three FeSe_{0.94} textured polycrystalline samples prepared by partial melting and solid state reaction. It was revealed that both Sigma' and its temperature dependence are extremely sensitive to the method of sample preparation. Then, it was shown that in the range from the superconducting transition temperature Tc ~ 9 K up to the characteristic temperature T_01 ~ 19 K, Sigma'(T) obeys the classical fluctuation theories of Aslamazov-Larkin (AL) and Hikami-Larkin (Maki-Thompson (MT) term) pointing to the existence of fluctuating Cooper pairs in FeSe at temperatures exceeding double Tc. Like in cuprates, AL-MT crossover at T_0 < T_{01} is observed, which means the appearance of 3D-2D dimensional transition at this temperature. This allows us to determine the coherence length along the c-axis, Xi_c(0) ~ 3 A, and a set of additional samples' parameters, including the phase relaxation time, Tau_{Phi}, of fluctuating Cooper pairs, within a simple two-dimensional free-carrier picture. It was shown that Tau_{Phi} in FeSe coincides with that found for YBa2Cu3O7 suggesting that the nature of superconducting fluctuations is very similar for these high-temperature superconductors of different types.


title: Learning Implicit Functions for Topology-Varying Dense 3D Shape Correspondence

abstract: The goal of this paper is to learn dense 3D shape correspondence for topology-varying objects in an unsupervised manner. Conventional implicit functions estimate the occupancy of a 3D point given a shape latent code. Instead, our novel implicit function produces a part embedding vector for each 3D point, which is assumed to be similar to its densely corresponded point in another 3D shape of the same object category. Furthermore, we implement dense correspondence through an inverse function mapping from the part embedding to a corresponded 3D point. Both functions are jointly learned with several effective loss functions to realize our assumption, together with the encoder generating the shape latent code. During inference, if a user selects an arbitrary point on the source shape, our algorithm can automatically generate a confidence score indicating whether there is a correspondence on the target shape, as well as the corresponding semantic point if there is one. Such a mechanism inherently benefits man-made objects with different part constitutions. The effectiveness of our approach is demonstrated through unsupervised 3D semantic correspondence and shape segmentation.


title: BARThez: a Skilled Pretrained French Sequence-to-Sequence Model

abstract: Inductive transfer learning has taken the entire NLP field by storm, with models such as BERT and BART setting new state of the art on countless NLU tasks. However, most of the available models and research have been conducted for English. In this work, we introduce BARThez, the first large-scale pretrained seq2seq model for French. Being based on BART, BARThez is particularly well-suited for generative tasks. We evaluate BARThez on five discriminative tasks from the FLUE benchmark and two generative tasks from a novel summarization dataset, OrangeSum, that we created for this research. We show BARThez to be very competitive with state-of-the-art BERT-based French language models such as CamemBERT and FlauBERT. We also continue the pretraining of a multilingual BART on BARThez' corpus, and show our resulting model, mBARThez, to significantly boost BARThez' generative performance. Code, data and models are publicly available.


title: NLNDE at CANTEMIST: Neural Sequence Labeling and Parsing Approaches for Clinical Concept Extraction

abstract: The recognition and normalization of clinical information, such as tumor morphology mentions, is an important, but complex process consisting of multiple subtasks. In this paper, we describe our system for the CANTEMIST shared task, which is able to extract, normalize and rank ICD codes from Spanish electronic health records using neural sequence labeling and parsing approaches with context-aware embeddings. Our best system achieves 85.3 F1, 76.7 F1, and 77.0 MAP for the three tasks, respectively.


title: AdS$_3$ from M-branes at conical singularities

abstract: M-theory is known to possess supersymmetric solutions where the geometry is $\mathrm{AdS}_3\times S^3\times S^3$ warped over a Riemann surface $\Sigma_{2}$. The simplest examples in this class can be engineered by placing M2 and M5 branes as defects inside of a stack of background M5 branes. In this paper we show that a generalization of this construction yields more general solutions in the aforementioned class. The background branes are now M5's carrying M2 brane charge, while the defect branes are now placed at the origin of a flat hyperplane with a conical defect. The equations of motion imply a relation between the deficit angle produced by the conical defect and the M2 charge carried by the background branes.


title: The power of pictures: using ML assisted image generation to engage the crowd in complex socioscientific problems

abstract: Human-computer image generation using Generative Adversarial Networks (GANs) is becoming a well-established methodology for casual entertainment and open artistic exploration. Here, we take the interaction a step further by weaving in carefully structured design elements to transform the activity of ML-assisted imaged generation into a catalyst for large-scale popular dialogue on complex socioscientific problems such as the United Nations Sustainable Development Goals (SDGs) and as a gateway for public participation in research.


title: A Computational Evaluation of Musical Pattern Discovery Algorithms

abstract: Pattern discovery algorithms in the music domain aim to find meaningful components in musical compositions. Over the years, although many algorithms have been developed for pattern discovery in music data, it remains a challenging task. To gain more insight into the efficacy of these algorithms, we introduce three computational methods for examining their output: Pattern Polling, to combine the patterns; Comparative Classification, to differentiate the patterns; Synthetic Data, to inject predetermined patterns. In combining and differentiating the patterns extracted by algorithms, we expose how they differ from the patterns annotated by humans as well as between algorithms themselves, with rhythmic features contributing the most to the algorithm-human and algorithm-algorithm discrepancies. Despite the difficulty in reconciling and evaluating the divergent patterns extracted from algorithms, we identify some possibilities for addressing them. In particular, we generate controllable synthesised data with predetermined patterns planted into random data, thereby leaving us better able to inspect, compare, validate, and select the algorithms. We provide a concrete example of synthesising data for understanding the algorithms and expand our discussion to the potential and limitations of such an approach.


title: Robust Footstep Planning and LQR Control for Dynamic Quadrupedal Locomotion

abstract: In this paper, we aim to improve the robustness of dynamic quadrupedal locomotion through two aspects: 1) fast model predictive foothold planning, and 2) applying LQR to projected inverse dynamic control for robust motion tracking. In our proposed planning and control framework, foothold plans are updated at 400 Hz considering the current robot state and an LQR controller generates optimal feedback gains for motion tracking. The LQR optimal gain matrix with non-zero off-diagonal elements leverages the coupling of dynamics to compensate for system underactuation. Meanwhile, the projected inverse dynamic control complements the LQR to satisfy inequality constraints. In addition to these contributions, we show robustness of our control framework to unmodeled adaptive feet. Experiments on the quadruped ANYmal demonstrate the effectiveness of the proposed method for robust dynamic locomotion given external disturbances and environmental uncertainties.


title: Towards human-agent knowledge fusion (HAKF) in support of distributed coalition teams

abstract: Future coalition operations can be substantially augmented through agile teaming between human and machine agents, but in a coalition context these agents may be unfamiliar to the human users and expected to operate in a broad set of scenarios rather than being narrowly defined for particular purposes. In such a setting it is essential that the human agents can rapidly build trust in the machine agents through appropriate transparency of their behaviour, e.g., through explanations. The human agents are also able to bring their local knowledge to the team, observing the situation unfolding and deciding which key information should be communicated to the machine agents to enable them to better account for the particular environment. In this paper we describe the initial steps towards this human-agent knowledge fusion (HAKF) environment through a recap of the key requirements, and an explanation of how these can be fulfilled for an example situation. We show how HAKF has the potential to bring value to both human and machine agents working as part of a distributed coalition team in a complex event processing setting with uncertain sources.


title: A Bespoke Workflow Management System for Data-Driven Urgent HPC

abstract: In this paper we present a workflow management system which permits the kinds of data-driven workflows required by urgent computing, namely where new data is integrated into the workflow as a disaster progresses in order refine the predictions as time goes on. This allows the workflow to adapt to new data at runtime, a capability that most workflow management systems do not possess. The workflow management system was developed for the EU-funded VESTEC project, which aims to fuse HPC with real-time data for supporting urgent decision making. We first describe an example workflow from the VESTEC project, and show why existing workflow technologies do not meet the needs of the project. We then go on to present the design of our Workflow Management System, describe how it is implemented into the VESTEC system, and provide an example of the workflow system in use for a test case.


title: Erd\"{o}s-Hajnal Conjecture for New Infinite Families of Tournaments

abstract: Erd\"{o}s-Hajnal conjecture states that for every undirected graph $H$ there exists $ \epsilon(H) > 0 $ such that every undirected graph on $ n $ vertices that does not contain $H$ as an induced subgraph contains a clique or a stable set of size at least $ n^{\epsilon(H)} $. This conjecture has a directed equivalent version stating that for every tournament $H$ there exists $ \epsilon(H) > 0 $ such that every $H-$free $n-$vertex tournament $T$ contains a transitive subtournament of order at least $ n^{\epsilon(H)} $. This conjecture is known to hold for a few infinite families of tournaments. In this paper we construct two new infinite families of tournaments - the family of so-called galaxies with spiders and the family of so-called asterisms, and we prove the correctness of the conjecture for these two families.


title: Tournaments and the Erd\"{o}s-Hajnal Conjecture

abstract: The celebrated Erd\"{o}s-Hajnal conjecture states that for every undirected graph $H$ there exists $ \epsilon(H) > 0 $ such that every undirected graph on $ n $ vertices that does not contain $H$ as an induced subgraph contains a clique or a stable set of size at least $ n^{\epsilon(H)} $. This conjecture has a directed equivalent version stating that for every tournament $H$ there exists $ \epsilon(H) > 0 $ such that every $H$-free $n$-vertex tournament $T$ contains a transitive subtournament of order at least $ n^{\epsilon(H)} $. This conjecture is proved for few infinite families of tournaments. In this paper we construct a new infinite family of tournaments $-$ the family of so-called flotilla-galaxies and we prove the correctness of the conjecture for every flotilla-galaxy tournament.


title: About the Erd\"{o}s-Hajnal conjecture for seven-vertex tournaments

abstract: A celebrated unresolved conjecture of Erd\"{o}s and Hajnal states that for every undirected graph $H$ there exists $ \epsilon(H) > 0 $ such that every undirected graph on $ n $ vertices that does not contain $H$ as an induced subgraph contains a clique or a stable set of size at least $ n^{\epsilon(H)} $. The conjecture has a directed equivalent version stating that for every tournament $H$ there exists $ \epsilon(H) > 0 $ such that every $H-$free $n-$vertex tournament $T$ contains a transitive subtournament of order at least $ n^{\epsilon(H)} $. Both the directed and the undirected versions of the conjecture are known to be true for small graphs (tournaments). So far the conjecture was proved only for some specific families of prime tournaments, tournaments constructed according to the so$-$called substitution procedure allowing to build bigger graphs, and for all five$-$vertex tournaments. Recently the conjecture was proved for all six$-$vertex tournament, with one exception, but the question about the correctness of the conjecture for all seven$-$vertex tournaments remained open. In this paper we prove the correctness of the conjecture for several seven$-$vertex tournaments.


title: Old Drugs for JAK-STAT Pathway Inhibition in COVID-19

abstract: The pandemic threat of COVID-19 with more than 37 million cases in which about 5 percent entering critical stage characterized by cytokine storm and hyperinflammatory condition, the state more often leads to admission to intensive care unit with rapid mortality. Janus kinase enzymes of Jak-1, Jak-2, Jak-3, and Tyk2 seem to be good targets for inhibition by medications to control cytokine storm in this context. In the present work, the inhibitory properties of different analgesic drugs on these targets are studied to assess their ability for clinical application from different points of view. Our docking results indicated that naproxen, methadone, and amitriptyline considering their higher binding energy, lower energy variance, and higher hydrophobicity, seem to express more inhibitory effects on Janus kinase enzymes than thats for approved inhibitors i.e. baricitinib and ruxolitinib. Accordingly, we suggest our wide list of candidate drugs including indomethacin, etodolac, buprenorphine, rofecoxib, duloxetine, valdecoxib, naproxen, methadone, and amitriptilin for clinical assessments for their usefulness in COVID-19 treatment, especially taking into account that up to now, there is no approved cure for this disease.


title: Magic rectangles, signed magic arrays and integer $\lambda$-fold relative Heffter arrays

abstract: Let $m,n,s,k$ be integers such that $4\leq s\leq n$, $4\leq k \leq m$ and $ms=nk$. Let $\lambda$ be a divisor of $2ms$ and let $t$ be a divisor of $\frac{2ms}{\lambda}$. In this paper we construct magic rectangles $MR(m,n;s,k)$, signed magic arrays $SMA(m,n;s,k)$ and integer $\lambda$-fold relative Heffter arrays ${}^\lambda H_t(m,n;s,k)$ where $s,k$ are even integers. In particular, we prove that there exists an $SMA(m,n;s,k)$ for all $m,n,s,k$ satisfying the previous hypotheses. Furthermore, we prove that there exist an $MR(m,n;s,k)$ and an integer ${}^\lambda H_t(m,n;s,k)$ in each of the following cases: $(i)$ $s,k \equiv 0 \pmod 4$; $(ii)$ $s\equiv 2\pmod 4$ and $k\equiv 0 \pmod 4$; $(iii)$ $s\equiv 0\pmod 4$ and $k\equiv 2 \pmod 4$; $(iv)$ $s,k\equiv 2 \pmod 4$ and $m,n$ both even.


title: Dynamical replica analysis of quantum annealing

abstract: Quantum annealing aims to provide a faster method for finding the minima of complicated functions, compared to classical computing, so there is an increasing interest in the relaxation dynamics of quantum spin systems. Moreover, it is known that problems in quantum annealing caused by first order phase transitions can be reduced via appropriate temporal adjustment of control parameters, aimed at steering the system away from local minima. To do this optimally, it would be helpful to predict the evolution of the system at the level of macroscopic observables. Solving the dynamics of a quantum ensemble is nontrivial, as it requires modelling not just the quantum spin system itself but also its interaction with the environment, with which it exchanges energy. An interesting alternative approach to the dynamics of quantum spin systems was proposed about a decade ago. It involves creating a stochastic proxy dynamics via the Suzuki-Trotter mapping of the quantum ensemble to a classical one (the quantum Monte Carlo method), and deriving from this new dynamics closed macroscopic equations for macroscopic observables, using the dynamical replica method. In this chapter we give an introduction to this approach, focusing on the ideas and assumptions behind the derivations, and on its potential and limitations.


title: Tele-operative Robotic Lung Ultrasound Scanning Platform for Triage of COVID-19 Patients

abstract: Novel severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) has become a pandemic of epic proportions and a global response to prepare health systems worldwide is of utmost importance. In addition to its cost-effectiveness in a resources-limited setting, lung ultrasound (LUS) has emerged as a rapid noninvasive imaging tool for the diagnosis of COVID-19 infected patients. Concerns surrounding LUS include the disparity of infected patients and healthcare providers, relatively small number of physicians and sonographers capable of performing LUS, and most importantly, the requirement for substantial physical contact between the patient and operator, increasing the risk of transmission. Mitigation of the spread of the virus is of paramount importance. A 2-dimensional (2D) tele-operative robotic platform capable of performing LUS in for COVID-19 infected patients may be of significant benefit. The authors address the aforementioned issues surrounding the use of LUS in the application of COVID- 19 infected patients. In addition, first time application, feasibility and safety were validated in three healthy subjects, along with 2D image optimization and comparison for overall accuracy. Preliminary results demonstrate that the proposed platform allows for successful acquisition and application of LUS in humans.


title: On models of orbit configuration spaces of surfaces

abstract: We consider orbit configuration spaces $C_n^G(S)$, where $S$ is a surface obtained out of a closed orientable surface $\bar{S}$ by removing a finite number of points (eventually none) and $G$ is a finite group acting freely continuously on $S$. We prove that the fibration $\pi_{n,k} : C_{n}^G(S) \to C_k^G(S)$ obtained by projecting on the first $k$ coordinates is a rational fibration. As a consequence, the space $C_{n}^G(S)$ has a Sullivan model $A_{n,k}=\Lambda V_{C_k^G(S)}\otimes \Lambda V_{C_{n-k}^G(S_{G,k})}$ fitting in a cdga sequence: $\Lambda V_{C_k^G(S)}\to A_{n,k} \to \Lambda V_{C_{n-k}^G(S_{G,k})},$ where $\Lambda V_X$ denotes the minimal model of $X$, and $C_{n-k}^G(S_{G,k})$ is the fiber of $\pi_{n,k}$. We show that this model is minimal except for some cases when $S\simeq S^2$ and compute in all the cases the higher $\psi$-homotopy groups (related to the generators of the minimal model) of $C_n^G(S)$. We deduce from the computation that $C_n^G(S)$ having finite Betti numbers is a rational $K(\pi,1)$, i.e its minimal model and $1$-minimal model are the same (or equivalently the $\psi$-homotopy space vanishes in degree grater then $2$), if and only if $S$ is not homeomorphic to $S^2$. In particular, for $S$ not homeomorphic to $S^2$, the minimal model (isomorphic to the $1$-minimal model) is entirely determined by the Malcev Lie algebra of $\pi_1 C_n^G(S)$. When $A_{n,k}$ is minimal, we get an exact sequence of Malcev Lie algebras $0\to L_{C_{n-k}^G(S_{G,k})}\to L_{C_{n}^G(S)}\to L_{C_k^G(S)}\to 0$, where $L_X$ is the Malcev Lie algebra of $\pi_1X$. For $S \varsubsetneq \bar{S}=S^2$ and $G$ acting by orientation preserving homeomorphism, we prove that the cohomology ring of $C_n^G(S)$ is Koszul, and that for some of these spaces the minimal model can be obtained out of a Cartan-Chevally-Eilenberg construction applied to graded Lie algebra computed in an earlier work.


title: Fusion of Dual Spatial Information for Hyperspectral Image Classification

abstract: The inclusion of spatial information into spectral classifiers for fine-resolution hyperspectral imagery has led to significant improvements in terms of classification performance. The task of spectral-spatial hyperspectral image classification has remained challenging because of high intraclass spectrum variability and low interclass spectral variability. This fact has made the extraction of spatial information highly active. In this work, a novel hyperspectral image classification framework using the fusion of dual spatial information is proposed, in which the dual spatial information is built by both exploiting pre-processing feature extraction and post-processing spatial optimization. In the feature extraction stage, an adaptive texture smoothing method is proposed to construct the structural profile (SP), which makes it possible to precisely extract discriminative features from hyperspectral images. The SP extraction method is used here for the first time in the remote sensing community. Then, the extracted SP is fed into a spectral classifier. In the spatial optimization stage, a pixel-level classifier is used to obtain the class probability followed by an extended random walker-based spatial optimization technique. Finally, a decision fusion rule is utilized to fuse the class probabilities obtained by the two different stages. Experiments performed on three data sets from different scenes illustrate that the proposed method can outperform other state-of-the-art classification techniques. In addition, the proposed feature extraction method, i.e., SP, can effectively improve the discrimination between different land covers.


title: Adjoint Reactive GUI

abstract: Most interaction with a computer is done via a graphical user interface. Traditionally, these are implemented in an imperative fashion using shared mutable state and callbacks. This is efficient, but is also difficult to reason about and error prone. Functional Reactive Programming (FRP) provides an elegant alternative which allows GUIs to be designed in a declarative fashion. However, most FRP languages are synchronous and continually check for new data. This means that an FRP-style GUI will "wake up" on each program cycle. This is problematic for applications like text editors and browsers, where often nothing happens for extended periods of time, and we want the implementation to sleep until new data arrives. In this paper, we present an asynchronous FRP language for designing GUIs called $\lambda_{\mathsf{Widget}}$. Our language provides a novel semantics for widgets, the building block of GUIs, which offers both a natural Curry--Howard logical interpretation and an efficient implementation strategy.


title: Towards a power counting in nuclear energy-density-functional theories through a perturbative analysis

abstract: We illustrate a step towards the construction of a power counting in energy-density-functional (EDF) theories, by analyzing the equations of state (EOSs) of both symmetric and neutron matter. Within the adopted strategy, next-to-leading order (NLO) EOSs are introduced which contain renormalized first-order-type terms and an explicit second-order finite part. Employing as a guide the asymptotic behavior of the introduced renormalized parameters, we focus our analysis on two aspects: (i) With a minimum number of counterterms introduced at NLO, we show that each energy contribution entering in the EOS has a regular evolution with respect to the momentum cutoff (introduced in the adopted regularization procedure) and is found to converge to a cutoff-independent curve. The convergence features of each term are related to its Fermi-momentum dependence. (ii) We find that the asymptotic evolution of the second-order finite-part coefficients is a strong indication of a perturbative behavior, which in turns confirms that the adopted strategy is coherent with a possible underlying power counting in the chosen Skyrme-inspired EDF framework.