title: Understanding Narratives through Dimensions of Analogy

abstract: Analogical reasoning is a powerful qualitative reasoning tool that enables humans to connect two situations, and to generalize their knowledge from familiar to novel situations. Cognitive Science research provides valuable insights into the richness and complexity of analogical reasoning, together with implementations of expressive analogical reasoners with limited scalability. Modern scalable AI techniques with the potential to reason by analogy have been only applied to the special case of proportional analogy, and not to understanding higher-order analogies. In this paper, we aim to bridge the gap by: 1) formalizing six dimensions of analogy based on mature insights from Cognitive Science research, 2) annotating a corpus of fables with each of these dimensions, and 3) defining four tasks with increasing complexity that enable scalable evaluation of AI techniques. Experiments with language models and neuro-symbolic AI reasoners on these tasks reveal that state-of-the-art methods can be applied to reason by analogy with a limited success, motivating the need for further research towards comprehensive and scalable analogical reasoning by AI. We make all our code and data available.


title: Mode switching dynamics in organic polariton lasing

abstract: We study the dynamics of multimode polariton lasing in organic microcavities by using a second-order cumulant equation approach. By inspecting the time evolution of the photon mode occupations, we show that if multiple lasing peaks are observed in time-integrated mode occupations, the reason can be either bi-modal lasing or temporal switching between several modes. The former takes place within a narrow range of parameters while the latter occurs more widely. We find that the origin of the temporal switching is different in the weak- and strong-coupling regimes. At weak coupling slope efficiency is the determining factor, while for strong coupling it is changes in the eigenmodes and gain spectrum upon pumping. This difference is revealed by investigating the photoluminescence and momentum-resolved gain spectra. Our results underscore the importance of understanding the time evolution of the populations when characterizing the lasing behaviour of a multimode polariton system, and show how these features differ between weak and strong coupling.


title: Hybrid Finite Element and Material Point Method to Simulate Granular Column Collapse from Failure Initiation to Runout

abstract: The performance evaluation of a potentially unstable slope involves two key components: the initiation of the slope failure and the post-failure runout. The Finite Element Method (FEM) excels at modeling the initiation of instability but quickly loses accuracy in modeling large-deformation problems due to mesh distortion. Hence, the FEM is unable to accurately model post-failure slope runout. Hybrid Eulerian-Lagrangian methods, such as the Material Point Method (MPM), offer a promising alternative for solving large-deformation problems, because particles can move freely across a background mesh, allowing for large deformation without computational issues. However, the use of moving material points in MPM for integration rather than the fixed Gauss points of the FEM reduces the accuracy of MPM in predicting stress distribution and thus failure initiation. We have created a hybrid method by initiating a failure simulation in FEM and subsequently transferring the coordinates, velocities, and stresses to MPM particles to model the runout behavior, combining the strength of both methods. We demonstrate the capability of the hybrid approach by simulating the collapse of a frictional granular column, comparing it to an empirical solution, and evaluating a suitable time to transfer from FEM to MPM by trialing multiple iterations with transfers at different stages of the collapse.


title: Towards Goal, Feasibility, and Diversity-Oriented Deep Generative Models in Design

abstract: Deep Generative Machine Learning Models (DGMs) have been growing in popularity across the design community thanks to their ability to learn and mimic complex data distributions. DGMs are conventionally trained to minimize statistical divergence between the distribution over generated data and distribution over the dataset on which they are trained. While sufficient for the task of generating "realistic" fake data, this objective is typically insufficient for design synthesis tasks. Instead, design problems typically call for adherence to design requirements, such as performance targets and constraints. Advancing DGMs in engineering design requires new training objectives which promote engineering design objectives. In this paper, we present the first Deep Generative Model that simultaneously optimizes for performance, feasibility, diversity, and target achievement. We benchmark performance of the proposed method against several Deep Generative Models over eight evaluation metrics that focus on feasibility, diversity, and satisfaction of design performance targets. Methods are tested on a challenging multi-objective bicycle frame design problem with skewed, multimodal data of different datatypes. The proposed framework was found to outperform all Deep Generative Models in six of eight metrics.


title: Segmentation in large-scale cellular electron microscopy with deep learning: A literature survey

abstract: Automated and semi-automated techniques in biomedical electron microscopy (EM) enable the acquisition of large datasets at a high rate. Segmentation methods are therefore essential to analyze and interpret these large volumes of data, which can no longer completely be labeled manually. In recent years, deep learning algorithms achieved impressive results in both pixel-level labeling (semantic segmentation) and the labeling of separate instances of the same class (instance segmentation). In this review, we examine how these algorithms were adapted to the task of segmenting cellular and sub-cellular structures in EM images. The special challenges posed by such images and the network architectures that overcame some of them are described. Moreover, a thorough overview is also provided on the notable datasets that contributed to the proliferation of deep learning in EM. Finally, an outlook of current trends and future prospects of EM segmentation is given, especially in the area of label-free learning.


title: Parameterized Complexity Results for Bayesian Inference

abstract: We present completeness results for inference in Bayesian networks with respect to two different parameterizations, namely the number of variables and the topological vertex separation number. For this we introduce the parameterized complexity classes $\mathsf{W[1]PP}$ and $\mathsf{XLPP}$, which relate to $\mathsf{W[1]}$ and $\mathsf{XNLP}$ respectively as $\mathsf{PP}$ does to $\mathsf{NP}$. The second parameter is intended as a natural translation of the notion of pathwidth to the case of directed acyclic graphs, and as such it is a stronger parameter than the more commonly considered treewidth. Based on a recent conjecture, the completeness results for this parameter suggest that deterministic algorithms for inference require exponential space in terms of pathwidth and by extension treewidth. These results are intended to contribute towards a more precise understanding of the parameterized complexity of Bayesian inference and thus of its required computational resources in terms of both time and space.


title: Measuring Representational Harms in Image Captioning

abstract: Previous work has largely considered the fairness of image captioning systems through the underspecified lens of "bias." In contrast, we present a set of techniques for measuring five types of representational harms, as well as the resulting measurements obtained for two of the most popular image captioning datasets using a state-of-the-art image captioning system. Our goal was not to audit this image captioning system, but rather to develop normatively grounded measurement techniques, in turn providing an opportunity to reflect on the many challenges involved. We propose multiple measurement techniques for each type of harm. We argue that by doing so, we are better able to capture the multi-faceted nature of each type of harm, in turn improving the (collective) validity of the resulting measurements. Throughout, we discuss the assumptions underlying our measurement approach and point out when they do not hold.


title: Relations between $e$ and $\pi$: Nilakantha's series and Stirling's formula

abstract: Approximate relations between $e$ and $\pi$ are reviewed, some new connections being established. Nilakantha's series expansion for $\pi$ is transformed to accelerate its convergence. Its comparison with the standard inverse-factorial expansion for $e$ is performed to demonstrate similarity in several first terms. This comparison clarifies the origin of the approximate coincidence $e+2\pi \approx 9$. Using Stirling's series enables us to illustrate the relations $\pi^4+\pi^5 \approx e^6$ and $\pi^{9}/e^{8} \approx 10$.The role of Archimede's approximation $\pi=22/7$ is discussed.


title: $\mathcal{R}(p,q)$-trinomial probability distribution: properties and particular cases

abstract: In this paper, we investigate the trinomial probability distribution of the first and second kind from the $\mathcal{R}(p,q)$-quantum algebras. Moreover, we compute their $\mathcal{R}(p,q)$-factorial moments and derive the corresponding covariance. Particular cases of trinomial probability distribution are deduced from the formalism developed.


title: Frequency-centroid features for word recognition of non-native English speakers

abstract: The objective of this work is to investigate complementary features which can aid the quintessential Mel frequency cepstral coefficients (MFCCs) in the task of closed, limited set word recognition for non-native English speakers of different mother-tongues. Unlike the MFCCs, which are derived from the spectral energy of the speech signal, the proposed frequency-centroids (FCs) encapsulate the spectral centres of the different bands of the speech spectrum, with the bands defined by the Mel filterbank. These features, in combination with the MFCCs, are observed to provide relative performance improvement in English word recognition, particularly under varied noisy conditions. A two-stage Convolution Neural Network (CNN) is used to model the features of the English words uttered with Arabic, French and Spanish accents.


title: Visualizing Stokes' theorem with Geometric Algebra

abstract: Foundational cases of the generalized Stokes' theorem are visualized using geometric algebra. From considering bivector valued fields, two seldom used instances of the theorem are obtained. Graphical representations are given, showing a radial spin structure corresponding to the generalized curl and a toroidal vortex for the generalized divergence. Dualities and applications to natural phenomena with non-trivial topology are discussed.


title: Hamacher and Heronian Aggregating operators under interval valued q-rung Orthopair Fuzzy and its Application

abstract: In this paper, combined with the degradation and monotonicity of parameters of Hamacher operation and the advantages of the correlation between input parameters of Heronian operators, IVq-ROFHHMWA and IVq-ROFHHMGA operators, which are the fusion of Hamacher and Heronian, are proposed, and their properties are studied. Finally, a group decision-making method based on IVq-ROFHHMWA operator is proposed. The implementation and comparative analysis results show that the operator and group decision-making methods proposed in this paper are effective and feasible.


title: Proximal Splitting Adversarial Attacks for Semantic Segmentation

abstract: Classification has been the focal point of research on adversarial attacks, but only a few works investigate methods suited to denser prediction tasks, such as semantic segmentation. The methods proposed in these works do not accurately solve the adversarial segmentation problem and, therefore, overestimate the size of the perturbations required to fool models. Here, we propose a white-box attack for these models based on a proximal splitting to produce adversarial perturbations with much smaller $\ell_\infty$ norms. Our attack can handle large numbers of constraints within a nonconvex minimization framework via an Augmented Lagrangian approach, coupled with adaptive constraint scaling and masking strategies. We demonstrate that our attack significantly outperforms previously proposed ones, as well as classification attacks that we adapted for segmentation, providing a first comprehensive benchmark for this dense task.


