title: I-MAD: Interpretable Malware Detector Using Galaxy Transformer

abstract: Malware currently presents a number of serious threats to computer users. Signature-based malware detection methods are limited in detecting new malware samples that are significantly different from known ones. Therefore, machine learning-based methods have been proposed, but there are two challenges these methods face. The first is to model the full semantics behind the assembly code of malware. The second challenge is to provide interpretable results while keeping excellent detection performance. In this paper, we propose an Interpretable MAlware Detector (I-MAD) that outperforms state-of-the-art static malware detection models regarding accuracy with excellent interpretability. To improve the detection performance, I-MAD incorporates a novel network component called the Galaxy Transformer network that can understand assembly code at the basic block, function, and executable levels. It also incorporates our proposed interpretable feed-forward neural network to provide interpretations for its detection results by quantifying the impact of each feature with respect to the prediction. Experiment results show that our model significantly outperforms existing state-of-the-art static malware detection models and presents meaningful interpretations.


title: Decomposition of random walk measures on the one-dimensional torus

abstract: The main result of this paper is a decomposition theorem for a measure on the one-dimensional torus. Given a sufficiently large subset $S$ of the positive integers, an arbitrary measure on the torus is decomposed as the sum of two measures. The first one $\mu_1$ has the property that the random walk with initial distribution $\mu_1$ evolved by the action of $S$ equidistributes very fast. The second measure $\mu_2$ in the decomposition is concentrated on very small neighborhoods of a small number of points.


title: A Dual-hierarchy Semantic Graph for Robust Object Recognition

abstract: We present a system for object recognition based on a semantic graph representation, which the system can learn from image examples. This graph is based on intrinsic properties of objects such as structure and geometry, so it is more robust than the current machine learning methods that can be fooled by changing a few pixels. Current methods have proved to be powerful but brittle because they ignore the structure and semantics of the objects. We define semantics as a form of abstraction, in terms of the intrinsic properties of the object, not in terms of human perception. Thus, it can be learned automatically. This is facilitated by the graph having two distinct hierarchies: abstraction and parts, which also makes its representation of objects more accurate and versatile. Previous semantic networks had only one amorphous hierarchy and were difficult to build and traverse. Our system performs both the learning and recognition by an algorithm that traverses both hierarchies at the same time, combining the advantages of top-down and bottom-up strategies. This reduces dimensionality and obviates the need for the brute force of big data training.


title: ChOracle: A Unified Statistical Framework for Churn Prediction

abstract: User churn is an important issue in online services that threatens the health and profitability of services. Most of the previous works on churn prediction convert the problem into a binary classification task where the users are labeled as churned and non-churned. More recently, some works have tried to convert the user churn prediction problem into the prediction of user return time. In this approach which is more realistic in real world online services, at each time-step the model predicts the user return time instead of predicting a churn label. However, the previous works in this category suffer from lack of generality and require high computational complexity. In this paper, we introduce \emph{ChOracle}, an oracle that predicts the user churn by modeling the user return times to service by utilizing a combination of Temporal Point Processes and Recurrent Neural Networks. Moreover, we incorporate latent variables into the proposed recurrent neural network to model the latent user loyalty to the system. We also develop an efficient approximate variational algorithm for learning parameters of the proposed RNN by using back propagation through time. Finally, we demonstrate the superior performance of ChOracle on a wide variety of real world datasets.


title: State Space Collapse in Resource Allocation for Demand Dispatch

abstract: Demand dispatch is the science of extracting virtual energy storage through the automatic control of deferrable loads to provide balancing or regulation services to the grid, while maintaining consumer-end quality of service (QoS). The control of a large collection of heterogeneous loads is in part a resource allocation problem, since different classes of loads are valuable for different services. The goal of this paper is to unveil the structure of the optimal solution to the resource allocation problem and to investigate short term market implications. It is found that the marginal cost for each load class evolves on a two-dimensional subspace, spanned by an optimal costate process and its derivative. The resource allocation problem is recast to construct a dynamic competitive equilibrium model, in which the consumer utility is the negative of the cost of deviation from ideal QoS. It is found that a competitive equilibrium exists, with the equilibrium price equal to the negative of an optimal costate process. Moreover, the equilibrium price is different from what would be obtained based on the standard assumption that the consumer's utility is a function of power consumption.


title: Learning adiabatic quantum algorithms for solving optimization problems

abstract: An adiabatic quantum algorithm is essentially given by three elements: An initial Hamiltonian with known ground state, a problem Hamiltonian whose ground state corresponds to the solution of the given problem and an evolution schedule such that the adiabatic condition is satisfied. A correct choice of these elements is crucial for an efficient adiabatic quantum computation. In this paper we propose a hybrid quantum-classical algorithm to solve optimization problems with an adiabatic machine assuming restrictions on the class of available problem Hamiltonians. The scheme is based on repeated calls to the quantum machine into a classical iterative structure. In particular we present a technique to learn the encoding of a given optimization problem into a problem Hamiltonian and we prove the convergence of the algorithm. Moreover the output of the proposed algorithm can be used to learn efficient adiabatic algorithms from examples.


title: Optimal robustness of passive discrete time systems

abstract: We construct optimally robust realizations of a given rational transfer function that represents a passive discrete-time system. We link it to the solution set of linear matrix inequalities defining passive transfer functions. We also consider the problem of finding the nearest passive system to a given non-passive one.


title: Detecting Adversarial Samples Using Influence Functions and Nearest Neighbors

abstract: Deep neural networks (DNNs) are notorious for their vulnerability to adversarial attacks, which are small perturbations added to their input images to mislead their prediction. Detection of adversarial examples is, therefore, a fundamental requirement for robust classification frameworks. In this work, we present a method for detecting such adversarial attacks, which is suitable for any pre-trained neural network classifier. We use influence functions to measure the impact of every training sample on the validation set data. From the influence scores, we find the most supportive training samples for any given validation example. A k-nearest neighbor (k-NN) model fitted on the DNN's activation layers is employed to search for the ranking of these supporting training samples. We observe that these samples are highly correlated with the nearest neighbors of the normal inputs, while this correlation is much weaker for adversarial inputs. We train an adversarial detector using the k-NN ranks and distances and show that it successfully distinguishes adversarial examples, getting state-of-the-art results on six attack methods with three datasets. Code is available at https://github.com/giladcohen/NNIF_adv_defense.


title: A Robust Closed-Loop Biped Locomotion Planner Based on Time Varying Model Predictive Control

abstract: Developing robust locomotion for humanoid robots is a complex task due to the unstable nature of these robots and also to the unpredictability of the terrain. A robust locomotion planner is one of the fundamental components for generating stable biped locomotion. This paper presents an optimal closed-loop biped locomotion planner which can plan reference trajectories even in challenging conditions. The proposed planner is designed based on a Time-Varying Model Predictive Control~(TVMPC) scheme to be able to consider some constraints in the states, inputs and outputs of the system and also mixed input-output. Moreover, the proposed planner takes into account the vertical motion of the Center of Mass~(COM) to generate walking with mostly stretched knees which is more human-like. Additionally, the planner uses the concept of Divergent Component of Motion~(DCM) to modify the reference ZMP online to improve the withstanding level of the robot in the presence of severe disturbances. The performance and also the robustness of the proposed planner are validated by performing several simulations using~\mbox{MATLAB}. The simulation results show that the proposed planner is capable of generating the biped locomotion robustly.


title: Large Resistivity Reduction in Mixed-Valent CsAuBr$_3$ Under Pressure

abstract: We report on high-pressure $p \leq 45$ GPa resistivity measurements on the perovskite-related mixed-valent compound CsAuBr$_3$. The compounds high-pressure resistivity can be classified into three regions: For low pressures ($p < 10$ GPa) an insulator to metal transition is observed; between $p= 10$ GPa and 14 GPa the room temperature resistivity goes through a minimum and increases again; above $p = 14$ GPa a semiconducting state is observed. From this pressure up to the highest pressure of $p = 45$ GPa reached in this experiment, the room-temperature resistivity remains nearly constant. We find an extremely large resistivity reduction between ambient pressure and 10 GPa by more than 6 orders of magnitude. This decrease is among the largest reported changes in the resistivity for this narrow pressure regime. We show - by an analysis of the electronic band structure evolution of this material - that the large change in resistivity under pressure in not caused by a crossing of the bands at the Fermi level. We find that it instead stems from two bands that are pinned at the Fermi level and that are moving towards one another as a consequence of the mixed-valent to single-valent transition. This mechanism appears to be especially effective for the rapid buildup of the density of states at the Fermi level.


title: Superconducting order parameter of the nodal-line semimetal NaAlSi

abstract: Nodal-line semimetals are topologically non-trivial states of matter featuring band crossings along a closed curve, i.e. nodal-line, in momentum space. Through a detailed analysis of the electronic structure, we show for the first time that the normal state of the superconductor NaAlSi, with a critical temperature of $T_{\rm c} \approx$ 7 K, is a nodal-line semimetal, where the complex nodal-line structure is protected by non-symmorphic mirror crystal symmetries. We further report on muon spin rotation experiments revealing that the superconductivity in NaAlSi is truly of bulk nature, featuring a fully gapped Fermi-surface. The temperature-dependent magnetic penetration depth can be well described by a two-gap model consisting of two $s$-wave symmetric gaps with $\Delta_1 =$ 0.6(2) meV and $\Delta_2 =$ 1.39(1) meV. The zero-field muon experiment indicates that time-reversal symmetry is preserved in the superconducting state. Our observations suggest that notwithstanding its topologically non-trivial band structure, NaAlSi may be suitably interpreted as a conventional London superconductor, while more exotic superconducting gap symmetries cannot be excluded. The intertwining of topological electronic states and superconductivity renders NaAlSi a prototypical platform to search for unprecedented topological quantum phases.


