title: Evidence of X-ray plateaus driven by the magnetar spindown winds in gamma-ray burst afterglows

abstract: The central engine of gamma-ray bursts (GRBs) remains an open and forefront topic in the era of multimessenger astrophysics. The X-ray plateaus appear in some GRB afterglows, which are widely considered to originate from the spindown of magnetars. According to the stable magnetar scenario of GRBs, an X-ray plateau and a decay phase as $\sim t^{-2}$ should appear in X-ray afterglows. Meanwhile, the ``normal'' X-ray afterglow is produced by the external shock from GRB fireball. We analyze the Neil Gehrels \emph{Swift} GRB data, then find three gold samples, which have an X-ray plateau and a decay phase as $\sim t^{-2}$ superimposed on the jet-driven normal component. Based on these features of the lightcurves, we argue that the magnetars should be the central engines of these three GRBs. Future joint multimessenger observations might further test this possibility, then which can be beneficial to constrain GRB physics.


title: Implementation of MPPT Technique of Solar Module with Supervised Machine Learning

abstract: In this paper, we proposed a method using supervised ML in solar PV system for MPPT analysis. For this purpose, an overall schematic diagram of a PV system is designed and simulated to create a dataset in MATLAB/ Simulink. Thus, by analyzing the output characteristics of a solar cell, an improved MPPT algorithm on the basis of neural network (NN) method is put forward to track the maximum power point (MPP) of solar cell modules. To perform the task, Bayesian Regularization method was chosen as the training algorithm as it works best even for smaller data supporting the wide range of the train data set. The theoretical results show that the improved NN MPPT algorithm has higher efficiency compared with the Perturb and Observe method in the same environment, and the PV system can keep working at MPP without oscillation and probability of any kind of misjudgment. So it can not only reduce misjudgment, but also avoid power loss around the MPP. Moreover, we implemented the algorithm in a hardware set-up and verified the theoretical result comparing it with the empirical data.


title: Nonexistence of global positive solutions for p-Laplacian equations with non-linear memory

abstract: The Cauchy problem in $\mathbb{R}^d,$ $d\geq 1,$ for a non-local in time p-Laplacian equations is considered. The nonexistence of nontrivial global weak solutions by using the test function method is obtained.


title: Gibbs measures for SOS models with external field on a Cayley tree

abstract: We consider a nearest-neighbor solid-on-solid (SOS) model, with several spin values $0,1,\ldots,m,$ $m\geq2,$ and nonzero external field, on a Cayley tree of degree $k$ (with $k+1$ neighbors). We are aiming to extend the results of \cite{rs} where the SOS model is studied with (mainly) three spin values and zero external field. The SOS model can be treated as a natural generalization of the Ising model (obtained for $m=1$). We mainly assume that $m=2$ (three spin values) and study translation-invariant (TI) and splitting (S) Gibbs measures (GMs). (Splitting GMs have a particular Markov-type property specific for a tree.) For $m=2$, in the antiferromagnet (AFM) case, a TISGM is unique for all temperatures with an external field. In the ferromagnetic (FM) case, for $m=2,$ the number of TISGMs varies with the temperature and the external field: this gives an interesting example of phase transition. Our second result gives a classification of all TISGMs of the Three-State SOS-Model on the Cayley tree of degree two with the presence of an external field. We show uniqueness in the case of antiferromagnetic interactions and the existence of up to seven TISGMs in the case of ferromagnetic interactions, where the number of phases depends on the interaction strength and external field.


title: Learning Region of Attraction for Nonlinear Systems

abstract: Estimating the region of attraction (ROA) of general nonlinear autonomous systems remains a challenging problem and requires a case-by-case analysis. Leveraging the universal approximation property of neural networks, in this paper, we propose a counterexample-guided method to estimate the ROA of general nonlinear dynamical systems provided that they can be approximated by piecewise linear neural networks and that the approximation error can be bounded. Specifically, our method searches for robust Lyapunov functions using counterexamples, i.e., the states at which the Lyapunov conditions fail. We generate the counterexamples using Mixed-Integer Quadratic Programming. Our method is guaranteed to find a robust Lyapunov function in the parameterized function class, if exists, after collecting a finite number of counterexamples. We illustrate our method through numerical examples.


title: Evolution of electronic structure of Ru-doped single-crystal iridiates, Sr$_2$Ir$_{1-x}$Ru$_x$O$_4$

abstract: We investigated Ru-doped single-crystal 5$d$ iridiates, Sr$_2$Ir$_{1-x}$Ru$_x$O$_{4}$, at three different doping concentrations ($x =$ 0.01, 0.07 and 0.10) using optical spectroscopy. The undoped pristine compound (Sr$_2$IrO$_{4}$) is known as a novel $J_{eff}$ = 1/2 Mott insulator. Remarkably, the optical conductivity spectra of all three samples exhibited the insulating behavior, although we observed weak Drude components in the optical conductivity spectra down to the lowest temperature of 30 K. The charge-carrier densities of the Ru-doped iridiates estimated from the Drude components are significantly smaller than the expected values estimated from the nominal Ru-doping concentrations. Herein, we provide temperature- and doping-dependent electronic structure evolution of Ru-doped iridiates. We expect that our results will be useful for understanding the intriguing Ru-doping-dependent properties of 5$d$ iridiate Sr$_2$IrO$_{4}$.


title: Adaptation and validation of FFT methods for homogenization of lattice based materials

