title: Electronic structure of bulk manganese oxide and nickel oxide from coupled cluster theory

abstract: We describe the ground- and excited-state electronic structure of bulk MnO and NiO, two prototypical correlated electron materials, using coupled cluster theory with single and double excitations (CCSD). As a corollary, this work also reports the first implementation of unrestricted periodic ab initio equation-of motion CCSD. Starting from a Hartree-Fock reference, we find fundamental gaps of 3.46 eV and 4.83 eV for MnO and NiO respectively for the 16 unit supercell, slightly overestimated compared to experiment, although finite-size scaling suggests that the gap is more severely overestimated in the thermodynamic limit. From the character of the correlated electronic bands we find both MnO and NiO to lie in the intermediate Mott/charge-transfer insulator regime, although NiO appears as a charge transfer insulator when only the fundamental gap is considered. While the lowest quasiparticle excitations are of metal 3d and O 2p character in most of the Brillouin zone, near the {\Gamma} point, the lowest conduction band quasiparticles are of s character. Our study supports the potential of coupled cluster theory to provide high level many-body insights into correlated solids.


title: A Paired Sparse Representation Model for Robust Face Recognition from a Single Sample

abstract: Sparse representation-based classification (SRC) has been shown to achieve a high level of accuracy in face recognition (FR). However, matching faces captured in unconstrained video against a gallery with a single reference facial still per individual typically yields low accuracy. For improved robustness to intra-class variations, SRC techniques for FR have recently been extended to incorporate variational information from an external generic set into an auxiliary dictionary. Despite their success in handling linear variations, non-linear variations (e.g., pose and expressions) between probe and reference facial images cannot be accurately reconstructed with a linear combination of images in the gallery and auxiliary dictionaries because they do not share the same type of variations. In order to account for non-linear variations due to pose, a paired sparse representation model is introduced allowing for joint use of variational information and synthetic face images. The proposed model, called synthetic plus variational model, reconstructs a probe image by jointly using (1) a variational dictionary and (2) a gallery dictionary augmented with a set of synthetic images generated over a wide diversity of pose angles. The augmented gallery dictionary is then encouraged to pair the same sparsity pattern with the variational dictionary for similar pose angles by solving a newly formulated simultaneous sparsity-based optimization problem. Experimental results obtained on Chokepoint and COX-S2V datasets, using different face representations, indicate that the proposed approach can outperform state-of-the-art SRC-based methods for still-to-video FR with a single sample per person.


title: Mode Clustering for Markov Jump Systems

abstract: In this work, we consider the problem of mode clustering in Markov jump models. This model class consists of multiple dynamical modes with a switching sequence that determines how the system switches between them over time. Under different active modes, the observations can have different characteristics. Given the observations only and without knowing the mode sequence, the goal is to cluster the modes based on their transition distributions in the Markov chain to find a reduced-rank Markov matrix that is embedded in the original Markov chain. Our approach involves mode sequence estimation, mode clustering and reduced-rank model estimation, where mode clustering is achieved by applying the singular value decomposition and k-means. We show that, under certain conditions, the clustering error can be bounded, and the reduced-rank Markov chain is a good approximation to the original Markov chain. Through simulations, we show the efficacy of our approach and the application of our approach to real world scenarios.


title: Liquidity in Credit Networks with Constrained Agents

abstract: In order to scale transaction rates for deployment across the global web, many cryptocurrencies have deployed so-called "Layer-2" networks of private payment channels. An idealized payment network behaves like a Credit Network, a model for transactions across a network of bilateral trust relationships. Credit Networks capture many aspects of traditional currencies as well as new virtual currencies and payment mechanisms. In the traditional credit network model, if an agent defaults, every other node that trusted it is vulnerable to loss. In a cryptocurrency context, trust is manufactured by capital deposits, and thus there arises a natural tradeoff between network liquidity (i.e. the fraction of transactions that succeed) and the cost of capital deposits. In this paper, we introduce constraints that bound the total amount of loss that the rest of the network can suffer if an agent (or a set of agents) were to default - equivalently, how the network changes if agents can support limited solvency guarantees. We show that these constraints preserve the analytical structure of a credit network. Furthermore, we show that aggregate borrowing constraints greatly simplify the network structure and in the payment network context achieve the optimal tradeoff between liquidity and amount of escrowed capital.


title: Convexity of 2-convex translating solitons to the mean curvature flow in $\mathbb{R}^{n+1}$

abstract: We prove that any complete immersed globally orientable uniformly 2-convex translating soliton $\Sigma \subset \mathbb{R}^{n+1}$ for the mean curvature flow is locally strictly convex. It follows that a uniformly 2-convex entire graphical translating soliton in $\mathbb{R}^{n+1},\, n\geq 3 $ is the axisymmetric "bowl soliton".


title: Energy gain by laser-accelerated electrons in a strong magnetic field

abstract: The manuscript deals with electron acceleration by a laser pulse in a plasma with a static uniform magnetic field $B_*$. The laser pulse propagates perpendicular to the magnetic field lines with the polarization chosen such that $({\bf{E}}_{laser} \cdot {\bf{B}}_*) = 0$. The focus of the work is on the electrons with an appreciable initial transverse momentum that are unable to gain significant energy from the laser in the absence of the magnetic field due to strong dephasing. It is shown that the magnetic field can initiate an energy increase by rotating such an electron, so that its momentum becomes directed forward. The energy gain continues well beyond this turning point where the dephasing drops to a very small value. In contrast to the case of purely vacuum acceleration, the electron experiences a rapid energy increases with the analytically derived maximum energy gain dependent on the strength of the magnetic field and the phase velocity of the wave. The energy enhancement by the magnetic field can be useful at high laser amplitudes, $a_0 \gg 1$, where the acceleration similar to that in the vacuum is unable to produce energetic electrons over just tens of microns. A strong magnetic field helps leverage an increase in $a_0$ without a significant increase in the interaction length.


title: Void Formation: Does the Void-in-Cloud Process Matter?

abstract: We investigate the basic properties of voids from high resolution, cosmological N-body simulations of {\Lambda}-dominated cold dark matter ({\Lambda}CDM) models, in order to compare with the analytical model of Sheth and van de Weygaert (SvdW) for void statistics. For the subsample of five dark matter simulations in the {\Lambda}CDM cosmology with box sizes ranging from 1000 Mpc/h to 8 Mpc/h, we find that the standard void-in-cloud effect is too simplified to explain several properties of identified small voids in simulations. (i) The number density of voids is found to be larger than the prediction of the analytical model up to 2 orders of magnitude below 1 Mpc/h scales. The Press-Schechter model with the linear critical threshold of void {\delta}_v = -2.71, or a naive power law, is found to provide an excellent agreement with the void size function, suggesting that the void-in-cloud effect does not suppress as much voids as predicted by the SvdW model. (ii) We then measured the density and velocity profiles of small voids, and find that they are mostly partially collapsing underdensities, instead of being completely crushed in the standard void-in-cloud scenario. (iii) Finally, we measure the void distributions in four different tidal environments, and find that the void-in-void effect alone can explain the correlation between distribution and environments, whereas the void-in-cloud effect is only weakly influencing the abundance of voids, even in filaments and clusters.


title: Varieties of modules over the quantum plane

abstract: The quantum plane is the non-commutative polynomial algebra in variables $x$ and $y$ with $xy=qyx$. In this paper, we study the module variety of $n$-dimensional modules over the quantum plane, and provide an explicit description of its irreducible components and their dimensions. We also describe the irreducible components and their dimensions of the GIT quotient of the module variety with respect to the conjugation action of ${\rm GL}_n$.


title: Atomic-Precision Fabrication of Quasi-Full-Space Grain Boundaries in Two-Dimensional Hexagonal Boron Nitride

abstract: Precise control and in-depth understanding of the interfaces is crucial for the functionality-oriented material design with desired properties. Herein, via modifying the long-standing bicrystal strategy, we proposed a novel nanowelding approach to build up interfaces between two-dimensional (2D) materials with atomic precision. This method enabled us, for the first time, to experimentally achieve the quasi-full-parameter-space grain boundaries (GBs) in 2D hexagonal boron nitride (h-BN). It further helps us unravel the long-term controversy and confusion on the registry of GBs in h-BN, including i) discriminate the relative contribution of the strain and chemical energy on the registry of GBs; ii) identify a new dislocation core- Frank partial dislocation and four new anti-phase boundaries; and iii) confirm the universal GB faceting. Our work provides a new paradigm to the exploiting of structural-property correlation of interfaces in 2D materials.


title: Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems

abstract: In numerical existence proofs for solutions of the semi-linear elliptic system, evaluating the norm of the inverse of a perturbed Laplace operator plays an important role. We reveal an eigenvalue problem to design a method for verifying the invertibility of the operator and evaluating the norm of its inverse based on Liu's method and the Temple-Lehman-Goerisch method. We apply the inverse-norm's estimation to the Dirichlet boundary value problem of the Lotka-Volterra system with diffusion terms and confirm the efficacy of our method.


title: Early Estimation of User's Intention of Tele-Operation Using Object Affordance and Hand Motion in a Dual First-Person Vision

abstract: This paper describes a method of estimating the intention of a user's motion in a robot tele-operation scenario. One of the issues in tele-operation is latency, which occurs due to various reasons such as a slow robot motion and a narrow communication channel. An effective way of reducing the latency is to estimate the human intention of motions and to move the robot proactively. To enable a reliable early intention estimation, we use both hand motion and object affordances in a dual first-person vision (robot and user) with an HMD. Experimental results in an object pickup scenario show the effectiveness of the method.


title: Learning from Fact-checkers: Analysis and Generation of Fact-checking Language

