title: Comparison of power sector models by analyzing the impact of modeling features on optimal capacity expansion

abstract: The transition towards decarbonized energy systems requires the expansion of renewable and flexibility technologies in power sectors. In a model comparison, we examine the optimal expansion of such technologies with six capacity expansion power system models. The technologies under investigation include base- and peak-load power plants, electricity storage, and transmission. We define four highly simplified and harmonized use cases that focus on the expansion of only one or two specific technologies to isolate their effects on model results. We find that deviating assumptions on limited availability factors of technologies cause technology-specific deviations between optimal capacity expansion in models in almost all use cases. Fixed energy-to-power-ratios of storage can entirely change model optimal expansion outcomes, especially shifting the ratio between short- and long-duration storage. Fixed initial and end storage levels can impact the seasonal use of long-duration storage. Models with a pre-ordered dispatch structure significantly deviate from linear optimization models, as limited foresight and flexibility can lead to higher capacity investments. A simplified net transfer capacity approach underestimates the need for grid infrastructure compared to a more detailed direct current load flow approach. We further find deviations in model results of optimal storage and transmission capacity expansion between regions and link them to variable renewable energy generation and demand characteristics. We expect that the general effects identified in our stylized setting also hold in more detailed model applications, although they may be less visible there.


title: Heat profile, level sets and hot spots of Laplace eigenfunctions

abstract: We use probabilistic tools based on Brownian motion and Feynman-Kac formulae to investigate the heat profile for the ground state Dirichlet and second Neumann eigenfunctions. Among other topics, we comment on supremum norm bounds for ground state Dirichlet eigenfunctions and look at the corresponding Neumann problem, namely the comparison of maximum temperatures on the interior and the boundary, the latter being partially motivated by the hot spots problem. We also investigate the proximity/distance of level sets of ground state Dirichlet eigenfunctions, some with analogous statements for Neumann eigenfunctions. Domains with bottlenecks make occasional appearances as an illuminating example as well as testing ground for our theory.


title: Asymptotically sharp discrete nonlinear Hausdorff-Young inequalities for the SU(1,1)-valued Fourier products

abstract: We work in a discrete model of the nonlinear Fourier transform (following the terminology of Tao and Thiele), which appears in the study of orthogonal polynomials on the unit circle. The corresponding nonlinear variant of the Hausdorff-Young inequality can be deduced by adapting the ideas of Christ and Kiselev to the present discrete setting. However, the behavior of sharp constants remains largely unresolved. In this short note we give two results on these constants, after restricting our attention to either sufficiently small sequences or to sequences that are far from being the extremizers of the linear Hausdorff-Young inequality.


title: Los fact-checkers iberoamericanos frente a la COVID-19. An\'alisis de actividad en Facebook / The Ibero-American fact-checkers facing the COVID-19. Analysis of activity on Facebook

abstract: Introduction: The COVID-19 pandemic revealed infodemics as an aggravating factor in health emergencies, a situation that enhanced the role of data verification journalism in crisis situations. This article aims to know the dynamics of publication and interaction on Facebook of the international fact-checking group LatamChequea Coronavirus during the first two months after the declaration of the COVID-19 pandemic by the WHO (March 11, 2020 - May 11, 2020). Methodology: The contents, metadata and reactions generated in a total of 5736 posts published by 31 different fact-checkers were collected with Crowdtangle and analyzed. Results: Among the most shared publications, those related to the COVID-19 generated more reactions and comments than those referring to other topics; the volume of shares is high in relation to other generally more frequent interactions and publications that include links achieved more interactions of all kinds than those based on videos or images. There are positive correlations between the number of likes and the number of shares, and between the angry reaction and the number of comments. Discussion and conclusions: The relevance of sharing in the set of interactions would indicate a high interest of the users to share the denials about fake news, something that distances from previous referenced investigations. The results also point to the influence of the emotional reaction expressed in the interaction with the content in the form of sharing or commenting.


title: Dark Matter Axions, Non-Newtonian Gravity and Constraints on them from Recent Measurement of the Casimir Force in the Micrometer Separation Range

abstract: We consider axionlike particles, as the most probable constituents of dark matter, the Yukawa-type corrections to Newton's gravitational law and constraints on their parameters following from astrophysics and different laboratory experiments. After a brief discussion of the results by Prof. Yu. N. Gnedin in this field, we are coming to the recent experiment on measuring the differential Casimir force between Au-coated surfaces of a sphere and the top and bottom of rectangular trenches. In this experiment, the Casimir force was measured over an unusually wide separation region from 0.2 to 8~mcm and compared with the exact theory based on first principles of quantum electrodynamics at nonzero temperature. We use the measure of agreement between experiment and theory for obtaining constraints on the coupling constant of axionlike particles to nucleons and on the interaction strength of Yukawa-type interaction. The obtained constraints on the axion-to-nucleon coupling constant and on the strength of Yukawa interaction are stronger by the factors of 4 and 24, respectively, than those found previously from gravitational experiments and measurements of the Casimir force, but weaker than the constraints following from the differential measurement where the Casimir force was nullified. Some other already performed and planned experiments directed to the search of axions and non-Newtonian gravity are discussed and their prospects are evaluated.


title: Principal angles between random subspaces and polynomials in two free projections

abstract: We use the geometric concept of principal angles between subspaces to compute the noncommutative distribution of an expression involving two free projections. For example, this allows to simplify a formula by Fevrier-Mastnak-Nica-Szpojankowski about the free Bernoulli anticommutator. We also derive economically an explicit formula for the free additive convolution of Bernoulli distributions. As a byproduct, we observe the remarkable fact that the principal angles between random half-dimensional subspaces are asymptotically distributed according to the uniform measure.


title: Improving Gradient-based Adversarial Training for Text Classification by Contrastive Learning and Auto-Encoder

abstract: Recent work has proposed several efficient approaches for generating gradient-based adversarial perturbations on embeddings and proved that the model's performance and robustness can be improved when they are trained with these contaminated embeddings. While they paid little attention to how to help the model to learn these adversarial samples more efficiently. In this work, we focus on enhancing the model's ability to defend gradient-based adversarial attack during the model's training process and propose two novel adversarial training approaches: (1) CARL narrows the original sample and its adversarial sample in the representation space while enlarging their distance from different labeled samples. (2) RAR forces the model to reconstruct the original sample from its adversarial representation. Experiments show that the proposed two approaches outperform strong baselines on various text classification datasets. Analysis experiments find that when using our approaches, the semantic representation of the input sentence won't be significantly affected by adversarial perturbations, and the model's performance drops less under adversarial attack. That is to say, our approaches can effectively improve the robustness of the model. Besides, RAR can also be used to generate text-form adversarial samples.


title: Proton decays from $\alpha$-unbound states in $^{22}$Mg and the $^{18}$Ne($\alpha, p_{0}$)$^{21}$Na cross section

abstract: This paper examines the $^{18}$Ne($\alpha, p_{0}$)$^{21}$Na cross-section relevant in X-ray bursts. The study was performed with the K600 magnetic spectrometer in coincidence with the CAKE, a silicon detector array, at iThemba LABS in Cape Town, South Africa. A 100-MeV proton beam was impinged on a $^{24}$Mg target to study the $^{24}$Mg($p,t$)$^{22}$Mg reaction. The triton ejectiles were momentum-analysed with the magnetic spectrometer and proton decays from the $^{22}$Mg recoil nucleus to the ground state of $^{21}$Na and various excited states thereof were detected with the CAKE. In doing so, we were able to compare our results to previous direct and indirect measurements of the $^{18}$Ne($\alpha, p$)$^{21}$Na reaction.


title: Challenging Instances are Worth Learning: Generating Valuable Negative Samples for Response Selection Training

abstract: Retrieval-based chatbot selects the appropriate response from candidates according to the context, which heavily depends on a response selection module. A response selection module is generally a scoring model to evaluate candidates and is usually trained on the annotated positive response and sampled negative responses. Sampling negative responses lead to two risks: a). The sampled negative instances, especially that from random sampling methods, are mostly irrelevant to the dialogue context and too easy to be fitted at the training stage while causing a weak model in the real scenario. b). The so-called negative instances may be positive, which is known as the fake negative problem. To address the above issue, we employ pre-trained language models, such as the DialoGPT to construct more challenging negative instances to enhance the model robustness. Specifically, we provide garbled context to the pre-trained model to generate responses and filter the fake negative ones. In this way, our negative instances are fluent, context-related, and more challenging for the model to learn, while can not be positive. Extensive experiments show that our method brings significant and stable improvements on the dialogue response selection capacity.


title: Identification of Electromagnetic Dipoles from Multi-frequency Sparse Electric Far Field Patterns

abstract: The inverse electromagnetic source scattering problem from multi-frequency sparse electric far field patterns is considered. The underlying source is a combination of electric dipoles and magnetic dipoles. We show that the locations and the polarization strengths of the dipoles can be uniquely determined by the multi-frequency electric far field patterns at sparse observation directions. The unique arguments rely on some geometrical discussions and ingenious integrals of the electric far field patterns with properly chosen functions. Motivated by the uniqueness proof, we introduce two indicator functions for locating the magnetic dipoles and the electric dipoles, respectively. Having located all the dipoles, the formulas for computing the corresponding polarization strengths are proposed. Finally, some numerical examples are presented to show the validity and robustness of the proposed algorithm.


title: 3-Dimensional Deep Learning with Spatial Erasing for Unsupervised Anomaly Segmentation in Brain MRI

