title: Two-Hop Network with Multiple Decision Centers under Expected-Rate Constraints

abstract: The paper studies distributed binary hypothesis testing over a two-hop relay network where both the relay and the receiver decide on the hypothesis. Both communication links are subject to expected rate constraints, which differs from the classical assumption of maximum rate constraints. We exactly characterize the set of type-II error exponent pairs at the relay and the receiver when both type-I error probabilities are constrained by the same value $\epsilon>0$. No tradeoff is observed between the two exponents, i.e., one can simultaneously attain maximum type-II error exponents both at the relay and at the receiver. For $\epsilon_1 \neq \epsilon_2$, we present an achievable exponents region, which we obtain with a scheme that applies different versions of a basic two-hop scheme that is optimal under maximum rate constraints. We use the basic two-hop scheme with two choices of parameters and rates, depending on the transmitter's observed sequence. For $\epsilon_1=\epsilon_2$, a single choice is shown to be sufficient. Numerical simulations indicate that extending to three or more parameter choices is never beneficial.


title: Scalar field dynamics around black holes: superradiant instabilities and binary evolution

abstract: In classical general relativity astrophysical black holes can be affected by the superradiant instability when gravity is minimally coupled to a light bosonic field. The majority of phenomenological studies have focused on the idealized case in which the black hole is initially surrounded by a single mode superradiant seed. By studying the evolution of a scalar field with multiple modes initial data in a quasiadiabatic approximation, we show that the dynamics is more involved and depend on the initial seed energy and the amplitude ratio between the modes. We also present preliminary results of the dynamical evolution of a massive scalar field around a Newtonian and a fully relativistic, black hole binary.


title: The Wald-Zoupas prescription for asymptotic charges at null infinity in general relativity

abstract: We use the formalism developed by Wald and Zoupas to derive explicit covariant expressions for the charges and fluxes associated with the Bondi-Metzner-Sachs symmetries at null infinity in asymptotically flat spacetimes in vacuum general relativity. Our expressions hold in non-stationary regions of null infinity, are local and covariant, conformally-invariant, and are independent of the choice of foliation of null infinity and of the chosen extension of the symmetries away from null infinity. While similar expressions have appeared previously in the literature in Bondi-Sachs coordinates (to which we compare our own), such a choice of coordinates obscures these properties. Our covariant expressions can be used to obtain charge formulae in any choice of coordinates at null infinity. We also include detailed comparisons with other expressions for the charges and fluxes that have appeared in the literature: the Ashtekar-Streubel flux formula, the Komar formulae, and the linkage and twistor charge formulae. Such comparisons are easier to perform using our explicit expressions, instead of those which appear in the original work by Wald and Zoupas.


title: Attention-based Neural Beamforming Layers for Multi-channel Speech Recognition

abstract: Attention-based beamformers have recently been shown to be effective for multi-channel speech recognition. However, they are less capable at capturing local information. In this work, we propose a 2D Conv-Attention module which combines convolution neural networks with attention for beamforming. We apply self- and cross-attention to explicitly model the correlations within and between the input channels. The end-to-end 2D Conv-Attention model is compared with a multi-head self-attention and superdirective-based neural beamformers. We train and evaluate on an in-house multi-channel dataset. The results show a relative improvement of 3.8% in WER by the proposed model over the baseline neural beamformer.


title: Averaging local structure to predict the dynamic propensity in supercooled liquids

abstract: Predicting the local dynamics of supercooled liquids based purely on local structure is a key challenge in our quest for understanding glassy materials. Recent years have seen an explosion of methods for making such a prediction, often via the application of increasingly complex machine learning techniques. The best predictions so far have involved so-called Graph Neural Networks (GNN) whose accuracy comes at a cost of models that involve on the order of 10$^5$ fit parameters. In this Letter, we propose that the key structural ingredient to the GNN method is its ability to consider not only the local structure around a central particle, but also averaged structural features centered around nearby particles. We demonstrate that this insight can be exploited to design a significantly more efficient model that provides essentially the same predictive power at a fraction of the computational complexity (approximately 1000 fit parameters), and demonstrate its success by fitting the dynamic propensity of Kob-Andersen and binary hard-sphere mixtures. We then use this to make predictions regarding the importance of radial and angular descriptors in the dynamics of both models.


title: Statistical Image Analysis of Drying Bovine Serum Albumin Droplets in Phosphate Buffered Saline

abstract: A bio-colloidal drying droplet can be used as a pre-diagnostic technique. However, a successful clinical setting requires a fundamental understanding of the final morphology and the way it is related to the initial state of the constituents present in the droplet. This chapter focuses on the physics associated with different pattern formations in the globular protein, bovine serum albumin (BSA) at different phosphate-buffered saline concentrations. The study reports that the first-order statistics (FOS) and the gray level co-occurrence matrix (GLCM) analysis are capable of capturing structural changes of the droplets. While the FOS of the image depends on the individual pixels, the GLCM summarizes both tonal and structural relationships between the neighboring pixels. The horizontal and the vertical orientations of the GLCM parameters show a non-significant effect when the pixel displacement is $\leq$ 1. Interestingly, two local equilibrium-like regions (the rim and the central regions) appear when these droplets approach the steady-state. The bimodal distribution confirms that the BSA-BSA interactions are dominant (recessive) over the BSA-saline interactions in the rim (central) regions that result in the phase-separated aggregation of the BSA particles in the presence of the salts.


title: Open-end bin packing: new and old analysis approaches

abstract: We analyze a recently introduced concept, called the price of clustering, for variants of bin packing called open-end bin packing problems (OEBP). Input items have sizes, and they also belong to a certain number of types. The new concept deals with the comparison of optimal solutions for the cases where items of distinct types can and cannot be packed together, respectively. The problem is related to greedy bin packing algorithms and to batched bin packing, and we discuss some of those concepts as well. We analyze max-OEBP, where a packed bin is valid if by excluding its largest item, the total size of items is below 1. For this variant, we study the case of general item sizes, and the parametric case with bounded item sizes, which shows the effect of small items. Finally, we briefly discuss min-OEBP, where a bin is valid if the total size of its items excluding the smallest item is below 1, which is known to be an entirely different problem.


title: Silicon Photonics in Optical Access Networks for 5G Communications

abstract: Only radio access networks can provide connectivity across multiple antenna sites to achieve the great leap forward in capacity targeted by 5G. Optical fronthaul remains a sticking point in that connectivity, and we make the case for analog radio over fiber signals and an optical access network smartedge to achieve the potential of radio access networks. The edge of the network would house the intelligence that coordinates wireless transmissions to minimize interference and maximize throughput. As silicon photonics provides a hardware platform well adapted to support optical fronthaul, it is poised to drive smart edge adoption. We draw out the issues in adopting oursolution, propose a strategy for network densification, and cite recent demonstrations to support our approach.


title: Accessing the degree of Majorana nonlocality in a quantum dot-optical microcavity system

abstract: We explore the tunneling transport properties of a quantum dot embedded in an optical microcavity and coupled to a semiconductor-superconductor one-dimensional nanowire (Majorana nanowire) hosting Majorana zero modes (MZMs) at their edges. Conductance profiles reveal that strong light-matter coupling can be employed to distinguish between the cases of highly nonlocal MZMs, overlapped MZMs and MZMs with less degree of nonlocal feature. Moreover, we show that it is possible to access the degree of Majorana nonlocality (topological quality factor) by changing the dot spectrum through photon-induced transitions tuned by an external pump applied to the microcavity.


title: Semantic Diversity Learning for Zero-Shot Multi-label Classification

abstract: Training a neural network model for recognizing multiple labels associated with an image, including identifying unseen labels, is challenging, especially for images that portray numerous semantically diverse labels. As challenging as this task is, it is an essential task to tackle since it represents many real-world cases, such as image retrieval of natural images. We argue that using a single embedding vector to represent an image, as commonly practiced, is not sufficient to rank both relevant seen and unseen labels accurately. This study introduces an end-to-end model training for multi-label zero-shot learning that supports semantic diversity of the images and labels. We propose to use an embedding matrix having principal embedding vectors trained using a tailored loss function. In addition, during training, we suggest up-weighting in the loss function image samples presenting higher semantic diversity to encourage the diversity of the embedding matrix. Extensive experiments show that our proposed method improves the zero-shot model's quality in tag-based image retrieval achieving SoTA results on several common datasets (NUS-Wide, COCO, Open Images).


title: Transition metal impurities in Silicon: Computational search for a semiconductor qubit

abstract: Semiconductors offer a promising platform for physical implementation of qubits, but their broad adoption is presently hindered by limited scalability and/or very low operating temperatures. Learning from the nitrogen-vacancy centers in diamond, our goal is to find equivalent optically active point defect centers in crystalline silicon, which could be advantageous for their scalability and integration with classical devices. Transition metal (TM) impurities in silicon are common paramagnetic deep defects, but a comprehensive theoretical study of the whole 3$d$ series that considers generalized Koopmans' condition is missing. We apply the HSE06(+U) method to examine their potential as optically active spin qubits and identify seven TM impurities that have optically allowed triplet-triplet transitions within the silicon band gap. These results provide the first step toward silicon-based qubits with higher operating temperatures for quantum sensing. Additionally, these point defects could lead to spin-photon interfaces in silicon-based qubits and devices for mid-infrared free-space communications.


title: Nisnevich local Good compactifications

abstract: For a local complete intersection morphism, we establish fiberwise denseness in the $n$-dimensional irreducible components of the compactification Nisnevich locally.


title: Monetizing Propaganda: How Far-right Extremists Earn Money by Video Streaming

