title: Concentration of kernel matrices with application to kernel spectral clustering

abstract: We study the concentration of random kernel matrices around their mean. We derive nonasymptotic exponential concentration inequalities for Lipschitz kernels assuming that the data points are independent draws from a class of multivariate distributions on $\mathbb R^d$, including the strongly log-concave distributions under affine transformations. A feature of our result is that the data points need not have identical distributions or zero mean, which is key in certain applications such as clustering. Our bound for the Lipschitz kernels is dimension-free and sharp up to constants. For comparison, we also derive the companion result for the Euclidean (inner product) kernel for a class of sub-Gaussian distributions. A notable difference between the two cases is that, in contrast to the Euclidean kernel, in the Lipschitz case, the concentration inequality does not depend on the mean of the underlying vectors. As an application of these inequalities, we derive a bound on the misclassification rate of a kernel spectral clustering (KSC) algorithm, under a perturbed nonparametric mixture model. We show an example where this bound establishes the high-dimensional consistency (as $d \to \infty$) of the KSC, when applied with a Gaussian kernel, to a noisy model of nested nonlinear manifolds.


title: Identifying Different Definitions of Future in the Assessment of Future Economic Conditions: Application of PU Learning and Text Mining

abstract: The Economy Watcher Survey, which is a market survey published by the Japanese government, contains \emph{assessments of current and future economic conditions} by people from various fields. Although this survey provides insights regarding economic policy for policymakers, a clear definition of the word "future" in future economic conditions is not provided. Hence, the assessments respondents provide in the survey are simply based on their interpretations of the meaning of "future." This motivated us to reveal the different interpretations of the future in their judgments of future economic conditions by applying weakly supervised learning and text mining. In our research, we separate the assessments of future economic conditions into economic conditions of the near and distant future using learning from positive and unlabeled data (PU learning). Because the dataset includes data from several periods, we devised new architecture to enable neural networks to conduct PU learning based on the idea of multi-task learning to efficiently learn a classifier. Our empirical analysis confirmed that the proposed method could separate the future economic conditions, and we interpreted the classification results to obtain intuitions for policymaking.


title: Happy Birthday, Ultra-Cold Neutron!

abstract: What is driving the accelerated expansion of the universe and do we have an alternative for Einstein's cosmological constant? What is dark matter made of? Do extra dimensions of space and time exist? Is there a preferred frame in the universe? To which extent is left-handedness a preferred symmetry in nature? What's the origin of the baryon asymmetry in the universe? These fundamental and open questions are addressed by precision experiments using ultra-cold neutrons. This year, we celebrate the 50th anniversary of their first production, followed by first pioneering experiments. Actually, ultra-cold neutrons were discovered twice in the same year, once in the eastern and once in the western world. For five decades now research projects with ultra-cold neutrons have contributed to the determination of the force constants of nature's fundamental interactions, and several technological breakthroughs in precision allow to address the open questions by putting them to experimental test. To mark the event and tribute to this fabulous object, we present a birthday song for ultra-cold neutrons with acoustic resonant transitions, which are based solely on properties of ultra-cold neutrons, the inertial and gravitational mass of the neutron, Planck's constant, and the local gravity. We make use of a musical intonation system that bears no relation to basic notation and basic musical theory as applied and used elsewhere but addresses two fundamental problems of music theory, the problem of reference for the concert pitch and the problem of intonation.


title: An Algorithm for Multi-Attribute Diverse Matching

abstract: Bipartite b-matching, where agents on one side of a market are matched to one or more agents or items on the other, is a classical model that is used in myriad application areas such as healthcare, advertising, education, and general resource allocation. Traditionally, the primary goal of such models is to maximize a linear function of the constituent matches (e.g., linear social welfare maximization) subject to some constraints. Recent work has studied a new goal of balancing whole-match diversity and economic efficiency, where the objective is instead a monotone submodular function over the matching. Basic versions of this problem are solvable in polynomial time. In this work, we prove that the problem of simultaneously maximizing diversity along several features (e.g., country of citizenship, gender, skills) is NP-hard. To address this problem, we develop the first combinatorial algorithm that constructs provably-optimal diverse b-matchings in pseudo-polynomial time. We also provide a Mixed-Integer Quadratic formulation for the same problem and show that our method guarantees optimal solutions and takes less computation time for a reviewer assignment application.


title: Measurements of production and inelastic cross sections for $\mbox{p}+\mbox{C}$, $\mbox{p}+\mbox{Be}$, and $\mbox{p}+\mbox{Al}$ at 60 GeV/$c$ and $\mbox{p}+\mbox{C}$ and $\mbox{p}+\mbox{Be}$ at 120 GeV/$c$

abstract: This paper presents measurements of production cross sections and inelastic cross sections for the following reactions: 60 GeV/$c$ protons with C, Be, Al targets and 120 GeV/$c$ protons with C and Be targets. The analysis was performed using the NA61/SHINE spectrometer at the CERN SPS. First measurements were obtained using protons at 120 GeV/$c$, while the results for protons at 60 GeV/$c$ were compared with previously published measurements. These interaction cross section measurements are critical inputs for neutrino flux prediction in current and future accelerator-based long-baseline neutrino experiments.


title: Reconfigurable Multi-UAV Formation Using Angle-Encoded PSO

abstract: In this paper, we propose an algorithm for the formation of multiple UAVs used in vision-based inspection of infrastructure. A path planning algorithm is first developed by using a variant of the particle swarm optimisation, named theta-PSO, to generate a feasible path for the overall formation configuration taken into account the constraints for visual inspection. Here, we introduced a cost function that includes various constraints on flight safety and visual inspection. A reconfigurable topology is then added based on the use of intermediate waypoints to allow the formation to avoid collision with obstacles during operation. The planned path and formation are then combined to derive the trajectory and velocity profiles for each UAV. Experiments have been conducted for the task of inspecting a light rail bridge. The results confirmed the validity and effectiveness of the proposed algorithm.


title: Microwave and RF signal processing based on integrated soliton crystal optical microcombs

abstract: Microcombs are powerful tools as sources of multiple wavelength channels for photonic RF signal processing. They offer a compact device footprint, large numbers of wavelengths, and wide Nyquist bands. Here, we review recent progress on microcomb-based photonic RF signal processors, including true time delays, reconfigurable filters, Hilbert transformers, differentiators, and channelizers. The strong potential of optical micro-combs for RF photonics applications in terms of functions and integrability is also discussed.


title: Deep Weakly-Supervised Learning Methods for Classification and Localization in Histology Images: A Survey

abstract: Using deep learning models to diagnose cancer from histology data presents several challenges. Cancer grading and localization of regions of interest (ROIs) in these images normally relies on both image- and pixel-level labels, the latter requiring a costly annotation process. Deep weakly-supervised object localization (WSOL) methods provide different strategies for low-cost training of deep learning models. Using only image-class annotations, these methods can be trained to classify an image, and yield class activation maps (CAMs) for ROI localization. This paper provides a review of state-of-art DL methods for WSOL. We propose a taxonomy where these methods are divided into bottom-up and top-down methods according to the information flow in models. Although the latter have seen limited progress, recent bottom-up methods are currently driving much progress with deep WSOL methods. Early works focused on designing different spatial pooling functions. However, these methods reached limited localization accuracy, and unveiled a major limitation -- the under-activation of CAMs which leads to high false negative localization. Subsequent works aimed to alleviate this issue and recover complete object. Representative methods from our taxonomy are evaluated and compared in terms of classification and localization accuracy on two challenging histology datasets. Overall, the results indicate poor localization performance, particularly for generic methods that were initially designed to process natural images. Methods designed to address the challenges of histology data yielded good results. However, all methods suffer from high false positive/negative localization. Four key challenges are identified for the application of deep WSOL methods in histology -- under/over activation of CAMs, sensitivity to thresholding, and model selection.


title: Fast explicit dynamics finite element algorithm for transient heat transfer

abstract: This paper presents a novel methodology for fast simulation and analysis of transient heat transfer. The proposed methodology is suitable for real-time applications owing to (i) establishing the solution method from the viewpoint of computationally efficient explicit dynamics, (ii) proposing an element-level thermal load computation to eliminate the need for assembling global thermal stiffness, leading to (iii) an explicit formulation of nodal temperature computation to eliminate the need for iterations anywhere in the algorithm, (iv) pre-computing the constant matrices and simulation parameters to facilitate online calculation, and (v) utilising computationally efficient finite elements to efficiently obtain thermal responses in the spatial domain, all of which lead to a significant reduction in computation time for fast run-time simulation. The proposed fast explicit dynamics finite element algorithm (FED-FEM) employs nonlinear thermal material properties, such as temperature-dependent thermal conductivity and specific heat capacity, and nonlinear thermal boundary conditions, such as heat convection and radiation, to account for nonlinear characteristics of transient heat transfer. Simulations and comparison analyses demonstrate that not only can the proposed methodology handle isotropic, orthotropic, anisotropic and temperature-dependent thermal properties but also satisfy the standard patch tests and achieve good agreement with those of the commercial finite element analysis packages for numerical accuracy, for 3-D heat conduction, convection, radiation, and thermal gradient concentration problems. Furthermore, the proposed FED-FEM algorithm is computationally efficient and only consumes a small computation time, capable of achieving real-time computational performance, leading to a novel methodology suitable for real-time simulation and analysis of transient heat transfer.


title: Inverse Problems for Jacobi Operators with Mixed Spectral Data

abstract: We consider semi-infinite Jacobi matrices with discrete spectrum. We prove that the Jacobi operator can be uniquely recovered from one spectrum and subsets of another spectrum and norming constants corresponding to the first spectrum. We also solve this Borg-Marchenko-type problem under some conditions on two spectra, when missing part of the second spectrum and known norming constants have different index sets.


title: A van Douwen-like ZFC theorem for small powers of countably compact groups without non-trivial convergent sequences