title: Integrating deduction and model finding in a language independent setting

abstract: Software artifacts are ubiquitous in our lives being an essential part of home appliances, cars, cel phones, and even in more critical activities like aeronautics and health sciences. In this context software failures may produce enormous losses, either economical or, in the extreme, in human lives. Software analysis is an area in software engineering concerned on the application of different techniques in order to prove the (relative) absence of errors in software artifacts. In many cases these methods of analysis are applied by following certain methodological directives that ensure better results. In a previous work we presented the notion of satisfiability calculus as a model theoretical counterpart of Meseguer's proof calculus, providing a formal foundation for a variety of tools that are based on model construction. The present work shows how effective satisfiability sub-calculi, a special type of satisfiability calculi, can be combined with proof calculi, in order to provide foundations to certain methodological approaches to software analysis by relating the construction of finite counterexamples and the absence of proofs, in an abstract categorical setting.


title: To Aggregate or Not? Learning with Separate Noisy Labels

abstract: The rawly collected training data often comes with separate noisy labels collected from multiple imperfect annotators (e.g., via crowdsourcing). A typical way of using these separate labels is to first aggregate them into one and apply standard training methods. The literature has also studied extensively on effective aggregation approaches. This paper revisits this choice and aims to provide an answer to the question of whether one should aggregate separate noisy labels into single ones or use them separately as given. We theoretically analyze the performance of both approaches under the empirical risk minimization framework for a number of popular loss functions, including the ones designed specifically for the problem of learning with noisy labels. Our theorems conclude that label separation is preferred over label aggregation when the noise rates are high, or the number of labelers/annotations is insufficient. Extensive empirical results validate our conclusions.


title: Automated Detection of Typed Links in Issue Trackers

abstract: Stakeholders in software projects use issue trackers like JIRA to capture and manage issues, including requirements and bugs. To ease issue navigation and structure project knowledge, stakeholders manually connect issues via links of certain types that reflect different dependencies, such as Epic-, Block-, Duplicate-, or Relate- links. Based on a large dataset of 15 JIRA repositories, we study how well state-of-the-art machine learning models can automatically detect common link types. We found that a pure BERT model trained on titles and descriptions of linked issues significantly outperforms other optimized deep learning models, achieving an encouraging average macro F1-score of 0.64 for detecting 9 popular link types across all repositories (weighted F1-score of 0.73). For the specific Subtask- and Epic- links, the model achieved top F1-scores of 0.89 and 0.97, respectively. Our model does not simply learn the textual similarity of the issues. In general, shorter issue text seems to improve the prediction accuracy with a strong negative correlation of -0.70. We found that Relate-links often get confused with the other links, which suggests that they are likely used as default links in unclear cases. We also observed significant differences across the repositories, depending on how they are used and by whom.


title: Addendum to the article `Global pluripotential theory over a trivially valued field'

abstract: This note is an addendum to the paper `Global pluripotential theory over a trivially valued field' by the present authors, in which we prove two results. Let $X$ be an irreducible projective variety over an algebraically closed field field $k$, and assume that $k$ has characteristic zero, or that $X$ has dimension at most two. We first prove that when $X$ is smooth, the envelope property holds for any numerical class on $X$. Then we prove that for $X$ possibly singular and for an ample numerical class, the Monge--Amp\`ere energy of a bounded function is equal to the energy of its usc regularized plurisubharmonic envelope.


title: Precision tests of the nonlinear mode coupling of anisotropic flow via high-energy collisions of isobars

abstract: Valuable information on the dynamics of expanding fluids can be inferred from the response of such systems to perturbations in their initial geometry. We apply this technique in high-energy $^{96}$Ru+$^{96}$Ru and $^{96}$Zr+$^{96}$Zr collisions to scrutinize the expansion dynamics of the quark-gluon plasma, where the initial geometry perturbations are sourced by the differences in deformations and radial profiles between $^{96}$Ru and $^{96}$Zr, and the collective response is captured by the change in anisotropic flow $V_n$ between the two collision systems. Using a transport model, we analyze how the nonlinear coupling between lower-order flow harmonics $V_2$ and $V_3$ to the higher-order flow harmonics $V_4$ and $V_5$, expected to scale as $V_{4\mathrm{NL}}=\chi_4 V_2^2$ and $V_{5\mathrm{NL}}=\chi_5 V_2V_3$, gets modified as one moves from $^{96}$Ru+$^{96}$Ru to $^{96}$Zr+$^{96}$Zr systems. We find that these scaling relations are valid to high precision: variations of order 20\% in $V_{4\mathrm{NL}}$ and $V_{5\mathrm{NL}}$ due to differences in quadrupole deformation, octupole deformation, and nuclear skin modify $\chi_{4}$ and $\chi_5$ by about 1--2\%. Percent-level deviations are however larger than the expected experimental uncertainties and could be measured. Therefore, collisions of isobars with different nuclear structures are a unique tool to isolate subtle nonlinear effects in the expansion of the quark-gluon plasma that would be otherwise impossible to access in a single collision system.


title: Aeneas: Rust Verification by Functional Translation

abstract: We present Aeneas, a new verification toolchain for Rust programs based on a lightweight functional translation. We leverage Rust's rich region-based type system to eliminate memory reasoning for many Rust programs, as long as they do not rely on interior mutability or unsafe code. Doing so, we relieve the proof engineer of the burden of memory-based reasoning, allowing them to instead focus on functional properties of their code. Our first contribution is a new approach to borrows and controlled aliasing. We propose a pure, functional semantics for LLBC, a Low-Level Borrow Calculus that captures a large subset of Rust programs. Our semantics is value-based, meaning there is no notion of memory, addresses or pointer arithmetic. Our semantics is also ownership-centric, meaning that we enforce soundness of borrows via a semantic criterion based on loans rather than through a syntactic type-based lifetime discipline. We claim that our semantics captures the essence of the borrow mechanism rather than its current implementation in the Rust compiler. Our second contribution is a translation from LLBC to a pure lambda-calculus. This allows the user to reason about the original Rust program through the theorem prover of their choice. To deal with the well-known technical difficulty of terminating a borrow, we rely on a novel approach, in which we approximate the borrow graph in the presence of function calls. This in turn allows us to perform the translation using a new technical device called backward functions. We implement our toolchain in a mixture of Rust and OCaml. Our evaluation shows significant gains of verification productivity for the programmer. Rust goes to great lengths to enforce static control of aliasing; the proof engineer should not waste any time on memory reasoning when so much already comes "for free"!


title: Preparation of large Cu3Sn single crystal by Czochralski method

abstract: Cu3Sn was recently predicted to host topological Dirac fermions, but related research is still in its infancy. The growth of large and high-quality Cu3Sn single crystals is, therefore, highly desired to investigate the possible topological properties. In this work, we report the single crystal growth of Cu3Sn by Czochralski (CZ) method. Crystal structure, chemical composition, and transport properties of Cu3Sn single crystals were analyzed to verify the crystal quality. Notably, compared to the mm-sized crystals from a molten Sn-flux, the cm-sized crystals obtained by the CZ method are free from contamination from flux materials, paving the way for the follow-up works.


title: Calculating the timing and probability of arrival for sea lice dispersing between salmon farms

abstract: Sea lice are a threat to the health of both wild and farmed salmon and an economic burden for salmon farms. With a free living larval stage, sea lice can disperse tens of kilometers in the ocean between salmon farms, leading to connected sea lice populations that are difficult to control in isolation. In this paper we develop a simple analytical model for the dispersal of sea lice between two salmon farms. From the model we calculate the arrival time distribution of sea lice dispersing between farms, as well as the level of cross-infection of sea lice. We also use numerical flows from a hydrodynamic model, coupled with a particle tracking model, to directly calculate the arrival time of sea lice dispersing between two farms in the Broughton Archipelago, BC, in order to fit our analytical model and find realistic parameter estimates. Using the parametrized analytical model we show that there is often an intermediate inter-farm spacing that maximizes the level of cross infection between farms, and that increased temperatures will lead to increased levels of cross infection.


title: Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising

abstract: Neural network policies trained using Deep Reinforcement Learning (DRL) are well-known to be susceptible to adversarial attacks. In this paper, we consider attacks manifesting as perturbations in the observation space managed by the external environment. These attacks have been shown to downgrade policy performance significantly. We focus our attention on well-trained deterministic and stochastic neural network policies in the context of continuous control benchmarks subject to four well-studied observation space adversarial attacks. To defend against these attacks, we propose a novel defense strategy using a detect-and-denoise schema. Unlike previous adversarial training approaches that sample data in adversarial scenarios, our solution does not require sampling data in an environment under attack, thereby greatly reducing risk during training. Detailed experimental results show that our technique is comparable with state-of-the-art adversarial training approaches.


title: Reconstruction of Coronal Magnetic Fields Using a Poloidal-Toroidal Representation

abstract: A new method for reconstruction of coronal magnetic fields as force-free fields (FFFs) is presented. Our method employs poloidal and toroidal functions to describe divergence-free magnetic fields. This magnetic field representation naturally enables us to implement the boundary conditions at the photospheric boundary, i.e., the normal magnetic field and the normal current density there, in a straightforward manner. At the upper boundary of the corona, a source-surface condition can be employed, which accommodates magnetic flux imbalance at the bottom boundary. Although our iteration algorithm is inspired by extant variational methods, it is non-variational and requires far fewer iteration steps than most of them. The computational code based on our new method is tested against the analytical FFF solutions by Titov & D\'{e}moulin (1999). It is found to excel in reproducing a tightly wound flux rope, a bald patch and quasi-separatrix layers with a hyperbolic flux tube.


title: Codec at SemEval-2022 Task 5: Multi-Modal Multi-Transformer Misogynous Meme Classification Framework