abstract: Video streaming platforms such as Youtube, Twitch, and DLive allow users to live-stream video content for viewers who can optionally express their appreciation through monetary donations. DLive is one of the smaller and lesser-known streaming platforms, and historically has had fewer content moderation practices. It has thus become a popular place for violent extremists and other clandestine groups to earn money and propagandize. What is the financial structure of the DLive streaming ecosystem and how much money is changing hands? In the past it has been difficult to understand how far-right extremists fundraise via podcasts and video streams because of the secretive nature of the activity and because of the difficulty of getting data from social media platforms. This paper describes a novel experiment to collect and analyze data from DLive's publicly available ledgers of transactions in order to understand the financial structure of the clandestine, extreme far-right video streaming community. The main findings of this paper are, first, that the majority of donors are using micropayments in varying frequencies, but a small handful of donors spend large amounts of money to finance their favorite streamers. Next, the timing of donations to high-profile far-right streamers follows a fairly predictable pattern that is closely tied to a broadcast schedule. Finally, the far-right video streaming financial landscape is divided into separate cliques which exhibit very little crossover in terms of sizable donations. This work will be important to technology companies, policymakers, and researchers who are trying to understand how niche social media services, including video platforms, are being exploited by extremists to propagandize and fundraise.


title: Strain-modulated helimagnetism and emergent magnetic phase diagrams in highly crystalline MnP nanorod films

abstract: We explore strain-modulated helimagnetism in highly crystalline MnP nanorod films grown on Si(100) substrates using molecular beam epitaxy. The strained MnP film exhibits a paramagnetic to ferromagnetic (PM-FM) phase transition at TC ~ 279 K, and the FM to helical phase transition at TN ~ 110 K. The value of TN is greater than TN ~ 47 K for the MnP single crystal, indicating strong strain-modulated helimagnetic states in the MnP nanorod film. The presence of significant thermal hysteresis in the helical phase indicates coexistence of competing magnetic interactions, leading to the first-order metamagnetic transition. Similar to its single crystal counterpart, an anisotropic magnetic effect is observed in the MnP film, which is independently confirmed by magnetic hysteresis loop and radio-frequency transverse susceptibility (TS) measurements. The evolution of screw (SCR) to CONE and FAN phase is precisely tracked from magnetization versus magnetic field/temperature measurements. The temperature dependence of the anisotropy fields, extracted from the TS spectra, yields further insight into the competing nature of the magnetic phases. Unfolding of the different helical phases at T < 120 K (~TN) is analyzed by the temperature- and field-dependent magnetic entropy change. Based on these findings, the comprehensive magnetic phase diagrams of the MnP nanorod film are constructed for the first time for both the in-plane and out-of-plane magnetic field directions, revealing emergent strain/dimensionality-driven helical magnetic features that are absent in the magnetic phase diagram of the MnP single crystal.


title: Multi-epoch Optical Images of IRC+10216 Tell About the Central Star And the Adjacent Environment

abstract: Six images of IRC+10216 taken by the Hubble Space Telescope at three epochs in 2001, 2011, and 2016 are compared in the rest frame of the central carbon star. An accurate astrometry has been achieved with the help of Gaia Data Release 2. The positions of the carbon star in the individual epochs are determined using its known proper motion, defining the rest frame of the star. In 2016, a local brightness peak with compact and red nature is detected at the stellar position. A comparison of the color maps between 2016 and 2011 epochs reveals that the reddest spot moved along with the star, suggesting a possibility of its being the dusty material surrounding the carbon star. Relatively red, ambient region is distributed in an $\Omega$ shape and well corresponds to the dusty disk previously suggested based on near-infrared polarization observations. In a larger scale, differential proper motion of multiple ring-like pattern in the rest frame of the star is used to derive the average expansion velocity of transverse wind components, resulting in $\sim$ 12.5 km s$^{-1}$ ($d$/123 pc), where $d$ is the distance to IRC+10216. Three dimensional geometry is implied from its comparison with the line-of-sight wind velocity determined from half-widths of submillimeter emission line profiles of abundant molecules. Uneven temporal variations in brightness for different searchlight beams and anisotropic distribution of extended halo are revisited in the context of the stellar light illumination through a porous envelope with postulated longer-term variations for a period of $\lesssim10$ years.


title: The effects of regularisation on RNN models for time series forecasting: Covid-19 as an example

abstract: Many research papers that propose models to predict the course of the COVID-19 pandemic either use handcrafted statistical models or large neural networks. Even though large neural networks are more powerful than simpler statistical models, they are especially hard to train on small datasets. This paper not only presents a model with grater flexibility than the other proposed neural networks, but also presents a model that is effective on smaller datasets. To improve performance on small data, six regularisation methods were tested. The results show that the GRU combined with 20% Dropout achieved the lowest RMSE scores. The main finding was that models with less access to data relied more on the regulariser. Applying Dropout to a GRU model trained on only 28 days of data reduced the RMSE by 23%.


title: Weak convergence of directed polymers to deterministic KPZ at high temperature

abstract: It is shown that when $d\ge 3$, the growing random surface generated by the $(d+1)$-dimensional directed polymer model at sufficiently high temperature, after being smoothed by taking microscopic local averages, converges to a solution of the deterministic KPZ equation in a suitable scaling limit.


title: Boron nitride nanotube precursor formation during high-temperature synthesis: kinetic and thermodynamic modelling

abstract: We performed integrated modelling of the chemical pathways of formation for boron nitride nanotube (BNNT) precursors during high-temperature synthesis in a B/N2 mixture. Modelling includes quantum chemistry, quantum-classical molecular dynamics, thermodynamic, and kinetic approaches. It is shown that BN compounds are formed in the interaction of N2 molecules with small boron clusters (N2 molecule fixation) rather than with less reactive liquid boron. We demonstrate that the transformation and consumption of liquid boron proceeds through the evaporation of clusters, Bm with m less than or equal to 5 and their subsequent conversion into BmNn chains. The production of such chains is crucial to the growth of BNNTs because these chains form the building blocks of bigger and longer BN chains and rings, which are themselves the building blocks of fullborenes and BNNTs. Moreover, kinetic modelling revealed that B4N4 and B5N4 species play a major role in the N2 molecule fixation process. The formation of these species via reactions with B4 and B5 clusters is not adequately described under the assumption of thermodynamic equilibrium because the accumulation of both B4N4 and B5N4 depends on the background gas pressure and the gas cooling rate. Long BN chains and rings, which are precursors of the fullborene and BNNT growth, form via self-assembly of component B4N4 and B5N4. Our modelling results (particularly the increased densities of B4N4 and B5N4 species at higher gas pressures) explain the experimentally observed effect of gas pressure on the yield of high-quality BNNTs. The catalytic role of hydrogen was also studied; it is shown that HBNH molecules can be the main precursor of BNNT synthesis in the presence of hydrogen.


title: Evaluating Rotation Periods of M Dwarfs Across the Ages

abstract: In this work we examine M dwarf rotation rates at a range of ages to establish benchmarks for Mdwarf gyrochronology. This work includes a sample of 713 spectroscopically-classified M0-M8 dwarfs with new rotation rates measured from K2 light curves. We analyzed data and recover rotation rates for 179 of these objects. We add these to rotation rates for members of clusters with known ages (5-700 Myr), as well as objects assumed to have field ages ($>$1 Gyr). We use Gaia DR2 parallax and (G-GRP) photometry to create color-magnitude diagrams to compare objects across samples. We use color-period plots to analyze the period distributions across age, as well as incorporate Halpha equivalent width and tangential velocity where possible to further comment on age dependence. We find that the age of transition from rapid to slow rotation in clusters, which we define as an elbow in the period-color plots, depends on spectral type. Later spectral types transition at older ages: M4 for Praesepe at 700 Myr, one of the oldest clusters for which M dwarf rotation rates have been measured. The transition from active to inactive Halpha equivalent width also occurs at this elbow, as objects transition from rapid rotation to the slowly rotating sequence. Redder or smaller stars remain active at older ages. Finally, using Gaia kinematics we find evidence for rotation stalling for late Ms in the field sample, suggesting the transition happens much later for mid to late-type M dwarfs.


title: CTRAMER: An open source software package for correlating interfacial charge transfer rate constants with donor acceptor geometries in organic photovoltaic materials

abstract: In this paper we present CTRAMER (Charge Transfer RAtes from Molecular dynamics, Electronic structure, and Rate theory), an open source software package for calculating interfacial charge transfer (CT) rate constants in organic photovoltaic (OPV) materials based on ab initio calculations and molecular dynamics simulations. The software is based on identifying representative donor acceptor geometries within interfacial structures obtained from molecular dynamics simulation of donor acceptor blends and calculating the corresponding Fermi s golden rule CT rate constants within the framework of the linearized semiclassical approximation. While the methods used are well established, the integration of these state of the art ideas from different disciplines to study photoinduced CT between excited states and explicit environment, in our opinion, makes this package unique and innovative. The software also provides tools for plotting other observables of interest. After outlining the features and implementation details, usage and performance of the software are demonstrated with results from an example OPV system.


title: Security for Emerging Miniaturized Wireless Biomedical Devices: Threat Modeling with Application to Case Studies

abstract: The landscape of miniaturized wireless biomedical devices (MWBDs) is rapidly expanding as proactive mobile healthcare proliferates. MWBDs are diverse and include various injectable, ingestible, implantable, and wearable devices. While the growth of MWBDs increases the flexibility of medical services, the adoption of these technologies brings privacy and security risks for their users. MWBDs can operate with sensitive, private information and affect patients through the use of stimulation and drug delivery. Therefore, these devices require trust and need to be secure. Embedding protective mechanisms into MWBDs is challenging because they are restricted in size, power budget, as well as processing and storage capabilities. Nevertheless, MWBDs need to be at least minimally securable in the face of evolving threats. The main intent of this work is to make the primary stakeholders of MWBDs aware of associated risks and to help the architects and the manufacturers of MWBDs protect their emerging designs in a repeatable and structured manner. Making MWBDs securable begins with performing threat modeling. This paper introduces a domain-specific qualitative-quantitative threat model dedicated to MWBDs. The proposed model is then applied to representative case studies from each category of MWBDs.