abstract: We show that if $\kappa \leq \omega$ and there exists a group topology without non-trivial convergent sequences on an Abelian group $H$ such that $H^n$ is countably compact for each $n<\kappa$ then there exists a topological group $G$ such that $G^n$ is countably compact for each $n <\kappa$ and $G^{\kappa}$ is not countably compact. If in addition $H$ is torsion, then the result above holds for $\kappa=\omega_1$. Combining with other results in the literature, we show that: $a)$ Assuming ${\mathfrak c}$ incomparable selective ultrafilters, for each $n \in \omega$, there exists a group topology on the free Abelian group $G$ such that $G^n$ is countably compact and $G^{n+1}$ is not countably compact. (It was already know for $\omega$). $b)$ If $\kappa \in \omega \cup \{\omega\} \cup \{\omega_1\}$, there exists in ZFC a topological group $G$ such that $G^\gamma$ is countably compact for each cardinal $\gamma <\kappa$ and $G^\kappa$ is not countably compact.


title: Emergent behaviors of the discrete-time Kuramoto model for generic initial configuration

abstract: In this paper, we will study the emergent dynamics of the discrete Kuramoto model for generic initial data. This is an extension of the previous work S.-Y. Ha et al. (2019), in which the initial configurations are supposed to be within a half circle. More precisely, we will provide the theory of discrete gradient flow which can be applied to general Euler iteration scheme. Therefore, as a direct application, we conclude the emergence of synchronization of discrete Kuramoto model. Moreover, we obtain for small mesh size that, the synchronization will occur exponentially fast for initial data in A_1 (see definition in (4.1)).


title: Distributed Training of Embeddings using Graph Analytics

abstract: Many applications today, such as NLP, network analysis, and code analysis, rely on semantically embedding objects into low-dimensional fixed-length vectors. Such embeddings naturally provide a way to perform useful downstream tasks, such as identifying relations among objects or predicting objects for a given context, etc. Unfortunately, the training necessary for accurate embeddings is usually computationally intensive and requires processing large amounts of data. Furthermore, distributing this training is challenging. Most embedding training uses stochastic gradient descent (SGD), an "inherently" sequential algorithm. Prior approaches to parallelizing SGD do not honor these dependencies and thus potentially suffer poor convergence. This paper presents a distributed training framework for a class of applications that use Skip-gram-like models to generate embeddings. We call this class Any2Vec and it includes Word2Vec, DeepWalk, and Node2Vec among others. We first formulate Any2Vec training algorithm as a graph application and leverage the state-of-the-art distributed graph analytics framework, D-Galois. We adapt D-Galois to support dynamic graph generation and repartitioning, and incorporate novel communication optimizations. Finally, we introduce a novel way to combine gradients during distributed training to prevent accuracy loss. We show that our framework, called GraphAny2Vec, matches on a cluster of 32 hosts the accuracy of the state-of-the-art shared-memory implementations of Word2Vec and Vertex2Vec on 1 host, and gives a geo-mean speedup of 12x and 5x respectively. Furthermore, GraphAny2Vec is on average 2x faster than the state-of-the-art distributed Word2Vec implementation, DMTK, on 32 hosts. We also show the superiority of our Gradient Combiner independent of GraphAny2Vec by incorporating it in DMTK, which raises its accuracy by > 30%.


title: Episode-based Prototype Generating Network for Zero-Shot Learning

abstract: We introduce a simple yet effective episode-based training framework for zero-shot learning (ZSL), where the learning system requires to recognize unseen classes given only the corresponding class semantics. During training, the model is trained within a collection of episodes, each of which is designed to simulate a zero-shot classification task. Through training multiple episodes, the model progressively accumulates ensemble experiences on predicting the mimetic unseen classes, which will generalize well on the real unseen classes. Based on this training framework, we propose a novel generative model that synthesizes visual prototypes conditioned on the class semantic prototypes. The proposed model aligns the visual-semantic interactions by formulating both the visual prototype generation and the class semantic inference into an adversarial framework paired with a parameter-economic Multi-modal Cross-Entropy Loss to capture the discriminative information. Extensive experiments on four datasets under both traditional ZSL and generalized ZSL tasks show that our model outperforms the state-of-the-art approaches by large margins.


title: Quantum Interferometry with Microwave-dressed F=1 Spinor Bose-Einstein Condensates: Role of Initial States and Long Time Evolution

abstract: We numerically investigate atomic interferometry based on spin-exchange collisions in $F=1$ spinor Bose-Einstein condensates in the regime of long evolution times $t\gg h/c$, where c is the spin-dependent interaction energy. We show that the sensitivity of spin-mixing interferometry can be enhanced by using classically seeded initial states with a small population prepared in the $m_F=\pm1$ states.


title: Assessing Disaster Impacts on Highways Using Social Media: Case Study of Hurricane Harvey

abstract: During and after disasters, highways provide vital routes for emergency services, relief efforts, and evacuation activities. Thus, a timely and reliable assessment of disaster impacts on highways is critical for decision-makers to quickly and effectively perform relief and recovery efforts. Recently, social media has increasingly been used in disaster management for obtaining a rapid, public-centric assessment of disaster impacts due to its near real-time, social and informational characteristics. Although promising, the employment of social media for assessing disaster impacts on highways is still limited due to the inability of extracting accurate highway-related data from social media. To overcome this limitation, a systematic approach is proposed to identify highway-related data from social media for assessing disaster impacts on highways, and a case study of Hurricane Harvey in Houston, TX is employed for the demonstration. The approach is constructed through three steps: (1) building data sources for social media and highways of interest in Houston, respectively; (2) adapting the social media data to each highway through a developed mapping algorithm; (3) assessing disaster impacts through analyzing social media activities in terms of their intensity, geographic, and topic distributions. Results show that the proposed approach is capable of capturing the temporal patterns of disaster impacts on highways. Official news and reports are employed to validate the assessed impacts.


title: Deformable Models for Surgical Simulation: A Survey

abstract: This paper presents a survey of the state-of-the-art deformable models studied in the literature concerning soft tissue deformable modeling for interactive surgical simulation. It first introduces the challenges of surgical simulation, followed by discussions and analyses on the deformable models, which are classified into three categories: the heuristic modeling methodology, continuum-mechanical methodology, and other methodologies. It also examines linear and nonlinear deformable modeling, model internal forces, and numerical time integrations, together with modeling of soft tissue anisotropy, viscoelasticity, and compressibility. Finally, various issues in the existing deformable models are discussed to outline the remaining challenges of deformable models in surgical simulation.


title: The Net Radial Flow Velocity of the Neutral Hydrogen in the Oval Distortion of NGC 4736

abstract: The net radial flow velocity of gas is an important parameter for understanding galaxy evolution. It is difficult to measure in the presence of the elliptical orbits of an oval distortion because the mathematical model describing the observed velocity is degenerate in the unknown velocity components. A method is developed in this paper that breaks the degeneracy using additional information about the angular frequency of the oval distortion. The method is applied to the neutral hydrogen in the oval distortion of NGC 4736. The neutral hydrogen is flowing inward at a mean rate of -6.1 $\pm$ 1.9 km s$^{-1}$. At this rate, it takes 400 Myr, or 1.7 rotations of the oval distortion, for the neutral hydrogen to travel the 2.5 kpc from the end to the beginning of the oval distortion. The mean mass flow rate of the neutral hydrogen in this region is -0.25 $\pm$ 0.11 $M_\odot$ yr$^{-1}$, which is similar to estimates for the star formation rate reported in the literature.


title: Dispersive estimates for inhomogeneous fourth-order Schr\"odinger operator in 3D with zero energy obstructions

abstract: We study the $L^1-L^\infty$ dispersive estimate of the inhomogeneous fourth-order Schr\"{o}dinger operator $H=\Delta^{2}-\Delta+V(x)$ with zero energy obstructions in $\mathbf{R}^{3}$. For the related propagator $e^{-itH}$, we prove that for $0<t\leq 1$, then $e^{-itH}P_{ac}(H)$ satisfies the $|t|^{-3/4}$-estimate. For $t>1$, we prove that:\,\, 1) if zero is a regular point of $H$, then $e^{-itH}P_{ac}(H)$ satisfies the $|t|^{-3/2}$- dispersive estimate.\,\, 2) if zero is a resonance of $H$, there exists a time dependent operator $F_{t}$ such that $e^{-itH}P_{ac}(H)-F_{t}$ satisfies the $|t|^{-3/2}$- dispersive estimate.\,\, 3) if zero is a resonance and~/~or an eigenvalue of $H$, then there exists a time dependent operator $G_{t}$ such that $e^{-itH}P_{ac}(H)-G_{t}$ satisfies the $|t|^{-3/2}$- dispersive estimate. Here $F_{t}$ and $G_{t}$ satisfy $|t|^{-1/2}$-dispersive estimates.


title: Simulations of ice chemistry in cometary nuclei

abstract: The first computational model of solid-phase chemistry in cometary nuclear ices is presented. An astrochemical kinetics model, MAGICKAL, is adapted to trace the chemical evolution in multiple layers of cometary ice, over a representative period of 5 Gyr. Physical conditions are chosen appropriate for "cold storage" of the cometary nucleus in the outer Solar System, prior to any active phase. The chemistry is simulated at a selection of static temperatures in the range 5 - 60 K, while the ice is exposed to the interstellar radiation field, inducing a photochemistry in the outer ice layers that produces significant formation of complex organic molecules. A treatment for the chemistry resulting from cosmic-ray bombardment of the ices is also introduced into the model, along with a new formulation for low-temperature photochemistry. Production of simple and complex molecules to depth on the order of 10~m or more is achieved, with local fractional abundances comparable to observed values in many cases. The production of substantial amounts of O$_2$ (and H$_2$O$_2$) is found, suggesting that long-term processing by high-energy cosmic rays of cometary ices in situ, over a period on the order of 1 Gyr, may be sufficient to explain the large observed abundances of O$_2$, if the overall loss of material from the comet is limited to a depth on the order of 10 m. Entry into the inner solar system could produce a further enhancement in the molecular content of the nuclear ices that may be quantifiable using this modeling approach.


title: Onionchain: Towards Balancing Privacy and Traceability of Blockchain-Based Applications

