title: A Probabilistic Model for Discriminative and Neuro-Symbolic Semi-Supervised Learning

abstract: Much progress has been made in semi-supervised learning (SSL) by combining methods that exploit different aspects of the data distribution, e.g. consistency regularisation relies on properties of $p(x)$, whereas entropy minimisation pertains to the label distribution $p(y|x)$. Focusing on the latter, we present a probabilistic model for discriminative SSL, that mirrors its classical generative counterpart. Under the assumption $y|x$ is deterministic, the prior over latent variables becomes discrete. We show that several well-known SSL methods can be interpreted as approximating this prior, and can be improved upon. We extend the discriminative model to neuro-symbolic SSL, where label features satisfy logical rules, by showing such rules relate directly to the above prior, thus justifying a family of methods that link statistical learning and logical reasoning, and unifying them with regular SSL.


title: On the Tur\'an number of the blow-up of the hexagon

abstract: The $r$-blowup of a graph $F$, denoted by $F[r]$, is the graph obtained by replacing the vertices and edges of $F$ with independent sets of size $r$ and copies of $K_{r,r}$, respectively. For bipartite graphs $F$, very little is known about the order of magnitude of the Tur\'an number of $F[r]$. In this paper we prove that $\mathrm{ex}(n,C_6[2])=O(n^{5/3})$ and, more generally, for any positive integer $t$, $\mathrm{ex}(n,\theta_{3,t}[2])=O(n^{5/3})$. This is tight when $t$ is sufficiently large.


title: Constraint reduction reformulations for projection algorithms with applications to wavelet construction

abstract: We introduce a reformulation technique that converts a many-set feasibility problem into an equivalent two-set problem. This technique involves reformulating the original feasibility problem by replacing a pair of its constraint sets with their intersection, before applying Pierra's classical product space reformulation. The step of combining the two constraint sets reduces the dimension of the product spaces. We refer to this as the constraint reduction reformulation and use it to obtain constraint-reduced variants of well-known projection algorithms such as the Douglas--Rachford algorithm and the method of alternating projections, among others. We prove global convergence of constraint-reduced algorithms in the presence of convexity and local convergence in a nonconvex setting. In order to analyse convergence of the constraint-reduced Douglas--Rachford method, we generalize a classical result which guarantees that the composition of two projectors onto subspaces is a projector onto their intersection. Finally, we apply the constraint-reduced versions of Douglas--Rachford and alternating projections to solve the wavelet feasibility problems, and then compare their performance with their usual product variants.


title: Enabling Discoveries: Thirty Years of Advanced Technologies and Instrumentation at the National Science Foundation

abstract: Over its more than thirty-year history, the Advanced Technologies and Instrumentation (ATI) program has provided grants to support technology development and instrumentation for ground-based astronomy. Through a combination of automated literature assessment and in-depth literature review, we present a survey of ATI-funded research and an assessment of its impact on astronomy and society. Award acknowledgement and literature citation statistics for ATI are comparable to a comparison astronomy grant program that does not support technology development. Citation statistics for both NSF-funded programs exceed those of the general astronomical literature. Numerous examples demonstrate the significant, long term impact of ATI-supported research on astronomy. As part of this impact, ATI grants have provided many early career researchers the opportunity to gain critical professional experience. However, technology development unfolds over a time period that is longer than an individual grant. A longitudinal perspective shows that investments in technology and instrumentation have lead to extraordinary scientific progress.


title: The Hidden Convex Optimization Landscape of Two-Layer ReLU Neural Networks: an Exact Characterization of the Optimal Solutions

abstract: We prove that finding all globally optimal two-layer ReLU neural networks can be performed by solving a convex optimization program with cone constraints. Our analysis is novel, characterizes all optimal solutions, and does not leverage duality-based analysis which was recently used to lift neural network training into convex spaces. Given the set of solutions of our convex optimization program, we show how to construct exactly the entire set of optimal neural networks. We provide a detailed characterization of this optimal set and its invariant transformations. As additional consequences of our convex perspective, (i) we establish that Clarke stationary points found by stochastic gradient descent correspond to the global optimum of a subsampled convex problem (ii) we provide a polynomial-time algorithm for checking if a neural network is a global minimum of the training loss (iii) we provide an explicit construction of a continuous path between any neural network and the global minimum of its sublevel set and (iv) characterize the minimal size of the hidden layer so that the neural network optimization landscape has no spurious valleys. Overall, we provide a rich framework for studying the landscape of neural network training loss through convexity.


title: Self-Stabilizing Automatic Repeat Request Algorithms for (Bounded Capacity, Omitting, Duplicating and non-FIFO) Computer Networks

abstract: End-to-end communication over the network layer (or data link in overlay networks) is one of the most important communication tasks in every communication network, including legacy communication networks as well as mobile ad hoc networks, peer-to-peer networks, and mesh networks. Reliable end-to-end communications are based on Automatic Repeat reQuest (ARQ) algorithms for dealing with packet failures, such as packet drops. We study ARQ algorithms that exchange packets to deliver (high level) messages in first-in-first-out (FIFO) order without omissions or duplications. We present a self-stabilizing ARQ algorithm that can be applied to networks of bounded capacity that are prone to packet loss, duplication, and reordering. Our analysis considers Lamport's happened-before relation when demonstrating stabilization without assuming the presence of a fair scheduler. It shows that the length of the longest chain of Lamport's happened-before relation is 8 for any system run.


title: Q-greedyUCB: a New Exploration Policy for Adaptive and Resource-efficient Scheduling

abstract: This paper proposes a learning algorithm to find a scheduling policy that achieves an optimal delay-power trade-off in communication systems. Reinforcement learning (RL) is used to minimize the expected latency for a given energy constraint where the environments such as traffic arrival rates or channel conditions can change over time. For this purpose, this problem is formulated as an infinite-horizon Markov Decision Process (MDP) with constraints. To handle the constrained optimization problem, we adopt the Lagrangian relaxation technique to solve it. Then, we propose a variant of Q-learning, Q-greedyUCB that combines Q-learning for \emph{average} reward algorithm and Upper Confidence Bound (UCB) policy to solve this decision-making problem. We prove that the Q-greedyUCB algorithm is convergent through mathematical analysis. Simulation results show that Q-greedyUCB finds an optimal scheduling strategy, and is more efficient than Q-learning with the $\varepsilon$-greedy and Average-payoff RL algorithm in terms of the cumulative reward (i.e., the weighted sum of delay and energy) and the convergence speed. We also show that our algorithm can reduce the regret by up to 12% compared to the Q-learning with the $\varepsilon$-greedy and Average-payoff RL algorithm.


title: Two-channel approach to the average retarding force of metals for slow singly ionized projectiles

abstract: Based on the fundamental momentum-transfer theorem [Phys. Rev. Lett. 15, 11 (1965)] a novel contribution to the retarding force of metallic systems for slow intruders is derived. This contribution is associated with sudden charge-changing cycles during the path of projectiles. The sum of the novel and the well-known conventional contributions, both expressed in terms of scattering phase shifts, are used to discuss experimental data obtained for different targets. It is found that our two-channel modeling, with two nonlinear channels, improves the agreement between several data and theory and thus, as predictive modeling, can contribute to the desired convergence between experimental and theoretical attempts on the retarding force.


title: In-situ study of creep in Sn-3Ag-0.5Cu solder

abstract: The creep behaviour and microstructural evolution of a Sn-3Ag-0.5Cu wt.% sample with a columnar microstructure have been investigated through in-situ creep testing under constant stress of 30 MPa at 298 K. This is important, as 298 K is high temperature within the solder system and in-situ observations of microstructure evolutions confirm the mechanisms involved in deformation and ultimately failure of the material. The sample has been observed in-situ using repeat and automatic forescatter diode and auto electron backscatter diffraction imaging. During deformation, polygonisation and recrystallisation are observed heterogeneously with increasing strain, and these correlate with local lattice rotations near matrix-intermetallic compound interfaces. Recrystallised grains have either twin or special boundary relationships to their parent grains. The combination of these two imaging methods reveal one grain (loading direction, LD, 10.4 {\deg} from [100]) deforms less than the neighbour grain 2 (LD 18.8{\deg} from [110]), with slip traces in the strain localised regions. In grain 1, (1-10)[001] slip system are observed and in grain 2, (1-10)[-1-11]/2 and (110)[-111]/2 slip systems are observed. Lattice orientation gradients build up with increasing plastic strain and near fracture recrystallisation is observed concurrent with fracture.


title: Spatial-Temporal Dynamic Graph Attention Networks for Ride-hailing Demand Prediction

abstract: Ride-hailing demand prediction is an essential task in spatial-temporal data mining. Accurate Ride-hailing demand prediction can help to pre-allocate resources, improve vehicle utilization and user experiences. Graph Convolutional Networks (GCN) is commonly used to model the complicated irregular non-Euclidean spatial correlations. However, existing GCN-based ride-hailing demand prediction methods only assign the same importance to different neighbor regions, and maintain a fixed graph structure with static spatial relationships throughout the timeline when extracting the irregular non-Euclidean spatial correlations. In this paper, we propose the Spatial-Temporal Dynamic Graph Attention Network (STDGAT), a novel ride-hailing demand prediction method. Based on the attention mechanism of GAT, STDGAT extracts different pair-wise correlations to achieve the adaptive importance allocation for different neighbor regions. Moreover, in STDGAT, we design a novel time-specific commuting-based graph attention mode to construct a dynamic graph structure for capturing the dynamic time-specific spatial relationships throughout the timeline. Extensive experiments are conducted on a real-world ride-hailing demand dataset, and the experimental results demonstrate the significant improvement of our method on three evaluation metrics RMSE, MAPE and MAE over state-of-the-art baselines.


title: Cold collisions of C$_{2}^{-}$ anions with Li and Rb atoms in hybrid traps

