title: Federated Learning Under Intermittent Client Availability and Time-Varying Communication Constraints

abstract: Federated learning systems facilitate training of global models in settings where potentially heterogeneous data is distributed across a large number of clients. Such systems operate in settings with intermittent client availability and/or time-varying communication constraints. As a result, the global models trained by federated learning systems may be biased towards clients with higher availability. We propose F3AST, an unbiased algorithm that dynamically learns an availability-dependent client selection strategy which asymptotically minimizes the impact of client-sampling variance on the global model convergence, enhancing performance of federated learning. The proposed algorithm is tested in a variety of settings for intermittently available clients under communication constraints, and its efficacy demonstrated on synthetic data and realistically federated benchmarking experiments using CIFAR100 and Shakespeare datasets. We show up to 186% and 8% accuracy improvements over FedAvg, and 8% and 7% over FedAdam on CIFAR100 and Shakespeare, respectively.


title: Thermonuclear reaction rate of $^{29}$Si(p,$\gamma$)$^{30}$P

abstract: The thermonuclear rate of the $^{29}$Si(p,$\gamma$)$^{30}$P reaction impacts the $^{29}$Si abundance in classical novae. A reliable reaction rate is essential for testing the nova paternity of presolar stardust grains. At present, the fact that no classical nova grains have been unambiguously identified in primitive meteorites among thousands of grains studied is puzzling, considering that classical novae are expected to be prolific producers of dust grains. We investigated the $^{29}$Si $+$ $p$ reaction at center-of-mass energies of $200$ $-$ $420$~keV, and present improved values for resonance energies, level excitation energies, resonance strengths, and branching ratios. One new resonance was found at a center-of-mass energy of $303$ keV. For an expected resonance at $215$~keV, an experimental upper limit could be determined for the strength. We evaluated the level structure near the proton threshold, and present new reaction rates based on all the available experimental information. Our new reaction rates have much reduced uncertainties compared to previous results at temperatures of $T$ $\ge$ $140$~MK, which are most important for classical nova nucleosynthesis. Future experiments to improve the reaction rates at lower temperatures are discussed.


title: Hybridized Discontinuous Galerkin Methods for a Multiple Network Poroelasticity Model with Medical Applications

abstract: The quasi-static multiple network poroelastic theory (MPET) model, first introduced in the context of geomechanics, has recently found new applications in medicine. In practice, the parameters in the MPET equations can vary over several orders of magnitude which makes their stable discretization and fast solution a challenging task. Here, a new efficient parameter-robust hybridized discontinuous Galerkin method, which also features fluid mass conservation, is proposed for the MPET model. Its stability analysis which is crucial for the well-posedness of the discrete problem is performed and cost-efficient fast parameter-robust preconditioners are derived. We present a series of numerical computations for a 4-network MPET model of a human brain which support the performance of the new algorithms.


title: Arithmetic-Based Pretraining -- Improving Numeracy of Pretrained Language Models

abstract: State-of-the-art pretrained language models tend to perform below their capabilities when applied out-of-the-box on tasks that require understanding and working with numbers. Recent work suggests two main reasons for this: (1) popular tokenisation algorithms have limited expressiveness for numbers, and (2) common pretraining objectives do not target numeracy. Approaches that address these shortcomings usually require architectural changes or pretraining from scratch. In this paper, we propose a new extended pretraining approach called Arithmetic-Based Pretraining that jointly addresses both in one extended pretraining step without requiring architectural changes or pretraining from scratch. Arithmetic-Based Pretraining combines contrastive learning to improve the number representation, and a novel extended pretraining objective called Inferable Number Prediction Task to improve numeracy. Our experiments show the effectiveness of Arithmetic-Based Pretraining in three different tasks that require improved numeracy, i.e., reading comprehension in the DROP dataset, inference-on-tables in the InfoTabs dataset, and table-to-text generation in the WikiBio and SciGen datasets.


title: Dynamical maps and symmetroids

abstract: Starting from the canonical symmetroid $\mathcal{S}(G)$ associated with a groupoid $G$, the issue of describing dynamical maps in the groupoidal approach to Quantum Mechanics is addressed. After inducing a Haar measure on the canonical symmetroid $\mathcal{S}(G)$, the associated von-Neumann groupoid algebra is constructed. It is shown that the left-regular representation allows to define linear maps on the groupoid-algebra of the groupoid $G$ and given subsets of functions are associated with completely positive maps. Some simple examples are also presented.


title: Reconstructing homospectral inflationary potentials

abstract: Purely geometrical arguments show that there exist classes of homospectral inflationary cosmologies, i.e. different expansion histories producing the same spectrum of comoving curvature perturbations. We develop a general algorithm to reconstruct the potential of minimally-coupled single scalar fields from an arbitrary expansion history. We apply it to homospectral expansion histories to obtain the corresponding potentials, providing numerical and analytical examples. The infinite class of homospectral potentials depends on two free parameters, the initial energy scale and the initial value of the field, showing that in general it is impossible to reconstruct a unique potential from the curvature spectrum unless the initial energy scale and the field value are fixed, for instance through observation of primordial gravitational waves.


title: Plateau regions for zero-bias peaks within 5% of the quantized conductance value $2e^2/h$

abstract: Probing an isolated Majorana zero mode is predicted to reveal a tunneling conductance quantized at $2e^2/h$ at zero temperature. Experimentally, a zero-bias peak (ZBP) is expected and its height should remain robust against relevant parameter tuning, forming a quantized plateau. Here, we report the observation of large ZBPs in a thin InAs-Al hybrid nanowire device. The ZBP height can stick close to $2e^2/h$, mostly within $5\%$ tolerance, by sweeping gate voltages and magnetic field. We further map out the phase diagram and identify two plateau regions in the phase space. Despite the presence of disorder and quantum dots, our result constitutes a step forward towards establishing Majorana zero modes.


title: A model of invariant control system using mean curvature drift from Brownian motion under submersions

abstract: Given a submersion $\phi: M \to N$, where $M$ is Riemannian, we construct a stochastic process $X$ on $M$ such that the image $Y:=\phi(X)$ is a (reversed, scaled) mean curvature flow of the fibers of the submersion. The model example is the mapping $\pi: GL(n) \to GL(n)/O(n)$, whose image is equivalent to the space of $n$-by-$n$ positive definite matrices, $\pdef$, and the said MCF has deterministic image. We are able to compute explicitly the mean curvature (and hence the drift term) of the fibers w.r.t. this map, (i) under diagonalization and (ii) in matrix entries, writing mean curvature as the gradient of log volume of orbits. As a consequence, we are able to write down Brownian motions explicitly on several common homogeneous spaces, such as Poincar\'e's upper half plane and the Bures-Wasserstein geometry on $\pdef$, on which we can see the eigenvalue processes of Brownian motion reminiscent of Dyson's Brownian motion. By choosing the background metric via natural $GL(n)$ action, we arrive at an invariant control system on the $GL(n)$-homogenous space $GL(n)/O(n)$. We investigate feasibility of developing stochastic algorithms using the mean curvature flow. KEY WORDS: mean curvature flow, gradient flow, Brownian motion, Riemannian submersion, random matrix, eigenvalue processes, geometry of positive definite matrices, stochastic algorithm, control theory on homogeneous space


title: Sparsity and $\ell_p$-Restricted Isometry

abstract: A matrix $A$ is said to have the $\ell_p$-Restricted Isometry Property ($\ell_p$-RIP) if for all vectors $x$ of up to some sparsity $k$, $\|{Ax}\|_p$ is roughly proportional to $\|{x}\|_p$. We study this property for $m \times n$ matrices of rank proportional to $n$ and $k = \Theta(n)$. In this parameter regime, $\ell_p$-RIP matrices are closely connected to Euclidean sections, and are "real analogs" of testing matrices for locally testable codes. It is known that with high probability, random dense $m\times n$ matrices (e.g., with i.i.d. $\pm 1$ entries) are $\ell_2$-RIP with $k \approx m/\log n$, and sparse random matrices are $\ell_p$-RIP for $p \in [1,2)$ when $k, m = \Theta(n)$. However, when $m = \Theta(n)$, sparse random matrices are known to not be $\ell_2$-RIP with high probability. Against this backdrop, we show that sparse matrices cannot be $\ell_2$-RIP in our parameter regime. On the other hand, for $p \neq 2$, we show that every $\ell_p$-RIP matrix must be sparse. Thus, sparsity is incompatible with $\ell_2$-RIP, but necessary for $\ell_p$-RIP for $p \neq 2$. Under a suitable interpretation, our negative result about $\ell_2$-RIP gives an impossibility result for a certain continuous analog of "$c^3$-LTCs": locally testable codes of constant rate, constant distance and constant locality that were constructed in recent breakthroughs.


title: Bypassing the XOR Trick: Stronger Certificates for Hypergraph Clique Number

abstract: Let $\mathcal{H}(k,n,p)$ be the distribution on $k$-uniform hypergraphs where every subset of $[n]$ of size $k$ is included as an hyperedge with probability $p$ independently. In this work, we design and analyze a simple spectral algorithm that certifies a bound on the size of the largest clique, $\omega(H)$, in hypergraphs $H \sim \mathcal{H}(k,n,p)$. For example, for any constant $p$, with high probability over the choice of the hypergraph, our spectral algorithm certifies a bound of $\tilde{O}(\sqrt{n})$ on the clique number in polynomial time. This matches, up to $\textrm{polylog}(n)$ factors, the best known certificate for the clique number in random graphs, which is the special case of $k = 2$. Prior to our work, the best known refutation algorithms [CGL04, AOW15] rely on a reduction to the problem of refuting random $k$-XOR via Feige's XOR trick [Fei02], and yield a polynomially worse bound of $\tilde{O}(n^{3/4})$ on the clique number when $p = O(1)$. Our algorithm bypasses the XOR trick and relies instead on a natural generalization of the Lovasz theta semidefinite programming relaxation for cliques in hypergraphs.


