title: Using Trust for Heterogeneous Human-Robot Team Task Allocation

abstract: Human-robot teams have the ability to perform better across various tasks than human-only and robot-only teams. However, such improvements cannot be realized without proper task allocation. Trust is an important factor in teaming relationships, and can be used in the task allocation strategy. Despite the importance, most existing task allocation strategies do not incorporate trust. This paper reviews select studies on trust and task allocation. We also summarize and discuss how a bi-directional trust model can be used for a task allocation strategy. The bi-directional trust model represents task requirements and agents by their capabilities, and can be used to predict trust for both existing and new tasks. Our task allocation approach uses predicted trust in the agent and expected total reward for task assignment. Finally, we present some directions for future work, including the incorporation of trust from the human and human capacity for task allocation, and a negotiation phase for resolving task disagreements.


title: Asymptotic behavior of constrained local minimizers in finite elasticity

abstract: We provide an approximation result for the pure traction problem of linearized elasticity in terms of local minimizers of finite elasticity, under the constraint of vanishing average curl for admissible deformation maps. When suitable rotations are included in the constraint, the limit is shown to be the linear elastic equilibrium associated to rotated loads.


title: Using Subobservers to Synthesize Opacity-Enforcing Supervisors

abstract: In discrete-event system control, the worst-case time complexity for computing a system's observer is exponential in the number of that system's states. This results in practical difficulties since some problems require calculating multiple observers for a changing system, e.g., synthesizing an opacity-enforcing supervisor. Although calculating these observers in an iterative manner allows us to synthesize an opacity-enforcing supervisor and although methods have been proposed to reduce the computational demands, room exists for a practical and intuitive solution. Here we extend the subautomaton relationship to the notion of a subobserver and demonstrate its use in reducing the computations required for iterated observer calculations. We then demonstrate the subobserver relationship's power by simplifying state-of-the-art synthesis approaches for opacity-enforcing supervisors under realistic assumptions.


title: Computing Sensitivities in Reaction Networks using Finite Difference Methods

abstract: In this article, we investigate various numerical methods for computing scaled or logarithmic sensitivities of the form $\partial \ln y/\partial \ln x$. The methods tested include One Point, Two Point, Five Point, and the Richardson Extrapolation. The different methods were applied to a variety of mathematical functions as well as a reaction network model. The algorithms were validated by comparing results with known analytical solutions for functions and using the Reder method for computing the sensitivities in reaction networks via the Tellurium package. For evaluation, two aspects were looked at, accuracy and time taken to compute the sensitivities. Of the four methods, Richardson's extrapolation was by far the most accurate but also the slowest in terms of performance. For fast, reasonably accurate estimates, we recommend the two-point method. For most other cases where the derivatives are changing rapidly, the five-point method is a good choice, although it is three times slower than the two-point method. For ultimate accuracy which would apply particularly to very fast changing derivatives the Richardson method is without doubt the best, but it is seven-times slower than the two point method. We do not recommend the one-point method in any circumstance. The Python software that was used in the study with documentation is available at: \url{https://github.com/evanyfyip/SensitivityAnalysis}.


title: Late-transition vs smooth $H(z)$ deformation models for the resolution of the Hubble crisis

abstract: Gravitational transitions at low redshifts ($z_t<0.1$) have been recently proposed as a solution to the Hubble and growth tensions. Such transitions would naturally lead to a transition in the absolute magnitude $M$ of type Ia supernovae (SnIa) at $z_t$ (Late $M$ Transitions - $LMT$) and possibly in the dark energy equation of state parameter $w$ (Late $w-M$ Transitions - $LwMT$). Here, we compare the quality of fit to cosmological data of this class of models, with the corresponding quality of fit of the cosmological constant model ($\Lambda$CDM) and some of the best smooth $H(z)$ deformation models ($w$CDM, CPL, PEDE). We also perform model selection via the Akaike Information Criterion and the Bayes factor. We use the full CMB temperature anisotropy spectrum data, the baryon acoustic oscillations (BAO) data, the Pantheon SnIa data, the SnIa absolute magnitude $M$ as determined by Cepheid calibrators and the value of the Hubble constant $H_0$ as determined by local SnIa calibrated using Cepheids. We find that smooth $H(z)$ deformation models perform worse than transition models for the following reasons: 1) They have a worse fit to low-$z$ geometric probes (BAO and SnIa data); 2) They favor values of the SnIa absolute magnitude $M$ that are lower as compared to the value $M_c$ obtained with local Cepheid calibrators at $z<0.01$; 3) They tend to worsen the $\Omega_\mathrm{m,0}-\sigma_\mathrm{8,0}$ growth tension. We also find that the $w-M$ transition model ($LwMT$) does not provide a better quality of fit to cosmological data than a pure $M$ transition model ($LMT$) where $w$ is fixed to the \lcdm value $w=-1$ at all redshifts. We conclude that the $LMT$ model has significant statistical advantages over smooth late-time $H(z)$ deformation models in addressing the Hubble crisis.


title: Adversarial Token Attacks on Vision Transformers

abstract: Vision transformers rely on a patch token based self attention mechanism, in contrast to convolutional networks. We investigate fundamental differences between these two families of models, by designing a block sparsity based adversarial token attack. We probe and analyze transformer as well as convolutional models with token attacks of varying patch sizes. We infer that transformer models are more sensitive to token attacks than convolutional models, with ResNets outperforming Transformer models by up to $\sim30\%$ in robust accuracy for single token attacks.


title: Learning from non-irreducible Markov chains

abstract: Mostof the existing literature on supervised machine learning problems focuses on the case when the training data set is drawn from an i.i.d. sample. However, many practical problems are characterized by temporal dependence and strong correlation between the marginals of the data-generating process, suggesting that the i.i.d. assumption is not always justified. This problem has been already considered in the context of Markov chains satisfying the Doeblin condition. This condition, among other things, implies that the chain is not singular in its behavior, i.e. it is irreducible. In this article, we focus on the case when the training data set is drawn from a not necessarily irreducible Markov chain. Under the assumption that the chain is uniformly ergodic with respect to the $\mathrm{L}^1$-Wasserstein distance, and certain regularity assumptions on the hypothesis class and the state space of the chain, we first obtain a uniform convergence result for the corresponding sample error, and then we conclude learnability of the approximate sample error minimization algorithm and find its generalization bounds. At the end, a relative uniform convergence result for the sample error is also discussed.


title: Local discontinuous Galerkin methods for the abcd nonlinear Boussinesq system

abstract: Boussinesq type equations have been widely studied to model the surface water wave. In this paper, we consider the abcd Boussinesq system which is a family of Boussinesq type equations including many well-known models such as the classical Boussinesq system, BBM-BBM system, Bona-Smith system etc. We propose local discontinuous Galerkin (LDG) methods, with carefully chosen numerical fluxes, to numerically solve this abcd Boussinesq system. The main focus of this paper is to rigorously establish a priori error estimate of the proposed LDG methods for a wide range of the parameters a, b, c, d. Numerical experiments are shown to test the convergence rates, and to demonstrate that the proposed methods can simulate the head-on collision of traveling wave and finite time blow-up behavior well.


title: Beyond photon pairs: Nonlinear quantum photonics in the high-gain regime

abstract: Integrated optical devices will play a central role in the future development of nonlinear quantum photonics. Here we focus on the generation of high-gain nonclassical light within them. Starting from the solid foundation provided by Maxwell's equations, we then move to applications by presenting a unified formulation that allows for a comparison of stimulated and spontaneous experiments in ring resonators and nanophotonic waveguides, and leads directly to the calculation of the quantum states of light generated in high-gain experiments.


title: Exceptional points in lossy media enable decay-free wave propagation

abstract: Waves entering a spatially uniform lossy medium typically undergo exponential decay, arising from either the energy loss of the Beer-Lambert-Bouguer transmission law or the evanescent penetration during reflection. Recently, exceptional point singularities in non-Hermitian systems have been linked to unconventional wave propagation, such as the predicted extremely spatially broad constant-intensity guided modes. Despite such promises, the possibility of decay-free wave propagation in a purely lossy medium has been neither theoretically suggested nor experimentally realized until now. Here we discover and experimentally demonstrate decay-free wave propagation accompanied by a striking uniformly distributed energy loss across arbitrary thicknesses of a homogeneous periodically nanostructured waveguiding medium with exceptional points. Predicted by coupled-mode theory and supported by fully vectorial electromagnetic simulations, hundreds-of-waves deep penetration manifesting spatially constant radiation losses are experimentally observed in photonic slab waveguides. The uniform, decay-free radiative energy loss is measured across the entire structured waveguide region, regardless of its length. While the demonstrated constant-intensity radiation finds an immediate application for generating large, uniform and surface-normal free-space plane waves directly from the photonic chip surface, the uncovered decay-free wave phenomenon is universal and holds true across all domains supporting physical waves, opening new horizons for dispersion-engineered materials empowered by exceptional point physics.


title: From Blue Cloud to Red Sequence: Evidence of Morphological Transition Prior to Star Formation Quenching

abstract: We present a study of a sample of 254 clusters from the SDSS-DR7 Yang Catalog and an auxiliary sample of field galaxies to perform a detailed investigation on how galaxy quenching depends on both environment and galaxy stellar mass. Our samples are restricted to 0.03$\leq$z$\leq$0.1 and we only consider clusters with $\rm log(M_{halo}/M_{\odot}) \geq 14$. Comparing properties of field and cluster galaxies in the Blue Cloud, Green Valley and Red Sequence, we find evidence that field galaxies in the red sequence hosted star formation events $\rm 2.1 \pm 0.7$ Gyr ago, on average, more recently than galaxies in cluster environments. Dissecting the star formation rate vs stellar mass diagram we show how morphology rapidly changes after reaching the green valley region, while the star formation rate keeps decreasing. In addition, we use the relation between location in the projected phase space and infall time to explore the time delay between morphological and specific Star Formation Rate variations. We estimate that the transition from late to early-type morphology happens in $\rm \Delta t_{inf} \sim$1 Gyr, whereas the quenching of star formation takes $\sim$3 Gyr. The time-scale we estimate for morphological transitions is similar to the expected for the delayed-then-rapid quenching model. Therefore, we suggest that the delay phase is characterized mostly by morphological transition, which then contributes morphological quenching as an additional ingredient in galaxy evolution.