abstract: In fighting against fake news, many fact-checking systems comprised of human-based fact-checking sites (e.g., snopes.com and politifact.com) and automatic detection systems have been developed in recent years. However, online users still keep sharing fake news even when it has been debunked. It means that early fake news detection may be insufficient and we need another complementary approach to mitigate the spread of misinformation. In this paper, we introduce a novel application of text generation for combating fake news. In particular, we (1) leverage online users named \emph{fact-checkers}, who cite fact-checking sites as credible evidences to fact-check information in public discourse; (2) analyze linguistic characteristics of fact-checking tweets; and (3) propose and build a deep learning framework to generate responses with fact-checking intention to increase the fact-checkers' engagement in fact-checking activities. Our analysis reveals that the fact-checkers tend to refute misinformation and use formal language (e.g. few swear words and Internet slangs). Our framework successfully generates relevant responses, and outperforms competing models by achieving up to 30\% improvements. Our qualitative study also confirms that the superiority of our generated responses compared with responses generated from the existing models.


title: A Case Study on Using Deep Learning for Network Intrusion Detection

abstract: Deep Learning has been very successful in many application domains. However, its usefulness in the context of network intrusion detection has not been systematically investigated. In this paper, we report a case study on using deep learning for both supervised network intrusion detection and unsupervised network anomaly detection. We show that Deep Neural Networks (DNNs) can outperform other machine learning based intrusion detection systems, while being robust in the presence of dynamic IP addresses. We also show that Autoencoders can be effective for network anomaly detection.


title: Enhancement of magnetodielectric coupling in 6H-perovskites Ba3RRu2O9 for heavier rare earth cations (R=Ho,Tb)

abstract: The role of rare-earth (R) ions on the magnetodielectric (MD) coupling is always intriguing and markedly different for different systems. Although many reports are available concerning this aspect in frustrated 3d-transition metal oxides, no such reports exist on higher d (4d/5d)-orbital based systems due to the rare availability of highly insulating 4d/5d-systems. Here, we systematically investigated the magnetic, dielectric, ferroelectric and magnetodielectric behavior of the 6H-perovskites Ba3RRu2O9 for different R-ions, namely, R= Sm, Tb and Ho, which magnetically order at 12, 9.5 and 10.2 K respectively. For R=Tb and Ho, the temperature and magnetic-field dependent complex dielectric constant traces the magnetic features, which manifests MD coupling in this system. A weak magnetic-field (H) induced transition is observed for ~30 kOe, which is clearly captured in H-dependent dielectric measurements. No MD coupling is observed for Ba3SmRu2O9. The MD coupling is enhanced by a factor of 3 and 20 times for R=Tb and Ho, respectively, when compared to that of the Nd-counterpart. These results evidence the gradual enhancement of MD coupling with the introduction of heavier R-ions in this series, which is attributed to their larger moment values. A weak improper ferroelectricity is documented for Ho-member, which is absent for Nd. Our investigation establishes dominating 4d(Ru)-4f(R) magnetic correlation in this series for the heavier R-members.


title: Properties of several fuzzy set spaces

abstract: This paper discusses the properties the spaces of fuzzy sets in a metric space equipped with the endograph metric and the sendograph metric, respectively. We fist give some relations among the endograph metric, the sendograph metric and the $\Gamma$-convergence, and then investigate the level characterizations of the endograph metric and the $\Gamma$-convergence. By using the above results, we give some relations among the endograph metric, the sendograph metric, the supremum metric and the $d_p^*$ metric, $p\geq 1$. On the basis of the above results, we present the characterizations of total boundedness, relative compactness and compactness in the space of compact positive $\al$-cuts fuzzy sets equipped with the endograph metric, and in the space of compact support fuzzy sets equipped with the sendograph metric, respectively. Furthermore, we give completions of these metric spaces, respectively.


title: Dilated Convolutional Neural Networks for Sequential Manifold-valued Data

abstract: Efforts are underway to study ways via which the power of deep neural networks can be extended to non-standard data types such as structured data (e.g., graphs) or manifold-valued data (e.g., unit vectors or special matrices). Often, sizable empirical improvements are possible when the geometry of such data spaces are incorporated into the design of the model, architecture, and the algorithms. Motivated by neuroimaging applications, we study formulations where the data are {\em sequential manifold-valued measurements}. This case is common in brain imaging, where the samples correspond to symmetric positive definite matrices or orientation distribution functions. Instead of a recurrent model which poses computational/technical issues, and inspired by recent results showing the viability of dilated convolutional models for sequence prediction, we develop a dilated convolutional neural network architecture for this task. On the technical side, we show how the modules needed in our network can be derived while explicitly taking the Riemannian manifold structure into account. We show how the operations needed can leverage known results for calculating the weighted Fr\'{e}chet Mean (wFM). Finally, we present scientific results for group difference analysis in Alzheimer's disease (AD) where the groups are derived using AD pathology load: here the model finds several brain fiber bundles that are related to AD even when the subjects are all still cognitively healthy.


title: A New Atomic Norm for DOA Estimation With Gain-Phase Errors

abstract: The problem of direction of arrival (DOA) estimation has been studied for decades as an essential technology in enabling radar, wireless communications, and array signal processing related applications. In this paper, the DOA estimation problem in the scenario with gain-phase errors is considered, and a sparse model is formulated by exploiting the signal sparsity in the spatial domain. By proposing a new atomic norm, named as GP-ANM, an optimization method is formulated via deriving a dual norm of GP-ANM. Then, the corresponding semidefinite program (SDP) is given to estimate the DOA efficiently, where the SDP is obtained based on the Schur complement. Moreover, a regularization parameter is obtained theoretically in the convex optimization problem. Simulation results show that the proposed method outperforms the existing methods, including the subspace-based and sparse-based methods in the scenario with gain-phase errors.


title: Striving for Simplicity and Performance in Off-Policy DRL: Output Normalization and Non-Uniform Sampling

abstract: We aim to develop off-policy DRL algorithms that not only exceed state-of-the-art performance but are also simple and minimalistic. For standard continuous control benchmarks, Soft Actor-Critic (SAC), which employs entropy maximization, currently provides state-of-the-art performance. We first demonstrate that the entropy term in SAC addresses action saturation due to the bounded nature of the action spaces, with this insight, we propose a streamlined algorithm with a simple normalization scheme or with inverted gradients. We show that both approaches can match SAC's sample efficiency performance without the need of entropy maximization, we then propose a simple non-uniform sampling method for selecting transitions from the replay buffer during training. Extensive experimental results demonstrate that our proposed sampling scheme leads to state of the art sample efficiency on challenging continuous control tasks. We combine all of our findings into one simple algorithm, which we call Streamlined Off Policy with Emphasizing Recent Experience, for which we provide robust public-domain code.


title: An Erd\H{o}s-Gallai-type theorem for keyrings with larger number of leaves

abstract: A keyring is a graph obtained from a cycle by appending $r\ge0$ leaves to one of its vertices. Sidorenko proved an Erd\H{o}s-Gallai-type theorem: Every graph of order $n$ and size more than $\frac{(k-1)n}{2}$ contains a keyring of size at least $k$ and with $r$ leaves for $r\le\frac{k-1}2$ (Theorem 1.4, An Erd\H{o}s-Gallai-type theorem for keyrings, Graphs Combin., 2018). In this note, we show that Sidorenko's theorem holds for larger $r$ and so complete the Erd\H{o}s-Gallai-type theorem for keyrings.


title: Ohmic dissipation in the Earth's outer core resulting from the free inner core nutation

abstract: The diurnal tidal forces can excite a normal mode of the Earth's core, the free inner core nutation (FICN), which is characterized by a tilt of the rotation axis of the inner core with respect to the rotation axis of the outer core. The differential rotation between the inner core and the outer core induces fluid motions in the outer core and gives rise to Ohmic dissipation in the presence of the Earth's internal magnetic field. Nutation measurements can reflect such dissipation if it is sufficiently strong and thus can provide insights into the properties and dynamics of the Earth's core. In this study we perform a set of numerical calculations of the linear perturbations in the outer core induced by the FICN at very low Ekman numbers (as small as $10^{-11}$). Our numerical results show that the back-reaction of the magnetic field notably alters the structure and length scale of the perturbations induced by the FICN, and thus influences the Ohmic dissipation resulting from the perturbations. When the Ekman number is sufficiently small, Ohmic dissipation tends to be insensitive to the fluid viscosity and to the magnetic diffusivity, which allows us to estimate the Ohmic dissipation associated with the FICN without relying on an extrapolation. In contrast to the results of Buffett (2010b), the estimated Ohmic dissipation based on our numerical calculations is too weak to account for the observed damping of the FICN mode. This also implies that nutation measurements cannot provide effective constraints on the strength of the magnetic field inside the Earth's outer core.


title: On Dimensional Linguistic Properties of the Word Embedding Space

abstract: Word embeddings have become a staple of several natural language processing tasks, yet much remains to be understood about their properties. In this work, we analyze word embeddings in terms of their principal components and arrive at a number of novel and counterintuitive observations. In particular, we characterize the utility of variance explained by the principal components as a proxy for downstream performance. Furthermore, through syntactic probing of the principal embedding space, we show that the syntactic information captured by a principal component does not correlate with the amount of variance it explains. Consequently, we investigate the limitations of variance based embedding post-processing and demonstrate that such post-processing is counter-productive in sentence classification and machine translation tasks. Finally, we offer a few precautionary guidelines on applying variance based embedding post-processing and explain why non-isotropic geometry might be integral to word embedding performance.


title: Symbiotic Graph Neural Networks for 3D Skeleton-based Human Action Recognition and Motion Prediction

abstract: 3D skeleton-based action recognition and motion prediction are two essential problems of human activity understanding. In many previous works: 1) they studied two tasks separately, neglecting internal correlations; 2) they did not capture sufficient relations inside the body. To address these issues, we propose a symbiotic model to handle two tasks jointly; and we propose two scales of graphs to explicitly capture relations among body-joints and body-parts. Together, we propose symbiotic graph neural networks, which contain a backbone, an action-recognition head, and a motion-prediction head. Two heads are trained jointly and enhance each other. For the backbone, we propose multi-branch multi-scale graph convolution networks to extract spatial and temporal features. The multi-scale graph convolution networks are based on joint-scale and part-scale graphs. The joint-scale graphs contain actional graphs, capturing action-based relations, and structural graphs, capturing physical constraints. The part-scale graphs integrate body-joints to form specific parts, representing high-level relations. Moreover, dual bone-based graphs and networks are proposed to learn complementary features. We conduct extensive experiments for skeleton-based action recognition and motion prediction with four datasets, NTU-RGB+D, Kinetics, Human3.6M, and CMU Mocap. Experiments show that our symbiotic graph neural networks achieve better performances on both tasks compared to the state-of-the-art methods.


