title: Biological applications of ferroelectric materials

abstract: The study and applications of ferroelectric materials in the biomedical and biotechnological fields is a novel and very promising scientific area that spans roughly one decade. However, some groups have already provided experimental proof of very interesting biological modulation when living systems are exposed to different ferroelectrics and excitation mechanisms. These materials should offer several advantages in the field of bioelectricity, such as no need of an external electric power source or circuits, scalable size of the electroactive regions, flexible and reconfigurable virtual electrodes, or fully proved biocompatibility. In this focused review we provide the underlying physics of ferroelectric activity and a recount of the research reports already published, along with some tentative biophysical mechanisms that can explain the observed results. More specifically, we focused on the biological actions of domain ferroelectrics, and ferroelectrics excited by the bulk photovoltaic effect or the pyroelectric effect. It is our goal to provide a comprehensive account of the published material so far, and to set the stage for a vigorous expansion of the field, with envisioned applications that span from cell biology and signaling to cell and tissue regeneration, antitumoral action, or cell bioengineering to name a few.


title: ReMeDi: Resources for Multi-domain, Multi-service, Medical Dialogues

abstract: Medical dialogue systems (MDSs) aim to assist doctors and patients with a range of professional medical services, i.e., diagnosis, treatment and consultation. The development of MDSs is hindered because of a lack of resources. In particular. (1) there is no dataset with large-scale medical dialogues that covers multiple medical services and contains fine-grained medical labels (i.e., intents, actions, slots, values), and (2) there is no set of established benchmarks for MDSs for multi-domain, multi-service medical dialogues. In this paper, we present ReMeDi, a set of resource for medical dialogues. ReMeDi consists of two parts, the ReMeDi dataset and the ReMeDi benchmarks. The ReMeDi dataset contains 96,965 conversations between doctors and patients, including 1,557 conversations with fine-gained labels. It covers 843 types of diseases, 5,228 medical entities, and 3 specialties of medical services across 40 domains. To the best of our knowledge, the ReMeDi dataset is the only medical dialogue dataset that covers multiple domains and services, and has fine-grained medical labels. The second part of the ReMeDi resources consists of a set of state-of-the-art models for (medical) dialogue generation. The ReMeDi benchmark has the following methods: (1) pretrained models (i.e., BERT-WWM, BERT-MED, GPT2, and MT5) trained, validated, and tested on the ReMeDi dataset, and (2) a self-supervised contrastive learning(SCL) method to expand the ReMeDi dataset and enhance the training of the state-of-the-art pretrained models. We describe the creation of the ReMeDi dataset, the ReMeDi benchmarking methods, and establish experimental results using the ReMeDi benchmarking methods on the ReMeDi dataset for future research to compare against. With this paper, we share the dataset, implementations of the benchmarks, and evaluation scripts.


title: From Stoop to Squat: A comprehensive analysis of lumbar loading among different lifting styles

abstract: Lifting up objects from the floor has been identified as a risk factor for low back pain, whereby a flexed spine during lifting is often associated with producing higher loads in the lumbar spine. Even though recent biomechanical studies challenge these assumptions, conclusive evidence is still lacking. This study therefore aimed at comparing lumbar loads among different lifting styles using a comprehensive state-of-the-art motion capture-driven musculoskeletal modeling approach. Thirty healthy pain-free individuals were enrolled in this study and asked to repetitively lift a 15 kg-box by applying 1) a freestyle, 2) a squat and 3) a stoop lifting technique. Whole-body kinematics were recorded using an optical motion capture system and used to drive a full-body musculoskeletal model including a detailed thoracolumbar spine. Compressive, shear and total loads were calculated based on a static optimization approach and expressed as factor body weight (BW). In addition, lumbar lordosis angles and total lifting time were calculated. All parameters were compared among the lifting styles using a repeated measures design. For all lumbar segments, stoop lifting showed significantly lower compressive and total loads (-0.3 to -1.0BW) when compared to freestyle and squat lifting. Stoop lifting produced higher shear loads (+0.1 to +0.8BW) in the segments T12/L1 to L4/L5, but lower loads in L5/S1 (-0.2 to -0.4BW). Peak compressive and total loads during squat lifting occurred approximately 30% earlier in the lifting cycle compared to stoop lifting. Stoop lifting showed larger lumbar lordosis range of motion (35.9+/-10.1{\deg}) than freestyle (24.2+/-7.3{\deg}) and squat (25.1+/-8.2{\deg}) lifting. Lifting time differed significantly with freestyle being executed the fastest (4.6+/-0.7s), followed by squat (4.9+/-0.7s) and stoop (5.9+/-1.1s).


title: Quantum channel position finding using single photons

abstract: Channel position finding is the task of determining the location of a single target channel amongst an ensemble of background channels. It has many potential applications, including quantum sensing, quantum reading and quantum spectroscopy. In particular, it could allow for simple detection protocols to be extended to ones of measurement, for example, target ranging with quantum illumination. The use of quantum states and entanglement in such protocols have shown to yield quantum advantages over their optimal classical counterparts. Here we consider quantum channel position finding using sources specified by at most one single photon on average per mode, using the discrete variable formalism. By considering various quantum sources it is shown through the derivation of performance bounds that a quantum enhancement may be realised.


title: Closed-form portfolio optimization under GARCH models

abstract: This paper develops the first closed-form optimal portfolio allocation formula for a spot asset whose variance follows a GARCH(1,1) process. We consider an investor with constant relative risk aversion (CRRA) utility who wants to maximize the expected utility from terminal wealth under a Heston and Nandi (2000) GARCH (HN-GARCH) model. We obtain closed formulas for the optimal investment strategy, the value function and the optimal terminal wealth. We find the optimal strategy is independent of the development of the risky asset, and the solution converges to that of a continuous-time Heston stochastic volatility model, albeit under additional conditions. For a daily trading scenario, the optimal solutions are quite robust to variations in the parameters, while the numerical wealth equivalent loss (WEL) analysis shows good performance of the Heston solution, with a quite inferior performance of the Merton solution.


title: Weighted Leavitt path algebras -- an overview

abstract: Weighted Leavitt path algebras were introduced in 2013 by Roozbeh Hazrat. These algebras generalise simultaneously the usual Leavitt path algebras and William Leavitt's algebras $L(m,n)$. In this paper we try to give an overview of what is known about the weighted Leavitt path algebras. We also prove some new results (in particular on the graded K-theory of weighted Leavitt path algebras) and mention open problems.


title: Proceedings of KDD 2020 Workshop on Data-driven Humanitarian Mapping: Harnessing Human-Machine Intelligence for High-Stake Public Policy and Resilience Planning

abstract: Humanitarian challenges, including natural disasters, food insecurity, climate change, racial and gender violence, environmental crises, the COVID-19 coronavirus pandemic, human rights violations, and forced displacements, disproportionately impact vulnerable communities worldwide. According to UN OCHA, 235 million people will require humanitarian assistance in 2021 . Despite these growing perils, there remains a notable paucity of data science research to scientifically inform equitable public policy decisions for improving the livelihood of at-risk populations. Scattered data science efforts exist to address these challenges, but they remain isolated from practice and prone to algorithmic harms concerning lack of privacy, fairness, interpretability, accountability, transparency, and ethics. Biases in data-driven methods carry the risk of amplifying inequalities in high-stakes policy decisions that impact the livelihood of millions of people. Consequently, proclaimed benefits of data-driven innovations remain inaccessible to policymakers, practitioners, and marginalized communities at the core of humanitarian actions and global development. To help fill this gap, we propose the Data-driven Humanitarian Mapping Research Program, which focuses on developing novel data science methodologies that harness human-machine intelligence for high-stakes public policy and resilience planning. The proceedings of the 1st Data-driven Humanitarian Mapping workshop at the 26th ACM SIGKDD Conference on Knowledge Discovery & Data Mining, August 24th, 2020.


title: Molecular Dynamics simulations of Doxorubicin in sphingomyelin-based lipid membranes

abstract: Doxorubicin (DOX) is one of the most efficient antitumor drugs employed in numerous cancer therapies. Its incorporation into lipid-based nanocarriers, such as liposomes, improves the drug targeting into tumor cells and reduces drug side effects. The carriers' lipid composition is expected to affect the interactions of DOX and its partitioning into liposomal membranes. To get a rational insight into this aspect and determine promising lipid compositions, we use numerical simulations, which provide unique information on DOX-membrane interactions at the atomic level of resolution. In particular, we combine classical molecular dynamics simulations and free energy calculations to elucidate the mechanism of penetration of a protonated Doxorubicin molecule (DOX+) into potential liposome membranes, here modeled as lipid bilayers based on mixtures of phosphatidylcholine (PC), sphingomyelin (SM) and cholesterol lipid molecules, of different compositions and lipid phases. Moreover, we analyze DOX+ partitioning into relevant regions of SM-based lipid bilayer systems using a combination of free energy methods. Our results show that DOX+ penetration and partitioning are facilitated into less tightly packed SM-based membranes and are dependent on lipid composition. This work paves the way to further investigations of optimal formulations for lipid-based carriers, such as those associated with pH-responsive membranes.


title: Noise can lead to exponential epidemic spreading despite $R_0$ below one

abstract: Branching processes are widely used to model evolutionary and population dynamics as well as the spread of infectious diseases. To characterize the dynamics of their growth or spread, the basic reproduction number $R_0$ has received considerable attention. In the context of infectious diseases, it is usually defined as the expected number of secondary cases produced by an infectious case in a completely susceptible population. Typically $R_0>1$ indicates that an outbreak is expected to continue and to grow exponentially, while $R_0<1$ usually indicates that an outbreak is expected to terminate after some time. In this work, we show that fluctuations of the dynamics in time can lead to a continuation of outbreaks even when the expected number of secondary cases from a single case is below $1$. Such fluctuations are usually neglected in modelling of infectious diseases by a set of ordinary differential equations, such as the classic SIR model. We showcase three examples: 1) extinction following an Ornstein-Uhlenbeck process, 2) extinction switching randomly between two values and 3) mixing of two populations with different $R_0$ values. We corroborate our analytical findings with computer simulations.