abstract: With the popularity of Blockchain comes grave security-related concerns. Achieving privacy and traceability simultaneously remains an open question. Efforts have been made to address the issues, while they may subject to specific scenarios. This paper studies how to provide a more general solution for this open question. Concretely, we propose Onionchain, featuring a suite of protocols, offering both traceability and privacy. As the term implies, our Onionchain is inspired by Onion routing. We investigate the principles of Onion routing carefully and integrate its mechanism together with Blockchain technology. We advocate the Blockchain community to adopt Onionchain with the regards of privacy and traceability. To this end, a case-study of Onionchain, which runs in the context of Vehicular Ad Hoc Networks (VANETs), is proposed, providing the community a guideline to follow. Systematic security analysis and extensive experiments are also conducted to validate our secure and cost-effective Onionchain.


title: Designing and Interpreting Probes with Control Tasks

abstract: Probes, supervised models trained to predict properties (like parts-of-speech) from representations (like ELMo), have achieved high accuracy on a range of linguistic tasks. But does this mean that the representations encode linguistic structure or just that the probe has learned the linguistic task? In this paper, we propose control tasks, which associate word types with random outputs, to complement linguistic tasks. By construction, these tasks can only be learned by the probe itself. So a good probe, (one that reflects the representation), should be selective, achieving high linguistic task accuracy and low control task accuracy. The selectivity of a probe puts linguistic task accuracy in context with the probe's capacity to memorize from word types. We construct control tasks for English part-of-speech tagging and dependency edge prediction, and show that popular probes on ELMo representations are not selective. We also find that dropout, commonly used to control probe complexity, is ineffective for improving selectivity of MLPs, but that other forms of regularization are effective. Finally, we find that while probes on the first layer of ELMo yield slightly better part-of-speech tagging accuracy than the second, probes on the second layer are substantially more selective, which raises the question of which layer better represents parts-of-speech.


title: Predictive local field theory for interacting active Brownian spheres in two spatial dimensions

abstract: We present a predictive local field theory for the nonequilibrium dynamics of interacting active Brownian particles with a spherical shape in two spatial dimensions. The theory is derived by a rigorous coarse-graining starting from the Langevin equations that describe the trajectories of the individual particles. For maximal accuracy and generality of the theory, it includes configurational order parameters and derivatives up to infinite order. In addition, we discuss possible approximations of the theory and present reduced models that are easier to apply. We show that our theory contains popular models such as Active Model B + as special cases and that it provides explicit expressions for the coefficients occurring in these and other, often phenomenological, models. As a further outcome, the theory yields an analytical expression for the density-dependent mean swimming speed of the particles. To demonstrate an application of the new theory, we analyze a simple reduced model of the lowest nontrivial order in derivatives, which is able to predict the onset of motility-induced phase separation of the particles. By a linear stability analysis, an analytical expression for the spinodal corresponding to motility-induced phase separation is obtained. This expression is evaluated for the case of particles interacting repulsively by a Weeks-Chandler-Anderson potential. The analytical predictions for the spinodal associated with these particles are found to be in very good agreement with the results of Brownian dynamics simulations that are based on the same Langevin equations as our theory. Furthermore, the critical point predicted by our analytical results agrees excellently with recent computational results from the literature.


title: Form Factors and Decay of $\bar{B}_s^0\to J/\psi \phi$ From QCD Sum Rule

abstract: We calculate $\bar{B}_s^0\to \phi$ translation form factors $V$, $A_0$, $A_1$, $A_2$ based on QCD sum rule and study the nonleptonic two-body decay of $\bar{B}_s^0\to J/\psi \phi$ with the form factors obtained. We calculate the time-integrated branching ratio of $\bar{B}_s^0\to J/\psi \phi$ decay. The results for both the total branching ratio and the cases for the final vectors in longitudinal and transverse polarizations are consistent with experimental data.


title: On the connections between algorithmic regularization and penalization for convex losses

abstract: In this work we establish the equivalence of algorithmic regularization and explicit convex penalization for generic convex losses. We introduce a geometric condition for the optimization path of a convex function, and show that if such a condition is satisfied, the optimization path of an iterative algorithm on the unregularized optimization problem can be represented as the solution path of a corresponding penalized problem.


title: ShapeBots: Shape-changing Swarm Robots

abstract: We introduce shape-changing swarm robots. A swarm of self-transformable robots can both individually and collectively change their configuration to display information, actuate objects, act as tangible controllers, visualize data, and provide physical affordances. ShapeBots is a concept prototype of shape-changing swarm robots. Each robot can change its shape by leveraging small linear actuators that are thin (2.5 cm) and highly extendable (up to 20cm) in both horizontal and vertical directions. The modular design of each actuator enables various shapes and geometries of self-transformation. We illustrate potential application scenarios and discuss how this type of interface opens up possibilities for the future of ubiquitous and distributed shape-changing interfaces.


title: Artificial intelligence empowered multi-AGVs in manufacturing systems

abstract: AGVs are driverless robotic vehicles that picks up and delivers materials. How to improve the efficiency while preventing deadlocks is the core issue in designing AGV systems. In this paper, we propose an approach to tackle this problem.The proposed approach includes a traditional AGV scheduling algorithm, which aims at solving deadlock problems, and an artificial neural network based component, which predict future tasks of the AGV system, and make decisions on whether to send an AGV to the predicted starting location of the upcoming task,so as to save the time of waiting for an AGV to go to there first when the upcoming task is created. Simulation results show that the proposed method significantly improves the efficiency as against traditional method, up to 20% to 30%.


title: Controlling quantum coherence of a two-component Bose-Einstein condensate via an impurity atom

abstract: We propose a scheme to control quantum coherence of a two-component Bose-Einstein condensate (BEC) by a single impurity atom immersed in the BEC. We show that the single impurity atom can act as a single atom valve (SAV) to control quantum coherence of the two-component BEC. It is demonstrated that the SAV can realize the on-demand control over quantum coherence at an arbitrary time. Specially, it is found that the SAV can also control higher-order quantum coherence of two-component BEC. We investigate the long-time evolution of quantum coherence of the two-component BEC. It is indicated that the single impurity atom can induce collapse and revival phenomenon of quantum coherence of the two-component BEC. Collapse-revival configurations of quantum coherence can be manipulated by the initial-state parameters of the impurity atom and the impurity-BEC interaction strengths.


title: Robust Full-FoV Depth Estimation in Tele-wide Camera System

abstract: Tele-wide camera system with different Field of View (FoV) lenses becomes very popular in recent mobile devices. Usually it is difficult to obtain full-FoV depth based on traditional stereo-matching methods. Pure Deep Neural Network (DNN) based depth estimation methods can obtain full-FoV depth, but have low robustness for scenarios which are not covered by training dataset. In this paper, to address the above problems we propose a hierarchical hourglass network for robust full-FoV depth estimation in tele-wide camera system, which combines the robustness of traditional stereo-matching methods with the accuracy of DNN. More specifically, the proposed network comprises three major modules: single image depth prediction module infers initial depth from input color image, depth propagation module propagates traditional stereo-matching tele-FoV depth to surrounding regions, and depth combination module fuses the initial depth with the propagated depth to generate final output. Each of these modules employs an hourglass model, which is a kind of encoder-decoder structure with skip connections. Experimental results compared with state-of-the-art depth estimation methods demonstrate that our method not only produces robust and better subjective depth quality on wild test images, but also obtains better quantitative results on standard datasets.


title: Dynamics of a Reaction-Diffusion Benthic-Drift Model with Strong Allee Effect Growth

abstract: The dynamics of a reaction-diffusion-advection benthic-drift population model that links changes in the flow regime and habitat availability with population dynamics is studied. In the model, the stream is divided into drift zone and benthic zone, and the population is divided into two interacting compartments, individuals residing in the benthic zone and individuals dispersing in the drift zone. The benthic population growth is assumed to be of strong Allee effect type. The influence of flow speed and individual transfer rates between zones on the population persistence and extinction is considered, and the criteria of population persistence or extinction are formulated and proved.


title: Ultra-broadband local active noise control with remote acoustic sensing

abstract: One enduring challenge for controlling high frequency sound in local active noise control (ANC) systems is to obtain the acoustic signal at the specific location to be controlled. In some applications such as in ANC headrest systems, it is not practical to install error microphones in a person's ears to provide the user a quiet or optimally acoustically controlled environment. Many virtual error sensing approaches have been proposed to estimate the acoustic signal remotely with the current state-of-the-art method using an array of four microphones and a head tracking system to yield sound reduction up to 1 kHz for a single sound source. In the work reported in this paper, a novel approach of incorporating remote acoustic sensing using a laser Doppler vibrometer into an ANC headrest system is investigated. In this 'virtual ANC headphone' system, a lightweight retro-reflective membrane pick-up is mounted in each synthetic ear of a head and torso simulator to determine the sound in the ear in real-time with minimal invasiveness. The membrane design and the effects of its location on the system performance are explored, the noise spectra in the ears without and with ANC for a variety of relevant primary sound fields are reported, and the performance of the system during head movements is demonstrated. The test results show that at least 10 dB sound attenuation can be realised in the ears over an extended frequency range from (500 Hz to 6 kHz) under a complex sound field and for several common types of synthesised environmental noise, even in the presence of head motion.


title: Memories in the Photoluminescence Intermittency of Single Cesium Lead Bromide Nanocrystals

abstract: Single cesium lead bromide (CsPbBr3) nanocrystals show strong photoluminescence blinking, with on- and off- dwelling times following power-law distributions. We investigate the memory effect in the photoluminescence blinking of single CsPbBr3 nanocrystals and find positive correlations for successive on-times and successive off-times. This memory effect is not sensitive to the nature of the surface capping ligand and the embedding polymer. These observations suggest that photoluminescence intermittency and its memory are mainly controlled by intrinsic traps in the nanocrystals. These findings will help optimizing light-emitting devices based on inorganic perovskite nanocrystals.


title: Modular structure in labour networks reveals skill basins