title: City-level Geolocation of Tweets for Real-time Visual Analytics

abstract: Real-time tweets can provide useful information on evolving events and situations. Geotagged tweets are especially useful, as they indicate the location of origin and provide geographic context. However, only a small portion of tweets are geotagged, limiting their use for situational awareness. In this paper, we adapt, improve, and evaluate a state-of-the-art deep learning model for city-level geolocation prediction, and integrate it with a visual analytics system tailored for real-time situational awareness. We provide computational evaluations to demonstrate the superiority and utility of our geolocation prediction model within an interactive system.


title: Data-Importance Aware User Scheduling for Communication-Efficient Edge Machine Learning

abstract: With the prevalence of intelligent mobile applications, edge learning is emerging as a promising technology for powering fast intelligence acquisition for edge devices from distributed data generated at the network edge. One critical task of edge learning is to efficiently utilize the limited radio resource to acquire data samples for model training at an edge server. In this paper, we develop a novel user scheduling algorithm for data acquisition in edge learning, called (data) importance-aware scheduling. A key feature of this scheduling algorithm is that it takes into account the informativeness of data samples, besides communication reliability. Specifically, the scheduling decision is based on a data importance indicator (DII), elegantly incorporating two "important" metrics from communication and learning perspectives, i.e., the signal-to-noise ratio (SNR) and data uncertainty. We first derive an explicit expression for this indicator targeting the classic classifier of support vector machine (SVM), where the uncertainty of a data sample is measured by its distance to the decision boundary. Then, the result is extended to convolutional neural networks (CNN) by replacing the distance based uncertainty measure with the entropy. As demonstrated via experiments using real datasets, the proposed importance-aware scheduling can exploit the two-fold multi-user diversity, namely the diversity in both the multiuser channels and the distributed data samples. This leads to faster model convergence than the conventional scheduling schemes that exploit only a single type of diversity.


title: Comparing shapes of high genus surfaces

abstract: In this paper, we define a new metric structure on the shape space of a high genus surface. We introduce a rigorous definition of a shape of a surface and construct a metric based on two energies measuring the area distortion and the angle distortion of a quasiconformal homeomorphism. We show that the energy minimizer in a fixed homotopy class is achieved by a quasiconformal homeomorphism by the lower semicontinuity property of these two energies.


title: JuICe: A Large Scale Distantly Supervised Dataset for Open Domain Context-based Code Generation

abstract: Interactive programming with interleaved code snippet cells and natural language markdown is recently gaining popularity in the form of Jupyter notebooks, which accelerate prototyping and collaboration. To study code generation conditioned on a long context history, we present JuICe, a corpus of 1.5 million examples with a curated test set of 3.7K instances based on online programming assignments. Compared with existing contextual code generation datasets, JuICe provides refined human-curated data, open-domain code, and an order of magnitude more training data. Using JuICe, we train models for two tasks: (1) generation of the API call sequence in a code cell, and (2) full code cell generation, both conditioned on the NL-Code history up to a particular code cell. Experiments using current baseline code generation models show that both context and distant supervision aid in generation, and that the dataset is challenging for current systems.


title: A Novel Graphical Lasso based approach towards Segmentation Analysis in Energy Game-Theoretic Frameworks

abstract: Energy game-theoretic frameworks have emerged to be a successful strategy to encourage energy efficient behavior in large scale by leveraging human-in-the-loop strategy. A number of such frameworks have been introduced over the years which formulate the energy saving process as a competitive game with appropriate incentives for energy efficient players. However, prior works involve an incentive design mechanism which is dependent on knowledge of utility functions for all the players in the game, which is hard to compute especially when the number of players is high, common in energy game-theoretic frameworks. Our research proposes that the utilities of players in such a framework can be grouped together to a relatively small number of clusters, and the clusters can then be targeted with tailored incentives. The key to above segmentation analysis is to learn the features leading to human decision making towards energy usage in competitive environments. We propose a novel graphical lasso based approach to perform such segmentation, by studying the feature correlations in a real-world energy social game dataset. To further improve the explainability of the model, we perform causality study using grangers causality. Proposed segmentation analysis results in characteristic clusters demonstrating different energy usage behaviors. We also present avenues to implement intelligent incentive design using proposed segmentation method.


title: Proof-of-Stake Longest Chain Protocols: Security vs Predictability

abstract: The Nakamoto longest chain protocol is remarkably simple and has been proven to provide security against any adversary with less than 50% of the total hashing power. Proof-of-stake (PoS) protocols are an energy efficient alternative; however existing protocols adopting Nakamoto's longest chain design achieve provable security only by allowing long-term predictability (which have serious security implications). In this paper, we prove that a natural longest chain PoS protocol with similar predictability as Nakamoto's PoW protocol can achieve security against any adversary with less than 1/(1+e) fraction of the total stake. Moreover we propose a new family of longest chain PoS protocols that achieve security against a 50% adversary, while only requiring short-term predictability. Our proofs present a new approach to analyzing the formal security of blockchains, based on a notion of adversary-proof convergence.


title: Recurrent neural network based decision support system

abstract: Decision Support Systems (DSS) in complex installations play a crucial role in assisting operators in decision making during abnormal transients and process disturbances, by actively displaying the status of the system and recording events, time of occurrence and suggesting relevant actions. The complexity and dynamics of complex systems require a careful selection of suitable neural network architecture, so as to improve diagnostic accuracy. In this work, we present a technique to develop a fault diagnostic decision support using recurrent neural network and Principal Component Analysis (PCA). We utilized the PCA method for noise filtering in the pre-diagnostic stage, and evaluate the predictive capability of radial basis recurrent network on a representative data derived from the simulation of a pressurized nuclear reactor. The process was validated using data from different fault scenarios, and the fault signatures were used as the input. The predictive outputs required are the location and sizes of the faults. The result shows that the radial basis network gives accurate predictions. Selected hyperparameters and diagnostic results are also presented in this paper.


title: A Fundamental Bound on Performance of Non-Intrusive Load Monitoring with Application to Smart Meter Privacy

abstract: We prove that the expected estimation error of non-intrusive load monitoring algorithms is lower bounded by the trace of the inverse of the cross-correlation matrix between the derivatives of the load profiles of the appliances. We use this fundamental bound to develop privacy-preserving policies. Particularly, we devise a load-scheduling policy by maximizing the lower bound on the expected estimation error of non-intrusive load monitoring algorithms.

categories: eess.SP cs.SY eess.SY math.OC math.ST stat.AP stat.TH


title: Elastic properties of few unit cell thick superconducting crystals of Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$

abstract: We present systematic measurements of the mechanical properties of few unit cell (UC) thick exfoliated crystals of a high-T$_c$ cuprate superconductor Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$. We determine the elastic properties of these crystals by deformation using an atomic force microscope (AFM) at room temperature. With the spatial measurements of local compliance and their detailed modeling, we independently determine the Young's modulus of rigidity and the pre-stress. The Young's modulus of rigidity is found to be in the range of 22 GPa to 30 GPa for flakes with thickness from 5 UC to 18 UC. The pre-stress spreads over the range of 5 MPa - 46 MPa, indicating a run-to-run variation during the exfoliation process. The determination of Young's modulus of rigidity for thin flakes is further verified from recently reported buckling technique.


title: Colored Transparent Object Matting from a Single Image Using Deep Learning

abstract: This paper proposes a deep learning based method for colored transparent object matting from a single image. Existing approaches for transparent object matting often require multiple images and long processing times, which greatly hinder their applications on real-world transparent objects. The recently proposed TOM-Net can produce a matte for a colorless transparent object from a single image in a single fast feed-forward pass. In this paper, we extend TOM-Net to handle colored transparent object by modeling the intrinsic color of a transparent object with a color filter. We formulate the problem of colored transparent object matting as simultaneously estimating an object mask, a color filter, and a refractive flow field from a single image, and present a deep learning framework for learning this task. We create a large-scale synthetic dataset for training our network. We also capture a real dataset for evaluation. Experiments on both synthetic and real datasets show promising results, which demonstrate the effectiveness of our method.


title: A Machine Learning Analysis of the Features in Deceptive and Credible News

abstract: Fake news is a type of pervasive propaganda that spreads misinformation online, taking advantage of social media's extensive reach to manipulate public perception. Over the past three years, fake news has become a focal discussion point in the media due to its impact on the 2016 U.S. presidential election. Fake news can have severe real-world implications: in 2016, a man walked into a pizzeria carrying a rifle because he read that Hillary Clinton was harboring children as sex slaves. This project presents a high accuracy (87%) machine learning classifier that determines the validity of news based on the word distributions and specific linguistic and stylistic differences in the first few sentences of an article. This can help readers identify the validity of an article by looking for specific features in the opening lines aiding them in making informed decisions. Using a dataset of 2,107 articles from 30 different websites, this project establishes an understanding of the variations between fake and credible news by examining the model, dataset, and features. This classifier appears to use the differences in word distribution, levels of tone authenticity, and frequency of adverbs, adjectives, and nouns. The differentiation in the features of these articles can be used to improve future classifiers. This classifier can also be further applied directly to browsers as a Google Chrome extension or as a filter for social media outlets or news websites to reduce the spread of misinformation.


title: Transductive Episodic-Wise Adaptive Metric for Few-Shot Learning