title: Global optimization of parameters in the reactive force field ReaxFF for SiOH

abstract: We have used unbiased global optimization to fit a reactive force field to a given set of reference data. Specifically, we have employed genetic algorithms (GA) to fit ReaxFF to SiOH data, using an in-house GA code that is parallelized across reference data items via the message-passing interface (MPI). Details of GA tuning turn out to be far less important for global optimization efficiency than using suitable ranges within which the parameters are varied. To establish these ranges, either prior knowledge can be used or successive stages of GA optimizations, each building upon the best parameter vectors and ranges found in the previous stage. We finally arrive at optimized force fields with smaller error measures than those published previously. Hence, this optimization approach will contribute to converting force-field fitting from a specialist task to an everyday commodity, even for the more difficult case of reactive force fields.


title: Query-Focused Scenario Construction

abstract: The news coverage of events often contains not one but multiple incompatible accounts of what happened. We develop a query-based system that extracts compatible sets of events (scenarios) from such data, formulated as one-class clustering. Our system incrementally evaluates each event's compatibility with already selected events, taking order into account. We use synthetic data consisting of article mixtures for scalable training and evaluate our model on a new human-curated dataset of scenarios about real-world news topics. Stronger neural network models and harder synthetic training settings are both important to achieve high performance, and our final scenario construction system substantially outperforms baselines based on prior work.


title: Model Based Planning with Energy Based Models

abstract: Model-based planning holds great promise for improving both sample efficiency and generalization in reinforcement learning (RL). We show that energy-based models (EBMs) are a promising class of models to use for model-based planning. EBMs naturally support inference of intermediate states given start and goal state distributions. We provide an online algorithm to train EBMs while interacting with the environment, and show that EBMs allow for significantly better online learning than corresponding feed-forward networks. We further show that EBMs support maximum entropy state inference and are able to generate diverse state space plans. We show that inference purely in state space - without planning actions - allows for better generalization to previously unseen obstacles in the environment and prevents the planner from exploiting the dynamics model by applying uncharacteristic action sequences. Finally, we show that online EBM training naturally leads to intentionally planned state exploration which performs significantly better than random exploration.


title: Free Fourier Multipliers associated with the firstSegment

abstract: We study Fourier multipliers on free group $\mathbb{F}_\infty$ associated with the first segment of the reduced words, and prove that they are completely bounded on the noncommutative $L^p$ spaces $L^p(\hat{\mathbb{F}}_\infty)$ iff their restriction on $L^p(\hat{\mathbb{F}}_1)=L^p(\mathbb{T})$ are completely bounded. As a consequence, every classical Mikhlin multiplier extends to a $L^p$ Fourier multiplier on free groups for all $1<p<\infty$.


title: Finite Blaschke products over quaternions: unitary realizations and zero structure

abstract: We consider power series over the skew field $\mathbb H$ of real quaternions which are analogous to finite Blaschke products in the classical complex setting. Several intrinsic characteriztions of such series are given in terms of their coefficients as well as in terms of their left and right values. We also discuss the zero structure of finite Blaschke products including left/right zeros and their various multiplicities. We show how to construct a finite Blaschke product with prescribed zero structure. In particular, given a quaternion polynomial $p$ with all zeros less then one in modulus, we explicitly construct a power series $R$ with quaternion coefficients with no zeros such that $pR$ is a finite Blaschke product.


title: Ar/Cl$_{2}$ etching of GaAs optomechanical microdisks fabricated with positive electroresist

abstract: A method to fabricate GaAs microcavities using only a soft mask with an electrolithographic pattern in an inductively coupled plasma etching is presented. A careful characterization of the fabrication process pinpointing the main routes for a smooth device sidewall is discussed. Using the final recipe, optomechanical microdisk resonators are fabricated. The results show a very high optical quality factors of $Q_\text{opt}>2\times 10^{5}$, among the largest already reported for dry-etching devices. The final devices are also shown to present high mechanical quality factors and an optomechanical vacuum coupling constant of $g_{0}=2\pi\times 13.6$ kHz enabling self-sustainable mechanical oscillations for an optical input power above $1$ mW.


title: Lagrange interpolation over division rings

abstract: For a division ring $\mathbb F$, the polynomials $f\in\mathbb F$ can be evaluated "on the left" and "on the right" giving rise to left and right Lagrange interpolation problems. The problems containig interpolation conditions of the same type were considered in \cite{lam1} where the solvability criterion was given in terms of polynomial independence of interpolation nodes. We establish the solvability criterion and describe all solutions of low degree (less than the number of interpolation conditions imposed) for the problem containing both "left" and "right" conditions.


title: Non-existence of bi-infinite geodesics in the exponential corner growth model

abstract: This paper gives a self-contained proof of the non-existence of nontrivial bi-infinite geodesics in directed planar last-passage percolation with exponential weights. The techniques used are couplings, coarse graining, and control of geodesics through planarity and estimates derived from increment-stationary versions of the last-passage percolation process.


title: Performance Evaluation of Learned 3D Features

abstract: Matching surfaces is a challenging 3D Computer Vision problem typically addressed by local features. Although a variety of 3D feature detectors and descriptors has been proposed in literature, they have seldom been proposed together and it is yet not clear how to identify the most effective detector-descriptor pair for a specific application. A promising solution is to leverage machine learning to learn the optimal 3D detector for any given 3D descriptor [15]. In this paper, we report a performance evaluation of the detector-descriptor pairs obtained by learning a paired 3D detector for the most popular 3D descriptors. In particular, we address experimental settings dealing with object recognition and surface registration.


title: 6DLS: Modeling Nonplanar Frictional Surface Contacts for Grasping using 6D Limit Surfaces

abstract: Robot grasping with deformable gripper jaws results in nonplanar surface contacts if the jaws deform to the nonplanar local geometry of an object. The frictional force and torque that can be transmitted through a nonplanar surface contact are both three-dimensional, resulting in a six-dimensional frictional wrench (6DFW). Applying traditional planar contact models to such contacts leads to over-conservative results as the models do not consider the nonplanar surface geometry and only compute a three-dimensional subset of the 6DFW. To address this issue, we derive the 6DFW for nonplanar surfaces by combining concepts of differential geometry and Coulomb friction. We also propose two 6D limit surface (6DLS) models, generalized from well-known three-dimensional LS (3DLS) models, which describe the friction-motion constraints for a contact. We evaluate the 6DLS models by fitting them to the 6DFW samples obtained from six parametric surfaces and 2,932 meshed contacts from finite element method simulations of 24 rigid objects. We further present an algorithm to predict multicontact grasp success by building a grasp wrench space with the 6DLS model of each contact. To evaluate the algorithm, we collected 1,035 physical grasps of ten 3D-printed objects with a KUKA robot and a deformable parallel-jaw gripper. In our experiments, the algorithm achieves 66.8% precision, a metric inversely related to false positive predictions, and 76.9% recall, a metric inversely related to false negative predictions. The 6DLS models increase recall by up to 26.1% over 3DLS models with similar precision.


title: Temporal Self-Attention Network for Medical Concept Embedding

abstract: In longitudinal electronic health records (EHRs), the event records of a patient are distributed over a long period of time and the temporal relations between the events reflect sufficient domain knowledge to benefit prediction tasks such as the rate of inpatient mortality. Medical concept embedding as a feature extraction method that transforms a set of medical concepts with a specific time stamp into a vector, which will be fed into a supervised learning algorithm. The quality of the embedding significantly determines the learning performance over the medical data. In this paper, we propose a medical concept embedding method based on applying a self-attention mechanism to represent each medical concept. We propose a novel attention mechanism which captures the contextual information and temporal relationships between medical concepts. A light-weight neural net, "Temporal Self-Attention Network (TeSAN)", is then proposed to learn medical concept embedding based solely on the proposed attention mechanism. To test the effectiveness of our proposed methods, we have conducted clustering and prediction tasks on two public EHRs datasets comparing TeSAN against five state-of-the-art embedding methods. The experimental results demonstrate that the proposed TeSAN model is superior to all the compared methods. To the best of our knowledge, this work is the first to exploit temporal self-attentive relations between medical events.


title: Learning an Effective Equivariant 3D Descriptor Without Supervision

abstract: Establishing correspondences between 3D shapes is a fundamental task in 3D Computer Vision, typically addressed by matching local descriptors. Recently, a few attempts at applying the deep learning paradigm to the task have shown promising results. Yet, the only explored way to learn rotation invariant descriptors has been to feed neural networks with highly engineered and invariant representations provided by existing hand-crafted descriptors, a path that goes in the opposite direction of end-to-end learning from raw data so successfully deployed for 2D images. In this paper, we explore the benefits of taking a step back in the direction of end-to-end learning of 3D descriptors by disentangling the creation of a robust and distinctive rotation equivariant representation, which can be learned from unoriented input data, and the definition of a good canonical orientation, required only at test time to obtain an invariant descriptor. To this end, we leverage two recent innovations: spherical convolutional neural networks to learn an equivariant descriptor and plane folding decoders to learn without supervision. The effectiveness of the proposed approach is experimentally validated by outperforming hand-crafted and learned descriptors on a standard benchmark.


title: A possible semiclassical bounce instead of a Schwarzschild singularity

abstract: We have previously shown that the singularity in a Schwarzschild black hole of stellar or larger mass may be avoided in a semiclassical manner by using as a source of gravity the stress-energy tensor (SET) corresponding to vacuum polarization of quantum fields, with a minimum spherical radius a few orders of magnitude larger than the Planck length. In this note we estimate the nonlocal contribution to the total SET due to particle creation from vacuum. We show that this contribution is negligibly small as compared to vacuum polarization and does not affect the previously suggested scenario.


title: Dark matter and nonlocality of spacetime