abstract: Purpose. Brain Magnetic Resonance Images (MRIs) are essential for the diagnosis of neurological diseases. Recently, deep learning methods for unsupervised anomaly detection (UAD) have been proposed for the analysis of brain MRI. These methods rely on healthy brain MRIs and eliminate the requirement of pixel-wise annotated data compared to supervised deep learning. While a wide range of methods for UAD have been proposed, these methods are mostly 2D and only learn from MRI slices, disregarding that brain lesions are inherently 3D and the spatial context of MRI volumes remains unexploited. Methods. We investigate whether using increased spatial context by using MRI volumes combined with spatial erasing leads to improved unsupervised anomaly segmentation performance compared to learning from slices. We evaluate and compare 2D variational autoencoder (VAE) to their 3D counterpart, propose 3D input erasing, and systemically study the impact of the data set size on the performance. Results. Using two publicly available segmentation data sets for evaluation, 3D VAE outperform their 2D counterpart, highlighting the advantage of volumetric context. Also, our 3D erasing methods allow for further performance improvements. Our best performing 3D VAE with input erasing leads to an average DICE score of 31.40% compared to 25.76% for the 2D VAE. Conclusions. We propose 3D deep learning methods for UAD in brain MRI combined with 3D erasing and demonstrate that 3D methods clearly outperform their 2D counterpart for anomaly segmentation. Also, our spatial erasing method allows for further performance improvements and reduces the requirement for large data sets.


title: Menon-type identities concerning subsets of the set $\{1,2,\ldots,n\}$

abstract: We prove certain Menon-type identities associated with the subsets of the set $\{1,2,\ldots,n\}$ and related to the functions $f$, $f_k$, $\Phi$ and $\Phi_k$, defined and investigated by Nathanson (2007).


title: Seminormalization and regulous functions on complex affine varieties

abstract: We study seminormalization of affine complex varieties. We show that polynomials on the seminormalization correspond to the rational functions which are continuous for the Euclidean topology. We further study this type of functions which can be seen as complex regulous functions, a class of functions recently introduced in real algebraic geometry, or as the algebraic counterpart of c-holomorphic functions.


title: Foreground Object Structure Transfer for Unsupervised Domain Adaptation

abstract: Unsupervised domain adaptation aims to train a classification model from the labeled source domain for the unlabeled target domain. Since the data distributions of the two domains are different, the model often performs poorly on the target domain. Existing methods align the feature distributions of the source and target domains and learn domain-invariant features to improve the performance of the model. However, the features are usually aligned as a whole, and the domain adaptation task fails to serve the classification, which will ignore the class information and lead to misalignment.In this paper, we investigate those features that should be used for domain alignment, introduce prior knowledge to extract foreground features to guide the domain adaptation task for classification tasks, and perform alignment in the local structure of objects. We propose a method called Foreground Object Structure Transfer(FOST). The key to FOST is the new clustering based condition, which combines the relative position relationship of foreground objects. Based on this conditions, FOST makes the data distribution of the same class more compact in geometry. In practice, since the label of the target domain is not available, we use the clustering information of the source domain to assign pseudo labels to the target domain samples, and then according to the source domain data prior knowledge guides those positive features to maximum the inter-class distance between different classes and mimimum the intra-class distance. Extensive experimental results on various benchmarks ($i.e.$ ImageCLEF-DA, Office-31, Office-Home, Visda-2017) under different domain adaptation settings prove that our FOST compares favorably against the existing state-of-the-art domain adaptation methods.


title: I wanna draw like you: Inter-and intra-individual differences in orang-utan drawings

abstract: Recently discovered, the oldest human abstract drawing is around 73,000 years. Although the origins of drawing behaviour have remained an enigma to this day, light may be shone on the subject through its study among our closest neighbours, the great apes. This study analyses 749 drawings of five female Bornean orang-utans (Pongo pygmaeus) at Tama Zoological Park in Japan. We searched for differences between individuals but also tried to identify possible temporal changes among the drawings of one individual, Molly, who drew almost 1,300 drawings from 2006 to 2016. A classical analysis of the drawings was carried out after collecting quantitative and qualitative variables. Our findings reveal evidence of differences in the drawing style of the five individuals as well as creative changes in Molly's drawing style throughout her lifetime. Individuals differed in terms of the colours used, the space they filled but also the shapes (fan patterns, circles or loops) they drew. Molly drew less and less as she grew older, and we found a significant difference between drawings produced in winter, when orang-utans were kept inside and had less activity, and those produced during other seasons. Our results suggest that the drawing behaviour of these five orangutans is not random and that differences among individuals might reflect differences of styles, states of mind but also motivation to draw. These novel results are a significant contribution to our understanding of how drawing behaviour evolved in hominids.


title: A non-existence result for the $L_p$-Minkowski problem

abstract: We show that given a real number $p<1$, a positive integer $n$ and a proper subspace $H$ of $\mathbb{R}^n$, the measure on the Euclidean sphere $\mathbb{S}^{n-1}$, which is concentrated in $H$ and whose restriction to the class of Borel subsets of $\mathbb{S}^{n-1}\cap H$ equals the spherical Lebesgue measure on $\mathbb{S}^{n-1}\cap H$, is not the $L_p$-surface area measure of any convex body. This, in particular, disproves a conjecture from [Bianchi, B\"or\"oczky, Colesanti, Yang, The $L_p$-Minkowski problem for $-n<p<1$, Adv. Math. (2019)].


title: Recursion relations for scattering amplitudes with massive particles II: massive vector bosons

abstract: Using the recently introduced recursion relations with covariant massive-massless shift, we study tree-level scattering amplitudes involving a pair of massive vector bosons and an arbitrary number of gluons in the massive spinor-helicity formalism. In particular, we derive compact expressions for cases in which i) all gluons are of the same helicity and ii) one gluon has flipped helicity and is colour adjacent to one of the massive particles. We provide numerous consistency checks of our results including the exact match of high energy limits with well-known MHV and NMHV amplitudes in pure Yang-Mills theory. As a corollary, we obtain an alternative novel representation of the NMHV amplitude.


title: Multi-Scale Input Strategies for Medulloblastoma Tumor Classification using Deep Transfer Learning

abstract: Medulloblastoma (MB) is a primary central nervous system tumor and the most common malignant brain cancer among children. Neuropathologists perform microscopic inspection of histopathological tissue slides under a microscope to assess the severity of the tumor. This is a time-consuming task and often infused with observer variability. Recently, pre-trained convolutional neural networks (CNN) have shown promising results for MB subtype classification. Typically, high-resolution images are divided into smaller tiles for classification, while the size of the tiles has not been systematically evaluated. We study the impact of tile size and input strategy and classify the two major histopathological subtypes-Classic and Demoplastic/Nodular. To this end, we use recently proposed EfficientNets and evaluate tiles with increasing size combined with various downsampling scales. Our results demonstrate using large input tiles pixels followed by intermediate downsampling and patch cropping significantly improves MB classification performance. Our top-performing method achieves the AUC-ROC value of 90.90\% compared to 84.53\% using the previous approach with smaller input tiles.


title: Dense Deep Unfolding Network with 3D-CNN Prior for Snapshot Compressive Imaging

abstract: Snapshot compressive imaging (SCI) aims to record three-dimensional signals via a two-dimensional camera. For the sake of building a fast and accurate SCI recovery algorithm, we incorporate the interpretability of model-based methods and the speed of learning-based ones and present a novel dense deep unfolding network (DUN) with 3D-CNN prior for SCI, where each phase is unrolled from an iteration of Half-Quadratic Splitting (HQS). To better exploit the spatial-temporal correlation among frames and address the problem of information loss between adjacent phases in existing DUNs, we propose to adopt the 3D-CNN prior in our proximal mapping module and develop a novel dense feature map (DFM) strategy, respectively. Besides, in order to promote network robustness, we further propose a dense feature map adaption (DFMA) module to allow inter-phase information to fuse adaptively. All the parameters are learned in an end-to-end fashion. Extensive experiments on simulation data and real data verify the superiority of our method. The source code is available at https://github.com/jianzhangcs/SCI3D.


title: Almost triangular Markov chains on $\mathbb{N}$

abstract: A transition matrix $[U_{i,j}]_{i,j\geq 0}$ on $\mathbb{N}$ is said to be almost upper triangular if $U_{i,j}\geq 0\Rightarrow j\geq i-1$, so that the increments of the corresponding Markov chains are at least $-1$; a transition matrix $[L_{i,j}]_{i,j\geq 0}$ is said to be almost lower triangular if $L_{i,j}\geq 0\Rightarrow j\leq i+1$, and then, the increments of the corresponding Markov chains are at most $+1$. In the present paper, we characterize the recurrence, positive recurrence and invariant distribution for the class of almost triangular transition matrices. The upper case appears to be the simplest in many ways, with existence and uniqueness of invariant measures, when in the lower case, existence as well as uniqueness are not guaranteed. We present the time-reversal connection between upper and lower almost triangular transition matrices, which provides classes of integrable lower triangular transition matrices. These results encompass the case of birth and death processes (BDP) that are famous Markov chains (or processes) taking their values in $\mathbb{N}$, which are simultaneously almost upper and almost lower triangular, and whose study has been initiated by Karlin & McGregor in the 1950's. They found invariant measures, criteria for recurrence, null recurrence, among others; their approach relies on some profound connections they discovered between the theory of BDP, the spectral properties of their transition matrices, the moment problem, and the theory of orthogonal polynomials. Our approach is mainly combinatorial and uses elementary algebraic methods; it is somehow more direct and does not use the same tools.


title: Targetless Extrinsic Calibration of Multiple Small FoV LiDARs and Cameras using Adaptive Voxelization