abstract: We present a theoretical investigation of reactive and non-reactive collisions of Li and Rb atoms with C$_{2}^{-}$ molecular anions at low temperatures in the context of sympathetic cooling in hybrid trap experiments. Based on recently reported accurate potential energy surfaces for the singlet and triplet states of the Li-C$_{2}^{-}$ and Rb-C$_{2}^{-}$ systems, we show that the associative electronic detachment reaction is slow if the colliding partners are in their ground state, but fast if they are excited. The results are expected to be representative of the alkali-metal series. We also investigate rotationally inelastic collisions in order to explore the cooling of the translational and rotational degrees of freedom of C$_2^-$ in hybrid ion-atom traps. The effect of micromotion is taken into account by considering Tsallis distributions of collision energies. We show that the translational cooling occurs much more rapidly than rotational cooling and that the presence of excited atoms leads to losses of anions on a timescale comparable to that of rotational cooling.


title: Toward Building Safer Smart Homes for the People with Disabilities

abstract: Situational awareness is a critical foundation for the protection of human life/properties and is challenging to maintain for people with disabilities (i.e., visual impairments and limited mobility). In this paper, we present a dialog enabled end-to-end assistive solution called "SafeAccess" to build a safer smart home by providing situational awareness. The key functions of SafeAccess are: - 1) monitoring homes and identifying incoming persons; 2) helping users in assessing incoming threats (e.g., burglary, robbery, gun violence); and, 3) allowing users to grant safe access to homes for friends/families. In this work, we focus on building a robust model for detecting and recognizing person, generating image descriptions, and designing a prototype for the smart door. To interact with the system, we implemented a dialog enabled smartphone app, especially for creating a personalized profile from face images or videos of friends/families. A Raspberry pi connected to the home monitoring cameras captures the video frames and performs change detection to identify frames with activities. Then, we detect human presence using Faster r-cnn and extract faces using Multi-task Cascaded Convolutional Networks (MTCNN). Subsequently, we match the detected faces using FaceNet/support vector machine (SVM) classifiers. The system notifies users with an MMS containing the name of incoming persons or as "unknown", scene image, facial description, and contextual information. The users can grant access or call emergency services using the SafeAccess app based on the received notification. Our system identifies persons with an F-score 0.97 and recognizes items to generate image description with an average F-score 0.97.


title: Embed2Detect: Temporally Clustered Embedded Words for Event Detection in Social Media

abstract: Social media is becoming a primary medium to discuss what is happening around the world. Therefore, the data generated by social media platforms contain rich information which describes the ongoing events. Further, the timeliness associated with these data is capable of facilitating immediate insights. However, considering the dynamic nature and high volume of data production in social media data streams, it is impractical to filter the events manually and therefore, automated event detection mechanisms are invaluable to the community. Apart from a few notable exceptions, most previous research on automated event detection have focused only on statistical and syntactical features in data and lacked the involvement of underlying semantics which are important for effective information retrieval from text since they represent the connections between words and their meanings. In this paper, we propose a novel method termed Embed2Detect for event detection in social media by combining the characteristics in word embeddings and hierarchical agglomerative clustering. The adoption of word embeddings gives Embed2Detect the capability to incorporate powerful semantical features into event detection and overcome a major limitation inherent in previous approaches. We experimented our method on two recent real social media data sets which represent the sports and political domain and also compared the results to several state-of-the-art methods. The obtained results show that Embed2Detect is capable of effective and efficient event detection and it outperforms the recent event detection methods. For the sports data set, Embed2Detect achieved 27% higher F-measure than the best-performed baseline and for the political data set, it was an increase of 29%.


title: Thermal properties of $\pi$ and $\rho$ meson

abstract: We computed the pole masses and decay constants of $\pi$ and $\rho$ meson at finite temperature in the framework of Dyson-Schwinger equations and Bethe-Salpeter equations approach. Below transition temperature, pion pole mass increases monotonously, while $\rho$ meson seems to be temperature independent. Above transition temperature, pion mass approaches the free field limit, whereas $\rho$ meson is about twice as large as that limit. Pion and the longitudinal projection of $\rho$ meson decay constants have similar behaviour as the order parameter of chiral symmetry, whereas the transverse projection of $\rho$ meson decay constant rises monotonously as temperature increases. The inflection point of decay constant and the chiral susceptibility get the same phase transition temperature. Though there is no access to the thermal width of mesons within this scheme, it is discussed by analyzing the Gell-Mann-Oakes-Renner (GMOR) relation in medium. These thermal properties of hadron observables will help us understand the QCD phases at finite temperature and can be employed to improve the experimental data analysis and heavy ion collision simulations.


title: Making Non-Stochastic Control (Almost) as Easy as Stochastic

abstract: Recent literature has made much progress in understanding \emph{online LQR}: a modern learning-theoretic take on the classical control problem in which a learner attempts to optimally control an unknown linear dynamical system with fully observed state, perturbed by i.i.d. Gaussian noise. It is now understood that the optimal regret on time horizon $T$ against the optimal control law scales as $\widetilde{\Theta}(\sqrt{T})$. In this paper, we show that the same regret rate (against a suitable benchmark) is attainable even in the considerably more general non-stochastic control model, where the system is driven by \emph{arbitrary adversarial} noise (Agarwal et al. 2019). In other words, \emph{stochasticity confers little benefit in online LQR}. We attain the optimal $\widetilde{\mathcal{O}}(\sqrt{T})$ regret when the dynamics are unknown to the learner, and $\mathrm{poly}(\log T)$ regret when known, provided that the cost functions are strongly convex (as in LQR). Our algorithm is based on a novel variant of online Newton step (Hazan et al. 2007), which adapts to the geometry induced by possibly adversarial disturbances, and our analysis hinges on generic "policy regret" bounds for certain structured losses in the OCO-with-memory framework (Anava et al. 2015). Moreover, our results accomodate the full generality of the non-stochastic control setting: adversarially chosen (possibly non-quadratic) costs, partial state observation, and fully adversarial process and observation noise.


title: Continuous Action Reinforcement Learning from a Mixture of Interpretable Experts

abstract: Reinforcement learning (RL) has demonstrated its ability to solve high dimensional tasks by leveraging non-linear function approximators. However, these successes are mostly achieved by 'black-box' policies in simulated domains. When deploying RL to the real world, several concerns regarding the use of a 'black-box' policy might be raised. In order to make the learned policies more transparent, we propose in this paper a policy iteration scheme that retains a complex function approximator for its internal value predictions but constrains the policy to have a concise, hierarchical, and human-readable structure, based on a mixture of interpretable experts. Each expert selects a primitive action according to a distance to a prototypical state. A key design decision to keep such experts interpretable is to select the prototypical states from trajectory data. The main technical contribution of the paper is to address the challenges introduced by this non-differentiable prototypical state selection procedure. Experimentally, we show that our proposed algorithm can learn compelling policies on continuous action deep RL benchmarks, matching the performance of neural network based policies, but returning policies that are more amenable to human inspection than neural network or linear-in-feature policies.


title: Direct Observation of Intravalley Phonon Scattering of 2s Excitons in MoSe$_2$ and WSe$_2$ Monolayers

abstract: We present a high-resolution resonance Raman study of hBN encapsulated MoSe$_2$ and WSe$_2$ monolayers at 4 K using excitation energies from 1.6 eV to 2.25 eV. We report resonances with the WSe$_2$ A2s and MoSe$_2$ A2s and B2s excited Rydberg states despite their low oscillator strength. When resonant with the 2s states we identify new Raman peaks which are associated with intravalley scattering between different Rydberg states via optical phonons. By calibrating the Raman scattering efficiency and separately constraining the electric dipole matrix elements, we reveal that the scattering rates for k=0 optical phonons are comparable for both 1s and 2s states despite differences in the envelope functions. We also observe multiple new dispersive Raman peaks including a peak at the WSe$_2$ A2s resonance that demonstrates non-linear dispersion and peak-splitting behavior that suggests that the dispersion relations for dark excitonic states at energies near the 2s state are extremely complex.


title: Schwarzschild-like solutions in Finsler-Randers gravity

abstract: In this work, we extend for the first time the spherically symmetric Schwarzschild and Schwarzschild-De Sitter solutions with a Finsler-Randers-type perturbation which is generated by a covector $A_\gamma$. This gives a locally anisotropic character to the metric and induces a deviation from the Riemannian models of gravity. A natural framework for this study is the Lorentz tangent bundle of a spacetime manifold. We apply the generalized field equations to the perturbed metric and derive the dynamics for the covector $A_\gamma$. Finally, we find the timelike, spacelike and null paths on the Schwarzschild-Randers spacetime, we solve the timelike ones numerically and we compare them with the classic geodesics of general relativity. The obtained solutions are new and they enrich the corresponding literature.


title: Mind the GAP: Security & Privacy Risks of Contact Tracing Apps

abstract: Google and Apple have jointly provided an API for exposure notification in order to implement decentralized contract tracing apps using Bluetooth Low Energy, the so-called "Google/Apple Proposal", which we abbreviate by "GAP". We demonstrate that in real-world scenarios the current GAP design is vulnerable to (i) profiling and possibly de-anonymizing infected persons, and (ii) relay-based wormhole attacks that basically can generate fake contacts with the potential of affecting the accuracy of an app-based contact tracing system. For both types of attack, we have built tools that can easily be used on mobile phones or Raspberry Pis (e.g., Bluetooth sniffers). The goal of our work is to perform a reality check towards possibly providing empirical real-world evidence for these two privacy and security risks. We hope that our findings provide valuable input for developing secure and privacy-preserving digital contact tracing systems.


title: The Unconditional Uniqueness for the Energy-critical Nonlinear Schr\"{o}dinger Equation on $\mathbb{T}^{4}$