abstract: Few-shot learning, which aims at extracting new concepts rapidly from extremely few examples of novel classes, has been featured into the meta-learning paradigm recently. Yet, the key challenge of how to learn a generalizable classifier with the capability of adapting to specific tasks with severely limited data still remains in this domain. To this end, we propose a Transductive Episodic-wise Adaptive Metric (TEAM) framework for few-shot learning, by integrating the meta-learning paradigm with both deep metric learning and transductive inference. With exploring the pairwise constraints and regularization prior within each task, we explicitly formulate the adaptation procedure into a standard semi-definite programming problem. By solving the problem with its closed-form solution on the fly with the setup of transduction, our approach efficiently tailors an episodic-wise metric for each task to adapt all features from a shared task-agnostic embedding space into a more discriminative task-specific metric space. Moreover, we further leverage an attention-based bi-directional similarity strategy for extracting the more robust relationship between queries and prototypes. Extensive experiments on three benchmark datasets show that our framework is superior to other existing approaches and achieves the state-of-the-art performance in the few-shot literature.


title: The large-scale ionization cones in the Galaxy

abstract: There is compelling evidence for a highly energetic Seyfert explosion (10^{56-57} erg) that occurred in the Galactic Centre a few million years ago. The clearest indications are the x-ray/gamma-ray "10 kpc bubbles" identified by the Rosat and Fermi satellites. In an earlier paper, we suggested another manifestation of this nuclear activity, i.e. elevated H-alpha emission along a section of the Magellanic Stream due to a burst (or flare) of ionizing radiation from Sgr A*. We now provide further evidence for a powerful flare event: UV absorption line ratios (in particular CIV/CII, SiIV/SiII) observed by the Hubble Space Telescope reveal that some Stream clouds towards both galactic poles are highly ionized by a source capable of producing ionization energies up to at least 50 eV. We show how these are clouds caught in a beam of bipolar, radiative "ionization cones" from a Seyfert nucleus associated with Sgr A*. In our model, the biconic axis is tilted by about 15 deg from the South Galactic Pole with an opening angle of roughly 60 deg. For the Stream at such large Galactic distances (D > 75 kpc), nuclear activity is a plausible explanation for all of the observed signatures: elevated H-alpha emission and H ionization fraction (X_e > 0.5), enhanced CIV/CII and SiIV/SiII ratios, and high CIV and SiIV column densities. Wind-driven "shock cones" are ruled out because the Fermi bubbles lose their momentum and energy to the Galactic corona long before reaching the Stream. The nuclear flare event must have had a radiative UV luminosity close to the Eddington limit (f_E ~ 0.1-1). Our time-dependent Seyfert flare models adequately explain the observations and indicate the Seyfert flare event took place T_o = 3.5 +/- 1 Myr ago. The timing estimates are consistent with the mechanical timescales needed to explain the x-ray/gamma-ray bubbles in leptonic jet/wind models (2-8 Myr).


title: Producing Synthetic Maps of Dust Polarization using Velocity Channel Gradient Technique

abstract: In modern cosmology, many efforts have been put to detect primordial B-mode of cosmic microwave background (CMB) polarization from the gravitational waves generated during inflation. Considering the foreground dust contamination of microwave polarization maps, it is essential to obtain a precise prediction for polarization in dust emission. In this work, we show a new method to produce synthetic maps of dust polarization in magnetized turbulent ISM from more abundant high-resolution HI data. By using Velocity Channel Gradient (VChG) technique, we are able to predict both direction and degree of dust polarization by investigating spectroscopic HI information in position-position-velocity (PPV) space. We applied our approach to The Galactic Arecibo L-band feed Array HI (GALFA-HI) data, and find a good correspondence between synthesized maps and PLANCK's polarization measurements at 353 GHz.


title: Making sense of sensory input

abstract: This paper attempts to answer a central question in unsupervised learning: what does it mean to "make sense" of a sensory sequence? In our formalization, making sense involves constructing a symbolic causal theory that both explains the sensory sequence and also satisfies a set of unity conditions. The unity conditions insist that the constituents of the causal theory -- objects, properties, and laws -- must be integrated into a coherent whole. On our account, making sense of sensory input is a type of program synthesis, but it is unsupervised program synthesis. Our second contribution is a computer implementation, the Apperception Engine, that was designed to satisfy the above requirements. Our system is able to produce interpretable human-readable causal theories from very small amounts of data, because of the strong inductive bias provided by the unity conditions. A causal theory produced by our system is able to predict future sensor readings, as well as retrodict earlier readings, and impute (fill in the blanks of) missing sensory readings, in any combination. We tested the engine in a diverse variety of domains, including cellular automata, rhythms and simple nursery tunes, multi-modal binding problems, occlusion tasks, and sequence induction intelligence tests. In each domain, we test our engine's ability to predict future sensor values, retrodict earlier sensor values, and impute missing sensory data. The engine performs well in all these domains, significantly out-performing neural net baselines. We note in particular that in the sequence induction intelligence tests, our system achieved human-level performance. This is notable because our system is not a bespoke system designed specifically to solve intelligence tests, but a general-purpose system that was designed to make sense of any sensory sequence.


title: On the Limits of Learning to Actively Learn Semantic Representations

abstract: One of the goals of natural language understanding is to develop models that map sentences into meaning representations. However, training such models requires expensive annotation of complex structures, which hinders their adoption. Learning to actively-learn (LTAL) is a recent paradigm for reducing the amount of labeled data by learning a policy that selects which samples should be labeled. In this work, we examine LTAL for learning semantic representations, such as QA-SRL. We show that even an oracle policy that is allowed to pick examples that maximize performance on the test set (and constitutes an upper bound on the potential of LTAL), does not substantially improve performance compared to a random policy. We investigate factors that could explain this finding and show that a distinguishing characteristic of successful applications of LTAL is the interaction between optimization and the oracle policy selection process. In successful applications of LTAL, the examples selected by the oracle policy do not substantially depend on the optimization procedure, while in our setup the stochastic nature of optimization strongly affects the examples selected by the oracle. We conclude that the current applicability of LTAL for improving data efficiency in learning semantic meaning representations is limited.


title: Bound states with complex frequencies near the continuum on lossy periodic structures

abstract: On a lossless periodic dielectric structure sandwiched between two homogeneous media, bound states in the continuum (BICs) with real frequencies and real Bloch wavevectors may exist, and they decay exponentially in the surrounding homogeneous media and do not couple with propagating plane waves with the same frequencies and wavevectors. The BICs are of significant current interest, because they give rise to high-$Q$ resonances when the structure or the Bloch wavevector is slightly perturbed. In this paper, the effect of a small material loss on the BICs is analyzed by a perturbation method and illustrated by numerical results. It is shown that bound states with complex frequencies near the continuum appear, but they behave differently depending on whether the BIC is symmetry-protected or not. The Bloch wavevector of a bound state with a complex frequency can be real if the original BIC is symmetry-protected, and it is usually complex if the original BIC is not symmetry-protected. Our study improves the theoretical understanding on BICs and provides useful insight for their practical applications.


title: Uniform bound for solutions of semilinear wave equations in $\mathbb{R}^{1+3}$

abstract: We prove that solution of defocusing semilinear wave equation in $\mathbb{R}^{1+3}$ with pure power nonlinearity is uniformly bounded for all $\frac{3}{2}<p\leq 2$ with sufficiently smooth and localized data. The result relies on the $r$-weighted energy estimate originally introduced by Dafermos and Rodnianski. This appears to be the first result regarding the global asymptotic property for the solution with small power $p$ under 2.


title: Expanded empirical formula for Coulomb final state interaction in the presence of L\'evy sources

abstract: Measurements of momentum space correlations in heavy ion reactions are a unique tools to investigate the properties of the created medium. However, these analyses require the careful handling of the final state interactions such as the Coulomb repulsion of the involved particles. In small systems such as $e^+ + e^-$ or $p+p$ the well-known Gamow factor gives an acceptable description but in the case of extended sources like that are created in heavy ion collisions, a more sophisticated approach has to be developed. In this paper we expand our previous work on the investigation of the Coulomb final state interaction in the presence of a L\'evy source. Such sources were shown to be a statistically acceptable assumption to describe the quantumstatistical correlation functions in high energy heavy ion reactions.


title: Regularization of a backwards parabolic equation by fractional operators

abstract: The backwards diffusion equation is one of the classical ill-posed inverse problems, related to a wide range of applications, and has been extensively studied over the last 50 years. One of the first methods was that of {\it quasireversibility\/} whereby the parabolic operator is replaced by a differential operator for which the backwards problem in time is well posed. This is in fact the direction we will take but will do so with a nonlocal operator; an equation of fractional order in time for which the backwards problem is known to be ``almost well posed.'' We shall look at various possible options and strategies but our conclusion for the best of these will exploit the linearity of the problem to break the inversion into distinct frequency bands and to use a different fractional order for each. The fractional exponents will be chosen using the discrepancy principle under the assumption we have an estimate of the noise level in the data. An analysis of the method is provided as are some illustrative numerical examples.


title: The feasible region for consecutive patterns of permutations is a cycle polytope

abstract: We study proportions of consecutive occurrences of permutations of a given size. Specifically, the limit of such proportions on large permutations forms a region, called \emph{feasible region}. We show that this feasible region is a polytope, more precisely the cycle polytope of a specific graph called \emph{overlap graph}. This allows us to compute the dimension, vertices and faces of the polytope, and to determine the equations that define it. Finally we prove that the limit of classical occurrences and consecutive occurrences are in some sense independent. As a consequence, the scaling limit of a sequence of permutations induces no constraints on the local limit and vice versa.


title: Seifert hypersurfaces of 2-knots and Chern-Simons functional

abstract: For a given smooth $2$-knot in $S^4$, we relate the existence of a smooth Seifert hypersurface of a certain class to the existence of irreducible $ SU(2)$-representations of its knot group. For example, we see that any smooth $2$-knot having the Poincar\'e homology $3$-sphere as a Seifert hypersurface has at least four irreducible $SU(2)$-representations of its knot group. This result is false in the topological category. The proof uses a quantitative formulation of instanton Floer homology. Using similar techniques, we also obtain similar results about codimension-$1$ embeddings of homology $3$-spheres into closed definite $4$-manifolds and a fixed point type theorem for instanton Floer homology.