abstract: An FFT framework which preserves a good numerical performance in the case of domains with large regions of empty space is proposed and analyzed for its application to lattice based materials. Two spectral solvers specially suited to resolve problem containing phases with zero stiffness are considered (1) a Galerkin approach combined with the MINRES linear solver and a discrete differentiation rule and (2) a modification of a displacement FFT solver which penalizes the indetermination of strains in the empty regions, leading to a fully determined equation. The solvers are combined with several approaches to smooth out the lattice surface, based on modifying the actual stiffness of the voxels not fully embedded in the lattice or empty space. The accuracy of the resulting approaches is assessed for an octet-lattice by comparison with FEM solutions for different relative densities and discretization levels. It is shown that the adapted Galerkin approach combined with a Voigt surface smoothening was the best FFT framework considering accuracy, numerical efficiency and h-convergence. With respect to numerical efficiency it was observed that FFT becomes competitive compared to FEM for cells with relative densities above 7%. Finally, to show the real potential of the approaches presented, the FFT frameworks are used to simulate the behavior of a printed lattice by using direct 3D tomographic data as input. The approaches proposed include explicitly in the simulation the actual surface roughness and internal porosity resulting from the fabrication process. The simulations allowed to quantify the reduction of the lattice stiffness \rev{as well as to resolve the stress localization of 50% near large pores.


title: Capacity Planning in Stable Matching

abstract: We introduce the problem of jointly increasing school capacities and finding a student-optimal assignment in the expanded market. Due to the impossibility of efficiently solving the problem with classical methods, we generalize existent mathematical programming formulations of stability constraints to our setting, most of which result in integer quadratically-constrained programs. In addition, we propose a novel mixed-integer linear programming formulation that is exponentially large on the problem size. We show that its stability constraints can be separated by exploiting the objective function, leading to an effective cutting-plane algorithm. We conclude the theoretical analysis of the problem by discussing some mechanism properties. On the computational side, we evaluate the performance of our approaches in a detailed study, and we find that our cutting-plane method outperforms our generalization of existing mixed-integer approaches. We also propose two heuristics that are effective for large instances of the problem. Finally, we use the Chilean school choice system data to demonstrate the impact of capacity planning under stability conditions. Our results show that each additional seat can benefit multiple students and that we can effectively target the assignment of previously unassigned students or improve the assignment of several students through improvement chains. These insights empower the decision-maker in tuning the matching algorithm to provide a fair application-oriented solution.


title: Simplify Your Law: Using Information Theory to Deduplicate Legal Documents

abstract: Textual redundancy is one of the main challenges to ensuring that legal texts remain comprehensible and maintainable. Drawing inspiration from the refactoring literature in software engineering, which has developed methods to expose and eliminate duplicated code, we introduce the duplicated phrase detection problem for legal texts and propose the Dupex algorithm to solve it. Leveraging the Minimum Description Length principle from information theory, Dupex identifies a set of duplicated phrases, called patterns, that together best compress a given input text. Through an extensive set of experiments on the Titles of the United States Code, we confirm that our algorithm works well in practice: Dupex will help you simplify your law.


title: Stanford Pupper: A Low-Cost Agile Quadruped Robot for Benchmarking and Education

abstract: We present Stanford Pupper, an easily-replicated open source quadruped robot designed specifically as a benchmark platform for legged robotics research. The robot features torque-controllable brushless motors with high specific power that enable testing of impedance and torque-based machine learning and optimization control approaches. Pupper can be built from the ground up in under 8 hours for a total cost under $2000, with all components either easily purchased or 3D printed. To rigorously compare control approaches, we introduce two benchmarks, Sprint and Scramble with a leader board maintained by Stanford Student Robotics. These benchmarks test high-speed dynamic locomotion capability, and robustness to unstructured terrain. We provide a reference controller with dynamic, omnidirectional gaits that serves as a baseline for comparison. Reproducibility is demonstrated across multiple institutions with robots made independently. All material is available at https://stanfordstudentrobotics.org/quadruped-benchmark.


title: A Survey of COVID-19 Misinformation: Datasets, Detection Techniques and Open Issues

abstract: Misinformation during pandemic situations like COVID-19 is growing rapidly on social media and other platforms. This expeditious growth of misinformation creates adverse effects on the people living in the society. Researchers are trying their best to mitigate this problem using different approaches based on Machine Learning (ML), Deep Learning (DL), and Natural Language Processing (NLP). This survey aims to study different approaches of misinformation detection on COVID-19 in recent literature to help the researchers in this domain. More specifically, we review the different methods used for COVID-19 misinformation detection in their research with an overview of data pre-processing and feature extraction methods to get a better understanding of their work. We also summarize the existing datasets which can be used for further research. Finally, we discuss the limitations of the existing methods and highlight some potential future research directions along this dimension to combat the spreading of misinformation during a pandemic.


title: Some new central parts of connected graphs

abstract: The center, median and the security center are three central parts defined for any connected graph whereas the characteristic set, subtree core and core vertices are three central parts defined for trees only. We extend the concept of the characteristic set, subtree core and core vertices to general connected graphs and call them the characteristic center, subgraph core and core vertices, respectively. We show by examples that in a connected graph all the above six central parts can be different and also prove that for a connected vertex transitive graph each of the six central parts is the whole vertex set. Further it is shown that given any graph $G$, there exists a connected supergraph $G_{ch}$ of $G$ with the whole vertex set of $G$ as the characteristic center. Associated with the subgraph core and core vertices, we leave some unanswered question related to the graph centrality.


title: Examples of fourth-order scattering-type operators with embedded eigenvalues in their continuous spectra

abstract: We give examples of fourth-order scattering-type operators, acting on $L_2(\mathbb{R})$, which have eigenvalues embedded in their continuous spectra.


title: FICGAN: Facial Identity Controllable GAN for De-identification

abstract: In this work, we present Facial Identity Controllable GAN (FICGAN) for not only generating high-quality de-identified face images with ensured privacy protection, but also detailed controllability on attribute preservation for enhanced data utility. We tackle the less-explored yet desired functionality in face de-identification based on the two factors. First, we focus on the challenging issue to obtain a high level of privacy protection in the de-identification task while uncompromising the image quality. Second, we analyze the facial attributes related to identity and non-identity and explore the trade-off between the degree of face de-identification and preservation of the source attributes for enhanced data utility. Based on the analysis, we develop Facial Identity Controllable GAN (FICGAN), an autoencoder-based conditional generative model that learns to disentangle the identity attributes from non-identity attributes on a face image. By applying the manifold k-same algorithm to satisfy k-anonymity for strengthened security, our method achieves enhanced privacy protection in de-identified face images. Numerous experiments demonstrate that our model outperforms others in various scenarios of face de-identification.


title: Lower Bounds for Induced Cycle Detection in Distributed Computing

abstract: The distributed subgraph detection asks, for a fixed graph $H$, whether the $n$-node input graph contains $H$ as a subgraph or not. In the standard CONGEST model of distributed computing, the complexity of clique/cycle detection and listing has received a lot of attention recently. In this paper we consider the induced variant of subgraph detection, where the goal is to decide whether the $n$-node input graph contains $H$ as an \emph{induced} subgraph or not. We first show a $\tilde{\Omega}(n)$ lower bound for detecting the existence of an induced $k$-cycle for any $k\geq 4$ in the CONGEST model. This lower bound is tight for $k=4$, and shows that the induced variant of $k$-cycle detection is much harder than the non-induced version. This lower bound is proved via a reduction from two-party communication complexity. We complement this result by showing that for $5\leq k\leq 7$, this $\tilde{\Omega}(n)$ lower bound cannot be improved via the two-party communication framework. We then show how to prove stronger lower bounds for larger values of $k$. More precisely, we show that detecting an induced $k$-cycle for any $k\geq 8$ requires $\tilde{\Omega}(n^{2-\Theta{(1/k)}})$ rounds in the CONGEST model, nearly matching the known upper bound $\tilde{O}(n^{2-\Theta{(1/k)}})$ of the general $k$-node subgraph detection (which also applies to the induced version) by Eden, Fiat, Fischer, Kuhn, and Oshman~[DISC 2019]. Finally, we investigate the case where $H$ is the diamond (the diamond is obtained by adding an edge to a 4-cycle, or equivalently removing an edge from a 4-clique), and show non-trivial upper and lower bounds on the complexity of the induced version of diamond detecting and listing.


title: Engineering antiferromagnetic skyrmions and antiskyrmions at metallic interfaces

abstract: We identify a mechanism to convert skyrmions and antiskyrmions into their antiferromagnetic (AFM) counterparts via interfacial engineering. The key idea is to combine properties of an antiferromagnet and a spin-orbit (SO) coupled metal. Utilizing hybrid Monte Carlo (HMC) simulations for a generic microscopic electronic Hamiltonian for the interfacial layers, we explicitly show the emergence of AFM skyrmions and AFM antiskyrmions. We further show that an effective spin Hamiltonian provides a simpler understanding of the results. We discuss the role of electronic itinerancy in determining the nature of magnetic textures, and demonstrate that the mechanism also allows for a tuning of antiskyrmion size without changing the SO coupling.


title: Fredholm Toeplitz operators on doubling Fock spaces

abstract: Recently the authors characterized the Fredholmn properties of Toeplitz operators on weighted Fock spaces when the Laplacian of the weight function is bounded below and above. In the present work the authors extend their characterization to doubling Fock spaces with a subharmonic weight whose Laplacian is a doubling measure. The geometry induced by the Bergman metric for doubling Fock spaces is much more complicated than that of the Euclidean metric used in all the previous cases to study Fredholmness, which leads to considerably more involved calculations.


title: Random Subgraph Detection Using Queries

abstract: The planted densest subgraph detection problem refers to the task of testing whether in a given (random) graph there is a subgraph that is unusually dense. Specifically, we observe an undirected and unweighted graph on $n$ vertices. Under the null hypothesis, the graph is a realization of an Erd\H{o}s-R\'{e}nyi graph with edge probability (or, density) $q$. Under the alternative, there is a subgraph on $k$ vertices with edge probability $p>q$. The statistical as well as the computational barriers of this problem are well-understood for a wide range of the edge parameters $p$ and $q$. In this paper, we consider a natural variant of the above problem, where one can only observe a relatively small part of the graph using adaptive edge queries. For this model, we determine the number of queries necessary and sufficient (accompanied with a quasi-polynomial optimal algorithm) for detecting the presence of the planted subgraph. We also propose a polynomial-time algorithm which is able to detect the planted subgraph, albeit with more queries compared to the above lower bound. We conjecture that in the leftover regime, no polynomial-time algorithms exist. Our results resolve two open questions posed in the past literature.

categories: cs.DS cs.IT cs.LG math.IT math.ST stat.TH


title: End-to-End Complex-Valued Multidilated Convolutional Neural Network for Joint Acoustic Echo Cancellation and Noise Suppression

abstract: Echo and noise suppression is an integral part of a full-duplex communication system. Many recent acoustic echo cancellation (AEC) systems rely on a separate adaptive filtering module for linear echo suppression and a neural module for residual echo suppression. However, not only do adaptive filtering modules require convergence and remain susceptible to changes in acoustic environments, but this two-stage framework also often introduces unnecessary delays to the AEC system when neural modules are already capable of both linear and nonlinear echo suppression. In this paper, we exploit the offset-compensating ability of complex time-frequency masks and propose an end-to-end complex-valued neural network architecture. The building block of the proposed model is a pseudocomplex extension based on the densely-connected multidilated DenseNet (D3Net) building block, resulting in a very small network of only 354K parameters. The architecture utilized the multi-resolution nature of the D3Net building blocks to eliminate the need for pooling, allowing the network to extract features using large receptive fields without any loss of output resolution. We also propose a dual-mask technique for joint echo and noise suppression with simultaneous speech enhancement. Evaluation on both synthetic and real test sets demonstrated promising results across multiple energy-based metrics and perceptual proxies.


title: Extension of Krust theorem and deformations of minimal surfaces

abstract: In the minimal surface theory, the Krust theorem asserts that if a minimal surface in the Euclidean 3-space $\mathbb{E}^3$ is the graph of a function over a convex domain, then each surface of its associated family is also a graph. The same is true for maximal surfaces in the Minkowski 3-space $\mathbb{L}^3$. In this article, we introduce a new deformation family that continuously connects minimal surfaces in $\mathbb{E}^3$ and maximal surfaces in $\mathbb{L}^3$, and prove a Krust-type theorem for this deformation family. This result induces Krust-type theorems for various important deformation families containing the associated family and the L\'opez-Ros deformation. Furthermore, minimal surfaces in the isotropic 3-space $\mathbb{I}^3$ appear in the middle of the above deformation family. We also prove another type of Krust's theorem for this family, which implies that the graphness of such minimal surfaces in $\mathbb{I}^3$ strongly affects the graphness of deformed surfaces. The results are proved based on the recent progress of planar harmonic mapping theory.


title: Maximum-Likelihood Quantum State Tomography by Cover's Method with Non-Asymptotic Analysis

abstract: We propose an iterative algorithm that computes the maximum-likelihood estimate in quantum state tomography. The optimization error of the algorithm converges to zero at an $O ( ( 1 / k ) \log D )$ rate, where $k$ denotes the number of iterations and $D$ denotes the dimension of the quantum state. The per-iteration computational complexity of the algorithm is $O ( D ^ 3 + N D ^2 )$, where $N$ denotes the number of measurement outcomes. The algorithm can be considered as a parameter-free correction of the $R \rho R$ method [A. I. Lvovsky. Iterative maximum-likelihood reconstruction in quantum homodyne tomography. \textit{J. Opt. B: Quantum Semiclass. Opt.} 2004] [G. Molina-Terriza et al. Triggered qutrits for quantum communication protocols. \textit{Phys. Rev. Lett.} 2004.].


title: Single-layer Ga2O3/graphene heterogeneous structure with optical switching effect

abstract: Both single layer Ga2O3 (SLGO) and graphene are attractive due to their respective electronic and mechanical properties such as wide bandgap and high electrical conductivity. Bringing them together by using van der Waals force to form a heterogeneous structure is new and worth to investigate. In this work, density functional theory (DFT) study of SLGO/graphene has been conducted through varying the interlayer distance. Standard procedures of calculating double-layer heterostructures using DFT has been followed, and several interesting phenomena have been unveiled, for example, band opening in conduction bands of the SLGO and graphene and switching effect of the in-plane optical absorption.


title: Theory of polarization-averaged core-level molecular-frame photoelectron angular distributions: III. New formula for p- and s-wave interference analogous to Young's double-slit for core-level photoemission from hetero-diatomic molecules

abstract: We present a new variation of Young's double-slit formula for polarization-averaged molecular-frame photoelectron angular distributions (PA-MFPADs) of hetero-diatomic molecules, which may be used to extract the bond length. So far, empirical analysis of the PA-MFPADs has often been carried out employing Young's formula in which each of the two atomic centers emits a $s$-photoelectron wave. The PA-MFPADs, on the other hand, can consist of an interference between the $p$-wave from the X-ray absorbing atom emitted along the molecular axis and the $s$-wave scattered by neighboring atom, within the framework of Multiple Scattering theory. The difference of this $p$-$s$ wave interference from the commonly used $s$-$s$ wave interference causes a dramatic change in the interference pattern, especially near the angles perpendicular to the molecular axis. This change involves an additional fringe, urging us to caution when using the conventional Young's formula for retrieving the bond length. We have derived a new formula analogous to Young's formula but for the $p$-$s$ wave interference. The bond lengths retrieved from the PA-MFPADs via the new formula reproduce the original C-O bond lengths used in the reference $ab$-$initio$ PA-MFPADs within the relative error of 5 %. In the high energy regime, this new formula for $p$-$s$ wave interference converges to the ordinary Young's formula for the $s$-$s$ wave interference. We expect it to be used to retrieve the bond length for time-resolved PA-MFPADs instead of the conventional Young's formula.


title: Probabilistic representation of parabolic stochastic variational inequality with Dirichlet-Neumann boundary and variational generalized backward doubly stochastic differential equations

abstract: We derive the existence and uniqueness of the generalized backward doubly stochastic differential equation with sub-differential of a lower semi-continuous convex function under a non Lipschitz condition. This study allows us give a probabilistic representation (in stochastic viscosity sense) to the parabolic variational stochastic partial differential equations with Dirichlet-Neumann conditions.


title: Partner-Aware Algorithms in Decentralized Cooperative Bandit Teams

abstract: When humans collaborate with each other, they often make decisions by observing others and considering the consequences that their actions may have on the entire team, instead of greedily doing what is best for just themselves. We would like our AI agents to effectively collaborate in a similar way by capturing a model of their partners. In this work, we propose and analyze a decentralized Multi-Armed Bandit (MAB) problem with coupled rewards as an abstraction of more general multi-agent collaboration. We demonstrate that na\"ive extensions of single-agent optimal MAB algorithms fail when applied for decentralized bandit teams. Instead, we propose a Partner-Aware strategy for joint sequential decision-making that extends the well-known single-agent Upper Confidence Bound algorithm. We analytically show that our proposed strategy achieves logarithmic regret, and provide extensive experiments involving human-AI and human-robot collaboration to validate our theoretical findings. Our results show that the proposed partner-aware strategy outperforms other known methods, and our human subject studies suggest humans prefer to collaborate with AI agents implementing our partner-aware strategy.


title: Approximate inversion for Abel integral operators of variable exponent and applications to fractional Cauchy problems

abstract: We investigate the variable-exponent Abel integral equations and corresponding fractional Cauchy problems. The main contributions of the work are enumerated as follows: (i) We develop an approximate inversion technique for variable-exponent Abel integral operators, based on which we analyze the corresponding integral and differential equations; (ii) We prove that the sensitive dependence of the well-posedness of classical Riemann-Liouville fractional differential equations on the initial value could be resolved by adjusting the initial value of the variable exponent; (iii) We prove that the singularity of the solutions to the Riemann-Liouville fractional differential equations could also be eliminated by adjusting the variable exponent and its derivatives at the initial time, which, together with (ii), demonstrates the advantages of introducing the variable exponent. The proposed approximate inversion technique provides a potential means to convert the intricate variable-exponent integral and differential problems to feasible forms, and the above findings suggest that the variable-exponent fractional problems may serve as a connection between integer-order and fractional models by adjusting the variable exponent at the initial time.


title: Explicit solution for backward stochastic Volterra integral equations with linear time delayed generators

abstract: This note aims to give an explicit solution for backward stochastic Volterra integral equations with linear time delayed generators. The process $Y$ is expressed by an integral whose kernel is explicitly given. The processes $Z$ is expressed by Hida-Malliavin derivatives involving $Y$.


title: $L^{p}$-solutions of backward stochastic differential equations with time-delayed generators

abstract: This article is devoted to study the class of backward stochastic differential equation with delayed generator. We suppose the terminal value and the generator to be $L^{p}$-integrable with $p>1$. We derive a new type of estimation related to this BSDE. Next, we establish the existence and uniqueness result in two ways. First, an approximation technics used by Briand et al. (Stochastic Process. Appl. 108 (2003) 109-129) and hence the well-know Picard iterative procedure. Using Picard iterative procedure, we revisit the result of Dos Reis et al. (Stochastic Process. Appl. 121 (9) (2011) 2114-2150), simplifying the proof and give an explicit existence and uniqueness condition related to the Lipschitz constant $K$ and the terminal time $T$.


title: Explainable Event Recognition

abstract: The literature shows outstanding capabilities for CNNs in event recognition in images. However, fewer attempts are made to analyze the potential causes behind the decisions of the models and exploring whether the predictions are based on event-salient objects or regions? To explore this important aspect of event recognition, in this work, we propose an explainable event recognition framework relying on Grad-CAM and an Xception architecture-based CNN model. Experiments are conducted on three large-scale datasets covering a diversified set of natural disasters, social, and sports events. Overall, the model showed outstanding generalization capabilities obtaining overall F1-scores of 0.91, 0.94, and 0.97 on natural disasters, social, and sports events, respectively. Moreover, for subjective analysis of activation maps generated through Grad-CAM for the predicted samples of the model, a crowdsourcing study is conducted to analyze whether the model's predictions are based on event-related objects/regions or not? The results of the study indicate that 78%, 84%, and 78% of the model decisions on natural disasters, sports, and social events datasets, respectively, are based onevent-related objects or regions.


title: Single-photon sources based on asymmetric spatial multiplexing with optimized inputs

abstract: We develop a statistical theory describing the operation of multiplexed single-photon sources equipped with photon-number-resolving detectors that includes the potential use of different input mean photon numbers in each of the multiplexed units. This theory accounts for all relevant loss mechanisms and allows for the maximization of the single-photon probabilities under realistic conditions by optimizing the different input mean photon numbers unit-wise and the detection strategy that can be defined in terms of actual detected photon numbers. We apply this novel description to analyze periodic single-photon sources based on asymmetric spatial multiplexing realized with general asymmetric routers. We show that optimizing the different input mean photon numbers results in maximal single-photon probabilities higher than those achieved by using optimal identical input mean photon numbers in this setup. We identify the parameter ranges of the system for which the enhancement in the single-photon probability for the various detection strategies is relevant. An additional advantage of the unit-wise optimization of the input mean photon numbers is that it can result in the decrease of the optimal system size needed to maximize the single-photon probability. We find that the highest single-photon probability that our scheme can achieve in principle when realized with state-of-the-art bulk optical elements is 0.935. This is the highest one to our knowledge that has been reported thus far in the literature for experimentally realizable single-photon sources.


title: A Facial Reduction Approach for the Single Source Localization Problem

abstract: The single source localization problem (SSLP) appears in several fields such as signal processing and global positioning systems. The optimization problem of SSLP is nonconvex and difficult to find its globally optima solution. It can be reformulated as a rank constrained Euclidean distance matrix (EDM) completion problem with a number of equality constraints. In this paper, we propose a facial reduction approach to solve such an EDM completion problem. For the constraints of fixed distances between sensors, we reduce them to a face of the EDM cone and derive the closed formulation of the face. We prove constraint nondegeneracy for each feasible point of the resulting EDM optimization problem without a rank constraint, which guarantees the quadratic convergence of semismooth Newton's method. To tackle the nonconvex rank constraint, we apply the majorized penalty approach developed by Zhou et al. (IEEE Trans Signal Process 66(3):4331-4346, 2018). Numerical results verify the fast speed of the proposed approach while giving comparable quality of solutions as other methods.


title: Making Things Explainable vs Explaining: Requirements and Challenges under the GDPR

abstract: The European Union (EU) through the High-Level Expert Group on Artificial Intelligence (AI-HLEG) and the General Data Protection Regulation (GDPR) has recently posed an interesting challenge to the eXplainable AI (XAI) community, by demanding a more user-centred approach to explain Automated Decision-Making systems (ADMs). Looking at the relevant literature, XAI is currently focused on producing explainable software and explanations that generally follow an approach we could term One-Size-Fits-All, that is unable to meet a requirement of centring on user needs. One of the causes of this limit is the belief that making things explainable alone is enough to have pragmatic explanations. Thus, insisting on a clear separation between explainabilty (something that can be explained) and explanations, we point to explanatorY AI (YAI) as an alternative and more powerful approach to win the AI-HLEG challenge. YAI builds over XAI with the goal to collect and organize explainable information, articulating it into something we called user-centred explanatory discourses. Through the use of explanatory discourses/narratives we represent the problem of generating explanations for Automated Decision-Making systems (ADMs) into the identification of an appropriate path over an explanatory space, allowing explainees to interactively explore it and produce the explanation best suited to their needs.


title: Person Entity Profiling Framework: Identifying, Integrating and Visualizing Online Freely Available Entity-Related Information

abstract: When we consider our CV, it is full of entities that we are or were associated with and that define us in some way(s). Such entities include where we studied, where we worked, who we collaborated with on a project or on a paper etc. Entities we are linked to are part of who we are and may reveal about what we are interested in. Hence, we can view any CV as a graph of interlinked entities, where nodes are entities and edges are relations between them. This study proposes a novel entity search framework that in response to a real-time query about an entity, searches, crawls, analyzes and consolidates relevant information that is freely available on the Web about the entity of interest, culminating in the generation a profile of the searched entity. Unlike typical entity search settings, in which a ranked list of entities related to the target entity over a pre-specified relation is processed, we present and visualize rich information about the entity of interest as a typed entity-relation graph without an apriori definition of the types of related entities and relations. This view is structured and compact, making it easy to understand as well as interpret. It enables the user to learn not only about the entity in question, but also about related entities, thereby obtaining a better understanding of the entity in question. We evaluated each of the frameworks components separately and then performed an overall evaluation of the framework, its visualization and the interest of users in the results. The results show that the proposed framework performs entity searches, related entity identification and relation identification very well and that it satisfies users needs.


title: AB-Mapper: Attention and BicNet Based Multi-agent Path Finding for Dynamic Crowded Environment

abstract: Multi-agent path finding in dynamic crowded environments is of great academic and practical value for multi-robot systems in the real world. To improve the effectiveness and efficiency of communication and learning process during path planning in dynamic crowded environments, we introduce an algorithm called Attention and BicNet based Multi-agent path planning with effective reinforcement (AB-Mapper)under the actor-critic reinforcement learning framework. In this framework, on the one hand, we utilize the BicNet with communication function in the actor-network to achieve intra team coordination. On the other hand, we propose a centralized critic network that can selectively allocate attention weights to surrounding agents. This attention mechanism allows an individual agent to automatically learn a better evaluation of actions by also considering the behaviours of its surrounding agents. Compared with the state-of-the-art method Mapper,our AB-Mapper is more effective (85.86% vs. 81.56% in terms of success rate) in solving the general path finding problems with dynamic obstacles. In addition, in crowded scenarios, our method outperforms the Mapper method by a large margin,reaching a stunning gap of more than 40% for each experiment.


title: ComOpT: Combination and Optimization for Testing Autonomous Driving Systems

abstract: ComOpT is an open-source research tool for coverage-driven testing of autonomous driving systems, focusing on planning and control. Starting with (i) a meta-model characterizing discrete conditions to be considered and (ii) constraints specifying the impossibility of certain combinations, ComOpT first generates constraint-feasible abstract scenarios while maximally increasing the coverage of k-way combinatorial testing. Each abstract scenario can be viewed as a conceptual equivalence class, which is then instantiated into multiple concrete scenarios by (1) randomly picking one local map that fulfills the specified geographical condition, and (2) assigning all actors accordingly with parameters within the range. Finally, ComOpT evaluates each concrete scenario against a set of KPIs and performs local scenario variation via spawning a new agent that might lead to a collision at designated points. We use ComOpT to test the Apollo~6 autonomous driving software stack. ComOpT can generate highly diversified scenarios with limited test budgets while uncovering problematic situations such as inabilities to make simple right turns, uncomfortable accelerations, and dangerous driving patterns. ComOpT participated in the 2021 IEEE AI Autonomous Vehicle Testing Challenge and won first place among more than 110 contending teams.


title: Generating User-Centred Explanations via Illocutionary Question Answering: From Philosophy to Interfaces

abstract: We propose a new method for generating explanations with AI and a tool to test its expressive power within a user interface. In order to bridge the gap between philosophy and human-computer interfaces, we show a new approach for the generation of interactive explanations based on a sophisticated pipeline of AI algorithms for structuring natural language documents into knowledge graphs, answering questions effectively and satisfactorily. With this work we aim to prove that the philosophical theory of explanations presented by Achinstein can be actually adapted for being implemented into a concrete software application, as an interactive and illocutionary process of answering questions. Specifically, our contribution is an approach to frame illocution in a computer-friendly way, to achieve user-centrality with statistical question answering. Indeed, we frame the illocution of an explanatory process as that mechanism responsible for anticipating the needs of the explainee in the form of unposed, implicit, archetypal questions, hence improving the user-centrality of the underlying explanatory process. Therefore, we hypothesise that if an explanatory process is an illocutionary act of providing content-giving answers to questions, and illocution is as we defined it, the more explicit and implicit questions can be answered by an explanatory tool, the more usable its explanations. We tested our hypothesis with a user-study involving more than 60 participants, on two XAI-based systems, one for credit approval and one for heart disease prediction. The results showed that increasing the illocutionary power of an explanatory tool can produce statistically significant improvements on effectiveness. This, combined with a visible alignment between the increments in effectiveness and satisfaction, suggests that our understanding of illocution can be correct, giving evidence in favour of our theory.


title: On the lambda algebra and Singer's cohomological transfer

abstract: Writing $\mathbb A$ for the 2-primary Steenrod algebra, which is the algebra of stable natural endomorphisms of the mod 2 cohomology functor on topological spaces. Working at the prime 2, computing the cohomology of $\mathbb A$ is an important problem of Algebraic topology, because it is the initial page of the Adams spectral sequence converging to stable homotopy groups of the spheres. A relatively efficient tool to describe this cohomology is the Singer algebraic transfer of rank $n$ in [Math. Z. 202 (1989), 493-523], which passes from a certain subquotient of a divided power algebra to the cohomology of $\mathbb A.$ Singer predicted that this transfer is a monomorphism, but this remains open for $n\geq 4.$ This short note is to verify the conjecture in the ranks 4 and 5 and some generic degrees.


title: Quantum-coherent light-electron interaction in an SEM

abstract: The last two decades experimentally affirmed the quantum nature of free electron wavepackets by the rapid development of transmission electron microscopes into ultrafast, quantum-coherent systems. In particular, ultrafast electron pulses can be generated and timed to interact with optical near-fields, yielding coherent exchange of the quantized photon energy between the relativistic electron wavepacket and the light field. So far, all experiments have been restricted to the physically-confining bounds of transmission electron microscopes, with their small, millimeter-sized sample chambers. In this work, we show the quantum coherent coupling between electrons and light in a scanning electron microscope, at unprecedentedly low electron energies down to 10.4 keV, so with sub-relativistic electrons. Scanning electron microscopes not only afford the yet-unexplored electron energies from ~0.5 to 30 keV providing optimum light-coupling efficiencies, but they also offer spacious and easily-configurable experimental chambers for extended and cascaded optical set-ups, potentially boasting thousands of photon-electron interaction zones. Our results unleashes the full potential of quantum experiments including electron wavepacket shaping and quantum computing with multiple arithmetic operations and will allow imaging with low-energy electrons and attosecond time resolution.


title: On universal parity on free two-dimensional knots

abstract: We prove that the Gaussian parity on free two-dimensional knots is universal.


title: Interplay of spin-precession and higher harmonics in the parameter estimation of binary black holes

abstract: Gravitational-wave (GW) signals from coalescing compact binaries carry enormous information about the source dynamics and are an excellent tool to probe unknown astrophysics and fundamental physics. Though the updated catalog of compact binary signals reports evidence for slowly spinning systems and unequal mass binaries, the data so far cannot provide convincing proof of strongly precessing binaries. Here, we use the GW inference library parallel Bilby to compare the performance of two waveform models for measuring spin-induced orbital precession. One of the waveform models incorporates both spin-precession effects and sub-dominant harmonics. The other model accounts for precession but only includes the leading harmonic. By simulating signals with varying mass ratios and spins, we find that the waveform model with sub-dominant harmonics enables us to infer the presence of precession in most cases accurately. In contrast, the dominant model often fails to extract enough information to measure precession. In particular, it cannot distinguish a face-on highly precessing binary from a slowly precessing binary system irrespective of the binary's mass ratio. As expected, we see a significant improvement in measuring precession for edge-on binaries. Other intrinsic parameters also become better constrained, indicating that precession effects help break the correlations between mass and spin parameters. However, the precession measurements are prior dominated for equal-mass binaries with face-on orientation, even if we employ waveform model including subdominant harmonics. In this case, doubling the signal-to-noise ratio does not help to reduce these prior induced biases. As we expect detections of highly spinning binary signals with misaligned spin orientations in the future, simulation studies like ours are crucial for understanding the prospects and limitations of GW parameter inferences.


title: Sublinear Approximation Algorithm for Nash Social Welfare with XOS Valuations

abstract: We study the problem of allocating indivisible goods among $n$ agents with the objective of maximizing Nash social welfare (NSW). This welfare function is defined as the geometric mean of the agents' valuations and, hence, it strikes a balance between the extremes of social welfare (arithmetic mean) and egalitarian welfare (max-min value). Nash social welfare has been extensively studied in recent years for various valuation classes. In particular, a notable negative result is known when the agents' valuations are complement-free and are specified via value queries: for XOS valuations, one necessarily requires exponentially many value queries to find any sublinear (in $n$) approximation for NSW. Indeed, this lower bound implies that stronger query models are needed for finding better approximations. Towards this, we utilize demand oracles and XOS oracles; both of these query models are standard and have been used in prior work on social welfare maximization with XOS valuations. We develop the first sublinear approximation algorithm for maximizing Nash social welfare under XOS valuations, specified via demand and XOS oracles. Hence, this work breaks the $O(n)$-approximation barrier for NSW maximization under XOS valuations. We obtain this result by developing a novel connection between NSW and social welfare under a capped version of the agents' valuations. In addition to this insight, which might be of independent interest, this work relies on an intricate combination of multiple technical ideas, including the use of repeated matchings and the discrete moving knife method. In addition, we partially complement the algorithmic result by showing that, under XOS valuations, an exponential number of demand and XOS queries are necessarily required to approximate NSW within a factor of $\left(1 - \frac{1}{e}\right)$.


title: TopiOCQA: Open-domain Conversational Question Answering with Topic Switching

abstract: In a conversational question answering scenario, a questioner seeks to extract information about a topic through a series of interdependent questions and answers. As the conversation progresses, they may switch to related topics, a phenomenon commonly observed in information-seeking search sessions. However, current datasets for conversational question answering are limiting in two ways: 1) they do not contain topic switches; and 2) they assume the reference text for the conversation is given, i.e., the setting is not open-domain. We introduce TopiOCQA (pronounced Tapioca), an open-domain conversational dataset with topic switches on Wikipedia. TopiOCQA contains 3,920 conversations with information-seeking questions and free-form answers. On average, a conversation in our dataset spans 13 question-answer turns and involves four topics (documents). TopiOCQA poses a challenging test-bed for models, where efficient retrieval is required on multiple turns of the same conversation, in conjunction with constructing valid responses using conversational history. We evaluate several baselines, by combining state-of-the-art document retrieval methods with neural reader models. Our best model achieves F1 of 55.8, falling short of human performance by 14.2 points, indicating the difficulty of our dataset. Our dataset and code is available at https://mcgill-nlp.github.io/topiocqa