abstract: We consider the $\mathbb{T}^{4}$ cubic NLS which is energy-critical. We study the unconditional uniqueness of solution to the NLS via the cubic Gross-Pitaevskii hierarchy, an uncommon method, and does not require the existence of solution in Strichartz type spaces. We prove $U$-$V$ multilinear estimates to replace the previously used Sobolev multilinear estimates, which fail on $\mathbb{T}^{4}$. To incorporate the weaker estimates, we work out new combinatorics from scratch and compute, for the first time, the time integration limits, in the recombined Duhamel-Born expansion. The new combinatorics and the $U$-$V$ estimates then seamlessly conclude the $H^{1}$ unconditional uniqueness for the NLS under the infinite hierarchy framework. This work establishes a unified schemes to prove $H^{1}$ uniqueness for the $\mathbb{R}^{3}/\mathbb{R}^{4}/\mathbb{T}^{3}/\mathbb{T}^{4}$ energy-critical Gross-Pitaevskii hierarchies and thus the corresponding NLS.


title: Implementing Non-Universal Features with a Random Matrix Theory Approach: Application to Space-to-Configuration Multiplexing

abstract: We consider the efficiency of multiplexing spatially encoded information across random configurations of a metasurface-programmable chaotic cavity in the microwave domain. The distribution of the effective rank of the channel matrix is studied to quantify the channel diversity and to assess a specific system's performance. System-specific features such as unstirred field components give rise to nontrivial inter-channel correlations and need to be properly accounted for in modelling based on random matrix theory. To address this challenge, we propose a two-step hybrid approach. Based on an ensemble of experimentally measured scattering matrices for different random metasurface configurations, we first learn a system-specific pair of coupling matrix and unstirred contribution to the Hamiltonian, and then add an appropriately weighted stirred contribution. We verify that our method is capable of reproducing the experimentally found distribution of the effective rank with good accuracy. The approach can also be applied to other wave phenomena in complex media.


title: Reconstructing the base field from imaginary multiplicative chaos

abstract: We show that the imaginary multiplicative chaos $\exp(i\beta \Gamma)$ determines the gradient of the underlying field $\Gamma$ for all log-correlated Gaussian fields with covariance of the form $-\log |x-y| + g(x,y)$ with mild regularity conditions on $g$, for all $d \geq 2$ and for all $\beta \in (0,\sqrt{d})$. In particular, we show that the 2D continuum zero boundary Gaussian free field is measurable w.r.t. its imaginary chaos.


title: Deep Learning with Attention Mechanism for Predicting Driver Intention at Intersection

abstract: In this paper, a driver's intention prediction near a road intersection is proposed. Our approach uses a deep bidirectional Long Short-Term Memory (LSTM) with an attention mechanism model based on a hybrid-state system (HSS) framework. As intersection is considered to be as one of the major source of road accidents, predicting a driver's intention at an intersection is very crucial. Our method uses a sequence to sequence modeling with an attention mechanism to effectively exploit temporal information out of the time-series vehicular data including velocity and yaw-rate. The model then predicts ahead of time whether the target vehicle/driver will go straight, stop, or take right or left turn. The performance of the proposed approach is evaluated on a naturalistic driving dataset and results show that our method achieves high accuracy as well as outperforms other methods. The proposed solution is promising to be applied in advanced driver assistance systems (ADAS) and as part of active safety system of autonomous vehicles.


title: Exploring Automatic Diagnosis of COVID-19 from Crowdsourced Respiratory Sound Data

abstract: Audio signals generated by the human body (e.g., sighs, breathing, heart, digestion, vibration sounds) have routinely been used by clinicians as indicators to diagnose disease or assess disease progression. Until recently, such signals were usually collected through manual auscultation at scheduled visits. Research has now started to use digital technology to gather bodily sounds (e.g., from digital stethoscopes) for cardiovascular or respiratory examination, which could then be used for automatic analysis. Some initial work shows promise in detecting diagnostic signals of COVID-19 from voice and coughs. In this paper we describe our data analysis over a large-scale crowdsourced dataset of respiratory sounds collected to aid diagnosis of COVID-19. We use coughs and breathing to understand how discernible COVID-19 sounds are from those in asthma or healthy controls. Our results show that even a simple binary machine learning classifier is able to classify correctly healthy and COVID-19 sounds. We also show how we distinguish a user who tested positive for COVID-19 and has a cough from a healthy user with a cough, and users who tested positive for COVID-19 and have a cough from users with asthma and a cough. Our models achieve an AUC of above 80% across all tasks. These results are preliminary and only scratch the surface of the potential of this type of data and audio-based machine learning. This work opens the door to further investigation of how automatically analysed respiratory patterns could be used as pre-screening signals to aid COVID-19 diagnosis.


title: Orbital effects in solids: basics, recent progress and opportunities

abstract: The properties of transition metal compounds are largely determined by nontrivial interplay of different degrees of freedom: charge, spin, lattice, but also orbital ones. Especially rich and interesting effects occur in systems with orbital degeneracy. They result in the famous Jahn-Teller effect leading to a plethora of consequences, in static and in dynamic properties, including nontrivial quantum effects. In the present review we discuss the main phenomena in the physics of such systems, paying central attention to the novel manifestations of those. After shortly summarising the basic phenomena and their description, we concentrate on several specific directions in this field. One of them is the reduction of effective dimensionality in many systems with orbital degrees of freedom due to directional character of orbitals, with concomitant appearance of some instabilities leading in particular to the formation of dimers, trimers and similar clusters in a material. The properties of such cluster systems, largely determined by their orbital structure, are discussed in detail, and many specific examples of those in different materials are presented. Another big field which acquired special significance relatively recently is the role of relativistic spin-orbit interaction. The mutual influence of this interaction and the more traditional Jahn-Teller physics is treated in details in the second part of the review. In discussing all these questions special attention is paid to novel quantum effects in those.

categories: cond-mat.str-el cond-mat.mtrl-sci cond-mat.other quant-ph


title: Computational Design and Evaluation Methods for Empowering Non-Experts in Digital Fabrication

abstract: Despite the increasing availability of personal fabrication hardware and services, the true potential of digital fabrication remains unrealized due to lack of computational techniques that can support 3D shape design by non-experts. This work develops computational methods that address two key aspects of content creation:(1) Function-driven design synthesis, (2) Design assessment. For design synthesis, a generative shape modeling algorithm that facilitates automatic geometry synthesis and user-driven modification for non-experts is introduced. A critical observation that arises from this study is that the most geometrical specifications are dictated by functional requirements. To support design by high-level functional prescriptions, a physics based shape optimization method for compliant coupling behavior design has been developed. In line with this idea, producing complex 3D surfaces from flat 2D sheets by exploiting the concept of buckling beams has also been explored. Effective design assessment, the second key aspect, becomes critical for problems in which computational solutions do not exist. For these problems, this work proposes crowdsourcing as a way to empower non-experts in esoteric design domains that traditionally require expertise and specialized knowledge.


title: A comparison of limited-memory Krylov methods for Stieltjes functions of Hermitian matrices

abstract: Given a limited amount of memory and a target accuracy, we propose and compare several polynomial Krylov methods for the approximation of f(A)b, the action of a Stieltjes matrix function of a large Hermitian matrix on a vector. Using new error bounds and estimates, as well as existing results, we derive predictions of the practical performance of the methods, and rank them accordingly. As by-products, we derive new results on inexact Krylov iterations for matrix functions in order to allow for a fair comparison of rational Krylov methods with polynomial inner solves.


title: Cross-Sensor Adversarial Domain Adaptation of Landsat-8 and Proba-V images for Cloud Detection

abstract: The number of Earth observation satellites carrying optical sensors with similar characteristics is constantly growing. Despite their similarities and the potential synergies among them, derived satellite products are often developed for each sensor independently. Differences in retrieved radiances lead to significant drops in accuracy, which hampers knowledge and information sharing across sensors. This is particularly harmful for machine learning algorithms, since gathering new ground truth data to train models for each sensor is costly and requires experienced manpower. In this work, we propose a domain adaptation transformation to reduce the statistical differences between images of two satellite sensors in order to boost the performance of transfer learning models. The proposed methodology is based on the Cycle Consistent Generative Adversarial Domain Adaptation (CyCADA) framework that trains the transformation model in an unpaired manner. In particular, Landsat-8 and Proba-V satellites, which present different but compatible spatio-spectral characteristics, are used to illustrate the method. The obtained transformation significantly reduces differences between the image datasets while preserving the spatial and spectral information of adapted images, which is hence useful for any general purpose cross-sensor application. In addition, the training of the proposed adversarial domain adaptation model can be modified to improve the performance in a specific remote sensing application, such as cloud detection, by including a dedicated term in the cost function. Results show that, when the proposed transformation is applied, cloud detection models trained in Landsat-8 data increase cloud detection accuracy in Proba-V.


title: Sketchy Empirical Natural Gradient Methods for Deep Learning

abstract: In this paper, we develop an efficient sketchy empirical natural gradient method (SENG) for large-scale deep learning problems. The empirical Fisher information matrix is usually low-rank since the sampling is only practical on a small amount of data at each iteration. Although the corresponding natural gradient direction lies in a small subspace, both the computational cost and memory requirement are still not tractable due to the high dimensionality. We design randomized techniques for different neural network structures to resolve these challenges. For layers with a reasonable dimension, sketching can be performed on a regularized least squares subproblem. Otherwise, since the gradient is a vectorization of the product between two matrices, we apply sketching on the low-rank approximations of these matrices to compute the most expensive parts. A distributed version of SENG is also developed for extremely large-scale applications. Global convergence to stationary points is established under some mild assumptions and a fast linear convergence is analyzed under the neural tangent kernel (NTK) case. Extensive experiments on convolutional neural networks show the competitiveness of SENG compared with the state-of-the-art methods. On the task ResNet50 with ImageNet-1k, SENG achieves 75.9\% Top-1 testing accuracy within 41 epochs. Experiments on the distributed large-batch training show that the scaling efficiency is quite reasonable.


title: Quantum Channel State Masking