abstract: There is an emerging consensus in the literature that locally embedded capabilities and industrial know-how are key determinants of growth and diversification processes. In order to model these dynamics as a branching process, whereby industries grow as a function of the availability of related or relevant skills, industry networks are typically employed. These networks, sometimes referred to as industry spaces, describe the complex structure of the capability or skill overlap between industry pairs, measured here via inter-industry labour flows. Existing models typically deploy a local or 'nearest neighbour' approach to capture the size of the labour pool available to an industry in related sectors. This approach, however, ignores higher order interactions in the network, and the presence of industry clusters or groups of industries which exhibit high internal skill overlap. We argue that these clusters represent skill basins in which workers circulate and diffuse knowledge, and delineate the size of the skilled labour force available to an industry. By applying a multi-scale community detection algorithm to this network of flows, we identify industry clusters on a range of scales, from many small clusters to few large groupings. We construct a new variable, cluster employment, which captures the workforce available to an industry within its own cluster. Using UK data we show that this variable is predictive of industry-city employment growth and, exploiting the multi-scale nature of the industrial clusters detected, propose a methodology to uncover the optimal scale at which labour pooling operates.


title: Automatic Image Pixel Clustering based on Mussels Wandering Optimiz

abstract: Image segmentation as a clustering problem is to identify pixel groups on an image without any preliminary labels available. It remains a challenge in machine vision because of the variations in size and shape of image segments. Furthermore, determining the segment number in an image is NP-hard without prior knowledge of the image content. This paper presents an automatic color image pixel clustering scheme based on mussels wandering optimization. By applying an activation variable to determine the number of clusters along with the cluster centers optimization, an image is segmented with minimal prior knowledge and human intervention. By revising the within- and between-class sum of squares ratio for random natural image contents, we provide a novel fitness function for image pixel clustering tasks. Comprehensive empirical studies of the proposed scheme against other state-of-the-art competitors on synthetic data and the ASD dataset have demonstrated the promising performance of the proposed scheme.


title: Minimum status, matching and domination of graphs

abstract: The minimum status of a graph is the minimum of statuses of all vertices of this graph. We give a sharp upper bound for the minimum status of a connected graph with fixed order and matching number (domination number, respectively), and characterize the unique trees achieving the bound. We also determine the unique tree such that its minimum status is as small as possible when order and matching number (domination number, respectively) are fixed.


title: Characterizing the interplay between information and strength in Blotto games

abstract: In this paper, we investigate informational asymmetries in the Colonel Blotto game, a game-theoretic model of competitive resource allocation between two players over a set of battlefields. The battlefield valuations are subject to randomness. One of the two players knows the valuations with certainty. The other knows only a distribution on the battlefield realizations. However, the informed player has fewer resources to allocate. We characterize unique equilibrium payoffs in a two battlefield setup of the Colonel Blotto game. We then focus on a three battlefield setup in the General Lotto game, a popular variant of the Colonel Blotto game. We characterize the unique equilibrium payoffs and mixed equilibrium strategies. We quantify the value of information - the difference in equilibrium payoff between the asymmetric information game and complete information game. We find information strictly improves the informed player's performance guarantee. However, the magnitude of improvement varies with the informed player's strength as well as the game parameters. Our analysis highlights the interplay between strength and information in adversarial environments.


title: Correlations in flavor-changing tqZ couplings constrained via experimental data

abstract: Possible non-standard tqZ couplings, where q=c or u, originated from general flavor-changing-neutral-current interactions are studied model-independently using the effective Lagrangian consisting of several SU(3)xSU(2)xU(1) invariant dimension-6 operators. After the electroweak symmetry breaking, these operators are recombined to form four kinds of independent terms whose coefficients are complex in general. The Lagrangian could therefore include up to eight independent coupling parameters. Through searches for experimentally allowed regions of these parameters, it is found that some correlations exist among the signs and sizes of those couplings.


title: Covers in the Canonical Grothendieck Topology

abstract: We explore the canonical Grothendieck topology in some specific circumstances. First we use a description of the canonical topology to get a variant of Giraud's Theorem. Then we explore the canonical Grothendieck topology on the categories of sets and topological spaces; here we get a nice basis for the topology. Lastly, we look at the canonical Grothendieck topology on the category of $R$-modules.


title: A Resource-Efficient Embedded Iris Recognition System Using Fully Convolutional Networks

abstract: Applications of Fully Convolutional Networks (FCN) in iris segmentation have shown promising advances. For mobile and embedded systems, a significant challenge is that the proposed FCN architectures are extremely computationally demanding. In this article, we propose a resource-efficient, end-to-end iris recognition flow, which consists of FCN-based segmentation, contour fitting, followed by Daugman normalization and encoding. To attain accurate and efficient FCN models, we propose a three-step SW/HW co-design methodology consisting of FCN architectural exploration, precision quantization, and hardware acceleration. In our exploration, we propose multiple FCN models, and in comparison to previous works, our best-performing model requires 50X less FLOPs per inference while achieving a new state-of-the-art segmentation accuracy. Next, we select the most efficient set of models and further reduce their computational complexity through weights and activations quantization using 8-bit dynamic fixed-point (DFP) format. Each model is then incorporated into an end-to-end flow for true recognition performance evaluation. A few of our end-to-end pipelines outperform the previous state-of-the-art on two datasets evaluated. Finally, we propose a novel DFP accelerator and fully demonstrate the SW/HW co-design realization of our flow on an embedded FPGA platform. In comparison with the embedded CPU, our hardware acceleration achieves up to 8.3X speedup for the overall pipeline while using less than 15% of the available FPGA resources. We also provide comparisons between the FPGA system and an embedded GPU showing different benefits and drawbacks for the two platforms.


title: Shape deformation of nanoresonator: a quasinormal-mode perturbation theory

abstract: When material parameters are fixed, optical responses of nanoresonators are dictated by their shapes and dimensions. Therefore, both designing nanoresonators and understanding their underlying physics would benefit from a theory that predicts the evolutions of resonance modes of open systems---the so-called quasinormal modes (QNMs)---as the nanoresonator shape changes. QNM perturbation theories (PTs) are one ideal choice. However, existing theories developed for material changes are unable to provide accurate perturbation corrections for shape deformations. By introducing a novel extrapolation technique, we develop a rigorous QNM PT that faithfully represents the electromagnetic fields in perturbed domain. Numerical tests performed on the eigenfrequencies, eigenmodes and optical responses of deformed nanoresonators evidence the predictive force of the present PT, even for large deformations. This opens new avenues for inverse design, as we exemplify by designing super-cavity modes and exceptional points with remarkable ease and physical insight.


title: A note on barreledness in locally convex cones

abstract: Locally convex cones are generalization of locally convex spaces. The assertion, whether a barreled cone is an upper-barreled cone or not, was posed as a question in [A. Ranjbari, H. Saiflu, Projective and inductive limits in locally convex cones, J. Math. Anal. Appl. 332 (2) (2007) 1097-1108]. In this paper, we show that a barreled locally convex cone is not necessarily upper-barreled.


title: L_DMI: An Information-theoretic Noise-robust Loss Function

abstract: Accurately annotating large scale dataset is notoriously expensive both in time and in money. Although acquiring low-quality-annotated dataset can be much cheaper, it often badly damages the performance of trained models when using such dataset without particular treatment. Various methods have been proposed for learning with noisy labels. However, most methods only handle limited kinds of noise patterns, require auxiliary information or steps (e.g. , knowing or estimating the noise transition matrix), or lack theoretical justification. In this paper, we propose a novel information-theoretic loss function, $\mathcal{L}_{DMI}$, for training deep neural networks robust to label noise. The core of $\mathcal{L}_{DMI}$ is a generalized version of mutual information, termed Determinant based Mutual Information (DMI), which is not only information-monotone but also relatively invariant. \emph{To the best of our knowledge, $\mathcal{L}_{DMI}$ is the first loss function that is provably robust to instance-independent label noise, regardless of noise pattern, and it can be applied to any existing classification neural networks straightforwardly without any auxiliary information}. In addition to theoretical justification, we also empirically show that using $\mathcal{L}_{DMI}$ outperforms all other counterparts in the classification task on both image dataset and natural language dataset include Fashion-MNIST, CIFAR-10, Dogs vs. Cats, MR with a variety of synthesized noise patterns and noise amounts, as well as a real-world dataset Clothing1M. Codes are available at https://github.com/Newbeeer/L_DMI .


title: Global dynamics of the diffusive Lotka-Volterra competition model with stage structure

abstract: The global asymptotic behavior of the classical diffusive Lotka-Volterra competition model with stage structure is studied. A complete classification of the global dynamics is given for the weak competition case. It is shown that under otherwise same conditions, the species with shorter maturation time prevails. The method is also applied to the global dynamics of another delayed competition models.


title: On the Hausdorff dimensions of exploding measures originated from IFS

abstract: We study continuity and discontinuity properties of some popular measure-dimension mappings under some topologies on the space of probability measures in this work. We give examples to show that no continuity can be guaranteed under general weak, setwise or TV topology on the space of measures for any of these measure-dimension mappings. However, in some particular circumstances or by assuming some restrictions on the measures, we do have some (semi-)continuity results. We then apply our continuity results to concerning measures appearing in two kinds of infinite iterated function systems, namely, CIFS and CGDMS , to show the convergence of the Hausdorff dimensions of the concerning measures induced from the finite sub-systems of these infinite systems. These applications answer a problem of Mauldin-Urba\'nski originally posed on $t$-conformal measures for CIFS in the last 90s positively. Finally we indicate more applications of our techniques in some more general circumstances and give some remarks on the relationship between the Hausdorff dimensions of measures and their logarithmic density in general settings.


title: Distribution-Free Testing of Linear Functions on R^n

abstract: We study the problem of testing whether a function f:R^n->R is linear (i.e., both additive and homogeneous) in the distribution-free property testing model, where the distance between functions is measured with respect to an unknown probability distribution over R. We show that, given query access to f, sampling access to the unknown distribution as well as the standard Gaussian, and eps>0, we can distinguish additive functions from functions that are eps-far from additive functions with O((1/eps)log(1/eps)) queries, independent of n. Furthermore, under the assumption that f is a continuous function, the additivity tester can be extended to a distribution-free tester for linearity using the same number of queries. On the other hand, we show that if we are only allowed to get values of f on sampled points, then any distribution-free tester requires Omega(n) samples, even if the underlying distribution is the standard Gaussian.