abstract: In this paper we describe our work towards building a generic framework for both multi-modal embedding and multi-label binary classification tasks, while participating in task 5 (Multimedia Automatic Misogyny Identification) of SemEval 2022 competition. Since pretraining deep models from scratch is a resource and data hungry task, our approach is based on three main strategies. We combine different state-of-the-art architectures to capture a wide spectrum of semantic signals from the multi-modal input. We employ a multi-task learning scheme to be able to use multiple datasets from the same knowledge domain to help increase the model's performance. We also use multiple objectives to regularize and fine tune different system components.


title: Interstitial-induced ferromagnetism in a two-dimensional Wigner crystal

abstract: The two-dimensional Wigner crystal (WC) occurs in the strongly interacting regime ($r_s \gg 1$) of the two-dimensional electron gas (2DEG). The magnetism of a pure WC is determined by tunneling processes that induce multi-spin ring-exchange interactions, resulting in fully polarized ferromagnetism for large enough $r_s$. Recently, Hossain et al. [PNAS 117 (51) 32244-32250] reported the occurrence of a fully polarized ferromagnetic insulator at $r_s \gtrsim 35$ in an AlAs quantum well, but at temperatures orders of magnitude larger than the predicted exchange energies for the pure WC. Here, we analyze the large $r_s$ dynamics of an interstitial defect in the WC, and show that it produces local ferromagnetism with much higher energy scales. Three hopping processes are dominant, which favor a large, fully polarized ferromagnetic polaron. Based on the above results, we speculate concerning the phenomenology of the magnetism near the metal-insulator transition of the 2DEG.

categories: cond-mat.str-el cond-mat.dis-nn cond-mat.mes-hall quant-ph


title: Calibrating X-ray binary luminosity functions via optical reconnaissance II. The high-mass XLF and globular cluster population of X-ray binaries in the low star-forming spiral M81

abstract: We characterize the optical counterparts to the compact X-ray source population within the nearby spiral galaxy M81 using multi-band Hubble Space Telescope (HST) imaging data. By comparing the optical luminosities and colors measured for candidate donor stars and host clusters to stellar and cluster evolutionary models, respectively, we estimate the likely masses and upper age limits of the field and cluster X-ray binaries. We identify 15 low-mass X-ray binaries (i.e. donor star mass $\leq$ 3 solar masses) within ancient globular clusters, as well as 42 candidate high-mass X-ray binaries (i.e. donor star mass $\geq$ 8 solar masses). To estimate the likelihood of misclassifications, we inject 4,000 artificial sources into the HST mosaic image and conclude that our classifications of globular clusters and high-mass X-ray binaries are reliable at the >90% level. We find that globular clusters that host X-ray binaries are on average more massive and more compact than globular clusters that do not. However, there is no apparent correlation between the X-ray brightness of the clusters and their masses or densities, nor are X-ray binary hosts more X-ray luminous than the general field population of low-mass X-ray binaries. This work represents one of the first in-depth analyses of the population of X-ray binaries within globular clusters in a spiral galaxy.


title: The Hermitian axiom on two-dimensional topological quantum field theories

abstract: In this paper, we examine Atiyah's Hermitian axiom for two-dimensional complex topological quantum field theories. Building on the correspondence between 2D TQFTs and Frobenius algebras, we find the algebraic objects corresponding to Hermitian and unitary TQFTs respectively and prove structure theorems about them. We then clarify a few older results on unitary TQFTs using our structure theorems.


title: Machines Explaining Linear Programs

abstract: There has been a recent push in making machine learning models more interpretable so that their performance can be trusted. Although successful, these methods have mostly focused on the deep learning methods while the fundamental optimization methods in machine learning such as linear programs (LP) have been left out. Even if LPs can be considered as whitebox or clearbox models, they are not easy to understand in terms of relationships between inputs and outputs. As a linear program only provides the optimal solution to an optimization problem, further explanations are often helpful. In this work, we extend the attribution methods for explaining neural networks to linear programs. These methods explain the model by providing relevance scores for the model inputs, to show the influence of each input on the output. Alongside using classical gradient-based attribution methods we also propose a way to adapt perturbation-based attribution methods to LPs. Our evaluations of several different linear and integer problems showed that attribution methods can generate useful explanations for linear programs. However, we also demonstrate that using a neural attribution method directly might come with some drawbacks, as the properties of these methods on neural networks do not necessarily transfer to linear programs. The methods can also struggle if a linear program has more than one optimal solution, as a solver just returns one possible solution. Our results can hopefully be used as a good starting point for further research in this direction.


title: Tearing Apart NOTEARS: Controlling the Graph Prediction via Variance Manipulation

abstract: Simulations are ubiquitous in machine learning. Especially in graph learning, simulations of Directed Acyclic Graphs (DAG) are being deployed for evaluating new algorithms. In the literature, it was recently argued that continuous-optimization approaches to structure discovery such as NOTEARS might be exploiting the sortability of the variable's variances in the available data due to their use of least square losses. Specifically, since structure discovery is a key problem in science and beyond, we want to be invariant to the scale being used for measuring our data (e.g. meter versus centimeter should not affect the causal direction inferred by the algorithm). In this work, we further strengthen this initial, negative empirical suggestion by both proving key results in the multivariate case and corroborating with further empirical evidence. In particular, we show that we can control the resulting graph with our targeted variance attacks, even in the case where we can only partially manipulate the variances of the data.


title: Towards a Solution to Bongard Problems: A Causal Approach

abstract: Even though AI has advanced rapidly in recent years displaying success in solving highly complex problems, the class of Bongard Problems (BPs) yet remain largely unsolved by modern ML techniques. In this paper, we propose a new approach in an attempt to not only solve BPs but also extract meaning out of learned representations. This includes the reformulation of the classical BP into a reinforcement learning (RL) setting which will allow the model to gain access to counterfactuals to guide its decisions but also explain its decisions. Since learning meaningful representations in BPs is an essential sub-problem, we further make use of contrastive learning for the extraction of low level features from pixel data. Several experiments have been conducted for analyzing the general BP-RL setup, feature extraction methods and using the best combination for the feature space analysis and its interpretation.


title: Improving Solar Flare Prediction by Time Series Outlier Detection

abstract: Solar flares not only pose risks to outer space technologies and astronauts' well being, but also cause disruptions on earth to our hight-tech, interconnected infrastructure our lives highly depend on. While a number of machine-learning methods have been proposed to improve flare prediction, none of them, to the best of our knowledge, have investigated the impact of outliers on the reliability and those models' performance. In this study, we investigate the impact of outliers in a multivariate time series benchmark dataset, namely SWAN-SF, on flare prediction models, and test our hypothesis. That is, there exist outliers in SWAN-SF, removal of which enhances the performance of the prediction models on unseen datasets. We employ Isolation Forest to detect the outliers among the weaker flare instances. Several experiments are carried out using a large range of contamination rates which determine the percentage of present outliers. We asses the quality of each dataset in terms of its actual contamination using TimeSeriesSVC. In our best finding, we achieve a 279% increase in True Skill Statistic and 68% increase in Heidke Skill Score. The results show that overall a significant improvement can be achieved to flare prediction if outliers are detected and removed properly.


title: Surgical Phase Recognition in Laparoscopic Cholecystectomy

abstract: Automatic recognition of surgical phases in surgical videos is a fundamental task in surgical workflow analysis. In this report, we propose a Transformer-based method that utilizes calibrated confidence scores for a 2-stage inference pipeline, which dynamically switches between a baseline model and a separately trained transition model depending on the calibrated confidence level. Our method outperforms the baseline model on the Cholec80 dataset, and can be applied to a variety of action segmentation methods.


title: Benefits of Additive Noise in Composing Classes with Bounded Capacity

abstract: We observe that given two (compatible) classes of functions $\mathcal{F}$ and $\mathcal{H}$ with small capacity as measured by their uniform covering numbers, the capacity of the composition class $\mathcal{H} \circ \mathcal{F}$ can become prohibitively large or even unbounded. We then show that adding a small amount of Gaussian noise to the output of $\mathcal{F}$ before composing it with $\mathcal{H}$ can effectively control the capacity of $\mathcal{H} \circ \mathcal{F}$, offering a general recipe for modular design. To prove our results, we define new notions of uniform covering number of random functions with respect to the total variation and Wasserstein distances. We instantiate our results for the case of multi-layer sigmoid neural networks. Preliminary empirical results on MNIST dataset indicate that the amount of noise required to improve over existing uniform bounds can be numerically negligible (i.e., element-wise i.i.d. Gaussian noise with standard deviation $10^{-240}$). The source codes are available at https://github.com/fathollahpour/composition_noise.


title: Using Machine Learning to Augment Dynamic Time Warping Based Signal Classification

abstract: Modern applications such as voice recognition rely on the ability to compare signals to pre-recorded ones to classify them. However, this comparison typically needs to ignore differences due to signal noise, temporal offset, signal magnitude, and other external factors. The Dynamic Time Warping (DTW) algorithm quantifies this similarity by finding corresponding regions between the signals and non-linearly warping one signal by stretching and shrinking it. Unfortunately, searching through all "warps" of a signal to find the best corresponding regions is computationally expensive. The FastDTW algorithm improves performance, but sacrifices accuracy by only considering small signal warps. My goal is to improve the speed of DTW while maintaining high accuracy. My key insight is that in any particular application domain, signals exhibit specific types of variation. For example, the accelerometer signal measured for two different people would differ based on their stride length and weight. My system, called Machine Learning DTW (MLDTW), uses machine learning to learn the types of warps that are common in a particular domain. It then uses the learned model to improve DTW performance by limiting the search of potential warps appropriately. My results show that compared to FastDTW, MLDTW is at least as fast and reduces errors by 60% on average across four different data sets. These improvements will significantly impact a wide variety of applications (e.g. health monitoring) and enable more scalable processing of multivariate, higher frequency, and longer signal recordings.


