title: A General Framework for the Logical Representation of Combinatorial Exchange Protocols

abstract: The goal of this paper is to propose a framework for representing and reasoning about the rules governing a combinatorial exchange. Such a framework is at first interest as long as we want to build up digital marketplaces based on auction, a widely used mechanism for automated transactions. Combinatorial exchange is the most general case of auctions, mixing the double and combinatorial variants: agents bid to trade bundles of goods. Hence the framework should fulfill two requirements: (i) it should enable bidders to express their bids on combinations of goods and (ii) it should allow describing the rules governing some market, namely the legal bids, the allocation and payment rules. To do so, we define a logical language in the spirit of the Game Description Language: the Combinatorial Exchange Description Language is the first language for describing combinatorial exchange in a logical framework. The contribution is two-fold: first, we illustrate the general dimension by representing different kinds of protocols, and second, we show how to reason about auction properties in this machine-processable language.


title: Accurate Prediction Of Machining Feedrate And Cycle Time Prediction Considering Interpolator Dynamics

abstract: This paper presents an accurate machining feedrate prediction technique by modeling the trajectory generation behaviour of modern CNC machine tools. Typically, CAM systems simulate machines motion based on the commanded feedrate and the path geometry. Such approach does not consider the feed planning and interpolation strategy of the machines numerical control (NC) system. In this study, trajectory generation behaviour of the NC system is modelled and accurate cycle time prediction for complex machining toolpaths is realized. NC systems linear interpolation dynamics and commanded axis kinematic profiles are predicted by using Finite Impulse Response (FIR) based low-pass filters. The corner blending behaviour during nonstop interpolation of linear segments is modeled, and for the first time, the minimum cornering feedrate, that satisfies both the tolerance and machining constraints, has been calculated analytically for 3 axis toolpaths of any geometry. The proposed method is applied to 4 different case studies including complex machining tool-paths. Experimental validations show actual cycle times can be estimated with greater than 90 percent accuracy, greatly outperforming CAM-based predictions. It is expected that the proposed approach will help improve the accuracy of virtual machining models and support businesses decision making when costing machining processes.


title: Acoustic Structure Inverse Design and Optimization Using Deep Learning

abstract: From ancient to modern times, acoustic structures have been used to control the propagation of acoustic waves. However, the design of the acoustic structures has remained widely a time-consuming and computational resource-consuming iterative process. In recent years, Deep Learning has attracted unprecedented attention for its ability to tackle hard problems with huge datasets, which has achieved state-of-the-art results in various tasks. In this work, an acoustic structure design method is proposed based on deep learning. Taking the design of multi-order Helmholtz resonator for instance, we experimentally demonstrate the effectiveness of the proposed method. Our method is not only able to give a very accurate prediction of the geometry of the acoustic structures with multiple strong-coupling parameters, but also capable of improving the performance of evolutionary approaches in optimization for a desired property. Compared with the conventional numerical methods, our method is more efficient, universal and automatic, which has a wide range of potential applications, such as speech enhancement, sound absorption and insulation.


title: Optical Stochastic Computing Architectures Using Photonic Crystal Nanocavities

abstract: Stochastic computing allows a drastic reduction in hardware complexity using serial processing of bit streams. While the induced high computing latency can be overcome using integrated optics technology, the design of realistic optical stochastic computing architectures calls for energy efficient switching devices. Photonics Crystal (PhC) nanocavities are $\mu m^2$ scale devices offering 100fJ switching operation under picoseconds-scale switching speed. Fabrication process allows controlling the Quality factor of each nanocavity resonance, leading to opportunities to implement architectures involving cascaded gates and multi-wavelength signaling. In this report, we investigate the design of cascaded gates architecture using nanocavities in the context of stochastic computing. We propose a transmission model considering key nanocavity device parameters, such as Quality factors, resonance wavelength and switching efficiency. The model is calibrated with experimental measurements. We propose the design of XOR gate and multiplexer. We illustrate the use of the gates to design an edge detection filter. System-level exploration of laser power, bit-stream length and bit-error rate is carried out for the processing of gray-scale images. The results show that the proposed architecture leads to 8.5nJ/pixel energy consumption and 512ns/pixel processing time.


title: Riccati Recursion for Optimal Control Problems of Nonlinear Switched Systems

abstract: We propose an efficient algorithm for the optimal control problems (OCPs) of nonlinear switched systems that optimizes the control input and switching instants simultaneously for a given switching sequence. We consider the switching instants as the optimization variables and formulate the OCP based on the direct multiple shooting method. We derive a linear equation to be solved in Newton's method and propose a Riccati recursion algorithm to solve the linear equation efficiently. The computational time of the proposed method scales linearly with respect to the number of time stages of the horizon as the standard Riccati recursion. Numerical experiments show that the proposed method converges with a significantly shorter computational time than the conventional methods.


title: Modave Lectures on Quantum Information: An Introduction to Channels and Applications to Black Holes and AdS/CFT

abstract: These notes introduce a handful of core ideas from quantum information science that figure prominently in modern research on quantum gravity. The central concept that forms the base of these notes is that of a quantum channel; that is, the most general physically-reasonable map between quantum states and between operators on Hilbert space. After reviewing some fundamentals, we will study channels and their properties, and then go on to formulate quantum error correction in terms of quantum channels. Along the way, we will see how a handful of problems in high energy physics, such as the black hole information problem and bulk reconstruction in AdS/CFT, can be cast in the information-theoretic language being set up.


title: Sea-level and summer season orbital insolation as drivers of Arctic sea-ice

abstract: The sea-ice cover of the Arctic Ocean is an important element of the climate and ocean system in the Northern Hemisphere as it impacts albedo, atmospheric pressure regimes, CO2-exchange at the ocean/atmosphere interface as well as the North Atlantic freshwater budget and thermohaline circulation [1]. Due to global warming, the Arctic sea-ice cover is presently evolving at an unprecedent rate towards full melt during the summer season, driving the so-called "Arctic amplification" [2]. However, the Arctic sea-ice has also experienced large amplitude variations, from seasonal to orbital (Milankovitch) time scales, in the past. Recent studies led to suggest that whereas insolation has been a major driver of Arctic sea-ice variability through time, sea-level changes governed the development of "sea-ice factories" over shelves (Figure 1), thus fine-tuning the response of the Arctic Ocean to glacial/interglacial oscillations that is slightly out of phase compared to lower latitudes [3,4]. We discuss below how insolation and sea-level changes may have interacted and controlled the sea-ice cover of the Arctic Ocean during warm past intervals and how they could still interfere in the future.


title: Unveiling excitonic properties of magnons in a quantum Hall ferromagnet

abstract: Magnons enable transferring a magnetic moment or spin over macroscopic distance. In quantum Hall ferromagnet, it has been predicted in the early 90s that spin and charges are entangled, meaning that any change of the spin texture modifies the charge distribution. As a direct consequence of this entanglement, magnons carry an electric dipole moment. Here we report the first evidence of the existence of this electric dipole moment in a graphene quantum Hall ferromagnet using a Mach-Zehnder interferometer as a quantum sensor. By propagating towards the interferometer through an insulating bulk, the magnon electric dipole moment modifies the Aharonov-Bohm flux through the interferometer, changing both its phase and its visibility. In particular, we relate the phase shift to the sign of this electric dipole moment, and the exponential loss of visibility to the flux of emitted magnons. Finally, we probe the emission energy threshold of the magnons close to filling factor v=1. Approaching v=0, we observe that the emission energy threshold diminishes towards zero, which might be linked to the existence of gapless mode in the canted-antiferromagnetic (CAF) phase at v=0. The detection and manipulation of magnons based on their electric dipole open the field for a new type of coherent magnon quantum circuits that will be electrostatically controlled.


title: An Analytics-based Decision Support System for Resource Planning under Heterogeneous Service Demand of Nursing Home Residents

abstract: Nursing homes (NHs) are critical healthcare infrastructures for caring frail older adults with 24/7 formal care and personal assistance. Adequate NH resource planning is of great importance to ensure desired quality of care and resident outcomes yet challenging. The challenge lies in the heterogeneous service demand of NH residents, due to the varied individual characteristics, the diverse dwelling duration with multiple competing discharge dispositions, and the diverse service need. Existing healthcare staffing literature often assumed a homogeneous population of NH residents and neglected the complexity of service demand heterogeneity. This work proposes an analytics-based modeling framework with a user-friendly decision support platform for NH resource planning. The proposed framework characterizes the heterogeneous service demand of NH residents via novel integration of advanced statistical modeling, computer simulation and optimization techniques. We further provide a case study using real data from our industrial collaborator to demonstrate the effectiveness and superior performance of the proposed work. The impacts of service utilization heterogeneity and service need heterogeneity on resource planning decisions are investigated as well.


title: Rigidity of the Hopf fibration

abstract: In this paper, we study minimal maps between euclidean spheres. The Hopf fibrations provide explicit examples of such minimal maps. Moreover, their corresponding graphs have second fundamental form of constant norm. We prove that a minimal submersion from $S^3$ to $S^2$ whose Gauss map satisfies a suitable pinching condition must be weakly conformal and with totally geodesic fibers. As a consequence, we obtain that an equivariant minimal submersion from $S^3$ to $S^2$ coincides with the Hopf fibration. Furthermore, we prove that a minimal map $f:S^3 \to S^2$ with constant singular values and constant norm of the second fundamental form is either constant or, up to isometries, coincides with the Hopf fibration.


title: Matching Function Equilibria with Partial Assignment: Existence, Uniqueness and Estimation

abstract: We argue that models coming from a variety of fields, such as matching models and discrete choice models among others, share a common structure that we call matching function equilibria with partial assignment. This structure includes an aggregate matching function and a system of nonlinear equations. We provide a proof of existence and uniqueness of an equilibrium and propose an efficient algorithm to compute it. For a subclass of matching models, we also develop a new parameter-free approach for constructing the counterfactual matching equilibrium. It has the advantage of not requiring parametric estimation when computing counterfactuals. We use our procedure to analyze the impact of the elimination of the Social Security Student Benefit Program in 1982 on the marriage market in the United States. We estimate several candidate models from our general class of matching functions and select the best fitting model using information based criterion.