abstract: Determining the extrinsic parameter between multiple LiDARs and cameras is essential for autonomous robots, especially for solid-state LiDARs, where each LiDAR unit has a very small Field-of-View (FoV), and multiple units are often used collectively. The majority of extrinsic calibration methods are proposed for 360$^\circ$ mechanical spinning LiDARs where the FoV overlap with other LiDAR or camera sensors is assumed. Few research works have been focused on the calibration of small FoV LiDARs and cameras nor on the improvement of the calibration speed. In this work, we consider the problem of extrinsic calibration among small FoV LiDARs and cameras, with the aim to shorten the total calibration time and further improve the calibration precision. We first implement an adaptive voxelization technique in the extraction and matching of LiDAR feature points. Such a process could avoid the redundant creation of $k$-d trees in LiDAR extrinsic calibration and extract LiDAR feature points in a more reliable and fast manner than existing methods. We then formulate the multiple LiDAR extrinsic calibration into a LiDAR Bundle Adjustment (BA) problem. By deriving the cost function up to second-order, the solving time and precision of the non-linear least square problem are further boosted. Our proposed method has been verified on data collected in four targetless scenes and under two types of solid-state LiDARs with a completely different scanning pattern, density, and FoV. The robustness of our work has also been validated under eight initial setups, with each setup containing 100 independent trials. Compared with the state-of-the-art methods, our work has increased the calibration speed 15 times for LiDAR-LiDAR extrinsic calibration and 1.5 times for LiDAR-Camera extrinsic calibration (averaged result from 50 independent trials) while remaining accurate.


title: The qutrit as a heat diode and circulator

abstract: We investigate the heat transport properties of a three-level system coupled to three thermal baths, assuming a model based on superconducting circuit implementations. The system-bath coupling is mediated by resonators which serve as frequency filters for the different qutrit transitions. Taking into account the finite quality factors of the resonators, we find thermal rectification and circulation effects not expected in configurations with perfectly-filtered couplings. Heat leakage in off-resonant transitions can be exploited to make the system work as an ideal diode where heat flows in the same direction between two baths irrespective of the sign of the temperature difference, as well as a perfect heat circulator whose state is phase-reversible.


title: Ability of LISA to detect a gravitational-wave background of cosmological origin: the cosmic string case

abstract: We investigate the ability of the Laser Interferometer Space Antenna (LISA) to detect a stochastic gravitational-wave background (GWB) produced by cosmic strings, and to subsequently estimate the string tension $G\mu$ in the presence of instrument noise, an astrophysical background from compact binaries, and the galactic foreground from white dwarf binaries. Fisher Information and Markov Chain Monte Carlo methods provide estimates of the LISA noise and the parameters for the different signal sources. We demonstrate the ability of LISA to simultaneously estimate the galactic foreground, as well as the astrophysical and cosmic string produced backgrounds. Considering the expected astrophysical background and a galactic foreground, a cosmic string tension in the $G \mu \approx 10^{-16}$ to $G\mu \approx 10^{-15}$ range or bigger could be measured by LISA, with the galactic foreground affecting this limit more than the astrophysical background. The parameter estimation methods presented here can be applied to other cosmological backgrounds in the LISA observation band.


title: Quantum phases transition revealed by the exceptional point in Hopfield-Bogoliubov matrix

abstract: We use the exceptional point in Hopfield-Bogoliubov matrix to find the phase transition points in the bosonic system. In many previous jobs, the excitation energy vanished at the critical point. It can be stated equivalently that quantum critical point is obtained when the determinant of Hopfield-Bogoliubov matrix vanishes. We analytically obtain the Hopfield-Bogoliubov matrix corresponding to the general quadratic Hamiltonian. For single-mode system the appearance of the exceptional point in Hopfield-Bogoliubov matrix is equivalent to the disappearance of the determinant of Hopfield-Bogoliubov matrix. However, in multi-mode bosonic system, they are not equivalent except in some special cases. For example, in the case of perfect symmetry, that is, swapping any two subsystems and keeping the total Hamiltonian invariable, the exceptional point and the degenerate point coincide all the time when the phase transition occurs. When the exceptional point and the degenerate point do not coincide, we find a significant result. With the increase of two-photon driving intensity, the normal phase changes to the superradiant phase, then the superradiant phase changes to the normal phase, and finally the normal phase changes to the superradiant phase.


title: Talking Space: inference from spatial linguistic meanings

abstract: This paper concerns the intersection of natural language and the physical space around us in which we live, that we observe and/or imagine things within. Many important features of language have spatial connotations, for example, many prepositions (like in, next to, after, on, etc.) are fundamentally spatial. Space is also a key factor of the meanings of many words/phrases/sentences/text, and space is a, if not the key, context for referencing (e.g. pointing) and embodiment. We propose a mechanism for how space and linguistic structure can be made to interact in a matching compositional fashion. Examples include Cartesian space, subway stations, chesspieces on a chess-board, and Penrose's staircase. The starting point for our construction is the DisCoCat model of compositional natural language meaning, which we relax to accommodate physical space. We address the issue of having multiple agents/objects in a space, including the case that each agent has different capabilities with respect to that space, e.g., the specific moves each chesspiece can make, or the different velocities one may be able to reach. Once our model is in place, we show how inferences drawing from the structure of physical space can be made. We also how how linguistic model of space can interact with other such models related to our senses and/or embodiment, such as the conceptual spaces of colour, taste and smell, resulting in a rich compositional model of meaning that is close to human experience and embodiment in the world.


title: Perceptual Quality Assessment of HEVC and VVC Standards for 8K Video

abstract: With the growing data consumption of emerging video applications and users requirement for higher resolutions, up to 8K, a huge effort has been made in video compression technologies. Recently, versatile video coding (VVC) has been standardized by the moving picture expert group (MPEG), providing a significant improvement in compression performance over its predecessor high efficiency video coding (HEVC). In this paper, we provide a comparative subjective quality evaluation between VVC and HEVC standards for 8K resolution videos. In addition, we evaluate the perceived quality improvement offered by 8K over UHD 4K resolution. The compression performance of both VVC and HEVC standards has been conducted in random access (RA) coding configuration, using their respective reference software, VVC test model (VTM-11) and HEVC test model (HM-16.20). Objective measurements, using PSNR, MS-SSIM and VMAF metrics have shown that the bitrate gains offered by VVC over HEVC for 8K video content are around 31%, 26% and 35%, respectively. Subjectively, VVC offers an average of 40% of bitrate reduction over HEVC for the same visual quality. A compression gain of 50% has been reached for some tested video sequences regarding a Student t-test analysis. In addition, for most tested scenes, a significant visual difference between uncompressed 4K and 8K has been noticed.


title: Solution Properties of Convex Sweeping Processes with Velocity Constraint

abstract: Some properties of solutions of convex sweeping processes with velocity constraints are studied in this paper. Namely, the solution sensitivity with respect to the initial value, the boundedness, the closedness, and the convexity of the solution set are discussed in detail. Our investigations complement the preceding ones on the solution existence and the solution uniqueness of convex sweeping processes with velocity constraints.


title: The concept of class invariant in object-oriented programming

abstract: Class invariants -- consistency constraints preserved by every operation on objects of a given type -- are fundamental to building, understanding and verifying object-oriented programs. For verification, however, they raise difficulties, which have not yet received a generally accepted solution. The present work introduces a proof rule meant to address these issues and allow verification tools to benefit from invariants. It clarifies the notion of invariant and identifies the three associated problems: callbacks, furtive access and reference leak. As an example, the 2016 Ethereum DAO bug, in which $50 million were stolen, resulted from a callback invalidating an invariant. The discussion starts with a simplified model of computation and an associated proof rule, demonstrating its soundness. It then removes one by one the three simplifying assumptions, each removal raising one of the three issues, and leading to a corresponding adaptation to the proof rule. The final version of the rule can tackle tricky examples, including "challenge problems" listed in the literature.


title: Solar Flare Effects on the Earth's Lower Ionosphere

abstract: Solar flares significantly impact the conditions of the Earth's ionosphere. In particular, the sudden increase in X-ray flux during a flare penetrates down to the lowest-lying D-region and dominates ionization at these altitudes (60-100 km). Measurements of very low frequency (VLF: 3-30kHz) radio waves that reflect at D-region altitudes provide a unique remote-sensing probe to investigate the D-region response to solar flare emissions. Here, using a combination of VLF amplitude measurements at 24kHz together with X-ray observations from the Geostationary Operational Environment Satellite (GOES) X-ray sensor, we present a large-scale statistical study of 334 solar flare events and their impacts on the D-region over the past solar cycle. Focusing on both GOES broadband X-ray channels, we investigate how the flare peak fluxes and position on the solar disk dictate an ionospheric response and extend this to investigate the characteristic time delay between incident X-ray flux and the D-region response. We show that the VLF amplitude linearly correlates with both the 1-8 A and 0.5-4 A channels, with correlation coefficients of 0.80 and 0.79, respectively. Unlike higher altitude ionospheric regions for which the location of the flare on the solar disk affects the ionospheric response, we find that the D-region response to solar flares does not depend on the flare location. By comparing the time delays between the peak X-ray fluxes in both GOES channels and VLF amplitudes, we find that there is an important difference between the D-region response and the X-ray spectral band. We also demonstrate for several flare events that show a negative time delay, the peak VLF amplitude matches with the impulsive 25-50 keV hard X-ray fluxes measured by the Ramaty High Energy Solar Spectroscopic Imager (RHESSI).


title: Bayesian model-based outlier detection in network meta-analysis

abstract: In a network meta-analysis, some of the collected studies may deviate markedly from the others, for example having very unusual effect sizes. These deviating studies can be regarded as outlying with respect to the rest of the network and can be influential on the pooled results. Thus, it could be inappropriate to synthesize those studies without further investigation. In this paper, we propose two Bayesian methods to detect outliers in a network meta-analysis via: (a) a mean-shifted outlier model and (b), posterior predictive p-values constructed from ad-hoc discrepancy measures. The former method uses Bayes factors to formally test each study against outliers while the latter provides a score of outlyingness for each study in the network, which allows to numerically quantify the uncertainty associated with being outlier. Furthermore, we present a simple method based on informative priors as part of the network meta-analysis model to down-weight the detected outliers. We conduct extensive simulations to evaluate the effectiveness of the proposed methodology while comparing it to some alternative, available outlier diagnostic tools. Two real networks of interventions are then used to demonstrate our methods in practice.


title: Design of a HOM-Damped 166.6 MHz Compact Quarter-Wave beta=1 Superconducting Cavity for High Energy Photon Source

