title: Dimension-free entanglement detection in multipartite Werner states

abstract: Werner states are multipartite quantum states that are invariant under the diagonal conjugate action of the unitary group. This paper gives a complete characterization of their entanglement that is independent of the underlying local Hilbert space: for every entangled Werner state there exists a dimension-free entanglement witness. The construction of such a witness is formulated as an optimization problem. To solve it, two semidefinite programming hierarchies are introduced. The first one is derived using real algebraic geometry applied to positive polynomials in the entries of a Gram matrix, and is complete in the sense that for every entangled Werner state it converges to a witness. The second one is based on a sum-of-squares certificate for the positivity of trace polynomials in noncommuting variables, and is a relaxation that involves smaller semidefinite constraints.


title: Improving Semi-Supervised Learning for Remaining Useful Lifetime Estimation Through Self-Supervision

abstract: RUL estimation suffers from a server data imbalance where data from machines near their end of life is rare. Additionally, the data produced by a machine can only be labeled after the machine failed. Semi-Supervised Learning (SSL) can incorporate the unlabeled data produced by machines that did not yet fail. Previous work on SSL evaluated their approaches under unrealistic conditions where the data near failure was still available. Even so, only moderate improvements were made. This paper proposes a novel SSL approach based on self-supervised pre-training. The method can outperform two competing approaches from the literature and a supervised baseline under realistic conditions on the NASA C-MAPSS dataset.


title: Modulation of homogeneous and isotropic turbulence in emulsions

abstract: We present a numerical study of emulsions in homogeneous and isotropic turbulence at $Re_\lambda=137$. The problem is addressed via Direct Numerical Simulations (DNS), where the Volume of Fluid (VOF) is used to represent the complex features of the liquid-liquid interface. We consider a mixture of two iso-density fluids, where fluid properties are varied with the goal of understanding their role in turbulence modulation, in particular the volume fraction ($0.03<\alpha<0.5$), viscosity ratio ($0.01<\mu_d/\mu_c<100$) and large scale Weber number ($10.6<We_\mathcal{L}<106.5$). The analysis, performed by studying integral quantities and spectral scale-by-scale analysis, reveals that energy is consistently transported from large to small scales by the interface, and no inverse cascade is observed. Furthermore, the total surface is found to be directly proportional to the amount of energy transported, while viscosity and surface tension alter the dynamic that regulates energy transport. We also observe the $-10/3$ and $-3/2$ scaling on droplet size distributions, suggesting that the dimensional arguments which led to their derivation are verified in HIT conditions.


title: Feature-weighted Stacking for Nonseasonal Time Series Forecasts: A Case Study of the COVID-19 Epidemic Curves

abstract: We investigate ensembling techniques in forecasting and examine their potential for use in nonseasonal time-series similar to those in the early days of the COVID-19 pandemic. Developing improved forecast methods is essential as they provide data-driven decisions to organisations and decision-makers during critical phases. We propose using late data fusion, using a stacked ensemble of two forecasting models and two meta-features that prove their predictive power during a preliminary forecasting stage. The final ensembles include a Prophet and long short term memory (LSTM) neural network as base models. The base models are combined by a multilayer perceptron (MLP), taking into account meta-features that indicate the highest correlation with each base model's forecast accuracy. We further show that the inclusion of meta-features generally improves the ensemble's forecast accuracy across two forecast horizons of seven and fourteen days. This research reinforces previous work and demonstrates the value of combining traditional statistical models with deep learning models to produce more accurate forecast models for time-series from different domains and seasonality.


title: Programming-By-Example by Programming-By-Example: Synthesis of Looping Programs

abstract: Program synthesis has seen many new applications in recent years, in large part thanks to the introduction of SyGuS. However, no existing SyGuS solvers have support for synthesizing recursive functions. We introduce an multi-phase algorithm for the synthesis of recursive ``looplike'' programs in SyGuS for programming-by-example. We solve constraints individually and treat them as ``unrolled`` examples of how a recursive program would behave, and solve for the generalized recursive solution. Our approach is modular and supports any SyGuS Solver.


title: Type II smoothing in mean curvature flow

abstract: In 1994 Velazquez constructed a smooth \(O(4)\times O(4)\) invariant Mean Curvature Flow that forms a type-II singularity at the origin in space-time. Stolarski very recently showed that the mean curvature on this solution is uniformly bounded. Earlier, Velazquez also provided formal asymptotic expansions for a possible smooth continuation of the solution after the singularity. Here we prove short time existence of Velazquez formal continuation, and we verify that the mean curvature is also uniformly bounded on the continuation. Combined with the earlier results of Velazquez-Stolarski we therefore show that there exists a solution \(\{M_t^7\subset\R^8 \mid -t_0 <t<t_0\}\) that has an isolated singularity at the origin \(0\in\R^8\), and at \(t=0\); moreover, the mean curvature is uniformly bounded on this solution, even though the second fundamental form is unbounded near the singularity.


title: Property-Based Testing in Simulation for Verifying Robot Action Execution in Tabletop Manipulation

abstract: An important prerequisite for the reliability and robustness of a service robot is ensuring the robot's correct behavior when it performs various tasks of interest. Extensive testing is one established approach for ensuring behavioural correctness; this becomes even more important with the integration of learning-based methods into robot software architectures, as there are often no theoretical guarantees about the performance of such methods in varying scenarios. In this paper, we aim towards evaluating the correctness of robot behaviors in tabletop manipulation through automatic generation of simulated test scenarios in which a robot assesses its performance using property-based testing. In particular, key properties of interest for various robot actions are encoded in an action ontology and are then verified and validated within a simulated environment. We evaluate our framework with a Toyota Human Support Robot (HSR) which is tested in a Gazebo simulation. We show that our framework can correctly and consistently identify various failed actions in a variety of randomised tabletop manipulation scenarios, in addition to providing deeper insights into the type and location of failures for each designed property.


title: Elliptic curves with missing Frobenius traces

abstract: Let $E$ be an elliptic curve defined over $\mathbb{Q}$. In 1976, Lang and Trotter conjectured an asymptotic formula for the number $\pi_{E,r}(X)$ of primes $p \leq X$ of good reduction for which the Frobenius trace at $p$ associated to $E$ is equal to a given fixed integer $r$. We investigate elliptic curves $E$ over $\mathbb{Q}$ that have a missing Frobenius trace, i.e. for which the counting function $\pi_{E,r}(X)$ remains bounded as $X \rightarrow \infty$, for some $r \in \mathbb{Z}$. In particular, we classify all elliptic curves $E$ over $\mathbb{Q}(t)$ that have a missing Frobenius trace.


title: Counterfactual Attention Learning for Fine-Grained Visual Categorization and Re-identification

abstract: Attention mechanism has demonstrated great potential in fine-grained visual recognition tasks. In this paper, we present a counterfactual attention learning method to learn more effective attention based on causal inference. Unlike most existing methods that learn visual attention based on conventional likelihood, we propose to learn the attention with counterfactual causality, which provides a tool to measure the attention quality and a powerful supervisory signal to guide the learning process. Specifically, we analyze the effect of the learned visual attention on network prediction through counterfactual intervention and maximize the effect to encourage the network to learn more useful attention for fine-grained image recognition. Empirically, we evaluate our method on a wide range of fine-grained recognition tasks where attention plays a crucial role, including fine-grained image categorization, person re-identification, and vehicle re-identification. The consistent improvement on all benchmarks demonstrates the effectiveness of our method. Code is available at https://github.com/raoyongming/CAL


title: Thermodynamic equilibrium condition and the first law of thermodynamics for charged perfect fluids in electromagnetic and gravitational fields

abstract: We provide a proof of the necessary and sufficient condition on the profile of the temperature, chemical potential, and angular velocity for a charged perfect fluid in dynamic equilibrium to be in thermodynamic equilibrium not only in fixed but also in dynamical electromagnetic and gravitational fields. In passing, we also present the corresponding expression for the first law of thermodynamics for such a charged star.


title: Accurate 3D frequency-domain seismic wave modeling with the wavelength-adaptive 27-point finite-difference stencil: a tool for full waveform inversion

abstract: Efficient frequency-domain Full Waveform Inversion (FWI) of long-offset/wide-azimuth node data can be designed with a few discrete frequencies. However, 3D frequency-domain seismic modeling remains challenging since it requires solving a large and sparse linear indefinite system per frequency. When such systems are solved with direct methods or hybrid direct/iterative solvers, based upon domain decomposition preconditioner, finite-difference stencils on regular Cartesian grids should be designed to conciliate compactness and accuracy, the former being necessary to mitigate the fill-in induced by the Lower-Upper (LU) factorization. Compactness is classically implemented by combining several second-order accurate stencils covering the eight cells surrounding the collocation point, leading to the so-called 27-point stencil. Accuracy is obtained by applying optimal weights on the different stiffness and consistent mass matrices such that numerical dispersion is jointly minimized for several number of grid points per wavelength ($G$). However, with this approach, the same weights are used at each collocation point, leading to suboptimal accuracy in heterogeneous media. In this study, we propose a straightforward recipe to improve the accuracy of the 27-point stencil. First, we finely tabulate the values of $G$ covering the range of wavelengths spanned by the subsurface model and the frequency. Then, we estimate with a classical dispersion analysis in homogeneous media the corresponding table of optimal weights that minimize dispersion for each $G$ treated separately. We however apply a Tikhonov regularization to guarantee smooth variation of the weights with $G$. Finally, we build the impedance matrix by selecting the optimal weights at each collocation point according to the local wavelength, hence leading to a wavelength-adaptive stencil.


title: Registration-Guided Deep Learning Image Segmentation for Cone Beam CT-based Online Adaptive Radiotherapy