title: The impact of the additional features on the performance of regression analysis: a case study on regression analysis of music signal

abstract: Machine learning techniques nowadays play a vital role in many burning issues of real-world problems when it involves data. In addition, when the task is complex, people are in dilemma in choosing deep learning techniques or going without them. This paper is about whether we should always rely on deep learning techniques or it is really possible to overcome the performance of deep learning algorithms by simple statistical machine learning algorithms by understanding the application and processing the data so that it can help in increasing the performance of the algorithm by a notable amount. The paper mentions the importance of data preprocessing than that of the selection of the algorithm. It discusses the functions involving trigonometric, logarithmic, and exponential terms and also talks about functions that are purely trigonometric. Finally, we discuss regression analysis on music signals to justify our claim.


title: Role of the Solar Minimum in the Waiting Time Distribution Throughout the Heliosphere

abstract: We explore the tail of various waiting time datasets of processes that follow a nonstationary Poisson distribution with a sinusoidal driver. Analytically, we find that the distribution of large waiting times of such processes can be described using a power law slope of -2.5. We show that this result applies more broadly to any nonstationary Poisson process driven periodically. Examples of such processes include solar flares, coronal mass ejections, geomagnetic storms, and substorms. We also discuss how the power law specifically relates to the behavior of driver near its minima.


title: Evidence for nesting driven charge density waves instabilities in a quasi-two-dimensional material: LaAgSb2

abstract: Since their theoretical prediction by Peierls in the 30s, charge density waves (CDW) have been one of the most commonly encountered electronic phases in low dimensional metallic systems. The instability mechanism originally proposed combines Fermi surface nesting and electron-phonon coupling but is, strictly speaking, only valid in one dimension. In higher dimensions, its relevance is questionable as sharp maxima in the static electronic susceptibility \chi(q) are smeared out, and are, in many cases, unable to account for the periodicity of the observed charge modulations. Here, we investigate the quasi twodimensional LaAgSb2, which exhibits two CDW transitions, by a combination of diffuse xray scattering, inelastic x-ray scattering and ab initio calculations. We demonstrate that the CDW formation is driven by phonons softening. The corresponding Kohn anomalies are visualized in 3D through the momentum distribution of the x-ray diffuse scattering intensity. We show that they can be quantitatively accounted for by considering the electronic susceptibility calculated from a Dirac-like band, weighted by anisotropic electron-phonon coupling. This remarkable agreement sheds new light on the importance of Fermi surface nesting in CDW formation.


title: Temperature-dependent Pattern Formation in Drying Aqueous Droplets of Lysozyme

abstract: Drying colloidal droplets have a wide range of applications from medical diagnostics to coatings for industries. This paper explores the effects of the substrate temperature (ranging from $25$ to $55 ^{\circ}$C) and various initial concentrations ($\phi$) of $1$ to $20$ wt% of lysozyme in an aqueous solution on its drying and final dried film state using bright-field optical microscopy. The $\phi$ is divided into three regimes, ultra-concentrated ($20$ $<$ $\phi$ $\leq$ $17$ wt%), concentrated ($17$ $<$ $\phi$ $\leq$ $9$ wt%) and diluted ($9$ $<$ $\phi$ $\leq$ $1$ wt%). Increasing $\phi$ in these regimes finds that this movement in the later non-linear region slows down as the front carries and deposits protein molecules until the supply in solution is exhausted. In the ultra-concentrated regime, the fluid front moves linearly throughout the drying process. The deposition of protein onto the surface by the fluid front creates the "coffee-ring" and increases with increasing $\phi$. A dimple is observed in a central mound-structure, which grows with increasing $\phi$. As the temperature increases the drying rate increases, reducing the time for convective flow and the deposition of material at the fluid front. Interestingly, at (T, $\phi$) = ($55 ^{\circ}$C, $20$ wt%), the droplet forms the thickest film with suppressed ring formation. The dimple diminishes in the ultra-concentrated regime, whereas it changes to an expanded spot in some samples of the diluted and concentrated regimes with elevated temperatures. Both initial concentration and substrate temperature lead to surface tension and temperature gradients across the droplet, affecting the morphological patterns. This study provides insights into protein-protein and protein-substrate interactions driven by temperature and concentration for biomedical and biosensing applications.


title: On Information-Theoretic Classical Verification of Quantum Computers

abstract: Quantum inspired protocols e.g. [AAV13,AG17] attempt to achieve a single-prover interactive protocol where a classical machine can verify quantum computations in an information-theoretically secure manner. We define a family of protocols which seem natural for verifying quantum computations and generalizes such known protocols, namely those of [AAV13,AG17]. We show that any protocol from this family is bound to require an extremely powerful prover, much like the classical protocols of [LFKN92] and [Sha92]. Using our analysis, we also hint at possible ways one might try to realize a protocol where the prover can be weaker, namely a quantum computer (i.e. a BQP machine).


title: Tomen: Application of Bitcoin Transaction Based on Tor

abstract: Bitcoin has emerged in 2008, and after decades of development, it has become the largest trading currency by far. The core of the blockchain is to ensure the anonymity of user transactions. As more and more analysis algorithms for blockchain transactions appear, the anonymity of the blockchain is increasingly threatened. We propose Tomen, an encryption application for the communication process in the bitcoin transaction process, combined with the encryption principle method of Tor. The goal is to achieve the application of the anonymization of bitcoin transaction communication.


title: Slower is Better: Revisiting the Forgetting Mechanism in LSTM for Slower Information Decay

abstract: Sequential information contains short- to long-range dependencies; however, learning long-timescale information has been a challenge for recurrent neural networks. Despite improvements in long short-term memory networks (LSTMs), the forgetting mechanism results in the exponential decay of information, limiting their capacity to capture long-timescale information. Here, we propose a power law forget gate, which instead learns to forget information along a slower power law decay function. Specifically, the new gate learns to control the power law decay factor, p, allowing the network to adjust the information decay rate according to task demands. Our experiments show that an LSTM with power law forget gates (pLSTM) can effectively capture long-range dependencies beyond hundreds of elements on image classification, language modeling, and categorization tasks, improving performance over the vanilla LSTM. We also inspected the revised forget gate by varying the initialization of p, setting p to a fixed value, and ablating cells in the pLSTM network. The results show that the information decay can be controlled by the learnable decay factor p, which allows pLSTM to achieve its superior performance. Altogether, we found that LSTM with the proposed forget gate can learn long-term dependencies, outperforming other recurrent networks in multiple domains; such gating mechanism can be integrated into other architectures for improving the learning of long timescale information in recurrent neural networks.


title: Exploring the Pattern Formation of Lysozyme Drying Droplets in Phosphate Buffer Saline Solution

abstract: The process of drying is a simple physical mechanism that drives a system to relax from one equilibrium point to another. The native states of the constituent particles in the droplets can be linked to the emergent morphological patterns via this drying process. This paper explores the interplay between different initial concentrations of a globular protein lysozyme ($\phi_p$) and the salts ($\phi_s$) in the phosphate buffer saline (PBS). The $\phi_s$ = 0 wt% embodies the lysozyme solution prepared in de-ionized water. The samples at $\phi_s$ = 0.9 wt% display a dark texture in the central region. We examined the drying evolution and dried morphology by extracting the mean gray values (I) and standard deviation (SD). For this, $\phi_p$ was fixed at 9.0 wt%, and only the $\phi_s$ were varied. The I decreases, and the SD increases as the salt crystals start appearing during the drying process. The phase separation of these salts directly maps with this textural evolution and is influenced by the salts' amount in these droplets. The scanning electron microscopic images of the dried films at $\phi_s$ = 0.5 wt% at different $\phi_p$ show that the lysozyme-salt interactions drop off in the ring region. This ring becomes more apparent with the increasing $\phi_p$. Though all the droplets show "coffee-ring" behavior, the leftover lysozyme particles indicated with the mound-like structure diminishes in the salts' presence. The alteration of the crack patterns is also found. Therefore, the chemistry between multiple salts and lysozyme at various initial concentrations reveals that the features are not merely a sum (or average) of individual microscopic actions. It appears to involve both protein-protein and protein-salt interactions partially averaged over one length/time scale that sets the next larger/longer length/time scale in such drying droplets.


title: Composing Modeling and Simulation with Machine Learning in Julia

abstract: In this paper we introduce JuliaSim, a high-performance programming environment designed to blend traditional modeling and simulation with machine learning. JuliaSim can build accelerated surrogates from component-based models, such as those conforming to the FMI standard, using continuous-time echo state networks (CTESN). The foundation of this environment, ModelingToolkit.jl, is an acausal modeling language which can compose the trained surrogates as components within its staged compilation process. As a complementary factor we present the JuliaSim model library, a standard library with differential-algebraic equations and pre-trained surrogates, which can be composed using the modeling system for design, optimization, and control. We demonstrate the effectiveness of the surrogate-accelerated modeling and simulation approach on HVAC dynamics by showing that the CTESN surrogates accurately capture the dynamics of a HVAC cycle at less than 4\% error while accelerating its simulation by 340x. We illustrate the use of surrogate acceleration in the design process via global optimization of simulation parameters using the embedded surrogate, yielding a speedup of two orders of magnitude to find the optimum. We showcase the surrogate deployed in a co-simulation loop, as a drop-in replacement for one of the coupled FMUs, allowing engineers to effectively explore the design space of a coupled system. Together this demonstrates a workflow for automating the integration of machine learning techniques into traditional modeling and simulation processes.


title: A new perspective on low-rank optimization