title: An autonomous robot for pruning modern, planar fruit trees

abstract: Dormant pruning of fruit trees is an important task for maintaining tree health and ensuring high-quality fruit. Due to decreasing labor availability, pruning is a prime candidate for robotic automation. However, pruning also represents a uniquely difficult problem for robots, requiring robust systems for perception, pruning point determination, and manipulation that must operate under variable lighting conditions and in complex, highly unstructured environments. In this paper, we introduce a system for pruning sweet cherry trees (in a planar tree architecture called an upright fruiting offshoot configuration) that integrates various subsystems from our previous work on perception and manipulation. The resulting system is capable of operating completely autonomously and requires minimal control of the environment. We validate the performance of our system through field trials in a sweet cherry orchard, ultimately achieving a cutting success rate of 58%. Though not fully robust and requiring improvements in throughput, our system is the first to operate on fruit trees and represents a useful base platform to be improved in the future.


title: Unbiased Estimation using Underdamped Langevin Dynamics

abstract: In this work we consider the unbiased estimation of expectations w.r.t.~probability measures that have non-negative Lebesgue density, and which are known point-wise up-to a normalizing constant. We focus upon developing an unbiased method via the underdamped Langevin dynamics, which has proven to be popular of late due to applications in statistics and machine learning. Specifically in continuous-time, the dynamics can be constructed {so that as the time goes to infinity they} admit the probability of interest as a stationary measure. {In many cases, time-discretized versions of the underdamped Langevin dynamics are used in practice which are run only with a fixed number of iterations.} We develop a novel scheme based upon doubly randomized estimation as in \cite{ub_grad,disc_model}, which requires access only to time-discretized versions of the dynamics. {The proposed scheme aims to remove the dicretization bias and the bias resulting from running the dynamics for a finite number of iterations}. We prove, under standard assumptions, that our estimator is of finite variance and either has finite expected cost, or has finite cost with a high probability. To illustrate our theoretical findings we provide numerical experiments which verify our theory, which include challenging examples from Bayesian statistics and statistical physics.


title: Attributions Beyond Neural Networks: The Linear Program Case

abstract: Linear Programs (LPs) have been one of the building blocks in machine learning and have championed recent strides in differentiable optimizers for learning systems. While there exist solvers for even high-dimensional LPs, understanding said high-dimensional solutions poses an orthogonal and unresolved problem. We introduce an approach where we consider neural encodings for LPs that justify the application of attribution methods from explainable artificial intelligence (XAI) designed for neural learning systems. The several encoding functions we propose take into account aspects such as feasibility of the decision space, the cost attached to each input, or the distance to special points of interest. We investigate the mathematical consequences of several XAI methods on said neural LP encodings. We empirically show that the attribution methods Saliency and LIME reveal indistinguishable results up to perturbation levels, and we propose the property of Directedness as the main discriminative criterion between Saliency and LIME on one hand, and a perturbation-based Feature Permutation approach on the other hand. Directedness indicates whether an attribution method gives feature attributions with respect to an increase of that feature. We further notice the baseline selection problem beyond the classical computer vision setting for Integrated Gradients.


title: The range of the Douglas-Rachford operator in infinite-dimensional Hilbert spaces

abstract: The Douglas-Rachford algorithm is one of the most prominent splitting algorithms for solving convex optimization problems. Recently, the method has been successful in finding a generalized solution (provided that one exists) for optimization problems in the inconsistent case, i.e., when a solution does not exist. The convergence analysis of the inconsistent case hinges on the study of the range of the displacement operator associated with the Douglas-Rachford splitting operator and the corresponding minimal displacement vector. In this paper, we provide a formula for the range of the Douglas-Rachford splitting operator in (possibly) infinite-dimensional Hilbert space under mild assumptions on the underlying operators. Our new results complement known results in finite-dimensional Hilbert spaces. Several examples illustrate and tighten our conclusions.


title: Effects of magnetic shear and thermodynamic asymmetry on spontaneous MHD magnetic reconnection

abstract: The spontaneous evolution of magnetic reconnection in generalized situations (with thermodynamic asymmetry regarding the current sheet and magnetic shear) is investigated using two-dimensional magnetohydrodynamic simulation. We focus on the asymptotic state of temporal evolution, i.e., the self-similarly expanding phase (Nitta et al. 2001). 1) A long fast-mode shock is generated in front of the shorter plasmoid as in the shear-less thermodynamically asymmetric case; however, the sheared magnetic component weakens the shock. This fast shock may work as a particle acceleration site. 2) The shorter plasmoid-side plasma infiltrates the longer plasmoid across the current sheet. Then, the plasmas from both sides of the current sheet coexist on the same magnetic field lines in the longer plasmoid. This may result in efficient plasma mixing. 3) The thermodynamic asymmetry and magnetic shear drastically decrease the reconnection rate in many orders of magnitude.


title: Manifolds without real projective or flat conformal structures

abstract: In any dimension at least five we construct examples of closed smooth manifolds with the following properties: 1) they have neither real projective nor flat conformal structures; 2) their fundamental group is a non-elementary Gromov hyperbolic group. These examples are obtained via relative strict hyperbolization.


title: Beyond Grounding: Extracting Fine-Grained Event Hierarchies Across Modalities

abstract: Events describe happenings in our world that are of importance. Naturally, understanding events mentioned in multimedia content and how they are related forms an important way of comprehending our world. Existing literature can infer if events across textual and visual (video) domains are identical (via grounding) and thus, on the same semantic level. However, grounding fails to capture the intricate cross-event relations that exist due to the same events being referred to on many semantic levels. For example, in Figure 1, the abstract event of "war" manifests at a lower semantic level through subevents "tanks firing" (in video) and airplane "shot" (in text), leading to a hierarchical, multimodal relationship between the events. In this paper, we propose the task of extracting event hierarchies from multimodal (video and text) data to capture how the same event manifests itself in different modalities at different semantic levels. This reveals the structure of events and is critical to understanding them. To support research on this task, we introduce the Multimodal Hierarchical Events (MultiHiEve) dataset. Unlike prior video-language datasets, MultiHiEve is composed of news video-article pairs, which makes it rich in event hierarchies. We densely annotate a part of the dataset to construct the test benchmark. We show the limitations of state-of-the-art unimodal and multimodal baselines on this task. Further, we address these limitations via a new weakly supervised model, leveraging only unannotated video-article pairs from MultiHiEve. We perform a thorough evaluation of our proposed method which demonstrates improved performance on this task and highlight opportunities for future research.


title: Partial Domination and Irredundance Numbers in Graphs

abstract: A dominating set of a graph $G=(V,E)$ is a vertex set $D$ such that every vertex in $V(G) \setminus D$ is adjacent to a vertex in $D$. The cardinality of a smallest dominating set of $D$ is called the domination number of $G$ and is denoted by $\gamma(G)$. A vertex set $D$ is a $k$-isolating set of $G$ if $G - N_{G}[D]$ contains no $k$-cliques. The minimum cardinality of a $k$-isolating set of $G$ is called the $k$-isolation number of $G$ and is denoted by $\iota_{k}(G)$. Clearly, $\gamma(G) = \iota_{1}(G)$. A vertex set $I$ is irredundant if, for every non-isolated vertex $v$ of $G[I]$, there exists a vertex $u$ in $V \setminus I$ such that $N_{G}(u) \cap I = \{v\}$. An irredundant set $I$ is maximal if the set $I \cup \{u\}$ is no longer irredundant for any $u \in V(G) \setminus I$. The minimum cardinality of a maximal irredundant set is called the irredundance number of $G$ and is denoted by $ir(G)$. Allan and Laskar \cite{AL1978} and Bollob\'{a}s and Cockayne \cite{BoCo1979} independently proved that $\gamma(G) < 2ir(G)$, which can be written $\iota_1(G) < 2ir(G)$, for any graph $G$. In this paper, for a graph $G$ with maximum degree $\Delta$, we establish sharp upper bounds on $\iota_{k}(G)$ in terms of $ir(G)$ for $\Delta - 2 \leq k \leq \Delta + 1$.


title: On Approximating Total Variation Distance

abstract: Total variation distance (TV distance) is a fundamental notion of distance between probability distributions. In this work, we introduce and study the problem of computing the TV distance of two product distributions over the domain $\{0,1\}^n$. In particular, we establish the following results. 1. The problem of exactly computing the TV distance of two product distributions is $\#\mathsf{P}$-complete. This is in stark contrast with other distance measures such as KL, Chi-square, and Hellinger which tensorize over the marginals leading to efficient algorithms. 2. There is a fully polynomial-time deterministic approximation scheme (FPTAS) for computing the TV distance of two product distributions $P$ and $Q$ where $Q$ is the uniform distribution. This result is extended to the case where $Q$ has a constant number of distinct marginals. In contrast, we show that when $P$ and $Q$ are Bayes net distributions, the relative approximation of their TV distance is $\mathsf{NP}$-hard.


title: Beyond Words: An Experimental Study of Signaling in Crowdfunding

abstract: Increasingly, crowdfunding is transforming financing for many people worldwide. Yet we know relatively little about how, why, and when funding outcomes are impacted by signaling between funders. We conduct two studies of N=500 and N=750 participants involved in crowdfunding to investigate the effect of certain characteristics of ``crowd signals'' on the decision to fund. We find that, under a variety of conditions, contributions of heterogeneous amounts arriving at varying time intervals are significantly more likely to be selected than homogeneous contribution amounts and times. The impact of signaling is strongest among participants who are susceptible to social influence. The effect is remarkably general across different project types, fundraising goals, participant interest in the projects, and participants' altruistic attitudes. Critically, the role of crowd signals in decision-making is typically unrecognized by participants. Our results underscore the fundamental nature of social signaling in crowdfunding, informing strategies for platforms, funders, and project creators.