abstract: Adaptive radiotherapy (ART), especially online ART, effectively accounts for positioning errors and anatomical changes. One key component of online ART is accurately and efficiently delineating organs at risk (OARs) and targets on online images, such as CBCT, to meet the online demands of plan evaluation and adaptation. Deep learning (DL)-based automatic segmentation has gained great success in segmenting planning CT, but its applications to CBCT yielded inferior results due to the low image quality and limited available contour labels for training. To overcome these obstacles to online CBCT segmentation, we propose a registration-guided DL (RgDL) segmentation framework that integrates image registration algorithms and DL segmentation models. The registration algorithm generates initial contours, which were used as guidance by DL model to obtain accurate final segmentations. We had two implementations the proposed framework--Rig-RgDL (Rig for rigid body) and Def-RgDL (Def for deformable)--with rigid body (RB) registration or deformable image registration (DIR) as the registration algorithm respectively and U-Net as DL model architecture. The two implementations of RgDL framework were trained and evaluated on seven OARs in an institutional clinical Head and Neck (HN) dataset. Compared to the baseline approaches using the registration or the DL alone, RgDL achieved more accurate segmentation, as measured by higher mean Dice similarity coefficients (DSC) and other distance-based metrics. Rig-RgDL achieved a DSC of 84.5% on seven OARs on average, higher than RB or DL alone by 4.5% and 4.7%. The DSC of Def-RgDL is 86.5%, higher than DIR or DL alone by 2.4% and 6.7%. The inference time took by the DL model to generate final segmentations of seven OARs is less than one second in RgDL. The resulting segmentation accuracy and efficiency show the promise of applying RgDL framework for online ART.


title: The physics of non-ideal general relativistic magnetohydrodynamics

abstract: We consider a framework for non-ideal magnetohydrodynamics in general relativity, paying particular attention to the physics involved. The discussion highlights the connection between the microphysics (associated with a given equation of state) and the global dynamics (from the point of view of numerical simulations), and includes a careful consideration of the assumptions that lead to ideal and resistive magnetohydrodynamics. We pay particular attention to the issue of local charge neutrality, which tends to be assumed but appears to be more involved than is generally appreciated. While we do not resolve all the involved issues, we highlight how some of the assumptions and simplifications may be tested by simulations. The final formulation is consistent, both logically and physically, preparing the ground for a new generation of models of relevant astrophysical scenarios.


title: Metric dimension, doubly resolving set and strong metric dimension for $(C_n\Box P_k)\Box P_m$

abstract: A subset $Q = \{q_1, q_2, ..., q_l\}$ of vertices of a connected graph $G$ is a doubly resolving set of $G$ if for any various vertices $x, y \in V(G)$ we have $r(x|Q)-r(y|Q)\neq\lambda I$, where $\lambda$ is an integer, and $I$ indicates the unit $l$- vector $(1,..., 1)$. A doubly resolving set of vertices of graph $G$ with the minimum size, is denoted by $\psi(G)$. In this work, we will consider the computational study of some resolving sets with the minimum size for $(C_n\Box P_k)\Box P_m$.


title: odeN: Simultaneous Approximation of Multiple Motif Counts in Large Temporal Networks

abstract: Counting the number of occurrences of small connected subgraphs, called temporal motifs, has become a fundamental primitive for the analysis of temporal networks, whose edges are annotated with the time of the event they represent. One of the main complications in studying temporal motifs is the large number of motifs that can be built even with a limited number of vertices or edges. As a consequence, since in many applications motifs are employed for exploratory analyses, the user needs to iteratively select and analyze several motifs that represent different aspects of the network, resulting in an inefficient, time-consuming process. This problem is exacerbated in large networks, where the analysis of even a single motif is computationally demanding. As a solution, in this work we propose and study the problem of simultaneously counting the number of occurrences of multiple temporal motifs, all corresponding to the same (static) topology (e.g., a triangle). Given that for large temporal networks computing the exact counts is unfeasible, we propose odeN, a sampling-based algorithm that provides an accurate approximation of all the counts of the motifs. We provide analytical bounds on the number of samples required by odeN to compute rigorous, probabilistic, relative approximations. Our extensive experimental evaluation shows that odeN enables the approximation of the counts of motifs in temporal networks in a fraction of the time needed by state-of-the-art methods, and that it also reports more accurate approximations than such methods.


title: SiReN: Sign-Aware Recommendation Using Graph Neural Networks

abstract: In recent years, many recommender systems using network embedding (NE) such as graph neural networks (GNNs) have been extensively studied in the sense of improving recommendation accuracy. However, such attempts have focused mostly on utilizing only the information of positive user-item interactions with high ratings. Thus, there is a challenge on how to make use of low rating scores for representing users' preferences since low ratings can be still informative in designing NE-based recommender systems. In this study, we present SiReN, a new sign-aware recommender system based on GNN models. Specifically, SiReN has three key components: 1) constructing a signed bipartite graph for more precisely representing users' preferences, which is split into two edge-disjoint graphs with positive and negative edges each, 2) generating two embeddings for the partitioned graphs with positive and negative edges via a GNN model and a multi-layer perceptron (MLP), respectively, and then using an attention model to obtain the final embeddings, and 3) establishing a sign-aware Bayesian personalized ranking (BPR) loss function in the process of optimization. Through comprehensive experiments, we empirically demonstrate that SiReN consistently outperforms state-of-the-art NE-aided recommendation methods.


title: Forced Oscillation Identification and Filtering from Multi-Channel Time-Frequency Representation

abstract: Location of non-stationary forced oscillation (FO) sources can be a challenging task, especially in cases under resonance condition with natural system modes, where the magnitudes of the oscillations could be greater in places far from the source. Therefore, it is of interest to construct a global time-frequency (TF) representation (TFR) of the system, which can capture the oscillatory components present in the system. In this paper we develop a systematic methodology for frequency identification and component filtering of non-stationary power system forced oscillations (FO) based on multi-channel TFR. The frequencies of the oscillatory components are identified on the TF plane by applying a modified ridge estimation algorithm. Then, filtering of the components is carried out on the TF plane applying the anti-transform functions over the individual TFRs around the identified ridges. This step constitutes an initial stage for the application of the Dissipating Energy Flow (DEF) method used to locate FO sources. Besides, we compare three TF approaches: short-time Fourier transform (STFT), STFT-based synchrosqueezing transform (FSST) and second order FSST (FSST2). Simulated signals and signals from real operation are used to show that the proposed method provides a systematic framework for identification and filtering of power systems non-stationary forced oscillations.


title: An identity in distribution between full-space and half-space log-gamma polymers

abstract: We prove an identity in distribution between two kinds of partition functions for the log-gamma directed polymer model: (1) the point-to-point partition function in a quadrant, (2) the point-to-line partition function in an octant. As an application, we prove that the point-to-line free energy of the log-gamma polymer in an octant obeys a phase transition depending on the strength of the noise along the boundary. This transition of (de)pinning by randomness was first predicted in physics by Kardar in 1985 and proved rigorously for zero temperature models by Baik and Rains in 2001. While it is expected to arise universally for models in the Kardar-Parisi-Zhang universality class, this is the first positive temperature model for which this transition can be rigorously established.


title: An experimental setup to generate narrowband bi-photons via four-wave mixing in cold atoms

abstract: We present our recently-built experimental setup designed to generate near-infrared and narrow-band correlated photon pairs by inducing four-wave mixing in a cold gas of $^{87}$Rb atoms confined in a magneto-optical trap. The experimental setup and its automation and control approach are described in detail. A characterization of the optical density of the atomic ensemble as well as the basic statistical measurements of the generated light are reported. The non-classical nature of the photons pairs is confirmed by observing a violation of Cauchy-Schwarz inequality by a factor of 5.6 $\times 10^5$ in a Hanbury Brown - Twiss interferometer. A $1/e$ coherence time for the heralded, idler photons of $4.4 \pm 0.1$ ns is estimated from our observations. We are able to achieve a value of $10^{4}$ s$^{-1}$ pair-detection-rate, which results in a spectral brightness of 280 (MHz s)$^{-1}$. The combination of high brightness and narrow-band spectrum makes this photon-pair source a viable tool in fundamental studies of quantum states and opens the door to use them in quantum technologies.


title: Neural Predictive Control for the Optimization of Smart Grid Flexibility Schedules

abstract: Model predictive control (MPC) is a method to formulate the optimal scheduling problem for grid flexibilities in a mathematical manner. The resulting time-constrained optimization problem can be re-solved in each optimization time step using classical optimization methods such as Second Order Cone Programming (SOCP) or Interior Point Methods (IPOPT). When applying MPC in a rolling horizon scheme, the impact of uncertainty in forecasts on the optimal schedule is reduced. While MPC methods promise accurate results for time-constrained grid optimization they are inherently limited by the calculation time needed for large and complex power system models. Learning the optimal control behaviour using function approximation offers the possibility to determine near-optimal control actions with short calculation time. A Neural Predictive Control (NPC) scheme is proposed to learn optimal control policies for linear and nonlinear power systems through imitation. It is demonstrated that this procedure can find near-optimal solutions, while reducing the calculation time by an order of magnitude. The learned controllers are validated using a benchmark smart grid.


title: Saturation of large-scale dynamo in anisotropically forced turbulence

abstract: Turbulent dynamo theories have faced difficulties in obtaining evolution of large-scale magnetic fields on short dynamical time-scales due to the constraint imposed by magnetic helicity balance. This has critical implications for understanding the large-scale magnetic field evolution in astrophysical systems like the Sun, stars and galaxies. Direct numerical simulations (DNS) in the past with isotropically forced helical turbulence have shown that large-scale dynamo saturation time-scales are dependent on the magnetic Reynolds number (Rm). In this work, we have carried out periodic box DNS of helically forced turbulence leading to a large-scale dynamo with two kinds of forcing function, an isotropic one based on that used in PENCIL-CODE and an anisotropic one based on Galloway-Proctor flows. We show that when the turbulence is forced anisotropically, the nonlinear (saturation) behaviour of the large-scale dynamo is only weakly dependent on Rm. In fact the magnetic helicity evolution on small and large scales in the anisotropic case is distinctly different from that in the isotropic case. This result possibly holds promise for the alleviation of important issues like catastrophic quenching.