title: New families of quantum stabilizer codes from Hermitian self-orthogonal algebraic geometry codes

abstract: There has been a lot of effort to construct good quantum codes from the classical error correcting codes. Constructing new quantum codes, using Hermitian self-orthogonal codes, seems to be a difficult problem in general. In this paper, Hermitian self-orthogonal codes are studied from algebraic function fields. Sufficient conditions for the Hermitian self-orthogonality of an algebraic geometry code are presented. New Hermitian self-orthogonal codes are constructed from projective lines, elliptic curves, hyper-elliptic curves, Hermitian curves, and Artin-Schreier curves. In addition, over the projective lines, we construct new families of MDS quantum codes with parameters $[[N,N-2K,K+1]]_q$ under the following conditions: i) $N=t(q-1)+1$ or $t(q-1)+2$ with $t|(q+1)$ and $K=\lfloor\frac{t(q-1)+1}{2t}\rfloor+1$; ii) $(n-1)|(q^2-1)$, $N=n$ or $N=n+1$, $K_0=\lfloor\frac{n+q-1}{q+1}\rfloor$, and $K\ge K_0+1$; iii) $N=tq+1$, $\forall~1\le t\le q$ and $K=\lfloor\frac{tq+q-1}{q+1}\rfloor+1$; iv) $n|(q^2-1)$, $n_2=\frac{n}{\gcd (n,q+1)}$, $\forall~ 1\le t\le \frac{q-1}{n_2}-1$, $N=(t+1)n+2$ and $K=\lfloor \frac{(t+1)n+1+q-1}{q+1}\rfloor+1$.