abstract: A key question in many low-rank problems throughout optimization, machine learning, and statistics is to characterize the convex hulls of simple low-rank sets and judiciously apply these convex hulls to obtain strong yet computationally tractable convex relaxations. We invoke the matrix perspective function - the matrix analog of the perspective function - and characterize explicitly the convex hull of epigraphs of simple matrix convex functions under low-rank constraints. Further, we combine the matrix perspective function with orthogonal projection matrices-the matrix analog of binary variables which capture the row-space of a matrix-to develop a matrix perspective reformulation technique that reliably obtains strong relaxations for a variety of low-rank problems, including reduced rank regression, non-negative matrix factorization, and factor analysis. Moreover, we establish that these relaxations can be modeled via semidefinite constraints and thus optimized over tractably. The proposed approach parallels and generalizes the perspective reformulation technique in mixed-integer optimization and leads to new relaxations for a broad class of problems.


title: Algebraic Interplay between Renormalization and Monodromy

abstract: We investigate combinatorial and algebraic aspects of the interplay between renormalization and monodromies for Feynman amplitudes. We clarify how extraction of subgraphs from a Feynman graph interacts with putting edges onshell or with contracting them to obtain reduced graphs. Graph by graph this leads to a study of cointeracting bialgebras. One bialgebra comes from extraction of subgraphs and hence is needed for renormalization. The other bialgebra is an incidence bialgebra for edges put either on- or offshell. It is hence related to the monodromies of the multivalued function to which a renormalized graph evaluates. Summing over infinite series of graphs, consequences for Green functions are derived using combinatorial Dyson--Schwinger equations.


title: Categorical composable cryptography

abstract: We formalize the simulation paradigm of cryptography in terms of category theory and show that protocols secure against abstract attacks form a symmetric monoidal category, thus giving an abstract model of composable security definitions in cryptography. Our model is able to incorporate computational security, set-up assumptions and various attack models such as colluding or independently acting subsets of adversaries in a modular, flexible fashion. We conclude by using string diagrams to rederive the security of the one-time pad and no-go results concerning the limits of bipartite and tripartite cryptography, ruling out e.g., composable commitments and broadcasting.


title: Identifying Biased Users in Online Social Networks to Enhance the Accuracy of Sentiment Analysis: A User Behavior-Based Approach

abstract: The development of an automatic way to extract user opinions about products, movies, and foods from online social network (OSN) interactions is among the main interests of sentiment analysis and opinion mining studies. Existing approaches in the sentiment analysis domain mostly do not discriminate the sentences of different types of users, even though some users are always negative and some are always positive. Thus, finding a way to identify these two types of user is significant because their attitudes can change the analysis of user reviews of businesses and products. Due to the complexity of natural language processing, pure text mining methods may lead to misunderstandings about the exact nature of the sentiments expressed in review text. In this study, we propose a neural network classifier to predict the presence of biased users on the basis of users' psychological behaviors. The identification of the psychological behaviors of users allows us to find overly positive and overly negative users and to categorize these users' attitudes regardless of the content of their review texts. The experiment result indicates that the biased users can be predicted based on user behavior at an accuracy rate of 89%, 67% and 81% for three different datasets.


title: Universal Platform for Scalable Semiconductor-Superconductor Nanowire Networks

abstract: Semiconductor-superconductor hybrids are commonly used in research on topological quantum computation. Traditionally, top-down approaches involving dry or wet etching are used to define the device geometry. These often aggressive processes risk causing damage to material surfaces, giving rise to scattering sites particularly problematic for quantum applications. Here, we propose a method that maintains the flexibility and scalability of selective area grown nanowire networks while omitting the necessity of etching to create hybrid segments. Instead, it takes advantage of directional growth methods and uses bottom-up grown InP structures as shadowing objects to obtain selective metal deposition. The ability to lithographically define the position and area of these objects, and to grow a predefined height, ensures precise control of the shadowed region. We demonstrate the approach by growing InSb nanowire networks with well-defined Al and Pb islands. Cross-section cuts of the nanowires reveal a sharp, oxide-free interface between semiconductor and superconductor. By growing InP structures on both sides of in-plane nanowires, a combination of Pt and Pb can independently be shadow deposited, enabling a scalable and reproducible in-situ device fabrication. The semiconductor-superconductor nanostructures resulting from this approach are at the forefront of material development for Majorana based experiments.


title: Two-step method for assessing dissimilarity of random sets

abstract: The paper concerns a new statistical method for assessing dissimilarity of two random sets based on one realisation of each of them. The method focuses on shapes of the components of the random sets, namely on the curvature of their boundaries together with the ratios of their perimeters and areas. Theoretical background is introduced and then, the method is described, justified by a simulation study and applied to real data of two different types of tissue - mammary cancer and mastopathy.


title: Efficient Algorithms for Estimating the Parameters of Mixed Linear Regression Models

abstract: Mixed linear regression (MLR) model is among the most exemplary statistical tools for modeling non-linear distributions using a mixture of linear models. When the additive noise in MLR model is Gaussian, Expectation-Maximization (EM) algorithm is a widely-used algorithm for maximum likelihood estimation of MLR parameters. However, when noise is non-Gaussian, the steps of EM algorithm may not have closed-form update rules, which makes EM algorithm impractical. In this work, we study the maximum likelihood estimation of the parameters of MLR model when the additive noise has non-Gaussian distribution. In particular, we consider the case that noise has Laplacian distribution and we first show that unlike the the Gaussian case, the resulting sub-problems of EM algorithm in this case does not have closed-form update rule, thus preventing us from using EM in this case. To overcome this issue, we propose a new algorithm based on combining the alternating direction method of multipliers (ADMM) with EM algorithm idea. Our numerical experiments show that our method outperforms the EM algorithm in statistical accuracy and computational time in non-Gaussian noise case.


title: Hamiltonian formulation of an effective modified gravity with nondynamical background fields

abstract: The current paper is dedicated to developing a (3+1) decomposition for the minimal gravitational Standard-Model Extension. Our setting is explicit diffeomorphism violation and we focus on the background fields known in the literature as $u$ and $s^{\mu\nu}$. The Hamiltonian formalism is developed for these contributions, which amounts to deriving modified Hamiltonian and momentum constraints. We then study the connection between these modified constraints and the modified Einstein equations. Implications are drawn on the form of the background fields to guarantee the internal consistency of the corresponding modified-gravity theories. In the course of our analysis, we obtain a set of consistency requirements for $u$ and certain sectors of $s^{\mu\nu}$. We argue that the constraint structure remains untouched when these conditions are satisfied. Our results shed light on explicit violations of diffeomorphism invariance and local Lorentz invariance in gravity. They may turn out to be valuable for developing a better understanding of effective modified-gravity theories.


title: A Geometric Approach to the Kinematics of the Canfield Joint

abstract: This paper details an accessible geometric derivation of the forward and inverse kinematics of a parallel robotic linkage known as the Canfield joint, which can be used for pointing applications. The original purpose of the Canfield joint was to serve as a human wrist replacement, and it can be utilized for other purposes such as the precision pointing and tracking of antennas, telescopes, and thrusters. We build upon previous analyses, and generalize them to include the situation where one of the three legs freezes; the kinematics are also substantially generalized beyond failure modes, detailed within. The core of this work states and clarifies the assumptions necessary to analyze this type of parallel robotic linkage. Specific guidance is included for engineering use cases.


title: 2022 Roadmap on Neuromorphic Computing and Engineering

abstract: Modern computation based on the von Neumann architecture is today a mature cutting-edge science. In the Von Neumann architecture, processing and memory units are implemented as separate blocks interchanging data intensively and continuously. This data transfer is responsible for a large part of the power consumption. The next generation computer technology is expected to solve problems at the exascale with 1018 calculations each second. Even though these future computers will be incredibly powerful, if they are based on von Neumann type architectures, they will consume between 20 and 30 megawatts of power and will not have intrinsic physically built-in capabilities to learn or deal with complex data as our brain does. These needs can be addressed by neuromorphic computing systems which are inspired by the biological concepts of the human brain. This new generation of computers has the potential to be used for the storage and processing of large amounts of digital information with much lower power consumption than conventional processors. Among their potential future applications, an important niche is moving the control from data centers to edge devices. The aim of this Roadmap is to present a snapshot of the present state of neuromorphic technology and provide an opinion on the challenges and opportunities that the future holds in the major areas of neuromorphic technology, namely materials, devices, neuromorphic circuits, neuromorphic algorithms, applications, and ethics. The Roadmap is a collection of perspectives where leading researchers in the neuromorphic community provide their own view about the current state and the future challenges. We hope that this Roadmap will be a useful resource to readers outside this field, for those who are just entering the field, and for those who are well established in the neuromorphic community. https://doi.org/10.1088/2634-4386/ac4a83


title: Graph Neural Networks for Inconsistent Cluster Detection in Incremental Entity Resolution

abstract: Online stores often utilize product relationships such as bundles and substitutes to improve their catalog quality and guide customers through myriad choices. Entity resolution using pairwise product matching models offers a means of inferring relationships between products. In mature data repositories, the relationships may be mostly correct but require incremental improvements owing to errors in the original data or in the entity resolution system. It is critical to devise incremental entity resolution (IER) approaches for improving the health of relationships. However, most existing research on IER focuses on the addition of new products or information into existing relationships. Relatively little research has been done for detecting low quality within current relationships. This paper proposes a novel method for identifying inconsistent clusters (IC), existing groups of related products that do not belong together. We propose to treat the identification of inconsistent clusters as a supervised learning task which predicts whether a graph of products with similarities as weighted edges should be partitioned into multiple clusters. In this case, the problem becomes a classification task on weighted graphs and represents an interesting application area for modern tools such as Graph Neural Networks (GNNs). We demonstrate that existing Message Passing neural networks perform well at this task, exceeding traditional graph processing techniques. We also develop a novel message aggregation scheme for Message Passing Neural Networks that further improves the performance of GNNs on this task. We apply the model to synthetic datasets, a public benchmark dataset, and an internal application. Our results demonstrate the value of graph classification in IER and the ability of graph neural networks to develop useful representations for graph partitioning.


title: Abundance Patterns of $\alpha$ and Neutron-capture Elements in the Helmi Stream