title: Tracing non-Abelian anyons via impurity particles

abstract: Non-Abelian excitations are an interesting feature of many fractional quantum Hall phases, including those phases described by the Moore-Read (or Pfaffian) wave function. However, the detection of the non-Abelian quasiparticles is challenging. Here, we consider a system described by the Moore-Read wave function, and assume that impurity particles bind to its quasiholes. Then, the angular momentum of the impurities, reflected also by the impurity density, provides a useful witness of the physics of the non-Abelian excitations. By demanding that the impurities are constrained to the lowest Landau level, we are able to write down the corresponding many-body wave function describing both the Moore-Read liquid and the impurities. Through Monte Carlo sampling we determine the impurity angular momentum, and we show that it suggests a quantum-statistical parameter $\alpha = a\nu -b +P/2$ for the quasiholes, where $\alpha$ ranges from $0$ for bosons to $1$ for fermions. A reasonable agreement with the Monte Carlo results is obtained for $a=1/4$, $b=1/8$ and $P=0,1$ depending on the parity of the particle number in the Moore-Read liquid. This parity-dependence of the angular momentum serves as an unambiguous demonstration of the non-Abelian nature of the excitations. In addition to the studies of excitations in the Moore-Read liquid, we also apply our scheme to Laughlin liquids, for which we focus on interacting bosonic impurities. With this, the impurities themselves form Laughlin states, which allows for a study of hierarchical fractional quantum Hall states.

categories: cond-mat.mes-hall cond-mat.quant-gas cond-mat.str-el quant-ph


title: Liouville's theorems to quasilinear differential inequalities involving gradient nonlinearity term on manifolds

abstract: We investigate the nonexistence and existence of nontrivial positive solutions to $\Delta_m u+u^p|\nabla u|^q\leq0$ on noncompact geodesically complete Riemannian manifolds, where $m>1$, and $(p,q)\in \mathbb{R}^2$. According to classification of $(p, q)$, we establish different volume growth conditions to obtain Liouville's theorems for the above quasilinear differential inequalities, and we also show these volume growth conditions are sharp in most cases. Moreover, the results are completely new for $(p, q)$ of negative pair, even in the Euclidean space.


title: Data Generation Using Pass-phrase-dependent Deep Auto-encoders for Text-Dependent Speaker Verification

abstract: In this paper, we propose a novel method that trains pass-phrase specific deep neural network (PP-DNN) based auto-encoders for creating augmented data for text-dependent speaker verification (TD-SV). Each PP-DNN auto-encoder is trained using the utterances of a particular pass-phrase available in the target enrollment set with two methods: (i) transfer learning and (ii) training from scratch. Next, feature vectors of a given utterance are fed to the PP-DNNs and the output from each PP-DNN at frame-level is considered one new set of generated data. The generated data from each PP-DNN is then used for building a TD-SV system in contrast to the conventional method that considers only the evaluation data available. The proposed approach can be considered as the transformation of data to the pass-phrase specific space using a non-linear transformation learned by each PP-DNN. The method develops several TD-SV systems with the number equal to the number of PP-DNNs separately trained for each pass-phrases for the evaluation. Finally, the scores of the different TD-SV systems are fused for decision making. Experiments are conducted on the RedDots challenge 2016 database for TD-SV using short utterances. Results show that the proposed method improves the performance for both conventional cepstral feature and deep bottleneck feature using both Gaussian mixture model - universal background model (GMM-UBM) and i-vector framework.


title: Infrared Spectropolarimetric Detection of Intrinsic Polarization from a Core-Collapse Supernova

abstract: Massive stars die an explosive death as a core-collapse supernova (CCSN). The exact physical processes that cause the collapsing star to rebound into an explosion are not well-understood, and the key in resolving this issue may lie in the measurement of the shape of CCSNe ejecta. Spectropolarimetry is the only way to perform this measurement for CCSNe outside of the Milky Way and Magellanic Clouds. We present an infrared (IR) spectropolarimetric detection of a CCSN, enabled by the new highly sensitive WIRC+Pol instrument at Palomar Observatory, that can observe CCSNe (M = -17 mags) out to 20 Mpc to ~0.1% polarimetric precision. IR spectropolarimetry is less affected than optical by dust scattering in the circumstellar and interstellar media, thereby providing a more unbiased probe of the intrinsic geometry of the SN ejecta. SN 2018hna, a SN 1987A-like explosion, shows 2.0+-0.3% continuum polarization in the J band oriented at ~160 degree on-sky at 182 d after the explosion. Assuming prolate geometry like in SN 1987A, we infer an ejecta axis ratio of <0.48 with the axis of symmetry pointing at 70 degree position angle. The axis ratio is similar to that of SN 1987A suggesting that they may share intrinsic geometry and inclination angle. Our data do not rule out oblate ejecta. We also observe one other core-collapse and two thermonuclear SNe in the J band. SN 2020oi, a stripped-envelope Type Ic SN in Messier 100 has p = 0.37+-0.09% at peak light, indicative of either a 10% asymmetry or host interstellar polarization. The SNe Ia, 2019ein and 2020ue have p < 0.33% and < 1.08% near peak light, indicative of asymmetries of less than 10% and 20%, respectively.


title: An adjunction inequality for the Bauer-Furuta type invariants, with applications to sliceness and 4-manifold topology

abstract: Our main result gives an adjunction inequality for embedded surfaces in certain $4$-manifolds with contact boundary under a non-vanishing assumption on the Bauer--Furuta type invariants. Using this, we give infinitely many knots in $S^3$ that are not smoothly H-slice (that is, bounding a null-homologous disk) in many $4$-manifolds but they are topologically H-slice. In particular, we give such knots in the boundaries of the punctured elliptic surfaces $E(2n)$. In addition, we give obstructions to codimension-0 orientation-reversing embedding of weak symplectic fillings with $b_3=0$ into closed symplectic 4-manifolds with $b_1=0$ and $b_2^+\equiv 3$ mod $4$. From here we prove a Bennequin type inequality for symplectic caps of $(S^3,\xi_{std})$. We also show that any weakly symplectically fillable $3$-manifold bounds a $4$-manifold with at least two smooth structures.


title: A Bayesian approach for extracting free energy profiles from cryo-electron microscopy experiments using a path collective variable

abstract: Cryo-electron microscopy (cryo-EM) extracts single-particle density projections of individual biomolecules. Although cryo-EM is widely used for 3D reconstruction, due to its single-particle nature, it has the potential to provide information about the biomolecule's conformational variability and underlying free energy landscape. However, treating cryo-EM as a single-molecule technique is challenging because of the low signal-to-noise ratio (SNR) in the individual particles. In this work, we developed the cryo-BIFE method, cryo-EM Bayesian Inference of Free Energy profiles, that uses a path collective variable to extract free energy profiles and their uncertainties from cryo-EM images. We tested the framework over several synthetic systems, where we controlled the imaging parameters and conditions. We found that for realistic cryo-EM environments and relevant biomolecular systems, it is possible to recover the underlying free energy, with the pose accuracy and SNR as crucial determinants. Then, we used the method to study the conformational transitions of a calcium-activated channel with real cryo-EM particles. Interestingly, we recover the most probable conformation (used to generate a high resolution reconstruction of the calcium-bound state), and we find two additional meta-stable states, one which corresponds to the calcium-unbound conformation. As expected for turnover transitions within the same sample, the activation barriers are of the order of a couple $k_BT$. Extracting free energy profiles from cryo-EM will enable a more complete characterization of the thermodynamic ensemble of biomolecules.


title: Multi-UAV Mobile Edge Computing and Path Planning Platform based on Reinforcement Learning

abstract: Unmanned Aerial vehicles (UAVs) are widely used as network processors in mobile networks, but more recently, UAVs have been used in Mobile Edge Computing as mobile servers. However, there are significant challenges to use UAVs in complex environments with obstacles and cooperation between UAVs. We introduce a new multi-UAV Mobile Edge Computing platform, which aims to provide better Quality-of-Service and path planning based on reinforcement learning to address these issues. The contributions of our work include: 1) optimizing the quality of service for mobile edge computing and path planning in the same reinforcement learning framework; 2) using a sigmoid-like function to depict the terminal users' demand to ensure a higher quality of service; 3) applying synthetic considerations of the terminal users' demand, risk and geometric distance in reinforcement learning reward matrix to ensure the quality of service, risk avoidance, and the cost-savings. Simulations have shown the effectiveness and feasibility of our platform, which can help advance related researches.


title: Federated Learning on Non-IID Data Silos: An Experimental Study

abstract: Due to the increasing privacy concerns and data regulations, training data have been increasingly fragmented, forming distributed databases of multiple "data silos" (e.g., within different organizations and countries). To develop effective machine learning services, there is a must to exploit data from such distributed databases without exchanging the raw data. Recently, federated learning (FL) has been a solution with growing interests, which enables multiple parties to collaboratively train a machine learning model without exchanging their local data. A key and common challenge on distributed databases is the heterogeneity of the data distribution among the parties. The data of different parties are usually non-independently and identically distributed (i.e., non-IID). There have been many FL algorithms to address the learning effectiveness under non-IID data settings. However, there lacks an experimental study on systematically understanding their advantages and disadvantages, as previous studies have very rigid data partitioning strategies among parties, which are hardly representative and thorough. In this paper, to help researchers better understand and study the non-IID data setting in federated learning, we propose comprehensive data partitioning strategies to cover the typical non-IID data cases. Moreover, we conduct extensive experiments to evaluate state-of-the-art FL algorithms. We find that non-IID does bring significant challenges in learning accuracy of FL algorithms, and none of the existing state-of-the-art FL algorithms outperforms others in all cases. Our experiments provide insights for future studies of addressing the challenges in "data silos".


title: Top-down Discourse Parsing via Sequence Labelling