title: Effective medium theory of random regular networks

abstract: Disordered spring networks can exhibit rigidity transitions, due to either the removal of materials in over-constrained networks or the application of strain in under-constrained ones. While an effective medium theory (EMT) exists for the former, there is none for the latter. We, therefore, formulate an EMT for random regular networks, under-constrained spring networks with purely geometrical disorder, to predict their stiffness via the distribution of tensions. We find a linear dependence of stiffness on strain in the rigid phase and a nontrivial dependence on both the mean and standard deviation of the tension distribution. While EMT does not yield highly accurate predictions of shear modulus due to spatial heterogeneities, the noninvasiveness of this EMT makes it an ideal starting point for experimentalists quantifying the mechanics of such networks.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.mtrl-sci physics.bio-ph


title: On Polytopes with Linear Rank with respect to Generalizations of the Split Closure

abstract: In this paper we study the rank of polytopes contained in the 0-1 cube with respect to $t$-branch split cuts and $t$-dimensional lattice cuts for a fixed positive integer $t$. These inequalities are the same as split cuts when $t=1$ and generalize split cuts when $t > 1$. For polytopes contained in the $n$-dimensional 0-1 cube, the work of Balas implies that the split rank can be at most $n$, and this bound is tight as Cornu\'ejols and Li gave an example with split rank $n$. All known examples with high split rank -- i.e., at least $cn$ for some positive constant $c < 1$ -- are defined by exponentially many (as a function of $n$) linear inequalities. For any fixed integer $t > 0$, we give a family of polytopes contained in $[0,1]^n$ for sufficiently large $n$ such that each polytope has empty integer hull, is defined by $O(n)$ inequalities, and has rank $\Omega(n)$ with respect to $t$-dimensional lattice cuts. Therefore the split rank of these polytopes is $\Omega(n)$. It was shown earlier that there exist generalized branch-and-bound proofs, with logarithmic depth, of the nonexistence of integer points in these polytopes. Therefore, our lower bound results on split rank show an exponential separation between the depth of branch-and-bound proofs and split rank.


title: A Framework for Private Communication with Secret Block Structure

abstract: Harnessing a block-sparse prior to recover signals through underdetermined linear measurements has been extensively shown to allow exact recovery in conditions where classical compressed sensing would provably fail. We exploit this result to propose a novel private communication framework where the secrecy is achieved by transmitting instances of an unidentifiable compressed sensing problem over a public channel. The legitimate receiver can attempt to overcome this ill-posedness by leveraging secret knowledge of a block structure that was used to encode the transmitter's message. We study the privacy guarantees of this communication protocol to a single transmission, and to multiple transmissions without refreshing the shared secret. Additionally, we propose an algorithm for an eavesdropper to learn the block structure via the method of moments and highlight the privacy benefits of this framework through numerical experiments.


title: Inverse problem in the calculus of variations -- functional and antiexact forms

abstract: We connect the well-known theory of functional forms of variational bicomplex with the theory of antiexact differential forms. We identify antiexact functional forms as an obstruction to the variationality of differential equations. The most prominent result of this observation is the formulation of the variational problem for some differential equations that are not variational and neither have a variational multiplier. Heat, Navier-Stokes, and KdV equations illustrate this new variational principle.


title: Towards Sample-efficient Apprenticeship Learning from Suboptimal Demonstration

abstract: Learning from Demonstration (LfD) seeks to democratize robotics by enabling non-roboticist end-users to teach robots to perform novel tasks by providing demonstrations. However, as demonstrators are typically non-experts, modern LfD techniques are unable to produce policies much better than the suboptimal demonstration. A previously-proposed framework, SSRR, has shown success in learning from suboptimal demonstration but relies on noise-injected trajectories to infer an idealized reward function. A random approach such as noise-injection to generate trajectories has two key drawbacks: 1) Performance degradation could be random depending on whether the noise is applied to vital states and 2) Noise-injection generated trajectories may have limited suboptimality and therefore will not accurately represent the whole scope of suboptimality. We present Systematic Self-Supervised Reward Regression, S3RR, to investigate systematic alternatives for trajectory degradation. We carry out empirical evaluations and find S3RR can learn comparable or better reward correlation with ground-truth against a state-of-the-art learning from suboptimal demonstration framework.


title: On smooth Weyl sums over biquadrates and Waring's problem

abstract: We provide estimates for $s^{\rm th}$ moments of biquadratic smooth Weyl sums, when $10\le s\le 12$, by enhancing the second author's iterative method that delivers estimates beyond the classical convexity barrier. As a consequence, all sufficiently large integers $n$ satisfying $n\equiv r\pmod{16}$, with $1\le r\le 12$, can be written as a sum of $12$ biquadrates of smooth numbers.


title: Pairs of diagonal quartic forms: the non-singular Hasse principle

abstract: We establish the non-singular Hasse Principle for pairs of diagonal quartic equations in $22$ or more variables.


title: FRL: Federated Rank Learning

abstract: Federated learning (FL) allows mutually untrusted clients to collaboratively train a common machine learning model without sharing their private/proprietary training data among each other. FL is unfortunately susceptible to poisoning by malicious clients who aim to hamper the accuracy of the commonly trained model through sending malicious model updates during FL's training process. We argue that the key factor to the success of poisoning attacks against existing FL systems is the large space of model updates available to the clients, allowing malicious clients to search for the most poisonous model updates, e.g., by solving an optimization problem. To address this, we propose Federated Rank Learning (FRL). FRL reduces the space of client updates from model parameter updates (a continuous space of float numbers) in standard FL to the space of parameter rankings (a discrete space of integer values). To be able to train the global model using parameter ranks (instead of parameter weights), FRL leverage ideas from recent supermasks training mechanisms. Specifically, FRL clients rank the parameters of a randomly initialized neural network (provided by the server) based on their local training data. The FRL server uses a voting mechanism to aggregate the parameter rankings submitted by clients in each training epoch to generate the global ranking of the next training epoch. Intuitively, our voting-based aggregation mechanism prevents poisoning clients from making significant adversarial modifications to the global model, as each client will have a single vote! We demonstrate the robustness of FRL to poisoning through analytical proofs and experimentation. We also show FRL's high communication efficiency. Our experiments demonstrate the superiority of FRL in real-world FL settings.


title: Defect studies in strain-relaxed Si$_{1-x}$Ge$_x$ alloys

abstract: Raman light scattering, low-temperature photoluminescence, light-scattering tomography, and hydrogenation were used to investigate optical properties of defects in strain-relaxed Si_{1-x}Ge_x (0.05 \le x \le 0.50) alloys. The photoluminescence emission was characterized by typical zero-phonon, phonon-assisted, and dislocations-related emissions, which are dependent on Ge composition x. However, luminescence spectra exhibited above band-gap features, which are likely associated with the presence of Si-rich regions in the alloys. The results are correlated with light-scattering tomography, revealing the presence of dislocations and Si precipitates. The excess peak at 519 cm^{-1} in Ge-rich samples is supportive of this observation. At low Ge content, a dislocation-related band (D2 line) at 14,204 {\AA} dominates D-band emission for x < 0.25 while overall D-band emission intensity decreases with x. Hydrogenation was found to enhance D-band emission, indicating a passivation of nonradiative recombination centers inside dislocation cores. Si-Si, Si-Ge, and Ge-Ge phonons (TO, TA, and LA), which are participating in luminescence emission, evolve with increasing Ge content and Ge-Ge and Si-Ge TO lines dominate the Raman spectrum to the detriment of the Si-Si TO phonon line. Raman spectra reveal the presence of alloy fluctuations and possible presence of Ge particles, particularly in Ge-rich samples.


title: Hankel-structured Tensor Robust PCA for Multivariate Traffic Time Series Anomaly Detection

abstract: Spatiotemporal traffic data (e.g., link speed/flow) collected from sensor networks can be organized as multivariate time series with additional spatial attributes. A crucial task in analyzing such data is to identify and detect anomalous observations and events from the data with complex spatial and temporal dependencies. Robust Principal Component Analysis (RPCA) is a widely used tool for anomaly detection. However, the traditional RPCA purely relies on the global low-rank assumption while ignoring the local temporal correlations. In light of this, this study proposes a Hankel-structured tensor version of RPCA for anomaly detection in spatiotemporal data. We treat the raw data with anomalies as a multivariate time series matrix (location $\times$ time) and assume the denoised matrix has a low-rank structure. Then we transform the low-rank matrix to a third-order tensor by applying temporal Hankelization. In the end, we decompose the corrupted matrix into a low-rank Hankel tensor and a sparse matrix. With the Hankelization operation, the model can simultaneously capture the global and local spatiotemporal correlations and exhibit more robust performance. We formulate the problem as an optimization problem and use tensor nuclear norm (TNN) to approximate the tensor rank and $l_1$ norm to approximate the sparsity. We develop an efficient solution algorithm based on the Alternating Direction Method of Multipliers (ADMM). Despite having three hyper-parameters, the model is easy to set in practice. We evaluate the proposed method by synthetic data and metro passenger flow time series and the results demonstrate the accuracy of anomaly detection.


title: Learning to Describe Solutions for Bug Reports Based on Developer Discussions