abstract: We identified 8 additional stars as members of the Helmi stream (HStr) in the combined GALAH+ DR3 and $Gaia$ EDR3 catalog. By consistently reevaluating claimed members from the literature, we consolidate a sample of 22 HStr stars with parameters determined from high-resolution spectroscopy and spanning a considerably wider (by $\sim$0.5 dex) metallicity interval ($-2.5 \lesssim \rm[Fe/H] < -1.0$) than previously reported. Our study focuses on $\alpha$ (Mg and Ca) and neutron-capture (Ba and Eu) elements. We find that the chemistry of HStr is typical of dwarf spheroidal (dSph) galaxies, in good agreement with previous $N$-body simulations of this merging event. Stars of HStr constitute a clear declining sequence in $\rm[\alpha/Fe]$ for increasing metallicity up to $\rm[Fe/H] \sim -1.0$. Moreover, stars of HStr show a median value of $+$0.5 dex for $\rm[Eu/Fe]$ with a small dispersion ($\pm$0.1 dex). Every star analyzed with $\rm[Fe/H] < -1.2$ belong to the $r$-process enhanced ($\rm[Eu/Fe] > +0.3$ and $\rm[Ba/Eu] < 0.0$) metal-poor category, providing remarkable evidence that, at such low-metallicity regime, stars of HStr experienced enrichment in neutron-capture elements predominantly via $r$-process nucleosynthesis. Finally, the extended metallicity range also suggests an increase in $\rm[Ba/Eu]$ for higher $\rm[Fe/H]$, in conformity with other surviving dwarf satellite galaxies of the Milky Way.


title: Fano interference in quantum resonances from angle-resolved elastic scattering

abstract: Asymmetric spectral line shapes are a hallmark of interference of a quasi-bound state with a continuum of states. Such line shapes are well known for multichannel systems, for example, in photoionization or Feshbach resonances in molecular scattering. On the other hand, in resonant single channel scattering, the signature of such interference may disappear due to the orthogonality of partial waves. Here, we show that probing the angular dependence of the cross section allows us to unveil asymmetric Fano profiles also in a single channel shape resonance. We observe a shift in the peak of the resonance profile in the elastic collisions between metastable helium and deuterium molecules with detection angle, in excellent agreement with theoretical predictions from full quantum scattering calculations. Using a model description for the partial wave interference, we can disentangle the resonant and background contributions and extract the relative phase responsible for the characteristic Fano-like profiles from our experimental measurements.


title: Parameter estimation with the current generation of phenomenological waveform models applied to the black hole mergers of GWTC-1

abstract: We consider the ten confidently detected gravitational-wave signals in the GWTC-1 catalog which are consistent with mergers of binary black hole systems, and perform a thorough parameter estimation re-analysis. This is made possible by using computationally efficient waveform models of the current (fourth) generation of the IMRPhenom family of phenomenological waveform models, which consists of the IMRPhenomX frequency-domain modelsand the IMRPhenomT time-domain models. The analysis is performed with both precessing and non-precessing waveform models with and without subdominant spherical harmonic modes. Results for all events are validated with convergence tests, discussing in particular the events GW170729 and GW151226. For the latter and the other two lowest-mass events, we also compare results between two independent sampling codes, Bilby and LALInference. We find overall consistent results with the original GWTC-1 results, with all Jensen-Shannon divergences between the previous results using IMRPhenomPv2 and our default IMRPhenomXPHM posteriors below 0.045 bits, but we also discuss cases where including subdominant harmonics and/or precession influences the posteriors.


title: Tencent Video Dataset (TVD): A Video Dataset for Learning-based Visual Data Compression and Analysis

abstract: Learning-based visual data compression and analysis have attracted great interest from both academia and industry recently. More training as well as testing datasets, especially good quality video datasets are highly desirable for related research and standardization activities. Tencent Video Dataset (TVD) is established to serve various purposes such as training neural network-based coding tools and testing machine vision tasks including object detection and tracking. TVD contains 86 video sequences with a variety of content coverage. Each video sequence consists of 65 frames at 4K (3840x2160) spatial resolution. In this paper, the details of this dataset, as well as its performance when compressed by VVC and HEVC video codecs, are introduced.


title: Guardian: symbolic validation of orderliness in SGX enclaves

abstract: Modern processors can offer hardware primitives that allow a process to run in isolation. These primitives implement a trusted execution environment (TEE) in which a program can run such that the integrity and confidentiality of its execution are guaranteed. Intel's Software Guard eXtensions (SGX) is an example of such primitives and its isolated processes are called \emph{enclaves}. These guarantees, however, can be easily thwarted if the enclave has not been properly designed. Its interface with the untrusted software stack is arguably the largest attack surface that adversaries can exploit; unintended interactions with untrusted code can expose the enclave to memory corruption attacks, for instance. In this paper, we propose a notion of an \emph{orderly} enclave which splits its behaviour into several execution phases each of which imposes a set of restrictions on accesses to untrusted memory, phase transitions and registers sanitisation. A violation to these restrictions indicates an undesired behaviour which could be harnessed to perpetrate attacks against the enclave. We also introduce \Analyser{}: a tool that uses symbolic execution to carry out the validation of an enclave against our notion of an orderly enclave; in this process, it also looks for some typical memory-corruption vulnerabilities. We discuss how our approach can prevent and flag enclave vulnerabilities that have been identified in the literature. Moreover, we have evaluated how our approach fares in the analysis of some practical enclaves. \Analyser{} was able to identify real vulnerabilities on these enclaves which have been acknowledged and fixed by their maintainers.


title: Characterizing Logarithmic Bregman Functions

abstract: Minimum divergence procedures based on the density power divergence and the logarithmic density power divergence have been extremely popular and successful in generating inference procedures which combine a high degree of model efficiency with strong outlier stability. Such procedures are always preferable in practical situations over procedures which achieve their robustness at a major cost of efficiency or are highly efficient but have poor robustness properties. The density power divergence (DPD) family of Basu et al.(1998) and the logarithmic density power divergence (LDPD) family of Jones et al.(2001) provide flexible classes of divergences where the adjustment between efficiency and robustness is controlled by a single, real, non-negative parameter. The usefulness of these two families of divergences in statistical inference makes it meaningful to search for other related families of divergences in the same spirit. The DPD family is a member of the class of Bregman divergences, and the LDPD family is obtained by log transformations of the different segments of the divergences within the DPD family. Both the DPD and LDPD families lead to the Kullback-Leibler divergence in the limiting case as the tuning parameter $\alpha \rightarrow 0$. In this paper we study this relation in detail, and demonstrate that such log transformations can only be meaningful in the context of the DPD (or the convex generating function of the DPD) within the general fold of Bregman divergences, giving us a limit to the extent to which the search for useful divergences could be successful.


title: Connecting What to Say With Where to Look by Modeling Human Attention Traces

abstract: We introduce a unified framework to jointly model images, text, and human attention traces. Our work is built on top of the recent Localized Narratives annotation framework [30], where each word of a given caption is paired with a mouse trace segment. We propose two novel tasks: (1) predict a trace given an image and caption (i.e., visual grounding), and (2) predict a caption and a trace given only an image. Learning the grounding of each word is challenging, due to noise in the human-provided traces and the presence of words that cannot be meaningfully visually grounded. We present a novel model architecture that is jointly trained on dual tasks (controlled trace generation and controlled caption generation). To evaluate the quality of the generated traces, we propose a local bipartite matching (LBM) distance metric which allows the comparison of two traces of different lengths. Extensive experiments show our model is robust to the imperfect training data and outperforms the baselines by a clear margin. Moreover, we demonstrate that our model pre-trained on the proposed tasks can be also beneficial to the downstream task of COCO's guided image captioning. Our code and project page are publicly available.


title: A new stochastic framework for ship capsizing

abstract: We present a new stochastic framework for studying ship capsize. It is a synthesis of two strands of transition state theory. The first is an extension of deterministic transition state theory to dissipative non-autonomous systems, together with a probability distribution over the forcing functions. The second is stochastic reachability and large deviation theory for transition paths in Markovian systems. In future work we aim to bring these together to make a tool for predicting capsize rate in different stochastic sea states, suggesting control strategies and improving designs.


title: One-electron energy spectra of heavy highly charged quasimolecules

abstract: The generalized dual-kinetic-balance approach for axially symmetric systems is employed to solve the two-center Dirac problem. The spectra of one-electron homonuclear quasimolecules are calculated and compared with the previous calculations. The analysis of the monopole approximation with two different choices of the origin is performed. Special attention is paid to the lead and xenon dimers, Pb$^{82+}$-Pb$^{82+}$-e$^{-}$ and Xe$^{54+}$-Xe$^{54+}$-e$^{-}$, where the energies of the ground and several excited $\sigma$-states are presented in the wide range of internuclear distances. The developed method provides the quasicomplete finite basis set and allows for construction of the perturbation theory, including within the bound-state QED.


title: On the Robustness of the Integrable Trajectories of the Control Systems with Limited Control Resources

abstract: The control system described by Urysohn type integral equation is considered where the system is nonlinear with respect to the phase vector and is affine with respect to the control vector. The control functions are chosen from the closed ball of the space $L_q\left(\Omega;\mathbb{R}^m\right),$ $q>1,$ with radius $r$ and centered at the origin. The trajectory of the system is defined as $p$-integrable multivariable function from the space $L_p\left(\Omega;\mathbb{R}^n\right),$ $\frac{1}{q}+\frac{1}{p}=1,$ satisfying the system's equation almost everywhere. It is shown that the system's trajectories are robust with respect to the remaining control resource. Applying this result it is proved that every trajectory can be approximated by the trajectory obtained by full consumption of the total control resource.


title: A new version of Toom's proof

abstract: There are several proofs now for the stability of Toom's example of a two-dimensional stable cellular automaton and its application to fault-tolerant computation. Simon and Berman simplified and strengthened Toom's original proof: the present report is a simplified exposition of their proof.


title: SPUX Framework: a Scalable Package for Bayesian Uncertainty Quantification and Propagation