title: Curvature-free linear length bounds on geodesics in closed Riemannian surfaces

abstract: This paper proves that in any closed Riemannian surface $M$ with diameter $d$, the length of the $k^\text{th}$-shortest geodesic between two given points $p$ and $q$ is at most $8kd$. This bound can be tightened further to $6kd$ if $p = q$. This improves prior estimates by A. Nabutovsky and R. Rotman.


title: Vibration damping platform for cavity quantum-electrodynamics experiments

abstract: We present a mechanical platform with enhanced vibration damping properties for cavity quantum-electrodynamics experiments. It is based on a composite design that combines a soft, vibration-damping core with a rigid shell maintaining optical alignment. It passively damps the vibrations generated by piezoelectric actuators controlling the mirror positions. The mechanical resonances of the platform, which lead to a length change of the cavity are efficiently suppressed up to 100 kHz. Our platform is ultra-high vacuum compatible and can be used in most applications, in particular where long cavities and optical access to the cavity center are required.

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


title: A Novel ISAC Transmission Framework based on Spatially-Spread Orthogonal Time Frequency Space Modulation

abstract: In this paper, we propose a novel integrated sensing and communication (ISAC) transmission framework based on the spatially-spread orthogonal time frequency space (SS-OTFS) modulation by considering the fact that communication channel strengths cannot be directly obtained from radar sensing. We first propose the concept of SS-OTFS modulation, where the key novelty is the angular domain discretization enabled by the spatial-spreading/de-spreading. This discretization gives rise to simple and insightful effective models for both radar sensing and communication, which result in simplified designs for the related estimation and detection problems. In particular, we design simple beam tracking, angle estimation, and power allocation schemes for radar sensing, by utilizing the special structure of the effective radar sensing matrix. Meanwhile, we provide a detailed analysis on the pair-wise error probability (PEP) for communication, which unveils the key conditions for both precoding and power allocation designs. Based on those conditions, we design a symbol-wise precoding scheme for communication based only on the delay, Doppler, and angle estimates from radar sensing, without the a priori knowledge of the communication channel fading coefficients, and also introduce the power allocation for communication. Furthermore, we notice that radar sensing and communication requires different power allocations. Therefore, we discuss the performances of both the radar sensing and communication with different power allocations and show that the power allocation should be designed leaning towards radar sensing in practical scenarios. The effectiveness of the proposed ISAC transmission framework is verified by our numerical results, which also agree with our analysis and discussions.


title: Numerical investigation of the nonlinear interaction between the sinusoidal motion-induced and gust-induced forces acting on bridge decks

abstract: With the increasing spans and complex deck shapes, aerodynamic nonlinearity becomes a crucial concern in the design of long-span bridges. This paper investigates the nonlinear interaction between the gust-induced and motion-induced forces acting on bridge decks using the Vortex Particle Method (VPM) as a Computational Fluid Dynamics (CFD) method. This nonlinear interaction is complex and intractable by the conventional linear semi-analytical models that employ the superposition principle. To excite such interaction, a sinusoidally oscillating bridge deck is subjected to sinusoidal vertical gusts. Two distinct aspects are studied: The influence of large-scale sinusoidal vertical gusts on the shear layer of a moving body and the nonlinear dependence of the aerodynamic forces on the effective angle of attack. For the latter, the resultant aerodynamic forces based on a linear semi-analytical and a CFD model are compared for the same effective angle of attack due to sinusoidal gust and motion. The methodology is first employed to verify the linear behavior of a flat plate and then study the nonlinear behavior of two bridge decks. The results show that the linear superposition principle holds for streamlined bridge decks with minimal shear layer instability. However, this principle may not be valid for bluff bridge decks due to strong separation vortices that dictate the shear layer, which induces nonlinearity in the aerodynamic forces manifested through amplitude difference in the first harmonic and emergence of higher-order harmonics. The outcome of this study aims to provide a deeper understanding of the complex nonlinear fluid-structure interaction occurring for bluff bodies subjected to motion and free-stream gusts.


title: Position Masking for Improved Layout-Aware Document Understanding

abstract: Natural language processing for document scans and PDFs has the potential to enormously improve the efficiency of business processes. Layout-aware word embeddings such as LayoutLM have shown promise for classification of and information extraction from such documents. This paper proposes a new pre-training task called that can improve performance of layout-aware word embeddings that incorporate 2-D position embeddings. We compare models pre-trained with only language masking against models pre-trained with both language masking and position masking, and we find that position masking improves performance by over 5% on a form understanding task.


title: On the Existence of the Augustin Mean

abstract: The existence of a unique Augustin mean and its invariance under the Augustin operator are established for arbitrary input distributions with finite Augustin information for channels with countably generated output $\sigma$-algebras. The existence is established by representing the conditional R\'enyi divergence as a lower semicontinuous and convex functional in an appropriately chosen uniformly convex space and then invoking the Banach--Saks property in conjunction with the lower semicontinuity and the convexity. A new family of operators is proposed to establish the invariance of the Augustin mean under the Augustin operator for orders greater than one. Some members of this new family strictly decrease the conditional R\'enyi divergence, when applied to the second argument of the divergence, unless the second argument is a fixed point of the Augustin operator.


title: Beating standard quantum limit via two-axis magnetic susceptibility measurement

abstract: We report a metrology scheme which measures magnetic susceptibility of an atomic spin ensemble along the $x$ and $z$ direction and produces parameter estimation with precision beating the standard quantum limit. The atomic ensemble is initialized via one-axis spin squeezing with optimized squeezing time and parameter $\phi$ to be estimated is assumed as uniformly distributed between 0 and $2\pi$. One estimation of $\phi$ can be produced with every two magnetic susceptibility data measured along the two axis respectively, which has imprecision scaling $(1.43\pm{}0.02)/N^{0.687\pm0.003}$ with respect to the number N of atomic spins. The measurement scheme is easy to implement and thus one step towards practical application of quantum metrology.


title: Linked visualisations via Galois dependencies

abstract: We present new language-based dynamic analysis techniques for linking visualisations and other structured outputs to data in a fine-grained way, allowing a user to interactively explore how data attributes map to visual or other output elements by selecting (focusing on) substructures of interest. This can help both programmers and end-users understand how data sources and complex outputs are related, which can be a challenge even for someone with expert knowledge of the problem domain. Our approach builds on bidirectional program slicing techiques based on Galois connections, which provide desirable round-tripping properties. Unlike the prior work in program slicing, our approach allows selections to be negated. In a setting with negation, the bidirectional analysis has a De Morgan dual, which can be used to link different outputs generated from the same input. This offers a principled language-based foundation for a popular interactive visualisation feature called brushing and linking where selections in one chart automatically select corresponding elements in another related chart. Although such view coordination features are valuable comprehension aids, they tend be to hard-coded into specific applications or libraries, or require programmer effort.


title: Decentralized Payment Clearing using Blockchain and Optimal Bidding

abstract: In this paper, we construct a decentralized clearing mechanism which endogenously and automatically provides a claims resolution procedure. This mechanism can be used to clear a network of obligations through blockchain. In particular, we investigate default contagion in a network of smart contracts cleared through blockchain. In so doing, we provide an algorithm which constructs the blockchain so as to guarantee the payments can be verified and the miners earn a fee. We, additionally, consider the special case in which the blocks have unbounded capacity to provide a simple equilibrium clearing condition for the terminal net worths; existence and uniqueness are proven for this system. Finally, we consider the optimal bidding strategies for each firm in the network so that all firms are utility maximizers with respect to their terminal wealths. We first look for a mixed Nash equilibrium bidding strategies, and then also consider Pareto optimal bidding strategies. The implications of these strategies, and more broadly blockchain, on systemic risk are considered.


title: On the moduli spaces of left invariant metrics on cotangent bundle of Heisenberg group

abstract: The main focus of the paper is the investigation of moduli space of left invariant pseudoRiemannian metrics on the cotangent bundle of Heisenberg group. Consideration of orbits of the automorphism group naturally acting on the space of the left invariant metrics allows us to use the algebraic approach. However, the geometrical tools, such as classification of hyperbolic plane conics, will often be required. For metrics that we obtain in the classification, we investigate geometrical properties: curvature, Ricci tensor, sectional curvature, holonomy and parallel vector fields. The classification of algebraic Ricci solitons is also presented, as well as classification of pseudo-Kahler and ppwave metrics. We get the description of parallel symmetric tensors for each metric and showthat they are derived from parallel vector fields. Finally, we investigate the totally geodesic subalgebras by showing that for any subalgebra of the observed algebra there exists a metric that makes it totally geodesic.


title: Adaptive Refinement for Unstructured T-Splines with Linear Complexity

abstract: We present an adaptive refinement algorithm for T-splines on unstructured 2D meshes. While for structured 2D meshes, one can refine elements alternatingly in horizontal and vertical direction, such an approach cannot be generalized directly to unstructured meshes, where no two unique global mesh directions can be assigned. To resolve this issue, we introduce the concept of direction indices, i.e., integers associated to each edge, which are inspired by theory on higher-dimensional structured T-splines. Together with refinement levels of edges, these indices essentially drive the refinement scheme. We combine these ideas with an edge subdivision routine that allows for I-nodes, yielding a very flexible refinement scheme that nicely distributes the T-nodes, preserving global linear independence, analysis-suitability (local linear independence) except in the vicinity of extraordinary nodes, sparsity of the system matrix, and shape regularity of the mesh elements. Further, we show that the refinement procedure has linear complexity in the sense of guaranteed upper bounds on a) the distance between marked and additionally refined elements, and on b) the ratio of the numbers of generated and marked mesh elements.


title: Planning from video game descriptions