title: An empirical study of CTC based models for OCR of Indian languages

abstract: Recognition of text on word or line images, without the need for sub-word segmentation has become the mainstream of research and development of text recognition for Indian languages. Modelling unsegmented sequences using Connectionist Temporal Classification (CTC) is the most commonly used approach for segmentation-free OCR. In this work we present a comprehensive empirical study of various neural network models that uses CTC for transcribing step-wise predictions in the neural network output to a Unicode sequence. The study is conducted for 13 Indian languages, using an internal dataset that has around 1000 pages per language. We study the choice of line vs word as the recognition unit, and use of synthetic data to train the models. We compare our models with popular publicly available OCR tools for end-to-end document image recognition. Our end-to-end pipeline that employ our recognition models and existing text segmentation tools outperform these public OCR tools for 8 out of the 13 languages. We also introduce a new public dataset called Mozhi for word and line recognition in Indian language. The dataset contains more than 1.2 million annotated word images (120 thousand text lines) across 13 Indian languages. Our code, trained models and the Mozhi dataset will be made available at http://cvit.iiit.ac.in/research/projects/cvit-projects/


title: Provably Optimal Control for Multiplicative Amplitude Control Noise

abstract: We provide a technique to obtain provably optimal control sequences for quantum systems under the influence of time-correlated multiplicative control noise. Utilizing the circuit-level noise model introduced in [Phys. Rev. Research 3, 033229(2021)], we show that we can map the problem of finding such a sequence to a convex optimization problem with guaranteed optimality that follows from the convexity. We also show that this technique is compatible with more general off-axis time-correlated dephasing noise. In spite of losing provable optimality, numerically optimized control sequences under this scenario can still achieve nearly optimal performance when the control noise is strong relative to the dephasing contribution. This approach will enable the development of optimal quantum logic gates in systems where noise due to amplitude drifts in the control is strong relative to dephasing such as in ion-trap based quantum computers or in the limit of fast control.


title: Neurochaos Feature Transformation and Classification for Imbalanced Learning

abstract: Learning from limited and imbalanced data is a challenging problem in the Artificial Intelligence community. Real-time scenarios demand decision-making from rare events wherein the data are typically imbalanced. These situations commonly arise in medical applications, cybersecurity, catastrophic predictions etc. This motivates the development of learning algorithms capable of learning from imbalanced data. Human brain effortlessly learns from imbalanced data. Inspired by the chaotic neuronal firing in the human brain, a novel learning algorithm namely Neurochaos Learning (NL) was recently proposed. NL is categorized in three blocks: Feature Transformation, Neurochaos Feature Extraction (CFX), and Classification. In this work, the efficacy of neurochaos feature transformation and extraction for classification in imbalanced learning is studied. We propose a unique combination of neurochaos based feature transformation and extraction with traditional ML algorithms. The explored datasets in this study revolve around medical diagnosis, banknote fraud detection, environmental applications and spoken-digit classification. In this study, experiments are performed in both high and low training sample regime. In the former, five out of nine datasets have shown a performance boost in terms of macro F1-score after using CFX features. The highest performance boost obtained is 25.97% for Statlog (Heart) dataset using CFX+Decision Tree. In the low training sample regime (from just one to nine training samples per class), the highest performance boost of 144.38% is obtained for Haberman's Survival dataset using CFX+Random Forest. NL offers enormous flexibility of combining CFX with any ML classifier to boost its performance, especially for learning tasks with limited and imbalanced data.


title: A Comprehensive Survey of Few-shot Learning: Evolution, Applications, Challenges, and Opportunities

abstract: Few-shot learning (FSL) has emerged as an effective learning method and shows great potential. Despite the recent creative works in tackling FSL tasks, learning valid information rapidly from just a few or even zero samples still remains a serious challenge. In this context, we extensively investigated 200+ latest papers on FSL published in the past three years, aiming to present a timely and comprehensive overview of the most recent advances in FSL along with impartial comparisons of the strengths and weaknesses of the existing works. For the sake of avoiding conceptual confusion, we first elaborate and compare a set of similar concepts including few-shot learning, transfer learning, and meta-learning. Furthermore, we propose a novel taxonomy to classify the existing work according to the level of abstraction of knowledge in accordance with the challenges of FSL. To enrich this survey, in each subsection we provide in-depth analysis and insightful discussion about recent advances on these topics. Moreover, taking computer vision as an example, we highlight the important application of FSL, covering various research hotspots. Finally, we conclude the survey with unique insights into the technology evolution trends together with potential future research opportunities in the hope of providing guidance to follow-up research.


title: Two strategies for boreal forestry with goodwill in capitalization

abstract: Two strategies for boreal forestry with goodwill in estate capitalization are introduced. A strategy focusing on Real Estate (RE) is financially superior to Timber Sales (TS). The feasibility of the RE requires the presence of forest land end users in the real estate market, like insurance companies or investment trusts, and the periodic boundary condition does not apply. Commercial thinnings do not enter the RE strategy in a stand-level discussion. However, they may appear in estates with a variable age structure and enable an extension of stand rotation times.


title: Effect of Diffusion on the Peak Value of Energy Loss Observed in a LArTPC

abstract: Liquid Argon Time Projection Chamber (LArTPC) detectors observe ionization electrons to measure charged particle trajectories and energy. In a LArTPC, the long time ($\sim$ms) between when the ionization is produced and when it is collected means that diffusion can smear the charge by an amount comparable to the spatial resolution of the detector, given by the spacing between charge sensing channels ($\sim$mm). This smearing has an impact on the distribution of energy losses measured by each channel. In particular, the smearing increases the length of the charged particle trajectory observed by each channel, and therefore the most-probable-value (MPV) of particle energy loss recorded by that channel. We find, for example, that this effect shifts the MPV $dE/dx$ of a muon with an energy of 1 GeV by ${\sim}4$% for a 2 ms drift time and 4.7 mm wire spacing, as in the DUNE-FD LArTPC. This has implications for the energy-scale calibration and electron lifetime measurements in a LArTPC, which both use the MPV of the muon energy loss distribution as a "standard candle". The impact of diffusion on these calibrations is assessed.


title: Dispersive derivation of the pion distribution amplitude

abstract: We derive the dependence of the leading-twist pion light-cone distribution amplitude (LCDA) on a parton momentum fraction $x$ by directly solving the dispersion relations for the moments with inputs from the operator product expansion (OPE) of the corresponding correlation function. It is noticed that these dispersion relations must be organized into those for the Gegenbauer coefficients first in order to avoid the ill-posed problem appearing in the conversion from the moments to the Gegenbauer coefficients. Given the values of various condensates in the OPE, we find that a solution for the pion LCDA, which is stable in the Gegenbauer expansion, exists. Moreover, the solution from summing contributions up to 18 Gegenbauer polynomials is smooth, and can be well approximated by a function proportional to $x^p(1-x)^p$ with $p\approx 0.45$ at the scale $\mu=2$ GeV. Turning off the condensates, we get the asymptotic form, independent of the scale $\mu$, for the pion LCDA as expected. We then solve for the pion LCDA at a different scale $\mu=1.5$ GeV with the condensate inputs at this $\mu$, and demonstrate that the result is consistent with the one obtained by evolving the Gegenbauer coefficients from $\mu=2$ GeV to 1.5 GeV. That is, our formalism is compatible with the QCD evolution. The strength of the above approach that goes beyond analyses limited to only the first few moments of a LCDA in conventional QCD sum rules is highlighted. The precision of our results can be improved systematically by including higher-order and higher-power terms in the OPE.


title: Augmented Reality Appendages for Robots: Design Considerations and Recommendations for Maximizing Social and Functional Perception

abstract: In order to address the limitations of gestural capabilities in physical robots, researchers in Virtual, Augmented, Mixed Reality Human-Robot Interaction (VAM-HRI) have been using augmented-reality visualizations that increase robot expressivity and improve user perception (e.g., social presence). While a multitude of virtual robot deictic gestures (e.g., pointing to an object) have been implemented to improve interactions within VAM-HRI, such systems are often reported to have tradeoffs between functional and social user perceptions of robots, creating a need for a unified approach that considers both attributes. We performed a literature analysis that selected factors that were noted to significantly influence either user perception or task efficiency and propose a set of design considerations and recommendations that address those factors by combining anthropomorphic and non-anthropomorphic virtual gestures based on the motivation of the interaction, visibility of the target and robot, salience of the target, and distance between the target and robot. The proposed recommendations provide the VAM-HRI community with starting points for selecting appropriate gesture types for a multitude of interaction contexts.


title: Corner asymptotics of the magnetic potential in the eddy-current model

abstract: In this paper, we describe the magnetic potential in the vicinity of a corner of a conducting body embedded in a dielectric medium in a bidimensional setting. We make explicit the corner asymptotic expansion for this potential as the distance to the corner goes to zero. This expansion involves singular functions and singular coefficients. We introduce a method for the calculation of the singular functions near the corner and we provide two methods to compute the singular coefficients: the method of moments and the method of quasi-dual singular functions. Estimates for the convergence of both approximate methods are proven. We eventually illustrate the theoretical results with finite element computations. The specific non-standard feature of this problem lies in the structure of its singular functions: They have the form of series whose first terms are harmonic polynomials and further terms are genuine non-smooth functions generated by the piecewise constant zeroth order term of the operator.


title: A uniqueness criterion and a counterexample to regularity in an incompressible variational problem

