title: Search for new physics in top quark production with additional leptons in proton-proton collisions at $\sqrt{s} =$ 13 TeV using effective field theory

abstract: Events containing one or more top quarks produced with additional prompt leptons are used to search for new physics within the framework of an effective field theory (EFT). The data correspond to an integrated luminosity of 41.5 fb$^{-1}$ of proton-proton collisions at a center-of-mass energy of 13 TeV at the LHC, collected by the CMS experiment in 2017. The selected events are required to have either two leptons with the same charge or more than two leptons; jets, including identified bottom quark jets, are also required, and the selected events are divided into categories based on the multiplicities of these objects. Sixteen dimension-six operators that can affect processes involving top quarks produced with additional charged leptons are considered in this analysis. Constructed to target EFT effects directly, the analysis applies a novel approach in which the observed yields are parameterized in terms of the Wilson coefficients (WCs) of the EFT operators. A simultaneous fit of the 16 WCs to the data is performed and two standard deviation confidence intervals for the WCs are extracted; the standard model expectations for the WC values are within these intervals for all of the WCs probed.


title: Plane Wave Elastography: A Frequency-Domain Ultrasound Shear Wave Elastography Approach

abstract: In this paper, we propose Plane Wave Elastography (PWE), a novel ultrasound shear wave elastography (SWE) approach. Currently, commercial methods for SWE rely on directional filtering based on the prior knowledge of the wave propagation direction, to remove complicated wave patterns formed due to reflection and refraction. The result is a set of decomposed directional waves that are separately analyzed to construct shear modulus fields that are then combined through compounding. Instead, PWE relies on a rigorous representation of the wave propagation using the frequency-domain scalar wave equation to automatically select appropriate propagation directions and simultaneously reconstruct shear modulus fields. Specifically, assuming a homogeneous, isotropic, incompressible, linear-elastic medium, we represent the solution of the wave equation using a linear combination of plane waves propagating in arbitrary directions. Given this closed-form solution, we formulate the SWE problem as a nonlinear least-squares optimization problem which can be solved very efficiently. Through numerous phantom studies, we show that PWE can handle complicated waveforms without prior filtering and is competitive with state-of-the-art that requires prior filtering based on the knowledge of propagation directions.


title: A Finite Element Method for MHD that Preserves Energy, Cross-Helicity, Magnetic Helicity, Incompressibility, and $\operatorname{div} B = 0$

abstract: We construct a structure-preserving finite element method and time-stepping scheme for inhomogeneous, incompressible magnetohydrodynamics (MHD). The method preserves energy, cross-helicity (when the fluid density is constant), magnetic helicity, mass, total squared density, pointwise incompressibility, and the constraint $\operatorname{div} B = 0$ to machine precision, both at the spatially and temporally discrete levels.


title: Fourier-Informed Knot Placement Schemes for B-Spline Approximation

abstract: Fitting B-splines to discrete data is especially challenging when the given data contain noise, jumps, or corners. Here, we describe how periodic data sets with these features can be efficiently and robustly approximated with B-splines by analyzing the Fourier spectrum of the data. Our method uses a collection of spectral filters to produce different indicator functions that guide effective knot placement. In particular, we describe how spectral filters can be used to compute high-order derivatives, smoothed versions of noisy data, and the locations of jump discontinuities. Our knot placement method can combine one or more of these indicators to place knots that align with the qualitative features of the data, leading to accurate B-spline approximations without needing many knots. The method we introduce is direct and does not require any intermediate B-spline fitting before choosing the final knot vector. Aside from a fast Fourier transform to transfer to and from Fourier space, the method runs in linear time with very little communication. The method is applied to several test cases in one and two dimensions, including data sets with jump discontinuities and noise. These tests show that the method can fit discontinuous data without spurious oscillations and remains accurate in the presence of noise.


title: Parameter Efficient Multimodal Transformers for Video Representation Learning

abstract: The recent success of Transformers in the language domain has motivated adapting it to a multimodal setting, where a new visual model is trained in tandem with an already pretrained language model. However, due to the excessive memory requirements from Transformers, existing work typically fixes the language model and train only the vision module, which limits its ability to learn cross-modal information in an end-to-end manner. In this work, we focus on reducing the parameters of multimodal Transformers in the context of audio-visual video representation learning. We alleviate the high memory requirement by sharing the parameters of Transformers across layers and modalities; we decompose the Transformer into modality-specific and modality-shared parts so that the model learns the dynamics of each modality both individually and together, and propose a novel parameter sharing scheme based on low-rank approximation. We show that our approach reduces parameters of the Transformers up to 97$\%$, allowing us to train our model end-to-end from scratch. We also propose a negative sampling approach based on an instance similarity measured on the CNN embedding space that our model learns together with the Transformers. To demonstrate our approach, we pretrain our model on 30-second clips (480 frames) from Kinetics-700 and transfer it to audio-visual classification tasks.


title: Sendov's conjecture for sufficiently high degree polynomials

abstract: Sendov's conjecture asserts that if a complex polynomial $f$ of degree $n \geq 2$ has all of its zeroes in closed unit disk $\{ z: |z| \leq 1 \}$, then for each such zero $\lambda_0$ there is a zero of the derivative $f'$ in the closed unit disk $\{ z: |z-\lambda_0| \leq 1 \}$. This conjecture is known for $n < 9$, but only partial results are available for higher $n$. We show that there exists a constant $n_0$ such that Sendov's conjecture holds for $n \geq n_0$. For $\lambda_0$ away from the origin and the unit circle we can appeal to the prior work of D\'egot and Chalebgwa; for $\lambda_0$ near the unit circle we refine a previous argument of Miller (and also invoke results of Chijiwa when $\lambda_0$ is extremely close to the unit circle); and for $\lambda_0$ near the origin we introduce a new argument using compactness methods, balayage, and the argument principle.


title: Scaling Behavior of a Turbulent Kinetic Energy Closure Scheme for the Stably Stratified Atmosphere: A Steady-State Analysis

abstract: We present a turbulent kinetic energy (TKE) closure scheme for the stably stratified atmosphere in which the mixing lengths for momentum and heat are not parameterized in the same manner. The key difference is that, while the mixing length for heat tends towards the stability independent mixing length for momentum in neutrally stratified conditions, it tends towards one based on the Brunt-V\"ais\"al\"a time scale and square root of the TKE in the limit of large stability. This enables a unique steady-state solution for TKE to be obtained, which we demonstrate would otherwise be impossible if the mixing lengths were the same. Despite the model's relative simplicity, it is shown to perform reasonably well with observational data from the 1999 Cooperative Atmosphere-Surface Exchange Study (CASES-99) using commonly employed model constants. Analyzing the scaling behavior of the non-dimensional velocity and potential temperature gradients, or of the stability (correction) functions, reveals that for large stability the present model scales in the same manner as the first-order operational scheme of Viterbo et al. (Quart. J. Roy. Meteor. Soc. 125, 2401-2426, 1999). Alternatively, it appears as a blend of two cases of the TKE closure scheme of Baas et al. (Bound.-Layer Meteor. 127, 17-36, 2008). Critically, because a unique steady-state TKE can be obtained, the present model avoids the non-physical behavior identified in one of the cases of Baas et al. (2008).


title: Direct Imaging of Electrical Switching of Antiferromagnetic N\'eel Order in $\alpha$-Fe$_2$O$_3$ Epitaxial Films

abstract: We report the direct observation of switching of the N\'eel vector of antiferromagnetic (AFM) domains in response to electrical pulses in micron-scale Pt/$\alpha$-Fe$_2$O$_3$ Hall bars using photoemission electron microscopy. Current pulses lead to reversible and repeatable switching, with the current direction determining the final state, consistent with Hall effect experiments that probe only the spatially averaged response. Current pulses also produce irreversible changes in domain structure, in and even outside the current path. In both cases only a fraction of the domains switch in response to pulses. Further, analysis of images taken with different x-ray polarizations shows that the AFM N\'eel order has an out-of-plane component in equilibrium that is important to consider in analyzing the switching data. These results show that -in addition to effects associated with spin-orbit torques from the Pt layer, which can produce reversible switching-changes in AFM order can be induced by purely thermal effects.


title: Direct Numerical Simulation of the Moist Stably Stratified Surface Layer: Turbulence and Fog Formation

abstract: We investigate the effects of condensation and liquid water loading on the stably stratified surface layer, with an eye towards understanding the influence of turbulent mixing on fog formation. Direct numerical simulations (DNS) of dry and moist open channel flows are conducted, where in both a constant cooling rate is applied at the ground to mimic longwave radiative cooling. Depending on the cooling rate, it can lead to either turbulent (weakly stable) or laminar (very stable) flows. Compared to the completely dry case, the condensation of liquid water in the moist case enables slightly higher cooling rates to be achieved before leading to turbulence collapse. In the very stable cases, runaway cooling leads to the substantial condensation of liquid water close to the ground and fog (visibility less than 1 km) results over much of the domain. In the weakly stable cases, turbulent mixing narrowly yields visibilities of 1 km close to the ground over a similar time period. However, despite the idealized nature of the system, the present results suggest that turbulence impedes, although will not necessarily inhibit, fog formation. A possible mechanism for fog formation within turbulent flows is identified, wherein regions of increased liquid water content form within the low-speed streaks of the near-wall cycle. These streaks are energized in the moist cases due to reduced dissipation of turbulence kinetic energy compared to the dry case, although in both cases the streaks are less energetic and persistent than in neutrally stratified flow.


title: Excitable Networks for Finite State Computation with Continuous Time Recurrent Neural Networks

abstract: Continuous time recurrent neural networks (CTRNN) are systems of coupled ordinary differential equations that are simple enough to be insightful for describing learning and computation, from both biological and machine learning viewpoints. We describe a direct constructive method of realising finite state input-dependent computations on an arbitrary directed graph. The constructed system has an excitable network attractor whose dynamics we illustrate with a number of examples. The resulting CTRNN has intermittent dynamics: trajectories spend long periods of time close to steady-state, with rapid transitions between states. Depending on parameters, transitions between states can either be excitable (inputs or noise needs to exceed a threshold to induce the transition), or spontaneous (transitions occur without input or noise). In the excitable case, we show the threshold for excitability can be made arbitrarily sensitive.