abstract: This project proposes a methodology for the automatic generation of action models from video game dynamics descriptions, as well as its integration with a planning agent for the execution and monitoring of the plans. Planners use these action models to get the deliberative behaviour for an agent in many different video games and, combined with a reactive module, solve deterministic and no-deterministic levels. Experimental results validate the methodology and prove that the effort put by a knowledge engineer can be greatly reduced in the definition of such complex domains. Furthermore, benchmarks of the domains has been produced that can be of interest to the international planning community to evaluate planners in international planning competitions.


title: Hypergraph-of-Entity: A General Model for Entity-Oriented Search

abstract: The hypergraph-of-entity was conceptually proposed as a general model for entity-oriented search. However, only the performance for ad hoc document retrieval had been assessed. We continue this line of research by also evaluating ad hoc entity retrieval, and entity list completion. We also attempt to scale the model, so that it can support the complete INEX 2009 Wikipedia collection. We do this by indexing the top keywords for each document, reducing complexity by partially lowering the number of nodes and, indirectly, the number of hyperedges linking terms to entities. This enables us to compare the effectiveness of the hypergraph-of-entity with the results obtained by the participants of the INEX tracks for the considered tasks. We find this to be a viable model that is, to our knowledge, the first attempt at a generalization in information retrieval, in particular by supporting a universal ranking function for multiple entity-oriented search tasks.


title: Constructive approximation on graded meshes for the integral fractional Laplacian

abstract: We consider the homogeneous Dirichlet problem for the integral fractional Laplacian $(-\Delta)^s$. We prove optimal Sobolev regularity estimates in Lipschitz domains provided the solution is $C^s$ up to the boundary. We present the construction of graded bisection meshes by a greedy algorithm and derive quasi-optimal convergence rates for approximations to the solution of such a problem by continuous piecewise linear functions. The nonlinear Sobolev scale dictates the relation between regularity and approximability.


title: Self-supervised Point Cloud Representation Learning via Separating Mixed Shapes

abstract: The manual annotation for large-scale point clouds costs a lot of time and is usually unavailable in harsh real-world scenarios. Inspired by the great success of the pre-training and fine-tuning paradigm in both vision and language tasks, we argue that pre-training is one potential solution for obtaining a scalable model to 3D point cloud downstream tasks as well. In this paper, we, therefore, explore a new self-supervised learning method, called Mixing and Disentangling (MD), for 3D point cloud representation learning. As the name implies, we mix two input shapes and demand the model learning to separate the inputs from the mixed shape. We leverage this reconstruction task as the pretext optimization objective for self-supervised learning. There are two primary advantages: 1) Compared to prevailing image datasets, eg, ImageNet, point cloud datasets are de facto small. The mixing process can provide a much larger online training sample pool. 2) On the other hand, the disentangling process motivates the model to mine the geometric prior knowledge, eg, key points. To verify the effectiveness of the proposed pretext task, we build one baseline network, which is composed of one encoder and one decoder. During pre-training, we mix two original shapes and obtain the geometry-aware embedding from the encoder, then an instance-adaptive decoder is applied to recover the original shapes from the embedding. Albeit simple, the pre-trained encoder can capture the key points of an unseen point cloud and surpasses the encoder trained from scratch on downstream tasks. The proposed method has improved the empirical performance on both ModelNet-40 and ShapeNet-Part datasets in terms of point cloud classification and segmentation tasks. We further conduct ablation studies to explore the effect of each component and verify the generalization of our proposed strategy by harnessing different backbones.


title: The Potential of Sufficiency Measures to Achieve a Fully Renewable Energy System -- A case study for Germany

abstract: The paper provides energy system-wide estimates of the effects sufficiency measures in different sectors can have on energy supply and system costs. In distinction to energy efficiency, we define sufficiency as behavioral changes to reduce useful energy without significantly reducing utility, for example by adjusting thermostats. By reducing demand, sufficiency measures are a potentially decisive but seldomly considered factor to support the transformation towards a decarbonized energy system. Therefore, this paper addresses the following question: What is the potential of sufficiency measures and what is their impacts on the supply side of a 100% renewable energy system? For this purpose, an extensive literature review is conducted to obtain estimates for the effects of different sufficiency measures on final energy demand in Germany. Afterwards, the impact of these measures on the supply side and system costs is quantified using a bottom-up planning model of a renewable energy system. Results indicate that final energy could be reduced by up to 20.5% and as a result cost reduction between 11.3% to 25.6% are conceivable. The greatest potential for sufficiency measures was identified in the heating sector.


title: The emergence of a concept in shallow neural networks

abstract: We consider restricted Boltzmann machine (RBMs) trained over an unstructured dataset made of blurred copies of definite but unavailable ``archetypes'' and we show that there exists a critical sample size beyond which the RBM can learn archetypes, namely the machine can successfully play as a generative model or as a classifier, according to the operational routine. In general, assessing a critical sample size (possibly in relation to the quality of the dataset) is still an open problem in machine learning. Here, restricting to the random theory, where shallow networks suffice and the grand-mother cell scenario is correct, we leverage the formal equivalence between RBMs and Hopfield networks, to obtain a phase diagram for both the neural architectures which highlights regions, in the space of the control parameters (i.e., number of archetypes, number of neurons, size and quality of the training set), where learning can be accomplished. Our investigations are led by analytical methods based on the statistical-mechanics of disordered systems and results are further corroborated by extensive Monte Carlo simulations.


title: On the Tightness of Convex Optimal Power Flow Model Based on Power Loss Relaxation

abstract: Optimal power flow (OPF) is the fundamental mathematical model in power system operations. Improving the solution quality of OPF provide huge economic and engineering benefits. The convex reformulation of the original nonconvex alternating current OPF (ACOPF) model gives an efficient way to find the global optimal solution of ACOPF but suffers from the relaxation gaps. The existence of relaxation gaps hinders the practical application of convex OPF due to the AC-infeasibility problem. We evaluate and improve the tightness of the convex ACOPF model in this paper. Various power networks and nodal loads are considered in the evaluation. A unified evaluation framework is implemented in Julia programming language. This evaluation shows the sensitivity of the relaxation gap and helps to benchmark the proposed tightness reinforcement approach (TRA). The proposed TRA is based on the penalty function method which penalizes the power loss relaxation in the objective function of the convex ACOPF model. A heuristic penalty algorithm is proposed to find the proper penalty parameter of the TRA. Numerical results show relaxation gaps exist in test cases especially for large-scale power networks under low nodal power loads. TRA is effective to reduce the relaxation gap of the convex ACOPF model.


title: Weakly-Supervised Surface Crack Segmentation by Generating Pseudo-Labels using Localization with a Classifier and Thresholding

abstract: Surface cracks are a common sight on public infrastructure nowadays. Recent work has been addressing this problem by supporting structural maintenance measures using machine learning methods. Those methods are used to segment surface cracks from their background, making them easier to localize. However, a common issue is that to create a well-functioning algorithm, the training data needs to have detailed annotations of pixels that belong to cracks. Our work proposes a weakly supervised approach that leverages a CNN classifier in a novel way to create surface crack pseudo labels. First, we use the classifier to create a rough crack localization map by using its class activation maps and a patch based classification approach and fuse this with a thresholding based approach to segment the mostly darker crack pixels. The classifier assists in suppressing noise from the background regions, which commonly are incorrectly highlighted as cracks by standard thresholding methods. Then, the pseudo labels can be used in an end-to-end approach when training a standard CNN for surface crack segmentation. Our method is shown to yield sufficiently accurate pseudo labels. Those labels, incorporated into segmentation CNN training using multiple recent crack segmentation architectures, achieve comparable performance to fully supervised methods on four popular crack segmentation datasets.


title: Picosecond ultrasonics with a free-running dual-comb laser

abstract: We present a free-running 80-MHz dual-comb polarization-multiplexed solid-state laser which delivers 1.8 W of average power with 110-fs pulse duration per comb. With a high-sensitivity pump-probe setup, we apply this free-running dual-comb laser to picosecond ultrasonic measurements. The ultrasonic signatures in a semiconductor multi-quantum-well structure originating from the quantum wells and superlattice regions are revealed and discussed. We further demonstrate ultrasonic measurements on a thin-film metalized sample and compare these measurements to ones obtained with a pair of locked femtosecond lasers. Our data show that a free-running dual-comb laser is well-suited for picosecond ultrasonic measurements and thus it offers a significant reduction in complexity and cost for this widely adopted non-destructive testing technique.


title: Jammed Keplerian gas leads to the formation and disappearance of spiral arms in a coupled map lattice for astronomical objects

abstract: The formation and disappearance of spiral arms are studied by focusing on jammed Keplerian gas in a coupled map lattice (CML) with a minimal set of procedures for simulating diverse patterns in astronomical objects. The CML shows that a spiral arm is a type of traffic jam, and its motion is governed by both a gas inflow into and outflow from the jam. In particular, we present a new approach to simply and directly evaluating the disappearance of spiral arms, called "light-in and heavy-out". It is based on the gas flow rate difference between the light inflow and heavy outflow leading to the disappearance of traffic jams. Furthermore, we propose an approximate formula for the remaining lifetime of spiral arms, which is immediately derived from the "light-in and heavy-out" approach without calculating their pattern speeds as in conventional differential rotation. The proposed formula is successfully applied to the CML simulations.


title: Quasi-harmonic thermoelasticity of palladium, platinum, copper, and gold from first principles

abstract: We calculate the temperature-dependent elastic constants of palladium, platinum, copper and gold within the quasi-harmonic approximation using a first-principles approach and evaluating numerically the second derivatives of the Helmholtz free-energy with respect to strain at the minimum of the free-energy itself. We find an overall good agreement with the experimental data although the anomalies of palladium and platinum reported at room temperature are not reproduced. The contribution of electronic excitations is also investigated: we find that it is non-negligible for the $C_{44}$ elastic constants of palladium and platinum while it is irrelevant in the other cases. Its effect is not sufficient to explain the details of the anomalies found by experiments, not even when, in the case of platinum, we take into account the electron-phonon interaction. Lastly, the effect of the exchange and correlation functional is addressed and it is found that it is important at T=0 K, while all functionals give similar temperature dependencies.


