title: Anomalous dissipation of energy and magnetic helicity for the electron-MHD system

abstract: Via convex integration, we construct weak solutions to the non-resistive electron-MHD system which do not conserve energy and magnetic helicity.


title: Robust and resource-efficient microwave near-field entangling $^9$Be$^+$ gate

abstract: Microwave trapped-ion quantum logic gates avoid spontaneous emission as a fundamental source of decoherence. However, microwave two-qubit gates are still slower than laser-induced gates and hence more sensitive to fluctuations and noise of the motional mode frequency. We propose and implement amplitude-shaped gate drives to obtain resilience to such frequency changes without increasing the pulse energy per gate operation. We demonstrate the resilience by noise injection during a two-qubit entangling gate with $^9$Be$^+$ ion qubits. In absence of injected noise, amplitude modulation gives an operation infidelity in the $10^{-3}$ range.


title: Distributed Recursive Filtering for Spatially Interconnected Systems with Randomly Occurred Missing Measurements

abstract: This paper proposed a distributed filter for spatially interconnected systems (SISs), which considers missing measurements in the sensors of sub-systems. An SIS is established by many similar sub-systems that directly interact or communicate with connective neighbors. Despite that the interactions are simple and tractable, the overall SIS can perform rich and complex behaviors. In actual projects, sensors of sub-systems in a sensor network may break down sometimes, which causes parts of the measurements unavailable unexpectedly. In this work, distributed characteristics of SISs are described by Andrea model and the losses of measurements are assumed to occur with known probabilities. Experimental results confirm that, this filtering method can be effectively employed for the state estimation of SISs, when missing measurements occur.


title: Iterates of quantum operations

abstract: Iterates of quantum operations and their convergence are investigated in the context of mean ergodic theory. We discuss in detail the convergence of the iterates and show that the uniform ergodic theorem plays an essential role. Our results will follow from some general theorems concerning completely positive maps, mean ergodic operators, and operator algebras on Hilbert spaces. A few examples of both finite and infinite dimensional Hilbert spaces are presented as well.


title: Gap states and valley-spin filtering in transition metal dichalcogenide monolayers

abstract: The magnetically-induced valley-spin filtering in transition metal dichalcogenide monolayers ($MX_{2}$, where $M$=Mo, W and $X$=S, Se, Te) promises new paradigm in information processing. However, the detailed understanding of this effect is still limited, regarding its underlying transport processes. Herein, it is suggested that the filtering mechanism can be greately elucidated by the concept of metal-induced gap states (MIGS), appearing in the electrode-terminated $MX_{2}$ materials {\it i.e.} the referential filter setup. In particular, the gap states are predicted here to mediate valley- and spin-resolved charge transport near the ideal electrode/$MX_{2}$ interface, and therefore to initiate filtering. It is also argued that the role of MIGS increases when the channel length is diminished, as they begin to govern the overall valley-spin transport in the tunneling regime. In what follows, the presented study yields fundamental scaling trends for the valley-spin selectivity with respect to the intrinsic physics of the filter materials. As a result, it facilitates insight into the analyzed effects and provide design guidelines toward efficient valley-spin filter devices, that base on the discussed materials or other hexagonal monolayers with a broken inversion symmetry.


title: A spanning bandwidth theorem in random graphs

abstract: The bandwidth theorem [Mathematische Annalen, 343(1):175--205, 2009] states that any $n$-vertex graph $G$ with minimum degree $(\frac{k-1}{k}+o(1))n$ contains all $n$-vertex $k$-colourable graphs $H$ with bounded maximum degree and bandwidth $o(n)$. In [arXiv:1612.00661] a random graph analogue of this statement is proved: for $p\gg (\frac{\log n}{n})^{1/\Delta}$ a.a.s. each spanning subgraph $G$ of $G(n,p)$ with minimum degree $(\frac{k-1}{k}+o(1))pn$ contains all $n$-vertex $k$-colourable graphs $H$ with maximum degree $\Delta$, bandwidth $o(n)$, and at least $C p^{-2}$ vertices not contained in any triangle. This restriction on vertices in triangles is necessary, but limiting. In this paper we consider how it can be avoided. A special case of our main result is that, under the same conditions, if additionally all vertex neighbourhoods in $G$ contain many copies of $K_\Delta$ then we can drop the restriction on $H$ that $Cp^{-2}$ vertices should not be in triangles.


title: Multi-Armed Bandits with Correlated Arms

abstract: We consider a multi-armed bandit framework where the rewards obtained by pulling different arms are correlated. We develop a unified approach to leverage these reward correlations and present fundamental generalizations of classic bandit algorithms to the correlated setting. We present a unified proof technique to analyze the proposed algorithms. Rigorous analysis of C-UCB (the correlated bandit version of Upper-confidence-bound) reveals that the algorithm ends up pulling certain sub-optimal arms, termed as non-competitive, only O(1) times, as opposed to the O(log T) pulls required by classic bandit algorithms such as UCB, TS etc. We present regret-lower bound and show that when arms are correlated through a latent random source, our algorithms obtain order-optimal regret. We validate the proposed algorithms via experiments on the MovieLens and Goodreads datasets, and show significant improvement over classical bandit algorithms.


title: $\frac{1}{2}$Calabi-Yau 4-folds and four-dimensional F-theory on Calabi-Yau 4-folds with U(1) factors

abstract: In this study, four-dimensional $N=1$ F-theory models with multiple U(1) gauge group factors are constructed. A class of rational elliptic 4-folds, which we call as "$\frac{1}{2}$Calabi-Yau 4-folds," is introduced, and we construct the elliptically fibered 4-folds by utilizing them. This yields a novel approach for building families of elliptically fibered Calabi-Yau 4-folds with positive Mordell-Weil ranks. The introduced $\frac{1}{2}$Calabi-Yau 4-folds possess the characteristic property wherein the sum of the ranks of the singularity type and the Mordell-Weil group is always equal to six. This interesting property enables us to construct the elliptically fibered Calabi-Yau 4-folds of various positive Mordell-Weil ranks. From one to six U(1) factors form in four-dimensional F-theory on the resulting Calabi-Yau 4-folds. We also propose the geometric condition on the base 3-fold of the built Calabi-Yau 4-folds that allows four-dimensional F-theory models that have heterotic duals to be distinguished from those that do not.


title: Analyzing the impact of two major factors on medical expenses paid by health insurance organization in Iran

abstract: In healthcare scope, the profound role of insurance companies is undeniable. Health insurance establishments main responsibility is to support public health financially and promote the quality of health services. Governments subsidies to healthcare insurance, insured payments and insurance companies costs must be specified in such a way that both people and insurers mutually benefit. In this research, we propose a model for determining healthcare costs paid by health insurance organization with regard to two major factors, the geographical regions where the patients live and the seasons when they receive service, using two-way ANOVA method. Since both effects are found to be significant, allocating different insurance costs to the people residing in different regions, and also changing the patterns of insurance extension in different seasons with regard to the results derived from the research, can detract healthcare costs and give more satisfaction to the lower income insured patients.


title: Classical linear logic, cobordisms and categorial grammars

abstract: We propose a categorial grammar based on classical multiplicative linear logic. This can be seen as an extension of abstract categorial grammars (ACG) and is at least as expressive. However, constituents of {\it linear logic grammars (LLG)} are not abstract ${\lambda}$-terms, but simply tuples of words with labeled endpoints and supplied with specific {\it plugging instructions}: the sets of endpoints are subdivided into the {\it incoming} and the {\it outgoing} parts. We call such objects {\it word cobordisms}. A key observation is that word cobordisms can be organized in a category, very similar to the familiar category of topological cobordisms. This category is symmetric monoidal closed and compact closed and thus is a model of linear $\lambda$-calculus and classical, as well as intuitionistic linear logic. This allows us using linear logic as a typing system for word cobordisms. At least, this gives a concrete and intuitive representation of ACG. We think, however, that the category of word cobordisms, which has a rich structure and is independent of any grammar, might be interesting on its own right.


title: Estimating length of hospital stay, with regard to associated factors; A model to enhance healthcare service efficiency and reduce healthcare resource consumption

abstract: To assess the efficiency and the resource consumption level in healthcare scope, many economic and social factors have to be considered. An index which has recently been studied by the researchers, is length of hospital stay (LOS) defined as how long each patient is hospitalized. Detecting and controlling the factors affecting this index can help to reduce healthcare costs and also to improve healthcare service efficiency. The effects of three major factors, say, the season during which the patient is hospitalized, the patients age and his/her gender on LOS pertaining to 82718 patients receiving healthcare service from the hospitals under contract to insurance organization in Tehran, have been analyzed, using unbalanced factorial design. The test results imply that the whole model is significant (P-value=0<0.01), the separate effects of all three factors on LOS are significant (P-value=0<0.01) and the only significant interaction at alpha=0.01 is the one between gender and age group (P-value=0<0.01). moreover, no two age groups have the significant equal means and age groups 1-10 and 26-40 years possess the minimum and maximum means of LOS, respectively. LOS means in winter and autumn are equal, being the maximum. Due to the significance of these effects, allocating specified budget and resources with regard to these factors will help hospitals and healthcare centers enhance their efficiency and remain within their budget.


title: Forecasts on Primordial non-Gaussianity from 21 cm Intensity Mapping experiments

abstract: We forecast ability of dedicated 21 cm intensity mapping experiments to constraint primordial non-Gaussianity using power spectrum and bispectrum. We model the signal including the non-linear biasing expansion using a generalized halo model approach. We consider the importance of foreground filtering scale and of the foreground wedge. We find that the current generation intensity mapping experiments like CHIME do not posses sufficient sensitivity to be competitive with the existing limits. On the other hand, upcoming experiments like HIRAX can improve the current constraints and the proposed PUMA experiment can substantially improve them, reaching sensitivities below $\sigma (f_{\rm NL})<5$ for equilateral and orthogonal configurations and $\sigma( f_{\rm NL}) < 1$ for the local shape if good foreground control is achieved.