categories: astro-ph.SR astro-ph.GA physics.flu-dyn physics.plasm-ph


title: Elliptic problems in Besov and Sobolev-Triebel-Lizorkin spaces of low regularity

abstract: Elliptic problems with additional unknown distributions in boundary conditions are investigated in Besov and Sobolev-Triebel-Lizorkin spaces of low regularity, specifically of an arbitrary negative order. We find that the problems induce Fredholm bounded operators on appropriate pairs of these spaces.


title: On tracial $\mathcal Z$-stability of simple non-unital C*-algebras

abstract: We investigate the notion of tracial $\mathcal Z$-stability beyond unital C*-algebras, and we prove that this notion is equivalent to $\mathcal Z$-stability in the class of separable simple nuclear C*-algebras.


title: Proposal for a quantum random number generator using coherent light an a non-classical observable

abstract: The prototype quantum random number (random bit) generators (QRNG) consists of one photon at a time falling on a $50:50$ beam splitter followed by random detection in one or the other other output beams due to the irreducible probabilistic nature of quantum mechanics. Due to the difficulties in producing single photons on demand, in practice, pulses of weak coherent (laser) light are used. In this paper we take a different approach, one that uses moderate coherent light. It is shown that a QRNG can be implemented by performing photon-number parity measurements. For moderate coherent light, the probabilities for obtaining even or odd parity in photon counts are $0.5$ each. Photon counting with single-photon resolution can be performed through use of a cascade of beam splitters and single-photon detectors as was done recently in a photon-number parity-based interferometry experiment involving coherent light.


title: Zero-sum cycles in flexible non-triangular polyhedra

abstract: Finding necessary conditions for the geometry of flexible polyhedra is a classical problem that has received attention also in recent times. For flexible polyhedra with triangular faces, we showed in a previous work the existence of cycles with a sign assignment for their edges, such that the signed sum of the edge lengths along the cycle is zero. In this work, we extend this result to flexible non-triangular polyhedra.


title: More for Less: Non-Intrusive Speech Quality Assessment with Limited Annotations

abstract: Non-intrusive speech quality assessment is a crucial operation in multimedia applications. The scarcity of annotated data and the lack of a reference signal represent some of the main challenges for designing efficient quality assessment metrics. In this paper, we propose two multi-task models to tackle the problems above. In the first model, we first learn a feature representation with a degradation classifier on a large dataset. Then we perform MOS prediction and degradation classification simultaneously on a small dataset annotated with MOS. In the second approach, the initial stage consists of learning features with a deep clustering-based unsupervised feature representation on the large dataset. Next, we perform MOS prediction and cluster label classification simultaneously on a small dataset. The results show that the deep clustering-based model outperforms the degradation classifier-based model and the 3 baselines (autoencoder features, P.563, and SRMRnorm) on TCD-VoIP. This paper indicates that multi-task learning combined with feature representations from unlabelled data is a promising approach to deal with the lack of large MOS annotated datasets.


title: Harnack inequality for fractional Laplacian-type operators on hyperbolic spaces

abstract: The Krylov--Safonov theory for fully nonlinear nonlocal operators on hyperbolic spaces of dimension three is established. Since the operators on hyperbolic spaces exhibit qualitatively different behavior than those on manifolds with nonnegative curvature, new scale functions are introduced which take the effect of negative curvature into account. The regularity theory in this work provides unified regularity results for fractional-order and second-order operators in the sense that the regularity estimates stay uniform as the fractional-order approaches 2. In the unified regularity theory, the asymptotic behavior of the normalizing constant for the fractional Laplacian plays a fundamental role. The dimension restriction has been imposed to compute the explicit value of this constant by using the Fourier analysis on hyperbolic spaces.


title: Printable, castable, nanocrystalline cellulose-epoxy composites exhibiting hierarchical nacre-like toughening

abstract: Due to their exceptional mechanical and chemical properties and their natural abundance, cellulose nanocrystals (CNCs) are promising building blocks of sustainable polymer composites. However, the rapid gelation of CNC dispersions has generally limited CNC-based composites to low CNC fractions, in which polymer remains the dominant phase. Here we report on the formulation and processing of crosslinked CNC-epoxy composites with a CNC fraction exceeding 50 wt.%. The microstructure comprises sub-micrometer aggregates of CNCs crosslinked to polymer, which are analogous to the lamellar structure of nacre and promotes toughening mechanisms associated with bulk ductile behavior, despite the brittle behavior of the aggregates at the nanoscale. At 63 wt.% CNCs, the composites exhibit a hardness of 0.66 GPa and a fracture toughness of 5.2 MPa.m$^{1/2}$. The hardness of this all-organic material is comparable to aluminum alloys, and the fracture toughness at the centimeter scale is comparable to that of wood cell wall. We show that CNC-epoxy composite objects can be shaped from the gel precursors by direct-write printing and by casting, while the cured composites can be machined into complex 3D shapes. The formulation, processing route, and the insights on toughening mechanisms gained from our multiscale approach can be applied broadly to highly loaded nanocomposites.


title: FSNet: A Failure Detection Framework for Semantic Segmentation

abstract: Semantic segmentation is an important task that helps autonomous vehicles understand their surroundings and navigate safely. During deployment, even the most mature segmentation models are vulnerable to various external factors that can degrade the segmentation performance with potentially catastrophic consequences for the vehicle and its surroundings. To address this issue, we propose a failure detection framework to identify pixel-level misclassification. We do so by exploiting internal features of the segmentation model and training it simultaneously with a failure detection network. During deployment, the failure detector can flag areas in the image where the segmentation model have failed to segment correctly. We evaluate the proposed approach against state-of-the-art methods and achieve 12.30%, 9.46%, and 9.65% performance improvement in the AUPR-Error metric for Cityscapes, BDD100K, and Mapillary semantic segmentation datasets.


title: High-contrast integral field spectropolarimetry of planet-forming disks with SCExAO/CHARIS

abstract: We describe a new high-contrast imaging capability well suited for studying planet-forming disks: near-infrared (NIR) high-contrast spectropolarimetric imaging with the Subaru Coronagraphic Extreme Adaptive Optics (SCExAO) system coupled with the Coronagraphic High Angular Resolution Imaging Spectrograph (CHARIS) integral field spectrograph (IFS). The advent of extreme adaptive optics (AO) systems, like SCExAO, has enabled recovery of planet-mass companions at the expected locations of gas-giant formation in young disks alongside disk structures (such as gaps or spirals) that may indicate protoplanet formation. In combination with SCExAO, the CHARIS IFS in polarimetry mode allows characterization of these systems at wavelengths spanning the NIR J, H, and K bands ($1.1-2.4$ $\mu m$, $R\sim20$) and at angular separations as small as 0.04". By comparing the resulting images with forward-modeled scattered light or 3D radiative-transfer models, the likely origins of any observed features can be assessed. Utilization of swift optimization algorithms, such as differential evolution (DE), to identify model parameters that best reproduce the observations allows plausible disk geometries to be explored efficiently. The recent addition of CHARIS's unique integral field spectropolarimetry mode has further facilitated the study of planet-forming disks -- aiding in the confirmation of candidate protoplanets, the diagnosis of disk structures, and the characterization of dust grain populations. We summarize preliminary results for two young planet-forming disk systems based on observations with the novel integral field spectropolarimetry mode for SCExAO/CHARIS.


title: Diffuse Josephson Radiation in Turbulence

abstract: The possibility of generating diffuse radiation in extended astronomical media by plasma turbulence is investigated under the assumption that the turbulence can be understood as an ensemble of small-scale magnetic filaments (narrow current sheets) forming a texture around a large number of magnetic depletions (voids). On astronomically microscopic scales the dilute high temperature medium (plasma) is to be considered ideally conducting forming a collection of Josephson junctions between two such adjacent quasi-superconductors. The oscillation frequency of those junctions depends on the part of the spectrum that contributes to the oscillation causing weak {radio backgrounds}. Lowest Josephson frequencies/energies near zero may become sources of quasi-stationary magnetic fields.


title: Angularly quantized spin rotations in hexagonal LuMnO3

abstract: Optical control of the spin degree of freedom is often desired in application of the spin technology. Here we report spin-rotational excitations observed through inelastic light scattering of the hexagonal LuMnO3 in the antiferromagnetically (AFM) ordered state. We propose a model based on the spin-spin interaction Hamiltonian associated with the spin rotation of the Mn ions, and find that the spin rotations are angularly quantized by 60, 120, and 180 degrees. Angular quantization is considered to be a consequence of the symmetry of the triangular lattice of the Mn-ion plane in the hexagonal LuMnO3. These angularly-quantized spin excitations may be pictured as isolated flat bubbles in the sea of the ground state, which may lead to high-density information storage if applied to spin devices. Optically pumped and detected spin-excitation bubbles would bring about the advanced technology of optical control of the spin degree of freedom in multiferroic materials.


title: A Framework for an Assessment of the Kernel-target Alignment in Tree Ensemble Kernel Learning

abstract: Kernels ensuing from tree ensembles such as random forest (RF) or gradient boosted trees (GBT), when used for kernel learning, have been shown to be competitive to their respective tree ensembles (particularly in higher dimensional scenarios). On the other hand, it has been also shown that performance of the kernel algorithms depends on the degree of the kernel-target alignment. However, the kernel-target alignment for kernel learning based on the tree ensembles has not been investigated and filling this gap is the main goal of our work. Using the eigenanalysis of the kernel matrix, we demonstrate that for continuous targets good performance of the tree-based kernel learning is associated with strong kernel-target alignment. Moreover, we show that well performing tree ensemble based kernels are characterized by strong target aligned components that are expressed through scalar products between the eigenvectors of the kernel matrix and the target. This suggests that when tree ensemble based kernel learning is successful, relevant information for the supervised problem is concentrated near lower dimensional manifold spanned by the target aligned components. Persistence of the strong target aligned components in tree ensemble based kernels is further supported by sensitivity analysis via landmark learning. In addition to a comprehensive simulation study, we also provide experimental results from several real life data sets that are in line with the simulations.