title: Living near the edge: A lower-bound on the phase transition of total variation minimization

abstract: This work is about the total variation (TV) minimization which is used for recovering gradient-sparse signals from compressed measurements. Recent studies indicate that TV minimization exhibits a phase transition behavior from failure to success as the number of measurements increases. In fact, in large dimensions, TV minimization succeeds in recovering the gradient-sparse signal with high probability when the number of measurements exceeds a certain threshold; otherwise, it fails almost certainly. Obtaining a closed-form expression that approximates this threshold is a major challenge in this field and has not been appropriately addressed yet. In this work, we derive a tight lower-bound on this threshold in case of any random measurement matrix whose null space is distributed uniformly with respect to the Haar measure. In contrast to the conventional TV phase transition results that depend on the simple gradient-sparsity level, our bound is highly affected by generalized notions of gradient-sparsity. Our proposed bound is very close to the true phase transition of TV minimization confirmed by simulation results.


title: Extreme points and support points of families of harmonic Bloch mappings

abstract: In this paper, the main aim is to discuss the existence of the extreme points and support points of families of harmonic Bloch mappings and little harmonic Bloch mappings. First, in terms of the Bloch unit-valued set, we prove a necessary condition for a harmonic Bloch mapping (resp. a little harmonic Bloch mapping) to be an extreme point of the unit ball of the normalized harmonic Bloch spaces (resp. the normalized little harmonic Bloch spaces) in the unit disk $\mathbb{D}$. Then we show that a harmonic Bloch mapping $f$ is a support point of the unit ball of the normalized harmonic Bloch spaces in $\mathbb{D}$ if and only if the Bloch unit-valued set of $f$ is not empty. We also give a characterization for the support points of the unit ball of the harmonic Bloch spaces in $\mathbb{D}$.


title: Powers of Dehn twists generating right-angled Artin groups

abstract: We give a bound for the exponents of powers of Dehn twists to generate a right-angled Artin group. Precisely, if $\mathcal{F}$ is a finite collection of pairwise distinct simple closed curves on a finite type surface and if $N$ denotes the maximum of the intersection numbers of all pairs of curves in $\mathcal{F}$, then we prove that $\{T_\gamma^n \,\vert\, \gamma \in \mathcal{F} \}$ generates a right-angled Artin group for all $n \geq N^2 + N + 3$. This extends a previous result of Koberda, who proved the existence of a bound possibly depending on the underlying hyperbolic structure of the surface. In the course of the proof, we obtain a universal bound depending only on the topological type of the surface in certain cases, which partially answers a question due to Koberda.


title: Multi-group connectivity structures and their implications

abstract: We investigate the implications of different forms of multi-group connectivity. Four multi-group connectivity modalities are considered: co-memberships, edge bundles, bridges, and liaison hierarchies. We propose generative models to generate these four modalities. Our models are variants of planted partition or stochastic block models conditioned under certain topological constraints. We report findings of a comparative analysis in which we evaluate these structures, controlling for their edge densities and sizes, on mean rates of information propagation, convergence times to consensus, and steady state deviations from the consensus value in the presence of noise as network size increases.


title: Quality Estimation for Image Captions Based on Large-scale Human Evaluations

abstract: Automatic image captioning has improved significantly over the last few years, but the problem is far from being solved, with state of the art models still often producing low quality captions when used in the wild. In this paper, we focus on the task of Quality Estimation (QE) for image captions, which attempts to model the caption quality from a human perspective and without access to ground-truth references, so that it can be applied at prediction time to detect low-quality captions produced on previously unseen images. For this task, we develop a human evaluation process that collects coarse-grained caption annotations from crowdsourced users, which is then used to collect a large scale dataset spanning more than 600k caption quality ratings. We then carefully validate the quality of the collected ratings and establish baseline models for this new QE task. Finally, we further collect fine-grained caption quality annotations from trained raters, and use them to demonstrate that QE models trained over the coarse ratings can effectively detect and filter out low-quality image captions, thereby improving the user experience from captioning systems.


title: Evidence of Single State Dominance in the Two-Neutrino Double-$\beta$ Decay of Se-82 with CUPID-0

abstract: We report on the measurement of the two-neutrino double-$\beta$ decay of $^{82}$Se performed for the first time with cryogenic calorimeters, in the framework of the CUPID-0~experiment. With an exposure of 9.95 kg$\times$yr of Zn$^{82}$Se, we determine the two-neutrino double-$\beta$ decay half-life of $^{82}$Se with an unprecedented precision level, $T_{1/2}^{2\nu} = [8.60 \pm 0.03 \textrm{(stat.)}~^{+0.17}_{-0.10} \textrm{(syst.)}] \times 10^{19}~\textrm{yr}$. The very high signal-to-background ratio, along with the detailed reconstruction of the background sources allowed us to identify the single state dominance as the underlying mechanism of such process, demonstrating that the higher state dominance hypothesis is disfavored at the level of 5.5 $\sigma$.


title: Antiadiabatic View of Fast Environmental Effects on Optical Spectra

abstract: An antiadiabatic approach is proposed to model how the refractive index of the surrounding medium affects optical spectra of molecular systems in condensed phases. The approach solves some of the issues affecting current implementations of continuum solvation models and more generally of effective models where a classical description is adopted for the molecular environment.


title: Soliton molecules and asymmetric solitons in fluid systems via velocity resonance

abstract: Soliton molecules may be formed in some possible mechanisms in both theoretical and experimental aspects. In this letter, we introduce a new possible mechanism, the velocity resonant, to form soliton molecules. Under the resonant mechanism, two solitons may be formed to a kink-antikink molecule, an asymmetric soliton, a two-peak soliton and/or a far away bounded molecule depended on the selections of the wave numbers and the distance between two solitons of the molecule. The results are exhibited via three well known fifth order integrable systems which approximately solve a general fluid model that also appeared in many other physical fields. The interactions among multiple soliton molecules for these three integrable systems are elastic.

categories: nlin.SI math-ph math.MP nlin.PS physics.flu-dyn


title: Ice Ic without stacking disorder by evacuating hydrogen from hydrogen hydrate

abstract: Water freezes below 0 {\deg}C at ambient pressure, ordinarily to ice Ih with an ABAB... hexagonal stacking sequence. However, it is also known to produce "ice Ic" nominally with an ABCABC... cubic stacking sequence under certain conditions1, and its existence in Earth's atmosphere, or in comets is debated. "Ice Ic", or called as cubic ice, was first identified in 1943 by K\"onig, who used electron microscopy to study the condensation of ice from water vapor to a cold substrate. Subsequently, many different routes to "ice Ic" have been established, such as the dissociation of gas hydrates, warming amorphous ices or annealing high-pressure ices recovered at ambient pressure, freezing of $\mu$- or nano-confined water. Despite the numerous studies on "ice Ic", its structure has not been fully verified, because the diffraction patterns of "ice Ic" show signatures of stacking-disorder, and ideal ice Ic without stacking-disorder had not been formed until very recently. Here we demonstrate a route to obtain ice Ic without stacking-disorder by degassing hydrogen from the high-pressure form of hydrogen hydrate, C$_2$, which has a host framework that is isostructural with ice Ic. Surprisingly, the stacking-disorder free ice Ic is formed from C$_2$ via an intermediate amorphous or nano-crystalline form under decompression, unlike the direct transformations that occur in the cases of recently discovered ice XVI from neon hydrate, or ice XVII from hydrogen hydrate. The obtained ice Ic shows remarkable thermal stability until the phase transition to ice Ih at 250 K; this thermal stability originates from the lack of dislocations, which promote changes in the stacking sequence. This discovery of ideal ice Ic will promote understanding of the role of stacking-disorder on the physical properties of ice as a counter end-member of ice Ih.


title: Del Pezzo foliations with log canonical singularities

abstract: In this paper, we classify del Pezzo foliations on projective manifolds of rank at least 3 and with log canonical singularities in the sense of McQuillan.


title: Squeeze-and-Attention Networks for Semantic Segmentation

abstract: The recent integration of attention mechanisms into segmentation networks improves their representational capabilities through a great emphasis on more informative features. However, these attention mechanisms ignore an implicit sub-task of semantic segmentation and are constrained by the grid structure of convolution kernels. In this paper, we propose a novel squeeze-and-attention network (SANet) architecture that leverages an effective squeeze-and-attention (SA) module to account for two distinctive characteristics of segmentation: i) pixel-group attention, and ii) pixel-wise prediction. Specifically, the proposed SA modules impose pixel-group attention on conventional convolution by introducing an 'attention' convolutional channel, thus taking into account spatial-channel inter-dependencies in an efficient manner. The final segmentation results are produced by merging outputs from four hierarchical stages of a SANet to integrate multi-scale contexts for obtaining an enhanced pixel-wise prediction. Empirical experiments on two challenging public datasets validate the effectiveness of the proposed SANets, which achieves 83.2% mIoU (without COCO pre-training) on PASCAL VOC and a state-of-the-art mIoU of 54.4% on PASCAL Context.


title: Open Compound Domain Adaptation

abstract: A typical domain adaptation approach is to adapt models trained on the annotated data in a source domain (e.g., sunny weather) for achieving high performance on the test data in a target domain (e.g., rainy weather). Whether the target contains a single homogeneous domain or multiple heterogeneous domains, existing works always assume that there exist clear distinctions between the domains, which is often not true in practice (e.g., changes in weather). We study an open compound domain adaptation (OCDA) problem, in which the target is a compound of multiple homogeneous domains without domain labels, reflecting realistic data collection from mixed and novel situations. We propose a new approach based on two technical insights into OCDA: 1) a curriculum domain adaptation strategy to bootstrap generalization across domains in a data-driven self-organizing fashion and 2) a memory module to increase the model's agility towards novel domains. Our experiments on digit classification, facial expression recognition, semantic segmentation, and reinforcement learning demonstrate the effectiveness of our approach.