title: Exact Spherically Symmetric Solutions in Modified Teleparallel gravity

abstract: Finding spherically symmetric exact solutions in modified gravity is usually a difficult task. In this paper we use the Noether's symmetry approach for a modified Teleparallel theory of gravity labelled as $f(T,B)$ gravity where $T$ is the scalar torsion and $B$ the boundary term. Using the Noether's theorem, we were able to find exact spherically symmetric solutions for different forms of the function $f(T,B)$ coming from the Noether's symmetries.


title: SeismoGen: Seismic Waveform Synthesis Using Generative Adversarial Networks

abstract: Detecting earthquake events from seismic time series has proved itself a challenging task. Manual detection can be expensive and tedious due to the intensive labor and large scale data set. In recent years, automatic detection methods based on machine learning have been developed to improve accuracy and efficiency. However, the accuracy of those methods relies on a sufficient amount of high-quality training data, which itself can be expensive to obtain due to the requirement of domain knowledge and subject matter expertise. This paper is to resolve this dilemma by answering two questions: (1) provided with a limited number of reliable labels, can we use them to generate more synthetic labels; (2) Can we use those synthetic labels to improve the detectability? Among all the existing generative models, the generative adversarial network (GAN) shows its supreme capability in generating high-quality synthetic samples in multiple domains. We designed our model based on GAN. In particular, we studied several different network structures. By comparing the generated results, our GAN-based generative model yields the highest quality. We further combine the dataset with synthetic samples generated by our generative model and show that the detectability of our earthquake classification model is significantly improved than the one trained without augmenting the training set.


title: Interpolations between Jordanian twists, the Poincar\'e-Weyl algebra and dispersion relations

abstract: We consider a two parameter family of Drinfeld twists generated from a simple Jordanian twist further twisted by 1-cochains. Twists from this family interpolate between two simple Jordanian twists. Relations between them are constructed and discussed. It is proved that there exists a one parameter family of twists identical to a simple Jordanian twist. The twisted coalgebra, star product and coordinate realizations of the $\kappa$-Minkowski noncommutative space time are presented. Real forms of Jordanian deformations are also discussed. The method of similarity transformations is applied to the Poincar\'e-Weyl Hopf algebra and two types of one parameter families of dispersion relations are constructed. Mathematically equivalent deformations, that are related to nonlinear changes of symmetry generators and linked with similarity maps, may lead to differences in the description of physical phenomena.


title: The fastest series for $1/\pi$ due to Ramanujan. (A complete proof using Maple)

abstract: We provide a complete proof of an impressive series for $1/\pi$ due to Ramanujan. The computations are made using MAPLE (a symbolic software).


title: Centralizer-like Subgroups Associated with the $n$-Engel Words Inside of Direct Product Groups

abstract: This research provides a characterization of centralizer-like subgroups associated with the $n$-Engel word in a direct product of groups. Specifically, properties of the set of right $n$-Engel elements inside of direct products are explored. A proof is given to demonstrate the equivalence between the set of right $n$-Engel elements of a direct product of two groups and a direct product of the set of right $n$-Engel elements of each direct factor. This work was inspired by the study of centralizer-like subgroups in paper written by Luise-Charlotte Kappe and Patrick Ratchford. We present additional questions explored during this project, and we propose future research possibilities.


title: Improved Large-margin Softmax Loss for Speaker Diarisation

abstract: Speaker diarisation systems nowadays use embeddings generated from speech segments in a bottleneck layer, which are needed to be discriminative for unseen speakers. It is well-known that large-margin training can improve the generalisation ability to unseen data, and its use in such open-set problems has been widespread. Therefore, this paper introduces a general approach to the large-margin softmax loss without any approximations to improve the quality of speaker embeddings for diarisation. Furthermore, a novel and simple way to stabilise training, when large-margin softmax is used, is proposed. Finally, to combat the effect of overlapping speech, different training margins are used to reduce the negative effect overlapping speech has on creating discriminative embeddings. Experiments on the AMI meeting corpus show that the use of large-margin softmax significantly improves the speaker error rate (SER). By using all hyper parameters of the loss in a unified way, further improvements were achieved which reached a relative SER reduction of 24.6% over the baseline. However, by training overlapping and single speaker speech samples with different margins, the best result was achieved, giving overall a 29.5% SER reduction relative to the baseline.


title: A new method for phase II monitoring of multivariate simple linear profiles

abstract: A scope in quality control, which has recently received a great deal of attention is profile that characterizes the quality of a product or process by a relationship between two or more variables. In this paper, we propose an EWMA chart for phase II monitoring of multivariate simple linear profile in which several correlated response variables have linear relationships with one explanatory variable. The statistical performance of this scheme is evaluated in terms of out-of-control average run length. Although it seldom signals for small shifts, it is superior to previous works in detecting moderate and big shifts.


title: IrisNet: Deep Learning for Automatic and Real-time Tongue Contour Tracking in Ultrasound Video Data using Peripheral Vision

abstract: The progress of deep convolutional neural networks has been successfully exploited in various real-time computer vision tasks such as image classification and segmentation. Owing to the development of computational units, availability of digital datasets, and improved performance of deep learning models, fully automatic and accurate tracking of tongue contours in real-time ultrasound data became practical only in recent years. Recent studies have shown that the performance of deep learning techniques is significant in the tracking of ultrasound tongue contours in real-time applications such as pronunciation training using multimodal ultrasound-enhanced approaches. Due to the high correlation between ultrasound tongue datasets, it is feasible to have a general model that accomplishes automatic tongue tracking for almost all datasets. In this paper, we proposed a deep learning model comprises of a convolutional module mimicking the peripheral vision ability of the human eye to handle real-time, accurate, and fully automatic tongue contour tracking tasks, applicable for almost all primary ultrasound tongue datasets. Qualitative and quantitative assessment of IrisNet on different ultrasound tongue datasets and PASCAL VOC2012 revealed its outstanding generalization achievement in compare with similar techniques.


title: MATLAB Implementation of Element-based Solvers

abstract: Rahman and Valdman (2013) introduced a vectorized way to assemble finite element stiffness and mass matrices in MATLAB. Local element matrices are computed all at once by array operations and stored in multi-dimentional arrays (matrices). We build some iterative solvers on available multi-dimentional structures completely avoiding the use of a sparse matrix.


title: A Multimodal CNN-based Tool to Censure Inappropriate Video Scenes

abstract: Due to the extensive use of video-sharing platforms and services for their storage, the amount of such media on the internet has become massive. This volume of data makes it difficult to control the kind of content that may be present in such video files. One of the main concerns regarding the video content is if it has an inappropriate subject matter, such as nudity, violence, or other potentially disturbing content. More than telling if a video is either appropriate or inappropriate, it is also important to identify which parts of it contain such content, for preserving parts that would be discarded in a simple broad analysis. In this work, we present a multimodal~(using audio and image features) architecture based on Convolutional Neural Networks (CNNs) for detecting inappropriate scenes in video files. In the task of classifying video files, our model achieved 98.95\% and 98.94\% of F1-score for the appropriate and inappropriate classes, respectively. We also present a censoring tool that automatically censors inappropriate segments of a video file.


title: Graph Neural Net using Analytical Graph Filters and Topology Optimization for Image Denoising

abstract: While convolutional neural nets (CNNs) have achieved remarkable performance for a wide range of inverse imaging applications, the filter coefficients are computed in a purely data-driven manner and are not explainable. Inspired by an analytically derived CNN by Hadji et al., in this paper we construct a new layered graph neural net (GNN) using GraphBio as our graph filter. Unlike convolutional filters in previous GNNs, our employed GraphBio is analytically defined and requires no training, and we optimize the end-to-end system only via learning of appropriate graph topology at each layer. In signal filtering terms, it means that our linear graph filter at each layer is always intrepretable as low-pass with known biorthogonal conditions, while the graph spectrum itself is optimized via data training. As an example application, we show that our analytical GNN achieves image denoising performance comparable to a state-of-the-art CNN-based scheme when the training and testing data share the same statistics, and when they differ, our analytical GNN outperforms it by more than 1dB in PSNR.


title: On Posterior Collapse and Encoder Feature Dispersion in Sequence VAEs

abstract: Variational autoencoders (VAEs) hold great potential for modelling text, as they could in theory separate high-level semantic and syntactic properties from local regularities of natural language. Practically, however, VAEs with autoregressive decoders often suffer from posterior collapse, a phenomenon where the model learns to ignore the latent variables, causing the sequence VAE to degenerate into a language model. In this paper, we argue that posterior collapse is in part caused by the lack of dispersion in encoder features. We provide empirical evidence to verify this hypothesis, and propose a straightforward fix using pooling. This simple technique effectively prevents posterior collapse, allowing model to achieve significantly better data log-likelihood than standard sequence VAEs. Comparing to existing work, our proposed method is able to achieve comparable or superior performances while being more computationally efficient.


title: Multimodal Intelligence: Representation Learning, Information Fusion, and Applications

abstract: Deep learning methods have revolutionized speech recognition, image recognition, and natural language processing since 2010. Each of these tasks involves a single modality in their input signals. However, many applications in the artificial intelligence field involve multiple modalities. Therefore, it is of broad interest to study the more difficult and complex problem of modeling and learning across multiple modalities. In this paper, we provide a technical review of available models and learning methods for multimodal intelligence. The main focus of this review is the combination of vision and natural language modalities, which has become an important topic in both the computer vision and natural language processing research communities. This review provides a comprehensive analysis of recent works on multimodal deep learning from three perspectives: learning multimodal representations, fusing multimodal signals at various levels, and multimodal applications. Regarding multimodal representation learning, we review the key concepts of embedding, which unify multimodal signals into a single vector space and thereby enable cross-modality signal processing. We also review the properties of many types of embeddings that are constructed and learned for general downstream tasks. Regarding multimodal fusion, this review focuses on special architectures for the integration of representations of unimodal signals for a particular task. Regarding applications, selected areas of a broad interest in the current literature are covered, including image-to-text caption generation, text-to-image generation, and visual question answering. We believe that this review will facilitate future studies in the emerging field of multimodal intelligence for related communities.