abstract: We present SPUX - a modular framework for Bayesian inference enabling uncertainty quantification and propagation in linear and nonlinear, deterministic and stochastic models, and supporting Bayesian model selection. SPUX can be coupled to any serial or parallel application written in any programming language, (e.g. including Python, R, Julia, C/C++, Fortran, Java, or a binary executable), scales effortlessly from serial runs on a personal computer to parallel high performance computing clusters, and aims to provide a platform particularly suited to support and foster reproducibility in computational science. We illustrate SPUX capabilities for a simple yet representative random walk model, describe how to couple different types of user applications, and showcase several readily available examples from environmental sciences. In addition to available state-of-the-art numerical inference algorithms including EMCEE, PMCMC (PF) and SABC, the open source nature of the SPUX framework and the explicit description of the hierarchical parallel SPUX executors should also greatly simplify the implementation and usage of other inference and optimization techniques.


title: Small energy isotopies of loose Legendrian submanifolds

abstract: We prove that for a closed Legendrian submanifold $L$ of dimension $n \geq 2$ with a loose chart of size $\eta$, any Legendrian isotopy starting at $L$ can be $C^0$-approximated by a Legendrian isotopy with energy arbitrarily close to $\frac{\eta}{2}$. This in particular implies that the displacement energy of loose displaceable Legendrians is bounded by half the size of its smallest loose chart, which proves a conjecture of Dimitroglou Rizell and Sullivan.


title: Rigidity of Lagrangian embeddings into symplectic tori and K3 surfaces

abstract: A Kahler-type form is a symplectic form compatible with an integrable complex structure. Let M be either a torus or a K3-surface equipped with a Kahler-type form. We show that the homology class of any Maslov-zero Lagrangian torus in M has to be non-zero and primitive. This extends previous results of Abouzaid-Smith (for tori) and Sheridan-Smith (for K3-surfaces) who proved it for particular Kahler-type forms on M. In the K3 case our proof uses dynamical properties of the action of the diffeomorphism group of M on the space of the Kahler-type forms. These properties are obtained using Shah's arithmetic version of Ratner's orbit closure theorem.


title: On angles between convex cones

abstract: There are two basic angles associated with a pair of linear subspaces: the Diximier angle and the Friedrichs angle. The Dixmier angle of the pair of orthogonal complements is the same as the Dixmier angle of the original pair provided that the original pair gives rise to a direct (not necessarily orthogonal) sum of the underlying Hilbert space. The Friedrichs angles of the original pair and the pair of the orthogonal complements always coincide. These two results are due to Krein, Krasnoselskii, and Milman and to Solmon, respectively. In 1995, Deutsch provided a very nice survey with complete proofs and interesting historical comments. One key result in Deutsch's survey was an inequality for Dixmier angles provided by Hundal. In this paper, we present extensions of these results to the case when the linear subspaces are only required to be convex cones. It turns out that Hundal's result has a nice conical extension while the situation is more technical for the results by Krein et al.\ and by Solmon. Our analysis is based on Deutsch's survey and our recent work on angles between convex sets. Throughout, we also provide examples illustrating the sharpness of our results.


title: Removing Blocking Artifacts in Video Streams Using Event Cameras

abstract: In this paper, we propose EveRestNet, a convolutional neural network designed to remove blocking artifacts in videostreams using events from neuromorphic sensors. We first degrade the video frame using a quadtree structure to produce the blocking artifacts to simulate transmitting a video under a heavily constrained bandwidth. Events from the neuromorphic sensor are also simulated, but are transmitted in full. Using the distorted frames and the event stream, EveRestNet is able to improve the image quality.


title: The role of information in high dimensional stochastic optimal control

abstract: The stochastic optimal control of many agents is an important problem in various fields. We investigate the problem of partial observations, where the state of each agent is not fully observed and the control must be decided based on noisy observations. This results in a high-dimensional Markov decision process that is impractical to handle directly. However, in the limit as the number of agents approaches infinity, a finite-dimensional mean-field optimal control problem emerges, which coincides with the problem of full information. Our main contribution is to investigate a central limit theorem for the Gaussian fluctuations of the mean-field optimal control. Our findings show that partial observations play an essential role in the fluctuations, in contrast to the mean-field limit. We establish a method that uses an approximate Kalman filter, which is straightforward to compute even when the number of states is large. This provides some theoretical evidence of the efficacy of Kalman filter methods that are commonly used across a range of practical applications. We demonstrate our results with two examples: an epidemic model with observations of positive tests and a simple two-state model that exhibits a phase transition at which point the fluctuations diverge.


title: Analysing The Impact Of Linguistic Features On Cross-Lingual Transfer

abstract: There is an increasing amount of evidence that in cases with little or no data in a target language, training on a different language can yield surprisingly good results. However, currently there are no established guidelines for choosing the training (source) language. In attempt to solve this issue we thoroughly analyze a state-of-the-art multilingual model and try to determine what impacts good transfer between languages. As opposed to the majority of multilingual NLP literature, we don't only train on English, but on a group of almost 30 languages. We show that looking at particular syntactic features is 2-4 times more helpful in predicting the performance than an aggregated syntactic similarity. We find out that the importance of syntactic features strongly differs depending on the downstream task - no single feature is a good performance predictor for all NLP tasks. As a result, one should not expect that for a target language $L_1$ there is a single language $L_2$ that is the best choice for any NLP task (for instance, for Bulgarian, the best source language is French on POS tagging, Russian on NER and Thai on NLI). We discuss the most important linguistic features affecting the transfer quality using statistical and machine learning methods.


title: Sensor Placement with Optimal Precision for Temperature Estimation of Battery Systems

abstract: The temperature distribution in the battery significantly impacts the short-term and long-term performance of battery systems. Therefore, efficient, safe, and reliable battery system operation requires an accurate estimation of the temperature field. The current industry standard for sensors to battery cell ratio is quite frugal. Thus, the problem of sensor placement for accurate temperature estimation becomes non-trivial, especially for large-scale systems. In this paper, we explore a greedy approach for sensor placement suitable for large-scale battery systems. An observer to estimate the thermal field is designed in an $\mathcal{H}_{\infty}$ framework while simultaneously minimizing the sensor precisions, thus lowering the overall thermal management system's economic cost.


title: Spelling Correction with Denoising Transformer

abstract: We present a novel method of performing spelling correction on short input strings, such as search queries or individual words. At its core lies a procedure for generating artificial typos which closely follow the error patterns manifested by humans. This procedure is used to train the production spelling correction model based on a transformer architecture. This model is currently served in the HubSpot product search. We show that our approach to typo generation is superior to the widespread practice of adding noise, which ignores human patterns. We also demonstrate how our approach may be extended to resource-scarce settings and train spelling correction models for Arabic, Greek, Russian, and Setswana languages, without using any labeled data.


title: Besov rough path analysis

