title: Stability and $\mathcal{H}_{\infty}$ Performance Analysis of Stochastic Linear Networked and Quantized Control Systems

abstract: This paper studies the stability and $\mathcal{H}_{\infty}$ performance analysis problem for linear networked and quantized control systems with both communication delays random packet losses. To deal with the network-induced uncertainties and random packet dropouts, a novel discrete-time stochastic system model is developed for continuous-time networked control systems, and further overapproximated via a polytopic system with norm-bounded uncertainty. Based on the overapproximated system model, sufficient conditions are established for linear networked and quantized control systems in different cases to guarantee input-to-state stability and $\mathcal{H}_{\infty}$ performance with respect to the network-induced errors. Finally, a numerical example is presented to illustrated the developed results.


title: On the privacy-utility trade-off in differentially private hierarchical text classification

abstract: Hierarchical text classification consists in classifying text documents into a hierarchy of classes and sub-classes. Although artificial neural networks have proved useful to perform this task, unfortunately they can leak training data information to adversaries due to training data memorization. Using differential privacy during model training can mitigate leakage attacks against trained models, enabling the models to be shared safely at the cost of reduced model accuracy. This work investigates the privacy-utility trade-off in hierarchical text classification with differential privacy guarantees, and identifies neural network architectures that offer superior trade-offs. To this end, we use a white-box membership inference attack to empirically assess the information leakage of three widely used neural network architectures. We show that large differential privacy parameters already suffice to completely mitigate membership inference attacks, thus resulting only in a moderate decrease in model utility. More specifically, for large datasets with long texts we observed Transformer-based models to achieve an overall favorable privacy-utility trade-off, while for smaller datasets with shorter texts convolutional neural networks are preferable.


title: A novel stellar spectrum denoising method based on deep Bayesian modeling

abstract: Spectrum denoising is an important procedure for large-scale spectroscopical surveys. This work proposes a novel stellar spectrum denoising method based on deep Bayesian modeling. The construction of our model includes a prior distribution for each stellar subclass, a spectrum generator and a flow-based noise model. Our method takes into account the noise correlation structure, and it is not susceptible to strong sky emission lines and cosmic rays. Moreover, it is able to naturally handle spectra with missing flux values without ad-hoc imputation. The proposed method is evaluated on real stellar spectra from the Sloan Digital Sky Survey (SDSS) with a comprehensive list of common stellar subclasses and compared to the standard denoising auto-encoder. Our denoising method demonstrates superior performance to the standard denoising auto-encoder, in respect of denoising quality and missing flux imputation. It may be potentially helpful in improving the accuracy of the classification and physical parameter measurement of stars when applying our method during data preprocessing.


title: Stability of traveling waves for the Burgers-Hilbert equation

abstract: We consider smooth solutions of the Burgers-Hilbert equation that are a small perturbation $\delta$ from a global periodic traveling wave with small amplitude $\epsilon$. We use a modified energy method to prove the existence time of smooth solutions on a time scale of $\frac{1}{\epsilon\delta}$ with $0<\delta\ll\epsilon\ll1$ and on a time scale of $\frac{\epsilon}{\delta^2}$ with $0<\delta\ll\epsilon^2\ll1$. Moreover, we show that the traveling wave exists for an amplitude $\epsilon$ in the range $(0,\epsilon^*)$ with $\epsilon^*\sim 0.23$ and fails to exist for $\epsilon>\frac{2}{e}$.


title: Fast Tucker Rank Reduction for Non-Negative Tensors Using Mean-Field Approximation

abstract: We present an efficient low-rank approximation algorithm for non-negative tensors. The algorithm is derived from our two findings: First, we show that rank-1 approximation for tensors can be viewed as a mean-field approximation by treating each tensor as a probability distribution. Second, we theoretically provide a sufficient condition for distribution parameters to reduce Tucker ranks of tensors; interestingly, this sufficient condition can be achieved by iterative application of the mean-field approximation. Since the mean-field approximation is always given as a closed formula, our findings lead to a fast low-rank approximation algorithm without using a gradient method. We empirically demonstrate that our algorithm is faster than the existing non-negative Tucker rank reduction methods and achieves competitive or better approximation of given tensors.


title: End-to-end acoustic modelling for phone recognition of young readers

abstract: Automatic recognition systems for child speech are lagging behind those dedicated to adult speech in the race of performance. This phenomenon is due to the high acoustic and linguistic variability present in child speech caused by their body development, as well as the lack of available child speech data. Young readers speech additionally displays peculiarities, such as slow reading rate and presence of reading mistakes, that hardens the task. This work attempts to tackle the main challenges in phone acoustic modelling for young child speech with limited data, and improve understanding of strengths and weaknesses of a wide selection of model architectures in this domain. We find that transfer learning techniques are highly efficient on end-to-end architectures for adult-to-child adaptation with a small amount of child speech data. Through transfer learning, a Transformer model complemented with a Connectionist Temporal Classification (CTC) objective function, reaches a phone error rate of 28.1%, outperforming a state-of-the-art DNN-HMM model by 6.6% relative, as well as other end-to-end architectures by more than 8.5% relative. An analysis of the models' performance on two specific reading tasks (isolated words and sentences) is provided, showing the influence of the utterance length on attention-based and CTC-based models. The Transformer+CTC model displays an ability to better detect reading mistakes made by children, that can be attributed to the CTC objective function effectively constraining the attention mechanisms to be monotonic.


title: The effects of having lists of synonyms on the performance of Afaan Oromo Text Retrieval system

abstract: Obtaining relevant information from a collection of informational resources in Afaan Oromo is very important for Afaan Oromo speakers, developing a system that help users of Afaan Oromo is mandatory. That is why this study is envisioned to make possible retrieval of Afaan Oromo text documents by applying techniques of modern information retrieval system. In the developed Afaan Oromo prototype, Probabilistic approach was used as an information retrieval models and precision and recall measurement were used as the performance measurement or evaluation technique. Apache Solr was also used as an environmental programming language to achieve the evaluation goal. Afaan Oromo text retrieval is evaluated using 158 documents and 13 arbitrarily selected queries that can determine the effectiveness of retrieval using the precision-recall. The average result obtained by our evaluation before the addition of synonymy was 72.91% precision and 86.8% recall respectively. After the addition of synonymy, the value was changed to 71.39% average precision and 90.5% average recall. The F-measure for the evaluation before synonymy addition was 79.25% and after addition changed to 79.82%. The addition of synonymy improves the system performance by 0.57%. The study therefore, experimentally proves that the addition of the thesaurus system can improve the system performance. Spellchecking, pagination, hit highlighting and autosuggestion is also possible in the developed prototype for Afaan Oromo.


title: GAssert: A Fully Automated Tool to Improve Assertion Oracles

abstract: This demo presents the implementation and usage details of GASSERT, the first tool to automatically improve assertion oracles. Assertion oracles are executable boolean expressions placed inside the program that should pass (return true) for all correct executions and fail (return false) for all incorrect executions. Because designing perfect assertion oracles is difficult, assertions are prone to both false positives (the assertion fails but should pass) and false negatives (the assertion passes but should fail). Given a Java method containing an assertion oracle to improve, GASSERT returns an improved assertion with fewer false positives and false negatives than the initial assertion. Internally, GASSERT implements a novel co-evolutionary algorithm that explores the space of possible assertions guided by two fitness functions that reward assertions with fewer false positives, fewer false negatives, and smaller size.


title: Stochastic measure-valued models for populations expanding in a continuum

abstract: We model spatially expanding populations by means of two spatial $\Lambda$-Fleming Viot processes (or SLFVs) with selection: the k-parent SLFV and the $\infty$-parent SLFV. In order to do so, we fill empty areas with type 0 ''ghost'' individuals with a strong selective disadvantage against ''real'' type 1 individuals, quantified by a parameter k. The reproduction of ghost individuals is interpreted as local extinction events due to stochasticity in reproduction. When k $\rightarrow$ +$\infty$, the limiting process, corresponding to the $\infty$-parent SLFV, is reminiscent of stochastic growth models from percolation theory, but is associated to tools making it possible to investigate the genetic diversity in a population sample. In this article, we provide a rigorous construction of the $\infty$-parent SLFV, and show that it corresponds to the limit of the k-parent SLFV when k $\rightarrow$ +$\infty$. In order to do so, we introduce an alternative construction of the k-parent SLFV which allows us to couple SLFVs with different selection strengths and is of interest in its own right. We exhibit three different characterizations of the $\infty$-parent SLFV, which are valid in different settings and link together population genetics models and stochastic growth models.


title: Multidimensional fully adaptive lattice Boltzmann methods with error control based on multiresolution analysis

abstract: Lattice-Boltzmann methods are known for their simplicity, efficiency and ease of parallelization, usually relying on uniform Cartesian meshes with a strong bond between spatial and temporal discretization. This fact complicates the crucial issue of reducing the computational cost and the memory impact by automatically coarsening the grid where a fine mesh is unnecessary, still ensuring the overall quality of the numerical solution through error control. This work provides a possible answer to this interesting question, by connecting, for the first time, the field of lattice-Boltzmann Methods (LBM) to the adaptive multiresolution (MR) approach based on wavelets. To this end, we employ a MR multi-scale transform to adapt the mesh as the solution evolves in time according to its local regularity. The collision phase is not affected due to its inherent local nature and because we do not modify the speed of the sound, contrarily to most of the LBM/Adaptive Mesh Refinement (AMR) strategies proposed in the literature, thus preserving the original structure of any LBM scheme. Besides, an original use of the MR allows the scheme to resolve the proper physics by efficiently controlling the accuracy of the transport phase. We carefully test our method to conclude on its adaptability to a wide family of existing lattice Boltzmann schemes, treating both hyperbolic and parabolic systems of equations, thus being less problem-dependent than the AMR approaches, which have a hard time guaranteeing an effective control on the error. The ability of the method to yield a very efficient compression rate and thus a computational cost reduction for solutions involving localized structures with loss of regularity is also shown, while guaranteeing a precise control on the approximation error introduced by the spatial adaptation of the grid. The numerical strategy is implemented on a specific open-source platform called SAMURAI with a dedicated data-structure relying on set algebra.