abstract: We introduce a top-down approach to discourse parsing that is conceptually simpler than its predecessors (Kobayashi et al., 2020; Zhang et al., 2020). By framing the task as a sequence labelling problem where the goal is to iteratively segment a document into individual discourse units, we are able to eliminate the decoder and reduce the search space for splitting points. We explore both traditional recurrent models and modern pre-trained transformer models for the task, and additionally introduce a novel dynamic oracle for top-down parsing. Based on the Full metric, our proposed LSTM model sets a new state-of-the-art for RST parsing.


title: On a Family of Twisted Trace Curves over Finite Fields, and Fibonacci Numbers

abstract: We present some results about the number of rational points on a certain family of curves defined over a finite field. In a small number of cases the curves have more rational points than expected. Fibonacci numbers make an appearance, as do cyclotomic polynomials.


title: Radial structure and formation of the Milky Way disc

abstract: The formation of the Galactic disc is an enthusiastically debated issue. Numerous studies and models seek to identify the dominant physical process(es) that shaped its observed properties. Taking advantage of the improved coverage of the inner Milky Way provided by the SDSS DR16 APOGEE catalogue and of the ages published in the APOGEE-AstroNN Value Added Catalogue (VAC), we examine the radial evolution of the chemical and age properties of the Galactic stellar disc, with the aim to better constrain its formation. Using a sample of 199,307 giant stars with precise APOGEE abundances and APOGEE-astroNN ages, selected in a +/-2 kpc layer around the galactic plane, we assess the dependency with guiding radius of: (i) the median metallicity, (ii) the ridge lines of the [Fe/H]-[Mg/Fe] and age-[Mg/Fe] distributions and (iii) the Age Distribution Function (ADF). The giant star sample allows us to probe the radial behaviour of the Galactic disc from Rg = 0 to 14-16 kpc. The thick disc [Fe/H]-[Mg/Fe] ridge lines follow closely grouped parallel paths, supporting the idea that the thick disc did form from a well-mixed medium. However, the ridge lines present a small drift in [Mg/Fe], which decreases with increasing guiding radius. At sub-solar metallicity, the intermediate and outer thin disc [Fe/H]-[Mg/Fe] ridge lines follow parallel sequences shifted to lower metallicity as the guiding radius increases. We interpret this pattern, as the signature of a dilution of the inter-stellar medium from Rg~6 kpc to the outskirt of the disc, which occured before the onset of the thin disc formation. The APOGEE-AstroNN VAC provides stellar ages for statistically significant samples of thin disc stars from the Galactic centre up to Rg~14 kpc. An important result provided by this dataset, is that the thin disc presents evidence of an inside-out formation up to R_g~10-12 kpc.(Abridged)


title: Effects of global monopole on critical behaviors and microstructure of charged AdS black holes

abstract: As an intriguing topological defect, global monopole's influence on behaviors of black holes has always been anticipated but still remains less clear. Analyzing the thermodynamics of charged AdS black hole incorporating a global monopole manifests that the black hole undergoes a first-order phase transition at critical point, and of special interest, the critical behaviors qualitatively resemble a Van der Waals liquid-gas system. This paper concentrates on further investigating the charged AdS black hole with a global monopole, aiming at clarifying the significant effects of the global monopole on criticality and microstructure of charged AdS black holes. An interesting dependence on the internal global monopole can be witnessed intuitively by employing contrastive illustrations.


title: Thin Film Growth of Phase-Separating Phthalocyanine-Fullerene Blends: A Combined Experimental and Computational Study

abstract: Blended organic thin films have been studied during the last decades due to their applicability in organic solar cells. Although their optical and electronic features have been examined intensively, there is still lack of detailed knowledge about their growth processes and resulting morphologies, which play a key role for the efficiency of optoelectronic devices such as organic solar cells. In this study, pure and blended thin films of copper phthalocyanine (CuPc) and the Buckminster fullerene (C60) were grown by vacuum deposition onto a native silicon oxide substrate at two different substrate temperatures, 310 K and 400 K. The evolution of roughness was followed by in-situ real-time X-ray reflectivity. Crystal orientation, island densities and morphology were examined after the growth by X-ray diffraction experiments and microscopy techniques. The formation of a smooth wetting layer followed by rapid roughening was found in pure CuPc thin films, whereas C60 shows a fast formation of distinct islands at a very early stage of growth. The growth of needle-like CuPc crystals loosing their alignment with the substrate was identified in co-deposited thin films. Furthermore, the data demonstrates that structural features become larger and more pronounced and that the island density decreases by a factor of four when going from 310 K to 400 K. Finally, the key parameters roughness and island density were well reproduced on a smaller scale by kinetic Monte-Carlo simulations of a generic, binary lattice model with simple nearest-neighbor interaction energies.


title: On the Nature of Propagating Intensity Disturbances in Polar Plumes during the 2017 Total Solar Eclipse

abstract: The propagating intensity disturbances (PIDs) in plumes are still poorly understood and their identity (magnetoacoustic waves or flows) remains an open question. We investigate PIDs in five plumes located in the northern polar coronal hole observed during the 2017 total solar eclipse. Three plumes are associated with coronal bright points, jets and macrospicules at their base (active plumes) and the other two plumes are not (quiet plumes). The electron temperature at the base of the plumes is obtained from the filter ratio of images taken with the X-ray Telescope on board Hinode and the passband ratio around 400 nm from an eclipse instrument, the Diagnostic Coronagraph Experiment (DICE). The phase speed (v_r), frequency (omega), and wavenumber (k) of the PIDs in the plumes are obtained by applying a Fourier transformation to the space-time (r-t plane) plots in images taken with the Atmospheric Imaging Assembly (AIA) in three different wavelength channels (171 A, 193 A, and 211 A). We found that the PIDs in the higher temperature AIA channels, 193 and 211 A, are faster than that of the cooler AIA 171 A channel. This tendency is more significant for the active plumes than the quiet ones. The observed speed ratio (~1.3) between the AIA 171 and 193 A channels is similar to the theoretical value (1.25) of a slow magnetoacoustic wave. Our results support the idea that PIDs in plumes represent a superposition of slow magnetoacoustic waves and plasma outflows that consist of dense cool flows and hot coronal jets.


title: Focusing Knowledge-based Graph Argument Mining via Topic Modeling

abstract: Decision-making usually takes five steps: identifying the problem, collecting data, extracting evidence, identifying pro and con arguments, and making decisions. Focusing on extracting evidence, this paper presents a hybrid model that combines latent Dirichlet allocation and word embeddings to obtain external knowledge from structured and unstructured data. We study the task of sentence-level argument mining, as arguments mostly require some degree of world knowledge to be identified and understood. Given a topic and a sentence, the goal is to classify whether a sentence represents an argument in regard to the topic. We use a topic model to extract topic- and sentence-specific evidence from the structured knowledge base Wikidata, building a graph based on the cosine similarity between the entity word vectors of Wikidata and the vector of the given sentence. Also, we build a second graph based on topic-specific articles found via Google to tackle the general incompleteness of structured knowledge bases. Combining these graphs, we obtain a graph-based model which, as our evaluation shows, successfully capitalizes on both structured and unstructured data.


title: PARAFAC2 AO-ADMM: Constraints in all modes

abstract: The PARAFAC2 model provides a flexible alternative to the popular CANDECOMP/PARAFAC (CP) model for tensor decompositions. Unlike CP, PARAFAC2 allows factor matrices in one mode (i.e., evolving mode) to change across tensor slices, which has proven useful for applications in different domains such as chemometrics, and neuroscience. However, the evolving mode of the PARAFAC2 model is traditionally modelled implicitly, which makes it challenging to regularise it. Currently, the only way to apply regularisation on that mode is with a flexible coupling approach, which finds the solution through regularised least-squares subproblems. In this work, we instead propose an alternating direction method of multipliers (ADMM)-based algorithm for fitting PARAFAC2 and widen the possible regularisation penalties to any proximable function. Our numerical experiments demonstrate that the proposed ADMM-based approach for PARAFAC2 can accurately recover the underlying components from simulated data while being both computationally efficient and flexible in terms of imposing constraints.


title: Investigating Critical Risk Factors in Liver Cancer Prediction

abstract: We exploit liver cancer prediction model using machine learning algorithms based on epidemiological data of over 55 thousand peoples from 2014 to the present. The best performance is an AUC of 0.71. We analyzed model parameters to investigate critical risk factors that contribute the most to prediction.


title: Tutte polynomials of fan-like graphs with applications in benzenoid systems

abstract: We study the computation of the Tutte polynomials of fan-like graphs and obtain expressions of their Tutte polynomials via generating functions. As applications, Tutte polynomials, in particular, the number of spanning trees, of two kinds of benzenoid systems, i.e. pyrene chains and triphenylene chains, are obtained.


title: Uncertain Time Series Classification With Shapelet Transform

abstract: Time series classification is a task that aims at classifying chronological data. It is used in a diverse range of domains such as meteorology, medicine and physics. In the last decade, many algorithms have been built to perform this task with very appreciable accuracy. However, applications where time series have uncertainty has been under-explored. Using uncertainty propagation techniques, we propose a new uncertain dissimilarity measure based on Euclidean distance. We then propose the uncertain shapelet transform algorithm for the classification of uncertain time series. The large experiments we conducted on state of the art datasets show the effectiveness of our contribution. The source code of our contribution and the datasets we used are all available on a public repository.


title: Estimation of parameters of the logistic exponential distribution under progressive type-I hybrid censored sample

abstract: The paper addresses the problem of estimation of the model parameters of the logistic exponential distribution based on progressive type-I hybrid censored sample. The maximum likelihood estimates are obtained and computed numerically using Newton-Raphson method. Further, the Bayes estimates are derived under squared error, LINEX and generalized entropy loss functions. Two types (independent and bivariate) of prior distributions are considered for the purpose of Bayesian estimation. It is seen that the Bayes estimates are not of explicit forms.Thus, Lindley's approximation technique is employed to get approximate Bayes estimates. Interval estimates of the parameters based on normal approximate of the maximum likelihood estimates and normal approximation of the log-transformed maximum likelihood estimates are constructed. The highest posterior density credible intervals are obtained by using the importance sampling method. Furthermore, numerical computations are reported to review some of the results obtained in the paper. A real life dataset is considered for the purpose of illustrations.