title: Simulation of corrosion and mechanical degradation of additively manufactured Mg scaffolds in simulated body fluid

abstract: A simulation strategy based in the finite element model was developed to model the corrosion and mechanical properties of biodegradable Mg scaffolds manufactured by laser power bed fusion after immersion in simulated body fluid. Corrosion was simulated through a phenomenological, diffusion-based model which can take into account pitting. The elements in which the concentration of Mg was below a certain threshold (representative of the formation of Mg(OH)2) after the corrosion simulation were deleted for the mechanical simulations, in which Mg was assumed to behave as an isotropic, elastic-perfectly plastic solid and fracture was introduced through a ductile failure model. The parameters of the models were obtained from previous experimental results and the numerical predictions of the strength and fracture mechanisms of WE43 Mg alloy porous scaffolds in the as-printed condition and after immersion in simulated body fluid were in good agreement with the experimental results. Thus, the simulation strategy is able to assess the effect of corrosion on the mechanical behavior of biodegradable scaffolds, which is critical for design of biodegradable scaffolds for biomedical applications.


title: Non-average price impact in order-driven markets

abstract: We present a measurement of price impact in order-driven markets that does not require averages across executions or scenarios. Given the order book data associated with one single execution of a sell metaorder, we measure its contribution to price decrease during the trade. We do so by modelling the limit order book using state-dependent Hawkes processes, and by defining the price impact profile of the execution as a function of the compensator of a stochastic process in our model. We apply our measurement to a data set from NASDAQ, and we conclude that the clustering of sell child orders has a bigger impact on price than their sizes.