abstract: When a software bug is reported, developers engage in a discussion to collaboratively resolve it. While the solution is likely formulated within the discussion, it is often buried in a large amount of text, making it difficult to comprehend and delaying its implementation. To expedite bug resolution, we propose generating a concise natural language description of the solution by synthesizing relevant content within the discussion, which encompasses both natural language and source code. We build a corpus for this task using a novel technique for obtaining noisy supervision from repository changes linked to bug reports, with which we establish benchmarks. We also design two systems for generating a description during an ongoing discussion by classifying when sufficient context for performing the task emerges in real-time. With automated and human evaluation, we find this task to form an ideal testbed for complex reasoning in long, bimodal dialogue context.


title: q-Casimir and q-cut-and-join operators related to Reflection Equation Algebras

abstract: In this paper we are dealing with the Reflection Equation algebra ${\cal M}(R)$, associated with a $GL_N$ type Hecke symmetry $R$. In this algebra we define the $q$-analogs of the partial derivatives $\partial_j^i$ in generators $m_i^j$ of ${\cal M}(R)$. The product $\hat L = MD$ of two matrices $M=\|m_i^j\|$ and $D=\|\partial_i^j\|$ turns out to be a generating matrix of a modified Reflection Equation algebra $\hat{\cal L}(R)$ which is similar to the universal enveloping algebra $U(gl_N)$ in many aspects. Central elements of the modified Reflection Equation algebra give rise to $q$-Casimir operators in a representation of $\hat{\cal L}(R)$ in the algebra ${\cal M}(R)$. We perform a spectral analysis of the first $q$-Casimir operator and formulate a conjecture about the spectrum of the higher ones. At last, we define the normal ordering for the $q$-differential operators and inroduce the $q$-cut-and-join operators. In several explicit examples we express some of $q$-cut-and-join operators via the $q$-Casimir ones by analogy with the classical case.


title: Constrained Optimization in the Presence of Noise

abstract: The problem of interest is the minimization of a nonlinear function subject to nonlinear equality constraints using a sequential quadratic programming (SQP) method. The minimization must be performed while observing only noisy evaluations of the objective and constraint functions. In order to obtain stability, the classical SQP method is modified by relaxing the standard Armijo line search based on the noise level in the functions, which is assumed to be known. Convergence theory is presented giving conditions under which the iterates converge to a neighborhood of the solution characterized by the noise level and the problem conditioning. The analysis assumes that the SQP algorithm does not require regularization or trust regions. Numerical experiments indicate that the relaxed line search improves the practical performance of the method on problems involving uniformly distributed noise. One important application of this work is in the field of derivative-free optimization, when finite differences are employed to estimate gradients.


title: Analytical theory of frequency-modulated combs: generalized mean-field theory, complex cavities, and harmonic states

abstract: Frequency-modulated (FM) combs with a linearly-chirped frequency and nearly constant intensity occur naturally in certain laser systems; they can be most succinctly described by a nonlinear Schr\"odinger equation with a phase potential. In this work, we perform a comprehensive analytical study of FM combs in order to calculate their salient properties. We develop a general procedure that allows mean-field theories to be constructed for arbitrary sets of master equations, and as an example consider the case of reflective defects. We derive an expression for the FM chirp of arbitrary Fabry-Perot cavities$-$important for most realistic lasers$-$and use perturbation theory to show how they are affected by gain curvature. Lastly, we show that an eigenvalue formulation of the laser's dynamics can be useful for characterizing all of the stable states of the laser: the fundamental comb, the continuous-wave solution, and the harmonic states.


title: Training Transition Policies via Distribution Matching for Complex Tasks

abstract: Humans decompose novel complex tasks into simpler ones to exploit previously learned skills. Analogously, hierarchical reinforcement learning seeks to leverage lower-level policies for simple tasks to solve complex ones. However, because each lower-level policy induces a different distribution of states, transitioning from one lower-level policy to another may fail due to an unexpected starting state. We introduce transition policies that smoothly connect lower-level policies by producing a distribution of states and actions that matches what is expected by the next policy. Training transition policies is challenging because the natural reward signal -- whether the next policy can execute its subtask successfully -- is sparse. By training transition policies via adversarial inverse reinforcement learning to match the distribution of expected states and actions, we avoid relying on task-based reward. To further improve performance, we use deep Q-learning with a binary action space to determine when to switch from a transition policy to the next pre-trained policy, using the success or failure of the next subtask as the reward. Although the reward is still sparse, the problem is less severe due to the simple binary action space. We demonstrate our method on continuous bipedal locomotion and arm manipulation tasks that require diverse skills. We show that it smoothly connects the lower-level policies, achieving higher success rates than previous methods that search for successful trajectories based on a reward function, but do not match the state distribution.


title: Effortless estimation of basins of attraction

abstract: We present a fully automated method that identifies attractors and their basins of attraction without approximations of the dynamics. The method works by defining a finite state machine on top of the system flow. The input to the method is a dynamical system evolution rule and a grid that partitions the state space. No prior knowledge of the number, location, or nature of the attractors is required. The method works for arbitrarily-high-dimensional dynamical systems, both discrete and continuous. It also works for stroboscopic maps, Poincar\'e maps, and projections of high-dimensional dynamics to a lower-dimensional space. The method is accompanied by a performant open-source implementation in the DynamicalSystems.jl library. The performance of the method outclasses the naive approach of evolving initial conditions until convergence to an attractor, even when excluding the task of first identifying the attractors from the comparison. We showcase the power of our implementation on several scenarios, including interlaced chaotic attractors, high-dimensional state spaces, fractal basin boundaries, and interlaced attracting periodic orbits, among others. The output of our method can be straightforwardly used to calculate concepts such as basin stability and final state sensitivity.


title: Proving infinite index for a subgroup of matrices

abstract: We show how tools from computational group theory can be used to prove that a subgroup of matrices has infinite index.


title: The current state and future directions of modeling thermosphere density enhancements during extreme magnetic storms

abstract: Satellites, crewed spacecraft and stations in low-Earth orbit (LEO) are very sensitive to atmospheric drag. A satellite's lifetime and orbital tracking become increasingly inaccurate or uncertain during magnetic storms. Given the planned increase of government and private satellite presence in LEO, the need for accurate density predictions for collision avoidance and lifetime optimization, particularly during extreme events, has become an urgent matter and requires comprehensive international collaboration. Additionally, long-term solar activity models and historical data suggest that solar activity will significantly increase in the following years and decades. In this article, we briefly summarize the main achievements in the research of thermosphere response to extreme magnetic storms occurring particularly after the launching of many satellites with state-of-the-art accelerometers from which high-accuracy density can be determined. We find that the performance of an empirical model with data assimilation is higher than its performance without data assimilation during all extreme storm phases. We discuss how forecasting models can be improved by looking into two directions: first, to the past, by adapting historical extreme storm datasets for density predictions, and second, to the future, by facilitating the assimilation of large-scale thermosphere data sets that will be collected in future events. Therefore, this topic is relevant to the scientific community, government agencies that operate satellites, and the private sector with assets operating in LEO.


title: SubTab: Subsetting Features of Tabular Data for Self-Supervised Representation Learning

abstract: Self-supervised learning has been shown to be very effective in learning useful representations, and yet much of the success is achieved in data types such as images, audio, and text. The success is mainly enabled by taking advantage of spatial, temporal, or semantic structure in the data through augmentation. However, such structure may not exist in tabular datasets commonly used in fields such as healthcare, making it difficult to design an effective augmentation method, and hindering a similar progress in tabular data setting. In this paper, we introduce a new framework, Subsetting features of Tabular data (SubTab), that turns the task of learning from tabular data into a multi-view representation learning problem by dividing the input features to multiple subsets. We argue that reconstructing the data from the subset of its features rather than its corrupted version in an autoencoder setting can better capture its underlying latent representation. In this framework, the joint representation can be expressed as the aggregate of latent variables of the subsets at test time, which we refer to as collaborative inference. Our experiments show that the SubTab achieves the state of the art (SOTA) performance of 98.31% on MNIST in tabular setting, on par with CNN-based SOTA models, and surpasses existing baselines on three other real-world datasets by a significant margin.


title: Steady state of overdamped particles in the non-conservative force field of a simple non-linear model of optical trap

abstract: Optically trapped particles are often subject to a non-conservative scattering force arising from radiation pressure. In this paper we present an exact solution for the steady state statistics of an overdamped Brownian particle subjected to a commonly used force field model for an optical trap. The model is the simplest of its kind that takes into account non-conservative forces. In particular, we present exact results for certain marginals of the full three dimensional steady state probability distribution as well as results for the toroidal probability currents which are present in the steady state, as well as for the circulation of theses currents. Our analytical results are confirmed by numerical solution of the steady state Fokker-Planck equation.


title: Certifying Robustness to Programmable Data Bias in Decision Trees

abstract: Datasets can be biased due to societal inequities, human biases, under-representation of minorities, etc. Our goal is to certify that models produced by a learning algorithm are pointwise-robust to potential dataset biases. This is a challenging problem: it entails learning models for a large, or even infinite, number of datasets, ensuring that they all produce the same prediction. We focus on decision-tree learning due to the interpretable nature of the models. Our approach allows programmatically specifying bias models across a variety of dimensions (e.g., missing data for minorities), composing types of bias, and targeting bias towards a specific group. To certify robustness, we use a novel symbolic technique to evaluate a decision-tree learner on a large, or infinite, number of datasets, certifying that each and every dataset produces the same prediction for a specific test point. We evaluate our approach on datasets that are commonly used in the fairness literature, and demonstrate our approach's viability on a range of bias models.


title: The Wilson Loop -- Large Spin OPE Dictionary