title: Turbulent flow over transitionally rough surfaces with varying roughness densities

abstract: We investigate rough-wall turbulent flows through direct numerical simulations of flow over three-dimensional transitionally rough sinusoidal surfaces. The roughness Reynolds number is fixed at $k^+=10$, where $k$ is the sinusoidal semi-amplitude, and the sinusoidal wavelength is varied, resulting in the roughness solidity, $\Lambda$ (frontal area divided by plan area) ranging from 0.05 to 0.54. The high cost of resolving both the flow around the dense roughness elements and the bulk flow is circumvented by the use of the minimal-span channel technique, recently demonstrated by Chung et al. (J. Fluid Mech., vol. 773, 2015, pp. 418-431) to accurately determine the Hama roughness function, $\Delta U^+$. Good agreement of the second-order statistics in the near-wall roughness-affected region between minimal- and full-span rough-wall channels is observed. In the sparse regime of roughness ($\Lambda \lesssim 0.15$) the roughness function increases with increasing solidity, while in the dense regime the roughness function decreases with increasing solidity. It was found that the dense regime begins when $\Lambda\gtrsim0.15-$0.18, in agreement with the literature. A model is proposed for the limit of $\Lambda\rightarrow\infty$, which is a smooth wall located at the crest of the roughness elements. This model assists with interpreting the asymptotic behaviour of the roughness, and the rough-wall data presented in this paper show that the near-wall flow is tending towards this modelled limit. The peak streamwise turbulence intensity, which is associated with the turbulent near-wall cycle, is seen to move increasingly further away from the wall with increasing solidity. In the sparse regime, increasing $\Lambda$ reduces streamwise turbulent energy associated with the near-wall cycle, while increasing $\Lambda$ in the dense regime increases turbulent energy [continued]$\ldots$


title: Leptonic Sum Rules from Flavour Models with Modular Symmetries

abstract: Sum rules in the lepton sector provide an extremely valuable tool to classify flavour models in terms of relations between neutrino masses and mixing parameters testable in a plethora of experiments. In this manuscript we identify new leptonic sum rules arising in models with modular symmetries with residual symmetries. These models simultaneously present neutrino mass sum rules, involving masses and Majorana phases, and mixing sum rules, connecting the mixing angles and the Dirac CP-violating phase. The simultaneous appearance of both types of sum rules leads to some non-trivial interplay, for instance, the allowed absolute neutrino mass scale exhibits a dependence on the Dirac CP-violating phase. We derive analytical expressions for these novel sum rules and present their allowed parameter ranges as well as their predictions at upcoming neutrino experiments.


title: A Number Sense as an Emergent Property of the Manipulating Brain

abstract: The ability to understand and manipulate numbers and quantities emerges during childhood, but the mechanism through which humans acquire and develop this ability is still poorly understood. We explore this question through a model, assuming that the learner is able to pick up and place small objects from, and to, locations of its choosing, and will spontaneously engage in such undirected manipulation. We further assume that the learner's visual system will monitor the changing arrangements of objects in the scene and will learn to predict the effects of each action by comparing perception with a supervisory signal from the motor system. We model perception using standard deep networks for feature extraction and classification, and gradient descent learning. Our main finding is that, from learning the task of action prediction, an unexpected image representation emerges exhibiting regularities that foreshadow the perception and representation of numbers and quantity. These include distinct categories for zero and the first few natural numbers, a strict ordering of the numbers, and a one-dimensional signal that correlates with numerical quantity. As a result, our model acquires the ability to estimate numerosity, i.e. the number of objects in the scene, as well as subitization, i.e. the ability to recognize at a glance the exact number of objects in small scenes. Remarkably, subitization and numerosity estimation extrapolate to scenes containing many objects, far beyond the three objects used during training. We conclude that important aspects of a facility with numbers and quantities may be learned with supervision from a simple pre-training task. Our observations suggest that cross-modal learning is a powerful learning mechanism that may be harnessed in artificial intelligence.


title: Set-Membership Filtering-Based Leader-Follower Synchronization of Discrete-time Linear Multi-Agent Systems

