title: FedDropoutAvg: Generalizable federated learning for histopathology image classification

abstract: Federated learning (FL) enables collaborative learning of a deep learning model without sharing the data of participating sites. FL in medical image analysis tasks is relatively new and open for enhancements. In this study, we propose FedDropoutAvg, a new federated learning approach for training a generalizable model. The proposed method takes advantage of randomness, both in client selection and also in federated averaging process. We compare FedDropoutAvg to several algorithms in an FL scenario for real-world multi-site histopathology image classification task. We show that with FedDropoutAvg, the final model can achieve performance better than other FL approaches and closer to a classical deep learning model that requires all data to be shared for centralized training. We test the trained models on a large dataset consisting of 1.2 million image tiles from 21 different centers. To evaluate the generalization ability of the proposed approach, we use held-out test sets from centers whose data was used in the FL and for unseen data from other independent centers whose data was not used in the federated training. We show that the proposed approach is more generalizable than other state-of-the-art federated training approaches. To the best of our knowledge, ours is the first study to use a randomized client and local model parameter selection procedure in a federated setting for a medical image analysis task.


title: Stability regions of systems with compatibilities, and ubiquitous measures on graphs

abstract: This paper addresses the ubiquity of remarkable measures on graphs, and their applications. In many queueing systems, it is necessary to take into account the compatibility constraints between users, or between supply and demands, and so on. The stability region of such systems can then be seen as a set of measures on graphs, where the measures under consideration represent the arrival flows to the various classes of users, supply, demands, etc., and the graph represents the compatibilities between those classes. In this paper, we show that these `stabilizing' measures can always be easily constructed as a simple function of a family of weights on the edges of the graph. Second, we show that the latter measures always coincide with invariant measures of random walks on the graph under consideration.


title: Lorentzian quantum gravity and the graviton spectral function

abstract: We present the first direct and non-perturbative computation of the graviton spectral function in quantum gravity. This is achieved with the help of a novel Lorentzian renormalisation group approach, combined with a spectral representation of correlation functions. We find a positive graviton spectral function, showing a massless one-graviton peak and a multi-graviton continuum with an asymptotically safe scaling for large spectral values. We also study the impact of a cosmological constant. Further steps to investigate scattering processes and unitarity in asymptotically safe quantum gravity are indicated.


title: Look at here : Utilizing supervision to attend subtle key regions

abstract: Despite the success of deep learning in computer vision, algorithms to recognize subtle and small objects (or regions) is still challenging. For example, recognizing a baseball or a frisbee on a ground scene or a bone fracture in an X-ray image can easily result in overfitting, unless a huge amount of training data is available. To mitigate this problem, we need a way to force a model should identify subtle regions in limited training data. In this paper, we propose a simple but efficient supervised augmentation method called Cut\&Remain. It achieved better performance on various medical image domain (internally sourced- and public dataset) and a natural image domain (MS-COCO$_s$) than other supervised augmentation and the explicit guidance methods. In addition, using the class activation map, we identified that the Cut\&Remain methods drive a model to focus on relevant subtle and small regions efficiently. We also show that the performance monotonically increased along the Cut\&Remain ratio, indicating that a model can be improved even though only limited amount of Cut\&Remain is applied for, so that it allows low supervising (annotation) cost for improvement.


title: Incorporating the effect of heterogeneous surface heating into a semi-empirical model of the surface energy balance closure

abstract: It was discovered several decades ago that eddy covariance measurements systematically underestimate sensible and latent heat fluxes, creating an imbalance in the surface energy budget. Since then, many studies have addressed this problem and proposed a variety of solutions to the problem, including improvements to instruments and correction methods applied during data postprocessing. However, none of these measures have led to the complete closure of the energy balance gap. The leading hypothesis is that not only surface-attached turbulent eddies but also sub-mesoscale atmospheric circulations contribute to the transport of energy in the atmospheric boundary layer, and the contribution from organized motions has been grossly neglected. The problem arises because the transport of energy through these secondary circulations cannot be captured by the standard eddy covariance method given the relatively short averaging periods of time (~30 minutes) used to compute statistics. There are various approaches to adjust the measured heat fluxes by attributing the missing energy to the sensible and latent heat flux in different proportions. However, few correction methods are based on the processes causing the energy balance gap. Several studies have shown that the magnitude of the energy balance gap depends on the atmospheric stability and the heterogeneity scale of the landscape around the measurement site. Based on this, the energy balance gap within the surface layer has already been modelled as a function of a nonlocal atmospheric stability parameter by performing a large-eddy simulation study with idealized homogeneous surfaces. We have further developed this approach by including thermal surface heterogeneity in addition to atmospheric stability in the parameterization.


title: Outlier Detection for Trajectories via Flow-embeddings

abstract: We propose a method to detect outliers in empirically observed trajectories on a discrete or discretized manifold modeled by a simplicial complex. Our approach is similar to spectral embeddings such as diffusion-maps and Laplacian eigenmaps, that construct vertex embeddings from the eigenvectors of the graph Laplacian associated with low eigenvalues. Here we consider trajectories as edge-flow vectors defined on a simplicial complex, a higher-order generalization of graphs, and use the Hodge 1-Laplacian of the simplicial complex to derive embeddings of these edge-flows. By projecting trajectory vectors onto the eigenspace of the Hodge 1-Laplacian associated to small eigenvalues, we can characterize the behavior of the trajectories relative to the homology of the complex, which corresponds to holes in the underlying space. This enables us to classify trajectories based on simply interpretable, low-dimensional statistics. We show how this technique can single out trajectories that behave (topologically) different compared to typical trajectories, and illustrate the performance of our approach with both synthetic and empirical data.

categories: cs.SI math.AT physics.soc-ph stat.AP stat.ML


title: Joint inference and input optimization in equilibrium networks

abstract: Many tasks in deep learning involve optimizing over the \emph{inputs} to a network to minimize or maximize some objective; examples include optimization over latent spaces in a generative model to match a target image, or adversarially perturbing an input to worsen classifier performance. Performing such optimization, however, is traditionally quite costly, as it involves a complete forward and backward pass through the network for each gradient step. In a separate line of work, a recent thread of research has developed the deep equilibrium (DEQ) model, a class of models that foregoes traditional network depth and instead computes the output of a network by finding the fixed point of a single nonlinear layer. In this paper, we show that there is a natural synergy between these two settings. Although, naively using DEQs for these optimization problems is expensive (owing to the time needed to compute a fixed point for each gradient step), we can leverage the fact that gradient-based optimization can \emph{itself} be cast as a fixed point iteration to substantially improve the overall speed. That is, we \emph{simultaneously} both solve for the DEQ fixed point \emph{and} optimize over network inputs, all within a single ``augmented'' DEQ model that jointly encodes both the original network and the optimization process. Indeed, the procedure is fast enough that it allows us to efficiently \emph{train} DEQ models for tasks traditionally relying on an ``inner'' optimization loop. We demonstrate this strategy on various tasks such as training generative models while optimizing over latent codes, training models for inverse problems like denoising and inpainting, adversarial training and gradient based meta-learning.


title: Extracting work from random collisions: A model of a quantum heat engine

abstract: We study the statistical distribution of the ergotropy and of the efficiency of a single-qubit battery ad of a single-qubit Otto engine, respectively fuelled by random collisions. The single qubit, our working fluid, is assumed to exchange energy with two reservoirs, a non-equilibrium "hot" reservoir and a zero temperature cold reservoir. The interactions between the qubit and the reservoirs is described in terms of a collision model of open system dynamics. The qubit interacts with the non-equilibrium reservoir (a large ensemble of qudits all prepared in the same pure state) via random unitary collisions and with the cold reservoir (a large ensemble of qubits in their ground state) via a partial swap. Due to the random nature of the interaction with the hot reservoir, fluctuations in ergotropy, heat, and work are present, shrinking with the size of the qudits in the hot reservoir. While the mean, "macroscopic" efficiency of the Otto engine is the same as in the case in which the hot reservoir is a thermal one, the distribution of efficiencies does not support finite moments, so that the mean of efficiencies does not coincide with the macroscopic efficiency.


title: Quasi-Isometric Graph Simplifications

abstract: Quasi-isometries are mappings on graphs, with distance-distortions parameterized by a multiplicative factor and an additive constant. The distance-distortions of quasi-isometries are in a general form that captures a wide range of distance-approximating graph simplifications. This paper introduces quasi-isometries into the field of graph simplifications, which is becoming increasingly important as large-scale graphs gain more and more prevalence. We discuss some general goals of graph simplification under the framework of quasi-isometries, and investigate several constructions of quasi-isometric graph simplifications, namely one based on maximal independent sets and one based on grouping vertices. For the latter construction, we prove that it preserves the centers and medians of trees.


title: Recovery of harmonic-like behaviour of the polar mode in BaTiO$_3$ at high pressure

abstract: The local structure of high pressure BaTiO$_3$ has been interrogated by neutron total scattering methods, up to pressures of 4.18 GPa at ambient temperature. Competitive refinements of cubic, tetragonal and rhombohedral distortion modes against pair distribution functions indicate contrasting local structure behaviour of temperature- and pressure-induced cubic BaTiO$_3$. Suppression of the mode amplitude, isotropy of the order parameter direction and loss of sensitivity to correlated Ti displacements at high pressure all suggest a high-pressure local structure that is more consistent with the harmonic approximation, rather than an order-disorder model which better describes high-temperature cubic BaTiO$_3$ in the vicinity of the tetragonal phase transition.


title: New Diameter-Reducing Shortcuts and Directed Hopsets: Breaking the $\sqrt{n}$ Barrier

abstract: For an $n$-vertex digraph $G=(V,E)$, a \emph{shortcut set} is a (small) subset of edges $H$ taken from the transitive closure of $G$ that, when added to $G$ guarantees that the diameter of $G \cup H$ is small. Shortcut sets, introduced by Thorup in 1993, have a wide range of applications in algorithm design, especially in the context of parallel, distributed and dynamic computation on directed graphs. A folklore result in this context shows that every $n$-vertex digraph admits a shortcut set of linear size (i.e., of $O(n)$ edges) that reduces the diameter to $\widetilde{O}(\sqrt{n})$. Despite extensive research over the years, the question of whether one can reduce the diameter to $o(\sqrt{n})$ with $\widetilde{O}(n)$ shortcut edges has been left open. We provide the first improved diameter-sparsity tradeoff for this problem, breaking the $\sqrt{n}$ diameter barrier. Specifically, we show an $O(n^{\omega})$-time randomized algorithm for computing a linear shortcut set that reduces the diameter of the digraph to $\widetilde{O}(n^{1/3})$. This narrows the gap w.r.t the current diameter lower bound of $\Omega(n^{1/6})$ by [Huang and Pettie, SWAT'18]. Moreover, we show that a diameter of $\widetilde{O}(n^{1/2})$ can in fact be achieved with a \emph{sublinear} number of $O(n^{3/4})$ shortcut edges. Formally, letting $S(n,D)$ be the bound on the size of the shortcut set required in order to reduce the diameter of any $n$-vertex digraph to at most $D$, our algorithms yield: \[ S(n,D)=\begin{cases} \widetilde{O}(n^2/D^3), & \text{for~} D\leq n^{1/3},\\ \widetilde{O}((n/D)^{3/2}), & \text{for~} D> n^{1/3}~. \end{cases} \] We also extend our algorithms to provide improved $(\beta,\epsilon)$ hopsets for $n$-vertex weighted directed graphs.


title: Learning from Temporal Gradient for Semi-supervised Action Recognition

abstract: Semi-supervised video action recognition tends to enable deep neural networks to achieve remarkable performance even with very limited labeled data. However, existing methods are mainly transferred from current image-based methods (e.g., FixMatch). Without specifically utilizing the temporal dynamics and inherent multimodal attributes, their results could be suboptimal. To better leverage the encoded temporal information in videos, we introduce temporal gradient as an additional modality for more attentive feature extraction in this paper. To be specific, our method explicitly distills the fine-grained motion representations from temporal gradient (TG) and imposes consistency across different modalities (i.e., RGB and TG). The performance of semi-supervised action recognition is significantly improved without additional computation or parameters during inference. Our method achieves the state-of-the-art performance on three video action recognition benchmarks (i.e., Kinetics-400, UCF-101, and HMDB-51) under several typical semi-supervised settings (i.e., different ratios of labeled data).


title: Spin and Orbital Spectroscopy in the Absence of Coulomb Blockade in Lead Telluride Nanowire Quantum Dots

abstract: We investigate quantum dots in semiconductor PbTe nanowire devices. Due to the accessibility of ambipolar transport in PbTe, quantum dots can be occupied both with electrons and holes. Owing to a very large dielectric constant in PbTe of order 1000, we do not observe Coulomb blockade which typically obfuscates the orbital and spin spectra. We extract large and highly anisotropic effective Lande g-factors, in the range 20-44. The absence of Coulomb blockade allows direct readout, at zero source-drain bias, of spin-orbit hybridization energies of up to 600 microelectronvolt. These spin properties make PbTe nanowires, the recently synthesized members of group IV-VI materials family, attractive as a materials platform for quantum technology, such as spin and topological qubits.


title: Kilo-Tesla axial magnetic field generation with high intensity spin and orbital angular momentum beams

abstract: Absorption of angular momentum from a high intensity laser pulse can lead to the generation of strong axial magnetic fields in plasma. The effect, known as the inverse Faraday effect can generate kilo-Tesla strength, multi-picosecond, axial magnetic fields extending over hundreds of microns in underdense plasma. In this paper we explore the effect with ultra-high intensity circularly polarized Gaussian beams and linearly polarized orbital angular momentum beams comparing analytic expressions with 3D particle-in-cell simulations. We develop a model for the transverse magnetic field profiles, introduce a new model for the temporal decay, and show that while the magnetic field strength is independent of plasma density, it has a strong dependence on the laser beam waist.


title: Going Grayscale: The Road to Understanding and Improving Unlearnable Examples

abstract: Recent work has shown that imperceptible perturbations can be applied to craft unlearnable examples (ULEs), i.e. images whose content cannot be used to improve a classifier during training. In this paper, we reveal the road that researchers should follow for understanding ULEs and improving ULEs as they were originally formulated (ULEOs). The paper makes four contributions. First, we show that ULEOs exploit color and, consequently, their effects can be mitigated by simple grayscale pre-filtering, without resorting to adversarial training. Second, we propose an extension to ULEOs, which is called ULEO-GrayAugs, that forces the generated ULEs away from channel-wise color perturbations by making use of grayscale knowledge and data augmentations during optimization. Third, we show that ULEOs generated using Multi-Layer Perceptrons (MLPs) are effective in the case of complex Convolutional Neural Network (CNN) classifiers, suggesting that CNNs suffer specific vulnerability to ULEs. Fourth, we demonstrate that when a classifier is trained on ULEOs, adversarial training will prevent a drop in accuracy measured both on clean images and on adversarial images. Taken together, our contributions represent a substantial advance in the state of art of unlearnable examples, but also reveal important characteristics of their behavior that must be better understood in order to achieve further improvements.


title: Well-posedness of an integro-differential model for active Brownian particles

abstract: We propose a general strategy for solving nonlinear integro-differential evolution problems with periodic boundary conditions, where no direct maximum/minimum principle is available. This is motivated by the study of recent macroscopic models for active Brownian particles with repulsive interactions, consisting of advection-diffusion processes in the space of particle position and orientation. We focus on one of such models, namely a semilinear parabolic equation with a nonlinear active drift term, whereby the velocity depends on the particle orientation and angle-independent overall particle density (leading to a nonlocal term by integrating out the angular variable). The main idea of the existence analysis is to exploit a-priori estimates from (approximate) entropy dissipation. The global existence and uniqueness of weak solutions is shown using a two-step Galerkin approximation with appropriate cutoff in order to obtain nonnegativity, an upper bound on the overall density and preserve a-priori estimates. Our anyalysis naturally includes the case of finite systems, corresponding to the case of a finite number of directions. The Duhamel principle is then used to obtain additional regularity of the solution, namely continuity in time-space. Motivated by the class of initial data relevant for the application, which includes perfectly aligned particles (same orientation), we extend the well-posedness result to very weak solutions allowing distributional initial data with low regularity.


title: Model Reduction of Linear Dynamical Systems via Balancing for Bayesian Inference

abstract: We consider the Bayesian approach to the linear Gaussian inference problem of inferring the initial condition of a linear dynamical system from noisy output measurements taken after the initial time. In practical applications, the large dimension of the dynamical system state poses a computational obstacle to computing the exact posterior distribution. Model reduction offers a variety of computational tools that seek to reduce this computational burden. In particular, balanced truncation is a system-theoretic approach to model reduction which obtains an efficient reduced-dimension dynamical system by projecting the system operators onto state directions which trade off the reachability and observability of state directions as expressed through the associated Gramians. We introduce Gramian definitions relevant to the inference setting and propose a balanced truncation approach based on these inference Gramians that yield a reduced dynamical system that can be used to cheaply approximate the posterior mean and covariance. Our definitions exploit natural connections between (i) the reachability Gramian and the prior covariance and (ii) the observability Gramian and the Fisher information. The resulting reduced model then inherits stability properties and error bounds from system theoretic considerations, and in some settings yields an optimal posterior covariance approximation. Numerical demonstrations on two benchmark problems in model reduction show that our method can yield near-optimal posterior covariance approximations with order-of-magnitude state dimension reduction.


title: On Ideals of $L^1$-algebras of Compact Quantum Groups

abstract: We develop a notion of a non-commutative hull for a left ideal of the $L^1$-algebra of a compact quantum group $\mathbb{G}$. A notion of non-commutative spectral synthesis for compact quantum groups is proposed as well. It is shown that a certain Ditkin's property at infinity (which includes those $\mathbb{G}$ where the dual quantum group $\widehat{\mathbb{G}}$ has the approximation property) is equivalent to every hull having synthesis. We use this work to extend recent work of White that characterizes the weak$^*$ closed ideals of a measure algebra of a compact group to those of the measure algebra of a coamenable compact quantum group. In the sequel, we use this work to study bounded right approximate identities of certain left ideals of $L^1(\mathbb{G})$ in relation to coamenability of $\mathbb{G}$.


title: Heuristic Search of (Semi-)Bent Functions based on Cellular Automata

abstract: An interesting thread in the research of Boolean functions for cryptography and coding theory is the study of secondary constructions: given a known function with a good cryptographic profile, the aim is to extend it to a (usually larger) function possessing analogous properties. In this work, we continue the investigation of a secondary construction based on cellular automata, focusing on the classes of bent and semi-bent functions. We prove that our construction preserves the algebraic degree of the local rule, and we narrow our attention to the subclass of quadratic functions, performing several experiments based on exhaustive combinatorial search and heuristic optimization through Evolutionary Strategies (ES). Finally, we classify the obtained results up to permutation equivalence, remarking that the number of equivalence classes that our CA-XOR construction can successfully extend grows very quickly with respect to the CA diameter.


title: Graph-based Interpretation of Normal Logic Programs

abstract: In this paper we present a dependency graph-based method for computing the various semantics of normal logic programs. Our method employs \textit{conjunction nodes} to unambiguously represent the dependency graph of normal logic programs. The dependency graph can be transformed suitably in a semantics preserving manner and re-translated into an equivalent normal logic program. This transformed normal logic program can be augmented with a few rules written in answer set programming (ASP), and the CLINGO system used to compute its answer sets. Depending on how these additional rules are coded in ASP, one can compute models of the original normal logic program under the stable model semantics, the well-founded semantics, or the co-stable model semantics. In each case, justification for each atom in the model is also generated. We report on the implementation of our method as well as its performance evaluation.


title: Logarithmic Harnack inequalities for transition semigroups in Hilbert spaces

abstract: We consider the stochastic differential equation $$ \left\{ \begin{array}{lc} dX(t)=[AX(t)+F(X(t))]dt+C^{1/2}dW(t), & t>0;\\ X(0)=x \in \mathcal{X}; \end{array}\right. $$ where $\mathcal{X}$ is a Hilbert space, $\{W(t)\}_{t\geq 0}$ is a $\mathcal{X}$-valued cylindrical Wiener process, $A, C$ are suitable operators on $\mathcal{X}$ and $F:{\rm Dom}\,(F)\subseteq \mathcal{X}\to \mathcal{X}$ is a smooth enough function. We establish a logarithmic Harnack inequality for the transition semigroup $\{P(t)\}_{t\geq 0}$ associated with the stochastic problem above, under less restrictive conditions than those considered in the literature. Some applications to these inequalities are also shown.


title: The Social Abduction of Science

abstract: The logic of abduction involves a collision between deduction and induction, where empirical surprises violate expectations and scientists innovate to resolve them. Here we reformulate abduction as a social process, occurring not only within individual scientists, but often through conversation between those who understand a particular scientific system and its anomalies (its insiders) and those exposed to alien and disruptive patterns, theories, and findings that could resolve them (its outsiders). These extended conversations between scientists, scholars, and disciplines with divergent backgrounds define a social logic of discovery by catalyzing social syllogisms that yield speculative hypotheses with outsized impact across science. We show how this approach theorizes a number of disparate findings from scientometrics and the science and science, tethering them to powerful interpersonal processes that link diversity with discovery. By reframing abductive reasoning as a social process, we attempt to broker a productive new relationship between science studies' focus on scientific practice and the philosophy of science's concern with propositions in scientific discourse, rendering claims-making through abduction a critical scientific practice, central to scientific change, and increasingly available to science studies through small and large-scale data on scientific communication and deliberation.


title: On the Difficulty of Evolving Permutation Codes

abstract: Combinatorial designs provide an interesting source of optimization problems. Among them, permutation codes are particularly interesting given their applications in powerline communications, flash memories, and block ciphers. This paper addresses the design of permutation codes by evolutionary algorithms (EA) by developing an iterative approach. Starting from a single random permutation, new permutations satisfying the minimum distance constraint are incrementally added to the code by using a permutation-based EA. We investigate our approach against four different fitness functions targeting the minimum distance requirement at different levels of detail and with two different policies concerning code expansion and pruning. We compare the results achieved by our EA approach to those of a simple random search, remarking that neither method scales well with the problem size.


title: Simple and Optimal Greedy Online Contention Resolution Schemes

abstract: Real-world problems such as ad allocation and matching have been extensively studied under the lens of combinatorial optimization. In several applications, uncertainty in the input appears naturally and this has led to the study of online stochastic optimization models for such problems. For the offline case, these constrained combinatorial optimization problems have been extensively studied, and Contention Resolution Schemes (CRSs), introduced by Chekuri, Vondr\'{a}k, and Zenklusen, have emerged in recent years as a general framework to obtaining a solution. The idea behind a CRS is to first obtain a fractional solution to a (continuous) relaxation of the objective and then round the fractional solution to an integral one. When the order of rounding is controlled by an adversary, Online Contention Resolution Schemes (OCRSs) can be used instead, and have been successfully applied in settings such as prophet inequalities and stochastic probing. In this work, we focus on greedy OCRSs, which provide guarantees against the strongest possible adversary, an almighty adversary. Intuitively, a greedy OCRS has to make all its decisions before the online process starts. We present simple $1/e$ - selectable greedy OCRSs for the single-item setting, partition matroids and transversal matroids, which improve upon the previous state-of-the-art greedy OCRSs for these constraints. We also show that our greedy OCRSs are optimal, even for the simple single-item case.


title: Unscented Kalman Filter for Long-Distance Vessel Tracking in Geodetic Coordinates

abstract: This paper describes a novel tracking filter, designed primarily for use in collision avoidance systems on autonomous surface vehicles (ASVs). The proposed methodology leverages real-time kinematic information broadcast via the Automatic Information System (AIS) messaging protocol, in order to estimate the position, speed, and heading of nearby cooperative targets. The state of each target is recursively estimated in geodetic coordinates using an unscented Kalman filter (UKF) with kinematic equations derived from the spherical law of cosines. This improves upon previous approaches, many of which employ the extended Kalman filter (EKF), and thus require the specification of a local planar coordinate frame, in order to describe the state kinematics in an easily differentiable form. The proposed geodetic UKF obviates the need for this local plane. This feature is particularly advantageous for long-range ASVs, which must otherwise periodically redefine a new local plane to curtail linearization error. In real-world operations, this recurring redefinition can introduce error and complicate mission planning. It is shown through both simulation and field testing that the proposed geodetic UKF performs as well as, or better than, the traditional plane-Cartesian EKF, both in terms of estimation error and stability.


title: Knotted handlebodies in the 4-sphere and 5-ball

abstract: For every integer $g\ge 2$ we construct 3-dimensional genus-$g$ 1-handlebodies smoothly embedded in $S^4$ with the same boundary, and which are defined by the same cut systems of their boundary, yet which are not isotopic rel. boundary via any locally flat isotopy even when their interiors are pushed into $B^5$. This proves a conjecture of Budney-Gabai for genus at least 2.


title: Converting exhausters and coexhausters

abstract: Exhausters and coexhausters are notions of constructive nonsmooth analysis which are used to study extremal properties of functions. An upper exhauster (coexhauster) is used to get an approximation of a considered function in the neighborhood of a point in the form of $\min\max$ of linear (affine) functions. A lower exhauster (coexhauster) is used to represent the approximation in the form of $\max\min$ of linear (affine) functions. Conditions for a minimum in a most simple way are expressed by means of upper exhausters and coexhausters, while conditions for a maximum are described in terms of lower exhausters and coexhausters. Thus the problem of obtaining an upper exhauster or coexhauster when the lower one is given and vice verse arises. We study this problem in the paper and propose new method for its solution which allows one to pass easily between $\min\max$ and $\max\min$ representations.


title: Singular Riemannian Foliations and the prescribing scalar curvature problem

abstract: An orbit-like foliation is a singular foliation on a complete Riemannian manifold $M$ whose leaves are locally equidistant (i.e., a singular Riemannian foliation) and (transversely) infinitesimally homogenous. This class of singular foliation contains not only the classe of partion of the space into orbits of isometric actions, but also infinite many non homogenous examples and in particular the partition of $M$ into orbits of a proper groupoid. In this paper we prove a version of Kondrakov Embedding Theorem and an analogous Principle of Symmetric Criticality of Palais for basic funcions of orbit-like foliations. As proof of concepts, we study not only the corresponding Yamabe problem in the setting, but also to the case of fiber bundles with homogeneous fibers, seeking for the existence of metrics with constant scalar curvature that respect the respective Riemannian Foliation decomposition. An application to the existence of positive constant scalar curvature on exotic spheres is presented. In an upcoming version we shall extend the results to the corresponding Kazdan--Warner problem.


title: Hamilton--Jacobi equations for controlled gradient flows: the comparison principle

abstract: Motivated by recent developments in the fields of large deviations for interacting particle system and mean field control, we establish a comparison principle for the Hamilton--Jacobi equation corresponding to linearly controlled gradient flows of an energy function $\cE$ defined on a metric space $(E,d)$. Our analysis is based on a systematic use of the regularizing properties of gradient flows in evolutional variational inequality (EVI) formulation, that we exploit for constructing rigorous upper and lower bounds for the formal Hamiltonian at hand and, in combination with the use of the Tataru's distance, for establishing the key estimates needed to bound the difference of the Hamiltonians in the proof of the comparison principle. Our abstract results apply to a large class of examples only partially covered by the existing theory, including gradient flows on Hilbert spaces and the Wasserstein space equipped with a displacement convex energy functional $\cE$ satisfying McCann's condition.


title: Identification of Bias Against People with Disabilities in Sentiment Analysis and Toxicity Detection Models

abstract: Sociodemographic biases are a common problem for natural language processing, affecting the fairness and integrity of its applications. Within sentiment analysis, these biases may undermine sentiment predictions for texts that mention personal attributes that unbiased human readers would consider neutral. Such discrimination can have great consequences in the applications of sentiment analysis both in the public and private sectors. For example, incorrect inferences in applications like online abuse and opinion analysis in social media platforms can lead to unwanted ramifications, such as wrongful censoring, towards certain populations. In this paper, we address the discrimination against people with disabilities, PWD, done by sentiment analysis and toxicity classification models. We provide an examination of sentiment and toxicity analysis models to understand in detail how they discriminate PWD. We present the Bias Identification Test in Sentiments (BITS), a corpus of 1,126 sentences designed to probe sentiment analysis models for biases in disability. We use this corpus to demonstrate statistically significant biases in four widely used sentiment analysis tools (TextBlob, VADER, Google Cloud Natural Language API and DistilBERT) and two toxicity analysis models trained to predict toxic comments on Jigsaw challenges (Toxic comment classification and Unintended Bias in Toxic comments). The results show that all exhibit strong negative biases on sentences that mention disability. We publicly release BITS Corpus for others to identify potential biases against disability in any sentiment analysis tools and also to update the corpus to be used as a test for other sociodemographic variables as well.


title: NeSF: Neural Semantic Fields for Generalizable Semantic Segmentation of 3D Scenes

abstract: We present NeSF, a method for producing 3D semantic fields from posed RGB images alone. In place of classical 3D representations, our method builds on recent work in implicit neural scene representations wherein 3D structure is captured by point-wise functions. We leverage this methodology to recover 3D density fields upon which we then train a 3D semantic segmentation model supervised by posed 2D semantic maps. Despite being trained on 2D signals alone, our method is able to generate 3D-consistent semantic maps from novel camera poses and can be queried at arbitrary 3D points. Notably, NeSF is compatible with any method producing a density field, and its accuracy improves as the quality of the density field improves. Our empirical analysis demonstrates comparable quality to competitive 2D and 3D semantic segmentation baselines on complex, realistically rendered synthetic scenes. Our method is the first to offer truly dense 3D scene segmentations requiring only 2D supervision for training, and does not require any semantic input for inference on novel scenes. We encourage the readers to visit the project website.


title: The Wigner function negative value domains and energy function poles of the polynomial oscillator

abstract: For a quantum oscillator with the polynomial potential an explicit expression that describes the energy distribution as a coordinate (and momentum) function is obtained. The presence of the energy function poles is shown for the quantum system in the domains where the Wigner function has negative values.


title: Interwell Simulation Model for the Advection Dispersion Equation (ISADE)

abstract: Contaminant transport in porous media is often modeled by solving the Advection Dispersion Equation (ADE) which describes the way the contaminant moves within the bulk fluid as well as the movement of the contaminant due to the bulk movement of the fluid phase. The simulation of contaminant transport can however prove to be computationally expensive especially if the porous medium is discretized into high-resolution grid blocks. We propose an interwell simulation model for advection dispersion equations (ISADE) to predict the concentration of contaminant observed at the pumping well. This method comprises of two main steps. Initially, the model divides the aquifer or reservoir into a series of 1D injector-producer pairs and uses the historical contaminant observation data to estimate five major unknowns in each of these control volumes: the interwell connectivity, the pore volume, the volumetric flowrate at the grid face, the dispersion coefficient, and the number of grids in each control volume. Finally, once the history matching process is complete, the estimated variables are used to predict the concentration of contaminant observed at the wells. Five example cases were studied and the results show that the ISADE model was able to predict with reasonable accuracy the concentration of contaminant observed. Furthermore, the model can easily handle changes in input parameters such as the concentration of contaminants released in the aquifer, and the injection and production rates.


title: Negative curvature obstructs acceleration for strongly geodesically convex optimization, even with exact first-order oracles

abstract: Hamilton and Moitra (2021) showed that, in certain regimes, it is not possible to accelerate Riemannian gradient descent in the hyperbolic plane if we restrict ourselves to algorithms which make queries in a (large) bounded domain and which receive gradients and function values corrupted by a (small) amount of noise. We show that acceleration remains unachievable for any deterministic algorithm which receives exact gradient and function-value information (unbounded queries, no noise). Our results hold for the classes of strongly and nonstrongly geodesically convex functions, and for a large class of Hadamard manifolds including hyperbolic spaces and the symmetric space $\mathrm{SL}(n) / \mathrm{SO}(n)$ of positive definite $n \times n$ matrices of determinant one. This cements a surprising gap between the complexity of convex optimization and geodesically convex optimization: for hyperbolic spaces, Riemannian gradient descent is optimal on the class of smooth and and strongly geodesically convex functions, in the regime where the condition number scales with the radius of the optimization domain. The key idea for proving the lower bound consists of perturbing the hard functions of Hamilton and Moitra (2021) with sums of bump functions chosen by a resisting oracle.


title: Description of ResFrac automated history matching and optimization workflow

abstract: This document describes the functioning of the automated history matching and optimization workflow implemented with the ResFrac hydraulic fracturing and reservoir simulator. The purpose of the automated history matching and optimization workflow is enable automated calibration of simulator models to observed data and application to forward optimization. The automated workflow works by solving a formal mathematical optimization problem to minimize misfit with observations from any point in the lifecycle of a hydraulically fractured reservoir, or to maximize a quantity of interest associated such a reservoir, such as net present value. Objective function evaluations in the optimization problem consist of runs of the ResFrac simulator, which is a physics-based model of hydraulic fracturing and reservoir phenomena. The workflow employs a proxy model to improve computational speed and applies experimental design and Bayesian sampling techniques to generate points with which to train the proxy model. This document also provides an overview of the software infrastructure developed to support the automated workflow.


title: Directional differentiability, coexhausters, codifferentials and polyhedral DC functions

abstract: Codifferentials and coexhausters are used to describe nonhomogeneous approximations of a nonsmooth function. Despite the fact that coexhausters are modern generalizations of codifferentials, the theories of these two concepts continue to develop simultaneously. Moreover, codifferentials and coexhausters are strongly connected with DC functions. In this paper we trace analogies between all these objects, and prove the equivalence of the boundedness and optimality conditions described in terms of these notions. This allows one to extend the results derived in terms of one object to the problems stated via the other one. Another contribution of this paper is the study of connection between nonhomogeneous approximations and directional derivatives and formulate optimality conditions in terms of nonhomogeneous approximations.


title: Examining Needs and Opportunities for Supporting Students Who Experience Discrimination

abstract: Perceived discrimination is common and consequential. Yet, little support is available to ease handling of these experiences. Addressing this gap, we report on a need-finding study to guide us in identifying relevant technologies and their requirements. Specifically, we examined unfolding experiences of perceived discrimination among college students and found factors to address in providing meaningful support. We used semi-structured retrospective interviews with 14 students to understand their perceptions, emotions, and coping in response to discriminatory behaviors within the prior ten-week period. These 14 students were among 90 who provided experience sampling reports of unfair treatment over the same ten-week period. We found that discrimination is more distressing if students face related academic and social struggles or when the incident triggers beliefs of inefficacy. We additionally identified patterns of effective coping. By grounding the findings in an extended stress processing framework, we offer a principled approach to intervention design, which we illustrate through incident-specific and proactive intervention paradigms.


title: The gradient discretisation method for the chemical reactions of biochemical systems

abstract: We consider a biochemical model that consists of a system of partial differential equations based on reaction terms and subject to non--homogeneous Dirichlet boundary conditions. The model is discretised using the gradient discretisation method (GDM) which is a framework covering a large class of conforming and non conforming schemes. Under classical regularity assumptions on the exact solutions, the GDM enables us to establish the existence of the model solutions in a weak sense, and strong convergence for the approximate solution and its approximate gradient. Numerical test employing a finite volume method is presented to demonstrate the behaviour of the solutions to the model.


title: A real analogue of the Moore--Tachikawa category

abstract: For each complex semisimple group $G_{\mathbb{C}}$, Moore and Tachikawa conjectured the existence of a certain two-dimensional topological quantum field theory $\eta_{G_{\mathbb{C}}} : \mathrm{Cob}_2 \to \mathrm{MT}$ whose target category has complex Lie groups as objects and holomorphic symplectic varieties with Hamiltonian actions of the groups as morphisms. The conjecture is motivated by string theory, where $\eta_{G_{\mathbb{C}}}$ is obtained by taking the Higgs branch of some supersymmetric quantum field theories (called theories of class $S$) depending on $G_{\mathbb{C}}$ and a Riemann surface. The goal of this paper is to define a real analogue $\mathrm{MT}_{\mathbb{R}}$ of the target category $\mathrm{MT}$ and to rigorously prove that it is a category.


title: On Algorithms Based on Finitely Many Homomorphism Counts

abstract: It is well known [Lov\'asz, 67] that up to isomorphism a graph~$G$ is determined by the homomorphism counts $\hom(F, G)$, i.e., the number of homomorphisms from $F$ to $G$, where $F$ ranges over all graphs. Thus, in principle, we can answer any query concerning $G$ with only accessing the $\hom(\cdot,G)$'s instead of $G$ itself. In this paper, we deal with queries for which there is a hom algorithm, i.e., there are finitely many graphs $F_1, \ldots, F_k$ such that for any graph $G$ whether it is a Yes-instance of the query is already determined by the vector\[\overrightarrow{\hom}_{F_1,\ldots,F_k}(G):= \big(\hom(F_1,G),\ldots,\hom(F_k,G)\big),\]where the graphs $F_1, \ldots, F_k$ only depend on $\varphi$. We observe that planarity of graphs and 3-colorability of graphs, properties expressible in monadic second-order logic, have no hom algorithm. On the other hand, queries expressible as a Boolean combination of universal sentences in first-order logic FO have a hom algorithm. Even though it is not easy to find FO definable queries without a hom algorithm, we succeed to show this for the non-existence of an isolated vertex, a property expressible by the FO sentence $\forall x\exists y Exy$, somehow the ``simplest'' graph property not definable by a Boolean combination of universal sentences.These results provide a characterization of the prefix classes of first-order logic with the property that each query definable by a sentence of the prefix class has a hom algorithm. For adaptive query algorithms, i.e., algorithms that again access $\overrightarrow{\hom}_{F_1,\ldots,F_k}(G)$ but here $F_{i+1}$ might depend on $\hom(F_1,G),\ldots,\hom(F_i,G)$, we show that three homomorphism counts $\hom(\cdot,G)$ are both sufficient and in general necessary to determine the isomorphism type of $G$.


title: Cassini and extra force constraints to nonminimally coupled gravity with screening mechanism

abstract: We consider a nonminimally coupled curvature-matter gravity theory at the Solar System scale. Both a fifth force of Yukawa type and a further non-Newtonian extra force that arises from the nonminimal coupling are present in the solar interior and in the solar atmosphere up to interplanetary space. The extra force depends on the spatial gradient of space-time curvature R. The conditions under which the effects of such forces can be screened by the chameleon mechanism and be made consistent with Cassini measurement of PPN parameter $\gamma$ are examined. This consistency analysis requires a specific study of Sun's dynamical contribution to the arising forces at all its layers.


title: Designing a Trusted Data Brokerage Framework in the Aviation Domain

abstract: In recent years, there is growing interest in the ways the European aviation industry can leverage the multi-source data fusion towards augmented domain intelligence. However, privacy, legal and organisational policies together with technical limitations, hinder data sharing and, thus, its benefits. The current paper presents the ICARUS data policy and assets brokerage framework, which aims to (a) formalise the data attributes and qualities that affect how aviation data assets can be shared and handled subsequently to their acquisition, including licenses, IPR, characterisation of sensitivity and privacy risks, and (b) enable the creation of machine-processable data contracts for the aviation industry. This involves expressing contractual terms pertaining to data trading agreements into a machine-processable language and supporting the diverse interactions among stakeholders in aviation data sharing scenarios through a trusted and robust system based on the Ethereum platform.


title: Intelligent edge-based recommender system for internet of energy applications

abstract: Preserving energy in households and office buildings is a significant challenge, mainly due to the recent shortage of energy resources, the uprising of the current environmental problems, and the global lack of utilizing energy-saving technologies. Not to mention, within some regions, COVID-19 social distancing measures have led to a temporary transfer of energy demand from commercial and urban centers to residential areas, causing an increased use and higher charges, and in turn, creating economic impacts on customers. Therefore, the marketplace could benefit from developing an internet of things (IoT) ecosystem that monitors energy consumption habits and promptly recommends action to facilitate energy efficiency. This paper aims to present the full integration of a proposed energy efficiency framework into the Home-Assistant platform using an edge-based architecture. End-users can visualize their consumption patterns as well as ambient environmental data using the Home-Assistant user interface. More notably, explainable energy-saving recommendations are delivered to end-users in the form of notifications via the mobile application to facilitate habit change. In this context, to the best of the authors' knowledge, this is the first attempt to develop and implement an energy-saving recommender system on edge devices. Thus, ensuring better privacy preservation since data are processed locally on the edge, without the need to transmit them to remote servers, as is the case with cloudlet platforms.


title: Unsupervised Feature Ranking via Attribute Networks

abstract: The need for learning from unlabeled data is increasing in contemporary machine learning. Methods for unsupervised feature ranking, which identify the most important features in such data are thus gaining attention, and so are their applications in studying high throughput biological experiments or user bases for recommender systems. We propose FRANe (Feature Ranking via Attribute Networks), an unsupervised algorithm capable of finding key features in given unlabeled data set. FRANe is based on ideas from network reconstruction and network analysis. FRANe performs better than state-of-the-art competitors, as we empirically demonstrate on a large collection of benchmarks. Moreover, we provide the time complexity analysis of FRANe further demonstrating its scalability. Finally, FRANe offers as the result the interpretable relational structures used to derive the feature importances.


title: A Reduction Algorithm for Hilbert Modular Groups

abstract: The aim of this paper is to present an explicit reduction algorithm for Hilbert modular groups over arbitrary totally real number fields. An implementation of the algorithm is available to download from [19]. The exposition is self-contained and sufficient details are given for the reader to understand how it works and implement their own version if desired.


title: Soliton linear-wave scattering in a Kerr microresonator

abstract: The nonlinear scattering of a linear optical wave from a conservative soliton has been widely studied in optical fibers as a mechanism for nonlinear frequency conversion. Here we extend this analysis to consider the scattering of an externally injected probe wave from a dissipative Kerr cavity soliton circulating in a Kerr microresonator. We demonstrate, both theoretically and experimentally, that this nonlinear interaction can be harnessed for useful expansion of the soliton frequency comb via the formation of a secondary idler comb. We explore the physics of the process, showing that the phase detuning of the injected probe from a cavity resonance plays a key role in setting the central frequency of the idler comb, thus providing a convenient parameter through which to control the spectral envelope of that comb. Our results elucidate the dynamics that govern the interactions between dissipative Kerr cavity solitons and externally injected probe waves, and could prove useful in the design of future Kerr frequency comb systems by enabling the possibility to provide high-power comb lines in a specified spectral region simply through the injection of a suitably chosen probe.


title: Tantalizing properties of subsequences of the Fibonacci sequence modulo 10

abstract: The Fibonacci sequence modulo $m$, which we denote $\left(\mathcal{F}_{m,n}\right)_{n=0}^\infty$ where $\mathcal{F}_{m,n}$ is the Fibonacci number $F_n$ modulo $m$, has been a well-studied object in mathematics since the seminal paper by D.~D.~Wall in 1960 exploring a myriad of properties related to the periods of these sequences. Since the time of Lagrange it has been known that $\left(\mathcal{F}_{m,n}\right)_{n=0}^\infty$ is periodic for each $m$. We examine this sequence when $m=10$, yielding a sequence of period length 60. In particular, we explore its subsequences composed of every $r^{\mathrm{th}}$ term of $\left(\mathcal{F}_{10,n}\right)_{n=0}^\infty$ starting from the term $\mathcal{F}_{10,k}$ for some $0 \leq k \leq 59$. More precisely we consider the subsequences $\left(\mathcal{F}_{10,k+rj}\right)_{j=0}^\infty$, which we show are themselves periodic and whose lengths divide 60. Many intriguing properties reveal themselves as we alter the $k$ and $r$ values. For example, for certain $r$ values the corresponding subsequences surprisingly obey the Fibonacci recurrence relation; that is, any two consecutive subsequence terms sum to the next term modulo 10. Moreover, for all $r$ values relatively prime to 60, the subsequence $\left(\mathcal{F}_{10,k+rj}\right)_{j=0}^\infty$ coincides exactly with the original parent sequence $\left(\mathcal{F}_{10,n}\right)_{n=0}^\infty$ (or a cyclic shift of it) running either forward or reverse. We demystify this phenomena and explore many other tantalizing properties of these subsequences.


title: Open quantum dynamics theory for a complex subenvironment system with a quantum thermostat: Application to a spin heat bath

abstract: Complex environments, such as molecular matrices and biological material, play a fundamental role in many important dynamic processes in condensed phases. Because it is extremely difficult to conduct full quantum dynamics simulations on such environments due to their many degrees of freedom, here we treat in detail the environment only around the main system of interest (the subenvironment), while the other degrees of freedom needed to maintain the equilibrium temperature are described by a simple harmonic bath, which we call a quantum thermostat. The noise generated by the subenvironment is spatially non-local and non-Gaussian and cannot be characterized by the fluctuation-dissipation theorem. We describe this model by simulating the dynamics of a two-level system (TLS) that interacts with a subenvironment consisting of a one-dimensional $XXZ$ spin chain. The hierarchical Schr\"odinger equations of motion are employed to describe the quantum thermostat, allowing time-irreversible simulations of the dynamics at arbitrary temperature. To see the effects of a quantum phase transition of the subenvironment, we investigate the decoherence and relaxation processes of the TLS at zero and finite temperatures for various values of the spin anisotropy. We observed the decoherence of the TLS at finite temperature, even when the anisotropy of the $XXZ$ model is enormous. We also found that the population relaxation dynamics of the TLS changed in a complex manner with the change of the anisotropy and the ferromagnetic or antiferromagnetic orders of the spins.

categories: quant-ph cond-mat.mes-hall cond-mat.stat-mech physics.chem-ph


title: Room-temperature ferromagnetism at an oxide/nitride interface

abstract: Heterointerfaces have led to the discovery of novel electronic and magnetic states because of their strongly entangled electronic degrees of freedom. Single-phase chromium compounds always exhibit antiferromagnetism following the prediction of Goodenough-Kanamori rules. So far, exchange coupling between chromium ions via hetero-anions has not been explored and the associated quantum states is unknown. Here we report the successful epitaxial synthesis and characterizations of chromium oxide (Cr2O3)-chromium nitride (CrN) superlattices. Room-temperature ferromagnetic spin ordering is achieved at the interfaces between these two antiferromagnets, and the magnitude of the effect decays with increasing layer thickness. First-principles calculations indicate that robust ferromagnetic spin interaction between Cr3+ ions via anion-hybridizations across the interface yields the lowest total energy. This work opens the door to fundamental understanding of the unexpected and exceptional properties of oxide-nitride interfaces and provides access to hidden phases at low-dimensional quantum heterostructures.


title: Disentangled Unsupervised Image Translation via Restricted Information Flow

abstract: Unsupervised image-to-image translation methods aim to map images from one domain into plausible examples from another domain while preserving structures shared across two domains. In the many-to-many setting, an additional guidance example from the target domain is used to determine domain-specific attributes of the generated image. In the absence of attribute annotations, methods have to infer which factors are specific to each domain from data during training. Many state-of-art methods hard-code the desired shared-vs-specific split into their architecture, severely restricting the scope of the problem. In this paper, we propose a new method that does not rely on such inductive architectural biases, and infers which attributes are domain-specific from data by constraining information flow through the network using translation honesty losses and a penalty on the capacity of domain-specific embedding. We show that the proposed method achieves consistently high manipulation accuracy across two synthetic and one natural dataset spanning a wide variety of domain-specific and shared attributes.


title: Efficient Self-Ensemble for Semantic Segmentation

abstract: Ensemble of predictions is known to perform better than individual predictions taken separately. However, for tasks that require heavy computational resources, e.g. semantic segmentation, creating an ensemble of learners that needs to be trained separately is hardly tractable. In this work, we propose to leverage the performance boost offered by ensemble methods to enhance the semantic segmentation, while avoiding the traditional heavy training cost of the ensemble. Our self-ensemble approach takes advantage of the multi-scale features set produced by feature pyramid network methods to feed independent decoders, thus creating an ensemble within a single model. Similar to the ensemble, the final prediction is the aggregation of the prediction made by each learner. In contrast to previous works, our model can be trained end-to-end, alleviating the traditional cumbersome multi-stage training of ensembles. Our self-ensemble approach outperforms the current state-of-the-art on the benchmark datasets Pascal Context and COCO-Stuff-10K for semantic segmentation and is competitive on ADE20K and Cityscapes. Code is publicly available at github.com/WalBouss/SenFormer.


title: A Gauss curvature flow related to the Orlicz-Aleksandrov problem

abstract: In this paper we first obtain the existence of smooth solutions to Orlicz-Aleksandrov problem via a Gauss-like curvature flow.


title: Generative Adversarial Networks and Adversarial Autoencoders: Tutorial and Survey

abstract: This is a tutorial and survey paper on Generative Adversarial Network (GAN), adversarial autoencoders, and their variants. We start with explaining adversarial learning and the vanilla GAN. Then, we explain the conditional GAN and DCGAN. The mode collapse problem is introduced and various methods, including minibatch GAN, unrolled GAN, BourGAN, mixture GAN, D2GAN, and Wasserstein GAN, are introduced for resolving this problem. Then, maximum likelihood estimation in GAN are explained along with f-GAN, adversarial variational Bayes, and Bayesian GAN. Then, we cover feature matching in GAN, InfoGAN, GRAN, LSGAN, energy-based GAN, CatGAN, MMD GAN, LapGAN, progressive GAN, triple GAN, LAG, GMAN, AdaGAN, CoGAN, inverse GAN, BiGAN, ALI, SAGAN, Few-shot GAN, SinGAN, and interpolation and evaluation of GAN. Then, we introduce some applications of GAN such as image-to-image translation (including PatchGAN, CycleGAN, DeepFaceDrawing, simulated GAN, interactive GAN), text-to-image translation (including StackGAN), and mixing image characteristics (including FineGAN and MixNMatch). Finally, we explain the autoencoders based on adversarial learning including adversarial autoencoder, PixelGAN, and implicit autoencoder.


title: The detection of radio emission from known X-ray flaring star EXO 040830-7134.7

abstract: We report the detection of radio emission from the known X-ray flaring star EXO 040830$-$7134.7 during MeerKAT observations of the nearby cataclysmic variable VW Hydri. We have three epochs of MeerKAT observations, where the star is not detected in the first epoch, is detected in the second epoch, and is marginally detected in the third epoch. We cannot distinguish whether the detection is quiescent emission or a transient radio burst. If we assume the radio detection is quiescent emission the source lies somewhat to the right of the G\"udel-Benz relation; however, if we assume the upper-limit on the radio non-detection is indicative of the quiescent emission then the source lies directly on the relation. Both cases are broadly consistent with the relation. We use archival spectral energy distribution data and new SALT high-resolution spectroscopy to confirm that EXO 040830$-$7134.7 is a chromospherically active M-dwarf with a temperature of 4000$\pm$200 K of spectral type M0V. We use ASAS, ASAS-SN and TESS optical photometry to derive an improved rotational period of 5.18$\pm$0.04 days. This is the first radio detection of the source, and the first MeerKAT detection of an M-dwarf.


title: Ensembling of Distilled Models from Multi-task Teachers for Constrained Resource Language Pairs

abstract: This paper describes our submission to the constrained track of WMT21 shared news translation task. We focus on the three relatively low resource language pairs Bengali to and from Hindi, English to and from Hausa, and Xhosa to and from Zulu. To overcome the limitation of relatively low parallel data we train a multilingual model using a multitask objective employing both parallel and monolingual data. In addition, we augment the data using back translation. We also train a bilingual model incorporating back translation and knowledge distillation then combine the two models using sequence-to-sequence mapping. We see around 70% relative gain in BLEU point for English to and from Hausa, and around 25% relative improvements for both Bengali to and from Hindi, and Xhosa to and from Zulu compared to bilingual baselines.


title: 3D Pose Estimation and Future Motion Prediction from 2D Images

abstract: This paper considers to jointly tackle the highly correlated tasks of estimating 3D human body poses and predicting future 3D motions from RGB image sequences. Based on Lie algebra pose representation, a novel self-projection mechanism is proposed that naturally preserves human motion kinematics. This is further facilitated by a sequence-to-sequence multi-task architecture based on an encoder-decoder topology, which enables us to tap into the common ground shared by both tasks. Finally, a global refinement module is proposed to boost the performance of our framework. The effectiveness of our approach, called PoseMoNet, is demonstrated by ablation tests and empirical evaluations on Human3.6M and HumanEva-I benchmark, where competitive performance is obtained comparing to the state-of-the-arts.


title: Construction of simple quotients of Bernstein-Zelevinsky derivatives and highest derivative multisegments

abstract: Let $F$ be a non-Archimedean field. A sequence of derivatives of generalized Steinberg representations can be used to construct simple quotients of Bernstein-Zelevinsky derivatives of irreducible representations of $\mathrm{GL}_n(F)$. We introduce a notion of a highest derivative multisegment and use it to give a combinatorial criteria when two sequences of derivatives of generalized Steinberg representations give rise isomorphic simple quotients of Bernstein-Zelevinsky derivatives of an irreducible representation. We also show a certain uniqueness statement which hence gives a canonical sequence and show that such sequence possesses several useful properties. Those results can be translated to affine Hecke algebra of type A, by using our previous formulation of Bernstein-Zelevinsky derivatives in affine Hecke algebra of type A setting.


title: Greedy parameter optimization for diabatic quantum annealing

abstract: A shorter processing time is desirable for quantum computation to minimize the effects of noise. We propose a simple procedure to variationally determine a set of parameters in the transverse-field Ising model for quantum annealing appended with a field along the $y$ axis. The method consists of greedy optimization of the signs of coefficients of the $y$-field term based on the outputs of short annealing processes. We test the idea in the ferromagnetic system with all-to-all couplings and spin-glass problems, and find that the method outperforms the traditional form of quantum annealing and simulated annealing in terms of the success probability and the time to solution, in particular in the case of shorter annealing times, achieving the goal of improved performance while avoiding noise. The non-stoquastic $\sigma^y$ term can be eliminated by a rotation in the spin space, resulting in a non-trivial diabatic control of the coefficients in the stoquastic transverse-field Ising model, which may be feasible for experimental realization.


title: Intrinsic vortex pinning in superconducting quasicrystals

abstract: We numerically show that a vortex pinning occurs in superconducting quasicrystal without impurities and defects. This vortex pinning is intrinsic since the superconducting order parameter in quasicrystal is always inhomogeneous due to the lack of the translational symmetry. We propose that experiments influenced by vortex pinning effects can detect the atomic-scale inhomogeneous superconducting order parameter in quasicrystals. We develop a numerical method to solve the Bogoliubov-de Gennes equations and gap equations in large systems, which is based on the localized-Krylov subspace and a sparse modeling technique. Two two-dimensional quasicrystals, the Penrose and Amman-Beenker tiling, are considered.


title: Constraints on the fermionic dark matter from observations of neutron stars

abstract: We study an impact of asymmetric fermionic dark matter on neutron star properties, including tidal deformability, mass, radius, etc. We present the conditions at which dark matter particles tend to form a compact structure in a core of the star or create an extended halo around it. We show that compact core of dark matter leads to a decrease of the total gravitational mass and tidal deformability compared to a pure baryonic star, while presence of a dark matter halo increases those observable quantities. By imposing an existing astrophysical and gravitational wave constraints set by LIGO/Virgo Collaboration together with the recent results on the spatial distribution of dark matter in the Milky Way we determine a new upper limit on the mass and fraction of dark matter particles inside compact stars. Furthermore, we show that the formation of an extended halo around a NS is incompatible with the GW170817 tidal deformability constraint.


title: Are Dutch and French languages miscible?

abstract: We study the stability of the cohabitation of French and Dutch in the Brussels-capital region (Belgium). To this aim, we use available time series of fractions of speakers of monolinguals of both tongues as well as the fractions of bilinguals. The time series span a period from the mid-XIX century until 1947, year of the last accepted linguistic census. During this period, French penetrated the Dutch-vernacular region of Brussels and started a language shift that lasts to this day. The available time series are analyzed with a mathematical model of sociolinguistic dynamics that accounts for cohabitation of languages along bilingualism. Our equations are compatible with long-term coexistence of both languages, or with one tongue taking over and extinguishing the other. A series of model parameters (which we constrain by fitting our equations to the data) determine which long-term trajectory (cohabitation or extinction) would be followed. This allows us to estimate whether the empirical data are compatible with a coexistence of Dutch and French -- in physics terms, whether both tongues are {\em miscible}. Our results tilt towards non-coexistence, or coexistence with a starkly-dominated, minority language. The costs of attempting to sustain such sociolinguistic system are discussed.


title: Influence of atomic FAA on ParallelFor and a cost model for improvements

abstract: This paper focuses on one of the most frequently visited multithreading library interfaces - ParallelFor. In this study, it is inferred that ParallelFor's end-to-end latency performance is noticeably affected by the frequency with which fetch-add-add (FAA) is called during program execution. This can be explained by ParallelFor's uniform semantics and the utilization of atomic FAA. To prove this assumption, a battery of tests was designed and conducted on diverse platforms. From the collected performance statistics and overall trends, several conclusions were drawn and a cost model is proposed to enhance performance by mitigating the influence of FAA.


title: Scalable Method for Eliminating Residual $ZZ$ Interaction between Superconducting Qubits

abstract: Unwanted $ZZ$ interaction is a quantum-mechanical crosstalk phenomenon which correlates qubit dynamics and is ubiquitous in superconducting qubit systems. It adversely affects the quality of quantum operations and can be detrimental in scalable quantum information processing. Here we propose and experimentally demonstrate a practically extensible approach for complete cancellation of residual $ZZ$ interaction between fixed-frequency transmon qubits, which are known for long coherence and simple control. We apply to the intermediate coupler that connects the qubits a weak microwave drive at a properly chosen frequency in order to noninvasively induce an ac Stark shift for $ZZ$ cancellation. We verify the cancellation performance by measuring vanishing two-qubit entangling phases and $ZZ$ correlations. In addition, we implement a randomized benchmarking experiment to extract the idling gate fidelity which shows good agreement with the coherence limit, demonstrating the effectiveness of $ZZ$ cancellation. Our method allows independent addressability of each qubit-qubit connection, and is applicable to both nontunable and tunable couplers, promising better compatibility with future large-scale quantum processors.


title: KNAS: Green Neural Architecture Search

abstract: Many existing neural architecture search (NAS) solutions rely on downstream training for architecture evaluation, which takes enormous computations. Considering that these computations bring a large carbon footprint, this paper aims to explore a green (namely environmental-friendly) NAS solution that evaluates architectures without training. Intuitively, gradients, induced by the architecture itself, directly decide the convergence and generalization results. It motivates us to propose the gradient kernel hypothesis: Gradients can be used as a coarse-grained proxy of downstream training to evaluate random-initialized networks. To support the hypothesis, we conduct a theoretical analysis and find a practical gradient kernel that has good correlations with training loss and validation performance. According to this hypothesis, we propose a new kernel based architecture search approach KNAS. Experiments show that KNAS achieves competitive results with orders of magnitude faster than "train-then-test" paradigms on image classification tasks. Furthermore, the extremely low search cost enables its wide applications. The searched network also outperforms strong baseline RoBERTA-large on two text classification tasks. Codes are available at \url{https://github.com/Jingjing-NLP/KNAS} .


title: A local pointwise inequality for a biharmonic equation with negative exponents

abstract: In this paper, we are inspired by Ng\^{o}, Nguyen and Phan's [15] study of the pointwise inequality for positive $C^{4}$-solutions of biharmonic equations with negative exponent by using the growth condition of solutions. They propose an open question of whether the growth condition is necessary to obtain the pointwise inequality. We give a positive answer to this open question. We establish the following local pointwise inequality $$-\frac{\Delta u}{u}+\alpha\frac{|\nabla u|^{2}}{u^{2}}+\beta u^{-\frac{q+1}{2}}\leq\frac{C}{R^{2}}$$ for positive $C^{4}$-solutions of the biharmonic equations with negative exponent $$-\Delta^{2}u=u^{-q} \ in \ B_{R}$$ where $B_{R}$ denotes the ball centered at $x_{0}$ with radius $R$, $n\geq3$, $q>1$, and some constants $\alpha\geq0$, $\beta>0$, $C>0$.


title: Medial Spectral Coordinates for 3D Shape Analysis

abstract: In recent years there has been a resurgence of interest in our community in the shape analysis of 3D objects represented by surface meshes, their voxelized interiors, or surface point clouds. In part, this interest has been stimulated by the increased availability of RGBD cameras, and by applications of computer vision to autonomous driving, medical imaging, and robotics. In these settings, spectral coordinates have shown promise for shape representation due to their ability to incorporate both local and global shape properties in a manner that is qualitatively invariant to isometric transformations. Yet, surprisingly, such coordinates have thus far typically considered only local surface positional or derivative information. In the present article, we propose to equip spectral coordinates with medial (object width) information, so as to enrich them. The key idea is to couple surface points that share a medial ball, via the weights of the adjacency matrix. We develop a spectral feature using this idea, and the algorithms to compute it. The incorporation of object width and medial coupling has direct benefits, as illustrated by our experiments on object classification, object part segmentation, and surface point correspondence.


title: Approximate Bayesian Computation for Physical Inverse Modeling

abstract: Semiconductor device models are essential to understand the charge transport in thin film transistors (TFTs). Using these TFT models to draw inference involves estimating parameters used to fit to the experimental data. These experimental data can involve extracted charge carrier mobility or measured current. Estimating these parameters help us draw inferences about device performance. Fitting a TFT model for a given experimental data using the model parameters relies on manual fine tuning of multiple parameters by human experts. Several of these parameters may have confounding effects on the experimental data, making their individual effect extraction a non-intuitive process during manual tuning. To avoid this convoluted process, we propose a new method for automating the model parameter extraction process resulting in an accurate model fitting. In this work, model choice based approximate Bayesian computation (aBc) is used for generating the posterior distribution of the estimated parameters using observed mobility at various gate voltage values. Furthermore, it is shown that the extracted parameters can be accurately predicted from the mobility curves using gradient boosted trees. This work also provides a comparative analysis of the proposed framework with fine-tuned neural networks wherein the proposed framework is shown to perform better.


title: Latent Space based Memory Replay for Continual Learning in Artificial Neural Networks

abstract: Memory replay may be key to learning in biological brains, which manage to learn new tasks continually without catastrophically interfering with previous knowledge. On the other hand, artificial neural networks suffer from catastrophic forgetting and tend to only perform well on tasks that they were recently trained on. In this work we explore the application of latent space based memory replay for classification using artificial neural networks. We are able to preserve good performance in previous tasks by storing only a small percentage of the original data in a compressed latent space version.


title: Bias and synergy in the self-consistent approach of data analysis of ion beam techniques

abstract: Using multiple ion beam analysis measurements, or techniques, combined with self-consistent data processing, generally allows extracting more (or more accurate) information from the measurements than processing separately data from single measurements. Solving ambiguities, improving the final depth resolution, defining constraints and extending applicability are the main strengths of the data-fusion approach. It basically consists in formulating a multi-objective minimization problem that can be tackled by the adoption of the weighted-sum method. A simulation study is reported in order to evaluate the systematic error inserted in the analysis by the choice of a specific objective function, or even by the weights or normalization adopted in the weighted-sum method. We demonstrate that the bias of the analyzed objective functions asymptotically converges to the true value for better statistics. We also demonstrate that the joint analysis inherits the accuracy of the most accurate measurement, establishing a rank of information content, where some combinations of measurements are more valuable than others, i.e. when processed together they provide more information by means of a better constraint for the multi-objective optimization.


title: Exploiting full Resolution Feature Context for Liver Tumor and Vessel Segmentation via Integrate Framework: Application to Liver Tumor and Vessel 3D Reconstruction under embedded microprocessor

abstract: Liver cancer is one of the most common malignant diseases in the world. Segmentation and labeling of liver tumors and blood vessels in CT images can provide convenience for doctors in liver tumor diagnosis and surgical intervention. In the past decades, many state-of-the-art medical image segmentation algorithms appeared during this period. With the development of embedded devices, embedded deployment for medical segmentation and automatic reconstruction brings prospects for future automated surgical tasks. Yet, most of the existing segmentation methods mostly care about the spatial feature context and have a perception defect in the semantic relevance of medical images, which significantly affects the segmentation accuracy of liver tumors and blood vessels. Deploying large and complex models into embedded devices requires a reasonable trade-off between model accuracy, reasoning speed and model capacity. Given these problems, we introduce a multi-scale feature fusion network called TransFusionNet based on Transformer. This network achieved very competitive performance for liver vessel and liver tumor segmentation tasks, meanwhile it can improve the recognition of morphologic margins of liver tumors by exploiting the global information of CT images. Experiments show that in vessel segmentation task TransFusionNet achieved mean Dice coefficients of 0.899 and in liver tumor segmentation task TransFusionNet achieved mean Dice coefficients of 0.961. Compared with the state-of-the-art framework, our model achieves the best segmentation result. In addition, we deployed the model into an embedded micro-structure and constructed an integrated model for liver tumor vascular segmentation and reconstruction. This proprietary structure will be the exclusive component of the future medical field.


title: A Robust Volumetric Transformer for Accurate 3D Tumor Segmentation

abstract: We propose a Transformer architecture for volumetric segmentation, a challenging task that requires keeping a complex balance in encoding local and global spatial cues, and preserving information along all axes of the volume. Encoder of the proposed design benefits from self-attention mechanism to simultaneously encode local and global cues, while the decoder employs a parallel self and cross attention formulation to capture fine details for boundary refinement. Empirically, we show that the proposed design choices result in a computationally efficient model, with competitive and promising results on the Medical Segmentation Decathlon (MSD) brain tumor segmentation (BraTS) Task. We further show that the representations learned by our model are robust against data corruptions. \href{https://github.com/himashi92/VT-UNet}{Our code implementation is publicly available}.


title: Simple Contrastive Representation Adversarial Learning for NLP Tasks

abstract: Self-supervised learning approach like contrastive learning is attached great attention in natural language processing. It uses pairs of training data augmentations to build a classification task for an encoder with well representation ability. However, the construction of learning pairs over contrastive learning is much harder in NLP tasks. Previous works generate word-level changes to form pairs, but small transforms may cause notable changes on the meaning of sentences as the discrete and sparse nature of natural language. In this paper, adversarial training is performed to generate challenging and harder learning adversarial examples over the embedding space of NLP as learning pairs. Using contrastive learning improves the generalization ability of adversarial training because contrastive loss can uniform the sample distribution. And at the same time, adversarial training also enhances the robustness of contrastive learning. Two novel frameworks, supervised contrastive adversarial learning (SCAL) and unsupervised SCAL (USCAL), are proposed, which yields learning pairs by utilizing the adversarial training for contrastive learning. The label-based loss of supervised tasks is exploited to generate adversarial examples while unsupervised tasks bring contrastive loss. To validate the effectiveness of the proposed framework, we employ it to Transformer-based models for natural language understanding, sentence semantic textual similarity and adversarial learning tasks. Experimental results on GLUE benchmark tasks show that our fine-tuned supervised method outperforms BERT$_{base}$ over 1.75\%. We also evaluate our unsupervised method on semantic textual similarity (STS) tasks, and our method gets 77.29\% with BERT$_{base}$. The robustness of our approach conducts state-of-the-art results under multiple adversarial datasets on NLI tasks.


title: Equivalence between algorithmic instability and transition to replica symmetry breaking in perceptron learning systems

abstract: Binary perceptron is a fundamental model of supervised learning for the non-convex optimization, which is a root of the popular deep learning. Binary perceptron is able to achieve a classification of random high-dimensional data by computing the marginal probabilities of binary synapses. The relationship between the algorithmic instability and the equilibrium analysis of the model remains elusive. Here, we establish the relationship by showing that the instability condition around the algorithmic fixed point is identical to the instability for breaking the replica symmetric saddle point solution of the free energy function. Therefore, our analysis would hopefully provide insights towards other learning systems in bridging the gap between non-convex learning dynamics and statistical mechanics properties of more complex neural networks.


title: Morpho-kinematics of the wind of AGB star L$_2$ Pup

abstract: Single dish observations of AGB star L$_2$ Pup have revealed exceptionally low mass loss rate and expansion velocity, challenging interpretations in terms of standard wind models. Recent VLT and ALMA observations have drawn a detailed picture of the circumstellar envelope within $\sim$20 au from the centre of the star: a nearly edge-on rotating disc of gas and dust, probably hosting a planetary companion near the star. However, these observations provide no direct information on the wind escaping the gravity of the star. The present article uses ALMA observations of the $^{12,13}$CO(3-2), $^{29}$SiO(8-7), $^{12}$CO(2-1) and $^{28}$SiO(5-4) line emissions to shed new light on this issue. It shows the apparent normality of L$_2$ Pup in terms of the formation of the nascent wind, with important line broadening within 4 au from the centre of the star, but no evidence for a wind flowing along the disc axis. At larger distances, up to some 200 au from the centre of the star, the wind morpho-kinematics is dominated by a disc, or equatorial enhancement, expanding isotropically and radially with a velocity not exceeding some 5 km s$^{-1}$ , inclined in the north-west/south-east direction with respect to the plane of the sky. In addition, outflows of lower density are observed on both sides of the disc, covering large solid angles about the disc axis, contributing about half the flux of the disc. Such morphology is at strong variance with the expectation of a pair of back-to-back outflows collimated by the central gas-and-dust disc.


title: Data Fusion Challenges Privacy: What Can Privacy Regulation Do?

abstract: This paper focuses on some shortcomings in current privacy and data protection regulations' ability to adequately address the ramifications of AI-driven data processing practices, in particular where data sets are combined and processed by AI systems. We raise attention to two regulatory anomalies related to two fundamental assumptions underlying traditional privacy and data protection approaches: (1) Only Personally Identifiable Information (PII) and Personal Data (PD) require privacy protection: Privacy and data protection regulations are only triggered with respect to PII/PD, but not anonymous data. This is not only problematic because determining whether data falls in the former or latter category is no longer straightforward, but also because privacy risks associated with data processing may exist whether or not an individual can be identified. (2) Given sufficient information provided in a transparent and understandable manner, individuals are able to adequately assess the privacy implications of their actions and protect their privacy interests: However, relying on human privacy expectations fails to address important privacy threats, because those expectations are at odds with the actual privacy implications of data processing practices, as most people lack the necessary technical literacy to understand the sophisticated technologies at play, and to correctly assess their privacy implications. To tackle these anomalies we recommend regulatory reform in two directions: (1) Abolishing the distinction between personal and anonymized data for the purposes of triggering the application of privacy and data protection regulations and (2) developing methods to prioritize regulatory intervention based on the level of privacy risk posed by individual data processing actions.


title: Close binary evolution based on Gaia DR2: the origin of late WC-type Wolf-Rayet stars with low luminosity

abstract: The observed late-type WC Wolf-Rayet stars (WC7-9) with low luminosity below $\rm \log L/L_{\odot} < 5.4$ in the HR diagram cannot be reproduced satisfactorily by the evolutionary track of single stars. The mass transfer due to Roche lobe overflow drastically modifies the internal structure and surface compositions of two components. Therefore, binaries provide a very promising evolutionary channel to produce these WC stars.


title: Compatible $L_\infty$-algebras

abstract: A compatible $L_\infty$-algebra is a graded vector space together with two compatible $L_\infty$-algebra structures on it. Given a graded vector space, we construct a graded Lie algebra whose Maurer-Cartan elements are precisely compatible $L_\infty$-algebra structures on it. We provide examples of compatible $L_\infty$-algebras arising from Nijenhuis operators, compatible $V$-datas and compatible Courant algebroids. We define the cohomology of a compatible $L_\infty$-algebra and as an application, we study formal deformations. Next, we classify `strict' and `skeletal' compatible $L_\infty$-algebras in terms of crossed modules and cohomology of compatible Lie algebras. Finally, we introduce compatible Lie $2$-algebras and find their relationship with compatible $L_\infty$-algebras.