abstract: In this paper we consider the problem of minimizing functionals of the form $E(u)=\int_B f(x,\nabla u) \,dx$ in a suitably prepared class of incompressible, planar maps $u: B \rightarrow \mathbb{R}^2$. Here, $B$ is the unit disk and $f(x,\xi)$ is quadratic and convex in $\xi$. It is shown that if $u$ is a stationary point of $E$ in a sense that is made clear in the paper, then $u$ is a unique global minimizer of $E(u)$ provided the gradient of the corresponding pressure satisfies a suitable smallness condition. We apply this result to construct a non-autonomous, uniformly convex functional $f(x,\xi)$, depending smoothly on $\xi$ but discontinuously on $x$, whose unique global minimizer is the so-called $N-$covering map, which is Lipschitz but not $C^1$.


title: Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking

abstract: Ensuring the safety of reinforcement learning (RL) algorithms is crucial to unlock their potential for many real-world tasks. However, vanilla RL and most safe RL approaches do not guarantee safety. In recent years, several methods have been proposed to provide hard safety guarantees for RL, which is essential for applications where unsafe actions could have disastrous consequences. Nevertheless, there is no comprehensive comparison of these provably safe RL methods. Therefore, we introduce a categorization of existing provably safe RL methods, present the conceptual foundations for both continuous and discrete action spaces, and empirically benchmark existing methods. We categorize the methods based on how they adapt the action: action replacement, action projection, and action masking. Our experiments on an inverted pendulum and a quadrotor stabilization task indicate that action replacement is the best-performing approach for these applications despite its comparatively simple realization. Furthermore, adding a reward penalty, every time the safety verification is engaged, improved training performance in our experiments. Finally, we provide practical guidance on selecting provably safe RL approaches depending on the safety specification, RL algorithm, and type of action space.


title: On the size and local equations of fibres of general projections

abstract: For a general birational projection of a smooth nondegenerate projective $n$-fold from $\mathbb P^{n+c}$ to $\mathbb P^m$, $n<m\leq(n+c)/2$, all fibres have total length asymptotically bounded by $2^{\sqrt{n}+1} $ and the fibres are locally defined by linear and quadratic equations.


title: Squeezed light generated with hyperradiance without nonlinearity

abstract: We propose that the squeezed light accompanied by hyperradiance is induced by quantum interference in a linear system consisting of a high quality optical cavity and two coherently driven two-level qubits. When two qubits are placed at the crest and trough of the standing wave in the cavity respectively (i.e., they have the opposite coupling coefficient to the cavity), we show that squeezed light is generated in the hyperradiance regime under the conditions of strong coupling and weak driving. Simultaneously, the Klyshko's criterion alternates up and down at unity when the photon number is even or odd. Moreover, the orthogonal angles of the squeezed light can be controlled by adjusting the frequency detuning pressure between the driving field and the qubits. It can be implemented in a variety of quantum systems, including but not limited to two-level systems such as atoms, quantum dots in single-mode cavities.


title: Large even-odd spacing and $g$-factor anisotropy in PbTe quantum dots

abstract: PbTe is a semiconductor with promising properties for topological quantum computing applications. Here we characterize quantum dots in PbTe nanowires selectively grown on InP. Charge stability diagrams at zero magnetic field reveal large even-odd spacing between Coulomb blockade peaks, charging energies below 140$~\mathrm{\mu eV}$ and Kondo peaks in odd Coulomb diamonds. We attribute the large even-odd spacing to the large dielectric constant and small effective electron mass of PbTe. By studying the Zeeman-induced level and Kondo splitting in finite magnetic fields, we extract the electron $g$-factor as a function of magnetic field direction. We find the $g$-factor tensor to be highly anisotropic, with principal $g$-factors ranging from 0.9 to 22.4, and to depend on the electronic configuration of the devices. These results indicate strong Rashba spin-orbit interaction in our PbTe quantum dots.


title: Slimmable Video Codec

abstract: Neural video compression has emerged as a novel paradigm combining trainable multilayer neural networks and machine learning, achieving competitive rate-distortion (RD) performances, but still remaining impractical due to heavy neural architectures, with large memory and computational demands. In addition, models are usually optimized for a single RD tradeoff. Recent slimmable image codecs can dynamically adjust their model capacity to gracefully reduce the memory and computation requirements, without harming RD performance. In this paper we propose a slimmable video codec (SlimVC), by integrating a slimmable temporal entropy model in a slimmable autoencoder. Despite a significantly more complex architecture, we show that slimming remains a powerful mechanism to control rate, memory footprint, computational cost and latency, all being important requirements for practical video compression.


title: Who Are We Talking About? Handling Person Names in Speech Translation

abstract: Recent work has shown that systems for speech translation (ST) -- similarly to automatic speech recognition (ASR) -- poorly handle person names. This shortcoming does not only lead to errors that can seriously distort the meaning of the input, but also hinders the adoption of such systems in application scenarios (like computer-assisted interpreting) where the translation of named entities, like person names, is crucial. In this paper, we first analyse the outputs of ASR/ST systems to identify the reasons of failures in person name transcription/translation. Besides the frequency in the training data, we pinpoint the nationality of the referred person as a key factor. We then mitigate the problem by creating multilingual models, and further improve our ST systems by forcing them to jointly generate transcripts and translations, prioritising the former over the latter. Overall, our solutions result in a relative improvement in token-level person name accuracy by 47.8% on average for three language pairs (en->es,fr,it).


title: Interlock-Free Multi-Aspect Rationalization for Text Classification

abstract: Explanation is important for text classification tasks. One prevalent type of explanation is rationales, which are text snippets of input text that suffice to yield the prediction and are meaningful to humans. A lot of research on rationalization has been based on the selective rationalization framework, which has recently been shown to be problematic due to the interlocking dynamics. In this paper, we show that we address the interlocking problem in the multi-aspect setting, where we aim to generate multiple rationales for multiple outputs. More specifically, we propose a multi-stage training method incorporating an additional self-supervised contrastive loss that helps to generate more semantically diverse rationales. Empirical results on the beer review dataset show that our method improves significantly the rationalization performance.


title: An Implementation of Stochastic Forces for the N-body code REBOUND

abstract: We describe the implementation of a new module which can be used to simulate physical systems in which the motion of particles is affected by stochastic forces. Such forces are expected to be present in turbulent circumstellar disks or remnant planetesimal disks. Our implementation offers a convenient way to generate correlated noise with a user-specified amplitude and auto-correlation time for each particle. The module has minimal memory requirements and is freely available within the REBOUNDx additional effects library.


title: Improving Astronomical Time-series Classification via Data Augmentation with Generative Adversarial Networks

abstract: Due to the latest advances in technology, telescopes with significant sky coverage will produce millions of astronomical alerts per night that must be classified both rapidly and automatically. Currently, classification consists of supervised machine learning algorithms whose performance is limited by the number of existing annotations of astronomical objects and their highly imbalanced class distributions. In this work, we propose a data augmentation methodology based on Generative Adversarial Networks (GANs) to generate a variety of synthetic light curves from variable stars. Our novel contributions, consisting of a resampling technique and an evaluation metric, can assess the quality of generative models in unbalanced datasets and identify GAN-overfitting cases that the Fr\'echet Inception Distance does not reveal. We applied our proposed model to two datasets taken from the Catalina and Zwicky Transient Facility surveys. The classification accuracy of variable stars is improved significantly when training with synthetic data and testing with real data with respect to the case of using only real data.


title: Mechanical Analog for Cities

abstract: Motivated from the increasing need to develop a quantitative, science-based, predictive understanding of the dynamics and response of cities when subjected to hazards, in this paper we apply concepts from statistical mechanics and microrheology to develop mechanical analogs for cities with predictive capabilities. We envision a city to be a matrix where people (cell-phone users) are driven by the economy of the city and other associated incentives while using the collection of its infrastructure networks in a similar way that thermally driven Brownian probe particles are moving within a complex viscoelastic material. Mean-square displacements (ensemble averages) of thousands of cell-phone users are computed from GPS location data to establish the creep compliance and the resulting impulse response function of a city. The derivation of these time-response functions allows the synthesis of simple mechanical analogs that model satisfactorily the behavior of the city under normal conditions. Our study concentrates on predicting the response of cities to acute shocks (natural hazards that stress the entire urban area) that are approximated with a rectangular pulse with finite duration; and we show that the solid-like mechanical analogs for cities that we derived predict that cities revert immediately to their pre-event response suggesting that they are inherently resilient. Our findings are in remarkable good agreement with the recorded response of the Dallas metroplex following the February 2021 North American winter storm which happened at a time for which we have dependable GPS location data.


title: Emergent Bartering Behaviour in Multi-Agent Reinforcement Learning

abstract: Advances in artificial intelligence often stem from the development of new environments that abstract real-world situations into a form where research can be done conveniently. This paper contributes such an environment based on ideas inspired by elementary Microeconomics. Agents learn to produce resources in a spatially complex world, trade them with one another, and consume those that they prefer. We show that the emergent production, consumption, and pricing behaviors respond to environmental conditions in the directions predicted by supply and demand shifts in Microeconomics. We also demonstrate settings where the agents' emergent prices for goods vary over space, reflecting the local abundance of goods. After the price disparities emerge, some agents then discover a niche of transporting goods between regions with different prevailing prices -- a profitable strategy because they can buy goods where they are cheap and sell them where they are expensive. Finally, in a series of ablation experiments, we investigate how choices in the environmental rewards, bartering actions, agent architecture, and ability to consume tradable goods can either aid or inhibit the emergence of this economic behavior. This work is part of the environment development branch of a research program that aims to build human-like artificial general intelligence through multi-agent interactions in simulated societies. By exploring which environment features are needed for the basic phenomena of elementary microeconomics to emerge automatically from learning, we arrive at an environment that differs from those studied in prior multi-agent reinforcement learning work along several dimensions. For example, the model incorporates heterogeneous tastes and physical abilities, and agents negotiate with one another as a grounded form of communication.


title: Exploring the structure-property relations of thin-walled, 2D extruded lattices using neural networks