title: From Movement Kinematics to Object Properties: Online Recognition of Human Carefulness

abstract: When manipulating objects, humans finely adapt their motions to the characteristics of what they are handling. Thus, an attentive observer can foresee hidden properties of the manipulated object, such as its weight, temperature, and even whether it requires special care in manipulation. This study is a step towards endowing a humanoid robot with this last capability. Specifically, we study how a robot can infer online, from vision alone, whether or not the human partner is careful when moving an object. We demonstrated that a humanoid robot could perform this inference with high accuracy (up to 81.3%) even with a low-resolution camera. Only for short movements without obstacles, carefulness recognition was insufficient. The prompt recognition of movement carefulness from observing the partner's action will allow robots to adapt their actions on the object to show the same degree of care as their human partners.


abstract: Suppose that $\alpha_1, \alpha_2,\beta_1, \beta_2 \in\mathbb{R}$. Let $\alpha_1, \alpha_2 > 1$ be irrational and of finite type such that $1, \alpha_1^{-1}, \alpha_2^{-1}$ are linearly independent over $\mathbb{Q}$. Let $c$ be a real number in the range $1 < c < 12/11$. In this paper, it is proved that there exist infinitely many primes in the intersection of Beatty sequences $\mathcal{B}_{\alpha_1,\beta_1} = \lfloor\alpha_1 n + \beta_1\rfloor, \mathcal{B}_{\alpha_2, \beta_2} = \lfloor\alpha_2 n + \beta_2\rfloor$ and the Piatetski-Shapiro sequence $\mathscr{N}^{(c)} = \lfloor n^c\rfloor$. Moreover, we also give a sketch proof of Piatetski-Shapiro primes in the intersection of multiple Beatty sequences.


title: Bayesian data combination model with Gaussian process latent variable model for mixed observed variables under NMAR missingness

abstract: In the analysis of observational data in social sciences and businesses, it is difficult to obtain a "(quasi) single-source dataset" in which the variables of interest are simultaneously observed. Instead, multiple-source datasets are typically acquired for different individuals or units. Various methods have been proposed to investigate the relationship between the variables in each dataset, e.g., matching and latent variable modeling. It is necessary to utilize these datasets as a single-source dataset with missing variables. Existing methods assume that the datasets to be integrated are acquired from the same population or that the sampling depends on covariates. This assumption is referred to as missing at random (MAR) in terms of missingness. However, as will been shown in application studies, it is likely that this assumption does not hold in actual data analysis and the results obtained may be biased. We propose a data fusion method that does not assume that datasets are homogenous. We use a Gaussian process latent variable model for non-MAR missing data. This model assumes that the variables of concern and the probability of being missing depend on latent variables. A simulation study and real-world data analysis show that the proposed method with a missing-data mechanism and the latent Gaussian process yields valid estimates, whereas an existing method provides severely biased estimates. This is the first study in which non-random assignment to datasets is considered and resolved under resonable assumptions in data fusion problem.


title: Properties of slowly rotating asteroids from the Convex Inversion Thermophysical Model

abstract: Results from the TESS mission showed that previous studies strngly underestimated the number of slow rotators, revealing the importance of studying those asteroids. For most slowly rotating asteroids (P > 12), no spin and shape model is available because of observation selection effects. This hampers determination of their thermal parameters and accurate sizes. We continue our campaign in minimising selection effects among main belt asteroids. Our targets are slow rotators with low light-curve amplitudes. The goal is to provide their scaled spin and shape models together with thermal inertia, albedo, and surface roughness to complete the statistics. Rich multi-apparition datasets of dense light curves are supplemented with data from Kepler and TESS. In addition to data in the visible range, we also use thermal data from infrared space observatories (IRAS, Akari and WISE) in a combined optimisation process using the Convex Inversion Thermophysical Model (CITPM). This novel method has so far been applied to only a few targets, and in this work we further validate the method. We present the models of 16 slow rotators. All provide good fits to both thermal and visible data. The obtained sizes are on average accurate at the 5% precision, with diameters in the range from 25 to 145 km. The rotation periods of our targets range from 11 to 59 hours, and the thermal inertia covers a wide range of values, from 2 to <400 SI units, not showing any correlation with the period. With this work we increase the sample of slow rotators with reliable spin and shape models and known thermal inertia by 40%. The thermal inertia values of our sample do not display a previously suggested increasing trend with rotation period, which might be due to their small skin depth.


title: Is the mode elicitable relative to unimodal distributions?

abstract: Statistical functionals are called elicitable if there exists a loss or scoring function under which the functional is the optimal point forecast in expectation. While the mean and quantiles are elicitable, it has been shown in Heinrich (2014) that the mode cannot be elicited if the true distribution can follow any Lebesgue density. We strengthen this result substantially, showing that the mode cannot be elicited if the true distribution is any distribution with continuous Lebesgue density and unique local maximum. Likewise, the mode fails to be identifiable relative to this class.


title: Fast Abstracts and Student Forum Proceedings, 17th European Dependable Computing Conference -- EDCC 2021

abstract: Collection of manuscripts accepted for presentation at the Student Forum and Fast Abstracts tracks of the 17th European Dependable Computing Conference (EDCC 2021).


title: On the size of special class 1 graphs and $(P_3; k)$-co-critical graphs

abstract: A well-known theorem of Vizing states that if $G$ is a simple graph with maximum degree $\Delta$, then the chromatic index $\chi'(G)$ of $G$ is $\Delta$ or $\Delta+1$. A graph $G$ is class 1 if $\chi'(G)=\Delta$, and class 2 if $\chi'(G)=\Delta+1$; $G$ is $\Delta$-critical if it is connected, class 2 and $\chi'(G-e)<\chi'(G)$ for every $e\in E(G)$. A long-standing conjecture of Vizing from 1968 states that every $\Delta$-critical graph on $n$ vertices has at least $(n(\Delta-1)+ 3)/2$ edges. We initiate the study of determining the minimum number of edges of class 1 graphs $G$, in addition, $\chi'(G+e)=\chi'(G)+1$ for every $e\in E(\overline{G})$. Such graphs have intimate relation to $(P_3; k)$-co-critical graphs, where a non-complete graph $G$ is $(P_3; k)$-co-critical if there exists a $k$-coloring of $E(G)$ such that $G$ does not contain a monochromatic copy of $P_3$ but every $k$-coloring of $E(G+e)$ contains a monochromatic copy of $P_3$ for every $e\in E(\overline{G})$. We use the bound on the size of the aforementioned class 1 graphs to study the minimum number of edges over all $(P_3; k)$-co-critical graphs. We prove that if $G$ is a $(P_3; k)$-co-critical graph on $n\ge k+2$ vertices, then \[e(G)\ge {k \over 2}\left(n- \left\lceil {k \over 2} \right\rceil - \varepsilon\right) + {\lceil k/2 \rceil+\varepsilon \choose 2},\] where $\varepsilon$ is the remainder of $n-\lceil k/2 \rceil $ when divided by $2$. This bound is best possible for all $k \ge 1$ and $n \ge \left\lceil {3k /2} \right\rceil +2$.


title: When stable Cohen-Macaulay Auslander algebra is semisimple

abstract: Let $\text{Gprj}\mbox{-}\Lambda$ denote the category of Gorenstein projective modules over an Artin algebra $\Lambda$ and the category $\text{mod}\mbox{-} (\underline{\text{Gprj}}\mbox{-}\Lambda)$ of finitely presented functors over the stable category $\underline{\text{Gprj}}\mbox{-}\Lambda$. In this paper, we study those algebras $\Lambda$ with $\text{mod}\mbox{-} (\underline{\text{Gprj}}\mbox{-}\Lambda)$ to be a semisimple abelian category, and called $\Omega_{\mathcal{G}}$-algebras. The class of $\Omega_{\mathcal{G}}$-algebras contains important classes of algebras, including gentle algebras. Over an $\Omega_{\mathcal{G}}$-algebra $\Lambda$, the structure of the almost split sequences in the morphism categories $\text{H}(\text{Gprj}\mbox{-}\Lambda)$ and the monomorphism categories $\mathcal{S}(\text{Gprj}\mbox{-}\Lambda)$ of $\text{Gprj}\mbox{-}\Lambda$ is investigated. Among other applications, we provide some results for the Cohen-Macaulay Auslander algebras of $\Omega_{\mathcal{G}}$-algebras.


title: Unsub Extender: a Python-based web application for visualizing Unsub data