abstract: Communication over a quantum channel that depends on a quantum state is considered when the encoder has channel side information (CSI) and is required to mask information on the quantum channel state from the decoder. A full characterization is established for the entanglement-assisted masking equivocation region, and a regularized formula is given for the quantum capacity-leakage function without assistance. For Hadamard channels without assistance, we derive single-letter inner and outer bounds, which coincide in the standard case of a channel that does not depend on a state.


title: Separable Four Points Fundamental Matrix

abstract: We present a novel approach for RANSAC-based computation of the fundamental matrix based on epipolar homography decomposition. We analyze the geometrical meaning of the decomposition-based representation and show that it directly induces a consecutive sampling strategy of two independent sets of correspondences. We show that our method guarantees a minimal number of evaluated hypotheses with respect to current minimal approaches, on the condition that there are four correspondences on an image line. We validate our approach on real-world image pairs, providing fast and accurate results.


title: Recent Advances in 3D Object and Hand Pose Estimation

abstract: 3D object and hand pose estimation have huge potentials for Augmented Reality, to enable tangible interfaces, natural interfaces, and blurring the boundaries between the real and virtual worlds. In this chapter, we present the recent developments for 3D object and hand pose estimation using cameras, and discuss their abilities and limitations and the possible future development of the field.


title: Wave packets in the fractional nonlinear Schr\"odinger equation with a honeycomb potential

abstract: In this article, we study wave dynamics in the fractional nonlinear Schr\"odinger equation with a modulated honeycomb potential. This problem arises from recent research interests in the interplay between topological materials and nonlocal governing equations. Both are current focuses in scientific research fields. We first develop the Floquet-Bloch spectral theory of the linear fractional Schr\"odinger operator with a honeycomb potential. Especially, we prove the existence of conical degenerate points, i.e., Dirac points, at which two dispersion band functions intersect. We then investigate the dynamics of wave packets spectrally localized at a Dirac point and derive the leading effective envelope equation. It turns out the envelope can be described by a nonlinear Dirac equation with a varying mass. With rigorous error estimates, we demonstrate that the asymptotic solution based on the effective envelope equation approximates the true solution well in the weighted-$H^s$ space.


title: Dataset Condensation with Gradient Matching

abstract: As the state-of-the-art machine learning methods in many fields rely on larger datasets, storing datasets and training models on them become significantly more expensive. This paper proposes a training set synthesis technique for data-efficient learning, called Dataset Condensation, that learns to condense large dataset into a small set of informative synthetic samples for training deep neural networks from scratch. We formulate this goal as a gradient matching problem between the gradients of deep neural network weights that are trained on the original and our synthetic data. We rigorously evaluate its performance in several computer vision benchmarks and demonstrate that it significantly outperforms the state-of-the-art methods. Finally we explore the use of our method in continual learning and neural architecture search and report promising gains when limited memory and computations are available.


title: A Novel Topology-Guided Attack and Its Countermeasure Towards Secure Logic Locking

abstract: The outsourcing of the design and manufacturing of integrated circuits (ICs) in the current horizontal semiconductor integration flow has posed various security threats due to the presence of untrusted entities, such as overproduction of ICs, sale of out-of-specification/rejected ICs, and piracy of Intellectual Properties (IPs). Consequently, logic locking emerged as one of the prominent design for trust techniques. Unfortunately, these locking techniques are now inclined to achieve complete Boolean satisfiability (SAT) resiliency after the seminal work published in [47]. In this paper, we propose a novel oracle-less attack that is based on the topological analysis of the locked netlist even though it is SAT-resilient. The attack relies on identifying and constructing unit functions with a hypothesis key to be searched in the entire netlist to find its replica. The proposed graph search algorithm efficiently finds the duplicate functions in the netlist, making it a self-referencing attack. This proposed attack is extremely efficient and can determine the secret key within a few minutes. We have also proposed a countermeasure to make the circuit resilient against this topology-guided attack to progress towards a secure logic locking technique.


title: Orbit determination for standard-like maps: asymptotic expansion of the confidence region in regular zones

abstract: We deal with the orbit determination problem for a class of maps of the cylinder generalizing the Chirikov standard map. The problem consists of determining the initial conditions and other parameters of an orbit from some observations. A solution to this problem goes back to Gauss and leads to the least squares method. Since the observations admit errors, the solution comes with a confidence region describing the uncertainty of the solution itself. We study the behavior of the confidence region in the case of a simultaneous increase of the number of observations and the time span over which they are performed. More precisely, we describe the geometry of the confidence region for solutions in regular zones. We prove an estimate of the trend of the uncertainties in a set of positive measure of the phase space, made of invariant curve. Our result gives an analytical proof of some known numerical evidences.


title: A nonlinear model of vortex-induced forces on an oscillating cylinder in a fluid flow

abstract: A nonlinear model relating the imposed motion of a circular cylinder, submerged in a fluid flow, to the transverse force coefficient is presented. The nonlinear fluid system, featuring vortex shedding patterns, limit cycle oscillations and synchronisation, is studied both for swept sine and multisine excitation. A nonparametric nonlinear distortion analysis (FAST) is used to distinguish odd from even nonlinear behaviour. The information which is obtained from the nonlinear analysis is explicitly used in constructing a nonlinear model of the polynomial nonlinear state-space (PNLSS) type. The latter results in a reduction of the number of parameters and an increased accuracy compared to the generic modelling approach where typically no such information of the nonlinearity is used. The obtained model is able to accurately simulate time series of the transverse force coefficient over a wide range of the frequency-amplitude plane of imposed cylinder motion.


title: AMEIR: Automatic Behavior Modeling, Interaction Exploration and MLP Investigation in the Recommender System

abstract: Recently, deep learning models have been widely spread in the industrial recommender systems and boosted the recommendation quality. Though having achieved remarkable success, the design of task-aware recommender systems usually requires manual feature engineering and architecture engineering from domain experts. To relieve those human efforts, we explore the potential of neural architecture search (NAS) and introduce AMEIR for Automatic behavior Modeling, interaction Exploration and multi-layer perceptron (MLP) Investigation in the Recommender system. The core contributions of AMEIR are the three-stage search space and the tailored three-step searching pipeline. Specifically, AMEIR divides the complete recommendation models into three stages of behavior modeling, interaction exploration, MLP aggregation, and introduces a novel search space containing three tailored subspaces that cover most of the existing methods and thus allow for searching better models. To find the ideal architecture efficiently and effectively, AMEIR realizes the one-shot random search in recommendation progressively on the three stages and assembles the search results as the final outcome. Further analysis reveals that AMEIR's search space could cover most of the representative recommendation models, which demonstrates the universality of our design. The extensive experiments over various scenarios reveal that AMEIR outperforms competitive baselines of elaborate manual design and leading algorithmic complex NAS methods with lower model complexity and comparable time cost, indicating efficacy, efficiency and robustness of the proposed method.


title: On the Brezis-Nirenberg problem for a Kirchhoff type equation in high dimension

abstract: The present paper deals with a parametrized Kirchhoff type problem involving a critical nonlinearity in high dimension. Existence, non existence and multiplicity of solutions are obtained under the effect of a subcritical perturbation by combining variational properties with a careful analysis of the fiber maps of the energy functional associated to the problem. The particular case of a pure power perturbation is also addressed. Through the study of the Nehari manifolds we extend the general case to a wider range of the parameters.


title: Learning to Play Table Tennis From Scratch using Muscular Robots

abstract: Dynamic tasks like table tennis are relatively easy to learn for humans but pose significant challenges to robots. Such tasks require accurate control of fast movements and precise timing in the presence of imprecise state estimation of the flying ball and the robot. Reinforcement Learning (RL) has shown promise in learning of complex control tasks from data. However, applying step-based RL to dynamic tasks on real systems is safety-critical as RL requires exploring and failing safely for millions of time steps in high-speed regimes. In this paper, we demonstrate that safe learning of table tennis using model-free Reinforcement Learning can be achieved by using robot arms driven by pneumatic artificial muscles (PAMs). Softness and back-drivability properties of PAMs prevent the system from leaving the safe region of its state space. In this manner, RL empowers the robot to return and smash real balls with 5 m\s and 12m\s on average to a desired landing point. Our setup allows the agent to learn this safety-critical task (i) without safety constraints in the algorithm, (ii) while maximizing the speed of returned balls directly in the reward function (iii) using a stochastic policy that acts directly on the low-level controls of the real system and (iv) trains for thousands of trials (v) from scratch without any prior knowledge. Additionally, we present HYSR, a practical hybrid sim and real training that avoids playing real balls during training by randomly replaying recorded ball trajectories in simulation and applying actions to the real robot. This work is the first to (a) fail-safe learn of a safety-critical dynamic task using anthropomorphic robot arms, (b) learn a precision-demanding problem with a PAM-driven system despite the control challenges and (c) train robots to play table tennis without real balls. Videos and datasets are available at muscularTT.embodied.ml.


title: Universal Law for the Elastic Moduli of Solids and Structures

abstract: A law previously found for shear moduli of crystalline materials is developed and extended to all elastic moduli in solids and structures. Shear moduli were previously shown to depend only on specific volume. The bulk moduli of many materials and structures are now predicted analytically and empirically shown with unerring accuracy by observing the elasticity as a specific volume power law. The law is supported by experimental evidence from: foams, Schneebeli 2-dimensional graphene mats, metamaterials, fully dense metals, ceramics and minerals. This new, generalized, universal, elastic moduli law always describes materials that support shear stresses i.e., solids; it is shown that all elastic moduli are directly dependent only on the specific volume.


title: Aging and equilibration in bistable contagion dynamics