abstract: This paper investigates the structure-property relations of thin-walled lattices under dynamic longitudinal compression, characterized by their cross-sections and heights. These relations elucidate the interactions of different geometric features of a design on mechanical response, including energy absorption. We proposed a combinatorial, key-based design system to generate different lattice designs and used the finite element method to simulate their response with the Johnson-Cook material model. Using an autoencoder, we encoded the cross-sectional images of the lattices into latent design feature vectors, which were supplied to the neural network model to generate predictions. The trained models can accurately predict lattice energy absorption curves in the key-based design system and can be extended to new designs outside of the system via transfer learning.


title: Extreme fast charging of batteries using thermal switching and self-heating

abstract: The long charge time of electric vehicles compared with the refueling time of gasoline vehicles, has been a major barrier to the mass adoption of EVs. Currently, the charge time to 80% state of charge in electric vehicles such as Tesla with fast charging capabilities is >30 minutes. For a comparable recharging experience as gasoline vehicles, governments and automobile companies have set <15 min with 500 cycles as the goal for extreme fast charging (XFC) of electric vehicles. One of the biggest challenges to enable XFC for lithium-ion batteries (LIBs) is to avoid lithium plating. Although significant research is taking place to enable XFC, no promising technology/strategy has still emerged for mainstream commercial LIBs. Here, we propose a thermally modulated charging protocol (TMCP) by active thermal switching for XFC, i.e., retaining the battery heat during XFC with the switch OFF for boosting the kinetics to avoid lithium plating while dissipating the heat after XFC with the switch ON for reducing side reactions. Our proposed TMCP strategy enables XFC of commercial high-energy-density LIBs with charge time <15 min and >500 cycles while simultaneously beating other targets set by US Department of energy (discharge energy density > 180 Wh/kg and capacity loss < 4.5%). Further, we develop a thermal switch based on shape memory alloy and demonstrate the feasibility of integrating our TMCP in commercial battery thermal management system.


title: Clumpy accretion in pre-main-sequence stars as a source of perturbations in circumstellar disks

abstract: The development of perturbations in the circumstellar disks of pre-main-sequence stars caused by clumpy accretion was investigated. Here we perform 3D hydrodynamical smoothed particle hydrodynamics simulations of disks perturbed by a recent clump accretion event. These simulations are further explored by radiative transfer calculations to quantify the observational appearance of such disks. It was shown that the density waves in the disks were formed at the fall of the clump. After several revolutions they can transform into spirals and ring structures. Their images in millimeter wavelengths are very similar to those observed with Atacama Large Millimeter/submillimeter Array in some protoplanetary disks. We assume that clumpy accretion may be the source of such structures.


title: What do we mean by "data"? A proposed classification of data types in the arts and humanities

abstract: Purpose: This article describes the interviews we conducted in late 2021 with 19 researchers at the Department of Classical Philology and Italian Studies at the University of Bologna. The main purpose was to shed light on the definition of the word "data" in the humanities domain, as far as FAIR data management practices are concerned, and on what researchers think of the term. Methodology: We invited one researcher for each of the official disciplinary areas represented within the department and all 19 accepted to participate in the study. Participants were then divided into 5 main research areas: philology and literary criticism, language and linguistics, history of art, computer science, archival studies. The interviews were transcribed and analysed using a grounded theory approach. Findings: A list of 13 research data types has been compiled thanks to the information collected from participants. The term "data" does not emerge as especially problematic, although a good deal of confusion remains. Looking at current research management practices, methodologies and teamwork appear more central than previously reported. Originality: Our findings confirm that "data" within the FAIR framework should include all types of input and outputs humanities research work with, including publications. Also, the participants to this study appear ready for a discussion around making their research data FAIR: they do not find the terminology particularly problematic, while they rely on precise and recognised methodologies, as well as on sharing and collaboration with colleagues.


title: EyeDAS: Securing Perception of Autonomous Cars Against the Stereoblindness Syndrome

abstract: The ability to detect whether an object is a 2D or 3D object is extremely important in autonomous driving, since a detection error can have life-threatening consequences, endangering the safety of the driver, passengers, pedestrians, and others on the road. Methods proposed to distinguish between 2 and 3D objects (e.g., liveness detection methods) are not suitable for autonomous driving, because they are object dependent or do not consider the constraints associated with autonomous driving (e.g., the need for real-time decision-making while the vehicle is moving). In this paper, we present EyeDAS, a novel few-shot learning-based method aimed at securing an object detector (OD) against the threat posed by the stereoblindness syndrome (i.e., the inability to distinguish between 2D and 3D objects). We evaluate EyeDAS's real-time performance using 2,000 objects extracted from seven YouTube video recordings of street views taken by a dash cam from the driver's seat perspective. When applying EyeDAS to seven state-of-the-art ODs as a countermeasure, EyeDAS was able to reduce the 2D misclassification rate from 71.42-100% to 2.4% with a 3D misclassification rate of 0% (TPR of 1.0). We also show that EyeDAS outperforms the baseline method and achieves an AUC of over 0.999 and a TPR of 1.0 with an FPR of 0.024.


title: Variants in managing supply chains on distributed ledgers

abstract: Smart contracts show a high potential for ensuring that Supply Chain Management strategies make a qualitative leap toward higher levels of optimality, not only in terms of efficiency and profitability but also in the aggregation of skills aimed at creating the best products and services to bring to the market. In this article, we illustrate an architecture that employs smart contracts to implement various algorithmic versions of the Income Sharing principle between companies participating in a supply chain. We implement our approach on Hyperledger Fabric, the most widespread platform for private and consortium distributed ledgers, and discuss its suitability to our purposes by comparing this design choice with the alternative given by public blockchains, with particular attention to Ethereum.


title: The spatial distribution of satellites in galaxy clusters

abstract: The planar distributions of satellite galaxies around the Milky Way and Andromeda have been extensively studied as potential challenges to the standard cosmological model. Using the Sloan Digital Sky Survey and the Millennium simulation we extend such studies to the satellite galaxies of massive galaxy clusters. We find that both observations and simulations of galaxy clusters show an excess of anisotropic satellite distributions. On average, satellites in clusters have a higher degree of anisotropy than their counterparts in Milky-Way-mass hosts once we account for the difference in their radial distributions. The normal vector of the plane of satellites is strongly aligned with the host halo's minor axis, while the alignment with the large-scale structure is weak. At fixed cluster mass, the degree of anisotropy is higher at higher redshift. This reflects the highly anisotropic nature of satellites accretion points, a feature that is partly erased by the subsequent orbital evolution of the satellites. We also find that satellite galaxies are mostly accreted singly so group accretion is not the explanation for the high flattening of the planes of satellites.


title: Artificial Intelligence-Assisted Optimization and Multiphase Analysis of Polygon PEM Fuel Cells

abstract: This article presents new hexagonal and pentagonal PEM fuel cell models. The models have been optimized after achieving improved cell performance. The input parameters of the multi-objective optimization algorithm were pressure and temperature at the inlet, and consumption and output powers were the objective parameters. The output data of the numerical simulation has been trained using deep neural networks and then modeled with polynomial regression. The target functions have been extracted using the RSM (Response Surface Method), and the targets were optimized using the multi-objective genetic algorithm (NSGA-II). Compared to the base model, the optimized Pentagonal and Hexagonal models increase the output current density by 21.8% and 39.9%, respectively.


title: Subspace orthogonalization as a mechanism for binding values to space

abstract: When choosing between options, we must solve an important binding problem. The values of the options must be associated with information about the action needed to select them. We hypothesize that the brain solves this binding problem through use of distinct population subspaces. To test this hypothesis, we examined the responses of single neurons in five reward-sensitive regions in rhesus macaques performing a risky choice task. In all areas, neurons encoded the value of the offers presented on both the left and the right side of the display in semi-orthogonal subspaces, which served to bind the values of the two offers to their positions in space. Supporting the idea that this orthogonalization is functionally meaningful, we observed a session-to-session covariation between choice behavior and the orthogonalization of the two value subspaces: trials with less orthogonalized subspaces were associated with greater likelihood of choosing the less valued option. Further inspection revealed that these semi-orthogonal subspaces arose from a combination of linear and nonlinear mixed selectivity in the neural population. We show this combination of selectivity balances reliable binding with an ability to generalize value across different spatial locations. These results support the hypothesis that semi-orthogonal subspaces support reliable binding, which is essential to flexible behavior in the face of multiple options.


title: A heuristic to determine the initial gravitational constant of the GSA

abstract: The Gravitational Search Algorithm (GSA) is an optimization algorithm based on Newton's laws of gravity and dynamics. Introduced in 2009, the GSA already has several versions and applications. However, its performance depends on the values of its parameters, which are determined empirically. Hence, its generality is compromised, because the parameters that are suitable for a particular application are not necessarily suitable for another. This paper proposes the Gravitational Search Algorithm with Normalized Gravitational Constant (GSA-NGC), which defines a new heuristic to determine the initial gravitational constant of the GSA. The new heuristic is grounded in the Brans-Dicke theory of gravitation and takes into consideration the multiple dimensions of the search space of the application. It aims to improve the final solution and reduce the number of iterations and premature convergences of the GSA. The GSA-NGC is validated experimentally, proving to be suitable for various applications and improving significantly the generality, performance, and efficiency of the GSA.


title: Empowered Neural Cellular Automata