abstract: Superconducting cavities with low RF frequencies and heavy damping of higher order modes (HOM) are desired for the main accelerator of High Energy Photon Source (HEPS), a 6 GeV synchrotron light source promising ultralow emittance currently under construction in Beijing. A compact 166.6 MHz superconducting cavity was proposed adopting a quarter-wave beta=1 geometry. Based on the successful development of a proof-of-principle cavity, a HOM-damped 166.6 MHz compact superconducting cavity was subsequently designed. A ferrite damper was installed on the beam pipe to reduce HOM impedance below the stringent threshold of coupled-bunch instabilities. Being compact, RF field heating on the cavity vacuum seal was carefully examined against quenching the NbTi flange. The cavity was later dressed with a helium vessel and the tuning mechanism was also realized. Excellent RF and mechanical properties were eventually achieved. Finally, the two-cavity string was designed to ensure smooth transitions among components and proper shielding of synchrotron light. This paper presents a complete design of a fully dressed HOM-damped low-frequency beta=1 superconducting cavity for HEPS.


title: Beyond Distributed Subgraph Detection: Induced Subgraphs, Multicolored Problems and Graph Parameters

abstract: Subgraph detection has recently been one of the most studied problems in the CONGEST model of distributed computing. In this work, we study the distributed complexity of problems closely related to subgraph detection, mainly focusing on induced subgraph detection. The main line of this work presents lower bounds and parameterized algorithms w.r.t structural parameters of the input graph: -- On general graphs, we give unconditional lower bounds for induced detection of cycles and patterns of treewidth 2 in CONGEST. Moreover, by adapting reductions from centralized parameterized complexity, we prove lower bounds in CONGEST for detecting patterns with a 4-clique, and for induced path detection conditional on the hardness of triangle detection in the congested clique. -- On graphs of bounded degeneracy, we show that induced paths can be detected fast in CONGEST using techniques from parameterized algorithms, while detecting cycles and patterns of treewidth 2 is hard. -- On graphs of bounded vertex cover number, we show that induced subgraph detection is easy in CONGEST for any pattern graph. More specifically, we adapt a centralized parameterized algorithm for a more general maximum common induced subgraph detection problem to the distributed setting. In addition to these induced subgraph detection results, we study various related problems in the CONGEST and congested clique models, including for multicolored versions of subgraph-detection-like problems.


title: Anomaly Attribution of Multivariate Time Series using Counterfactual Reasoning

abstract: There are numerous methods for detecting anomalies in time series, but that is only the first step to understanding them. We strive to exceed this by explaining those anomalies. Thus we develop a novel attribution scheme for multivariate time series relying on counterfactual reasoning. We aim to answer the counterfactual question of would the anomalous event have occurred if the subset of the involved variables had been more similarly distributed to the data outside of the anomalous interval. Specifically, we detect anomalous intervals using the Maximally Divergent Interval (MDI) algorithm, replace a subset of variables with their in-distribution values within the detected interval and observe if the interval has become less anomalous, by re-scoring it with MDI. We evaluate our method on multivariate temporal and spatio-temporal data and confirm the accuracy of our anomaly attribution of multiple well-understood extreme climate events such as heatwaves and hurricanes.


title: A bosonic perspective on the classical mapping of fermionic quantum dynamics

abstract: We consider the application of the original Meyer-Miller (MM) Hamiltonian to mapping fermionic quantum dynamics to classical equations of motion. Non-interacting fermionic and bosonic systems share the same one-body density dynamics when evolving from the same initial many-body state. The MM classical mapping is exact for non-interacting bosons, and therefore it yields the exact time-dependent one-body density for non-interacting fermions as well. Starting from this observation, the MM mapping is compared to different mappings specific for fermionic systems, namely the spin mapping (SM) with and without including a Jordan-Wigner transformation, and the Li-Miller mapping (LMM). For non-interacting systems, the inclusion of fermionic anti-symmetry through the Jordan-Wigner transform does not lead to any improvement in the performance of the mappings and instead it worsens the classical description. For an interacting impurity model and for models of excitonic energy transfer, the MM and LMM mappings perform similarly, and in some cases the former outperforms the latter when compared to a full quantum description. The classical mappings are able to capture interference effects, both constructive and destructive, that originate from equivalent energy transfer pathways in the models.


title: On the approximation of basins of attraction using deep neural networks

abstract: The basin of attraction is the set of initial points that will eventually converge to some attracting set. Its knowledge is important in understanding the dynamical behavior of a given dynamical system of interest. In this work, we address the problem of reconstructing the basins of attraction of a multistable system, using only labeled data. To this end, we view this problem as a classification task and use a deep neural network as a classifier for predicting the attractor that corresponds to any given initial condition. Additionally, we provide a method for obtaining an approximation of the basin boundary of the underlying system, using the trained classification model. Finally, we provide evidence relating the complexity of the structure of the basins of attraction with the quality of the obtained reconstructions, via the concept of basin entropy. We demonstrate the application of the proposed method on the Lorenz system in a bistable regime.


title: Variation-Incentive Loss Re-weighting for Regression Analysis on Biased Data

abstract: Both classification and regression tasks are susceptible to the biased distribution of training data. However, existing approaches are focused on the class-imbalanced learning and cannot be applied to the problems of numerical regression where the learning targets are continuous values rather than discrete labels. In this paper, we aim to improve the accuracy of the regression analysis by addressing the data skewness/bias during model training. We first introduce two metrics, uniqueness and abnormality, to reflect the localized data distribution from the perspectives of their feature (i.e., input) space and target (i.e., output) space. Combining these two metrics we propose a Variation-Incentive Loss re-weighting method (VILoss) to optimize the gradient descent-based model training for regression analysis. We have conducted comprehensive experiments on both synthetic and real-world data sets. The results show significant improvement in the model quality (reduction in error by up to 11.9%) when using VILoss as the loss criterion in training.


title: Techniques of Model Reductions in Biochemical Cell Signaling Pathways

abstract: There are many mathematical models of biochemical cell signaling pathways that contain a large number of elements (species and reactions). This is sometimes a big issue for identifying critical model elements and describing the model dynamics. Thus, techniques of model reduction can be used as a mathematical tool in order to minimize the number of variables and parameters. In this thesis, we review some well-known methods of model reduction for cell signaling pathways. We have also developed some approaches that provide us a great step forward in model reduction. The techniques are quasi steady state approximation (QSSA), quasi equilibrium approximation (QEA), lumping of species and entropy production analysis. They are applied on protein translation pathways with microRNA mechanisms, chemical reaction networks, extracellular signal regulated kinase (ERK) pathways, NFkB signal transduction pathways, elongation factors EFTu and EFTs signaling pathways and Dihydrofolate reductase (DHFR) pathways. The main aim of this thesis is to reduce the complex cell signaling pathway models. This provides one a better understanding of the dynamics of such models and gives an accurate approximate solution. Results show that there is a good agreement between the original models and the simplified models.


title: Gibbs posterior inference on a Levy density under discrete sampling

abstract: In mathematical finance, Levy processes are widely used for their ability to model both continuous variation and abrupt, discontinuous jumps. These jumps are practically relevant, so reliable inference on the feature that controls jump frequencies and magnitudes, namely, the Levy density, is of critical importance. A specific obstacle to carrying out model-based (e.g., Bayesian) inference in such problems is that, for general Levy processes, the likelihood is intractable. To overcome this obstacle, here we adopt a Gibbs posterior framework that updates a prior distribution using a suitable loss function instead of a likelihood. We establish asymptotic posterior concentration rates for the proposed Gibbs posterior. In particular, in the most interesting and practically relevant case, we give conditions under which the Gibbs posterior concentrates at (nearly) the minimax optimal rate, adaptive to the unknown smoothness of the true Levy density.


title: Modons on Tidally Synchronised Extrasolar Planets

abstract: We investigate modons on tidally synchronised extrasolar planets. Modons are highly dynamic, coherent flow structures composed of a pair of storms with opposite signs of vorticity. They are important because they divert flows on the large-scale; and, powered by the intense irradiation from the host star, they are planetary-scale sized and exhibit quasi-periodic life-cycles -- chaotically moving around the planet, breaking and reforming many times over long durations (e.g. thousands of planet days). Additionally, modons transport and mix planetary-scale patches of hot and cold air around the planet, leading to high-amplitude and quasi-periodic signatures in the disc-averaged temperature flux. Hence, they induce variations of the "hot spot" longitude to either side of the planet's sub-stellar point -- consistent with observations at different epoch. The variability behaviour in our simulations broadly underscores the importance of accurately capturing vortex dynamics in extrasolar planet atmosphere modelling, particularly in understanding current observations.


title: The Complexity of Vector Partition

abstract: We consider the {\em vector partition problem}, where $n$ agents, each with a $d$-dimensional attribute vector, are to be partitioned into $p$ parts so as to minimize cost which is a given function on the sums of attribute vectors in each part. The problem has applications in a variety of areas including clustering, logistics and health care. We consider the complexity and parameterized complexity of the problem under various assumptions on the natural parameters $p,d,a,t$ of the problem where $a$ is the maximum absolute value of any attribute and $t$ is the number of agent types, and raise some of the many remaining open problems.


title: Small-Angle X-ray Scattering: Characterization of cubic Au nanoparticles using Debye's scattering formula