abstract: We analyze the late-time relaxation dynamics for a general contagion model. In this model, nodes are either active or failed. Active nodes can fail either "spontaneously" at any time or "externally" if their neighborhoods are sufficiently damaged. Failed nodes may always recover spontaneously. At late times, the breaking of time-translation-invariance is a necessary condition for physical aging. We observe that time-translational invariance is lost for initial conditions that lie between the basins of attraction of the model's two stable stationary states. Based on corresponding mean-field predictions, we characterize the observed model behavior in terms of a phase diagram spanned by the fractions of spontaneously and externally failed nodes. For the square lattice, the phases in which the dynamics approaches one of the two stable stationary states are not linearly separable due to spatial correlation effects. Our results provide new insights into aging and relaxation phenomena that are observable in a model of social contagion processes.


title: Simple and effective localized attribute representations for zero-shot learning

abstract: Zero-shot learning (ZSL) aims to discriminate images from unseen classes by exploiting relations to seen classes via their semantic descriptions. Some recent papers have shown the importance of localized features together with fine-tuning the feature extractor to obtain discriminative and transferable features. However, these methods require complex attention or part detection modules to perform explicit localization in the visual space. In contrast, in this paper we propose localizing representations in the semantic/attribute space, with a simple but effective pipeline where localization is implicit. Focusing on attribute representations, we show that our method obtains state-of-the-art performance on CUB and SUN datasets, and also achieves competitive results on AWA2 dataset, outperforming generally more complex methods with explicit localization in the visual space. Our method can be implemented easily, which can be used as a new baseline for zero shot-learning. In addition, our localized representations are highly interpretable as attribute-specific heatmaps.


title: Is the Skip Connection Provable to Reform the Neural Network Loss Landscape?

abstract: The residual network is now one of the most effective structures in deep learning, which utilizes the skip connections to ``guarantee" the performance will not get worse. However, the non-convexity of the neural network makes it unclear whether the skip connections do provably improve the learning ability since the nonlinearity may create many local minima. In some previous works \cite{freeman2016topology}, it is shown that despite the non-convexity, the loss landscape of the two-layer ReLU network has good properties when the number $m$ of hidden nodes is very large. In this paper, we follow this line to study the topology (sub-level sets) of the loss landscape of deep ReLU neural networks with a skip connection and theoretically prove that the skip connection network inherits the good properties of the two-layer network and skip connections can help to control the connectedness of the sub-level sets, such that any local minima worse than the global minima of some two-layer ReLU network will be very ``shallow". The ``depth" of these local minima are at most $O(m^{(\eta-1)/n})$, where $n$ is the input dimension, $\eta<1$. This provides a theoretical explanation for the effectiveness of the skip connection in deep learning.


title: Strict $2$-convexity of convex solutions to the quadratic Hessian equation

abstract: We prove that convex viscosity solutions to the quadratic Hessian inequality $\sigma_2(D^2u) \geq 1$ are strictly $2$-convex. As a consequence we obtain short proofs of smoothness and interior $C^2$ estimates for convex viscosity solutions to $\sigma_2(D^2u) = 1$, which were proven using different methods in recent works of Guan-Qiu \cite{GQ}, McGonagle-Song-Yuan \cite{MSY} and Shankar-Yuan \cite{SY2}.


title: MultiResolution Attention Extractor for Small Object Detection

abstract: Small objects are difficult to detect because of their low resolution and small size. The existing small object detection methods mainly focus on data preprocessing or narrowing the differences between large and small objects. Inspired by human vision "attention" mechanism, we exploit two feature extraction methods to mine the most useful information of small objects. Both methods are based on multiresolution feature extraction. We initially design and explore the soft attention method, but we find that its convergence speed is slow. Then we present the second method, an attention-based feature interaction method, called a MultiResolution Attention Extractor (MRAE), showing significant improvement as a generic feature extractor in small object detection. After each building block in the vanilla feature extractor, we append a small network to generate attention weights followed by a weighted-sum operation to get the final attention maps. Our attention-based feature extractor is 2.0 times the AP of the "hard" attention counterpart (plain architecture) on the COCO small object detection benchmark, proving that MRAE can capture useful location and contextual information through adaptive learning.


title: On Uniform Convergence and Low-Norm Interpolation Learning

abstract: We consider an underdetermined noisy linear regression model where the minimum-norm interpolating predictor is known to be consistent, and ask: can uniform convergence in a norm ball, or at least (following Nagarajan and Kolter) the subset of a norm ball that the algorithm selects on a typical input set, explain this success? We show that uniformly bounding the difference between empirical and population errors cannot show any learning in the norm ball, and cannot show consistency for any set, even one depending on the exact algorithm and distribution. But we argue we can explain the consistency of the minimal-norm interpolator with a slightly weaker, yet standard, notion: uniform convergence of zero-error predictors in a norm ball. We use this to bound the generalization error of low- (but not minimal-) norm interpolating predictors.


title: Soft macromolecular confinement

abstract: We study equilibrium shapes and shape transformations of a confined semiflexible chain inside a soft lipid tubule using simulations and continuum theories. The deformed tubular shapes and chain conformations depend on the relative magnitude of their bending moduli. We characterise the collapsed macromolecular shapes by computing statistical quantities that probe the polymer properties at small length scales and report a prolate to toroidal coil transition for stiff chains. Deformed tubular shapes, calculated using elastic theories, agree with simulations. In conjunction with scattering studies, our work may provide a mechanistic understanding of gene encapsulation in soft structures.

categories: cond-mat.soft cond-mat.mtrl-sci cond-mat.stat-mech q-bio.BM


title: Secure Groupcast: Extra-Entropic Structure and Linear Feasibility

abstract: In the secure groupcast problem, a transmitter wants to securely groupcast a message with the maximum rate to the first $N$ of $K$ receivers by broadcasting with the minimum bandwidth, where the $K$ receivers are each equipped with a key variable from a known joint distribution. Examples are provided to prove that different instances of secure groupcast that have the same entropic structure, i.e., the same entropy for all subsets of the key variables, can have different maximum groupcast rates and different minimum broadcast bandwidth. Thus, extra-entropic structure matters for secure groupcast. Next, the maximum groupcast rate is explored when the key variables are generic linear combinations of a basis set of independent key symbols, i.e., the keys lie in generic subspaces. The maximum groupcast rate is characterized when the dimension of each key subspace is either small or large, i.e., the extreme regimes. For the intermediate regime, various interference alignment schemes originated from wireless interference networks, such as eigenvector based and asymptotic schemes, are shown to be useful.


title: Towards Certified Robustness of Distance Metric Learning

abstract: Metric learning aims to learn a distance metric such that semantically similar instances are pulled together while dissimilar instances are pushed away. Many existing methods consider maximizing or at least constraining a distance margin in the feature space that separates similar and dissimilar pairs of instances to guarantee their generalization ability. In this paper, we advocate imposing an adversarial margin in the input space so as to improve the generalization and robustness of metric learning algorithms. We first show that, the adversarial margin, defined as the distance between training instances and their closest adversarial examples in the input space, takes account of both the distance margin in the feature space and the correlation between the metric and triplet constraints. Next, to enhance robustness to instance perturbation, we propose to enlarge the adversarial margin through minimizing a derived novel loss function termed the perturbation loss. The proposed loss can be viewed as a data-dependent regularizer and easily plugged into any existing metric learning methods. Finally, we show that the enlarged margin is beneficial to the generalization ability by using the theoretical technique of algorithmic robustness. Experimental results on 16 datasets demonstrate the superiority of the proposed method over existing state-of-the-art methods in both discrimination accuracy and robustness against possible noise.


title: Homomorphic images of affine quandles

abstract: We are interested in abstract conditions that characterize homomorphic images of affine quandles. Our main result is a two-fold characterization of this class: one by a property of the displacement group, the other one by a property of the corresponding affine mesh. As a consequence, we obtain efficient algorithms for recognizing homomorphic images of affine quandles, including an efficient explicit construction of the covering affine quandle.


title: Viability of Ultrasonic Sonochemical processing for nanostructures: Case study of Aluminum-crystal growth and Poly (vinylpyrrolidone)-graphitization

abstract: The viability of ultrasonic sonochemistry is investigated in the context of delivering air-stable metallic Al rich-PVP composite. The parameters investigated are; sono-(1) process intensification, (2) crystallization, (3) agglomeration, and (4) fragmentation, respectively. The conventional solvent of n-hexadecane is employed as the sonotrode generated pressure transmitting medium to carry out the above experiments. Two precursors, (1) Poly (vinylpyrrolidone) (PVP) and (2) Aluminum chloride (AlCl3) are chosen to evaluate and demonstrate the viability of the ultrasonic induced processing. Temperature controlled investigations at RT and higher temperature help in achieving; (a) PVP-graphitization, and (b) Al-crystal growth phenomenon, respectively. The current experiments aid in helping to isolate and identify actual mechanistic happenings. The investigation, thus, has a fabrication protocol of shortened processing-duration, native amorphous oxide-free, metal-rich air-stable product that leads to 10 g of composite product for fuel applications.


title: Effects of the treatment of the mass quadrupole moment on ray-tracing applications for rapidly-rotating neutron stars

abstract: The Neutron Star Interior Composition Explorer (NICER) mission has provided a unique opportunity to constrain the equation of state of neutron stars by using the technique of pulse-profile modelling. This technique requires accurate and efficient ray tracing, that in turn requires a robust representation of the spacetime around a neutron star. Several exact and approximate metrics have been proposed, and used, to perform ray tracing around neutron stars, with both moderate and fast rotation. In this paper, we perform a comparison between several of these metrics, when used for ray tracing. We calculate the shape of the neutron star as seen by a distant observer using two different surface formulae, the thermal spectrum and pulse profiles from circular and crescent-shaped hotspots, for four configurations of pulsars with rotation rates ranging from 622 to 1000 Hz, and using both a moderate and a stiff equation of state to include realistic and extreme cases. We find small differences between the metrics for rotation frequencies starting at ~700 Hz that could theoretically be used for constraining the quadrupole moment or the spacetime models. We also determine the practicality of use of each metric in larger-scale applications such as pulse-profile


title: Biases in galaxy cluster velocity dispersion and mass estimates in the small number of galaxies regime

