title: Crystal structure, lattice dynamics and superexchange in MAgF3 1D antiferromagnets (M = K, Rb, Cs) and Rb3Ag2F7 Ruddlesden-Popper phase

abstract: With the use of lattice dynamics calculation within hybrid HSE06 framework we were able to understand vibrational spectra of MAgF3 M = K, Rb, Cs compounds. Comparative theoretical study uncovered lack of monotonicity in calculated optical phonons associated with Ag F stretching modes which can be explained through an interplay of Lewis acidity of MI cation and its size. We confirm the tetragonal unit cells of MAgF3 M=Rb, Cs at room temperature. We also theoretically predict an orthorhombic RbAgF3 polymorph as a ground state at low temperature. However, we were not able to detect it by the means of low temperature PXRD at 80 K nor low temperature Raman at 154 K due to a number of constraints. We also describe a novel Ruddlesden Popper phase of Rb3Ag2F7 which can be regarded as quasi 0D system, where superexchange coupling constant between the nearest AgII centres reaches an impressive value of minus 240.2 meV.


title: Composition of analytic paraproducts

abstract: For a fixed analytic function $g$ on the unit disc $\mathbb{D}$, we consider the analytic paraproducts induced by $g$, which are defined by $T_gf(z)= \int_0^z f(\zeta)g'(\zeta)\,d\zeta$, $S_gf(z)= \int_0^z f'(\zeta)g(\zeta)\,d\zeta$, and $M_gf(z)= f(z)g(z)$. The boundedness of these operators on various spaces of analytic functions on $\mathbb{D}$ is well understood. The original motivation for this work is to understand the boundedness of compositions of two of these operators, for example $T_g^2, \,T_gS_g,\, M_gT_g$, etc. Our methods yield a characterization of the boundedness of a large class of operators contained in the algebra generated by these analytic paraproducts acting on the classical weighted Bergman and Hardy spaces in terms of the symbol $g$. In some cases it turns out that this property is not affected by cancellation, while in others it requires stronger and more subtle restrictions on the oscillation of the symbol $g$ than the case of a single paraproduct.


title: The homogeneity scale and the growth rate of cosmic structures

abstract: We propose a novel approach to obtain the growth rate of cosmic structures, $f(z)$, from the evolution of the cosmic homogeneity scale, $R_{\text{H}}(z)$. Our methodology needs two ingredients in a specific functional form: $R_{\text{H}}(z)$ data and the matter two-point correlation function today, i.e., $\xi(r, z=0)$. We use a Gaussian Process approach to reconstruct the function $R_{\text{H}}$. In the absence of suitable observational information of the matter correlation function in the local Universe, $z \simeq 0$, we assume a fiducial cosmology to obtain $\xi(r, z=0)$. For this reason, our final result turns out to be a consistency test of the cosmological model assumed. Our results show a good agreement between: (i) the growth rate $f^{R_{\text{H}}}(z)$ obtained through our approach, (ii) the $f^{\Lambda\text{CDM}}(z)$ expected in the fiducial model, and (iii) the best-fit $f(z)$ from data compiled in the literature. Moreover, using this data compilation, we perform a Gaussian Process to reconstruct the growth rate function $f^{\text{data}}(z)$ and compare it with the function $f^{R_{\text{H}}}(z)$ finding a concordance of $< \!2 \,\sigma$, a good result considering the few data available for both reconstruction processes. With more accurate $R_{\text{H}}(z)$ data, from forthcoming surveys, the homogeneity scale function might be better determined and would have the potential to discriminate between $\Lambda$CDM and alternative scenarios as a new cosmological observable.


title: Sensitivity to User Mischaracterizations in Electric Vehicle Charging

abstract: In this paper, we consider electric vehicle charging facilities that offer various levels of service for varying prices such that rational users choose a level of service that minimizes the total cost to themselves including an opportunity cost that incorporates users' value of time. In this setting, we study the sensitivity of the expected occupancy at the facility to mischaracterizations of user profiles and uncharacterized heterogeneity. For user profile mischaracterizations, we first provide a fundamental upper bound for the difference between the expected occupancy under any two different distributions on a user's impatience (i.e., value of time) that only depends on the minimum and maximum charging rate offered by the charging facility. Next, we consider the case when a user's impatience is a discrete random variable and study the sensitivity of the expected occupancy to the probability masses and attained values of the random variable. We show that the expected occupancy varies linearly with respect to the probability masses and is piecewise constant with respect to the attained values. Furthermore, we study the effects on the expected occupancy from the occurrence of heterogeneous user populations. In particular, we quantify the effect on the expected occupancy from the existence of sub-populations that may only select a subset of the offered service levels. Lastly, we quantify the variability of early departures on the expected occupancy. These results demonstrate how the facility operator might design prices such that the expected occupancy does not vary much under small changes in the distribution of a user's impatience, variable and limited user service needs, or uncharacterized early departure, quantities which are generally difficult to characterize accurately from data. We further demonstrate our results via examples.


title: WikiContradiction: Detecting Self-Contradiction Articles on Wikipedia

abstract: While Wikipedia has been utilized for fact-checking and claim verification to debunk misinformation and disinformation, it is essential to either improve article quality and rule out noisy articles. Self-contradiction is one of the low-quality article types in Wikipedia. In this work, we propose a task of detecting self-contradiction articles in Wikipedia. Based on the "self-contradictory" template, we create a novel dataset for the self-contradiction detection task. Conventional contradiction detection focuses on comparing pairs of sentences or claims, but self-contradiction detection needs to further reason the semantics of an article and simultaneously learn the contradiction-aware comparison from all pairs of sentences. Therefore, we present the first model, Pairwise Contradiction Neural Network (PCNN), to not only effectively identify self-contradiction articles, but also highlight the most contradiction pairs of contradiction sentences. The main idea of PCNN is two-fold. First, to mitigate the effect of data scarcity on self-contradiction articles, we pre-train the module of pairwise contradiction learning using SNLI and MNLI benchmarks. Second, we select top-K sentence pairs with the highest contradiction probability values and model their correlation to determine whether the corresponding article belongs to self-contradiction. Experiments conducted on the proposed WikiContradiction dataset exhibit that PCNN can generate promising performance and comprehensively highlight the sentence pairs the contradiction locates.


title: Repulsive interactions of eco-corona covered microplastic particles quantitatively follow modelling of polymer brushes

abstract: Environmental fate and toxicity of microplastic particles is dominated by their surface properties. In the environment an adsorbed layer of biomolecules and natural organic matter forms the so-called eco-corona. A quantitative description of how this eco-corona changes the particles' colloidal interactions is still missing. Here, we demonstrate with colloidal probe-atomic force microscopy that the formation of the eco-corona on microplastic particles introduces a soft film on the surface which changes the mechanical behaviour. We measure single particle-particle interactions and find a pronounced increase of long-range repulsive interactions upon eco-corona formation. These force-distance characteristics follow well the polymer brush model by Alexander and de Gennes. We further compare the obtained fitting parameters to known systems like polyelectrolyte multilayers and propose these as a model system for the eco-corona. The foundation of the eco-corona interacting like a polymer brush with its surrounding may help understand microplastic transport and aggregation in the environment.


title: Coral: An Approach for Conversational Agents in Mental Health Applications

abstract: It may be difficult for some individuals to open up and share their thoughts and feelings in front of a mental health expert. For those who are more at ease with a virtual agent, conversational agents can serve as an intermediate step in the right direction. The conversational agent must therefore be empathetic and able to conduct free-flowing conversations. To this effect, we present an approach for creating a generative empathetic open-domain chatbot that can be used for mental health applications. We leverage large scale pre-training and empathetic conversational data to make the responses more empathetic in nature and a multi-turn dialogue arrangement to maintain context. Our models achieve state-of-the-art results on the Empathetic Dialogues test set.


title: Interpreting Language Models Through Knowledge Graph Extraction

abstract: Transformer-based language models trained on large text corpora have enjoyed immense popularity in the natural language processing community and are commonly used as a starting point for downstream tasks. While these models are undeniably useful, it is a challenge to quantify their performance beyond traditional accuracy metrics. In this paper, we compare BERT-based language models through snapshots of acquired knowledge at sequential stages of the training process. Structured relationships from training corpora may be uncovered through querying a masked language model with probing tasks. We present a methodology to unveil a knowledge acquisition timeline by generating knowledge graph extracts from cloze "fill-in-the-blank" statements at various stages of RoBERTa's early training. We extend this analysis to a comparison of pretrained variations of BERT models (DistilBERT, BERT-base, RoBERTa). This work proposes a quantitative framework to compare language models through knowledge graph extraction (GED, Graph2Vec) and showcases a part-of-speech analysis (POSOR) to identify the linguistic strengths of each model variant. Using these metrics, machine learning practitioners can compare models, diagnose their models' behavioral strengths and weaknesses, and identify new targeted datasets to improve model performance.


title: Modelling airborne transmission of SARS-CoV-2 at a local scale

abstract: The coronavirus disease (COVID-19) pandemic has changed our lives and still poses a challenge to science. Numerous studies have contributed to a better understanding of the pandemic. In particular, inhalation of aerosolised pathogens has been identified as essential for transmission. This information is crucial to slow the spread, but the individual likelihood of becoming infected in everyday situations remains uncertain. Mathematical models help estimate such risks. In this study, we propose how to model airborne transmission of SARS-CoV-2 at a local scale. In this regard, we combine microscopic crowd simulation with a new model for disease transmission. Inspired by compartmental models, we describe agents' health status as susceptible, exposed, infectious or recovered. Infectious agents exhale pathogens bound to persistent aerosols, whereas susceptible agents absorb pathogens when moving through an aerosol cloud left by the infectious agent. The transmission depends on the pathogen load of the aerosol cloud, which changes over time. We propose a 'high risk' benchmark scenario to distinguish critical from non-critical situations. Simulating indoor situations show that the new model is suitable to evaluate the risk of exposure qualitatively and, thus, enables scientists or even decision-makers to better assess the spread of COVID-19 and similar diseases.