abstract: We work out the map between null polygonal hexagonal Wilson loops and spinning three point functions in large $N$ conformal gauge theories by mapping the variables describing the two different physical quantities and by working out the precise normalization factors entering this duality. By fixing all the kinematics we open the ground for a precise study of the dynamics underlying these dualities -- most notably through integrability in the case of planar maximally supersymmetric Yang-Mills theory.


title: Dyadic double/debiased machine learning for analyzing determinants of free trade agreements

abstract: This paper presents novel methods and theories for estimation and inference about parameters in econometric models using machine learning for nuisance parameters estimation when data are dyadic. We propose a dyadic cross fitting method to remove over-fitting biases under arbitrary dyadic dependence. Together with the use of Neyman orthogonal scores, this novel cross fitting method enables root-$n$ consistent estimation and inference robustly against dyadic dependence. We illustrate an application of our general framework to high-dimensional network link formation models. With this method applied to empirical data of international economic networks, we reexamine determinants of free trade agreements (FTA) viewed as links formed in the dyad composed of world economies. We document that standard methods may lead to misleading conclusions for numerous classic determinants of FTA formation due to biased point estimates or standard errors which are too small.


title: Towards a Unified View of Parameter-Efficient Transfer Learning

abstract: Fine-tuning large pre-trained language models on downstream tasks has become the de-facto learning paradigm in NLP. However, conventional approaches fine-tune all the parameters of the pre-trained model, which becomes prohibitive as the model size and the number of tasks grow. Recent work has proposed a variety of parameter-efficient transfer learning methods that only fine-tune a small number of (extra) parameters to attain strong performance. While effective, the critical ingredients for success and the connections among the various methods are poorly understood. In this paper, we break down the design of state-of-the-art parameter-efficient transfer learning methods and present a unified framework that establishes connections between them. Specifically, we re-frame them as modifications to specific hidden states in pre-trained models, and define a set of design dimensions along which different methods vary, such as the function to compute the modification and the position to apply the modification. Through comprehensive empirical studies across machine translation, text summarization, language understanding, and text classification benchmarks, we utilize the unified view to identify important design choices in previous methods. Furthermore, our unified framework enables the transfer of design elements across different approaches, and as a result we are able to instantiate new parameter-efficient fine-tuning methods that tune less parameters than previous methods while being more effective, achieving comparable results to fine-tuning all parameters on all four tasks.


title: Hybrid Random Features

abstract: We propose a new class of random feature methods for linearizing softmax and Gaussian kernels called hybrid random features (HRFs) that automatically adapt the quality of kernel estimation to provide most accurate approximation in the defined regions of interest. Special instantiations of HRFs lead to well-known methods such as trigonometric (Rahimi and Recht, 2007) or (recently introduced in the context of linear-attention Transformers) positive random features (Choromanski et al., 2021). By generalizing Bochner's Theorem for softmax/Gaussian kernels and leveraging random features for compositional kernels, the HRF-mechanism provides strong theoretical guarantees - unbiased approximation and strictly smaller worst-case relative errors than its counterparts. We conduct exhaustive empirical evaluation of HRF ranging from pointwise kernel estimation experiments, through tests on data admitting clustering structure to benchmarking implicit-attention Transformers (also for downstream Robotics applications), demonstrating its quality in a wide spectrum of machine learning problems.


title: Moral Hazard with Heterogeneous Beliefs

abstract: We study a model of moral hazard with heterogeneous beliefs where each of agent's actions gives rise to a pair of probability distributions over output levels, one representing the beliefs of the agent and the other those of the principal. The agent's relative optimism or pessimism dictates whether the contract is high-powered (i.e. with high variability between wage levels) or low-powered. When the agent is sufficiently more optimistic than the principal, the trade-off between risk-sharing and incentive provision may be eliminated. Using Monotone Likelihood Ratio ranking to model disagreement in the parties' beliefs, we show that incentives move in the direction of increasing disagreement. In general, the shape of the wage scheme is sensitive to the differences in beliefs. Thereby, key features of optimal incentive contracts under common beliefs do not readily generalize to the case of belief heterogeneity.


title: A Loss Curvature Perspective on Training Instability in Deep Learning

abstract: In this work, we study the evolution of the loss Hessian across many classification tasks in order to understand the effect the curvature of the loss has on the training dynamics. Whereas prior work has focused on how different learning rates affect the loss Hessian observed during training, we also analyze the effects of model initialization, architectural choices, and common training heuristics such as gradient clipping and learning rate warmup. Our results demonstrate that successful model and hyperparameter choices allow the early optimization trajectory to either avoid -- or navigate out of -- regions of high curvature and into flatter regions that tolerate a higher learning rate. Our results suggest a unifying perspective on how disparate mitigation strategies for training instability ultimately address the same underlying failure mode of neural network optimization, namely poor conditioning. Inspired by the conditioning perspective, we show that learning rate warmup can improve training stability just as much as batch normalization, layer normalization, MetaInit, GradInit, and Fixup initialization.


title: New Governing Equations for Fluid Dynamics

abstract: There are several questions with NS, which include: 1. Both symmetric shear terms and stretching terms in strain and stress are coordinate-dependent and thus not Galilean invariant; 2. The physical meaning of both diagonal and off-diagonal elements are not clear, which is coordinate-dependent; 3. It is hard to measure the strain and stress quantitatively, and viscosity is really measured by vorticity not by symmetric strain; 4. There is no vorticity tensor in NS, which plays important role in fluid flow especially for turbulent flow. The new proposed governing equations for fluid dynamics use vorticity tensor only, which is anti-symmetric. The advantages include: 1. Both shear and stress are anti-symmetric, which are Galilean invariant and independent of coordinate rotation; 2. The physical meaning of off diagonal elements is clear, which is anti-symmetric shear stress, 3. Viscosity coefficients are obtained by experiment which uses vorticity, 4. The vorticity term can be further decomposed to rigid rotation and anti-symmetric shear, which are important to turbulence research, 5. The computation cost for viscous term is reduced to half as the diagonal terms are all zero as six elements are reduced to three. Several computational results are made, which clearly demonstrate both NS and new governing equations have exactly same results. As shown below, the new governing equation is identical to NS in mathematics, but the former has lower cost and several advantages mentioned above including possibility to better study turbulent flow. There are reasons to use the new governing equations to replace Navier-Stokes equations. The unique definition and operation of vector and tensor by matrix and matrix operation are also discussed in this paper.


title: DispersedLedger: High-Throughput Byzantine Consensus on Variable Bandwidth Networks

abstract: The success of blockchains has sparked interest in large-scale deployments of Byzantine fault tolerant (BFT) consensus protocols over wide area networks. A central feature of such networks is variable communication bandwidth across nodes and across time. We present DispersedLedger, an asynchronous BFT protocol that provides near-optimal throughput in the presence of such variable network bandwidth. The core idea of DispersedLedger is to enable nodes to propose, order, and agree on blocks of transactions without having to download their full content. By enabling nodes to agree on an ordered log of blocks, with a guarantee that each block is available within the network and unmalleable, DispersedLedger decouples bandwidth-intensive block downloads at different nodes, allowing each to make progress at its own pace. We build a full system prototype and evaluate it on real-world and emulated networks. Our results on a geo-distributed wide-area deployment across the Internet shows that DispersedLedger achieves 2x better throughput and 74% reduction in latency compared to HoneyBadger, the state-of-the-art asynchronous protocol.


title: Fair Regression under Sample Selection Bias

abstract: Recent research on fair regression focused on developing new fairness notions and approximation methods as target variables and even the sensitive attribute are continuous in the regression setting. However, all previous fair regression research assumed the training data and testing data are drawn from the same distributions. This assumption is often violated in real world due to the sample selection bias between the training and testing data. In this paper, we develop a framework for fair regression under sample selection bias when dependent variable values of a set of samples from the training data are missing as a result of another hidden process. Our framework adopts the classic Heckman model for bias correction and the Lagrange duality to achieve fairness in regression based on a variety of fairness notions. Heckman model describes the sample selection process and uses a derived variable called the Inverse Mills Ratio (IMR) to correct sample selection bias. We use fairness inequality and equality constraints to describe a variety of fairness notions and apply the Lagrange duality theory to transform the primal problem into the dual convex optimization. For the two popular fairness notions, mean difference and mean squared error difference, we derive explicit formulas without iterative optimization, and for Pearson correlation, we derive its conditions of achieving strong duality. We conduct experiments on three real-world datasets and the experimental results demonstrate the approach's effectiveness in terms of both utility and fairness metrics.


title: Flux-Limited Diffusion Approximation Models of Giant Planet Formation by Disk Instability. II. Quadrupled Spatial Resolution

abstract: While collisional accumulation is nearly universally accepted as the formation mechanism of rock and ice worlds, the situation regarding gas giant planet formation is more nuanced. Gas accretion by solid cores formed by collisional accumulation is the generally favored mechanism, but observations increasingly suggest that gas disk gravitational instability might explain the formation of at least the massive or wide-orbit gas giant exoplanets. This paper continues a series aimed at refining three-dimensional (3D) hydrodynamical models of disk instabilities, where the handling of the gas thermodynamics is a crucial factor. Boss (2017, 2019, 2021) used the $\beta$ cooling approximation (Gammie 2001) to calculate 3D models of disks with initial masses of 0.091 $M_\odot$ extending from 4 to 20 au around 1 $M_\odot$ protostars. Here we employ 3D flux-limited diffusion (FLD) approximation models of the same disks, in order to provide a superior treatment of disk gas thermodynamics. The new models have quadrupled spatial resolution compared to previous 3D FLD models (Boss 2008, 2012), in both the radial and azimuthal spherical coordinates, resulting in the highest spatial resolution 3D FLD models to date. The new models continue to support the hypothesis that such disks can form self-gravitating, dense clumps capable of contracting to form gas giant protoplanets, and suggest that the FLD models yield similar numbers of clumps as $\beta$ cooling models with $\beta \sim$ 1 to $\sim$ 10, including the critical value of $\beta$ = 3 for fragmentation proposed by Gammie (2001).