title: Effective and Fast: A Novel Sequential Single Path Search for Mixed-Precision Quantization

abstract: Since model quantization helps to reduce the model size and computation latency, it has been successfully applied in many applications of mobile phones, embedded devices and smart chips. The mixed-precision quantization model can match different quantization bit-precisions according to the sensitivity of different layers to achieve great performance. However, it is a difficult problem to quickly determine the quantization bit-precision of each layer in deep neural networks according to some constraints (e.g., hardware resources, energy consumption, model size and computation latency). To address this issue, we propose a novel sequential single path search (SSPS) method for mixed-precision quantization,in which the given constraints are introduced into its loss function to guide searching process. A single path search cell is used to combine a fully differentiable supernet, which can be optimized by gradient-based algorithms. Moreover, we sequentially determine the candidate precisions according to the selection certainties to exponentially reduce the search space and speed up the convergence of searching process. Experiments show that our method can efficiently search the mixed-precision models for different architectures (e.g., ResNet-20, 18, 34, 50 and MobileNet-V2) and datasets (e.g., CIFAR-10, ImageNet and COCO) under given constraints, and our experimental results verify that SSPS significantly outperforms their uniform counterparts.


title: Probabilistic stabilizability certificates for a class of black-box linear systems

abstract: We provide out-of-sample certificates on the controlled invariance property of a given set with respect to a class of black-box linear systems. Specifically, we consider linear time-invariant models whose state space matrices are known only to belong to a certain family due to a possibly inexact quantification of some parameters. By exploiting a set of realizations of those undetermined parameters, verifying the controlled invariance property of the given set amounts to a linear program, whose feasibility allows us to establish an a-posteriori probabilistic certificate on the controlled invariance property of such a set with respect to the nominal linear time-invariant dynamics. The proposed framework is applied to the control of a networked multi-agent system with unknown weighted graph.


title: Humanoid Control Under Interchangeable Fixed and Sliding Unilateral Contacts

abstract: In this letter, we propose a whole-body control strategy for humanoid robots in multi-contact settings that enables switching between fixed and sliding contacts under active balance. We compute, in real-time, a safe center-of-mass position and wrench distribution of the contact points based on the Chebyshev center. Our solution is formulated as a quadratic programming problem without a priori computation of balance regions. We assess our approach with experiments highlighting switches between fixed and sliding contact modes in multi-contact configurations. A humanoid robot demonstrates such contact interchanges from fully-fixed to multi-sliding and also shuffling of the foot. The scenarios illustrate the performance of our control scheme in achieving the desired forces, CoM position attractor, and planned trajectories while actively maintaining balance.


title: Coordinate Attention for Efficient Mobile Network Design

abstract: Recent studies on mobile network design have demonstrated the remarkable effectiveness of channel attention (e.g., the Squeeze-and-Excitation attention) for lifting model performance, but they generally neglect the positional information, which is important for generating spatially selective attention maps. In this paper, we propose a novel attention mechanism for mobile networks by embedding positional information into channel attention, which we call "coordinate attention". Unlike channel attention that transforms a feature tensor to a single feature vector via 2D global pooling, the coordinate attention factorizes channel attention into two 1D feature encoding processes that aggregate features along the two spatial directions, respectively. In this way, long-range dependencies can be captured along one spatial direction and meanwhile precise positional information can be preserved along the other spatial direction. The resulting feature maps are then encoded separately into a pair of direction-aware and position-sensitive attention maps that can be complementarily applied to the input feature map to augment the representations of the objects of interest. Our coordinate attention is simple and can be flexibly plugged into classic mobile networks, such as MobileNetV2, MobileNeXt, and EfficientNet with nearly no computational overhead. Extensive experiments demonstrate that our coordinate attention is not only beneficial to ImageNet classification but more interestingly, behaves better in down-stream tasks, such as object detection and semantic segmentation. Code is available at https://github.com/Andrew-Qibin/CoordAttention.


title: Geodesic orbit metrics in a class of homogeneous bundles over real and complex Stiefel manifolds

abstract: Geodesic orbit spaces (or g.o. spaces) are defined as those homogeneous Riemannian spaces $(M=G/H,g)$ whose geodesics are orbits of one-parameter subgroups of $G$. The corresponding metric $g$ is called a geodesic orbit metric. We study the geodesic orbit spaces of the form $(G/H,g)$, such that $G$ is one of the compact classical Lie groups $\SO(n)$, $U(n)$, and $H$ is a diagonally embedded product $H_1\times \cdots \times H_s$, where $H_j$ is of the same type as $G$. This class includes spheres, Stiefel manifolds, Grassmann manifolds and real flag manifolds. The present work is a contribution to the study of g.o. spaces $(G/H,g)$ with $H$ semisimple.


title: Understanding Vaccine Hesitancy: Empirical Evidence from India

abstract: Why do vaccination rates remain low even in countries where long-established immunization programs exist and vaccines are provided for free? We study this paradox in the context of India, which contributes to the world's largest pool of under-vaccinated children and about one-third of all vaccine-preventable deaths globally. Combining historical records with survey datasets, we examine the Indian government's forced sterilization policy, a short-term aggressive family planning program implemented between 1976 and 1977. Using multiple estimation methods, including an instrumental variable (IV) and a geographic regression discontinuity design (RDD) approach, we document that the current vaccination completion rate is low in places where forced sterilization was high. We also explore the heterogeneous effects, mechanisms, and reasons for the mechanism. Finally, we examine the enduring consequence and present evidence that places more exposed to forced sterilization have an average 60 percent higher child mortality rate today. Together, these findings suggest that government policies implemented in the past can have persistent adverse impacts on demand for health-seeking behavior, even if the burden is exceedingly high.


title: Model Reference Adaptive Control of Piecewise Affine Systems with State Tracking Performance Guarantees

abstract: In this paper, we investigate the model reference adaptive control approach for uncertain piecewise affine systems with performance guarantees. The proposed approach ensures the error metric, defined as the weighted Euclidean norm of the state tracking error, to be confined within a user-defined time-varying performance bound. We introduce an auxiliary performance function to construct a barrier Lyapunov function. This auxiliary performance signal is reset at each switching instant, which prevents the transgression of the barriers caused by the jumps of the error metric at switching instants. The dwell time constraints are derived based on the parameters of the user-defined performance bound and the auxiliary performance function. We also prove that the Lyapunov function is non-increasing even at the switching instants and thus does not impose extra dwell time constraints. Furthermore, we propose the robust modification of the adaptive controller for the uncertain piecewise affine systems subject to unmatched disturbances. A Numerical example validates the correctness of the proposed approach.


title: Semi-supervised Left Atrium Segmentation with Mutual Consistency Training

abstract: Semi-supervised learning has attracted great attention in the field of machine learning, especially for medical image segmentation tasks, since it alleviates the heavy burden of collecting abundant densely annotated data for training. However, most of existing methods underestimate the importance of challenging regions (e.g. small branches or blurred edges) during training. We believe that these unlabeled regions may contain more crucial information to minimize the uncertainty prediction for the model and should be emphasized in the training process. Therefore, in this paper, we propose a novel Mutual Consistency Network (MC-Net) for semi-supervised left atrium segmentation from 3D MR images. Particularly, our MC-Net consists of one encoder and two slightly different decoders, and the prediction discrepancies of two decoders are transformed as an unsupervised loss by our designed cycled pseudo label scheme to encourage mutual consistency. Such mutual consistency encourages the two decoders to have consistent and low-entropy predictions and enables the model to gradually capture generalized features from these unlabeled challenging regions. We evaluate our MC-Net on the public Left Atrium (LA) database and it obtains impressive performance gains by exploiting the unlabeled data effectively. Our MC-Net outperforms six recent semi-supervised methods for left atrium segmentation, and sets the new state-of-the-art performance on the LA database.


title: Deciphering Star Cluster Evolution by Shape Morphology

abstract: We analyze the morphological evolution of open clusters and provide shape parameters for 265 open clusters. The results show that the overall shape of sample clusters becomes more elliptical as they grow older, while their core remains circular or slightly trend to circularize. There is a negative correlation of the ellipticities with the number of members of the sample clusters. A significant negative correlation between the overall ellipticities and masses is also detected for the sample clusters with log(age/year) $\geq$ 8, suggesting that the overall shapes of the clusters are possibly influenced by the number of members and masses, in addition to the external forces and the surrounding environment. For most young sample clusters, the radial stratification degree of the short axis direction is greater than that of the long, implying that the radial stratification degree in the two directions within the young sample cluster may be unevenly affected by an internal evolutionary process. Older sample clusters exhibit lower stratification in the tangential direction, which possibly means those clusters may continue to survive for a long time at a low level of stratification. Our analysis shows that the overall shape of the sample clusters may be more susceptible to the influence of Galactic tides toward the Galactic center than the shear forces embedded in Galactic differential rotation. By analyzing the distribution of the ages and number of members of star clusters, we suggest that NGC 6791 may originate from superclusters.


title: Quantifying identifiability to choose and audit $\epsilon$ in differentially private deep learning

abstract: Differential privacy allows bounding the influence that training data records have on a machine learning model. To use differential privacy in machine learning, data scientists must choose privacy parameters $(\epsilon,\delta)$. Choosing meaningful privacy parameters is key, since models trained with weak privacy parameters might result in excessive privacy leakage, while strong privacy parameters might overly degrade model utility. However, privacy parameter values are difficult to choose for two main reasons. First, the theoretical upper bound on privacy loss $(\epsilon,\delta)$ might be loose, depending on the chosen sensitivity and data distribution of practical datasets. Second, legal requirements and societal norms for anonymization often refer to individual identifiability, to which $(\epsilon,\delta)$ are only indirectly related. We transform $(\epsilon,\delta)$ to a bound on the Bayesian posterior belief of the adversary assumed by differential privacy concerning the presence of any record in the training dataset. The bound holds for multidimensional queries under composition, and we show that it can be tight in practice. Furthermore, we derive an identifiability bound, which relates the adversary assumed in differential privacy to previous work on membership inference adversaries. We formulate an implementation of this differential privacy adversary that allows data scientists to audit model training and compute empirical identifiability scores and empirical $(\epsilon,\delta)$.