abstract: In this letter, we review a candidate for dark matter, known as O$f$DM, and explain how it relates to spacetime nonlocality. This connection provides a physical interpretation for why O$f$DM exists. Given the state of direct and indirect searches for dark matter, O$f$DM model would be an important candidate to consider, since it predicts all direct searches would fail to detect DM. The model has only one free parameter and in this regard, it is highly predictive. We review a few avenues to test this model.


title: Hijacking Routes in Payment Channel Networks: A Predictability Tradeoff

abstract: Off-chain transaction networks can mitigate the scalability issues of today's trustless electronic cash systems such as Bitcoin. However, these peer-to-peer networks also introduce a new attack surface which is not well-understood today. This paper identifies and analyzes, a novel Denial-of-Service attack which is based on route hijacking, i.e., which exploits the way transactions are routed and executed along the created channels of the network. This attack is conceptually interesting as even a limited attacker that manipulates the topology through the creation of new channels can navigate tradeoffs related to the way it attacks the network. Furthermore, the attack also highlights a fundamental design tradeoff for the defender (who determines its own routes): to become less predictable and hence secure, a rational node has to pay higher fees to nodes that forward its payments. We find that the three most common implementations for payment channels in Bitcoin (lnd, C-lightning, Eclair) approach routing differently. We begin by surveying the current state of the Lightning network and explore the routes chosen by these implementations. We find that in the current network nearly 60\% of all routes pass through only five nodes, while 80\% go through only 10 nodes. Thus, a relatively small number of colluding nodes can deny service to a large fraction of the network. We then turn to study an external attacker who creates links to the network and draws more routes through its nodes by asking for lower fees. We find that just five new links are enough to draw the majority (65\% - 75\%) of the traffic regardless of the implementation being used. The cost of creating these links is very low. We discuss the differences between implementations and eventually derive our own suggested routing policy, which is based on a novel combination of existing approaches.


title: On some permanence properties of (derived) splinters

abstract: We show that Noetherian splinters ascend under essentially \'etale homomorphisms. Along the way, we also prove that the henselization of a Noetherian local splinter is always a splinter and that the completion of a local splinter with geometrically regular formal fibers is a splinter. Finally, we give an example of a (non-excellent) Gorenstein local splinter with mild singularities whose completion is not a splinter. Our results provide evidence for a strengthening of the direct summand theorem, namely that regular maps preserve the splinter property.


title: TiM-DNN: Ternary in-Memory accelerator for Deep Neural Networks

abstract: The use of lower precision has emerged as a popular technique to optimize the compute and storage requirements of complex Deep Neural Networks (DNNs). In the quest for lower precision, recent studies have shown that ternary DNNs (which represent weights and activations by signed ternary values) represent a promising sweet spot, achieving accuracy close to full-precision networks on complex tasks. We propose TiM-DNN, a programmable in-memory accelerator that is specifically designed to execute ternary DNNs. TiM-DNN supports various ternary representations including unweighted {-1,0,1}, symmetric weighted {-a,0,a}, and asymmetric weighted {-a,0,b} ternary systems. The building blocks of TiM-DNN are TiM tiles -- specialized memory arrays that perform massively parallel signed ternary vector-matrix multiplications with a single access. TiM tiles are in turn composed of Ternary Processing Cells (TPCs), bit-cells that function as both ternary storage units and signed ternary multiplication units. We evaluate an implementation of TiM-DNN in 32nm technology using an architectural simulator calibrated with SPICE simulations and RTL synthesis. We evaluate TiM-DNN across a suite of state-of-the-art DNN benchmarks including both deep convolutional and recurrent neural networks. A 32-tile instance of TiM-DNN achieves a peak performance of 114 TOPs/s, consumes 0.9W power, and occupies 1.96mm2 chip area, representing a 300X and 388X improvement in TOPS/W and TOPS/mm2, respectively, compared to an NVIDIA Tesla V100 GPU. In comparison to specialized DNN accelerators, TiM-DNN achieves 55X-240X and 160X-291X improvement in TOPS/W and TOPS/mm2, respectively. Finally, when compared to a well-optimized near-memory accelerator for ternary DNNs, TiM-DNN demonstrates 3.9x-4.7x improvement in system-level energy and 3.2x-4.2x speedup, underscoring the potential of in-memory computing for ternary DNNs.


title: Empirical study towards understanding line search approximations for training neural networks

abstract: Choosing appropriate step sizes is critical for reducing the computational cost of training large-scale neural network models. Mini-batch sub-sampling (MBSS) is often employed for computational tractability. However, MBSS introduces a sampling error, that can manifest as a bias or variance in a line search. This is because MBSS can be performed statically, where the mini-batch is updated only when the search direction changes, or dynamically, where the mini-batch is updated every-time the function is evaluated. Static MBSS results in a smooth loss function along a search direction, reflecting low variance but large bias in the estimated "true" (or full batch) minimum. Conversely, dynamic MBSS results in a point-wise discontinuous function, with computable gradients using backpropagation, along a search direction, reflecting high variance but lower bias in the estimated "true" (or full batch) minimum. In this study, quadratic line search approximations are considered to study the quality of function and derivative information to construct approximations for dynamic MBSS loss functions. An empirical study is conducted where function and derivative information are enforced in various ways for the quadratic approximations. The results for various neural network problems show that being selective on what information is enforced helps to reduce the variance of predicted step sizes.


title: Non-Causal Tracking by Deblatting

abstract: Tracking by Deblatting stands for solving an inverse problem of deblurring and image matting for tracking motion-blurred objects. We propose non-causal Tracking by Deblatting which estimates continuous, complete and accurate object trajectories. Energy minimization by dynamic programming is used to detect abrupt changes of motion, called bounces. High-order polynomials are fitted to segments, which are parts of the trajectory separated by bounces. The output is a continuous trajectory function which assigns location for every real-valued time stamp from zero to the number of frames. Additionally, we show that from the trajectory function precise physical calculations are possible, such as radius, gravity or sub-frame object velocity. Velocity estimation is compared to the high-speed camera measurements and radars. Results show high performance of the proposed method in terms of Trajectory-IoU, recall and velocity estimation.


title: Asynchronous Filling by Myopic Luminous Robots

abstract: We consider the problem of filling an unknown area represented by an arbitrary connected graph of $n$ vertices by mobile luminous robots. In this problem, the robots enter the graph one-by-one through a specific vertex, called the Door, and they eventually have to cover all vertices of the graph while avoiding collisions. The robots are anonymous and make decisions driven by the same local rule of behavior. They have limited persistent memory and limited visibility range. We investigate the Filling problem in the asynchronous model. We assume that the robots know an upper bound $\Delta$ on the maximum degree of the graph before entering. We present an algorithm solving the asynchronous Filling problem with robots having $1$ hop visibility range, $O(\log\Delta)$ bits of persistent storage, and $\Delta+4$ colors, including the color when the light is off. We analyze the algorithm in terms of asynchronous rounds, where a round means the smallest time interval in which each robot, which has not yet finished the algorithm, has been activated at least once. We show that this algorithm needs $O(n^2)$ asynchronous rounds. Our analysis provides the first asymptotic upper bound on the running time in terms of asynchronous rounds. Then we show how the number of colors can be reduced to $O(1)$ at the cost of the running time. The algorithm with $1$ hop visibility range, $O(\log \Delta)$ bits of persistent memory, and $O(1)$ colors needs $O(n^2\log \Delta)$ rounds. We show how the running time can be improved by robots with a visibility range of $2$ hops, $O(\log \Delta)$ bits of persistent memory, and $\Delta + 4$ colors (including the color when the light is off). We show that the algorithm needs $O(n)$ asynchronous rounds. Finally, we show how to extend our solution to the $k$-Door case, $k\geq 2$, by using $\Delta + k + 4$ colors, including the color when the light is off.


title: Microscopic derivation of the Schwarzschild black hole entropy

abstract: The main part of this work is to present a formula allowing a microscopic derivation of the Schwarzschild black hole entropy in arbitrary dimension. More generally, this Cardy-like formula applies for static black holes whose gravitational entropy scales as a power of the temperature, and is also effective for negative heat capacity solutions. The formula involves the scaling power, the black hole mass and the energy of a gravitational soliton identified as the ground state of the theory. The robustness of this formula is verified in the most famous example of solution with negative heat capacity, namely the Schwarzschild black hole. The mass of the Schwarzschild regular soliton is computed using the counterterm method for asymptotically flat spacetimes. Corrections of the black hole entropy of the order of logarithm of the area are shown to arise for dimensions strictly greater than four. Finally, we will see that a slight modification of the Cardy-like formula involving the angular generator, perfectly reproduces the four-dimensional Kerr entropy.


title: Brno Urban Dataset -- The New Data for Self-Driving Agents and Mapping Tasks

abstract: Autonomous driving is a dynamically growing field of research, where quality and amount of experimental data is critical. Although several rich datasets are available these days, the demands of researchers and technical possibilities are evolving. Through this paper, we bring a new dataset recorded in Brno, Czech Republic. It offers data from four WUXGA cameras, two 3D LiDARs, inertial measurement unit, infrared camera and especially differential RTK GNSS receiver with centimetre accuracy which, to the best knowledge of the authors, is not available from any other public dataset so far. In addition, all the data are precisely timestamped with sub-millisecond precision to allow wider range of applications. At the time of publishing of this paper, recordings of more than 350 km of rides in varying environment are shared at: https: //github.com/RoboticsBUT/Brno-Urban-Dataset.


title: Efficient Rational Creative Telescoping

abstract: We present a new algorithm to compute minimal telescopers for rational functions in two discrete variables. As with recent reduction-based approaches, our algorithm has the important feature that the computation of a telescoper is independent of its certificate. In addition, our algorithm uses a compact representation of the certificate, which allows it to be easily manipulated and analyzed without knowing the precise expanded form. This representation hides potential expression swell until the final (and optional) expansion, which can be accomplished in time polynomial in the size of the expanded certificate. A complexity analysis, along with a Maple implementation, indicates that our algorithm has better theoretical and practical performance than the reduction-based approach in the rational case.