title: Paley-like graphs for the Ramsey number $r(C_4,K_t)$

abstract: An earlier version of this paper constructed a family of $n$-vertex $C_4$-free graphs which we conjectured to have independence number $n^{\frac 12+o(1)}$. This conjecture is false, as pointed out by Michael Tait.


title: Temporal Graph Network Embedding with Causal Anonymous Walks Representations

abstract: Many tasks in graph machine learning, such as link prediction and node classification, are typically solved by using representation learning, in which each node or edge in the network is encoded via an embedding. Though there exists a lot of network embeddings for static graphs, the task becomes much more complicated when the dynamic (i.e. temporal) network is analyzed. In this paper, we propose a novel approach for dynamic network representation learning based on Temporal Graph Network by using a highly custom message generating function by extracting Causal Anonymous Walks. For evaluation, we provide a benchmark pipeline for the evaluation of temporal network embeddings. This work provides the first comprehensive comparison framework for temporal network representation learning in every available setting for graph machine learning problems involving node classification and link prediction. The proposed model outperforms state-of-the-art baseline models. The work also justifies the difference between them based on evaluation in various transductive/inductive edge/node classification tasks. In addition, we show the applicability and superior performance of our model in the real-world downstream graph machine learning task provided by one of the top European banks, involving credit scoring based on transaction data.


title: Category-Level 6D Object Pose Estimation via Cascaded Relation and Recurrent Reconstruction Networks

abstract: Category-level 6D pose estimation, aiming to predict the location and orientation of unseen object instances, is fundamental to many scenarios such as robotic manipulation and augmented reality, yet still remains unsolved. Precisely recovering instance 3D model in the canonical space and accurately matching it with the observation is an essential point when estimating 6D pose for unseen objects. In this paper, we achieve accurate category-level 6D pose estimation via cascaded relation and recurrent reconstruction networks. Specifically, a novel cascaded relation network is dedicated for advanced representation learning to explore the complex and informative relations among instance RGB image, instance point cloud and category shape prior. Furthermore, we design a recurrent reconstruction network for iterative residual refinement to progressively improve the reconstruction and correspondence estimations from coarse to fine. Finally, the instance 6D pose is obtained leveraging the estimated dense correspondences between the instance point cloud and the reconstructed 3D model in the canonical space. We have conducted extensive experiments on two well-acknowledged benchmarks of category-level 6D pose estimation, with significant performance improvement over existing approaches. On the representatively strict evaluation metrics of $3D_{75}$ and $5^{\circ}2 cm$, our method exceeds the latest state-of-the-art SPD by $4.9\%$ and $17.7\%$ on the CAMERA25 dataset, and by $2.7\%$ and $8.5\%$ on the REAL275 dataset. Codes are available at https://wangjiaze.cn/projects/6DPoseEstimation.html.


title: Combining Real-World and Randomized Control Trial Data Using Data-Adaptive Weighting via the On-Trial Score

abstract: Clinical trials with a hybrid control arm (a control arm constructed from a combination of randomized patients and real-world data on patients receiving usual care in standard clinical practice) have the potential to decrease the cost of randomized trials while increasing the proportion of trial patients given access to novel therapeutics. However, due to stringent trial inclusion criteria and differences in care and data quality between trials and community practice, trial patients may have systematically different outcomes compared to their real-world counterparts. We propose a new method for analyses of trials with a hybrid control arm that efficiently controls bias and type I error. Under our proposed approach, selected real-world patients are weighted by a function of the "on-trial score," which reflects their similarity to trial patients. In contrast to previously developed hybrid control designs that assign the same weight to all real-world patients, our approach upweights of real-world patients who more closely resemble randomized control patients while dissimilar patients are discounted. Estimates of the treatment effect are obtained via Cox proportional hazards models. We compare our approach to existing approaches via simulations and apply these methods to a study using electronic health record data. Our proposed method is able to control type I error, minimize bias, and decrease variance when compared to using only trial data in nearly all scenarios examined. Therefore, our new approach can be used when conducting clinical trials by augmenting the standard-of-care arm with weighted patients from the EHR to increase power without inducing bias.


title: Bootstrapping Simple QM Systems

abstract: We test the bootstrap approach for determining the spectrum of one dimensional Hamiltonians, following the recent approach of Han, Hartnoll, and Kruthoff. We focus on comparing the bootstrap method data to known analytical predictions for the hydrogen atom and the harmonic oscillator. We resolve many energy levels for each, and more levels are resolved as the size of the matrices used to solve the problem increases. Using the bootstrap approach we find the spectrum of the Coulomb and harmonic potentials converge exponentially fast.


title: Parallel Quasi-concave set optimization: A new frontier that scales without needing submodularity

abstract: Classes of set functions along with a choice of ground set are a bedrock to determine and develop corresponding variants of greedy algorithms to obtain efficient solutions for combinatorial optimization problems. The class of approximate constrained submodular optimization has seen huge advances at the intersection of good computational efficiency, versatility and approximation guarantees while exact solutions for unconstrained submodular optimization are NP-hard. What is an alternative to situations when submodularity does not hold? Can efficient and globally exact solutions be obtained? We introduce one such new frontier: The class of quasi-concave set functions induced as a dual class to monotone linkage functions. We provide a parallel algorithm with a time complexity over $n$ processors of $\mathcal{O}(n^2g) +\mathcal{O}(\log{\log{n}})$ where $n$ is the cardinality of the ground set and $g$ is the complexity to compute the monotone linkage function that induces a corresponding quasi-concave set function via a duality. The complexity reduces to $\mathcal{O}(gn\log(n))$ on $n^2$ processors and to $\mathcal{O}(gn)$ on $n^3$ processors. Our algorithm provides a globally optimal solution to a maxi-min problem as opposed to submodular optimization which is approximate. We show a potential for widespread applications via an example of diverse feature subset selection with exact global maxi-min guarantees upon showing that a statistical dependency measure called distance correlation can be used to induce a quasi-concave set function.


title: DESYR: Definition and Syntactic Representation Based Claim Detection on the Web

abstract: The formulation of a claim rests at the core of argument mining. To demarcate between a claim and a non-claim is arduous for both humans and machines, owing to latent linguistic variance between the two and the inadequacy of extensive definition-based formalization. Furthermore, the increase in the usage of online social media has resulted in an explosion of unsolicited information on the web presented as informal text. To account for the aforementioned, in this paper, we proposed DESYR. It is a framework that intends on annulling the said issues for informal web-based text by leveraging a combination of hierarchical representation learning (dependency-inspired Poincare embedding), definition-based alignment, and feature projection. We do away with fine-tuning computer-heavy language models in favor of fabricating a more domain-centric but lighter approach. Experimental results indicate that DESYR builds upon the state-of-the-art system across four benchmark claim datasets, most of which were constructed with informal texts. We see an increase of 3 claim-F1 points on the LESA-Twitter dataset, an increase of 1 claim-F1 point and 9 macro-F1 points on the Online Comments(OC) dataset, an increase of 24 claim-F1 points and 17 macro-F1 points on the Web Discourse(WD) dataset, and an increase of 8 claim-F1 points and 5 macro-F1 points on the Micro Texts(MT) dataset. We also perform an extensive analysis of the results. We make a 100-D pre-trained version of our Poincare-variant along with the source code.


title: Robust outlier detection by de-biasing VAE likelihoods

abstract: Deep networks often make confident, yet, incorrect, predictions when tested with outlier data that is far removed from their training distributions. Likelihoods computed by deep generative models (DGMs) are a candidate metric for outlier detection with unlabeled data. Yet, previous studies have shown that DGM likelihoods are unreliable and can be easily biased by simple transformations to input data. Here, we examine outlier detection with variational autoencoders (VAEs), among the simplest of DGMs. We propose novel analytical and algorithmic approaches to ameliorate key biases with VAE likelihoods. Our bias corrections are sample-specific, computationally inexpensive, and readily computed for various decoder visible distributions. Next, we show that a well-known image pre-processing technique -- contrast stretching -- extends the effectiveness of bias correction to further improve outlier detection. Our approach achieves state-of-the-art accuracies with nine grayscale and natural image datasets, and demonstrates significant advantages -- both with speed and performance -- over four recent, competing approaches. In summary, lightweight remedies suffice to achieve robust outlier detection with VAEs.


title: The Emission Directionality of Electronic Intraband Transitions in Stacked Quantum Dots

abstract: We investigate the emission directionality of electronic intraband (intersubband) transitions in stacked coupled quantum dots. Using a well-established eight-band $k \cdot p$ method, we demonstrate that the minor contributions from the valence band mixing into the conduction band govern the polarization and emission directionality of electronic $p$-to-$s$-type intraband transitions. Despite that the contribution from the central-cell part to the momentum matrix element is dominant, we find, the contribution from the matrix elements among the envelope functions cannot be neglected. With the help of an artificial cuboidal quantum dot, we show that the vertical emission from intraband transitions can be tuned via the emitter's vertical aspect ratio. Subsequently, we show that these results can be transferred to more realistic geometries of quantum dots and quantum dot stacks and demonstrate that the vertical emission can be enhanced from $23$ % to $46$ % by increasing the emitter's vertical aspect ratio to the isotropic case with a vertical aspect ratio of 1.0. Therefore, a stacking of a few quantum dots ($\sim$4 for the investigated structures) is already sufficient to improve the vertical radiation significantly. Additionally, we discuss the impact of the number of stacked QDs as well as the effect of the interdot coupling strength on the radiation properties.


title: Dynamic Difficulty Adjustment in Virtual Reality Exergames through Experience-driven Procedural Content Generation