abstract: Information-theoretic fitness functions are becoming increasingly popular to produce generally useful, task-independent behaviors. One such universal function, dubbed empowerment, measures the amount of control an agent exerts on its environment via its sensorimotor system. Specifically, empowerment attempts to maximize the mutual information between an agent's actions and its received sensor states at a later point in time. Traditionally, empowerment has been applied to a conventional sensorimotor apparatus, such as a robot. Here, we expand the approach to a distributed, multi-agent sensorimotor system embodied by a neural cellular automaton (NCA). We show that the addition of empowerment as a secondary objective in the evolution of NCA to perform the task of morphogenesis, growing and maintaining a pre-specified shape, results in higher fitness compared to evolving for morphogenesis alone. Results suggest there may be a synergistic relationship between morphogenesis and empowerment. That is, indirectly selecting for coordination between neighboring cells over the duration of development is beneficial to the developmental process itself. Such a finding may have applications in developmental biology by providing potential mechanisms of communication between cells during growth from a single cell to a multicellular, target morphology. Source code for the experiments in this paper can be found at: \url{https://github.com/caitlingrasso/empowered-nca}.


title: Einthoven's Triangle Revisited: A Mathematical Proof

abstract: Willem Einthoven is widely considered the father of the electrocardiogram (ECG). In 1912, he proposed a method of determining the electric axis of the heart by using an imaginary equilateral triangle connecting the limb leads, now known as Einthoven's triangle. In 1924, Einthoven was awarded the Nobel Prize in Physiology or Medicine for his discovery of the mechanisms of the electrocardiogram. More than a century later, Einthoven's triangle is still at the heart of ECG interpretation. It defines the axes of the ECG leads in the frontal plane, that in turn, determines the axis of the cardiac electric dipole. The method is ubiquitously taught in lectures and applied in clinical settings. But Einthoven did not provide a proof for choosing the equilateral triangle. Future medical literature have not explored its origins. This paper provides a formal proof of its derivation to complete this important chapter in medical history and medical education. In addition, the proof determines the geometric conditions for alternative systems of bipolar ECG lead configurations in the frontal plane.


title: Optimized Partitioning and Priority Assignment of Real-Time Applications on Heterogeneous Platforms with Hardware Acceleration

abstract: Hardware accelerators, such as those based on GPUs and FPGAs, offer an excellent opportunity to efficiently parallelize functionalities. Recently, modern embedded platforms started being equipped with such accelerators, resulting in a compelling choice for emerging, highly computational intensive workloads, like those required by next-generation autonomous driving systems. Alongside the need for computational efficiency, such workloads are commonly characterized by real-time requirements, which need to be satisfied to guarantee the safe and correct behavior of the system. To this end, this paper proposes a holistic framework to help designers partition real-time applications on heterogeneous platforms with hardware accelerators. The proposed model is inspired by a realistic setup of an advanced driving assistance system presented in the WATERS 2019 Challenge by Bosch, further generalized to encompass a broader range of heterogeneous architectures. The resulting analysis is linearized and used to encode an optimization problem that jointly (i) guarantees timing constraints, (ii) finds a suitable task-to-core mapping, (iii) assigns a priority to each task, and (iv) selects which computations to accelerate, seeking for the most convenient trade-off between the smaller worst-case execution time provided by accelerators and synchronization and queuing delays.


title: Controlled Mobility for C-V2X Road Safety Reception Optimization

abstract: The use case of C-V2X for road safety requires real-time network connection and information exchanging between vehicles. In order to improve the reliability and safety of the system, intelligent networked vehicles need to move cooperatively to achieve network optimization. In this paper, we use the C-V2X sidelink mode 4 abstraction and the regression results of C-V2X network level simulation to formulate the optimization of packet reception rate (PRR) with fairness in the road safety scenario. Under the optimization framework, we design a controlled mobility algorithm for the transmission node to adaptively adjust its position to maximize the aggregated PRR using only one-hop information. Simulation result shows that the algorithm converges and improve the aggregated PRR and fairness for C-V2X mode broadcast messages.


title: Twisted Gan-Gross-Prasad conjecture for certain tempered L-packets

abstract: In this paper, we investigate the twisted GGP conjecture for certain tempered representations using the theta correspondence and establish some special cases, namely when the L-parameter of the unitary group is the sum of conjugate-dual characters of the appropriate sign.


title: Prototype Development and Validation of a Beam-Divergence Control System for Free-Space Laser Communications

abstract: Being able to dynamically control the transmitted-beam divergence can bring important advantages in free-space optical communications. Specifically, this technique can help to optimize the overall communications performance when the optimum laser-beam divergence is not fixed or known. This is the case in most realistic space laser communication systems, since the optimum beam divergence depends on multiple factors that can vary with time, such as the link distance, or cannot be accurately known, such as the actual pointing accuracy. A dynamic beam-divergence control allows to optimize the link performance for every platform, scenario, and condition. NICT is currently working towards the development of a series of versatile lasercom terminals that can fit a variety of conditions, for which the adaptive element of the transmitted beam divergence is a key element. This manuscript presents a prototype of a beam-divergence control system designed and developed by NICT and Tamron to evaluate this technique and to be later integrated within the lasercom terminals. The basic design of the prototype is introduced as well as the first validation tests that demonstrate its performance.


title: Lorentz Invariance, Scattering Amplitudes and the Emergence of Semiclassical Geometry

abstract: It has been known for some time now that error correction plays a fundamental role in the determining the emergence of semiclassical geometry in quantum gravity. In this work I connect several different lines of reasoning to argue that this should indeed be the case. The kinematic data which describes the scattering of $ N $ massless particles in flat spacetime can put in one-to-one correspondence with coherent states of quantum geometry. These states are labeled by points in the Grassmannian $ Gr_{2,n} $, which can be viewed as labeling the code-words of a quantum error correcting code. The condition of Lorentz invariance of the background geometry can then be understood as the requirement that co-ordinate transformations should leave the code subspace unchanged. In this essay I show that the language of subsystem (or operator) quantum error correcting codes provides the proper framework for understanding these aspects of particle scattering and quantum geometry.


title: Estimation of Matusita Overlapping Coefficient for Pair Normal Distributions

abstract: The Matusita overlapping coefficient is defined as agreement or similarity between two or more distributions. The parametric normal distribution is one of the most important statistical distributions. Under the assumption that the data at hand follow two independent normal distributions, this paper suggests a new technique to estimate the Matusita coefficient. In contrast to the studies in the literature, the suggested technique requires no assumptions on the location and scale parameters of the normal distributions. The finite properties of the resulting estimators are investigated and compared with the nonparametric kernel estimators and with some existing estimators via simulation techniques. The results show that the performance of the proposed estimators is better than the kernel estimators for all considered cases.


title: Scribble2D5: Weakly-Supervised Volumetric Image Segmentation via Scribble Annotations

abstract: Recently, weakly-supervised image segmentation using weak annotations like scribbles has gained great attention, since such annotations are much easier to obtain compared to time-consuming and label-intensive labeling at the pixel/voxel level. However, because scribbles lack structure information of region of interest (ROI), existing scribble-based methods suffer from poor boundary localization. Furthermore, most current methods are designed for 2D image segmentation, which do not fully leverage the volumetric information if directly applied to image slices. In this paper, we propose a scribble-based volumetric image segmentation, Scribble2D5, which tackles 3D anisotropic image segmentation and improves boundary prediction. To achieve this, we augment a 2.5D attention UNet with a proposed label propagation module to extend semantic information from scribbles and a combination of static and active boundary prediction to learn ROI's boundary and regularize its shape. Extensive experiments on three public datasets demonstrate Scribble2D5 significantly outperforms current scribble-based methods and approaches the performance of fully-supervised ones. Our code is available online.


title: Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Extended Version)

abstract: Building sound and precise static call graphs for real-world JavaScript applications poses an enormous challenge, due to many hard-to-analyze language features. Further, the relative importance of these features may vary depending on the call graph algorithm being used and the class of applications being analyzed. In this paper, we present a technique to automatically quantify the relative importance of different root causes of call graph unsoundness for a set of target applications. The technique works by identifying the dynamic function data flows relevant to each call edge missed by the static analysis, correctly handling cases with multiple root causes and inter-dependent calls. We apply our approach to perform a detailed study of the recall of a state-of-the-art call graph construction technique on a set of framework-based web applications. The study yielded a number of useful insights. We found that while dynamic property accesses were the most common root cause of missed edges across the benchmarks, other root causes varied in importance depending on the benchmark, potentially useful information for an analysis designer. Further, with our approach, we could quickly identify and fix a recall issue in the call graph builder we studied, and also quickly assess whether a recent analysis technique for Node.js-based applications would be helpful for browser-based code. All of our code and data is publicly available, and many components of our technique can be re-used to facilitate future studies.


title: Codes for Preventing Zeros at Partially Defective Memory Positions

abstract: This work deals with error correction for non-volatile memories that are partially defective at some levels. Such memory cells can only store incomplete information since some of their levels cannot be utilized entirely due to, e.g., wearout. On top of that, this paper corrects random errors $t\geq 1$ that could happen among $u$ partially defective cells while preserving their constraints. First, we show that the probability of violating the partially defective cells' restriction due to random errors is not trivial. Next, we update the models in [1] such that the coefficients of the output encoded vector plus the error vector at the partially defective positions are non-zero. Lastly, we state a simple proposition (Proposition 3) for masking the partial defects using a code with a minimum distance $d$ such that $d\geq 2(u+t)+1$. "Masking" means selecting a word whose entries correspond to writable levels in the (partially) defective positions. A comparison shows that masking $u$ cells by this proposition for a particular BCH code is as effective as using the complicated coding scheme proven in [1, Theorem 1].


title: Exact Geometries from Boundary Gravity

abstract: We show that the extremal Reissner-Nordstr\"{o}m type multi black holes in an emergent scenario are exact in General Relativity. It is shown that an axion in the bulk together with a geometric torsion ensure the required energy-momentum to source the $(3$$+$$1)$ geometry in the Einstein tensor. Analysis reveals a significant role of dark energy to the curved space-time.


title: Embodied-Symbolic Contrastive Graph Self-Supervised Learning for Molecular Graphs