title: Network Friendly Recommendations: Optimizing for Long Viewing Sessions

abstract: Caching algorithms try to predict content popularity, and place the content closer to the users. Additionally, nowadays requests are increasingly driven by recommendation systems (RS). These important trends, point to the following: \emph{make RSs favor locally cached content}, this way operators reduce network costs, and users get better streaming rates. Nevertheless, this process should preserve the quality of the recommendations (QoR). In this work, we propose a Markov Chain model for a stochastic, recommendation-driven \emph{sequence} of requests, and formulate the problem of selecting high quality recommendations that minimize the network cost \emph{in the long run}. While the original optimization problem is non-convex, it can be convexified through a series of transformations. Moreover, we extend our framework for users who show preference in some positions of the recommendations' list. To our best knowledge, this is the first work to provide an optimal polynomial-time algorithm for these problems. Finally, testing our algorithms on real datasets suggests significant potential, e.g., $2\times$ improvement compared to baseline recommendations, and 80\% compared to a greedy network-friendly-RS (which optimizes the cost for I.I.D. requests), while preserving at least 90\% of the original QoR. Finally, we show that taking position preference into account leads to additional performance gains.


title: Emerging Trends of Recently Published Datasets for Intrusion Detection Systems (IDS): A Survey

abstract: With the ubiquitous nature of information technology solutions that facilitate communication in the modern world, cyber attacks are increasing in volume and becoming more sophisticated in nature. From classic network-based Denial of Service (DoS) attacks to the more recent concerns of privacy compromises, Intrusion Detection Systems (IDS) are becoming an urgent need to safeguard the modern information technology landscape. The development of these IDS relies on training and evaluation datasets that must evolve with time and represent the contemporary threat landscape. The purpose of this analysis is to explore such recent datasets, describe how they enable research endeavours and the development of novel IDS. Specifically, 7 recent datasets published for IDS research have been reviewed along with selected publications that have employed them. In doing so, the discussion emphasizes the need for the publication of even more modern datasets, especially for emerging technologies such as the Internet of Things (IoT) and smartphone devices, to ensure that modern networks and communication channels are secured. Furthermore, a taxonomy based on the discussed datasets has been developed that can be used to inform the dataset selection process for future research endeavours.


title: Error Analysis of a Model Order Reduction Framework for Financial Risk Analysis

abstract: A parametric model order reduction (MOR) approach for simulating the high dimensional models arising in financial risk analysis is proposed on the basis of the proper orthogonal decomposition (POD) approach to generate small model approximations for the high dimensional parametric convection-diffusion reaction partial differential equations (PDE). The proposed technique uses an adaptive greedy sampling approach based on surrogate modeling to efficiently locate the most relevant training parameters, thus generating the optimal reduced basis. The best suitable reduced model is procured such that the total error is less than a user-defined tolerance. The three major errors considered are the discretization error associated with the full model obtained by discretizing the PDE, the model order reduction error, and the parameter sampling error. The developed technique is analyzed, implemented, and tested on industrial data of a puttable steepener under the two-factor Hull-White model. The results illustrate that the reduced model provides a significant speedup with excellent accuracy over a full model approach, demonstrating its potential applications in the historical or Monte Carlo value at risk calculations.


title: Relativistic quantum theory and algorithms: a toolbox for modeling many-fermion systems in different scenarios

abstract: In this chapter we focus first on the theoretical methods and relevant computational approaches to calculate the electronic structure of atoms, molecules, and clusters containing heavy elements for which relativistic effects become significant. In particular, we discuss the mean-field approximation of the Dirac equation for many-electron systems, and its self-consistent numerical solution by using either radial mesh or Gaussian basis sets. The former technique is appropriate for spherical symmetric problems, such as atoms, while the latter approach is better suited to study non-spherical non-periodic polycentric systems, such as molecules and clusters. We also outline the pseudopotential approximation in relativistic context to deal with the electron-ion interaction in extended systems, where the unfavourable computational scaling with system size makes it necessary. As test cases we apply our theoretical and numerical schemes to the calculation of the electronic structure i) of the gold atom, and ii) of the superatom W@Au, where the inclusion of spin-orbit effects is crucial to the accurate understanding of the electronic properties. Furthermore, we describe the extension of our relativistic approach to deal with nuclear reactions driven by the weak force, such as the electron capture and $\beta$-decay, also at finite temperature in astrophysical scenarios, using the Fermi-Dirac statistics. The latter processes are indeed major drivers of the nucleosynthesis of the elements in stars and, thus, their understanding is crucial to model the chemical evolution of the Universe. Finally, we show the application of our relativistic quantum mechanical framework to the assessment of the elastic differential scattering cross section of electrons impinging on molecular targets, notably liquid water.


title: Minimizing LR(1) State Machines is NP-Hard

abstract: LR(1) parsing was a focus of extensive research in the past 50 years. Though most fundamental mysteries have been resolved, a few remain hidden in the dark corners. The one we bumped into is the minimization of the LR(1) state machines, which we prove is NP-hard. It is the node-coloring problem that is reduced to the minimization puzzle. The reduction makes use of two technique: indirect reduction and incremental construction. Indirect reduction means the graph to be colored is not reduced to an LR(1) state machine directly. Instead, it is reduced to a context-free grammar from which an LR(1) state machine is derived. Furthermore, by considering the nodes in the graph to be colored one at a time, the context-free grammar is incrementally extended from a template context-free grammar that is for a two-node graph. The extension is done by adding new grammar symbols and rules. A minimized LR(1) machine can be used to recover a minimum coloring of the original graph.


