title: Numerical modelling of variable density shallow water flows with friction term

abstract: In this study, we focus on the modelling of coupled systems of shallow water flows and solute transport with source terms due to variable topography and friction effect. Our aim is to propose efficient and accurate numerical techniques for modelling these systems using unstructured triangular grids. We used a Riemann-solver free method for the hyperbolic shallow water system and a suitable discretization technique for the bottom topography. The friction source term is discretized using the techniques proposed by (Xia and Liang 2018). Our approach performs very well for stationary flow in the presence of variable topography, and it is well-balanced for the concentration in the presence of wet and dry zones. In our techniques, we used linear piecewise reconstructions for the variables of the coupled system. The proposed method is well-balanced, and we prove that it exactly preserves the nontrivial steady-state solutions of the coupled system. Numerical experiments are carried out to validate the performance and robustness of the proposed numerical method. Our numerical results show that the method is stable, well-balanced and accurate to model the coupled systems of shallow water flows and solute transport.


title: Clustering effects on the diffusion of patchy colloids in disordered porous media

abstract: Enskog theory is extended for the description of the self-diffusion coefficient of patchy colloidal fluid in disordered porous media. The theory includes the contact values of fluid-fluid and fluid-matrix pair distribution functions that are modified to include the dependence from the so-called probe particle porosity, $\phi$, in order to correctly describe the effects of trapping the fluid particles by a matrix. The proposed expressions for the modified contact values of fluid-fluid and fluid-matrix pair distribution functions include three terms. Namely, a hard sphere contribution obtained by us in the previous work [Holovko M. F., Korvatska M. Ya., Condens. Matter Phys., 2020, 23, 23605], the depletion contribution connected with the cluster-cluster and cluster-matrix repulsion and the intramolecular correlation inside the cluster. It is shown that the last term leads to a remarkable decrease of the self-diffusion coefficient at a low fluid density. With a decreasing matrix porosity, this effect becomes weaker. For intermediate fluid densities, the depletion contribution leads to an increase of the self-diffusion coefficient in comparison with the hard sphere fluid. For a sufficiently dense fluid, the self-diffusion coefficient strongly decreases due to a hard sphere effect. The influence of the cluster size and the type of clusters as well as of the parameters of porous media is investigated and discussed in detail.


title: Visually Exploring Multi-Purpose Audio Data

abstract: We analyse multi-purpose audio using tools to visualise similarities within the data that may be observed via unsupervised methods. The success of machine learning classifiers is affected by the information contained within system inputs, so we investigate whether latent patterns within the data may explain performance limitations of such classifiers. We use the visual assessment of cluster tendency (VAT) technique on a well known data set to observe how the samples naturally cluster, and we make comparisons to the labels used for audio geotagging and acoustic scene classification. We demonstrate that VAT helps to explain and corroborate confusions observed in prior work to classify this audio, yielding greater insight into the performance - and limitations - of supervised classification systems. While this exploratory analysis is conducted on data for which we know the "ground truth" labels, this method of visualising the natural groupings as dictated by the data leads to important questions about unlabelled data that can help the evaluation and realistic expectations of future (including self-supervised) classification systems.


title: An evaluation of data augmentation methods for sound scene geotagging

abstract: Sound scene geotagging is a new topic of research which has evolved from acoustic scene classification. It is motivated by the idea of audio surveillance. Not content with only describing a scene in a recording, a machine which can locate where the recording was captured would be of use to many. In this paper we explore a series of common audio data augmentation methods to evaluate which best improves the accuracy of audio geotagging classifiers. Our work improves on the state-of-the-art city geotagging method by 23% in terms of classification accuracy.


title: M-dissipative boundary conditions and boundary tuples for Maxwell operators

abstract: For Maxwell operators $(E,H) \to (i \epsilon^{-1} \nabla\times H, -i \mu^{-1} \nabla \times E)$ in Lipschitz domains, we describe all m-dissipative boundary conditions and apply this result to generalized impedance and Leontovich boundary conditions including the cases of singular, degenerate, and randomized impedance coefficients. To this end we construct Riesz bases in the trace spaces associated with the curl-operator and introduce a modified version of boundary triple adapted for the specifics of Maxwell equations, namely, to the mixed-order duality of the related trace spaces. This provides a translation of the problem to operator-theoretic settings of abstract Maxwell operators. In particular, we show that Calkin reduction operators are naturally connected with Leontovich boundary conditions and provide an abstract version of impedance boundary condition applicable to other types of wave equations. Taking Friedrichs and Krein-von Neumann extensions of related boundary operators, it is possible to associate m-dissipative Maxwell operators to arbitrary non-negative measurable impedance coefficients.

categories: math.AP math-ph math.FA math.MP math.SP physics.optics


title: Bose--Einstein condensation for particles with repulsive short-range pair interactions in a Poisson random external potential in $\mathbb R^d$

abstract: We study Bose gases in $d$ dimensions, $d \ge 2$, with short-range repulsive pair interactions, at positive temperature, in the canonical ensemble and in the thermodynamic limit. We assume the presence of hard Poissonian obstacles and focus on the non-percolation regime. For sufficiently strong interparticle interactions, we show that almost surely there cannot be Bose--Einstein condensation into a sufficiently localized, normalized one-particle state. The results apply to the eigenstates of the underlying one-particle Hamiltonian.

categories: math-ph cond-mat.quant-gas math.MP quant-ph


title: Determination of the light, strange and charm quark masses using twisted mass fermions

abstract: We present results for the light, strange and charm quark masses using $N_f=2+1+1$ twisted mass fermion ensembles at three values of the lattice spacing, including two ensembles simulated with the physical value of the pion mass. The analysis is done both in the meson and baryon sectors. The difference in the mean values found in the two sectors is included as part of the systematic error. The presentation is based on the work of Ref. [1], where more details can be found.


title: Screening of ion-ion correlations in electrolyte solutions adsorbed in charged disordered matrices: Application of replica Ornstein-Zernike equations

abstract: The replica Ornstein-Zernike equations for an electrolyte adsorbed in a charged, disordered matrix were applied to a model, where both subsystems consisted of points carrying a single (positive or negative) charge. While the system as a whole was electroneutral, each of the subsytems had a net charge. The results of this study are compared with the ones previously obtained, where the interactions in such a system were considered to be the same as in the case of electroneutral subsystems.


title: An Exploration of Self-Supervised Pretrained Representations for End-to-End Speech Recognition

abstract: Self-supervised pretraining on speech data has achieved a lot of progress. High-fidelity representation of the speech signal is learned from a lot of untranscribed data and shows promising performance. Recently, there are several works focusing on evaluating the quality of self-supervised pretrained representations on various tasks without domain restriction, e.g. SUPERB. However, such evaluations do not provide a comprehensive comparison among many ASR benchmark corpora. In this paper, we focus on the general applications of pretrained speech representations, on advanced end-to-end automatic speech recognition (E2E-ASR) models. We select several pretrained speech representations and present the experimental results on various open-source and publicly available corpora for E2E-ASR. Without any modification of the back-end model architectures or training strategy, some of the experiments with pretrained representations, e.g., WSJ, WSJ0-2mix with HuBERT, reach or outperform current state-of-the-art (SOTA) recognition performance. Moreover, we further explore more scenarios for whether the pretraining representations are effective, such as the cross-language or overlapped speech. The scripts, configuratons and the trained models have been released in ESPnet to let the community reproduce our experiments and improve them.


title: Zig-Zag Modules: Cosheaves and K-Theory

abstract: Persistence modules have a natural home in the setting of stratified spaces and constructible cosheaves. In this article, we first give explicit constructible cosheaves for common data-motivated persistence modules, namely, for modules that arise from zig-zag filtrations (including monotone filtrations), and for augmented persistence modules (which encode the data of instantaneous events). We then identify an equivalence of categories between a particular notion of zig-zag modules and the combinatorial entrance path category on stratified $\mathbb{R}$. Finally, we compute the algebraic $K$-theory of generalized zig-zag modules and describe connections to both Euler curves and $K_0$ of the monoid of persistence diagrams as described by Bubenik and Elchesen.


title: Molecular Dynamic study of model two-dimensional systems involving Janus dumbbells and spherical particles

abstract: We have performed an extensive constant temperature Molecular Dynamics study of two-dimensional systems involving Janus dumbbells and spherical particles. Janus dumbbells have been modelled as two spheres, labeled 1 and 2, joined together via harmonic bonds. Sphere 1 of a selected Janus dumbbell attracts the spheres of the same kind on other Janus dumbbells, while the interactions between the pairs 1-1 and 1-2 were repulsive. On the other hand, the spherical particles are attracted by centers 2 and repelled by the centers 1 of Janus particles. We have shown that the structure of oriented phases that can be formed in the system depends on the bond length of Janus dumbbells and the ratio of the number of spherical particles to the number of Janus dumbbells in the system. The presence of spherical particles is necessary to develop oriented phases. For the assumed model, the formation of oriented phases in the system depends on the concentration of spherical particles. Equal numbers of Janus and spherical particles create optimal conditions for the formation of lamellar phases.


title: Flattening Sharpness for Dynamic Gradient Projection Memory Benefits Continual Learning

abstract: The backpropagation networks are notably susceptible to catastrophic forgetting, where networks tend to forget previously learned skills upon learning new ones. To address such the 'sensitivity-stability' dilemma, most previous efforts have been contributed to minimizing the empirical risk with different parameter regularization terms and episodic memory, but rarely exploring the usages of the weight loss landscape. In this paper, we investigate the relationship between the weight loss landscape and sensitivity-stability in the continual learning scenario, based on which, we propose a novel method, Flattening Sharpness for Dynamic Gradient Projection Memory (FS-DGPM). In particular, we introduce a soft weight to represent the importance of each basis representing past tasks in GPM, which can be adaptively learned during the learning process, so that less important bases can be dynamically released to improve the sensitivity of new skill learning. We further introduce Flattening Sharpness (FS) to reduce the generalization gap by explicitly regulating the flatness of the weight loss landscape of all seen tasks. As demonstrated empirically, our proposed method consistently outperforms baselines with the superior ability to learn new skills while alleviating forgetting effectively.