title: Towards Generating Explanations for ASP-Based Link Analysis using Declarative Program Transformations

abstract: The explication and the generation of explanations are prominent topics in artificial intelligence and data science, in order to make methods and systems more transparent and understandable for humans. This paper investigates the problem of link analysis, specifically link prediction and anomalous link discovery in social networks using the declarative method of Answer set programming (ASP). Applying ASP for link prediction provides a powerful declarative approach, e.g., for incorporating domain knowledge for explicative prediction. In this context, we propose a novel method for generating explanations - as offline justifications - using declarative program transformations. The method itself is purely based on syntactic transformations of declarative programs, e.g., in an ASP formalism, using rule instrumentation. We demonstrate the efficacy of the proposed approach, exemplifying it in an application on link analysis in social networks, also including domain knowledge.


title: Symmetric Regularization based BERT for Pair-wise Semantic Reasoning

abstract: The ability of semantic reasoning over the sentence pair is essential for many natural language understanding tasks, e.g., natural language inference and machine reading comprehension. A recent significant improvement in these tasks comes from BERT. As reported, the next sentence prediction (NSP) in BERT, which learns the contextual relationship between two sentences, is of great significance for downstream problems with sentence-pair input. Despite the effectiveness of NSP, we suggest that NSP still lacks the essential signal to distinguish between entailment and shallow correlation. To remedy this, we propose to augment the NSP task to a 3-class categorization task, which includes a category for previous sentence prediction (PSP). The involvement of PSP encourages the model to focus on the informative semantics to determine the sentence order, thereby improves the ability of semantic understanding. This simple modification yields remarkable improvement against vanilla BERT. To further incorporate the document-level information, the scope of NSP and PSP is expanded into a broader range, i.e., NSP and PSP also include close but nonsuccessive sentences, the noise of which is mitigated by the label-smoothing technique. Both qualitative and quantitative experimental results demonstrate the effectiveness of the proposed method. Our method consistently improves the performance on the NLI and MRC benchmarks, including the challenging HANS dataset \cite{hans}, suggesting that the document-level task is still promising for the pre-training.


title: RKKY plateau in zero- and one-dimensional triangular Kagome lattice models

abstract: Motivated by the research interests on realizing flat bands and magnetization plateaus in kagome lattices, we study the electronic properties and magnetic interactions in both zero- and one-dimensional triangular Kagome lattice (1D-TKL) models, by using the real-space Greens function approach in tight-binding model. We firstly study the electronic properties of both 0D and 1D-TKL in the presence of staggered sublattice potential, then, by analyzing the Ruderman-Kittel-Kasuya-Yoshida (RKKY) interaction in these lattice structures, the magnetic ground states of both 0D and 1D-TKL in the presence of two magnetic adatoms are evaluated. It is found that the 1D channels of TKL show different electronic and magnetic behaviors due to different values of the hopping integrals and spin-orbit couplings. Two important salient features of these TKLs are the presence of flat bands in their band structure as well as the emergence of the RKKY plateaus versus the Fermi energy. These RKKY plateaus have not been reported before, to the best of our knowledge. The most remarkable observation is the potential and Fermi energy variation of the width and location of the RKKY plateaus in both 0D and 1D TKLs. The spatial configurations of the magnetic impurities can also dramatically change the quality and quantity of the RKKY plateaus. We believe that our results provide significant insights towards designing further experiments to search for the realizing of the flat bands and magnetization plateau phases in spintronics and pseudospin electronics devices based on TKLs.


title: 5-Class towers of cyclic quartic fields arising from quintic reflection

abstract: Let zeta5 be a primitive fifth root of unity and d<>1 be a quadratic fundamental discriminant not divisible by 5. For the 5-dual cyclic quartic field M=Q((zeta5-zeta5^-1)*d^1/2) of the quadratic fields k1=Q(d^1/2) and k2=Q((5*d)^1/2) in the sense of the quintic reflection theorem, the possibilities for the isomophism type of the Galois group G(5,2)M=Gal(M(5,2)/M) of the second Hilbert 5-class field M(5,2) of M are investigated, when the 5-class group Cl5(M) is elementary bicyclic of rank two. Usually, the maximal unramified pro-5-extension M(5,infinity) of M coincides with M(5,2) already. The precise length ell5(M) of the 5-class tower of M is determined, when G(5,2)M is of order less than or equal to 5^5. Theoretical results are underpinned by the actual computation of all 83, respectively 93, cases in the range 0<d<10^4, respectively -2*10^5<d<0.


title: First-principles study of 3d transition metal atom adsorption onto graphene: the role of the extended line defect

abstract: A type of line defect (LD) composed of alternate squares and octagons (4-8) as the basic unit is currently an experimentally available topological defect in graphene lattice, which brings some interesting modification to magnetic and electronic properties of graphene. The transitional metal (TM) adsorb on graphene with line-defect (4-8), and they show interesting and attractive structural, magnetic and electronic properties. For different TMs such as Fe, Co, Mn, Ni and V, the complex systems show different magnetic and electronic properties. The TM atoms can spontaneously adsorb at quadrangular sites, forming an atomic chain along LD on graphene. The most stable configuration is hollow site of regular tangle. The TMs (TM = Co, Fe, Mn, Ni, V) tend to form extended metal lines, showing ferromagnetic (FM) ground state. For Co, Fe, and V atom, the system are half-metal. The spin-{\alpha} electron is insulating, while spin-\b{eta} electron is conductive. For Mn and Ni atom, Mn-LD and Ni-LD present spin-polarized metal; For Fe atom, the Fe-LD shows semimetal with Dirac cones. For Fe and V atom, both Fe-LD and V-LD show spin-polarized half-metallic properties. And its spin-{\alpha} electron is conducting, while spin-\b{eta} electron is insulating. Different TMs adsorbing on graphene nanoribbon forming same stable configurations of metal lines, show different electronic properties. The adsorption of TMs introduces magnetism and spin-polarization. These metal lines have potential application in spintronic devices, and work as quasi-one-dimensional metallic wire, which may form building blocks for atomic-scale electrons with well-controlled contacts at atomic level.


title: Conditional Text Generation for Harmonious Human-Machine Interaction

abstract: In recent years, with the development of deep learning, text generation technology has undergone great changes and provided many kinds of services for human beings, such as restaurant reservation and daily communication. The automatically generated text is becoming more and more fluent so researchers begin to consider more anthropomorphic text generation technology, that is the conditional text generation, including emotional text generation, personalized text generation, and so on. Conditional Text Generation (CTG) has thus become a research hotspot. As a promising research field, we find that many efforts have been paid to exploring it. Therefore, we aim to give a comprehensive review of the new research trends of CTG. We first summary several key techniques and illustrate the technical evolution route in the field of neural text generation, based on the concept model of CTG. We further make an investigation of existing CTG fields and propose several general learning models for CTG. Finally, we discuss the open issues and promising research directions of CTG.


title: TorchGAN: A Flexible Framework for GAN Training and Evaluation

abstract: TorchGAN is a PyTorch based framework for writing succinct and comprehensible code for training and evaluation of Generative Adversarial Networks. The framework's modular design allows effortless customization of the model architecture, loss functions, training paradigms, and evaluation metrics. The key features of TorchGAN are its extensibility, built-in support for a large number of popular models, losses and evaluation metrics, and zero overhead compared to vanilla PyTorch. By using the framework to implement several popular GAN models, we demonstrate its extensibility and ease of use. We also benchmark the training time of our framework for said models against the corresponding baseline PyTorch implementations and observe that TorchGAN's features bear almost zero overhead.


title: A doping-dependent switch from one- to two-component superfluidity at temperature above 100K in coupled electron-hole Van der Waals heterostructures

abstract: The hunt for high temperature superfluidity has received new impetus from the discovery of atomically thin stable materials. Electron-hole superfluidity in coupled MoSe2-WSe2 monolayers is investigated using a mean-field multiband model that includes the band splitting caused by the strong spin-orbit coupling. The splitting leads to a large energy misalignment of the electron and hole bands which can be markedly changed by interchanging the doping of the monolayers. The choice of doping determines if the superfluidity is tuneable from one- to two-components. The electron-hole pairing is strong, with high transition temperatures in excess of 100 K.


title: Evolution of the magnetic and polaronic order of $\rm{Pr_{1/2}Ca_{1/2}MnO_3}$ following an ultrashort light pulse

abstract: The dynamics of electrons, spins and phonons induced by optical femtosecond pulses has been simulated for the polaronic crystal $\rm{Pr_{1/2}Ca_{1/2}MnO_3}$. The model used for the simulation has been derived from first-principles calculations. The simulations reproduce the experimentally observed melting of charge/orbital order with increasing fluence. The loss of charge order in the high-fluence regime induces a transition to a ferromagnetic metal. At low fluence, the dynamics is deterministic and coherent phonons are created by the repopulation of electronic orbitals, which are strongly coupled to the phonon degrees of freedom. In contrast to the low-fluence regime, the magnetic transitions occurring at higher fluence can be attributed to a quasi-thermal transition of a cold-plasma-like state with hot electrons and cold phonons and spins. The findings can be rationalized in a more complete picture of the electronic structure that goes beyond the simple ionic picture of charge order.


title: STA: Adversarial Attacks on Siamese Trackers

abstract: Recently, the majority of visual trackers adopt Convolutional Neural Network (CNN) as their backbone to achieve high tracking accuracy. However, less attention has been paid to the potential adversarial threats brought by CNN, including Siamese network. In this paper, we first analyze the existing vulnerabilities in Siamese trackers and propose the requirements for a successful adversarial attack. On this basis, we formulate the adversarial generation problem and propose an end-to-end pipeline to generate a perturbed texture map for the 3D object that causes the trackers to fail. Finally, we conduct thorough experiments to verify the effectiveness of our algorithm. Experiment results show that adversarial examples generated by our algorithm can successfully lower the tracking accuracy of victim trackers and even make them drift off. To the best of our knowledge, this is the first work to generate 3D adversarial examples on visual trackers.