title: Asymptotic Stability of Harmonic Maps on the Hyperbolic Plane Under the Schr\"odinger Maps Evolution

abstract: We consider the Cauchy problem for the Schr\"odinger maps evolution when the domain is the hyperbolic plane. An interesting feature of this problem compared to the more widely studied case on the Euclidean plane is the existence of a rich new family of finite energy harmonic maps. These are stationary solutions, and thus play an important role in the dynamics of Schr\"odinger maps. The main result of this article is the asymptotic stability of (some of) such harmonic maps under the Schr\"odinger maps evolution. More precisely, we prove the nonlinear asymptotic stability of a finite energy equivariant harmonic map $Q$ under the Schr\"odinger maps evolution with respect to non-equivariant perturbations, provided $Q$ obeys a suitable linearized stability condition. This condition is known to hold for all equivariant harmonic maps with values in the hyperbolic plane and for a subset of those maps taking values in the sphere. One of the main technical ingredients in the paper is a global-in-time local smoothing and Strichartz estimate for the operator obtained by linearization around a harmonic map, proved in the companion paper [36].


title: Exploiting Fast Decaying and Locality in Multi-Agent MDP with Tree Dependence Structure

abstract: This paper considers a multi-agent Markov Decision Process (MDP), where there are $n$ agents and each agent $i$ is associated with a state $s_i$ and action $a_i$ taking values from a finite set. Though the global state space size and action space size are exponential in $n$, we impose local dependence structures and focus on local policies that only depend on local states, and we propose a method that finds nearly optimal local policies in polynomial time (in $n$) when the dependence structure is a one directional tree. The algorithm builds on approximated reward functions which are evaluated using locally truncated Markov process. Further, under some special conditions, we prove that the gap between the approximated reward function and the true reward function is decaying exponentially fast as the length of the truncated Markov process gets longer. The intuition behind this is that under some assumptions, the effect of agent interactions decays exponentially in the distance between agents, which we term "fast decaying property".


title: Kink-antikink scattering in the $\phi^4$ model without static intersoliton forces

abstract: Kink-antikink scattering in the $\phi^4$ model is investigated in the limit when the static inter-soliton force vanishes. We observe the formation of spectral walls and, further, identify a new phenomenon, the vacuum wall, whose existence gives rise to a bouncing structure for the annihilating solitons. Furthermore, we discover higher order spectral walls, i.e., spectral walls which form when higher harmonics enter the continuous spectrum. These higher order spectral walls not only deform the soliton trajectories, they also can be observed easily as very intense radiation bursts.


title: Characterization of toric systems via transport costs

abstract: We characterize completely integrable Hamiltonian systems inducing an effective Hamiltonian torus action as systems with zero transport costs w.r.t. the time-$T$ map where $T \in {\mathbb R}^n$ is the period of the acting $n$-torus.


title: Probing the role of proton cross-shell excitations in 70Ni using nucleon knockout reactions

abstract: The neutron-rich Ni isotopes have attracted attention in recent years due to the occurrence of shape or configuration coexistence. We report on the difference in population of excited final states in 70Ni following gamma-ray tagged one-proton, one-neutron, and two-proton knockout from 71Cu, 71Ni, and 72Zn rare-isotope beams, respectively. Using variations observed in the relative transition intensities, signaling the changed population of specific final states in the different reactions, the role of neutron and proton configurations in excited states of 70Ni is probed schematically, with the goal of identifying those that carry, as leading configuration, proton excitations across the Z = 28 shell closure. Such states are suggested in the literature to form a collective structure associated with prolate deformation. Adding to the body of knowledge for 70Ni, 29 new transitions are reported, of which 15 are placed in its level scheme.


title: Using an AI creativity system to explore how aesthetic experiences are processed along the brains perceptual neural pathways

abstract: With the increased sophistication of AI techniques, the application of these systems has been expanding to ever newer fields. Increasingly, these systems are being used in modeling of human aesthetics and creativity, e.g. how humans create artworks and design products. Our lab has developed one such AI creativity deep learning system that can be used to create artworks in the form of images and videos. In this paper, we describe this system and its use in studying the human visual system and the formation of aesthetic experiences. Specifically, we show how time-based AI created media can be used to explore the nature of the dual-pathway neuro-architecture of the human visual system and how this relates to higher cognitive judgments such as aesthetic experiences that rely on these divergent information streams. We propose a theoretical framework for how the movement within percepts such as video clips, causes the engagement of reflexive attention and a subsequent focus on visual information that are primarily processed via the dorsal stream, thereby modulating aesthetic experiences that rely on information relayed via the ventral stream. We outline our recent study in support of our proposed framework, which serves as the first study that investigates the relationship between the two visual streams and aesthetic experiences.


title: $p$-adic estimates of exponential sums on curves

abstract: The purpose of this article is to prove a ``Newton over Hodge'' result for exponential sums on curves. Let $X$ be a smooth proper curve over a finite field $\mathbb{F}_q$ of characteristic $p\geq 3$ and let $V \subset X$ be an affine curve. For a regular function $\overline{f}$ on $V$, we may form the $L$-function $L(\overline{f},V,s)$ associated to the exponential sums of $\overline{f}$. In this article, we prove a lower estimate on the Newton polygon of $L(\overline{f},V,s)$. The estimate depends on the local monodromy of $f$ around each point $x \in X-V$. This confirms a hope of Deligne that the irregular Hodge filtration forces bounds on $p$-adic valuations of Frobenius eigenvalues. As a corollary, we obtain a lower estimate on the Newton polygon of a curve with an action of $\mathbb{Z}/p\mathbb{Z}$ in terms of local monodromy invariants.


title: Scattered products in fundamental groupoids

abstract: Infinitary operations, such as products indexed by countably infinite linear orders, arise naturally in the context of fundamental groups and groupoids. We prove that the well-definedness of products indexed by a scattered linear order in the fundamental groupoid of a first countable space is equivalent to the homotopically Hausdorff property. To prove this characterization, we employ the machinery of closure operators, on the $\pi_1$-subgroup lattice, defined in terms of test maps from one-dimensional domains.


title: X-ToM: Explaining with Theory-of-Mind for Gaining Justified Human Trust

abstract: We present a new explainable AI (XAI) framework aimed at increasing justified human trust and reliance in the AI machine through explanations. We pose explanation as an iterative communication process, i.e. dialog, between the machine and human user. More concretely, the machine generates sequence of explanations in a dialog which takes into account three important aspects at each dialog turn: (a) human's intention (or curiosity); (b) human's understanding of the machine; and (c) machine's understanding of the human user. To do this, we use Theory of Mind (ToM) which helps us in explicitly modeling human's intention, machine's mind as inferred by the human as well as human's mind as inferred by the machine. In other words, these explicit mental representations in ToM are incorporated to learn an optimal explanation policy that takes into account human's perception and beliefs. Furthermore, we also show that ToM facilitates in quantitatively measuring justified human trust in the machine by comparing all the three mental representations. We applied our framework to three visual recognition tasks, namely, image classification, action recognition, and human body pose estimation. We argue that our ToM based explanations are practical and more natural for both expert and non-expert users to understand the internal workings of complex machine learning models. To the best of our knowledge, this is the first work to derive explanations using ToM. Extensive human study experiments verify our hypotheses, showing that the proposed explanations significantly outperform the state-of-the-art XAI methods in terms of all the standard quantitative and qualitative XAI evaluation metrics including human trust, reliance, and explanation satisfaction.


title: Dense products in fundamental groupoids

abstract: Infinitary operations, such as products indexed by countably infinite linear orders, arise naturally in the context of fundamental groups and groupoids. Despite the fact that the usual binary operation of the fundamental group determines the operation of the fundamental groupoid, we show that, for a locally path-connected metric space, the well-definedness of countable dense products in the fundamental group need not imply the well-definedness of countable dense products in the fundamental groupoid. Additionally, we show the fundamental groupoid $\Pi_1(X)$ has well-defined dense products if and only if $X$ admits a generalized universal covering space.


title: Parametrically prox-regular functions

abstract: Prox-regularity is a generalization of convexity that includes all C2, lower-C2, strongly amenable and primal-lower-nice functions. The study of prox-regular functions provides insight on a broad spectrum of important functions. Parametrically prox-regular (para-prox-regular) functions are a further extension of this family, produced by adding a parameter. Such functions have been shown to play a key role in understanding stability of minimizers in optimization problems. This document discusses para-prox-regular functions in Rn: we begin with some basic examples of para-prox-regular functions and move on to the more complex examples of the convex and nonconvex proximal average. We develop an alternate representation of a para-prox-regular function, related to the monotonicity of an f-attentive epsilon-localization as has been done for prox-regular functions. This extends a result of Levy, who used an alternate approach to show one implication of the relationship (we provide a characterization). We analyze two common forms of parametrized functions that appear in optimization: finite parametrized sum of functions and finite parametrized max of functions. The example of strongly amenable functions by Poliquin and Rockafellar is given and a relaxation of its necessary conditions is presented.


title: A note on the predictions of models with modular flavor symmetries

abstract: Models with modular flavor symmetries have been thought to be highly predictive. We point out that these predictions are subject to corrections from non-holomorphic terms in the Lagrangean. Specifically, in the models discussed in the literature, the K\"ahler potential is not fixed by the symmetries, for instance. The most general K\"ahler potential consistent with the symmetries of the model contains additional terms with additional parameters, which reduce the predictive power of these constructions. We also comment on how one may conceivably retain the predictivity.


title: Minimax separation of the Cauchy kernel