title: Cascaded Volumetric Convolutional Network for Kidney Tumor Segmentation from CT volumes

abstract: Automated segmentation of kidney and tumor from 3D CT scans is necessary for the diagnosis, monitoring, and treatment planning of the disease. In this paper, we describe a two-stage framework for kidney and tumor segmentation based on 3D fully convolutional network (FCN). The first stage preliminarily locate the kidney and cut off the irrelevant background to reduce class imbalance and computation cost. Then the second stage precisely segment the kidney and tumor on the cropped patch. The proposed method ranks the 4th place out of 105 competitive teams in MICCAI 2019 KiTS Challenge with a Composite Dice of 90.24%.


title: Almost uniform domains and Poincar\'e inequalities

abstract: Here we show existence of numerous subsets of Euclidean and metric spaces that, despite having empty interior, still support Poincar\'e inequalities. Most importantly, our methods do not depend on any rectilinear or self-similar structure of the underlying space. We instead employ the notion of uniform domain of Martio and Sarvas. Our condition relies on the measure density of such subsets, as well as the regularity and relative separation of their boundary components. In doing so, our results hold true for metric spaces equipped with doubling measures and Poincar\'e inequalities in general, and for the Heisenberg groups in particular. To our knowledge, these are the first examples of such subsets on any step-2 Carnot group. Such subsets also give, in general, new examples of Sobolev extension domains on doubling metric measure spaces. When specialized to the plane, we give general sufficient conditions for planar subsets, possibly with empty interior, to be Ahlfors 2-regular and to satisfy a (1,2)-Poincar\'e inequality. In the Euclidean case, our construction also covers the non-self-similar Sierpi\'nski carpets of Mackay, Tyson, and Wildrick, as well as higher dimensional analogues not treated in the literature. The analysis of the Poincar\'e inequality with exponent p=1, for these carpets and their higher dimensional analogues, includes a new way of proving an isoperimetric inequality on a space without constructing Semmes families of curves.


title: On self-duality and hulls of cyclic codes over $\frac{\mathbb{F}_{2^m}[u]}{\langle u^k\rangle}$ with oddly even length

abstract: Let $\mathbb{F}_{2^m}$ be a finite field of $2^m$ elements, and $R=\mathbb{F}_{2^m}[u]/\langle u^k\rangle=\mathbb{F}_{2^m}+u\mathbb{F}_{2^m}+\ldots+u^{k-1}\mathbb{F}_{2^m}$ ($u^k=0$) where $k$ is an integer satisfying $k\geq 2$. For any odd positive integer $n$, an explicit representation for every self-dual cyclic code over $R$ of length $2n$ and a mass formula to count the number of these codes are given first. Then a generator matrix is provided for the self-dual and $2$-quasi-cyclic code of length $4n$ over $\mathbb{F}_{2^m}$ derived by every self-dual cyclic code of length $2n$ over $\mathbb{F}_{2^m}+u\mathbb{F}_{2^m}$ and a Gray map from $\mathbb{F}_{2^m}+u\mathbb{F}_{2^m}$ onto $\mathbb{F}_{2^m}^2$. Finally, the hull of each cyclic code with length $2n$ over $\mathbb{F}_{2^m}+u\mathbb{F}_{2^m}$ is determined and all distinct self-orthogonal cyclic codes of length $2n$ over $\mathbb{F}_{2^m}+u\mathbb{F}_{2^m}$ are listed.


title: How Transformer Revitalizes Character-based Neural Machine Translation: An Investigation on Japanese-Vietnamese Translation Systems

abstract: While translating between East Asian languages, many works have discovered clear advantages of using characters as the translation unit. Unfortunately, traditional recurrent neural machine translation systems hinder the practical usage of those character-based systems due to their architectural limitations. They are unfavorable in handling extremely long sequences as well as highly restricted in parallelizing the computations. In this paper, we demonstrate that the new transformer architecture can perform character-based translation better than the recurrent one. We conduct experiments on a low-resource language pair: Japanese-Vietnamese. Our models considerably outperform the state-of-the-art systems which employ word-based recurrent architectures.


title: The Role of A-priori Information in Networks of Rational Agents

abstract: Until now, distributed algorithms for rational agents have assumed a-priori knowledge of $n$, the size of the network. This assumption is challenged here by proving how much a-priori knowledge is necessary for equilibrium in different distributed computing problems. Duplication - pretending to be more than one agent - is the main tool used by agents to deviate and increase their utility when not enough knowledge about $n$ is given. The a-priori knowledge of $n$ is formalized as a Bayesian setting where at the beginning of the algorithm agents only know a prior $\sigma$, a distribution from which they know $n$ originates. We begin by providing new algorithms for the Knowledge Sharing and Coloring problems when $n$ is a-priori known to all agents. We then prove that when agents have no a-priori knowledge of $n$, i.e., the support for $\sigma$ is infinite, equilibrium is impossible for the Knowledge Sharing problem. Finally, we consider priors with finite support and find bounds on the necessary interval $[\alpha,\beta]$ that contains the support of $\sigma$, i.e., $\alpha \leq n \leq \beta$, for which we have an equilibrium. When possible, we extend these bounds to hold for any possible protocol.


title: Attention-based Fault-tolerant Approach for Multi-agent Reinforcement Learning Systems

abstract: The aim of multi-agent reinforcement learning systems is to provide interacting agents with the ability to collaboratively learn and adapt to the behavior of other agents. In many real-world applications, the agents can only acquire a partial view of the world. However, in realistic settings, one or more agents that show arbitrarily faulty or malicious behavior may suffice to let the current coordination mechanisms fail. In this paper, we study a practical scenario considering the security issues in the presence of agents with arbitrarily faulty or malicious behavior. Under these circumstances, learning an optimal policy becomes particularly challenging, even in the unrealistic case that an agent's policy can be made conditional upon all other agents' observations. To overcome these difficulties, we present an Attention-based Fault-Tolerant (FT-Attn) algorithm which selects correct and relevant information for each agent at every time-step. The multi-head attention mechanism enables the agents to learn effective communication policies through experience concurrently to the action policies. Empirical results have shown that FT-Attn beats previous state-of-the-art methods in some complex environments and can adapt to various kinds of noisy environments without tuning the complexity of the algorithm. Furthermore, FT-Attn can effectively deal with the complex situation where an agent needs to reach multiple agents' correct observation at the same time.


title: Self-supervised Feature Learning for 3D Medical Images by Playing a Rubik's Cube

abstract: Witnessed the development of deep learning, increasing number of studies try to build computer aided diagnosis systems for 3D volumetric medical data. However, as the annotations of 3D medical data are difficult to acquire, the number of annotated 3D medical images is often not enough to well train the deep learning networks. The self-supervised learning deeply exploiting the information of raw data is one of the potential solutions to loose the requirement of training data. In this paper, we propose a self-supervised learning framework for the volumetric medical images. A novel proxy task, i.e., Rubik's cube recovery, is formulated to pre-train 3D neural networks. The proxy task involves two operations, i.e., cube rearrangement and cube rotation, which enforce networks to learn translational and rotational invariant features from raw 3D data. Compared to the train-from-scratch strategy, fine-tuning from the pre-trained network leads to a better accuracy on various tasks, e.g., brain hemorrhage classification and brain tumor segmentation. We show that our self-supervised learning approach can substantially boost the accuracies of 3D deep learning networks on the volumetric medical datasets without using extra data. To our best knowledge, this is the first work focusing on the self-supervised learning of 3D neural networks.


title: Optimal particle type and projection number in multi-modality relative stopping power acquisition

abstract: Proton radiography combined with X-ray computed tomography (CT) has been proposed to obtain a patient-specific calibration curve and reduce range uncertainties in cancer treatment with charged particles. The main aim of this study was to identify the optimal charged particle for the generation of the radiographies and to determine the optimal number of projections necessary to obtain minimal range errors. Three charged particles were considered to generate the radiographies: proton (p-rad), helium ions ({\alpha}-rad) and carbon ions (c-rad). The problem formulation was viewed as a least square optimization, argmin_x (||Ax -b||_2^2 ), where the projection matrix A represents the cumulative path crossed by each particle in each material, b is the charged particle list-mode radiography expressed as the crossed water equivalent thickness (WET) and x is the relative stopping power (RSP) map to be optimized. The charged particle radiographies were simulated using the Geant4 Monte Carlo (MC) toolkit and an anthropomorphic adult head phantom. A was determined by calculating the particles trajectory through the X-ray CT employing a convex hull detection combined with a cubic spline path. For all particle types, the impact of using multiple projections was assessed (from 1 to 6 projections). In this study, tissue segmentation methods were also investigated in terms of achievable accuracy. The best results (mean RSP error below 0.7% and range errors below 1 mm) were obtained for a-rad when 3 projections were used. The dose delivered to the phantom by a single {\alpha}-rad was 8 \muGy, lower than the dose of X-ray radiography.


title: Small Time Asymptotics for SPDEs with Locally Monotone Coefficients

abstract: This work aims to prove the small time large deviation principle (LDP) for a class of stochastic partial differential equations (SPDEs) with locally monotone coefficients in generalized variational framework. The main result could be applied to demonstrate the small time LDP for various quasilinear and semilinear SPDEs such as stochastic porous media equations, stochastic $p$-Laplace equations, stochastic Burgers type equation, stochastic 2D Navier-Stokes equation, stochastic power law fluid equation and stochastic Ladyzhenskaya model. In particular, our small time LDP result seems to be new in the case of general quasilinear SPDEs with multiplicative noise.


title: Yet another but more efficient black-box adversarial attack: tiling and evolution strategies