abstract: We present a study of the statistical properties of three velocity dispersion and mass estimators, namely biweight, gapper and standard deviation, in the small number of galaxies regime ($N_{\rm gal} \le 75$). Using a set of 73 numerically simulated galaxy clusters, we characterise the statistical bias and the variance for the three estimators, both in the determination of the velocity dispersion and the dynamical mass of the clusters via the $\sigma-M$ relation. The results are used to define a new set of unbiased estimators, that are able to correct for those statistical biases with a minimal increase of the associated variance. The numerical simulations are also used to characterise the impact of velocity segregation in the selection of cluster members, and the impact of using cluster members within different physical radii from the cluster centre. The standard deviation is found to be the lowest variance estimator. The selection of galaxies within the sub-sample of the most massive galaxies in the cluster introduces a $2\,$\% bias in the velocity dispersion estimate when calculated using a quarter of the most massive cluster members. We also find a dependence of the velocity dispersion estimate on the aperture radius as a fraction of $R_{200}$, consistent with previous results. The proposed set of unbiased estimators effectively provides a correction of the velocity dispersion and mass estimates from all those effects in the small number of cluster members regime. This is tested by applying the new estimators to a subset of simulated observations. Although for a single galaxy cluster the statistical and physical effects discussed here are comparable or slightly smaller than the bias introduced by interlopers, they will be of relevance when dealing with ensemble properties and scaling relations for large cluster samples (Abridged).


title: The Lichnerowicz--Obata theorem for the Kohn Laplacian in three dimensions

abstract: We prove rigidity for the Lichnerowicz-type eigenvalue estimate for the Kohn Laplacian on strictly pseudoconvex three-manifolds with nonnegative CR Paneitz operator and positive Webster curvature.


title: Streaming Erasure Codes over Multi-hop Relay Network

abstract: This paper studies low-latency streaming codes for the multi-hop network. The source is transmitting a sequence of messages (streaming messages) to a destination through a chain of relays where each hop is subject to packet erasures. Every source message has to be recovered perfectly at the destination within a delay constraint of $T$ time slots. In any sliding window of $T+1$ time slots, we assume no more than $N_j$ erasures introduced by the $j$'th hop channel. The capacity in case of a single relay (a three-node network) was derived by Fong [1], et al. While the converse derived for the three-node case can be extended to any number of nodes using a similar technique (analyzing the case where erasures on other links are consecutive), we demonstrate next that the achievable scheme, which suggested a clever symbol-wise decode and forward strategy, can not be straightforwardly extended without a loss in performance. The coding scheme for the three-node network, which was shown to achieve the upper bound, was ``state-independent'' (i.e., it does not depend on specific erasure pattern). While this is a very desirable property, in this paper, we suggest a ``state-dependent'' (i.e., a scheme which depends on specific erasure pattern) and show that it achieves the upper bound up to the size of an additional header. Since, as we show, the size of the header does not depend on the field size, the gap between the achievable rate and the upper bound decreases as the field size increases.


title: Strongly parity-mixed superconductivity in Rashba-Hubbard model

abstract: Heterostructures containing strongly correlated electron systems provide a platform to clarify interplay of electron correlation and Rashba spin-orbit coupling in unconventional superconductors. Motivated by recent fabrication of artificially-engineered heavy fermion superlattices and high-temperature cuprate superconductors, we conduct a thorough study on superconductivity in Rashba-Hubbard model. In contrast to previous weak coupling approaches, we employ fluctuation-exchange approximation to describe quantum critical magnetic fluctuations and resulting superconductivity. As a result, robust Fermi surfaces against magnetic fluctuations, incommensurate spin fluctuations, and a strongly parity-mixed superconducting phase are demonstrated in a wide range of electron filling from type-II van Hove singularity to half-filling. We also clarify impacts of type-II van Hove singularity on magnetic fluctuations and superconductivity. Whereas the $d_{x^2-y^2}$-wave pairing always dominant, subdominant spin-triplet pairing with either $p$-wave or $f$-wave symmetry shows a comparable magnitude, especially near the type-II van Hove singularity. Our results resolve unsettled issues on strongly correlated Rashba systems and uncover candidate systems of nonreciprocal transport and topological superconductivity.


title: Rates of convergence for the continuum limit of nondominated sorting

abstract: Nondominated sorting is a discrete process that sorts points in Euclidean space according to the coordinatewise partial order, and is used to rank feasible solutions to multiobjective optimization problems. It was previously shown that nondominated sorting of random points has a Hamilton-Jacobi equation continuum limit. We prove quantitative error estimates for the convergence of nondominated sorting to its continuum limit Hamilton-Jacobi equation. Our proof uses the maximum principle and viscosity solution machinery, along with new semiconvexity estimates for domains with corner singularities.


title: The Bombieri-Vinogradov theorem for nilsequences

abstract: We establish results of Bombieri-Vinogradov type for the von Mangoldt function $\Lambda(n)$ twisted by a nilsequence. In particular, we obtain Bombieri-Vinogradov type results for the von Mangoldt function twisted by any polynomial phase $e(P(n))$; the results obtained are as strong as the ones previously known in the case of linear exponential twists. We derive a number of applications of these results. Firstly, we show that the primes $p$ obeying a "nil-Bohr set" condition, such as $\|\alpha p^k\|<\varepsilon$, exhibit bounded gaps. Secondly, we show that the Chen primes are well-distributed in nil-Bohr sets, generalizing a result of Matom\"aki. Thirdly, we generalize the Green-Tao result on linear equations in the primes to primes belonging to an arithmetic progression to large modulus $q\leq x^{\theta}$, for almost all $q$.


title: A predictive model for Covid-19 spread applied to eight US states

abstract: A compartmental epidemic model is proposed to predict the Covid-19 virus spread. It considers: both detected and undetected infected populations, medical quarantine and social sequestration, release from sequestration, plus possible reinfection. The coefficients in the model are evaluated by fitting to empirical data for eight US states: Arizona, California, Florida, Illinois, Louisiana, New Jersey, New York State, and Texas. Together these states make up 43% of the US population; some of these states appear to have handled their initial outbreaks well, while others appear to be emerging hotspots. The evolution of Covid-19 is fairly similar among the states: variations in contact and recovery rates remain below 5%; however, not surprisingly, variations are larger in death rate, reinfection rate, stay-at-home effect, and release rate from sequestration. The results reveal that outbreaks may have been well underway in several states before first detected and that California might have seen more than one influx of the pandemic. Our projections based on the current situation indicate that Covid-19 will become endemic, spreading for more than two years. Should states fully relax stay-at-home orders, most states may experience a secondary peak in 2021. If lockdowns had been kept in place, the number of Covid-19 deaths so far could have been significantly lower in most states that opened up. Additionally, our model predicts that decreasing contact rate by 10%, or increasing testing by approximately 15%, or doubling lockdown compliance (from the current $\sim$ 15% to $\sim$ 30%) will eradicate infections in the state of Texas within a year. Extending our fits for all of the US states, we predict about 11 million total infections (including undetected), 8 million cumulative confirmed cases, and 630,000 cumulative deaths by November 1, 2020.


title: Gradient Flows for Regularized Stochastic Control Problems

abstract: This paper studies stochastic control problems with the action space taken to be probability measures, with the objective penalised by the relative entropy. We identify suitable metric space on which we construct a gradient flow for the measure-valued control process, in the set of admissible controls, along which the cost functional is guaranteed to decrease. It is shown that any invariant measure of this gradient flow satisfies the Pontryagin optimality principle. If the problem we work with is sufficiently convex, the gradient flow converges exponentially fast. Furthermore, the optimal measure-valued control process admits a Bayesian interpretation which means that one can incorporate prior knowledge when solving such stochastic control problems. This work is motivated by a desire to extend the theoretical underpinning for the convergence of stochastic gradient type algorithms widely employed in the reinforcement learning community to solve control problems.


title: Metric-Connection Geometries on Pre-Leibniz Algebroids: A Search for Geometrical Structure in String Models

abstract: The metric-affine and generalized geometries, respectively, are arguably the appropriate mathematical frameworks for Einstein's theory of gravity and the low-energy effective massless oriented closed bosonic string field theory. In fact, mathematical structures in a metric-affine geometry are written on the tangent bundle, which is itself a Lie algebroid; whereas those in generalized geometries introduced as the basis of double field theories, are written on Courant algebroids. The Lie, Courant and the higher Courant algebroids used in exceptional field theories, are all special cases of pre-Leibniz algebroids. Provided with some additional ingredients, the construction of such geometries can all be carried over to regular pre-Leibniz algebroids. We define below the notions of locality structures and locality projectors, which are some such necessary ingredients. In terms of these structures, $E$-metric-connection geometries are constructed with (possibly) a minimum number of assumptions. Certain small gaps in the literature are also filled as we go along. $E$-Koszul connections, as a generalization of Levi-Civita connections, are going to be defined and shown to be helpful for some results including a simple generalization of the fundamental theorem of Riemannian geometry. We also show that metric-affine geometries can be constructed in a unique way as special cases of $E$-metric-connection geometries. Moreover, generalized geometries are shown to follow as special cases, and various properties of linear generalized-connections are proven in the present framework. Similarly, uniqueness of the locality projector in the case of exact Courant algebroids is proven; a result that explains why the curvature operator, defined with a projector in the double field theory literature is a necessity.


title: Biharmonic almost complex structure