title: On the splitting conjecture in the hybrid model for the Riemann zeta function

abstract: We show that the splitting conjecture in the hybrid model of Gonek--Hughes--Keating holds to order on the Riemann hypothesis. Our results are valid in a larger range of the parameter $X$ which mediates between the partial Euler and Hadamard products. We also show that the asymptotic splitting conjecture holds for this larger range of $X$ in the cases of the second and fourth moments.


title: Analysis of trophic networks: an optimisation approach

abstract: We introduce a methodology to study the possible matter flows of an ecosystem defined by observational biomass data and realistic biological constraints. The flows belong to a polyhedron in a multi dimensional space making statistical exploration difficult in practice; instead, we propose to solve a convex optimization problem. Five criteria corresponding to ecological network indices have been selected to be used as convex goal functions. Numerical results show that the method is fast and can be used for large systems. Minimum flow solutions are analyzed using flow decomposition in paths and circuits. Their consistency is also tested by introducing a system of differential equations for the biomasses and examining the stability of the biomass fixed point. The method is illustrated and explained throughout the text on an ecosystem toy model. It is also applied to realistic food models.


title: What Do We See in Them? Identifying Dimensions of Partner Models for Speech Interfaces Using a Psycholexical Approach

abstract: Perceptions of system competence and communicative ability, termed partner models, play a significant role in speech interface interaction. Yet we do not know what the core dimensions of this concept are. Taking a psycholexical approach, our paper is the first to identify the key dimensions that define partner models in speech agent interaction. Through a repertory grid study (N=21), a review of key subjective questionnaires, an expert review of resulting word pairs and an online study of 356 user of speech interfaces, we identify three key dimensions that make up a users' partner model: 1) perceptions toward competence and capability; 2) assessment of human-likeness; and 3) a system's perceived cognitive flexibility. We discuss the implications for partner modelling as a concept, emphasising the importance of salience and the dynamic nature of these perceptions.


title: Stabilization of higher order Schr\"odinger equations on a finite interval: Part II

abstract: Backstepping based controller and observer models were designed for higher order linear and nonlinear Schr\"odinger equations on a finite interval in Part I of this study where the controller was assumed to be acting from the left endpoint of the medium. In this companion paper, we further the analysis by considering boundary controller(s) acting at the right endpoint of the domain. It turns out that the problem is more challenging in this scenario as the associated boundary value problem for the backstepping kernel becomes overdetermined and lacks a smooth solution. The latter is essential to switch back and forth between the original plant and the so called target system. To overcome this difficulty we rely on the strategy of using an imperfect kernel, namely one of the boundary conditions in kernel PDE model is disregarded. The drawback is that one loses rapid stabilization in comparison with the left endpoint controllability. Nevertheless, the exponential decay of the $L^2$-norm with a certain rate still holds. The observer design is associated with new challenges from the point of view of wellposedness and one has to prove smoothing properties for an associated initial boundary value problem with inhomogeneous boundary data. This problem is solved by using Laplace transform in time. However, the Bromwich integral that inverts the transformed solution is associated with certain analyticity issues which are treated through a subtle analysis. Numerical algorithms and simulations verifying the theoretical results are given.


title: Learning to Select External Knowledge with Multi-Scale Negative Sampling

abstract: The Track-1 of DSTC9 aims to effectively answer user requests or questions during task-oriented dialogues, which are out of the scope of APIs/DB. By leveraging external knowledge resources, relevant information can be retrieved and encoded into the response generation for these out-of-API-coverage queries. In this work, we have explored several advanced techniques to enhance the utilization of external knowledge and boost the quality of response generation, including schema guided knowledge decision, negatives enhanced knowledge selection, and knowledge grounded response generation. To evaluate the performance of our proposed method, comprehensive experiments have been carried out on the publicly available dataset. Our approach was ranked as the best in human evaluation of DSTC9 Track-1.


title: Evolutionary search for cobalt-rich compounds in the yttrium-cobalt-boron system

abstract: Modern high-performance permanent magnets are made from alloys of rare earth and transition metal elements, and large magnetization is achieved in the alloys with high concentration of transition metals. We applied evolutionary search scheme based on first-principles calculations to the Y-Co-B system and predicted 37 cobalt-rich compounds with high probability of being stable. Focusing on remarkably cobalt-rich compounds, YCo$_{16}$ and YCo$_{20}$, we found that, although they are metastable phases, the phase stability is increased with increase of temperature due to the contribution of vibrational entropy. The magnetization and Curie temperature are higher by 0.22 T and 204 K in YCo$_{16}$ and by 0.29 T and 204 K in YCo$_{20}$ than those of Y$_{2}$Co$_{17}$ which has been well studied as strong magnetic compounds.


title: Lost in the Log-Polynomial Expansion: Comment on arXiv:2101.08278

abstract: In [1] we highlighted the fact that the log polynomial expansion employed in Nature Astron. 3, no.3, 272-277 (2019) [2] is a poor approximation to flat $\Lambda$CDM, so using it to infer deviations from flat $\Lambda$CDM is not well-motivated. The "orthogonalized logarithmic polynomials" recently presented in arXiv:2101.08278 [3] are an attempt to respond to the earlier criticism [1]. Here we demonstrate that this new technique [3] - interesting though it may be - fails to address the fundamental problem raised in [1]. Unfortunately, the claim made in [2] may still be lost in the expansion.


title: Quadratic Signaling Games with Channel Combining Ratio

abstract: In this study, Nash and Stackelberg equilibria of single-stage and multi-stage quadratic signaling games between an encoder and a decoder are investigated. In the considered setup, the objective functions of the encoder and the decoder are misaligned, there is a noisy channel between the encoder and the decoder, the encoder has a soft power constraint, and the decoder has also noisy observation of the source to be estimated. We show that there exist only linear encoding and decoding strategies at the Stackelberg equilibrium, and derive the equilibrium strategies and costs. Regarding the Nash equilibrium, we explicitly characterize affine equilibria for the single-stage setup and show that the optimal encoder (resp. decoder) is affine for an affine decoder (resp. encoder) for the multi-stage setup. For the decoder side, between the information coming from the encoder and noisy observation of the source, our results describe what should be the combining ratio of these two channels. Regarding the encoder, we derive the conditions under which it is meaningful to transmit a message.


title: Object and Relation Centric Representations for Push Effect Prediction

abstract: Pushing is an essential non-prehensile manipulation skill used for tasks ranging from pre-grasp manipulation to scene rearrangement, reasoning about object relations in the scene, and thus pushing actions have been widely studied in robotics. The effective use of pushing actions often requires an understanding of the dynamics of the manipulated objects and adaptation to the discrepancies between prediction and reality. For this reason, effect prediction and parameter estimation with pushing actions have been heavily investigated in the literature. However, current approaches are limited because they either model systems with a fixed number of objects or use image-based representations whose outputs are not very interpretable and quickly accumulate errors. In this paper, we propose a graph neural network based framework for effect prediction and parameter estimation of pushing actions by modeling object relations based on contacts or articulations. Our framework is validated both in real and simulated environments containing different shaped multi-part objects connected via different types of joints and objects with different masses, and it outperforms image-based representations on physics prediction. Our approach enables the robot to predict and adapt the effect of a pushing action as it observes the scene. It can also be used for tool manipulation with never-seen tools. Further, we demonstrate 6D effect prediction in the lever-up action in the context of robot-based hard-disk disassembly.


title: $2\times2$ block representations of the Moore-Penrose inverse and orthogonal projection matrices

abstract: In this paper, new block representations of Moore-Penrose inverses for arbitrary complex $2\times2$ block matrices are given. The approach is based on block representations of orthogonal projection matrices.


title: An example regarding Kalton's paper "Isomorphisms between spaces of vector-valued continuous functions"

abstract: The paper alluded to in the title contains the following striking result: Let $I$ be the unit interval and $\Delta$ the Cantor set. If $X$ is a quasi Banach space containing no copy of $c_0$ which is isomorphic to a closed subspace of a space with a basis and $C(I, X)$ is linearly homeomorphic to $C(\Delta, X)$, then $X$ is locally convex, i.e., a Banach space. It is shown that Kalton result is sharp by exhibiting non locally convex quasi Banach spaces X with a basis for which $C(I, X)$ and $C(\Delta, X)$ are isomorphic. Our examples are rather specific and actually in all cases X is isomorphic to $C(\Delta, X)$ if $K$ is a metric compactum of finite covering dimension.


title: Hypergraphs with many extremal configurations

abstract: For every positive integer $t$ we construct a finite family of triple systems ${\mathcal M}_t$, determine its Tur\'{a}n number, and show that there are $t$ extremal ${\mathcal M}_t$-free configurations that are far from each other in edit-distance. We also prove a strong stability theorem: every ${\mathcal M}_t$-free triple system whose size is close to the maximum size is a subgraph of one of these $t$ extremal configurations after removing a small proportion of vertices. This is the first stability theorem for a hypergraph problem with an arbitrary (finite) number of extremal configurations. Moreover, the extremal hypergraphs have very different shadow sizes (unlike the case of the famous Tur\'an tetrahedron conjecture). Hence a corollary of our main result is that the boundary of the feasible region of ${\mathcal M}_t$ has exactly $t$ global maxima.


title: The size of a stratifying system can be arbitrarily large

abstract: In this short note we construct two families of examples of large stratifying systems in module categories of algebras. The first examples consists on stratifying systems of infinite size in the module category of an algebra $A$. In the second family of examples we show that the size of a finite stratifying system in the module category of a finite dimensional algebra $A$ can be arbitrarily large in comparison to the number of isomorphism classes of simple $A$-modules. We note that both families of examples are built using well-established results in higher homological algebra.


title: On weighted Compactness of Commutator of semi-group maximal function associated to Schr\"odinger operators