title: Revealing the Mysteries of Venus: The DAVINCI Mission

abstract: The Deep Atmosphere Venus Investigation of Noble gases, Chemistry, and Imaging (DAVINCI) mission described herein has been selected for flight to Venus as part of the NASA Discovery Program. DAVINCI will be the first mission to Venus to incorporate science-driven flybys and an instrumented descent sphere into a unified architecture. The anticipated scientific outcome will be a new understanding of the atmosphere, surface, and evolutionary path of Venus as a possibly once-habitable planet and analog to hot terrestrial exoplanets. The primary mission design for DAVINCI as selected features a preferred launch in summer/fall 2029, two flybys in 2030, and descent sphere atmospheric entry by the end of 2031. The in situ atmospheric descent phase subsequently delivers definitive chemical and isotopic composition of the Venus atmosphere during a cloud-top to surface transect above Alpha Regio. These in situ investigations of the atmosphere and near infrared descent imaging of the surface will complement remote flyby observations of the dynamic atmosphere, cloud deck, and surface near infrared emissivity. The overall mission yield will be at least 60 Gbits (compressed) new data about the atmosphere and near surface, as well as first unique characterization of the deep atmosphere environment and chemistry, including trace gases, key stable isotopes, oxygen fugacity, constraints on local rock compositions, and topography of a tessera.


title: Explainable expected goal models for performance analysis in football analytics

abstract: The expected goal provides a more representative measure of the team and player performance which also suit the low-scoring nature of football instead of score in modern football. The score of a match involves randomness and often may not represent the performance of the teams and players, therefore it has been popular to use the alternative statistics in recent years such as shots on target, ball possessions, and drills. To measure the probability of a shot being a goal by the expected goal, several features are used to train an expected goal model which is based on the event and tracking football data. The selection of these features, the size and date of the data, and the model which are used as the parameters that may affect the performance of the model. Using black-box machine learning models for increasing the predictive performance of the model decreases its interpretability that causes the loss of information that can be gathered from the model. This paper proposes an accurate expected goal model trained consisting of 315,430 shots from seven seasons between 2014-15 and 2020-21 of the top-five European football leagues. Moreover, this model is explained by using explainable artificial intelligence tool to obtain an explainable expected goal model for evaluating a team or player performance. To the best of our knowledge, this is the first paper that demonstrates a practical application of an explainable artificial intelligence tool aggregated profiles to explain a group of observations on an accurate expected goal model for monitoring the team and player performance. Moreover, these methods can be generalized to other sports branches.


title: Short homology bases for hyperelliptic hyperbolic surfaces

abstract: Given a hyperelliptic hyperbolic surface $S$ of genus $g \geq 2$, we find bounds on the lengths of homologically independent loops on $S$. As a consequence, we show that for any $\lambda \in (0,1)$ there exists a constant $N(\lambda)$ such that every such surface has at least $\lceil \lambda \cdot \frac{2}{3} g \rceil$ homologically independent loops of length at most $N(\lambda)$, extending the result in [Mu] and [BPS]. This allows us to extend the constant upper bound obtained in [Mu] on the minimal length of non-zero period lattice vectors of hyperelliptic Riemann surfaces to almost $\frac{2}{3} g$ linearly independent vectors.


title: Continuous-variable quantum approximate optimization on a programmable photonic quantum processor

abstract: Variational quantum algorithms (VQAs) provide a promising approach to achieving quantum advantage for practical problems on near-term noisy intermediate-scale quantum (NISQ) devices. Thus far, most studies on VQAs have focused on qubit-based systems, but the power of VQAs can be potentially boosted by exploiting infinite-dimensional continuous-variable (CV) systems. Here, we implement the CV version of one VQA, a quantum approximate optimization algorithm by developing an automated collaborative computing system between a programmable photonic quantum computer and a classical computer. We experimentally demonstrate that this algorithm solves the minimization problem of simple continuous functions by implementing the quantum version of gradient descent to localize an initially broadly-distributed wavefunction to the minimum. This method allows the execution of a practical CV quantum algorithm on a physical platform. Our work can be extended to the minimization of more general functions, providing an alternative to achieve the quantum advantage in practical problems.


title: SPENDER: A Platform for Secure and Privacy-Preserving Decentralized P2P E-Commerce

abstract: The blockchain technology empowers secure, trustless, and privacy-preserving trading with cryptocurrencies. However, existing blockchain-based trading platforms only support trading cryptocurrencies with digital assets (e.g., NFTs). Although several payment service providers have started to accept cryptocurrency as a payment method for tangible goods (e.g., Visa, PayPal), customers still need to trust and hand over their private information to centralized E-commerce platforms (e.g., Amazon, eBay). To enable trustless and privacy-preserving trading between cryptocurrencies and real goods, we propose SPENDER, a smart-contract-based platform for Secure and Privacy-PresErviNg Decentralized P2P E-commeRce. The design of our platform enables various advantageous features and brings unlimited future potential. Moreover, our platform provides a complete paradigm for designing real-world Web3 infrastructures on the blockchain, which broadens the application scope and exploits the intrinsic values of cryptocurrencies. The platform has been built and tested on the Terra ecosystem, and we plan to open-source the code later.


title: High-Fidelity Qutrit Entangling Gates for Superconducting Circuits

abstract: Ternary quantum information processing in superconducting devices poses a promising alternative to its more popular binary counterpart through larger, more connected computational spaces and proposed advantages in quantum simulation and error correction. Although generally operated as qubits, transmons have readily addressable higher levels, making them natural candidates for operation as quantum three-level systems (qutrits). Recent works in transmon devices have realized high fidelity single qutrit operation. Nonetheless, effectively engineering a high-fidelity two-qutrit entanglement remains a central challenge for realizing qutrit processing in a transmon device. In this work, we apply the differential AC Stark shift to implement a flexible, microwave-activated, and dynamic cross-Kerr entanglement between two fixed-frequency transmon qutrits, expanding on work performed for the $ZZ$ interaction with transmon qubits. We then use this interaction to engineer efficient, high-fidelity qutrit CZ$^\dag$ and CZ gates, with estimated process fidelities of 97.3(1)% and 95.2(3)% respectively, a significant step forward for operating qutrits on a multi-transmon device.


title: A Product Version of the Hilton-Milner-Frankl Theorem

abstract: Two families $\mathcal{F},\mathcal{G}$ of $k$-subsets of $\{1,2,\ldots,n\}$ are called non-trivial cross $t$-intersecting if $|F\cap G|\geq t$ for all $F\in \mathcal{F}, G\in \mathcal{G}$ and $|\cap \{F\colon F\in \mathcal{F}\}|<t$, $|\cap \{G\colon G\in\mathcal{G}\}|<t$. In the present paper, we determine the maximum product of the sizes of two non-trivial cross $t$-intersecting families of $k$-subsets of $\{1,2,\ldots,n\}$ for $n\geq 4(t+2)^2k^2$, $k\geq 5$, which is a product version of the Hilton-Milner-Frankl Theorem.


title: A Product Version of the Hilton-Milner Theorem

abstract: Two families $\mathcal{F},\mathcal{G}$ of $k$-subsets of $\{1,2,\ldots,n\}$ are called non-trivial cross-intersecting if $F\cap G\neq \emptyset$ for all $F\in \mathcal{F}, G\in \mathcal{G}$ and $\cap \{F\colon F\in \mathcal{F}\}=\emptyset=\cap \{G\colon G\in \mathcal{G}\}$. In the present paper, we determine the maximum product of the sizes of two non-trivial cross-intersecting families of $k$-subsets of $\{1,2,\ldots,n\}$ for $n\geq 4k$, $k\geq 8$, which is a product version of the classical Hilton-Milner Theorem.


title: A Projection-Based K-space Transformer Network for Undersampled Radial MRI Reconstruction with Limited Training Subjects

abstract: The recent development of deep learning combined with compressed sensing enables fast reconstruction of undersampled MR images and has achieved state-of-the-art performance for Cartesian k-space trajectories. However, non-Cartesian trajectories such as the radial trajectory need to be transformed onto a Cartesian grid in each iteration of the network training, slowing down the training process and posing inconvenience and delay during training. Multiple iterations of nonuniform Fourier transform in the networks offset the deep learning advantage of fast inference. Current approaches typically either work on image-to-image networks or grid the non-Cartesian trajectories before the network training to avoid the repeated gridding process. However, the image-to-image networks cannot ensure the k-space data consistency in the reconstructed images and the pre-processing of non-Cartesian k-space leads to gridding errors which cannot be compensated by the network training. Inspired by the Transformer network to handle long-range dependencies in sequence transduction tasks, we propose to rearrange the radial spokes to sequential data based on the chronological order of acquisition and use the Transformer to predict unacquired radial spokes from acquired ones. We propose novel data augmentation methods to generate a large amount of training data from a limited number of subjects. The network can be generated to different anatomical structures. Experimental results show superior performance of the proposed framework compared to state-of-the-art deep neural networks.


title: Towards Verifiable Differentially-Private Polling

abstract: Analyses that fulfill differential privacy provide plausible deniability to individuals while allowing analysts to extract insights from data. However, beyond an often acceptable accuracy tradeoff, these statistical disclosure techniques generally inhibit the verifiability of the provided information, as one cannot check the correctness of the participants' truthful information, the differentially private mechanism, or the unbiased random number generation. While related work has already discussed this opportunity, an efficient implementation with a precise bound on errors and corresponding proofs of the differential privacy property is so far missing. In this paper, we follow an approach based on zero-knowledge proofs~(ZKPs), in specific succinct non-interactive arguments of knowledge, as a verifiable computation technique to prove the correctness of a differentially private query output. In particular, we ensure the guarantees of differential privacy hold despite the limitations of ZKPs that operate on finite fields and have limited branching capabilities. We demonstrate that our approach has practical performance and discuss how practitioners could employ our primitives to verifiably query individuals' age from their digitally signed ID card in a differentially private manner.