title: Automated Seed Quality Testing System using GAN & Active Learning

abstract: Quality assessment of agricultural produce is a crucial step in minimizing food stock wastage. However, this is currently done manually and often requires expert supervision, especially in smaller seeds like corn. We propose a novel computer vision-based system for automating this process. We build a novel seed image acquisition setup, which captures both the top and bottom views. Dataset collection for this problem has challenges of data annotation costs/time and class imbalance. We address these challenges by i.) using a Conditional Generative Adversarial Network (CGAN) to generate real-looking images for the classes with lesser images and ii.) annotate a large dataset with minimal expert human intervention by using a Batch Active Learning (BAL) based annotation tool. We benchmark different image classification models on the dataset obtained. We are able to get accuracies of up to 91.6% for testing the physical purity of seed samples.


title: Wave-field representations with Green's functions, propagator matrices, and Marchenko-type focusing functions

abstract: Classical acoustic wave-field representations consist of volume and boundary integrals, of which the integrands contain specific combinations of Green's functions, source distributions and wave fields. Using a unified matrix-vector wave equation for different wave phenomena, these representations can be reformulated in terms of Green's matrices, source vectors and wave-field vectors. The matrix-vector formalism also allows the formulation of representations in which propagator matrices replace the Green's matrices. These propagator matrices, in turn, can be expressed in terms of Marchenko-type focusing functions. An advantage of the representations with propagator matrices and focusing functions is that the boundary integrals in these representations are limited to a single open boundary. This makes these representations a suitable basis for developing advanced inverse scattering, imaging and monitoring methods for wave fields acquired on a single boundary.


title: Memory-Efficient Approximation Algorithms for Max-k-Cut and Correlation Clustering

abstract: Max-k-Cut and correlation clustering are fundamental graph partitioning problems. For a graph with G=(V,E) with n vertices, the methods with the best approximation guarantees for Max-k-Cut and the Max-Agree variant of correlation clustering involve solving SDPs with $O(n^2)$ variables and constraints. Large-scale instances of SDPs, thus, present a memory bottleneck. In this paper, we develop simple polynomial-time Gaussian sampling-based algorithms for these two problems that use $O(n+|E|)$ memory and nearly achieve the best existing approximation guarantees. For dense graphs arriving in a stream, we eliminate the dependence on $|E|$ in the storage complexity at the cost of a slightly worse approximation ratio by combining our approach with sparsification.


title: Do Facial Trait Correlates with Roll Call Voting in Parliament? Using fWHR to Study Performance in Politics

abstract: Research has shown that people recognize and select leaders based on their facial appearance. However, considering the correlation between the performance of leaders and their facial traits, empirical findings are mixed. This paper adds to the debate by focusing on two previously understudied aspects of facial traits among political leaders: (i) previous studies have focused on electoral success and achievement drive of politicians omitting their actual daily performance after elections; (ii) previous research has analyzed individual politicians omitting the context of social circumstances which potentially influence their performance. We address these issues by analyzing Ukrainian members of parliament (MPs) who voted for bills in six consecutive Verkhovna Rada starting from Rada 4 (2002-06) to Rada 9 (2019-Present) to study politicians' performance, which is defined as co-voting or cooperation between MPs in voting on the same bill. In simple words, we analyze whether politicians tend to follow leaders when voting. This ability to summon the votes of others is interpreted as better performance. To measure performance, we proposed a generic methodology named Feature Importance For Measuring Performance (FIMP) that can be used in various scenarios. Using FIMP, our data suggest that MPs vote has no impact from their colleagues with higher or lower facial width-to-height ratio (fWHR), a popular measure of the facial trait.


title: Terahertz Wireless Communications in Space

abstract: The New Space Era has increased communication traffic in space by new space missions led by public space agencies and private companies. Mars colonization is also targeted by crewed missions in the near future. Due to increasing space traffic near Earth and Mars, the bandwidth is getting congested. Moreover, the downlink performance of the current missions is not satisfactory in terms of delay and data rate. Therefore, to meet the increasing demand in space links, Terahertz band (0.1-10 THz) wireless communications are proposed in this study. In line with this, we discuss the major challenges that the realization of THz band space links pose and possible solutions. Moreover, we simulate Mars-space THz links for the case of a clear Mars atmosphere, and a heavy dust storm to show that even in the worst conditions, a large bandwidth is available for Mars communication traffic.


title: Recommending Code Understandability Improvements based on Code Reviews

abstract: Developers spend 70% of their time understanding code. Code that is easy to read can save time, while hard-to-read code can lead to the introduction of bugs. However, it is difficult to establish what makes code more understandable. Although there are guides and directives on improving code understandability, in some contexts, these practices can have a detrimental effect. Practical software development projects often employ code review to improve code quality, including understandability. Reviewers are often senior developers who have contributed extensively to projects and have an in-depth understanding of the impacts of different solutions on code understandability. This paper is an early research proposal to recommend code understandability improvements based on code reviewer knowledge. The core of the proposal comprises a dataset of code understandability improvements extracted from code reviews. This dataset will serve as a basis to train machine learning systems to recommend understandability improvements.


title: Dynamic-Programming-Based Failure-Tolerant Control for Satellite with Thrusters in 6-DOF Motion

abstract: In this paper, a dynamic-programming approach to the coupled translational and rotational control of thruster-driven spacecraft is studied. To reduce the complexity of the problem, dynamic-programming-based optimal policies are calculated using decoupled position and attitude dynamics with generalized forces and torques as controls. A quadratic-programming-based control allocation is then used to map the controls to actuator commands. To control the spacecraft in the event of thruster failure, both the dynamic programming policies and control allocation are reconfigured to cope with the losses in controls. The control allocation parameters are adjusted dynamically to ensure the satellite always approaches the target from the side with two operative thrusters to achieve a stable control. The effectiveness of the proposed dynamic programming control is compared with a Lyapunov-stable control method, which shows that the proposed method is more fuel-efficient in tracking the same path.


title: Seeking Visual Discomfort: Curiosity-driven Representations for Reinforcement Learning

abstract: Vision-based reinforcement learning (RL) is a promising approach to solve control tasks involving images as the main observation. State-of-the-art RL algorithms still struggle in terms of sample efficiency, especially when using image observations. This has led to increased attention on integrating state representation learning (SRL) techniques into the RL pipeline. Work in this field demonstrates a substantial improvement in sample efficiency among other benefits. However, to take full advantage of this paradigm, the quality of samples used for training plays a crucial role. More importantly, the diversity of these samples could affect the sample efficiency of vision-based RL, but also its generalization capability. In this work, we present an approach to improve sample diversity for state representation learning. Our method enhances the exploration capability of RL algorithms, by taking advantage of the SRL setup. Our experiments show that our proposed approach boosts the visitation of problematic states, improves the learned state representation, and outperforms the baselines for all tested environments. These results are most apparent for environments where the baseline methods struggle. Even in simple environments, our method stabilizes the training, reduces the reward variance, and promotes sample efficiency.


title: Evaluating Code Readability and Legibility: An Examination of Human-centric Studies

abstract: Reading code is an essential activity in software maintenance and evolution. Several studies with human subjects have investigated how different factors, such as the employed programming constructs and naming conventions, can impact code readability, i.e., what makes a program easier or harder to read and apprehend by developers, and code legibility, i.e., what influences the ease of identifying elements of a program. These studies evaluate readability and legibility by means of different comprehension tasks and response variables. In this paper, we examine these tasks and variables in studies that compare programming constructs, coding idioms, naming conventions, and formatting guidelines, e.g., recursive vs. iterative code. To that end, we have conducted a systematic literature review where we found 54 relevant papers. Most of these studies evaluate code readability and legibility by measuring the correctness of the subjects' results (83.3%) or simply asking their opinions (55.6%). Some studies (16.7%) rely exclusively on the latter variable.There are still few studies that monitor subjects' physical signs, such as brain activation regions (5%). Moreover, our study shows that some variables are multi-faceted. For instance, correctness can be measured as the ability to predict the output of a program, answer questions about its behavior, or recall parts of it. These results make it clear that different evaluation approaches require different competencies from subjects, e.g., tracing the program vs. summarizing its goal vs. memorizing its text. To assist researchers in the design of new studies and improve our comprehension of existing ones, we model program comprehension as a learning activity by adapting a preexisting learning taxonomy. This adaptation indicates that some competencies are often exercised in these evaluations whereas others are rarely targeted.