title: Hydrogenation of accreting C-atoms and CO molecules -- simulating ketene and acetaldehyde formation under dark and translucent cloud conditions

abstract: Simple and complex organic molecules (COMs) are observed along different phases of star and planet formation and have been successfully identified in prestellar environments such as dark and translucent clouds. Yet the picture of organic molecule formation at those earliest stages of star formation is not complete and an important reason is the lack of specific laboratory experiments that simulate carbon atom addition reactions on icy surfaces of interstellar grains. Here we present experiments in which CO molecules as well as C- and H-atoms are co-deposited with H$_2$O molecules on a 10 K surface mimicking the ongoing formation of an "H$_2$O-rich" ice mantle. To simulate the effect of impacting C-atoms and resulting surface reactions with ice components, a specialized C-atom beam source is used, implemented on SURFRESIDE$^3$, an UHV cryogenic setup. Formation of ketene (CH$_2$CO) in the solid state is observed "in situ" by means of reflection absorption IR spectroscopy. C$^1$$^8$O and D isotope labelled experiments are performed to further validate the formation of ketene. Data analysis supports that CH$_2$CO is formed through C-atom addition to a CO-molecule, followed by successive hydrogenation transferring the formed :CCO into ketene. Efficient formation of ketene is in line with the absence of an activation barrier in C+CO reaction reported in the literature. We also discuss and provide experimental evidence for the formation of acetaldehyde (CH$_3$CHO) and possible formation of ethanol (CH$_3$CH$_2$OH), two COM derivatives of CH$_2$CO hydrogenation. The underlying reaction network is presented and the astrochemical implications of the derived pathways are discussed.


title: Resolving subcategories and dimensions in recollements of extriangulated categories

abstract: Recently, Wang, Wei and Zhang introduced the notion of recollements of extriangulated categories. In this paper, let $(\mathcal{A},\mathcal{B},\mathcal{C})$ be a recollement of extriangulated categories. We provide some methods to construct resolving subcategories in $(\mathcal{A},\mathcal{B},\mathcal{C})$. As applications of the Auslander-Reiten correspondence, we get the gluing of cotilting modules in a recollement of module categories for artin algebras. We also give some bounds of resolution dimensions of the categories involved in $(\mathcal{A},\mathcal{B},\mathcal{C})$ with respect to resolving subcategories, which generalize some known results.


title: On Effective Scheduling of Model-based Reinforcement Learning

abstract: Model-based reinforcement learning has attracted wide attention due to its superior sample efficiency. Despite its impressive success so far, it is still unclear how to appropriately schedule the important hyperparameters to achieve adequate performance, such as the real data ratio for policy optimization in Dyna-style model-based algorithms. In this paper, we first theoretically analyze the role of real data in policy training, which suggests that gradually increasing the ratio of real data yields better performance. Inspired by the analysis, we propose a framework named AutoMBPO to automatically schedule the real data ratio as well as other hyperparameters in training model-based policy optimization (MBPO) algorithm, a representative running case of model-based methods. On several continuous control tasks, the MBPO instance trained with hyperparameters scheduled by AutoMBPO can significantly surpass the original one, and the real data ratio schedule found by AutoMBPO shows consistency with our theoretical analysis.


title: Using classical bit-flip correction for error mitigation including 2-qubit correlations

abstract: We present an error mitigation scheme which corrects readout errors on Noisy Intermediate-Scale Quantum (NISQ) computers [1,2]. After a short review of applying the method to one qubit, we proceed to discuss the case when correlations between different qubits occur. We demonstrate how the readout error can be mitigated in this case. By performing experiments on IBMQ hardware, we show that such correlations do not have a strong effect on the results, justifying to neglect them.


title: General solution vs spin invariant eigenstates of the Dirac equation with the Coulomb potential

abstract: Solutions of the Dirac equation for an electron in the Coulomb potential are obtained using operator invariants of the equation, namely the Dirac, Johnson-Lippmann and recently found new invariant. It is demonstrated that these operators are the spin invariants. The generalized invariant is constructed and the exact general solution of the Dirac equation are found. In particular, the explicit expressions of the bispinors corresponding to the three complete sets of the invariants, their eigenvalues and quantum numbers are calculated. It is shown that the general solution of one center Coulomb Dirac equation contains free parameters. Changing one or more of these parameters, one can transform one solution of the Dirac equation into any other. It is shown for the first time that these invariants determine electron spatial probability amplitude and spin polarization in each quantum state. Electron probability densities and spin polarizations are explicitly calculated in the general form for several electron states in the hydrogen-like energy spectrum. Spatial distributions of these characteristics are shown to depend essentially on the invariant set, demonstrating, in spite of the accidental degeneracy of energy levels, physical difference of the states corresponding to different spin invariants.


title: Remote Memory-Deduplication Attacks

abstract: Memory utilization can be reduced by merging identical memory blocks into copy-on-write mappings. Previous work showed that this so-called memory deduplication can be exploited in local attacks to break ASLR, spy on other programs,and determine the presence of data, i.e., website images. All these attacks exploit memory deduplication across security domains, which in turn was disabled. However, within a security domain or on an isolated system with no untrusted local access, memory deduplication is still not considered a security risk and was recently re-enabled on Windows by default. In this paper, we present the first fully remote memorydeduplication attacks. Unlike previous attacks, our attacks require no local code execution. Consequently, we can disclose memory contents from a remote server merely by sending and timing HTTP/1 and HTTP/2 network requests. We demonstrate our attacks on deduplication both on Windows and Linux and attack widely used server software such as Memcached and InnoDB. Our side channel leaks up to 34.41 B/h over the internet, making it faster than comparable remote memory-disclosure channels. We showcase our remote memory-deduplication attack in three case studies: First, we show that an attacker can disclose the presence of data in memory on a server running Memcached. We show that this information disclosure channel can also be used for fingerprinting and detect the correct libc version over the internet in 166.51 s. Second, in combination with InnoDB, we present an information disclosure attack to leak MariaDB database records. Third, we demonstrate a fully remote KASLR break in less than 4 minutes allowing to derandomize the kernel image of a virtual machine over the Internet, i.e., 14 network hops away. We conclude that memory deduplication must also be considered a security risk if only applied within a single security domain.


title: Measurement of the $2$S$_{1/2}-8$D$_{5/2}$ transition in hydrogen

abstract: We present a measurement of the hydrogen $2$S$_{1/2}-8$D$_{5/2}$ transition performed with a cryogenic atomic beam. The measured resonance frequency is $\nu=770649561570.9(2.0)$ kHz, which corresponds to a relative uncertainty of $2.6\times10^{-12}$. Combining our result with the most recent measurement of the $1$S$-2$S transition, we find a proton radius of $r_p=0.8584(51)$~fm and a Rydberg constant of $R_\infty=10973731.568332(52)$ m$^{-1}$. This result has a combined 3.1~$\sigma$ disagreement with the CODATA 2018 recommended value. Possible implications of the discrepancy are discussed.


title: Variability regions for the fourth derivative of bounded analytic functions