abstract: Let $\mathcal{T}^*$ be the semi-group maximal function associated to the Schr\"odinger operator $-\Delta+V(x)$ with $V$ satisfying an appropriate reverse H\"{o}lder inequality. In this paper, we show that the commutator of $\mathcal{T}^*$ is a compact operator on $L^p(w)$ for $1<p<\infty$ if $b\in \text{CMO}_\theta(\rho)(\mathbb{R}^n)$ and $w\in A_p^{\rho,\theta}(\mathbb{R}^n)$. Here $\text{ CMO}_\theta(\rho)(\mathbb{R}^n)$ denotes the closure of $\mathcal{C}_c^\infty(\mathbb{R}^n)$ in the $\text{BMO}_\theta(\rho)(\mathbb{R}^n)$ (which is larger than the classical $\text{BMO}(\mathbb{R}^n)$ space) topology. The space where $b$ belongs and the weighs class $w$ belongs are more larger than the usual $\text{CMO}(\mathbb{R}^n)$ space and the Muckenhoupt $A_p$ weights class, respectively.


title: On Geometric Fourier Particle In Cell Methods

abstract: In this article we describe a unifying framework for variational electromagnetic particle schemes of spectral type, and we propose a novel spectral Particle-In-Cell (PIC) scheme that preserves a discrete Hamiltonian structure. Our work is based on a new abstract variational derivation of particle schemes which builds on a de Rham complex where Low's Lagrangian is discretized using a particle approximation of the distribution function. In this framework, which extends the recent Finite Element based Geometric Electromagnetic PIC (GEMPIC) method to a variety of field solvers, the discretization of the electromagnetic potentials and fields is represented by a de Rham sequence of compatible spaces, and the particle-field coupling procedure is described by approximation operators that commute with the differential operators in the sequence. In particular, for spectral Maxwell solvers the choice of truncated $L^2$ projections using continuous Fourier transform coefficients for the commuting approximation operators yields the gridless Particle-in-Fourier method, whereas spectral Particle-in-Cell methods are obtained by using discrete Fourier transform coefficients computed from a grid. By introducing a new sequence of spectral pseudo-differential approximation operators, we then obtain a novel variational spectral PIC method with discrete Hamiltonian structure that we call Fourier-GEMPIC. Fully discrete schemes are then derived using a Hamiltonian splitting procedure, leading to explicit time steps that preserve the Gauss laws and the discrete Poisson bracket associated with the Hamiltonian structure. These explicit steps share many similarities with standard spectral PIC methods. As arbitrary filters are allowed in our framework, we also discuss aliasing errors and study a natural back-filtering procedure to mitigate the damping caused by anti-aliasing smoothing particle shapes.


title: Femtomolar Biodetection by a Compact Core-Shell 3D Chiral Metamaterial

abstract: Highly sensitive and selective label free devices for real-time identification of specific biomarkers are expected to significantly impact the biosensing field. The ability of plasmonic systems to confine the light in nanometer volume and to manipulate it by tuning the size, shape and material features of the nanostructures, makes these systems promising candidates for biomedical devices. In this work we demonstrate the engineered sensing capabilities of a compact array of 3D metal dielectric core-shell chiral metamaterial. The intrinsic chirality of the nano-helices makes the system circular polarization dependent and unaffected by the background interferences, allowing to work even in complex environment. The core-shell architecture enhances the sensing properties of the chiral metamaterial on both in the far and near field, offering also a large surface to molecular immobilization. With our system we recorded sensitivity of about 800nm/RIU and FOM= 1276 RIU-1. The sensing abilities of the system is demonstrated with the detection of the of the TAR DNA-binding protein 43 (TDP-43) , a critical biomarker for the screening of neurodegenerative diseases. In particular, the sensor was tested in different environments, such as human serum, with concentrations ranging from 1pM down to 10fM, opening new perspectives for novel diagnostic tools.


title: Deformable active nematic particles and emerging edge currents in circular confinements

abstract: We consider a microscopic field theoretical approach for interacting active nematic particles. With only steric interactions the self-propulsion strength in such systems can lead to different collective behaviour, e.g., synchronized self-spinning and collective translation. The different behaviour results from the delicate interplay between internal nematic structure, particle shape deformation and particle-particle interaction. For intermediate active strength an asymmetric shape emerges and leads to chirality and self-spinning crystals. For larger active strength the shape is symmetric and translational collective motion emerges. Within circular confinements, depending on the packing fraction, the self-spinning regime either stabilizes positional and orientational order or can lead to edge currents and global rotation which destroys the synchronized self-spinning crystalline structure.


title: Compact Native Code Generation for Dynamic Languages on Micro-core Architectures

abstract: Micro-core architectures combine many simple, low memory, low power-consuming CPU cores onto a single chip. Potentially providing significant performance and low power consumption, this technology is not only of great interest in embedded, edge, and IoT uses, but also potentially as accelerators for data-center workloads. Due to the restricted nature of such CPUs, these architectures have traditionally been challenging to program, not least due to the very constrained amounts of memory (often around 32KB) and idiosyncrasies of the technology. However, more recently, dynamic languages such as Python have been ported to a number of micro-cores, but these are often delivered as interpreters which have an associated performance limitation. Targeting the four objectives of performance, unlimited code-size, portability between architectures, and maintaining the programmer productivity benefits of dynamic languages, the limited memory available means that classic techniques employed by dynamic language compilers, such as just-in-time (JIT), are simply not feasible. In this paper we describe the construction of a compilation approach for dynamic languages on micro-core architectures which aims to meet these four objectives, and use Python as a vehicle for exploring the application of this in replacing the existing micro-core interpreter. Our experiments focus on the metrics of performance, architecture portability, minimum memory size, and programmer productivity, comparing our approach against that of writing native C code. The outcome of this work is the identification of a series of techniques that are not only suitable for compiling Python code, but also applicable to a wide variety of dynamic languages on micro-cores.


title: Learning to Match Mathematical Statements with Proofs

abstract: We introduce a novel task consisting in assigning a proof to a given mathematical statement. The task is designed to improve the processing of research-level mathematical texts. Applying Natural Language Processing (NLP) tools to research level mathematical articles is both challenging, since it is a highly specialized domain which mixes natural language and mathematical formulae. It is also an important requirement for developing tools for mathematical information retrieval and computer-assisted theorem proving. We release a dataset for the task, consisting of over 180k statement-proof pairs extracted from mathematical research articles. We carry out preliminary experiments to assess the difficulty of the task. We first experiment with two bag-of-words baselines. We show that considering the assignment problem globally and using weighted bipartite matching algorithms helps a lot in tackling the task. Finally, we introduce a self-attention-based model that can be trained either locally or globally and outperforms baselines by a wide margin.


title: Introduction to Neural Transfer Learning with Transformers for Social Science Text Analysis

abstract: Transformer-based models for transfer learning have the potential to achieve high prediction accuracies on text-based supervised learning tasks with relatively few training data instances. These models are thus likely to benefit social scientists that seek to have as accurate as possible text-based measures but only have limited resources for annotating training data. To enable social scientists to leverage these potential benefits for their research, this paper explains how these methods work, why they might be advantageous, and what their limitations are. Additionally, three Transformer-based models for transfer learning, BERT (Devlin et al. 2019), RoBERTa (Liu et al. 2019), and the Longformer (Beltagy et al. 2020), are compared to conventional machine learning algorithms on three applications. Across all evaluated tasks, textual styles, and training data set sizes, the conventional models are consistently outperformed by transfer learning with Transformers, thereby demonstrating the benefits these models can bring to text-based social science research.


title: New definitions of Alexandrov space and applications

abstract: In this paper we show that, in the definition of Alexandrov spaces with lower or upper curvature bound, the original conditions can be replaced with much weaker ones. For the purpose, we introduce `imaginary' comparison angles (and `imaginary' angles), and the right or left bounded second derivative in the support sense. As applications, we provide new proofs for the Doubling Theorem, and the Globalization Theorem for complete or geodesic Alexandrov spaces with lower curvature bound.


title: Constructing curves of high rank via composite polynomials

abstract: Let $k$ be a number field. We refine a construction of Mestre--Shioda to construct (infinite) families of hyperelliptic curves $X/{k}$ having a record number of rational points and record Mordell--Weil rank relative to the genus of $g$ of $X$. Over $k=\mathbb{Q}$, we obtain modest improvements on the current published records, and these improvements become more significant as $k$ gets larger. For example, we obtain curves over the real cyclotomic field $k = \mathbb{Q}(\cos(\pi/(g+1)))$ having at least $16(g+1)$ $k$-points and rank at least $8g$. The defining equations for the curves are closely related to the classical Chebyshev polynomials, and in special cases, we recover families studied (for example) by Mestre, Shioda, Brumer, and Tautz--Top--Verberkmoes.


title: Detecting Bias in Transfer Learning Approaches for Text Classification

abstract: Classification is an essential and fundamental task in machine learning, playing a cardinal role in the field of natural language processing (NLP) and computer vision (CV). In a supervised learning setting, labels are always needed for the classification task. Especially for deep neural models, a large amount of high-quality labeled data are required for training. However, when a new domain comes out, it is usually hard or expensive to acquire the labels. Transfer learning could be an option to transfer the knowledge from a source domain to a target domain. A challenge is that these two domains can be different, either on the feature distribution, or the class distribution for the nature of the samples. In this work, we evaluate some existing transfer learning approaches on detecting the bias of imbalanced classes including traditional and deep models. Besides, we propose an approach to bridge the gap of the domain class imbalance issue.


title: TEyeD: Over 20 million real-world eye images with Pupil, Eyelid, and Iris 2D and 3D Segmentations, 2D and 3D Landmarks, 3D Eyeball, Gaze Vector, and Eye Movement Types

abstract: We present TEyeD, the world's largest unified public data set of eye images taken with head-mounted devices. TEyeD was acquired with seven different head-mounted eye trackers. Among them, two eye trackers were integrated into virtual reality (VR) or augmented reality (AR) devices. The images in TEyeD were obtained from various tasks, including car rides, simulator rides, outdoor sports activities, and daily indoor activities. The data set includes 2D and 3D landmarks, semantic segmentation, 3D eyeball annotation and the gaze vector and eye movement types for all images. Landmarks and semantic segmentation are provided for the pupil, iris and eyelids. Video lengths vary from a few minutes to several hours. With more than 20 million carefully annotated images, TEyeD provides a unique, coherent resource and a valuable foundation for advancing research in the field of computer vision, eye tracking and gaze estimation in modern VR and AR applications. Download: Just connect via FTP as user TEyeDUser and without password to nephrit.cs.uni-tuebingen.de (ftp://nephrit.cs.uni-tuebingen.de).