abstract: We introduce the notion of \emph{biharmonic almost complex structure} on a compact almost Hermitian manifold and we study its regularity and existence in dimension four. First we show that there always exist smooth energy-minimizing biharmonic almost complex structures for any almost Hermitian structure on a compact almost complex four manifold, and all energy-minimizers form a compact set. Then we study the existence problem when the homotopy class of an almost complex structure is specified. We obtain existence of energy-minimizing biharmonic almost complex structures which depends on the topology of $M^4$. When $M$ is simply-connected and non-spin, then for each homotopy class which is uniquely determined by its first Chern class, there exists an energy-minimizing biharmonic almost complex structure. When $M$ is simply-connected and spin, for each first Chern class, there are exactly two homotopy classes corresponding to the first Chern class. Given a homotopy class $[\tau]$ of an almost complex structure, there exists a canonical operation on the homotopy classes $p$ satisfying $p^2=\text{id}$ such that $p([\tau])$ and $[\tau]$ have the same first Chern class. We prove that there exists an energy-minimizing biharmonic almost complex structure in (at least) one of the two homotopy classes, $[\tau]$ and $p([\tau])$. In general if $M$ is not necessarily simply-connected, we prove that there exists an energy-minimizing biharmonic almost complex structure in (at least) one of the two homotopy classes $[\tau]$ and $p([\tau])$. The study of biharmonic almost complex structures should have many applications, in particular for the smooth topology of the underlying almost complex four manifold. We briefly discuss an approach by considering the moduli space of biharmonic almost complex structures and propose a conjecture.


title: On profinite groups with automorphisms whose fixed points have countable Engel sinks

abstract: An Engel sink of an element $g$ of a group $G$ is a set ${\mathscr E}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[x,g],g],\dots ,g]$ belong to ${\mathscr E}(g)$. (Thus, $g$ is an Engel element precisely when we can choose ${\mathscr E}(g)=\{ 1\}$.) It is proved that if a profinite group $G$ admits an elementary abelian group of automorphisms $A$ of coprime order $q^2$ for a prime $q$ such that for each $a\in A\setminus\{1\}$ every element of the centralizer $C_G(a)$ has a countable (or finite) Engel sink, then $G$ has a finite normal subgroup $N$ such that $G/N$ is locally nilpotent.


title: Well-balanced finite volume schemes for nearly steady adiabatic flows

abstract: We present well-balanced finite volume schemes designed to approximate the Euler equations with gravitation. They are based on a novel local steady state reconstruction. The schemes preserve a discrete equivalent of steady adiabatic flow, which includes non-hydrostatic equilibria. The proposed method works in Cartesian, cylindrical and spherical coordinates. The scheme is not tied to any specific numerical flux and can be combined with any consistent numerical flux for the Euler equations, which provides great flexibility and simplifies the integration into any standard finite volume algorithm. Furthermore, the schemes can cope with general convex equations of state, which is particularly important in astrophysical applications. Both first- and second-order accurate versions of the schemes and their extension to several space dimensions are presented. The superior performance of the well-balanced schemes compared to standard schemes is demonstrated in a variety of numerical experiments. The chosen numerical experiments include simple one-dimensional problems in both Cartesian and spherical geometry, as well as two-dimensional simulations of stellar accretion in cylindrical geometry with a complex multi-physics equation of state.


title: Model-Free Algorithm and Regret Analysis for MDPs with Long-Term Constraints

abstract: In the optimization of dynamical systems, the variables typically have constraints. Such problems can be modeled as a constrained Markov Decision Process (CMDP). This paper considers a model-free approach to the problem, where the transition probabilities are not known. In the presence of long-term (or average) constraints, the agent has to choose a policy that maximizes the long-term average reward as well as satisfy the average constraints in each episode. The key challenge with the long-term constraints is that the optimal policy is not deterministic in general, and thus standard Q-learning approaches cannot be directly used. This paper uses concepts from constrained optimization and Q-learning to propose an algorithm for CMDP with long-term constraints. For any $\gamma\in(0,\frac{1}{2})$, the proposed algorithm is shown to achieve $O(T^{1/2+\gamma})$ regret bound for the obtained reward and $O(T^{1-\gamma/2})$ regret bound for the constraint violation, where $T$ is the total number of steps. We note that these are the first results on regret analysis for MDP with long-term constraints, where the transition probabilities are not known apriori.

categories: cs.LG cs.NI cs.SY eess.SY math.OC stat.ML


title: At-Most-One Constraints in Efficient Representations of Mutex Networks

abstract: The At-Most-One (AMO) constraint is a special case of cardinality constraint that requires at most one variable from a set of Boolean variables to be set to TRUE. AMO is important for modeling problems as Boolean satisfiability (SAT) from domains where decision variables represent spatial or temporal placements of some objects that cannot share the same spatial or temporal slot. The AMO constraint can be used for more efficient representation and problem solving in mutex networks consisting of pair-wise mutual exclusions forbidding pairs of Boolean variable to be simultaneously TRUE. An on-line method for automated detection of cliques for efficient representation of incremental mutex networks where new mutexes arrive using AMOs is presented. A comparison of SAT-based problem solving in mutex networks represented by AMO constraints using various encodings is shown.


title: Balancing Fairness and Efficiency in an Optimization Model

abstract: Optimization models generally aim for efficiency by maximizing total benefit or minimizing cost. Yet a trade-off between fairness and efficiency is an important element of many practical decisions. We propose a principled and practical method for balancing these two criteria in an optimization model. Following a critical assessment of existing schemes, we define a set of social welfare functions (SWFs) that combine Rawlsian leximax fairness and utilitarianism and overcome some of the weaknesses of previous approaches. In particular, we regulate the equity/efficiency trade-off with a single parameter that has a meaningful interpretation in practical contexts. We formulate the SWFs using mixed integer constraints and sequentially maximize them subject to constraints that define the problem at hand. After providing practical step-by-step instructions for implementation, we demonstrate the method on problems of realistic size involving healthcare resource allocation and disaster preparation. The solution times are modest, ranging from a fraction of a second to 18 seconds for a given value of the trade-off parameter.


title: Gaussian Gated Linear Networks

abstract: We propose the Gaussian Gated Linear Network (G-GLN), an extension to the recently proposed GLN family of deep neural networks. Instead of using backpropagation to learn features, GLNs have a distributed and local credit assignment mechanism based on optimizing a convex objective. This gives rise to many desirable properties including universality, data-efficient online learning, trivial interpretability and robustness to catastrophic forgetting. We extend the GLN framework from classification to multiple regression and density modelling by generalizing geometric mixing to a product of Gaussian densities. The G-GLN achieves competitive or state-of-the-art performance on several univariate and multivariate regression benchmarks, and we demonstrate its applicability to practical tasks including online contextual bandits and density estimation via denoising.


title: Variability of the Great Disk Shadow in Serpens

abstract: We present multi-epoch Hubble Space Telescope imaging of the Great Disk Shadow in the Serpens star-forming region. The near-infrared images show strong variability of the disk shadow, revealing dynamics of the inner disk on time scales of months. The Great Shadow is projected onto the Serpens reflection nebula by an unresolved protoplanetary disk surrounding the young intermediate-mass star SVS2/CK3/EC82. Since the shadow extends out to a distance of at least 17,000 au, corresponding to a light travel time of 0.24 years, the images may reveal detailed changes in the disk scale height and position angle on time scales as short as a day, corresponding to the angular resolution of the images, and up to the 1.11 year span between two observing epochs. We present a basic retrieval of temporal changes in the disk density structure, based on the images. We find that the inner disk changes position angle on time scales of months, and that the change is not axisymmetric, suggesting the presence of a non-axisymmetric dynamical forcing on $\sim$1\,au size scales. We consider two different scenarios, one in which a quadrupolar disk warp orbits the central star, and one in which an unequal-mass binary orbiting out of the disk plane displaces the photo-center relative to the shadowing disk. Continued space-based monitoring of the Serpens Disk Shadow is required to distinguish between these scenarios, and could provide unique, and detailed, insight into the dynamics of inner protoplanetary disks not available through other means.


title: Positron production using a 9 MeV electron linac for the GBAR experiment

abstract: For the GBAR (Gravitational Behaviour of Antihydrogen at Rest) experiment at CERN's Antiproton Decelerator (AD) facility we have constructed a source of slow positrons, which uses a low-energy electron linear accelerator (linac). The driver linac produces electrons of 9 MeV kinetic energy that create positrons from bremsstrahlung-induced pair production. Staying below 10 MeV ensures no persistent radioactive activation in the target zone and that the radiation level outside the biological shield is safe for public access. An annealed tungsten-mesh assembly placed directly behind the target acts as a positron moderator. The system produces $5\times10^7$ slow positrons per second, a performance demonstrating that a low-energy electron linac is a superior choice over positron-emitting radioactive sources for high positron flux.


title: Linear Dielectric Thermodynamics: A New Universal Law for Optical, Dielectric Constants

abstract: Linear dielectric thermodynamics are formally developed to explore the isothermal and adiabatic temperature - pressure dependence of dielectric constants. The refractive index of optical materials is widely measured in the literature: it is both temperature and pressure dependent. The argument to establish the dielectric constant's isentropic temperature dependence is a thermodynamic one and is thus applicable to all physical models that describe electron clouds and electronic resonances within materials. The isentropic slope of the displacement field versus the electric field at all temperatures is described by an adiabatic dielectric constant in an energy-per-unit mass system. This slope is shown through the electronic part of the entropy to be unstable at high temperatures due to the change in the curvature of the temperature dependence of the dielectric constant. The electronic entropy contribution for optical, thermo-electro materials has negative heat capacities which are unacceptable. The dielectric constant's temperature and pressure dependence is predicted to be only dependent on the specific volume so isentropes are always positive. A new universal form for the dielectric constant follows from this hypothesis: the dielectric constant is proportional to the square root of the specific volume.


title: Dynamic Folding of Origami By Exploiting Asymmetric Multi-Stability