title: The Bounded Acceleration Shortest Path problem: complexity and solution algorithms

abstract: The purpose of this work is to introduce and characterize the Bounded Acceleration Shortest Path (BASP) problem, a generalization of the Shortest Path (SP) problem. This problem is associated to a graph: the nodes represent positions of a mobile vehicle and the arcs are associated to pre-assigned geometric paths that connect these positions. BASP consists in finding the minimum-time path between two nodes. Differently from SP, we require that the vehicle satisfy bounds on maximum and minimum acceleration and speed, that depend on the vehicle position on the currently traveled arc. We prove that BASP is NP-hard and define solution algorithm that achieves polynomial time-complexity under some additional hypotheses on problem data.


title: Rank $r$ DT theory from rank $0$

abstract: Fix a Calabi-Yau 3-fold $X$ satisfying the Bogomolov-Gieseker conjecture of Bayer-Macr\`i-Toda, such as the quintic 3-fold. We express Joyce's generalised DT invariants counting Gieseker semistable sheaves of any rank $r\ge1$ on $X$ in terms of those counting sheaves of rank 0 and pure dimension 2. The basic technique is to reduce the ranks of sheaves by replacing them by the cokernels of their Mochizuki/Joyce-Song pairs and then use wall crossing to handle their stability.


title: Consensus in Blockchain Systems with Low Network Throughput: A Systematic Mapping Study

abstract: Blockchain technologies originate from cryptocurrencies. Thus, most blockchain technologies assume an environment with a fast and stable network. However, in some blockchain-based systems, e.g., supply chain management (SCM) systems, some Internet of Things (IOT) nodes can only rely on the low-quality network sometimes to achieve consensus. Thus, it is critical to understand the applicability of existing consensus algorithms in such environments. We performed a systematic mapping study to evaluate and compare existing consensus mechanisms' capability to provide integrity and security with varying network properties. Our study identified 25 state-of-the-art consensus algorithms from published and preprint literature. We categorized and compared the consensus algorithms qualitatively based on established performance and integrity metrics and well-known blockchain security issues. Results show that consensus algorithms rely on the synchronous network for correctness cannot provide the expected integrity. Such consensus algorithms may also be vulnerable to distributed-denial-of-service (DDOS) and routing attacks, given limited network throughput. Conversely, asynchronous consensus algorithms, e.g., Honey-BadgerBFT, are deemed more robust against many of these attacks and may provide high integrity in asynchrony events.


title: MP Twitter Engagement and Abuse Post-first COVID-19 Lockdown in the UK: White Paper

abstract: The UK has had a volatile political environment for some years now, with Brexit and leadership crises marking the past five years. With this work, we wanted to understand more about how the global health emergency, COVID-19, influences the amount, type or topics of abuse that UK politicians receive when engaging with the public. With this work, we wanted to understand more about how the global health emergency, COVID-19, influences the amount, type or topics of abuse that UK politicians receive when engaging with the public. This work covers the period of June to December 2020 and analyses Twitter abuse in replies to UK MPs. This work is a follow-up from our analysis of online abuse during the first four months of the COVID-19 pandemic in the UK. The paper examines overall abuse levels during this new seven month period, analyses reactions to members of different political parties and the UK government, and the relationship between online abuse and topics such as Brexit, government's COVID-19 response and policies, and social issues. In addition, we have also examined the presence of conspiracy theories posted in abusive replies to MPs during the period. We have found that abuse levels toward UK MPs were at an all-time high in December 2020 (5.4% of all reply tweets sent to MPs). This is almost 1% higher that the two months preceding the General Election. In a departure from the trend seen in the first four months of the pandemic, MPs from the Tory party received the highest percentage of abusive replies from July 2020 onward, which stays above 5% starting from September 2020 onward, as the COVID-19 crisis deepened and the Brexit negotiations with the EU started nearing completion.


title: N-fiber-full modules

abstract: Let $A$ be a Noetherian flat $K[t]$-algebra, $h$ an integer and let $N$ be a graded $K[t]$-module, we introduce and study "$N$-fiber-full up to $h$" $A$-modules. We prove that an $A$-module $M$ is $N$-fiber-full up to $h$ if and only if $\mathrm{Ext}^i_A(M, N)$ is flat over $K[t]$ for all $i\le h-1$. And we show some applications of this result extending the recent result on squarefree Gr\"obner degenerations by Conca and Varbaro.


title: A Simple Algorithm for the Constrained Sequence Problems

abstract: In this paper we address the constrained longest common subsequence problem. Given two sequences $X$, $Y$ and a constrained sequence $P$, a sequence $Z$ is a constrained longest common subsequence for $X$ and $Y$ with respect to $P$ if $Z$ is the longest subsequence of $X$ and $Y$ such that $P$ is a subsequence of $Z$. Recently, Tsai \cite{Tsai} proposed an $O(n^2 \cdot m^2 \cdot r)$ time algorithm to solve this problem using dynamic programming technique, where $n$, $m$ and $r$ are the lengths of $X$, $Y$ and $P$, respectively. In this paper, we present a simple algorithm to solve the constrained longest common subsequence problem in $O(n \cdot m \cdot r)$ time and show that the constrained longest common subsequence problem is equivalent to a special case of the constrained multiple sequence alignment problem which can also be solved.


title: Robust market-adjusted systemic risk measures

abstract: In this note we consider a system of financial institutions and study systemic risk measures in the presence of a financial market and in a robust setting, namely, where no reference probability is assigned. We obtain a dual representation for convex robust systemic risk measures adjusted to the financial market and show its relation to some appropriate no-arbitrage conditions.


title: Controlling biomolecular condensates via chemical reactions

abstract: Biomolecular condensates are small droplets forming spontaneously in biological cells via phase separation. They play a role in many cellular processes, but it is unclear how cells control them. Cellular regulation often relies on post-translational modifications of proteins. For biomolecular condensates, such chemical modifications could alter the molecular interaction of key condensate components. We here test this idea using a theoretical model based on non-equilibrium thermodynamics. In particular, we describe the chemical reactions using transition-state theory, which accounts for the non-ideality of phase separation. We identify that fast control, like in cell signaling, is only possible when external energy input drives the reaction out of equilibrium. If this reaction differs inside and outside the droplet, it is even possible to control droplet sizes. Such an imbalance in the reaction could be created by enzymes localizing to the droplet. Since this situation is typical inside cells, we speculate that our proposed mechanism is used to stabilize multiple droplets with independently controlled size and count. Our model provides a novel and thermodynamically consistent framework for describing droplets subject to non-equilibrium chemical reactions.


title: Decision tree-based estimation of the overlap of two probability distributions

abstract: A new nonparametric approach, based on a decision tree algorithm, is proposed to calculate the overlap between two probability distributions. The devised framework is described analytically and numerically. The convergence of the estimated overlap to the true value is proved along with some experimental results.


title: Longevity is the key factor in the search for technosignatures

abstract: It is well-known that the chances of success of SETI depend on the longevity of technological civilizations or, more broadly, on the duration of the signs of their existence, or technosignatures. Here, we re-examine this general tenet in more detail, and we show that its broader implications were not given the proper significance. In particular, an often overlooked aspect is that the duration of a technosignature is in principle almost entirely separable from the age of the civilization that produces it. We propose a classification scheme of technosignatures based on their duration and, using Monte Carlo simulations, we show that, given an initial generic distribution of Galactic technosignatures, only the ones with the longest duration are likely to be detected. This tells us, among other things, that looking for a large number of short-lived technosignatures is a weaker observational strategy than focusing the search on a few long-lived ones. It also suggests to abandon any anthropocentric bias in approaching the question of extraterrestrial intelligence. We finally give some ideas of possible pathways that can lead to the establishment of long-lived technosignatures.


title: Convergence rates of RLT and Lasserre-type hierarchies for the generalized moment problem over the simplex and the sphere

abstract: We consider the generalized moment problem (GMP) over the simplex and the sphere. This is a rich setting and it contains NP-hard problems as special cases, like constructing optimal cubature schemes and rational optimization. Using the Reformulation-Linearization Technique (RLT) and Lasserre-type hierarchies, relaxations of the problem are introduced and analyzed. For our analysis we assume throughout the existence of a dual optimal solution as well as strong duality. For the GMP over the simplex we prove a convergence rate of $O(1/r)$ for a linear programming, RLT-type hierarchy, where $r$ is the level of the hierarchy, using a quantitative version of P\'olya's Positivstellensatz. As an extension of a recent result by Fang and Fawzi [Math. Program., 2020, https://doi.org/10.1007/s10107-020-01537-7] we prove the Lasserre hierarchy of the GMP [Math. Program., Vol. 112, 65-92, 2008] over the sphere has a convergence rate of $O(1/r^2)$. Moreover, we show the introduced linear RLT-relaxation is a generalization of a hierarchy for minimizing forms of degree $d$ over the simplex, introduced by de Klerk, Laurent and Parrilo [J. Theoretical Computer Science, Vol. 361, 210-225, 2006].


title: New approach to ${\cal N} {=}2$ supersymmetric Ruijsenaars-Schneider model

abstract: We present a very simple form of the supercharges and the Hamiltonian of ${\cal N} {=}\,2$ supersymmetric extension of $n$-particle Ruijsenaars--Schneider models for three cases of the interaction: $1/(x_i-x_j)$, $1/tan(x_i-x_j)$, $1/tanh(x_i-x_j)$. The long "fermionic tails" of the supercharges and Hamiltonian rolled up in the simple rational functions depending on fermionic bilinears.


title: Calibrated simplex-mapping classification

abstract: We propose a novel methodology for general multi-class classification in arbitrary feature spaces, which results in a potentially well-calibrated classifier. Calibrated classifiers are important in many applications because, in addition to the prediction of mere class labels, they also yield a confidence level for each of their predictions. In essence, the training of our classifier proceeds in two steps. In a first step, the training data is represented in a latent space whose geometry is induced by a regular $(n-1)$-dimensional simplex, $n$ being the number of classes. We design this representation in such a way that it well reflects the feature space distances of the datapoints to their own- and foreign-class neighbors. In a second step, the latent space representation of the training data is extended to the whole feature space by fitting a regression model to the transformed data. With this latent-space representation, our calibrated classifier is readily defined. We rigorously establish its core theoretical properties and benchmark its prediction and calibration properties by means of various synthetic and real-world data sets from different application domains.


title: QAIR: Practical Query-efficient Black-Box Attacks for Image Retrieval

abstract: We study the query-based attack against image retrieval to evaluate its robustness against adversarial examples under the black-box setting, where the adversary only has query access to the top-k ranked unlabeled images from the database. Compared with query attacks in image classification, which produce adversaries according to the returned labels or confidence score, the challenge becomes even more prominent due to the difficulty in quantifying the attack effectiveness on the partial retrieved list. In this paper, we make the first attempt in Query-based Attack against Image Retrieval (QAIR), to completely subvert the top-k retrieval results. Specifically, a new relevance-based loss is designed to quantify the attack effects by measuring the set similarity on the top-k retrieval results before and after attacks and guide the gradient optimization. To further boost the attack efficiency, a recursive model stealing method is proposed to acquire transferable priors on the target model and generate the prior-guided gradients. Comprehensive experiments show that the proposed attack achieves a high attack success rate with few queries against the image retrieval systems under the black-box setting. The attack evaluations on the real-world visual search engine show that it successfully deceives a commercial system such as Bing Visual Search with 98% attack success rate by only 33 queries on average.


title: Straggler Mitigation through Unequal Error Protection for Distributed Approximate Matrix Multiplication

abstract: Large-scale machine learning and data mining methods routinely distribute computations across multiple agents to parallelize processing. The time required for the computations at the agents is affected by the availability of local resources and/or poor channel conditions giving rise to the "straggler problem". As a remedy to this problem, we employ Unequal Error Protection (UEP) codes to obtain an approximation of the matrix product in the distributed computation setting to provide higher protection for the blocks with higher effect on the final result. We characterize the performance of the proposed approach from a theoretical perspective by bounding the expected reconstruction error for matrices with uncorrelated entries. We also apply the proposed coding strategy to the computation of the back-propagation step in the training of a Deep Neural Network (DNN) for an image classification task in the evaluation of the gradients. Our numerical experiments show that it is indeed possible to obtain significant improvements in the overall time required to achieve the DNN training convergence by producing approximation of matrix products using UEP codes in the presence of stragglers.


title: Effects of screened Coulomb interaction on spin transfer torque

abstract: In a magnetic multilayer, magnetizations can be manipulated by spin transfer torque. Both spin transfer torque and its reciprocal effect, spin pumping, are governed by spin mixing conductance. The magnitude of spin mixing conductance at the interface of nearly magnetic metal has been theoretically shown to be enhanced by electron-electron interaction. However, experiments show both increasing and decreasing values of spin mixing conductance for metals with larger electron-electron interaction. Here we take into account the effect of electron-electron interaction on the screening of the Coulomb interaction at the magnetic interface to correctly describe the experiment.


title: Understanding WeChat User Preferences and "Wow" Diffusion

abstract: WeChat is the largest social instant messaging platform in China, with 1.1 billion monthly active users. "Top Stories" is a novel friend-enhanced recommendation engine in WeChat, in which users can read articles based on preferences of both their own and their friends. Specifically, when a user reads an article by opening it, the "click" behavior is private. Moreover, if the user clicks the "wow" button, (only) her/his direct connections will be aware of this action/preference. Based on the unique WeChat data, we aim to understand user preferences and "wow" diffusion in Top Stories at different levels. We have made some interesting discoveries. For instance, the "wow" probability of one user is negatively correlated with the number of connected components that are formed by her/his active friends, but the click probability is the opposite. We further study to what extent users' "wow" and click behavior can be predicted from their social connections. To address this problem, we present a hierarchical graph representation learning based model DiffuseGNN, which is capable of capturing the structure-based social observations discovered above. Our experiments show that the proposed method can significantly improve the prediction performance compared with alternative methods.


title: Formation of millisecond pulsars with helium white dwarfs, ultra-compact X-ray binaries and gravitational wave sources

abstract: Close-orbit low-mass X-ray binaries (LMXBs), radio binary millisecond pulsars (BMSPs) with extremely low-mass helium WDs (ELM He~WDs) and ultra-compact X-ray binaries (UCXBs) are all part of the same evolutionary sequence. It is therefore of uttermost importance to understand how these populations evolve from one specie to another. Moreover, UCXBs are important gravitational wave (GW) sources and can be detected by future space-borne GW observatories. However, the formation and evolutionary link between these three different populations of neutron star (NS) binaries are not fully understood. In particular, a peculiar fine-tuning problem has previously been demonstrated for the formation of these systems. In this investigation, we test a newly suggested magnetic braking prescription and model the formation and evolution of LMXBs. We compute a grid of binary evolution models and present the initial parameter space of the progenitor binaries which successfully evolve all the way to produce UCXBs. We find that the initial orbital period range of LMXBs, which evolve into detached NS+ELM~He~WD binaries and later UCXBs, becomes significantly wider compared to evolution with a standard magnetic braking prescription, and thus helps to relieve the fine-tuning problem. However, we also find that formation of wide-orbit BMSPs is prohibited for strong versions of this new magnetic braking prescription, which therefore calls for a revision of the prescription. Finally, we present examples of the properties of UCXBs as Galactic GW sources and discuss their detection by the LISA, TianQin and Taiji observatories.


title: Graph-based Task-specific Prediction Models for Interactions between Deformable and Rigid Objects

abstract: Capturing scene dynamics and predicting the future scene state is challenging but essential for robotic manipulation tasks, especially when the scene contains both rigid and deformable objects. In this work, we contribute a simulation environment and generate a novel dataset for task-specific manipulation, involving interactions between rigid objects and a deformable bag. The dataset incorporates a rich variety of scenarios including different object sizes, object numbers and manipulation actions. We approach dynamics learning by proposing an object-centric graph representation and two modules which are Active Prediction Module (APM) and Position Prediction Module (PPM) based on graph neural networks with an encode-process-decode architecture. At the inference stage, we build a two-stage model based on the learned modules for single time step prediction. We combine modules with different prediction horizons into a mixed-horizon model which addresses long-term prediction. In an ablation study, we show the benefits of the two-stage model for single time step prediction and the effectiveness of the mixed-horizon model for long-term prediction tasks. Supplementary material is available at https://github.com/wengzehang/deformable_rigid_interaction_prediction


title: From Prescriptive to Predictive: an Interdisciplinary Perspective on the Future of Computational Chemistry

abstract: Reliable predictions of the behaviour of chemical systems are essential across many industries, from nanoscale engineering over validation of advanced materials to nanotoxicity assessment in health and medicine. For the future we therefore envision a paradigm shift for the design of chemical simulations across all length scales from a prescriptive to a predictive and quantitative science. This paper presents an integrative perspective about the state-of-the-art of modelling in computational and theoretical chemistry with examples from data- and equation-based models. Extension to include reliable risk assessments and quality control are discussed. To specify and broaden the concept of chemical accuracy in the design cycle of reliable and robust molecular simulations the fields of computational chemistry, physics, mathematics, visualisation science, and engineering are bridged. Methods from electronic structure calculations serve as examples to explain how uncertainties arise: through assumed mechanisms in form of equations, model parameters, algorithms, and numerical implementations. We provide a full classification of uncertainties throughout the chemical modelling cycle and discuss how the associated risks can be mitigated. Further, we apply our statements to molecular dynamics and partial differential equations based approaches. An overview of methods from numerical mathematics and statistics provides strategies to analyse risks and potential errors in the design of new materials and compounds. We also touch on methods for validation and verification. In the conclusion we address cross-disciplinary open challenges. In future the quantitative analysis of where simulations and their prognosis fail will open doors towards predictive materials engineering and chemical modelling.


title: Rationality over non-closed fields of Fano threefolds with higher geometric Picard rank

abstract: We prove rationality criteria over algebraically non-closed fields of characteristic $0$ for five out of six types of geometrically rational Fano threefolds of Picard number $1$ and geometric Picard number bigger than $1$. For the last type of such threefolds we provide a unirationality criterion and prove stable non-rationality under additional assumptions.


title: Pseudo-Jahn-Teller interaction among electronic resonant states of H3

abstract: We study the electronic resonant states of H3 with energies above the potential energy surface of the H3+ ground state. These resonant states are important for the dissociative recombination of H3+ at higher collision energies, and previous studies have indicated that these resonant states exhibit a triple intersection. We introduce a complex generalization of the pseudo-Jahn-Teller model to describe these resonant states. The potential energies and the autoionization widths of the resonant states are computed with electron scattering calculations using the complex Kohn variational method, and the complex model parameters are extracted by a least-square fit to the results. This treatment results in a non-Hermitian pseudo-Jahn-Teller Hamiltonian describing the system. The non-adiabatic coupling and geometric phase are further calculated and used to characterize the enriched topology of the complex adiabatic potential energy surfaces.


title: On subgraph complementation to H-free graphs

abstract: For a class $\mathcal{G}$ of graphs, the problem SUBGRAPH COMPLEMENT TO $\mathcal{G}$ asks whether one can find a subset $S$ of vertices of the input graph $G$ such that complementing the subgraph induced by $S$ in $G$ results in a graph in $\mathcal{G}$. We investigate the complexity of the problem when $\mathcal{G}$ is $H$-free for $H$ being a complete graph, a star, a path, or a cycle. We obtain the following results: - When $H$ is a $K_t$ (a complete graph on $t$ vertices) for any fixed $t\geq 1$, the problem is solvable in polynomial-time. This applies even when $\mathcal{G}$ is a subclass of $K_t$-free graphs recognizable in polynomial-time, for example, the class of $(t-2)$-degenerate graphs. - When $H$ is a $K_{1,t}$ (a star graph on $t+1$ vertices), we obtain that the problem is NP-complete for every $t\geq 5$. This, along with known results, leaves only two unresolved cases - $K_{1,3}$ and $K_{1,4}$. - When $H$ is a $P_t$ (a path on $t$ vertices), we obtain that the problem is NP-complete for every $t\geq 7$, leaving behind only two unresolved cases - $P_5$ and $P_6$. - When $H$ is a $C_t$ (a cycle on $t$ vertices), we obtain that the problem is NP-complete for every $t\geq 8$, leaving behind four unresolved cases - $C_4, C_5, C_6,$ and $C_7$. Further, we prove that these hard problems do not admit subexponential-time algorithms (algorithms running in time $2^{o(|V(G)|)}$), assuming the Exponential Time Hypothesis. A simple complementation argument implies that results for $\mathcal{G}$ are applicable for $\overline{\mathcal{G}}$, thereby obtaining similar results for $H$ being the complement of a complete graph, a star, a path, or a cycle. Our results generalize two main results and resolve one open question by Fomin et al. (Algorithmica, 2020).


title: Visual Question Answering: which investigated applications?

abstract: Visual Question Answering (VQA) is an extremely stimulating and challenging research area where Computer Vision (CV) and Natural Language Processig (NLP) have recently met. In image captioning and video summarization, the semantic information is completely contained in still images or video dynamics, and it has only to be mined and expressed in a human-consistent way. Differently from this, in VQA semantic information in the same media must be compared with the semantics implied by a question expressed in natural language, doubling the artificial intelligence-related effort. Some recent surveys about VQA approaches have focused on methods underlying either the image-related processing or the verbal-related one, or on the way to consistently fuse the conveyed information. Possible applications are only suggested, and, in fact, most cited works rely on general-purpose datasets that are used to assess the building blocks of a VQA system. This paper rather considers the proposals that focus on real-world applications, possibly using as benchmarks suitable data bound to the application domain. The paper also reports about some recent challenges in VQA research.


title: FootApp: an AI-Powered System for Football Match Annotation

abstract: In the last years, scientific and industrial research has experienced a growing interest in acquiring large annotated data sets to train artificial intelligence algorithms for tackling problems in different domains. In this context, we have observed that even the market for football data has substantially grown. The analysis of football matches relies on the annotation of both individual players' and team actions, as well as the athletic performance of players. Consequently, annotating football events at a fine-grained level is a very expensive and error-prone task. Most existing semi-automatic tools for football match annotation rely on cameras and computer vision. However, those tools fall short in capturing team dynamics, and in extracting data of players who are not visible in the camera frame. To address these issues, in this manuscript we present FootApp, an AI-based system for football match annotation. First, our system relies on an advanced and mixed user interface that exploits both vocal and touch interaction. Second, the motor performance of players is captured and processed by applying machine learning algorithms to data collected from inertial sensors worn by players. Artificial intelligence techniques are then used to check the consistency of generated labels, including those regarding the physical activity of players, to automatically recognize annotation errors. Notably, we implemented a full prototype of the proposed system, performing experiments to show its effectiveness in a real-world adoption scenario.


title: Quad layouts with high valence singularities for flexible quad meshing

abstract: A novel algorithm that produces a quad layout based on imposed set of singularities is proposed. In this paper, we either use singularities that appear naturally, e.g., by minimizing Ginzburg-Landau energy, or use as an input user-defined singularity pattern, possibly with high valence singularities that do not appear naturally in cross-field computations. The first contribution of the paper is the development of a formulation that allows computing a cross-field from a given set of singularities through the resolution of two linear PDEs. A specific mesh refinement is applied at the vicinity of singularities to accommodate the large gradients of cross directions that appear in the vicinity of singularities of high valence. The second contribution of the paper is a correction scheme that repairs limit cycles and/or non-quadrilateral patches. Finally, a high quality block-structured quad mesh is generated from the quad layout and per-partition parameterization.


title: Towards Ultrafast MRI via Extreme k-Space Undersampling and Superresolution

abstract: We went below the MRI acceleration factors (a.k.a., k-space undersampling) reported by all published papers that reference the original fastMRI challenge, and then considered powerful deep learning based image enhancement methods to compensate for the underresolved images. We thoroughly study the influence of the sampling patterns, the undersampling and the downscaling factors, as well as the recovery models on the final image quality for both the brain and the knee fastMRI benchmarks. The quality of the reconstructed images surpasses that of the other methods, yielding an MSE of 0.00114, a PSNR of 29.6 dB, and an SSIM of 0.956 at x16 acceleration factor. More extreme undersampling factors of x32 and x64 are also investigated, holding promise for certain clinical applications such as computer-assisted surgery or radiation planning. We survey 5 expert radiologists to assess 100 pairs of images and show that the recovered undersampled images statistically preserve their diagnostic value.


title: Exploring the representativeness of the M5 competition data

abstract: The main objective of the M5 competition, which focused on forecasting the hierarchical unit sales of Walmart, was to evaluate the accuracy and uncertainty of forecasting methods in the field in order to identify best practices and highlight their practical implications. However, whether the findings of the M5 competition can be generalized and exploited by retail firms to better support their decisions and operation depends on the extent to which the M5 data is sufficiently similar to unit sales data of retailers that operate in different regions, sell different types of products, and consider different marketing strategies. To answer this question, we analyze the characteristics of the M5 time series and compare them with those of two grocery retailers, namely Corporaci\'on Favorita and a major Greek supermarket chain, using feature spaces. Our results suggest that there are only small discrepancies between the examined data sets, supporting the representativeness of the M5 data.


title: MDEmic in a use case for microscopy metadata harmonization: Facilitating FAIR principles in practical application with metadata annotation tools

abstract: While the FAIR principles are well accepted in the scientific community, the implementation of appropriate metadata editing and transfer to ensure FAIR research data in practice is significantly lagging behind. On the one hand, it strongly depends on the availability of tools that efficiently support this step in research data management. On the other hand, it depends on the available standards regarding the interpretability of metadata. Here, we introduce a tool, MDEmic, for editing metadata of microscopic imaging data in an easy and comfortable way that provides high flexibility in terms of adjustment of metadata sets. This functionality was in great demand by many researchers applying microscopic techniques. MDEmic has already become a part of the standard installation package of the image database OMERO as OMERO.mde. This database helps to organize and visualize microscopic image data and keep track of their further processing and linkage to other data sets. For this reason, many imaging core facilities provide OMERO to their users. We present a use case scenario for the tailored application of OMERO.mde to imaging data of an institutional OMERO-based Membrane Dye Database, which requires specific experimental metadata. Similar to public image data repositories like the Image Data Resource, IDR, this database facilitates image data storage including rich metadata which enables data mining and re-use, one of the major goals of the FAIR principles.


title: The Dota 2 Bot Competition

abstract: Multiplayer Online Battle Area (MOBA) games are a recent huge success both in the video game industry and the international eSports scene. These games encourage team coordination and cooperation, short and long-term planning, within a real-time combined action and strategy gameplay. Artificial Intelligence and Computational Intelligence in Games research competitions offer a wide variety of challenges regarding the study and application of AI techniques to different game genres. These events are widely accepted by the AI/CI community as a sort of AI benchmarking that strongly influences many other research areas in the field. This paper presents and describes in detail the Dota 2 Bot competition and the Dota 2 AI framework that supports it. This challenge aims to join both, MOBAs and AI/CI game competitions, inviting participants to submit AI controllers for the successful MOBA \textit{Defense of the Ancients 2} (Dota 2) to play in 1v1 matches, which aims for fostering research on AI techniques for real-time games. The Dota 2 AI framework makes use of the actual Dota 2 game modding capabilities to enable to connect external AI controllers to actual Dota 2 game matches using the original Free-to-Play game.se of the actual Dota 2 game modding capabilities to enable to connect external AI controllers to actual Dota 2 game matches using the original Free-to-Play game.


title: A metric characterization of freeness

abstract: Let $\mathcal{M}$ be a finite von Neumann algebra and $u_1,\dots,u_N$ be unitaries in $\mathcal{M}$. We show that $u_1,\dots,u_N$ freely generate $L(\mathbb{F}_N)$ if and only if $$\left\|\sum_{i=1}^N u_i \otimes (u_i^{\mathrm{op}})^* + u_i^*\otimes u_i^{\mathrm{op}}\right\|_{\mathcal{M}\overline{\otimes}\mathcal{M}^{\mathrm{op}}} = 2\sqrt{2N - 1}.$$


title: Quark-gluon vertex from Nf=2 lattice QCD

abstract: We study the quark-gluon vertex in the limit of vanishing gluon momentum using lattice QCD with 2 flavors of O(a) improved Wilson fermions, for several lattice spacings and quark masses. We find that all three form factors in this kinematics have a significant infrared strength, and that both the leading form factor $\lambda_1$, multiplying the tree-level vertex structure, and the scalar, chiral symmetry breaking form factor $\lambda_3$ are significantly enhanced in the infrared compared to the quenched (Nf=0) case. These enhancements are orders of magnitude larger than predicted by one-loop perturbation theory. We find only a weak dependence on the lattice spacing and quark mass.


title: The less and the more IGM transmitted galaxies from z~2.7 to z~6 from VANDELS and VUDS

abstract: Aim. Our aim is to analyse the variance of the Inter-Galactic Medium transmission (IGM) by studying this parameter in the rest-frame UV spectra of a large sample of high redshift galaxies. Method. We make use of the VIMOS Ultra Deep Survey and the VANDELS public survey to have an insight into the far UV spectrum of $2.7<z<6$ galaxies. Using the SPARTAN fitting software, we estimate the IGM towards individual galaxies and then divide them in two sub-samples characterized by a transmission above or below the theoretical prescription. We create average spectra of combined VUDS and VANDELS data for each set of galaxies in seven redshift bins. Results. The resulting spectra clearly exhibit the variance of the IGM transmission that can be seen directly from high redshift galaxy observations. Computing the optical depth based on the IGM transmission, we find an excellent agreement with QSOs results. In addition, our measurements seem to suggest that there is a large dispersion of redshift where complete Gunn-Peterson Trough happens, depending on the line of sight.


title: Reference Energies for Intramolecular Charge-Transfer Excitations

abstract: In the aim of completing our previous efforts devoted to local and Rydberg transitions in organic compounds, we provide a series of highly-accurate vertical transition energies for intramolecular charge-transfer transitions occurring in ($\pi$-conjugated) molecular compounds. To this end we apply a composite protocol consisting of linear-response CCSDT excitation energies determined with Dunning's double-$\zeta$ basis set corrected by CC3/CCSDT-3 energies obtained with the corresponding triple-$\zeta$ basis. Further basis set corrections (up to \emph{aug}-cc-pVQZ) are obtained at the CCSD and CC2 level. We report 30 transitions obtained in 17 compounds. These reference values are then used to benchmark a series of wave function (CIS(D), SOPPA, RPA(D), EOM-MP2, CC2, CCSD, CCSD(T)(a)*, CCSDR(3), CCSDT-3, CC3, ADC(2), ADC(3), and ADC(2.5)), the Green's function-based Bethe-Salpeter equation (BSE) formalism performed on top of the partially self-consistent ev$GW$ scheme considering two different starting points (BSE/ev$GW$@HF and BSE/ev$GW$@PBE0), and TD-DFT combined with several exchange-correlation functionals (B3LYP, PBE0, M06-2X, CAM-B3LYP, LC-$\omega$HPBE, $\omega$B97X, $\omega$B97X-D, and M11).

categories: physics.chem-ph cond-mat.mtrl-sci cond-mat.str-el physics.comp-ph


title: Pricing Perpetual American put options with asset-dependent discounting

abstract: The main objective of this paper is to present an algorithm of pricing perpetual American put options with asset-dependent discounting. The value function of such an instrument can be described as \begin{equation*} V^{\omega}_{\text{A}^{\text{Put}}}(s) = \sup_{\tau\in\mathcal{T}} \mathbb{E}_{s}[e^{-\int_0^\tau \omega(S_w) dw} (K-S_\tau)^{+}], \end{equation*} where $\mathcal{T}$ is a family of stopping times, $\omega$ is a discount function and $\mathbb{E}$ is an expectation taken with respect to a martingale measure. Moreover, we assume that the asset price process $S_t$ is a geometric L\'evy process with negative exponential jumps, i.e. $S_t = s e^{\zeta t + \sigma B_t - \sum_{i=1}^{N_t} Y_i}$. The asset-dependent discounting is reflected in the $\omega$ function, so this approach is a generalisation of the classic case when $\omega$ is constant. It turns out that under certain conditions on the $\omega$ function, the value function $V^{\omega}_{\text{A}^{\text{Put}}}(s)$ is convex and can be represented in a closed form; see Al-Hadad and Palmowski (2021). We provide an option pricing algorithm in this scenario and we present exact calculations for the particular choices of $\omega$ such that $V^{\omega}_{\text{A}^{\text{Put}}}(s)$ takes a simplified form.


title: Role of magnetic skyrmions for the solution of the shortest path problem

abstract: Magnetic skyrmions are emerging as key elements of unconventional operations having unique properties such as small size and low current manipulation. In particular, it is possible to design skyrmion-based neurons and synapses for neuromorphic computing in devices where skyrmions move along the current direction (zero skyrmion Hall angle). Here, we show that, for a given graph, skyrmions can be used in optimization problems facing the calculation of the shortest path. Our tests show a solution with the same path length as computed with Algorithm. In addition, we also discuss how skyrmions act as positive feedback on this type of problem giving rise to a self-reinforcement of the path which is a possible solution.


title: A syntactic approach to Borel functions: Some extensions of Louveau's theorem

abstract: Louveau showed that if a Borel set in a Polish space happens to be in a Borel Wadge class $\Gamma$, then its $\Gamma$-code can be obtained from its Borel code in a hyperarithmetical manner. We extend Louveau's theorem to Borel functions: If a Borel function on a Polish space happens to be a $\Sigma_t$-function, then one can effectively find its $\Sigma_t$-code hyperarithmetically relative to its Borel code. More generally, we prove extension-type, domination-type, and decomposition-type variants of Louveau's theorem for Borel functions.


title: A parametric congruence motivated by Orr's identity

abstract: For any $m,n\in\mathbb{N}=\{0,1,2\ldots\}$, the truncated hypergeometric series ${}_{m+1}F_m$ is defined by $$ {}_{m+1}F_m\bigg[\begin{matrix}x_0&x_1&\ldots&x_m\\ &y_1&\ldots&y_m\end{matrix}\bigg|z\bigg]_n=\sum_{k=0}^n\frac{(x_0)_k(x_1)_k\cdots(x_m)_k}{(y_1)_k\cdots(y_m)_k}\cdot\frac{z^k}{k!}, $$ where $(x)_k=x(x+1)\cdots(x+k-1)$ is the Pochhammer symbol. Let $p$ be an odd prime. For $\alpha,z\in\mathbb{Z}_p$ with $\langle -\alpha\rangle_p\equiv0\pmod{2}$, where $\langle x\rangle_p$ denotes the least nonnegative residue of $x$ modulo $p$ for any $x\in\mathbb{Z}_p$, we mainly prove the following congruence motivated by Orr's identity: $$ {}_2F_1\bigg[\begin{matrix}\frac12\alpha&\frac32-\frac12\alpha\\ &1\end{matrix}\bigg|z\bigg]_{p-1}{}_2F_1\bigg[\begin{matrix}\frac12\alpha&\frac12-\frac12\alpha\\ &1\end{matrix}\bigg|z\bigg]_{p-1}\equiv{}_3F_2\bigg[\begin{matrix}\alpha&2-\alpha&\frac12\\ &1&1\end{matrix}\bigg|z\bigg]_{p-1}\pmod{p^2}. $$ As a corollary, for any positive integer $b$ with $p\equiv\pm1\pmod{b}$ and $\langle -1/b\rangle_p\equiv0\pmod{2}$, we deduce that $$ \sum_{k=0}^{p-1}(b^2k+b-1)\frac{\binom{2k}{k}}{4^k}\binom{-1/b}{k}\binom{1/b-1}{k}\equiv0\pmod{p^2}. $$ This confirms a conjectural congruence of the second author.


title: Polarization Predictions in the GRB Prompt Phase with the Internal Shock Model

abstract: As the standard gamma-ray burst (GRB) prompt-emission model, the internal shock (IS) model can reproduce the fast-rise and slow-decay features of the pulses in the GRB light curve. The time- and energy-dependent polarization can deliver important physical information on the emission region and can be used to test models. Polarization predictions for the GRB prompt phase with the magnetized IS model should be investigated carefully. The magnetic field of the magnetized IS model is very likely to be mixed and decays with radius. The synchrotron emission in the presence of such a decaying magnetic field can recover the Band-like spectrum of the GRB prompt phase. We investigate the dependence of the polarization of GRB prompt emission on both time and energy in the framework of the magnetized IS model. Due to the large range of parameters, it is hard to distinguish the magnetized IS model and the magnetic-reconnection model through polarization degree (PD) curves. The energy-dependent PD could increase toward the high-energy band for the magnetized IS model, while it decreases to zero above the megaelectronvolt band for the dissipative photosphere model. Therefore, we conclude that the energy dependence of PD can be used to distinguish these two models for the GRB prompt emission. Finally, we find that, independent of the observational energy band, the profiles of the $\xi_B-PD$ curve for the time-integrated and time-resolved PDs are very similar, where $\xi_B$ is the magnetic field strength ratio of the ordered component to the random component.


title: GAPS: Geo Data Portals for Air Pollution Studies

abstract: There is a wealth of data on air pollution within several users' reach, including modelled concentrations and depositions as well as observations from air quality stations. However, data integration to perceive spatial and temporal trends at the national level is a complex undertaking. The difficulties are mainly related to the data sources (many files with a lot of information and in different formats). In addition, the processing of this data is time-consuming and impractical when the time period under analysis increases. Furthermore,the processing of spatial-temporal data requires the use of multiple specific tools, such as geographic information systems software and statistical, which are not readily accessible to non-specialised users. The proposed solution is to develop libraries that are responsible for aggregating different types of data related with pollution. In addition to allowing the integration of different data, the libraries are also the basis for developing web applications. The libraries allow the collection of data made available by the Portuguese Environment Agency (APA) and official modelling results for Europe. The applications developed will extend the libraries to allow data processing and representation through Dashboards. These Dashboards provide access to non-specialised users, namely regarding the trends of pollutants in each region. The implemented libraries allow the development of projects that would need access to the same data sources. These Dashboards allow for simplified access to data and for studies that have so far been beyond the reach of researchers.


title: Remarks on Einstein solitons with certain types of potential vector field

abstract: We consider almost Einstein solitons $(V,\lambda)$ in a Riemannian manifold when $V$ is a gradient, a solenoidal or a concircular vector field. We explicitly express the function $\lambda$ by means of the gradient vector field $V$ and illustrate the result with suitable examples. Moreover, we deduce some geometric properties when the Ricci curvature tensor of the manifold satisfies certain symmetry conditions.


title: Comparison results for the solutions to the anisotropic Laplacian with Robin boundary conditions

abstract: In this paper we consider PDE's problems involving the anisotropic Laplacian operator, with Robin boundary conditions. By means of Talenti techniques, widely used in the last decades, we prove a comparison result between the solutions of the above-mentioned problems and the solutions of the symmetrized ones. As a consequence of these results, a Bossel-Daners type inequality can be shown in dimension 2.


title: Magnetic fields and Star Formation around HII regions: The S235 complex

abstract: Magnetic fields are ubiquitous and essential in star formation. In particular, their role in regulating formation of stars across diverse environments like HII regions needs to be well understood. In this study, we present magnetic field properties towards the S235 complex using near-infrared (NIR) $H$-band polarimetric observations, obtained with the Mimir and POLICAN instruments. We selected 375 background stars in the field through combination of Gaia distances and extinctions from NIR colors. The plane-of-sky (POS) magnetic field orientations inferred from starlight polarization angles reveal a curved morphology tracing the spherical shell of the HII region. The large-scale magnetic field traced by Planck is parallel to the Galactic plane. We identified 11 dense clumps using $1.1\,\mathrm{mm}$ dust emission, with masses between $33-525\,\rm M_\odot$. The clump averaged POS magnetic field strengths were estimated to be between $36-121\,\mathrm{\mu G}$, with a mean of ${\sim}65\,\mathrm{\mu G}$. The mass-to-flux ratios for the clumps are found to be sub-critical with turbulent Alfv\'{e}n Mach numbers less than 1, indicating a strongly magnetized region. The clumps show scaling of magnetic field strength vs density with a power-law index of $0.52\pm0.07$, similar to ambipolar diffusion models. Our results indicate the S235 complex is a region where stellar feedback triggers new stars and the magnetic fields regulate the rate of new star formation.


title: Toward Robust Long Range Policy Transfer

abstract: Humans can master a new task within a few trials by drawing upon skills acquired through prior experience. To mimic this capability, hierarchical models combining primitive policies learned from prior tasks have been proposed. However, these methods fall short comparing to the human's range of transferability. We propose a method, which leverages the hierarchical structure to train the combination function and adapt the set of diverse primitive polices alternatively, to efficiently produce a range of complex behaviors on challenging new tasks. We also design two regularization terms to improve the diversity and utilization rate of the primitives in the pre-training phase. We demonstrate that our method outperforms other recent policy transfer methods by combining and adapting these reusable primitives in tasks with continuous action space. The experiment results further show that our approach provides a broader transferring range. The ablation study also shows the regularization terms are critical for long range policy transfer. Finally, we show that our method consistently outperforms other methods when the quality of the primitives varies.


title: Serverless Data Science -- Are We There Yet? A Case Study of Model Serving

abstract: Machine learning (ML) is an important part of modern data science applications. Data scientists today have to manage the end-to-end ML life cycle that includes both model training and model serving, the latter of which is essential, as it makes their works available to end-users. Systems of model serving require high performance, low cost, and ease of management. Cloud providers are already offering model serving choices, including managed services and self-rented servers. Recently, serverless computing, whose advantages include high elasticity and a fine-grained cost model, brings another option for model serving. Our goal in this paper is to examine the viability of serverless as a mainstream model serving platform. To this end, we first conduct a comprehensive evaluation of the performance and cost of serverless against other model serving systems on Amazon Web Service and Google Cloud Platform. We find that serverless outperforms many cloud-based alternatives. Further, there are settings under which it even achieves better performance than GPU-based systems. Next, we present the design space of serverless model serving, which comprises multiple dimensions, including cloud platforms, serving runtimes, and other function-specific parameters. For each dimension, we analyze the impact of different choices and provide suggestions for data scientists to better utilize serverless model serving. Finally, we discuss challenges and opportunities in building a more practical serverless model serving system.


title: Restoring Execution Environments of Jupyter Notebooks

abstract: More than ninety percent of published Jupyter notebooks do not state dependencies on external packages. This makes them non-executable and thus hinders reproducibility of scientific results. We present SnifferDog, an approach that 1) collects the APIs of Python packages and versions, creating a database of APIs; 2) analyzes notebooks to determine candidates for required packages and versions; and 3) checks which packages are required to make the notebook executable (and ideally, reproduce its stored results). In its evaluation, we show that SnifferDog precisely restores execution environments for the largest majority of notebooks, making them immediately executable for end users.


title: On tangencies among planar curves with an application to coloring L-shapes

abstract: We prove that there are $O(n)$ tangencies among any set of $n$ red and blue planar curves in which every pair of curves intersects at most once and no two curves of the same color intersect. If every pair of curves may intersect more than once, then it is known that the number of tangencies could be super-linear. However, we show that a linear upper bound still holds if we replace tangencies by pairwise disjoint connecting curves that all intersect a certain face of the arrangement of red and blue curves. The latter result has an application for the following problem studied by Keller, Rok and Smorodinsky [Disc.\ Comput.\ Geom.\ (2020)] in the context of \emph{conflict-free coloring} of \emph{string graphs}: what is the minimum number of colors that is always sufficient to color the members of any family of $n$ \emph{grounded L-shapes} such that among the L-shapes intersected by any L-shape there is one with a unique color? They showed that $O(\log^3 n)$ colors are always sufficient and that $\Omega(\log n)$ colors are sometimes necessary. We improve their upper bound to $O(\log^2 n)$.


title: Probabilistic combination of eigenlungs-based classifiers for COVID-19 diagnosis in chest CT images

abstract: The outbreak of the COVID-19 (Coronavirus disease 2019) pandemic has changed the world. According to the World Health Organization (WHO), there have been more than 100 million confirmed cases of COVID-19, including more than 2.4 million deaths. It is extremely important the early detection of the disease, and the use of medical imaging such as chest X-ray (CXR) and chest Computed Tomography (CCT) have proved to be an excellent solution. However, this process requires clinicians to do it within a manual and time-consuming task, which is not ideal when trying to speed up the diagnosis. In this work, we propose an ensemble classifier based on probabilistic Support Vector Machine (SVM) in order to identify pneumonia patterns while providing information about the reliability of the classification. Specifically, each CCT scan is divided into cubic patches and features contained in each one of them are extracted by applying kernel PCA. The use of base classifiers within an ensemble allows our system to identify the pneumonia patterns regardless of their size or location. Decisions of each individual patch are then combined into a global one according to the reliability of each individual classification: the lower the uncertainty, the higher the contribution. Performance is evaluated in a real scenario, yielding an accuracy of 97.86%. The large performance obtained and the simplicity of the system (use of deep learning in CCT images would result in a huge computational cost) evidence the applicability of our proposal in a real-world environment.


title: Classifying right-angled Hecke C*-algebras via K-theoretic invariants

abstract: Exploiting the graph product structure and results concerning amalgamated free products of C*-algebras we provide an explicit computation of the K-theoretic invariants of right-angled Hecke C*-algebras, including concrete algebraic representants of a basis in K-theory. On the way, we show that these Hecke algebras are KK-equivalent with their undeformed counterparts and satisfy the UCT. Our results are applied to study the isomorphism problem for Hecke C*-algebras, highlighting the limits of K-theoretic classification, both for varying Coxeter type as well as for fixed Coxeter type.


title: Witt groups of spinor varieties

abstract: We show that Witt groups of spinor varieties (aka.\ maximal isotropic Grassmannians) can be presented by combinatorial objects called even shifted young diagram. Our method relies on the Blow-up setup of Balmer-Calm\`es, and we investigate the connecting homomorphism of the localization sequence via the projective bundle formula of Walter-Nenashev, the projection formula of Calm\`es-Hornbostel and the excess intersection formula of Fasel.


title: R-Learning Based Admission Control for Service Federation in Multi-domain 5G Networks

abstract: Service federation in 5G/B5G networks enables service providers to orchestrate network services across multiple domains where admission control is a key issue. For each demand, without knowing the future ones, the admission controller either determines the domain to deploy the demand or rejects it in order to maximize the long-term average profit. In this paper, at first, under the assumption of knowing the arrival and departure rates of demands, we obtain the optimal admission control policy by formulating the problem as a Markov decision process that is solved by the policy iteration method. As a practical solution, where the rates are not known, we apply the Q-Learning and R-Learning algorithms to approximate the optimal policy. The extensive simulation results show the learning approaches outperform the greedy policy, and while the performance of Q-Learning depends on the discount factor, the optimality gap of the R-Learning algorithm is at most 3-5% independent of the system configuration.


title: Self-Renormalization of Quasi-Light-Front Correlators on the Lattice

abstract: In applying large-momentum effective theory, renormalization of the Euclidean correlators in lattice regularization is a challenge due to linear divergences in the self-energy of Wilson lines. Based on lattice QCD matrix elements of the quasi-PDF operator at lattice spacing $a$= 0.03 fm $\sim$ 0.12 fm with clover and overlap valence quarks on staggered and domain-wall sea, we design a strategy to disentangle the divergent renormalization factors from finite physics matrix elements, which can be matched to a continuum scheme at short distance such as dimensional regularization and minimal subtraction. Our results indicate that the renormalization factors are universal in the hadron state matrix elements. Moreover, the physical matrix elements appear independent of the valence fermion formulations. These conclusions remain valid even with HYP smearing which reduces the statistical errors albeit reducing control of the renormalization procedure. Moreover, we find a large non-perturbative effect in the popular RI/MOM and ratio renormalization scheme, suggesting favor of the hybrid renormalization procedure proposed recently.


title: Extracting Kondo temperature of strongly-correlated systems from the inverse local magnetic susceptibility

abstract: The temperature scales of screening of local magnetic and orbital moments are important characteristics of strongly correlated substances. In a recent paper X. Deng et al. using dynamic mean-field theory (DMFT) have identified temperature scales of the onset of screening in orbital and spin channels in some correlated metals from the deviation of temperature dependence of local susceptibility from the Curie law. We argue that the scales obtained this way are in fact much larger, than the corresponding Kondo temperatures, and, therefore, do not characterize the screening process. By reanalyzing the results of this paper we find the characteristic (Kondo) temperatures for screening in the spin channel $T_K\approx 100$ K for V$_2$O$_3$ and $T_K\approx 350$ K for Sr$_2$RuO$_4$, which are almost an order of magnitude smaller than those for the onset of the screening estimated in the paper ($1000$ K and $2300$ K, respectively); for V$_2$O$_3$ the obtained temperature scale $T_K$ is therefore comparable to the temperature of completion of the screening, $T^{\rm comp}\sim 25$ K, which shows that the screening in this material can be described in terms of a single temperature scale.


title: Wireless Coded Caching Can Overcome the Worst-User Bottleneck by Exploiting Finite File Sizes

abstract: We address the worst-user bottleneck of wireless coded caching, which is known to severely diminish cache-aided multicasting gains due to the fundamental worst-channel limitation of multicasting transmission. We consider the quasi-static Rayleigh fading Broadcast Channel, for which we first show that the effective coded caching gain of the XOR-based standard coded-caching scheme completely vanishes in the low-SNR regime. Then, we reveal that this collapse is not intrinsic to coded caching. We do so by presenting a novel scheme that can fully recover the coded caching gains by capitalizing on one aspect that has to date remained unexploited: the shared side information brought about by the effectively unavoidable file-size constraint. As a consequence, the worst-user effect is dramatically ameliorated, as it is substituted by a much more subtle worst-group-of-users effect, where the suggested grouping is fixed, and it is decided before the channel or the demands are known. In some cases, the theoretical gains are completely recovered, and this is done without any user selection technique. We analyze the achievable rate performance of the proposed scheme and derive insightful performance approximations which prove to be very precise.


title: Wave Front Sets of Nilpotent Lie Group Representations

abstract: Let $G$ be a nilpotent, connected, simply connected Lie group with Lie algebra $\mathfrak g$, and $\pi$ a unitary representation of $G$. The goal is to prove that the wave front set of $\pi$ coincides with the asymptotic cone of the orbital support of $\pi$, i.e. $\mathrm{WF}(\pi)=\mathrm{AC}(\bigcup_{\sigma\in \mathrm{supp}(\pi)}\mathcal O_\sigma)$, where $\mathcal O_\sigma\subset i\mathfrak g^\ast$ is the coadjoint orbit associated to the irreducible unitary representation $\sigma\in \hat{G}$ by Kirillov.


title: Automated Detection of Coronary Artery Stenosis in X-ray Angiography using Deep Neural Networks

abstract: Coronary artery disease leading up to stenosis, the partial or total blocking of coronary arteries, is a severe condition that affects millions of patients each year. Automated identification and classification of stenosis severity from minimally invasive procedures would be of great clinical value, but existing methods do not match the accuracy of experienced cardiologists, due to the complexity of the task. Although a number of computational approaches for quantitative assessment of stenosis have been proposed to date, the performance of these methods is still far from the required levels for clinical applications. In this paper, we propose a two-step deep-learning framework to partially automate the detection of stenosis from X-ray coronary angiography images. In the two steps, we used two distinct convolutional neural network architectures, one to automatically identify and classify the angle of view, and another to determine the bounding boxes of the regions of interest in frames where stenosis is visible. Transfer learning and data augmentation techniques were used to boost the performance of the system in both tasks. We achieved a 0.97 accuracy on the task of classifying the Left/Right Coronary Artery (LCA/RCA) angle view and 0.68/0.73 recall on the determination of the regions of interest, for LCA and RCA, respectively. These results compare favorably with previous results obtained using related approaches, and open the way to a fully automated method for the identification of stenosis severity from X-ray angiographies.


title: Type Ia supernovae in the star formation deserts of spiral host galaxies

abstract: Using a sample of nearby spiral galaxies hosting 185 supernovae (SNe) Ia, we perform a comparative analysis of the locations and light curve decline rates $(\Delta m_{15})$ of normal and peculiar SNe Ia in the star formation deserts (SFDs) and beyond. To accomplish this, we present a simple visual classification approach based on the UV/H$\alpha$ images of the discs of host galaxies. We demonstrate that, from the perspective of the dynamical timescale of the SFD, where the star formation (SF) is suppressed by the bar evolution, the $\Delta m_{15}$ of SN Ia and progenitor age can be related. The SFD phenomenon gives an excellent possibility to separate a subpopulation of SN Ia progenitors with the ages older than a few Gyr. We show, for the first time, that the SFDs contain mostly faster declining SNe Ia $(\Delta m_{15} > 1.25)$. For the galaxies without SFDs, the region within the bar radius, and outer disc contain mostly slower declining SNe Ia. To better constrain the delay times of SNe Ia, we encourage new studies (e.g. integral field observations) using the SFD phenomenon on larger and more robust datasets of SNe Ia and their host galaxies.


title: Global Existence for the Two-dimensional Kuramoto-Sivashinsky equation with a Shear Flow

abstract: We consider the Kuramoto-Sivashinsky equation (KSE) on the two-dimensional torus in the presence of advection by a given background shear flow. Under the assumption that the shear has a finite number of critical points and there are linearly growing modes only in the direction of the shear, we prove global existence of solutions with data in $L^2$, using a bootstrap argument. The initial data can be taken arbitrarily large.


title: Weisfeiler--Leman and Graph Spectra

abstract: Two simple undirected graphs are cospectral if their respective adjacency matrices have the same multiset of eigenvalues. Cospectrality yields an equivalence relation on the family of graphs which is provably weaker than isomorphism. In this paper, we study cospectrality in relation to another well-studied relaxation of isomorphism, namely $k$-dimensional Weisfeiler-Leman ($k$-WL) indistinguishability. Cospectrality with respect to standard graph matrices such as the adjacency or the Laplacian matrix yields a strictly finer equivalence relation than $2$-WL indistinguishability. We show that individualising one vertex plus running $1$-WL already subsumes cospectrality with respect to all such graph matrices. Building on this result, we resolve an open problem of F\"urer (2010) about spectral invariants. Looking beyond $2$-WL, we devise a hierarchy of graph matrices generalising the adjacency matrix such that $k$-WL indistinguishability after a fixed number of iterations can be captured as a spectral condition on these matrices. Precisely, we provide a spectral characterisation of $k$-WL indistinguishability after $d$ iterations, for $k,d \in \mathbb{N}$. Our results can be viewed as characterisations of homomorphism indistinguishability over certain graph classes in terms of matrix equations. The study of homomorphism indistinguishability is an emerging field, to which we contribute by extending the algebraic framework of Man\v{c}inska and Roberson (2020) and Grohe et al. (2022).


title: The droplet-scaling versus replica symmetry breaking debate in spin glasses revisited

abstract: Simulational studies of spin glasses in the last decade have focussed on the so-called replicon exponent $\alpha$ as a means of determining whether the low-temperature phase of spin glasses is described by the replica symmetry breaking picture of Parisi or by the droplet-scaling picture. On the latter picture, it should be zero, but we shall argue that it will only be zero for systems of linear dimension $L > L^*$. The crossover length $L^*$ may be of the order of hundreds of lattice spacings in three dimensions and approach infinity in 6 dimensions. We use the droplet-scaling picture to show that the apparent non-zero value of $\alpha$ when $L < L^*$ should be $2 \theta$, where $\theta$ is the domain wall energy scaling exponent, This formula is in reasonable agreement with the reported values of $\alpha$.


title: Approximate Bayesian Conditional Copulas

abstract: Copula models are flexible tools to represent complex structures of dependence for multivariate random variables. According to Sklar's theorem (Sklar, 1959), any d-dimensional absolutely continuous density can be uniquely represented as the product of the marginal distributions and a copula function which captures the dependence structure among the vector components. In real data applications, the interest of the analyses often lies on specific functionals of the dependence, which quantify aspects of it in a few numerical values. A broad literature exists on such functionals, however extensions to include covariates are still limited. This is mainly due to the lack of unbiased estimators of the copula function, especially when one does not have enough information to select the copula model. Recent advances in computational methodologies and algorithms have allowed inference in the presence of complicated likelihood functions, especially in the Bayesian approach, whose methods, despite being computationally intensive, allow us to better evaluate the uncertainty of the estimates. In this work, we present several Bayesian methods to approximate the posterior distribution of functionals of the dependence, using nonparametric models which avoid the selection of the copula function. These methods are compared in simulation studies and in two realistic applications, from civil engineering and astrophysics.


title: Enhancing sensitivity in absorption spectroscopy using a scattering cavity

abstract: Absorption spectroscopy is widely used to detect samples with spectral specificity. Here, we propose and demonstrate a method for enhancing the sensitivity of absorption spectroscopy. Exploiting multiple light scattering generated by a boron nitride (h-BN) scattering cavity, the optical path lengths of light inside a diffusive reflective cavity are significantly increased, resulting in more than ten times enhancement of sensitivity in absorption spectroscopy. We demonstrate highly sensitive spectral measurements of low concentrations of malachite green and crystal violet aqueous solutions. Because this method only requires the addition of a scattering cavity to existing absorption spectroscopy, it is expected to enable immediate and widespread applications in various fields, from analytical chemistry to environmental sciences.


title: Contextual Modal Types for Algebraic Effects and Handlers

abstract: Programming languages with algebraic effects often track the computations' effects using type-and-effect systems. In this paper, we propose to view an algebraic effect theory of a computation as a variable context; consequently, we propose to track algebraic effects of a computation with \emph{contextual modal types}. We develop ECMTT, a novel calculus which tracks algebraic effects by a contextualized variant of the modal $\Box$ (necessity) operator, that it inherits from Contextual Modal Type Theory (CMTT). Whereas type-and-effect systems add effect annotations on top of a prior programming language, the effect annotations in ECMTT are inherent to the language, as they are managed by programming constructs corresponding to the logical introduction and elimination forms for the $\Box$ modality. Thus, the type-and-effect system of ECMTT is actually just a type system. Our design obtains the properties of local soundness and completeness, and determines the operational semantics solely by $\beta$-reduction, as customary in other logic-based calculi. In this view, effect handlers arise naturally as a witness that one context (i.e., algebraic theory) can be reached from another, generalizing explicit substitutions from CMTT. To the best of our knowledge, ECMTT is the first system to relate algebraic effects to modal types. We also see it as a step towards providing a correspondence in the style of Curry and Howard that may transfer a number of results from the fields of modal logic and modal type theory to that of algebraic effects.


title: Decomposition space theory

abstract: In these notes we give a brief introduction to decomposition theory and we summarize some classical and well-known results. The main question is that if a partitioning of a topological space (in other words a decomposition) is given, then what is the topology of the quotient space. The main result is that an upper semi-continuous decomposition yields a homeomorphic decomposition space if the decomposition is shrinkable (i.e. there exist self-homeomorphisms of the space which shrink the partitions into arbitrarily small sets in a controllable way). This is called Bing shrinkability criterion. It is applied in major 4-dimensional results: in the disk embedding theorem and in the proof of the 4-dimensional topological Poincare conjecture. It is extensively applied in constructing approximations of manifold embeddings in dimension at least 5, see for example Edwards's cell-like approximation theorem. We prove for example that every cell-like subset in a 2-dimensional manifold is cellular, that Antoine's necklace is a wild Cantor set, that in a complete metric space a usc decomposition is shrinkable if and only if the decomposition map is a near-homeomorphism and that every manifold has collared boundary.