title: Molecular Collapse States in Elliptical Graphene/WSe2 Heterostructure Quantum Dots

abstract: In relativistic physics, both atomic collapse in heavy nucleus and Hawking radiation in black hole are predicted to occur through Klein tunneling process that couples particles and antiparticles. Recently, atomic collapse states (ACSs) were explicitly realized in graphene because of its relativistic Dirac excitation with large fine structure constant. However, essential role of the Klein tunneling on the ACSs remains elusive in experiment. Here we systematically study the quasibound states in elliptical graphene quantum dots (GQDs). Bonding and antibonding molecular collapse states formed by two coupled ACSs are observed in the elliptical GQDs. Our experiments, supported by theoretical calculations, indicate that the antibonding state of the ACSs will change into a Klein-tunneling-induced quasibound state, revealing deep connection between the ACSs and the Klein tunneling.


title: Existence of solutions to a phase-field model of 3D-grain boundary motion governed by a regularized 1-harmonic type flow

abstract: In this paper we propose a quaternion formulation for the orientation variable in the three dimensional Kobayashi--Warren model for the dynamics of polycrystals. We obtain existence of solutions to the $L^2$-gradient descent flow of the constrained energy functional via several approximating problems. In particular, we use a Ginzburg-Landau type approach and some extra regularizations. Existence of solutions to the approximating problems is shown by the use of nonlinear semigroups. Coupled with good a-priori estimates, this leads to successive passages to the limit up to finally showing existence of solutions to the proposed model. Moreover, we also obtain a maximum principle for the orientation variable.


title: Completing the $c_2$ completion conjecture for $p=2$

abstract: The $c_2$-invariant is an arithmetic graph invariant useful for understanding Feynman periods. Brown and Schnetz conjectured that the $c_2$-invariant has a particular symmetry known as completion invariance. This paper will prove completion invariance of the $c_2$-invariant in the $p=2$ case, extending previous work of one of us. The methods are combinatorial and enumerative involving counting certain partitions of the edges of the graph.


title: Optimal Dichotomy of Temporal Scales and Boundedness and Stability of Time-Varying Multidimensional Nonlinear Systems

abstract: This paper develops a new approach to the estimation of the degree of boundedness or stability of multidimensional nonlinear systems with time-dependent nonperiodic coefficients-an essential task in various engineering and natural science applications. Known approaches to assessing the stability of such systems rest on the utility of Lyapunov functions and Lyapunov first approximation methodologies, typically providing conservative and computationally elaborate criteria for multidimensional systems of this category. Adequate criteria of boundedness of solutions to nonhomogeneous systems of this kind are rare in the contemporary literature. Lately, we develop a new approach to these problems which rests on bounding the evolution of the norms of solutions to initial systems by matching solutions of a scalar auxiliary equation we introduced in [1], [2] and [3]. Still, the technique advanced in [3] rests on the assumption that the average of the linear components of the underlying system is defined by a stable matrix of general position. The current paper substantially amplifies the application domain of this approach. It is merely assumed that the time-dependent linear block of the underlying system can be split into slow and fast varying components by application of any smoothing technique. This dichotomy of temporal scales is determined by the optimal criterion reducing the conservatism of our estimates. In turn, we transform the linear subsystem with slow-varying matrix in a diagonally dominant form by successive applications of the Lyapunov transforms. This prompts the development of novel scalar auxiliary equations embracing the estimation of the norms of solutions to our initial systems. Next, we formulate boundedness or stability criteria and estimate the relevant regions of the underlying systems using analytical and abridged numerical reasoning.


title: Diffusion activation energy and desorption activation energy for astrochemically relevant species on water ice show no clear relation

abstract: The activation energy for desorption (Edes) and that for surface diffusion (Esd) of adsorbed molecules on dust grains are two of the most important parameters for the chemistry in the interstellar medium. Although Edes is often measured by laboratory experiments, the measurement of Esd is sparse. Due to the lack of data, astrochemical models usually assume a simple scaling relation, Esd = fEdes, where f is a constant, irrespective of adsorbed species. Here, we experimentally measure Esd for CH4, H2S, OCS, CH3OH, and CH3CN on water-ice surfaces using an ultra-high-vacuum transmission electron microscope (UHV-TEM). Compiling the measured Esd values and Edes values from the literature, we find that the value of f ranges from ~0.2 to ~0.7, depending on the species. Unless f (or Esd) for the majority of species is available, a natural alternative approach for astrochemical models is running multiple simulations, varying f for each species randomly. In this approach, ranges of molecular abundances predicted by multiple simulations, rather than abundances predicted by each simulation, are important. We here run 10,000 simulations of astrochemical models of molecular clouds and protostellar envelopes, randomly assigning a value of f for each species. In the former case, we identify several key species whose Esd most strongly affects the uncertainties of the model predictions; Esd for those species should be investigated in future laboratory and quantum chemical studies. In the latter case, uncertainties in the Esd of many species contribute to the uncertainties in the model predictions.

categories: astro-ph.GA astro-ph.EP astro-ph.IM astro-ph.SR


title: Metallicity Properties of the Galactic Bulge Stars Near and Far: Expectations from the Auriga Simulation

abstract: Using the high resolution Milky Way-like model from Auriga simulation we study the chemical properties of the Galactic bulge, focusing on the metallicity difference between stars on the near side (in front of the Galactic center) and the far side (behind the Galactic center). In general, along certain sight lines the near side is more metal-rich than the far side, consistent with the negative vertical metallicity gradient of the disk, since the far side is located higher above the disk plane than the near side. However, at the region $l<0^\circ$ and $|b|\le6^\circ$, the near side is even more metal-poor than the far side, and their difference changes with the Galactic longitude. This is mainly due to the fact that stars around the minor axis of the bar are more metal-poor than those around the major axis. Since the bar is tilted, in the negative longitude region, the near side is mainly contributed by stars close to the minor axis region than the far side to result in such metallicity difference. We extract stars in the X-shape structure by identifying the overdensities in the near and far sides. Their metallicity properties are consistent with the results of the whole Galactic bulge. The boxy/peanut-shaped bulge can naturally explain the metallicity difference of the double red clump stars in observation. There is no need to involve a classical bulge component with different stellar populations.


title: State Supervised Steering Function for Sampling-based Kinodynamic Planning

abstract: Sampling-based motion planners such as RRT* and BIT*, when applied to kinodynamic motion planning, rely on steering functions to generate time-optimal solutions connecting sampled states. Implementing exact steering functions requires either analytical solutions to the time-optimal control problem, or nonlinear programming (NLP) solvers to solve the boundary value problem given the system's kinodynamic equations. Unfortunately, analytical solutions are unavailable for many real-world domains, and NLP solvers are prohibitively computationally expensive, hence fast and optimal kinodynamic motion planning remains an open problem. We provide a solution to this problem by introducing State Supervised Steering Function (S3F), a novel approach to learn time-optimal steering functions. S3F is able to produce near-optimal solutions to the steering function orders of magnitude faster than its NLP counterpart. Experiments conducted on three challenging robot domains show that RRT* using S3F significantly outperforms state-of-the-art planning approaches on both solution cost and runtime. We further provide a proof of probabilistic completeness of RRT* modified to use S3F.


title: Controlling Flow Separation over a Curved Ramp Using Vortex Generator Microjets

abstract: Introducing a fluid microjet into the boundary layer to increase fluid momentum and hence delay separation is a method for actively controlling a flow separation region. The present work numerically analyzed the control of a separation bubble behind a ramp. For this purpose, we first verified the numerical results for a flow (without a jet) over the ramp against reliable experimental studies from the literature. Next, the effects of introducing a microjet to the flow were also verified. A jet was then placed at three different distances above the ramp to study its impact on various parameters, including velocities, Reynolds stresses, pressure, vorticity, streamlines, and the separation bubble size. As the jet was moved further back, the jet-induced upwash region grew considerably. Finally, the effects of using three identical jets were studied and compared against those of a single jet. The results indicated that using a three-jet array shrank the separation bubble. Using an array with d/D = 15 can limit laterally the separation bubble about 2.75 times smaller than a single jet in the z-direction. Also, the employment of the jet managed to decrease the length of the separation zone in the x-direction up to 78%, in the case of Lx/L1 = 0.0143 and d/D = 10.


title: Accurate Emotion Strength Assessment for Seen and Unseen Speech Based on Data-Driven Deep Learning

abstract: Emotion classification of speech and assessment of the emotion strength are required in applications such as emotional text-to-speech and voice conversion. The emotion attribute ranking function based on Support Vector Machine (SVM) was proposed to predict emotion strength for emotional speech corpus. However, the trained ranking function doesn't generalize to new domains, which limits the scope of applications, especially for out-of-domain or unseen speech. In this paper, we propose a data-driven deep learning model, i.e. StrengthNet, to improve the generalization of emotion strength assessment for seen and unseen speech. This is achieved by the fusion of emotional data from various domains. We follow a multi-task learning network architecture that includes an acoustic encoder, a strength predictor, and an auxiliary emotion predictor. Experiments show that the predicted emotion strength of the proposed StrengthNet is highly correlated with ground truth scores for both seen and unseen speech. We release the source codes at: https://github.com/ttslr/StrengthNet.


title: Automating Dependency Updates in Practice: An Exploratory Study on GitHub Dependabot