title: The ghost of vector fields in compact stars

abstract: Spontaneous scalarization is a mechanism that allows a scalar field to go undetected in weak gravity environments and yet develop a nontrivial configuration in strongly gravitating systems. At the perturbative level it manifests as a tachyonic instability around spacetimes that solve Einstein's equations. The endpoint of this instability is a nontrivial scalar field configuration that can significantly modify a compact object's structure and can produce observational signatures of the scalar field's presence. Does such a mechanism exists for vector fields? Here we revisit the model that constitutes the most straightforward generalization of the original scalarization model to a vector field and perform a perturbative analysis. We show that a ghost appears as soon as the square of the naive effective mass squared becomes negative anywhere. This result poses a serious obstacle in generalizing spontaneous scalarization to vector fields.


title: Relativistic second-order dissipative hydrodynamics from Zubarev's non-equilibrium statistical operator

abstract: We present a new derivation of relativistic second-order dissipative hydrodynamics for quantum systems using Zubarev's non-equilibrium statistical-operator formalism. This is achieved by a systematic expansion of the energy-momentum tensor and the charge current to second order in deviations from equilibrium. As a concrete example, we obtain the relaxation equations for the shear-stress tensor, the bulk-viscous pressure, and the charge-diffusion currents required to close the set of equations of motion for relativistic second-order dissipative hydrodynamics. We also identify new transport coefficients which describe the relaxation of dissipative processes to second order and express them in terms of equilibrium correlation functions, thus establishing new Kubo-type formulas for second-order transport coefficients.


title: Deep Long-Tailed Learning: A Survey

abstract: Deep long-tailed learning, one of the most challenging problems in visual recognition, aims to train well-performing deep models from a large number of images that follow a long-tailed class distribution. In the last decade, deep learning has emerged as a powerful recognition model for learning high-quality image representations and has led to remarkable breakthroughs in generic visual recognition. However, long-tailed class imbalance, a common problem in practical visual recognition tasks, often limits the practicality of deep network based recognition models in real-world applications, since they can be easily biased towards dominant classes and perform poorly on tail classes. To address this problem, a large number of studies have been conducted in recent years, making promising progress in the field of deep long-tailed learning. Considering the rapid evolution of this field, this paper aims to provide a comprehensive survey on recent advances in deep long-tailed learning. To be specific, we group existing deep long-tailed learning studies into three main categories (i.e., class re-balancing, information augmentation and module improvement), and review these methods following this taxonomy in detail. Afterward, we empirically analyze several state-of-the-art methods by evaluating to what extent they address the issue of class imbalance via a newly proposed evaluation metric, i.e., relative accuracy. We conclude the survey by highlighting important applications of deep long-tailed learning and identifying several promising directions for future research.


title: A Proximal Algorithm for Sampling from Non-smooth Potentials

abstract: In this work, we examine sampling problems with non-smooth potentials. We propose a novel Markov chain Monte Carlo algorithm for sampling from non-smooth potentials. We provide a non-asymptotical analysis of our algorithm and establish a polynomial-time complexity $\tilde {\cal O}(d\varepsilon^{-1})$ to obtain $\varepsilon$ total variation distance to the target density, better than most existing results under the same assumptions. Our method is based on the proximal bundle method and an alternating sampling framework. This framework requires the so-called restricted Gaussian oracle, which can be viewed as a sampling counterpart of the proximal mapping in convex optimization. One key contribution of this work is a fast algorithm that realizes the restricted Gaussian oracle for any convex non-smooth potential with bounded Lipschitz constant.


title: Self-explaining Neural Network with Concept-based Explanations for ICU Mortality Prediction

abstract: Complex deep learning models show high prediction tasks in various clinical prediction tasks but their inherent complexity makes it more challenging to explain model predictions for clinicians and healthcare providers. Existing research on explainability of deep learning models in healthcare have two major limitations: using post-hoc explanations and using raw clinical variables as units of explanation, both of which are often difficult for human interpretation. In this work, we designed a self-explaining deep learning framework using the expert-knowledge driven clinical concepts or intermediate features as units of explanation. The self-explaining nature of our proposed model comes from generating both explanations and predictions within the same architectural framework via joint training. We tested our proposed approach on a publicly available Electronic Health Records (EHR) dataset for predicting patient mortality in the ICU. In order to analyze the performance-interpretability trade-off, we compared our proposed model with a baseline having the same set-up but without the explanation components. Experimental results suggest that adding explainability components to a deep learning framework does not impact prediction performance and the explanations generated by the model can provide insights to the clinicians to understand the possible reasons behind patient mortality.


title: Embed Everything: A Method for Efficiently Co-Embedding Multi-Modal Spaces

abstract: Any general artificial intelligence system must be able to interpret, operate on, and produce data in a multi-modal latent space that can represent audio, imagery, text, and more. In the last decade, deep neural networks have seen remarkable success in unimodal data distributions, while transfer learning techniques have seen a massive expansion of model reuse across related domains. However, training multi-modal networks from scratch remains expensive and illusive, while heterogeneous transfer learning (HTL) techniques remain relatively underdeveloped. In this paper, we propose a novel and cost-effective HTL strategy for co-embedding multi-modal spaces. Our method avoids cost inefficiencies by preprocessing embeddings using pretrained models for all components, without passing gradients through these models. We prove the use of this system in a joint image-audio embedding task. Our method has wide-reaching applications, as successfully bridging the gap between different latent spaces could provide a framework for the promised "universal" embedding.


title: A Review of Physics-based Machine Learning in Civil Engineering

abstract: The recent development of machine learning (ML) and Deep Learning (DL) increases the opportunities in all the sectors. ML is a significant tool that can be applied across many disciplines, but its direct application to civil engineering problems can be challenging. ML for civil engineering applications that are simulated in the lab often fail in real-world tests. This is usually attributed to a data mismatch between the data used to train and test the ML model and the data it encounters in the real world, a phenomenon known as data shift. However, a physics-based ML model integrates data, partial differential equations (PDEs), and mathematical models to solve data shift problems. Physics-based ML models are trained to solve supervised learning tasks while respecting any given laws of physics described by general nonlinear equations. Physics-based ML, which takes center stage across many science disciplines, plays an important role in fluid dynamics, quantum mechanics, computational resources, and data storage. This paper reviews the history of physics-based ML and its application in civil engineering.


title: Generalized Stallings' decomposition theorem for pro-$p$ groups

abstract: The celebrated Stallings' decomposition theorem states that the splitting of a finite index subgroup $H$ of a finitely generated group $G$ as an amalgamated free product or an HNN-extension over a finite group implies the same for $G$. We generalize the pro-$p$ version of it proved by Weigel and the second author to splittings over infinite pro-$p$ groups. This generalization does not have any abstract analogs. We also prove that generalized accessibility of finitely generated pro-$p$ groups is closed for commensurability.


title: Ramification of multiple eigenvalues for the Dirichlet-Laplacian in perforated domains