abstract: Virtual Reality (VR) games that feature physical activities have been shown to increase players' motivation to do physical exercise. However, for such exercises to have a positive healthcare effect, they have to be repeated several times a week. To maintain player motivation over longer periods of time, games often employ Dynamic Difficulty Adjustment (DDA) to adapt the game's challenge according to the player's capabilities. For exercise games, this is mostly done by tuning specific in-game parameters like the speed of objects. In this work, we propose to use experience-driven Procedural Content Generation for DDA in VR exercise games by procedurally generating levels that match the player's current capabilities. Not only finetuning specific parameters but creating completely new levels has the potential to decrease repetition over longer time periods and allows for the simultaneous adaptation of the cognitive and physical challenge of the exergame. As a proof-of-concept, we implement an initial prototype in which the player must traverse a maze that includes several exercise rooms, whereby the generation of the maze is realized by a neural network. Passing those exercise rooms requires the player to perform physical activities. To match the player's capabilities, we use Deep Reinforcement Learning to adjust the structure of the maze and to decide which exercise rooms to include in the maze. We evaluate our prototype in an exploratory user study utilizing both biodata and subjective questionnaires.


title: A comparison of sports-related head accelerations with and without direct head impacts

abstract: Concussion and repeated exposure to mild traumatic brain injury are risks for athletes in many sports. While direct head impacts are analyzed to improve the detection and awareness of head acceleration events so that an athlete's brain health can be appropriately monitored and treated. However, head accelerations can also be induced by impacts with little or no head involvement. In this work we evaluated if impacts that do not involve direct head contact, such as being pushed in the torso, can be sufficient in collegiate American football to induce head accelerations comparable to direct head impacts. Datasets of impacts with and without direct head contact were collected and compared. These datasets were gathered using a state-of-the-art impact detection algorithm embedded in an instrumented mouthguard to record head kinematics. Video analysis was used to differentiate between impact types. In total, 15 impacts of each type were used in comparison, with clear video screenshots available to distinguish each impact type. Analysis of the kinematics showed that the impacts without direct head contact achieved similar levels of linear and angular accelerations during impact compared to those from direct head impacts. Finite element analyses using the median and peak kinematic signals were used to calculate maximum principal strain of the brain. Statistical analysis revealed that no significant difference was found between the two datasets based on a Bonferroni-adjusted p-value threshold of 0.017 , with the exception of peak linear acceleration. Impacts without direct head contact showed higher mean values of peak linear acceleration values of 17.6 g compared to the direct-head impact mean value of 6.1g. These results indicated that impacts other than direct head impacts could still produce meaningful kinematic loads in the head and as such should be included in athlete health monitoring.


title: Observation of mode-mixing in the eigenmodes of an optical microcavity

abstract: We present a method to determine the complex coupling parameter of a two-coupled-modes system by directly measuring the coupled eigenmodes rather than their eigenvalues. This method is useful because mode-mixing can be observed even if frequency shifts can not be measured. It also allows to determine the complex coupling parameter, from which we conclude that the observed coupling is mainly conservative. We observe mode-mixing in an optical microcavity, where the modes couple primarily at the mirror surface, as confirmed by AFM measurements. The presented method is general and can be applied to other systems to measure mode coupling more accurately and to determine the nature of the coupling.


title: Provably Efficient Generative Adversarial Imitation Learning for Online and Offline Setting with Linear Function Approximation

abstract: In generative adversarial imitation learning (GAIL), the agent aims to learn a policy from an expert demonstration so that its performance cannot be discriminated from the expert policy on a certain predefined reward set. In this paper, we study GAIL in both online and offline settings with linear function approximation, where both the transition and reward function are linear in the feature maps. Besides the expert demonstration, in the online setting the agent can interact with the environment, while in the offline setting the agent only accesses an additional dataset collected by a prior. For online GAIL, we propose an optimistic generative adversarial policy optimization algorithm (OGAP) and prove that OGAP achieves $\widetilde{\mathcal{O}}(H^2 d^{3/2}K^{1/2}+KH^{3/2}dN_1^{-1/2})$ regret. Here $N_1$ represents the number of trajectories of the expert demonstration, $d$ is the feature dimension, and $K$ is the number of episodes. For offline GAIL, we propose a pessimistic generative adversarial policy optimization algorithm (PGAP). For an arbitrary additional dataset, we obtain the optimality gap of PGAP, achieving the minimax lower bound in the utilization of the additional dataset. Assuming sufficient coverage on the additional dataset, we show that PGAP achieves $\widetilde{\mathcal{O}}(H^{2}dK^{-1/2} +H^2d^{3/2}N_2^{-1/2}+H^{3/2}dN_1^{-1/2} \ )$ optimality gap. Here $N_2$ represents the number of trajectories of the additional dataset with sufficient coverage.


title: Molecular simulation-derived features for machine learning predictions of metal glass forming ability

abstract: We have developed models of metallic alloy glass forming ability based on newly computationally accessible features obtained from molecular dynamics simulations. In this work we showed that it is possible to increase the predictive value of GFA models by using input features obtained from molecular dynamics simulations. Such features require only relatively straightforward and scalable simulations, making them significantly easier and less expensive to obtain than experimental measurements. We generated a database of molecular dynamics critical cooling rates along with associated candidate features that are inspired from previous research on GFA. Out of the list of 9 proposed GFA features, we identify two as being the most important to performance through a LASSO model. Enthalpy of crystallization and icosahedral-like fraction at 100 K showed promise because they enable a significant improvement to model performance and because they are accessible to flexible ab initio quantum mechanical methods readily applicable to almost all systems. This advancement in computationally accessible features for machine learning predictions GFA will enable future models to more accurately predict new glass forming alloys.


title: Learning General Halfspaces with General Massart Noise under the Gaussian Distribution

abstract: We study the problem of PAC learning halfspaces on $\mathbb{R}^d$ with Massart noise under the Gaussian distribution. In the Massart model, an adversary is allowed to flip the label of each point $\mathbf{x}$ with unknown probability $\eta(\mathbf{x}) \leq \eta$, for some parameter $\eta \in [0,1/2]$. The goal is to find a hypothesis with misclassification error of $\mathrm{OPT} + \epsilon$, where $\mathrm{OPT}$ is the error of the target halfspace. This problem had been previously studied under two assumptions: (i) the target halfspace is homogeneous (i.e., the separating hyperplane goes through the origin), and (ii) the parameter $\eta$ is strictly smaller than $1/2$. Prior to this work, no nontrivial bounds were known when either of these assumptions is removed. We study the general problem and establish the following: For $\eta <1/2$, we give a learning algorithm for general halfspaces with sample and computational complexity $d^{O_{\eta}(\log(1/\gamma))}\mathrm{poly}(1/\epsilon)$, where $\gamma =\max\{\epsilon, \min\{\mathbf{Pr}[f(\mathbf{x}) = 1], \mathbf{Pr}[f(\mathbf{x}) = -1]\} \}$ is the bias of the target halfspace $f$. Prior efficient algorithms could only handle the special case of $\gamma = 1/2$. Interestingly, we establish a qualitatively matching lower bound of $d^{\Omega(\log(1/\gamma))}$ on the complexity of any Statistical Query (SQ) algorithm. For $\eta = 1/2$, we give a learning algorithm for general halfspaces with sample and computational complexity $O_\epsilon(1) d^{O(\log(1/\epsilon))}$. This result is new even for the subclass of homogeneous halfspaces; prior algorithms for homogeneous Massart halfspaces provide vacuous guarantees for $\eta=1/2$. We complement our upper bound with a nearly-matching SQ lower bound of $d^{\Omega(\log(1/\epsilon))}$, which holds even for the special case of homogeneous halfspaces.


title: Client Selection Approach in Support of Clustered Federated Learning over Wireless Edge Networks

abstract: Clustered Federated Multitask Learning (CFL) was introduced as an efficient scheme to obtain reliable specialized models when data is imbalanced and distributed in a non-i.i.d. (non-independent and identically distributed) fashion amongst clients. While a similarity measure metric, like the cosine similarity, can be used to endow groups of the client with a specialized model, this process can be arduous as the server should involve all clients in each of the federated learning rounds. Therefore, it is imperative that a subset of clients is selected periodically due to the limited bandwidth and latency constraints at the network edge. To this end, this paper proposes a new client selection algorithm that aims to accelerate the convergence rate for obtaining specialized machine learning models that achieve high test accuracies for all client groups. Specifically, we introduce a client selection approach that leverages the devices' heterogeneity to schedule the clients based on their round latency and exploits the bandwidth reuse for clients that consume more time to update the model. Then, the server performs model averaging and clusters the clients based on predefined thresholds. When a specific cluster reaches a stationary point, the proposed algorithm uses a greedy scheduling algorithm for that group by selecting the clients with less latency to update the model. Extensive experiments show that the proposed approach lowers the training time and accelerates the convergence rate by up to 50% while imbuing each client with a specialized model that is fit for its local data distribution.


title: Riemann solvers and pressure gradients in Godunov-type schemes for variable density incompressible flows

abstract: Variable density incompressible flows are governed by parabolic equations. The artificial compressibility method makes these equations hyperbolic-type, which means that they can be solved using techniques developed for compressible flows, such as Godunov-type schemes. While the artificial compressibility method is well-established, its application to variable density flows has been largely neglected in the literature. This paper harnesses recent advances in the wider field by applying a more robust Riemann solver and a more easily parallelisable time discretisation to the variable density equations than previously. We also develop a new method for calculating the pressure gradient as part of the second-order reconstruction step. Based on a rearrangement of the momentum equation and an exploitation of the other gradients and source terms, the new pressure gradient calculation automatically captures the pressure gradient discontinuity at the free surface. Benchmark tests demonstrate the improvements gained by this robust Riemann solver and new pressure gradient calculation.


title: Learning-to-learn non-convex piecewise-Lipschitz functions