abstract: Dependency management bots automatically open pull requests to update software dependencies on behalf of developers. Early research shows that developers are suspicious of updates performed by dependency management bots and feel tired of overwhelming notifications from these bots. Despite this, dependency management bots are becoming increasingly popular. Such contrast motivates us to investigate Dependabot, currently the most visible bot on GitHub, to reveal the effectiveness and limitations of state-of-art dependency management bots. We use exploratory data analysis and a developer survey to evaluate the effectiveness of Dependabot in keeping dependencies up-to-date, interacting with developers, reducing update suspicion, and reducing notification fatigue. We obtain mixed findings. On the positive side, projects do reduce technical lag after Dependabot adoption and developers are highly receptive to its pull requests. On the negative side, its compatibility scores are too scarce to be effective in reducing update suspicion; developers tend to configure Dependabot toward reducing the number of notifications; and 11.3% of projects have deprecated Dependabot in favor of other alternatives. The survey confirms our findings and provides insights into the key missing features of Dependabot. Based on our findings, we derive and summarize the key characteristics of an ideal dependency management bot which can be grouped into four dimensions: configurability, autonomy, transparency, and self-adaptability.


title: Resilience and Energy-Awareness in Constraint-Driven-Controlled Multi-Robot Systems

abstract: In the context of constraint-driven control of multi-robot systems, in this paper, we propose an optimization-based framework that is able to ensure resilience and energy-awareness of teams of robots. The approach is based on a novel, frame-theoretic, measure of resilience which allows us to analyze and enforce resilient behaviors of multi-robot systems. The properties of resilience and energy-awareness are encoded as constraints of a convex optimization program which is used to synthesize the robot control inputs. This allows for the combination of such properties with the execution of coordinated tasks to achieve resilient and energy-aware robot operations. The effectiveness of the proposed method is illustrated in a simulated scenario where a team of robots is deployed to execute two tasks subject to energy and resilience constraints.


title: A Neural Network-Prepended GLRT Framework for Signal Detection Under Nonlinear Distortions

abstract: Many communications and sensing applications hinge on the detection of a signal in a noisy, interference-heavy environment. Signal processing theory yields techniques such as the generalized likelihood ratio test (GLRT) to perform detection when the received samples correspond to a linear observation model. Numerous practical applications exist, however, where the received signal has passed through a nonlinearity, causing significant performance degradation of the GLRT. In this work, we propose prepending the GLRT detector with a neural network classifier capable of identifying the particular nonlinear time samples in a received signal. We show that pre-processing received nonlinear signals using our trained classifier to eliminate excessively nonlinear samples (i) improves the detection performance of the GLRT on nonlinear signals and (ii) retains the theoretical guarantees provided by the GLRT on linear observation models for accurate signal detection.


title: Polarization dependent photoemission as a probe of the magnetic ground state in the layered ferromagnet VI3

abstract: Layered ferromagnets are thrilling materials from both a fundamental and technological point of view. VI3 is an interesting example, with a complex magnetism that differentiates it from the first reported Cr based layered ferromagnets. Here, we show in an indirect way through Angle Resolved Photoemission Spectroscopy (ARPES) experiments, the importance of spin-orbit coupling setting the electronic properties of this material. Our light polarized photoemission measurements point to a ground state with a half-filled e'_+- doublet, where a gap opening is triggered by spin-orbit coupling enhanced by electronic correlations.


title: Brownian Noise Reduction: Maximizing Privacy Subject to Accuracy Constraints

abstract: There is a disconnect between how researchers and practitioners handle privacy-utility tradeoffs. Researchers primarily operate from a privacy first perspective, setting strict privacy requirements and minimizing risk subject to these constraints. Practitioners often desire an accuracy first perspective, possibly satisfied with the greatest privacy they can get subject to obtaining sufficiently small error. Ligett et al. have introduced a "noise reduction" algorithm to address the latter perspective. The authors show that by adding correlated Laplace noise and progressively reducing it on demand, it is possible to produce a sequence of increasingly accurate estimates of a private parameter while only paying a privacy cost for the least noisy iterate released. In this work, we generalize noise reduction to the setting of Gaussian noise, introducing the Brownian mechanism. The Brownian mechanism works by first adding Gaussian noise of high variance corresponding to the final point of a simulated Brownian motion. Then, at the practitioner's discretion, noise is gradually decreased by tracing back along the Brownian path to an earlier time. Our mechanism is more naturally applicable to the common setting of bounded $\ell_2$-sensitivity, empirically outperforms existing work on common statistical tasks, and provides customizable control of privacy loss over the entire interaction with the practitioner. We complement our Brownian mechanism with ReducedAboveThreshold, a generalization of the classical AboveThreshold algorithm that provides adaptive privacy guarantees. Overall, our results demonstrate that one can meet utility constraints while still maintaining strong levels of privacy.


title: Training Discrete Deep Generative Models via Gapped Straight-Through Estimator

abstract: While deep generative models have succeeded in image processing, natural language processing, and reinforcement learning, training that involves discrete random variables remains challenging due to the high variance of its gradient estimation process. Monte Carlo is a common solution used in most variance reduction approaches. However, this involves time-consuming resampling and multiple function evaluations. We propose a Gapped Straight-Through (GST) estimator to reduce the variance without incurring resampling overhead. This estimator is inspired by the essential properties of Straight-Through Gumbel-Softmax. We determine these properties and show via an ablation study that they are essential. Experiments demonstrate that the proposed GST estimator enjoys better performance compared to strong baselines on two discrete deep generative modeling tasks, MNIST-VAE and ListOps.


title: Query-Adaptive Predictive Inference with Partial Labels

abstract: The cost and scarcity of fully supervised labels in statistical machine learning encourage using partially labeled data for model validation as a cheaper and more accessible alternative. Effectively collecting and leveraging weakly supervised data for large-space structured prediction tasks thus becomes an important part of an end-to-end learning system. We propose a new computationally-friendly methodology to construct predictive sets using only partially labeled data on top of black-box predictive models. To do so, we introduce "probe" functions as a way to describe weakly supervised instances and define a false discovery proportion-type loss, both of which seamlessly adapt to partial supervision and structured prediction -- ranking, matching, segmentation, multilabel or multiclass classification. Our experiments highlight the validity of our predictive set construction as well as the attractiveness of a more flexible user-dependent loss framework.


title: Detection of long-range entanglement in gapped quantum spin liquids by local measurements

abstract: Topological order, reflected in long range patterns of entanglement, is quantified by the topological entanglement entropy (TEE) $\gamma$. We show that for gapped quantum spin liquids (QSL) it is possible to extract $\gamma$ using two-spin local correlators. We demonstrate our method for the gapped $\mathbb{Z}_2$ Kitaev spin liquid on a honeycomb lattice with anisotropic interactions. We show that the $\gamma = \log 2$ for $\mathbb{Z}_2$ topological order can be simply extracted from local two-spin correlators across two different bonds, with an accuracy comparable or higher than the Kitaev-Preskill construction. This implies that the different superselection sectors of $\mathbb{Z}_2$ gauge theory determined by global Wilson loop operators can be fully reflected locally in the matter majorana sector.


title: Location-based Twitter Filtering for the Creation of Low-Resource Language Datasets in Indonesian Local Languages

abstract: Twitter contains an abundance of linguistic data from the real world. We examine Twitter for user-generated content in low-resource languages such as local Indonesian. For NLP to work in Indonesian, it must consider local dialects, geographic context, and regional culture influence Indonesian languages. This paper identifies the problems we faced when constructing a Local Indonesian NLP dataset. Furthermore, we are developing a framework for creating, collecting, and classifying Local Indonesian datasets for NLP. Using twitter's geolocation tool for automatic annotating.


title: A Multiple kernel testing procedure for non-proportional hazards in factorial designs

abstract: In this paper we propose a Multiple kernel testing procedure to infer survival data when several factors (e.g. different treatment groups, gender, medical history) and their interaction are of interest simultaneously. Our method is able to deal with complex data and can be seen as an alternative to the omnipresent Cox model when assumptions such as proportionality cannot be justified. Our methodology combines well-known concepts from Survival Analysis, Machine Learning and Multiple Testing: differently weighted log-rank tests, kernel methods and multiple contrast tests. By that, complex hazard alternatives beyond the classical proportional hazard set-up can be detected. Moreover, multiple comparisons are performed by fully exploiting the dependence structure of the single testing procedures to avoid a loss of power. In all, this leads to a flexible and powerful procedure for factorial survival designs whose theoretical validity is proven by martingale arguments and the theory for $V$-statistics. We evaluate the performance of our method in an extensive simulation study and illustrate it by a real data analysis.


title: Test-Time Adaptation for Visual Document Understanding