abstract: We propose a versatile software package in the form of a Python extension, named CDEF (Computing Debye's scattering formula for Extraordinary Formfactors), to approximately calculate scattering profiles of arbitrarily shaped nanoparticles for small-angle X-ray scattering (SAXS). CDEF generates a quasi-randomly distributed point cloud in the desired particle shape and then applies the open source software DEBYER for efficient evaluation of Debye's scattering formula to calculate the SAXS pattern. If self-correlation of the scattering signal is not omitted, the quasi-random distribution provides faster convergence compared to a true random distribution of the scatterers, especially at higher momentum transfer. The usage of the software is demonstrated for the evaluation of scattering data of Au nanocubes with rounded edges, which were measured at the four-crystal monochromator beamline of PTB at the synchrotron radiation facility BESSY II in Berlin. Our implementation is fast enough to run on a single desktop computer and perform model fits within minutes. The accuracy of the method was analyzed by comparison with analytically known form factors and verified with another implementation, the SPONGE, based on a similiar principle with fewer approximations. Additionally, the SPONGE coupled to McSAS3 allows us to further retrieve information on the uncertainty of the size distribution using a Monte-Carlo uncertainty estimation algorithm.


title: Full solution of the medium-induced radiation spectrum

abstract: New measurements of jet quenching observables at RHIC and at the LHC, such as jet substructure observables, demand an increased precision in the theory calculations describing medium-induced radiation of gluons. Closed expressions for the gluon spectrum including a full resummation of multiple scatterings have been known for the past 20 years. Still they have only been evaluated in specific limits either taking a few terms in an opacity expansion or by employing a Gaussian approximation for the interaction potential -- which misses essential physical effects. We present here a new flexible method to compute the full spectrum for a realistic interaction potential, thus allowing us for the first time to properly quantify the effect of the all-order resummation of multiple scatterings. This new approach paves the way for precision phenomenological studies including multiple scattering effects such as coherence phenomena.


title: Doping-driven pseudogap-metal-to-metal transition in correlated electron systems

abstract: We establish that a doping-driven first-order metal-to-metal transition, from a pseudogap metal to Fermi Liquid, can occur in correlated quantum materials. Our result is based on the exact Dynamical Mean Field Theory solution of the Dimer Hubbard Model. This transition elucidates the origin of many exotic features in doped Mott materials, like the pseudogap in cuprates, incoherent bad metals, enhanced compressibility and orbital selective Mott transition. This phenomenon is suggestive to be at the roots of the many exotic phases appearing in the phase diagram of correlated materials.


title: The Impact of User Demographics and Task Types on Cross-App Mobile Search

abstract: Recent developments in the mobile app industry have resulted in various types of mobile apps, each targeting a different need and a specific audience. Consequently, users access distinct apps to complete their information need tasks. This leads to the use of various apps not only separately, but also collaboratively in the same session to achieve a single goal. Recent work has argued the need for a unified mobile search system that would act as metasearch on users' mobile devices. The system would identify the target apps for the user's query, submit the query to the apps, and present the results to the user in a unified way. In this work, we aim to deepen our understanding of user behavior while accessing information on their mobile phones by conducting an extensive analysis of various aspects related to the search process. In particular, we study the effect of task type and user demographics on their behavior in interacting with mobile apps. Our findings reveal trends and patterns that can inform the design of a more effective mobile information access environment.


title: Deep-Unfolding Neural-Network Aided Hybrid Beamforming Based on Symbol-Error Probability Minimization

abstract: In massive multiple-input multiple-output (MIMO) systems, hybrid analog-digital (AD) beamforming can be used to attain a high directional gain without requiring a dedicated radio frequency (RF) chain for each antenna element, which substantially reduces both the hardware costs and power consumption. While massive MIMO transceiver design typically relies on the conventional mean-square error (MSE) criterion, directly minimizing the symbol error rate (SER) can lead to a superior performance. In this paper, we first mathematically formulate the problem of hybrid transceiver design under the minimum SER (MSER) optimization criterion and then develop a MSER-based gradient descent (GD) iterative algorithm to find the related stationary points. We then propose a deep-unfolding neural network (NN), in which the iterative GD algorithm is unfolded into a multi-layer structure wherein a set of trainable parameters are introduced for accelerating the convergence and enhancing the overall system performance. To implement the training stage, the relationship between the gradients of adjacent layers is derived based on the generalized chain rule (GCR). The deep-unfolding NN is developed for both quadrature phase shift keying (QPSK) and for $M$-ary quadrature amplitude modulated (QAM) signals and its convergence is investigated theoretically. Furthermore, we analyze the transfer capability, computational complexity, and generalization capability of the proposed deep-unfolding NN. Our simulation results show that the latter significantly outperforms its conventional counterpart at a reduced complexity.


title: The probabilistic vs the quantization approach to K\"ahler-Einstein geometry

abstract: In the probabilistic construction of K\"ahler-Einstein metrics on a complex projective algebraic manifold X - involving random point processes on X - a key role is played by the partition function. In this work a new quantitative bound on the partition function is obtained. It yields, in particular, a new direct analytic proof that X admits a K\"ahler-Einstein metrics if it is uniformly Gibbs stable. The proof makes contact with the quantization approach to K\"ahler-Einstein geometry.


title: The Effect of False Positives: Why Fuzzy Message Detection Leads to Fuzzy Privacy Guarantees?

abstract: Fuzzy Message Detection (FMD) is a recent cryptographic primitive invented by Beck et al. (CCS'21) where an untrusted server performs coarse message filtering for its clients in a recipient-anonymous way. In FMD - besides the true positive messages - the clients download from the server their cover messages determined by their false-positive detection rates. What is more, within FMD, the server cannot distinguish between genuine and cover traffic. In this paper, we formally analyze the privacy guarantees of FMD from three different angles. First, we analyze three privacy provisions offered by FMD: recipient unlinkability, relationship anonymity, and temporal detection ambiguity. Second, we perform a differential privacy analysis and coin a relaxed definition to capture the privacy guarantees FMD yields. Finally, we simulate FMD on real-world communication data. Our theoretical and empirical results assist FMD users in adequately selecting their false-positive detection rates for various applications with given privacy requirements.


title: Piezo-orbital backaction force in a rare-earth doped crystal

abstract: We investigate a system composed of an ensemble of room temperature rare-earth ions embedded in a bulk crystal, intrinsically coupled to internal strain via their sensitivity to the surrounding crystal field. We evidence the generation of a mechanical response under resonant atomic excitation. We find this motion to be the sum of two fundamental, resonant optomechanical backaction processes: a conservative, piezo-orbital mechanism, resulting from the modification of the crystal field associated with the promotion of the ions to their excited state, and a dissipative, non-radiative photothermal process related to the phonons generated throughout the atomic population relaxation. Our work opens new research avenues in hybrid optomechanics, and highlights new interactions that may be key for understanding the dephasing dynamics of ultra-coherent rare-earth ions.

categories: physics.atom-ph cond-mat.mtrl-sci physics.optics quant-ph


title: Joining Forces: Applying Design Thinking Techniques in Scrum Meetings

abstract: The most prominent Agile framework Scrum, is often criticized for its amount of meetings. These regular events are essential to the empirical inspect-and-adapt cycle proposed by Agile methods. Scrum meetings face several challenges, such as being perceived as boring, repetitive, or irrelevant, leading to decreased cooperation in teams and less successful projects. In an attempt to address these challenges, Agile practitioners have adopted teamwork, innovation, and design techniques geared towards improving collaboration. Additionally, they have developed their own activities to be used in Scrum meetings, most notably for conducting retrospective and planning events. Design thinking incorporates non-designers and designers in design and conceptualization activities, including user research, ideation, or testing. Accordingly, the design thinking approach provides a process with different phases and accompanying techniques for each step. These design thinking techniques can support shared understanding in teams and can improve collaboration, creativity, and product understanding. For these reasons, design thinking techniques represent a worthwhile addition to the Scrum meeting toolkit and can support Agile meetings in preventing or countering common meeting challenges and achieving meeting goals. This chapter explores how techniques from the design thinking toolkit can support Scrum meetings from a theoretical and practical viewpoint. We analyze Scrum meetings' requirements, goals, and challenges and link them to groups of techniques from the design thinking toolkit. In addition, we review interview and observational data from two previous studies with software development practitioners and derive concrete examples. As a result, we present initial guidelines on integrating design thinking techniques into Scrum meetings to make them more engaging, collaborative, and interactive.


title: Bayesian AirComp with Sign-Alignment Precoding for Wireless Federated Learning

abstract: In this paper, we consider the problem of wireless federated learning based on sign stochastic gradient descent (signSGD) algorithm via a multiple access channel. When sending locally computed gradient's sign information, each mobile device requires to apply precoding to circumvent wireless fading effects. In practice, however, acquiring perfect knowledge of channel state information (CSI) at all mobile devices is infeasible. In this paper, we present a simple yet effective precoding method with limited channel knowledge, called sign-alignment precoding. The idea of sign-alignment precoding is to protect sign-flipping errors from wireless fadings. Under the Gaussian prior assumption on the local gradients, we also derive the mean squared error (MSE)-optimal aggregation function called Bayesian over-the-air computation (BayAirComp). Our key finding is that one-bit precoding with BayAirComp aggregation can provide a better learning performance than the existing precoding method even using perfect CSI with AirComp aggregation.


title: Continuous Homeostatic Reinforcement Learning for Self-Regulated Autonomous Agents

abstract: Homeostasis is a prevalent process by which living beings maintain their internal milieu around optimal levels. Multiple lines of evidence suggest that living beings learn to act to predicatively ensure homeostasis (allostasis). A classical theory for such regulation is drive reduction, where a function of the difference between the current and the optimal internal state. The recently introduced homeostatic regulated reinforcement learning theory (HRRL), by defining within the framework of reinforcement learning a reward function based on the internal state of the agent, makes the link between the theories of drive reduction and reinforcement learning. The HRRL makes it possible to explain multiple eating disorders. However, the lack of continuous change in the internal state of the agent with the discrete-time modeling has been so far a key shortcoming of the HRRL theory. Here, we propose an extension of the homeostatic reinforcement learning theory to a continuous environment in space and time, while maintaining the validity of the theoretical results and the behaviors explained by the model in discrete time. Inspired by the self-regulating mechanisms abundantly present in biology, we also introduce a model for the dynamics of the agent internal state, requiring the agent to continuously take actions to maintain homeostasis. Based on the Hamilton-Jacobi-Bellman equation and function approximation with neural networks, we derive a numerical scheme allowing the agent to learn directly how its internal mechanism works, and to choose appropriate action policies via reinforcement learning and an appropriate exploration of the environment. Our numerical experiments show that the agent does indeed learn to behave in a way that is beneficial to its survival in the environment, making our framework promising for modeling animal dynamics and decision-making.


title: Stabilization of the trace formula for metaplectic groups

abstract: We stabilize the full Arthur-Selberg trace formula for the metaplectic covering of symplectic groups over a number field. This provides a decomposition of the invariant trace formula for metaplectic groups, which encodes information about the genuine $L^2$-automorphic spectrum, into a linear combination of stable trace formulas of products of split odd orthogonal groups via endoscopic transfer. By adapting the strategies of Arthur and Moeglin-Waldspurger from the linear case, the proof is built on a long induction process that mixes up local and global, geometric and spectral data. As a by-product, we also stabilize the local trace formula for metaplectic groups over any local field of characteristic zero.


title: Cut-and-join operators for higher Weil-Petersson volumes

abstract: In this paper, we construct the cut-and-join operator description for the generating functions of all intersection numbers of $\psi$, $\kappa$, and $\Theta$ classes on the moduli spaces $\overline{\mathcal M}_{g,n}$. The cut-and-join operators define an algebraic version of topological recursion. This recursion allows us to compute all these intersection numbers recursively. For the specific values of parameters, the generating functions describe the volumes of moduli spaces of (super) hyperbolic Riemann surfaces with geodesic boundaries, which are also related to the Jackiw-Teitelboim (JT) (super)gravity.


title: A Semantic Indexing Structure for Image Retrieval

abstract: In large-scale image retrieval, many indexing methods have been proposed to narrow down the searching scope of retrieval. The features extracted from images usually are of high dimensions or unfixed sizes due to the existence of key points. Most of existing index structures suffer from the dimension curse, the unfixed feature size and/or the loss of semantic similarity. In this paper a new classification-based indexing structure, called Semantic Indexing Structure (SIS), is proposed, in which we utilize the semantic categories rather than clustering centers to create database partitions, such that the proposed index SIS can be combined with feature extractors without the restriction of dimensions. Besides, it is observed that the size of each semantic partition is positively correlated with the semantic distribution of database. Along this way, we found that when the partition number is normalized to five, the proposed algorithm performed very well in all the tests. Compared with state-of-the-art models, SIS achieves outstanding performance.


title: Choosing the Right Algorithm With Hints From Complexity Theory

abstract: Choosing a suitable algorithm from the myriads of different search heuristics is difficult when faced with a novel optimization problem. In this work, we argue that the purely academic question of what could be the best possible algorithm in a certain broad class of black-box optimizers can give fruitful indications in which direction to search for good established optimization heuristics. We demonstrate this approach on the recently proposed DLB benchmark, for which the only known results are $O(n^3)$ runtimes for several classic evolutionary algorithms and an $O(n^2 \log n)$ runtime for an estimation-of-distribution algorithm. Our finding that the unary unbiased black-box complexity is only $O(n^2)$ suggests the Metropolis algorithm as an interesting candidate and we prove that it solves the DLB problem in quadratic time. Since we also prove that better runtimes cannot be obtained in the class of unary unbiased algorithms, we shift our attention to algorithms that use the information of more parents to generate new solutions. An artificial algorithm of this type having an $O(n \log n)$ runtime leads to the result that the significance-based compact genetic algorithm (sig-cGA) can solve the DLB problem also in time $O(n \log n)$ with high probability. Our experiments show a remarkably good performance of the Metropolis algorithm, clearly the best of all algorithms regarded for reasonable problem sizes.


title: Compact Modeling of pH-Sensitive FETs Based on Two-Dimensional Semiconductors

abstract: We present a physics-based circuit-compatible model for pH-sensitive field-effect transistors based on two-dimensional (2D) materials. The electrostatics along the electrolyte-gated 2D-semiconductor stack is treated by solving the Poisson equation including the Site-Binding model and the Gouy-Chapman-Stern approach, while the carrier transport is described by the drift-diffusion theory. The proposed model is provided in an analytical form and then implemented in Verilog-A, making it compatible with standard technology computer-aided design tools employed for circuit simulation. The model is benchmarked against two experimental transition-metal-dichalcogenide (MoS2 and ReS2) based ion sensors, showing excellent agreement when predicting the drain current, threshold voltage shift, and current/voltage sensitivity measurements for different pH concentrations.


title: Molecules with ALMA at Planet-forming Scales (MAPS) XVI: Characterizing the impact of the molecular wind on the evolution of the HD 163296 system

abstract: During the main phase of evolution of a protoplanetary disk, accretion regulates the inner-disk properties, such as the temperature and mass distribution, and in turn, the physical conditions associated with planet formation. The driving mechanism behind accretion remains uncertain; however, one promising mechanism is the removal of a fraction of angular momentum via a magnetohydrodynamic (MHD) disk wind launched from the inner tens of astronomical units of the disk. This paper utilizes CO isotopologue emission to study the unique molecular outflow originating from the HD 163296 protoplanetary disk obtained with the Atacama Large Millimeter/submillimeter Array. HD~163296 is one of the most well-studied Class II disks and is proposed to host multiple gas-giant planets. We robustly detect the large-scale rotating outflow in the 12CO J=2-1 and the 13CO J=2-1 and J=1-0 transitions. We constrain the kinematics, the excitation temperature of the molecular gas, and the mass-loss rate. The high ratio of the rates of ejection to accretion (5 - 50), together with the rotation signatures of the flow, provides solid evidence for an MHD disk wind. We find that the angular momentum removal by the wind is sufficient to drive accretion through the inner region of the disk; therefore, accretion driven by turbulent viscosity is not required to explain HD~163296's accretion. The low temperature of the molecular wind and its overall kinematics suggest that the MHD disk wind could be perturbed and shocked by the previously observed high-velocity atomic jet. This paper is part of the MAPS special issue of the Astrophysical Journal Supplement.


title: Sum-Product-Attention Networks: Leveraging Self-Attention in Probabilistic Circuits

abstract: Probabilistic circuits (PCs) have become the de-facto standard for learning and inference in probabilistic modeling. We introduce Sum-Product-Attention Networks (SPAN), a new generative model that integrates probabilistic circuits with Transformers. SPAN uses self-attention to select the most relevant parts of a probabilistic circuit, here sum-product networks, to improve the modeling capability of the underlying sum-product network. We show that while modeling, SPAN focuses on a specific set of independent assumptions in every product layer of the sum-product network. Our empirical evaluations show that SPAN outperforms state-of-the-art probabilistic generative models on various benchmark data sets as well is an efficient generative image model.


title: Matrix H\"older's inequality and divergence formulation of optimal transport of vector measures

abstract: We characterise equality cases in matrix H\"older's inequality and develop a divergence formulation of optimal transport of vector measures. As an application, we reprove the representation formula for measures in the polar cone to monotone maps. We generalise the last result to a wide class of polar cones, including polar cones to tangent cones to the unit ball in the space of differentiable functions and in the Sobolev spaces.


title: Information Cocoons in Online Navigation

abstract: Social media and online navigation bring us enjoyable experience in accessing information, and simultaneously create information cocoons (ICs) in which we are unconsciously trapped with limited and biased information. We provide a formal definition of IC in the scenario of online navigation. Subsequently, by analyzing real recommendation networks extracted from Science, PNAS and Amazon websites, and testing mainstream algorithms in disparate recommender systems, we demonstrate that similarity-based recommendation techniques result in ICs, which suppress the system navigability by hundreds of times. We further propose a flexible recommendation strategy that solves the IC-induced problem and improves retrieval accuracy in navigation, demonstrated by simulations on real data and online experiments on the largest video website in China.


title: High-Fidelity GAN Inversion for Image Attribute Editing

abstract: We present a novel high-fidelity generative adversarial network (GAN) inversion framework that enables attribute editing with image-specific details well-preserved (e.g., background, appearance, and illumination). We first analyze the challenges of high-fidelity GAN inversion from the perspective of lossy data compression. With a low bit-rate latent code, previous works have difficulties in preserving high-fidelity details in reconstructed and edited images. Increasing the size of a latent code can improve the accuracy of GAN inversion but at the cost of inferior editability. To improve image fidelity without compromising editability, we propose a distortion consultation approach that employs a distortion map as a reference for high-fidelity reconstruction. In the distortion consultation inversion (DCI), the distortion map is first projected to a high-rate latent map, which then complements the basic low-rate latent code with more details via consultation fusion. To achieve high-fidelity editing, we propose an adaptive distortion alignment (ADA) module with a self-supervised training scheme, which bridges the gap between the edited and inversion images. Extensive experiments in the face and car domains show a clear improvement in both inversion and editing quality.


title: The impact of the COVID-19 pandemic on academic productivity

abstract: 'Publish or perish' is an expression describing the pressure on academics to consistently publish research to ensure a successful career in academia. With a global pandemic that has changed the world, how has it changed academic productivity? Here we show that academics are posting just as many publications on the arXiv pre-print server as if there were no pandemic: 168,630 were posted in 2020, a +12.6% change from 2019 and $+1.4\sigma$ deviation above the predicted 162,577 $\pm$ 4,393. However, some immediate impacts are visible in individual research fields. Conference cancellations have led to sharp drops in pre-prints, but laboratory closures have had mixed effects. Only some experimental fields show mild declines in outputs, with most being consistent on previous years or even increasing above model expectations. The most significant change is a 50% increase ($+8\sigma$) in quantitative biology research, all related to the COVID-19 pandemic. Some of these publications are by biologists using arXiv for the first time, and some are written by researchers from other fields (e.g., physicists, mathematicians). While quantitative biology pre-prints have returned to pre-pandemic levels, 20% of the research in this field is now focussed on the COVID-19 pandemic, demonstrating a strong shift in research focus.


title: Variations of the bridge quiver for domestic string algebras

abstract: In the computation of some representation-theoretic numerical invariants of domestic string algebras, a finite combinatorial gadget introduced by Schr\"{o}er--the \emph{bridge quiver} whose vertices are (representatives of cyclic permutations of) bands and whose arrows are certain band-free strings--has been used extensively. There is a natural but ill-behaved partial binary operation, $\circ$, on the larger set of \emph{weak bridges} such that bridges are precisely the $\circ$-irreducibles. With the goal of computing hammocks up to isomorphism in a later work we equip an even larger set of \emph{weak arch bridges} with another partial binary operation, $\circ_H$, to obtain a finite category. Each weak arch bridge admits a unique $\circ_H$-factorization into \emph{arch bridges}, i.e., the $\circ_H$-irreducibles.


title: Locality in online, dynamic, sequential, and distributed graph algorithms

abstract: In this work, we give a unifying view of locality in four settings: distributed algorithms, sequential greedy algorithms, dynamic algorithms, and online algorithms. We introduce a new model of computing, called the online-LOCAL model: the adversary reveals the nodes of the input graph one by one, in the same way as in classical online algorithms, but for each new node we get to see its radius-T neighborhood before choosing the output. We compare the online-LOCAL model with three other models: the LOCAL model of distributed computing, where each node produces its output based on its radius-T neighborhood, its sequential counterpart SLOCAL, and the dynamic-LOCAL model, where changes in the dynamic input graph only influence the radius-T neighborhood of the point of change. The SLOCAL and dynamic-LOCAL models are sandwiched between the LOCAL and online-LOCAL models, with LOCAL being the weakest and online-LOCAL the strongest model. In general, all models are distinct, but we study in particular locally checkable labeling problems (LCLs), which is a family of graph problems studied in the context of distributed graph algorithms. We prove that for LCL problems in paths, cycles, and rooted trees, all models are roughly equivalent: the locality of any LCL problem falls in the same broad class - $O(\log^* n)$, $\Theta(\log n)$, or $n^{\Theta(1)}$ - in all four models. In particular, this result enables one to generalize prior lower-bound results from the LOCAL model to all four models, and it also allows one to simulate e.g. dynamic-LOCAL algorithms efficiently in the LOCAL model. We also show that this equivalence does not hold in general bipartite graphs. We provide an online-LOCAL algorithm with locality $O(\log n)$ for the $3$-coloring problem in bipartite graphs - this is a problem with locality $\Omega(n^{1/2})$ in the LOCAL model and $\Omega(n^{1/10})$ in the SLOCAL model.


title: Infinite critical boson non-Fermi liquid on heterostructure interfaces

abstract: We study the emergence of non-Fermi liquid on heterostructure interfaces where there exists an infinite number of critical boson modes accounting for the magnetic fluctuations in two spatial dimensions. The interfacial Dzyaloshinskii-Moriya interaction naturally arises in magnetic interactions due to the absence of inversion symmetry, resulting in a degenerate contour for the low-energy bosonic modes in the momentum space which simultaneously becomes critical near the magnetic phase transition. The itinerant electrons are scattered by the critical boson contour via the Yukawa coupling. When the boson contour is much smaller than the Fermi surface, it is shown that, there exists a regime with a dynamic critical exponent z=3 while the boson contour still controls the low-energy magnetic fluctuations. Using a self-consistent renormalization calculation for this regime, we uncover a prominent non-Fermi liquid behavior in the resistivity with a characteristic temperature scaling power. These findings open up new avenues for understanding boson-fermion interactions and the novel fermionic quantum criticality.


title: GPT-2C: A GPT-2 parser for Cowrie honeypot logs

abstract: Deception technologies like honeypots produce comprehensive log reports, but often lack interoperability with EDR and SIEM technologies. A key bottleneck is that existing information transformation plugins perform well on static logs (e.g. geolocation), but face limitations when it comes to parsing dynamic log topics (e.g. user-generated content). In this paper, we present a run-time system (GPT-2C) that leverages large pre-trained models (GPT-2) to parse dynamic logs generate by a Cowrie SSH honeypot. Our fine-tuned model achieves 89\% inference accuracy in the new domain and demonstrates acceptable execution latency.


title: GPGM-SLAM: a Robust SLAM System for Unstructured Planetary Environments with Gaussian Process Gradient Maps

abstract: Simultaneous Localization and Mapping (SLAM) techniques play a key role towards long-term autonomy of mobile robots due to the ability to correct localization errors and produce consistent maps of an environment over time. Contrarily to urban or man-made environments, where the presence of unique objects and structures offer unique cues for localization, the appearance of unstructured natural environments is often ambiguous and self-similar, hindering the performances of loop closure detection. In this paper, we present an approach to improve the robustness of place recognition in the context of a submap-based stereo SLAM based on Gaussian Process Gradient Maps (GPGMaps). GPGMaps embed a continuous representation of the gradients of the local terrain elevation by means of Gaussian Process regression and Structured Kernel Interpolation, given solely noisy elevation measurements. We leverage the image-like structure of GPGMaps to detect loop closures using traditional visual features and Bag of Words. GPGMap matching is performed as an SE(2) alignment to establish loop closure constraints within a pose graph. We evaluate the proposed pipeline on a variety of datasets recorded on Mt. Etna, Sicily and in the Morocco desert, respectively Moon- and Mars-like environments, and we compare the localization performances with state-of-the-art approaches for visual SLAM and visual loop closure detection.


title: Lessons from $O(N)$ models in one dimension

abstract: Various topics related to the $O(N)$ model in one spacetime dimension (i.e. ordinary quantum mechanics) are considered. The focus is on a pedagogical presentation of quantum field theory methods in a simpler context where many exact results are available, but certain subtleties are discussed which may be of interest to active researchers in higher dimensional field theories as well. Large $N$ methods are introduced in the context of the zero-dimensional path integral and the connection to Stirling's series is shown. The entire spectrum of the $O(N)$ model, which includes the familiar $l(l+1)$ eigenvalues of the quantum rotor as a special case, is found both diagrammatically through large $N$ methods and by using Ward identities. The large $N$ methods are already exact at subleading order and the $\mathcal{O}\!\left(N^{-2}\right)$ corrections are explicitly shown to vanish. Peculiarities of gauge theories in $d=1$ are discussed in the context of the $CP^{N-1}$ sigma model, and the spectrum of a more general squashed sphere sigma model is found. The precise connection between the $O(N)$ model and the linear sigma model with a $\phi^4$ interaction is discussed. A valid form of the self-consistent screening approximation (SCSA) applicable to $O(N)$ models with a hard constraint is presented. The point is made that at least in $d=1$ the SCSA may do worse than simply truncating the large $N$ expansion to subleading order even for small $N$. In both the supersymmetric and non-supersymmetric versions of the $O(N)$ model, naive equations of motion relating vacuum expectation values are shown to be corrected by regularization-dependent finite corrections arising from contact terms associated to the equation of constraint.


title: Just What do You Think You're Doing, Dave?' A Checklist for Responsible Data Use in NLP

abstract: A key part of the NLP ethics movement is responsible use of data, but exactly what that means or how it can be best achieved remain unclear. This position paper discusses the core legal and ethical principles for collection and sharing of textual data, and the tensions between them. We propose a potential checklist for responsible data (re-)use that could both standardise the peer review of conference submissions, as well as enable a more in-depth view of published research across the community. Our proposal aims to contribute to the development of a consistent standard for data (re-)use, embraced across NLP conferences.


title: Central charge criticality of charged AdS black hole surrounded by different fluids

abstract: We analyze the extended phase space thermodynamics of Kiselev black hole introducing a central charge and allowing the gravitational constant to vary. We also discuss the relation between the chemical potential and the size of the black hole, besides the new description of phase transitions. We obtain as a conclusion that the universality of the central charge does not remain valid in general.


title: Bootstrapping Bloch bands

abstract: Bootstrap methods, initially developed for solving statistical and quantum field theories, have recently been shown to capture the discrete spectrum of quantum mechanical problems, such as the single particle Schr\"odinger equation with an anharmonic potential. The core of bootstrap methods builds on exact recursion relations of arbitrary moments of some quantum operator and the use of an adequate set of positivity criteria. We extend this methodology to models with continuous Bloch band spectra, by considering a single quantum particle in a periodic cosine potential. We find that the band structure can be obtained accurately provided the bootstrap uses moments involving both position and momentum variables. We also introduce several new techniques that can apply generally to other bootstrap studies. First, we devise a trick to reduce by one unit the dimensionality of the search space for the variables parametrizing the bootstrap. Second, we employ statistical techniques to reconstruct the distribution probability allowing to compute observables that are analytic functions of the canonical variables. This method is used to extract the Bloch momentum, a quantity that is not readily available from the bootstrap recursion itself.


title: Distributed Vertex Cover Reconfiguration

abstract: Reconfiguration schedules, i.e., sequences that gradually transform one solution of a problem to another while always maintaining feasibility, have been extensively studied. Most research has dealt with the decision problem of whether a reconfiguration schedule exists, and the complexity of finding one. A prime example is the reconfiguration of vertex covers. We initiate the study of batched vertex cover reconfiguration, which allows to reconfigure multiple vertices concurrently while requiring that any adversarial reconfiguration order within a batch maintains feasibility. The latter provides robustness, e.g., if the simultaneous reconfiguration of a batch cannot be guaranteed. The quality of a schedule is measured by the number of batches until all nodes are reconfigured, and its cost, i.e., the maximum size of an intermediate vertex cover. To set a baseline for batch reconfiguration, we show that for graphs belonging to one of the classes $\{\mathsf{cycles, trees, forests, chordal, cactus, even\text{-}hole\text{-}free, claw\text{-}free}\}$, there are schedules that use $O(\varepsilon^{-1})$ batches and incur only a $1+\varepsilon$ multiplicative increase in cost over the best sequential schedules. Our main contribution is to compute such batch schedules in $O(\varepsilon^{-1}\log^* n)$ distributed time, which we also show to be tight. Further, we show that once we step out of these graph classes we face a very different situation. There are graph classes on which no efficient distributed algorithm can obtain the best (or almost best) existing schedule. Moreover, there are classes of bounded degree graphs which do not admit any reconfiguration schedules without incurring a large multiplicative increase in the cost at all.


title: $\varepsilon$-isometric dimension reduction for incompressible subsets of $\ell_p$

abstract: Fix $p\in[1,\infty)$, $K\in(0,\infty)$ and a probability measure $\mu$. We prove that for every $n\in\mathbb{N}$, $\varepsilon\in(0,1)$ and $x_1,\ldots,x_n\in L_p(\mu)$ with $\big\| \max_{i\in\{1,\ldots,n\}} |x_i| \big\|_{L_p(\mu)} \leq K$, there exists $d\leq \frac{32e^2 (2K)^{2p}\log n}{\varepsilon^2}$ and vectors $y_1,\ldots, y_n \in \ell_p^d$ such that $$\forall \ i,j\in\{1,\ldots,n\}, \qquad \|x_i-x_j\|^p_{L_p(\mu)}- \varepsilon \leq \|y_i-y_j\|_{\ell_p^d}^p \leq \|x_i-x_j\|^p_{L_p(\mu)}+\varepsilon.$$ Moreover, the argument implies the existence of a greedy algorithm which outputs $\{y_i\}_{i=1}^n$ after receiving $\{x_i\}_{i=1}^n$ as input. The proof relies on a derandomized version of Maurey's empirical method (1981) combined with a combinatorial idea of Ball (1990) and classical factorization theory of $L_p(\mu)$ spaces. Motivated by the above embedding, we introduce the notion of $\varepsilon$-isometric dimension reduction of the unit ball ${\bf B}_E$ of a normed space $(E,\|\cdot\|_E)$ and we prove that ${\bf B}_{\ell_p}$ does not admit $\varepsilon$-isometric dimension reduction by linear operators for any value of $p\neq2$.


title: Orthogonal Eisenstein Series and Theta Lifts

abstract: We show that the additive Borcherds lift of vector-valued non-holomorphic Eisenstein series are orthogonal non-holomorphic Eisenstein series for $O(2, l)$. Using this we give another proof that they have a meromorphic continuation, calculate their Fourier expansion and show that they have a functional equation analogous to the classical case. Moreover, we will investigate the image of Borcherds lift and give a sufficient condition for surjectivity.


title: Non-Parametric Unsupervised Domain Adaptation for Neural Machine Translation

abstract: Recently, $k$NN-MT has shown the promising capability of directly incorporating the pre-trained neural machine translation (NMT) model with domain-specific token-level $k$-nearest-neighbor ($k$NN) retrieval to achieve domain adaptation without retraining. Despite being conceptually attractive, it heavily relies on high-quality in-domain parallel corpora, limiting its capability on unsupervised domain adaptation, where in-domain parallel corpora are scarce or nonexistent. In this paper, we propose a novel framework that directly uses in-domain monolingual sentences in the target language to construct an effective datastore for $k$-nearest-neighbor retrieval. To this end, we first introduce an autoencoder task based on the target language, and then insert lightweight adapters into the original NMT model to map the token-level representation of this task to the ideal representation of translation task. Experiments on multi-domain datasets demonstrate that our proposed approach significantly improves the translation accuracy with target-side monolingual data, while achieving comparable performance with back-translation.


title: MDAPT: Multilingual Domain Adaptive Pretraining in a Single Model

abstract: Domain adaptive pretraining, i.e. the continued unsupervised pretraining of a language model on domain-specific text, improves the modelling of text for downstream tasks within the domain. Numerous real-world applications are based on domain-specific text, e.g. working with financial or biomedical documents, and these applications often need to support multiple languages. However, large-scale domain-specific multilingual pretraining data for such scenarios can be difficult to obtain, due to regulations, legislation, or simply a lack of language- and domain-specific text. One solution is to train a single multilingual model, taking advantage of the data available in as many languages as possible. In this work, we explore the benefits of domain adaptive pretraining with a focus on adapting to multiple languages within a specific domain. We propose different techniques to compose pretraining corpora that enable a language model to both become domain-specific and multilingual. Evaluation on nine domain-specific datasets-for biomedical named entity recognition and financial sentence classification-covering seven different languages show that a single multilingual domain-specific model can outperform the general multilingual model, and performs close to its monolingual counterpart. This finding holds across two different pretraining methods, adapter-based pretraining and full model pretraining.


title: Passive odd viscoelasticity

abstract: Active chiral viscoelastic materials exhibit elastic responses perpendicular to the applied stresses, referred to as odd elasticity. We use a covariant formulation of viscoelasticity combined with an entropy production analysis to show that odd elasticity is not only present in active systems but also in broad classes of passive chiral viscoelastic fluids. In addition, we demonstrate that linear viscoelastic chiral solids do require activity in order to manifest odd elastic responses. In order to model the phenomenon of passive odd viscoelasticity we propose a chiral extension of Jeffreys model. We apply our covariant formalism in order to derive the dispersion relations of hydrodynamic modes and obtain clear imprints of odd viscoelastic behavior.

categories: cond-mat.soft cond-mat.stat-mech hep-th physics.flu-dyn


title: The Born approximation in the three-dimensional Calder\'on problem

abstract: Uniqueness and reconstruction in the three-dimensional Calder\'on inverse conductivity problem can be reduced to the study of the inverse boundary problem for Schr\"odinger operators $-\Delta +q $. We study the Born approximation of $q$ in the ball, which amounts to studying the linearization of the inverse problem. We first analyze this approximation for real and radial potentials in any dimension $d\ge 3$. We show that this approximation satisfies a closed formula that only involves the spectrum of the Dirichlet-to-Neumann map associated to $-\Delta + q$, which is closely related to a particular moment problem. We then turn to general real and essentially bounded potentials in three dimensions and introduce the notion of averaged Born approximation, which captures the exact invariance properties of the inverse problem. We obtain explicit formulas for the averaged Born approximation in terms of the matrix elements of the Dirichlet to Neumann map in the basis spherical harmonics. To show that the averaged Born approximation does not destroy information on the potential, we also study the high-energy behavior of the matrix elements of the Dirichlet to Neumann map.


title: Strong Approximations and Irrationality in Financial Networks with Financial Derivatives

abstract: Financial networks model a set of financial institutions (firms) interconnected by obligations. Recent work has introduced to this model a class of obligations called credit default swaps, a certain kind of financial derivatives. The main computational challenge for such systems is known as the clearing problem, which is to determine which firms are in default and to compute their exposure to systemic risk, technically known as their recovery rates. It is known that the recovery rates form the set of fixed points of a simple function, and that these fixed points can be irrational. Furthermore, Schuldenzucker et al. (2016) have shown that finding a weakly (or "almost") approximate (rational) fixed point is PPAD-complete. We further study the clearing problem from the point of view of irrationality and approximation strength. Firstly, we observe that weakly approximate solutions may misrepresent the actual financial state of an institution. On this basis, we study the complexity of finding a strongly (or "near") approximate solution, and show FIXP-completeness. We then study the structural properties required for irrationality, and we give necessary conditions for irrational solutions to emerge: The presence of certain types of cycles in a financial network forces the recovery rates to take the form of roots of non-linear polynomials. In the absence of a large subclass of such cycles, we study the complexity of finding an exact fixed point, which we show to be a problem close to, albeit outside of, PPAD.


title: DSDF: An approach to handle stochastic agents in collaborative multi-agent reinforcement learning

abstract: Multi-Agent reinforcement learning has received lot of attention in recent years and have applications in many different areas. Existing methods involving Centralized Training and Decentralized execution, attempts to train the agents towards learning a pattern of coordinated actions to arrive at optimal joint policy. However if some agents are stochastic to varying degrees of stochasticity, the above methods often fail to converge and provides poor coordination among agents. In this paper we show how this stochasticity of agents, which could be a result of malfunction or aging of robots, can add to the uncertainty in coordination and there contribute to unsatisfactory global coordination. In this case, the deterministic agents have to understand the behavior and limitations of the stochastic agents while arriving at optimal joint policy. Our solution, DSDF which tunes the discounted factor for the agents according to uncertainty and use the values to update the utility networks of individual agents. DSDF also helps in imparting an extent of reliability in coordination thereby granting stochastic agents tasks which are immediate and of shorter trajectory with deterministic ones taking the tasks which involve longer planning. Such an method enables joint co-ordinations of agents some of which may be partially performing and thereby can reduce or delay the investment of agent/robot replacement in many circumstances. Results on benchmark environment for different scenarios shows the efficacy of the proposed approach when compared with existing approaches.


title: Statistical limits of dictionary learning: random matrix theory and the spectral replica method

abstract: We consider increasingly complex models of matrix denoising and dictionary learning in the Bayes-optimal setting, in the challenging regime where the matrices to infer have a rank growing linearly with the system size. This is in contrast with most existing literature concerned with the low-rank (i.e., constant-rank) regime. We first consider a class of rotationally invariant matrix denoising problems whose mutual information and minimum mean-square error are computable using techniques from random matrix theory. Next, we analyze the more challenging models of dictionary learning. To do so we introduce a novel combination of the replica method from statistical mechanics together with random matrix theory, coined spectral replica method. This allows us to derive variational formulas for the mutual information between hidden representations and the noisy data of the dictionary learning problem, as well as for the overlaps quantifying the optimal reconstruction error. The proposed method reduces the number of degrees of freedom from $\Theta(N^2)$ matrix entries to $\Theta(N)$ eigenvalues (or singular values), and yields Coulomb gas representations of the mutual information which are reminiscent of matrix models in physics. The main ingredients are a combination of large deviation results for random matrices together with a new replica symmetric decoupling ansatz at the level of the probability distributions of eigenvalues (or singular values) of certain overlap matrices and the use of HarishChandra-Itzykson-Zuber spherical integrals.

categories: cs.IT cond-mat.dis-nn cs.LG math-ph math.IT math.MP math.PR