title: A Few More Examples May Be Worth Billions of Parameters

abstract: We investigate the dynamics of increasing the number of model parameters versus the number of labeled examples across a wide variety of tasks. Our exploration reveals that while scaling parameters consistently yields performance improvements, the contribution of additional examples highly depends on the task's format. Specifically, in open question answering tasks, enlarging the training set does not improve performance. In contrast, classification, extractive question answering, and multiple choice tasks benefit so much from additional examples that collecting a few hundred examples is often "worth" billions of parameters. We hypothesize that unlike open question answering, which involves recalling specific information, solving strategies for tasks with a more restricted output space transfer across examples, and can therefore be learned with small amounts of labeled data.


title: Neural Link Prediction with Walk Pooling

abstract: Graph neural networks achieve high accuracy in link prediction by jointly leveraging graph topology and node attributes. Topology, however, is represented indirectly; state-of-the-art methods based on subgraph classification label nodes with distance to the target link, so that, although topological information is present, it is tempered by pooling. This makes it challenging to leverage features like loops and motifs associated with network formation mechanisms. We propose a link prediction algorithm based on a new pooling scheme called WalkPool. WalkPool combines the expressivity of topological heuristics with the feature-learning ability of neural networks. It summarizes a putative link by random walk probabilities of adjacent paths. Instead of extracting transition probabilities from the original graph, it computes the transition matrix of a "predictive" latent graph by applying attention to learned features; this may be interpreted as feature-sensitive topology fingerprinting. WalkPool can leverage unsupervised node features or be combined with GNNs and trained end-to-end. It outperforms state-of-the-art methods on all common link prediction benchmarks, both homophilic and heterophilic, with and without node attributes. Applying WalkPool to a set of unsupervised GNNs significantly improves prediction accuracy, suggesting that it may be used as a general-purpose graph pooling scheme.


title: Exploring a planet, revisited

abstract: How should we place $n$ great circles on a sphere to minimize the furthest distance between a point on the sphere and its nearest great circle? Fejes T\'oth conjectured that the optimum is attained by placing $n$ circles evenly spaced all passing through the north and south poles. This conjecture was recently proved by Jiang and Polyanskii. We present a short simplification of Ortega-Moreno's alternate proof of this conjecture.


title: Regularity of quasi-linear equations with H\"ormander vector fields of step two

abstract: If the smooth vector fields $X_1,\ldots,X_m$ and their commutators span the tangent space at every point in $\Omega\subseteq \mathbb{R}^N$ for any fixed $m\leq N$, then we establish the full interior regularity theory of quasi-linear equations $\sum_{i=1}^m X_i^*A_i(X_1u, \ldots,X_mu)= 0$ with $p$-Laplacian type growth condition. In other words, we show that a weak solution of the equation is locally $C^{1,\alpha}$.


title: Performance optimizations on deep noise suppression models

abstract: We study the role of magnitude structured pruning as an architecture search to speed up the inference time of a deep noise suppression (DNS) model. While deep learning approaches have been remarkably successful in enhancing audio quality, their increased complexity inhibits their deployment in real-time applications. We achieve up to a 7.25X inference speedup over the baseline, with a smooth model performance degradation. Ablation studies indicate that our proposed network re-parameterization (i.e., size per layer) is the major driver of the speedup, and that magnitude structured pruning does comparably to directly training a model in the smaller size. We report inference speed because a parameter reduction does not necessitate speedup, and we measure model quality using an accurate non-intrusive objective speech quality metric.


title: Stream-Aligned Magnetohydrodynamics for Solar Wind Simulations

abstract: We present a reduced magnetohydrodynamic (MHD) mathematical model describing the dynamical behavior of highly conducting plasmas with frozen-in magnetic fields, constrained by the assumption that, there exists a frame of reference, where the magnetic field vector, $\mathbf{B}$, is aligned with the plasma velocity vector, $\mathbf{u}$, at each point. We call this solution "stream-aligned MHD" (SA-MHD). Within the framework of this model, the electric field, $\mathbf{E} = -\mathbf{u} \times \mathbf{B} \equiv 0$, in the induction equation vanishes identically and so does the electromagnetic energy flux (Poynting flux), $\mathbf{E}\times\mathbf{B}\equiv0$, in the energy equation. At the same time, the force effect from the magnetic field on the plasma motion (the Ampere force) is fully taken into account in the momentum equation. Any steady-state solution of the proposed model is a legitimate solution of the full MHD system of equations. However, the converse statement is not true: in an arbitrary steady-state magnetic field the electric field does not have to vanish identically (its curl has to, though). Specifically, realistic tree-dimensional solutions for the steady-state ("ambient") solar atmosphere in the form of so-called Parker spirals, can be efficiently generated within the stream-aligned MHD (SA-MHD) with no loss in generality


title: Observation of open scattering channels

abstract: The existence of fully transmissive eigenchannels ("open channels") in a random scattering medium is a counterintuitive and unresolved prediction of random matrix theory. The smoking gun of such open channels, namely a bimodal distribution of the transmission efficiencies of the scattering channels, has so far eluded experimental observation. We observe an experimental distribution of transmission efficiencies that obeys the predicted bimodal Dorokhov-Mello-Pereyra-Kumar distribution. Thereby we show the existence of open channels in a linear optical scattering system. The characterization of the scattering system is carried out by a quantum-optical readout method. We find that missing a single channel in the measurement already prevents detection of the open channels, illustrating why their observation has proven so elusive until now. Our work confirms a long-standing prediction of random matrix theory underlying wave transport through disordered systems.


title: Allocation of COVID-19 Testing Budget on a Commute Network of Counties

abstract: The screening testing is an effective tool to control the early spread of an infectious disease such as COVID-19. When the total testing capacity is limited, we aim to optimally allocate testing resources among n counties. We build a (weighted) commute network on counties, with the weight between two counties a decreasing function of their traffic distance. We introduce a network-based disease model, in which the number of newly confirmed cases of each county depends on the numbers of hidden cases of all counties on the network. Our proposed testing allocation strategy first uses historical data to learn model parameters and then decides the testing rates for all counties by solving an optimization problem. We apply the method on the commute networks of Massachusetts, USA and Hubei, China and observe its advantages over testing allocation strategies that ignore the network structure. Our approach can also be extended to study the vaccine allocation problem.


title: Dynamic Precise and Imprecise Probability Kinematics

abstract: We introduce dynamic probability kinematics (DPK), a method for an agent to mechanically update subjective beliefs in the presence of partial information. We then generalize DPK to dynamic imprecise probability kinematics (DIPK), which allows the agent to express their initial beliefs via a set of probabilities in order to further take ambiguity into account. We provide bounds for the lower probability associated with the updated probability sets, and we study the behavior of the latter, in particular contraction, dilation, and sure loss. Examples are provided to illustrate how the methods work.


title: Learning 3D Representations of Molecular Chirality with Invariance to Bond Rotations

abstract: Molecular chirality, a form of stereochemistry most often describing relative spatial arrangements of bonded neighbors around tetrahedral carbon centers, influences the set of 3D conformers accessible to the molecule without changing its 2D graph connectivity. Chirality can strongly alter (bio)chemical interactions, particularly protein-drug binding. Most 2D graph neural networks (GNNs) designed for molecular property prediction at best use atomic labels to na\"ively treat chirality, while E(3)-invariant 3D GNNs are invariant to chirality altogether. To enable representation learning on molecules with defined stereochemistry, we design an SE(3)-invariant model that processes torsion angles of a 3D molecular conformer. We explicitly model conformational flexibility by integrating a novel type of invariance to rotations about internal molecular bonds into the architecture, mitigating the need for multi-conformer data augmentation. We test our model on four benchmarks: contrastive learning to distinguish conformers of different stereoisomers in a learned latent space, classification of chiral centers as R/S, prediction of how enantiomers rotate circularly polarized light, and ranking enantiomers by their docking scores in an enantiosensitive protein pocket. We compare our model, Chiral InterRoto-Invariant Neural Network (ChIRo), with 2D and 3D GNNs to demonstrate that our model achieves state of the art performance when learning chiral-sensitive functions from molecular structures.


title: Evaluation of Summarization Systems across Gender, Age, and Race

abstract: Summarization systems are ultimately evaluated by human annotators and raters. Usually, annotators and raters do not reflect the demographics of end users, but are recruited through student populations or crowdsourcing platforms with skewed demographics. For two different evaluation scenarios -- evaluation against gold summaries and system output ratings -- we show that summary evaluation is sensitive to protected attributes. This can severely bias system development and evaluation, leading us to build models that cater for some groups rather than others.


title: Individualized Hear-through For Acoustic Transparency Using PCA-Based Sound Pressure Estimation At The Eardrum

abstract: The hear-through functionality on hearing devices, which allows hearing equivalent to the open-ear while providing the possibility to modify the sound pressure at the eardrum in a desired manner, has drawn great attention from researchers in recent years. To this end, the output of the device is processed by means of an equalization filter, such that the transfer function between external sound sources and the eardrum is equivalent for the open-ear and the aided condition with the device in the ear. To achieve an ideal performance, the equalization filter design assumes the exact knowledge of all the relevant acoustic transfer functions. A particular challenge is the transfer function between the hearing device receiver and the eardrum, which is difficult to obtain in practice as it requires additional probe-tube measurements. In this work, we address this issue by proposing an individualized hear-through equalization filter design that leverages the measurement of the so-called secondary path to predict the sound pressure at the eardrum. Experimental results using real-ear measured transfer functions confirm that the proposed method achieves a good sound quality compared to the open-ear while outperforming filter designs that do not leverage the proposed estimator.