abstract: Rough path analysis is developed in the full Besov scale. This extends, and essentially concludes, an investigation started by [Pr\"omel--Trabs, Rough differential equations driven by signals in {B}esov spaces. J. Diff. Equ. 2016], further studied in a series of papers by Liu, Pr\"omel and Teichmann. A new Besov sewing lemma, a real-analysis result of interest in its own right, plays a key role, and the flexibility in the choice of Besov parameters allows for the treatment of equations not available in the H\"older or variation settings. Important classes of stochastic processes fit in the present framework.


title: A geometrical view of Ulrich vector bundles

abstract: We study geometrical properties of an Ulrich vector bundle $E$ of rank $r$ on a smooth $n$-dimensional variety $X \subseteq \mathbb P^N$. We characterize ampleness of $E$ and of $\det E$ in terms of the restriction to lines contained in $X$. We prove that all fibers of the map $\Phi_E :X \to {\mathbb G}(r-1, \mathbb PH^0(E))$ are linear spaces, as well as the projection on $X$ of all fibers of the map $\varphi_E : \mathbb P(E) \to \mathbb P H^0(E)$. Then we get a number of consequences: a characterization of bigness of $E$ and of $\det E$ in terms of the maps $\Phi_E$ and $\varphi_E$; when $\det E$ is big and $E$ is not big there are infinitely many linear spaces in $X$ through any point of $X$; when $\det E$ is not big, the fibers of $\Phi_E$ and $\varphi_E$ have the same dimension; a classification of Ulrich vector bundles whose determinant has numerical dimension at most $\frac{n}{2}$; a classification of Ulrich vector bundles with $\det E$ of numerical dimension at most $k$ on a linear $\mathbb P^k$-bundle.


title: DONet: Dual-Octave Network for Fast MR Image Reconstruction

abstract: Magnetic resonance (MR) image acquisition is an inherently prolonged process, whose acceleration has long been the subject of research. This is commonly achieved by obtaining multiple undersampled images, simultaneously, through parallel imaging. In this paper, we propose the Dual-Octave Network (DONet), which is capable of learning multi-scale spatial-frequency features from both the real and imaginary components of MR data, for fast parallel MR image reconstruction. More specifically, our DONet consists of a series of Dual-Octave convolutions (Dual-OctConv), which are connected in a dense manner for better reuse of features. In each Dual-OctConv, the input feature maps and convolutional kernels are first split into two components (ie, real and imaginary), and then divided into four groups according to their spatial frequencies. Then, our Dual-OctConv conducts intra-group information updating and inter-group information exchange to aggregate the contextual information across different groups. Our framework provides three appealing benefits: (i) It encourages information interaction and fusion between the real and imaginary components at various spatial frequencies to achieve richer representational capacity. (ii) The dense connections between the real and imaginary groups in each Dual-OctConv make the propagation of features more efficient by feature reuse. (iii) DONet enlarges the receptive field by learning multiple spatial-frequency features of both the real and imaginary components. Extensive experiments on two popular datasets (ie, clinical knee and fastMRI), under different undersampling patterns and acceleration factors, demonstrate the superiority of our model in accelerated parallel MR image reconstruction.


title: Assessing Semantic Frames to Support Program Comprehension Activities

abstract: Software developers often rely on natural language text that appears in software engineering artifacts to access critical information as they build and work on software systems. For example, developers access requirements documents to understand what to build, comments in source code to understand design decisions, answers to questions on Q&A sites to understand APIs, and so on. To aid software developers in accessing and using this natural language information, software engineering researchers often use techniques from natural language processing. In this paper, we explore whether frame semantics, a general linguistic approach, which has been used on requirements text, can also help address problems that occur when applying lexicon analysis based techniques to text associated with program comprehension activities. We assess the applicability of generic semantic frame parsing for this purpose, and based on the results, we propose SEFrame to tailor semantic frame parsing for program comprehension uses. We evaluate the correctness and robustness of the approach finding that SEFrame is correct in between 73% and 74% of the cases and that it can parse text from a variety of software artifacts used to support program comprehension. We describe how this approach could be used to enhance existing approaches to identify meaning on intention from software engineering texts.


title: Acoustic plasmons and isotropic short-range interaction in two-component electron liquids

abstract: Dispersion of acoustic plasmons and isotropic Landau parameters are calculated in three- and two-dimensional two-component electron-electron and electron-hole liquids at various concentration and mass ratios using Landau-Silin kinetic equation and the random phase approximation for the self-energy. It is shown that the mode propagation and the strength of quasiparticle interaction are determined by the intercomponent screening and are asymmetric with respect to charge composition of two-component liquid. The well-defined acoustic plasmon-zero sound mode arises at strong difference in concentrations between components and its renormalization by the short-range exchange-correlation interaction is negligible. The acoustic plasmon mediated interparticle effective interaction in the fast component is weak in both the three- and two-dimensional electron liquids with parabolic dispersion, so the associated plasmonic superconductivity and the formation of acoustic plasmarons are unfavorable.


title: An Open-Source Tool for Classification Models in Resource-Constrained Hardware

abstract: Applications that need to sense, measure, and gather real-time information from the environment frequently face three main restrictions: power consumption, cost, and lack of infrastructure. Most of the challenges imposed by these limitations can be better addressed by embedding Machine Learning (ML) classifiers in the hardware that senses the environment, creating smart sensors able to interpret the low-level data stream. However, for this approach to be cost-effective, we need highly efficient classifiers suitable to execute in unresourceful hardware, such as low-power microcontrollers. In this paper, we present an open-source tool named EmbML - Embedded Machine Learning that implements a pipeline to develop classifiers for resource-constrained hardware. We describe its implementation details and provide a comprehensive analysis of its classifiers considering accuracy, classification time, and memory usage. Moreover, we compare the performance of its classifiers with classifiers produced by related tools to demonstrate that our tool provides a diverse set of classification algorithms that are both compact and accurate. Finally, we validate EmbML classifiers in a practical application of a smart sensor and trap for disease vector mosquitoes.


title: Sparse Nonnegative Convolution Is Equivalent to Dense Nonnegative Convolution

abstract: Computing the convolution $A\star B$ of two length-$n$ vectors $A,B$ is an ubiquitous computational primitive. Applications range from string problems to Knapsack-type problems, and from 3SUM to All-Pairs Shortest Paths. These applications often come in the form of nonnegative convolution, where the entries of $A,B$ are nonnegative integers. The classical algorithm to compute $A\star B$ uses the Fast Fourier Transform and runs in time $O(n\log n)$. However, often $A$ and $B$ satisfy sparsity conditions, and hence one could hope for significant improvements. The ideal goal is an $O(k\log k)$-time algorithm, where $k$ is the number of non-zero elements in the output, i.e., the size of the support of $A\star B$. This problem is referred to as sparse nonnegative convolution, and has received considerable attention in the literature; the fastest algorithms to date run in time $O(k\log^2 n)$. The main result of this paper is the first $O(k\log k)$-time algorithm for sparse nonnegative convolution. Our algorithm is randomized and assumes that the length $n$ and the largest entry of $A$ and $B$ are subexponential in $k$. Surprisingly, we can phrase our algorithm as a reduction from the sparse case to the dense case of nonnegative convolution, showing that, under some mild assumptions, sparse nonnegative convolution is equivalent to dense nonnegative convolution for constant-error randomized algorithms. Specifically, if $D(n)$ is the time to convolve two nonnegative length-$n$ vectors with success probability $2/3$, and $S(k)$ is the time to convolve two nonnegative vectors with output size $k$ with success probability $2/3$, then $S(k)=O(D(k)+k(\log\log k)^2)$. Our approach uses a variety of new techniques in combination with some old machinery from linear sketching and structured linear algebra, as well as new insights on linear hashing, the most classical hash function.


title: An Open-Source Multi-Goal Reinforcement Learning Environment for Robotic Manipulation with Pybullet

abstract: This work re-implements the OpenAI Gym multi-goal robotic manipulation environment, originally based on the commercial Mujoco engine, onto the open-source Pybullet engine. By comparing the performances of the Hindsight Experience Replay-aided Deep Deterministic Policy Gradient agent on both environments, we demonstrate our successful re-implementation of the original environment. Besides, we provide users with new APIs to access a joint control mode, image observations and goals with customisable camera and a built-in on-hand camera. We further design a set of multi-step, multi-goal, long-horizon and sparse reward robotic manipulation tasks, aiming to inspire new goal-conditioned reinforcement learning algorithms for such challenges. We use a simple, human-prior-based curriculum learning method to benchmark the multi-step manipulation tasks. Discussions about future research opportunities regarding this kind of tasks are also provided.


title: Probing dynamical criticality near quantum phase transitions

abstract: We reveal a prethermal temporal regime upon suddenly quenching to the vicinity of a quantum phase transition in the time evolution of 1D spin chains. The prethermal regime is analytically found to be self-similar, and its duration is governed by the ground-state energy gap. Based on analytical insights and numerical evidence, we show that this critically prethermal regime universally exists independently of the location of the probe site, the presence of weak interactions, or the initial state. Moreover, the resulting prethermal dynamics leads to an out-of-equilibrium scaling function of the order parameter in the vicinity of the transition.


title: Two Influence Maximization Games on Graphs Made Temporal

abstract: To address the dynamic nature of real-world networks, we generalize competitive diffusion games and Voronoi games from static to temporal graphs, where edges may appear or disappear over time. This establishes a new direction of studies in the area of graph games, motivated by applications such as influence spreading. As a first step, we investigate the existence of Nash equilibria in 2-player competitive diffusion and Voronoi games on different temporal graph classes. Even when restricting our studies to temporal trees and cycles, this turns out to be a challenging undertaking, revealing significant differences between the two games in the temporal setting. Notably, both games are equivalent on static trees and cycles. Our two main technical results are (algorithmic) proofs for the existence of Nash equilibria in 2-player competitive diffusion and temporal Voronoi games when the edges are restricted not to disappear over time.


title: Multiple magneto-ionic regimes in Ta/Co$_{20}$Fe$_{60}$B$_{20}$/HfO$_{2}$

abstract: In Ta/CoFeB/HfO2 stacks a gate voltage drives, in a nonvolatile way, the system from an underoxidized state exhibiting in-plane anisotropy (IPA) to an optimum oxidation level resulting in perpendicular anisotropy (PMA) and further into an overoxidized state with IPA. The IPA$\,\to\,$PMA regime is found to be significantly faster than the PMA$\,\to\,$IPA regime, while only the latter shows full reversibility under the same gate voltages. The effective damping parameter also shows a marked dependence with gate voltage in the IPA$\,\to\,$PMA regime, going from 0.029 to 0.012, and only a modest increase to 0.014 in the PMA$\,\to\,$IPA regime. The existence of two magneto-ionic regimes has been linked to a difference in the chemical environment of the anchoring points of oxygen species added to underoxidized or overoxidized layers. Our results show that multiple magneto-ionic regimes can exist in a single device and that their characterization is of great importance for the design of high performance spintronics devices.


title: Optimal transport with some directed distances

abstract: We present a toolkit of directed distances between quantile functions. By employing this, we solve some new optimal transport (OT) problems which e.g. considerably flexibilize some prominent OTs expressed through Wasserstein distances.


title: Non-Classical Kernels in Continuous Variable Systems

abstract: Kernel methods are ubiquitous in classical machine learning, and recently their formal similarity with quantum mechanics has been established. To grasp the potential advantage of quantum machine learning, it is necessary to understand the distinction between non-classical kernel functions and classical kernels. This paper builds on a recently proposed phase space nonclassicality witness [Bohmann, Agudelo, Phys. Rev. Lett. 124, 133601 (2020)] to derive a witness for the kernel's quantumness in continuous-variable systems. We discuss the role of kernel's nonclassicality in data distribution in the feature space and the effect of imperfect state preparation. Furthermore, we show that the non-classical kernels lead to the quantum advantage in parameter estimation. Our work highlights the role of the phase space correlation functions in understanding the distinction between classical machine learning from quantum machine learning.


title: Improving Code Autocompletion with Transfer Learning

abstract: Software language models have achieved promising results predicting code completion usages, and several industry studies have described successful IDE integrations. Recently, accuracy in autocompletion prediction improved 12.8% from training on a real-world dataset collected from programmers' IDE activity. But what if limited examples of IDE autocompletion in the target programming language are available for model training? In this paper, we investigate the efficacy of pretraining autocompletion models on non-IDE, non-autocompletion, and different-language example code sequences. We find that these unsupervised pretrainings improve model accuracy by over 50% on very small fine-tuning datasets and over 10% on 50k labeled examples. We confirm the real-world impact of these pretrainings in an online setting through A/B testing on thousands of IDE autocompletion users, finding that pretraining is responsible for increases of up to 6.63% autocompletion usage.


title: Informationally complete POVM-based shadow tomography

abstract: Recently introduced shadow tomography protocols use classical shadows of quantum states to predict many target functions of an unknown quantum state. Unlike full quantum state tomography, shadow tomography does not insist on accurate recovery of the density matrix for high rank mixed states. Yet, such a protocol makes multiple accurate predictions with high confidence, based on a moderate number of quantum measurements. One particular influential algorithm, proposed by Huang, Kueng, and Preskill arXiv:2002.08953, requires additional circuits for performing certain random unitary transformations. In this paper, we avoid these transformations but employ an arbitrary informationally complete POVM and show that such a procedure can compute k-bit correlation functions for quantum states reliably. We also show that, for this application, we do not need the median of means procedure of Huang et al. Finally, we discuss the contrast between the computation of correlation functions and fidelity of reconstruction of low rank density matrices.


title: The Flare Likelihood and Region Eruption Forecasting (FLARECAST) Project: Flare forecasting in the big data & machine learning era

abstract: The EU funded the FLARECAST project, that ran from Jan 2015 until Feb 2018. FLARECAST had a R2O focus, and introduced several innovations into the discipline of solar flare forecasting. FLARECAST innovations were: first, the treatment of hundreds of physical properties viewed as promising flare predictors on equal footing, extending multiple previous works; second, the use of fourteen (14) different ML techniques, also on equal footing, to optimize the immense Big Data parameter space created by these many predictors; third, the establishment of a robust, three-pronged communication effort oriented toward policy makers, space-weather stakeholders and the wider public. FLARECAST pledged to make all its data, codes and infrastructure openly available worldwide. The combined use of 170+ properties (a total of 209 predictors are now available) in multiple ML algorithms, some of which were designed exclusively for the project, gave rise to changing sets of best-performing predictors for the forecasting of different flaring levels. At the same time, FLARECAST reaffirmed the importance of rigorous training and testing practices to avoid overly optimistic pre-operational prediction performance. In addition, the project has (a) tested new and revisited physically intuitive flare predictors and (b) provided meaningful clues toward the transition from flares to eruptive flares, namely, events associated with coronal mass ejections (CMEs). These leads, along with the FLARECAST data, algorithms and infrastructure, could help facilitate integrated space-weather forecasting efforts that take steps to avoid effort duplication. In spite of being one of the most intensive and systematic flare forecasting efforts to-date, FLARECAST has not managed to convincingly lift the barrier of stochasticity in solar flare occurrence and forecasting: solar flare prediction thus remains inherently probabilistic.


title: Neural Trajectory Fields for Dynamic Novel View Synthesis

abstract: Recent approaches to render photorealistic views from a limited set of photographs have pushed the boundaries of our interactions with pictures of static scenes. The ability to recreate moments, that is, time-varying sequences, is perhaps an even more interesting scenario, but it remains largely unsolved. We introduce DCT-NeRF, a coordinatebased neural representation for dynamic scenes. DCTNeRF learns smooth and stable trajectories over the input sequence for each point in space. This allows us to enforce consistency between any two frames in the sequence, which results in high quality reconstruction, particularly in dynamic regions.


title: A Deep Polarimetric Study of the Asymmetrical Debris Disk HD 106906

abstract: HD 106906 is a young, binary stellar system, located in the Lower Centaurus Crux (LCC) group. This system is unique among discovered systems in that it contains an asymmetrical debris disk, as well as an 11 M$_{Jup}$ planet companion, at a separation of $\sim$735 AU. Only a handful of other systems are known to contain both a disk and directly imaged planet, where HD 106906 is the only one in which the planet has apparently been scattered. The debris disk is nearly edge on, and extends roughly to $>$500 AU, where previous studies with HST have shown the outer regions to have high asymmetry. To better understand the structure and composition of the disk, we have performed a deep polarimetric study of HD 106906's asymmetrical debris disk using newly obtained $H$-, $J$-, and $K1$-band polarimetric data from the Gemini Planet Imager (GPI). An empirical analysis of our data supports a disk that is asymmetrical in surface brightness and structure, where fitting an inclined ring model to the disk spine suggests that the disk may be highly eccentric ($e\gtrsim0.16$). A comparison of the disk flux with the stellar flux in each band suggests a blue color that also does not significantly vary across the disk. We discuss these results in terms of possible sources of asymmetry, where we find that dynamical interaction with the planet companion, HD 106906b, is a likely candidate.


title: Multilingual Offensive Language Identification for Low-resource Languages

abstract: Offensive content is pervasive in social media and a reason for concern to companies and government organizations. Several studies have been recently published investigating methods to detect the various forms of such content (e.g. hate speech, cyberbullying, and cyberaggression). The clear majority of these studies deal with English partially because most annotated datasets available contain English data. In this paper, we take advantage of available English datasets by applying cross-lingual contextual word embeddings and transfer learning to make predictions in low-resource languages. We project predictions on comparable data in Arabic, Bengali, Danish, Greek, Hindi, Spanish, and Turkish. We report results of 0.8415 F1 macro for Bengali in TRAC-2 shared task, 0.8532 F1 macro for Danish and 0.8701 F1 macro for Greek in OffensEval 2020, 0.8568 F1 macro for Hindi in HASOC 2019 shared task and 0.7513 F1 macro for Spanish in in SemEval-2019 Task 5 (HatEval) showing that our approach compares favourably to the best systems submitted to recent shared tasks on these three languages. Additionally, we report competitive performance on Arabic, and Turkish using the training and development sets of OffensEval 2020 shared task. The results for all languages confirm the robustness of cross-lingual contextual embeddings and transfer learning for this task.


title: The impact and recovery of asteroid 2018 LA

abstract: The June 2, 2018, impact of asteroid 2018 LA over Botswana is only the second asteroid detected in space prior to impacting over land. Here, we report on the successful recovery of meteorites. Additional astrometric data refine the approach orbit and define the spin period and shape of the asteroid. Video observations of the fireball constrain the asteroid's position in its orbit and were used to triangulate the location of the fireball's main flare over the Central Kalahari Game Reserve. 23 meteorites were recovered. A consortium study of eight of these classifies Motopi Pan as a HED polymict breccia derived from howardite, cumulate and basaltic eucrite, and diogenite lithologies. Before impact, 2018 LA was a solid rock of about 156 cm diameter with high bulk density about 2.85 g/cm3, a relatively low albedo pV about 0.25, no significant opposition effect on the asteroid brightness, and an impact kinetic energy of about 0.2 kt. The orbit of 2018 LA is consistent with an origin at Vesta (or its Vestoids) and delivery into an Earth-impacting orbit via the nu_6 resonance. The impact that ejected 2018 LA in an orbit towards Earth occurred 22.8 +/- 3.8 Ma ago. Zircons record a concordant U-Pb age of 4563 +/- 11 Ma and a consistent 207Pb/206Pb age of 4563 +/- 6 Ma. A much younger Pb-Pb phosphate resetting age of 4234 +/- 41 Ma was found. From this impact chronology, we discuss what is the possible source crater of Motopi Pan and the age of Vesta's Veneneia impact basin.


title: Model Predictive Control with Environment Adaptation for Legged Locomotion

abstract: Re-planning in legged locomotion is crucial to track the desired user velocity while adapting to the terrain and rejecting external disturbances. In this work, we propose and test in experiments a real-time Nonlinear Model Predictive Control (NMPC) tailored to a legged robot for achieving dynamic locomotion on a variety of terrains. We introduce a mobility-based criterion to define an NMPC cost that enhances the locomotion of quadruped robots while maximizing leg mobility and improves adaptation to the terrain features. Our NMPC is based on the real-time iteration scheme that allows us to re-plan online at $25\,\mathrm{Hz}$ with a prediction horizon of $2$ seconds. We use the single rigid body dynamic model defined in the center of mass frame in order to increase the computational efficiency. In simulations, the NMPC is tested to traverse a set of pallets of different sizes, to walk into a V-shaped chimney,and to locomote over rough terrain. In real experiments, we demonstrate the effectiveness of our NMPC with the mobility feature that allowed IIT's $87\, \mathrm{kg}$ quadruped robot HyQ to achieve an omni-directional walk on flat terrain, to traverse a static pallet, and to adapt to a repositioned pallet during a walk.


title: Designing Multimodal Datasets for NLP Challenges

abstract: In this paper, we argue that the design and development of multimodal datasets for natural language processing (NLP) challenges should be enhanced in two significant respects: to more broadly represent commonsense semantic inferences; and to better reflect the dynamics of actions and events, through a substantive alignment of textual and visual information. We identify challenges and tasks that are reflective of linguistic and cognitive competencies that humans have when speaking and reasoning, rather than merely the performance of systems on isolated tasks. We introduce the distinction between challenge-based tasks and competence-based performance, and describe a diagnostic dataset, Recipe-to-Video Questions (R2VQ), designed for testing competence-based comprehension over a multimodal recipe collection (http://r2vq.org/). The corpus contains detailed annotation supporting such inferencing tasks and facilitating a rich set of question families that we use to evaluate NLP systems.


title: KMS Dirichlet forms, coercivity and super-bounded Markovian semigroups on von Neumann algebras

abstract: We introduce a construction of Dirichlet forms on von Neumann algebras M associated to any eigenvalue of the Araki modular Hamiltonian of a faithful normal non tracial state, providing also conditions by which the associated Markovian semigroups are GNS symmetric. The structure of these Dirichlet forms is described in terms of spatial derivations. Coercivity bounds are proved and the spectral growth is derived. We introduce a regularizing property of positivity preserving semigroups (superboundedness) stronger than hypercontractivity, in terms of the symmetric embedding of M into its standard space L2(M) and the associated noncommutative Lp(M) spaces. We prove superboundedness for a special class of positivity preserving semigroups and that some of them are dominated by the Markovian semigroups associated to the Dirichlet forms introduced above, for type I factors M. These tools are applied to a general construction of the quantum Ornstein-Uhlembeck semigroups of the Canonical Commutation Relations CCR and some of their non-perturbative deformations.