abstract: Dual embodied-symbolic concept representations are the foundation for deep learning and symbolic AI integration. We discuss the use of dual embodied-symbolic concept representations for molecular graph representation learning, specifically with exemplar-based contrastive self-supervised learning (SSL). The embodied representations are learned from molecular graphs, and the symbolic representations are learned from the corresponding Chemical knowledge graph (KG). We use the Chemical KG to enhance molecular graphs with symbolic (semantic) knowledge and generate their augmented molecular graphs. We treat a molecular graph and its semantically augmented molecular graph as exemplars of the same semantic class, and use the pairs as positive pairs in exemplar-based contrastive SSL.


title: KG-SP: Knowledge Guided Simple Primitives for Open World Compositional Zero-Shot Learning

abstract: The goal of open-world compositional zero-shot learning (OW-CZSL) is to recognize compositions of state and objects in images, given only a subset of them during training and no prior on the unseen compositions. In this setting, models operate on a huge output space, containing all possible state-object compositions. While previous works tackle the problem by learning embeddings for the compositions jointly, here we revisit a simple CZSL baseline and predict the primitives, i.e. states and objects, independently. To ensure that the model develops primitive-specific features, we equip the state and object classifiers with separate, non-linear feature extractors. Moreover, we estimate the feasibility of each composition through external knowledge, using this prior to remove unfeasible compositions from the output space. Finally, we propose a new setting, i.e. CZSL under partial supervision (pCZSL), where either only objects or state labels are available during training, and we can use our prior to estimate the missing labels. Our model, Knowledge-Guided Simple Primitives (KG-SP), achieves state of the art in both OW-CZSL and pCZSL, surpassing most recent competitors even when coupled with semi-supervised learning techniques. Code available at: https://github.com/ExplainableML/KG-SP.


title: The Effect of Ocean Salinity on Climate and Its Implications for Earth's Habitability

abstract: The influence of atmospheric composition on the climates of present-day and early Earth has been studied extensively, but the role of ocean composition has received less attention. We use the ROCKE-3D ocean-atmosphere general circulation model to investigate the response of Earth's present-day and Archean climate system to low vs. high ocean salinity. We find that saltier oceans yield warmer climates in large part due to changes in ocean dynamics. Increasing ocean salinity from 20 g/kg to 50 g/kg results in a 71% reduction in sea ice cover in our present-day Earth scenario. This same salinity change also halves the pCO$_2$ threshold at which Snowball glaciation occurs in our Archean scenarios. In combination with higher levels of greenhouse gases such as CO$_2$ and CH$_4$, a saltier ocean may allow for a warm Archean Earth with only seasonal ice at the poles despite receiving 20% less energy from the Sun.


title: Commuting Toeplitz operators on Cartan domains of type IV and moment maps

abstract: Let us consider, for $n \geq 3$, the Cartan domain $\mathrm{D}_n^{\mathrm{IV}}$ of type IV. On the weighted Bergman spaces $\mathcal{A}^2_\lambda(\mathrm{D}_n^{\mathrm{IV}})$ we study the problem of the existence of commutative $C^*$-algebras generated by Toeplitz operators with special symbols. We focus on the subgroup $\mathrm{SO}(n) \times \mathrm{SO}(2)$ of biholomorphisms of $\mathrm{D}_n^{\mathrm{IV}}$ that fix the origin. The $\mathrm{SO}(n) \times \mathrm{SO}(2)$-invariant symbols yield Toeplitz operators that generate commutative $C^*$-algebras, but commutativity is lost when we consider symbols invariant under a maximal torus or under $\mathrm{SO}(2)$. We compute the moment map $\mu^{\mathrm{SO}(2)}$ for the $\mathrm{SO}(2)$-action on $\mathrm{D}_n^{\mathrm{IV}}$ considered as a symplectic manifold for the Bergman metric. We prove that the space of symbols of the form $a = f \circ \mu^{\mathrm{SO}(2)}$, denoted by $L^\infty(\mathrm{D}_n^{\mathrm{IV}})^{\mu^{\mathrm{SO}(2)}}$, yield Toeplitz operators that generate commutative $C^*$-algebras. Spectral integral formulas for these Toeplitz operators are also obtained.


title: Encodings of trajectories and invariant measures

abstract: We consider a discrete dynamical system on a compact manifold M generated by a homeomorphism f. Let C = {M(i)} be a finite covering of M by closed cells. The symbolic image of a dynamical system is a directed graph G with vertices corresponding to cells in which vertices i and j are joined by an arc i to j if the image f(M(i)) intersects M(j). We show that the set of paths of the symbolic image converges to the set of trajectories of the system in the Tychonoff topology as the diameter of the covering tends to zero. For a cycle on G going through different vertices, a simple flow is by definition a uniform distribution on arcs of this cycle. We show that simple flows converge to ergodic measures in the weak topology as the diameter of the covering tends to zero.


title: Partitioning through projections: strong SDP bounds for large graph partition problems

abstract: The graph partition problem (GPP) aims at clustering the vertex set of a graph into a fixed number of disjoint subsets of given sizes such that the sum of weights of edges joining different sets is minimized. This paper investigates the quality of doubly nonnegative (DNN) relaxations, i.e., relaxations having matrix variables that are both positive semidefinite and nonnegative, strengthened by additional polyhedral cuts for two variations of the GPP: the $k$-equipartition and the graph bisection problem. After reducing the size of the relaxations by facial reduction, we solve them by a cutting-plane algorithm that combines an augmented Lagrangian method with Dykstra's projection algorithm. Since many components of our algorithm are general, the algorithm is suitable for solving various DNN relaxations with a large number of cutting planes. We are the first to show the power of DNN relaxations with additional cutting planes for the GPP on large benchmark instances up to 1,024 vertices. Computational results show impressive improvements in strengthened DNN bounds.


title: A simple linear model to aid in analyses of the Beta Pictoris moving group

abstract: We build a four-dimensional linear model of object membership in the Beta Pictoris moving group (BPMG), using two nested applications of Principal Component Analysis (PCA) to high-quality data on about 1.5 million objects. These data contain the objects' galactic space velocities and also their Gaia $G$ magnitudes. Through PCA, they ultimately result in a four-dimensional straight line, referred to as PC $1'$, about which both the bona fide members used to obtain the straight line and the candidate members used to test the model congregate at generally small distances. Our bona fide members come from a recent, Gaia DR2-based compilation. Most candidate members are from a compilation from 2017. Using a standard procedure to flag groups of outliers in data sets, we argue that flagging the few possible outliers we identified on account of distances to PC $1'$ is consistent with the nature of the candidate members in use. The spatial and kinematic measurements that backed their inclusion in the 2017 compilation were of course from before the availability of data from the Gaia mission. Moreover, their radial velocities at the time were either unknown or estimated somewhat unreliably. We propose that PC $1'$ be added to the tool set for BPMG analyses and potentially extended to other young stellar moving groups.


title: Schur-Sato theory for quasi-elliptic rings

abstract: The notion of quasi-elliptic rings appeared as a result of an attempt to classify a wide class of commutative rings of operators found in the theory of integrable systems, such as rings of commuting differential, difference, differential-difference, etc. operators. They are contained in a certain non-commutative "universal" ring - a purely algebraic analogue of the ring of pseudodifferential operators on a manifold, and admit (under certain mild restrictions) a convenient algebraic-geometric description. An important algebraic part of this description is the Schur-Sato theory - a generalisation of the well known theory for ordinary differential operators. Some parts of this theory were developed earlier in a series of papers, mostly for dimension two. In this paper we present this theory in arbitrary dimension. We apply this theory to prove two classification theorems of quasi-elliptic rings in terms of certain pairs of subspaces (Schur pairs). They are necessary for the algebraic-geometric description of quasi-elliptic rings mentioned above. The theory is effective and has several other applications, among them is a new proof of the Abhyankar inversion formula.


title: Multiple Domain Causal Networks

abstract: Observational studies are regarded as economic alternatives to randomized trials, often used in their stead to investigate and determine treatment efficacy. Due to lack of sample size, observational studies commonly combine data from multiple sources or different sites/centers. Despite the benefits of an increased sample size, a naive combination of multicenter data may result in incongruities stemming from center-specific protocols for generating cohorts or reactions towards treatments distinct to a given center, among other things. These issues arise in a variety of other contexts, including capturing a treatment effect related to an individual's unique biological characteristics. Existing methods for estimating heterogeneous treatment effects have not adequately addressed the multicenter context, but rather treat it simply as a means to obtain sufficient sample size. Additionally, previous approaches to estimating treatment effects do not straightforwardly generalize to the multicenter design, especially when required to provide treatment insights for patients from a new, unobserved center. To address these shortcomings, we propose Multiple Domain Causal Networks (MDCN), an approach that simultaneously strengthens the information sharing between similar centers while addressing the selection bias in treatment assignment through learning of a new feature embedding. In empirical evaluations, MDCN is consistently more accurate when estimating the heterogeneous treatment effect in new centers compared to benchmarks that adjust solely based on treatment imbalance or general center differences. Finally, we justify our approach by providing theoretical analyses that demonstrate that MDCN improves on the generalization bound of the new, unobserved target center.


title: Innovations in the field of on-board scheduling technologies

abstract: Space missions are characterized by long distances, difficult or unavailable communication and high operating costs. Moreover, complexity has been constantly increasing in recent years. For this reason, improving the autonomy of space operators is an attractive goal to increase the mission reward with lower costs. This paper proposes an onboard scheduler, that integrates inside an onboard software framework for mission autonomy. Given a set of activities, it is responsible for determining the starting time of each activity according to their priority, order constraints, and resource consumption. The presented scheduler is based on linear integer programming and relies on the use of a branch-and-cut solver. The technology has been tested on an Earth Observation scenario, comparing its performance against the state-of-the-art scheduling technology.