abstract: Taking advantage from the so-called "Lemma on small eigenvalues" by Colin de Verdi\`ere, we study ramification for multiple eigenvalues of the Dirichlet Laplacian in bounded perforated domains. The asymptotic behavior of multiple eigenvalues turns out to depend on the asymptotic expansion of suitable associated eigenfunctions. We treat the case of planar domains in details, thanks to the asymptotic expansion of a generalization of the so-called u-capacity which we compute in dimension 2. In this case multiple eigenvalues are proved to split essentially by different rates of convergence of the perturbed eigenvalues or by different coefficients in front of their expansion if the rate of two eigenbranches turns out to be the same.


title: Learning Single/Multi-Attribute of Object with Symmetry and Group

abstract: Attributes and objects can compose diverse compositions. To model the compositional nature of these concepts, it is a good choice to learn them as transformations, e.g., coupling and decoupling. However, complex transformations need to satisfy specific principles to guarantee rationality. Here, we first propose a previously ignored principle of attribute-object transformation: Symmetry. For example, coupling peeled-apple with attribute peeled should result in peeled-apple, and decoupling peeled from apple should still output apple. Incorporating the symmetry, we propose a transformation framework inspired by group theory, i.e., SymNet. It consists of two modules: Coupling Network and Decoupling Network. We adopt deep neural networks to implement SymNet and train it in an end-to-end paradigm with the group axioms and symmetry as objectives. Then, we propose a Relative Moving Distance (RMD) based method to utilize the attribute change instead of the attribute pattern itself to classify attributes. Besides the compositions of single-attribute and object, our RMD is also suitable for complex compositions of multiple attributes and objects when incorporating attribute correlations. SymNet can be utilized for attribute learning, compositional zero-shot learning and outperforms the state-of-the-art on four widely-used benchmarks. Code is at https://github.com/DirtyHarryLYL/SymNet.


title: Learning MRI Artifact Removal With Unpaired Data

abstract: Retrospective artifact correction (RAC) improves image quality post acquisition and enhances image usability. Recent machine learning driven techniques for RAC are predominantly based on supervised learning and therefore practical utility can be limited as data with paired artifact-free and artifact-corrupted images are typically insufficient or even non-existent. Here we show that unwanted image artifacts can be disentangled and removed from an image via an RAC neural network learned with unpaired data. This implies that our method does not require matching artifact-corrupted data to be either collected via acquisition or generated via simulation. Experimental results demonstrate that our method is remarkably effective in removing artifacts and retaining anatomical details in images with different contrasts.


title: A novel finite element approximation of anisotropic curve shortening flow

abstract: We extend the DeTurck trick from the classical isotropic curve shortening flow to the anisotropic setting. Here the anisotropic energy density is allowed to depend on space, which allows an interpretation in the context of Finsler metrics, giving rise to e.g.\ geodesic curvature flow in Riemannian manifolds. Assuming that the density is strictly convex and smooth, we introduce a novel weak formulation for anisotropic curve shortening flow. We then derive an optimal $H^1$--error bound for a continuous-in-time semidiscrete finite element approximation that uses piecewise linear elements. In addition, we consider some fully practical fully discrete schemes and prove their unconditional stability. Finally, we present several numerical simulations, including some convergence experiments that confirm the derived error bound, as well as applications to crystalline curvature flow and geodesic curvature flow.


title: Linear-time algorithm for vertex 2-coloring without monochromatic triangles on planar graphs

abstract: In the problem of 2-coloring without monochromatic triangles (or triangle-tree 2-coloring), vertices of the simple, connected, undirected graph are colored with either 'black' or 'white' such that there are no 3 mutually adjacent vertices of the same color. In this paper we are positively answering the question posed in our previous work, namely, if there exists an algorithm solving 2-coloring without monochromatic triangles on planar graphs with linear-time complexity.


title: The benefits of structural disorder in natural cellular solids

abstract: Structural cellular materials in nature, such as wood, trabecular bone, corals, and dentin combine complex biological functions with structural roles, such as skeletal support and impact protection1,2. They feature complex structural hierarchies from nano- to macroscale that enable optimization of both strength and toughness (flaw tolerance) simultaneously3-9. These hierarchies typically exhibit structural disorder in the arrangement of pores. The degree of disorder, however, has not been systematically quantified before, and its role in the mechanical performance of cellular biomaterials is generally unknown. Here we have applied Voronoi tessellations to quantify the cell size variation in 2D cross-sections of biological and engineered cellular materials, using a disorder parameter (d) ranging between 0 (highly disordered) to 1.0 (regular hexagonal honeycomb). We demonstrate that various plant, fungi, and animal cellular materials show characteristic ranges of disorder. Using 3D printed analogues and numerical methods, we demonstrate experimentally a range of pseudo-order (d=0.6 to 0.8) that exhibits a > 30% increase in fracture toughness (and equivalent strength) compared to hexagonal honeycombs (d=1.0) of equal density. Our results show this range of disorder is similar to that identified in the biological examples, which suggests convergent evolution. This optimal degree of structural disorder limits catastrophic failure, providing an evolutionary advantage for organism survival. Distributed structural damage limits cracks below a maximum threshold size and also enables tissue repair mechanisms after trauma. Our work shows that tailored disorder should be considered as a new design paradigm for digitally fabricated, lightweight architected materials to improve damage tolerance.


title: Killing tensors in foliated spacetimes and photon surfaces

abstract: We discuss a recently proposed geometric method for constructing a nontrivial Killing tensor of rank two in a foliated spacetime of codimension one that lifts trivial Killing tensors from slices to the entire manifold. The existence of nontrivial Killing tensor is closely related to generalized photon surfaces. The method is illustrated in some known cases and used to construct the hitherto unknown Killing tensor for the Nutty dyon in dilaton-axion gravity.


title: Sharp estimates for the covering numbers of the Weierstrass fractal kernel

abstract: In this paper, we use the infamous continuous and nowhere differentiable Weierstrass function as a prototype to define a Weierstrass fractal kernel. We investigate the properties of the reproducing kernel Hilbert space (RKHS) associated with this kernel by presenting an explicit characterization of this space. In particular, we show that this space has a dense subset composed of continuous but nowhere differentiable functions. Moreover, we present sharp estimates for the covering numbers of the unit ball of this space as a subset of the continuous functions.


title: Photon regions in stationary axisymmetric spacetimes and umbilic conditions

abstract: We present the fundamentals of the recently proposed geometric description of photon regions in terms of foliation into fundamental photon hypersurfaces, which satisfies the umbilic condition for the subbundle of the tangent bundle defined by the generalized impact parameter.


title: Bogoliubov theory of the laser linewidth and application to polariton condensates

abstract: For a generic semi-classical laser dynamics in the complex Ginzburg-Landau form, we develop a Bogoliubov approach for the computation of the laser emission linewidth. Our method provides a unifying perspective of the treatments by Henry and Petermann: both broadening mechanisms are ascribed to the non-orthogonality of the Bogoliubov modes, which live in a space with doubled degrees of freedom. As an example of application, the method allows to study the interplay of driven-dissipation, interactions and spatial inhomogeneity typical of polariton condensates. The traditional theory of the Henry and Petermann factors is found to fail dramatically in the presence of sizable polariton-polariton interactions. In particular, also in a strong confining potential, the intrinsically multi-mode nature of the density fluctuations has to be considered in order to describe quantitatively phase diffusion {\em \`a la} Henry.


title: Personalized Automatic Speech Recognition Trained on Small Disordered Speech Datasets

abstract: This study investigates the performance of personalized automatic speech recognition (ASR) for recognizing disordered speech using small amounts of per-speaker adaptation data. We trained personalized models for 195 individuals with different types and severities of speech impairment with training sets ranging in size from <1 minute to 18-20 minutes of speech data. Word error rate (WER) thresholds were selected to determine Success Percentage (the percentage of personalized models reaching the target WER) in different application scenarios. For the home automation scenario, 79% of speakers reached the target WER with 18-20 minutes of speech; but even with only 3-4 minutes of speech, 63% of speakers reached the target WER. Further evaluation found similar improvement on test sets with conversational and out-of-domain, unprompted phrases. Our results demonstrate that with only a few minutes of recordings, individuals with disordered speech could benefit from personalized ASR.


title: Fracture Diodes: Directional asymmetry of fracture toughness

abstract: Toughness describes the ability of a material to resist fracture or crack propagation. It is demonstrated here that fracture toughness of a material can be asymmetric, i.e., the resistance of a medium to a crack propagating from right to left can be significantly different from that to a crack propagating from left to right. Such asymmetry is unknown in natural materials, but we show that it can be built into artificial materials through the proper control of microstructure. This paves the way for control of crack paths and direction, where fracture -- when unavoidable -- can be guided through pre-designed paths to minimize loss of critical components.


title: Empathetic Response Generation through Graph-based Multi-hop Reasoning on Emotional Causality

abstract: Empathetic response generation aims to comprehend the user emotion and then respond to it appropriately. Most existing works merely focus on what the emotion is and ignore how the emotion is evoked, thus weakening the capacity of the model to understand the emotional experience of the user for generating empathetic responses. To tackle this problem, we consider the emotional causality, namely, what feelings the user expresses (i.e., emotion) and why the user has such feelings (i.e., cause). Then, we propose a novel graph-based model with multi-hop reasoning to model the emotional causality of the empathetic conversation. Finally, we demonstrate the effectiveness of our model on EMPATHETICDIALOGUES in comparison with several competitive models.


title: Evaluation and Ranking of Replica Deployments in Geographic State Machine Replication

abstract: Geographic state machine replication (SMR) is a replication method in which replicas of a service are located on multiple continents to improve the fault tolerance of a general service. Nowadays, geographic SMR is easily realized using public cloud services; SMR provides extraordinary resilience against catastrophic disasters. Previous studies have revealed that the geographic distribution of the replicas has a significant influence on the performance of the geographic SMR; however, the optimal way for a system integrator to deploy replicas remains unknown. In this paper, we propose a method to evaluate and rank replica deployments to assist a system integrator in deciding a final replica deployment. In the method, we also propose a novel evaluation function that estimates a latency of SMR protocols with round-trip time (RTT). To demonstrate the effectiveness of the proposed method, we build thousands of geographic SMRs on Amazon Web Services and present experimental results. The results show that the proposed method that estimates a latency based on RTTs can generate consistent rankings with reasonable calculation time.


title: Discriminative Multimodal Learning via Conditional Priors in Generative Models

abstract: Deep generative models with latent variables have been used lately to learn joint representations and generative processes from multi-modal data. These two learning mechanisms can, however, conflict with each other and representations can fail to embed information on the data modalities. This research studies the realistic scenario in which all modalities and class labels are available for model training, but where some modalities and labels required for downstream tasks are missing. We show, in this scenario, that the variational lower bound limits mutual information between joint representations and missing modalities. We, to counteract these problems, introduce a novel conditional multi-modal discriminative model that uses an informative prior distribution and optimizes a likelihood-free objective function that maximizes mutual information between joint representations and missing modalities. Extensive experimentation demonstrates the benefits of our proposed model, empirical results show that our model achieves state-of-the-art results in representative problems such as downstream classification, acoustic inversion, and image and annotation generation.


title: WKB approach to the gravity-matter dynamics: a cosmological implementation

abstract: The problem of time emerging in the canonical quantization procedure of gravity signals a necessity to properly define a relational time parameter. Previous approaches, which are here briefly discussed, make use of the dependence of the quantum system on semiclassical gravitational variables in order to define time. We show that such paths, despite the following studies, lead to a non-unitary evolution. We propose a different model for the quantization of the gravity-matter system, where the time parameter is defined via an additional term, i.e. the kinematical action, which acts as a clock for quantum matter. The procedure here used implements a Born-Oppenheimer-like separation of the system, which maintains covariance under the foliation of the gravitational background and keeps the correct classical limit of standard quantum field theory on a fixed background. It is shown with a WKB expansion that quantum gravity corrections to the matter dynamics arise at the next order of expansion, and such contributions are unitary, signalling a striking difference from previous proposals. Applications to a cosmological model are presented and the analogies of the kinematical term with an incoherent dust are briefly discussed.


title: A Multiple Snapshot Attack on Deniable Storage Systems

abstract: While disk encryption is suitable for use in most situations where confidentiality of disks is required, stronger guarantees are required in situations where adversaries may employ coercive tactics to gain access to cryptographic keys. Deniable volumes are one such solution in which the security goal is to prevent an adversary from discovering that there is an encrypted volume. Multiple snapshot attacks, where an adversary is able to gain access to two or more images of a disk, have often been proposed in the deniable storage system literature; however, there have been no concrete attacks proposed or carried out. We present the first multiple snapshot attack, and we find that it is applicable to most, if not all, implemented deniable storage systems. Our attack leverages the pattern of consecutive block changes an adversary would have access to with two snapshots, and demonstrate that with high probability it detects moderately sized and large hidden volumes, while maintaining a low false positive rate.


title: Google Landmark Retrieval 2021 Competition Third Place Solution

abstract: We present our solutions to the Google Landmark Challenges 2021, for both the retrieval and the recognition tracks. Both solutions are ensembles of transformers and ConvNet models based on Sub-center ArcFace with dynamic margins. Since the two tracks share the same training data, we used the same pipeline and training approach, but with different model selections for the ensemble and different post-processing. The key improvement over last year is newer state-of-the-art vision architectures, especially transformers which significantly outperform ConvNets for the retrieval task. We finished third and fourth places for the retrieval and recognition tracks respectively.


title: A Framework for Rationale Extraction for Deep QA models

abstract: As neural-network-based QA models become deeper and more complex, there is a demand for robust frameworks which can access a model's rationale for its prediction. Current techniques that provide insights on a model's working are either dependent on adversarial datasets or are proposing models with explicit explanation generation components. These techniques are time-consuming and challenging to extend to existing models and new datasets. In this work, we use `Integrated Gradients' to extract rationale for existing state-of-the-art models in the task of Reading Comprehension based Question Answering (RCQA). On detailed analysis and comparison with collected human rationales, we find that though ~40-80% words of extracted rationale coincide with the human rationale (precision), only 6-19% of human rationale is present in the extracted rationale (recall).


