title: Federated Cross Learning for Medical Image Segmentation

abstract: Federated learning (FL) can collaboratively train deep learning models using isolated patient data owned by different hospitals for various clinical applications, including medical image segmentation. However, a major problem of FL is its performance degradation when dealing with data that are not independently and identically distributed (non-iid), which is often the case in medical images. In this paper, we first conduct a theoretical analysis on the FL algorithm to reveal the problem of model aggregation during training on non-iid data. With the insights gained through the analysis, we propose a simple yet effective method, federated cross learning (FedCross), to tackle this challenging problem. Unlike the conventional FL methods that combine multiple individually trained local models on a server node, our FedCross sequentially trains the global model across different clients in a round-robin manner, and thus the entire training procedure does not involve any model aggregation steps. To further improve its performance to be comparable with the centralized learning method, we combine the FedCross with an ensemble learning mechanism to compose a federated cross ensemble learning (FedCrossEns) method. Finally, we conduct extensive experiments using a set of public datasets. The experimental results show that the proposed FedCross training strategy outperforms the mainstream FL methods on non-iid data. In addition to improving the segmentation performance, our FedCrossEns can further provide a quantitative estimation of the model uncertainty, demonstrating the effectiveness and clinical significance of our designs. Source code is publicly available at https://github.com/DIAL-RPI/FedCross.


title: PDE-constrained shape registration to characterize biological growth and morphogenesis from imaging data

abstract: We propose a PDE-constrained shape registration algorithm that captures the deformation and growth of biological tissue from imaging data. Shape registration is the process of evaluating optimum alignment between pairs of geometries through a spatial transformation function. We start from our previously reported work, which uses 3D tensor product B-spline basis functions to interpolate 3D space. Here, the movement of the B-spline control points, composed with an implicit function describing the shape of the tissue, yields the total deformation gradient field. The deformation gradient is then split into growth and elastic contributions. The growth tensor captures addition of mass, i.e. growth, and evolves according to a constitutive equation which is usually a function of the elastic deformation. Stress is generated in the material due to the elastic component of the deformation alone. The result of the registration is obtained by minimizing a total energy functional which includes: a distance measure reflecting similarity between the shapes, and the total elastic energy accounting for the growth of the tissue. We apply the proposed shape registration framework to study zebrafish embryo epiboly process and tissue expansion during skin reconstruction surgery. We anticipate that our PDE-constrained shape registration method will improve our understanding of biological and medical problems in which tissues undergo extreme deformations over time.


title: The unitary dependence theory for understanding quantum circuits and states

abstract: We develop a unitary dependence theory to characterize the behaviors of quantum circuits and states in terms of how quantum gates manipulate qubits and determine their measurement probabilities. A qubit has dependence on a 1-qubit unitary gate if its measurement probabilities depend on the parameters of the gate. A 1-qubit unitary creates such a dependence onto the target qubit, and a CNOT gate copies all the dependences from the control qubit to the target qubit. The complete dependence picture of the output state details the connections qubits may have when being manipulated or measured. Compared to the conventional entanglement description of quantum circuits and states, the dependence picture offers more practical information, easier generalization to many-qubit systems, and better robustness upon partitioning of the system. The unitary dependence theory is a useful tool for understanding quantum circuits and states that is based on the practical ideas of how manipulations and measurements are affected by elementary gates.


title: A Comprehensive Framework based on Dynamic and Steady State Analysis to Evaluate Power System Resiliency to Extreme Weather Conditions

abstract: Power system robustness against high impact low probability events is becoming a major concern. To depict distinct phases of a system response during these disturbances, an irregular polygon model is derived from the conventional trapezoid model and the model is analytically investigated for transmission system performance, based on which resiliency metrics are developed for the same. Furthermore, the system resiliency to windstorm is evaluated on the IEEE reliability test system (RTS) by performing steady state and dynamic security assessment incorporating protection modelling and corrective action schemes using the software Power System Simulator for Engineering (PSS/E). Based on the results of steady state and dynamic analysis, modified resiliency metrics are quantified. Finally, this paper quantifies the interdependency of operational and infrastructure resiliency as they cannot be considered as discrete characteristics of the system.


title: $\mathcal{R}^2$ Quantum Corrected Scalar Field Inflation

abstract: String theory enjoys an elevated role among quantum gravity theories, since it seems to be the most consistent UV completion of general relativity and the Standard Model. However, it is hard to verify the existence of this underlying theory on terrestrial accelerators. One way to probe string theory is to study its imprints on the low-energy effective inflationary Lagrangian, which are quantified in terms of high energy correction terms. It is highly likely, thus, to find higher order curvature terms combined with string moduli, that is scalar fields, since both these types of interactions and matter fields appear in string theory. In this work we aim to stress the probability that the inflationary dynamics are controlled by the synergy of scalar fields and higher order curvature terms. Specifically, we shall consider a well motivated quantum corrected canonical scalar field theory, with the quantum corrections being of the $\mathcal{R}^2$ type. The reason for choosing minimally coupled scalar theory is basically because if scalar fields are evaluated in their vacuum configuration, they will either be minimally coupled or conformally coupled. Here we choose the former case, and the whole study shall be performed in the string frame (Jordan frame), in contrast to similar studies in the literature where the Einstein frame two scalar theory is considered. We derive the field equations of the quantum-corrected theory at leading order and we present the form the slow-roll indices obtain for the quantum corrected theory. We exemplify our theoretical framework by using the quadratic inflation model, and as we show, the $\mathcal{R}^2$ quantum corrected quadratic inflation model produces a viable inflationary phenomenology, in contrast with the simple quadratic inflation model.


title: Improving Voice Trigger Detection with Metric Learning

abstract: Voice trigger detection is an important task, which enables activating a voice assistant when a target user speaks a keyword phrase. A detector is typically trained on speech data independent of speaker information and used for the voice trigger detection task. However, such a speaker independent voice trigger detector typically suffers from performance degradation on speech from underrepresented groups, such as accented speakers. In this work, we propose a novel voice trigger detector that can use a small number of utterances from a target speaker to improve detection accuracy. Our proposed model employs an encoder-decoder architecture. While the encoder performs speaker independent voice trigger detection, similar to the conventional detector, the decoder predicts a personalized embedding for each utterance. A personalized voice trigger score is then obtained as a similarity score between the embeddings of enrollment utterances and a test utterance. The personalized embedding allows adapting to target speaker's speech when computing the voice trigger score, hence improving voice trigger detection accuracy. Experimental results show that the proposed approach achieves a 38% relative reduction in a false rejection rate (FRR) compared to a baseline speaker independent voice trigger model.


title: Relations with a fixed interval exchange transformation