title: QED calculations of the nuclear recoil effect on the bound-electron $g$ factor

abstract: Fully relativistic approach is applied to evaluation of the nuclear recoil effect on the bound-electron $g$ factor in hydrogenlike ions to first order in the electron-to-nucleus mass ratio $m/M$ and to all orders in $\alpha Z$. The calculations are performed in the range $1 \leqslant Z \leqslant 20$ for the $g$ factors of $1s$, $2s$, $2p_{1/2}$, and $2p_{3/2}$ states. The $\alpha Z$-dependence of the nontrivial QED recoil contribution as a function of $Z$ is studied.


title: What does the giant thermal Hall effect observed in the high temperature superconductors imply?

abstract: A giant negative thermal Hall signal is discovered recently in the pseudogap phase of the high temperature superconductors\cite{Taillefer}. The Wiedemann-Franz law relating the charge and thermal transport is found to be strongly violated as the thermal Hall signal increases monotonically with decreasing doping in the pseudogap phase when the Hall response of the system is seen to be strongly suppressed. In particular, the thermal Hall signal is the strongest in the parent compounds, which are antiferromagnetic insulators. People believe that such an observation may challenge our understanding of the parent compounds as a spin-$\frac{1}{2}$ Heisenberg antiferromagnet on the square lattice, since it is forbidden by a well known no-go "theorem" for quantum magnets with an edge-sharing lattice. Here we show that the observed thermal Hall signal can be naturally understood as the orbital magnetic response of the quantum Heisenberg model on square lattice. We show that the thermal Hall signal is in fact a measure of the spin chirality fluctuation in the system. The universal observation of the giant negative thermal Hall signal in and only in the pseudogap phase implies that the antiferromagnetic correlation between local spins is at the root of the pseudogap phenomena. It also implies that the pseudogap phenomena in the cuprates is always accompanied by strong spin chirality fluctuation, which is suppressed only when the local spin fluctuation at low energy is totally replaced by itinerant quasiparticle behavior at sufficiently large doping.


title: Quadrupole Topological Photonic Crystals

abstract: Quadrupole topological phases, exhibiting protected boundary states that are themselves topological insulators of lower dimensions, have recently been of great interest. Extensions of these ideas from current tight binding models to continuum theories for realistic materials require the identification of quantized invariants describing the bulk quadrupole order. Here we identify the analog of quadrupole order in Maxwell's equations for a photonic crystal (PhC) and identify quadrupole topological photonic crystals formed through a band inversion process. Unlike prior studies relying on threaded flux, our quadrupole moment is quantized purely by crystalline symmetries, which we confirm using three independent methods: analysis of symmetry eigenvalues, numerical calculations of the nested Wannier bands, and the expectation value of the quadrupole operator. Furthermore, through the bulk-edge correspondence of Wannier bands, we reveal the boundary manifestations of nontrivial quadrupole phases as quantized polarizations at edges and bound states at corners. Finally, we relate the nontrivial corner states to the emergent phenomena of quantized fractional corner charges and a filling anomaly as first predicted in electronic systems. Our work paves the way to further explore higher-order topological phases in nanophotonic systems and our method of inducing quadrupole phase transitions is also applicable to other wave systems, such as electrons, phonons and polaritons.


title: A remark on normalizations in a local principle of large deviations

abstract: This work is a continuation of [7]. We consider a continuous-time birth-and-death process in which the transition rates have an asymptotical power-law dependence upon the position of the process. We establish rough exponential asymptotic for the probability that a sample path of a normalized process lies in a neighborhood of a given nonnegative continuous function. We propose a variety of normalization schemes for which the large deviation functional preserves its natural integral form.


title: Optimal robust estimators for families of distributions on the integers

abstract: Let F_{{\theta}} be a family of distributions with support on the set of nonnegative integers Z_0. In this paper we derive the M-estimators with smallest gross error sensitivity (GES). We start by defining the uniform median of a distribution F with support on Z_0 (umed(F)) as the median of x+u, where x and u are independent variables with distributions F and uniform in [-0.5,0.5] respectively. Under some general conditions we prove that the estimator with smallest GES satisfies umed(F_{n})=umed(F_{{\theta}}), where F_{n} is the empirical distribution. The asymptotic distribution of these estimators is found. This distribution is normal except when there is a positive integer k so that F_{{\theta}}(k)=0.5. In this last case, the asymptotic distribution behaves as normal at each side of 0, but with different variances. A simulation Monte Carlo study compares, for the Poisson distribution, the efficiency and robustness for finite sample sizes of this estimator with those of other robust estimators.


title: Hexagon Invasion Fronts Outside the Homoclinic Snaking Region in the Planar Swift-Hohenberg Equation

abstract: Stationary fronts connecting the trivial state and a cellular (distorted) hexagonal pattern in the Swift-Hohenberg equation with a quadratic-cubic nonlinearity are known to undergo a process of infinitely many folds as a parameter is varied, known as homoclinic snaking, where new hexagon cells are added to the core, leading to a region of infinitely-many, co-existing localized states. Outside the homoclinic snaking region, the hexagon fronts can invade the trivial state in a bursting fashion. In this paper, we use a far-field core decomposition to set up a numerical path-following routine to trace out the bifurcation diagrams of hexagon fronts for the two main orientations of cellular hexagon pattern with respect to the interface in the bistable region. We find for one orientation that the hexagon fronts can destabilize as the distorted hexagons are stretched in the transverse direction leading to defects occurring in the deposited cellular pattern. We then plot diagrams showing when the selected fronts for the two main orientations, aligned perpendicular to each other, are compatible leading to a hexagon wavenumber selection prediction for hexagon patches on the plane. Finally, we verify the compatibility criterion for hexagon patches in the Swift-Hohenberg equation with a quadratic-cubic nonlinearity and a large non-variational perturbation. The numerical algorithms presented in this paper can be adapted to general reaction-diffusion systems.


title: The Lidov-Kozai Oscillation and Hugo von Zeipel