title: A Lorentzian analog for Hausdorff dimension and measure

abstract: We define a one-parameter family of canonical volume measures on Lorentzian (pre-)length spaces. In the Lorentzian setting, this allows us to define a geometric dimension - akin to the Hausdorff dimension for metric spaces - that distinguishes between e.g. spacelike and null subspaces of Minkowski spacetime. The volume measure corresponding to its geometric dimension gives a natural reference measure on a synthetic or limiting spacetime, and allows us to define what it means for such a spacetime to be collapsed (in analogy with metric measure geometry and the theory of Riemannian Ricci limit spaces). As a crucial tool we introduce a doubling condition for causal diamonds and a notion of causal doubling measures. Moreover, applications to continuous spacetimes and connections to synthetic timelike curvature bounds are given.


title: Maximal gap between local and global distinguishability of bipartite quantum states

abstract: We prove a tight and close-to-optimal lower bound on the effectiveness of local quantum measurements (without classical communication) at discriminating any two bipartite quantum states. Our result implies, for example, that any two orthogonal quantum states of a $n_A\times n_B$ bipartite quantum system can be discriminated via local measurements with an error probability no larger than $\frac12 \left(1 - \frac{1}{c \min\{n_A, n_B\}} \right)$, where $1\leq c\leq 2\sqrt2$ is a universal constant, and our bound scales provably optimally with the local dimensions $n_A,n_B$. Mathematically, this is achieved by showing that the distinguishability norm $\|\cdot\|_{LO}$ associated with local measurements satisfies that $\|\cdot\|_1\leq 2\sqrt2 \min\{n_A,n_B\} \|\cdot\|_{LO}$, where $\|\cdot\|_1$ is the trace norm.


title: Estimating High Dimensional Monotone Index Models by Iterative Convex Optimization1

abstract: In this paper we propose new approaches to estimating large dimensional monotone index models. This class of models has been popular in the applied and theoretical econometrics literatures as it includes discrete choice, nonparametric transformation, and duration models. A main advantage of our approach is computational. For instance, rank estimation procedures such as those proposed in Han (1987) and Cavanagh and Sherman (1998) that optimize a nonsmooth, non convex objective function are difficult to use with more than a few regressors and so limits their use in with economic data sets. For such monotone index models with increasing dimension, we propose to use a new class of estimators based on batched gradient descent (BGD) involving nonparametric methods such as kernel estimation or sieve estimation, and study their asymptotic properties. The BGD algorithm uses an iterative procedure where the key step exploits a strictly convex objective function, resulting in computational advantages. A contribution of our approach is that our model is large dimensional and semiparametric and so does not require the use of parametric distributional assumptions.


title: Tight Computationally Efficient Approximation of Matrix Norms with Applications

abstract: We address the problems of computing operator norms of matrices induced by given norms on the argument and the image space. It is known that aside of a fistful of "solvable cases," most notably, the case when both given norms are Euclidean, computing operator norm of a matrix is NP-hard. We specify rather general families of norms on the argument and the images space ("ellitopic" and "co-ellitopic," respectively) allowing for reasonably tight computationally efficient upper-bounding of the associated operator norms. We extend these results to bounding "robust operator norm of uncertain matrix with box uncertainty," that is, the maximum of operator norms of matrices representable as a linear combination, with coefficients of magnitude $\leq1$, of a collection of given matrices. Finally, we consider some applications of norm bounding, in particular, (1) computationally efficient synthesis of affine non-anticipative finite-horizon control of discrete time linear dynamical systems under bounds on the peak-to-peak gains, (2) signal recovery with uncertainties in sensing matrix, and (3) identification of parameters of time invariant discrete time linear dynamical systems via noisy observations of states and inputs on a given time horizon, in the case of "uncertain-but-bounded" noise varying in a box.


title: Multi-Agent Autonomy: Advancements and Challenges in Subterranean Exploration

abstract: Artificial intelligence has undergone immense growth and maturation in recent years, though autonomous systems have traditionally struggled when fielded in diverse and previously unknown environments. DARPA is seeking to change that with the Subterranean Challenge, by providing roboticists the opportunity to support civilian and military first responders in complex and high-risk underground scenarios. The subterranean domain presents a handful of challenges, such as limited communication, diverse topology and terrain, and degraded sensing. Team MARBLE proposes a solution for autonomous exploration of unknown subterranean environments in which coordinated agents search for artifacts of interest. The team presents two navigation algorithms in the form of a metric-topological graph-based planner and a continuous frontier-based planner. To facilitate multi-agent coordination, agents share and merge new map information and candidate goal-points. Agents deploy communication beacons at different points in the environment, extending the range at which maps and other information can be shared. Onboard autonomy reduces the load on human supervisors, allowing agents to detect and localize artifacts and explore autonomously outside established communication networks. Given the scale, complexity, and tempo of this challenge, a range of lessons were learned, most importantly, that frequent and comprehensive field testing in representative environments is key to rapidly refining system performance.


title: Aura: Privacy-preserving Augmentation to Improve Test Set Diversity in Speech Enhancement

abstract: Noise suppression models running in production environments are commonly trained on publicly available datasets. However, this approach leads to regressions due to the lack of training/testing on representative customer data. Moreover, due to privacy reasons, developers cannot listen to customer content. This `ears-off' situation motivates augmenting existing datasets in a privacy-preserving manner. In this paper, we present Aura, a solution to make existing noise suppression test sets more challenging and diverse while being sample efficient. Aura is `ears-off' because it relies on a feature extractor and a metric of speech quality, DNSMOS P.835, both pre-trained on data obtained from public sources. As an application of Aura, we augment the INTERSPEECH 2021 DNS challenge by sampling audio files from a new batch of data of 20K clean speech clips from Librivox mixed with noise clips obtained from AudioSet. Aura makes the existing benchmark test set harder by 0.27 in DNSMOS P.835 OVLR (7%), 0.64 harder in DNSMOS P.835 SIG (16%), increases diversity by 31%, and achieves a 26% improvement in Spearman's rank correlation coefficient (SRCC) compared to random sampling. Finally, we open-source Aura to stimulate research of test set development.


title: The Eval4NLP Shared Task on Explainable Quality Estimation: Overview and Results

abstract: In this paper, we introduce the Eval4NLP-2021shared task on explainable quality estimation. Given a source-translation pair, this shared task requires not only to provide a sentence-level score indicating the overall quality of the translation, but also to explain this score by identifying the words that negatively impact translation quality. We present the data, annotation guidelines and evaluation setup of the shared task, describe the six participating systems, and analyze the results. To the best of our knowledge, this is the first shared task on explainable NLP evaluation metrics. Datasets and results are available at https://github.com/eval4nlp/SharedTask2021.


title: Randomized algorithms for rounding in the Tensor-Train format

abstract: The Tensor-Train (TT) format is a highly compact low-rank representation for high-dimensional tensors. TT is particularly useful when representing approximations to the solutions of certain types of parametrized partial differential equations. For many of these problems, computing the solution explicitly would require an infeasible amount of memory and computational time. While the TT format makes these problems tractable, iterative techniques for solving the PDEs must be adapted to perform arithmetic while maintaining the implicit structure. The fundamental operation used to maintain feasible memory and computational time is called rounding, which truncates the internal ranks of a tensor already in TT format. We propose several randomized algorithms for this task that are generalizations of randomized low-rank matrix approximation algorithms and provide significant reduction in computation compared to deterministic TT-rounding algorithms. Randomization is particularly effective in the case of rounding a sum of TT-tensors (where we observe 20x speedup), which is the bottleneck computation in the adaptation of GMRES to vectors in TT format. We present the randomized algorithms and compare their empirical accuracy and computational time with deterministic alternatives.


title: Identifying blockchain-based cryptocurrency accounts using investment portfolios

abstract: Cryptocurrencies based on decentralized systems, especially blockchain, are gaining popularity more than ever. Freedom advocates hail blockchain technology as a breakthrough in digital privacy and internet anonymity. Unfortunately, after recent studies conducted, it may come as a surprise that the transactions are, in fact, not always anonymous. In this short paper, the possibility of identifying a user's accounts in different cryptocurrencies given the user's portfolio of investment gained from social media is investigated. In this study, the generic elements of blockchain systems are briefly studied. In section \ref{sec:blocksim}, BlockSim which is a tool for simulating transactions, and an algorithm for answering this question is introduced.


title: Comparison with experimental data of different theoretical approaches to high-energy electron bremsstrahlung including quantum coherence effects

abstract: The basic expressions for the differential nuclear bremsstrahlung cross section at high electron energy, as derived under different theoretical approaches and approximations to quantum coherence effects, are compared. The Baier-Katkov treatment is reformulated to allow introduction of the same value of the radiation length in all calculations. A dedicated Monte Carlo code is employed for obtaining photon energy spectra in the framework of the Baier-Katkov approach taking into account multiphoton emission, attenuation by pair production, and pile-up with photons from the background. The results of Monte Carlo simulations for both the Migdal and Baier-Katkov descriptions are compared to all available data that show the Landau-Pomeranchuk-Migdal suppression. The issue of the sensitivity of the experiments to the difference of the two approaches is investigated.


title: When to Call Your Neighbor? Strategic Communication in Cooperative Stochastic Bandits

abstract: In cooperative bandits, a framework that captures essential features of collective sequential decision making, agents can minimize group regret, and thereby improve performance, by leveraging shared information. However, sharing information can be costly, which motivates developing policies that minimize group regret while also reducing the number of messages communicated by agents. Existing cooperative bandit algorithms obtain optimal performance when agents share information with their neighbors at \textit{every time step}, i.e., full communication. This requires $\Theta(T)$ number of messages, where $T$ is the time horizon of the decision making process. We propose \textit{ComEx}, a novel cost-effective communication protocol in which the group achieves the same order of performance as full communication while communicating only $O(\log T)$ number of messages. Our key step is developing a method to identify and only communicate the information crucial to achieving optimal performance. Further we propose novel algorithms for several benchmark cooperative bandit frameworks and show that our algorithms obtain \textit{state-of-the-art} performance while consistently incurring a significantly smaller communication cost than existing algorithms.