abstract: We study the group of all interval exchange transformations (IETs). We show that for every IET $S$, there exists a dense open set of admissible IETs that share a relation with $S$. This is an extension of a result published by Dahmani, Fujiwara and Guirardel in 2013: the group generated by a generic pair of elements of IET([0;1[) is not free (assuming a suitable condition on the underlying permutation). Key words: interval exchange transformations, free group of rank 2, interval exchange transformations with flips.


title: An answer to a question of J.W. Cannon and S.G. Wayment

abstract: Solving R.J. Daverman's problem, V. Krushkal described sticky Cantor sets in $\mathbb R^N$ for $N\geqslant 4$; these sets cannot be isotoped off of itself by small ambient isotopies. Using Krushkal sets, we answer a question of J.W. Cannon and S.G. Wayment (1970). Namely, for $N\geqslant 4$ we construct compacta $X\subset \mathbb R^N$ with the following two properties: some sequence $\{ X_i \subset \mathbb R^N \setminus X, \ i\in\mathbb N \}$ converges homeomorphically to $X$, but there is no uncountable family of pairwise disjoint sets $Y_\alpha \subset \mathbb R^N$ each of which is embedded equivalently to $X$.


title: Robust Active Visual Perching with Quadrotors on Inclined Surfaces

abstract: Autonomous Micro Aerial Vehicles are deployed for a variety tasks including surveillance and monitoring. Perching and staring allow the vehicle to monitor targets without flying, saving battery power and increasing the overall mission time without the need to frequently replace batteries. This paper addresses the Active Visual Perching (AVP) control problem to autonomously perch on inclined surfaces up to $90^\circ$. Our approach generates dynamically feasible trajectories to navigate and perch on a desired target location, while taking into account actuator and Field of View (FoV) constraints. By replanning in mid-flight, we take advantage of more accurate target localization increasing the perching maneuver's robustness to target localization or control errors. We leverage the Karush-Kuhn-Tucker (KKT) conditions to identify the compatibility between planning objectives and the visual sensing constraint during the planned maneuver. Furthermore, we experimentally identify the corresponding boundary conditions that maximizes the spatio-temporal target visibility during the perching maneuver. The proposed approach works on-board in real-time with significant computational constraints relying exclusively on cameras and an Inertial Measurement Unit (IMU). Experimental results validate the proposed approach and shows the higher success rate as well as increased target interception precision and accuracy with respect to a one-shot planning approach, while still retaining aggressive capabilities with flight envelopes that include large excursions from the hover position on inclined surfaces up to 90$^\circ$, angular speeds up to 750~deg/s, and accelerations up to 10~m/s$^2$.


title: Deviatoric Stress Driven Transient Melting Below the Glass Transition Temperature in Shocked Polymers

abstract: The relaxation of polymers around and below their glass transition temperature is governed by a range of correlated unit processes with a wide range of timescales. The fast deformation rates of shock loading can negate a significant fraction of these processes resulting in the dynamical glass transition in rubbers. In this letter we report the inverse, a transient melting of glassy polymer under shock loading. The large deviatoric stresses near the shock front induce fast transitions in backbone dihedral angles and a stress relaxation characteristic of polymer melts. This is followed by the slower relaxation expected for glasses.


title: Electrostatic Brakes Enable Individual Joint Control of Underactuated, Highly Articulated Robots

abstract: Highly articulated organisms serve as blueprints for incredibly dexterous mechanisms, but building similarly capable robotic counterparts has been hindered by the difficulties of developing electromechanical actuators with both the high strength and compactness of biological muscle. We develop a stackable electrostatic brake that has comparable specific tension and weight to that of muscles and integrate it into a robotic joint. Compared to electromechanical motors, our brake-equipped joint is four times lighter and one thousand times more power efficient while exerting similar holding torques. Our joint design enables a ten degree-of-freedom robot equipped with only one motor to manipulate multiple objects simultaneously. We also show that the use of brakes allows a two-fingered robot to perform in-hand re-positioning of an object 45% more quickly and with 53% lower positioning error than without brakes. Relative to fully actuated robots, our findings suggest that robots equipped with such electrostatic brakes will have lower weight, volume, and power consumption yet retain the ability to reach arbitrary joint configurations.


title: Less is More: Fairness in Wide-Area Proof-of-Work Blockchain Networks

abstract: Blockchain is rapidly emerging as an important class of network application, with a unique set of trust, security and transparency properties. In a blockchain system, participants record and update the `server-side' state of an application as blocks of a replicated, immutable ledger using a consensus protocol over the Internet. Mining blocks has become lucrative in recent years; e.g., a miner receives over USD 200,000 per mined block in Bitcoin today. A key factor affecting mining rewards, is the latency of broadcasting blocks over the network. In this paper, we consider the problem of topology design for optimizing mining rewards in a wide-area blockchain network that uses a Proof-of-Work protocol for consensus. Contrary to general wisdom that a faster network is always better for miners, we show a counter intuitive result where a slower network is actually beneficial to some miners. This is because competing miners must choose neighbors that not only decrease their own latency to others, but also ensure that the latency between other miners do not decrease because of itself. We formalize this problem, and provide both theoretical analysis and experimental results to support our claim.


title: Quadratic Approximation Manifold for Mitigating the Kolmogorov Barrier in Nonlinear Projection-Based Model Order Reduction

abstract: A quadratic approximation manifold is presented for performing nonlinear, projection-based, model order reduction (PMOR). It constitutes a departure from the traditional affine subspace approximation that is aimed at mitigating the Kolmogorov barrier for nonlinear PMOR, particularly for convection-dominated transport problems. It builds on the data-driven approach underlying the traditional construction of projection-based reduced-order models (PROMs); is application-independent; is linearization-free; and therefore is robust for highly nonlinear problems. Most importantly, this approximation leads to quadratic PROMs that deliver the same accuracy as their traditional counterparts using however a much smaller dimension -- typically, $n_2 \sim \sqrt n_1$, where $n_2$ and $n_1$ denote the dimensions of the quadratic and traditional PROMs, respectively. The computational advantages of the proposed high-order approach to nonlinear PMOR over the traditional approach are highlighted for the detached-eddy simulation-based prediction of the Ahmed body turbulent wake flow, which is a popular CFD benchmark problem in the automotive industry. For a fixed accuracy level, these advantages include: a reduction of the total offline computational cost by a factor greater than five; a reduction of its online wall clock time by a factor greater than 32; and a reduction of the wall clock time of the underlying high-dimensional model by a factor greater than two orders of magnitude.


title: Local connectedness of boundaries for relatively hyperbolic groups

abstract: Let $(\Gamma,\mathbb{P})$ be a relatively hyperbolic group pair that is relatively one ended. Then the Bowditch boundary of $(\Gamma,\mathbb{P})$ is locally connected. Bowditch previously established this conclusion under the additional assumption that all peripheral subgroups are finitely presented, either one or two ended, and contain no infinite torsion subgroups. We remove these restrictions; we make no restriction on the cardinality of $\Gamma$ and no restriction on the peripheral subgroups $P \in \mathbb{P}$.


title: BeeTS: Smart Distributed Sensor Tuple Spaces combined with Agents using Bluetooth and IP Broadcasting

abstract: Most Internet-of-Things (IoT) devices and smart sensors are connected via the Internet using IP communication driectly accessed by a server that collect sensor information periodically or event-based. Although, Internet access is widely available, there are places that are not covered and WLAN and mobile cell communication requires a descent amount of power not always available. Finally, the spatial context (the environment in which the sensor or devices is situated) is not considered (or lost) by Internet connectivity. In this work, smart devices communicate connectionless and ad-hoc by using low-energy Bluetooth broadcasting available in any smartphone and in most embedded computers, e.g., the Raspberry PI devices. Bi-directional connectionless communication is established via the advertisements and scanning modes. The communication nodes can exchange data via functional tuples using a tuple space service on each node. Tuple space access is performed by simple evenat-based agents. Mobile devices act as tuple carriers that can carry tuples between different locations. Additionally, UDP-based Intranet communication can be used to access tuple spaces on a wider spatial range. The Bluetooth Low Energy Tuple Space (BeeTS) service enables opportunistic, ad-hoc and loosely coupled device communication with a spatial context.


title: Extremals on Lie groups with asymmetric polyhedral Finsler structures

abstract: In this work we study extremals on Lie groups $G$ endowed with a left invariant polyhedral Finsler structure. We use the Pontryagin's Maximal Principle (PMP) to find curves on the cotangent bundle of the group, such that its projections on $G$ are extremals. Let $\mathfrak g$ and $\mathfrak g^\ast$ be the Lie algebra of $G$ and its dual space respectively. We represent this problem as a control system $\mathfrak a^\prime (t)= -\mathrm{ad}^\ast(u(t))(\mathfrak a(t))$ of Euler-Arnold type equation, where $u(t)$ is a measurable control in the unit sphere of $\mathfrak g$ and $\mathfrak a(t)$ is an absolutely continuous curve in $\mathfrak g^\ast$. A solution $(u(t), \mathfrak a(t))$ of this control system is a Pontryagin extremal and $\mathfrak a(t)$ is its vertical part. In this work we show that for a fixed vertical part of the Pontryagin extremal $\mathfrak a(t)$, the uniqueness of $u(t)$ such that $(u(t),\mathfrak a(t))$ is a Pontryagin extremal can be studied through an asymptotic curvature of $\mathfrak a(t)$.


title: Aggregating human judgment probabilistic predictions of COVID-19 transmission, burden, and preventative measures

abstract: Aggregated human judgment forecasts for COVID-19 targets of public health importance are accurate, often outperforming computational models. Our work shows aggregated human judgment forecasts for infectious agents are timely, accurate, and adaptable, and can be used as tool to aid public health decision making during outbreaks.


title: The Extended and Asymmetric Extended Krylov Subspace in Moment-Matching-Based Order Reduction of Large Circuit Models

abstract: The rapid growth of circuit complexity has rendered Model Order Reduction (MOR) a key enabler for the efficient simulation of large circuit models. MOR techniques based on moment-matching are well established due to their simplicity and computational performance in the reduction process. However, moment-matching methods based on the ordinary Krylov subspace are usually inadequate to accurately approximate the original circuit behavior, and at the same time do not produce reduced-order models as compact as needed. In this paper, we present a moment-matching method which utilizes the extended and the asymmetric extended Krylov subspace (EKS and AEKS), while it allows the parallel computation of the transfer function in order to deal with circuits that have many terminals. The proposed method can handle large-scale regular and singular circuits and generate accurate and efficient reduced-order models for circuit simulation. Experimental results on industrial IBM power grids demonstrate that the EKS method can achieve an error reduction up to 85.28% over a standard Krylov subspace method, while the AEKS method greatly reduces the runtime of EKS, introducing a negligible overhead in the reduction error.


title: Hausdorff limits of submanifolds of symplectic and contact manifolds

abstract: We study sequences of immersions respecting bounds coming from Riemannian geometry and apply the ensuing results to the study of sequences of submanifolds of symplectic and contact manifolds. This allows us to study the subtle interaction between the Hausdorff metric and the Lagrangian Hofer and spectral metrics. In the process, we get proofs of metric versions of the nearby Lagrangian conjecture and of the Viterbo conjecture on the spectral norm. We also get $C^0$-rigidity results for a vast class of important submanifolds of symplectic and contact manifolds in the presence of Riemannian bounds. Likewise, we get a Lagrangian generalization of results of Hofer and Viterbo on simultaneous $C^0$ and Hofer/spectral limits~ -- ~even without any such bounds.


title: Generalized Numerical Radius Inequalities for Schatten p-Norms

abstract: In this paper, we present various inequalities for generalized numerical radius of $2 \times 2$ block matrices for Schatten p-norm. Moreover, we give a refinement of the triangle inequality for the Schatten p-generalized numerical radius.


title: Combining Spectral and Self-Supervised Features for Low Resource Speech Recognition and Translation

abstract: Self-Supervised Learning (SSL) models have been successfully applied in various deep learning-based speech tasks, particularly those with a limited amount of data. However, the quality of SSL representations depends highly on the relatedness between the SSL training domain(s) and the target data domain. On the contrary, spectral feature (SF) extractors such as log Mel-filterbanks are hand-crafted non-learnable components, and could be more robust to domain shifts. The present work examines the assumption that combining non-learnable SF extractors to SSL models is an effective approach to low resource speech tasks. We propose a learnable and interpretable framework to combine SF and SSL representations. The proposed framework outperforms significantly both baseline and SSL models on Automatic Speech Recognition (ASR) and Speech Translation (ST) tasks on three low resource datasets. We additionally design a mixture of experts based combination model. This last model reveals that the relative contribution of SSL models over conventional SF extractors is very small in case of domain mismatch between SSL training set and the target language data.


title: Configuration Path Control

abstract: Reinforcement learning methods often produce brittle policies -- policies that perform well during training, but generalize poorly beyond their direct training experience, thus becoming unstable under small disturbances. To address this issue, we propose a method for stabilizing a control policy in the space of configuration paths. It is applied post-training and relies purely on the data produced during training, as well as on an instantaneous control-matrix estimation. The approach is evaluated empirically on a planar bipedal walker subjected to a variety of perturbations. The control policies obtained via reinforcement learning are compared against their stabilized counterparts. Across different experiments, we find two- to four-fold increase in stability, when measured in terms of the perturbation amplitudes. We also provide a zero-dynamics interpretation of our approach.


title: Equivalence of coupled parametric oscillator dynamics to Lagrange multiplier primal-dual optimization

abstract: There has been a recent surge of interest in physics-based solvers for combinatorial optimization problems. We present a dynamical solver for the Ising problem that is comprised of a network of coupled parametric oscillators and show that it implements Lagrange multiplier constrained optimization. We show that the pump depletion effect, which is intrinsic to parametric oscillators, enforces binary constraints and enables the system's continuous analog variables to converge to the optimal binary solutions to the optimization problem. Moreover, there is an exact correspondence between the equations of motion for the coupled oscillators and the update rules in the primal-dual method of Lagrange multipliers. Though our analysis is performed using electrical LC oscillators, it can be generalized to any system of coupled parametric oscillators. We simulate the dynamics of the coupled oscillator system and demonstrate that the performance of the solver on a set of benchmark problems is comparable to the best-known results obtained by digital algorithms in the literature.


title: "Does it come in black?" CLIP-like models are zero-shot recommenders

abstract: Product discovery is a crucial component for online shopping. However, item-to-item recommendations today do not allow users to explore changes along selected dimensions: given a query item, can a model suggest something similar but in a different color? We consider item recommendations of the comparative nature (e.g. "something darker") and show how CLIP-based models can support this use case in a zero-shot manner. Leveraging a large model built for fashion, we introduce GradREC and its industry potential, and offer a first rounded assessment of its strength and weaknesses.


title: Generative Enriched Sequential Learning (ESL) Approach for Molecular Design via Augmented Domain Knowledge

abstract: Deploying generative machine learning techniques to generate novel chemical structures based on molecular fingerprint representation has been well established in molecular design. Typically, sequential learning (SL) schemes such as hidden Markov models (HMM) and, more recently, in the sequential deep learning context, recurrent neural network (RNN) and long short-term memory (LSTM) were used extensively as generative models to discover unprecedented molecules. To this end, emission probability between two states of atoms plays a central role without considering specific chemical or physical properties. Lack of supervised domain knowledge can mislead the learning procedure to be relatively biased to the prevalent molecules observed in the training data that are not necessarily of interest. We alleviated this drawback by augmenting the training data with domain knowledge, e.g. quantitative estimates of the drug-likeness score (QEDs). As such, our experiments demonstrated that with this subtle trick called enriched sequential learning (ESL), specific patterns of particular interest can be learnt better, which led to generating de novo molecules with ameliorated QEDs.


title: Artificial SA-I, RA-I and RA-II/Vibrotactile Afferents for Tactile Sensing of Texture

abstract: Robot touch can benefit from how humans perceive tactile textural information, from the stimulation mode to which tactile channels respond, then the tactile cues and encoding. Using a soft biomimetic tactile sensor (the TacTip) based on the physiology of the dermal-epidermal boundary, we construct two biomimetic tactile channels based on slowly-adapting SA-I and rapidly-adapting RA-I afferents, and introduce an additional sub-modality for vibrotactile information with an embedded microphone interpreted as an artificial RA-II channel. These artificial tactile channels are stimulated dynamically with a set of 13 artificial rigid textures comprising raised-bump patterns on a rotating drum that vary systematically in roughness. Methods employing spatial, spatio-temporal and temporal codes are assessed for texture classification insensitive to stimulation speed. We find: (i) spatially-encoded frictional cues provide a salient representation of texture; (ii) a simple transformation of spatial tactile features to model natural afferent responses improves the temporal coding; and (iii) the harmonic structure of induced vibrations provides a pertinent code for speed-invariant texture classification. Just as human touch relies on an interplay between slowly-adapting (SA-I), rapidly-adapting (RA-I) and vibrotactile (RA-II) channels, this tripartite structure may be needed for future robot applications with human-like dexterity, from prosthetics to materials testing, handling and manipulation.


title: Local lens rigidity for manifolds of Anosov type

abstract: The lens data of a Riemannian manifold with boundary is the collection of lengths of geodesics with endpoints on the boundary together with their incoming and outgoing vectors. We show that negatively-curved Riemannian manifolds with strictly convex boundary are locally lens rigid in the following sense: if $g_0$ is such a metric, then any metric $g$ sufficiently close to $g_0$ and with same lens data is isometric to $g_0$, up to a boundary-preserving diffeomorphism. More generally, we consider the same problem for a wider class of metrics with strictly convex boundary, called metrics of Anosov type. We prove that the same rigidity result holds within that class in dimension $2$ and in any dimension, further assuming that the curvature is non-positive.


title: Method of Winsorized Moments for Robust Fitting of Truncated and Censored Lognormal Distributions

abstract: When constructing parametric models to predict the cost of future claims, several important details have to be taken into account: (i) models should be designed to accommodate deductibles, policy limits, and coinsurance factors, (ii) parameters should be estimated robustly to control the influence of outliers on model predictions, and (iii) all point predictions should be augmented with estimates of their uncertainty. The methodology proposed in this paper provides a framework for addressing all these aspects simultaneously. Using payment-per-payment and payment-per-loss variables, we construct the adaptive version of method of winsorized moments (MWM) estimators for the parameters of truncated and censored lognormal distribution. Further, the asymptotic distributional properties of this approach are derived and compared with those of the maximum likelihood estimator (MLE) and method of trimmed moments (MTM) estimators. The latter being a primary competitor to MWM. Moreover, the theoretical results are validated with extensive simulation studies and risk measure sensitivity analysis. Finally, practical performance of these methods is illustrated using the well-studied data set of 1500 U.S. indemnity losses. With this real data set, it is also demonstrated that the composite models do not provide much improvement in the quality of predictive models compared to a stand-alone fitted distribution specially for truncated and censored sample data.


title: Gaussian matrix product states cannot efficiently describe critical systems

abstract: Gaussian fermionic matrix product states (GfMPS) form a class of ansatz quantum states for 1d systems of noninteracting fermions. We show, for a simple critical model of free hopping fermions, that: (i) any GfMPS approximation to its ground state must have bond dimension scaling superpolynomially with the system size, whereas (ii) there exists a non-Gaussian fermionic MPS approximation to this state with polynomial bond dimension. This proves that, in general, imposing Gaussianity at the level of the tensor network may significantly alter its capability to efficiently approximate critical Gaussian states. We also provide numerical evidence that the required bond dimension is subexponential, and thus can still be simulated with moderate resources.


title: Parametric Channel Model Estimation for Large Intelligent Surface-Based Transceiver-assisted Communication System

abstract: The number of connected mobile devices and the amount of data traffic through these devices are expected to grow many-fold in future communication networks. To support the scale of this huge data traffic, more and more base stations and wireless terminals are required to be deployed in existing networks. Nevertheless, practically deploying a large number of base stations having massive antenna arrays will substantially increase the hardware cost and power consumption of the network. A promising approach for enhancing the coverage and rate of wireless communication systems is the large intelligent surface-based transceiver (LISBT), which uses a spatially continuous surface for signal transmission and receiving. A typical LIS consists of a planar array having a large number of reflecting metamaterial elements (e.g., low-cost printed dipoles), each of which could act as a phase shift. It is also considered to be a cost effective and energy efficient solution. Accurate channel state information (CSI) in LISBT-assisted wireless communication systems is critical for achieving these goals. In this paper, we propose a channel estimation scheme based on the physical parameters of the system. that requires only five pilot signals to perfectly estimate the channel parameters assuming there is no noise at the receiver. In the presence of noise, we propose an iterative estimation algorithm that decreases the channel estimation error due to noise. The proposed scheme's training overhead and computational cost do not grow with the number of antennas, unlike previous work on enormous multiple-input multiple-output (MIMO). The channel estimate scheme based on the physical properties of the Large intelligent surface-based transceiver (LISBT)-assisted wireless communication systems is the subject of our future study.


title: Learning Optimal K-space Acquisition and Reconstruction using Physics-Informed Neural Networks

abstract: The inherent slow imaging speed of Magnetic Resonance Image (MRI) has spurred the development of various acceleration methods, typically through heuristically undersampling the MRI measurement domain known as k-space. Recently, deep neural networks have been applied to reconstruct undersampled k-space data and have shown improved reconstruction performance. While most of these methods focus on designing novel reconstruction networks or new training strategies for a given undersampling pattern, e.g., Cartesian undersampling or Non-Cartesian sampling, to date, there is limited research aiming to learn and optimize k-space sampling strategies using deep neural networks. This work proposes a novel optimization framework to learn k-space sampling trajectories by considering it as an Ordinary Differential Equation (ODE) problem that can be solved using neural ODE. In particular, the sampling of k-space data is framed as a dynamic system, in which neural ODE is formulated to approximate the system with additional constraints on MRI physics. In addition, we have also demonstrated that trajectory optimization and image reconstruction can be learned collaboratively for improved imaging efficiency and reconstruction performance. Experiments were conducted on different in-vivo datasets (e.g., brain and knee images) acquired with different sequences. Initial results have shown that our proposed method can generate better image quality in accelerated MRI than conventional undersampling schemes in Cartesian and Non-Cartesian acquisitions.


title: Adversarial Robustness through the Lens of Convolutional Filters

abstract: Deep learning models are intrinsically sensitive to distribution shifts in the input data. In particular, small, barely perceivable perturbations to the input data can force models to make wrong predictions with high confidence. An common defense mechanism is regularization through adversarial training which injects worst-case perturbations back into training to strengthen the decision boundaries, and to reduce overfitting. In this context, we perform an investigation of 3x3 convolution filters that form in adversarially-trained models. Filters are extracted from 71 public models of the linf-RobustBench CIFAR-10/100 and ImageNet1k leaderboard and compared to filters extracted from models built on the same architectures but trained without robust regularization. We observe that adversarially-robust models appear to form more diverse, less sparse, and more orthogonal convolution filters than their normal counterparts. The largest differences between robust and normal models are found in the deepest layers, and the very first convolution layer, which consistently and predominantly forms filters that can partially eliminate perturbations, irrespective of the architecture. Data & Project website: https://github.com/paulgavrikov/cvpr22w_RobustnessThroughTheLens


title: PDNPulse: Sensing PCB Anomaly with the Intrinsic Power Delivery Network

abstract: The ubiquitous presence of printed circuit boards (PCBs) in modern electronic systems and embedded devices makes their integrity a top security concern. To take advantage of the economies of scale, today's PCB design and manufacturing are often performed by suppliers around the globe, exposing them to many security vulnerabilities along the segmented PCB supply chain. Moreover, the increasing complexity of the PCB designs also leaves ample room for numerous sneaky board-level attacks to be implemented throughout each stage of a PCB's lifetime, threatening many electronic devices. In this paper, we propose PDNPulse, a power delivery network (PDN) based PCB anomaly detection framework that can identify a wide spectrum of board-level malicious modifications. PDNPulse leverages the fact that the PDN's characteristics are inevitably affected by modifications to the PCB, no matter how minuscule. By detecting changes to the PDN impedance profile and using the Frechet distance-based anomaly detection algorithms, PDNPulse can robustly and successfully discern malicious modifications across the system. Using PDNPulse, we conduct extensive experiments on seven commercial-off-the-shelf PCBs, covering different design scales, different threat models, and seven different anomaly types. The results confirm that PDNPulse creates an effective security asymmetry between attack and defense.


title: Considerations for Multilingual Wikipedia Research

abstract: English Wikipedia has long been an important data source for much research and natural language machine learning modeling. The growth of non-English language editions of Wikipedia, greater computational resources, and calls for equity in the performance of language and multimodal models have led to the inclusion of many more language editions of Wikipedia in datasets and models. Building better multilingual and multimodal models requires more than just access to expanded datasets; it also requires a better understanding of what is in the data and how this content was generated. This paper seeks to provide some background to help researchers think about what differences might arise between different language editions of Wikipedia and how that might affect their models. It details three major ways in which content differences between language editions arise (local context, community and governance, and technology) and recommendations for good practices when using multilingual and multimodal data for research and modeling.


title: From implicit learning to explicit representations

abstract: Using the reservoir computing framework, we demonstrate how a simple model can solve an alternation task without an explicit working memory. To do so, a simple bot equipped with sensors navigates inside a 8-shaped maze and turns alternatively right and left at the same intersection in the maze. The analysis of the model's internal activity reveals that the memory is actually encoded inside the dynamics of the network. However, such dynamic working memory is not accessible such as to bias the behavior into one of the two attractors (left and right). To do so, external cues are fed to the bot such that it can follow arbitrary sequences, instructed by the cue. This model highlights the idea that procedural learning and its internal representation can be dissociated. If the former allows to produce behavior, it is not sufficient to allow for an explicit and fine-grained manipulation.


title: Training-Free Robust Multimodal Learning via Sample-Wise Jacobian Regularization

abstract: Multimodal fusion emerges as an appealing technique to improve model performances on many tasks. Nevertheless, the robustness of such fusion methods is rarely involved in the present literature. In this paper, we propose a training-free robust late-fusion method by exploiting conditional independence assumption and Jacobian regularization. Our key is to minimize the Frobenius norm of a Jacobian matrix, where the resulting optimization problem is relaxed to a tractable Sylvester equation. Furthermore, we provide a theoretical error bound of our method and some insights about the function of the extra modality. Several numerical experiments on AV-MNIST, RAVDESS, and VGGsound demonstrate the efficacy of our method under both adversarial attacks and random corruptions.


title: Massive quarks in NLO dipole factorization for DIS: Transverse photon

abstract: We calculate the light cone wave functions for the QCD Fock components in a transverse virtual photon necessary for applications at next-to-leading order in the QCD coupling, including quark masses. We present a detailed calculation of both the one loop wave function for the quark-antiquark Fock component and the tree level wave function for the quark-antiquark-gluon Fock component. The quark masses are renormalized in the pole mass scheme, satisfying constraints from the requirement of Lorentz invariance. In particular the quark Pauli form factor at NLO is recovered from the on-shell limit of the quark-antiquark Fock component. We use our result to calculate the next-to-leading order correction to the high energy deep inelastic scattering (DIS) transverse structure function on a dense target in the dipole factorization framework. Together with our earlier result for longitudinal photons, this completes the calculation of the total deep inelastic scattering cross section in the dipole picture with massive quarks at next-to-leading order, enabling a comparison with experimental data.


title: Convex polytopes in restricted point sets in $\mathbb{R}^d$

abstract: For a finite point set $P \subset \mathbb{R}^d$, denote by $\text{diam}(P)$ the ratio of the largest to the smallest distances between pairs of points in $P$. Let $c_{d, \alpha}(n)$ be the largest integer $c$ such that any $n$-point set $P \subset \mathbb{R}^d$ in general position, satisfying $\text{diam}(P) < \alpha\sqrt[d]{n}$, contains an $c$-point convex independent subset. We determine the asymptotics of $c_{d, \alpha}(n)$ as $n \to \infty$ by showing the existence of positive constants $\beta = \beta(d, \alpha)$ and $\gamma = \gamma(d)$ such that $\beta n^{\frac{d-1}{d+1}} \le c_{d, \alpha}(n) \le \gamma n^{\frac{d-1}{d+1}}$ for $\alpha\geq 2$.


title: Discovering and forecasting extreme events via active learning in neural operators

abstract: Extreme events in society and nature, such as pandemic spikes, rogue waves, or structural failures, can have catastrophic consequences. Characterizing extremes is difficult as they occur rarely, arise from seemingly benign conditions, and belong to complex and often unknown infinite-dimensional systems. Such challenges render attempts at characterizing them as moot. We address each of these difficulties by combining novel training schemes in Bayesian experimental design (BED) with an ensemble of deep neural operators (DNOs). This model-agnostic framework pairs a BED scheme that actively selects data for quantifying extreme events with an ensemble of DNOs that approximate infinite-dimensional nonlinear operators. We find that not only does this framework clearly beat Gaussian processes (GPs) but that 1) shallow ensembles of just two members perform best; 2) extremes are uncovered regardless of the state of initial data (i.e. with or without extremes); 3) our method eliminates "double-descent" phenomena; 4) the use of batches of suboptimal acquisition points compared to step-by-step global optima does not hinder BED performance; and 5) Monte Carlo acquisition outperforms standard optimizers in high-dimensions. Together these conclusions form the foundation of an AI-assisted experimental infrastructure that can efficiently infer and pinpoint critical situations across many domains, from physical to societal systems.


title: Pareto-optimal clustering with the primal deterministic information bottleneck

abstract: At the heart of both lossy compression and clustering is a trade-off between the fidelity and size of the learned representation. Our goal is to map out and study the Pareto frontier that quantifies this trade-off. We focus on the optimization of the Deterministic Information Bottleneck (DIB) objective over the space of hard clusterings. To this end, we introduce the primal DIB problem, which we show results in a much richer frontier than its previously studied Lagrangian relaxation when optimized over discrete search spaces. We present an algorithm for mapping out the Pareto frontier of the primal DIB trade-off that is also applicable to other two-objective clustering problems. We study general properties of the Pareto frontier, and we give both analytic and numerical evidence for logarithmic sparsity of the frontier in general. We provide evidence that our algorithm has polynomial scaling despite the super-exponential search space, and additionally, we propose a modification to the algorithm that can be used where sampling noise is expected to be significant. Finally, we use our algorithm to map the DIB frontier of three different tasks: compressing the English alphabet, extracting informative color classes from natural images, and compressing a group theory-inspired dataset, revealing interesting features of frontier, and demonstrating how the structure of the frontier can be used for model selection with a focus on points previously hidden by the cloak of the convex hull.


title: Motion Correction via Locally Linear Embedding for Helical Photon-counting CT

abstract: X-ray photon-counting detector (PCD) offers low noise, high resolution, and spectral characterization, representing a next generation of CT and enabling new biomedical applications. It is well known that involuntary patient motion may induce image artifacts with conventional CT scanning, and this problem becomes more serious with PCD due to its high detector pitch and extended scan time. Furthermore, PCD often comes with a substantial number of bad pixels, making analytic image reconstruction challenging and ruling out state-of-the-art motion correction methods that are based on analytical reconstruction. In this paper, we extend our previous locally linear embedding (LLE) cone-beam motion correction method to the helical scanning geometry, which is especially desirable given the high cost of large-area PCD. In addition to our adaption of LLE-based parametric searching to helical cone-beam photon-counting CT geometry, we introduce an unreliable-volume mask to improve the motion estimation accuracy and perform incremental updating on gradually refined sampling grids for optimization of both accuracy and efficiency. Our numerical results demonstrate that our method reduces the estimation errors near the two longitudinal ends of the reconstructed volume and overall image quality. The experimental results on clinical photon-counting scans of the patient extremities show significant resolution improvement after motion correction using our method, which reveals subtle fine structures previously hidden under motion blurring and artifacts.


title: Text2LIVE: Text-Driven Layered Image and Video Editing

abstract: We present a method for zero-shot, text-driven appearance manipulation in natural images and videos. Given an input image or video and a target text prompt, our goal is to edit the appearance of existing objects (e.g., object's texture) or augment the scene with visual effects (e.g., smoke, fire) in a semantically meaningful manner. We train a generator using an internal dataset of training examples, extracted from a single input (image or video and target text prompt), while leveraging an external pre-trained CLIP model to establish our losses. Rather than directly generating the edited output, our key idea is to generate an edit layer (color+opacity) that is composited over the original input. This allows us to constrain the generation process and maintain high fidelity to the original input via novel text-driven losses that are applied directly to the edit layer. Our method neither relies on a pre-trained generator nor requires user-provided edit masks. We demonstrate localized, semantic edits on high-resolution natural images and videos across a variety of objects and scenes.


title: Towards End-to-end Unsupervised Speech Recognition

abstract: Unsupervised speech recognition has shown great potential to make Automatic Speech Recognition (ASR) systems accessible to every language. However, existing methods still heavily rely on hand-crafted pre-processing. Similar to the trend of making supervised speech recognition end-to-end, we introduce wav2vec-U 2.0 which does away with all audio-side pre-processing and improves accuracy through better architecture. In addition, we introduce an auxiliary self-supervised objective that ties model predictions back to the input. Experiments show that wav2vec-U 2.0 improves unsupervised recognition results across different languages while being conceptually simpler.


title: Distributed Robust Control for Systems with Structured Uncertainties

abstract: We present D-Phi iteration: an algorithm for distributed, localized, and scalable robust control of systems with structured uncertainties. This algorithm combines the System Level Synthesis (SLS) parametrization for distributed control with stability criteria from L1, LInf, and nu robust control. We show in simulation that this algorithm achieves good nominal performance while greatly increasing the robust stability margin compared to the LQR controller. To the best of our knowledge, this is the first distributed and localized algorithm for structured robust control; furthermore, algorithm complexity depends only on the size of local neighborhoods and is independent of global system size. We additionally characterize the suitability of different robustness criteria for distributed and localized computation.


title: Leveraging Disentangled Representations to Improve Vision-Based Keystroke Inference Attacks Under Low Data

abstract: Keystroke inference attacks are a form of side-channel attacks in which an attacker leverages various techniques to recover a user's keystrokes as she inputs information into some display (e.g., while sending a text message or entering her pin). Typically, these attacks leverage machine learning approaches, but assessing the realism of the threat space has lagged behind the pace of machine learning advancements, due in-part, to the challenges in curating large real-life datasets. We aim to overcome the challenge of having limited number of real data by introducing a video domain adaptation technique that is able to leverage synthetic data through supervised disentangled learning. Specifically, for a given domain, we decompose the observed data into two factors of variation: Style and Content. Doing so provides four learned representations: real-life style, synthetic style, real-life content and synthetic content. Then, we combine them into feature representations from all combinations of style-content pairings across domains, and train a model on these combined representations to classify the content (i.e., labels) of a given datapoint in the style of another domain. We evaluate our method on real-life data using a variety of metrics to quantify the amount of information an attacker is able to recover. We show that our method prevents our model from overfitting to a small real-life training set, indicating that our method is an effective form of data augmentation, thereby making keystroke inference attacks more practical.


title: Efficient Pragmatic Program Synthesis with Informative Specifications

abstract: Providing examples is one of the most common way for end-users to interact with program synthesizers. However, program synthesis systems assume that examples consistent with the program are chosen at random, and do not exploit the fact that users choose examples pragmatically. Prior work modeled program synthesis as pragmatic communication, but required an inefficient enumeration of the entire program space. In this paper, we show that it is possible to build a program synthesizer that is both pragmatic and efficient by approximating the joint distribution of programs with a product of independent factors, and performing pragmatic inference on each factor separately. This factored distribution approximates the exact joint distribution well when the examples are given pragmatically, and is compatible with a basic neuro-symbolic program synthesis algorithm. Surprisingly, we find that the synthesizer assuming a factored approximation performs better than a synthesizer assuming an exact joint distribution when evaluated on natural human inputs. This suggests that humans may be assuming a factored distribution while communicating programs.


title: Towards Designing and Exploiting Generative Networks for Neutrino Physics Experiments using Liquid Argon Time Projection Chambers

abstract: In this paper, we show that a hybrid approach to generative modeling via combining the decoder from an autoencoder together with an explicit generative model for the latent space is a promising method for producing images of particle trajectories in a liquid argon time projection chamber (LArTPC). LArTPCs are a type of particle physics detector used by several current and future experiments focused on studies of the neutrino. We implement a Vector-Quantized Variational Autoencoder (VQ-VAE) and PixelCNN which produces images with LArTPC-like features and introduce a method to evaluate the quality of the images using a semantic segmentation that identifies important physics-based features.


title: Privacy-Preserving Federated Learning via System Immersion and Random Matrix Encryption

abstract: Federated learning (FL) has emerged as a privacy solution for collaborative distributed learning where clients train AI models directly on their devices instead of sharing their data with a centralized (potentially adversarial) server. Although FL preserves local data privacy to some extent, it has been shown that information about clients' data can still be inferred from model updates. In recent years, various privacy-preserving schemes have been developed to address this privacy leakage. However, they often provide privacy at the expense of model performance or system efficiency, and balancing these tradeoffs is a crucial challenge when implementing FL schemes. In this manuscript, we propose a Privacy-Preserving Federated Learning (PPFL) framework built on the synergy of matrix encryption and system immersion tools from control theory. The idea is to immerse the learning algorithm, a Stochastic Gradient Decent (SGD), into a higher-dimensional system (the so-called target system) and design the dynamics of the target system so that: the trajectories of the original SGD are immersed/embedded in its trajectories, and it learns on encrypted data (here we use random matrix encryption). Matrix encryption is reformulated at the server as a random change of coordinates that maps original parameters to a higher-dimensional parameter space and enforces that the target SGD converges to an encrypted version of the original SGD optimal solution. The server decrypts the aggregated model using the left inverse of the immersion map. We show that our algorithm provides the same level of accuracy and convergence rate as the standard FL with a negligible computation cost while revealing no information about the clients' data.


title: On the Sustainability of Lightweight Cryptography Based on PUFs Implemented on NAND Flash Memories Using Programming Disturbances

abstract: In this work, we examine the potential of Physical Unclonable Functions (PUFs) that have been implemented on NAND Flash memories using programming disturbances to act as sustainable primitives for the purposes of lightweight cryptography. In particular, we investigate the ability of such PUFs to tolerate temperature and voltage variations, and examine the current shortcomings of existing NAND-Flash-memory PUFs that are based on programming disturbances as well as how these could potentially be addressed in order to provide more robust and more sustainable security solutions.


title: Simulations of DNA-origami self-assembly reveal design-dependent nucleation barriers

abstract: Nucleation is the rate-determining step in the kinetics of many self-assembly processes. However, the importance of nucleation in the kinetics of DNA-origami self-assembly, which involves both the binding of staple strands and the folding of the scaffold strand, is unclear. Here, using Monte Carlo simulations of a lattice model of DNA origami, we find that some, but not all, designs can have a nucleation barrier and that this barrier disappears at lower temperatures, rationalizing the success of isothermal assembly. We show that the height of the nucleation barrier depends primarily on the coaxial stacking of staples that are adjacent on the same helix, a parameter that can be modified with staple design. Creating a nucleation barrier to DNA-origami assembly could be useful in optimizing assembly times and yields, while eliminating the barrier may allow for fast molecular sensors that can assemble/disassemble without hysteresis in response to changes in the environment.


title: User-Level Differential Privacy against Attribute Inference Attack of Speech Emotion Recognition in Federated Learning

abstract: Many existing privacy-enhanced speech emotion recognition (SER) frameworks focus on perturbing the original speech data through adversarial training within a centralized machine learning setup. However, this privacy protection scheme can fail since the adversary can still access the perturbed data. In recent years, distributed learning algorithms, especially federated learning (FL), have gained popularity to protect privacy in machine learning applications. While FL provides good intuition to safeguard privacy by keeping the data on local devices, prior work has shown that privacy attacks, such as attribute inference attacks, are achievable for SER systems trained using FL. In this work, we propose to evaluate the user-level differential privacy (UDP) in mitigating the privacy leaks of the SER system in FL. UDP provides theoretical privacy guarantees with privacy parameters $\epsilon$ and $\delta$. Our results show that the UDP can effectively decrease attribute information leakage while keeping the utility of the SER system with the adversary accessing one model update. However, the efficacy of the UDP suffers when the FL system leaks more model updates to the adversary. We make the code publicly available to reproduce the results in https://github.com/usc-sail/fed-ser-leakage.


title: Pulsating hydrogen-deficient white dwarfs and pre-white dwarfs observed with TESS -- IV. Discovery of two new GW Vir stars: TIC0403800675 and TIC1989122424

abstract: We present two new GW Vir-type pulsating white dwarf stars, TIC\,0403800675 (WD\,J115727.68-280349.64) and TIC\,1989122424 (WD J211738.38-552801.18) discovered in the Transiting Exoplanet Survey Satellite (TESS) photometric data. For both stars, the TESS light curves reveal the presence of oscillations with periods in a narrow range between 400 and 410\,s, which are associated with typical gravity ($g$)-modes. Follow-up ground-based spectroscopy shows that both stars have similar effective temperature ($T_\mathrm{eff} = 110,000 \pm 10,000$\,K) and surface gravity ($\log g = 7.5 \pm 0.5$), but different He/C composition (mass fractions): He\,=\,0.75 and C\,=\,0.25 for TIC\,0403800675, and He\,=\,0.50 and C\,=\,0.50 for TIC\,1989122424. By performing a fit to their spectral energy distributions, we found for both stars radii and luminosities of $R=0.019\pm0.002\,R_\odot$ and $\log(L/L_\odot)=1.68^{+0.15}_{-0.24}$, respectively. By employing evolutionary tracks of PG~1159 stars, we find the masses of both stars to be $0.56\pm0.18 M_{\odot}$ from the $\log g$-$T_\mathrm{eff}$ diagram and $0.60^{+0.11}_{-0.09} M_{\odot}$ from the Hertzsprung Russell diagram.


title: Higher order moments dynamics for some multimode quantum master equations

abstract: We derive Heisenberg equations for arbitrary high order moments of creation and annihilation operators in the case of the quantum master equation with a multimode generator which is quadratic in creation and annihilation operators and obtain their solutions. Based on them we also derive similar equations for the case of the quantum master equation, which occur after averaging the dynamics with a quadratic generator with respect to the classical Poisson process. This allows us to show that dynamics of arbitrary finite-order moments of creation and annihilation operators is fully defined by finite number of linear differential equations in this case.


title: Global Rigidity of Triangulated Manifolds

abstract: We prove that if $G$ is the graph of a connected triangulated $(d-1)$-manifold, for $d\geq 3$, then $G$ is generically globally rigid in $\mathbb R^d$ if and only if it is $(d+1)$-connected and, if $d=3$, $G$ is not planar. The special case $d=3$ verifies a conjecture of Connelly. Our results actually apply to a much larger class of simplicial complexes, namely the circuits of the simplicial matroid. We also give two significant applications of our main theorems. We show that that the characterisation of pseudomanifolds with extremal edge numbers given by the Lower Bound Theorem extends to circuits of the simplicial matroid. We also prove the generic case of a conjecture of Kalai concerning the reconstructability of a polytope from its space of stresses. The proofs of our main results adapt earlier ideas of Fogelsanger and Whiteley to the setting of global rigidity. In particular we verify a special case of Whiteley's vertex splitting conjecture for global rigidity.


title: Recursive Restoration Refinement: A Fast Heuristic for Near-Optimal Restoration Prioritization in Power Systems

abstract: The prioritization of restoration actions after large power system outages plays a key role in how quickly power can be restored. It has been shown that fast and intuitive heuristics for restoration prioritization most often result in low-quality restoration plans. Meanwhile, mathematical optimization tools that find high-quality restoration plans are too slow to be applied to restoration planning problems of practical interest. This work makes a significant step in closing this quality vs compute time gap by proposing the Recursive Restoration Refinement heuristic for power system restoration. This heuristic is shown to produce near-optimal restoration plans up to 1,000 times faster than other state-of-the-art solution methods on a range of test cases with up to 500 buses and 700 damaged components. The potential impact of this new heuristic is demonstrated by a preliminary analysis of the key features of high-quality restoration plans. The recursive restoration refinement algorithm and other methods explored in this work have been made available as part of the open-source software package, PowerModelsRestoration, to support ongoing research in power restoration algorithms.


title: Celestial Geometry

abstract: Celestial holography expresses $\mathcal{S}$-matrix elements as correlators in a CFT living on the night sky. Poincar\'e invariance imposes additional selection rules on the allowed positions of operators. As a consequence, $n$-point correlators are only supported on certain patches of the celestial sphere, depending on the labeling of each operator as incoming/outgoing. Here we initiate a study of the celestial geometry, examining the kinematic support of celestial amplitudes for different crossing channels. We give simple geometric rules for determining this support. For $n\ge 5$, we can view these channels as tiling together to form a covering of the celestial sphere. Our analysis serves as a stepping off point to better understand the analyticity of celestial correlators and illuminate the connection between the 4D kinematic and 2D CFT notions of crossing symmetry.


title: Deep Graphic FBSDEs for Opinion Dynamics Stochastic Control

abstract: In this paper, we present a scalable deep learning approach to solve opinion dynamics stochastic optimal control problems with mean field term coupling in the dynamics and cost function. Our approach relies on the probabilistic representation of the solution of the Hamilton-Jacobi-Bellman partial differential equation. Grounded on the nonlinear version of the Feynman-Kac lemma, the solutions of the Hamilton-Jacobi-Bellman partial differential equation are linked to the solution of Forward-Backward Stochastic Differential Equations. These equations can be solved numerically using a novel deep neural network with architecture tailored to the problem in consideration. The resulting algorithm is tested on a polarized opinion consensus experiment. The large-scale (10K) agents experiment validates the scalability and generalizability of our algorithm. The proposed framework opens up the possibility for future applications on extremely large-scale problems.


title: Co-optimization of power line shutoff and restoration under high wildfire ignition risk

abstract: Electric power infrastructure has ignited several of the most destructive wildfires in recent history. Preemptive power shutoffs are an effective tool to mitigate the risk of ignitions from power lines, but at the same time can cause widespread power outages. This work proposes a mathematical optimization problem to help utilities decide where and when to implement these shutoffs, as well as how to most efficiently restore power once the wildfire risk is lower. Specifically, our model co-optimizes the power shutoff (considering both wildfire risk reduction and power outages) as well as the post-event restoration efforts given constraints related to inspection and energization of lines, and is implemented as a rolling horizon optimization problem that is resolved whenever new forecasts of load and wildfire risk become available. We demonstrate our method on the IEEE RTS-GMLC test case using real wildfire risk data and forecasts from US Geological Survey, and investigate the sensitivity of the results to the forecast quality, decision horizon and system restoration budget. The software implementation is available in the open source software package PowerModelsWildfire.jl.


title: A robust scalar-on-function logistic regression for classification

abstract: Scalar-on-function logistic regression, where the response is a binary outcome and the predictor consists of random curves, has become a general framework to explore a linear relationship between the binary outcome and functional predictor. Most of the methods used to estimate this model are based on the least-squares type estimators. However, the least-squares estimator is seriously hindered by outliers, leading to biased parameter estimates and an increased probability of misclassification. This paper proposes a robust partial least squares method to estimate the regression coefficient function in the scalar-on-function logistic regression. The regression coefficient function represented by functional partial least squares decomposition is estimated by a weighted likelihood method, which downweighs the effect of outliers in the response and predictor. The estimation and classification performance of the proposed method is evaluated via a series of Monte Carlo experiments and a strawberry puree data set. The results obtained from the proposed method are compared favorably with existing methods.


title: Depth-Guided Sparse Structure-from-Motion for Movies and TV Shows

abstract: Existing approaches for Structure from Motion (SfM) produce impressive 3-D reconstruction results especially when using imagery captured with large parallax. However, to create engaging video-content in movies and TV shows, the amount by which a camera can be moved while filming a particular shot is often limited. The resulting small-motion parallax between video frames makes standard geometry-based SfM approaches not as effective for movies and TV shows. To address this challenge, we propose a simple yet effective approach that uses single-frame depth-prior obtained from a pretrained network to significantly improve geometry-based SfM for our small-parallax setting. To this end, we first use the depth-estimates of the detected keypoints to reconstruct the point cloud and camera-pose for initial two-view reconstruction. We then perform depth-regularized optimization to register new images and triangulate the new points during incremental reconstruction. To comprehensively evaluate our approach, we introduce a new dataset (StudioSfM) consisting of 130 shots with 21K frames from 15 studio-produced videos that are manually annotated by a professional CG studio. We demonstrate that our approach: (a) significantly improves the quality of 3-D reconstruction for our small-parallax setting, (b) does not cause any degradation for data with large-parallax, and (c) maintains the generalizability and scalability of geometry-based sparse SfM. Our dataset can be obtained at https://github.com/amazon-research/small-baseline-camera-tracking.


title: Unraveling the stable cathode electrolyte interface in all solid-state thin-film battery operating at 5V

abstract: Spinel-type LiNi0.5Mn1.5O4 (LNMO) is one of the most promising 5 V-class cathode materials for Li-ion batteries that can achieve high energy density and low production costs. However, in liquid electrolyte cells, the high voltage causes continuous cell degradation through the oxidative decomposition of carbonate-based liquid electrolytes. In contrast, some solid-state electrolytes have a wide electrochemical stability range and can withstand the required oxidative potential. In this work, a thin-film battery consisting of a LNMO cathode with a solid lithium phosphorus oxynitride (LiPON) electrolyte is tested and their interface before and after cycling is characterized. With Li metal as the anode, this system can deliver stable performance for 600 cycles with an average Coulombic efficiency > 99%. Neutron depth profiling indicates a slight overlithiated layer at the interface prior to cycling; a result that is consistent with the excess charge capacity measured during the first cycle. Cryogenic electron microscopy further reveals intimate contact between LNMO and LiPON without noticeable structure and chemical composition evolution after extended cycling, demonstrating the superior stability of LiPON against a high voltage cathode. Consequently, we propose design guidelines for interface engineering that could accelerate the commercialization of a high voltage cell with solid or liquid electrolytes.


title: SILCC-Zoom: the dynamic balance in molecular cloud substructures

abstract: How molecular clouds fragment and create the dense structures which go on to form stars is an open question. We investigate the relative importance of different energy terms (kinetic, thermal, magnetic, and gravity - both self-gravity and tidal forces) for the formation and evolution of molecular clouds and their sub-structures based on the SILCC-Zoom simulations. These simulations follow the self-consistent formation of cold molecular clouds down to scales of 0.1 pc from the diffuse supernova-driven interstellar medium in a stratified galactic disc. We study the time evolution of seven molecular clouds (five with magnetic fields and two without) for 1.5-2 Myr. Using a dendrogram, we identify hierarchical 3D sub-structures inside the clouds with the aim to understand their dynamics and distinguish between the theories of gravo-turbulent fragmentation and global hierarchical collapse. The virial analysis shows that the dense gas is indeed dominated by the interplay of gravity and turbulence, while magnetic fields and thermal pressure are only important for fluffy, atomic structures. Over time, gravitationally bound sub-structures emerge from a marginally bound medium (viral ratio $1 \leq \alpha_{\rm vir}^{\rm vol} <2$) as a result of large-scale supernova-driven inflows rather than global collapse. A detailed tidal analysis shows that the tidal tensor is highly anisotropic. Yet the tidal forces are generally not strong enough to disrupt either large-scale or dense sub-structures but cause their deformation. By comparing tidal and crossing time scales, we find that tidal forces do not seem to be the main driver of turbulence within the molecular clouds.


title: Fluorescence profile of a nitrogen-vacancy center in a nanodiamond

abstract: Nanodiamonds containing luminescent point defects are widely explored for applications in quantum bio-sensing such as nanoscale magnetometry, thermometry, and electrometry. A key challenge in the development of such applications is a large variation in fluorescence properties observed between particles, even when obtained from the same batch or nominally identical fabrication processes. By theoretically modelling the emission of nitrogen-vacancy colour centres in spherical nanoparticles, we are able to show that the fluorescence spectrum varies with the exact position of the emitter within the nanoparticle, with noticeable effects seen when the diamond radius, $a$, is larger than around 100 nm, and significantly modified fluorescence profiles found for larger particles when $a=200$ nm and $a=300$ nm, while negligible effects below $a=100$ nm. These results show that the reproducible geometry of point defect position within narrowly sized batch of diamond crystals is necessary for controlling the emission properties. Our results are useful for understanding the extent to which nanodiamonds can be optimised for bio-sensing applications.


title: In-Pocket 3D Graphs Enhance Ligand-Target Compatibility in Generative Small-Molecule Creation

abstract: Proteins in complex with small molecule ligands represent the core of structure-based drug discovery. However, three-dimensional representations are absent from most deep-learning-based generative models. We here present a graph-based generative modeling technology that encodes explicit 3D protein-ligand contacts within a relational graph architecture. The models combine a conditional variational autoencoder that allows for activity-specific molecule generation with putative contact generation that provides predictions of molecular interactions within the target binding pocket. We show that molecules generated with our 3D procedure are more compatible with the binding pocket of the dopamine D2 receptor than those produced by a comparable ligand-based 2D generative method, as measured by docking scores, expected stereochemistry, and recoverability in commercial chemical databases. Predicted protein-ligand contacts were found among highest-ranked docking poses with a high recovery rate. This work shows how the structural context of a protein target can be used to enhance molecule generation.


title: Moir\'e band structures of twisted phosphorene bilayers

abstract: We report on the theoretical electronic spectra of twisted phosphorene bilayers exhibiting moir\'e patterns, as computed by means of a continuous approximation to the moir\'e superlattice Hamiltonian. Our model is constructed by interpolating between effective $\Gamma$-point conduction- and valence-band Hamiltonians for the different stacking configurations approximately realized across the moir\'e supercell, formulated on symmetry grounds. We predict the realization of three distinct regimes for $\Gamma$-point electrons and holes at different twist angle ranges: a Hubbard regime for small twist angles $\theta < 2^\circ$, where the electronic states form arrays of quantum-dot-like states, one per moir\'e supercell; a Tomonaga-Luttinger regime at intermediate twist angles $2^\circ < \theta \lesssim 10^\circ$, characterized by the appearance of arrays of quasi-1D states; and finally, a ballistic regime at large twist angles $\theta \gtrsim 10^\circ$, where the band-edge states are delocalized, with dispersion anisotropies modulated by the twist angle. Our method correctly reproduces recent results based on large-scale ab initio calculations at a much lower computational cost, and with fewer restrictions on the twist angles considered.


title: Inferring Rewards from Language in Context

abstract: In classic instruction following, language like "I'd like the JetBlue flight" maps to actions (e.g., selecting that flight). However, language also conveys information about a user's underlying reward function (e.g., a general preference for JetBlue), which can allow a model to carry out desirable actions in new contexts. We present a model that infers rewards from language pragmatically: reasoning about how speakers choose utterances not only to elicit desired actions, but also to reveal information about their preferences. On a new interactive flight-booking task with natural language, our model more accurately infers rewards and predicts optimal actions in unseen environments, in comparison to past work that first maps language to actions (instruction following) and then maps actions to rewards (inverse reinforcement learning).


title: Compositions and tensor products of linear maps between matrix algebras

abstract: In this semi-expository paper, we first explain key notions from current quantum information theory and criteria for them in a coherent way. These include separability/entanglement, Schmidt numbers of bi-partite states and block-positivity, together with various kinds of positive maps between matrix algebras like entanglement breaking maps, $k$-superpositive maps, completely positive maps, $k$-positive maps. We will begin with concrete examples of elementary positive maps given by $x\mapsto s^*xs$, and use Choi matrices and duality to explain all the notions mentioned above. We also show that the Choi matrix can be defined free from coordinates. The above notions of positive maps give rise to mapping cones, whose dual cones are characterized in terms of compositions or tensor products of linear maps. Through the discussion, we exhibit an identity which connects tensor products and compositions of linear maps between matrix algebras through the Choi matrices. Using this identity, we show that the description of the dual cone with tensor products is possible only when the involving cones are mapping cones, and recover various known criteria with ampliation for the notions mentioned above. As another applications of the identity, we construct various mapping cones arising from ampliation and factorization, and provide several equivalent statements to PPT (positive partial transpose) square conjecture in terms of tensor products.


title: On decay of the solutions for the dispersion generalized-Benjamin-Ono and Benjamin-Ono equations

abstract: We show that uniqueness results of the kind those obtained for KdV and Schr\"odinger equations ([7], [28]), are not valid for the dispersion generalized-Benjamin-Ono equation in the weighted Sobolev spaces $$H^s(\R)\cap L^2(x^{2r}dx),$$ for appropriated $s$ and $r$. In particular, we obtain that the uniqueness result proved for the dispersion generalized-Benjamin-Ono equation ([13]), is not true for all pairs of solutions $u_1\neq 0$ and $u_2\neq 0$. To achieve these results we employ the techniques present in our recent work [6]. We also improve some Theorems established for the dispersion generalized-Benjamin-Ono equation and for the Benjamin-Ono equation ([13], [12]).


title: Widely Tunable Berry curvature in the Magnetic Semimetal Cr1+dTe2

abstract: Magnetic semimetals have increasingly emerged as lucrative platforms hosting spin-based topological phenomena in real and momentum spaces. Of particular interest is the emergence of Berry curvature, whose geometric origin, accessibility from Hall transport experiments, and material tunability, bodes well for new physics and practical devices. Cr1+dTe2, a self-intercalated magnetic transition metal dichalcogenide, TMD, exhibits attractive natural attributes relevant to such applications, including topological magnetism, tunable electron filling, magnetic frustration etc. While recent studies have explored real-space Berry curvature effects in this material, similar considerations of momentum-space Berry curvature are lacking. Here, we systematically investigate the electronic structure and transport properties of epitaxial Cr1+dTe2 thin films over a wide range of doping, d between 0.33 and 0.71. Spectroscopic experiments reveal the presence of a characteristic semi-metallic band region near the Brillouin Zone edge, which shows a rigid band like energy shift as a function of d. Transport experiments show that the intrinsic component of the anomalous Hall effect, AHE, is sizable, and undergoes a sign flip across d. Finally, density functional theory calculations establish a causal link between the observed doping evolution of the band structure and AHE: the AHE sign flip is shown to emerge from the sign change of the Berry curvature, as the semi-metallic band region crosses the Fermi energy. Our findings underscore the increasing relevance of momentum-space Berry curvature in magnetic TMDs and provide a unique platform for intertwining topological physics in real and momentum spaces.


title: Maintaining Expander Decompositions via Sparse Cuts

abstract: In this article, we show that the algorithm of maintaining expander decompositions in graphs undergoing edge deletions directly by removing sparse cuts repeatedly can be made efficient. Formally, for an $m$-edge undirected graph $G$, we say a cut $(S, \overline{S})$ is $\phi$-sparse if $|E_G(S, \overline{S})| < \phi \cdot \min\{vol_G(S), vol_G(\overline{S})\}$. A $\phi$-expander decomposition of $G$ is a partition of $V$ into sets $X_1, X_2, \ldots, X_k$ such that each cluster $G[X_i]$ contains no $\phi$-sparse cut (meaning it is a $\phi$-expander) with $\tilde{O}(\phi m)$ edges crossing between clusters. A natural way to compute a $\phi$-expander decomposition is to decompose clusters by $\phi$-sparse cuts until no such cut is contained in any cluster. We show that even in graphs undergoing edge deletions, a slight relaxation of this meta-algorithm can be implemented efficiently with amortized update time $m^{o(1)}/\phi^2$. Our approach naturally extends to maintaining directed $\phi$-expander decompositions and $\phi$-expander hierarchies and thus gives a unifying framework while having simpler proofs than previous state-of-the-art work. In all settings, our algorithm matches the run-times of previous algorithms up to subpolynomial factors. Moreover, our algorithm provides stronger guarantees for $\phi$-expander decompositions. For example, for graphs undergoing edge deletions, our approach is the first to maintain a dynamic expander decomposition where each updated decomposition is a refinement of the previous decomposition, and our approach is the first to guarantee a sublinear $\phi m^{1+o(1)}$ bound on the total number of edges that cross between clusters across the entire sequence of dynamic updates.


title: Bikei Module Invariants of Unoriented Surface-Links

abstract: We extend our previous work from arXiv:1903.06863 on biquandle module invariants of oriented surface-links to the case of unoriented surface-links using bikei modules. The resulting infinite family of enhanced invariants proves be effective at distinguishing unoriented and especially non-orientable surface-links; in particular, we show that these invariants are more effective than the bikei homset cardinality invariant alone at distinguishing non-orientable surface-links. Moreover, as another application we note that our previous biquandle modules which do not satisfy the bikei module axioms are capable of distinguishing different choices of orientation for orientable surface-links as well as classical and virtual links.


title: Optimal service resource management strategy for IoT-based health information system considering value co-creation of users

abstract: This paper explores optimal service resource management strategy, a continuous challenge for health information service to enhance service performance, optimise service resource utilisation and deliver interactive health information service. An adaptive optimal service resource management strategy was developed considering a value co-creation model in health information service with a focus on collaborative and interactive with users. The deep reinforcement learning algorithm was embedded in the Internet of Things (IoT)-based health information service system (I-HISS) to allocate service resources by controlling service provision and service adaptation based on user engagement behaviour. The simulation experiments were conducted to evaluate the significance of the proposed algorithm under different user reactions to the health information service.


title: Solving integer multi-objective optimization problems using TOPSIS, Differential Evolution and Tabu Search

abstract: This paper presents a method to solve non-linear integer multiobjective optimization problems. First the problem is formulated using the Technique for Order Preference by Similarity to Ideal Solution (TOPSIS). Next, the Differential Evolution (DE) algorithm in its three versions (standard DE, DE best and DEGL) are used as optimizer. Since the solutions found by the DE algorithms are continuous, the Tabu Search (TS) algorithm is employed to find integer solutions during the optimization process. Experimental results show the effectiveness of the proposed method.


title: LADUMA: Discovery of a luminous OH megamaser at $z > 0.5$

abstract: In the local Universe, OH megamasers (OHMs) are detected almost exclusively in infrared-luminous galaxies, with a prevalence that increases with IR luminosity, suggesting that they trace gas-rich galaxy mergers. Given the proximity of the rest frequencies of OH and the hyperfine transition of neutral atomic hydrogen (HI), radio surveys to probe the cosmic evolution of HI in galaxies also offer exciting prospects for exploiting OHMs to probe the cosmic history of gas-rich mergers. Using observations for the Looking At the Distant Universe with the MeerKAT Array (LADUMA) deep HI survey, we report the first untargeted detection of an OHM at $z > 0.5$, LADUMA J033046.20$-$275518.1 (nicknamed "Nkalakatha"). The host system, WISEA J033046.26$-$275518.3, is an infrared-luminous radio galaxy whose optical redshift $z \approx 0.52$ confirms the MeerKAT emission line detection as OH at a redshift $z_{\rm OH} = 0.5225 \pm 0.0001$ rather than HI at lower redshift. The detected spectral line has 18.4$\sigma$ peak significance, a width of $459 \pm 59\,{\rm km\,s^{-1}}$, and an integrated luminosity of $(6.31 \pm 0.18\,{\rm [statistical]}\,\pm 0.31\,{\rm [systematic]}) \times 10^3\,L_\odot$, placing it among the most luminous OHMs known. The galaxy's far-infrared luminosity $L_{\rm FIR} = (1.576 \pm 0.013) \times 10^{12}\,L_\odot$ marks it as an ultra-luminous infrared galaxy; its ratio of OH and infrared luminosities is similar to those for lower-redshift OHMs. A comparison between optical and OH redshifts offers a slight indication of an OH outflow. This detection represents the first step towards a systematic exploitation of OHMs as a tracer of galaxy growth at high redshifts.


title: Simple and Effective Unsupervised Speech Synthesis

abstract: We introduce the first unsupervised speech synthesis system based on a simple, yet effective recipe. The framework leverages recent work in unsupervised speech recognition as well as existing neural-based speech synthesis. Using only unlabeled speech audio and unlabeled text as well as a lexicon, our method enables speech synthesis without the need for a human-labeled corpus. Experiments demonstrate the unsupervised system can synthesize speech similar to a supervised counterpart in terms of naturalness and intelligibility measured by human evaluation.


title: Mars: Near-Optimal Throughput with Shallow Buffers in Reconfigurable Datacenter Networks

abstract: The performance of large-scale computing systems often critically depends on high-performance communication networks. Dynamically reconfigurable topologies, e.g., based on optical circuit switches, are emerging as an innovative new technology to deal with the explosive growth of datacenter traffic. Specifically, \emph{periodic} reconfigurable datacenter networks (RDCNs) such as RotorNet (SIGCOMM 2017), Opera (NSDI 2020) and Sirius (SIGCOMM 2020) have been shown to provide high throughput, by emulating a \emph{complete graph} through fast periodic circuit switch scheduling. However, to achieve such a high throughput, existing reconfigurable network designs pay a high price: in terms of potentially high delays, but also, as we show as a first contribution in this paper, in terms of the high buffer requirements. In particular, we show that under buffer constraints, emulating the high-throughput complete graph is infeasible at scale, and we uncover a spectrum of unvisited and attractive alternative RDCNs, which emulate regular graphs, but with lower node degree than the complete graph. We present Mars, a periodic reconfigurable topology which emulates a $d$-regular graph with near-optimal throughput. In particular, we systematically analyze how the degree~$d$ can be optimized for throughput given the available buffer and delay tolerance of the datacenter. We further show empirically that Mars achieves higher throughput compared to existing systems when buffer sizes are bounded.


title: Emphasis on the Minimization of False Negatives or False Positives in Binary Classification

abstract: The minimization of specific cases in binary classification, such as false negatives or false positives, grows increasingly important as humans begin to implement more machine learning into current products. While there are a few methods to put a bias towards the reduction of specific cases, these methods aren't very effective, hence their minimal use in models. To this end, a new method is introduced to reduce the False Negatives or False positives without drastically changing the overall performance or F1 score of the model. This method involving the careful change to the real value of the input after pre-training the model. Presenting the results of this method being applied on various datasets, some being more complex than others. Through experimentation on multiple model architectures on these datasets, the best model was found. In all the models, an increase in the recall or precision, minimization of False Negatives or False Positives respectively, was shown without a large drop in F1 score.


title: Topological Data Analysis of Human Brain Networks Through Order Statistics

abstract: Understanding the common topological characteristics of the human brain network across a population is central to understanding brain functions. The abstraction of human connectome as a graph has been pivotal in gaining insights on the topological properties of the brain network. The development of group-level statistical inference procedures in brain graphs while accounting for the heterogeneity and randomness still remains a difficult task. In this study, we develop a robust statistical framework based on persistent homology using the order statistics for analyzing brain networks. The use of order statistics greatly simplifies the computation of the persistent barcodes. We validate the proposed methods using comprehensive simulation studies and subsequently apply to the resting-state functional magnetic resonance images. We found a statistically significant topological difference between the male and female brain networks.


title: Prime Principal Right Ideal Rings

abstract: Let R be a commutative ring with unity $1\in R$. In this article, we introduce the concept of prime principal right ideal rings (\textbf{PPRIR}), A prime ideal P of R is said to be prime principal right ideal (\textbf{PPRI}) is given by $P =\{ ar : r\in R\}$ for some element a. The ring R is said to be prime principal right ideal ring (\textbf{PPRIR}) if every prime ideal of R is a prime principal right ideal (\textbf{PPRI}). A prime principal right ideal ring R is called a prime principal right ideal domain (\textbf{PPRID}) if R is a domain. Several properties and characteristics of prime principal right ideal ring (\textbf{PPRIR}).


title: Minimal rational curves and 1-flat irreducible G-structures

abstract: 1-flat irreducible G-structures, equivalently, irreducible G-structures admitting torsion-free affine connections, have been studied extensively in differential geometry, especially in connection with the theory of affine holonomy groups. We propose to study them in a setting in algebraic geometry, where they arise from varieties of minimal rational tangents (VMRT) associated to families of minimal rational curves on uniruled projective manifolds. We prove that such a structure is locally symmetric when the dimension of the uniruled projective manifold is at least 5. By the classification result of Merkulov and Schwachh\"ofer on irreducible affine holonomy, the problem is reduced to the case when the VMRT at a general point of the uniruled projective manifold is isomorphic to a subadjoint variety. In the latter situation, we prove a stronger result that, without the assumption of 1-flatness, the structure arising from VMRT is always locally flat. The proof employs the method of Cartan connections. An interesting feature is that Cartan connections are considered not for the G-structures themselves, but for certain geometric structures on the spaces of minimal rational curves.


title: Prosodic Alignment for off-screen automatic dubbing

abstract: The goal of automatic dubbing is to perform speech-to-speech translation while achieving audiovisual coherence. This entails isochrony, i.e., translating the original speech by also matching its prosodic structure into phrases and pauses, especially when the speaker's mouth is visible. In previous work, we introduced a prosodic alignment model to address isochrone or on-screen dubbing. In this work, we extend the prosodic alignment model to also address off-screen dubbing that requires less stringent synchronization constraints. We conduct experiments on four dubbing directions - English to French, Italian, German and Spanish - on a publicly available collection of TED Talks and on publicly available YouTube videos. Empirical results show that compared to our previous work the extended prosodic alignment model provides significantly better subjective viewing experience on videos in which on-screen and off-screen automatic dubbing is applied for sentences with speakers mouth visible and not visible, respectively.


title: Improving Zero-Shot Event Extraction via Sentence Simplification

abstract: The success of sites such as ACLED and Our World in Data have demonstrated the massive utility of extracting events in structured formats from large volumes of textual data in the form of news, social media, blogs and discussion forums. Event extraction can provide a window into ongoing geopolitical crises and yield actionable intelligence. With the proliferation of large pretrained language models, Machine Reading Comprehension (MRC) has emerged as a new paradigm for event extraction in recent times. In this approach, event argument extraction is framed as an extractive question-answering task. One of the key advantages of the MRC-based approach is its ability to perform zero-shot extraction. However, the problem of long-range dependencies, i.e., large lexical distance between trigger and argument words and the difficulty of processing syntactically complex sentences plague MRC-based approaches. In this paper, we present a general approach to improve the performance of MRC-based event extraction by performing unsupervised sentence simplification guided by the MRC model itself. We evaluate our approach on the ICEWS geopolitical event extraction dataset, with specific attention to `Actor' and `Target' argument roles. We show how such context simplification can improve the performance of MRC-based event extraction by more than 5% for actor extraction and more than 10% for target extraction.


title: Critical Sets of Elliptic Equations with Rapidly Oscillating Coefficients in Two Dimensions

abstract: In this paper we continue the study of critical sets of solutions $u_\e$ of second-order elliptic equations in divergence form with rapidly oscillating and periodic coefficients. In \cite{Lin-Shen-3d}, by controling the "turning" of approximate tangent planes, we show that the $(d-2)$-dimensional Hausdorff measures of the critical sets are bounded uniformly with respect to the period $\e$, provided that doubling indices for solutions are bounded. In this paper we use a different approach, based on the reduction of the doubling indices of $u_\e$, to study the two-dimensional case. The proof relies on the fact that the critical set of a homogeneous harmonic polynomial of degree two or higher in dimension two contains only one point.