title: Universal Paralinguistic Speech Representations Using Self-Supervised Conformers

abstract: Many speech applications require understanding aspects beyond the words being spoken, such as recognizing emotion, detecting whether the speaker is wearing a mask, or distinguishing real from synthetic speech. In this work, we introduce a new state-of-the-art paralinguistic representation derived from large-scale, fully self-supervised training of a 600M+ parameter Conformer-based architecture. We benchmark on a diverse set of speech tasks and demonstrate that simple linear classifiers trained on top of our time-averaged representation outperform nearly all previous results, in some cases by large margins. Our analyses of context-window size demonstrate that, surprisingly, 2 second context-windows achieve 96\% the performance of the Conformers that use the full long-term context on 7 out of 9 tasks. Furthermore, while the best per-task representations are extracted internally in the network, stable performance across several layers allows a single universal representation to reach near optimal performance on all tasks.


title: Does Preprocessing Help Training Over-parameterized Neural Networks?

abstract: Deep neural networks have achieved impressive performance in many areas. Designing a fast and provable method for training neural networks is a fundamental question in machine learning. The classical training method requires paying $\Omega(mnd)$ cost for both forward computation and backward computation, where $m$ is the width of the neural network, and we are given $n$ training points in $d$-dimensional space. In this paper, we propose two novel preprocessing ideas to bypass this $\Omega(mnd)$ barrier: $\bullet$ First, by preprocessing the initial weights of the neural networks, we can train the neural network in $\widetilde{O}(m^{1-\Theta(1/d)} n d)$ cost per iteration. $\bullet$ Second, by preprocessing the input data points, we can train the neural network in $\widetilde{O} (m^{4/5} nd )$ cost per iteration. From the technical perspective, our result is a sophisticated combination of tools in different fields, greedy-type convergence analysis in optimization, sparsity observation in practical work, high-dimensional geometric search in data structure, concentration and anti-concentration in probability. Our results also provide theoretical insights for a large number of previously established fast training methods. In addition, our classical algorithm can be generalized to the Quantum computation model. Interestingly, we can get a similar sublinear cost per iteration but avoid preprocessing initial weights or input data points.


title: Local Optical Chirality Induced by Near-Field Mode Interference in Achiral Plasmonic Metamolecules

abstract: When circularly polarized light interacts with a nanostructure, the optical response depends on the geometry of the structure. If the nanostructure is chiral (i.e., it cannot be superimposed on its mirror image), then its optical response, both in near-field and far-field, depends on the handedness of the incident light. In contrast, achiral structures exhibit identical far-field responses for left- and right-circular polarization. Here, we show that a perfectly achiral nanostructure, a plasmonic metamolecule with trigonal D3h symmetry, exhibits a near-field response that is sensitive to the handedness of light. This effect stems from the near-field interference between the different plasmonic modes sustained by the plasmonic metamolecule under circularly polarized light excitation. The local chirality in a plasmonic trimer is then experimentally evidenced with nanoscale resolution using a molecular probe. Our experiments demonstrate that the optical near-field chirality can be imprinted into the photosensitive polymer, turning an optical chirality into a geometrical chirality that can be imaged using atomic force microscopy. These results are of interest for the field of polarization-sensitive photochemistry.


title: Iterative Refinement Graph Neural Network for Antibody Sequence-Structure Co-design

abstract: Antibodies are versatile proteins that bind to pathogens like viruses and stimulate the adaptive immune system. The specificity of antibody binding is determined by complementarity-determining regions (CDRs) at the tips of these Y-shaped proteins. In this paper, we propose a generative model to automatically design the CDRs of antibodies with enhanced binding specificity or neutralization capabilities. Previous generative approaches formulate protein design as a structure-conditioned sequence generation task, assuming the desired 3D structure is given a priori. In contrast, we propose to co-design the sequence and 3D structure of CDRs as graphs. Our model unravels a sequence autoregressively while iteratively refining its predicted global structure. The inferred structure in turn guides subsequent residue choices. For efficiency, we model the conditional dependence between residues inside and outside of a CDR in a coarse-grained manner. Our method achieves superior log-likelihood on the test set and outperforms previous baselines in designing antibodies capable of neutralizing the SARS-CoV-2 virus.


title: Minimization of hypersurfaces