abstract: We prove and apply an optimal low-rank approximation of the Cauchy kernel over separated real domains. A skeleton decomposition is the minimum over real-valued functions of the maximum relative pointwise error. We present an algorithm to optimize its parameters, demonstrate suboptimal but effective heuristic approximations, and identify numerically stable forms.


title: Modal operators on rings of continuous functions

abstract: It is a classic result in modal logic that the category of modal algebras is dually equivalent to the category of descriptive frames. The latter are Kripke frames equipped with a Stone topology such that the binary relation is continuous. This duality generalizes the celebrated Stone duality. Our goal is to further generalize descriptive frames so that the topology is an arbitrary compact Hausdorff topology. For this, instead of working with the boolean algebra of clopen subsets of a Stone space, we work with the ring of continuous real-valued functions on a compact Hausdorff space. The main novelty is to define a modal operator on such a ring utilizing a continuous relation on a compact Hausdorff space. Our starting point is the well-known Gelfand duality between the category $KHaus$ of compact Hausdorff spaces and the category $ubal$ of uniformly complete bounded archimedean $\ell$-algebras. We endow a bounded archimedean $\ell$-algebra with a modal operator, which results in the category $mbal$ of modal bounded archimedean $\ell$-algebras. Our main result establishes a dual adjunction between $mbal$ and the category $KHK$ of what we call compact Hausdorff frames; that is, Kripke frames equipped with a compact Hausdorff topology such that the binary relation is continuous. This dual adjunction restricts to a dual equivalence between $KHK$ and the reflective subcategory $mubal$ of $mbal$ consisting of uniformly complete objects of $mbal$. This generalizes both Gelfand duality and the duality for modal algebras.


title: Periodic solutions of one-dimensional cellular automata with random rules

abstract: We study cellular automata with randomly selected rules. Our setting are two-neighbor rules with a large number $n$ of states. The main quantity we analyze is the asymptotic probability, as $n \to \infty$, that the random rule has a periodic solution with given spatial and temporal periods. We prove that this limiting probability is non-trivial when the spatial and temporal periods are confined to a finite range. The main tool we use is the Chen-Stein method for Poisson approximation. The limiting probability distribution of the smallest temporal period for a given spatial period is deduced as a corollary and relevant empirical simulations are presented.


title: One-dimensional cellular automata with random rules: longest temporal period of a periodic solution

abstract: We study one-dimensional cellular automata whose rules are chosen at random from among $r$-neighbor rules with a large number $n$ of states. Our main focus is the asymptotic behavior, as $n \to \infty$, of the longest temporal period $X_{\sigma,n}$ of a periodic solution with a given spatial period $\sigma$. We prove, when $\sigma \le r$, that this random variable is of order $n^{\sigma/2}$, in that $X_{\sigma,n}/n^{\sigma/2}$ converges to a nontrivial distribution. For the case $\sigma > r$, we present empirical evidence in support of the conjecture that the same result holds.


title: Maximal temporal period of a periodic solution generated by a one-dimensional cellular automaton

abstract: We study one-dimensional cellular automata evolutions with both temporal and spatial periodicity. The main objective is to investigate the longest temporal periods among all two-neighbor rules, with a fixed spatial period $\sigma$ and number of states $n$. When $\sigma = 2, 3, 4$, or $6$, and we restrict the rules to be additive, the longest period can be expressed as the exponent of the multiplicative group of an appropriate ring. We also construct non-additive rules with temporal period on the same order as the trivial upper bound $n^\sigma$. Experimental results, open problems, and possible extensions of our results are also discussed.


title: Geometric PID-type attitude tracking control on SO(3)

abstract: This article develops and proposes a geometric nonlinear proportional-integral-derivative (PID) type tracking control scheme on the Lie group of rigid body rotations, SO(3). Like PD-type attitude tracking control schemes that have been proposed in the past, this PID-type control scheme exhibits almost global asymptotic stability in tracking a desired attitude profile. The stability of this PID-type tracking control scheme is shown using a Lyapunov analysis. A numerical simulation study demonstrates the stability of this tracking control scheme, as well as its robustness to a disturbance torque. In addition, a numerical comparison study shows the effectiveness of the proposed integrator term.


title: Equation of state and chiral transition in soft-wall AdS/QCD with more realistic gravitational background

abstract: We construct an improved soft-wall AdS/QCD model with a cubic coupling term of the dilaton and the bulk scalar field. The background fields in this model are solved from the Einstein-dilaton system with a nontrivial dilaton potential, which has been shown to be able to reproduce the equation of state from lattice QCD with two flavors. The chiral transition behaviors are investigated in the improved soft-wall AdS/QCD model with the solved gravitational background, and the crossover transition can be realized. Our study provides a possibility to address the deconfining and chiral phase transitions simultaneously in the bottom-up holographic framework.


title: Sinkhorn Algorithm as a Special Case of Stochastic Mirror Descent

abstract: We present a new perspective on the celebrated Sinkhorn algorithm by showing that is a special case of incremental/stochastic mirror descent. In order to see this, one should simply plug Kullback-Leibler divergence in both mirror map and the objective function. Since the problem has unbounded domain, the objective function is neither smooth nor it has bounded gradients. However, one can still approach the problem using the notion of relative smoothness, obtaining that the stochastic objective is 1-relative smooth. The discovered equivalence allows us to propose 1) new methods for optimal transport, 2) an extension of Sinkhorn algorithm beyond two constraints.


title: Group-theoretical property of non-degenerate fusion categories of FP-dimension $p^2q^3$ and $p^3q^3$

abstract: In this paper, we show that non-degenerate fusion categories of FP-dimensions $p^2q^3d$ and $p^3q^3d$ are group-theoretical, where $p, q$ are odd primes, $d$ is a square-free integer such that $(pq,d) = 1$.


title: Hydrogenous content identification in heterogeneous cargoes via multiple monoenergetic neutron radiography

abstract: The determination of hydrogenous content in commercial cargoes is an important challenge in cargo security. Prior work has shown the feasibility of hydrogenous cargo classification in radiographic applications. This result was achieved by using the significant material to material differences in the energy dependence of their neutron scattering cross-sections. The work presented here details the application of this technique to multiple-monoenergetic neutron transmission measurements of several heterogeneous cargo mock-ups with the goal of quantifying hydrogenous content. It demonstrates the ability to determine the hydrogenous content of a cargo container by performing analysis of pulse-height data of transmitted neutrons. The set-up used for these feasibility studies was able to detect and quantify areal densities of up to 30 g/cm$^2$ of high density polyethylene (HDPE), even when mixed with metallic materials. Accurate determination of the hydrogenous content of the cargo has two important uses: it can allow for better imaging and discrimination of conventional contraband during cargo screening; it may also allow the unfolding of the individual elemental contributions from an effective atomic number, $Z_{\mathrm{eff}}$, as determined from multiple monoenergetic gamma radiography (MMGR). This combination of capabilities could make multiple monoenergetic neutron radiography applications a significant contribution to cargo security.


title: Tensorial generalization of characters

abstract: In rainbow tensor models, which generalize rectangular complex matrix model (RCM) and possess a huge gauge symmetry $U(N_1)\times\ldots\times U(N_r)$, we introduce a new sub-basis in the linear space of gauge invariant operators, which is a redundant basis in the space of operators with non-zero Gaussian averages. Its elements are labeled by $r$-tuples of Young diagrams of a given size equal to the power of tensor field. Their tensor model averages are just products of dimensions: $\Big<\chi_{R_1,\ldots,R_r}\Big> \sim C_{R_1,\ldots, R_r}D_{R_1}(N_1)\ldots D_{R_r}(N_r)$ of representations $R_i$ of the linear group $SL(N_i)$, with $C_{R_1,\ldots, R_r}$ made of the Clebsch-Gordan coefficients of representations $R_i$ of the symmetric group. Moreover, not only the averages but the operators $\chi_{\vec R}$ themselves exist only when these $C_{\vec R}$ are non-vanishing. This sub-basis is much similar to the basis of characters (Schur functions) in matrix models, which is distinguished by the property $\Big<{\rm character}\Big> \sim { character}$, which opens a way to lift the notion and the theory of characters (Schur functions) from matrices to tensors. In particular, operators $\chi_{\vec R}$ are eigenfunctions of operators which generalize the usual cut-and-join operators $\hat W$; they satisfy orthogonality conditions similar to the standard characters, but they do not form a {\it full} linear basis for all gauge-invariant operators, only for those which have non-vanishing Gaussian averages.


title: Evolution of Floquet Topological Quantum States in Driven Semiconductors

abstract: Spatially uniform excitations can induce Floquet topological bandstructures within insulators which have equal characteristics to those of topological insulators. Going beyond we demonstrate in this article the evolution of Floquet topological quantum states for electromagnetically driven semiconductor bulk matter. We show the direct physical impact of the mathematical precision of the Floquet-Keldysh theory when we solve the driven system of a generalized Hubbard model with our framework of dynamical mean field theory (DMFT) in the non-equilibrium. We explain the physical consequences of the topological non-equilibrium effects in our results for correlated sysems with impact on optoelectronic applications.


title: Enantio-discrimination via light deflection effect

abstract: We propose a theoretical method for enantio-discrimination based on the light deflection effect in four-level models of chiral molecules. This four-level model consists of a cyclic three-level subsystem coupled by three strong driving fields and an auxiliary level connected to the cyclic three-level subsystem by a weak probe field. It is shown that the induced refractive index for the weak probe field is chirality-dependent. Thus it will lead to chirality-dependent light deflection when the intensities of two of the three strong driving fields are spatially inhomogeneous. As a result, the deflection angle of the weak probe light can be utilized to detect the chirality of pure enantiomers and enantiomeric excess of chiral mixture. Therefore, our method may act as a tool for enantio-discrimination.