title: Self-supervised Correlation Mining Network for Person Image Generation

abstract: Person image generation aims to perform non-rigid deformation on source images, which generally requires unaligned data pairs for training. Recently, self-supervised methods express great prospects in this task by merging the disentangled representations for self-reconstruction. However, such methods fail to exploit the spatial correlation between the disentangled features. In this paper, we propose a Self-supervised Correlation Mining Network (SCM-Net) to rearrange the source images in the feature space, in which two collaborative modules are integrated, Decomposed Style Encoder (DSE) and Correlation Mining Module (CMM). Specifically, the DSE first creates unaligned pairs at the feature level. Then, the CMM establishes the spatial correlation field for feature rearrangement. Eventually, a translation module transforms the rearranged features to realistic results. Meanwhile, for improving the fidelity of cross-scale pose transformation, we propose a graph based Body Structure Retaining Loss (BSR Loss) to preserve reasonable body structures on half body to full body generation. Extensive experiments conducted on DeepFashion dataset demonstrate the superiority of our method compared with other supervised and unsupervised approaches. Furthermore, satisfactory results on face generation show the versatility of our method in other deformation tasks.


title: Revealing the role of interfacial heterogeneous nucleation in metastable thin film growth of rare earth nickelates electronic transition materials

abstract: Although rare earth nickelates (ReNiO3) exhibit abundant electronic phases and widely adjustable metal to insulator electronic transition properties, their practical electronic applications are largely impeded by their intrinsic meta stability. Apart from elevating oxygen reaction pressures, heterogeneous nucleation is expected as an alternative strategy that enables the crystallization of ReNiO3 at low meta stability. In this work, the respective roles of high oxygen pressure and heterogeneous interface in triggering ReNiO3 thin films growth at metastable state are revealed. The ReNiO3 (Re:Nd, Sm, Eu, Gd, and Dy) heterogeneous thin films growth on LaAlO3 single crystal substrate have an effective crystallization at atmosphere without the necessity to apply high oxygen pressures, suggesting the interfacial bonding between the ReNiO3 and substrates can sufficiently reduce the positive Gibbs formation energy of ReNiO3, which is further verified by the first principles calculations. Nevertheless, the abrupt electronic transitions only appear in ReNiO3 thin films grown at high oxygen pressures, in which cases the oxygen vacancies are effectively eliminated via high oxygen pressure reactions as indicated by near edge X ray absorption fine structure (NEXAFS). This work unveils the synergistic effects of heterogeneous nucleation and high oxygen pressure on the growth of high quality ReNiO3 thin films.