abstract: For visual document understanding (VDU), self-supervised pretraining has been shown to successfully generate transferable representations, yet, effective adaptation of such representations to distribution shifts at test-time remains to be an unexplored area. We propose DocTTA, a novel test-time adaptation method for documents, that does source-free domain adaptation using unlabeled target document data. DocTTA leverages cross-modality self-supervised learning via masked visual language modeling, as well as pseudo labeling to adapt models learned on a \textit{source} domain to an unlabeled \textit{target} domain at test time. We introduce new benchmarks using existing public datasets for various VDU tasks, including entity recognition, key-value extraction, and document visual question answering. DocTTA shows significant improvements on these compared to the source model performance, up to 1.89\% in (F1 score), 3.43\% (F1 score), and 17.68\% (ANLS score), respectively. Our benchmark datasets are available at \url{https://saynaebrahimi.github.io/DocTTA.html}.


title: Extension of the bright high-harmonic photon energy range via nonadiabatic critical phase matching

abstract: Extending the photon energy range of bright high-harmonic generation to cover the entire soft X-ray region is important for many applications in science and technology. The concept of critical ionization fraction has been essential, because it dictates the maximum driving laser intensity that can be used while preserving bright harmonic emission. In this work, we reveal a second, nonadiabatic critical ionization fraction that substantially extends the maximum phase-matched high-harmonic photon energy, that arises due to strong reshaping of the intense driving laser field. We validate this understanding through a systematic comparison between experiment and theory, for a wide range of pulse durations and driving laser wavelengths. In particular, high harmonics driven by intense few-cycle pulses experience the most pronounced spectral reshaping, significantly extending the bright photon energy range. We also present an analytical model that predicts the spectral extension that can be achieved for different driving lasers. This reveals an increasing role of nonadiabatic critical phase matching when driven by few-cycle mid-infrared lasers. These findings are important for the development of high-brightness soft X-ray sources for applications in spectroscopy and imaging.


title: Coevolutionary Dynamics of Actions and Opinions in Social Networks

abstract: Empirical studies suggest a deep intertwining between opinion formation and decision-making processes, but these have been treated as separate problems in the study of dynamical models for social networks. In this paper, we bridge the gap in the literature by proposing a novel coevolutionary model, in which each individual selects an action from a binary set and has an opinion on which action they prefer. Actions and opinions coevolve on a two-layer network. For homogeneous parameters, undirected networks, and under reasonable assumptions on the asynchronous updating mechanics, we prove that the coevolutionary dynamics is an ordinal potential game, enabling analysis via potential game theory. Specifically, we establish global convergence to the Nash equilibria of the game, proving that actions converge in a finite number of time steps, while opinions converge asymptotically. Next, we provide sufficient conditions for the existence of, and convergence to, polarized equilibria, whereby the population splits into two communities, each selecting and supporting one of the actions. Finally, we use simulations to examine the social psychological phenomenon of pluralistic ignorance.


title: Closed-form Approximation for Performance Bound of Finite Blocklength Massive MIMO Transmission

abstract: Ultra-reliable low latency communications (uRLLC) is adopted in the fifth generation (5G) mobile networks to better support mission-critical applications that demand high level of reliability and low latency. With the aid of well-established multiple-input multiple-output (MIMO) information theory, uRLLC in the future 6G is expected to provide enhanced capability towards extreme connectivity. Since the latency constraint can be represented equivalently by blocklength, channel coding theory at finite block-length plays an important role in the theoretic analysis of uRLLC. On the basis of Polyanskiy's and Yang's asymptotic results, we first derive the exact close-form expressions for the expectation and variance of channel dispersion. Then, the bound of average maximal achievable rate is given for massive MIMO systems in ideal independent and identically distributed fading channels. This is the study to reveal the underlying connections among the fundamental parameters in MIMO transmissions in a concise and complete close-form formula. Most importantly, the inversely proportional law observed therein implies that the latency can be further reduced at expense of spatial degrees of freedom.


title: OpSparse: a Highly Optimized Framework for Sparse General Matrix Multiplication on GPUs

abstract: Sparse general matrix multiplication (SpGEMM) is an important and expensive computation primitive in many real-world applications. Due to SpGEMM's inherent irregularity and the vast diversity of its input matrices, developing high-performance SpGEMM implementation on modern processors such as GPUs is challenging. The state-of-the-art SpGEMM libraries (i.e., $nsparse$ and $spECK$) adopt several algorithms to tackle the challenges of global load balance, local load balance, and allocation of the result matrix. While these libraries focus on the high-level algorithm design for SpGEMM, they neglect several low-level architecture-specific optimizations, which causes inefficient implementations in their libraries. In this paper, we classify their inefficient implementations into seven categories. Based on our observations, we propose a highly optimized SpGEMM library called $OpSparse$. The optimizations in $OpSparse$ include 1) optimizing the binning method by improving the utilization of the shared memory, 2) optimizing the hashing method by reducing the access to the hash table, 3) improving the trade-off between hash collision rate and hardware utilization in the hashing method by setting appropriate binning ranges, 4) reducing the overheads of global memory utilization by minimizing the global memory usage of the metadata, and 5) improving the execution parallelism by overlapping global memory allocation with kernel execution. Performance evaluations with 26 commonly used matrices on an Nvidia Tesla V100 GPU show that $OpSparse$ achieves up to $27.8\times$, $1.81\times$, and $2.04\times$ performance speedup over three state-of-the-art libraries: $cuSPARSE$, $nsparse$, and $spECK$, respectively.


title: An Extractive-and-Abstractive Framework for Source Code Summarization

abstract: (Source) Code summarization aims to automatically generate summaries/comments for a given code snippet in the form of natural language. Such summaries play a key role in helping developers understand and maintain source code. Existing code summarization techniques can be categorized into extractive methods and abstractive methods. The extractive methods extract a subset of important statements and keywords from the code snippet using retrieval techniques, and generate a summary that preserves factual details in important statements and keywords. However, such a subset may miss identifier or entity naming, and consequently, the naturalness of generated summary is usually poor. The abstractive methods can generate human-written-like summaries leveraging encoder-decoder models from the neural machine translation domain. The generated summaries however often miss important factual details. To generate human-written-like summaries with preserved factual details, we propose a novel extractive-and-abstractive framework. The extractive module in the framework performs a task of extractive code summarization, which takes in the code snippet and predicts important statements containing key factual details. The abstractive module in the framework performs a task of abstractive code summarization, which takes in the entire code snippet and important statements in parallel and generates a succinct and human-written-like natural language summary. We evaluate the effectiveness of our technique, called EACS, by conducting extensive experiments on three datasets involving six programming languages. Experimental results show that EACS significantly outperforms state-of-the-art techniques in terms of all three widely used metrics, including BLEU, METEOR, and ROUGH-L.


title: Quantum computing overview: discrete vs. continuous variable models

abstract: In this Near Intermediate-Scale Quantum era, there are two types of near-term quantum devices available on cloud: superconducting quantum processing units (QPUs) based on the discrete variable model and linear optics (photonics) QPUs based on the continuous variable (CV) model. Quantum computation in the discrete variable model is performed in a finite dimensional quantum state space and the CV model in an infinite dimensional space. In implementing quantum algorithms, the CV model offers more quantum gates that are not available in the discrete variable model. CV-based photonic quantum computers provide additional flexibility of controlling the length of the output vectors of quantum circuits, using different methods of measurement and the notion of cutoff dimension.


title: Fair Ranking as Fair Division: Impact-Based Individual Fairness in Ranking

abstract: Rankings have become the primary interface in two-sided online markets. Many have noted that the rankings not only affect the satisfaction of the users (e.g., customers, listeners, employers, travelers), but that the position in the ranking allocates exposure -- and thus economic opportunity -- to the ranked items (e.g., articles, products, songs, job seekers, restaurants, hotels). This has raised questions of fairness to the items, and most existing works have addressed fairness by explicitly linking item exposure to item relevance. However, we argue that any particular choice of such a link function may be difficult to defend, and we show that the resulting rankings can still be unfair. To avoid these shortcomings, we develop a new axiomatic approach that is rooted in principles of fair division. This not only avoids the need to choose a link function, but also more meaningfully quantifies the impact on the items beyond exposure. Our axioms of envy-freeness and dominance over uniform ranking postulate that for a fair ranking policy every item should prefer their own rank allocation over that of any other item, and that no item should be actively disadvantaged by the rankings. To compute ranking policies that are fair according to these axioms, we propose a new ranking objective related to the Nash Social Welfare. We show that the solution has guarantees regarding its envy-freeness, its dominance over uniform rankings for every item, and its Pareto optimality. In contrast, we show that conventional exposure-based fairness can produce large amounts of envy and have a highly disparate impact on the items. Beyond these theoretical results, we illustrate empirically how our framework controls the trade-off between impact-based individual item fairness and user utility.


title: Blockchain based Secure Energy Marketplace Scheme to Motivate Peer to Peer Microgrids

abstract: In the past years trend of microgrids is increasing very fast to reduce peak-hour costs. However, in these systems, third parties are still involved in selling surplus energy. This results in increased cost of energy and there are many operational and security barriers in such systems. These issues can be solved by the decentralized distributed system of microgrids where a consumer can locally sell their surplus energy to another consumer. To deploy such a system, one must consider security barriers for the transaction of energy. This paper proposes a solution to these problems by devising a scheme as a marketplace where users interact with each other to buy and sell energy at better rates and get energy-generating resources on lease so that users do not have to worry about capital investment. Agreement between owner of resources and consumer is recorded on blockchain based smart contracts. In this paper, a survey is performed for existing well known, decentralized energy solutions. This paper also proposes an extra layer of security to leverage a shielded execution environment so that information of energy generated, utilized, and shared cannot be changed by consumers and third parties even if the system is compromised.


title: Atmospheric Overturning Circulation on Dry, Tidally-locked Rocky Planets is Mainly Driven by Radiative Cooling

abstract: In this study, we examine the driving mechanism for the atmospheric overturning circulation on dry, tidally-locked rocky planets without the condensation of water vapor or other species. We find that the main driving process is the radiative cooling of CO2 (or other non-condensable greenhouse gases) rather than CO2 greenhouse warming or stellar radiation. Stellar radiation is the ultimate mechanism but not the direct mechanism. Due to the combination of the uneven distribution in the stellar radiation and effective horizontal energy transports in the free troposphere, there is strong temperature inversion in the area away from the substellar region. This inversion makes CO2 to have a radiative cooling effect rather than a radiative warming effect for the atmosphere, same as that in the stratosphere of Earth's atmosphere. This cooling effect produces negative buoyancy and drives large-scale downwelling, supporting the formation of a global-scale overturning circulation. If CO2 is excluded from the atmosphere, the overturning circulation becomes very weak, regardless the level of stellar radiation. This mechanism is completely different from that for the atmospheric overturning circulation on Earth or on moist, tidally-locked rocky planets, where latent heat release and/or baroclinic instability are the dominated mechanisms. Our study improves the understanding of the atmospheric circulation on tidally-locked exoplanets and also on other dry planets, such as Venus and Mars in the solar system.


title: Streaming Algorithms for Ellipsoidal Approximation of Convex Polytopes

abstract: We give efficient deterministic one-pass streaming algorithms for finding an ellipsoidal approximation of a symmetric convex polytope. The algorithms are near-optimal in that their approximation factors differ from that of the optimal offline solution only by a factor sub-logarithmic in the aspect ratio of the polytope.