abstract: This article introduces Unsub Extender, a free tool to help libraries analyze their Unsub data export files. Unsub is a collection development dashboard that gathers and forecasts journal-level usage metrics to provide academic libraries with deeper measurements than traditional cost-per-use. Unsub gives libraries richer and more nuanced data to analyze their subscriptions, but it does not include a way to easily visualize the complex and interrelated data points it provides. Unsub Extender (https://unsubextender.lib.iastate.edu) is a free Python-based web application that takes an Unsub export file and automates the creation of interactive plots and visualizations. The tool loads with example data to explore, and users upload their specific Unsub file to quickly populate the pre-made plots with actual data. Graphs are interactive, live-updating, and support zoom, click-and-drag, and hover. Filters are specified through sliders to model scenarios and focus on areas of interest. A drop-down menu allows users to change a journal's decision status, and graphs update automatically. After evaluating journals, users can export the modified dataset to save their decisions. Unsub Extender proposes best practice in analyzing the increasingly common Unsub export file. It simplifies the analysis, eliminates duplication of effort, and enables libraries worldwide to make better, more data-driven decisions.


title: Entropy of Lyapunov maximizing measures of $SL(2,\mathbb{R})$ typical cocycles

abstract: In this paper we study ergodic optimization problems for typical cocycles. We consider one-step $SL(2,\mathbb{R})$-cocycles that satisfy pinching and twisting conditions. We prove that the Lyapunov maximizing measures have zero entropy under additional assumptions that the maps $e_1$ and $e_2$ are one-to-one on the Mather set, thus extending a result by Bochi and Rams.


title: Partial Classicality of Hilbert Modular Forms

abstract: Let F be a totally real field and p a rational prime unramified in F. We prove a partial classicality theorem for overconvergent Hilbert modular forms: when the slope is small compared to certain but not all weights, an overconvergent form is partially classical. We use the method of analytic continuation.


title: Sparse to Dense Motion Transfer for Face Image Animation

abstract: Face image animation from a single image has achieved remarkable progress. However, it remains challenging when only sparse landmarks are available as the driving signal. Given a source face image and a sequence of sparse face landmarks, our goal is to generate a video of the face imitating the motion of landmarks. We develop an efficient and effective method for motion transfer from sparse landmarks to the face image. We then combine global and local motion estimation in a unified model to faithfully transfer the motion. The model can learn to segment the moving foreground from the background and generate not only global motion, such as rotation and translation of the face, but also subtle local motion such as the gaze change. We further improve face landmark detection on videos. With temporally better aligned landmark sequences for training, our method can generate temporally coherent videos with higher visual quality. Experiments suggest we achieve results comparable to the state-of-the-art image driven method on the same identity testing and better results on cross identity testing.


title: Three roads to the geometric constraint formulation of gravitational theories with boundaries

abstract: The Hamiltonian description of mechanical or field models defined by singular Lagrangians plays a central role in physics. A number of methods are known for this purpose, the most popular of them being the one developed by Dirac. Here, we discuss other approaches to this problem that rely on the direct use of the equations of motion (and the tangency requirements characteristic of the Gotay, Nester, Hinds method), or are formulated in the tangent bundle of the configuration space. Owing to its interesting relation with general relativity we will use a concrete example as a test bed: an extension of the Pontryagin and Husain-Kucha\v{r} actions to four dimensional manifolds with boundary.


title: Computations of volumes in five candidates elections

abstract: We describe several analytical results obtained in five candidates social choice elections under the assumption of the Impartial Anonymous Culture. These include the Condorcet and Borda paradoxes, as well as the Condorcet efficiency of plurality, negative plurality and Borda voting, including their runoff versions. The computations are done by Normaliz. It finds precise probabilities as volumes of polytopes in dimension 119, using its recent implementation of the Lawrence algorithm.


title: Leaking Control Flow Information via the Hardware Prefetcher

abstract: Modern processor designs use a variety of microarchitectural methods to achieve high performance. Unfortunately, new side-channels have often been uncovered that exploit these enhanced designs. One area that has received little attention from a security perspective is the processor's hard-ware prefetcher, a critical component used to mitigate DRAM latency in today's systems. Prefetchers, like branch predictors, hold critical state related to the execution of the application, and have the potential to leak secret information. But up to now, there has not been a demonstration of a generic prefetcher side-channel that could be actively exploited in today's hardware. In this paper, we present AfterImage, a new side-channel that exploits the Intel Instruction Pointer-based stride prefetcher. We observe that, when the execution of the processor switches between different private domains, the prefetcher trained by one domain can be triggered in another. To the best of our knowledge, this work is the first to publicly demonstrate a methodology that is both algorithm-agnostic and also able to leak kernel data into userspace. AfterImage is different from previous works, as it leaks data on the non-speculative path of execution. Because of this, a large class of work that has focused on protecting transient, branch-outcome-based data will be unable to block this side-channel. By reverse-engineering the IP-stride prefetcher in modern Intel processors, we have successfully developed three variants of AfterImage to leak control flow information across code regions, processes and the user-kernel boundary. We find a high level of accuracy in leaking information with our methodology (from 91%, up to 99%), and propose two mitigation techniques to block this side-channel, one of which can be used on hardware systems today.


title: Capturing Stance Dynamics in Social Media: Open Challenges and Research Directions

abstract: Social media platforms provide a goldmine for mining public opinion on issues of wide societal interest and impact. Opinion mining is a problem that can be operationalised by capturing and aggregating the stance of individual social media posts as supporting, opposing or being neutral towards the issue at hand. While most prior work in stance detection has investigated datasets that cover short periods of time, interest in investigating longitudinal datasets has recently increased. Evolving dynamics in linguistic and behavioural patterns observed in new data require adapting stance detection systems to deal with the changes. In this survey paper, we investigate the intersection between computational linguistics and the temporal evolution of human communication in digital media. We perform a critical review of emerging research considering dynamics, exploring different semantic and pragmatic factors that impact linguistic data in general, and stance in particular. We further discuss current directions in capturing stance dynamics in social media. We discuss the challenges encountered when dealing with stance dynamics, identify open challenges and discuss future directions in three key dimensions: utterance, context and influence.


title: On Generalized Random Environment INAR Models of Higher Order: Estimation of Random Environment States

abstract: The behavior of a generalized random environment integer-valued autoregressive model of higher order with geometric marginal distribution {and negative binomial thinning operator} (abbrev. $RrNGINAR(\mathcal{M,A,P})$) is dictated by a realization $\{z_n\}_{n=1}^\infty$ of an auxiliary Markov chain called random environment process. Element $z_n$ represents a state of the environment in moment $n\in\mathbb{N}$ and determines three different parameters of the model in that moment. In order to use $RrNGINAR(\mathcal{M,A,P})$ model, one first needs to estimate $\{z_n\}_{n=1}^\infty$, which was so far done by K-means data clustering. We argue that this approach ignores some information and performs poorly in certain situations. We propose a new method for estimating $\{z_n\}_{n=1}^\infty$, which includes the data transformation preceding the clustering, in order to reduce the information loss. To confirm its efficiency, we compare this new approach with the usual one when applied on the simulated and the real-life data, and notice all the benefits obtained from our method.


title: Metrics on End-Periodic Manifolds as Models for Dark Matter

abstract: In this paper we will detail an approach to generate metrics and matter models on end-periodic manifolds, which are used extensively in the study of the exotic smooth structures of $\mathbb{R}^4$. We will present three distinct examples, discuss their associated matter models by solving the Einstein equations, and determine their physical viability by examining the energy conditions. We will also compare one of the models directly with existing models of matter distributions in extragalactic systems, to highlight the viability of utilizing exotic smooth structures to understand the existence and distribution of dark matter.


title: Doping controlled Fano resonance in bilayer 1T$ ^{\prime} $-ReS$ _{2} $: Raman experiments and first-principles theoretical analysis

abstract: In the bilayer ReS$ _{2} $ channel of a field-effect transistor (FET), we demonstrate using Raman spectroscopy that electron doping (n) results in softening of frequency and broadening of linewidth of the in-plane vibrational modes, leaving out-of-plane vibrational modes unaffected. Largest change is observed for the in-plane Raman mode at $\sim$ 151 cm$^{-1} $, which also shows doping induced Fano resonance with the Fano parameter 1/q = -0.17 at doping concentration of $\sim 3.7\times10^{13}$ cm$^{-2} $. A quantitative understanding of our results is provided by first-principles density functional theory (DFT), showing that the electron-phonon coupling (EPC) of in-plane modes is stronger than that of out-of-plane modes, and its variation with doping is independent of the layer stacking. The origin of large EPC is traced to 1T to 1T$ ^{\prime} $ structural phase transition of ReS$ _{2} $ involving in-plane displacement of atoms whose instability is driven by the nested Fermi surface of the 1T structure. Results are also compared with the isostructural trilayer ReSe$ _{2} $.


title: Towards Learning a Vocabulary of Visual Concepts and Operators using Deep Neural Networks

abstract: Deep neural networks have become the default choice for many applications like image and video recognition, segmentation and other image and video related tasks.However, a critical challenge with these models is the lack of explainability.This requirement of generating explainable predictions has motivated the research community to perform various analysis on trained models.In this study, we analyze the learned feature maps of trained models using MNIST images for achieving more explainable predictions.Our study is focused on deriving a set of primitive elements, here called visual concepts, that can be used to generate any arbitrary sample from the data generating distribution.We derive the primitive elements from the feature maps learned by the model.We illustrate the idea by generating visual concepts from a Variational Autoencoder trained using MNIST images.We augment the training data of MNIST dataset by adding about 60,000 new images generated with visual concepts chosen at random.With this we were able to reduce the reconstruction loss (mean square error) from an initial value of 120 without augmentation to 60 with augmentation.Our approach is a first step towards the final goal of achieving trained deep neural network models whose predictions, features in hidden layers and the learned filters can be well explained.Such a model when deployed in production can easily be modified to adapt to new data, whereas existing deep learning models need a re training or fine tuning. This process again needs a huge number of data samples that are not easy to generate unless the model has good explainability.


title: An explicit isomorphism of different representations of the Ext functor using residue currents

abstract: Let $\mathcal{F}$ be a coherent $\mathcal{O}_X$-module over a complex manifold $X$, and let $G$ be a vector bundle on $X$. We describe an explicit isomorphism between two different representations of the global $\DeclareMathOperator{\Ext}{Ext}\Ext$ groups $\DeclareMathOperator{\Ext}{Ext}\Ext^k(\mathcal{F},G)$. The first representation is given by the cohomology of a twisted complex in the sense of Toledo and Tong, and the second one is obtained from the Dolbeault complex associated with $G$. A key tool that we introduce for explicitly describing this isomorphism is a residue current associated with a twisted resolution of $\mathcal{F}$.


title: Autonomous Cooperative Multi-Vehicle System for Interception of Aerial and Stationary Targets in Unknown Environments

abstract: This paper presents the design, development, and testing of hardware-software systems by the IISc-TCS team for Challenge 1 of the Mohammed Bin Zayed International Robotics Challenge 2020. The goal of Challenge 1 was to grab a ball suspended from a moving and maneuvering UAV and pop balloons anchored to the ground, using suitable manipulators. The important tasks carried out to address this challenge include the design and development of a hardware system with efficient grabbing and popping mechanisms, considering the restrictions in volume and payload, design of accurate target interception algorithms using visual information suitable for outdoor environments, and development of a software architecture for dynamic multi-agent aerial systems performing complex dynamic missions. In this paper, a single degree of freedom manipulator attached with an end-effector is designed for grabbing and popping, and robust algorithms are developed for the interception of targets in an uncertain environment. Vision-based guidance and tracking laws are proposed based on the concept of pursuit engagement and artificial potential function. The software architecture presented in this work proposes an Operation Management System (OMS) architecture that allocates static and dynamic tasks collaboratively among multiple UAVs to perform any given mission. An important aspect of this work is that all the systems developed were designed to operate in completely autonomous mode. A detailed description of the architecture along with simulations of complete challenge in the Gazebo environment and field experiment results are also included in this work. The proposed hardware-software system is particularly useful for counter-UAV systems and can also be modified in order to cater to several other applications.


title: Looking at the whole picture: constrained unsupervised anomaly segmentation

abstract: Current unsupervised anomaly localization approaches rely on generative models to learn the distribution of normal images, which is later used to identify potential anomalous regions derived from errors on the reconstructed images. However, a main limitation of nearly all prior literature is the need of employing anomalous images to set a class-specific threshold to locate the anomalies. This limits their usability in realistic scenarios, where only normal data is typically accessible. Despite this major drawback, only a handful of works have addressed this limitation, by integrating supervision on attention maps during training. In this work, we propose a novel formulation that does not require accessing images with abnormalities to define the threshold. Furthermore, and in contrast to very recent work, the proposed constraint is formulated in a more principled manner, leveraging well-known knowledge in constrained optimization. In particular, the equality constraint on the attention maps in prior work is replaced by an inequality constraint, which allows more flexibility. In addition, to address the limitations of penalty-based functions we employ an extension of the popular log-barrier methods to handle the constraint. Comprehensive experiments on the popular BRATS'19 dataset demonstrate that the proposed approach substantially outperforms relevant literature, establishing new state-of-the-art results for unsupervised lesion segmentation.


title: The algebraic classification of nilpotent commutative $\mathfrak{CD}$-algebras

abstract: An algebraic classification of complex $5$-dimensional nilpotent commutative $\mathfrak{CD}$-algebras is given. This classification is based on an algebraic classification of complex $5$-dimensional nilpotent Jordan algebras.


title: Impossibility Results in AI: A Survey

abstract: An impossibility theorem demonstrates that a particular problem or set of problems cannot be solved as described in the claim. Such theorems put limits on what is possible to do concerning artificial intelligence, especially the super-intelligent one. As such, these results serve as guidelines, reminders, and warnings to AI safety, AI policy, and governance researchers. These might enable solutions to some long-standing questions in the form of formalizing theories in the framework of constraint satisfaction without committing to one option. We strongly believe this to be the most prudent approach to long-term AI safety initiatives. In this paper, we have categorized impossibility theorems applicable to AI into five mechanism-based categories: deduction, indistinguishability, induction, tradeoffs, and intractability. We found that certain theorems are too specific or have implicit assumptions that limit application. Also, we added new results (theorems) such as the unfairness of explainability, the first explainability-related result in the induction category. The remaining results deal with misalignment between the clones and put a limit to the self-awareness of agents. We concluded that deductive impossibilities deny 100%-guarantees for security. In the end, we give some ideas that hold potential in explainability, controllability, value alignment, ethics, and group decision-making. They can be deepened by further investigation.


title: Accelerating an Iterative Eigensolver for Nuclear Structure Configuration Interaction Calculations on GPUs using OpenACC

abstract: To accelerate the solution of large eigenvalue problems arising from many-body calculations in nuclear physics on distributed-memory parallel systems equipped with general-purpose Graphic Processing Units (GPUs), we modified a previously developed hybrid MPI/OpenMP implementation of an eigensolver written in FORTRAN 90 by using an OpenACC directives based programming model. Such an approach requires making minimal changes to the original code and enables a smooth migration of large-scale nuclear structure simulations from a distributed-memory many-core CPU system to a distributed GPU system. However, in order to make the OpenACC based eigensolver run efficiently on GPUs, we need to take into account the architectural differences between a many-core CPU and a GPU device. Consequently, the optimal way to insert OpenACC directives may be different from the original way of inserting OpenMP directives. We point out these differences in the implementation of sparse matrix-matrix multiplications (SpMM), which constitutes the main cost of the eigensolver, as well as other differences in the preconditioning step and dense linear algebra operations. We compare the performance of the OpenACC based implementation executed on multiple GPUs with the performance on distributed-memory many-core CPUs, and demonstrate significant speedup achieved on GPUs compared to the on-node performance of a many-core CPU. We also show that the overall performance improvement of the eigensolver on multiple GPUs is more modest due to the communication overhead among different MPI ranks.


title: Survey of Low-Resource Machine Translation

abstract: We present a survey covering the state of the art in low-resource machine translation research. There are currently around 7000 languages spoken in the world and almost all language pairs lack significant resources for training machine translation models. There has been increasing interest in research addressing the challenge of producing useful translation models when very little translated training data is available. We present a summary of this topical research field and provide a description of the techniques evaluated by researchers in several recent shared tasks in low-resource MT.


title: Costly Multidimensional Screening

abstract: A screening instrument is costly if it is socially wasteful and productive otherwise. A principal screens an agent with multidimensional private information and quasilinear preferences that are additively separable across two components: a one-dimensional productive component and a multidimensional costly component. Can the principal improve upon simple one-dimensional mechanisms by also using the costly instruments? We show that if the agent has preferences between the two components that are positively correlated in a suitably defined sense, then simply screening the productive component is optimal. The result holds for general type and allocation spaces, and allows for nonlinear and interdependent valuations. We discuss applications to multiproduct pricing (including bundling, quality discrimination, and upgrade pricing), intertemporal price discrimination, and labor market screening.


title: Updated search for $B_c^+$ decays to two charm mesons

abstract: A data set corresponding to an integrated luminosity of $9 \text{fb}^{-1}$ of proton-proton collisions collected by the LHCb experiment has been analysed to search for $B_c^+ \to D^{(*)+}_{(s)} \overset{\scriptstyle (-)}{D}{}^{(*)0}$ decays. The decays are fully or partially reconstructed, where one or two missing neutral pions or photons from the decay of an excited charm meson are allowed. Upper limits for the branching fractions, normalised to $B^+$ decays to final states with similar topologies, are obtained for fourteen $B_c^+$ decay modes. For the decay $B_c^+ \to D_s^+ {\overline{D}}^0$, an excess with a significance of 3.4 standard deviations is found.


title: Space-time statistics of a linear dynamical energy cascade model

abstract: A linear dynamical model for the development of the turbulent energy cascade was introduced in Apolin\'ario \emph{et al} (J. Stat. Phys. \textbf{186}, 15 (2022)). This partial differential equation, randomly stirred by a forcing term which is smooth in space and delta-correlated in time, was shown to converge at infinite time towards a state of finite variance, without the aid of viscosity. Furthermore, the spatial profile of its solution gets rough, with the same regularity as a fractional Gaussian field. We here focus on the temporal behavior and derive explicit asymptotic predictions for the correlation function in time of this solution and observe that their regularity is not influenced by the spatial regularity of the problem, only by the correlation in time of the stirring contribution. We also show that the correlation in time of the solution depends on the position, contrary to its correlation in space at fixed times. We then investigate the influence of a forcing which is correlated in time on the spatial and time statistics of this equation. In this situation, while for small correlation times the homogeneous spatial statistics of the white-in-time case are recovered, for large correlation times homogeneity is broken, and a concentration around the origin of the system is observed in the velocity profiles. In other words, this fractional velocity field is a representation in one-dimension, through a linear dynamical model, of the self-similar velocity fields proposed by Kolmogorov in 1941, but only at fixed times, for a delta-correlated forcing, in which case the spatial statistics is homogeneous and rough, as expected of a turbulent velocity field. The regularity in time of turbulence, however, is not captured by this model.


title: Controllability of a simplified fluid-structure interaction system

abstract: We are interested by the controllability of a fluid-structure interaction system where the fluid is viscous and incompressible and where the structure is elastic and located on a part of the boundary of the fluid's domain. In this article, we simplify this system by considering a linearization and by replacing the wave/plate equation for the structure by a heat equation. We show that the corresponding system coupling the Stokes equations with a heat equation at its boundary is null-controllable. The proof is based on Carleman estimates and interpolation inequalities. One of the Carleman estimates corresponds to the case of Ventcel boundary conditions. This work can be seen as a first step to handle the real system where the structure is modeled by the wave or the plate equation.


title: Influence of Rashba spin-orbit and Rabi couplings on the miscibility and ground state phases of binary Bose-Einstein condensates

abstract: We study the miscibility properties and ground state phases of two-component spin-orbit (SO) coupled Bose-Einstein condensates (BECs) in a harmonic trap with strong axial confinement. By numerically solving the coupled Gross-Pitaevskii equations in the two-dimensional setting, we analyze the SO-coupled BECs for two possible permutations of the intra- and interspecies interactions, namely (i) weak intra- and weak interspecies interactions (W-W) and (ii) weak intra- and strong interspecies interactions (W-S). Considering the density overlap integral as a miscibility order parameter, we investigate the miscible-immiscible transition by varying the coupling parameters. We obtain various ground state phases, including plane wave, half quantum vortex, elongated plane wave, and different stripe wave patterns for W-W interactions. For finite Rabi coupling, an increase in SO coupling strength leads to the transition from the fully miscible to the partially miscible state. We also characterize different ground states in the coupling parameter space using the root mean square sizes of the condensate. The spin density vector for the ground state phases exhibits density, quadrupole and dipole like spin polarizations. For the W-S interaction, in addition to that observed in the W-W case, we witness semi vortex, mixed mode, and shell-like immiscible phases. We notice a wide variety of spin polarizations, such as density, dipole, quadrupole, symbiotic, necklace, and stripe-like patterns for the W-S case. A detailed investigation in the coupling parameter space indicates immiscible to miscible state phase transition upon varying the Rabi coupling for a fixed Rashba SO coupling. The critical Rabi coupling for the immiscible-miscible phase transition decreases upon increasing the SO coupling strength.


title: Discrete-variable quantum key distribution with homodyne detection

abstract: Most quantum key distribution (QKD) protocols can be classified as either a discrete-variable (DV) protocol or continuous-variable (CV) protocol, based on how classical information is being encoded. We propose a protocol that combines the best of both worlds -- the simplicity of quantum state preparation in DV-QKD together with the cost-effective and high-bandwidth of homodyne detectors used in CV-QKD. Our proposed protocol has two highly practical features: (1) it does not require the honest parties to share the same reference phase (as required in CV-QKD) and (2) the selection of decoding basis can be performed after measurement. We also prove the security of the proposed protocol in the asymptotic limit under the assumption of collective attacks. Our simulation suggests that the protocol is suitable for secure and high-speed practical key distribution over metropolitan distances.


title: Tukey's Depth for Object Data

abstract: We develop a novel exploratory tool for non-Euclidean object data based on data depth, extending the celebrated Tukey's depth for Euclidean data. The proposed metric halfspace depth, applicable to data objects in a general metric space, assigns to data points depth values that characterize the centrality of these points with respect to the distribution and provides an interpretable center-outward ranking. Desirable theoretical properties that generalize standard depth properties postulated for Euclidean data are established for the metric halfspace depth. The depth median, defined as the deepest point, is shown to have high robustness as a location descriptor both in theory and in simulation. We propose an efficient algorithm to approximate the metric halfspace depth and illustrate its ability to adapt to the intrinsic data geometry. The metric halfspace depth was applied to an Alzheimer's disease study, revealing group differences in the brain connectivity, modeled as covariance matrices, for subjects in different stages of dementia. Based on phylogenetic trees of 7 pathogenic parasites, our proposed metric halfspace depth was also used to construct a meaningful consensus estimate of the evolutionary history and to identify potential outlier trees.


title: Fully bio-based Poly (Glycerol-Itaconic acid) as supporter for PEG based form stable phase change materials

abstract: A novel fully bio-based Poly (Glycerol-Itaconic acid) (PGI) was designed and highly efficiently synthesized by solvent-free polycondensation. The Poly (ethylene glycol) (PEG) was used as the phase change materials (PCM) working substance and encapsulated by the sustainable PGI supporter. PEG chains were tightly encapsulated with the PGI supporting material mainly under hydrogen bonds due to the structural compatibility between PGI and PEG. The PCMs can achieve high form stability and high phase change enthalpies in the same kinds of PCMs. Furthermore, the phase change temperatures and enthalpies of the PCMs can be adjusted conveniently by regulating the PEG content and molecular weight. Notably, this process extremely facilitates the realization of efficient mass production due to the eco-friendly nature, high efficiency and low cost.


title: Retrolensing by light rays slightly inside and outside of a photon sphere around a Reissner-Nordstr\"{o}m naked singularity

abstract: We investigate retrolensing of sunlights reflected by a photon sphere and by a potential barrier near an antiphoton sphere around a Reissner-Nordstr\"{o}m naked singularity. We apply the deflection angles of light rays in strong deflection limits to the retrolensing. We show that the retrolensing by the photon sphere around the Reissner-Nordstr\"{o}m naked singularity can be brighter than the one around a Reissner-Nordstr\"{o}m black hole because of the existence of the rays which reflected by the potential barrier.


title: Optimal derivative loss for abstract wave equations

abstract: We consider an abstract wave equation with a propagation speed that depends only on time. We assume that the propagation speed is differentiable for positive times, continuous up to the origin, but with first derivative that is potentially singular at the origin. We examine the derivative loss of solutions, and in particular we investigate which conditions on the modulus of continuity and on the behavior of the derivative in the origin yield, respectively, no derivative loss, an arbitrarily small derivative loss, a finite derivative loss, or an infinite derivative loss. As expected, we obtain that stronger assumptions on the modulus of continuity can compensate weaker assumptions on the growth of the derivative, and viceversa. Suitable counterexamples show that our results are sharp. We prove indeed that, for every set of conditions, the class of propagation speeds that satisfy the given conditions, and for which the corresponding equation exhibits a derivative loss as large as possible, is nonempty and actually also residual in the sense of Baire category.


title: The Kennicutt-Schmidt law and the main sequence of galaxies in Newtonian and Milgromian dynamics

abstract: The Kennicutt-Schmidt law is an empirical relation between the star formation rate surface density ($\Sigma_{SFR}$) and the gas surface density ($\Sigma_{gas}$) in disc galaxies. The relation has a power-law form $\Sigma_{SFR} \propto \Sigma_{gas}^n$. Assuming that star formation results from gravitational collapse of the interstellar medium, $\Sigma_{SFR}$ can be determined by dividing $\Sigma_{gas}$ by the local free-fall time $t_{ff}$. The formulation of $t_{ff}$ yields the relation between $\Sigma_{SFR}$ and $\Sigma_{gas}$, assuming that a constant fraction ($\varepsilon_{SFE}$) of gas is converted into stars every $t_{ff}$. This is done here for the first time using Milgromian dynamics (MOND). Using linear stability analysis of a uniformly rotating thin disc, it is possible to determine the size of a collapsing perturbation within it. This lets us evaluate the sizes and masses of clouds (and their $t_{ff}$) as a function of $\Sigma_{gas}$ and the rotation curve. We analytically derive the relation $\Sigma_{SFR} \propto \Sigma_{gas}^{n}$ both in Newtonian and Milgromian dynamics, finding that $n=1.4$. The difference between the two cases is a change only to the constant pre-factor, resulting in increased $\Sigma_{SFR}$ of up to 25\% using MOND in the central regions of dwarf galaxies. Due to the enhanced role of disk self-gravity, star formation extends out to larger galactocentric radii than in Newtonian gravity, with the clouds being larger. In MOND, a nearly exact representation of the present-day main sequence of galaxies is obtained if $\epsilon_{SFE} = \text{constant} \approx 1.1\%$. We also show that empirically found correction terms to the Kennicutt-Schmidt law are included in the here presented relations. Furthermore, we determine that if star formation is possible, then the temperature only affects $\Sigma_{SFR}$ by at most a factor of $\sqrt{2}$.


title: The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results

abstract: This report summarizes the second International Verification of Neural Networks Competition (VNN-COMP 2021), held as a part of the 4th Workshop on Formal Methods for ML-Enabled Autonomous Systems that was collocated with the 33rd International Conference on Computer-Aided Verification (CAV). Twelve teams participated in this competition. The goal of the competition is to provide an objective comparison of the state-of-the-art methods in neural network verification, in terms of scalability and speed. Along this line, we used standard formats (ONNX for neural networks and VNNLIB for specifications), standard hardware (all tools are run by the organizers on AWS), and tool parameters provided by the tool authors. This report summarizes the rules, benchmarks, participating tools, results, and lessons learned from this competition.


title: Multi-charge Transfer from Photodoped ITO Nanocrystals

abstract: Metal oxide nanocrystals are emerging as extremely versatile material for addressing many of the current challenging demands of energy-conversion technology. Being able to exploit their full potential is not only an advantage but also a scientific and economic ambition for a more sustainable energy technology. In this direction, photodoping of metal oxide nanocrystals is a very notable process that allows accumulating multiple charge carriers per nanocrystals after light absorption. The reactivity of the photodoped electrons is currently the subject of an intense study. In this context, the possibility to efficiently extract the stored electrons could be beneficial for numerous processes, from photoconversion and sunlight energy storage, to photocatalysis and photoelectrochemistry. In this work we provide, via oxidative titration and optical spectroscopy, evidence for multi-electron transfer processes from photodoped Sn:In2O3 nanocrystals to a widely employed organic electron acceptor (F4TCNQ). The results of this study disclose the potential of photodoped electrons to drive chemical reactions involving more than one electron at a time.


title: Impact of RNA Melting on Hydrating Water Structure Mapped by Femtosecond 2D-IR Spectroscopy

abstract: We discern hydration geometries around the sugar-phosphate-backbone of an RNA double helix at the molecular level. RNA disordering upon melting is connected with a transition from ordered water structures towards local phosphate group hydration shells.


title: Fermi level equilibration at the metal-molecule interface in plasmonic systems

abstract: We highlight a new metal-molecule charge transfer process by tuning the Fermi energy of plasmonic silver nanoparticles (AgNPs) in-situ. The strong adsorption of halide ions upshifts the Fermi level of AgNPs by up to ~0.3 eV in the order: Cl-<Br-<I-, favoring the spontaneous charge transfer to aligned molecular acceptor orbitals until charge neutrality across the interface is achieved. By carefully quantifying experimentally and theoretically the Fermi level upshift, we show for the first time that this effect is comparable in energy to different plasmonic effects such as the plasmoelectric effect or hot-carriers production. Moreover, by monitoring in-situ the adsorption dynamic of halide ions in different AgNP-molecule systems, we show for the first time that the catalytic role of halide ions in plasmonic nanostructures depends on the surface affinity of halide ions compared to that of the target molecule.


title: The lengths for which bicrucial square-free permutations exist

abstract: A square is a factor $S = (S_1; S_2)$ where $S_1$ and $S_2$ have the same pattern, and a permutation is said to be square-free if it contains no non-trivial squares. The permutation is further said to be bicrucial if every extension to the left or right contains a square. We completely classify for which $n$ there exists a bicrucial square-free permutation of length $n$.


title: Darboux Covariance: A Hidden Symmetry of Perturbed Schwarzschild Black Holes

abstract: Starting from the infinite set of possible master equations for the perturbations of Schwarzschild black holes, with master functions linear in the metric perturbations and their first-order derivatives, we show that of all them are connected via Darboux transformations. These transformations preserve physical quantities like the quasinormal mode frequencies and the infinite hierarchy of Korteweg-de Vries conserved quantities, revealing a new hidden symmetry in the description of the perturbations of Schwarzschild black holes: Darboux covariance.


title: Thickness dependent transition from the 1T$^\prime$ to Weyl semimetal phase in ultrathin MoTe$ _{2} $: Electrical transport, Noise and Raman studies

abstract: Bulk 1T$^\prime$-MoTe$_2$ shows a structural phase transition from 1T$^\prime$ to Weyl semimetallic (WSM) $ T_{d} $ phase at $\sim$ 240 K. This phase transition and transport properties in the two phases have not been investigated on ultra-thin crystals. Here we report electrical transport, $1/f$ noise and Raman studies in ultra-thin 1T$^\prime$-MoTe$_2$ ($\sim$ 5 to 16 nm thick) field-effect transistors (FETs) devices as a function of temperature. The electrical resistivities for thickness 16 nm and 11 nm show maxima at temperatures 208 K and 178 K, respectively, making a transition from semiconducting to semi-metallic phase, hitherto not observed in bulk samples. Raman frequencies and linewidths for 11nm thick crystal show change around 178 K, attributed to additional contribution to the phonon self-energy due to enhanced electron-phonon interaction in the WSM phase. Further, the resistivity at low-temperature shows an upturn below 20 K along with the maximum in the power spectral density of the low frequency $1/f$ noise. The latter rules out the metal-insulator transition (MIT) being responsible for the upturn of resistivity below 20 K. The low temperature resistivity follows $\rho \propto 1/T$, changing to $\rho \propto T$ with increasing temperature supports electron-electron interaction physics at electron-hole symmetric Weyl nodes below 20 K. These observations will pave the way to unravel the properties of WSM state in layered ultra-thin van der Waals materials.


title: Solving the Discrete Euler-Arnold Equations for the Generalized Rigid Body Motion

abstract: We propose three iterative methods for solving the Moser-Veselov equation, which arises in the discretization of the Euler-Arnold differential equations governing the motion of a generalized rigid body. We start by formulating the problem as an optimization problem with orthogonal constraints and proving that the objective function is convex. Then, using techniques from optimization on Riemannian manifolds, the three feasible algorithms are designed. The first one splits the orthogonal constraints using the Bregman method, whereas the other two methods are of the steepest-descent type. The second method uses the Cayley-transform to preserve the constraints and a Barzilai-Borwein step size, while the third one involves geodesics, with the step size computed by Armijo's rule. Finally, a set of numerical experiments are carried out to compare the performance of the proposed algorithms, suggesting that the first algorithm has the best performance in terms of accuracy and number of iterations. An essential advantage of these iterative methods is that they work even when the conditions for applicability of the direct methods available in the literature are not satisfied.


title: Enabling Retargetable Optimizing Compilers for Quantum Accelerators via a Multi-Level Intermediate Representation

abstract: We present a multi-level quantum-classical intermediate representation (IR) that enables an optimizing, retargetable, ahead-of-time compiler for available quantum programming languages. To demonstrate our architecture, we leverage our proposed IR to enable a compiler for version 3 of the OpenQASM quantum language specification. We support the entire gate-based OpenQASM 3 language and provide custom extensions for common quantum programming patterns and improved syntax. Our work builds upon the Multi-level Intermediate Representation (MLIR) framework and leverages its unique progressive lowering capabilities to map quantum language expressions to the LLVM machine-level IR. We provide both quantum and classical optimizations via the MLIR pattern rewriting sub-system and standard LLVM optimization passes, and demonstrate the programmability, compilation, and execution of our approach via standard benchmarks and test cases. In comparison to other standalone language and compiler efforts available today, our work results in compile times that are 1000x faster than standard Pythonic approaches, and 5-10x faster than comparative standalone quantum language compilers. Our compiler provides quantum resource optimizations via standard programming patterns that result in a 10x reduction in entangling operations, a common source of program noise. Ultimately, we see this work as a vehicle for rapid quantum compiler prototyping enabling language integration, optimizations, and interoperability with classical compilation approaches.


title: Characterizing the generalized complementarity polytope with extractable information from MUBs

abstract: Complementarity polytope is a geometric structure that exists in N2-1 dimensional space for an N dimensional Hilbert space. The existence of N + 1 mutually unbiased bases(MUBs) is possible, if such a polytope can be shown to be a subset of density matrices, which is a very difficult task. With the hope of simplifying this task, we have shown in this work that, the complementarity polytope can be characterized by the total extractable information from N+1 MUBs. We also demonstrate that t less than (N+1) number of MUBs also form a polytope that exists in t(N-1) dimensional space, which we refer to as generalized complementarity polytope. The generalized complementarity polytope can also be characterized by total extractable information from t MUBs.


title: Recent Progress on Synthesis, Characterization, and Applications of Metal Halide Perovskites@Metal Oxide

abstract: Metal halide perovskites (MHPs) have become a promising candidate in a myriad of applications, such as light-emitting diodes, solar cells, lasing, photodetectors, photocatalysis, transistors, etc. This is related to the synergy of their excellent features, including high photoluminescence quantum yields, narrow and tunable emission, long charge carrier lifetimes, broad absorption spectrum along with high extinction absorptions coefficients, among others. However, the main bottleneck is the poor stability of the MHPs under ambient conditions. This is imposing severe restrictions with respect to their industrialized applications and commercialization. In this context, metal oxide (MOx) coatings have recently emerged as an efficient strategy towards overcoming the stabilities issues as well as retain the excellent properties of the MHPs, and therefore facilitate the development of the related devices stabilities and performances.This review provides a summary of the recent progress on synthetic methods, enhanced features, the techniques to assess the MHPs-MOxcomposites, and applications of the MHPs@MOx.Specially, novel approaches to fabricate the composites and new applications of the composites are also reported in this review for the first time. This is rounded by a critical outlook about the current MHPs stability issues and the further direction to ensure a bright future of MHPs@MOx


title: The African School of Fundamental Physics and Applications Activity Report 2019-2021

abstract: The sixth edition of the African School of Fundamental and Applied Physics (ASP) was planned for Morocco in July 2020 and was referred to as ASP2020. Preparations were at an advanced stage when ASP2020 was postponed because of the COVID-19 pandemic. The three-week event was restructured into two activities in 2021 -- an online event on July 19-30, 2021 and a hybrid event on December 12-18, 2021 -- and was renamed ASP2021. At the beginning of the COVID-19 pandemic, an online lecture series was integrated into the ASP activities. The ASP mentorship program, which consists of online engagements between lecturers and assigned mentees, continued in this way. ASP alumni studied one year of COVID-19 data of ten African countries to offer insights into pandemic containment measures. In this note, we report on ASP activities since the last in-person edition of ASP in 2018 in Namibia.


title: Measuring the Density Structure of an Accretion Hot Spot

abstract: Magnetospheric accretion models predict that matter from protoplanetary disks accretes onto the star via funnel flows which follow the stellar field lines and shock on the stellar surface leaving a hot spot with a density gradient. Previous work has inferred different densities in the hot spot, but has not been sensitive to the radial density distribution. Attempts have been made to measure this with X-ray observations, but X-ray emission only traces a fraction of the hot spot and also coronal emission. Here we report periodic ultraviolet and optical light curves of the accreting star GM Aur that display a time lag of about 1 day between their peaks. The periodicity arises as the source of the ultraviolet and optical emission moves into and out of view as it rotates along with the star. The time-lag indicates a difference in the spatial distribution of ultraviolet and optical brightness over the stellar surface. Within the framework of the magnetospheric accretion model, this indicates a radial density gradient in a hot spot on the stellar surface since different density parts of the hot spot are expected to emit radiation at different wavelengths. These results are the first observational confirmation of the magnetospheric accretion model's prediction of a density gradient in the hot spot and demonstrate the insights gained from focusing on the wavelengths where the bulk of the accretion energy can be observed.


title: DAG-type Distributed Ledgers via Young-age Preferential Attachment

abstract: Distributed Ledger Technologies provide a mechanism to achieve ordering among transactions that are scattered on multiple participants with no prerequisite trust relations. This mechanism is essentially based on the idea of new transactions referencing older ones in a chain structure. Recently, DAG-type Distributed Ledgers that are based on directed acyclic graphs (DAGs) were proposed to increase the system scalability through sacrificing the total order of transactions. In this paper, we develop a mathematical model to study the process that governs the addition of new transactions to the DAG-type Distributed Ledger. We propose a simple model for DAG-type Distributed Ledgers that are obtained from a recursive Young-age Preferential Attachment scheme, i.e. new connections are made preferably to transactions that have not been in the system for very long. We determine the asymptotic degree structure of the resulting graph and show that a forward component of linear size arises if the edge density is chosen sufficiently large in relation to the `young-age preference' that tunes how quickly old transactions become unattractive.


title: Common Objects in 3D: Large-Scale Learning and Evaluation of Real-life 3D Category Reconstruction

abstract: Traditional approaches for learning 3D object categories have been predominantly trained and evaluated on synthetic datasets due to the unavailability of real 3D-annotated category-centric data. Our main goal is to facilitate advances in this field by collecting real-world data in a magnitude similar to the existing synthetic counterparts. The principal contribution of this work is thus a large-scale dataset, called Common Objects in 3D, with real multi-view images of object categories annotated with camera poses and ground truth 3D point clouds. The dataset contains a total of 1.5 million frames from nearly 19,000 videos capturing objects from 50 MS-COCO categories and, as such, it is significantly larger than alternatives both in terms of the number of categories and objects. We exploit this new dataset to conduct one of the first large-scale "in-the-wild" evaluations of several new-view-synthesis and category-centric 3D reconstruction methods. Finally, we contribute NerFormer - a novel neural rendering method that leverages the powerful Transformer to reconstruct an object given a small number of its views. The CO3D dataset is available at https://github.com/facebookresearch/co3d .


title: A counterexample to the conjectured Planckian bound on transport

abstract: It has recently been conjectured that the transport relaxation rate in metals is bounded above by the temperature of the system. In this work, we discuss the transport phenomenology of overdoped electron-doped cuprates, which we show constitute an unambiguous counterexample to this putative "Planckian" bound, raising serious questions about the efficacy of the bound.