title: Bandwidth Cost of Code Conversions in the Split Regime

abstract: Distributed storage systems must store large amounts of data over long periods of time. To avoid data loss due to device failures, an $[n,k]$ erasure code is used to encode $k$ data symbols into a codeword of $n$ symbols that are stored across different devices. However, device failure rates change throughout the life of the data, and tuning $n$ and $k$ according to these changes has been shown to save significant storage space. Code conversion is the process of converting multiple codewords of an initial $[n^I,k^I]$ code into codewords of a final $[n^F,k^F]$ code that decode to the same set of data symbols. In this paper, we study conversion bandwidth, defined as the total amount of data transferred between nodes during conversion. In particular, we consider the case where the initial and final codes are MDS and a single initial codeword is split into several final codewords ($k^I=\lambda^F k^F$ for integer $\lambda^F \geq 2$), called the split regime. We derive lower bounds on the conversion bandwidth in the split regime and propose constructions that significantly reduce conversion bandwidth and are optimal for certain parameters.


title: Gardner-like transition from variable to persistent force contacts in granular crystals

abstract: We report experimental evidence of a Gardner-like transition from variable to persistent force contacts in a two-dimensional, bidisperse granular crystal by analyzing the variability of both particle positions and force networks formed under uniaxial compression. Starting from densities just above the freezing transition, and for variable amounts of additional compression, we compare configurations to both their own initial state, and to an ensemble of equivalent, reinitialized states. This protocol shows that force contacts are largely undetermined when the density is below a Gardner-like transition, after which they gradually transition to being persistent, being fully so only above the jamming point. We associate the disorder that underlies this effect to the size of the microscopic asperities of the photoelastic disks used, by analogy to other mechanisms that have been previously predicted theoretically.


title: On degenerate blow-up profiles for the subcritical semilinear heat equation

abstract: We consider the semilinear heat equation with a superlinear power nonlinearity in the Sobolev subcritical range. We construct a solution which blows up in finite time only at the origin, with a completely new blow-up profile, which is cross-shaped. Our method is general and extends to the construction of other solutions blowing up only at the origin, with a large variety of blow-up profiles, degenerate or not.


title: A note on the involutive concordance invariants for certain (1,1)-knots

abstract: We compute the involutive concordance invariants for the 10- and 11-crossing (1,1)-knots.


title: Variance of the Casimir force in an ideal Bose gas

abstract: We consider an ideal Bose gas enclosed in a $d$-dimensional slab of thickness $D$. Using the grand canonical ensemble we calculate the variance of the thermal Casimir force acting on the slab's walls. The variance evaluated per unit wall area is shown to decay like $ \Delta_{var}/D$ for large $D$. The amplitude $ \Delta_{var}$ is a non-universal function of two scaling variables $\lambda/ \xi$ and $D/ \xi$, where $\lambda$ is the thermal de Broglie wavelength and $\xi$ is the bulk correlation length. It can be expressed via the bulk pressure, the Casimir force per unit wall area, and its derivative with respect to chemical potential. For thermodynamic states corresponding to the presence of the Bose-Einstein condensate the amplitude $ \Delta_{var}$ retains its non-universal character while the ratio of the mean standard deviation and the Casimir force takes the scaling form $(D/L)^{\frac{d-1}{2}}\, (D/\lambda)^{d/2}$, where $L$ is the linear size of the wall.


title: Sharp Asymptotics of Kernel Ridge Regression Beyond the Linear Regime

abstract: The generalization performance of kernel ridge regression (KRR) exhibits a multi-phased pattern that crucially depends on the scaling relationship between the sample size $n$ and the underlying dimension $d$. This phenomenon is due to the fact that KRR sequentially learns functions of increasing complexity as the sample size increases; when $d^{k-1}\ll n\ll d^{k}$, only polynomials with degree less than $k$ are learned. In this paper, we present sharp asymptotic characterization of the performance of KRR at the critical transition regions with $n \asymp d^k$, for $k\in\mathbb{Z}^{+}$. Our asymptotic characterization provides a precise picture of the whole learning process and clarifies the impact of various parameters (including the choice of the kernel function) on the generalization performance. In particular, we show that the learning curves of KRR can have a delicate "double descent" behavior due to specific bias-variance trade-offs at different polynomial scaling regimes.


title: The ACM Multimedia 2022 Computational Paralinguistics Challenge: Vocalisations, Stuttering, Activity, & Mosquitoes

abstract: The ACM Multimedia 2022 Computational Paralinguistics Challenge addresses four different problems for the first time in a research competition under well-defined conditions: In the Vocalisations and Stuttering Sub-Challenges, a classification on human non-verbal vocalisations and speech has to be made; the Activity Sub-Challenge aims at beyond-audio human activity recognition from smartwatch sensor data; and in the Mosquitoes Sub-Challenge, mosquitoes need to be detected. We describe the Sub-Challenges, baseline feature extraction, and classifiers based on the usual ComPaRE and BoAW features, the auDeep toolkit, and deep feature extraction from pre-trained CNNs using the DeepSpectRum toolkit; in addition, we add end-to-end sequential modelling, and a log-mel-128-BNN.


title: Distributed Transmission Control for Wireless Networks using Multi-Agent Reinforcement Learning

abstract: We examine the problem of transmission control, i.e., when to transmit, in distributed wireless communications networks through the lens of multi-agent reinforcement learning. Most other works using reinforcement learning to control or schedule transmissions use some centralized control mechanism, whereas our approach is fully distributed. Each transmitter node is an independent reinforcement learning agent and does not have direct knowledge of the actions taken by other agents. We consider the case where only a subset of agents can successfully transmit at a time, so each agent must learn to act cooperatively with other agents. An agent may decide to transmit a certain number of steps into the future, but this decision is not communicated to the other agents, so it the task of the individual agents to attempt to transmit at appropriate times. We achieve this collaborative behavior through studying the effects of different actions spaces. We are agnostic to the physical layer, which makes our approach applicable to many types of networks. We submit that approaches similar to ours may be useful in other domains that use multi-agent reinforcement learning with independent agents.


title: Twitter-Based Gender Recognition Using Transformers

abstract: Social media contains useful information about people and the society that could help advance research in many different areas (e.g. by applying opinion mining, emotion/sentiment analysis, and statistical analysis) such as business and finance, health, socio-economic inequality and gender vulnerability. User demographics provide rich information that could help study the subject further. However, user demographics such as gender are considered private and are not freely available. In this study, we propose a model based on transformers to predict the user's gender from their images and tweets. We fine-tune a model based on Vision Transformers (ViT) to stratify female and male images. Next, we fine-tune another model based on Bidirectional Encoders Representations from Transformers (BERT) to recognize the user's gender by their tweets. This is highly beneficial, because not all users provide an image that indicates their gender. The gender of such users could be detected form their tweets. The combination model improves the accuracy of image and text classification models by 6.98% and 4.43%, respectively. This shows that the image and text classification models are capable of complementing each other by providing additional information to one another. We apply our method to the PAN-2018 dataset, and obtain an accuracy of 85.52%.


title: Word Embeddings and Validity Indexes in Fuzzy Clustering

abstract: In the new era of internet systems and applications, a concept of detecting distinguished topics from huge amounts of text has gained a lot of attention. These methods use representation of text in a numerical format -- called embeddings -- to imitate human-based semantic similarity between words. In this study, we perform a fuzzy-based analysis of various vector representations of words, i.e., word embeddings. Also we introduce new methods of fuzzy clustering based on hybrid implementation of fuzzy clustering methods with an evolutionary algorithm named Forest Optimization. We use two popular fuzzy clustering algorithms on count-based word embeddings, with different methods and dimensionality. Words about covid from Kaggle dataset gathered and calculated into vectors and clustered. The results indicate that fuzzy clustering algorithms are very sensitive to high-dimensional data, and parameter tuning can dramatically change their performance. We evaluate results of experiments with various clustering validity indexes to compare different algorithm variation with different embeddings accuracy.


title: VQFR: Blind Face Restoration with Vector-Quantized Dictionary and Parallel Decoder

abstract: Although generative facial prior and geometric prior have recently demonstrated high-quality results for blind face restoration, producing fine-grained facial details faithful to inputs remains a challenging problem. Motivated by the classical dictionary-based methods and the recent vector quantization (VQ) technique, we propose a VQ-based face restoration method - VQFR. VQFR takes advantage of high-quality low-level feature banks extracted from high-quality faces and can thus help recover realistic facial details. However, the simple application of the VQ codebook cannot achieve good results with faithful details and identity preservation. Therefore, we further introduce two special network designs. 1). We first investigate the compression patch size in the VQ codebook and find that the VQ codebook designed with a proper compression patch size is crucial to balance the quality and fidelity. 2). To further fuse low-level features from inputs while not "contaminating" the realistic details generated from the VQ codebook, we proposed a parallel decoder consisting of a texture decoder and a main decoder. Those two decoders then interact with a texture warping module with deformable convolution. Equipped with the VQ codebook as a facial detail dictionary and the parallel decoder design, the proposed VQFR can largely enhance the restored quality of facial details while keeping the fidelity to previous methods.


title: Global Convergence of Hessenberg Shifted QR III: Approximate Ritz Values via Shifted Inverse Iteration

abstract: We give a self-contained randomized algorithm based on shifted inverse iteration which provably computes the eigenvalues of an arbitrary matrix $M\in\mathbb{C}^{n\times n}$ up to backward error $\delta\|M\|$ in $O(n^4+n^3\log^2(n/\delta)+\log(n/\delta)^2\log\log(n/\delta))$ floating point operations using $O(\log^2(n/\delta))$ bits of precision. While the $O(n^4)$ complexity is prohibitive for large matrices, the algorithm is simple and may be useful for provably computing the eigenvalues of small matrices using controlled precision, in particular for computing Ritz values in shifted QR algorithms as in (Banks, Garza-Vargas, Srivastava, 2022).