title: Autour de la conjecture de Tate enti\`ere pour certains produits de dimension $3$ sur un corps fini

abstract: Let $X$ be the product of a surface satisfying $b_2=\rho$ and of a curve over a finite field. We study a strong form of the integral Tate conjecture for $1$-cycles on $X$. We generalize and give unconditional proofs of several results of our previous paper with J.-L. Colliot-Th\'el\`ene.


title: On upper and lower fast Knintchine spectra of continued fractions

abstract: Let $\psi:\mathbb{N}\to \mathbb{R}^+$ be a function satisfying $\phi(n)/n\to \infty$ as $n \to \infty$. We investigate from a multifractal analysis point of view the growth rate of the sums $\sum^n_{k=1}\log a_k(x)$ relative to $\psi(n)$, where $[a_1(x),a_2(x), a_3(x)\cdots]$ denotes the continued fraction expansion of $x\in (0,1)$. The upper (resp. lower) fast Khintchine spectrum is defined by the Hausdorff dimension of the set of all points $x$ for which the upper (resp. lower) limit of $\frac{1}{\psi(n)}\sum^n_{k=1}\log a_k(x)$ is $1$. The precise formulas of these two spectra are completely determined, which strengthens a result of Liao and Rams (2016).


title: Inference-InfoGAN: Inference Independence via Embedding Orthogonal Basis Expansion

abstract: Disentanglement learning aims to construct independent and interpretable latent variables in which generative models are a popular strategy. InfoGAN is a classic method via maximizing Mutual Information (MI) to obtain interpretable latent variables mapped to the target space. However, it did not emphasize independent characteristic. To explicitly infer latent variables with inter-independence, we propose a novel GAN-based disentanglement framework via embedding Orthogonal Basis Expansion (OBE) into InfoGAN network (Inference-InfoGAN) in an unsupervised way. Under the OBE module, one set of orthogonal basis can be adaptively found to expand arbitrary data with independence property. To ensure the target-wise interpretable representation, we add a consistence constraint between the expansion coefficients and latent variables on the base of MI maximization. Additionally, we design an alternating optimization step on the consistence constraint and orthogonal requirement updating, so that the training of Inference-InfoGAN can be more convenient. Finally, experiments validate that our proposed OBE module obtains adaptive orthogonal basis, which can express better independent characteristics than fixed basis expression of Discrete Cosine Transform (DCT). To depict the performance in downstream tasks, we compared with the state-of-the-art GAN-based and even VAE-based approaches on different datasets. Our Inference-InfoGAN achieves higher disentanglement score in terms of FactorVAE, Separated Attribute Predictability (SAP), Mutual Information Gap (MIG) and Variation Predictability (VP) metrics without model fine-tuning. All the experimental results illustrate that our method has inter-independence inference ability because of the OBE module, and provides a good trade-off between it and target-wise interpretability of latent variables via jointing the alternating optimization.


title: Kernels and Small Quasi-Kernels in Digraphs

abstract: A directed graph $D=(V(D),A(D))$ has a kernel if there exists an independent set $K\subseteq V(D)$ such that every vertex $v\in V(D)-K$ has an ingoing arc $u\mathbin{\longrightarrow}v$ for some $u\in K$. There are directed graphs that do not have a kernel (e.g. a 3-cycle). A quasi-kernel is an independent set $Q$ such that every vertex can be reached in at most two steps from $Q$. Every directed graph has a quasi-kernel. A conjecture by P.L. Erd\H{o}s and L.A. Sz\'ekely (cf. A. Kostochka, R. Luo, and, S. Shan, arxiv:2001.04003v1, 2020) postulates that every source-free directed graph has a quasi-kernel of size at most $|V(D)|/2$, where source-free refers to every vertex having in-degree at least one. In this note it is shown that every source-free directed graph that has a kernel also has a quasi-kernel of size at most $|V(D)|/2$, by means of an induction proof. In addition, all definitions and proofs in this note are formally verified by means of the Coq proof assistant.


title: $B$-flavor tagging at Belle II

abstract: We report on new flavor tagging algorithms developed to determine the quark-flavor content of bottom ($B$) mesons at Belle II. The algorithms provide essential inputs for measurements of quark-flavor mixing and charge-parity violation. We validate and evaluate the performance of the algorithms using hadronic $B$ decays with flavor-specific final states reconstructed in a data set corresponding to an integrated luminosity of $62.8$ fb$^{-1}$, collected at the $\Upsilon$(4$S$) resonance with the Belle II detector at the SuperKEKB collider. We measure the total effective tagging efficiency to be $\varepsilon_{\rm eff} = \big(30.0 \pm 1.2(\text{stat}) \pm 0.4(\text{syst})\big)\%$ for a category-based algorithm and $\varepsilon_{\rm eff} = \big(28.8 \pm 1.2(\text{stat}) \pm 0.4(\text{syst})\big)\%$ for a deep-learning-based algorithm.


title: Optimizing Neural Network for Computer Vision task in Edge Device

abstract: The field of computer vision has grown very rapidly in the past few years due to networks like convolution neural networks and their variants. The memory required to store the model and computational expense are very high for such a network limiting it to deploy on the edge device. Many times, applications rely on the cloud but that makes it hard for working in real-time due to round-trip delays. We overcome these problems by deploying the neural network on the edge device itself. The computational expense for edge devices is reduced by reducing the floating-point precision of the parameters in the model. After this the memory required for the model decreases and the speed of the computation increases where the performance of the model is least affected. This makes an edge device to predict from the neural network all by itself.


title: Learning Models as Functionals of Signed-Distance Fields for Manipulation Planning

abstract: This work proposes an optimization-based manipulation planning framework where the objectives are learned functionals of signed-distance fields that represent objects in the scene. Most manipulation planning approaches rely on analytical models and carefully chosen abstractions/state-spaces to be effective. A central question is how models can be obtained from data that are not primarily accurate in their predictions, but, more importantly, enable efficient reasoning within a planning framework, while at the same time being closely coupled to perception spaces. We show that representing objects as signed-distance fields not only enables to learn and represent a variety of models with higher accuracy compared to point-cloud and occupancy measure representations, but also that SDF-based models are suitable for optimization-based planning. To demonstrate the versatility of our approach, we learn both kinematic and dynamic models to solve tasks that involve hanging mugs on hooks and pushing objects on a table. We can unify these quite different tasks within one framework, since SDFs are the common object representation. Video: https://youtu.be/ga8Wlkss7co


title: On states of quantum theory

abstract: In this paper the generalized quantum states, i.e. positive and normalized linear functionals on $C^{*}$-algebras, are studied. Firstly, we study normal states, i.e. states which are represented by density operators, and singular states, i.e. states can not be represented by density operators. It is given an approach to the resolution of bounded linear functionals into quantum states by applying the GNS construction, i.e. the fundamental result of Gelfand, Neumark and Segal on the representation theory of $C^{*}$-algebras, and theory of projections. Secondly, it is given an application in quantum information theory. We study covariant cloners, i.e. quantum channels in the Heisenberg and the Schr\"{o}dinger pictures which are covariant by shifting, and it is shown that the optimal cloners can not have a singular component. Finally, we discuss on the representation of pure states in the sense of the Gelfand-Pettis integral. We also give physical interpretations and examples in different sections of the present work.


title: Processing Phoneme Specific Segments for Cleft Lip and Palate Speech Enhancement

abstract: The cleft lip and palate (CLP) speech intelligibility is distorted due to the deformation in their articulatory system. For addressing the same, a few previous works perform phoneme specific modification in CLP speech. In CLP speech, both the articulation error and the nasalization distorts the intelligibility of a word. Consequently, modification of a specific phoneme may not always yield in enhanced entire word-level intelligibility. For such cases, it is important to identify and isolate the phoneme specific error based on the knowledge of acoustic events. Accordingly, the phoneme specific error modification algorithms can be exploited for transforming the specified errors and enhance the word-level intelligibility. Motivated by that, in this work, we combine some of salient phoneme specific enhancement approaches and demonstrate their effectiveness in improving the word-level intelligibility of CLP speech. The enhanced speech samples are evaluated using subjective and objective evaluation metrics.


title: A powerful e^{+-} outflow driven by a proto-strange quark star

abstract: An electron-positron layer can cover the surface of a bare strange star (SS), the electric field in which can excite the vacuum and drive a pair wind by taking away the heat of the star. In order to investigate the pair emission ability of a proto-SS, we establish a toy model to describe its early thermal evolution, where the initial trapping of neutrinos is specially taken into account. It is found that the early cooling of the SS is dominated by the neutrino diffusion rather than the conventional Urca processes, which leads to the appearance of an initial temperature plateau. During this plateau phase, the surface e^{+-} pair emission can keep a constant luminosity of 10^{48}-10^{50} erg s^{-1} for about a few to a few tens of seconds, which is dependent on the value of the initial temperature. The total energy released through this e^{+-} wind can reach as high as 10^{51} erg. In principle, this pair wind could be responsible for the prompt emission or extended emission of some gamma-ray bursts.


title: Aspect Sentiment Quad Prediction as Paraphrase Generation

abstract: Aspect-based sentiment analysis (ABSA) has been extensively studied in recent years, which typically involves four fundamental sentiment elements, including the aspect category, aspect term, opinion term, and sentiment polarity. Existing studies usually consider the detection of partial sentiment elements, instead of predicting the four elements in one shot. In this work, we introduce the Aspect Sentiment Quad Prediction (ASQP) task, aiming to jointly detect all sentiment elements in quads for a given opinionated sentence, which can reveal a more comprehensive and complete aspect-level sentiment structure. We further propose a novel \textsc{Paraphrase} modeling paradigm to cast the ASQP task to a paraphrase generation process. On one hand, the generation formulation allows solving ASQP in an end-to-end manner, alleviating the potential error propagation in the pipeline solution. On the other hand, the semantics of the sentiment elements can be fully exploited by learning to generate them in the natural language form. Extensive experiments on benchmark datasets show the superiority of our proposed method and the capacity of cross-task transfer with the proposed unified \textsc{Paraphrase} modeling framework.


title: Significance of Data Augmentation for Improving Cleft Lip and Palate Speech Recognition

abstract: The automatic recognition of pathological speech, particularly from children with any articulatory impairment, is a challenging task due to various reasons. The lack of available domain specific data is one such obstacle that hinders its usage for different speech-based applications targeting pathological speakers. In line with the challenge, in this work, we investigate a few data augmentation techniques to simulate training data for improving the children speech recognition considering the case of cleft lip and palate (CLP) speech. The augmentation techniques explored in this study, include vocal tract length perturbation (VTLP), reverberation, speaking rate, pitch modification, and speech feature modification using cycle consistent adversarial networks (CycleGAN). Our study finds that the data augmentation methods significantly improve the CLP speech recognition performance, which is more evident when we used feature modification using CycleGAN, VTLP and reverberation based methods. More specifically, the results from this study show that our systems produce an improved phone error rate compared to the systems without data augmentation.


title: A Framework for Intuitionistic Grammar Logics

abstract: We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for extensions with combinations of seriality axioms and what we call "intuitionistic path axioms". We show that each axiomatization is sound and complete with completeness being shown via a typical canonical model construction.


title: Curved space and particle physics effects on the formation of Bose-Einstein condensation around a Reissner-Nordstr\"om black hole

abstract: We consider two scalar fields interacting through a $\chi^*\chi\phi^*\phi$ term in the presence of a Reissner-Nordstrom black hole. Initially, only $\chi$ particles are present. We find that the produced $\phi$ particles are localized in a region around the black hole and have a tendency towards condensation provided that $\phi$ particles are much heavier than the $\chi$ particles. We also find that such a configuration is phenomenologically viable only if the scalars and the black hole have dark electric charges.


title: State Dependent Performative Prediction with Stochastic Approximation

abstract: This paper studies the performative prediction problem which optimizes a stochastic loss function with data distribution that depends on the decision variable. We consider a setting where the agent(s) provides samples adapted to the learner's and agent's previous states. The said samples are used by the learner to optimize a loss function. This closed loop algorithm is studied as a state-dependent stochastic approximation (SA) algorithm, where we show that it finds a fixed point known as the performative stable solution. Our setting models the unforgetful nature and the reliance on past experiences of agent(s). Our contributions are three-fold. First, we demonstrate that the SA algorithm can be modeled with biased stochastic gradients driven by a controlled Markov chain (MC) whose transition probability is adapted to the learner's state. Second, we present a novel finite-time performance analysis of the state-dependent SA algorithm. We show that the expected squared distance to the performative stable solution decreases as ${\cal O}(1/k)$, where $k$ is the iteration number. Third, numerical experiments are conducted to verify our findings.


title: Anisotropic Carrier Transport in n-Doped 6H-SiC

abstract: In this paper, a study is presented on the charge transport in n-type doped semiconductor 6H-SiC (in both transient and steady state) using a nonequilibrium quantum kinetic theory derived from the method of nonequilibrium statistical operator (NSO), which furnishes a clear description of the irreversible phenomena that occur in the evolution of the analyzed system. We obtain theoretically the dependence on the electric field (applied in the orientation perpendicular or parallel to the c-axis) of the basic macrovariables: the electron drift velocity and the nonequilibrium temperature. The peak points in time evolution of this macrovariables are derived and analyzed.


title: Monadicity of localization for Lie super-algebras $\mathfrak{gl}(m, n)$

abstract: We study the localization functor from the category of representation of Lie super-algebra $\mathfrak{g} = \mathfrak{gl}(m, n)$ into monodromic D-modules on the flag manifold $X = G/B$. We show that the right localization is monadic in a suitable sense, which identifies the coderived category of $\mathfrak{g}$-modules with the ind-completion of compactly generated $W$-modules for some algebra $W$ in monodromic $D_X$-bimodules.


title: Welsch Based Multiview Disparity Estimation

abstract: In this work, we explore disparity estimation from a high number of views. We experimentally identify occlusions as a key challenge for disparity estimation for applications with high numbers of views. In particular, occlusions can actually result in a degradation in accuracy as more views are added to a dataset. We propose the use of a Welsch loss function for the data term in a global variational framework for disparity estimation. We also propose a disciplined warping strategy and a progressive inclusion of views strategy that can reduce the need for coarse to fine strategies that discard high spatial frequency components from the early iterations. Experimental results demonstrate that the proposed approach produces superior and/or more robust estimates than other conventional variational approaches.


title: ProTo: Program-Guided Transformer for Program-Guided Tasks

abstract: Programs, consisting of semantic and structural information, play an important role in the communication between humans and agents. Towards learning general program executors to unify perception, reasoning, and decision making, we formulate program-guided tasks which require learning to execute a given program on the observed task specification. Furthermore, we propose the Program-guided Transformer (ProTo), which integrates both semantic and structural guidance of a program by leveraging cross-attention and masked self-attention to pass messages between the specification and routines in the program. ProTo executes a program in a learned latent space and enjoys stronger representation ability than previous neural-symbolic approaches. We demonstrate that ProTo significantly outperforms the previous state-of-the-art methods on GQA visual reasoning and 2D Minecraft policy learning datasets. Additionally, ProTo demonstrates better generalization to unseen, complex, and human-written programs.


title: Complete b-symbol weight distribution of some irreducible cyclic codes

abstract: Recently, $b$-symbol codes are proposed to protect against $b$-symbol errors in $b$-symbol read channels. It is an interesting subject of study to consider the complete $b$-symbol weight distribution of cyclic codes since $b$-symbol metric is a generalization for Hamming metric. The complete $b$-symbol Hamming weight distribution of irreducible codes is known in only a few cases. In this paper, we give a complete $b$-symbol Hamming weight distribution of a class of irreducible codes with two nonzero $b$-symbol Hamming weights.


title: Swiss-Judgment-Prediction: A Multilingual Legal Judgment Prediction Benchmark

abstract: In many jurisdictions, the excessive workload of courts leads to high delays. Suitable predictive AI models can assist legal professionals in their work, and thus enhance and speed up the process. So far, Legal Judgment Prediction (LJP) datasets have been released in English, French, and Chinese. We publicly release a multilingual (German, French, and Italian), diachronic (2000-2020) corpus of 85K cases from the Federal Supreme Court of Switzerland (FSCS). We evaluate state-of-the-art BERT-based methods including two variants of BERT that overcome the BERT input (text) length limitation (up to 512 tokens). Hierarchical BERT has the best performance (approx. 68-70% Macro-F1-Score in German and French). Furthermore, we study how several factors (canton of origin, year of publication, text length, legal area) affect performance. We release both the benchmark dataset and our code to accelerate future research and ensure reproducibility.


title: Light-field microscopy with correlated beams for extended volumetric imaging at the diffraction limit

abstract: Light-field microscopy represents a promising solution for microscopic volumetric imaging, thanks to its capability to encode information on multiple planes in a single acquisition. This is achieved through its peculiar simultaneous capture of information on light spatial distribution and propagation direction. However, state-of-the-art light-field microscopes suffer from a detrimental loss of spatial resolution compared to standard microscopes. We propose and experimentally demonstrate a light-field microscopy architecture based on light intensity correlation, in which resolution is limited only by diffraction. We demonstrate the effectiveness of our technique in refocusing three-dimensional test targets and biological samples out of the focused plane. We improve the depth of field by a factor 6 with respect to conventional microscopy, at the same resolution, and obtain, from one acquired correlation image, about $130,000$ images, all seen from different perspectives; such multi-perspective images are employed to reconstruct over $40$ planes within a $1 \,\mathrm{mm}^3$ sample with a diffraction-limited resolution voxel of $20 \times 20 \times 30\ \mu\mathrm{m}^3$.


title: Cycle-Consistent World Models for Domain Independent Latent Imagination

abstract: End-to-end autonomous driving seeks to solve the perception, decision, and control problems in an integrated way, which can be easier to generalize at scale and be more adapting to new scenarios. However, high costs and risks make it very hard to train autonomous cars in the real world. Simulations can therefore be a powerful tool to enable training. Due to slightly different observations, agents trained and evaluated solely in simulation often perform well there but have difficulties in real-world environments. To tackle this problem, we propose a novel model-based reinforcement learning approach called Cycleconsistent World Models. Contrary to related approaches, our model can embed two modalities in a shared latent space and thereby learn from samples in one modality (e.g., simulated data) and be used for inference in different domain (e.g., real-world data). Our experiments using different modalities in the CARLA simulator showed that this enables CCWM to outperform state-of-the-art domain adaptation approaches. Furthermore, we show that CCWM can decode a given latent representation into semantically coherent observations in both modalities.


title: Characterizing SARS-CoV-2 Spike Sequences Based on Geographical Location

abstract: With the rapid spread of COVID-19 worldwide, viral genomic data is available in the order of millions of sequences on public databases such as GISAID. This Big Data creates a unique opportunity for analysis towards the research of effective vaccine development for current pandemics, and avoiding or mitigating future pandemics. One piece of information that comes with every such viral sequence is the geographical location where it was collected -- the patterns found between viral variants and geographical location surely being an important part of this analysis. One major challenge that researchers face is processing such huge, highly dimensional data to obtain useful insights as quickly as possible. Most of the existing methods face scalability issues when dealing with the magnitude of such data. In this paper, we propose an approach that first computes a numerical representation of the spike protein sequence of SARS-CoV-2 using $k$-mers (substrings) and then uses several machine learning models to classify the sequences based on geographical location. We show that our proposed model significantly outperforms the baselines. We also show the importance of different amino acids in the spike sequences by computing the information gain corresponding to the true class labels.


title: Punzi-loss: A non-differentiable metric approximation for sensitivity optimisation in the search for new particles

abstract: We present the novel implementation of a non-differentiable metric approximation and a corresponding loss-scheduling aimed at the search for new particles of unknown mass in high energy physics experiments. We call the loss-scheduling, based on the minimisation of a figure-of-merit related function typical of particle physics, a Punzi-loss function, and the neural network that utilises this loss function a Punzi-net. We show that the Punzi-net outperforms standard multivariate analysis techniques and generalises well to mass hypotheses for which it was not trained. This is achieved by training a single classifier that provides a coherent and optimal classification of all signal hypotheses over the whole search space. Our result constitutes a complementary approach to fully differentiable analyses in particle physics. We implemented this work using PyTorch and provide users full access to a public repository containing all the codes and a training example.


title: Multiversal Simulacra: Understanding Hypotheticals and Possible Worlds Through Simulation

abstract: Recommender systems research is concerned with many aspects of recommender system behavior and effects than simply its effectiveness, and simulation can be a powerful tool for uncovering these effects. In this brief position paper, I identify specific types of research that simulation is uniquely well-suited to address along with a hierarchy of simulation types.