title: A conjectural bound on the second Betti number for hyper-K\"ahler manifolds

abstract: In previous work, we noted that the known cases of hyper-K\"ahler manifolds satisfy a natural condition on the LLV decomposition of the cohomology; informally, the Verbitsky component is the dominant representation in the LLV decomposition. Assuming this condition holds for all hyper-K\"ahler manifolds, we obtain an upper bound for the second Betti number in terms of the dimension.


title: Closed-form Second Solutions to the Coulombic Schr\"odinger Equation

abstract: The regular solutions to the Sch\"ordinger equation in the case of an electron experiencing a Coulomb force are well known. Being that the radial part of the differential equation to be solved is second order in derivatives, it will have two independent solutions, with the second irregular solutions being ill-behaved at the origin and unbound at infinity. For this reason, second solutions are dropped for bound electrons. However, these second solutions are still of academic interest for several reasons. One reason is to help devise schemes to control numerical contamination by second solutions to more general second-order differential equations when attempting to calculate the first solutions through recursion relations. Another is to study the analytic behavior of the electron Coulomb wave functions as the electron energy and angular momentum are each extended into the complex plane, important in investigations of bound-state poles and of Regge trajectories. In addition, toy problems having a finite radial region with a Coulombic interaction, with interior and exterior regions non Coulombic, require both regular and irregular solutions to match solutions across the boundaries. In this presentation, exact and closed form second irregular solutions are derived for the Coulomb bound states, using a hither-to unnoticed trick in the Nikiforov-Uvorov method.


title: Fast and deterministic switching of vortex core induced by out-of-plane current in notch disks

abstract: Magnetic vortex, as one of the most interesting magnetic solitons, has attracted great interests in the past two decades. A fast and reliable method to switch vortex polarity and chirality is one of the key issues for various applications. Based on micromagnetic simulation, here we report a fast, low energy cost and deterministic switching of vortex core, through the designing of a notch structure in disks and the use of out-of-plane current geometry. We demonstrate that with such design, the multiple switching problems found in notch disk system can be avoided. Furthermore, the switching time can be reduced by more than 50% compared with disks without notch.


title: No Free Lunch But A Cheaper Supper: A General Framework for Streaming Anomaly Detection

abstract: In recent years, there has been increased research interest in detecting anomalies in temporal streaming data. A variety of algorithms have been developed in the data mining community, which can be divided into two categories (i.e., general and ad hoc). In most cases, general approaches assume the one-size-fits-all solution model where a single anomaly detector can detect all anomalies in any domain. To date, there exists no single general method that has been shown to outperform the others across different anomaly types, use cases and datasets. In this paper, we propose SAFARI, a general framework formulated by abstracting and unifying the fundamental tasks in streaming anomaly detection, which provides a flexible and extensible anomaly detection procedure to overcome the limitations of one-size-fits-all solutions. SAFARI helps to facilitate more elaborate algorithm comparisons by allowing us to isolate the effects of shared and unique characteristics of different algorithms on detection performance. Using SAFARI, we have implemented various anomaly detectors and identified a research gap that motivates us to propose a novel learning strategy in this work. We conducted an extensive evaluation study of 20 detectors that are composed using SAFARI and compared their performances using real-world benchmark datasets with different properties. The results indicate that there is no single superior detector that works well for every case, proving our hypothesis that "there is no free lunch" in the streaming anomaly detection world. Finally, we discuss the benefits and drawbacks of each method in-depth and draw a set of conclusions to guide future users of SAFARI.


title: Learning to Map Nearly Anything

abstract: Looking at the world from above, it is possible to estimate many properties of a given location, including the type of land cover and the expected land use. Historically, such tasks have relied on relatively coarse-grained categories due to the difficulty of obtaining fine-grained annotations. In this work, we propose an easily extensible approach that makes it possible to estimate fine-grained properties from overhead imagery. In particular, we propose a cross-modal distillation strategy to learn to predict the distribution of fine-grained properties from overhead imagery, without requiring any manual annotation of overhead imagery. We show that our learned models can be used directly for applications in mapping and image localization.


title: Unaligned Sequence Similarity Search Using Deep Learning

abstract: Gene annotation has traditionally required direct comparison of DNA sequences between an unknown gene and a database of known ones using string comparison methods. However, these methods do not provide useful information when a gene does not have a close match in the database. In addition, each comparison can be costly when the database is large since it requires alignments and a series of string comparisons. In this work we propose a novel approach: using recurrent neural networks to embed DNA or amino-acid sequences in a low-dimensional space in which distances correlate with functional similarity. This embedding space overcomes both shortcomings of the method of aligning sequences and comparing homology. First, it allows us to obtain information about genes which do not have exact matches by measuring their similarity to other ones in the database. If our database is labeled this can provide labels for a query gene as is done in traditional methods. However, even if the database is unlabeled it allows us to find clusters and infer some characteristics of the gene population. In addition, each comparison is much faster than traditional methods since the distance metric is reduced to the Euclidean distance, and thus efficient approximate nearest neighbor algorithms can be used to find the best match. We present results showing the advantage of our algorithm. More specifically we show how our embedding can be useful for both classification tasks when our labels are known, and clustering tasks where our sequences belong to classes which have not been seen before.


title: On the Separability of Classes with the Cross-Entropy Loss Function

abstract: In this paper, we focus on the separability of classes with the cross-entropy loss function for classification problems by theoretically analyzing the intra-class distance and inter-class distance (i.e. the distance between any two points belonging to the same class and different classes, respectively) in the feature space, i.e. the space of representations learnt by neural networks. Specifically, we consider an arbitrary network architecture having a fully connected final layer with Softmax activation and trained using the cross-entropy loss. We derive expressions for the value and the distribution of the squared L2 norm of the product of a network dependent matrix and a random intra-class and inter-class distance vector (i.e. the vector between any two points belonging to the same class and different classes), respectively, in the learnt feature space (or the transformation of the original data) just before Softmax activation, as a function of the cross-entropy loss value. The main result of our analysis is the derivation of a lower bound for the probability with which the inter-class distance is more than the intra-class distance in this feature space, as a function of the loss value. We do so by leveraging some empirical statistical observations with mild assumptions and sound theoretical analysis. As per intuition, the probability with which the inter-class distance is more than the intra-class distance decreases as the loss value increases, i.e. the classes are better separated when the loss value is low. To the best of our knowledge, this is the first work of theoretical nature trying to explain the separability of classes in the feature space learnt by neural networks trained with the cross-entropy loss function.


title: Three-dimensional simulations of non-resonant streaming instability and particle acceleration near non-relativistic astrophysical shocks

abstract: We use particle-in-magnetohydrodynamics-cells to model particle acceleration and magnetic field amplification in a high Mach, parallel shock in three dimensions and compare the result to 2-D models. This allows us to determine whether 2-D simulations can be relied upon to yield accurate results in terms of particle acceleration, magnetic field amplification and the growth rate of instabilities. Our simulations show that the behaviour of the gas and the evolution of the instabilities are qualitatively similar for both the 2-D and 3-D models, with only minor quantitative differences that relate primarily to the growth speed of the instabilities. The main difference between 2-D and 3-D models can be found in the spectral energy distributions (SEDs) of the non-thermal particles. The 2-D simulations prove to be more efficient, accelerating a larger fraction of the particles and achieving higher velocities. We conclude that, while 2-D models are sufficient to investigate the instabilities in the gas, their results have to be treated with some caution when predicting the expected SED of a given shock.


title: Enhanced spin triplet superconductivity due to Kondo destabilization

abstract: In a Kondo lattice system, suppression of effective Kondo coupling leads to the breakdown of the heavy-electron metal and a change in the electronic structure. Spin triplet superconductivity in the Kondo lattice UTe2 appears to be associated with spin fluctuations originating from incipient ferromagnetic order. Here we show clear evidence of twofold enhancement of spin-triplet superconductivity near the pressure-driven suppression of the Kondo coherence, implying that superconductivity is strengthened by the affiliated growth of both spin and charge fluctuations. The coherent Kondo state discontinuously transitions to ferromagnetic order at higher pressures. Application of magnetic field tunes the system back across a first-order phase boundary. Straddling this phase boundary, we find another example of reentrant superconductivity in UTe2. In addition to spin fluctuations associated with ferromagnetism, our results show that a Kondo-driven Fermi surface instability may be playing a role in stabilizing spin triplet superconductivity.


title: Self-Supervised Correspondence in Visuomotor Policy Learning

abstract: In this paper we explore using self-supervised correspondence for improving the generalization performance and sample efficiency of visuomotor policy learning. Prior work has primarily used approaches such as autoencoding, pose-based losses, and end-to-end policy optimization in order to train the visual portion of visuomotor policies. We instead propose an approach using self-supervised dense visual correspondence training, and show this enables visuomotor policy learning with surprisingly high generalization performance with modest amounts of data: using imitation learning, we demonstrate extensive hardware validation on challenging manipulation tasks with as few as 50 demonstrations. Our learned policies can generalize across classes of objects, react to deformable object configurations, and manipulate textureless symmetrical objects in a variety of backgrounds, all with closed-loop, real-time vision-based policies. Simulated imitation learning experiments suggest that correspondence training offers sample complexity and generalization benefits compared to autoencoding and end-to-end training.


title: A class of partition functions associated with $E_{\tau,\eta}(gl_3)$ by Izergin-Korepin analysis

abstract: Recently, a class of partition functions associated with higher rank rational and trigonometric integrable models were introduced by Foda and Manabe. We use the dynamical $R$-matrix of the elliptic quantum group $E_{\tau,\eta}(gl_3)$ to introduce an elliptic analogue of the partition functions associated with $E_{\tau,\eta}(gl_3)$. We investigate the partition functions of Foda-Manabe type by developing a nested version of the elliptic Izergin-Korepin analysis, and present the explicit forms as symmetrization of multivariable elliptic functions. We show that special cases are essentially the elliptic weights functions introduced in the works by Rim\'anyi-Tarasov-Varchenko, Konno, Felder-Rim\'anyi-Varchenko.