abstract: We introduce a new black-box attack achieving state of the art performances. Our approach is based on a new objective function, borrowing ideas from $\ell_\infty$-white box attacks, and particularly designed to fit derivative-free optimization requirements. It only requires to have access to the logits of the classifier without any other information which is a more realistic scenario. Not only we introduce a new objective function, we extend previous works on black box adversarial attacks to a larger spectrum of evolution strategies and other derivative-free optimization methods. We also highlight a new intriguing property that deep neural networks are not robust to single shot tiled attacks. Our models achieve, with a budget limited to $10,000$ queries, results up to $99.2\%$ of success rate against InceptionV3 classifier with $630$ queries to the network on average in the untargeted attacks setting, which is an improvement by $90$ queries of the current state of the art. In the targeted setting, we are able to reach, with a limited budget of $100,000$, $100\%$ of success rate with a budget of $6,662$ queries on average, i.e. we need $800$ queries less than the current state of the art.


title: A Benchmark to Evaluate InfiniBand Solutions for Java Applications

abstract: Low-latency network interconnects, such as InfiniBand, are commonly used in HPC centers and are even accessible with todays cloud providers offering equipped instances for rent. Most big data applications and frameworks are written in Java. But, the JVM environment alone does not provide interfaces to directly utilize InfiniBand networks. In this paper, we present the ``Java InfiniBand Benchmark'' to evaluate the currently available (and supported) ``low-level'' solutions to utilize InfiniBand in Java. It evaluates socket- and verbs-based libraries using typical network microbenchmarks regarding throughput and latency. Furthermore, we present evaluation results of the solutions on two hardware configurations with 56 Gbit/s and 100 Gbit/s InfiniBand NICs. With transparency often traded for performance and vice versa, the benchmark helps developers with studying the pros and cons of each solution and support them in their decision which solution is more suitable for their existing or new use-case.


title: Metamaterial insertions for resistive-wall beam-coupling impedance reduction

abstract: Resistive-wall impedance usually constitutes a significant percentage of the total beamcoupling impedance budget of an accelerator. Reduction techniques often entail high electrical-conductivity coatings. This paper investigates the use of negative-permittivity or negative-permeability materials for sensibly reducing or theoretically nearly cancelling resistive-wall impedance. The proposed approach is developed by means of an equivalent transmission-line model. The effectiveness of such materials is benchmarked for the negative permeability case with experimental measurements in two frequency bandwidths. This first-stage study opens the possibility of considering metamaterials for impedance mitigation.


title: A Moving Mesh Method for Modelling Defects in Nematic Liquid Crystals

abstract: The properties of liquid crystals can be modelled using an order parameter which describes the variability of the local orientation of rod-like molecules. Defects in the director field can arise due to external factors such as applied electric or magnetic fields, or the constraining geometry of the cell containing the liquid crystal material. Understanding the formation and dynamics of defects is important in the design and control of liquid crystal devices, and poses significant challenges for numerical modelling. In this paper we consider the numerical solution of a $\bf{Q}$-tensor model of a nematic liquid crystal, where defects arise through rapid changes in the $\bf{Q}$-tensor over a very small physical region in relation to the dimensions of the liquid crystal device. The efficient solution of the resulting six coupled partial differential equations is achieved using a finite element based adaptive moving mesh approach, where an unstructured triangular mesh is adapted towards high activity regions, including those around defects. Spatial convergence studies are presented using a stationary defect as a model test case, and the adaptive method is shown to be optimally convergent using quadratic triangular finite elements. The full effectiveness of the method is then demonstrated using a challenging two-dimensional dynamic Pi-cell problem involving the creation, movement, and annihilation of defects.


title: A new algorithm for graph center computation and graph partitioning according to the distance to the center

abstract: We propose a new algorithm for finding the center of a graph, as well as the rank of each node in the hierarchy of distances to the center. In other words, our algorithm allows to partition the graph according to nodes distance to the center. Moreover, the algorithm is parallelizable. We compare the performances of our algorithm with the ones of Floyd-Warshall algorithm, which is traditionally used for these purposes. We show that, for a large variety of graphs, our algorithm outperforms the Floyd-Warshall algorithm.


title: Characterizing Membership Privacy in Stochastic Gradient Langevin Dynamics

abstract: Bayesian deep learning is recently regarded as an intrinsic way to characterize the weight uncertainty of deep neural networks~(DNNs). Stochastic Gradient Langevin Dynamics~(SGLD) is an effective method to enable Bayesian deep learning on large-scale datasets. Previous theoretical studies have shown various appealing properties of SGLD, ranging from the convergence properties to the generalization bounds. In this paper, we study the properties of SGLD from a novel perspective of membership privacy protection (i.e., preventing the membership attack). The membership attack, which aims to determine whether a specific sample is used for training a given DNN model, has emerged as a common threat against deep learning algorithms. To this end, we build a theoretical framework to analyze the information leakage (w.r.t. the training dataset) of a model trained using SGLD. Based on this framework, we demonstrate that SGLD can prevent the information leakage of the training dataset to a certain extent. Moreover, our theoretical analysis can be naturally extended to other types of Stochastic Gradient Markov Chain Monte Carlo (SG-MCMC) methods. Empirical results on different datasets and models verify our theoretical findings and suggest that the SGLD algorithm can not only reduce the information leakage but also improve the generalization ability of the DNN models in real-world applications.


title: Geometrical analysis of Kerr-lens mode-locking for high-peak-power ultrafast oscillators

abstract: Ultrashort pulses from Kerr-lens mode-locked oscillators have inspired a variety of applications. The design and alignment of these laser resonators have thus far been theoretically supported by the conventional analysis of beam propagation. However, the well-established theoretical framework is sometimes beyond the scope of high-peak-power oscillators. In this paper, we analyze the geometry of ring resonators by extending the ABCD-matrix method to a high-peak-power regime. The guidelines to achieving stable Kerr-lens mode-locking is provided for high-peak-power pulses.


title: $\tau$-Tilting Finiteness of Non-distributive Algebras and their Module Varieties

abstract: We treat the $\tau$-tilting finiteness of those minimal representation-infinite (min-rep-infinite) algebras which are non-distributive. Building upon the new results of Bongartz, we fully determine which algebras in this family are $\tau$-tilting finite and which ones are not. This complements our previous work in which we carried out a similar analysis for the min-rep-infinite biserial algebras. Consequently, we obtain nontrivial explicit sufficient conditions for $\tau$-tilting infiniteness of a large family of algebras. This also produces concrete families of "minimal $\tau$-tilting infinite algebras"-- the modern counterpart of min-rep-infinite algebras, independently introduced by the author and Wang. We further use our results on the family of non-distributive algebras to establish a conjectural connection between the $\tau$-tilting theory and two geometric notions in the study of module varieties introduced by Chindris, Kinser and Weyman. We verify the conjectures for the algebras studied in this note: For the min-rep-infinite algebras which are non-distributive or biserial, we show that if $\Lambda$ has the dense orbit property, then it must be $\tau$-tilting finite. Moreover, we prove that such an algebra is Schur-representation-finite if and only if it is $\tau$-tilting finite. The latter result gives a categorical interpretation of Schur-representation-finiteness over this family of min-rep-infinite algebras.


title: Numerical simulations of wind-driven protoplanetary nebulae. I. near-infrared emission

abstract: To understand how the circumstellar environments of post-AGB stars develop into planetary nebulae, we initiate a systematic study of 2D axisymmetric hydrodynamic simulations of protoplanetary nebula (pPN) with a modified ZEUS code. The aim of this first work is to compare the structure of prolate ellipsoidal winds into a stationary ambient medium where both media can be either atomic or molecular. We specifically model the early twin-shock phase which generates a decelerating shell. A thick deformed and turbulent shell grows when an atomic wind expands into an atomic medium. In all other cases, the interaction shell region fragments into radial protrusions due to molecular cooling and chemistry. The resulting fingers eliminate any global slip parallel to the shell surface. This rough surface implies that weak shocks are prominent in the excitation of the gas despite the fast speed of advance. This may explain why low excitation molecular hydrogen is found towards the front of elliptical pPN. We constrain molecular dissociative fractions and timescales of fast $\mathrm H_2$ winds and the pPN lifetime with wind densities $\mathrm{\sim10^{5}cm^{-3}}$ and shock speeds of $\mathrm{80\sim200\,km\,s^{-1}}$. We identify a variety of stages associated with thermal excitation of H$_2$ near-infrared emission. Generated line emission maps and position-velocity diagrams enable a comparison and distinction with post-AGB survey results. The $\mathrm{1\to0 \, S(1)}$ $\&$ $\mathrm{2\to1 \, S(1)}$ lines are lobe-dominated bows rather than bipolar shells.


title: Well-posedness of Backward Stochastic Partial Differential Equations with Lyapunov Condition

abstract: In this paper we show the existence and uniqueness of strong solutions for a large class of backward SPDE where the coefficients satisfy a specific type Lyapunov condition instead of the classical coercivity condition. Moreover, based on the generalized variational framework, we also use the local monotonicity condition to replace the standard monotonicity condition, which is applicable to various quasilinear and semilinear BSPDE models.


title: Quantum walks with sequential aperiodic jumps

abstract: We analyze a set of discrete-time quantum walks for which the displacements on a chain follow binary aperiodic jumps according to three paradigmatic sequences: Fibonacci, Thue-Morse and Rudin-Shapiro. We use a generalized Hadamard coin $\widehat C_{H}$ as well as a generalized Fourier coin $\widehat C_{K}$. We verify the QW experiences a slowdown of the wavepacket spreading --- $\sigma ^2 (t) \sim t^\alpha $ --- by the aperiodic jumps whose exponent, $\alpha$, depends on the type of aperiodicity. Additional aperiodicity-induced effects also emerge, namely: (i) while the superdiffusive regime ($1<\alpha<2$) is predominant, $\alpha$ displays an unusual sensibility with the type of coin operator where the more pronounced differences emerge for the Rudin-Shapiro and random protocol; (ii) even though the angle $\theta$ of the coin operator is homogeneous in space and time, there is a nonmonotonic dependence of $\alpha$ with $\theta$. Fingerprints of the aperiodicity in the hoppings are also found when additional distributional measures such as Shannon entropy, IPR, Jensen-Shannon dissimilarity, and kurtosis are computed. Finally, we argue the spin-lattice entanglement is enhanced by aperiodic jumps.