title: Counting weighted independent sets beyond the permanent

abstract: Jerrum, Sinclair and Vigoda (2004) showed that the permanent of any square matrix can be estimated in polynomial time. This computation can be viewed as approximating the partition function of edge-weighted matchings in a bipartite graph. Equivalently, this may be viewed as approximating the partition function of vertex-weighted independent sets in the line graph of a bipartite graph. Line graphs of bipartite graphs are perfect graphs, and are known to be precisely the class of (claw, diamond, odd hole)-free graphs. So how far does the result of Jerrum, Sinclair and Vigoda extend? We first show that it extends to (claw, odd hole)-free graphs, and then show that it extends to the even larger class of (fork, odd hole)-free graphs. Our techniques are based on graph decompositions, which have been the focus of much recent work in structural graph theory, and on structural results of Chvatal and Sbihi (1988), Maffray and Reed (1999) and Lozin and Milanic (2008).


title: Commonsense Knowledge + BERT for Level 2 Reading Comprehension Ability Test

abstract: Commonsense knowledge plays an important role when we read. The performance of BERT on SQuAD dataset shows that the accuracy of BERT can be better than human users. However, it does not mean that computers can surpass the human being in reading comprehension. CommonsenseQA is a large-scale dataset which is designed based on commonsense knowledge. BERT only achieved an accuracy of 55.9% on it. The result shows that computers cannot apply commonsense knowledge like human beings to answer questions. Comprehension Ability Test (CAT) divided the reading comprehension ability at four levels. We can achieve human like comprehension ability level by level. BERT has performed well at level 1 which does not require common knowledge. In this research, we propose a system which aims to allow computers to read articles and answer related questions with commonsense knowledge like a human being for CAT level 2. This system consists of three parts. Firstly, we built a commonsense knowledge graph; and then automatically constructed the commonsense knowledge question dataset according to it. Finally, BERT is combined with the commonsense knowledge to achieve the reading comprehension ability at CAT level 2. Experiments show that it can pass the CAT as long as the required common knowledge is included in the knowledge base.


title: Kernel Node Embeddings

abstract: Learning representations of nodes in a low dimensional space is a crucial task with many interesting applications in network analysis, including link prediction and node classification. Two popular approaches for this problem include matrix factorization and random walk-based models. In this paper, we aim to bring together the best of both worlds, towards learning latent node representations. In particular, we propose a weighted matrix factorization model which encodes random walk-based information about the nodes of the graph. The main benefit of this formulation is that it allows to utilize kernel functions on the computation of the embeddings. We perform an empirical evaluation on real-world networks, showing that the proposed model outperforms baseline node embedding algorithms in two downstream machine learning tasks.


title: Multiple solutions for Grushin operator without odd nonlinearity

abstract: We deal with existence and multiplicity results for the following nonhomogeneous and homogeneous equations, respectively: \begin{eqnarray*} (P_g)\quad - \Delta_{\lambda} u + V(x) u = f(x,u)+g(x),\;\mbox{ in } \R^N,\; \end{eqnarray*} and \begin{eqnarray*} (P_0)\quad - \Delta_{\lambda} u + V(x) u = K(x)f(x,u),\;\mbox{ in } \R^N,\; \end{eqnarray*} where $\Delta_{\lambda}$ is the strongly degenerate operator, $V(x)$ is allowed to be sign-changing, $K\in C(\R^N,\R)$, $g:\R^N\to\R$ is a perturbation and the nonlinearity $f(x,u)$ is a continuous function does not satisfy the Ambrosetti-Rabinowitz superquadratic condition ($(AR)$ for short). First, via the mountain pass theorem and the Ekeland's variational principle, existence of two different solutions for $(P_g)$ are obtained when $f$ satisfies superlinear growth condition. Moreover, we prove the existence of infinitely many solutions for $(P_0)$ if $f$ is odd in $u$ thanks an extension of Clark's theorem near the origin. So, our main results considerably improve results appearing in the literature.


title: When Explainability Meets Adversarial Learning: Detecting Adversarial Examples using SHAP Signatures

abstract: State-of-the-art deep neural networks (DNNs) are highly effective in solving many complex real-world problems. However, these models are vulnerable to adversarial perturbation attacks, and despite the plethora of research in this domain, to this day, adversaries still have the upper hand in the cat and mouse game of adversarial example generation methods vs. detection and prevention methods. In this research, we present a novel detection method that uses Shapley Additive Explanations (SHAP) values computed for the internal layers of a DNN classifier to discriminate between normal and adversarial inputs. We evaluate our method by building an extensive dataset of adversarial examples over the popular CIFAR-10 and MNIST datasets, and training a neural network-based detector to distinguish between normal and adversarial inputs. We evaluate our detector against adversarial examples generated by diverse state-of-the-art attacks and demonstrate its high detection accuracy and strong generalization ability to adversarial inputs generated with different attack methods.


title: Circle patterns on surfaces of finite topological type

abstract: This paper investigates circle patterns with obtuse exterior intersection angles on surfaces of finite topological type. We characterise the images of the curvature maps and establish several equivalent conditions regarding long time behaviors of Chow-Luo's combinatorial Ricci flows for these patterns. As consequences, several generalizations of circle pattern theorem are obtained. Moreover, our approach suggests a computational method to find the desired circle patterns.


title: Morphology and magnetic properties of nanocomposite magnetic multilayers {[(Co$_{40}$Fe$_{40}$B$_{20}$)$_{34}$(SiO$_2$)$_{66}$]/[C]}$_{47}$

abstract: We report on the investigation of morphology, magnetic and conductive properties of the mutilayered nanostructures [(Co$_{40}$Fe$_{40}$B$_{20}$)$_{34}$(SiO$_2$)$_{66}$]/[C]$_{47}$ consisting of the contacting magnetic (Co$_{40}$Fe$_{40}$B$_{20}$)$_{34}$(SiO$_2$)$_{66}$ nanocomposite and amorphous semiconductor carbon C layers. It is shown by Grazing-Incidence Small-Angle X-ray Scattering method that the ordering and the size of nanoparticles in the magnetic layers do not change profoundly with increasing of carbon layer thickness. Meanwhile, the electrical conductance and the magnetic properties are significantly varied: resistance of the samples changes by four orders of magnitude and superparamagnetic blocking temperature changes from 15 K to 7 K with the increment of carbon layer thickness $h_c$ from 0.4 nm to 1.8 nm. We assume that the formation of the homogeneous semiconductor interlayer leads to modification of the metal-insulator growth process that drives the changes in the magnetic and conductive properties.


title: New exact results for the two-phase model with several conserved currents

abstract: We consider the macroscopic transport properties of two-dimensional random binary mixtures with identical spatial distributions of the two phases. Previous studies have obtained exact analytical results for the electrical conductivity of a single layer with and without a magnetic field, as well as for the thermoelectric response of a magnetic field-free double-layer. Here, we generalize these exact solutions to the magneto-thermoelectric response of a single layer and to the thermoelectric response of a double-layer. The magneto-thermoelectric transport coefficients of the double-layer are calculated perturbatively for weak magnetic field.


title: Target Set Selection for Conservative Populations

abstract: Let $G = (V,E)$ be a graph on $n$ vertices, where $d_v$ denotes the degree of vertex $v$, and $t_v$ is a threshold associated with $v$. We consider a process in which initially a set $S$ of vertices becomes active, and thereafter, in discrete time steps, every vertex $v$ that has at least $t_v$ active neighbors becomes active as well. The set $S$ is contagious if eventually all $V$ becomes active. The target set selection problem TSS asks for the smallest contagious set. TSS is NP-hard and moreover, notoriously difficult to approximate. In the conservative special case of TSS, $t_v > \frac{1}{2}d_v$ for every $v \in V$. In this special case, TSS can be approximated within a ratio of $O(\Delta)$, where $\Delta = \max_{v \in V}[d_v]$. In this work we introduce a more general class of TSS instances that we refer to as conservative on average (CoA), that satisfy the condition $\sum_{v\in V} t_v > \frac{1}{2}\sum_{v \in V} d_v$. We design approximation algorithms for some subclasses of CoA. For example, if $t_v \geq \frac{1}{2}d_v$ for every $v \in V$, we can find in polynomial time a contagious set of size $\tilde{O}\left(\Delta \cdot OPT^2 \right)$, where $OPT$ is the size of a smallest contagious set in $G$. We also provide several hardness of approximation results. For example, assuming the unique games conjecture, we prove that TSS on CoA instances with $\Delta \le 3$ cannot be approximated within any constant factor. We also present results concerning the fixed parameter tractability of CoA TSS instances, and approximation algorithms for a related problem, that of TSS with partial incentives.


title: Pose Estimation for Ground Robots: On Manifold Representation, Integration, Re-Parameterization, and Optimization

abstract: In this paper, we focus on motion estimation dedicated for non-holonomic ground robots, by probabilistically fusing measurements from the wheel odometer and exteroceptive sensors. For ground robots, the wheel odometer is widely used in pose estimation tasks, especially in applications under planar-scene based environments. However, since the wheel odometer only provides 2D motion estimates, it is extremely challenging to use that for performing accurate full 6D pose (3D position and 3D orientation) estimation. Traditional methods on 6D pose estimation either approximate sensor or motion models, at the cost of accuracy reduction, or rely on other sensors, e.g., inertial measurement unit (IMU), to provide complementary measurements. By contrast, in this paper, we propose a novel method to utilize the wheel odometer for 6D pose estimation, by modeling and utilizing motion manifold for ground robots. Our approach is probabilistically formulated and only requires the wheel odometer and an exteroceptive sensor (e.g., a camera). Specifically, our method i) formulates the motion manifold of ground robots by parametric representation, ii) performs manifold based 6D integration with the wheel odometer measurements only, and iii) re-parameterizes manifold equations periodically for error reduction. To demonstrate the effectiveness and applicability of the proposed algorithmic modules, we integrate that into a sliding-window pose estimator by using measurements from the wheel odometer and a monocular camera. By conducting extensive simulated and real-world experiments, we show that the proposed algorithm outperforms competing state-of-the-art algorithms by a significant margin in pose estimation accuracy, especially when deployed in complex large-scale real-world environments.