abstract: In this paper, a set-membership filtering-based leader-follower synchronization protocol for discrete-time linear multi-agent systems is proposed wherein the aim is to make the agents synchronize with a leader. The agents, governed by identical high-order discrete-time linear dynamics, are subject to unknown-but-bounded input disturbances. In terms of its own state information, each agent only has access to measured outputs that are corrupted with unknown-but-bounded output disturbances. Also, the initial states of the agents are unknown. To deal with all these unknowns (or uncertainties), a set-membership filter (or state estimator), having the `correction-prediction' form of a standard Kalman filter, is formulated. We consider each agent to be equipped with this filter that estimates the state of the agent and consider the agents to be able to share the state estimate information with the neighbors locally. The corrected state estimates of the agents are utilized in the local control law design for synchronization. Under appropriate conditions, the global disagreement error between the agents and the leader is shown to be bounded. An upper bound on the norm of the global disagreement error is calculated and shown to be monotonically decreasing. Finally, two simulation examples are included to illustrate the effectiveness of the proposed set-membership filter and the proposed leader-follower synchronization protocol.


title: Transferring Orbital Angular Momentum to an Electron Beam Reveals Toroidal and Chiral Order

abstract: Orbital angular momentum and torque transfer play central roles in a wide range of magnetic textures and devices including skyrmions and spin-torque electronics(1-4). Analogous topological structures are now also being explored in ferroelectrics, including polarization vortex arrays in ferroelectric/dielectric superlattices(5). Unlike magnetic toroidal order, electric toroidal order does not couple directly to linear external fields. To develop a mechanism that can control switching in polarization vortices, we utilize a high-energy electron beam and show that transverse currents are generated by polar order in the ballistic limit. We find that the presence of an electric toroidal moment in a ferro-rotational phase transfers a measurable torque and orbital angular momentum to the electron beam. Furthermore, we find that the complex polarization patterns, observed in these heterostructures, are microscopically chiral with a non-trivial axial component of the polarization. This chirality opens the door for the coupling of ferroelectric and optical properties.


title: Performance Analysis of Keypoint Detectors and Binary Descriptors Under Varying Degrees of Photometric and Geometric Transformations

abstract: Detecting image correspondences by feature matching forms the basis of numerous computer vision applications. Several detectors and descriptors have been presented in the past, addressing the efficient generation of features from interest points (keypoints) in an image. In this paper, we investigate eight binary descriptors (AKAZE, BoostDesc, BRIEF, BRISK, FREAK, LATCH, LUCID, and ORB) and eight interest point detector (AGAST, AKAZE, BRISK, FAST, HarrisLapalce, KAZE, ORB, and StarDetector). We have decoupled the detection and description phase to analyze the interest point detectors and then evaluate the performance of the pairwise combination of different detectors and descriptors. We conducted experiments on a standard dataset and analyzed the comparative performance of each method under different image transformations. We observed that: (1) the FAST, AGAST, ORB detectors were faster and detected more keypoints, (2) the AKAZE and KAZE detectors performed better under photometric changes while ORB was more robust against geometric changes, (3) in general, descriptors performed better when paired with the KAZE and AKAZE detectors, (4) the BRIEF, LUCID, ORB descriptors were relatively faster, and (5) none of the descriptors did particularly well under geometric transformations, only BRISK, FREAK, and AKAZE showed reasonable resiliency.


title: Deep Energy-Based NARX Models

abstract: This paper is directed towards the problem of learning nonlinear ARX models based on system input--output data. In particular, our interest is in learning a conditional distribution of the current output based on a finite window of past inputs and outputs. To achieve this, we consider the use of so-called energy-based models, which have been developed in allied fields for learning unknown distributions based on data. This energy-based model relies on a general function to describe the distribution, and here we consider a deep neural network for this purpose. The primary benefit of this approach is that it is capable of learning both simple and highly complex noise models, which we demonstrate on simulated and experimental data.


title: Adaptive Sampling for Estimating Distributions: A Bayesian Upper Confidence Bound Approach

abstract: The problem of adaptive sampling for estimating probability mass functions (pmf) uniformly well is considered. Performance of the sampling strategy is measured in terms of the worst-case mean squared error. A Bayesian variant of the existing upper confidence bound (UCB) based approaches is proposed. It is shown analytically that the performance of this Bayesian variant is no worse than the existing approaches. The posterior distribution on the pmfs in the Bayesian setting allows for a tighter computation of upper confidence bounds which leads to significant performance gains in practice. Using this approach, adaptive sampling protocols are proposed for estimating SARS-CoV-2 seroprevalence in various groups such as location and ethnicity. The effectiveness of this strategy is discussed using data obtained from a seroprevalence survey in Los Angeles county.


title: Efficient reinforcement learning with partially observable for fluid flow control

abstract: Despite the low dimensionalities of dissipative viscous fluids, reinforcement learning (RL) requires many observables in fluid control problems. This is because the observables are assumed to follow a policy-independent Markov decision process in the RL framework. By including policy parameters as arguments of a value function, we construct a consistent algorithm with partially observable condition. Using typical examples of active flow control, we show that our algorithm is more stable and efficient than the existing RL algorithms, even under a small number of observables.


title: Diophantine equations with sum of cubes and cube of sum

abstract: We solve Diophantine equations of the type $ \, a \, (x^3 + y^3 + z^3 ) = (x + y + z)^3$, where $x,y,z$ are integer variables, and the coefficient $a \neq 0$ is rational. We show that there are infinite families of such equations, including those where $a$ is any ratio of cubes or certain rational fractions, that have nontrivial solutions. There are also infinite families of equations that do not have any nontrivial solution, including those where $1/a = 1 - 24/m$ with certain restrictions on the integer $m$. The equations can be represented by elliptic curves unless $a = 9$ or 1. If $a$ is an integer and two variables are equal and nonzero, there exist nontrivial solutions only for $a=4$ or 9; there are no solutions for $a = 4$ when $xyz \neq 0$. Without imposing constraints on the variables, we find the general solution for $a = 9$, which depends on two integer parameters. These cubic equations are important in particle physics, because they determine the fermion charges under the $U(1)$ gauge group.


title: Effective field theory for compact object evolution in binary inspirals

abstract: Using the effective field theory framework for extended objects we describe the evolution of spinning compact objects in the late inspiral of the coalescence of a binary, before the plunge and merger, by including leading order corrections due to spin, tides, dissipation and gravitational wave radiation. Our implementation is of particular relevance for probing the stellar structure of compact objects with gravitational wave observations. A spinning compact object in the effective field theory framework is described as a spinning point particle, with its finite size effects encoded in higher order operators in the effective action, operators which have coefficients that encapsulates the internal structure of the star. For the inspiral regime described by non-relativistic general relativity, post-Newtonian corrections to each term of the action can be obtained in a diagrammatic approach, including gravitational radiation effects. Taking into account the aforementioned ingredients of the effective theory, we solve for the dynamics of the inspiral of binary systems using an algorithm for point particle simulations. We extract the gravitational wave as a function of the orbital frequency, input that is generated numerically and then evaluated in the analytic function of the waveform. By performing illustrative numerical experiments of systems that the LIGO-Virgo observatories have already detected, we show the role of the stellar structure and its coefficients in the phase evolution of the waveform, as well as the order in which they arise and the sensitivity required for the gravitational wave observatories to measure them. If these coefficients are to be measured, tight constraints on fundamental physics can be placed.


title: Extended Gini Index

abstract: We propose an extended version of Gini index defined on the set of infinite utility streams, $X=Y^\mathbb{N}$ where $Y\subset \mathbb{R}$. For $Y$ containing at most finitely many elements, the index satisfies the generalized Pigou-Dalton transfer principles in addition to the anonymity axiom.


title: Technology-driven Alteration of Nonverbal Cues and its Effects on Negotiation

abstract: A person's appearance, identity, and other nonverbal cues can substantially influence how one is perceived by a negotiation counterpart, potentially impacting the outcome of the negotiation. With recent advances in technology, it is now possible to alter such cues through real-time video communication. In many cases, a person's physical presence can explicitly be replaced by 2D/3D representations in live interactive media. In other cases, technologies such as deepfake can subtly and implicitly alter many nonverbal cues -- including a person's appearance and identity -- in real-time. In this article, we look at some state-of-the-art technological advances that can enable such explicit and implicit alteration of nonverbal cues. We also discuss the implications of such technology for the negotiation landscape and highlight ethical considerations that warrant deep, ongoing attention from stakeholders.


title: f2IMU-R: Pedestrian Navigation by Low-cost Foot-Mounted Dual IMUs and Inter-foot Ranging

abstract: Foot-mounted inertial sensors become popular in many indoor or GPS-denied applications, including but not limited to medical monitoring, gait analysis, soldier and first responder positioning. However, the foot-mounted inertial navigation relies largely on the aid of Zero Velocity Update (ZUPT) and has encountered inherent problems such as heading drift. This paper implements a pedestrian navigation system based on dual foot-mounted low-cost inertial measurement units (IMU) and inter-foot ultrasonic ranging. The observability analysis of the system is performed to investigate the roles of the ZUPT measurement and the foot-to-foot ranging measurement in improving the state estimability. A Kalman-based estimation algorithm is mechanized in the Earth frame, rather than in the common local-level frame, which is found to be effective in depressing the linearization error in Kalman filtering. An ellipsoid constraint in the Earth frame is also proposed to further restrict the height drift. Simulation and real field experiments show that the proposed method has better robustness and positioning accuracy (about 0.1-0.2% travelled distance) than the traditional pedestrian navigation schemes do.


title: Improved Swarm Engineering: Aligning Intuition and Analysis

abstract: We present a set of metrics intended to supplement designer intuitions when designing swarm-robotic systems, increase accuracy in extrapolating swarm behavior from algorithmic descriptions and small test experiments, and lead to faster and less costly design cycles. We build on previous works studying self-organizing behaviors in autonomous systems to derive a metric for swarm emergent self-organization. We utilize techniques from high performance computing, time series analysis, and queueing theory to derive metrics for swarm scalability, flexibility to changing external environments, and robustness to internal system stimuli such as sensor and actuator noise and robot failures. We demonstrate the utility of our metrics by analyzing four different control algorithms in two scenarios: an indoor warehouse object transport scenario with static objects and a spatially unconstrained outdoor search and rescue scenario with moving objects. In the spatially constrained warehouse scenario, efficient use of space is key to success so algorithms that use mechanisms for traffic regulation and congestion reduction are the most appropriate. In the search and rescue scenario, the same will happen with algorithms which can cope well with object motion through dynamic task allocation and randomized search trajectories. We show that our intuitions about comparative algorithm performance are well supported by the quantitative results obtained using our metrics, and that our metrics can be synergistically used together to predict collective behaviors based on previous results in some cases.


title: Nearest Centroid Classification on a Trapped Ion Quantum Computer

abstract: Quantum machine learning has seen considerable theoretical and practical developments in recent years and has become a promising area for finding real world applications of quantum computers. In pursuit of this goal, here we combine state-of-the-art algorithms and quantum hardware to provide an experimental demonstration of a quantum machine learning application with provable guarantees for its performance and efficiency. In particular, we design a quantum Nearest Centroid classifier, using techniques for efficiently loading classical data into quantum states and performing distance estimations, and experimentally demonstrate it on a 11-qubit trapped-ion quantum machine, matching the accuracy of classical nearest centroid classifiers for the MNIST handwritten digits dataset and achieving up to 100% accuracy for 8-dimensional synthetic data.


title: Arithmetic properties of equivariant birational types

abstract: We study arithmetic properties of equivariant birational types introduced by Kontsevich, Pestun, and the second author.


title: Semileptonic weak decays of anti-triplet charmed baryons in the light-front formalism

abstract: We systematically study the semileptonic decays of ${\bf B_c} \to {\bf B_n}\ell^+ \nu_{\ell}$ in the light-front constituent quark model, where ${\bf B_c}$ represent the anti-triplet charmed baryons of $(\Xi_c^0,\Xi_c^+,\Lambda_c^+)$ and ${\bf B_n}$ correspond to the octet ones. We determine the spin-flavor structures of the constituents in the baryons with the Fermi statistics and calculate the decay branching ratios (${\cal B}$s) and averaged asymmetry parameters ($\alpha$s) with the helicity formalism. In particular, we find that ${\cal B}( \Lambda_c^+ \to \Lambda e^+ \nu_{e}, ne^+ \nu_{e})=(3.55\pm1.04, 0.36\pm0.15)\%$, ${\cal B}( \Xi_c^+ \to \Xi^0 e^+ \nu_{e},\Sigma^0 e^+ \nu_{e},\Lambda e^+ \nu_{e})=(11.3\pm3.35), 0.33\pm0.09,0.12\pm0.04\%$ and ${\cal B}( \Xi_c^0 \to \Xi^- e^+ \nu_{e},\Sigma^- e^+ \nu_{e})=(3.49\pm0.95,0.22\pm0.06)\%$. Our results agree with the current experimental data. Our prediction for ${\cal B}( \Lambda_c^+ \to n e^+ \nu_{e})$ is consistent with those in the literature, which can be measured by the charm-facilities, such as BESIII and BELLE. Some of our results for the $\Xi_c^{+(0)}$ semileptonic channels can be tested by the experiments at BELLE as well as the ongoing ones at LHCb and BELLEII.


title: Experimental 3-dimensional tracking of the dynamics of a single electron in the Fermilab Integrable Optics Test Accelerator (IOTA)

abstract: We present the results of experimental studies on the transverse and longitudinal dynamics of a single electron in the IOTA storage ring. IOTA is a flexible machine dedicated to beam physics experiments with electrons and protons. A method was developed to reliably inject and circulate a controlled number of electrons in the ring. A key beam diagnostic system is the set of sensitive high-resolution digital cameras for the detection of synchrotron light emitted by the electrons. With 60-130 electrons in the machine, we measured beam lifetime and derived an absolute calibration of the optical system. At exposure times of 0.5 s, the cameras were sensitive to individual electrons. Camera images were used to reconstruct the time evolution of oscillation amplitudes of a single electron in all 3 degrees of freedom. The evolution of amplitudes directly showed the interplay between synchrotron-radiation damping, quantum excitations, and scattering with the residual gas. From the distribution of measured single-electron oscillation amplitudes, we deduced transverse emittances, momentum spread, damping times, and beam energy. Estimates of residual-gas density and composition were calculated from the measured distributions of vertical scattering angles. Combining scattering and lifetime data, we also provide an estimate of the aperture of the ring. To our knowledge, this is the first time that the dynamics of a single electron are tracked in all three dimensions with digital cameras in a storage ring.


title: Fermionic Superfluidity: From Cold Atoms to Neutron Stars

abstract: From flow without dissipation of energy to the formation of vortices when placed within a rotating container, the superfluid state of matter has proven to be a very interesting physical phenomenon. Here we present the key mechanisms behind superfluidity in fermionic systems and apply our understanding to an exotic system found deep within the universe -- the superfluid found deep within a neutron star. A defining trait of a superfluid is the pairing gap, which the cooling curves of neutron stars depend on. The extreme conditions surrounding a neutron star prevent us from directly probing the superfluid's properties, however, we can experimentally realize conditions resembling the interior through the use of cold atoms prepared in a laboratory and simulated on a computer. Experimentalists are becoming increasingly adept at realizing cold atomic systems in the lab that mimic the behavior of neutron stars and superconductors. In their turn, computational physicists are leveraging the power of supercomputers to simulate interacting atomic systems with unprecedented accuracy. This paper is intended to provide a pedagogical introduction to the underlying concepts and the possibility of using cold atoms as a tool that can help us make significant strides towards understanding exotic physical systems.


title: Dynamic Anchor Learning for Arbitrary-Oriented Object Detection

abstract: Arbitrary-oriented objects widely appear in natural scenes, aerial photographs, remote sensing images, etc., thus arbitrary-oriented object detection has received considerable attention. Many current rotation detectors use plenty of anchors with different orientations to achieve spatial alignment with ground truth boxes, then Intersection-over-Union (IoU) is applied to sample the positive and negative candidates for training. However, we observe that the selected positive anchors cannot always ensure accurate detections after regression, while some negative samples can achieve accurate localization. It indicates that the quality assessment of anchors through IoU is not appropriate, and this further lead to inconsistency between classification confidence and localization accuracy. In this paper, we propose a dynamic anchor learning (DAL) method, which utilizes the newly defined matching degree to comprehensively evaluate the localization potential of the anchors and carry out a more efficient label assignment process. In this way, the detector can dynamically select high-quality anchors to achieve accurate object detection, and the divergence between classification and regression will be alleviated. With the newly introduced DAL, we achieve superior detection performance for arbitrary-oriented objects with only a few horizontal preset anchors. Experimental results on three remote sensing datasets HRSC2016, DOTA, UCAS-AOD as well as a scene text dataset ICDAR 2015 show that our method achieves substantial improvement compared with the baseline model. Besides, our approach is also universal for object detection using horizontal bound box. The code and models are available at https://github.com/ming71/DAL.


title: Quantum Sampling for Optimistic Finite Key Rates in High Dimensional Quantum Cryptography

abstract: It has been shown recently that the framework of quantum sampling, as introduced by Bouman and Fehr, can lead to new entropic uncertainty relations highly applicable to finite-key cryptographic analyses. Here we revisit these so-called sampling-based entropic uncertainty relations, deriving newer, more powerful, relations and applying them to source-independent quantum random number generators and high-dimensional quantum key distribution protocols. Along the way, we prove several interesting results in the asymptotic case for our entropic uncertainty relations. These sampling-based approaches to entropic uncertainty, and their application to quantum cryptography, hold great potential for deriving proofs of security for quantum cryptographic systems, and the approaches we use here may be applicable to an even wider range of scenarios.


title: Magnetic order and fluctuations in quasi-two-dimensional planar magnet Sr(Co$_{1-x}$Ni$_x$)$_2$As$_2$

abstract: We use neutron scattering to investigate spin excitations in Sr(Co$_{1-x}$Ni$_{x})_2$As$_2$, which has a $c$-axis incommensurate helical structure of the two-dimensional (2D) in-plane ferromagnetic (FM) ordered layers for $0.013\leq x \leq 0.25$. By comparing the wave vector and energy dependent spin excitations in helical ordered Sr(Co$_{0.9}$Ni$_{0.1}$)$_2$As$_2$ and paramagnetic SrCo$_2$As$_2$, we find that Ni-doping, while increasing lattice disorder in Sr(Co$_{1-x}$Ni$_{x})_2$As$_2$, enhances quasi-2D FM spin fluctuations. However, our band structure calculations within the combined density functional theory and dynamic mean field theory (DFT+DMFT) failed to generate a correct incommensurate wave vector for the observed helical order from nested Fermi surfaces. Since transport measurements reveal increased in-plane and $c$-axis electrical resistivity with increasing Ni-doping and associated lattice disorder, we conclude that the helical magnetic order in Sr(Co$_{1-x}$Ni$_{x})_2$As$_2$ may arise from a quantum order-by-disorder mechanism through the itinerant electron mediated Ruderman-Kittel-Kasuya-Yosida (RKKY) interactions.


title: Learning Portrait Style Representations

abstract: Style analysis of artwork in computer vision predominantly focuses on achieving results in target image generation through optimizing understanding of low level style characteristics such as brush strokes. However, fundamentally different techniques are required to computationally understand and control qualities of art which incorporate higher level style characteristics. We study style representations learned by neural network architectures incorporating these higher level characteristics. We find variation in learned style features from incorporating triplets annotated by art historians as supervision for style similarity. Networks leveraging statistical priors or pretrained on photo collections such as ImageNet can also derive useful visual representations of artwork. We align the impact of these expert human knowledge, statistical, and photo realism priors on style representations with art historical research and use these representations to perform zero-shot classification of artists. To facilitate this work, we also present the first large-scale dataset of portraits prepared for computational analysis.


title: Nonlinear Stability at the Zigzag Boundary

abstract: We investigate the dynamics of roll solutions at the zigzag boundary of the planar Swift-Hohenberg equation. Linear analysis shows an algebraic decay of small perturbation with a $t^{- 1/4}$ rate, instead of the classical $t^{- 1/2}$ diffusive decay rate, due to the degeneracy of the quadratic term of the continuation of the translational mode of the linearized operator in the Bloch-Fourier spaces. The proof is based on a decomposition of the neutral mode and the faster decaying modes in the Bloch-Fourier space, and a fixed-point argument, demonstrating the irrelevancy of the nonlinear terms.


title: Study of angular momentum effects in fission

abstract: Background: The role of angular momentum in fission has long been discussed but the observable effects are difficult to quantify. Purpose: We discuss a variety of effects associated with angular momentum in fission and present quantitative illustrations. Methods: We employ the fission simulation model $\mathtt{FREYA}$ which is well suited for this purpose because it obeys all conservation laws, including linear and angular momentum conservation at each step of the process. We first discuss the implementation of angular momentum in $\mathtt{FREYA}$ and then assess particular observables, including various correlated observables. We also study potential effects of neutron-induced fission of the low-lying isomeric state of $^{235}$U relative to the ground state. Results: The fluctuations inherent in the fission process ensure that the spin of the initial compound nucleus has only a small influence on the fragment spins which are therefore nearly uncorrelated. There is a marked correlation between the spin magnitude of the fission fragments and the photon multiplicity. We also consider the dynamical anisotropy caused by the rotation of an evaporating fragment and study especially the distribution of the projected neutron-neutron opening angles, showing that while it is dominated by the effect of the evaporation recoils, it is possible to extract the signal of the dynamical anisotropy by means of a Fourier decomposition. Finally, we note that the use of an isomeric target, $^{235 {\rm m}}$U($n_{\rm th}$,f), may enhance the symmetric yields and can thus result in higher neutron multiplicities for low total fragment kinetic energy.


title: An Efficient Analyses of the Behavior of One Dimensional Chaotic Maps using 0-1 Test and Three State Test

abstract: In this paper, a rigorous analysis of the behavior of the standard logistic map, Logistic Tent system (LTS), Logistic-Sine system (LSS) and Tent-Sine system (TSS) is performed using 0-1 test and three state test (3ST). In this work, it has been proved that the strength of the chaotic behavior is not uniform. Through extensive experiment and analysis, the strong and weak chaotic regions of LTS, LSS and TSS have been identified. This would enable researchers using these maps, to have better choices of control parameters as key values, for stronger encryption. In addition, this paper serves as a precursor to stronger testing practices in cryptosystem research, as Lyapunov exponent alone has been shown to fail as a true representation of the chaotic nature of a map.

categories: math.NA cs.CR cs.NA eess.SP math.DS math.FA nlin.CD


title: Data-driven learning of nonlocal models: from high-fidelity simulations to constitutive laws

abstract: We show that machine learning can improve the accuracy of simulations of stress waves in one-dimensional composite materials. We propose a data-driven technique to learn nonlocal constitutive laws for stress wave propagation models. The method is an optimization-based technique in which the nonlocal kernel function is approximated via Bernstein polynomials. The kernel, including both its functional form and parameters, is derived so that when used in a nonlocal solver, it generates solutions that closely match high-fidelity data. The optimal kernel therefore acts as a homogenized nonlocal continuum model that accurately reproduces wave motion in a smaller-scale, more detailed model that can include multiple materials. We apply this technique to wave propagation within a heterogeneous bar with a periodic microstructure. Several one-dimensional numerical tests illustrate the accuracy of our algorithm. The optimal kernel is demonstrated to reproduce high-fidelity data for a composite material in applications that are substantially different from the problems used as training data.


title: Placement is not Enough: Embedding with Proactive Stream Mapping on the Heterogenous Edge

abstract: Edge computing is naturally suited to the applications generated by Internet of Things (IoT) nodes. The IoT applications generally take the form of directed acyclic graphs (DAGs), where vertices represent interdependent functions and edges represent data streams. The status quo of minimizing the makespan of the DAG motivates the study on optimal function placement. However, current approaches lose sight of proactively mapping the data streams to the physical links between the heterogenous edge servers, which could affect the makespan of DAGs significantly. To solve this problem, we study both function placement and stream mapping with data splitting simultaneously, and propose the algorithm DPE (Dynamic Programming-based Embedding). DPE is theoretically verified to achieve the global optimality of the embedding problem. The complexity analysis is also provided. Extensive experiments on Alibaba cluster trace dataset show that DPE significantly outperforms two state-of-the-art joint function placement and task scheduling algorithms in makespan by 43.19% and 40.71%, respectively.


title: A Full Study of the Dynamics on One-Holed Dilation Tori

abstract: An open question in the study of dilation surfaces is to determine the typical dynamical behavior of the directional flow on a fixed dilation surface. We show that on any one-holed dilation torus, in all but a measure zero Cantor set of directions, the directional flow has an attracting periodic orbit, is minimal, or is completely periodic. We further show that for directions in this Cantor set, the directional flow is attracted to either a saddle connection or a lamination on the surface that is locally the product of a measure zero Cantor set and an interval.


title: Stability and Identification of Random Asynchronous Linear Time-Invariant Systems

abstract: In many computational tasks and dynamical systems, asynchrony and randomization are naturally present and have been considered as ways to increase the speed and reduce the cost of computation while compromising the accuracy and convergence rate. In this work, we show the additional benefits of randomization and asynchrony on the stability of linear dynamical systems. We introduce a natural model for random asynchronous linear time-invariant (LTI) systems which generalizes the standard (synchronous) LTI systems. In this model, each state variable is updated randomly and asynchronously with some probability according to the underlying system dynamics. We examine how the mean-square stability of random asynchronous LTI systems vary with respect to randomization and asynchrony. Surprisingly, we show that the stability of random asynchronous LTI systems does not imply or is not implied by the stability of the synchronous variant of the system and an unstable synchronous system can be stabilized via randomization and/or asynchrony. We further study a special case of the introduced model, namely randomized LTI systems, where each state element is updated randomly with some fixed but unknown probability. We consider the problem of system identification of unknown randomized LTI systems using the precise characterization of mean-square stability via extended Lyapunov equation. For unknown randomized LTI systems, we propose a systematic identification method to recover the underlying dynamics. Given a single input/output trajectory, our method estimates the model parameters that govern the system dynamics, the update probability of state variables, and the noise covariance using the correlation matrices of collected data and the extended Lyapunov equation. Finally, we empirically demonstrate that the proposed method consistently recovers the underlying system dynamics with the optimal rate.


title: SDEs with critical time dependent drifts: weak solutions

abstract: We prove the unique weak solvability of time-inhomogeneous stochastic differential equations with additive noises and drifts in critical Lebsgue space $L^q([0,T]; L^{p}(\mathbb{R}^d))$ with $d/p+2/q=1$. The weak uniqueness is obtained by solving corresponding Kolmogorov's backward equations in some second order Sobolev spaces, which is analytically interesting in itself.


title: Effect of O-doping or N-vacancy on the structural, electronic and magnetic properties of MoSi2N4 monolayer

abstract: In this letter, the effect of four types of defects (ONout, ONin, VNout and VNin) on the structural, electronic and magnetic properties of MoSi2N4 monolayer were investigated using first-principles calculations. The calculated results reveal that all the four types of defects lead to structural distortions around the O-dopant or N-vacancy, and thereby change the lattice parameter and monolayer height h. Specifically, ONout or ONin increases the lattice parameter, but VNout or VNin is on the contrary. ONout or VNout increases the monolayer height, whereas the height decreases for ONin or VNin. Each of the four types of defects has a fundamental effect on the electronic properties of MoSi2N4 monolayer, which can induce a transition from semiconductor to metal. ONin or VNin plays a vital role in the occurrence of a transition from non-magnetism to ferrimagnetism in MoSi2N4 monolayer. The effect of biaxial strain on the magnetic properties of the two systems with ONin and VNin was subsequently investigated. It is found that the total magnetic moments are less sensitive to biaxial strain whereas the local magnetic moments residing on the Mo atoms are increased for the two systems with ONin and VNin, as strain increases from -3% to 10% and from -9% to 10%, respectively. Furthermore, the magnetic phase transitions between ferrimagnetic and paramagnetic states were found to occur around -4% strain and within the range from -10% to -9% for the two systems with ONin and VNin, respectively. This study may provide a guidance for the application of MoSi2N4 monolayer in the spintronic and magnetic materials.


title: Privacy-Preserving Spam Filtering using Functional Encryption

abstract: Traditional spam classification requires the end-user to reveal the content of its received email to the spam classifier which violates the privacy. Spam classification over encrypted emails enables the classifier to classify spam email without accessing the email, hence protects the privacy of email content. In this paper, we construct a spam classification framework that enables the classification of encrypted emails. Our classification model is based on a neural network with a quadratic network part and a multi-layer perception network part. The quadratic network architecture is compatible with the operation of an existing quadratic functional encryption scheme that enables our classification to predict the label of encrypted emails without revealing the associated plain-text email. The evaluation results on real-world spam datasets indicate that our proposed spam classification model achieves an accuracy of over 96%.


title: Learning Independent Instance Maps for Crowd Localization

abstract: Accurately locating each head's position in the crowd scenes is a crucial task in the field of crowd analysis. However, traditional density-based methods only predict coarse prediction, and segmentation/detection-based methods cannot handle extremely dense scenes and large-range scale-variations crowds. To this end, we propose an end-to-end and straightforward framework for crowd localization, named Independent Instance Map segmentation (IIM). Different from density maps and boxes regression, each instance in IIM is non-overlapped. By segmenting crowds into independent connected components, the positions and the crowd counts (the centers and the number of components, respectively) are obtained. Furthermore, to improve the segmentation quality for different density regions, we present a differentiable Binarization Module (BM) to output structured instance maps. BM brings two advantages into localization models: 1) adaptively learn a threshold map for different images to detect each instance more accurately; 2) directly train the model using loss on binary predictions and labels. Extensive experiments verify the proposed method is effective and outperforms the-state-of-the-art methods on the five popular crowd datasets. Significantly, IIM improves F1-measure by 10.4% on the NWPU-Crowd Localization task. The source code and pre-trained models will be released at https://github.com/taohan10200/IIM.


title: On an integral of J-Bessel functions and its application to Mahler measure (with an appendix by J.S. Friedman*)

abstract: In a recent paper the team of Cogdell, Jorgenson and Smajlovi\'c develop infinite series representations for the logarithmic Mahler measure of a complex linear form, with 4 or more variables. We establish the case of 3 variables, by bounding an integral with integrand involving the random walk probability density $a\displaystyle\int_0^\infty tJ_0(at) \displaystyle\prod_{m=0}^2 J_0(r_m t)dt$, where $J_0$ is the order zero Bessel function of the first kind, and $a$ and {$r_m$} are positive real numbers. To facilitate our proof we develop an alternative description of the integral's asymptotic behavior at its known points of divergence. As a computational aid to accommodate numerical experiments, an algorithm to calculate these series is presented in the Appendix.


title: Thermodynamically Governed Interior Models of Uranus and Neptune

abstract: Interior models of Uranus and Neptune often assume discrete layers, but sharp interfaces are expected only if major constituents are immiscible. Diffuse interfaces could arise if accretion favored a central concentration of the least volatile constituents (also incidentally the most dense); compositional gradients arising in such a structure would likely inhibit convection. Currently, two lines of evidence suggest possible hydrogen-water immiscibility in ice giant interiors. The first arises from crude extrapolation of the experimental hydrogen-water critical curve to $\sim 3$ GPa (Bali et al. 2013). The data are obtained for an impure system containing silicates, though Uranus and Neptune could also be "dirty." Current ab initio models disagree (Soubiran & Militzer 2015), though hydrogen and water are difficult to model from first-principles quantum mechanics with the necessary precision. The second argument for hydrogen-water immiscibility in ice giants, outlined herein, invokes reasoning about the gravitational and magnetic fields. While consensus remains lacking, here we examine the immiscible case. Applying the resulting thermodynamic constraints, we find that Neptune models with envelopes containing a substantial water mole fraction, as much as $\chi \gtrsim 0.1$ relative to hydrogen, can satisfy observations. In contrast, Uranus models appear to require $\chi \lesssim 0.01$, potentially suggestive of fully demixed hydrogen and water. Enough gravitational potential energy would be available from gradual hydrogen-water demixing, to supply Neptune's present-day heatflow for roughly ten solar system lifetimes. Hydrogen-water demixing could slow Neptune's cooling rate by an order of magnitude; different hydrogen-water demixing states could account for the different heatflows of Uranus and Neptune.


title: Spin alignment measurements of vector mesons with ALICE at LHC

abstract: We present the measurements related to the spin alignment of $\mathrm{K^{*0}}$ and $\mathrm{\phi}$ vector mesons at mid-rapidity for Pb--Pb collisions at $\sqrt{s_{\mathrm{NN}}}$ = 2.76 TeV using the ALICE detector at the LHC. The second diagonal spin density matrix element ($\rho_{00}$) is measured from the angular distribution of the decay daughters of the vector meson in the decay rest frame, with respect to the event plane and the production plane. The $\rho_{00}$ values are found to be less than 1/3 at low $p_{\mathrm{T}}$ ($<$ 2 GeV/$c$) for both vector mesons. The observed deviations from 1/3 are maximal for mid-central collisions at a level of 3$\sigma$ for $\mathrm{K^{*0}}$ and 2$\sigma$ for $\mathrm{\phi}$ mesons. As a control measurement the \rh~values were found to be consistent with 1/3, i.e., no significant spin alignment, for pp collisions with respect to the production plane. The results are qualitatively consistent with the expectation from a model that attributes the spin alignment to a polarization of quarks in the presence of large initial angular momentum and a subsequent hadronization by the process of recombination.


title: Addition theorems for Ck real functions and applications in ordinary differential equations

abstract: This work establishes the existence of addition theorems and double-angle formulas for Ck real scalar functions. Moreover, we determine necessary and sufficient conditions for a bivariate function to be an addition formula for a Ck real function. The double-angle formulas allow us to generate a duplication algorithm, which can be used as an alternative to the classical numerical methods to obtain an approximation for the solution of an ordinary differential equation. We demonstrate that this algorithm converges uniformly in any compact domain contained in the maximal domain of that solution. Finally, we carry out some numerical simulations showing a good performance of the duplication algorithm when compared with standard numerical methods


title: Improving Human-Labeled Data through Dynamic Automatic Conflict Resolution

abstract: This paper develops and implements a scalable methodology for (a) estimating the noisiness of labels produced by a typical crowdsourcing semantic annotation task, and (b) reducing the resulting error of the labeling process by as much as 20-30% in comparison to other common labeling strategies. Importantly, this new approach to the labeling process, which we name Dynamic Automatic Conflict Resolution (DACR), does not require a ground truth dataset and is instead based on inter-project annotation inconsistencies. This makes DACR not only more accurate but also available to a broad range of labeling tasks. In what follows we present results from a text classification task performed at scale for a commercial personal assistant, and evaluate the inherent ambiguity uncovered by this annotation strategy as compared to other common labeling strategies.


title: Weakly-Supervised Cross-Domain Adaptation for Endoscopic Lesions Segmentation

abstract: Weakly-supervised learning has attracted growing research attention on medical lesions segmentation due to significant saving in pixel-level annotation cost. However, 1) most existing methods require effective prior and constraints to explore the intrinsic lesions characterization, which only generates incorrect and rough prediction; 2) they neglect the underlying semantic dependencies among weakly-labeled target enteroscopy diseases and fully-annotated source gastroscope lesions, while forcefully utilizing untransferable dependencies leads to the negative performance. To tackle above issues, we propose a new weakly-supervised lesions transfer framework, which can not only explore transferable domain-invariant knowledge across different datasets, but also prevent the negative transfer of untransferable representations. Specifically, a Wasserstein quantified transferability framework is developed to highlight widerange transferable contextual dependencies, while neglecting the irrelevant semantic characterizations. Moreover, a novel selfsupervised pseudo label generator is designed to equally provide confident pseudo pixel labels for both hard-to-transfer and easyto-transfer target samples. It inhibits the enormous deviation of false pseudo pixel labels under the self-supervision manner. Afterwards, dynamically-searched feature centroids are aligned to narrow category-wise distribution shift. Comprehensive theoretical analysis and experiments show the superiority of our model on the endoscopic dataset and several public datasets.


title: Sparse encoding for more-interpretable feature-selecting representations in probabilistic matrix factorization

abstract: Dimensionality reduction methods for count data are critical to a wide range of applications in medical informatics and other fields where model interpretability is paramount. For such data, hierarchical Poisson matrix factorization (HPF) and other sparse probabilistic non-negative matrix factorization (NMF) methods are considered to be interpretable generative models. They consist of sparse transformations for decoding their learned representations into predictions. However, sparsity in representation decoding does not necessarily imply sparsity in the encoding of representations from the original data features. HPF is often incorrectly interpreted in the literature as if it possesses encoder sparsity. The distinction between decoder sparsity and encoder sparsity is subtle but important. Due to the lack of encoder sparsity, HPF does not possess the column-clustering property of classical NMF -- the factor loading matrix does not sufficiently define how each factor is formed from the original features. We address this deficiency by self-consistently enforcing encoder sparsity, using a generalized additive model (GAM), thereby allowing one to relate each representation coordinate to a subset of the original data features. In doing so, the method also gains the ability to perform feature selection. We demonstrate our method on simulated data and give an example of how encoder sparsity is of practical use in a concrete application of representing inpatient comorbidities in Medicare patients.


title: When Services Computing Meets Blockchain: Challenges and Opportunities

abstract: Services computing can offer a high-level abstraction to support diverse applications via encapsulating various computing infrastructures. Though services computing has greatly boosted the productivity of developers, it is faced with three main challenges: privacy and security risks, information silo, and pricing mechanisms and incentives. The recent advances of blockchain bring opportunities to address the challenges of services computing due to its build-in encryption as well as digital signature schemes, decentralization feature, and intrinsic incentive mechanisms. In this paper, we present a survey to investigate the integration of blockchain with services computing. The integration of blockchain with services computing mainly exhibits merits in two aspects: i) blockchain can potentially address key challenges of services computing and ii) services computing can also promote blockchain development. In particular, we categorize the current literature of services computing based on blockchain into five types: services creation, services discovery, services recommendation, services composition, and services arbitration. Moreover, we generalize Blockchain as a Service (BaaS) architecture and summarize the representative BaaS platforms. In addition, we also outline open issues of blockchain-based services computing and BaaS.


title: Stable and unstable trajectories in a dipolar chain

abstract: In classical mechanics, solutions can be classified according to their stability. Each of them is part of the possible trajectories of the system. However, the signatures of unstable solutions are hard to observe in an experiment, and most of the times if the experimental realization is adiabatic, they are considered just a nuisance. Here we use a small number of XY magnetic dipoles subject to an external magnetic field for studying the origin of their collective magnetic response. Using bifurcation theory we have found all the possible solutions being stable or unstable, and explored how those solutions are naturally connected by points where the symmetries of the system are lost or restored. Unstable solutions that reveal the symmetries of the system are found to be the culprit that shape hysteresis loops in this system. The complexity of the solutions for the nonlinear dynamics is analyzed using the concept of boundary basin entropy, finding that the damping time scale is critical for the emergence of fractal structures in the basins of attraction. Furthermore, we numerically found domain wall solutions that are the smallest possible realizations of transverse walls and vortex walls in magnetism. We experimentally confirmed their existence and stability showing that our system is a suitable platform to study domain wall dynamics at the macroscale.

categories: nlin.PS cond-mat.mes-hall nlin.CD physics.class-ph


title: A wireless signal-based sensing framework for robotics

abstract: In this paper we develop the analytical framework for a novel Wireless signal-based Sensing capability for Robotics (WSR) by leveraging robots' mobility. It allows robots to primarily measure relative direction, or Angle-of-Arrival (AOA), to other robots, while operating in non-line-of-sight unmapped environments and without requiring external infrastructure. We do so by capturing all of the paths that a wireless signal traverses as it travels from a transmitting to a receiving robot in the team, which we term as an AOA profile. The key intuition behind our approach is to enable a robot to emulate antenna arrays as it moves freely in 2D and 3D space. The small differences in the phase of the wireless signals are thus processed with knowledge of robots' local displacement to obtain the profile, via a method akin to Synthetic Aperture Radar (SAR). The main contribution of this work is the development of i) a framework to accommodate arbitrary 2D and 3D motion, as well as continuous mobility of both signal transmitting and receiving robots, while computing AOA profiles between them and ii) a Cramer-Rao Bound analysis, based on antenna array theory, that provides a lower bound on the variance in AOA estimation as a function of the geometry of robot motion. We show that allowing robots to use their full mobility in 3D space while performing SAR, results in more accurate AOA profiles and thus better AOA estimation. All analytical developments are substantiated by extensive simulation and hardware experiments on air/ground robot platforms using 5 GHz WiFi. Our experimental results bolster our analytical findings, demonstrating that 3D motion provides enhanced and consistent accuracy, with total AOA error of less than 10 degree for 95% of trials. We also analytically characterize the impact of displacement estimation errors on the measured AOA.


title: Topology Identification under Spatially Correlated Noise

abstract: This article addresses the problem of reconstructing the topology of a network of agents interacting via linear dynamics, while being excited by exogenous stochastic sources that are possibly correlated across the agents, from time-series measurements alone. It is shown, under the assumption that the correlations are affine in nature, such network of nodal interactions is equivalent to a network with added agents, represented by nodes that are latent, where no corresponding time-series measurements are available; however, here all exogenous excitements are spatially (that is, across agents) uncorrelated. Generalizing affine correlations, it is shown that, under polynomial correlations, the latent nodes in the expanded networks can be excited by clusters of noise sources, where the clusters are uncorrelated with each other. The clusters can be replaced with a single noise source if the latent nodes are allowed to have non-linear interactions. Finally, using the sparse plus low-rank matrix decomposition of the imaginary part of the inverse power spectral density matrix (IPSDM) of the time-series data, the topology of the network is reconstructed. Under non conservative assumptions, the correlation graph is retrieved.


title: Multi-modal Visual Tracking: Review and Experimental Comparison

abstract: Visual object tracking, as a fundamental task in computer vision, has drawn much attention in recent years. To extend trackers to a wider range of applications, researchers have introduced information from multiple modalities to handle specific scenes, which is a promising research prospect with emerging methods and benchmarks. To provide a thorough review of multi-modal track-ing, we summarize the multi-modal tracking algorithms, especially visible-depth (RGB-D) tracking and visible-thermal (RGB-T) tracking in a unified taxonomy from different aspects. Second, we provide a detailed description of the related benchmarks and challenges. Furthermore, we conduct extensive experiments to analyze the effectiveness of trackers on five datasets: PTB, VOT19-RGBD, GTOT, RGBT234, and VOT19-RGBT. Finally, we discuss various future directions from different perspectives, including model design and dataset construction for further research.


title: Gate voltage dependence of noise distribution in radio-frequency reflectometry in gallium arsenide quantum dots

abstract: We investigate gate voltage dependence of electrical readout noise in high-speed rf reflectometry using gallium arsenide quantum dots. The fast Fourier transform spectrum from the real time measurement reflects build-in device noise and circuit noise including the resonator and the amplifier. We separate their noise spectral components by model analysis. Detail of gate voltage dependence of the flicker noise is investigated and compared to the charge sensor sensitivity. We point out that the dominant component of the readout noise changes by the measurement integration time.


title: Search for singly and pair-produced leptoquarks coupling to third-generation fermions in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: A search for leptoquarks produced singly and in pairs in proton-proton collisions is presented. We consider the leptoquark (LQ) to be a scalar particle of charge -1/3$e$ coupling to a top quark plus a tau lepton ($\mathrm{t}\tau$) or a bottom quark plus a neutrino ($\mathrm{b}\nu$), or a vector particle of charge +2/3$e$, coupling to $\mathrm{t}\nu$ or $\mathrm{b}\tau$. These choices are motivated by models that can explain a series of anomalies observed in the measurement of B meson decays. In this analysis the signatures $\mathrm{t}\tau\nu\mathrm{b}$ and $\mathrm{t}\tau\nu$ are probed, using data recorded by the CMS experiment at the CERN LHC at $\sqrt{s} =$ 13 TeV and that correspond to an integrated luminosity of 137 fb$^{-1}$. These signatures have not been previously explored in a dedicated search. The data are found to be in agreement with the standard model prediction. Lower limits at 95% confidence level are set on the LQ mass in the range 0.98-1.73 TeV, depending on the LQ spin and its coupling $\lambda$ to a lepton and a quark, and assuming equal branching fractions for the two LQ decay modes considered. These are the most stringent constraints to date on the existence of leptoquarks in this scenario.


title: In situ visualization of tip undercooling and lamellar microstructure evolution of sea ice with manipulated orientation

abstract: Sea ice growth with lamellar microstructure containing brine channels has been extensively investigated. However, the quantitative growth information of sea ice remains lack due to the uncontrolled crystalline orientation in previous investigations. For the first time, we in-situ observed the unidirectional growth of lamellar sea ice with well-manipulated ice crystal orientation and visualized tip undercooling of sea ice. A semi-empirical model was proposed to quantitatively address the variation of tip undercooling with growth velocity and salinity and compared with a very recent analytical model. With the real-time observation, interesting phenomena of doublon tip in cellular ice growth and growth direction shift of ice dendritic tip were discovered for the first time, which are attributed to the complex solutal diffusion and anisotropic interface kinetics in sea ice growth. The quantitative experiment provides a clear micro scenario of sea ice growth, and will promote relevant investigations of sea ice in terms of the theoretical approach to describing the diffusion field around faceted ice dendritic tip.


title: Topological features of ground states and topological solitons in generalized Su-Schrieffer-Heeger models using generalized time-reversal, particle-hole, and chiral symmetries

abstract: Topological phases and their topological features are enriched by the fundamental time-reversal, particle-hole, and chiral as well as crystalline symmetries. While one-dimensional (1D) generalized Su-Schrieffer-Heeger (SSH) systems show various topological phenomena such as topological solitons and topological charge pumping, it remains unclear how such symmetry protects and relates such topological phenomena. Here we show that the generalized time-reversal, particle-hole, and chiral symmetry operators consistently explain not only the symmetry transformation properties between the ground states but also the topological features of the topological solitons in prototypical quasi-1D systems such as the SSH, Rice-Mele, and double-chain models. As a consequence, we classify generalized essential operators into three groups: Class I and class II operators connect ground states in between after spontaneous symmetry breaking while class III operators give the generalized particle-hole and chiral symmetries to ground states. Furthermore, class I operators endow the equivalence relation between topological solitons while class II and III operators do the particle-hole relations. Finally, we demonstrate three distinct types of topological charge pumping and soliton chirality from the viewpoint of class I, II, and III operators. We build a general framework to explore the topological features of the generalized 1D electronic system, which can be easily applied in various condensed matter systems as well as photonic crystal and cold atomic systems.

categories: cond-mat.mes-hall cond-mat.str-el nlin.PS nlin.SI physics.optics


title: Systemic Risk in Market Microstructure of Crude Oil and Gasoline Futures Prices: A Hawkes Flocking Model Approach

abstract: We propose the Hawkes flocking model that assesses systemic risk in high-frequency processes at the two perspectives -- endogeneity and interactivity. We examine the futures markets of WTI crude oil and gasoline for the past decade, and perform a comparative analysis with conditional value-at-risk as a benchmark measure. In terms of high-frequency structure, we derive the empirical findings. The endogenous systemic risk in WTI was significantly higher than that in gasoline, and the level at which gasoline affects WTI was constantly higher than in the opposite case. Moreover, although the relative influence's degree was asymmetric, its difference has gradually reduced.


title: A landscape of contact manifolds via rational SFT

abstract: We define a hierarchy functor from the exact symplectic cobordism category to a totally ordered set from a $BL_\infty$ (Bi-Lie) formalism of the rational symplectic field theory (RSFT). The hierarchy functor consists of three levels of structures, namely algebraic planar torsion, order of semi-dilation and planarity, all taking values in $\mathbb{N}\cup \{\infty\}$, where algebraic planar torsion can be understood as the analogue of Latschev-Wendl's algebraic torsion in the context of RSFT. The hierarchy functor is well-defined through a partial construction of RSFT and is within the scope of established virtual techniques. We develop computation tools for those functors and prove all three of them are surjective. In particular, the planarity functor is surjective in all dimension $\ge 3$. Then we use the hierarchy functor to study the existence of exact cobordisms. We discuss examples including iterated planar open books, spinal open books, affine varieties with uniruled compactification and links of singularities.


title: Single ice crystal growth with controlled orientation during directional freezing

abstract: Ice growth has attracted great attention for its capability of fabricating hierarchically porous microstructure. However, the formation of tilted lamellar microstructure during freezing needs to be reconsidered due to the limited control of ice orientation with respect to thermal gradient during in-situ observations, which can greatly enrich our insight into architectural control of porous biomaterials. This paper provides an in-situ study of solid/liquid interface morphology evolution of directionally solidified single crystal ice with its C-axis (optical axis) perpendicular to directions of both thermal gradient and incident light in poly (vinyl alcohol, PVA) solutions. Misty morphology and V-shaped lamellar morphology were clearly observed in-situ for the first time. Quantitative characterizations on lamellar spacing, tilt angle and tip undercooling of lamellar ice platelets provide a clearer insight into the inherent ice growth habit in polymeric aqueous systems and are suggested exert significant impact on future design and optimization in porous biomaterials.


title: Importance of Electronic Correlation in the Intermetallic Half-Heusler Compounds

abstract: Low temperature scanning tunneling spectroscopy of HfNiSn shows a V^m(m < 1) zero bias anomaly around the Fermi level. This local density of states with a fractional power law shape is well known to be a consequence of electronic correlations. For comparison, we have also measured the tunneling conductances of other half-Heusler compounds with 18 valence electrons. ZrNiPb shows a metal-like local density of states, whereas ZrCoSb and NbFeSb show a linear and V^2 anomaly. One interpretation of these anomalies is that a correlation gap is opening in these compounds. By analyzing the magnetoresistance of HfNiSn, we demonstrate that at low temperatures, electron-electron scattering dominates. The T^m(m < 1) temperature dependence of the conductivity confirms that the electronic correlations are a bulk rather than a surface property.


title: Formalism-Driven Development of Decentralized Systems

abstract: Decentralized systems have been widely developed and applied to address security and privacy issues in centralized systems, especially since the advancement of distributed ledger technology. However, it is challenging to ensure their correct functioning with respect to their designs and minimize the technical risk before the delivery. Although formal methods have made significant progress over the past decades, a feasible solution based on formal methods from a development process perspective has not been well developed. In this paper, we formulate an iterative and incremental development process, named formalism-driven development (FDD), for developing provably correct decentralized systems under the guidance of formal methods. We also present a framework named Seniz, to practicalize FDD with a new modeling language and scaffolds. Furthermore, we conduct case studies to demonstrate the effectiveness of FDD in practice with the support of Seniz.


title: Observation of di-structures in $e^+e^-\rightarrow{J}/\psi{\rm X}$ at center-of-mass energies around 3.773 GeV

abstract: We report a measurement of the observed cross sections of the inclusive $J/\psi$ production in $e^+e^-\rightarrow {J}/\psi{\rm X}$ based on 3.21 fb$^{-1}$ of data accumulated at energies from 3.645 to 3.891 GeV with the BESIII detector operated at the BEPCII collider. The energy-dependent lineshape obtained from the measured cross sections cannot be well described by two Breit-Wigner (BW) amplitudes of the expected decays $\psi(3686)\rightarrow {J}/\psi{\rm X}$ and $\psi(3770)\rightarrow {J}/\psi{\rm X}$. Instead it can be better described with three BW amplitudes of the decays $\psi(3686)\rightarrow {J}/\psi{\rm X}$, $R(3760)\rightarrow {J}/\psi{\rm X}$ and $R(3790)\rightarrow {J}/\psi{\rm X}$ with two distinct structures referred to as $R(3760)$ and $R(3790)$. Under this assumption, we extracted their masses, total widths, and the product of the leptonic width and decay branching fractions to be $M_{R(3760)}= {3761.7\pm 2.2 \pm 1.2}$ MeV/$c^2$, $\Gamma^{\rm tot}_{R(3760)}= {6.7\pm 11.1 \pm 1.1}$ MeV, $\Gamma^{ee}_{R(3760)}\mathcal B[R(3760)\rightarrow {J}/\psi {\rm X}]=(4.0\pm 4.3\pm 1.2)$ eV, $M_{R(3790)} = {3784.7\pm 5.7 \pm 1.6}$ MeV/$c^2$, $\Gamma^{\rm tot}_{R(3790)} = {31.6 \pm 11.9 \pm 3.2}$ MeV, $\Gamma^{ee}_{R(3790)}\mathcal B[R(3790)\rightarrow {J}/\psi {\rm X}]=(18.1\pm 10.3\pm 4.7)$ eV, where the first uncertainties are statistical and second systematic.


title: GraphFL: A Federated Learning Framework for Semi-Supervised Node Classification on Graphs

abstract: Graph-based semi-supervised node classification (GraphSSC) has wide applications, ranging from networking and security to data mining and machine learning, etc. However, existing centralized GraphSSC methods are impractical to solve many real-world graph-based problems, as collecting the entire graph and labeling a reasonable number of labels is time-consuming and costly, and data privacy may be also violated. Federated learning (FL) is an emerging learning paradigm that enables collaborative learning among multiple clients, which can mitigate the issue of label scarcity and protect data privacy as well. Therefore, performing GraphSSC under the FL setting is a promising solution to solve real-world graph-based problems. However, existing FL methods 1) perform poorly when data across clients are non-IID, 2) cannot handle data with new label domains, and 3) cannot leverage unlabeled data, while all these issues naturally happen in real-world graph-based problems. To address the above issues, we propose the first FL framework, namely GraphFL, for semi-supervised node classification on graphs. Our framework is motivated by meta-learning methods. Specifically, we propose two GraphFL methods to respectively address the non-IID issue in graph data and handle the tasks with new label domains. Furthermore, we design a self-training method to leverage unlabeled graph data. We adopt representative graph neural networks as GraphSSC methods and evaluate GraphFL on multiple graph datasets. Experimental results demonstrate that GraphFL significantly outperforms the compared FL baseline and GraphFL with self-training can obtain better performance.


title: Learning to Represent Programs with Heterogeneous Graphs

abstract: Program source code contains complex structure information, which can be represented in structured data forms like trees or graphs. To acquire the structural information in source code, most existing researches use abstract syntax trees (AST). A group of works add additional edges to ASTs to convert source code into graphs and use graph neural networks to learn representations for program graphs. Although these works provide additional control or data flow information to ASTs for downstream tasks, they neglect an important aspect of structure information in AST itself: the different types of nodes and edges. In ASTs, different nodes contain different kinds of information like variables or control flow, and the relation between a node and all its children can also be different. To address the information of node and edge types, we bring the idea of heterogeneous graphs to learning on source code and present a new formula of building heterogeneous program graphs from ASTs with additional type information for nodes and edges. We use the ASDL grammar of programming language to define the node and edge types of program graphs. Then we use heterogeneous graph neural networks to learn on these graphs. We evaluate our approach on two tasks: code comment generation and method naming. Both tasks require reasoning on the semantics of complete code snippets. Experiment results show that our approach outperforms baseline models, including homogeneous graph-based models, showing that leveraging the type information of nodes and edges in program graphs can help in learning program semantics.


title: Point-primitive generalised hexagons and octagons and projective linear groups

abstract: We discuss recent progress on the problem of classifying point-primitive generalised polygons. In the case of generalised hexagons and generalised octagons, this has reduced the problem to primitive actions of almost simple groups of Lie type. To illustrate how the natural geometry of these groups may be used in this study, we show that if $\mathcal{S}$ is a finite thick generalised hexagon or octagon with $G \leqslant{\rm Aut}(\mathcal{S})$ acting point-primitively and the socle of $G$ isomorphic to ${\rm PSL}_n(q)$ where $n \geqslant 2$, then the stabiliser of a point acts irreducibly on the natural module. We describe a strategy to prove that such a generalised hexagon or octagon $\mathcal{S}$ does not exist.


title: Search for new light vector boson using $J/\Psi$ at BESIII and Belle II

abstract: We investigate various search strategies for light vector boson $X$ in $\mathcal{O}(10)~{\rm MeV}$ mass range using $J/\Psi$ associated channels at BESIII and Belle II: (i) $J/\Psi \to \eta_c X$ with $10^{10} J/\Psi$s at BESIII, (ii) $J/\Psi (\eta_c +X) +\ell \bar{\ell}$ production at Belle~II, and (iii) $J/\Psi +X$ with the displaced vertex in $X\to e^+e^-$ decay are analyzed and the future sensitivities at Belle II with 50 ${\rm ab}^{-1}$ luminosity are comprehensively studied. By requiring the displaced vertex to be within the beam pipe, the third method results in nearly background-free analysis, and the vector boson-electron coupling and the vector boson mass can be probed in the unprecedented range, $10^{-4}\leq |\varepsilon_e| \leq 10^{-3}$ and $9~{\rm MeV}\leq m_X\leq 100 {\rm MeV}$ with 50 ${\rm ab}^{-1}$ at Belle II. This covers the favored signal region of $^8{\rm Be}^*$ anomaly recently reported by Atomki experiment with $m_X \simeq 17~{\rm MeV}$.


title: Exploiting Ultralow Loss Multimode Waveguides for Broadband Frequency Combs

abstract: Low propagation loss in high confinement waveguides is critical for chip-based nonlinear photonics applications. Sophisticated fabrication processes which yield sub-nm roughness are generally needed to reduce scattering points at the waveguide interfaces in order to achieve ultralow propagation loss. Here, we show ultralow propagation loss by shaping the mode using a highly multimode structure to reduce its overlap with the waveguide interfaces, thus relaxing the fabrication processing requirements. Microresonators with intrinsic quality factors (Q) of 31.8 $\pm$ 4.4 million are experimentally demonstrated. Although the microresonators support 10 transverse modes only the fundamental mode is excited and no higher order modes are observed when using nonlinear adiabatic bends. A record-low threshold pump power of 73 $\mu$W for parametric oscillation is measured and a broadband, almost octave spanning single-soliton frequency comb without any signatures of higher order modes in the spectrum spanning from 1097 nm to 2040 nm (126 THz) is generated in the multimode microresonator. This work provides a design method that could be applied to different material platforms to achieve and use ultrahigh-Q multimode microresonators.


title: Benchmarking Resource Usage of Underlying Datatypes of Apache Spark

abstract: The purpose of this paper is to examine how resource usage of an analytic is affected by the different underlying datatypes of Spark analytics - Resilient Distributed Datasets (RDDs), Datasets, and DataFrames. The resource usage of an analytic is explored as a viable and preferred alternative of benchmarking big data analytics instead of the current common benchmarking performed using execution time. The run time of an analytic is shown to not be guaranteed to be a reproducible metric since many external factors to the job can affect the execution time. Instead, metrics readily available through Spark including peak execution memory are used to benchmark the resource usage of these different datatypes in common applications of Spark analytics, such as counting, caching, repartitioning, and KMeans.


title: Robustness of Accuracy Metric and its Inspirations in Learning with Noisy Labels

abstract: For multi-class classification under class-conditional label noise, we prove that the accuracy metric itself can be robust. We concretize this finding's inspiration in two essential aspects: training and validation, with which we address critical issues in learning with noisy labels. For training, we show that maximizing training accuracy on sufficiently many noisy samples yields an approximately optimal classifier. For validation, we prove that a noisy validation set is reliable, addressing the critical demand of model selection in scenarios like hyperparameter-tuning and early stopping. Previously, model selection using noisy validation samples has not been theoretically justified. We verify our theoretical results and additional claims with extensive experiments. We show characterizations of models trained with noisy labels, motivated by our theoretical results, and verify the utility of a noisy validation set by showing the impressive performance of a framework termed noisy best teacher and student (NTS). Our code is released.


title: Unsupervised Label Refinement Improves Dataless Text Classification

abstract: Dataless text classification is capable of classifying documents into previously unseen labels by assigning a score to any document paired with a label description. While promising, it crucially relies on accurate descriptions of the label set for each downstream task. This reliance causes dataless classifiers to be highly sensitive to the choice of label descriptions and hinders the broader application of dataless classification in practice. In this paper, we ask the following question: how can we improve dataless text classification using the inputs of the downstream task dataset? Our primary solution is a clustering based approach. Given a dataless classifier, our approach refines its set of predictions using k-means clustering. We demonstrate the broad applicability of our approach by improving the performance of two widely used classifier architectures, one that encodes text-category pairs with two independent encoders and one with a single joint encoder. Experiments show that our approach consistently improves dataless classification across different datasets and makes the classifier more robust to the choice of label descriptions.


title: Neural fidelity warping for efficient robot morphology design

abstract: We consider the problem of optimizing a robot morphology to achieve the best performance for a target task, under computational resource limitations. The evaluation process for each morphological design involves learning a controller for the design, which can consume substantial time and computational resources. To address the challenge of expensive robot morphology evaluation, we present a continuous multi-fidelity Bayesian Optimization framework that efficiently utilizes computational resources via low-fidelity evaluations. We identify the problem of non-stationarity over fidelity space. Our proposed fidelity warping mechanism can learn representations of learning epochs and tasks to model non-stationary covariances between continuous fidelity evaluations which prove challenging for off-the-shelf stationary kernels. Various experiments demonstrate that our method can utilize the low-fidelity evaluations to efficiently search for the optimal robot morphology, outperforming state-of-the-art methods.


title: VAE-Info-cGAN: Generating Synthetic Images by Combining Pixel-level and Feature-level Geospatial Conditional Inputs

abstract: Training robust supervised deep learning models for many geospatial applications of computer vision is difficult due to dearth of class-balanced and diverse training data. Conversely, obtaining enough training data for many applications is financially prohibitive or may be infeasible, especially when the application involves modeling rare or extreme events. Synthetically generating data (and labels) using a generative model that can sample from a target distribution and exploit the multi-scale nature of images can be an inexpensive solution to address scarcity of labeled data. Towards this goal, we present a deep conditional generative model, called VAE-Info-cGAN, that combines a Variational Autoencoder (VAE) with a conditional Information Maximizing Generative Adversarial Network (InfoGAN), for synthesizing semantically rich images simultaneously conditioned on a pixel-level condition (PLC) and a macroscopic feature-level condition (FLC). Dimensionally, the PLC can only vary in the channel dimension from the synthesized image and is meant to be a task-specific input. The FLC is modeled as an attribute vector in the latent space of the generated image which controls the contributions of various characteristic attributes germane to the target distribution. An interpretation of the attribute vector to systematically generate synthetic images by varying a chosen binary macroscopic feature is explored. Experiments on a GPS trajectories dataset show that the proposed model can accurately generate various forms of spatio-temporal aggregates across different geographic locations while conditioned only on a raster representation of the road network. The primary intended application of the VAE-Info-cGAN is synthetic data (and label) generation for targeted data augmentation for computer vision-based modeling of problems relevant to geospatial analysis and remote sensing.


title: Molecular Insights into the Electrowetting Behavior of Aqueous Ionic Liquid

abstract: Molecular dynamics simulations were employed to study the wetting behavior of nanoscale aqueous hydrophilic and hydrophobic Imidazolium based ionic liquid (IL) droplets on a solid graphite substrate subjected to the perpendicular electric field. Imminent transformation in the droplet configuration was observed at E = 0.08 V/{\AA} both for hydrophobic ILs [EMIM][NTF2] and SPC/E water droplets. However, for hydrophilic, [EMIM][BF4], the droplet wets asymmetrically within electric field E = 0.09 V/{\AA} for lower weight percentages of ILs and E = 0.1 V/{\AA} at a higher weight percentage of ILs (i.e., 50wt%), because of the strong interaction of ILs with the sheet. We explore the impact of electric-field through various parameters such as mass density distribution, contact angle, orientation, and hydrogen bonds. Keywords: electro-wetting; contact angle; aqueous hydrophilic and hydrophobic Imidazolium ILs, molecular dynamic simulation


title: InterPhon: Ab initio Interface Phonon Calculations within a 3D Electronic Structure Framework

abstract: This work provides the community with an easily executable open-source Python package designed to automize the evaluation of Interfacial Phonons (InterPhon). Its strategy of arbitrarily defining the interfacial region and periodicity alleviates the excessive computational cost in applying ab initio phonon calculations to interfaces and enables efficient extraction of interfacial phonons. InterPhon makes it possible to apply all of the phonon-based predictions that have been available for bulk systems, to interfacial systems. The first example, in which this package was applied to InAs surfaces, demonstrates a systematic structure search for unexplored surface reconstructions, navigated by the imaginary mode of surface phonons. It eventually explains the anisotropic surface vibrations of the polar crystal. The second example, involving oxygen adsorption on Cu, reveals adsorption-induced vibrational change and its contribution to energetic stability. The third example, on a Si/GaAs interface, shows distinct vibrational patterns depending on interfacial structures. It leads to a prediction regarding the structural transition of interfaces and unveils the processing conditions for spontaneous growth of GaAs nanowires on Si. High-level automation in InterPhon will be of great help in elucidating interfacial atomic dynamics and in implementing an automated computational workflow for diverse interfacial systems.