abstract: Let $F \in \mathbb{Z}[x_0, \ldots, x_n]$ be homogeneous of degree $d$ and assume that $F$ is not a `nullform', i.e., there is an invariant $I$ of forms of degree $d$ in $n+1$ variables such that $I(F) \neq 0$. Equivalently, $F$ is semistable in the sense of Geometric Invariant Theory. Minimizing $F$ at a prime $p$ means to produce $T \in \operatorname{Mat}(n+1, \mathbb{Z}) \cap \operatorname{GL}(n+1, \mathbb{Q})$ and $e \in \mathbb{Z}_{\ge 0}$ such that $F_1 = p^{-e} F([x_0, \ldots, x_n] \cdot T)$ has integral coefficients and $v_p(I(F_1))$ is minimal among all such $F_1$. Following Koll\'ar, the minimization process can be described in terms of applying weight vectors $w \in \mathbb{Z}_{\ge 0}^{n+1}$ to $F$. We show that for any dimension $n$ and degree $d$, there is a complete set of weight vectors consisting of $[0,w_1,w_2,\dots,w_n]$ with $0 \le w_1 \le w_2 \le \dots \le w_n \le 2 n d^{n-1}$. When $n = 2$, we improve the bound to $d$. This answers a question raised by Koll\'ar. These results are valid in a more general context, replacing $\mathbb{Z}$ and $p$ by a PID $R$ and a prime element of $R$. Based on this result and a further study of the minimization process in the planar case $n = 2$, we devise an efficient minimization algorithm for ternary forms (equivalently, plane curves) of arbitrary degree $d$. We also describe a similar algorithm that allows to minimize (and reduce) cubic surfaces. The algorithms are available in the computer algebra system Magma.


title: The evolution of the mechanisms of SARS-CoV-2 evolution revealing vaccine-resistant mutations in Europe and America

abstract: The importance of understanding SARS-CoV-2 evolution cannot be overemphasized. Recent studies confirm that natural selection is the dominating mechanism of SARS-CoV-2 evolution, which favors mutations that strengthen viral infectivity. We demonstrate that vaccine-breakthrough or antibody-resistant mutations provide a new mechanism of viral evolution. Specifically, vaccine-resistant mutation Y449S in the spike (S) protein receptor-bonding domain (RBD), which occurred in co-mutation [Y449S, N501Y], has reduced infectivity compared to the original SARS-CoV-2 but can disrupt existing antibodies that neutralize the virus. By tracing the evolutionary trajectories of vaccine-resistant mutations in over 1.9 million SARS-CoV-2 genomes, we reveal that the occurrence and frequency of vaccine-resistant mutations correlate strongly with the vaccination rates in Europe and America. We anticipate that as a complementary transmission pathway, vaccine-resistant mutations will become a dominating mechanism of SARS-CoV-2 evolution when most of the world's population is vaccinated. Our study sheds light on SARS-CoV-2 evolution and transmission and enables the design of the next-generation mutation-proof vaccines and antibody drugs.


title: Vector-quantized Image Modeling with Improved VQGAN

abstract: Pretraining language models with next-token prediction on massive text corpora has delivered phenomenal zero-shot, few-shot, transfer learning and multi-tasking capabilities on both generative and discriminative language tasks. Motivated by this success, we explore a Vector-quantized Image Modeling (VIM) approach that involves pretraining a Transformer to predict rasterized image tokens autoregressively. The discrete image tokens are encoded from a learned Vision-Transformer-based VQGAN (ViT-VQGAN). We first propose multiple improvements over vanilla VQGAN from architecture to codebook learning, yielding better efficiency and reconstruction fidelity. The improved ViT-VQGAN further improves vector-quantized image modeling tasks, including unconditional, class-conditioned image generation and unsupervised representation learning. When trained on ImageNet at \(256\times256\) resolution, we achieve Inception Score (IS) of 175.1 and Fr'echet Inception Distance (FID) of 4.17, a dramatic improvement over the vanilla VQGAN, which obtains 70.6 and 17.04 for IS and FID, respectively. Based on ViT-VQGAN and unsupervised pretraining, we further evaluate the pretrained Transformer by averaging intermediate features, similar to Image GPT (iGPT). This ImageNet-pretrained VIM-L significantly beats iGPT-L on linear-probe accuracy from 60.3% to 73.2% for a similar model size. VIM-L also outperforms iGPT-XL which is trained with extra web image data and larger model size.


title: Exact integrability conditions for cotangent vector fields

abstract: In Quantum Hydro-Dynamics the following problem is relevant: let $(\sqrt{\rho},\Lambda) \in H^1(\R^d) \times L^2(\R^d,\R^d)$ be a finite energy hydrodynamics state, i.e. $\Lambda = 0$ when $\rho = 0$ and \begin{equation*} E = \int_{\R^d} \frac{1}{2} \big| \nabla \sqrt{\rho} \big|^2 + \frac{1}{2} \Lambda^2 \mathcal L^d < \infty. \end{equation*} The question is under which conditions there exists a wave function $\psi \in H^1(\R^d,\C)$ such that \begin{equation*} \sqrt{\rho} = |\psi|, \quad J = \sqrt{\rho} \Lambda = \Im \big( \bar \psi \nabla \psi). \end{equation*} The second equation gives for $\psi = \sqrt{\rho} w$ smooth, $|w| = 1$, that $i \Lambda = \sqrt{\rho} \bar w \nabla w$. Interpreting $\rho \mathcal L^d$ as a measure in the metric space $\R^d$, this question can be stated in generality as follows: given metric measure space $(X,d,\mu)$ and a cotangent vector field $v \in L^2(T^* X)$, is there a function $w \in H^1(\mu,\mathbb S^1)$ such that \begin{equation*} dw = i w v. \end{equation*} %dw = i w v$? We show that under some assumptions on the metric measure space $(X,d,\mu)$ (conditions which are verified on Riemann manifolds with the measure $\mu = \rho \mathrm{Vol}$ or more generally on non-branching $MCP(K,N)$), we show that the necessary and sufficient conditions for the existence of $w$ is that (in the case of differentiable manifold) \begin{equation*} \int v(\gamma(t)) \cdot \dot \gamma (t) dt \in 2\pi \Z \end{equation*} for $\pi$-a.e. $\gamma$, where $\pi$ is a test plan supported on closed curves. This condition generalizes the conditions that the vorticity is quantized. We also give a representation of every possible solution. In particular, we deduce that the wave function $\psi = \sqrt{\rho} w$ is in $W^{1,2}(X)$ whenever $\sqrt{\rho} \in W^{1,2}(X)$.


title: The Neural Testbed: Evaluating Joint Predictions

abstract: Predictive distributions quantify uncertainties ignored by point estimates. This paper introduces The Neural Testbed: an open-source benchmark for controlled and principled evaluation of agents that generate such predictions. Crucially, the testbed assesses agents not only on the quality of their marginal predictions per input, but also on their joint predictions across many inputs. We evaluate a range of agents using a simple neural network data generating process. Our results indicate that some popular Bayesian deep learning agents do not fare well with joint predictions, even when they can produce accurate marginal predictions. We also show that the quality of joint predictions drives performance in downstream decision tasks. We find these results are robust across choice a wide range of generative models, and highlight the practical importance of joint predictions to the community.


title: Perturbed Holomorphic Cylinders, Exponential Estimates, and Flow Lines

abstract: A convergence result for perturbed holomorphic cylinders in $\mathbb{R}^{2n}$ is proved; a sequence of perturbed holomorphic cylinders converges to a configuration of two holomorphic disks joined by a flow line. A key step in the computation is played by an a priori exponential estimate.


title: A Mass-optimized Gravity Tractor for Asteroid Deflection

abstract: A method for asteroid deflection that makes use of a spacecraft moving back and forth on a segment of a Keplerian orbit about the asteroid is studied with the aim of optimizing the initial gross mass of the spacecraft. The corresponding optimization problem is formulated as a discrete nonlinear optimal control problem where the parameters of the orbit segment are the control variables. A hypothetical asteroid deflection problem is solved numerically using the method of dynamic programming, and it is shown that a gravity tractor can be obtained that is significantly more efficient in terms of deflection attained per unit mass of the spacecraft, compared to similar gravity tractors in the literature.


title: DenseNet approach to segmentation and classification of dermatoscopic skin lesions images

abstract: At present, cancer is one of the most important health issues in the world. Because early detection and appropriate treatment in cancer are very effective in the recovery and survival of patients, image processing as a diagnostic tool can help doctors to diagnose in the first recognition of cancer. One of the most important steps in diagnosing a skin lesion is to automatically detect the border of the skin image because the accuracy of the next steps depends on it. If these subtleties are identified, they can have a great impact on the diagnosis of the disease. Therefore, there is a good opportunity to develop more accurate algorithms to analyze such images. This paper proposes an improved method for segmentation and classification for skin lesions using two architectures, the U-Net for image segmentation and the DenseNet121 for image classification which have excellent accuracy. We tested the segmentation architecture of our model on the ISIC-2018 dataset and the classification on the HAM10000 dataset. Our results show that the combination of U-Net and DenseNet121 architectures provides acceptable results in dermatoscopic image analysis compared to previous research. Another classification examined in this study is cancerous and non-cancerous samples. In this classification, cancerous and non-cancerous samples were detected in DenseNet121 network with 79.49% and 93.11% accuracy respectively.


title: Credit Assignment Safety Learning from Human Demonstrations

abstract: A critical need in assistive robotics, such as assistive wheelchairs for navigation, is a need to learn task intent and safety guarantees through user interactions in order to ensure safe task performance. For tasks where the objectives from the user are not easily defined, learning from user demonstrations has been a key step in enabling learning. However, most robot learning from demonstration (LfD) methods primarily rely on optimal demonstration in order to successfully learn a control policy, which can be challenging to acquire from novice users. Recent work does use suboptimal and failed demonstrations to learn about task intent; few focus on learning safety guarantees to prevent repeat failures experienced, essential for assistive robots. Furthermore, interactive human-robot learning aims to minimize effort from the human user to facilitate deployment in the real-world. As such, requiring users to label the unsafe states or keyframes from the demonstrations should not be a necessary requirement for learning. Here, we propose an algorithm to learn a safety value function from a set of suboptimal and failed demonstrations that is used to generate a real-time safety control filter. Importantly, we develop a credit assignment method that extracts the failure states from the failed demonstrations without requiring human labelling or prespecified knowledge of unsafe regions. Furthermore, we extend our formulation to allow for user-specific safety functions, by incorporating user-defined safety rankings from which we can generate safety level sets according to the users' preferences. By using both suboptimal and failed demonstrations and the developed credit assignment formulation, we enable learning a safety value function with minimal effort needed from the user, making it more feasible for widespread use in human-robot interactive learning tasks.


title: Multimodal Sensory Learning for Real-time, Adaptive Manipulation

abstract: Adaptive control for real-time manipulation requires quick estimation and prediction of object properties. While robot learning in this area primarily focuses on using vision, many tasks cannot rely on vision due to object occlusion. Here, we formulate a learning framework that uses multimodal sensory fusion of tactile and audio data in order to quickly characterize and predict an object's properties. The predictions are used in a developed reactive controller to adapt the grip on the object to compensate for the predicted inertial forces experienced during motion. Drawing inspiration from how humans interact with objects, we propose an experimental setup from which we can understand how to best utilize different sensory signals and actively interact with and manipulate objects to quickly learn their object properties for safe manipulation.


title: On spherical 4-distance 7-designs

abstract: We investigate spherical 4-distance 7-designs by studying their distance distributions. We compute these distance distributions and use their product (an integer) to derive certain divisibility conditions relating the dimension $n$ and the cardinality $M$ of our designs. It follows that $n$ divides $12M$ and $n+1$ divides $4M^2$. This result provides a good base for computer experiments to support the folklore conjecture that the only spherical 4-distance 7-designs are the tight spherical 7-designs. We then proceed with a computer assisted proof of this conjecture in all dimensions $n \leq 1000$.


title: Domain wall automotion in three-dimensional magnetic helical interconnectors

abstract: The fundamental limits currently faced by traditional computing devices necessitate the exploration of new ways to store, compute and transmit information. Here, we propose a three-dimensional (3D) magnetic interconnector that exploits geometry-driven automotion of domain walls (DWs), for the transfer of magnetic information between functional magnetic planes. By combining state-of-the-art 3D nanoprinting and standard physical vapor deposition, we prototype 3D helical DW conduits. We observe the automotion of DWs by imaging their magnetic state under different field sequences using X-ray microscopy, observing a robust unidirectional motion of DWs from the bottom to the top of the spirals. From experiments and micromagnetic simulations, we determine that the large thickness gradients present in the structure are the main mechanism for 3D DW automotion. We obtain direct evidence of how this tailorable magnetic energy gradient is imprinted in the devices, and how it competes with pinning effects due to local changes in the energy landscape. Our work also predicts how this effect could lead to high DW velocities, reaching the Walker limit during automotion. This work provides new possibilities for efficient transfer of magnetic information in three dimensions.


title: Depth Optimized Ansatz Circuit in QAOA for Max-Cut

abstract: While a Quantum Approximate Optimization Algorithm (QAOA) is intended to provide a quantum advantage in finding approximate solutions to combinatorial optimization problems, noise in the system is a hurdle in exploiting its full potential. Several error mitigation techniques have been studied to lessen the effect of noise on this algorithm. Recently, Majumdar et al. proposed a Depth First Search (DFS) based method to reduce $n-1$ CNOT gates in the ansatz design of QAOA for finding Max-Cut in a graph G = (V, E), |V| = n. However, this method tends to increase the depth of the circuit, making it more prone to relaxation error. The depth of the circuit is proportional to the height of the DFS tree, which can be $n-1$ in the worst case. In this paper, we propose an $O(\Delta \cdot n^2)$ greedy heuristic algorithm, where $\Delta$ is the maximum degree of the graph, that finds a spanning tree of lower height, thus reducing the overall depth of the circuit while still retaining the $n-1$ reduction in the number of CNOT gates needed in the ansatz. We numerically show that this algorithm achieves nearly 10 times increase in the probability of success for each iteration of QAOA for Max-Cut. We further show that although the average depth of the circuit produced by this heuristic algorithm still grows linearly with n, our algorithm reduces the slope of the linear increase from 1 to 0.11.


title: Satisficing Paths and Independent Multi-Agent Reinforcement Learning in Stochastic Games

abstract: In multi-agent reinforcement learning (MARL), independent learners are those that do not observe the actions of other agents in the system. Due to the decentralization of information, it is challenging to design independent learners that drive play to equilibrium. This paper investigates the feasibility of using satisficing dynamics to guide independent learners to approximate equilibrium in stochastic games. For $\epsilon \geq 0$, an $\epsilon$-satisficing policy update rule is any rule that instructs the agent to not change its policy when it is $\epsilon$-best-responding to the policies of the remaining players; $\epsilon$-satisficing paths are defined to be sequences of joint policies obtained when each agent uses some $\epsilon$-satisficing policy update rule to select its next policy. We establish structural results on the existence of $\epsilon$-satisficing paths into $\epsilon$-equilibrium in both symmetric $N$-player games and general stochastic games with two players. We then present an independent learning algorithm for $N$-player symmetric games and give high probability guarantees of convergence to $\epsilon$-equilibrium under self-play. This guarantee is made using symmetry alone, leveraging the previously unexploited structure of $\epsilon$-satisficing paths.


title: Multi-task learning on the edge: cost-efficiency and theoretical optimality

abstract: This article proposes a distributed multi-task learning (MTL) algorithm based on supervised principal component analysis (SPCA) which is: (i) theoretically optimal for Gaussian mixtures, (ii) computationally cheap and scalable. Supporting experiments on synthetic and real benchmark data demonstrate that significant energy gains can be obtained with no performance loss.


title: Lookup or Exploratory: What is Your Search Intent?

abstract: Search query specificity is broadly divided into two categories - Exploratory or Lookup. If a query specificity can be identified at the run time, it can be used to significantly improve the search results as well as quality of suggestions to alter the query. However, with millions of queries coming every day on a commercial search engine, it is non-trivial to develop a horizontal technique to determine query specificity at run time. Existing techniques suffer either from lack of enough training data or are dependent on information such as query length or session information. In this paper, we show that such methodologies are inadequate or at times misleading. We propose a novel methodology, to overcome these limitations. First, we demonstrate a heuristic-based method to identify Exploratory or Lookup intent queries at scale, classifying millions of queries into the two classes with a high accuracy, as shown in our experiments. Our methodology is not dependent on session data or on query length. Next, we train a transformer-based deep neural network to classify the queries into one of the two classes at run time. Our method uses a bidirectional GRU initialized with pretrained BERT-base-uncased embeddings and an augmented triplet loss to classify the intent of queries without using any session data. We also introduce a novel Semi-Greedy Iterative Training approach to fine-tune our model. Our model is deployable for real time query specificity identification with response time of less than one millisecond. Our technique is generic, and the results have valuable implications for improving the quality of search results and suggestions.


title: Coupled FBSDEs with Measurable Coefficients and its Application to Parabolic PDEs

abstract: Using purely probabilistic methods, we prove the existence and the uniqueness of solutions fora system of coupled forward-backward stochastic differential equations (FBSDEs) with measurable, possibly discontinuous coefficients. As a corollary, we obtain the well-posedness of semilinear parabolic partial differential equations (PDEs) $$ \begin{aligned} &\mathcal{L} u(t,x)+F(t,x,u,\partial_x u)=0;\qquad u(T,x)=h(x)\\ &\mathcal{L}:=\partial_t+\frac{1}{2}\sum_{i,j=1}^m(\sigma\sigma^\intercal)_{ij}(t,x)\partial^2_{x_ix_j} \end{aligned} $$ in the natural domain of the second-order linear parabolic operator $\mathcal{L}$. We allow $F$ and $h$ to be discontinuous with respect to $x$. Finally, we apply the result to optimal policy-making for pandemics and pricing of carbon emission financial derivatives.


title: Journalistic Voting System's Effects on Election Security Threats and Gerrymandering

abstract: The Journalistic Voting System is a proxy voting system in which journalists are delegated the task of voting on behalf of individual voters in a western-style democracy. We introduce the Journalistic Voting System and discuss its potential advantages and potential problems. In particular, we discuss its advantages to individuals in the system (voters, journalists, and politicians) and we discuss its effects relative to several widely discussed threats to election security, namely: cybersecurity, social media, big data, artificial intelligence (AI), and gerrymandering. The Journalistic Voting System is modeled on a predecessor system, called the Valence Voting System, which is reviewed.


title: Differential operators and reflection group of type $B_n$

abstract: In this note, we study the polynomial representation of the quantum Olshanetsky-Perelomov system for a finite reflection group $W$ of type $B_n$. We endow the polynomial ring ${\mathbb C} [x_1,\ldots\\\ldots, x_n]$ with a structure of module over the Weyl algebra associated with the ring ${\mathbb C} [x_1,\ldots,x_n]^{W}$ of invariant polynomials under a reflections group $W$ of type $B_n$. Then we study the polynomial representation of the ring of invariant differential operators under the reflections group $W$. We use the group representation theory namely the higher Specht polynomials associated with the reflection group $W$ and establish a decomposition of that structure by providing explicitly the generators of the simple components.


title: On the Relation between Syntactic Divergence and Zero-Shot Performance

abstract: We explore the link between the extent to which syntactic relations are preserved in translation and the ease of correctly constructing a parse tree in a zero-shot setting. While previous work suggests such a relation, it tends to focus on the macro level and not on the level of individual edges-a gap we aim to address. As a test case, we take the transfer of Universal Dependencies (UD) parsing from English to a diverse set of languages and conduct two sets of experiments. In one, we analyze zero-shot performance based on the extent to which English source edges are preserved in translation. In another, we apply three linguistically motivated transformations to UD, creating more cross-lingually stable versions of it, and assess their zero-shot parsability. In order to compare parsing performance across different schemes, we perform extrinsic evaluation on the downstream task of cross-lingual relation extraction (RE) using a subset of a popular English RE benchmark translated to Russian and Korean. In both sets of experiments, our results suggest a strong relation between cross-lingual stability and zero-shot parsing performance.


title: Breaking the Sample Complexity Barrier to Regret-Optimal Model-Free Reinforcement Learning

abstract: Achieving sample efficiency in online episodic reinforcement learning (RL) requires optimally balancing exploration and exploitation. When it comes to a finite-horizon episodic Markov decision process with $S$ states, $A$ actions and horizon length $H$, substantial progress has been achieved towards characterizing the minimax-optimal regret, which scales on the order of $\sqrt{H^2SAT}$ (modulo log factors) with $T$ the total number of samples. While several competing solution paradigms have been proposed to minimize regret, they are either memory-inefficient, or fall short of optimality unless the sample size exceeds an enormous threshold (e.g., $S^6A^4 \,\mathrm{poly}(H)$ for existing model-free methods). To overcome such a large sample size barrier to efficient RL, we design a novel model-free algorithm, with space complexity $O(SAH)$, that achieves near-optimal regret as soon as the sample size exceeds the order of $SA\,\mathrm{poly}(H)$. In terms of this sample size requirement (also referred to the initial burn-in cost), our method improves -- by at least a factor of $S^5A^3$ -- upon any prior memory-efficient algorithm that is asymptotically regret-optimal. Leveraging the recently introduced variance reduction strategy (also called {\em reference-advantage decomposition}), the proposed algorithm employs an {\em early-settled} reference update rule, with the aid of two Q-learning sequences with upper and lower confidence bounds. The design principle of our early-settled variance reduction method might be of independent interest to other RL settings that involve intricate exploration-exploitation trade-offs.


title: On Transitivity-like Properties for Torsion-Free Abelian Groups

abstract: We study some close relationships between the classes of transitive, fully transitive and Krylov transitive torsion-free Abelian groups. In addition, as an application of the achieved assertions, we resolve some oldstanding problems, posed by Krylov-Mikhalev-Tuganbaev in their monograph [17]. Specifically, we answer Problem 44 from there in the affirmative by constructing a Krylov transitive torsion-free Abelian group which is neither fully transitive nor transitive. This extends to the torsion-free case certain similar results in the p-torsion case, obtained by Braun et al. in J. Algebra (2019). We, alternatively, also expand to the torsion-free version some of the results concerning transitivity, full transitivity and Krylov transitivity in the p-primary case due Files-Goldsmith from Proc. Amer. Math. Soc. (1998) and Danchev-Goldsmith from J. Comm. Algebra (2011).


title: Learning to Follow Language Instructions with Compositional Policies

abstract: We propose a framework that learns to execute natural language instructions in an environment consisting of goal-reaching tasks that share components of their task descriptions. Our approach leverages the compositionality of both value functions and language, with the aim of reducing the sample complexity of learning novel tasks. First, we train a reinforcement learning agent to learn value functions that can be subsequently composed through a Boolean algebra to solve novel tasks. Second, we fine-tune a seq2seq model pretrained on web-scale corpora to map language to logical expressions that specify the required value function compositions. Evaluating our agent in the BabyAI domain, we observe a decrease of 86% in the number of training steps needed to learn a second task after mastering a single task. Results from ablation studies further indicate that it is the combination of compositional value functions and language representations that allows the agent to quickly generalize to new tasks.


title: From Fragmentation to Liberation

abstract: In this paper, I argue that "Internet fragmentation" as a phenomenon is only meaningful in the context of the US's hegemonic control over the Internet. I propose a broader and, I argue, more richly predictive frame: Internet conflict. I show how this frame provides fresh analytical purchase to some of the questions I list above, using it to contextualize several apparently distinct phenomena. I conclude by arguing that only one question gives this analytical frame, or any other, a higher purpose: what particular interventions to Internet governance can produce meaningfully liberatory outcomes? Any descriptive framework is only useful insofar as it can be mobilized to answer this normative question.


title: Interactive Hierarchical Guidance using Language

abstract: Reinforcement learning has been successful in many tasks ranging from robotic control, games, energy management etc. In complex real world environments with sparse rewards and long task horizons, sample efficiency is still a major challenge. Most complex tasks can be easily decomposed into high-level planning and low level control. Therefore, it is important to enable agents to leverage the hierarchical structure and decompose bigger tasks into multiple smaller sub-tasks. We introduce an approach where we use language to specify sub-tasks and a high-level planner issues language commands to a low level controller. The low-level controller executes the sub-tasks based on the language commands. Our experiments show that this method is able to solve complex long horizon planning tasks with limited human supervision. Using language has added benefit of interpretability and ability for expert humans to take over the high-level planning task and provide language commands if necessary.


title: Applications of the Tarski-Kantorovitch Fixed-Point Principle to the study of Infinite Iterated Function Systems

abstract: The aim of this paper is to establish some results regarding Infinite Iterated Function Systems with the help of the Tarski-Kantorovitch fixed-point principles for maps on partially ordered sets. To this end we introduce two new classes of Infinite Iterated Function Systems which are well suited for applying the aforementioned principle. We also study some properties of the canonical projection from the shift space of an Infinite Iterated Function System belonging to one of the two introduced classes to its attractor.


title: Nonlocal Games, Compression Theorems, and the Arithmetical Hierarchy

abstract: We investigate the connection between the complexity of nonlocal games and the arithmetical hierarchy, a classification of languages according to the complexity of arithmetical formulas defining them. It was recently shown by Ji, Natarajan, Vidick, Wright and Yuen that deciding whether the (finite-dimensional) quantum value of a nonlocal game is $1$ or at most $\frac{1}{2}$ is complete for the class $\Sigma_1$ (i.e., $\mathsf{RE}$). A result of Slofstra implies that deciding whether the commuting operator value of a nonlocal game is equal to $1$ is complete for the class $\Pi_1$ (i.e., $\mathsf{coRE}$). We prove that deciding whether the quantum value of a two-player nonlocal game is exactly equal to $1$ is complete for $\Pi_2$; this class is in the second level of the arithmetical hierarchy and corresponds to formulas of the form "$\forall x \, \exists y \, \phi(x,y)$". This shows that exactly computing the quantum value is strictly harder than approximating it, and also strictly harder than computing the commuting operator value (either exactly or approximately). We explain how results about the complexity of nonlocal games all follow in a unified manner from a technique known as compression. At the core of our $\Pi_2$-completeness result is a new "gapless" compression theorem that holds for both quantum and commuting operator strategies. Our compression theorem yields as a byproduct an alternative proof of Slofstra's result that the set of quantum correlations is not closed. We also show how a "gap-preserving" compression theorem for commuting operator strategies would imply that approximating the commuting operator value is complete for $\Pi_1$.


title: Representation Learning for Online and Offline RL in Low-rank MDPs

abstract: This work studies the question of Representation Learning in RL: how can we learn a compact low-dimensional representation such that on top of the representation we can perform RL procedures such as exploration and exploitation, in a sample efficient manner. We focus on the low-rank Markov Decision Processes (MDPs) where the transition dynamics correspond to a low-rank transition matrix. Unlike prior works that assume the representation is known (e.g., linear MDPs), here we need to learn the representation for the low-rank MDP. We study both the online RL and offline RL settings. For the online setting, operating with the same computational oracles used in FLAMBE (Agarwal et.al), the state-of-art algorithm for learning representations in low-rank MDPs, we propose an algorithm REP-UCB Upper Confidence Bound driven Representation learning for RL), which significantly improves the sample complexity from $\widetilde{O}( A^9 d^7 / (\epsilon^{10} (1-\gamma)^{22}))$ for FLAMBE to $\widetilde{O}( A^2 d^4 / (\epsilon^2 (1-\gamma)^{5}) )$ with $d$ being the rank of the transition matrix (or dimension of the ground truth representation), $A$ being the number of actions, and $\gamma$ being the discounted factor. Notably, REP-UCB is simpler than FLAMBE, as it directly balances the interplay between representation learning, exploration, and exploitation, while FLAMBE is an explore-then-commit style approach and has to perform reward-free exploration step-by-step forward in time. For the offline RL setting, we develop an algorithm that leverages pessimism to learn under a partial coverage condition: our algorithm is able to compete against any policy as long as it is covered by the offline distribution.


title: Topological Data Analysis (TDA) Techniques Enhance Hand Pose Classification from ECoG Neural Recordings

abstract: Electrocorticogram (ECoG) well characterizes hand movement intentions and gestures. In the present work we aim to investigate the possibility to enhance hand pose classification, in a Rock-Paper-Scissor - and Rest - task, by introducing topological descriptors of time series data. We hypothesized that an innovative approach based on topological data analysis can extract hidden information that are not detectable with standard Brain Computer Interface (BCI)techniques. To investigate this hypothesis, we integrate topological features together with power band features and feed them to several standard classifiers, e.g. Random Forest,Gradient Boosting. Model selection is thus completed after a meticulous phase of bayesian hyperparameter optimization. With our method, we observed robust results in terms of ac-curacy for a four-labels classification problem, with limited available data. Through feature importance investigation, we conclude that topological descriptors are able to extract useful discriminative information and provide novel insights.Since our data are restricted to single-patient recordings, generalization might be limited. Nevertheless, our method can be extended and applied to a wide range of neurophysiological recordings and it might be an intriguing point of departure for future studies.


title: Complex Network-Based Approach for Feature Extraction and Classification of Musical Genres

abstract: Musical genre's classification has been a relevant research topic. The association between music and genres is fundamental for the media industry, which manages musical recommendation systems, and for music streaming services, which may appear classified by genres. In this context, this work presents a feature extraction method for the automatic classification of musical genres, based on complex networks and their topological measurements. The proposed method initially converts the musics into sequences of musical notes and then maps the sequences as complex networks. Topological measurements are extracted to characterize the network topology, which composes a feature vector that applies to the classification of musical genres. The method was evaluated in the classification of 10 musical genres by adopting the GTZAN dataset and 8 musical genres by adopting the FMA dataset. The results were compared with methods in the literature. The proposed method outperformed all compared methods by presenting high accuracy and low standard deviation, showing its suitability for the musical genre's classification, which contributes to the media industry in the automatic classification with assertiveness and robustness. The proposed method is implemented in an open source in the Python language and freely available at https://github.com/omatheuspimenta/examinner.


title: Disentangled Sequence to Sequence Learning for Compositional Generalization

abstract: There is mounting evidence that existing neural network models, in particular the very popular sequence-to-sequence architecture, struggle to systematically generalize to unseen compositions of seen components. We demonstrate that one of the reasons hindering compositional generalization relates to representations being entangled. We propose an extension to sequence-to-sequence models which encourages disentanglement by adaptively re-encoding (at each time step) the source input. Specifically, we condition the source representations on the newly decoded target context which makes it easier for the encoder to exploit specialized information for each prediction rather than capturing it all in a single forward pass. Experimental results on semantic parsing and machine translation empirically show that our proposal delivers more disentangled representations and better generalization.


title: Streaming on-device detection of device directed speech from voice and touch-based invocation

abstract: When interacting with smart devices such as mobile phones or wearables, the user typically invokes a virtual assistant (VA) by saying a keyword or by pressing a button on the device. However, in many cases, the VA can accidentally be invoked by the keyword-like speech or accidental button press, which may have implications on user experience and privacy. To this end, we propose an acoustic false-trigger-mitigation (FTM) approach for on-device device-directed speech detection that simultaneously handles the voice-trigger and touch-based invocation. To facilitate the model deployment on-device, we introduce a new streaming decision layer, derived using the notion of temporal convolutional networks (TCN) [1], known for their computational efficiency. To the best of our knowledge, this is the first approach that can detect device-directed speech from more than one invocation type in a streaming fashion. We compare this approach with streaming alternatives based on vanilla Average layer, and canonical LSTMs, and show: (i) that all the models show only a small degradation in accuracy compared with the invocation-specific models, and (ii) that the newly introduced streaming TCN consistently performs better or comparable with the alternatives, while mitigating device undirected speech faster in time, and with (relative) reduction in runtime peak-memory over the LSTM-based approach of 33% vs. 7%, when compared to a non-streaming counterpart.


title: On sets of linear forms of maximal complexity

abstract: We present a uniform description of sets of $m$ linear forms in $n$ variables over the field of rational numbers whose computation requires $m(n - 1)$ additions.


title: Differential Motion Evolution for Fine-Grained Motion Deformation in Unsupervised Image Animation

abstract: Image animation is the task of transferring the motion of a driving video to a given object in a source image. While great progress has recently been made in unsupervised motion transfer, requiring no labeled data or domain priors, many current unsupervised approaches still struggle to capture the motion deformations when large motion/view discrepancies occur between the source and driving domains. Under such conditions, there is simply not enough information to capture the motion field properly. We introduce DiME (Differential Motion Evolution), an end-to-end unsupervised motion transfer framework integrating differential refinement for motion estimation. Key findings are twofold: (1) by capturing the motion transfer with an ordinary differential equation (ODE), it helps to regularize the motion field, and (2) by utilizing the source image itself, we are able to inpaint occluded/missing regions arising from large motion changes. Additionally, we also propose a natural extension to the ODE idea, which is that DiME can easily leverage multiple different views of the source object whenever they are available by modeling an ODE per view. Extensive experiments across 9 benchmarks show DiME outperforms the state-of-the-arts by a significant margin and generalizes much better to unseen objects.


title: Exploring constraints on CycleGAN-based CBCT enhancement for adaptive radiotherapy

abstract: Research exploring CycleGAN-based synthetic image generation has recently accelerated in the medical community, as it is able to leverage unpaired datasets effectively. However, clinical acceptance of these synthetic images pose a significant challenge as they are subject to strict evaluation protocols. A commonly established drawback of the CycleGAN, the introduction of artifacts in generated images is unforgivable in the case of medical images. In an attempt to alleviate this drawback, we explore different constraints of the CycleGAN along with investigation of adaptive control of these constraints. The benefits of imposing additional constraints on the CycleGAN, in the form of structure retaining losses is also explored. A generalized frequency loss inspired by arxiv:2012.12821 that preserves content in the frequency domain between source and target is investigated and compared with existing losses such as the MIND loss arXiv:1809.04536. CycleGAN implementations from the ganslate framework (https://github.com/ganslate-team/ganslate) are used for experimentation in this thesis. Synthetic images generated from our methods are quantitatively and qualitatively investigated and outperform the baseline CycleGAN and other approaches. Furthermore, no observable artifacts or loss in image quality is found, which is critical for acceptance of these synthetic images. The synthetic medical images thus generated are also evaluated using domain-specific evaluation and using segmentation as a downstream task, in order to clearly highlight their applicability to clinical workflows.


title: K-Splits: Improved K-Means Clustering Algorithm to Automatically Detect the Number of Clusters

abstract: This paper introduces k-splits, an improved hierarchical algorithm based on k-means to cluster data without prior knowledge of the number of clusters. K-splits starts from a small number of clusters and uses the most significant data distribution axis to split these clusters incrementally into better fits if needed. Accuracy and speed are two main advantages of the proposed method. We experiment on six synthetic benchmark datasets plus two real-world datasets MNIST and Fashion-MNIST, to prove that our algorithm has excellent accuracy in finding the correct number of clusters under different conditions. We also show that k-splits is faster than similar methods and can even be faster than the standard k-means in lower dimensions. Finally, we suggest using k-splits to uncover the exact position of centroids and then input them as initial points to the k-means algorithm to fine-tune the results.


title: An optimal volume growth estimate for noncollapsed steady gradient Ricci solitons

abstract: In this paper, we prove a volume growth estimate for steady gradient Ricci solitons with bounded Nash entropy. We show that such a steady gradient Ricci soliton has volume growth rate no smaller than $r^{\frac{n+1}{2}}.$ This result not only improves the estimate in [CMZ21b, Theorem 1.3], but also is optimal since the Bryant soliton and Appleton's solitons [Ap17] have exactly this growth rate.


title: Cognitively Inspired Learning of Incremental Drifting Concepts

abstract: Humans continually expand their learned knowledge to new domains and learn new concepts without any interference with past learned experiences. In contrast, machine learning models perform poorly in a continual learning setting, where input data distribution changes over time. Inspired by the nervous system learning mechanisms, we develop a computational model that enables a deep neural network to learn new concepts and expand its learned knowledge to new domains incrementally in a continual learning setting. We rely on the Parallel Distributed Processing theory to encode abstract concepts in an embedding space in terms of a multimodal distribution. This embedding space is modeled by internal data representations in a hidden network layer. We also leverage the Complementary Learning Systems theory to equip the model with a memory mechanism to overcome catastrophic forgetting through implementing pseudo-rehearsal. Our model can generate pseudo-data points for experience replay and accumulate new experiences to past learned experiences without causing cross-task interference.


title: Learning to Control Complex Robots Using High-Dimensional Interfaces: Preliminary Insights

abstract: Human body motions can be captured as a high-dimensional continuous signal using motion sensor technologies. The resulting data can be surprisingly rich in information, even when captured from persons with limited mobility. In this work, we explore the use of limited upper-body motions, captured via motion sensors, as inputs to control a 7 degree-of-freedom assistive robotic arm. It is possible that even dense sensor signals lack the salient information and independence necessary for reliable high-dimensional robot control. As the human learns over time in the context of this limitation, intelligence on the robot can be leveraged to better identify key learning challenges, provide useful feedback, and support individuals until the challenges are managed. In this short paper, we examine two uninjured participants' data from an ongoing study, to extract preliminary results and share insights. We observe opportunities for robot intelligence to step in, including the identification of inconsistencies in time spent across all control dimensions, asymmetries in individual control dimensions, and user progress in learning. Machine reasoning about these situations may facilitate novel interface learning in the future.


title: Using Human-Guided Causal Knowledge for More Generalized Robot Task Planning

abstract: A major challenge in research involving artificial intelligence (AI) is the development of algorithms that can find solutions to problems that can generalize to different environments and tasks. Unlike AI, humans are adept at finding solutions that can transfer. We hypothesize this is because their solutions are informed by causal models. We propose to use human-guided causal knowledge to help robots find solutions that can generalize to a new environment. We develop and test the feasibility of a language interface that na\"ive participants can use to communicate these causal models to a planner. We find preliminary evidence that participants are able to use our interface and generate causal models that achieve near-generalization. We outline an experiment aimed at testing far-generalization using our interface and describe our longer terms goals for these causal models.


title: Trigonal Symmetry Breaking and its Electronic Effects in Two-Dimensional Dihalides and Trihalides

abstract: We study the consequences of the approximately trigonal ($D_{3d}$) point symmetry of the transition metal (M) site in two-dimensional van der Waals MX$_2$ dihalides and MX$_3$ trihalides. The trigonal symmetry leads to a 2-2-1 orbital splitting of the transition metal $d$ shell, which may be tuned by the interlayer distance, and changes in the ligand-ligand bond lengths. Orbital order coupled to various lower symmetry lattice modes may lift the remaining orbital degeneracies, and we explain how these may support unique electronic states using ZrI$_2$ and CuCl$_2$ as examples, and offer a brief overview of possible electronic configurations in this class of materials. By building and analysing Wannier models adapted to the appropriate symmetry we examine how the interplay among trigonal symmetry, electronic correlation effects, and $p$-$d$ orbital charge transfer leads to insulating, orbitally polarized magnetic and/or orbital-selective Mott states. Our work establishes a rigorous framework to understand, control, and tune the electronic states in low-dimensional correlated halides. Our analysis shows that trigonal symmetry and its breaking is a key feature of the 2D halides that needs to be accounted for in search of novel electronic states in materials ranging from CrI$_3$ to $\alpha$-RuCl$_3$.


title: Hidden electronic order in 1T-VSe2

abstract: Here, we study the surface electronic structure of 1T-VSe2 by means of angle resolved photoemission spectroscopy and uncover a dispersion-less emission located in the vicinity of the Fermi level. Its crystal momentum dependency reveals that it occupies large portions of the Brillouin zone (BZ), where no bulk band is expected. Upon electron doping (deposition of Rb-atoms), the system evolves in a surprising way. Besides the expected down-shifting of the bands, a splitting of both bulk and the dispersion-less emission is observed. This peculiar behaviour strongly suggests the intrinsic nature of this emission. Its characterization may therefore be relevant to a deeper understanding of the physics of transition metal dichalcogenides.


title: Competitive Perimeter Defense of Conical Environments

abstract: We consider a perimeter defense problem in a planar conical environment in which a single vehicle, having a finite capture radius, aims to defend a concentric perimeter from mobile intruders. The intruders are arbitrarily released at the circumference of the environment and they move radially toward the perimeter with fixed speed. We present a competitive analysis approach to this problem by measuring the performance of multiple online algorithms for the vehicle against arbitrary inputs, relative to an optimal offline algorithm that has information about entire input sequence in advance. In particular, we establish two necessary conditions on the parameter space to guarantee (i) finite competitiveness of any algorithm and (ii) a competitive ratio of at least 2 for any algorithm. We then design and analyze three online algorithms and characterize parameter regimes in which they have finite competitive ratios. Specifically, our first two algorithms are provably 1, and 2-competitive, respectively, whereas our third algorithm exhibits different competitive ratios in different regimes of problem parameters. Finally, we provide a numerical plot in the parameter space to reveal additional insights into the relative performance of our algorithms.


title: Reconfigurable mechanical vibrations laboratory kit

abstract: Mechanical vibrations appear across a diverse range of applications, but nevertheless are unified by a core set of principles and phenomena. In this article, we describe a reconfigurable laboratory kit that is designed to be used as part of a first undergraduate course in mechanical vibrations. The kit was designed to be low-cost and allow for a series of laboratory experiments to be performed remotely. Using a common set of core hardware and software, five laboratory experiments are detailed and can be performed to supplement many of the major topics traditionally encountered in a first vibrations course. This accessible platform will readily enable further technical improvements and expansions, as well as the development of additional instructional modules.


title: Leveraging Experience in Lazy Search

abstract: Lazy graph search algorithms are efficient at solving motion planning problems where edge evaluation is the computational bottleneck. These algorithms work by lazily computing the shortest potentially feasible path, evaluating edges along that path, and repeating until a feasible path is found. The order in which edges are selected is critical to minimizing the total number of edge evaluations: a good edge selector chooses edges that are not only likely to be invalid, but also eliminates future paths from consideration. We wish to learn such a selector by leveraging prior experience. We formulate this problem as a Markov Decision Process (MDP) on the state of the search problem. While solving this large MDP is generally intractable, we show that we can compute oracular selectors that can solve the MDP during training. With access to such oracles, we use imitation learning to find effective policies. If new search problems are sufficiently similar to problems solved during training, the learned policy will choose a good edge evaluation ordering and solve the motion planning problem quickly. We evaluate our algorithms on a wide range of 2D and 7D problems and show that the learned selector outperforms baseline commonly used heuristics. We further provide a novel theoretical analysis of lazy search in a Bayesian framework as well as regret guarantees on our imitation learning based approach to motion planning.