abstract: In this study, we examine a rapid and reversible origami folding method by exploiting a combination of resonance excitation, asymmetric multi-stability, and active control. The underlying idea is that, by harmonically exciting a multi-stable origami at its resonance frequencies, one can induce rapid folding between its different stable equilibria without the need for using responsive materials. To this end, we use a bi-stable water-bomb base as an archetypal example. Via numerical simulation based on a new dynamic model and experimental testing, we show that the inherent asymmetry of waterbomb bi-stability can enable dynamic folding with relatively low actuation requirements. For example, if the water-bomb initially settles at its "weak" stable state, one can use a base excitation to induce the intra-well resonance. As a result, the origami would fold and remain at the other "strong" stable state even if the excitation does not stop. The origami dynamics starting from the strong state, on the other hand, is more complicated. The water-bomb origami is prone to show inter-well oscillation rather than a uni-directional switch due to a nonlinear relationship between the dynamic folding behavior, asymmetric potential energy barrier, the difference in resonance frequencies, and excitation amplitude. Therefore, we develop an active feedback control strategy, which cuts off the base excitation input at the critical moment to achieve robust and uni-directional folding from the strong stable state to the weak one. The results of this study can apply to many different kinds of origami and create a new approach for rapid and reversible (self-)folding, thus advancing the application of origami in shape morphing systems, adaptive structures, and reconfigurable robotics.


title: Tuning the Branching Ratio in a Symmetric Potential Energy Surface with a Post-Transition State Bifurcation using External Time Dependence

abstract: Chemical selectivity, as quantified by a branching ratio, is a phenomenon relevant for many organic chemical reactions. It may be exhibited on a potential energy surface that features a valley-ridge inflection point in the region between two sequential index-1 saddles, with one saddle having higher energy than the other. Reaction occurs when a trajectory crosses the region of the higher energy saddle (the entrance channel) and approaches the lower energy saddle. On both sides of the lower energy saddle, there are two wells and the question we address in this work is that, given an initial ensemble of trajectories, what is the relative fraction of trajectories that enter each well. For a symmetric PES this fraction is 1:1. We consider a symmetric PES subjected to a time-periodic forcing characterized by an amplitude, frequency, and phase. In this letter we analyse how the branching ratio depends on these three parameters.


title: Hypersonic attachment-line instabilities with large sweep Mach numbers

abstract: This study aims to shed light on hypersonic attachment-line instabilities with large sweep Mach numbers. Highly swept flows over a cold cylinder that give rise to large sweep Mach numbers are studied. High fidelity base flows are obtained by solving full Navier-Stokes equations with a high-order shock-fitting method. Using local and global stability theories, an attachment-line mode is found to be dominant for the laminar-turbulent transition along the leading edge that agrees well with experimental observations Gaillard1999. The behavior of this mode explains the reason why the transition occurs earlier as the sweep Mach number is above 5. Also, this attachment-line mode is absent if the base flow is calculated with boundary-layer assumptions, indicating that the influence of inviscid flow outside the boundary layer can not be ignored as is normally done. It is clearly demonstrated that the global modes display the features of both attachment-line modes, as in sweep Hiemenz flow, and cross-flow-like modes further downstream along the surface. In contrast to incompressible flows, the mode is shown to be of inviscid nature. Moreover, the leading-edge curvature has a destabilizing effect on the attachment-line mode for large spanwise wave numbers but a stabilizing effect for small spanwise wave numbers.


title: Non-parametric Triaxial Deprojection of Elliptical Galaxies

abstract: We present a grid-based non-parametric approach to obtain a triaxial three-dimensional luminosity density from its surface brightness distribution. Triaxial deprojection is highly degenerate and our approach illustrates the resulting difficulties. Fortunately, for massive elliptical galaxies, many deprojections for a particular line of sight can be discarded, because their projection along other lines of sight does not resemble elliptical galaxies. The near-elliptical isophotes of these objects imply near ellipsoidal intrinsic shapes. In fact, deprojection is unique for densities distributed on ellipsoidal shells. The constrained non-parametric deprojection method we present here relaxes this constraint and assumes that the contours of the luminosity density are boxy/discy ellipsoids with radially varying axis ratios. With this approach we are able to reconstruct the intrinsic triaxial densities of our test models, including one drawn from an $N$-body simulation. The method also allows to compare the relative likelihood of deprojections at different viewing angles. We show that the viewing orientations of individual galaxies with nearly ellipsoidal isophotal shapes can be constrained from photometric data alone.


title: Investigation of energetics of 1:1 stoichiometric Al/PVP-fuel and nc-CeO2-oxidizer nanocomposite material

abstract: The investigations of the nanostructured-Al (nano-Al) based thermo-oxidative reaction attributes are detailed in this chapter-5. Two products are selected for the thermo-oxidative reaction studies. They are (1) Nano-Al embedded in the PVP matrix (will be termed as fuel) and (2) its physically mixed 1:1 stoichiometric nanocomposite processed with the ultrafine nc-ceria oxidizer (also will be termed as nanoenergetic material (NEM)), respectively. The graphical abstract presented below illustrates an overview of the thermo-oxidative reaction of fuel tracked employing thermogravimetric analysis (TGA) investigation. Similar TGA experimentation of the designed NEMs is carried out to gather scientific information validating, whether or not a desired enhanced attribute is achieved. Also, in coincidence with the TGA oxidation event, a synchronous exothermic energy release event in differential scanning calorimetry (DSC) trace is observed. The above mentioned two products and their thermo-oxidative reaction behavior employing TGA/DTA and TGA/DSC thermal traces are compared and interpreted based on the data available in the literature.


title: Optimal Bounds between $f$-Divergences and Integral Probability Metrics

abstract: The families of $f$-divergences (e.g. the Kullback-Leibler divergence) and Integral Probability Metrics (e.g. total variation distance or maximum mean discrepancies) are widely used to quantify the similarity between probability distributions. In this work, we systematically study the relationship between these two families from the perspective of convex duality. Starting from a tight variational representation of the $f$-divergence, we derive a generalization of the moment-generating function, which we show exactly characterizes the best lower bound of the $f$-divergence as a function of a given IPM. Using this characterization, we obtain new bounds while also recovering in a unified manner well-known results, such as Hoeffding's lemma, Pinsker's inequality and its extension to subgaussian functions, and the Hammersley-Chapman-Robbins bound. This characterization also allows us to prove new results on topological properties of the divergence which may be of independent interest.

categories: math.ST cs.IT cs.LG math.IT math.OC stat.TH


title: Provably robust verification of dissipativity properties from data

abstract: Dissipativity properties have proven to be very valuable for systems analysis and controller design. With the rising amount of available data, there has therefore been an increasing interest in determining dissipativity properties from (measured) trajectories directly, while an explicit model of the system remains undisclosed. Most existing approaches for data-driven dissipativity, however, guarantee the dissipativity condition only over a finite time horizon and provide weak or no guarantees on robustness in the presence of noise. In this paper, we present a framework for verifying dissipativity properties from measured data with desirable guarantees. We first consider the case of input-state measurements, where we provide non-conservative and computationally attractive conditions in the presence of noise. We extend this approach to input-output data, where similar results hold in the noise-free case. We then provide results for the noisy input-output data case, which is particularly challenging. Finally, we apply the proposed approach in a real-world experiment and illustrate its applicability and advantages compared to established methods based on system identification.


title: When is Particle Filtering Efficient for Planning in Partially Observed Linear Dynamical Systems?

abstract: Particle filtering is a popular method for inferring latent states in stochastic dynamical systems, whose theoretical properties have been well studied in machine learning and statistics communities. In many control problems, e.g., partially observed linear dynamical systems (POLDS), oftentimes the inferred latent state is further used for planning at each step. This paper initiates a rigorous study on the efficiency of particle filtering for sequential planning, and gives the first particle complexity bounds. Though errors in past actions may affect the future, we are able to bound the number of particles needed so that the long-run reward of the policy based on particle filtering is close to that based on exact inference. In particular, we show that, in stable systems, polynomially many particles suffice. Key in our proof is a coupling of the ideal sequence based on the exact planning and the sequence generated by approximate planning based on particle filtering. We believe this technique can be useful in other sequential decision-making problems.


title: Composite Logconcave Sampling with a Restricted Gaussian Oracle

abstract: We consider sampling from composite densities on $\mathbb{R}^d$ of the form $d\pi(x) \propto \exp(-f(x) - g(x))dx$ for well-conditioned $f$ and convex (but possibly non-smooth) $g$, a family generalizing restrictions to a convex set, through the abstraction of a restricted Gaussian oracle. For $f$ with condition number $\kappa$, our algorithm runs in $O \left(\kappa^2 d \log^2\tfrac{\kappa d}{\epsilon}\right)$ iterations, each querying a gradient of $f$ and a restricted Gaussian oracle, to achieve total variation distance $\epsilon$. The restricted Gaussian oracle, which draws samples from a distribution whose negative log-likelihood sums a quadratic and $g$, has been previously studied and is a natural extension of the proximal oracle used in composite optimization. Our algorithm is conceptually simple and obtains stronger provable guarantees and greater generality than existing methods for composite sampling. We conduct experiments showing our algorithm vastly improves upon the hit-and-run algorithm for sampling the restriction of a (non-diagonal) Gaussian to the positive orthant.

categories: cs.LG cs.DS cs.NA math.NA math.OC stat.ML


title: Trust-UBA: A Corpus for the Study of the Manifestation of Trust in Speech

abstract: This paper describes a novel protocol for collecting speech data from subjects induced to have different degrees of trust in the skills of a conversational agent. The protocol consists of an interactive session where the subject is asked to respond to a series of factual questions with the help of a virtual assistant. In order to induce subjects to either trust or distrust the agent's skills, they are first informed that it was previously rated by other users as being either good or bad; subsequently, the agent answers the subjects' questions consistently to its alleged abilities. All interactions are speech-based, with subjects and agents communicating verbally, which allows the recording of speech produced under different trust conditions. We collected a speech corpus in Argentine Spanish using this protocol, which we are currently using to study the feasibility of predicting the degree of trust from speech. We find clear evidence that the protocol effectively succeeded in influencing subjects into the desired mental state of either trusting or distrusting the agent's skills, and present preliminary results of a perceptual study of the degree of trust performed by expert listeners. The collected speech dataset will be made publicly available once ready.