abstract: We analyze the meta-learning of the initialization and step-size of learning algorithms for piecewise-Lipschitz functions, a non-convex setting with applications to both machine learning and algorithms. Starting from recent regret bounds for the exponential forecaster on losses with dispersed discontinuities, we generalize them to be initialization-dependent and then use this result to propose a practical meta-learning procedure that learns both the initialization and the step-size of the algorithm from multiple online learning tasks. Asymptotically, we guarantee that the average regret across tasks scales with a natural notion of task-similarity that measures the amount of overlap between near-optimal regions of different tasks. Finally, we instantiate the method and its guarantee in two important settings: robust meta-learning and multi-task data-driven algorithm design.


title: Learning to Match Features with Seeded Graph Matching Network

abstract: Matching local features across images is a fundamental problem in computer vision. Targeting towards high accuracy and efficiency, we propose Seeded Graph Matching Network, a graph neural network with sparse structure to reduce redundant connectivity and learn compact representation. The network consists of 1) Seeding Module, which initializes the matching by generating a small set of reliable matches as seeds. 2) Seeded Graph Neural Network, which utilizes seed matches to pass messages within/across images and predicts assignment costs. Three novel operations are proposed as basic elements for message passing: 1) Attentional Pooling, which aggregates keypoint features within the image to seed matches. 2) Seed Filtering, which enhances seed features and exchanges messages across images. 3) Attentional Unpooling, which propagates seed features back to original keypoints. Experiments show that our method reduces computational and memory complexity significantly compared with typical attention-based networks while competitive or higher performance is achieved.


title: Expanding the momentum field of view in angle-resolved photoemission systems with hemispherical analyzers

abstract: In photoelectron spectroscopy, the measured electron momentum range is intrinsically related to the excitation photon energy. Low photon energies $<10$ eV are commonly encountered in laser-based photoemission and lead to a momentum range that is smaller than the Brillouin zones of most materials. This can become a limiting factor when studying condensed matter with laser-based photoemission. An additional restriction is introduced by widely used hemispherical analyzers that record only electrons photoemitted in a solid angle set by the aperture size at the analyzer entrance. Here, we present an upgrade to increase the effective solid angle that is measured with a hemispherical analyzer. We achieve this by accelerating the photoelectrons towards the analyzer with an electric field that is generated by a bias voltage on the sample. Our experimental geometry is comparable to a parallel plate capacitor and, therefore, we approximate the electric field to be uniform along the photoelectron trajectory. With this assumption, we developed an analytic, parameter-free model that relates the measured angles to the electron momenta in the solid and verify its validity by comparing with experimental results on the charge density wave material TbTe$_3$. By providing a larger field of view in momentum space, our approach using a bias potential considerably expands the flexibility of laser-based photoemission setups.


title: SNIP: An Adaptation of Sorted Neighborhood Methods for Deduplicating Pedigree Data

abstract: Pedigree data contain family history information that is used to analyze hereditary diseases. These clinical data sets may contain duplicate records due to the same family visiting a clinic multiple times or a clinician entering multiple versions of the family for testing purposes. Inferences drawn from the data or using them for training or validation without removing the duplicates could lead to invalid conclusions, and hence identifying the duplicates is essential. Since family structures can be complex, existing deduplication algorithms cannot be applied directly. We first motivate the importance of deduplication by examining the impact of pedigree duplicates on the training and validation of a familial risk prediction model. We then introduce an unsupervised algorithm, which we call SNIP (Sorted NeIghborhood for Pedigrees), that builds on the sorted neighborhood method to efficiently find and classify pairwise comparisons by leveraging the inherent hierarchical nature of the pedigrees. We conduct a simulation study to assess the performance of the algorithm and find parameter configurations where the algorithm is able to accurately detect the duplicates. We then apply the method to data from the Risk Service, which includes over 300,000 pedigrees at high risk of hereditary cancers, and uncover large clusters of potential duplicate families. After removing 104,520 pedigrees (33% of original data), the resulting Risk Service dataset can now be used for future analysis, training, and validation. The algorithm is available as an R package snipR available at https://github.com/bayesmendel/snipR.


title: Evaluating Multiple Guesses by an Adversary via a Tunable Loss Function

abstract: We consider a problem of guessing, wherein an adversary is interested in knowing the value of the realization of a discrete random variable $X$ on observing another correlated random variable $Y$. The adversary can make multiple (say, $k$) guesses. The adversary's guessing strategy is assumed to minimize $\alpha$-loss, a class of tunable loss functions parameterized by $\alpha$. It has been shown before that this loss function captures well known loss functions including the exponential loss ($\alpha=1/2$), the log-loss ($\alpha=1$) and the $0$-$1$ loss ($\alpha=\infty$). We completely characterize the optimal adversarial strategy and the resulting expected $\alpha$-loss, thereby recovering known results for $\alpha=\infty$. We define an information leakage measure from the $k$-guesses setup and derive a condition under which the leakage is unchanged from a single guess.


title: MobileCaps: A Lightweight Model for Screening and Severity Analysis of COVID-19 Chest X-Ray Images

abstract: The world is going through a challenging phase due to the disastrous effect caused by the COVID-19 pandemic on the healthcare system and the economy. The rate of spreading, post-COVID-19 symptoms, and the occurrence of new strands of COVID-19 have put the healthcare systems in disruption across the globe. Due to this, the task of accurately screening COVID-19 cases has become of utmost priority. Since the virus infects the respiratory system, Chest X-Ray is an imaging modality that is adopted extensively for the initial screening. We have performed a comprehensive study that uses CXR images to identify COVID-19 cases and realized the necessity of having a more generalizable model. We utilize MobileNetV2 architecture as the feature extractor and integrate it into Capsule Networks to construct a fully automated and lightweight model termed as MobileCaps. MobileCaps is trained and evaluated on the publicly available dataset with the model ensembling and Bayesian optimization strategies to efficiently classify CXR images of patients with COVID-19 from non-COVID-19 pneumonia and healthy cases. The proposed model is further evaluated on two additional RT-PCR confirmed datasets to demonstrate the generalizability. We also introduce MobileCaps-S and leverage it for performing severity assessment of CXR images of COVID-19 based on the Radiographic Assessment of Lung Edema (RALE) scoring technique. Our classification model achieved an overall recall of 91.60, 94.60, 92.20, and a precision of 98.50, 88.21, 92.62 for COVID-19, non-COVID-19 pneumonia, and healthy cases, respectively. Further, the severity assessment model attained an R$^2$ coefficient of 70.51. Owing to the fact that the proposed models have fewer trainable parameters than the state-of-the-art models reported in the literature, we believe our models will go a long way in aiding healthcare systems in the battle against the pandemic.


title: Convolution algebra of superoperators and nonseparability witnesses for quantum operations

abstract: We define a product between quantum superoperators which is preserved under the Choi-Jamio{\l}kowski-Kraus-Sudarshan channel-state isomorphism. We then identify the product as the convolution on the space of superoperators, with respect to which the channel-state duality is also an algebra isomorphism. We find that any witness operator for detecting nonseparability of quantum operations on separated parties can be written entirely within the space of superoperators with the help of the convolution product.


title: The effect of the number of distractors and the "None of the above" - "All of the above" options in multiple choice questions

abstract: Multiple choice questions (MCQs) are commonly used for assessment in higher education. With increased use of on-line examination it is likely that the usage of MCQs will be even more in years to come. It is therefore of interest to examine some characteristics of these type of questions such as the effect of the number of distractors used and the "None of the above" (NOTA) or "All of the above" (AOTA) options. The tutor-web is an open-source, on-line drilling system that is freely available to anyone having access to the Internet. The system was designed to be used for teaching mathematics and statistics but can in principle be used for other subjects as well. The system offers thousands of multiple choice questions at high school and university level. In addition to be a tool used by students for learning it has also been used as a testbed for research on web-assisted education. The tutor-web system was used both as a learning tool and as a testing tool in a university course on mathematical statistics in the spring of 2020. Around 300 students were enrolled in the course providing tens of thousands of answers to MCQs designed to investigate the effect of the number of distractors and the use of NOTA and AOTA options in questions. The main findings of the study were that the probability of answering a question correctly was highest when a AOTA option was used as a distractor and when NOTA and AOTA were not used in questions. The probability of answering a question correctly decreased with the number of distractors.


title: \"Uber Approximationen $n$ reeller Zahlen

abstract: We prove a new result about the mutual behavior of irrationality measure functions $\psi_{\alpha_j}(t)$ for $n$ different real numbers $\alpha_j,\, j =1,...n$.


title: Shuffle algebras for quivers and wheel conditions

abstract: We show that the shuffle algebra associated to a doubled quiver (determined by 3-variable wheel conditions) is generated by elements of minimal degree. Together with results of Varagnolo-Vasserot and Yu Zhao, this implies that the aforementioned shuffle algebra is isomorphic to the localized K-theoretic Hall algebra associated to the quiver by Schiffmann-Vasserot. With small modifications, our theorems also hold under certain specializations of the equivariant parameters, which will allow us in Negu\c{t}-Sala-Schiffmann to give a generators-and-relations description of the Hall algebra of any curve over a finite field (which is a shuffle algebra due to Kapranov-Schiffmann-Vasserot). When the quiver has no edge loops or multiple edges, we show that the shuffle algebra, localized K-theoretic Hall algebra, and the positive half of the corresponding quantum loop group are all isomorphic; we also obtain the non-degeneracy of the Hopf pairing on the latter quantum loop group.


title: Optimally Efficient Sequential Calibration of Binary Classifiers to Minimize Classification Error