title: Constructions of MDS Self-dual Codes from Short length

abstract: Systematic constructions of MDS self-dual codes is widely concerned. In this paper, we consider the constructions of MDS Euclidean self-dual codes from short length. Indeed, the exact constructions of MDS Euclidean self-dual codes from short length ($n=3,4,5,6$) are given. In general, we construct more new of $q$-ary MDS Euclidean self-dual codes from MDS self-dual codes of known length via generalized Reed-Solomon (GRS for short) codes and extended GRS codes.


title: Extensions of Brownian motion to a family of Grushin-type singularities

abstract: We consider a one-parameter family of Grushin-type singularities on surfaces, and discuss the possible diffusions that extend Brownian motion to the singularity. This gives a quick proof and clear intuition for the fact that heat can only cross the singularity for an intermediate range of the parameter. When crossing is possible and the singularity consists of one point, we give a complete description of these diffusions, and we describe a "best" extension, which respects the isometry group of the surface and also realizes the unique symmetric one-point extension of the Brownian motion, in the sense of Chen-Fukushima. This extension, however, does not correspond to the bridging extension, which was introduced by Boscain-Prandi, when they previously considered self-adjoint extensions of the Laplace-Beltrami operator on the Riemannian part for these surfaces. We clarify that several of the extensions they considered induce diffusions that are carried by the Marin compactification at the singularity, which is much larger than the (one-point) metric completion. In the case when the singularity is more than one-point, a complete classification of diffusions extending Brownian motion would be unwieldy. Nonetheless, we again describe a "best" extension which respects the isometry group, and in this case, this diffusion corresponds to the bridging extension. A prominent role is played by Bessel processes (of every real dimension) and the classical theory of one-dimensional diffusions and their boundary conditions.


title: Complexity of finite-variable fragments of propositional modal logics of symmetric frames

abstract: While finite-variable fragments of the propositional modal logic S5--complete with respect to reflexive, symmetric and transitive frames--are polynomial-time decidable, the restriction to finite-variable formulas for logics of reflexive and transitive frames yields fragments that remain "intractable." The role of the symmetry condition in this context has not been investigated. We show that symmetry either by itself or in combination with reflexivity produces logics that behave just like logics of reflexive and transitive frames, i.e. their finite-variable fragments remain intractable, namely PSPACE-hard. This raises the question of where exactly the borderline lies between modal logics whose finite-variable fragments are tractable and the rest.


title: Object Segmentation Tracking from Generic Video Cues

abstract: We propose a light-weight variational framework for online tracking of object segmentations in videos based on optical flow and image boundaries. While high-end computer vision methods on this task rely on sequence specific training of dedicated CNN architectures, we show the potential of a variational model, based on generic video information from motion and color. Such cues are usually required for tasks such as robot navigation or grasp estimation. We leverage them directly for video object segmentation and thus provide accurate segmentations at potentially very low extra cost. Our simple method can provide competitive results compared to the costly CNN-based methods with parameter tuning. Furthermore, we show that our approach can be combined with state-of-the-art CNN-based segmentations in order to improve over their respective results. We evaluate our method on the datasets DAVIS 16,17 and SegTrack v2.


title: Rotational spectrum of isotopic methyl mercaptan, (13)CH3SH, in the laboratory and towards Sagittarius B2(N2)

abstract: Methyl mercaptan (CH3SH) is a known interstellar molecule with abundances high enough that the detection of some of its minor isotopologues is promising. The present study aims at providing accurate spectroscopic parameters for the (13)CH3SH isotopologue to facilitate its identification in the interstellar medium at millimetre and submillimetre wavelengths. Through careful analysis of recent CH3SH spectra from 49-510 GHz and 1.1-1.5 THz recorded at natural isotopic composition, extensive assignments were possible not only for the ground torsional state of (13)CH3SH, but also in the first and second excited states. The torsion-rotation spectrum displays complex structure due to the large-amplitude internal rotation of the (13)CH3 group, similar to the main and other minor isotopic species of methyl mercaptan. The assigned transition frequencies have been fitted to within experimental error with a 52-parameter model employing the RAM36 programme. With predictions based on this fit, (13)CH3SH was searched for in spectra from the Atacama Large Millimetre/submillimetre Array (ALMA) towards the Galactic centre source Sgr B2(N2). Several transitions were expected to be observable, but all of them turned out to be severely blended with emission from other species, which prevents us from identifying (13)CH3SH in this source.

categories: astro-ph.SR astro-ph.GA astro-ph.IM physics.atm-clus physics.chem-ph


title: Resistivity anisotropy of quantum Hall stripe phases

abstract: Quantum Hall stripe phases near half-integer filling factors $\nu \ge 9/2$ were predicted by Hartree-Fock (HF) theory and confirmed by discoveries of giant resistance anisotropies in high-mobility two-dimensional electron gases. A theory of such anisotropy was proposed by MacDonald and Fisher, although they used parameters whose dependencies on the filling factor, electron density, and mobility remained unspecified. Here, we fill this void by calculating the hard-to-easy resistivity ratio as a function of these three variables. Quantitative comparison with experiment yields very good agreement which we view as evidence for the "plain vanilla" smectic stripe HF phases.


title: Bumping operators and insertion algorithms for queer supercrystals

abstract: Results of Morse and Schilling show that the set of increasing factorizations of reduced words for a permutation is naturally a crystal for the general linear Lie algebra. Hiroshima has recently constructed two superalgebra analogues of such crystals. Specifically, Hiroshima has shown that the sets of increasing factorizations of involution words and fpf-involution words for a self-inverse permutation are each crystals for the queer Lie superalgebra. In this paper, we prove that these crystals are normal and identify their connected components. To accomplish this, we study two insertion algorithms that may be viewed as shifted analogues of the Edelman-Greene correspondence. We prove that the connected components of Hiroshima's crystals are the subsets of factorizations with the same insertion tableau for these algorithms, and that passing to the recording tableau defines a crystal morphism. This confirms a conjecture of Hiroshima. Our methods involve a detailed investigation of certain analogues of the Little map, through which we extend several results of Hamaker and Young.


title: First direct search for $2\epsilon$ and $\epsilon\beta^+$ decay of $^{144}$Sm and $2\beta^-$ decay of $^{154}$Sm

abstract: The first direct search for the double electron capture ($2\epsilon$) and the electron capture with positron emission ($\epsilon\beta^+$) in $^{144}$Sm to the ground state and to the excited levels of $^{144}$Nd was realized by measuring - over 1899 h - a 342 g sample of highly purified samarium oxide (Sm$_2$O$_3$) with the ultra-low background HP-Ge $\gamma$ spectrometer GeCris (465 cm$^3$) at the STELLA facility of the Gran Sasso National Laboratory (LNGS). No effect was observed and half-life limits were estimated at the level of $T_{1/2} \sim (0.1-1.3) \times 10^{20}$ yr (90% C.L.). Moreover, for the first time half-life limits of the double beta ($2\beta^-$) decay of $^{154}$Sm to several excited levels of $^{154}$Gd have been set; they are at the level of $T_{1/2} \sim (0.06-8) \times 10^{20}$ yr (90% C.L.).


title: Numerical radius orthogonality in $C^*$-algebras

abstract: In this paper we characterize the Birkhoff--James orthogonality with respect to the numerical radius norm $v(\cdot)$ in $C^*$-algebras. More precisely, for two elements $a, b$ in a $C^*$-algebra $\mathfrak{A}$, we show that $a\perp_{B}^{v} b$ if and only if for each $\theta \in [0, 2\pi)$, there exists a state $\varphi_{_{\theta}}$ on $\mathfrak{A}$ such that $|\varphi_{_{\theta}}(a)| = v(a)$ and $\mbox{Re}\big(e^{i\theta}\overline{\varphi_{_{\theta}}(a)}\varphi_{_{\theta}}(b)\big)\geq 0$. Moreover, we compute the numerical radius derivatives in $\mathfrak{A}$. In addition, we characterize when the numerical radius norm of the sum of two (or three) elements in $\mathfrak{A}$ equals the sum of their numerical radius norms.


title: Spatial heterogeneity may form an inverse camel shape Arnol'd tongue in parametrically forced oscillations

abstract: Frequency locking in forced oscillatory systems typically occurs in 'V'-shaped domains in the plane spanned by the forcing frequency and amplitude, the so-called Arnol'd tongues. Here, we show that if the medium is spatially extended and monotonically heterogeneous, e.g., through spatially-dependent natural frequency, the resonance tongues can also display 'U' and 'W' shapes; to the latter, we refer as "inverse camel" shape. We study the generic forced complex Ginzburg-Landau equation for damped oscillations under parametric forcing and, using linear stability analysis and numerical simulations, uncover the mechanisms that lead to these distinct shapes. Additionally, we study the effects of discretization, by exploring frequency locking of oscillators chains. Since we study a normal-form equation, the results are model-independent near the onset of oscillations, and, therefore, applicable to inherently heterogeneous systems in general, such as the cochlea. The results are also applicable to controlling technological performances in various contexts, such as arrays of mechanical resonators, catalytic surface reactions, and nonlinear optics.


title: Structural Properties of the Stable Core

abstract: The stable core, an inner model of the form $\langle L[S],\in, S\rangle$ for a simply definable predicate $S$, was introduced by the first author in [Fri12], where he showed that $V$ is a class forcing extension of its stable core. We study the structural properties of the stable core and its interactions with large cardinals. We show that the $\operatorname{GCH}$ can fail at all regular cardinals in the stable core, that the stable core can have a discrete proper class of measurable cardinals, but that measurable cardinals need not be downward absolute to the stable core. Moreover, we show that, if large cardinals exist in $V$, then the stable core has inner models with a proper class of measurable limits of measurables, with a proper class of measurable limits of measurable limits of measurables, and so forth. We show this by providing a characterization of natural inner models $L[C_1, \dots, C_n]$ for specially nested class clubs $C_1, \dots, C_n$, like those arising in the stable core, generalizing recent results of Welch [Wel19].