title: Measure Twice, Cut Once: Quantifying Bias and Fairness in Deep Neural Networks

abstract: Algorithmic bias is of increasing concern, both to the research community, and society at large. Bias in AI is more abstract and unintuitive than traditional forms of discrimination and can be more difficult to detect and mitigate. A clear gap exists in the current literature on evaluating the relative bias in the performance of multi-class classifiers. In this work, we propose two simple yet effective metrics, Combined Error Variance (CEV) and Symmetric Distance Error (SDE), to quantitatively evaluate the class-wise bias of two models in comparison to one another. By evaluating the performance of these new metrics and by demonstrating their practical application, we show that they can be used to measure fairness as well as bias. These demonstrations show that our metrics can address specific needs for measuring bias in multi-class classification.


title: The Role of Masks in Mitigating Viral Spread on Networks

abstract: Masks have remained an important mitigation strategy in the fight against COVID-19 due to their ability to prevent the transmission of respiratory droplets between individuals. In this work, we provide a comprehensive quantitative analysis of the impact of mask-wearing. To this end, we propose a novel agent-based model of viral spread on networks where agents may either wear no mask or wear one of several types of masks with different properties (e.g., cloth or surgical). We derive analytical expressions for three key epidemiological quantities: the probability of emergence, the epidemic threshold, and the expected epidemic size. In particular, we show how the aforementioned quantities depend on the structure of the contact network, viral transmission dynamics, and the distribution of the different types of masks within the population. Through extensive simulations, we then investigate the impact of different allocations of masks within the population and trade-offs between the outward efficiency and inward efficiency of the masks. Interestingly, we find that masks with high outward efficiency and low inward efficiency are most useful for controlling the spread in the early stages of an epidemic, while masks with high inward efficiency but low outward efficiency are most useful in reducing the size of an already large spread. Lastly, we study whether degree-based mask allocation is more effective in reducing the probability of epidemic as well as epidemic size compared to random allocation. The result echoes the previous findings that mitigation strategies should differ based on the stage of the spreading process, focusing on source control before the epidemic emerges and on self-protection after the emergence.


title: Global Explainability of BERT-Based Evaluation Metrics by Disentangling along Linguistic Factors

abstract: Evaluation metrics are a key ingredient for progress of text generation systems. In recent years, several BERT-based evaluation metrics have been proposed (including BERTScore, MoverScore, BLEURT, etc.) which correlate much better with human assessment of text generation quality than BLEU or ROUGE, invented two decades ago. However, little is known what these metrics, which are based on black-box language model representations, actually capture (it is typically assumed they model semantic similarity). In this work, we use a simple regression based global explainability technique to disentangle metric scores along linguistic factors, including semantics, syntax, morphology, and lexical overlap. We show that the different metrics capture all aspects to some degree, but that they are all substantially sensitive to lexical overlap, just like BLEU and ROUGE. This exposes limitations of these novelly proposed metrics, which we also highlight in an adversarial test scenario.


title: HydraSum: Disentangling Stylistic Features in Text Summarization using Multi-Decoder Models

abstract: Summarization systems make numerous "decisions" about summary properties during inference, e.g. degree of copying, specificity and length of outputs, etc. However, these are implicitly encoded within model parameters and specific styles cannot be enforced. To address this, we introduce HydraSum, a new summarization architecture that extends the single decoder framework of current models to a mixture-of-experts version with multiple decoders. We show that HydraSum's multiple decoders automatically learn contrasting summary styles when trained under the standard training objective without any extra supervision. Through experiments on three summarization datasets (CNN, Newsroom and XSum), we show that HydraSum provides a simple mechanism to obtain stylistically-diverse summaries by sampling from either individual decoders or their mixtures, outperforming baseline models. Finally, we demonstrate that a small modification to the gating strategy during training can enforce an even stricter style partitioning, e.g. high- vs low-abstractiveness or high- vs low-specificity, allowing users to sample from a larger area in the generation space and vary summary styles along multiple dimensions.


title: Atomic Norm Based Localization and Orientation Estimation for Millimeter-Wave MIMO OFDM Systems

abstract: Herein, an atomic norm based method for accurately estimating the location and orientation of a target from millimeter-wave multi-input-multi-output (MIMO) orthogonal frequency-division multiplexing (OFDM) signals is presented. A novel virtual channel matrix is introduced and an algorithm to extract localization-relevant channel parameters from its atomic norm decomposition is designed. Then, based on the extended invariance principle, a weighted least squares problem is proposed to accurately recover the location and orientation using both line-of-sight and non-line-of-sight channel information. Numerical results highlight performance improvements over a prior method and the resultant performance nearly achieves the Cramer-Rao lower bound.


title: Walking into the complex plane to "order" better time integrators

abstract: Most numerical methods for time integration use real time steps. Complex time steps provide an additional degree of freedom, as we can select the magnitude of the step in both the real and imaginary directions. By time stepping along specific paths in the complex plane, integrators can gain higher orders of accuracy or achieve expanded stability regions. We show how to derive these paths for explicit and implicit methods, discuss computational costs and storage benefits, and demonstrate clear advantages for complex-valued systems like the Schrodinger equation. We also explore how complex time stepping also allows us to break the Runge-Kutta order barrier, enabling 5th order accuracy using only five function evaluations for real-valued differential equations.


title: Temperature as Uncertainty in Contrastive Learning

abstract: Contrastive learning has demonstrated great capability to learn representations without annotations, even outperforming supervised baselines. However, it still lacks important properties useful for real-world application, one of which is uncertainty. In this paper, we propose a simple way to generate uncertainty scores for many contrastive methods by re-purposing temperature, a mysterious hyperparameter used for scaling. By observing that temperature controls how sensitive the objective is to specific embedding locations, we aim to learn temperature as an input-dependent variable, treating it as a measure of embedding confidence. We call this approach "Temperature as Uncertainty", or TaU. Through experiments, we demonstrate that TaU is useful for out-of-distribution detection, while remaining competitive with benchmarks on linear evaluation. Moreover, we show that TaU can be learned on top of pretrained models, enabling uncertainty scores to be generated post-hoc with popular off-the-shelf models. In summary, TaU is a simple yet versatile method for generating uncertainties for contrastive learning. Open source code can be found at: https://github.com/mhw32/temperature-as-uncertainty-public.


title: Motivic Milnor Fibres in Families of Real Singularities

abstract: In this article we prove two results concerning the motivic Milnor fibres $S^{\epsilon}(f)$ associated to a map germ $f: (\mathbb{R}^n,0)\to(\mathbb{R},0)$, defined by G. Comte and G. Fichou. Firstly, we prove that if $f,g:(\mathbb{R}^n,0)\to(\mathbb{R},0)$ are arc-analytically equivalent germs of Nash functions then the virtual Poincar\'e polynomial of the corresponding motivic Milnor fibres are equal. This extends (and provides a new proof) of a result of G. Fichou. Secondly, let $T\subset\mathbb{R}^m$ be a real algebraic set and $f: T\times(\mathbb{R}^n,0)\to\mathbb{R}$ a polynomial function of polynomial map germs such that $f(t,0)=0$ for any $t\in T$. Then we prove that there exists a locally finite real analytic stratification $\mathcal{S}$ of $T$ such that if $S\in\mathcal{S}$ is a stratum then $f_t\sim_a f_{t'}$ are arc-analytically equivalent, for any $t,t'\in S$. Furthermore, if $T$ is compact then the stratification $\mathcal{S}$ can be taken to be finite. These two results imply in particular that the virtual Poincar\'e polynomials of the respective zeta functions are equal i.e $\beta(S^{\epsilon}(f_t))=\beta(S^{\epsilon}(f_{t'}))$.


title: Quantum pixel representations and compression for $N$-dimensional images

abstract: We introduce a novel and uniform framework for quantum pixel representations that overarches many of the most popular representations proposed in the recent literature, such as (I)FRQI, (I)NEQR, MCRQI, and (I)NCQI. The proposed QPIXL framework results in more efficient circuit implementations and significantly reduces the gate complexity for all considered quantum pixel representations. Our method only requires a linear number of gates in terms of the number of pixels and does not use ancilla qubits. Furthermore, the circuits only consist of Ry gates and CNOT gates making them practical in the NISQ era. Additionally, we propose a circuit and image compression algorithm that is shown to be highly effective, being able to reduce the necessary gates to prepare an FRQI state for example scientific images by up to 90% without sacrificing image quality. Our algorithms are made publicly available as part of QPIXL++, a Quantum Image Pixel Library.


title: Accessible Visualization via Natural Language Descriptions: A Four-Level Model of Semantic Content

abstract: Natural language descriptions sometimes accompany visualizations to better communicate and contextualize their insights, and to improve their accessibility for readers with disabilities. However, it is difficult to evaluate the usefulness of these descriptions, and how effectively they improve access to meaningful information, because we have little understanding of the semantic content they convey, and how different readers receive this content. In response, we introduce a conceptual model for the semantic content conveyed by natural language descriptions of visualizations. Developed through a grounded theory analysis of 2,147 sentences, our model spans four levels of semantic content: enumerating visualization construction properties (e.g., marks and encodings); reporting statistical concepts and relations (e.g., extrema and correlations); identifying perceptual and cognitive phenomena (e.g., complex trends and patterns); and elucidating domain-specific insights (e.g., social and political context). To demonstrate how our model can be applied to evaluate the effectiveness of visualization descriptions, we conduct a mixed-methods evaluation with 30 blind and 90 sighted readers, and find that these reader groups differ significantly on which semantic content they rank as most useful. Together, our model and findings suggest that access to meaningful information is strongly reader-specific, and that research in automatic visualization captioning should orient toward descriptions that more richly communicate overall trends and statistics, sensitive to reader preferences. Our work further opens a space of research on natural language as a data interface coequal with visualization.