title: Data Augmented 3D Semantic Scene Completion with 2D Segmentation Priors

abstract: Semantic scene completion (SSC) is a challenging Computer Vision task with many practical applications, from robotics to assistive computing. Its goal is to infer the 3D geometry in a field of view of a scene and the semantic labels of voxels, including occluded regions. In this work, we present SPAwN, a novel lightweight multimodal 3D deep CNN that seamlessly fuses structural data from the depth component of RGB-D images with semantic priors from a bimodal 2D segmentation network. A crucial difficulty in this field is the lack of fully labeled real-world 3D datasets which are large enough to train the current data-hungry deep 3D CNNs. In 2D computer vision tasks, many data augmentation strategies have been proposed to improve the generalization ability of CNNs. However those approaches cannot be directly applied to the RGB-D input and output volume of SSC solutions. In this paper, we introduce the use of a 3D data augmentation strategy that can be applied to multimodal SSC networks. We validate our contributions with a comprehensive and reproducible ablation study. Our solution consistently surpasses previous works with a similar level of complexity.


title: Evaluating Trust in the Context of Conversational Information Systems for new users of the Internet

abstract: Most online information sources are text-based and in Western Languages like English. However, many new and first time users of the Internet are in contexts with low English proficiency and are unable to access vital information online. Several researchers have focused on building conversational information systems over voice for this demographic, and also highlighted the importance of building trust towards the information source. In this work we develop four versions of a voice based chat-bot on the Google Assistant platform in which we vary the gender, friendliness and personalisation of the bot. We find that the users rank the female version of the bot with more personalisations over the others; however when rating the bots individually, the ratings depend on the ability of the bot to understand the users' spoken query and respond accurately.