title: Multireference configuration interaction and perturbation theory without reduced density matrices

abstract: The computationally expensive evaluation and storage of high-rank reduced density matrices (RDMs) has been the bottleneck in the calculation of dynamic correlation for multireference wave functions in large active spaces. We present a stochastic formulation of multireference configuration interaction (MRCI) and perturbation theory (MRPT) that avoids the need for these expensive RDMs. The algorithm presented here is flexible enough to incorporate a wide variety of active space reference wave functions, including selected configuration interaction, matrix product states, and symmetry-projected Jastrow mean field wave functions. It enjoys the usual attractive features of Monte Carlo methods, such as embarrassing parallelizability and low memory costs. We find that the stochastic algorithm is already competitive with the deterministic algorithm for small active spaces, containing as few as 14 orbitals. We illustrate the utility of our stochastic formulation using benchmark applications.


title: Novel Defense Strategy Against Zero-Dynamics Attack in Multi-Agent Systems

abstract: This paper considers the defense strategy of strategic topology switching for the second-order multi-agent system under zero-dynamics attack (ZDA) whose attack-starting time is allowed to be not the initial time. We first study the detectability of ZDA, which is a sufficient and necessary condition of switching topologies in detecting the attack. Based on the detectability, a Luenberger observer under switching topology is proposed to detect the stealthy attack. The primary advantages of the attack-detection algorithm are twofold: (i) in detecting ZDA, the algorithm allows the defender (system operator) to have no knowledge of the attack-starting time and the misbehaving agents (i.e., agents under attack); (ii) in tracking system in the absence of attacks, Luenberger observer has no constraint on the magnitudes of observer gains and the number of observed outputs, i.e., only one agent's observed output is sufficient. Simulations are provided to verify the effectiveness of the strategic topology-switching algorithm.


title: CM-Net: A Novel Collaborative Memory Network for Spoken Language Understanding

abstract: Spoken Language Understanding (SLU) mainly involves two tasks, intent detection and slot filling, which are generally modeled jointly in existing works. However, most existing models fail to fully utilize co-occurrence relations between slots and intents, which restricts their potential performance. To address this issue, in this paper we propose a novel Collaborative Memory Network (CM-Net) based on the well-designed block, named CM-block. The CM-block firstly captures slot-specific and intent-specific features from memories in a collaborative manner, and then uses these enriched features to enhance local context representations, based on which the sequential information flow leads to more specific (slot and intent) global utterance representations. Through stacking multiple CM-blocks, our CM-Net is able to alternately perform information exchange among specific memories, local contexts and the global utterance, and thus incrementally enriches each other. We evaluate the CM-Net on two standard benchmarks (ATIS and SNIPS) and a self-collected corpus (CAIS). Experimental results show that the CM-Net achieves the state-of-the-art results on the ATIS and SNIPS in most of criteria, and significantly outperforms the baseline models on the CAIS. Additionally, we make the CAIS dataset publicly available for the research community.


title: Detectability of Intermittent Zero-Dynamics Attack in Networked Control Systems

abstract: This paper analyzes stealthy attacks, particularly the zero-dynamics attack (ZDA) in networked control systems. ZDA hides the attack signal in the null-space of the state-space representation of the control system and hence it cannot be detected via conventional detection methods. A natural defense strategy builds on changing the null-space via switching through a set of topologies. In this paper, we propose a realistic ZDA variation where the attacker is aware of this topology-switching strategy, and hence employs the policy to avoid detection: "pause (update and resume) attack" before (after) topology switching to evade detection. We first systematically study the proposed ZDA variation, and then develop defense strategies under the realistic assumptions. Particularly, we characterize conditions for detectability of the proposed ZDA variation, in terms of the network topologies to be maintained, the set of agents to be monitored, and the measurements of the monitored agents that should be extracted. We provide numerical results that demonstrate our theoretical findings.


title: Hamilton-Jacobi Approach to the Quantization of Classically Non-Separable but Integrable Two-Dimensional Systems: the Role of the Classical Caustics

abstract: The quantization method based on the quantum Hamiltonian Jacobi equation, is extended to two-dimensional non-separable but integrable Hamiltonians. It is shown that each wave function for those systems corresponds to a well-defined family of classical trajectories, enveloped by a caustic. The energy eigenvalues and the values of the wave functions on the caustic are obtained by solving the 1-dim quantum Hamilton Jacobi equation of the caustic' arcs. Results are in good agreement with those obtained by usual methods.


title: Multi-graph Fusion for Multi-view Spectral Clustering

abstract: A panoply of multi-view clustering algorithms has been developed to deal with prevalent multi-view data. Among them, spectral clustering-based methods have drawn much attention and demonstrated promising results recently. Despite progress, there are still two fundamental questions that stay unanswered to date. First, how to fuse different views into one graph. More often than not, the similarities between samples may be manifested differently by different views. Many existing algorithms either simply take the average of multiple views or just learn a common graph. These simple approaches fail to consider the flexible local manifold structures of all views. Hence, the rich heterogeneous information is not fully exploited. Second, how to learn the explicit cluster structure. Most existing methods don't pay attention to the quality of the graphs and perform graph learning and spectral clustering separately. Those unreliable graphs might lead to suboptimal clustering results. To fill these gaps, in this paper, we propose a novel multi-view spectral clustering model which performs graph fusion and spectral clustering simultaneously. The fusion graph approximates the original graph of each individual view but maintains an explicit cluster structure. Experiments on four widely used data sets confirm the superiority of the proposed method.


title: On a series for the upper incomplete Gamma function

abstract: We define an absolutely convergent series for the upper incomplete Gamma function $\Gamma(s,z)$ for $z\geq 1$ and $s\in \mathbb{C}$. We express this series using certain polynomials which we define using the Stirling numbers of the first kind. We prove that these polynomials have positive coefficients by defining a three-parameter family of integers and certain linear operators on vector spaces of polynomials. We then apply this series to obtain a formula for the Riemann xi function valid at any $s \in \mathbb{C}$.


title: Control of Structured Light Enables Nearly Perfect Noise-filtering

abstract: The performance of laser-based active sensing has been severely limited by two types of noise: electrical noise, stemming from elements; optical noise, laser jamming from an eavesdropper and background from environment. Conventional methods to filter optical noise take advantage of the differences between signal and noise in time, wavelength, and polarization. However, they may be limited when the noise and signal share the same information on these degrees of freedoms (DoFs). In order to overcome this drawback, we experimentally demonstrate a groundbreaking noise-filtering method by controlling orbital angular momentum (OAM) to distinguish signal from noise. We provide a proof-of-principle experiment and discuss the dependence of azimuthal index of OAM and detection aperture on signal-to-noise ratio (SNR). Our results suggest that using OAM against noise is an efficient method, offering a new route to optical sensing immersed in high-level noise.


title: Complexity-Scalable Neural Network Based MIMO Detection With Learnable Weight Scaling

abstract: This paper introduces a framework for systematic complexity scaling of deep neural network(DNN) based MIMO detectors. The model uses a fraction of the DNN inputs by scaling their values through weights that follow monotonically non-increasing functions. This allows for weight scaling across and within the different DNN layers in order to achieve accuracy-vs.-complexity scalability during inference. In order to further improve the performance of our proposal, we introduce a sparsity-inducing regularization constraint in conjunction with trainable weight-scaling functions. In this way, the network learns to balance detection accuracy versus complexity while also increasing robustness to changes in the activation patterns, leading to further improvement in the detection accuracy and BER performance at the same inference complexity. Numerical results show that our approach is 10-foldand 100-fold less complex than classical approaches based on semi-definite relaxation and ML detection, respectively.


title: The equation of state and some key parameters of neutron stars: constraints from GW170817, the nuclear data and the low mass X-ray binary data

abstract: In this work we parameterize the Equation of State of dense neutron star (NS) matter with four pressure parameters of $\{\hat{p}_1, \hat{p}_2, \hat{p}_3, \hat{p}_4\}$ and then set the combined constraints with the data of GW 170817 and the data of 6 Low Mass X-ray Binaries (LMXBs) with thermonuclear burst or alternatively the symmetry energy of the nuclear interaction. We find that the nuclear data effectively narrow down the possible range of $\hat{p}_1$, the gravitational wave data plays the leading role in bounding $\hat{p}_2$, and the LMXB data as well as the lower bound on maximal gravitational mass of non-rotating NSs govern the constraints on $\hat{p}_3$ and $\hat{p}_4$. Using posterior samples of pressure parameters and some universal relations, we further investigate how the current data sets can advance our understanding of tidal deformability ($\Lambda$), moment of inertia ($I$) and binding energy ($BE$) of NSs. For a canonical mass of $1.4M_\odot$, we have $I_{1.4} = {1.43}^{+0.30}_{-0.13} \times 10^{38}~{\rm kg \cdot m^2}$, $\Lambda_{1.4} = 390_{-210}^{+280}$ , $R_{1.4} = 11.8_{-0.7}^{+1.2}~{\rm km}$ and $BE_{1.4} = {0.16}^{+0.01}_{-0.02} M_{\odot}$ if the constraints from the nuclear data and the gravitational wave data have been jointly applied. For the joint analysis of gravitational wave data and the LMXB data, we have $I_{1.4} = {1.28}^{+0.15}_{-0.08} \times 10^{38}~{\rm kg \cdot m^2}$, $\Lambda_{1.4} = 220_{-90}^{+90}$, $R_{1.4} = 11.1_{-0.6}^{+0.7}~{\rm km}$ and $BE_{1.4} = {0.18}^{+0.01}_{-0.01} M_{\odot}$. These results suggest that the current constraints on $\Lambda$ and $R$ still suffer from significant systematic uncertainties, while $I_{1.4}$ and $BE_{1.4}$ are better constrained.