title: Tuneable defect-curvature coupling and topological transitions in active shells

abstract: Recent experimental observations have suggested that topological defects can facilitate the creation of sharp features in developing embryos. Whereas these observations echo established knowledge about the interplay between geometry and topology in two-dimensional passive liquid crystals, the role of activity has mostly remained unexplored. In this article we focus on deformable shells consisting of either polar or nematic active liquid crystals and demonstrate that activity renders the mechanical coupling between defects and curvature much more involved and versatile than previously thought. Using a combination of linear stability analysis and three-dimensional computational fluid dynamics, we demonstrate that such a coupling can in fact be tuned, depending on the type of liquid crystal order, the specific structure of the defect (i.e. asters or vortices) and the nature of the active forces. In polar systems, this can drive a spectacular transition from spherical to toroidal topology, in the presence of large extensile activity. Our analysis strengthens the idea that defects could serve as topological morphogens and provides a number of predictions that could be tested in in vitro studies, for instance in the context of organoids.


title: Goal-Guided Neural Cellular Automata: Learning to Control Self-Organising Systems

abstract: Inspired by cellular growth and self-organization, Neural Cellular Automata (NCAs) have been capable of "growing" artificial cells into images, 3D structures, and even functional machines. NCAs are flexible and robust computational systems but -- similarly to many other self-organizing systems -- inherently uncontrollable during and after their growth process. We present an approach to control these type of systems called Goal-Guided Neural Cellular Automata (GoalNCA), which leverages goal encodings to control cell behavior dynamically at every step of cellular growth. This approach enables the NCA to continually change behavior, and in some cases, generalize its behavior to unseen scenarios. We also demonstrate the robustness of the NCA with its ability to preserve task performance, even when only a portion of cells receive goal information.


title: Transformation-Interaction-Rational Representation for Symbolic Regression

abstract: Symbolic Regression searches for a function form that approximates a dataset often using Genetic Programming. Since there is usually no restriction to what form the function can have, Genetic Programming may return a hard to understand model due to non-linear function chaining or long expressions. A novel representation called Interaction-Transformation was recently proposed to alleviate this problem. In this representation, the function form is restricted to an affine combination of terms generated as the application of a single univariate function to the interaction of selected variables. This representation obtained competing solutions on standard benchmarks. Despite the initial success, a broader set of benchmarking functions revealed the limitations of the constrained representation. In this paper we propose an extension to this representation, called Transformation-Interaction-Rational representation that defines a new function form as the rational of two Interaction-Transformation functions. Additionally, the target variable can also be transformed with an univariate function. The main goal is to improve the approximation power while still constraining the overall complexity of the expression. We tested this representation with a standard Genetic Programming with crossover and mutation. The results show a great improvement when compared to its predecessor and a state-of-the-art performance for a large benchmark.


title: High-Frequency Tunable Resistorless Memcapacitor Emulator and Application

abstract: In this paper, a new design has been proposed for the realization of high-frequency memcapacitor emulators built with three OTAs. This paper also proposes the application of memcapacitor as an amplitude modulator. Furthermore, applications of memcapacitor as a filter, Oscillator point attractor, and periodic doubler are also shown. The proposed circuits can be configured in both incremental and decremental topology. The proposed circuits and their application claim that the circuit is much simpler in design and can be utilized in both topologies. The performance of all the proposed circuits has been verified on Cadence Virtuoso Spectre using standard CMOS 180nm. Furthermore, post-layout simulations and their comparison have been carried out.


title: Time Series Quantum Reservoir Computing with Weak and Projective Measurements

abstract: Quantum machine learning represents a promising avenue for data processing, also for purposes of sequential temporal data analysis, as recently proposed in quantum reservoir computing (QRC). The possibility to operate on several platforms and noise intermediate-scale quantum devices makes QRC a timely topic. A challenge that has not been addressed yet, however, is how to efficiently include quantum measurement in realistic protocols, while retaining the reservoir memory needed for sequential time series processing and preserving the quantum advantage offered by large Hilbert spaces. In this work, we propose different measurement protocols and assess their efficiency in terms of resources, through theoretical predictions and numerical analysis. We show that it is possible to exploit the quantumness of the reservoir and to obtain ideal performance both for memory and forecasting tasks with two successful measurement protocols. One consists in rewinding part of the dynamics determined by the fading memory of the reservoir and storing the corresponding data of the input sequence, while the other employs weak measurements operating online at the trade-off where information can be extracted accurately and without hindering the needed memory. Our work establishes the conditions for efficient protocols, being the fading memory time a key factor, and demonstrates the possibility of performing genuine online time-series processing with quantum systems.


title: Global Convergence of Hessenberg Shifted QR II: Numerical Stability

abstract: We develop a framework for proving rapid convergence of shifted QR algorithms which use Ritz values as shifts, in finite arithmetic. Our key contribution is a dichotomy result which addresses the known forward-instability issues surrounding the shifted QR iteration [Parlett and Le 1993]: we give a procedure which provably either computes a set of approximate Ritz values of a Hessenberg matrix with good forward stability properties, or leads to early decoupling of the matrix via a small number of QR steps. Using this framework, we show that the shifting strategy introduced in Part I of this series [Banks, Garza-Vargas, and Srivastava 2021] converges rapidly in finite arithmetic with a polylogarithmic bound on the number of bits of precision required, when invoked on matrices of controlled eigenvector condition number and minimum eigenvalue gap.


title: Nearly Optimal Algorithms for Linear Contextual Bandits with Adversarial Corruptions

abstract: We study the linear contextual bandit problem in the presence of adversarial corruption, where the reward at each round is corrupted by an adversary, and the corruption level (i.e., the sum of corruption magnitudes over the horizon) is $C\geq 0$. The best-known algorithms in this setting are limited in that they either are computationally inefficient or require a strong assumption on the corruption, or their regret is at least $C$ times worse than the regret without corruption. In this paper, to overcome these limitations, we propose a new algorithm based on the principle of optimism in the face of uncertainty. At the core of our algorithm is a weighted ridge regression where the weight of each chosen action depends on its confidence up to some threshold. We show that for both known $C$ and unknown $C$ cases, our algorithm with proper choice of hyperparameter achieves a regret that nearly matches the lower bounds. Thus, our algorithm is nearly optimal up to logarithmic factors for both cases. Notably, our algorithm achieves the near-optimal regret for both corrupted and uncorrupted cases ($C=0$) simultaneously.


title: Principal-Agent Hypothesis Testing

abstract: Consider the relationship between a regulator (the principal) and an experimenter (the agent) such as a pharmaceutical company. The pharmaceutical company wishes to sell a drug for profit, whereas the regulator wishes to allow only efficacious drugs to be marketed. The efficacy of the drug is not known to the regulator, so the pharmaceutical company must run a costly trial to prove efficacy to the regulator. Critically, the statistical protocol used to establish efficacy affects the behavior of a strategic, self-interested agent; a lower standard of statistical evidence incentivizes the agent to run more trials that are less likely to be effective. The interaction between the statistical protocol and the incentives of the pharmaceutical company is crucial for understanding this system and designing protocols with high social utility. In this work, we discuss how the regulator can set up a protocol with payoffs based on statistical evidence. We show how to design protocols that are robust to an agent's strategic actions, and derive the optimal protocol in the presence of strategic entrants.

categories: cs.GT cs.LG cs.MA math.ST stat.ME stat.TH


title: Semi-quantum key distribution with single photons in both polarization and spatial-mode degrees of freedom

abstract: In this paper, a novel semi-quantum key distribution (SQKD) protocol is designed based on single photons in both polarization and spatial-mode degrees of freedom, which allows to establish a raw key between one quantum communicant and one classical communicant. The proposed SQKD protocol only adopts one kind of quantum state as the initial quantum resource. The detailed security analysis shows that it can resist Eve's active attacks, such as the intercept-resend attack, the measure-resend attack, the Trojan horse attack and the entangle-measure attack. The proposed SQKD protocol only needs single photons in both polarization and spatial-mode degrees of freedom as quantum resource and employs single-photon measurements. Thus, it has excellent feasibility, since the preparation and the measurement of a single photon in both polarization and spatial-mode degrees of freedom can be easily acheived with present quantum technologies.


title: Deep Reinforcement Learning in mmW-NOMA: Joint Power Allocation and Hybrid Beamforming

abstract: High demand of data rate in the next generation of wireless communication could be ensured by Non-Orthogonal Multiple Access (NOMA) approach in the millimetre-wave (mmW) frequency band. Decreasing the interference on the other users while maintaining the bit rate via joint power allocation and beamforming is mandatory to guarantee the high demand of bit-rate. Furthermore, mmW frequency bands dictates the hybrid structure for beamforming because of the trade-off in implementation and performance, simultaneously. In this paper, joint power allocation and hybrid beamforming of mmW-NOMA systems is brought up via recent advances in machine learning and control theory approaches called Deep Reinforcement Learning (DRL). Actor-critic phenomena is exploited to measure the immediate reward and providing the new action to maximize the overall Q-value of the network. Additionally, to improve the stability of the approach, we have utilized Soft Actor-Critic (SAC) approach where overall reward and action entropy is maximized, simultaneously. The immediate reward has been defined based on the soft weighted summation of the rate of all the users. The soft weighting is based on the achieved rate and allocated power of each user. Furthermore, the channel responses between the users and base station (BS) is defined as the state of environment, while action space is involved of the digital and analog beamforming weights and allocated power to each user. The simulation results represent the superiority of the proposed approach rather than the Time-Division Multiple Access (TDMA) and Non-Line of Sight (NLOS)-NOMA in terms of sum-rate of the users. It's outperformance is caused by the joint optimization and independency of the proposed approach to the channel responses.