title: Blaschke Product Neural Networks (BPNN): A Physics-Infused Neural Network for Phase Retrieval of Meromorphic Functions

abstract: Numerous physical systems are described by ordinary or partial differential equations whose solutions are given by holomorphic or meromorphic functions in the complex domain. In many cases, only the magnitude of these functions are observed on various points on the purely imaginary jw-axis since coherent measurement of their phases is often expensive. However, it is desirable to retrieve the lost phases from the magnitudes when possible. To this end, we propose a physics-infused deep neural network based on the Blaschke products for phase retrieval. Inspired by the Helson and Sarason Theorem, we recover coefficients of a rational function of Blaschke products using a Blaschke Product Neural Network (BPNN), based upon the magnitude observations as input. The resulting rational function is then used for phase retrieval. We compare the BPNN to conventional deep neural networks (NNs) on several phase retrieval problems, comprising both synthetic and contemporary real-world problems (e.g., metamaterials for which data collection requires substantial expertise and is time consuming). On each phase retrieval problem, we compare against a population of conventional NNs of varying size and hyperparameter settings. Even without any hyper-parameter search, we find that BPNNs consistently outperform the population of optimized NNs in scarce data scenarios, and do so despite being much smaller models. The results can in turn be applied to calculate the refractive index of metamaterials, which is an important problem in emerging areas of material science.