abstract: The so-called Lidov-Kozai oscillation is very well known and applied to various problems in solar system dynamics. This mechanism makes the orbital inclination and eccentricity of the perturbed body in the circular restricted three-body system oscillate with a large amplitude under certain conditions. It is widely accepted that the theoretical framework of this phenomenon was established independently in the early 1960s by a Soviet Union dynamicist (Michail L'vovich Lidov) and by a Japanese celestial mechanist (Yoshihide Kozai). A large variety of studies has stemmed from the original works by Lidov and Kozai, now having the prefix of "Lidov-Kozai" or "Kozai- Lidov." However, from a survey of past literature published in late nineteenth to early twentieth century, we have confirmed that there already existed a pioneering work using a similar analysis of this subject established in that period. This was accomplished by a Swedish astronomer, Edvard Hugo von Zeipel. In this monograph, we first outline the basic framework of the circular restricted three-body problem including typical examples where the Lidov-Kozai oscillation occurs. Then, we introduce what was discussed and learned along this line of studies from the early to mid-twentieth century by summarizing the major works of Lidov, Kozai, and relevant authors. Finally, we make a summary of von Zeipel's work, and show that his achievements in the early twentieth century already comprehended most of the fundamental and necessary formulations that the Lidov-Kozai oscillation requires. By comparing the works of Lidov, Kozai, and von Zeipel, we assert that the prefix "von Zeipel-Lidov-Kozai" should be used for designating this theoretical framework, and not just Lidov-Kozai or Kozai-Lidov.


title: Inference After Selecting Plausibly Valid Instruments with Application to Mendelian Randomization

abstract: Mendelian randomization (MR) is a popular method in genetic epidemiology to estimate the effect of an exposure on an outcome by using genetic instruments. These instruments are often selected from a combination of prior knowledge from genome wide association studies (GWAS) and data-driven instrument selection procedures or tests. Unfortunately, when testing for the exposure effect, the instrument selection process done a priori is not accounted for. This paper studies and highlights the bias resulting from not accounting for the instrument selection process by focusing on a recent data-driven instrument selection procedure, sisVIVE, as an example. We introduce a conditional inference approach that conditions on the instrument selection done a priori and leverage recent advances in selective inference to derive conditional null distributions of popular test statistics for the exposure effect in MR. The null distributions can be characterized with individual-level or summary-level data in MR. We show that our conditional confidence intervals derived from conditional null distributions attain the desired nominal level while typical confidence intervals computed in MR do not. We conclude by reanalyzing the effect of BMI on diastolic blood pressure using summary-level data from the UKBiobank that accounts for instrument selection.


title: Dipolar-drift and collective instabilities of skyrmions in crossed nonuniform electric and magnetic fields in a chiral magnetic insulator

abstract: Skyrmions dynamics in the approximation of point-particle skyrmions is considered in the multiferroic insulators, where the spiral magnetic structure is accompanied by finite electric dipole moment. The skyrmion motion is studied in the gradients of perpendicular magnetic and electric fields. The nonuniform magnetic field with a fixed gradient magnitude leads to the spiral motion, where skyrmion circulates in the plane perpendicular to the direction of magnetic field. The frequency of circulation is fixed by the derivative of the external magnetic field and the magnitude of the dipole moment. Application of additional electric field which perpendicular to the magnetic field, but their gradients have same direction leads to the drift motion of skyrmions resulting in the magneto-dipolar Hall effect. Hydrodynamics of the gas of interacting skyrmions in crossed nonuniform electric and magnetic fields shows the new type of hydrodynamical instability caused by the drift motion. Three regimes of instability are described.


title: Multiple minimum energy paths and scenarios of unwinding transitions in chiral nematic liquid crystals

abstract: We apply the minimum energy paths (MEPs) approach to study the helix unwinding transition in chiral nematic liquid crystals. A mechanism of the transition is determined by a MEP passing through a first order saddle point on the free energy surface. The energy difference between the saddle point and the initial state gives the energy barrier of the transition. Two starting approximations for the paths are used to find the MEPs representing different transition scenarios: (a) the director slippage approximation with in-plane helical structures; and (b) the anchoring breaking approximation that involves the structures with profound out-of-plane director deviations. It is shown that, at sufficiently low voltages, the unwinding transition is solely governed by the director slippage mechanism with the planar saddle point structures. When the applied voltage exceeds its critical value below the threshold of the Freedericksz transition, the additional scenario through the anchoring breaking transitions is found to come into play. For these transitions, the saddle point structure is characterized by out-of-plane deformations localized near the bounding surface. The energy barriers for different paths of transitions are computed as a function of the voltage and the anchoring energy strengths.


title: Model-Free Learning of Optimal Ergodic Policies in Wireless Systems

abstract: Learning optimal resource allocation policies in wireless systems can be effectively achieved by formulating finite dimensional constrained programs which depend on system configuration, as well as the adopted learning parameterization. The interest here is in cases where system models are unavailable, prompting methods that probe the wireless system with candidate policies, and then use observed performance to determine better policies. This generic procedure is difficult because of the need to cull accurate gradient estimates out of these limited system queries. This paper constructs and exploits smoothed surrogates of constrained ergodic resource allocation problems, the gradients of the former being representable exactly as averages of finite differences that can be obtained through limited system probing. Leveraging this unique property, we develop a new model-free primal-dual algorithm for learning optimal ergodic resource allocations, while we rigorously analyze the relationships between original policy search problems and their surrogates, in both primal and dual domains. First, we show that both primal and dual domain surrogates are uniformly consistent approximations of their corresponding original finite dimensional counterparts. Upon further assuming the use of near-universal policy parameterizations, we also develop explicit bounds on the gap between optimal values of initial, infinite dimensional resource allocation problems, and dual values of their parameterized smoothed surrogates. In fact, we show that this duality gap decreases at a linear rate relative to smoothing and universality parameters. Thus, it can be made arbitrarily small at will, also justifying our proposed primal-dual algorithmic recipe. Numerical simulations confirm the effectiveness of our approach.

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


title: On the Equivalence of SDP Feasibility and a Convex Hull Relaxation for System of Quadratic Equations

abstract: We show {\it semidefinite programming} (SDP) feasibility problem is equivalent to solving a {\it convex hull relaxation} (CHR) for a finite system of quadratic equations. On the one hand, this offers a simple description of SDP. On the other hand, this equivalence makes it possible to describe a version of the {\it Triangle Algorithm} for SDP feasibility based on solving CHR. Specifically, the Triangle Algorithm either computes an approximation to the least-norm feasible solution of SDP, or using its {\it distance duality}, provides a separation when no solution within a prescribed norm exists. The worst-case complexity of each iteration is computing the largest eigenvalue of a symmetric matrix arising in that iteration. Alternate complexity bounds on the total number of iterations can be derived. The Triangle Algorithm thus provides an alternative to the existing interior-point algorithms for SDP feasibility and SDP optimization. In particular, based on a preliminary computational result, we can efficiently solve SDP relaxation of {\it binary quadratic} feasibility via the Triangle Algorithm. This finds application in solving SDP relaxation of MAX-CUT. We also show in the case of testing the feasibility of a system of convex quadratic inequalities, the problem is reducible to a corresponding CHR, where the worst-case complexity of each iteration via the Triangle Algorithm is solving a {\it trust region subproblem}. Gaining from these results, we discuss potential extension of CHR and the Triangle Algorithm to solving general system of polynomial equations.


title: Implementing geometric complexity theory: On the separation of orbit closures via symmetries

abstract: Understanding the difference between group orbits and their closures is a key difficulty in geometric complexity theory (GCT): While the GCT program is set up to separate certain orbit closures, many beautiful mathematical properties are only known for the group orbits, in particular close relations with symmetry groups and invariant spaces, while the orbit closures seem much more difficult to understand. However, in order to prove lower bounds in algebraic complexity theory, considering group orbits is not enough. In this paper we tighten the relationship between the orbit of the power sum polynomial and its closure, so that we can separate this orbit closure from the orbit closure of the product of variables by just considering the symmetry groups of both polynomials and their representation theoretic decomposition coefficients. In a natural way our construction yields a multiplicity obstruction that is neither an occurrence obstruction, nor a so-called vanishing ideal occurrence obstruction. All multiplicity obstructions so far have been of one of these two types. Our paper is the first implementation of the ambitious approach that was originally suggested in the first papers on geometric complexity theory by Mulmuley and Sohoni (SIAM J Comput 2001, 2008): Before our paper, all existence proofs of obstructions only took into account the symmetry group of one of the two polynomials (or tensors) that were to be separated. In our paper the multiplicity obstruction is obtained by comparing the representation theoretic decomposition coefficients of both symmetry groups. Our proof uses a semi-explicit description of the coordinate ring of the orbit closure of the power sum polynomial in terms of Young tableaux, which enables its comparison to the coordinate ring of the orbit.


title: Using Deep Neural Networks for Estimating Loop Unrolling Factor

abstract: Optimizing programs requires deep expertise. On one hand, it is a tedious task, because it requires a lot of tests to find out the best combination of optimizations to apply with their best factors. On the other hand, this task is critical, because it may degrade the performance of programs instead of improving it. The automatization of this task can deal with this problem and permit to obtain good results. Optimizing loops that take the most significant part of the program execution time plays a crucial role to achieve best performance. In this paper, we address Loop unrolling optimization, by proposing a deep Neural Network model to predict the optimal unrolling factor for programs written for TIRAMISU. TIRAMISU is a polyhedral framework designed to generate high performance code for multiple platforms including multicores, GPUs, and distributed machines. TIRAMISU introduces a scheduling language with novel commands to explicitly manage the complexities that arise when targeting these systems.


title: Stochastic DCA for minimizing a large sum of DC functions with application to Multi-class Logistic Regression

abstract: We consider the large sum of DC (Difference of Convex) functions minimization problem which appear in several different areas, especially in stochastic optimization and machine learning. Two DCA (DC Algorithm) based algorithms are proposed: stochastic DCA and inexact stochastic DCA. We prove that the convergence of both algorithms to a critical point is guaranteed with probability one. Furthermore, we develop our stochastic DCA for solving an important problem in multi-task learning, namely group variables selection in multi class logistic regression. The corresponding stochastic DCA is very inexpensive, all computations are explicit. Numerical experiments on several benchmark datasets and synthetic datasets illustrate the efficiency of our algorithms and their superiority over existing methods, with respect to classification accuracy, sparsity of solution as well as running time.


title: Anomalous quartic $WW\gamma\gamma$ couplings in $ep$ collisions at the LHeC and the FCC-he

abstract: We conducted a study on measuring $W^+W^-$ production and on the sensitivity limits at $95\%$ Confidence Level on thirteen anomalous couplings obtained by dimension-8 operators which are related to the anomalous quartic $WW\gamma\gamma$ couplings. We consider the main $e^-p \to e^-\gamma^*\gamma^*p \to e^-W^+W^-p$ reaction with the sub-process $\gamma^*\gamma^* \to W^+W^-$ at the Large Hadron electron Collider (LHeC) and the Future Circular Collider-hadron electron (FCC-he). For the LHeC, energies of the $e^-$ beams are taken to be $E_e =60$ and 140 GeV and the energy of the $p$ beams is taken to be $E_p = 7$ TeV. For the FCC-he, energies of the $e^-$ beams are taken to be $E_e =60$ and 140 GeV and the energy of the $p$ beams is taken to be $E_p = 50$ TeV, respectively. It is interesting to notice that the LHeC and the FCC-he will lead to model-independent limits on the anomalous quartic $WW\gamma\gamma$ couplings which are one order of magnitude stringent than the CMS Collaboration limits, in addition to being competitive with other limits reported in the literature.


title: Real Signal Equalization for OQAM

abstract: This correspondence proposes the use of a real-only equalizer (ROE), which acts on real signals derived from the received offset quadrature amplitude modulation (OQAM) symbols. For the same fading channel, we prove that both ROE and the widely linear equalizer (WLE) yield equivalent outputs. Hence, these exhibit the same performance. Our complexity analysis finds that depending on the frame length, ROE can be computationally less complex, and save significant signal processing time over WLE. In the adaptive normalized least mean square implementation, ROE performs better with lower complexity than its counterpart, for a given number of pilot bits.


title: Temporal imaging for ultra-narrowband few-photon states of light

abstract: Plenty of quantum information protocols are enabled by manipulation and detection of photonic spectro-temporal degrees of freedom via light-matter interfaces. While present implementations are well suited for high-bandwidth photon sources such as quantum dots, they lack the high resolution required for intrinsically narrow-band light-atom interactions. Here, we demonstrate far-field temporal imaging based on ac-Stark spatial spin-wave phase manipulation in a multimode gradient echo memory. We achieve spectral resolution of 20 kHz with MHz-level bandwidth and ultra-low noise equivalent to 0.023 photons, enabling operation in the single-quantum regime.


title: The Temporal decay rate of solutions to 2D dissipative quasi-geostrophic flows

abstract: In this paper, by using Fourier splitting method and the expanded properties of decay character $r^*$, we establish the algebraic decay rate of higher order derivative of solutions to 2D dissipative quasi-geostrophic flows.


title: Multilayer Perceptron and Geometric Albedo Spectra for Quick Parameter Estimations of Exoplanets

abstract: Future space telescopes now in the concept and design stage aim to observe reflected light spectra of extrasolar planets. Assessing whether given notional mission and instrument design parameters will provide data suitable for constraining quantities of interest typically requires time consuming retrieval studies in which tens to hundreds of thousands of models are compared to data with a given assumed signal to noise ratio, thereby limiting the rapidity of design iterations. Here we present a novel machine learning approach employing five Multilayer Perceptron's (MLP) trained on model albedo spectra of extrasolar giant planets to estimate a planet's atmospheric metallicity, gravity, effective temperature, and cloud properties given simulated observed spectra. The stand-alone C++ code we have developed can train new MLP's on new training sets, within minutes to hours, depending upon the dimensions of input spectra and desired output. After the MLP is trained, it can classify new input spectra within a second, potentially helping speed observation and mission design planning. Four of the MLP's were tuned to work with various levels of spectral noise. The fifth MLP was developed for cases where the user is uncertain about the noise level. The MLP's were trained using a grid of model spectra that varied in metallicity, gravity, temperature, and cloud properties. We tested the MLP on noisy models and observed spectra of both Jupiter and Saturn. The root mean squared error when applied to noisy models were on the order of the model grid intervals. The results show that a trained MLP is a robust means for reliable in-situ estimations, providing an elegant artificial intelligence that is simple to customize and quick to use.


title: Anderson localization and extreme values in chaotic climate dynamics

abstract: This work is a generic advance in the study of delocalized (ergodic) to localized (non-ergodic) wave propagation phenomena in the presence of disorder. There is an urgent need to better understand the physics of extreme value process in the context of contemporary climate change. For earth system climate analysis General Circulation Model simulation sizes are rather small, 10 to 50 ensemble members due to computational burden while large ensembles are intrinsic to the study of Anderson localization. We merge universal transport approaches of Random Matrix Theory (RMT), described by the characteristic polynomial of random matrices, with the geometrical universal extremal types max stable limit law. A generic ensemble based random Hamiltonian approach allows a physical proof of state transition properties for extreme value processes. In this work Anderson localization is examined for the extreme tails of the related probability densities. We show that the Generalized Extreme Value (GEV) shape parameter $\xi$ is a diagnostic tool that accurately distinguishes localized from delocalized systems and this property should hold for all wave based transport phenomena.


title: Analysis of $^{83m}$Kr Prompt Scintillation Signals in the PIXeY Detector

abstract: Prompt scintillation signals from $^{83m}$Kr calibration sources are a useful metric to calibrate the spatial variation of light collection efficiency and electric field magnitude of a two phase liquid-gas xenon time projection chamber. Because $^{83m}$Kr decays in two steps, there are two prompt scintillation pulses for each calibration event, denoted S1a and S1b. We study the ratio of S1b to S1a signal sizes in the Particle Identification in Xenon at Yale (PIXeY) experiment and its dependence on the time separation between the two signals ($\Delta t$), notably its increase at low $\Delta t$. In PIXeY data, the $\Delta t$ dependence of S1b/S1a is observed to exhibit two exponential components: one with a time constant of $0.05 \pm 0.02\mu s$, which can be attributed to processing effects and pulse overlap and one with a time constant of $10.2 \pm 2.2\mu s$ that increases in amplitude with electric drift field, the origin of which is not yet understood.


title: Phonon-mediated superconductivity in strongly correlated electron systems: a Luttinger-Ward functional approach

abstract: We use a Luttinger-Ward functional approach to study the problem of phonon-mediated superconductivity in electron systems with strong electron-electron interactions (EEIs). Our derivation does not rely on an expansion in skeleton diagrams for the EEI and the resulting theory is therefore nonperturbative in the strength of the latter. We show that one of the building blocks of the theory is the irreducible six-leg vertex related to EEIs. Diagrammatically, this implies five contributions (one of the Fock and four of the Hartree type) to the electronic self-energy, which, to the best of our knowledge, have never been discussed in the literature. Our approach is applicable to (and in fact designed to tackle superconductivity in) strongly correlated electron systems described by generic lattice models, as long as the glue for electron pairing is provided by phonons.


title: Abelian Fock-Schwinger representation for the quark propagator in external gauge field

abstract: We develop the Diakonov-Petrov approach to the representation of the non-Abelian Wilson loop in an Abelian form. First of all, we extend this approach to the Abelian representation of the parallel transporter corresponding to the open curve rather than to the closed contour. Next, we extend this representation to the case of the non-compact groups. The obtained expressions allow to derive the Abelian form of the Schwinger-Fock representation for the quark propagator in an external color gauge field.


title: Lorentz and CPT Violation in Partons

abstract: A framework is presented for the factorization of high-energy hadronic processes in the presence of Lorentz and CPT violation. The comprehensive effective field theory describing Lorentz and CPT violation, the Standard-Model Extension, is used to demonstrate factorization of the hadronic tensor at leading order in electroweak interactions for deep inelastic scattering and for the Drell-Yan process. Effects controlled by both minimal and nonminimal coefficients for Lorentz violation are explored, and the equivalent parton-model description is derived. The methodology is illustrated by determining cross sections and studying estimated attainable sensitivities to Lorentz violation using real data collected at the Hadronen-Elektronen Ring Anlage and the Large Hadron Collider and simulated data for the future US-based electron-ion collider.


title: The Spheres of Sol

abstract: Let Sol be the three-dimensional solvable Lie group equipped with its standard left-invariant Riemannian metric. We give a precise description of the cut locus of the identity, and a maximal domain in the Lie algebra on which the Riemannian exponential map is a diffeomorphism. As a consequence, we prove that the metric spheres in Sol are topological spheres, and we characterize their singular points almost exactly.


title: Learning Strategy-Aware Linear Classifiers

abstract: We address the question of repeatedly learning linear classifiers against agents who are strategically trying to game the deployed classifiers, and we use the Stackelberg regret to measure the performance of our algorithms. First, we show that Stackelberg and external regret for the problem of strategic classification are strongly incompatible: i.e., there exist worst-case scenarios, where any sequence of actions providing sublinear external regret might result in linear Stackelberg regret and vice versa. Second, we present a strategy-aware algorithm for minimizing the Stackelberg regret for which we prove nearly matching upper and lower regret bounds. Finally, we provide simulations to complement our theoretical analysis. Our results advance the growing literature of learning from revealed preferences, which has so far focused on "smoother" assumptions from the perspective of the learner and the agents respectively.


title: A complete description of the cohomological invariants of even genus hyperelliptic curves

abstract: When the genus $g$ is even, we extend the computation of mod 2 cohomological invariants of $\mathcal{H}_g$ to non algebraically closed fields, we give an explicit functorial description of the invariants and we completely describe their multiplicative structure. In the Appendix, we show that the cohomological invariants of the compactification $\overline{\mathcal{H}}_g$ are trivial, and use our methods to give a very short proof of a result by Cornalba on the Picard group of the compactification $\overline{\mathcal{H}}_g$ and extend it to positive characteristic


title: Using U-Nets to Create High-Fidelity Virtual Observations of the Solar Corona

abstract: Understanding and monitoring the complex and dynamic processes of the Sun is important for a number of human activities on Earth and in space. For this reason, NASA's Solar Dynamics Observatory (SDO) has been continuously monitoring the multi-layered Sun's atmosphere in high-resolution since its launch in 2010, generating terabytes of observational data every day. The synergy between machine learning and this enormous amount of data has the potential, still largely unexploited, to advance our understanding of the Sun and extend the capabilities of heliophysics missions. In the present work, we show that deep learning applied to SDO data can be successfully used to create a high-fidelity virtual telescope that generates synthetic observations of the solar corona by image translation. Towards this end we developed a deep neural network, structured as an encoder-decoder with skip connections (U-Net), that reconstructs the Sun's image of one instrument channel given temporally aligned images in three other channels. The approach we present has the potential to reduce the telemetry needs of SDO, enhance the capabilities of missions that have less observing channels, and transform the concept development of future missions.

categories: astro-ph.SR astro-ph.IM cs.LG physics.space-ph


title: A Pressure Associated with a Weak Solution to the Navier-Stokes Equations with Navier's Boundary Condition

abstract: We show that if u is a weak solution to the Navier-Stokes initial-boundary value problem with Navier's slip boundary conditions in $Q_T:=\Omega\times(0,T)$, where $\Omega$ is a domain in $R^3$, then an associated pressure $p$ exists as a distribution with a certain structure. Furthermore, we also show that if $\Omega$ is a "smooth" domain in $R^3$ then the pressure is represented by a function in $Q_T$ with a certain rate of integrability. Finally, we study the regularity of the pressure in sub-domains of $Q_T$, where $u$ satisfies Serrin's integrability conditions.


title: Auto-Calibration of Remote Sensing Solar Telescopes with Deep Learning

abstract: As a part of NASA's Heliophysics System Observatory (HSO) fleet of satellites,the Solar Dynamics Observatory (SDO) has continuously monitored the Sun since2010. Ultraviolet (UV) and Extreme UV (EUV) instruments in orbit, such asSDO's Atmospheric Imaging Assembly (AIA) instrument, suffer time-dependent degradation which reduces instrument sensitivity. Accurate calibration for (E)UV instruments currently depends on periodic sounding rockets, which are infrequent and not practical for heliophysics missions in deep space. In the present work, we develop a Convolutional Neural Network (CNN) that auto-calibrates SDO/AIA channels and corrects sensitivity degradation by exploiting spatial patterns in multi-wavelength observations to arrive at a self-calibration of (E)UV imaging instruments. Our results remove a major impediment to developing future HSOmissions of the same scientific caliber as SDO but in deep space, able to observe the Sun from more vantage points than just SDO's current geosynchronous orbit.This approach can be adopted to perform autocalibration of other imaging systems exhibiting similar forms of degradation


title: Island formation in collisionless kinetic plasmas with perturbed orbits

abstract: In the vinicity of phase-space resonances for a given species of plasma, the particle distribution function is flattened as free energy is exchanged between the plasma and resonant electromagnetic waves. Here, we present action-angle variables which explicitly separate the adiabatic invariant from the contribution that arises from perturbation of the Hamiltonian over the course of a single orbit. Then, we perform similar analysis for the orbit period, allowing one to identify a generating function $\psi$ which modifies the zeroth order contribution to the orbit period (unperturbed orbit) in the case where the particle energy is not time-invariant. We posit that a population of `quasi-trapped' particles cross the separatrix, directly allowing for island growth and decay. Then, we employ $\psi$ in the ensemble case by considering how this generating function allows for solutions of the 6+1D electrostatic Vlasov equation where finite growth and frequency sweeping of modes occur. Finally, we derive an approximate form for $\psi$ outside of the separatrix, allowing for qualitative observation of phase-space shear and island formation.


title: Multi-Epoch Modeling of TXS 0506+056 and Implications for Long-Term High-Energy Neutrino Emission

abstract: The IceCube report of a $\sim 3.5\sigma$ excess of $13\pm5$ neutrino events in the direction of the blazar TXS 05056+056 in 2014-2015 and the 2017 detection of a high-energy neutrino, IceCube-170922A, during a gamma-ray flare from the same blazar, have revived the interest in scenarios for neutrino production in blazars. We perform comprehensive analyses on the long-term electromagnetic emission of TXS 05056+056 using optical, X-ray, and gamma-ray data from the All-Sky Automated Survey for Supernovae (ASAS-SN), the Neil Gehrels Swift Observatory (Swift), the Monitor of All-sky X-ray Image (MAXI), and the Fermi Large Area Telescope (Fermi-LAT). We also perform numerical modeling of the spectral energy distributions (SEDs) in four epochs prior to 2017 with contemporaneous gamma-ray and lower energy (optical and/or X-ray) data. We find that the multi-epoch SEDs are consistent with a hybrid leptonic scenario, where the gamma-rays are produced in the blazar zone via external inverse Compton scattering of accelerated electrons, and high-energy neutrinos are produced via the photomeson production process of co-accelerated protons. The multi-epoch SEDs can be satisfactorily explained with the same jet parameters and variable external photon density and electron luminosity. Using the maximal neutrino flux derived for each epoch, we put an upper limit of $\sim0.4-2$ on the muon neutrino number in ten years of IceCube observations. Our results are consistent with the IceCube-170922A detection, which can be explained as an upper fluctuation from the average neutrino rate expected from the source, but in strong tension with the 2014-2015 neutrino flare.


title: Out-of-time-order correlator in weakly perturbed integrable systems

abstract: Classical quasi-integrable systems are known to have Lyapunov times much shorter than their ergodicity time, but the situation for their quantum counterparts is less well understood. As a first example, we examine the quantum Lyapunov exponent -- defined by the evolution of the 4-point out-of-time-order correlator (OTOC) -- of integrable systems which are weakly perturbed by an external noise, a setting that has proven to be illuminating in the classical case. In analogy to the tangent space in classical systems, we derive a linear superoperator equation which dictates the OTOC dynamics. We find that {\em i)} in the semi-classical limit the quantum Lyapunov exponent is given by the classical one: it scales as $\epsilon^{1/3}$, with $\epsilon$ being the variance of the random drive, leading to short Lyapunov times compared to the diffusion time (which is $\sim \epsilon^{-1}$). {\em ii)} in the highly quantal regime the Lyapunov instability is suppressed by quantum fluctuations, and {\em iii)} for sufficiently small perturbations the $\epsilon^{1/3}$ dependence is also suppressed -- another purely quantum effect which we explain. Several numerical examples which demonstrate the theoretical predictions are given. The implication for the results to the behavior of real near-integrable systems, and for quantum limits on chaos are briefly discussed.

categories: quant-ph cond-mat.stat-mech hep-th nlin.CD


title: $q$-Plane Zeros of the Potts Partition Function on Diamond Hierarchical Graphs

abstract: We report exact results concerning the zeros of the partition function of the Potts model in the complex $q$ plane, as a function of a temperature-like Boltzmann variable $v$, for the $m$'th iterate graphs $D_m$ of the Diamond Hierarchical Lattice (DHL), including the limit $m \to \infty$. In this limit we denote the continuous accumulation locus of zeros in the $q$ planes at fixed $v = v_0$ as ${\mathcal B}_q(v_0)$. We apply theorems from complex dynamics to establish properties of ${\mathcal B}_q(v_0)$. For $v=-1$ (the zero-temperature Potts antiferromagnet, or equivalently, chromatic polynomial), we prove that ${\mathcal B}_q(-1)$ crosses the real-$q$ axis at (i) a minimal point $q=0$, (ii) a maximal point $q=3$ (iii) $q=32/27$, (iv) a cubic root that we give, with the value $q = q_1 = 1.6388969..$, and (v) an infinite number of points smaller than $q_1$, converging to $32/27$ from above. Similar results hold for ${\mathcal B}_q(v_0)$ for any $-1 < v < 0$ (Potts antiferromagnet at nonzero temperature). The locus ${\mathcal B}_q(v_0)$ crosses the real-$q$ axis at only two points for any $v > 0$ (Potts ferromagnet). We also provide computer-generated plots of ${\mathcal B}_q(v_0)$ at various values of $v_0$ in both the antiferromagnetic and ferromagnetic regimes and compare them to numerically computed zeros of $Z(D_4,q,v_0)$.

categories: math-ph cond-mat.stat-mech math.CO math.DS math.MP


title: Customized video filtering on YouTube

abstract: Inappropriate and profane content on social media is exponentially increasing and big corporations are becoming more aware of the type of content on which they are advertising and how it may affect their brand reputation. But with a huge surge in content being posted online it becomes seemingly difficult to filter out related videos on which they can run their ads without compromising brand name. Advertising on youtube videos generates a huge amount of revenue for corporations. It becomes increasingly important for such corporations to advertise on only the videos that don't hurt the feelings, community or harmony of the audience at large. In this paper, we propose a system to identify inappropriate content on YouTube and leverage it to perform a first of its kind, large scale, quantitative characterization that reveals some of the risks of YouTube ads consumption on inappropriate videos. Customization of the architecture have also been included to serve different requirements of corporations. Our analysis reveals that YouTube is still plagued by such disturbing videos and its currently deployed countermeasures are ineffective in terms of detecting them in a timely manner. Our framework tries to fill this gap by providing a handy, add on solution to filter the videos and help corporations and companies to push ads on the platform without worrying about the content on which the ads are displayed.


title: Interaction is necessary for distributed learning with privacy or communication constraints

abstract: Local differential privacy (LDP) is a model where users send privatized data to an untrusted central server whose goal it to solve some data analysis task. In the non-interactive version of this model the protocol consists of a single round in which a server sends requests to all users then receives their responses. This version is deployed in industry due to its practical advantages and has attracted significant research interest. Our main result is an exponential lower bound on the number of samples necessary to solve the standard task of learning a large-margin linear separator in the non-interactive LDP model. Via a standard reduction this lower bound implies an exponential lower bound for stochastic convex optimization and specifically, for learning linear models with a convex, Lipschitz and smooth loss. These results answer the questions posed in \citep{SmithTU17,DanielyF18}. Our lower bound relies on a new technique for constructing pairs of distributions with nearly matching moments but whose supports can be nearly separated by a large margin hyperplane. These lower bounds also hold in the model where communication from each user is limited and follow from a lower bound on learning using non-adaptive \emph{statistical queries}.


title: Word Sense Disambiguation using Knowledge-based Word Similarity

abstract: In natural language processing, word-sense disambiguation (WSD) is an open problem concerned with identifying the correct sense of words in a particular context. To address this problem, we introduce a novel knowledge-based WSD system. We suggest the adoption of two methods in our system. First, we suggest a novel method to encode the word vector representation by considering the graphical semantic relationships from the lexical knowledge-base. Second, we propose a method for extracting the contextual words from the text for analyzing an ambiguous word based on the similarity of word vector representations. To validate the effectiveness of our WSD system, we conducted experiments on the five benchmark English WSD corpora (Senseval-02, Senseval-03, SemEval-07, SemEval-13, and SemEval-15). The obtained results demonstrated that the suggested methods significantly enhanced the WSD performance. Furthermore, our system outperformed the existing knowledge-based WSD systems and showed a performance comparable to that of the state-of-the-art supervised WSD systems.


title: Challenges for Inclusion in Software Engineering: The Case of the Emerging Papua New Guinean Society

abstract: Software plays a central role in modern societies, with its high economic value and potential for advancing societal change. In this paper, we characterise challenges and opportunities for a country progressing towards entering the global software industry, focusing on Papua New Guinea (PNG). By hosting a Software Engineering workshop, we conducted a qualitative study by recording talks (n=3), employing a questionnaire (n=52), and administering an in-depth focus group session with local actors (n=5). Based on a thematic analysis, we identified challenges as barriers and opportunities for the PNG software engineering community. We also discuss the state of practices and how to make it inclusive for practitioners, researchers, and educators from both the local and global software engineering community.


title: Quantitative T2 Estimation Using Radial Turbo Spin Echo Imaging

abstract: There has been increased interest in the quantitative characterization of tissues based on T2 in abdominal imaging. Techniques based on spin-echo or turbo spin-echo sequences are time consuming because they require multiple acquisitions for obtaining an adequate number of TE images for accurate T2 mapping. Radial turbo spin echo (RADTSE) based methods have been shown to generate accurate T2 maps from a single acquisition using highly undersampled data. In this work, we present details of the RADTSE technique, summarizing developments related to the design of pulse sequence and reconstruction algorithms. Results from phantom and in vivo imaging experiments are also presented.


title: Feedback Recurrent AutoEncoder

abstract: In this work, we propose a new recurrent autoencoder architecture, termed Feedback Recurrent AutoEncoder (FRAE), for online compression of sequential data with temporal dependency. The recurrent structure of FRAE is designed to efficiently extract the redundancy along the time dimension and allows a compact discrete representation of the data to be learned. We demonstrate its effectiveness in speech spectrogram compression. Specifically, we show that the FRAE, paired with a powerful neural vocoder, can produce high-quality speech waveforms at a low, fixed bitrate. We further show that by adding a learned prior for the latent space and using an entropy coder, we can achieve an even lower variable bitrate.


title: Non-Redundant OFDM Receiver Windowing for 5G Frames & Beyond

abstract: Contemporary receiver windowed orthogonal frequency division multiplexing (RW-OFDM) algorithms have limited adjacent channel interference (ACI) rejection capability under high delay spread and small Fast Fourier Transform (FFT) sizes. Cyclic prefix (CP) is designed to be longer than the maximum excess delay (MED) of the channel to accommodate such algorithms in current standards. The robustness of these algorithms can only be improved against these conditions by adopting additional extensions in a new backward incompatible standard. Such extensions would deteriorate the performance of high mobility vehicular communication systems in particular. In this paper, we present a low-complexity Hann RW-OFDM scheme that provides resistance against ACI without requiring any intersymbol interference (ISI)-free redundancies. While this scheme is backward compatible with current and legacy standards and requires no changes to the conventionally transmitted signals, it also paves the way towards future spectrotemporally localized and efficient schemes suitable for higher mobility vehicular communications. A Hann window effectively rejects unstructured ACI at the expense of structured and limited intercarrier interference (ICI) across data carriers. A simple maximum ratio combining successive interference cancellation (MRC-SIC) receiver is therefore proposed to resolve this induced ICI and receive symbols transmitted by standard transmitters currently in use. The computational complexity of the proposed scheme is comparable to that of contemporary RW-OFDM algorithms, while ACI rejection and bit-error rate performance is superior in both long and short delay spreads. Channel estimation using Hann RW-OFDM symbols is also discussed.


title: Neural Cryptanalysis: Metrics, Methodology, and Applications in CPS Ciphers

abstract: Many real-world cyber-physical systems (CPS) use proprietary cipher algorithms. In this work, we describe an easy-to-use black-box security evaluation approach to measure the strength of proprietary ciphers without having to know the algorithms. We quantify the strength of a cipher by measuring how difficult it is for a neural network to mimic the cipher algorithm. We define new metrics (e.g., cipher match rate, training data complexity and training time complexity) that are computed from neural networks to quantitatively represent the cipher strength. This measurement approach allows us to directly compare the security of ciphers. Our experimental demonstration utilizes fully connected neural networks with multiple parallel binary classifiers at the output layer. The results show that when compared with round-reduced DES, the security strength of Hitag2 (a popular stream cipher used in the keyless entry of modern cars) is weaker than 3-round DES.


title: DRiLLS: Deep Reinforcement Learning for Logic Synthesis

abstract: Logic synthesis requires extensive tuning of the synthesis optimization flow where the quality of results (QoR) depends on the sequence of optimizations used. Efficient design space exploration is challenging due to the exponential number of possible optimization permutations. Therefore, automating the optimization process is necessary. In this work, we propose a novel reinforcement learning-based methodology that navigates the optimization space without human intervention. We demonstrate the training of an Advantage Actor Critic (A2C) agent that seeks to minimize area subject to a timing constraint. Using the proposed methodology, designs can be optimized autonomously with no-humans in-loop. Evaluation on the comprehensive EPFL benchmark suite shows that the agent outperforms existing exploration methodologies and improves QoRs by an average of 13%.


title: Target tracking in the framework of possibility theory: The possibilistic Bernoulli filter

abstract: The Bernoulli filter is a Bayes filter for joint detection and tracking of a target in the presence of false and miss detections. This paper presents a mathematical formulation of the Bernoulli filter in the framework of possibility theory, where uncertainty is represented using {\em possibility} functions, rather than {\em probability} distributions. Possibility functions model the uncertainty in a non-additive manner, and have the capacity to deal with partial (incomplete) problem specification. Thus, the main advantage of the possibilistic Bernoulli filter, derived in this paper, is that it can operate even in the absence of precise measurement and/or dynamic model parameters. This feature of the proposed filter is demonstrated in the context of target tracking using multi-static Doppler shifts as measurements.


title: Theory and phase-field simulations on electrical control of spin cycloids in a multiferroic

abstract: Cycloidal spin orders are common in multiferroics. One of the prototypical examples is BiFeO3 (BFO) which shows a large polarization and a cycloidal antiferromagnetic order at room temperature. Here we employ Landau theory and phase-field simulations to analyze the coupled switching dynamics of polarization and cycloidal antiferromagnetic orders in BFO. We are able to identify 14 types of transitional spin structures between two cycloids and 9 electric-field-induced spin switching paths. We demonstrate the electric-field-induced rotation of wave vectors of the cycloidal spins and discover 2 types of cycloidal spin switching dynamics: fast local spin flips and slow rotation of wave vectors. Also, we construct road maps to achieve the switching between any two spin cycloids through multi-step applications of electric fields. The work provides a theoretical framework for the phenomenological description of spin cycloids and a fundamental understanding of the switching mechanisms to achieve electrical control of magnetic orders.


title: MAME : Model-Agnostic Meta-Exploration

abstract: Meta-Reinforcement learning approaches aim to develop learning procedures that can adapt quickly to a distribution of tasks with the help of a few examples. Developing efficient exploration strategies capable of finding the most useful samples becomes critical in such settings. Existing approaches towards finding efficient exploration strategies add auxiliary objectives to promote exploration by the pre-update policy, however, this makes the adaptation using a few gradient steps difficult as the pre-update (exploration) and post-update (exploitation) policies are often quite different. Instead, we propose to explicitly model a separate exploration policy for the task distribution. Having two different policies gives more flexibility in training the exploration policy and also makes adaptation to any specific task easier. We show that using self-supervised or supervised learning objectives for adaptation allows for more efficient inner-loop updates and also demonstrate the superior performance of our model compared to prior works in this domain.


title: On typical triangulations of a convex $n$-gon

abstract: Let $f_n$ be a function assigning weight to each possible triangle whose vertices are chosen from vertices of a convex polygon $P_n$ of $n$ sides. Suppose ${\mathcal T}_n$ is a random triangulation, sampled uniformly out of all possible triangulations of $P_n$. We study the sum of weights of triangles in ${\mathcal T}_n$ and give a general formula for average and variance of this random variable. In addition, we look at several interesting special cases of $f_n$ in which we obtain explicit forms of generating functions for the sum of the weights. For example, among other things, we give new proofs for already known results such as the degree of a fixed vertex and the number of ears in ${\mathcal T}_n,$ as well as, provide new results on the number of "blue" angles and refined information on the distribution of angles at a fixed vertex. We note that our approach is systematic and can be applied to many other new examples while generalizing the existing results.


title: A generic imperative language for polynomial time

abstract: The ramification method in Implicit Computational Complexity has been associated with functional programming, but adapting it to generic imperative programming is highly desirable, given the wider algorithmic applicability of imperative programming. We introduce a new approach to ramification which, among other benefits, adapts readily to fully general imperative programming. The novelty is in ramifying finite second-order objects, namely finite structures, rather than ramifying elements of free algebras. In so doing we bridge between Implicit Complexity's type theoretic characterizations of feasibility, and the data-flow approach of Static Analysis.


title: Segregated interactions in urban and online space

abstract: Urban income segregation is a widespread phenomenon that challenges societies across the globe. Classical studies on segregation have largely focused on the geographic distribution of residential neighborhoods rather than on patterns of social behaviors and interactions. In this study, we analyze segregation in economic and social interactions by observing credit card transactions and Twitter mentions among thousands of individuals in three culturally different metropolitan areas. We show that segregated interaction is amplified relative to the expected effects of geographic segregation in terms of both purchase activity and online communication. Furthermore, we find that segregation increases with difference in socio-economic status but is asymmetric for purchase activity, i.e., the amount of interaction from poorer to wealthier neighborhoods is larger than vice versa. Our results provide novel insights into the understanding of behavioral segregation in human interactions with significant socio-political and economic implications.


title: Simulation of the internal kink mode in visco-resistive regimes

abstract: We present numerical simulation results of the nonlinear evolution of the (1,1) internal kink mode in the presence of various kinds of equilibrium plasma flows. The present studies are carried out in the framework of a two fluid model to extend our past investigations done with a reduced magneto-hydrodynamic (RMHD) model. Two-fluid effects are found to significantly influence the mode dynamics in a number of different ways. In the linear regime diamagnetic effects in combination with flows provide a synergistic stabilizing influence that also carries over to the nonlinear regime. In addition one observes novel symmetry breaking phenomena in the linear growth rates as well as in the nonlinear saturated states of the mode. Our study also explores the influence of strong viscosity on the mode evolution and finds interesting modifications in the real frequency of the mode in the linear regime.


title: On a Hilbert Space Reformulation of Riemann Hypothesis

abstract: We explore Hilbert space reformulations of Riemann Hypothesis developed by Nyman, Beurling, B\'{a}ez-Duarte, et. al. with a weighted Bergman space $\mathcal{H}=A_1^2(\mathbb{D})$, i.e., Riemann hypothesis holds if and only if the Hilbert subspace $\mathcal{H}_0$ spanned by a certain family of functions coincides with $\mathcal{H}$. A condition that a function does not belong to $\mathcal{H}_0^\bot$ is given. Moreover, it is proved that the von-Neumann algebra generated by a certain monoid $T_\mathbb{N}=\{T_k:\, k\in \mathbb{N}\}$ of operators is exactly $B(\mathcal{H})$. As a result, Riemann hypothesis is true if and only if $\mathcal{H}_0$ is $T_k^\ast$-invariant for all $k\in \mathbb{N}$.


title: Young stars as tracers of a barred-spiral Milky Way

abstract: Identifying the structure of our Galaxy has always been fraught with difficulties, and while modern surveys continue to make progress building a map of the Milky Way, there is still much to understand. The arm and bar features are important drivers in shaping the interstellar medium, but their exact nature and influence still require attention. We present results of smoothed particle hydrodynamic simulations of gas in the Milky Way including star formation, stellar feedback, and ISM cooling, when exposed to different arm and bar features, with the aim of better understanding how well newly formed stars trace out the underlying structure of the Galaxy. The bar is given a faster pattern speed than the arms, resulting in a complex, time-dependent morphology and star formation. Inter-arm branches and spurs are easily influenced by the bar, especially in the two-armed spiral models where there is a wide region of resonance overlap in the disc. As the bar over-takes the spiral arms it induces small boosts in star formation and enhances spiral features, which occur at regularly spaced beat-like intervals. The locations of star formation events are similar to those seen in observational data, and do not show a perfect 1:1 correspondence with the underlying spiral potential, though arm tangencies are generally well traced by young stars. Stellar velocity fields from the newly formed stars are compared to data from Gaia DR2, showing that the spiral and bar features can reproduce many of the non-axisymmetric features seen in the data. A simple analytical model is used to show many of these feature are a natural response of gas to rigidly rotating spiral and bar potentials.


title: Intermittent Information-Driven Search for Underwater Targets

abstract: The problem is area-restricted search for targets using an autonomous mobile sensing platform. Detection is imperfect: the probability of detection depends on the range to the target, while the probability of false detections is non-zero. The paper develops an intermittent information-driven search strategy, which combines fast and non-receptive displacement phase (ballistic phase) with a slow displacement sensing phase. Decisions where to move next, both in the ballistic phase and the slow displacement phase, are information-driven: they maximise the expected information gain. The paper demonstrates the efficiency of the proposed strategy in the context of a search for underwater targets: the searcher is an autonomous amphibious drone which can both fly and land or takeoff from the sea surface.


title: A Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 Codewords

abstract: Using techniques from the fields of symbolic computation and satisfiability checking we verify one of the cases used in the landmark result that projective planes of order ten do not exist. In particular, we show that there exist no projective planes of order ten that generate codewords of weight fifteen, a result first shown in 1973 via an exhaustive computer search. We provide a simple satisfiability (SAT) instance and a certificate of unsatisfiability that can be used to automatically verify this result for the first time. All previous demonstrations of this result have relied on search programs that are difficult or impossible to verify---in fact, our search found partial projective planes that were missed by previous searches due to previously undiscovered bugs. Furthermore, we show how the performance of the SAT solver can be dramatically increased by employing functionality from a computer algebra system (CAS). Our SAT+CAS search runs significantly faster than all other published searches verifying this result.


title: Full-Duplex Nonreciprocal-Beam-Steering Metasurfaces Comprising Time-Modulated Twin Meta-Atoms

abstract: We present the concept, theoretical model and experimental implementation of a full-duplex nonreciprocal-beam-steering transmissive phase-gradient metasurface. Such a metasurface is realized by exploiting the unique properties of the frequency-phase transition in coupled time-modulated twin meta-atoms. The metasurface may be placed on top of a source antenna to transform the radiation pattern of the source antenna, and introduce different radiation patterns for the transmit and receive states. In contrast to the recently proposed applications of time modulation, here the incident and transmitted waves share the same frequency. The metasurface is endowed with directive, diverse and asymmetric transmission and reception radiation beams, and tunable beam shapes. Furthermore, these beams can be steered by simply changing the modulation phase. The proposed coupled meta-atoms inherently suppress undesired time harmonics, leading to a high conversion efficiency which is of paramount importance for practical applications such as point to point full-duplex communications.


title: Full-State Quantum Circuit Simulation by Using Data Compression

abstract: Quantum circuit simulations are critical for evaluating quantum algorithms and machines. However, the number of state amplitudes required for full simulation increases exponentially with the number of qubits. In this study, we leverage data compression to reduce memory requirements, trading computation time and fidelity for memory space. Specifically, we develop a hybrid solution by combining the lossless compression and our tailored lossy compression method with adaptive error bounds at each timestep of the simulation. Our approach optimizes for compression speed and makes sure that errors due to lossy compression are uncorrelated, an important property for comparing simulation output with physical machines. Experiments show that our approach reduces the memory requirement of simulating the 61-qubit Grover's search algorithm from 32 exabytes to 768 terabytes of memory on Argonne's Theta supercomputer using 4,096 nodes. The results suggest that our techniques can increase the simulation size by 2 to 16 qubits for general quantum circuits.


title: Semiclassical analysis of photoelectron interference in a synthesized two-color laser pulse

abstract: We measure the photoelectron energy spectra from strong-field ionization of Kr in a two-color laser pulse consisting of a strong 400-nm field and a weak 800-nm field. The intensities of the main above-threshold ionization (ATI) and sideband peaks in the photoelectron energy spectra oscillate roughly oppositely with respect to the relative phase between the two-color components. We study the photoelectron interferometry in strong-field ATI regime from the view of interference of different electron trajectories in order to extend RABBITT type analysis to the strong-field regime. Based on the strong-field approximation model, we obtain analytical expressions for the oscillations of both ATI and sideband peaks with the relative phase. A phase shift of \pi/4 with respect to the field maximum of the two-color laser pulse is revealed for the interference maximum in the main ATI peak without including the effect of the atomic potential.


title: Long-range electroweak amplitudes of single hadrons from Euclidean finite-volume correlation functions

abstract: A relation is presented between single-hadron long-range matrix elements defined in a finite Euclidean spacetime, and the corresponding infinite-volume Minkowski amplitudes. This relation is valid in the kinematic region where any number of two-hadron states can simultaneously go on shell, so that the effects of strongly-coupled intermediate channels are included. These channels can consist of non-identical particles with arbitrary intrinsic spins. The result accommodates general Lorentz structures as well as non-zero momentum transfer for the two external currents inserted between the single-hadron states. The formalism, therefore, generalizes the work by Christ et al.~[Phys.Rev. D91 114510 (2015)], and extends the reach of lattice quantum chromodynamics (QCD) to a wide class of new observables beyond meson mixing and rare decays. Applications include Compton scattering of the pion ($\pi \gamma^\star \to [\pi \pi, K \overline K] \to \pi \gamma^\star$), kaon ($K \gamma^\star \to [\pi K, \eta K] \to K \gamma^\star$) and nucleon ($N \gamma^\star \to N \pi \to N \gamma^\star$), as well as double-$\beta$ decays, and radiative corrections to the single-$\beta$ decay, of QCD-stable hadrons. The framework presented will further facilitate generalization of the result to studies of nuclear amplitudes involving two currents from lattice QCD.


title: Socially-Aware Navigation: A Non-linear Multi-Objective Optimization Approach

abstract: Mobile robots are increasingly populating homes, hospitals, shopping malls, factory floors, and other human environments. Human society has social norms that people mutually accept; obeying these norms is an essential signal that someone is participating socially with respect to the rest of the population. For robots to be socially compatible with humans, it is crucial for robots to obey these social norms. In prior work, we demonstrated a Socially-Aware Navigation (SAN) planner, based on Pareto Concavity Elimination Transformation (PaCcET), in a hallway scenario, optimizing two objectives so that the robot does not invade the personal space of people. This paper extends our PaCcET based SAN planner to multiple scenarios with more than two objectives. We modified the Robot Operating System's (ROS) navigation stack to include PaCcET in the local planning task. We show that our approach can accommodate multiple Human-Robot Interaction (HRI) scenarios. Using the proposed approach, we achieved successful HRI in multiple scenarios like hallway interactions, an art gallery, waiting in a queue, and interacting with a group. We implemented our method on a simulated PR2 robot in a 2D simulator (Stage) and a pioneer-3DX mobile robot in the real-world to validate all the scenarios. A comprehensive set of experiments shows that our approach can handle multiple interaction scenarios on both holonomic and non-holonomic robots; hence, it can be a viable option for a Unified Socially-Aware Navigation (USAN).


title: Observation and quantification of inertial effects on the drift of floating objects at the ocean surface

abstract: We present results from an experiment designed to better understand the mechanism by which ocean currents and winds control flotsam drift. The experiment consisted in deploying in the Florida Current and subsequently satellite tracking specially designed drifting buoys of varied sizes, buoyancies, and shapes. We explain the differences in the trajectories described by the special drifters as a result of their inertia, primarily buoyancy, which constrains the ability of the drifters to adapt their velocities to instantaneous changes in the ocean current and wind that define the carrying flow field. Our explanation of the observed behavior follows from the application of a recently proposed Maxey--Riley theory for the motion of finite-size particles floating at the surface ocean. The nature of the carrying flow and the domain of validity of the theory are clarified, and a closure proposal is made to fully determine its parameters in terms of the carrying fluid system properties and inertial particle characteristics.


title: Strain-driven superplasticity and modulation of electronic properties of ultrathin tin (II) oxide: A first-principles study

abstract: 2D-layered tin (II) oxide (SnO) has recently emerged as a promising bipolar channel material for thin-film transistors and complementary metal-oxide-semiconductor devices. In this work, we present a first-principles investigation of the mechanical properties of ultrathin SnO, as well as the electronic implications of tensile strain ($\epsilon$) under both uniaxial and biaxial conditions. Bulk-to-monolayer transition is found to significantly lower the Young's and shear moduli of SnO, highlighting the importance of interlayer Sn-Sn bonds in preserving structural integrity. Unprecedentedly, few-layer SnO exhibits superplasticity under uniaxial deformation conditions, with a critical strain to failure of up to 74% in the monolayer. Such superplastic behavior is ascribed to the formation of a tri-coordinated intermediate (referred to here as h-SnO) beyond $\epsilon$ = 14%, which resembles a partially-recovered orthorhombic phase with relatively large work function and wide indirect band gap. The broad structural range of tin (II) oxide under strongly anisotropic mechanical loading suggests intriguing possibilities for realizing novel hybrid nanostructures of SnO through strain engineering. The findings reported in this study reveal fundamental insights into the mechanical behavior and strain-driven electronic properties of tin (II) oxide, opening up exciting avenues for the development of SnO-based nanoelectronic devices with new, non-conventional functionalities.


title: Small inter-event times govern epidemic spreading on temporal networks

abstract: Just like the degrees of human and animal interaction networks, the distribution of the times between interactions is known to often be right-skewed and fat-tailed. Both these distributions affect epidemic dynamics strongly, but, as we show in this Letter, for very different reasons. Whereas the high degrees of the tail are critical for facilitating epidemics, it is the small interevent times that control the dynamics of epidemics. We investigate this effect both analytically and numerically for different versions of the Susceptible-Infected-Recovered model on different types of networks.