title: Infinite Series of Ferrimagnetic Phases Emergent from the Gapless Spin Liquid Phase of Mixed Diamond Chains

abstract: The ground-state phases of mixed diamond chains with ($S, \tau^{(1)}, \tau^{(2)})=(1/2,1/2,1)$, where $S$ is the magnitude of vertex spins, and $\tau^{(1)}$ and $\tau^{(2)}$ are those of apical spins, are investigated. The apical spins $\tau^{(1)}$ and $\tau^{(2)}$ are connected with each other by an exchange coupling $\lambda$. Other exchange couplings are set equal to unity. This model has an infinite number of local conservation laws. For large $\lambda$, the ground state is equivalent to that of the uniform spin $1/2$ chain. Hence, the ground state is a gapless spin liquid. For $\lambda \leq 0$, the ground state is a Lieb-Mattis ferrimagnetic phase with spontaneous magnetization $m_{\rm sp}=1$ per unit cell. For intermediate $\lambda$, we find a series of ferrimagnetic phases with $m_{\rm sp}=1/p$ where $p$ takes positive integer values. The phases with $p \geq 2$ are accompanied by the spontaneous breakdown of the $p$-fold translational symmetry. It is suggested that the phase with arbitrarily large $p$, namely infinitesimal spontaneous magnetization, is allowed as $\lambda$ approaches the transition point to the gapless spin liquid phase.


title: A pro-2 group with full normal Hausdorff spectra

abstract: We construct a $2$-generated pro-$2$ group with full normal Hausdorff spectrum $[0,1]$, with respect to each of the four standard filtration series: the $2$-power series, the lower $2$-series, the Frattini series, and the dimension subgroup series. This answers a question of Klopsch and the second author, for the even prime case; the odd prime case was settled by the first author and Klopsch. Also, our construction gives the first example of a finitely generated pro-$2$ group with full Hausdorff spectrum with respect to the lower $2$-series.


title: Group Consensus of Linear Multi-agent Systems under Nonnegative Directed Graphs

abstract: Group consensus implies reaching multiple groups where agents belonging to the same cluster reach state consensus. This paper focuses on linear multi-agent systems under nonnegative directed graphs. A new necessary and sufficient condition for ensuring group consensus is derived, which requires the spanning forest of the underlying directed graph and that of its quotient graph induced with respect to a clustering partition to contain equal minimum number of directed trees. This condition is further shown to be equivalent to containing cluster spanning trees, a commonly used topology for the underlying graph in the literature. Under a designed controller gain, lower bound of the overall coupling strength for achieving group consensus is specified. Moreover, the pattern of the multiple consensus states formed by all clusters is characterized when the overall coupling strength is large enough.


title: The VIX index under scrutiny of machine learning techniques and neural networks

abstract: The CBOE Volatility Index, known by its ticker symbol VIX, is a popular measure of the market's expected volatility on the SP 500 Index, calculated and published by the Chicago Board Options Exchange (CBOE). It is also often referred to as the fear index or the fear gauge. The current VIX index value quotes the expected annualized change in the SP 500 index over the following 30 days, based on options-based theory and current options-market data. Despite its theoretical foundation in option price theory, CBOE's Volatility Index is prone to inadvertent and deliberate errors because it is weighted average of out-of-the-money calls and puts which could be illiquid. Many claims of market manipulation have been brought up against VIX in recent years. This paper discusses several approaches to replicate the VIX index as well as VIX futures by using a subset of relevant options as well as neural networks that are trained to automatically learn the underlying formula. Using subset selection approaches on top of the original CBOE methodology, as well as building machine learning and neural network models including Random Forests, Support Vector Machines, feed-forward neural networks, and long short-term memory (LSTM) models, we will show that a small number of options is sufficient to replicate the VIX index. Once we are able to actually replicate the VIX using a small number of SP options we will be able to exploit potential arbitrage opportunities between the VIX index and its underlying derivatives. The results are supposed to help investors to better understand the options market, and more importantly, to give guidance to the US regulators and CBOE that have been investigating those manipulation claims for several years.


title: Error mitigation by training with fermionic linear optics

abstract: Noisy intermediate-scale quantum (NISQ) computers could solve quantum-mechanical simulation problems that are beyond the capabilities of classical computers. However, NISQ devices experience significant errors which, if not corrected, can render physical quantities measured in these simulations inaccurate or meaningless. Here we describe a method of reducing these errors which is tailored to quantum algorithms for simulating fermionic systems. The method is based on executing quantum circuits in the model of fermionic linear optics, which are known to be efficiently simulable classically, to infer the relationship between exact and noisy measurement outcomes, and hence undo the effect of noise. We validated our method by applying it to the VQE algorithm for estimating ground state energies of instances of the Fermi-Hubbard model. In classical numerical simulations of 12-qubit examples with physically realistic levels of depolarising noise, errors were reduced by a factor of around 34 compared with the uncorrected case. Smaller experiments on quantum hardware demonstrate an average reduction in errors by a factor of 10 or more.


title: Artificial intelligence applied to bailout decisions in financial systemic risk management

abstract: We describe the bailout of banks by governments as a Markov Decision Process (MDP) where the actions are equity investments. The underlying dynamics is derived from the network of financial institutions linked by mutual exposures, and the negative rewards are associated to the banks' default. Each node represents a bank and is associated to a probability of default per unit time (PD) that depends on its capital and is increased by the default of neighbouring nodes. Governments can control the systemic risk of the network by providing additional capital to the banks, lowering their PD at the expense of an increased exposure in case of their failure. Considering the network of European global systemically important institutions, we find the optimal investment policy that solves the MDP, providing direct indications to governments and regulators on the best way of action to limit the effects of financial crises.


title: A General Coded Caching Scheme for Scalar Linear Function Retrieval

abstract: Coded caching aims to minimize the network's peak-time communication load by leveraging the information pre-stored in the local caches at the users. The original single file retrieval setting by Maddah-Ali and Niesen has been recently extended to general Scalar Linear Function Retrieval (SLFR) by Wan et al., who proposed a linear scheme that surprisingly achieves the same optimal load (under the constraint of uncoded cache placement) as in single file retrieval. This paper's goal is to characterize the conditions under which a general SLFR linear scheme is optimal and gain practical insights into why the specific choices made by Wan et al. work. This paper shows that the optimal decoding coefficients are necessarily the product of two terms, one only involving the encoding coefficients and the other only the demands. In addition, the relationships among the encoding coefficients are shown to be captured by the cycles of certain graphs. Thus, a general linear scheme for SLFR can be found by solving a spanning tree problem.


title: Bayesian Fusion: Scalable unification of distributed statistical analyses

abstract: There has recently been considerable interest in addressing the problem of unifying distributed statistical analyses into a single coherent inference. This problem naturally arises in a number of situations, including in big-data settings, when working under privacy constraints, and in Bayesian model choice. The majority of existing approaches have relied upon convenient approximations of the distributed analyses. Although typically being computationally efficient, and readily scaling with respect to the number of analyses being unified, approximate approaches can have significant shortcomings -- the quality of the inference can degrade rapidly with the number of analyses being unified, and can be substantially biased even when unifying a small number of analyses that do not concur. In contrast, the recent Fusion approach of Dai et al. (2019) is a rejection sampling scheme which is readily parallelisable and is exact (avoiding any form of approximation other than Monte Carlo error), albeit limited in applicability to unifying a small number of low-dimensional analyses. In this paper we introduce a practical Bayesian Fusion approach. We extend the theory underpinning the Fusion methodology and, by embedding it within a sequential Monte Carlo algorithm, we are able to recover the correct target distribution. By means of extensive guidance on the implementation of the approach, we demonstrate theoretically and empirically that Bayesian Fusion is robust to increasing numbers of analyses, and coherently unifying analyses which do not concur. This is achieved while being computationally competitive with approximate schemes.


title: Discretizing Unobserved Heterogeneity

abstract: We study discrete panel data methods where unobserved heterogeneity is revealed in a first step, in environments where population heterogeneity is not discrete. We focus on two-step grouped fixed-effects (GFE) estimators, where individuals are first classified into groups using kmeans clustering, and the model is then estimated allowing for group-specific heterogeneity. Our framework relies on two key properties: heterogeneity is a function - possibly nonlinear and time-varying - of a low-dimensional continuous latent type, and informative moments are available for classification. We illustrate the method in a model of wages and labor market participation, and in a probit model with time-varying heterogeneity. We derive asymptotic expansions of two-step GFE estimators as the number of groups grows with the two dimensions of the panel. We propose a data-driven rule for the number of groups, and discuss bias reduction and inference.


title: Generative deep learning for decision making in gas networks

abstract: A decision support system relies on frequent re-solving of similar problem instances. While the general structure remains the same in corresponding applications, the input parameters are updated on a regular basis. We propose a generative neural network design for learning integer decision variables of mixed-integer linear programming (MILP) formulations of these problems. We utilise a deep neural network discriminator and a MILP solver as our oracle to train our generative neural network. In this article, we present the results of our design applied to the transient gas optimisation problem. With the trained network we produce a feasible solution in 2.5s, use it as a warm-start solution, and thereby decrease global optimal solution solve time by 60.5%.


title: On the Sample Complexity of solving LWE using BKW-Style Algorithms

abstract: The Learning with Errors (LWE) problem receives much attention in cryptography, mainly due to its fundamental significance in post-quantum cryptography. Among its solving algorithms, the Blum-Kalai-Wasserman (BKW) algorithm, originally proposed for solving the Learning Parity with Noise (LPN) problem, performs well, especially for certain parameter settings with cryptographic importance. The BKW algorithm consists of two phases, the reduction phase and the solving phase. In this work, we study the performance of distinguishers used in the solving phase. We show that the Fast Fourier Transform (FFT) distinguisher from Eurocrypt'15 has the same sample complexity as the optimal distinguisher, when making the same number of hypotheses. We also show that it performs much better than theory predicts and introduce an improvement of it called the pruned FFT distinguisher. Finally, we indicate, via extensive experiments, that the sample dependency due to both LF2 and sample amplification is limited.