abstract: In this work, we aim to calibrate the score outputs of an estimator for the binary classification problem by finding an 'optimal' mapping to class probabilities, where the 'optimal' mapping is in the sense that minimizes the classification error (or equivalently, maximizes the accuracy). We show that for the given target variables and the score outputs of an estimator, an 'optimal' soft mapping, which monotonically maps the score values to probabilities, is a hard mapping that maps the score values to $0$ and $1$. We show that for class weighted (where the accuracy for one class is more important) and sample weighted (where the samples' accurate classifications are not equally important) errors, or even general linear losses; this hard mapping characteristic is preserved. We propose a sequential recursive merger approach, which produces an 'optimal' hard mapping (for the observed samples so far) sequentially with each incoming new sample. Our approach has a logarithmic in sample size time complexity, which is optimally efficient.


title: Uncertainty in Climate Science: Not Cause for Inaction

abstract: Using observational data and an elementary rigorous statistical fact it is easily shown that the distribution of Earth's climate is non-stationary. Examination of records of hundreds of local Industrial Era temperature histories in the Northern Hemisphere were used to show this fact. Statistically, the mean of the ensemble has been rising during the Industrial Era. All of this confirms what climate scientists already know. The issue of predictions under uncertainties was tackled as well: a simple balance model was tuned to track an ensemble of climate records. Stochastic parametrizations were created to capture natural and anthropogenic CO2 forcings. The resulting stochastic model was then tested against historical data and then used to make future predictions. This exercise confirmed as well climate science attribution to significant global warming during the Industrial Era to anthropogenic activities. The variability of the model due to uncertainties is simply not large enough to obfuscate a clear rise in the mean temperature in the Industrial Era. Further, even if the variance of the natural CO2 contribution is greatly increased artificially (in the model), the fluctuations cannot account for the current change in the historical mean. These outcomes weaken the factual validity of the US administration, 2016-2020, claims that there are too many uncertainties in climate and climate science to make climate predictions, and further that contemporary reports of floods, extreme weather, even a rising global mean temperature are simply manifestations of a climate that always fluctuates within a nature-derived statistical distribution.


title: Causal Attention for Unbiased Visual Recognition

abstract: Attention module does not always help deep models learn causal features that are robust in any confounding context, e.g., a foreground object feature is invariant to different backgrounds. This is because the confounders trick the attention to capture spurious correlations that benefit the prediction when the training and testing data are IID (identical & independent distribution); while harm the prediction when the data are OOD (out-of-distribution). The sole fundamental solution to learn causal attention is by causal intervention, which requires additional annotations of the confounders, e.g., a "dog" model is learned within "grass+dog" and "road+dog" respectively, so the "grass" and "road" contexts will no longer confound the "dog" recognition. However, such annotation is not only prohibitively expensive, but also inherently problematic, as the confounders are elusive in nature. In this paper, we propose a causal attention module (CaaM) that self-annotates the confounders in unsupervised fashion. In particular, multiple CaaMs can be stacked and integrated in conventional attention CNN and self-attention Vision Transformer. In OOD settings, deep models with CaaM outperform those without it significantly; even in IID settings, the attention localization is also improved by CaaM, showing a great potential in applications that require robust visual saliency. Codes are available at \url{https://github.com/Wangt-CN/CaaM}.


title: An efficient, localised approach for the simulation of elastic blood vessels using the lattice Boltzmann method

abstract: Many numerical studies of blood flow impose a rigid wall assumption due to the simplicity of its implementation compared to a full coupling to a solid mechanics model. In this paper, we present a localised method for incorporating the effects of elastic walls into blood flow simulations using the lattice Boltzmann method. We demonstrate that our approach is able to more accurately capture the flow behaviour expected in an elastic walled vessel than a rigid wall model and achieves this without a loss of computational performance. We also demonstrate that our approach can capture trends in wall shear stress distribution captured by fully coupled models in personalised vascular geometries.


title: Wisdom of (Binned) Crowds: A Bayesian Stratification Paradigm for Crowd Counting

abstract: Datasets for training crowd counting deep networks are typically heavy-tailed in count distribution and exhibit discontinuities across the count range. As a result, the de facto statistical measures (MSE, MAE) exhibit large variance and tend to be unreliable indicators of performance across the count range. To address these concerns in a holistic manner, we revise processes at various stages of the standard crowd counting pipeline. To enable principled and balanced minibatch sampling, we propose a novel smoothed Bayesian sample stratification approach. We propose a novel cost function which can be readily incorporated into existing crowd counting deep networks to encourage strata-aware optimization. We analyze the performance of representative crowd counting approaches across standard datasets at per strata level and in aggregate. We analyze the performance of crowd counting approaches across standard datasets and demonstrate that our proposed modifications noticeably reduce error standard deviation. Our contributions represent a nuanced, statistically balanced and fine-grained characterization of performance for crowd counting approaches. Code, pretrained models and interactive visualizations can be viewed at our project page https://deepcount.iiit.ac.in/


title: Gaussian structure in coalescing stochastic flows

abstract: In the paper we consider the point measure that corresponds to Arratia flow. The central limit theorem of the multiple integrals with respect to this measure was obtained.


title: Crystallographic evaluation of low cycle fatigue crack growth in a polycrystalline Ni based superalloy

abstract: The present work discusses the micro-mechanism of low cycle fatigue (LCF) crack growth in smooth bar specimens of Haynes 282. Two parametric approaches, i.e. crack tip opening angle (CTOA) and maximum tangential stress ({\theta}MTS) have been opted to characterize the cracks. CTOA variations along with a propagating crack, exhibit a non-linear decay followed by a stabilized regime. Mixicity of local KI and KII fields is directly proportional to {\theta}MTS and that can be assessed by measuring local deflections. Around the crack, the role of grain incompatibility has been addressed through EBSD and slip transfer analysis. There is a critical bound for Elastic Modulus (EM) and Schmid factor (SF) for the grains favouring subsurface crack propagation, and these values exist beyond a limiting threshold. The SF-EM maps mark the regions of cracked and uncracked grains in the material. The favourable twin-matrix incompatibility of the microstructure has also been identified about the fatigue crack growth and twins in (211) plane is abundant in the cracked region. A detailed slip transfer analysis based on the Luster-Morris parameter (LMP) has been carried out for investigating the interrelation between slip activity, elasto-plastic incompatibility, and grain boundary geometry.


title: Mr. TyDi: A Multi-lingual Benchmark for Dense Retrieval

abstract: We present Mr. TyDi, a multi-lingual benchmark dataset for mono-lingual retrieval in eleven typologically diverse languages, designed to evaluate ranking with learned dense representations. The goal of this resource is to spur research in dense retrieval techniques in non-English languages, motivated by recent observations that existing techniques for representation learning perform poorly when applied to out-of-distribution data. As a starting point, we provide zero-shot baselines for this new dataset based on a multi-lingual adaptation of DPR that we call "mDPR". Experiments show that although the effectiveness of mDPR is much lower than BM25, dense representations nevertheless appear to provide valuable relevance signals, improving BM25 results in sparse-dense hybrids. In addition to analyses of our results, we also discuss future challenges and present a research agenda in multi-lingual dense retrieval. Mr. TyDi can be downloaded at https://github.com/castorini/mr.tydi.


title: Particle on a torus knot: Symplectic analysis

abstract: We quantize a particle confined to move on a torus knot satisfying constraint condition ($p \theta + q \phi) \approx 0$, within the context of a geometrically motivated approach - the Faddeev-Jackiw formalism. We also deduce the constraint spectrum and discern the basic brackets of the theory. We further reformulate the original gauge non-invariant theory into a physically equivalent gauge theory, which is free from any additional Wess-Zumino variables, by employing symplectic gauge invariant formalism. In addition, we analyze the reformulated gauge invariant theory within the framework of BRST formalism to establish the off-shell nilpotent and absolutely anti-commuting (anti-)BRST symmetries. Finally, we construct the conserved (anti-)BRST charges which satisfy the physicality criteria and turn out to be the generators of corresponding symmetries.


title: Resilient and consistent multirobot cooperative localization with covariance intersection

abstract: Cooperative localization is fundamental to autonomous multirobot systems, but most algorithms couple inter-robot communication with observation, making these algorithms susceptible to failures in both communication and observation steps. To enhance the resilience of multirobot cooperative localization algorithms in a distributed system, we use covariance intersection to formalize a localization algorithm with an explicit communication update and ensure estimation consistency at the same time. We investigate the covariance boundedness criterion of our algorithm with respect to communication and observation graphs, demonstrating provable localization performance under even sparse communications topologies. We substantiate the resilience of our algorithm as well as the boundedness analysis through experiments on simulated and benchmark physical data against varying communications connectivity and failure metrics. Especially when inter-robot communication is entirely blocked or partially unavailable, we demonstrate that our method is less affected and maintains desired performance compared to existing cooperative localization algorithms.


title: Simple is better: Making Decision Trees faster using random sampling

abstract: In recent years, gradient boosted decision trees have become popular in building robust machine learning models on big data. The primary technique that has enabled these algorithms success has been distributing the computation while building the decision trees. A distributed decision tree building, in turn, has been enabled by building quantiles of the big datasets and choosing the candidate split points from these quantile sets. In XGBoost, for instance, a sophisticated quantile building algorithm is employed to identify the candidate split points for the decision trees. This method is often projected to yield better results when the computation is distributed. In this paper, we dispel the notion that these methods provide more accurate and scalable methods for building decision trees in a distributed manner. In a significant contribution, we show theoretically and empirically that choosing the split points uniformly at random provides the same or even better performance in terms of accuracy and computational efficiency. Hence, a simple random selection of points suffices for decision tree building compared to more sophisticated methods.


title: Image Inpainting using Partial Convolution

abstract: Image Inpainting is one of the very popular tasks in the field of image processing with broad applications in computer vision. In various practical applications, images are often deteriorated by noise due to the presence of corrupted, lost, or undesirable information. There have been various restoration techniques used in the past with both classical and deep learning approaches for handling such issues. Some traditional methods include image restoration by filling gap pixels using the nearby known pixels or using the moving average over the same. The aim of this paper is to perform image inpainting using robust deep learning methods that use partial convolution layers.


title: Quantum information approach to high energy interactions

abstract: High energy hadron interactions are commonly described by using a probabilistic parton model that ignores quantum entanglement present in the light-cone wave functions. Here we argue that since a high energy interaction samples an instant snapshot of the hadron wave function, the phases of different Fock state wave functions cannot be measured - therefore the light-cone density matrix has to be traced over these unobservable phases. Performing this trace with the corresponding $U(1)$ Haar integration measure leads to "Haar scrambling" of the density matrix, and to the emergence of entanglement entropy. This entanglement entropy is determined by the Fock state probability distribution, and is thus directly related to the parton structure functions. As proposed earlier, at large rapidity $\eta$ the hadron state becomes maximally entangled, and the entanglement entropy is $S_E \sim \eta$ according to QCD evolution equations. When the phases of Fock state components are controlled, for example in spin asymmetry measurements, the Haar average cannot be performed, and the probabilistic parton description breaks down.


title: Drift in a Popular Metal Oxide Sensor Dataset Reveals Limitations for Gas Classification Benchmarks

abstract: Metal oxide (MOx) electro-chemical gas sensors are a sensible choice for many applications, due to their tunable sensitivity, their space-efficiency and their low price. Publicly available sensor datasets streamline the development and evaluation of novel algorithm and circuit designs, making them particularly valuable for the Artificial Olfaction / Mobile Robot Olfaction community. In 2013, Vergara et al. published a dataset comprising 16 months of recordings from a large MOx gas sensor array in a wind tunnel, which has since become a standard benchmark in the field. Here we report a previously undetected property of the dataset that limits its suitability for gas classification studies. The analysis of individual measurement timestamps reveals that gases were recorded in temporally clustered batches. The consequential correlation between the sensor response before gas exposure and the time of recording is often sufficient to predict the gas used in a given trial. Even if compensated by zero-offset-subtraction, residual short-term drift contains enough information for gas classification. We have identified a minimally drift-affected subset of the data, which is suitable for gas classification benchmarking after zero-offset-subtraction, although gas classification performance was substantially lower than for the full dataset. We conclude that previous studies conducted with this dataset very likely overestimate the accuracy of gas classification results. For the 17 potentially affected publications, we urge the authors to re-evaluate the results in light of our findings. Our observations emphasize the need to thoroughly document gas sensing datasets, and proper validation before using them for the development of algorithms.


title: Asymptotic Analysis of Higher-order Scattering Transform of Gaussian Processes

abstract: We analyze the scattering transform with the quadratic nonlinearity (STQN) of Gaussian processes without depth limitation. STQN is a nonlinear transform that involves a sequential interlacing convolution and nonlinear operators, which is motivated to model the deep convolutional neural network. We prove that with a proper normalization, the output of STQN converges to a chi-square process with one degree of freedom in the finite dimensional distribution sense, and we provide a total variation distance control of this convergence at each time that converges to zero at an exponential rate. To show these, we derive a recursive formula to represent the intricate nonlinearity of STQN by a linear combination of Wiener chaos, and then apply the Malliavin calculus and Stein's method to achieve the goal.


title: Variational formulation for fractional hyperbolic problems in the theory of viscoelasticity

abstract: In this article a theoretical framework for problems involving fractional equations of hyperbolic type arising in the theory of viscoelasticity is presented. Based on the Galerkin method, a variational problem of the fractionary viscoelasticity is studied. An appropriate functional setting is introduced in order to establish the existence, uniqueness and a priori estimates for weak solutions. This framework is developed in close concordance with important physical quantities of the theory of viscoelasticity


title: Towards an Automatic Proof of Lamport's Paxos

abstract: Lamport's celebrated Paxos consensus protocol is generally viewed as a complex hard-to-understand algorithm. Notwithstanding its complexity, in this paper, we take a step towards automatically proving the safety of Paxos by taking advantage of three structural features in its specification: spatial regularity in its unordered domains, temporal regularity in its totally-ordered domain, and its hierarchical composition. By carefully integrating these structural features in IC3PO, a novel model checking algorithm, we were able to infer an inductive invariant that identically matches the human-written one previously derived with significant manual effort using interactive theorem proving. While various attempts have been made to verify different versions of Paxos, to the best of our knowledge, this is the first demonstration of an automatically-inferred inductive invariant for Lamport's original Paxos specification. We note that these structural features are not specific to Paxos and that IC3PO can serve as an automatic general-purpose protocol verification tool.


title: Physics-informed machine learning improves detection of head impacts

abstract: In this work we present a new physics-informed machine learning model that can be used to analyze kinematic data from an instrumented mouthguard and detect impacts to the head. Monitoring player impacts is vitally important to understanding and protecting from injuries like concussion. Typically, to analyze this data, a combination of video analysis and sensor data is used to ascertain the recorded events are true impacts and not false positives. In fact, due to the nature of using wearable devices in sports, false positives vastly outnumber the true positives. Yet, manual video analysis is time-consuming. This imbalance leads traditional machine learning approaches to exhibit poor performance in both detecting true positives and preventing false negatives. Here, we show that by simulating head impacts numerically using a standard Finite Element head-neck model, a large dataset of synthetic impacts can be created to augment the gathered, verified, impact data from mouthguards. This combined physics-informed machine learning impact detector reported improved performance on test datasets compared to traditional impact detectors with negative predictive value and positive predictive values of 88% and 87% respectively. Consequently, this model reported the best results to date for an impact detection algorithm for American Football, achieving an F1 score of 0.95. In addition, this physics-informed machine learning impact detector was able to accurately detect true and false impacts from a test dataset at a rate of 90% and 100% relative to a purely manual video analysis workflow. Saving over 12 hours of manual video analysis for a modest dataset, at an overall accuracy of 92%, these results indicate that this model could be used in place of, or alongside, traditional video analysis to allow for larger scale and more efficient impact detection in sports such as American Football.


title: Field Trace Polynomial Codes for Secure Distributed Matrix Multiplication

abstract: We consider the problem of communication efficient secure distributed matrix multiplication. The previous literature has focused on reducing the number of servers as a proxy for minimizing communication costs. The intuition being, that the more servers used, the higher the communication cost. We show that this is not the case. Our central technique relies on adapting results from the literature on repairing Reed-Solomon codes where instead of downloading the whole of the computing task, a user downloads field traces of these computations. We present field trace polynomial codes, a family of codes, that explore this technique and characterize regimes for which our codes outperform the existing codes in the literature.


title: Holographic Chiral Algebra: Supersymmetry, Infinite Ward Identities, and EFTs

abstract: Celestial holography promisingly reformulates the scattering amplitude holographically in terms of celestial conformal field theory living at null infinity. Recently, an infinite-dimensional symmetry algebra was discovered in Einstein-Yang-Mills theory. The starting point in the derivation is the celestial OPE of two soft currents, and the key ingredient is the summation of $\overline{SL(2,\mathbb R)}$ descendants in OPE. In this paper, we consider the supersymmetric Einstein-Yang-Mills theory and obtain the supersymmetric extension of the holographic symmetry algebra. Furthermore, we derive infinitely many Ward identities associated with the infinite soft currents which generate the holographic symmetry algebra. This is realized by considering the OPE between a soft symmetry current and a hard operator, and then summing over its $\overline{SL(2,\mathbb R)}$ descendants. These Ward identities reproduce the known Ward identities corresponding to the leading, sub-leading, and sub-sub-leading soft graviton theorems as well as the leading and sub-leading soft gluon theorems. By performing shadow transformations, we also obtain infinitely many shadow Ward identities, including the stress tensor Ward identities for sub-leading soft graviton. Finally, we use our procedure to discuss the corrections to Ward identities in effective field theory (EFT), and reproduce the corrections to soft theorems at sub-sub-leading order for graviton and sub-leading order for photon. For this aim, we derive general formulae for the celestial OPE and its corresponding Ward identities arising from a cubic interaction of three spinning massless particles. Our formalism thus provides a unified framework for understanding the Ward identities in celestial conformal field theory, or equivalently the soft theorems in scattering amplitude.


title: EqGNN: Equalized Node Opportunity in Graphs

abstract: Graph neural networks (GNNs), has been widely used for supervised learning tasks in graphs reaching state-of-the-art results. However, little work was dedicated to creating unbiased GNNs, i.e., where the classification is uncorrelated with sensitive attributes, such as race or gender. Some ignore the sensitive attributes or optimize for the criteria of statistical parity for fairness. However, it has been shown that neither approaches ensure fairness, but rather cripple the utility of the prediction task. In this work, we present a GNN framework that allows optimizing representations for the notion of Equalized Odds fairness criteria. The architecture is composed of three components: (1) a GNN classifier predicting the utility class, (2) a sampler learning the distribution of the sensitive attributes of the nodes given their labels. It generates samples fed into a (3) discriminator that discriminates between true and sampled sensitive attributes using a novel "permutation loss" function. Using these components, we train a model to neglect information regarding the sensitive attribute only with respect to its label. To the best of our knowledge, we are the first to optimize GNNs for the equalized odds criteria. We evaluate our classifier over several graph datasets and sensitive attributes and show our algorithm reaches state-of-the-art results.


title: Schwinger-Boson mean-field study of spin-1/2 $J_1$-$J_2$-$J_{\chi}$ model in honeycomb lattice: thermal Hall signature

abstract: We theoretically investigate, within the Schwinger-Boson mean-field theory, the transition from a gapped $Z_{2}$ quantum spin-liquid, in a $J_1$-$J_2$ Heisenberg spin-1/2 system in a honeycomb lattice, to a chiral $Z_2$ spin liquid phase under the presence of time-reversal symmetry breaking scalar chiral interaction (with amplitude $J_{\chi}$), with non-trivial Chern bands of the excitations. We numerically obtain a phase diagram of such $J_1$-$J_2$-$J_{\chi}$ system, where different phases are distinguished based on the gap and the nature of excitation spectrum, topological invariant of the excitations, the nature of spin-spin correlation and the symmetries of the mean-field parameters. The chiral $Z_2$ state is characterized by non-trivial Chern number of the excitation bands and lack of long-range magnetic order, which leads to large thermal Hall coefficient.