abstract: Let $z_0$ and $w_0$ be given points in the open unit disk $\mathbb{D}$ with $|w_0| < |z_0|$, and $\mathcal{H}_0$ be the class of all analytic self-maps $f$ of $\mathbb{D}$ normalized by $f(0)=0$. In this paper, we establish the fourth-order Dieudonn\'e's Lemma and apply it to determine the variability region $\{f^{(4)}(z_0): f\in \mathcal{H}_0,f(z_0) =w_0, f'(z_0)=w_1, f''(z_0)=w_2\}$ for given $z_0,w_0,w_1,w_2$ and give the form of all the extremal functions.


title: Nature of Interfacial Dzyaloshinskii-Moriya Interactions in Graphene/Co/Pt(111) Multilayer Heterostructures

abstract: DFT calculations within the generalized Bloch theorem approach show that interfacial Dzyaloshinskii-Moriya interactions (DMI) at both interfaces of Graphene/Co$_n$/Pt(111) multilayer heterostructures are decoupled for $n \geq 3$. Unlike the property of magnetocrystalline anisotropy for this system, DMI is not affected by stacking defects in the Co layer. The effect of Graphene (Gr) is to invert the chirality of the vaccum/Co interfacial DMI, overall reducing the DMI of the heterostructure, which is nevertheless dominated by the strong spin-orbit coupling (SOC) of Pt. A spectral analysis in the reciprocal space shows that DMI at both the Gr/Co and Co/Pt interfaces have the same nature, namely SOC-split hybrid bands of $d$-orbital character. This proves that a DMI model based on a single band, such the Rashba DMI model, is insuficient to describe the behaviour of this family of Gr-capped $3d/5d$ metal heterostructures.


title: Rethinking Keypoint Representations: Modeling Keypoints and Poses as Objects for Multi-Person Human Pose Estimation

abstract: In keypoint estimation tasks such as human pose estimation, heatmap-based regression is the dominant approach despite possessing notable drawbacks: heatmaps intrinsically suffer from quantization error and require excessive computation to generate and post-process. Motivated to find a more efficient solution, we propose to model individual keypoints and sets of spatially related keypoints (i.e., poses) as objects within a dense single-stage anchor-based detection framework. Hence, we call our method KAPAO (pronounced "Ka-Pow"), for Keypoints And Poses As Objects. KAPAO is applied to the problem of single-stage multi-person human pose estimation by simultaneously detecting human pose and keypoint objects and fusing the detections to exploit the strengths of both object representations. In experiments, we observe that KAPAO is faster and more accurate than previous methods, which suffer greatly from heatmap post-processing. The accuracy-speed trade-off is especially favourable in the practical setting when not using test-time augmentation. Source code: https://github.com/wmcnally/kapao.


title: Solving sums of squares in global fields

abstract: The problem of writing a totally positive element as a sum of squares has a long history in mathematics, going back to Bachet and Lagrange. While for some specific rings (like integers or polynomials over the rationals), there are known methods for decomposing an element into a sum of squares, in general, for many other important rings and fields, the problem is still widely open. In this paper, we present an explicit algorithm for decomposing an element of an arbitrary global field (either a number field or a global function field) into a sum of squares of minimal length.


title: Individual molecules dynamics in reaction network models

abstract: In a stochastic reaction network setting we consider the problem of tracking the fate of individual molecules. We show that using the classical large volume limit results, we may approximate the dynamics of a single tracked molecule in a simple and computationally efficient way. We give examples on how this approach may be used to obtain various characteristics of single-molecule dynamics (for instance, the distribution of the number of infections in a single individual in the course of an epidemic or the activity time of a single enzyme molecule). Moreover, we show how to approximate the overall dynamics of species of interest in the full system with a collection of independent single-molecule trajectories, and give explicit bounds for the approximation error in terms of the reaction rates. This approximation, which is well defined for all times, leads to an efficient and fully parallelizable simulation technique for which we provide some numerical examples.


title: Prediction theory in continuous time

abstract: We consider prediction theory for stationary stochastic processes in continuous time. We discuss prediction using the whole (infinite) past, and using only a finite section of the past. The solutions to both these classical problems have long been known. Our focus is to provide short simple proofs which reveal the probabilistic meaning of the results.


title: Learning from the Frequency Content of Continuous Gravitational Wave Signals

abstract: Spinning neutron stars can emit long-lived gravitational waves. There are several mechanisms that can produce such continuous wave emission. These mechanisms relate to the strains in the elastic crust, the star's magnetic field, superfluidity of the neutron fluid, and bulk oscillations of the entire star. In this chapter we describe how the frequency content of the gravitational wave signal, and its relation to any electromagnetically observed spin frequency, can be used to constrain the mechanism producing the gravitational waves. These ideas will be of use in the event of the first detections of such signals, and help convert a detection into useful physical insight.


title: Incentives Against Power Grabs or How to Engineer the Revolution in a Pooled Proof of Stake System

abstract: Proof-of-Stake (PoS) blockchain systems, especially those that allow stakeholders to organize themselves in ``stake-pools'', have emerged as a compelling paradigm for the deployment of large scale distributed ledgers. A stake-pool operates a node that engages in the PoS protocol and potentially represents a large number of smaller stakeholders. While such pooled PoS operation is attractive from various angles, it also exhibits a significant shortcoming that, so far and to the best of our knowledge, has not been sufficiently understood or investigated. Pooled PoS operation, to be effective and not lead to sub-optimal dictatorial or cartel-like configurations, should enable the stakeholders to revoke and re-delegate their stake in a way that is aligned with their incentives. However, given that stake-pool operators are exactly those entities who determine what transactions are to be recorded in the ledger, they are quite likely to form a cartel and censor any transaction they want, such as those that attempt to adjust the current stake-pool lineup. In this way, a power grab takes place, where the stake-pool cartel perpetuates its control over the PoS system. We first model and observe formally the emergence of the above problem in pooled PoS systems, and then we describe an anti-censorship mechanism that takes advantage of the underlying cryptographic functions of the ledger and the nature of peer-to-peer networks to diffuse information without suppression. We provide a thorough game-theoretic analysis of this mechanism discovering various types of Nash equilibria which demonstrate that the ``revolution'', i.e., the strategic decision of pool members to withdraw support from a censoring cartel as well as the pool operators to step down, can be incentivized, under suitable and plausible conditions in the utility functions of the involved participants.


title: Rank-Regret Minimization

abstract: Multi-criteria decision-making often requires finding a small representative set from the database. A recently proposed method is the regret minimization set (RMS) query. RMS returns a size $r$ subset $S$ of dataset $D$ that minimizes the regret-ratio (the difference between the score of top-1 in $S$ and the score of top-1 in $D$, for any possible utility function). RMS is not shift invariant, causing inconsistency in results. Further, existing work showed that the regret-ratio is often a made-up number and users may mistake its absolute value. Instead, users do understand the notion of rank. Thus it considered the problem of finding the minimal set $S$ with a rank-regret (the rank of top-1 tuple of $S$ in the sorted list of $D$) at most $k$, called the rank-regret representative (RRR) problem. Corresponding to RMS, we focus on the min-error version of RRR, called the rank-regret minimization (RRM) problem, which finds a size $r$ set to minimize the maximum rank-regret for all utility functions. Further, we generalize RRM and propose the restricted RRM (i.e., RRRM) problem to optimize the rank-regret for functions restricted in a given space. Previous studies on both RMS and RRR did not consider the restricted function space. The solution for RRRM usually has a lower regret level and can better serve the specific preferences of some users. Note that RRM and RRRM are shift invariant. In 2D space, we design a dynamic programming algorithm 2DRRM to return the optimal solution for RRM. In HD space, we propose an algorithm HDRRM that introduces a double approximation guarantee on rank-regret. Both 2DRRM and HDRRM are applicable for RRRM. Extensive experiments on the synthetic and real datasets verify the efficiency and effectiveness of our algorithms. In particular, HDRRM always has the best output quality in experiments.


title: Some Doxastic \L ukasiewicz Logic

abstract: We propose a doxastic \L ukasiewicz logic \textbf{B\L} that is sound and complete with respect to the class of Kripke-based models in which atomic propositions and accessibility relations are both infinitely valued in the standard MV-algebra [0,1]. We also introduce some extensions of \textbf{B\L} corresponding to axioms \textbf{D}, \textbf{4}, and \textbf{T} of classical epistemic logic. Furthermore, completeness of these extensions are established corresponding to the appropriate classes of models.


title: Polymatrix Competitive Gradient Descent

abstract: Many economic games and machine learning approaches can be cast as competitive optimization problems where multiple agents are minimizing their respective objective function, which depends on all agents' actions. While gradient descent is a reliable basic workhorse for single-agent optimization, it often leads to oscillation in competitive optimization. In this work we propose polymatrix competitive gradient descent (PCGD) as a method for solving general sum competitive optimization involving arbitrary numbers of agents. The updates of our method are obtained as the Nash equilibria of a local polymatrix approximation with a quadratic regularization, and can be computed efficiently by solving a linear system of equations. We prove local convergence of PCGD to stable fixed points for $n$-player general-sum games, and show that it does not require adapting the step size to the strength of the player-interactions. We use PCGD to optimize policies in multi-agent reinforcement learning and demonstrate its advantages in Snake, Markov soccer and an electricity market game. Agents trained by PCGD outperform agents trained with simultaneous gradient descent, symplectic gradient adjustment, and extragradient in Snake and Markov soccer games and on the electricity market game, PCGD trains faster than both simultaneous gradient descent and the extragradient method.


title: SPANN: Highly-efficient Billion-scale Approximate Nearest Neighbor Search

abstract: The in-memory algorithms for approximate nearest neighbor search (ANNS) have achieved great success for fast high-recall search, but are extremely expensive when handling very large scale database. Thus, there is an increasing request for the hybrid ANNS solutions with small memory and inexpensive solid-state drive (SSD). In this paper, we present a simple but efficient memory-disk hybrid indexing and search system, named SPANN, that follows the inverted index methodology. It stores the centroid points of the posting lists in the memory and the large posting lists in the disk. We guarantee both disk-access efficiency (low latency) and high recall by effectively reducing the disk-access number and retrieving high-quality posting lists. In the index-building stage, we adopt a hierarchical balanced clustering algorithm to balance the length of posting lists and augment the posting list by adding the points in the closure of the corresponding clusters. In the search stage, we use a query-aware scheme to dynamically prune the access of unnecessary posting lists. Experiment results demonstrate that SPANN is 2$\times$ faster than the state-of-the-art ANNS solution DiskANN to reach the same recall quality $90\%$ with same memory cost in three billion-scale datasets. It can reach $90\%$ recall@1 and recall@10 in just around one millisecond with only 32GB memory cost. Code is available at: {\footnotesize\color{blue}{\url{https://github.com/microsoft/SPTAG}}}.


title: Joint Learning of Visual-Audio Saliency Prediction and Sound Source Localization on Multi-face Videos

abstract: Visual and audio events simultaneously occur and both attract attention. However, most existing saliency prediction works ignore the influence of audio and only consider vision modality. In this paper, we propose a multitask learning method for visual-audio saliency prediction and sound source localization on multi-face video by leveraging visual, audio and face information. Specifically, we first introduce a large-scale database of multi-face video in visual-audio condition (MVVA), containing eye-tracking data and sound source annotations. Using this database, we find that sound influences human attention, and conversly attention offers a cue to determine sound source on multi-face video. Guided by these findings, a visual-audio multi-task network (VAM-Net) is introduced to predict saliency and locate sound source. VAM-Net consists of three branches corresponding to visual, audio and face modalities. Visual branch has a two-stream architecture to capture spatial and temporal information. Face and audio branches encode audio signals and faces, respectively. Finally, a spatio-temporal multi-modal graph (STMG) is constructed to model the interaction among multiple faces. With joint optimization of these branches, the intrinsic correlation of the tasks of saliency prediction and sound source localization is utilized and their performance is boosted by each other. Experiments show that the proposed method outperforms 12 state-of-the-art saliency prediction methods, and achieves competitive results in sound source localization.


title: Robust recovery for stochastic block models

abstract: We develop an efficient algorithm for weak recovery in a robust version of the stochastic block model. The algorithm matches the statistical guarantees of the best known algorithms for the vanilla version of the stochastic block model. In this sense, our results show that there is no price of robustness in the stochastic block model. Our work is heavily inspired by recent work of Banks, Mohanty, and Raghavendra (SODA 2021) that provided an efficient algorithm for the corresponding distinguishing problem. Our algorithm and its analysis significantly depart from previous ones for robust recovery. A key challenge is the peculiar optimization landscape underlying our algorithm: The planted partition may be far from optimal in the sense that completely unrelated solutions could achieve the same objective value. This phenomenon is related to the push-out effect at the BBP phase transition for PCA. To the best of our knowledge, our algorithm is the first to achieve robust recovery in the presence of such a push-out effect in a non-asymptotic setting. Our algorithm is an instantiation of a framework based on convex optimization (related to but distinct from sum-of-squares), which may be useful for other robust matrix estimation problems. A by-product of our analysis is a general technique that boosts the probability of success (over the randomness of the input) of an arbitrary robust weak-recovery algorithm from constant (or slowly vanishing) probability to exponentially high probability.


title: Isotropic vectors over global fields

abstract: We present a complete suite of algorithms for finding isotropic vectors of quadratic forms (of any dimension) over an arbitrary global field of characteristic different from 2.


title: Tracking Blobs in the Turbulent Edge Plasma of a Tokamak Fusion Device

abstract: The analysis of turbulence in plasmas is fundamental in fusion research. Despite extensive progress in theoretical modeling in the past 15 years, we still lack a complete and consistent understanding of turbulence in magnetic confinement devices, such as tokamaks. Experimental studies are challenging due to the diverse processes that drive the high-speed dynamics of turbulent phenomena. This work presents a novel application of motion tracking to identify and track turbulent filaments in fusion plasmas, called blobs, in a high-frequency video obtained from Gas Puff Imaging diagnostics. We compare four baseline methods (RAFT, Mask R-CNN, GMA, and Flow Walk) trained on synthetic data and then test on synthetic and real-world data obtained from plasmas in the Tokamak `a Configuration Variable (TCV). The blob regime identified from an analysis of blob trajectories agrees with state-of-the-art conditional averaging methods for each of the baseline methods employed, giving confidence in the accuracy of these techniques. High entry barriers traditionally limit tokamak plasma research to a small community of researchers in the field. By making a dataset and benchmark publicly available, we hope to open the field to a broad community in science and engineering.


title: Identities for squared central binomial coefficients

abstract: We prove four identities for the squared central binomial coefficients. The first three of them reflect certain transformation properties of the complete elliptic integrals of the first and the second kind, while the last one is based on properties of the Lagrange polynomials.


title: Saath: Speeding up CoFlows by Exploiting the Spatial Dimension

abstract: Coflow scheduling improves data-intensive application performance by improving their networking performance. State-of-the-art Coflow schedulers in essence approximate the classic online Shortest-Job-First (SJF) scheduling, designed for a single CPU, in a distributed setting, with no coordination among how the flows of a Coflow at individual ports are scheduled, and as a result suffer two performance drawbacks: (1) The flows of a Coflow may suffer the out-of-sync problem -- they may be scheduled at different times and become drifting apart, negatively affecting the Coflow completion time (CCT); (2) FIFO scheduling of flows at each port bears no notion of SJF, leading to suboptimal CCT. We propose SAATH, an online Coflow scheduler that overcomes the above drawbacks by explicitly exploiting the spatial dimension of Coflows. In SAATH, the global scheduler schedules the flows of a Coflow using an all-or-none policy which mitigates the out-of-sync problem. To order the Coflows within each queue, SAATH resorts to a Least-Contention-First (LCoF) policy which we show extends the gist of SJF to the spatial dimension, complemented with starvation freedom. Our evaluation using an Azure testbed and simulations of two production cluster traces show that compared to Aalo, SAATH reduces the CCT in median (P90) cases by 1.53x (4.5x) and 1.42x (37x), respectively.


title: Multi-Parameter Regression Survival Modelling with Random Effects

abstract: We consider a parametric modelling approach for survival data where covariates are allowed to enter the model through multiple distributional parameters, i.e., scale and shape. This is in contrast with the standard convention of having a single covariate-dependent parameter, typically the scale. Taking what is referred to as a multi-parameter regression (MPR) approach to modelling has been shown to produce flexible and robust models with relatively low model complexity cost. However, it is very common to have clustered data arising from survival analysis studies, and this is something that is under developed in the MPR context. The purpose of this article is to extend MPR models to handle multivariate survival data by introducing random effects in both the scale and the shape regression components. We consider a variety of possible dependence structures for these random effects (independent, shared, and correlated), and estimation proceeds using a h-likelihood approach. The performance of our estimation procedure is investigated by a way of an extensive simulation study, and the merits of our modelling approach are illustrated through applications to two real data examples, a lung cancer dataset and a bladder cancer dataset.


title: Introduction to the calibration ringing effect in satellite hyperspectral atmospheric spectrometry

abstract: Atmospheric remote spectrometry from space has become in the last 20 years a key component of the Earth monitoring system: their large coverage and deci-kelvin stability have demonstrated their usefulness for weather prediction, atmospheric composition monitoring as well as climate monitoring. It is thus critical to investigate the possible sources of errors associated to this technique. One of them is the so-called "calibration ringing error" that appears in Fourier transform spectrometers at the radiometric calibration step when the instrument transmission varies at the scale of the spectral resolution and is not accounted by the data users. This paper exposes the theoretical basis of this particular type of radiometric uncertainty. Its sensitivity to instrumental parameters as well as the impact on the radiometrically calibrated measurements is assessed in the context of atmospheric infrared sounding using Fourier transform spectrometers. It is shown that this error is an intrinsic feature of such instruments that could safely be ignored in early-generation instruments but will have to be taken into account in the new generation ones as it can yield a significant degradation of the radiometric error budget.


title: GRI: General Reinforced Imitation and its Application to Vision-Based Autonomous Driving

abstract: Deep reinforcement learning (DRL) has been demonstrated to be effective for several complex decision-making applications such as autonomous driving and robotics. However, DRL is notoriously limited by its high sample complexity and its lack of stability. Prior knowledge, e.g. as expert demonstrations, is often available but challenging to leverage to mitigate these issues. In this paper, we propose General Reinforced Imitation (GRI), a novel method which combines benefits from exploration and expert data and is straightforward to implement over any off-policy RL algorithm. We make one simplifying hypothesis: expert demonstrations can be seen as perfect data whose underlying policy gets a constant high reward. Based on this assumption, GRI introduces the notion of offline demonstration agents. This agent sends expert data which are processed both concurrently and indistinguishably with the experiences coming from the online RL exploration agent. We show that our approach enables major improvements on vision-based autonomous driving in urban environments. We further validate the GRI method on Mujoco continuous control tasks with different off-policy RL algorithms. Our method ranked first on the CARLA Leaderboard and outperforms World on Rails, the previous state-of-the-art, by 17%.


title: Applications for Microwave Kinetic Induction Detectors in Advanced Instrumentation

abstract: In recent years Microwave Kinetic Inductance Detectors (MKIDs) have emerged as one of the most promising novel low temperature detector technologies. Their unrivaled scalability makes them very attractive for many modern applications and scientific instruments. In this paper we intend to give an overview of how and where MKIDs are currently being used or are suggested to be used in the future. MKID based projects are ongoing or proposed for observational astronomy, particle physics, material science and THz imaging, and the goal of this review is to provide an easily usable and thorough list of possible starting points for more in-depth literature research on the many areas profiting from kinetic inductance detectors.


title: Neuron-based Pruning of Deep Neural Networks with Better Generalization using Kronecker Factored Curvature Approximation

abstract: Existing methods of pruning deep neural networks focus on removing unnecessary parameters of the trained network and fine tuning the model afterwards to find a good solution that recovers the initial performance of the trained model. Unlike other works, our method pays special attention to the quality of the solution in the compressed model and inference computation time by pruning neurons. The proposed algorithm directs the parameters of the compressed model toward a flatter solution by exploring the spectral radius of Hessian which results in better generalization on unseen data. Moreover, the method does not work with a pre-trained network and performs training and pruning simultaneously. Our result shows that it improves the state-of-the-art results on neuron compression. The method is able to achieve very small networks with small accuracy degradation across different neural network models.


title: Weighted Histogram Equalization Using Entropy of Probability Density Function

abstract: Low-contrast image enhancement is essential for high-quality image display and other visual applications. However, it is a challenging task as the enhancement is expected to increase the visibility of an image while maintaining its naturalness. In this paper, the weighted histogram equalization using the entropy of the probability density function is proposed. The computation of the local mapping functions utilizes the relationship between non-height bin and height bin distributions. Finally, the complete tone mapping function is produced by concatenating local mapping functions. Computer simulation results on the CSIQ dataset demonstrate that the proposed method produces images with higher visibility and visual quality, which outperforms traditional and recently proposed contrast enhancement algorithms methods in qualitative and quantitative metrics.


title: Asymptotics of solutions of the sample average approximation method to solve risk averse stochastic programs

abstract: The paper studies the Sample Average Approximation method to solve risk averse stochastic programs expressed in terms of divergence risk measures. It continues the recent contribution [18] on the first order asymptotics of the optimal values. We study asymptotic statistical properties of the optimal solutions, deriving general convergence rates and asymptotic distributions. As a crucial point the investigations are based on a new type of conditions from the theory of empirical processes which do not rely on pathwise analytical properties of the goal functions. In particular, continuity in the parameter is not imposed in advance as usual in the literature on the Sample Average Approximation method. It is also shown that the new condition is satisfied if the paths of the goal functions are Hoelder continuous so that the main results carry over in this case. Moreover, the main results are applied to goal functions whose paths are piecewise linear as e.g. in two stage mixed-integer programs.


title: Thermodynamic constraints on the assembly and diversity of microbial ecosystems are different near to and far from equilibrium

abstract: Non-equilibrium thermodynamics has long been an area of substantial interest to ecologists because most fundamental biological processes, such as protein synthesis and respiration, are inherently energy-consuming. Microbial communities are a natural system to decipher this mechanistic basis because their interactions in the form of substrate consumption, metabolite production, and cross-feeding can be described explicitly in thermodynamic terms. Previous work has considered how thermodynamic constraints impact competition between pairs of species, but restrained from analysing how this manifests in complex dynamical systems. To address this gap, we develop a thermodynamic microbial community model with fully reversible reaction kinetics, which allows direct consideration of free-energy dissipation. This also allows species to interact via products rather than just substrates, increasing the dynamical complexity, and allowing a more nuanced classification of interaction types to emerge. Using this model, we find that community diversity increases with substrate lability, because greater free-energy availability allows for faster generation of niches. Thus, more niches are generated in the time frame of community establishment, leading to higher final species diversity. We also find that allowing species to make use of near-to-equilibrium reactions increases diversity in a low free-energy regime. In such a regime, two new thermodynamic interaction types that we identify here reach comparable strengths to the conventional (competition and facilitation) types, emphasising the key role that thermodynamics plays in community dynamics. Our results suggest that accounting for realistic thermodynamic constraints is vital for understanding the dynamics of real-world microbial communities.


title: Words of Wisdom: Representational Harms in Learning From AI Communication

abstract: Many educational technologies use artificial intelligence (AI) that presents generated or produced language to the learner. We contend that all language, including all AI communication, encodes information about the identity of the human or humans who contributed to crafting the language. With AI communication, however, the user may index identity information that does not match the source. This can lead to representational harms if language associated with one cultural group is presented as "standard" or "neutral", if the language advantages one group over another, or if the language reinforces negative stereotypes. In this work, we discuss a case study using a Visual Question Generation (VQG) task involving gathering crowdsourced data from targeted demographic groups. Generated questions will be presented to human evaluators to understand how they index the identity behind the language, whether and how they perceive any representational harms, and how they would ideally address any such harms caused by AI communication. We reflect on the educational applications of this work as well as the implications for equality, diversity, and inclusion (EDI).


title: Vacuum Structure of Alternative Left-Right Model

abstract: We investigate an Alternative Left-Right Model (ALRM) with $SU(2)_L$ as well as $SU(2)_R$ gauge groups, but unlike the traditional left-right symmetric models (LRSM) is not symmetric under the exchange of the fermion content. Interestingly, it can be embedded in $E_6$, while its low energy Higgs structure resembles the LRSM, involving Higgs doublets $\chi_{L,R}$ and one Higgs bidoublet $\Phi$. We analyze the scalar potential and the vacuum structure of the theory analytically to ensure the stability of scalar potential via bounded from below (BFB) and copositivity criteria, accompanied by a numerical study. We establish the necessary criteria for electric charge preserving vacua, yielding constraints on various coupling parameters of the theory. Finally we obtain constraints on the parameters of the model from collider data on the masses of the Higgs scalars.


title: Non-realizability of some big mapping class groups

abstract: In this note, we prove that the compactly supported mapping class group of a surface containing a genus $3$ subsurface has no realization as a subgroup of the homeomorphism group. We also prove that for certain surfaces with order $6$ symmetries, their mapping class groups have no realization as a subgroup of the homeomorphism group. Examples of such surfaces include the plane minus a Cantor set and the sphere minus a Cantor set.


title: Fitting XMM-Newton Observations of the AXP 1RXS J170849.0-400910 with four magnetar surface emission models, and predictions for X-ray polarization observations with IXPE

abstract: Phase-resolved spectral and spectropolarimetric X-ray observations of magnetars present us with the opportunity to test models of the origin of the X-ray emission from these objects, and to constrain the properties of the neutron star surface and atmosphere. We present a new X-ray fitting model for magnetars that accounts for four different emission models including a blackbody emission model, a magnetized atmosphere model, and fixed-ions and free-ions surface emission models. We use the new model for a phase resolved fit of archival XMM-Newton observations of the magnetar 1RXS J170849.0-400910. We find that the fixed-ions condensed surface model gives the best description of the phase-resolved XMM-Newton spectra, followed by the blackbody and free-ions condensed surface models. The magnetized atmosphere model gives a poor description of the data and seems to be largely excluded. We use the new fitting model to evaluate the scientific potential of future spectropolarimetric observations of 1RXS J170849.0-400910 with the Imaging X-ray Polarimetry Explorer (IXPE) scheduled for launch in December 2021. Our simulations show that the IXPE observations of sources such as 1RXS J170849.0-400910 will allow us to cleanly distinguish between high-polarization (blackbody, magnetized atmosphere) and low-polarization (condensed surface) models. If the higher-polarization blackbody or magnetized atmosphere models apply, IXPE can easily prove QED effects based on a 200 ksec observation as studied here. Longer IXPE observation times will be needed for a clear detection in the case of the lower-polarization condensed surface models.


title: CEHR-BERT: Incorporating temporal information from structured EHR data to improve prediction tasks

abstract: Embedding algorithms are increasingly used to represent clinical concepts in healthcare for improving machine learning tasks such as clinical phenotyping and disease prediction. Recent studies have adapted state-of-the-art bidirectional encoder representations from transformers (BERT) architecture to structured electronic health records (EHR) data for the generation of contextualized concept embeddings, yet do not fully incorporate temporal data across multiple clinical domains. Therefore we developed a new BERT adaptation, CEHR-BERT, to incorporate temporal information using a hybrid approach by augmenting the input to BERT using artificial time tokens, incorporating time, age, and concept embeddings, and introducing a new second learning objective for visit type. CEHR-BERT was trained on a subset of Columbia University Irving Medical Center-York Presbyterian Hospital's clinical data, which includes 2.4M patients, spanning over three decades, and tested using 4-fold cross-validation on the following prediction tasks: hospitalization, death, new heart failure (HF) diagnosis, and HF readmission. Our experiments show that CEHR-BERT outperformed existing state-of-the-art clinical BERT adaptations and baseline models across all 4 prediction tasks in both ROC-AUC and PR-AUC. CEHR-BERT also demonstrated strong transfer learning capability, as our model trained on only 5% of data outperformed comparison models trained on the entire data set. Ablation studies to better understand the contribution of each time component showed incremental gains with every element, suggesting that CEHR-BERT's incorporation of artificial time tokens, time and age embeddings with concept embeddings, and the addition of the second learning objective represents a promising approach for future BERT-based clinical embeddings.


title: A parametrization of unipotent representations

abstract: We define a map from the unipotent representations of a split semisimple group over a finite field to (essentially) the set of pairs of left cells representations of the Weyl group in the same two-sided cell. We use this map to parametrize the unipotent representations.


title: Offline Contextual Bandits for Wireless Network Optimization

abstract: The explosion in mobile data traffic together with the ever-increasing expectations for higher quality of service call for the development of AI algorithms for wireless network optimization. In this paper, we investigate how to learn policies that can automatically adjust the configuration parameters of every cell in the network in response to the changes in the user demand. Our solution combines existent methods for offline learning and adapts them in a principled way to overcome crucial challenges arising in this context. Empirical results suggest that our proposed method will achieve important performance gains when deployed in the real network while satisfying practical constrains on computational efficiency.


title: Hydrogen incorporation into amorphous indium gallium zinc oxide thin-film transistors

abstract: Within the subgap of amorphous oxide semiconductors like amorphous indium gallium zinc oxide (a-IGZO) are donor-like and acceptor-like states that control the operational physics of optically transparent thin-film transistors (TFTs). Hydrogen incorporation into the channel layer of a top-gate a-IGZO TFT exists as an electron donor that causes an observed negative shift in the drain current-gate voltage ($\mathrm{I_{D} - V_{G}}$) transfer curve turn-on voltage. Normally, hydrogen is thought to create shallow electronic states just below the conduction band mobility edge, with the donor ionization state controlled by equilibrium thermodynamics involving the position of the Fermi level with respect to the donor ionization energy. However, hydrogen does not behave as a normal donor as revealed by the subgap density of states (DoS) measured by the photoconduction response of top-gate a-IGZO TFTs to within 0.3 eV of the CBM edge. Specifically, the DoS shows a subgap peak above the valence band mobility edge growing at the same rate that $\mathrm{I_{D} - V_{G}}$ transfer curve measurements suggest that hydrogen was incorporated into the channel layer. Such hydrogen donor behavior in a-IGZO is anomalous and can be understood as follows: Non-bonded hydrogen ionization precedes its incorporation into the a-IGZO network as a bonded species. Ionized hydrogen bonds to a charged oxygen-on-an-oxygen-site anion, resulting in the formation of a defect complex denoted herein as, $\mathrm{{[{O_{O}^{2-}}{H^+}]}^{1-}}$. Formation of an $\mathrm{{[{O_{O}^{2-}}{H^+}]}^{1-}}$ defect complex creates a spectrally-broad ($\sim$0.3 eV FWHM) distribution of electronic states observed in the bandgap centered at 0.4 eV above the valence band mobility edge.


title: Bicriteria Nash Flows over Time

abstract: Flows over time are a natural way to incorporate flow dynamics that arise in various applications such as traffic networks. In this paper we introduce a natural variant of the deterministic fluid queuing model in which users aim to minimize their costs subject to arrival at their destination before a pre-specified deadline. We determine the existence and the structure of Nash flows over time and fully characterize the price of anarchy for this model. The price of anarchy measures the ratio of the quality of the equilibrium and the quality of the optimum flow, where we evaluate the quality using two different natural performance measures: the throughput for a given deadline and the makespan for a given amount of flow. While it turns out that both prices of anarchy can be unbounded in general, we provide tight bounds for the important subclass of parallel path networks. Surprisingly, the two performance measures yield different results here.


title: Machine Learning for Real-Time Processing of ATLAS Liquid Argon Calorimeter Signals with FPGAs

abstract: The ATLAS experiment at CERN measures energy of proton-proton (p-p) collisions with a repetition frequency of 40 MHz at the Large Hadron Collider (LHC). The readout electronics of liquid-argon (LAr) calorimeters are being prepared for high luminosity-LHC (HL-LHC) operation as part of the phase-II upgrade, anticipating a pileup of up to 200 simultaneous p-p interactions. The increase of the number of p-p interactions implies that calorimeter signals of up to 25 consecutive collisions overlap, making energy reconstruction more challenging. In order to achieve the goal of the HL-HLC, field-programmable gate arrays (FPGAs) are used to process digitized pulses sampled at 40 MHz in real time and different machine learning approaches are being investigated to deal with signal pileup. The convolutional and recurrent neural networks outperform the optimal signal filter currently in use, both in terms of assigning the reconstructed energy to the correct proton bunch crossing and in terms of energy resolution. The enhancements are focused on energy obtained from overlapping pulses. Because the neural networks are implemented on an FPGA, the number of parameters, resource usage, latency and operation frequency must be carefully analysed. A very good agreement is observed between neural network implementations in FPGA and software.


title: Robustness of Bayesian Neural Networks to White-Box Adversarial Attacks

abstract: Bayesian Neural Networks (BNNs), unlike Traditional Neural Networks (TNNs) are robust and adept at handling adversarial attacks by incorporating randomness. This randomness improves the estimation of uncertainty, a feature lacking in TNNs. Thus, we investigate the robustness of BNNs to white-box attacks using multiple Bayesian neural architectures. Furthermore, we create our BNN model, called BNN-DenseNet, by fusing Bayesian inference (i.e., variational Bayes) to the DenseNet architecture, and BDAV, by combining this intervention with adversarial training. Experiments are conducted on the CIFAR-10 and FGVC-Aircraft datasets. We attack our models with strong white-box attacks ($l_\infty$-FGSM, $l_\infty$-PGD, $l_2$-PGD, EOT $l_\infty$-FGSM, and EOT $l_\infty$-PGD). In all experiments, at least one BNN outperforms traditional neural networks during adversarial attack scenarios. An adversarially-trained BNN outperforms its non-Bayesian, adversarially-trained counterpart in most experiments, and often by significant margins. Lastly, we investigate network calibration and find that BNNs do not make overconfident predictions, providing evidence that BNNs are also better at measuring uncertainty.


title: Gas-phase spectroscopy of photostable PAH ions from the mid- to far-infrared

abstract: We present gas-phase InfraRed Multiple Photon Dissociation (IRMPD) spectroscopy of cationic phenanthrene, pyrene, and perylene over the 100$-$1700 cm$^{-1}$ (6-95 $\mu$m) spectral range. This range covers both local vibrational modes involving C$-$C and C$-$H bonds in the mid-IR, and large-amplitude skeletal modes in the far-IR. The experiments were done using the 7T Fourier-Transform Ion Cyclotron Resonance (FTICR) mass spectrometer integrated in the Free-Electron Laser for Intra-Cavity Experiments (FELICE), and findings were complemented with Density Functional Theory (DFT) calculated harmonic and anharmonic spectra, matching the experimental spectra well. The experimental configuration that enables this sensitive spectroscopy of the strongly-bound, photo-resistant Polycyclic Aromatic Hydrocarbons (PAHs) over a wide range can provide such high photon densities that even combination modes with calculated intensities as low as 0.01 km$\cdot$mol$^{-1}$ near 400 cm$^{-1}$ (25 $\mu$m) can be detected. Experimental frequencies from this work and all currently available IRMPD spectra for PAH cations were compared to theoretical frequencies from the NASA Ames PAH IR Spectroscopic Database to verify predicted trends for far-IR vibrational modes depending on PAH shape and size, and only a relatively small redshift (6$-$11 cm$^{-1}$) was found between experiment and theory. The absence of spectral congestion and the drastic reduction in bandwidth with respect to the mid-IR make the far-IR fingerprints viable candidates for theoretical benchmarking, which can aid in the search for individual large PAHs in the interstellar medium.


title: Shear Flow in Cylindrical Open Channel Under Precession

abstract: The study of forced oscillations in open cylindrical channel under precession is extended to include the shear effect, that is induced by inertial waves in such systems. The linear part of the problem led to two equations for stability one for the viscous part similar to Orr- Sommerfeld equation and one for the inviscid part similar to Rayleigh equation, the second was solved and discussed depending on the stream function observation. The linear part also led to relationship that connects between the stream velocity and the disturbance one is derived in a form similar to Burns conditions for open flows under normal conditions. Experimentally measuring the horizontal velocity distribution with depth showed that this distribution is sinusoidal one. Burns condition was solved based on this assumption. The nonlinear part of the problem led to a new version of Koteweg De-Vries (KdV) equation that is solved numerically by applying the leapfrog method for time discretization, Fourier transformation for the space one, and the trapezoidal rule for solving the integrals with depth, the results showed that the shear has no specific impact on the wave form which is similar to the classical results obtained by the theories under normal conditions.


title: Stress-optimized inertial amplified metastructure with opposite chirality for vibration attenuation

abstract: In this work, we investigate the dynamics and attenuation properties of a one-dimensional inertial amplified lattice with opposite chirality. The unit cell of the structure consists of a hollow-square plate connected to a ring through arch-like ligaments. The peculiar geometry and orientation of the links allow for coupling the axial and the torsional motion of the lattice, thus amplifying the inertia of the system. We develop both simplified analytical and numerical models of the building block to derive the complex dispersion relation of the infinite lattice. The structure supports a frequency-tailorable attenuation zone, whose lower bound is controlled by the second coupled axial-torsional mode. Laboratory measurements of the transmission spectrum on a 3D printed sample match very well with the analytical and numerical predictions, confirming the wide-band filtering properties of this lattice. We complete our investigation by developing and solving a constrained optimization model to obtain the optimized geometric parameters of the unit cell that minimize the bandgap opening frequency and, at the same time, fulfill structural requirements. In particular, the internal stresses induced by the self-weight of the structure are kept to a low by virtue of the employed design, with the aim to prevent plastic deformations and failure. The inertial amplification mechanism, proposed and investigated in this work, offers an efficient variant for the efficient design of materials and structures for vibration mitigation and shock protection.


title: Device-Independent Oblivious Transfer from the Bounded-Quantum-Storage-Model and Computational Assumptions

abstract: We present a device-independent protocol for oblivious transfer (DIOT) and analyze its security under the assumption that the receiver's quantum storage is bounded during protocol execution and that the device behaves independently and identically in each round. We additionally require that, for each device component, the input corresponding to the choice of measurement basis, and the resulting output, is communicated only with the party holding that component. Our protocol is everlastingly secure and, compared to previous DIOT protocols, it is less strict about the non-communication assumptions that are typical from protocols that use Bell inequality violations; instead, the device-independence comes from a protocol for self-testing of a single (quantum) device which makes use of a post-quantum computational assumption.


title: Reinforcement Learning with Feedback from Multiple Humans with Diverse Skills

abstract: A promising approach to improve the robustness and exploration in Reinforcement Learning is collecting human feedback and that way incorporating prior knowledge of the target environment. It is, however, often too expensive to obtain enough feedback of good quality. To mitigate the issue, we aim to rely on a group of multiple experts (and non-experts) with different skill levels to generate enough feedback. Such feedback can therefore be inconsistent and infrequent. In this paper, we build upon prior work -- Advise, a Bayesian approach attempting to maximise the information gained from human feedback -- extending the algorithm to accept feedback from this larger group of humans, the trainers, while also estimating each trainer's reliability. We show how aggregating feedback from multiple trainers improves the total feedback's accuracy and make the collection process easier in two ways. Firstly, this approach addresses the case of some of the trainers being adversarial. Secondly, having access to the information about each trainer reliability provides a second layer of robustness and offers valuable information for people managing the whole system to improve the overall trust in the system. It offers an actionable tool for improving the feedback collection process or modifying the reward function design if needed. We empirically show that our approach can accurately learn the reliability of each trainer correctly and use it to maximise the information gained from the multiple trainers' feedback, even if some of the sources are adversarial.


title: A layer-stress learning framework universally augments deep neural network tasks

abstract: Deep neural networks (DNN) such as Multi-Layer Perception (MLP) and Convolutional Neural Networks (CNN) represent one of the most established deep learning algorithms. Given the tremendous effects of the number of hidden layers on network architecture and performance, it is very important to choose the number of hidden layers but still a serious challenge. More importantly, the current network architectures can only process the information from the last layer of the feature extractor, which greatly limited us to further improve its performance. Here we presented a layer-stress deep learning framework (x-NN) which implemented automatic and wise depth decision on shallow or deep feature map in a deep network through firstly designing enough number of layers and then trading off them by Multi-Head Attention Block. The x-NN can make use of features from various depth layers through attention allocation and then help to make final decision as well. As a result, x-NN showed outstanding prediction ability in the Alzheimer's Disease Classification Technique Challenge PRCV 2021, in which it won the top laurel and outperformed all other AI models. Moreover, the performance of x-NN was verified by one more AD neuroimaging dataset and other AI tasks.


title: Ultra-low noise quantum memory for quasi-deterministic single photons generated by Rydberg collective atomic excitations

abstract: We demonstrate the storage and retrieval of an on-demand single photon generated by a collective Rydberg excitation in an ultra-low noise Raman quantum memory located in a different cold atomic ensemble. We generate single photons on demand by exciting a cold cloud of Rubidium atoms off resonantly to a Rydberg state, with a generation probability up to 15 $\%$ per trial. We then show that the single photons can be stored and retrieved with an efficiency of 21 $\%$ and a noise floor of $p_n= 2.3(3) \times 10^{-4}$ per trial in the Raman quantum memory. This leads to a signal-to-noise ratio ranging from 11 to 26 for the retrieved single photon depending on the input photon generation probability, which allows us to observe significant antibunching. We also evaluate the performances of the Raman memory as built-in unbalanced temporal beam splitter, tunable by varying the write-in control pulse intensity. In addition, we demonstrate that the Raman memory can be used to control the single-photon waveshape. These results are a step forward in the implementation of efficient quantum-repeater links using single-photon sources.


title: 1 GHz dual-comb spectrometer for fast and broadband measurements

abstract: Dual-frequency comb spectroscopy permits broadband precision spectroscopic measurements with short acquisition time. A dramatic improvement of the maximal spectral bandwidth and the minimal measurement time can be expected when the lasers' pulse repetition rate is increased, owing to a quadratic dependence (Nyquist criterion). Here, we demonstrate a dual-comb system operating at a high repetition rate of 1 GHz based on mature, digitally-controlled, low-noise mode-locked lasers. Compared to conventional lower repetition rate ($\sim$100 MHz) oscillators, this represents a 100-fold improvement in terms of the Nyquist criterion, while still providing adequate spectral sampling even for trace gas absorption fingerprints. Two spectroscopy experiments are performed with acquisition parameters not attainable in a 100 MHz system: detection of water vapor absorption around 1375 nm, demonstrating the potential for fast and ambiguity-free broadband operation, and real-time acquisition of narrow gas absorption features across a spectral span of 0.6 THz (600 comb lines) in only 5 $\mu$s. Additionally, we show high mutual coherence of the lasers below the Hz-level, generating opportunities for broadband spectroscopy even with low-bandwidth detectors such as mid-infrared, imaging or photo-acoustic detectors.


title: Towards Real-Time Monocular Depth Estimation for Robotics: A Survey

abstract: As an essential component for many autonomous driving and robotic activities such as ego-motion estimation, obstacle avoidance and scene understanding, monocular depth estimation (MDE) has attracted great attention from the computer vision and robotics communities. Over the past decades, a large number of methods have been developed. To the best of our knowledge, however, there is not a comprehensive survey of MDE. This paper aims to bridge this gap by reviewing 197 relevant articles published between 1970 and 2021. In particular, we provide a comprehensive survey of MDE covering various methods, introduce the popular performance evaluation metrics and summarize publically available datasets. We also summarize available open-source implementations of some representative methods and compare their performances. Furthermore, we review the application of MDE in some important robotic tasks. Finally, we conclude this paper by presenting some promising directions for future research. This survey is expected to assist readers to navigate this research field.


title: Optimal index insurance and basis risk decomposition: an application to Kenya

abstract: Index insurance is a promising tool to reduce the risk faced by farmers, but high basis risk, which arises from imperfect correlation between the index and individual farm yields, has limited its adoption to date. Basis risk arises from two fundamental sources: the intrinsic heterogeneity within an insurance zone (zonal risk), and the lack of predictive accuracy of the index (design risk). Whereas previous work has focused almost exclusively on design risk, a theoretical and empirical understanding of the role of zonal risk is still lacking. Here we investigate the relative roles of zonal and design risk, using the case of maize yields in Kenya. Our first contribution is to derive a formal decomposition of basis risk, providing a simple upper bound on the insurable basis risk that any index can reach within a given zone. Our second contribution is to provide the first large-scale empirical analysis of the extent of zonal versus design risk. To do so, we use satellite estimates of yields at 10m resolution across Kenya, and investigate the effect of using smaller zones versus using different indices. Our results show a strong local heterogeneity in yields, underscoring the challenge of implementing index insurance in smallholder systems, and the potential benefits of low-cost yield measurement approaches that can enable more local definitions of insurance zones.


title: Diagonally quadratic BSDE with oblique reflection and optimal switching

abstract: The present paper is devoted to the study of diagonally quadratic backward stochastic differential equation with oblique reflection. Using a penalization approach, we show the existence fo a solution by providing some delicated a priori estimates. We further obtain the uniqueness by verifying the first component of the solution is indeed the value of a switching probelm for quadratic BSDEs. Moreover, we provide an extension for the solvability and apply our results to study a risk-sensitive switching problem for functional stochastic differential equations.


title: Localization of a mobile impurity interacting with an Anderson insulator

abstract: Thermalizing and localized many-body quantum systems present two distinct dynamical phases of matter. Recently, the fate of a localized system coupled to a thermalizing system viewed as a quantum bath received significant theoretical and experimental attention. In this work, we study a mobile impurity, representing a small quantum bath, that interacts locally with an Anderson insulator with a finite density of localized particles. Using static Hartree approximation to obtain an effective disorder strength, we formulate an analytic criterion for the perturbative stability of the localization. Next, we use an approximate dynamical Hartree method and the quasi-exact time-evolved block decimation (TEBD) algorithm to study the dynamics of the system. We find that the dynamical Hartree approach which completely ignores entanglement between the impurity and localized particles predicts the delocalization of the system. In contrast, the full numerical simulation of the unitary dynamics with TEBD suggests the stability of localization on numerically accessible timescales. Finally, using an extension of the density matrix renormalization group algorithm to excited states (DMRG-X), we approximate the highly excited eigenstates of the system. We find that the impurity remains localized in the eigenstates and entanglement is enhanced in a finite region around the position of the impurity, confirming the dynamical predictions. Dynamics and the DMRG-X results provide compelling evidence for the stability of localization.

categories: cond-mat.dis-nn cond-mat.quant-gas cond-mat.stat-mech quant-ph


title: Conservative invariant finite-difference schemes for the modified shallow water equations in Lagrangian coordinates

abstract: The one-dimensional modified shallow water equations in Lagrangian coordinates are considered. It is shown the relationship between symmetries and conservation laws in Lagrangian coordinates, in mass Lagrangian variables, and Eulerian coordinates. For equations in Lagrangian coordinates an invariant finite-difference scheme is constructed for all cases for which conservation laws exist in the differential model. Such schemes possess the difference analogues of the conservation laws of mass, momentum, energy, the law of center of mass motion for horizontal, inclined and parabolic bottom topographies. Invariant conservative difference scheme is tested numerically in comparison with naive approximation invariant scheme.


title: Quantum dissipative adaptation

abstract: Dissipative adaptation is a general thermodynamic mechanism that explains self-organization in a broad class of driven classical many-body systems. It establishes how the most likely (adapted) states of a system subjected to a given drive tend to be those following trajectories of highest work absorption, followed by dissipated heat to the reservoir. Here, we extend the dissipative adaptation phenomenon to the quantum realm. We employ a fully-quantized exactly solvable model, where the source of work on a three-level system is a single-photon pulse added to a zero-temperature infinite environment, a scenario that cannot be treated by the classical framework. We find a set of equalities relating adaptation likelihood, absorbed work, heat dissipation and variation of the informational entropy of the environment. Our proof of principle provides the starting point towards a quantum thermodynamics of driven self-organization.


title: Advancement of Deep Learning in Pneumonia and Covid-19 Classification and Localization: A Qualitative and Quantitative Analysis

abstract: Around 450 million people are affected by pneumonia every year which results in 2.5 million deaths. Covid-19 has also affected 181 million people which has lead to 3.92 million casualties. The chances of death in both of these diseases can be significantly reduced if they are diagnosed early. However, the current methods of diagnosing pneumonia (complaints + chest X-ray) and covid-19 (RT-PCR) require the presence of expert radiologists and time, respectively. With the help of Deep Learning models, pneumonia and covid-19 can be detected instantly from Chest X-rays or CT scans. This way, the process of diagnosing Pneumonia/Covid-19 can be made more efficient and widespread. In this paper, we aim to elicit, explain, and evaluate, qualitatively and quantitatively, major advancements in deep learning methods aimed at detecting or localizing community-acquired pneumonia (CAP), viral pneumonia, and covid-19 from images of chest X-rays and CT scans. Being a systematic review, the focus of this paper lies in explaining deep learning model architectures which have either been modified or created from scratch for the task at hand wiwth focus on generalizability. For each model, this paper answers the question of why the model is designed the way it is, the challenges that a particular model overcomes, and the tradeoffs that come with modifying a model to the required specifications. A quantitative analysis of all models described in the paper is also provided to quantify the effectiveness of different models with a similar goal. Some tradeoffs cannot be quantified, and hence they are mentioned explicitly in the qualitative analysis, which is done throughout the paper. By compiling and analyzing a large quantum of research details in one place with all the datasets, model architectures, and results, we aim to provide a one-stop solution to beginners and current researchers interested in this field.


title: Topology of real algebraic curves near the non-singular tropical limit

abstract: In the 1990's, Itenberg and Haas studied the relations between combinatorial data in Viro's patchworking and the topology of the resulting non-singular real algebraic curves in the projective plane. Using recent results from Renaudineau and Shaw on real algebraic curves near the non-singular tropical limit, we continue the study of Itenberg and Haas inside any non-singular projective toric surface. We give new Haas' like criteria for patchworking non-singular real algebraic curves with prescribed number of connected components, in terms of twisted edges on a non-singular tropical curve. We then obtain several sufficient conditions for patchworking non-singular real algebraic curves with only ovals in their real part. One of these sufficient conditions does not depend on the ambient toric surface. In that case, we count the number of even and odd ovals of those curves in terms of the dual subdivision, and construct some new counter-examples to Ragsdale's conjecture.


title: On the Global Existence of a Class of Strongly Coupled Parabolic Systems

abstract: We establish the existence of strong solutions to a class of cross diffusion systems on $\RR^N$ consists of $m$ equations ($m,N\ge 2$). which generalizes the Shigesada-Kawasaki-Teramoto (SKT) model in population dynamics. We introduce the concept of a {\em strong-weak solution} of the systems and show that their existence can be established under weaker conditions. These {\em strong-weak solutions} coincide with strong solutions so that the existence of strong solutions is proved. The SKT model on planar domains ($N=2$) with cubic diffusions and advections is completely solved.


title: Document AI: Benchmarks, Models and Applications

abstract: Document AI, or Document Intelligence, is a relatively new research topic that refers to the techniques for automatically reading, understanding, and analyzing business documents. It is an important research direction for natural language processing and computer vision. In recent years, the popularity of deep learning technology has greatly advanced the development of Document AI, such as document layout analysis, visual information extraction, document visual question answering, document image classification, etc. This paper briefly reviews some of the representative models, tasks, and benchmark datasets. Furthermore, we also introduce early-stage heuristic rule-based document analysis, statistical machine learning algorithms, and deep learning approaches especially pre-training methods. Finally, we look into future directions for Document AI research.


title: Bayesian, frequentist and fiducial intervals for the difference between two binomial proportions

abstract: Estimating the difference between two binomial proportions will be investigated, where Bayesian, frequentist and fiducial (BFF) methods will be considered. Three vague priors will be used, the Jeffreys prior, a divergence prior and the probability matching prior. A probability matching prior is a prior distribution under which the posterior probabilities of certain regions coincide with their coverage probabilities. Fiducial inference can be viewed as a procedure that obtains a measure on a parameter space while assuming less than what Bayesian inference does, i.e. no prior. Fisher introduced the idea of fiducial probability and fiducial inference. In some cases the fiducial distribution is equivalent to the Jeffreys posterior. The performance of the Jeffreys prior, divergence prior and the probability matching prior will be compared to a fiducial method and other classical methods of constructing confidence intervals for the difference between two independent binomial parameters. These intervals will be compared and evaluated by looking at their coverage rates and average interval lengths. The probability matching and divergence priors perform better than the Jeffreys prior.


title: Stochastic Extragradient: General Analysis and Improved Rates

abstract: The Stochastic Extragradient (SEG) method is one of the most popular algorithms for solving min-max optimization and variational inequalities problems (VIP) appearing in various machine learning tasks. However, several important questions regarding the convergence properties of SEG are still open, including the sampling of stochastic gradients, mini-batching, convergence guarantees for the monotone finite-sum variational inequalities with possibly non-monotone terms, and others. To address these questions, in this paper, we develop a novel theoretical framework that allows us to analyze several variants of SEG in a unified manner. Besides standard setups, like Same-Sample SEG under Lipschitzness and monotonicity or Independent-Samples SEG under uniformly bounded variance, our approach allows us to analyze variants of SEG that were never explicitly considered in the literature before. Notably, we analyze SEG with arbitrary sampling which includes importance sampling and various mini-batching strategies as special cases. Our rates for the new variants of SEG outperform the current state-of-the-art convergence guarantees and rely on less restrictive assumptions.


title: On the Uniqueness of Sarkar-Seed-Szabo Construction

abstract: In an attempt to consolidate Szabo's geometric chain complex and Bar\hyp Natan's chain complex, Sarkar-Seed-Szabo defined a total complex $CTot(L)$ over $\mathbb{F}_{2}$ by adding some extra terms $\{h_{i} \}_{i=2}^{\infty}$ in the differential. In this paper we prove the uniqueness of $\{h_{i} \}_{i=2}^{\infty}$ upto some properties. This in turn implies that the total complex $CTot(L)$ is unique.


title: Diagonalisation method in the asymptotical theory for solutions of systems of ODE

abstract: The question about asymptotical behaviour of solutions for the system $\dot x=A_\nu x+f$ for big values of the parameter $\nu\in\frak A$ is considered. An approach to the reduction of a large class of problems to easily solvable problem with diagonal coefficient matrix is described. This approach is based on the approximation of summable matrix function $A_\nu$ by specially constructed smooth matrix functions.


title: IKEA Object State Dataset: A 6DoF object pose estimation dataset and benchmark for multi-state assembly objects

abstract: Utilizing 6DoF(Degrees of Freedom) pose information of an object and its components is critical for object state detection tasks. We present IKEA Object State Dataset, a new dataset that contains IKEA furniture 3D models, RGBD video of the assembly process, the 6DoF pose of furniture parts and their bounding box. The proposed dataset will be available at https://github.com/mxllmx/IKEAObjectStateDataset.


title: Multicenter integrals involving complex Gaussian type functions

abstract: Multicentric integrals that involve a continuum state cannot be evaluated with the usual quantum chemistry tools and require a special treatment. We consider an initial molecular bound state described by multicenter spherical or cartesian Gaussian functions. An electron ejected through an ionization process will be described by an oscillating continuum wavefunction that enters the matrix element necessary for cross section calculations. Within a monocentric approach, we have recently shown how such integrals can be evaluated analytically by using a representation of the continuum state by a set of complex Gaussian functions. In this work we tackle the multicentric situation. The method, developed in either spherical or cartesian coordinates, and validated by numerical tests, makes use of existing mathematical tools extended to the complex plane.


title: Inference for extreme spatial temperature events in a changing climate with application to Ireland

abstract: We investigate the changing nature of the frequency, magnitude and spatial extent of extreme temperatures in Ireland from 1931 to 2022. We develop an extreme value model that captures spatial and temporal non-stationarity in extreme daily maximum temperature data. We model the tails of the marginal variables using the generalised Pareto distribution and the spatial dependence of extreme events by a semi-parametric Brown-Resnick r-generalised Pareto process, with parameters of each model allowed to change over time. We use weather station observations for modelling extreme events since data from climate models (not conditioned on observational data) can over-smooth these events and have trends determined by the specific climate model configuration. However, climate models do provide valuable information about the detailed physiography over Ireland and the associated climate response. We propose novel methods which exploit the climate model data to overcome issues linked to the sparse and biased sampling of the observations. Our analysis identifies a temporal change in the marginal behaviour of extreme temperature events over the study domain, which is much larger than the change in mean temperature levels over this time window. We illustrate how these characteristics result in increased spatial coverage of the events that exceed critical temperatures.


title: CGX: Adaptive System Support for Communication-Efficient Deep Learning

abstract: The ability to scale out training workloads has been one of the key performance enablers of deep learning. The main scaling approach is data-parallel GPU-based training, which has been boosted by hardware and software support for highly efficient point-to-point communication, and in particular via hardware bandwidth overprovisioning. Overprovisioning comes at a cost: there is an order of magnitude price difference between "cloud-grade" servers with such support, relative to their popular "consumer-grade" counterparts, although single server-grade and consumer-grade GPUs can have similar computational envelopes. In this paper, we show that the costly hardware overprovisioning approach can be supplanted via algorithmic and system design, and propose a framework called CGX, which provides efficient software support for compressed communication in ML applications, for both multi-GPU single-node training, as well as larger-scale multi-node training. CGX is based on two technical advances: \emph{At the system level}, it relies on a re-developed communication stack for ML frameworks, which provides flexible, highly-efficient support for compressed communication. \emph{At the application level}, it provides \emph{seamless, parameter-free} integration with popular frameworks, so that end-users do not have to modify training recipes, nor significant training code. This is complemented by a \emph{layer-wise adaptive compression} technique which dynamically balances compression gains with accuracy preservation. CGX integrates with popular ML frameworks, providing up to 3X speedups for multi-GPU nodes based on commodity hardware, and order-of-magnitude improvements in the multi-node setting, with negligible impact on accuracy.


title: Inverse heat conduction to model and optimise a geothermal field

abstract: The design of heat exchanger fields is a key phase to ensure the long-term sustainability of such renewable energy systems. This task has to be accomplished by modelling the relevant processes in the complex system made up of different exchangers, where the heat transfer must be considered within exchangers and outside exchangers. We propose a mathematical model for the study of the heat conduction into the soil as consequence of the presence of exchangers. Such a problem is formulated and solved with an analytical approach. On the basis of such analytical solution, we propose an optimisation procedure to compute the best position of the exchangers by minimising the adverse effects of neighbouring devices. Some numerical experiments are used to show the effectiveness of the proposed method also by taking into account a reference approximation procedure of the problem based on a finite difference method.

categories: math.NA cs.NA math-ph math.AP math.MP physics.flu-dyn


title: Array Placement in Distributed Massive MIMO for Power Saving considering Environment Information

abstract: Distributed massive MIMO (D-mMIMO) has been considered for future networks as it holds the potential to offer superior capacity while enabling energy savings in the network. A D-mMIMO system has multiple arrays. Optimizing the locations of the arrays is essential for the energy efficiency of the system. In existing works, array placement has been optimized mostly based on common channel models, which rely on a given statistical distribution and Euclidean distance between user locations and arrays. These models are justified if applied to sufficiently large cells, where the statistical description of the channel is expected to fit its empirical condition. However, with the advent of small cells, this is no longer the case. The channel propagation condition becomes highly environment-specific. This paper investigates array placement optimization with different ways of modeling the propagation conditions taking the environment information (e.g., buildings) into account. We capture the environment information via a graph. Two shortest path-based propagation models are introduced based on the graph. We validate the performance of the models with a ray-tracing simulator considering different signal coverage levels. The simulation results demonstrate that higher energy efficiency is achieved by using the array placements found via the proposed models compared to a Euclidean distance-based propagation model in small cells. The average power saving at 96% signal coverage, for example, reaches more than 5 dB.


title: A Data-Driven Approach for Linear and Nonlinear Damage Detection Using Variational Mode Decomposition and GARCH Model

abstract: In this article, an original data-driven approach is proposed to detect both linear and nonlinear damage in structures using output-only responses. The method deploys variational mode decomposition (VMD) and a generalised autoregressive conditional heteroscedasticity (GARCH) model for signal processing and feature extraction. To this end, VMD decomposes the response signals into intrinsic mode functions (IMFs). Afterwards, the GARCH model is utilised to represent the statistics of IMFs. The model coefficients of IMFs construct the primary feature vector. Kernel-based principal component analysis (PCA) and linear discriminant analysis (LDA) are utilised to reduce the redundancy of the primary features by mapping them to the new feature space. The informative features are then fed separately into three supervised classifiers, namely support vector machine (SVM), k-nearest neighbour (kNN), and fine tree. The performance of the proposed method is evaluated on two experimentally scaled models in terms of linear and nonlinear damage assessment. Kurtosis and ARCH tests proved the compatibility of the GARCH model.