title: The Pitfall of More Powerful Autoencoders in Lidar-Based Navigation

abstract: The benefit of pretrained autoencoders for reinforcement learning in comparison to training on raw observations is already known [1]. In this paper, we address the generation of a compact and information-rich state representation. In particular, we train a variational autoencoder for 2D-lidar scans to use its latent state for reinforcement learning of navigation tasks. To achieve high reconstruction power of our autoencoding pipeline, we propose an - in the context of autoencoding 2D-lidar scans - novel preprocessing into a local binary occupancy image. This has no additional requirements, neither self-localization nor robust mapping, and therefore can be applied in any setting and easily transferred from simulation in real-world. In a second stage, we show the usage of the compact state representation generated by our autoencoding pipeline in a simplistic navigation task and expose the pitfall that increased reconstruction power will always lead to an improved performance. We implemented our approach in python using tensorflow. Our datasets are simulated with pybullet as well as recorded using a slamtec rplidar A3. The experiments show the significantly improved reconstruction capabilities of our approach for 2D-lidar scans w.r.t. the state of the art. However, as we demonstrate in the experiments the impact on reinforcement learning in lidar-based navigation tasks is non-predictable when improving the latent state representation generated by an autoencoding pipeline. This is surprising and needs to be taken into account during the process of optimizing a pretrained autoencoder for reinforcement learning tasks.


title: IWA: Integrated Gradient based White-box Attacks for Fooling Deep Neural Networks

abstract: The widespread application of deep neural network (DNN) techniques is being challenged by adversarial examples, the legitimate input added with imperceptible and well-designed perturbations that can fool DNNs easily in the DNN testing/deploying stage. Previous adversarial example generation algorithms for adversarial white-box attacks used Jacobian gradient information to add perturbations. This information is too imprecise and inexplicit, which will cause unnecessary perturbations when generating adversarial examples. This paper aims to address this issue. We first propose to apply a more informative and distilled gradient information, namely integrated gradient, to generate adversarial examples. To further make the perturbations more imperceptible, we propose to employ the restriction combination of $L_0$ and $L_1/L_2$ secondly, which can restrict the total perturbations and perturbation points simultaneously. Meanwhile, to address the non-differentiable problem of $L_1$, we explore a proximal operation of $L_1$ thirdly. Based on these three works, we propose two Integrated gradient based White-box Adversarial example generation algorithms (IWA): IFPA and IUA. IFPA is suitable for situations where there are a determined number of points to be perturbed. IUA is suitable for situations where no perturbation point number is preset in order to obtain more adversarial examples. We verify the effectiveness of the proposed algorithms on both structured and unstructured datasets, and we compare them with five baseline generation algorithms. The results show that our proposed algorithms do craft adversarial examples with more imperceptible perturbations and satisfactory crafting rate. $L_2$ restriction is more suitable for unstructured dataset and $L_1$ restriction performs better in structured dataset.


title: The Integration and Testing Program for the Simons Observatory Large Aperture Telescope Optics Tubes

abstract: The Simons Observatory (SO) will be a cosmic microwave background (CMB) survey experiment with three small-aperture telescopes and one large-aperture telescope, which will observe from the Atacama Desert in Chile. In total, SO will field over 60,000 transition-edge sensor (TES) bolometers in six spectral bands centered between 27 and 280 GHz in order to achieve the sensitivity necessary to measure or constrain numerous cosmological quantities, as outlined in The Simons Observatory Collaboration et al. (2019). The 6~m Large Aperture Telescope (LAT), which will target the smaller angular scales of the CMB, utilizes a cryogenic receiver (LATR) designed to house up to 13 individual optics tubes. Each optics tube is comprised of three silicon lenses, IR blocking filters, and three dual-polarization, dichroic TES detector wafers. The scientific objectives of the SO project require these optics tubes to achieve high-throughput optical performance while maintaining exquisite control of systematic effects. We describe the integration and testing program for the SO LATR optics tubes that will verify the design and assembly of the optics tubes before they are shipped to the SO site and installed in the LATR cryostat. The program includes a quick turn-around test cryostat that is used to cool single optics tubes and validate the cryogenic performance and detector readout assembly. We discuss the optical design specifications the optics tubes must meet to be deployed on sky and the suite of optical test equipment that is prepared to measure these requirements.


title: Constraining the surface properties of Helene

abstract: We analyze two sets of observations of Dione's co-orbital satellite Helene taken by Cassini's Composite Infrared Spectrometer (CIRS). The first observation was a CIRS FP3 (600 to 1100cm-1, 9.1 to 16.7 ${\mu}$m) stare of Helene's trailing hemisphere, where two of the ten FP3 pixels were filled. The daytime surface temperatures derived from these observations were 83.3${\pm}$0.9 K and 88.8${\pm}$0.8 K at local times 223${\deg}$ to 288${\deg}$ and 180${\deg}$ to 238${\deg}$ respectively. When these temperatures were compared to a 1-D thermophysical model only albedos between 0.25 and 0.70 were able to fit the data, with a mean and standard deviation of 0.43${\pm}$0.12. All thermal inertias tested between 1 and 2000 J m$^{-2}$ K$^{-1}$ s$^{-1/2}$ could fit the data (i.e. thermal inertia was not constrained). The second observation analyzed was a FP3 and FP4 (1100 to 1400cm-1, 7.1 to 9.1 ${\mu}m)$ scan of Helene's leading hemisphere. Temperatures between 77 and 89 K were observed with FP3, with a typical error between 5 and 10 K. The surface temperatures derived from FP4 were higher, between 98 and 106 K, but with much larger errors (between 10 and 30 K) and thus the FP3- and FP4-derived temperature largely agree within their uncertainty. Dione's disk-integrated bolometric Bond albedos have been found to be between 0.63${\pm}$0.15 (Howett et al., 2010) and 0.44${\pm}$0.13 (Howett et al., 2014). Thus Helene may be darker than Dione, which is the opposite of the trend found at shorter wavelengths (c.f. Hedman et al., 2020; Royer et al., 2020). However few conclusions can be drawn since the albedos of Dione and Helene agree within their uncertainty.


title: Spontaneous Lipid Binding to the Nicotinic Acetylcholine Receptor in a Native Membrane

abstract: The nicotinic acetylcholine receptor (nAChR) and other pentameric ligand-gated ion channels (pLGICs) are native to neuronal membranes with an unusual lipid composition. While it is well-established that these receptors can be significantly modulated by lipids, the underlying mechanisms have been primarily studied in model membranes with only a few lipid species. Here we use coarse-grained molecular dynamics (MD) simulation to probe specific binding of lipids in a complex quasi-neuronal membrane. We ran a total of 50 microseconds of simulations of a single nAChR in a membrane composed of 36 species of lipids. Competition between multiple lipid species produces a complex distribution. We find that overall, cholesterol selects for concave intersubunit sites and PUFAs select for convex M4 sites, while monounsaturated and saturated lipids are unenriched in the nAChR boundary. In order to characterize binding to specific sites, we present a novel approach for calculating a "density-threshold affinity" from continuous density distributions. We find that affinity for M4 weakens with chain rigidity, which suggests flexible chains may help relax packing defects caused by the conical protein shape. For any site, PE headgroups have the strongest affinity of all phospholipid headgroups, but anionic lipids still yield moderately high affinities for the M4 sites as expected. We observe cooperative effects between anionic headgroups and saturated chains at the M4 site in the inner leaflet. We also analyze affinities for individual anionic headgroups. Combined, these insights may reconcile several apparently contradictory experiments on the role of anionic phospholipids in modulating nAChR.


title: Design and Appropriation of Computer-supported Self-scheduling Practices in Healthcare Shift Work

abstract: Shift scheduling impacts healthcare workers' well-being because it sets the frame for their social life and recreational activities. Since it is complex and time-consuming, it has become a target for automation. However, existing systems mostly focus on improving efficiency. The workers' needs and their active participation do not play a pronounced role. Contrasting this trend, we designed a social practice-based, worker-centered, and well-being-oriented self-scheduling system which gives healthcare workers more control during shift planning. In a following nine month appropriation study, we found that workers who were cautious about their social standing in the group or who had a more spontaneous personal lifestyle used our system less often than others. Moreover, we revealed several conflict prevention practices and suggest to shift the focus away from a competitive shift distribution paradigm towards supporting these pro-social practices. We conclude with guidelines to support individual planning practices, self-leadership, and for dealing with conflicts.


title: Rethinking the Definition of Rate-Induced Tipping

abstract: The current definition of rate-induced tipping is tied to the idea of a pullback attractor limiting in forward and backward time to a stable quasi-static equilibrium. Here we propose a new definition that encompasses the standard definition in the literature for certain scalar systems and includes previously excluded $N$-dimensional systems that exhibit rate-dependent critical transitions.


title: The Archerfish Hunting Optimizer: a novel metaheuristic algorithm for global optimization

abstract: Global optimization solves real-world problems numerically or analytically by minimizing their objective functions. Most of the analytical algorithms are greedy and computationally intractable. Metaheuristics are nature-inspired optimization algorithms. They numerically find a near-optimal solution for optimization problems in a reasonable amount of time. We propose a novel metaheuristic algorithm for global optimization. It is based on the shooting and jumping behaviors of the archerfish for hunting aerial insects. We name it the Archerfish Hunting Optimizer (AHO). We Perform two sorts of comparisons to validate the proposed algorithm's performance. First, AHO is compared to the 12 recent metaheuristic algorithms (the accepted algorithms for the 2020's competition on single objective bound-constrained numerical optimization) on ten test functions of the benchmark CEC 2020 for unconstrained optimization. Second, the performance of AHO and 3 recent metaheuristic algorithms, is evaluated using five engineering design problems taken from the benchmark CEC 2020 for non-convex constrained optimization. The experimental results are evaluated using the Wilcoxon signed-rank and the Friedman tests. The statistical indicators illustrate that the Archerfish Hunting Optimizer has an excellent ability to accomplish higher performance in competition with the well-established optimizers.