title: Adversarial $\alpha$-divergence Minimization for Bayesian Approximate Inference

abstract: Neural networks are popular state-of-the-art models for many different tasks.They are often trained via back-propagation to find a value of the weights that correctly predicts the observed data. Although back-propagation has shown good performance in many applications, it cannot easily output an estimate of the uncertainty in the predictions made. Estimating the uncertainty in the predictions is a critical aspect with important applications, and one method to obtain this information is following a Bayesian approach to estimate a posterior distribution on the model parameters. This posterior distribution summarizes which parameter values are compatible with the data, but is usually intractable and has to be approximated. Several mechanisms have been considered for solving this problem. We propose here a general method for approximate Bayesian inference that is based on minimizing{\alpha}-divergences and that allows for flexible approximate distributions. The method is evaluated in the context of Bayesian neural networks on extensive experiments. The results show that, in regression problems, it often gives better performance in terms of the test log-likelihoodand sometimes in terms of the squared error. In classification problems, however, it gives competitive results.


title: A Stochastic Proximal Point Algorithm for Saddle-Point Problems

abstract: We consider saddle point problems which objective functions are the average of $n$ strongly convex-concave individual components. Recently, researchers exploit variance reduction methods to solve such problems and achieve linear-convergence guarantees. However, these methods have a slow convergence when the condition number of the problem is very large. In this paper, we propose a stochastic proximal point algorithm, which accelerates the variance reduction method SAGA for saddle point problems. Compared with the catalyst framework, our algorithm reduces a logarithmic term of condition number for the iteration complexity. We adopt our algorithm to policy evaluation and the empirical results show that our method is much more efficient than state-of-the-art methods.


title: Knots with Exactly 10 Sticks

abstract: We prove that the knots $13n_{592}$ and $15n_{41,127}$ both have stick number 10. These are the first non-torus prime knots with more than 9 crossings for which the exact stick number is known.


title: In- and out-states of scalar particles confined between two capacitor plates

abstract: In the present article, using a non-commutative integration method of linear differential equations, we, considering the Klein-Gordon equation with the $L$-constant electric field with large $L$ and using the light cone variables, find new complete sets of its exact solutions. These solutions can be related by integral transformations to previously known solutions that were found in Phys. Rev. D. $\textbf{93}$, 045033(2016). Then, using the general theory developed in Phys. Rev. D. $\textbf{93}$, 045002 (2016), we construct (in terms of the new solutions) the so-called in- and out-states of scalar particles confined between two capacitor plates.


title: Generation of jets and Fujita's jet ampleness conjecture on toric varieties

abstract: Jet ampleness of line bundles generalizes very ampleness by requiring the existence of enough global sections to separate not just points and tangent vectors, but also their higher order analogues called jets. We give sharp bounds guaranteeing that a line bundle on a projective toric variety is $k$-jet ample in terms of its intersection numbers with the invariant curves, in terms of the lattice lengths of the edges of its polytope, in terms of the higher concavity of its piecewise linear function and in terms of its Seshadri constant. For example, the tensor power $k+n-2$ of an ample line bundle on a projective toric variety of dimension $n \geq 2$ always generates all $k$-jets, but might not generate all $(k+1)$-jets. As an application, we prove the $k$-jet generalizations of Fujita's conjectures on toric varieties with arbitrary singularities.


title: Weak-Instrument Robust Tests in Two-Sample Summary-Data Mendelian Randomization

abstract: Mendelian randomization (MR) has been a popular method in genetic epidemiology to estimate the effect of an exposure on an outcome using genetic variants as instrumental variables (IV), with two-sample summary-data MR being the most popular. Unfortunately, instruments in MR studies are often weakly associated with the exposure, which can bias effect estimates and inflate Type I errors. In this work, we propose test statistics that are robust under weak instrument asymptotics by extending the Anderson-Rubin, Kleibergen, and the conditional likelihood ratio test in econometrics to two-sample summary-data MR. We also use the proposed Anderson-Rubin test to develop a point estimator and to detect invalid instruments. We conclude with a simulation and an empirical study and show that the proposed tests control size and have better power than existing methods with weak instruments.


title: Alpaca: Intermittent Execution without Checkpoints

abstract: The emergence of energy harvesting devices creates the potential for batteryless sensing and computing devices. Such devices operate only intermittently, as energy is available, presenting a number of challenges for software developers. Programmers face a complex design space requiring reasoning about energy, memory consistency, and forward progress. This paper introduces Alpaca, a low-overhead programming model for intermittent computing on energy-harvesting devices. Alpaca programs are composed of a sequence of user-defined tasks. The Alpaca runtime preserves execution progress at the granularity of a task. The key insight in Alpaca is the privatization of data shared between tasks. Updates of shared values in a task are privatized and only committed to main memory on successful execution of the task, ensuring that data remain consistent despite power failures. Alpaca provides a familiar programming interface and a highly efficient runtime model. We also present an alternate version of Alpaca, Alpaca-undo, that uses undo-logging and rollback instead of privatization and commit. We implemented a prototype of both versions of Alpaca as an extension to C with an LLVM compiler pass. We evaluated Alpaca, and directly compared to three systems from prior work. Alpacaconsistently improves performance compared to the previous systems, by up to 23.8x, while also improving memory footprint in many cases, by up to 17.6x.


title: W4IPS: A Web-based Interactive Power System Simulation Environment For Power System Security Analysis

abstract: Modern power systems are increasingly evolving Cyber-Physical Systems (CPS) that feature close interaction between Information and Communication Technology (ICT), physical and electrical devices, and human factors. The interactivity and security of CPS are the essential building blocks for the reliability, stability and economic operation of power systems. This paper presents a web-based interactive multi-user power system simulation environment and open source toolset (W4IPS) whose main features are a publish/subscribe structure, a real-time data sharing capability, role-based multi-user visualizations, distributed multi-user interactive controls, an easy to use and deploy web interface, and flexible and extensible support for communication protocols. The paper demonstrates the use of W4IPS features as an ideal platform for contingency response training and cyber security analysis, with an emphasis on interactivity and expandability. In particular, we present the use cases and the results of W4IPS in power system operation education and security analysis.


title: Off-road Autonomous Vehicles Traversability Analysis and Trajectory Planning Based on Deep Inverse Reinforcement Learning

abstract: Terrain traversability analysis is a fundamental issue to achieve the autonomy of a robot at off-road environments. Geometry-based and appearance-based methods have been studied in decades, while behavior-based methods exploiting learning from demonstration (LfD) are new trends. Behavior-based methods learn cost functions that guide trajectory planning in compliance with experts' demonstrations, which can be more scalable to various scenes and driving behaviors. This research proposes a method of off-road traversability analysis and trajectory planning using Deep Maximum Entropy Inverse Reinforcement Learning. To incorporate vehicle's kinematics while solving the problem of exponential increase of state-space complexity, two convolutional neural networks, i.e., RL ConvNet and Svf ConvNet, are developed to encode kinematics into convolution kernels and achieve efficient forward reinforcement learning. We conduct experiments in off-road environments. Scene maps are generated using 3D LiDAR data, and expert demonstrations are either the vehicle's real driving trajectories at the scene or synthesized ones to represent specific behaviors such as crossing negative obstacles. Different cost functions of traversability analysis are learned and tested at various scenes of capability in guiding the trajectory planning of different behaviors. We also demonstrate the performance and computation efficiency of the proposed method.


title: Wave transmission across surface interfaces in lattice structures

abstract: Within the lattice dynamics formulation, we present an exact solution for anti-plane surface waves in a square lattice strip with a surface row of material particles of two types separated by a linear interface. The considered problem is a discrete analog of an elastic half-space with surface stresses modelled through the simplified Gurtin-Murdoch model, where we have an interfacial line separating areas with different surface elastic properties. The main attention is paid to the transmittance and the reflectance of a wave across the interface. The presented results shed a light on the influence on surface waves of surface inhomogeneity in surface elastic properties such as grain and subgrain boundaries.


title: Equivariant decomposition of polynomial vector fields

abstract: To compute the unique formal normal form of families of vector fields with nilpotent linear part, we choose a basis of the Lie algebra consisting of orbits under the linear nilpotent. This creates a new problem: to find explicit formulas for the structure constants in this new basis. These are well known in the 2D case, and recently expressions were found for the 3D case by ad hoc methods. The goal of the present paper is to formulate a systematic approach to this calculation. We propose to do this using a rational method for the inversion of the Clebsch-Gordan coefficients. We illustrate the method on a family of 3D vector fields and compute the unique formal normal form for the Euler family both in the 2D and 3D case.


title: PSGAN: Pose and Expression Robust Spatial-Aware GAN for Customizable Makeup Transfer

abstract: In this paper, we address the makeup transfer task, which aims to transfer the makeup from a reference image to a source image. Existing methods have achieved promising progress in constrained scenarios, but transferring between images with large pose and expression differences is still challenging. Besides, they cannot realize customizable transfer that allows a controllable shade of makeup or specifies the part to transfer, which limits their applications. To address these issues, we propose Pose and expression robust Spatial-aware GAN (PSGAN). It first utilizes Makeup Distill Network to disentangle the makeup of the reference image as two spatial-aware makeup matrices. Then, Attentive Makeup Morphing module is introduced to specify how the makeup of a pixel in the source image is morphed from the reference image. With the makeup matrices and the source image, Makeup Apply Network is used to perform makeup transfer. Our PSGAN not only achieves state-of-the-art results even when large pose and expression differences exist but also is able to perform partial and shade-controllable makeup transfer. We also collected a dataset containing facial images with various poses and expressions for evaluations.