title: On Isolated Real Singularities I

abstract: This article and its successor concern the topology of real isolated hypersurface singularities. We prove that after attaching a certain number of handles the real Milnor fibres become contractible, with each handle corresponding to a critical point of a morsification; in particular one recovers the classical formula of Khimshiashvili for the Euler characteristic of the Milnor fibres. We then give sufficient conditions for having that the integer homology groups of the real Milnor fibres are isomorphic to the homology groups of a bouquet of spheres. This is followed by a discussion on real vanishing cycles which we define and then demonstrate that, under the validity of our assumptions, they uniquely determine the homology groups of the real Milnor fibres.


title: Acoustic jet based on acoustic metamaterial

abstract: In this paper, a novel gradient index (GRIN) acoustic metamaterial is proposed based on the concept of optical modified generalized Luneburg lens (MGLL). With the MGLL, double-foci and high energy density between the two foci can be achieved, which enables the realization of an ultra-long acoustic jet between the two foci. Compared to the generalized Luneburg lens with a single focus, which can only achieve short acoustic jet in the near field or ultra-long acoustic jet in the far field, the proposed MGLL can achieve an acoustic jet extending from the near field to the far field. This capability of the MGLL is theoretically and numerically demonstrated. Furthermore, acoustic metamaterial based MGLL is designed with lattice unit cells having a variable filling ratio. Numerical simulation results show that ultra-long acoustic jets can be achieved with a jet length of up to 30{\lambda} , covering both the near field and the far field.


title: The Ratios conjecture for real Dirichlet characters and multiple Dirichlet series

abstract: Conrey, Farmer and Zirnbauer introduced a recipe to find asymptotic formulas for the sum of ratios of products of shifted L-functions. These ratios conjectures are very powerful and can be used to determine many statistics of L-functions, including moments or statistics about the distribution of zeros. We consider the family of real Dirichlet characters, and use multiple Dirichlet series to prove the ratios conjectures with one shift in the numerator and denominator in some range of the shifts. This range can be improved by extending the family to include non-primitive characters. All of the results are conditional under the Generalized Riemann hypothesis. This extended range is good enough to enable us to compute an asymptotic formula for the sum of shifted logarithmic derivatives for some range of the shift.


title: TitaNet: Neural Model for speaker representation with 1D Depth-wise separable convolutions and global context

abstract: In this paper, we propose TitaNet, a novel neural network architecture for extracting speaker representations. We employ 1D depth-wise separable convolutions with Squeeze-and-Excitation (SE) layers with global context followed by channel attention based statistics pooling layer to map variable-length utterances to a fixed-length embedding (t-vector). TitaNet is a scalable architecture and achieves state-of-the-art performance on speaker verification task with an equal error rate (EER) of 0.68% on the VoxCeleb1 trial file and also on speaker diarization tasks with diarization error rate (DER) of 1.73% on AMI-MixHeadset, 1.99% on AMI-Lapel and 1.11% on CH109. Furthermore, we investigate various sizes of TitaNet and present a light TitaNet-S model with only 6M parameters that achieve near state-of-the-art results in diarization tasks.


title: Unsupervised Pose-Aware Part Decomposition for 3D Articulated Objects

abstract: Articulated objects exist widely in the real world. However, previous 3D generative methods for unsupervised part decomposition are unsuitable for such objects, because they assume a spatially fixed part location, resulting in inconsistent part parsing. In this paper, we propose PPD (unsupervised Pose-aware Part Decomposition) to address a novel setting that explicitly targets man-made articulated objects with mechanical joints, considering the part poses. We show that category-common prior learning for both part shapes and poses facilitates the unsupervised learning of (1) part decomposition with non-primitive-based implicit representation, and (2) part pose as joint parameters under single-frame shape supervision. We evaluate our method on synthetic and real datasets, and we show that it outperforms previous works in consistent part parsing of the articulated objects based on comparable part pose estimation performance to the supervised baseline.


title: Mobile 3D Printing Robot Simulation with Viscoelastic Fluids

abstract: The system design and algorithm development of mobile 3D printing robots need a realistic simulation. They require a mobile robot simulation platform to interoperate with a physics-based material simulation for handling interactions between the time-variant deformable 3D printing materials and other simulated rigid bodies in the environment, which is not available for roboticists yet. To bridge this gap and enable the real-time simulation of mobile 3D printing processes, we develop a simulation framework that includes particle-based viscoelastic fluid simulation and particle-to-mesh conversion in the widely adopted Gazebo robotics simulator, avoiding the bottlenecks of traditional additive manufacturing simulation approaches. This framework is the first of its kind that enables the simulation of robot arms or mobile manipulators together with viscoelastic fluids. The method is tested using various material properties and multiple collaborating robots to demonstrate its simulation ability for the robots to plan and control the printhead trajectories and to visually sense at the same time the printed fluid materials as a free-form mesh. The scalability as a function of available material particles in the simulation was also studied. A simulation with an average of 5 FPS was achieved on a regular desktop computer.


title: Robustness Evaluation of Transformer-based Form Field Extractors via Form Attacks

abstract: We propose a novel framework to evaluate the robustness of transformer-based form field extraction methods via form attacks. We introduce 14 novel form transformations to evaluate the vulnerability of the state-of-the-art field extractors against form attacks from both OCR level and form level, including OCR location/order rearrangement, form background manipulation and form field-value augmentation. We conduct robustness evaluation using real invoices and receipts, and perform comprehensive research analysis. Experimental results suggest that the evaluated models are very susceptible to form perturbations such as the variation of field-values (~15% drop in F1 score), the disarrangement of input text order(~15% drop in F1 score) and the disruption of the neighboring words of field-values(~10% drop in F1 score). Guided by the analysis, we make recommendations to improve the design of field extractors and the process of data collection.


title: Gated recurrent units and temporal convolutional network for multilabel classification

abstract: Multilabel learning tackles the problem of associating a sample with multiple class labels. This work proposes a new ensemble method for managing multilabel classification: the core of the proposed approach combines a set of gated recurrent units and temporal convolutional neural networks trained with variants of the Adam optimization approach. Multiple Adam variants, including novel one proposed here, are compared and tested; these variants are based on the difference between present and past gradients, with step size adjusted for each parameter. The proposed neural network approach is also combined with Incorporating Multiple Clustering Centers (IMCC), which further boosts classification performance. Multiple experiments on nine data sets representing a wide variety of multilabel tasks demonstrate the robustness of our best ensemble, which is shown to outperform the state-of-the-art. The MATLAB code for generating the best ensembles in the experimental section will be available at https://github.com/LorisNanni.


title: The Hubble PanCET program: Transit and Eclipse Spectroscopy of the Hot Jupiter WASP-74b

abstract: Planets are like children with each one being unique and special. A better understanding of their collective properties requires a deeper understanding of each planet. Here we add the transit and eclipse spectra of hot Jupiter WASP-74b into the ever growing dataset of exoplanet atmosphere spectral library. With six transits and three eclipses using the Hubble Space Telescope (HST) and Spitzer Space Telescope (\textit{Spitzer}), we present the most complete and precise atmospheric spectra of WASP-74b. We found no evidence for TiO/VO nor super-Rayleigh scattering reported in previous studies. The transit shows a muted water feature with strong Rayleigh scattering extending into the infrared. The eclipse shows a featureless blackbody-like WFC3/G141 spectrum and a weak methane absorption feature in the Spitzer 3.6 $\mu m$ band. Future James Webb Space Telescope (JWST) follow up observations are needed to confirm these results.


title: Wavelet Estimation for Factor Models with Time-Varying Loadings

abstract: We introduce a high-dimensional factor model with time-varying loadings. We cover both stationary and nonstationary factors to increase the possibilities of applications. We propose an estimation procedure based on two stages. First, we estimate common factors by principal components. In the second step, considering the estimated factors as observed, the time-varying loadings are estimated by an iterative generalized least squares procedure using wavelet functions. We investigate the finite sample features by some Monte Carlo simulations. Finally, we apply the model to study the Nord Pool power market's electricity prices and loads.


title: On Isolated Real Singularities II

abstract: In this article we apply the results in the article "On Isolated Real Singularities I" to the study of real $ADE$-singularities. We show that said results enables us to find the homology groups of the Milnor fibres of real $ADE$-singularities of curves. As a corollary we show how to deduce the same for $ADE$-singularities in higher codimension, giving an almost complete answer in this case. This is followed by a discussion of the classification problem of simple real singularities.


title: Moral-Trust Violation vs Performance-Trust Violation by a Robot: Which Hurts More?

abstract: In recent years a modern conceptualization of trust in human-robot interaction (HRI) was introduced by Ullman et al.\cite{ullman2018does}. This new conceptualization of trust suggested that trust between humans and robots is multidimensional, incorporating both performance aspects (i.e., similar to the trust in human-automation interaction) and moral aspects (i.e., similar to the trust in human-human interaction). But how does a robot violating each of these different aspects of trust affect human trust in a robot? How does trust in robots change when a robot commits a moral-trust violation compared to a performance-trust violation? And whether physiological signals have the potential to be used for assessing gain/loss of each of these two trust aspects in a human. We aim to design an experiment to study the effects of performance-trust violation and moral-trust violation separately in a search and rescue task. We want to see whether two failures of a robot with equal magnitudes would affect human trust differently if one failure is due to a performance-trust violation and the other is a moral-trust violation.