title: The relationship between photometric and spectroscopic oscillation amplitudes from 3D stellar atmosphere simulations

abstract: We establish a quantitative relationship between photometric and spectroscopic detections of solar-like oscillations using ab initio, three-dimensional (3D), hydrodynamical numerical simulations of stellar atmospheres. We present a theoretical derivation as proof of concept for our method. We perform realistic spectral line formation calculations to quantify the ratio between luminosity and radial velocity amplitude for two case studies: the Sun and the red giant $\epsilon$ Tau. Luminosity amplitudes are computed based on the bolometric flux predicted by 3D simulations with granulation background modelled the same way as asteroseismic observations. Radial velocity amplitudes are determined from the wavelength shift of synthesized spectral lines with methods closely resembling those used in BiSON and SONG observations. Consequently, the theoretical luminosity to radial velocity amplitude ratios are directly comparable with corresponding observations. For the Sun, we predict theoretical ratios of 21.0 and 23.7 ppm/[m/s] from BiSON and SONG respectively, in good agreement with observations 19.1 and 21.6 ppm/[m/s]. For $\epsilon$ Tau, we predict K2 and SONG ratios of 48.4 ppm/[m/s], again in good agreement with observations 42.2 ppm/[m/s], and much improved over the result from conventional empirical scaling relations which gives 23.2 ppm/[m/s]. This study thus opens the path towards a quantitative understanding of solar-like oscillations, via detailed modelling of 3D stellar atmospheres.


title: Efficient application of the Radiance Enhancement method for detection of the forest fires due to combustion-originated reflectance

abstract: The existing methods for detection of the cloud scenes are applied at relatively small spectral range within shortwave upwelling radiative wavelength flux. We have reported a new method for detection of the cloud scenes based on the Radiance Enhancement (RE). This method can be used to cover a significantly wider spectral range from 1100 nm to 1700 nm by using datasets from the space-orbiting micro-spectrometer Argus 1000. Due to high sunlight reflection of the smoke originated from the forest or field fires the proposed RE method can also be implemented for detection of combustion aerosols. This approach can be a promising technique for efficient detection and continuous monitor of the seasonal forest and field fires. To the best of our knowledge this is the first report showing how a cloud method can be generalized for efficient detection of the forest fires due to combustion-originated reflectance.


title: BeFair: Addressing Fairness in the Banking Sector

abstract: Algorithmic bias mitigation has been one of the most difficult conundrums for the data science community and Machine Learning (ML) experts. Over several years, there have appeared enormous efforts in the field of fairness in ML. Despite the progress toward identifying biases and designing fair algorithms, translating them into the industry remains a major challenge. In this paper, we present the initial results of an industrial open innovation project in the banking sector: we propose a general roadmap for fairness in ML and the implementation of a toolkit called BeFair that helps to identify and mitigate bias. Results show that training a model without explicit constraints may lead to bias exacerbation in the predictions.


title: Quantum oscillations of the magnetic torque in the nodal-line Dirac semimetal ZrSiS

abstract: We report a study of quantum oscillations (QO) in the magnetic torque of the nodal-line Dirac semimetal ZrSiS in the magnetic fields up to 35 T and the temperature range from 40 K down to 2 K, enabling high resolution mapping of the Fermi surface (FS) topology in the $k_z=\pi$ (Z-R-A) plane of the first Brillouin zone (FBZ). It is found that the oscillatory part of the measured magnetic torque signal consists of low frequency (LF) contributions (frequencies up to 1000 T) and high frequency (HF) contributions (several clusters of frequencies from 7-22 kT). Increased resolution and angle-resolved measurements allow us to show that the high oscillation frequencies originate from magnetic breakdown (MB) orbits involving clusters of individual $\alpha$ hole and $\beta$ electron pockets from the diamond shaped FS in the Z-R-A plane. Analyzing the HF oscillations we have unequivocally shown that the QO frequency from the dog-bone shaped Fermi pocket ($\beta$ pocket) amounts $\beta=591(15)$ T. Our findings suggest that most of the frequencies in the LF part of QO can also be explained by MB orbits when intraband tunneling in the dog-bone shaped $\beta$ electron pocket is taken into account. Our results give a new understanding of the novel properties of the FS of the nodal-line Dirac semimetal ZrSiS and sister compounds.


title: Riemann surfaces of second kind and effective finiteness theorems

abstract: The Geometric Shafarevich Conjecture and the Theorem of de Franchis state the finiteness of the number of certain holomorphic objects on closed or punctured Riemann surfaces. The analog of these kind of theorems for Riemann surfaces of second kind is an estimate of the number of irreducible holomorphic objects up to homotopy (or isotopy, respectively). This analog can be interpreted as a quantitatve statement on the limitation for Gromov's Oka principle. For any finite open Riemann surface $X$ (maybe, of second kind) we give an effective upper bound for the number of irreducible holomorphic mappings up to homotopy from $X$ to the twice punctured complex plane, and an effective upper bound for the number of irreducible holomorphic torus bundles up to isotopy on such a Riemann surface. The bound depends on a conformal invariant of the Riemann surface. If $X_{\sigma}$ is the $\sigma$-neighbourhood of a skeleton of an open Riemann surface with finitely generated fundamental group, then the number of irreducible holomorphic mappings up to homotopy from $X_{\sigma}$ to the twice punctured complex plane grows exponentially in $\frac{1}{\sigma}$.


title: Optimally reconnecting weighted graphs against an edge-destroying adversary

abstract: We introduce a model involving two adversaries Buster and Fixer taking turns modifying a connected graph, where each round consists of Buster deleting a subset of edges and Fixer responding by adding edges from a reserve set of weighted edges to leave the graph connected. With the weights representing the cost for Fixer to use specific reserve edges to reconnect the graph, we provide a reasonable definition for what should constitute an optimal strategy for Fixer to keep the graph connected for as long as possible as cheaply as possible, and prove that a greedy strategy for Fixer satisfies our conditions for optimality.


title: A New View of Observed Galaxies through 3D Modelling and Visualisation

abstract: Observational astronomers survey the sky in great detail to gain a better understanding of many types of astronomical phenomena. In particular, the formation and evolution of galaxies, including our own, is a wide field of research. Three dimensional (spatial 3D) scientific visualisation is typically limited to simulated galaxies, due to the inherently two dimensional spatial resolution of Earth-based observations. However, with appropriate means of reconstruction, such visualisation can also be used to bring out the inherent 3D structure that exists in 2D observations of known galaxies, providing new views of these galaxies and visually illustrating the spatial relationships within galaxy groups that are not obvious in 2D. We present a novel approach to reconstruct and visualise 3D representations of nearby galaxies based on observational data using the scientific visualisation software Splotch. We apply our approach to a case study of the nearby barred spiral galaxy known as M83, presenting a new perspective of the M83 local group and highlighting the similarities between our reconstructed views of M83 and other known galaxies of similar inclinations.


title: The Great Equalizer: Medicare and the Geography of Consumer Financial Strain

abstract: We use a five percent sample of Americans' credit bureau data, combined with a regression discontinuity approach, to estimate the effect of universal health insurance at age 65-when most Americans become eligible for Medicare-at the national, state, and local level. We find a 30 percent reduction in debt collections-and a two-thirds reduction in the geographic variation in collections-with limited effects on other financial outcomes. The areas that experienced larger reductions in collections debt at age 65 were concentrated in the Southern United States, and had higher shares of black residents, people with disabilities, and for-profit hospitals.


title: Estimating the radii of air bubbles in water using passive acoustic monitoring

abstract: The study of the acoustic emission of underwater gas bubbles is a subject of both theoretical and applied interest, since it finds an important application in the development of acoustic monitoring tools for detection and quantification of underwater gas leakages. An underlying physical model is essential in the study of such emissions, but is not enough: also some statistical procedure must be applied in order to deal with all uncertainties (including those caused by background noise). In this paper we take a probabilistic (Bayesian) methodology which is well known in the statistical signal analysis communitiy, and apply it to the problem of estimating the radii of air bubbles in water. We introduce the bubblegram, a feature extraction technique graphically similar to the traditional spectrogram but tailored to respond only to pulse structures that correspond to a given physical model. We investigate the performance of the bubblegram and our model in general using laboratory generated data.


title: Diagonal Stability of Discrete-time $k$-Positive linear Systems with Applications to Nonlinear Systems

abstract: A linear dynamical system is called $k$-positive if its dynamics maps the set of vectors with up to $k-1$ sign variations to itself. For $k=1$, this reduces to the important class of positive linear systems. Since stable positive linear time-invariant (LTI) systems always admit a diagonal quadratic Lyapunov function, i.e. they are diagonally stable, we may expect that this holds also for stable $k$-positive systems. We show that, in general, this is not the case both in the continuous-time (CT) and discrete-time (DT) case. We then focus on DT $k$-positive linear systems and introduce the new notion of DT $k$-diagonal stability. It is shown that this is a necessary condition for standard DT diagonal stability. We demonstrate an application of this new notion to the analysis of a class of DT nonlinear systems.


title: Adversarially Robust Learning with Unknown Perturbation Sets

abstract: We study the problem of learning predictors that are robust to adversarial examples with respect to an unknown perturbation set, relying instead on interaction with an adversarial attacker or access to attack oracles, examining different models for such interactions. We obtain upper bounds on the sample complexity and upper and lower bounds on the number of required interactions, or number of successful attacks, in different interaction models, in terms of the VC and Littlestone dimensions of the hypothesis class of predictors, and without any assumptions on the perturbation set.


title: Magnetic Moments of Lanthanide van der Waals Dimers

abstract: Loosely bound van der Waals dimers of lanthanide atoms, as might be obtained in ultracold atom experiments, are investigated. These molecules are known to exhibit a degree of quantum chaos, due to the strong anisotropic mixing of their angular spin and rotation degrees of freedom. Within a model of these molecules, we identify different realms of this anisotropic mixing, depending on whether the spin, the rotation, or both, are significantly mixed by the anisotropy. These realms are in turn generally correlated with the resulting magnetic moments of the states.