title: Resonantly Interacting Fermi-Fermi Mixture of $^{161}$Dy and $^{40}$K

abstract: We report on the realization of a Fermi-Fermi mixture of ultracold atoms that combines mass imbalance, tunability, and collisional stability. In an optically trapped sample of $^{161}$Dy and $^{40}$K, we identify a broad Feshbach resonance centered at a magnetic field of $217\,$G. Hydrodynamic expansion profiles in the resonant interaction regime reveal a bimodal behavior resulting from mass imbalance. Lifetime studies on resonance show a suppression of inelastic few-body processes by orders of magnitude, which we interpret as a consequence of the fermionic nature of our system. The resonant mixture opens up intriguing perspectives for studies on novel states of strongly correlated fermions with mass imbalance.


title: High-density electron doping of SmNiO$_3$ from first principles

abstract: Recent experimental work has realized a new insulating state of samarium nickelate (SmNiO$_3$), accessible in a reversible manner via high-density electron doping. To elucidate this behavior, we use the first-principles density functional theory (DFT) + U method to study the effect of added electrons on the crystal and electronic structure of SmNiO$_3$. First, we track the changes in the crystal and electronic structure with added electrons compensated by a uniform positive background charge at concentrations of $\frac{1}{4}$, $\frac{1}{2}$, $\frac{3}{4}$, and 1 electrons per Ni. The change in electron concentration does not rigidly shift the Fermi energy; rather, the added electrons localize on NiO$_6$ octahedra causing an on-site Mott transition and a change in the density of states resulting in a large gap between the occupied and unoccupied Ni $e_g$ orbitals at full doping. This evolution of the density of states is essentially unchanged when the added electrons are introduced by doping with interstitial H or Li ions.


title: Explicit Constructions of Two-Dimensional Reed-Solomon Codes in High Insertion and Deletion Noise Regime

abstract: Insertion and deletion (insdel for short) errors are synchronization errors in communication systems caused by the loss of positional information in the message. Reed-Solomon codes have gained a lot of interest due to its encoding simplicity, well structuredness and list-decoding capability in the classical setting. This interest also translates to the insdel metric setting, as the Guruswami-Sudan decoding algorithm can be utilized to provide a deletion correcting algorithm in the insdel metric. Nevertheless, there have been few studies on the insdel error-correcting capability of Reed-Solomon codes. Our main contributions in this paper are explicit constructions of two families of 2-dimensional Reed-Solomon codes with insdel error-correcting capabilities asymptotically reaching those provided by the Singleton bound. The first construction gives a family of Reed-Solomon codes with insdel error-correcting capability asymptotic to its length. The second construction provides a family of Reed Solomon codes with an exact insdel error-correcting capability up to its length. Both our constructions improve the previously known construction of 2-dimensional Reed-Solomon codes whose insdel error-correcting capability is only logarithmic on the code length.


title: First Passage Percolation on Hyperbolic groups

abstract: We study first passage percolation (FPP) on a Gromov-hyperbolic group $G$ with boundary $\partial G$ equipped with the Patterson-Sullivan measure $\nu$. We associate an i.i.d.\ collection of random passage times to each edge of a Cayley graph of $G$, and investigate classical questions about the asymptotics of first passage time as well as the geometry of geodesics in the FPP metric. Under suitable conditions on the passage time distribution, we show that the `velocity' exists in $\nu$-almost every direction $\xi\in \partial G$, and is almost surely constant by ergodicity of the $G-$action on $\partial G$. For every $\xi\in \partial G$, we also show almost sure coalescence of any two geodesic rays directed towards $\xi$. Finally, we show that the variance of the first passage time grows linearly with word distance along word geodesic rays in every fixed boundary direction. This provides an affirmative answer to a conjecture of Benjamini, Tessera, and Zeitouni.


title: Feature-Set-Engineering for Detecting Freezing of Gait in Parkinson's Disease using Deep Recurrent Neural Networks

abstract: Freezing of gait (FoG) is a common gait disability in Parkinson's disease, that usually appears in its advanced stage. Freeze episodes are associated with falls, injuries, and psychological consequences, negatively affecting the patients' quality of life. For detecting FoG episodes automatically, a highly accurate detection method is necessary. This paper presents an approach for detecting FoG episodes utilizing a deep recurrent neural network (RNN) on 3D-accelerometer measurements. We investigate suitable features and feature combinations extracted from the sensors' time series data. Specifically, for detecting FoG episodes, we apply a deep RNN with Long Short-Term Memory cells. In our experiments, we perform both user dependent and user independent experiments, to detect freeze episodes. Our experimental results show that the frequency domain features extracted from the trunk sensor are the most informative feature group in the subject independent method, achieving an average AUC score of 93%, Specificity of 90% and Sensitivity of 81%. Moreover, frequency and statistical features of all the sensors are identified as the best single input for the subject dependent method, achieving an average AUC score of 97%, Specificity of 96% and Sensitivity of 87%. Overall, in a comparison to state-of-the-art approaches from literature as baseline methods, our proposed approach outperforms these significantly.


title: Education Projects for Sustainable Development: Evidence from Ural Federal University

abstract: Sustainable development is a worldwide recognized social and political goal, discussed in both academic and political discourse and with much research on the topic related to sustainable development in higher education. Since mental models are formed more effectively at school age, we propose a new way of thinking that will help achieve this goal. This paper was written in the context of Russia, where the topic of sustainable development in education is poorly developed. The authors used the classical methodology of the case analysis. The analysis and interpretation of the results were conducted in the framework of the institutional theory. Presented is the case of Ural Federal University, which has been working for several years on the creation of a device for the purification of industrial sewer water in the framework of an initiative student group. Schoolchildren recently joined the program, and such projects have been called university-to-school projects. Successful solutions of inventive tasks contribute to the formation of mental models. This case has been analyzed in terms of institutionalism, and the authors argue for the primacy of mental institutions over normative ones during sustainable society construction. This case study is the first to analyze a partnership between a Federal University and local schools regarding sustainable education and proposes a new way of thinking.


title: Insider information and its relation with the arbitrage condition and the utility maximization problem

abstract: Within the well-known framework of financial portfolio optimization, we analyze the existing relationships between the condition of arbitrage and the utility maximization in presence of \emph{insider information}. We assume that, since the initial time, the information flow is altered by adding the knowledge of an additional random variable including future information. In this context we study the utility maximization problem under the logarithmic and the Constant Relative Risk Aversion (CRRA) utilities, with and without the restriction of no temporary-bankruptcy. In particular, we show that the value of the insider information may be bounded while the arbitrage condition holds and we prove that the insider information does not always imply arbitrage for the insider by providing an explicit example.


title: An analogue of Pillai's theorem for continued fraction normality and an application to subsequences

abstract: We show that two notions of continued fraction normality, one where overlapping occurrences of finite patterns are counted as distinct occurrences, and another where only disjoint occurrences are counted as distinct, are identical. This equivalence involves an analogue of a theorem due to S. S. Pillai in 1940 for base-$b$ expansions. The proof requires techniques which are fundamentally different, since the continued fraction expansion utilizes a countably infinite alphabet, leading to a non-compact space. Utilizing the equivalence of these two notions, we provide a new proof of Heersink and Vandehey's recent result that selection of subsequences along arithmetic progressions does not preserve continued fraction normality.


title: Consensus in Equilibrium: Can One Against All Decide Fairly?

abstract: Is there an equilibrium for distributed consensus when all agents except one collude to steer the decision value towards their preference? If an equilibrium exists, then an $n-1$ size coalition cannot do better by deviating from the algorithm, even if it prefers a different decision value. We show that an equilibrium exists under this condition only if the number of agents in the network is odd and the decision is binary (among two possible input values). That is, in this framework we provide a separation between binary and multi-valued consensus. Moreover, the input and output distribution must be uniform, regardless of the communication model (synchronous or asynchronous). Furthermore, we define a new problem - Resilient Input Sharing (RIS), and use it to find an {\em iff} condition for the $(n-1)$-resilient equilibrium for deterministic binary consensus, essentially showing that an equilibrium for deterministic consensus is equivalent to each agent learning all the other inputs in some strong sense. Finally, we note that $(n-2)$-resilient equilibrium for binary consensus is possible for any $n$. The case of $(n-2)$-resilient equilibrium for \emph{multi-valued} consensus is left open.


title: Distributionally Robust Optimization with Correlated Data from Vector Autoregressive Processes

abstract: We present a distributionally robust formulation of a stochastic optimization problem for non-i.i.d vector autoregressive data. We use the Wasserstein distance to define robustness in the space of distributions and we show, using duality theory, that the problem is equivalent to a finite convex-concave saddle point problem. The performance of the method is demonstrated on both synthetic and real data.


title: Order-free Learning Alleviating Exposure Bias in Multi-label Classification

abstract: Multi-label classification (MLC) assigns multiple labels to each sample. Prior studies show that MLC can be transformed to a sequence prediction problem with a recurrent neural network (RNN) decoder to model the label dependency. However, training a RNN decoder requires a predefined order of labels, which is not directly available in the MLC specification. Besides, RNN thus trained tends to overfit the label combinations in the training set and have difficulty generating unseen label sequences. In this paper, we propose a new framework for MLC which does not rely on a predefined label order and thus alleviates exposure bias. The experimental results on three multi-label classification benchmark datasets show that our method outperforms competitive baselines by a large margin. We also find the proposed approach has a higher probability of generating label combinations not seen during training than the baseline models. The result shows that the proposed approach has better generalization capability.


title: Convergence of multiple Fourier series and Pick's theorem

abstract: We add another brick to the large building comprising proofs of Pick's theorem. Although our proof is not the most elementary, it is short and reveals a connection between Pick's theorem and the pointwise convergence of multiple Fourier series of piecewise smooth functions.