title: Effects of nuclear symmetry energy and equation of state on neutron star properties

abstract: We study the effects of nuclear symmetry energy on the mass-radius relation and tidal deformability of neutron stars, considering the self-consistency of the equation of state (EOS). We first construct a set of unified EOSs based on relativistic mean-field models with different density dependence of the symmetry energy. For the description of pasta phases appearing in the inner crust of neutron stars, we perform a self-consistent Thomas-Fermi calculation using the same nuclear interaction as that for the uniform matter in the core. To examine possible effects from the self-consistency of the EOS on neutron-star properties, we separately investigate the impacts of crust and core segments. By matching the same core EOS to different crust EOSs, it is found that neutron-star radii are significantly affected by the crust segment. On the other hand, the neutron-star radii are also strongly dependent on the core EOS. However, the correlation between the radius and the symmetry energy slope of the core EOS is opposite to that of the crust EOS. It is likely that the nuclear model with a small slope parameter is favored by recent astrophysical observations.


title: Joint Diacritization, Lemmatization, Normalization, and Fine-Grained Morphological Tagging

abstract: Semitic languages can be highly ambiguous, having several interpretations of the same surface forms, and morphologically rich, having many morphemes that realize several morphological features. This is further exacerbated for dialectal content, which is more prone to noise and lacks a standard orthography. The morphological features can be lexicalized, like lemmas and diacritized forms, or non-lexicalized, like gender, number, and part-of-speech tags, among others. Joint modeling of the lexicalized and non-lexicalized features can identify more intricate morphological patterns, which provide better context modeling, and further disambiguate ambiguous lexical choices. However, the different modeling granularity can make joint modeling more difficult. Our approach models the different features jointly, whether lexicalized (on the character-level), where we also model surface form normalization, or non-lexicalized (on the word-level). We use Arabic as a test case, and achieve state-of-the-art results for Modern Standard Arabic, with 20% relative error reduction, and Egyptian Arabic (a dialectal variant of Arabic), with 11% reduction.


title: An Index Theory for Collision, Parabolic and Hyperbolic Solutions of the Newtonian $n$-body Problem

abstract: In the Newtonian $n$-body problem for solutions with arbitrary energy, which start and end either at a total collision or a parabolic/hyperbolic infinity, we prove some basic results about their Morse and Maslov indices. Moreover for homothetic solutions with arbitrary energy, we give a simple and precise formula that relates the Morse indices of these homothetic solutions to the spectra of the normalized potential at the corresponding central configurations. Potentially these results could be useful in the application of non-action minimization methods in the Newtonian $n$-body problem.


title: Chiral transition and meson melting with finite chemical potential in an improved soft-wall AdS/QCD Model

abstract: We give a further study on the improved soft-wall AdS/QCD model with two flavors. The chiral transition behaviors are studied in the case of finite chemical potential, with the chiral phase diagram obtained at zero quark mass. The thermal spectral functions of the vector and axial-vector mesons are calculated, and the in-medium melting properties of the mesons are investigated. We find that the chiral transition behaviors and the meson melting properties at finite chemical potential can be qualitatively described by the improved soft-wall AdS/QCD model, except in the region of large chemical potential. The reason for these inadequate descriptions may be that the background geometry adopted in the model is not a dynamical one which is able to produce the QCD equation of state. To give a quantitative description for these low-energy phenomenologies, we shall consider a more consistent AdS/QCD model which treats the background fields and the chiral fields on the same footing.


title: Parallelizing Training of Deep Generative Models on Massive Scientific Datasets

abstract: Training deep neural networks on large scientific data is a challenging task that requires enormous compute power, especially if no pre-trained models exist to initialize the process. We present a novel tournament method to train traditional as well as generative adversarial networks built on LBANN, a scalable deep learning framework optimized for HPC systems. LBANN combines multiple levels of parallelism and exploits some of the worlds largest supercomputers. We demonstrate our framework by creating a complex predictive model based on multi-variate data from high-energy-density physics containing hundreds of millions of images and hundreds of millions of scalar values derived from tens of millions of simulations of inertial confinement fusion. Our approach combines an HPC workflow and extends LBANN with optimized data ingestion and the new tournament-style training algorithm to produce a scalable neural network architecture using a CORAL-class supercomputer. Experimental results show that 64 trainers (1024 GPUs) achieve a speedup of 70.2 over a single trainer (16 GPUs) baseline, and an effective 109% parallel efficiency.


title: The asymptotic zero distribution of Lommel polynomials as polynomials of the order with a variable complex argument

abstract: We study the asymptotic distribution of roots of Lommel polynomials as polynomials of the order with a variable and purely imaginary argument. The roots are complex and accumulate on certain curves in the complex plane. We prove existence of the weak limit of corresponding root-counting measures and deduce formulas for the supporting curves and density. The obtained result represents a solvable example of a more general problem which is still open. Numerical illustrations of the main result are also involved.


title: Ring dark solitons in three-dimensional Bose-Einstein condensates

abstract: In this work we present a systematic study of the three-dimensional extension of the ring dark soliton examining its existence, stability, and dynamics in isotropic harmonically trapped Bose-Einstein condensates. Detuning the chemical potential from the linear limit, the ring dark soliton becomes unstable immediately, but can be fully stabilized by an external cylindrical potential. The ring has a large number of unstable modes which are analyzed through spectral stability analysis. Furthermore, a few typical destabilization dynamical scenarios are revealed with a number of interesting vortical structures emerging such as the two or four coaxial parallel vortex rings. In the process of considering the stability of the structure, we also develop a modified version of the degenerate perturbation theory method for characterizing the spectra of the coherent structure. This semi-analytical method can be reliably applied to any soliton with a linear limit to explore its spectral properties near this limit. The good agreement of the resulting spectrum is illustrated via a comparison with the full numerical Bogolyubov-de Gennes spectrum. The application of the method to the two-component ring dark-bright soliton is also discussed.


title: Plasmonic nanocavity modes: From near-field to far-field radiation

abstract: In the past decade, advances in nanotechnology have led to the development of plasmonic nanocavities which facilitate light-matter strong coupling in ambient conditions. The most robust example is the nanoparticle-on-mirror (NPoM) structure whose geometry is controlled with subnanometer precision. The excited plasmons in such nanocavities are extremely sensitive to the exact morphology of the nanocavity, giving rise to unexpected optical behaviors. So far, most theoretical and experimental studies on such nanocavities have been based solely on their scattering and absorption properties. However, these methods do not provide a complete optical description of a NPoM. Here, the NPoM is treated as an open non-conservative system supporting a set of photonic quasinormal modes (QNMs). By investigating the morphology-dependent optical properties of nanocavities, we propose a simple yet comprehensive nomenclature based on spherical harmonics and report spectrally overlapping bright and dark nanogap eigenmodes. The near-field and far-field optical properties of NPoMs are explored and reveal intricate multi-modal interactions.


title: Emergent naming conventions in a foraging robot swarm

abstract: In this study, we investigate the emergence of naming conventions within a swarm of robots that collectively forage, that is, collect resources from multiple sources in the environment. While foraging, the swarm explores the environment and makes a collective decision on how to exploit the available resources, either by selecting a single source or concurrently exploiting more than one. At the same time, the robots locally exchange messages in order to agree on how to name each source. Here, we study the correlation between the task-induced interaction network and the emergent naming conventions. In particular, our goal is to determine whether the dynamics of the interaction network are sufficient to determine an emergent vocabulary that is potentially useful to the robot swarm. To be useful, linguistic conventions need to be compact and meaningful, that is, to be the minimal description of the relevant features of the environment and of the made collective decision. We show that, in order to obtain a useful vocabulary, the task-dependent interaction network alone is not sufficient but it must be combined with a correlation between language and foraging dynamics. On the basis of these results, we propose a decentralised algorithm for collective categorisation which enables the swarm to achieve a useful -- compact and meaningful -- naming of all the available sources. Understanding how useful linguistic conventions emerge contributes to the design of robot swarms with potentially improved autonomy, flexibility, and self-awareness.


title: The Thermodynamics of the Perfect Vapor

abstract: In this paper, heat and Carnot's working substance are defined respectively by the equations $E=3pV$ and $E=3/2pV$, relating the energy $E$, the pressure $p$ and the volume $V$ of these two corpuscular systems. The thermodynamic-kinetic theoretical analysis of their equilibrium reveals that the constraints imposed by the second law on the working substance are the consequence of the relativistic and the quantum taut constraints, respectively, $|v|\le c$ and $|\Delta p\Delta q|\ge h$, imposed on the motion of its molecules. It is further shown that the action of these restrictions is described by the ladder operators. By revealing the laws that rule the entropy formation mechanism, thereby explaining the time asymmetry, the present approach supersedes statistical mechanics. Furthermore, it establishes the epistemological chain connecting the laws of thermodynamics to the axioms of quantum mechanics, leading to yet another unorthodox interpretation of that theory.


title: A Closed Queueing Maintenance Network with Two Batch Policies

abstract: This paper discusses a maintenance network with failed items that can be removed, repaired, redistributed, and reused under two batch policies: one for removing the failed items from each base to a maintenance shop and the other for redistributing the repaired items from the maintenance shop to bases. This maintenance network can be considered a virtual closed queueing network, and the Markov system of each node is described as an elegant block-structured Markov process whose stationary probabilities can be computed by the RG-factorizations. The structure of this maintenance network is novel and interesting. To compute the closed queueing network, we set up a new nonlinear matrix equation to determine the relative arrival rates, in which the nonlinearity comes from two different groups of processes: the failure and removal processes and the repair and redistribution processes. This paper also extends a simple queueing system of a node to a more general block-structured Markov process which can be computed by the RG-factorizations. Based on this, the paper establishes a more general product-form solution for the closed queueing network and provides performance analysis of the maintenance network. Our method will open a new avenue for quantitative evaluation of more general maintenance networks.