title: Cocktails, but no party: multipath-enabled private audio

abstract: We describe a private audio messaging system that uses echoes to unscramble messages at a few predetermined locations in a room. The system works by splitting the audio into short chunks and emitting them from different loudspeakers. The chunks are filtered so that as they echo around the room, they sum to noise everywhere except at a few chosen focusing spots where they exactly reproduce the intended messages. Unlike in the case of standard personal audio zones, the proposed method renders sound outside the focusing spots unintelligible. Our method essentially depends on echoes: the room acts as a mixing system such that at given points we get the desired output. Finally, we only require a modest number of loudspeakers and only a few impulse response measurements at points where the messages should be delivered. We demonstrate the effectiveness of the proposed method via objective quantitative metrics as well as informal listening experiments in a real room.


title: Response functions of hot and dense matter in the Nambu-Jona-Lasino model

abstract: We investigate the current-current correlation functions or the so-called response functions of a two-flavor Nambu-Jona-Lasino model at finite temperature and density. We study the linear response by using the functional path integral approach and introducing the conjugated gauge fields as external sources. The response functions can be obtained by expanding the generational functional in powers of the external sources. We derive the response functions parallel to two well-established approximations for the equilibrium thermodynamics: the mean-field theory and a beyond-mean-field theory taking into account the mesonic contributions. The response functions based on the mean-field theory recover the so-called quasiparticle random phase approximation. We calculate the dynamical structure factors for the density responses in various channels within the random phase approximation. We show that the dynamical structure factors in the baryon axial vector and isospin axial vector channels can be used reveal the quark mass gap and the Mott dissociation of mesons, respectively. Noting that the mesonic contributions are not taken into account in the random phase approximation, we also derive the response functions parallel to the beyond-mean-field theory. We show that the mesonic fluctuations naturally give rise to three kinds of famous diagrammatic contributions: the Aslamazov-Lakin contribution, the Self-Energy or Density-of-State contribution, and the Maki-Thompson contribution. Unlike the equilibrium case, in evaluating the fluctuation contributions, we need to treat carefully the linear terms in the external sources and the induced perturbations. These contributions from the mesonic fluctuations are expected to have significant effects on the transport properties of hot and dense matter around the chiral phase transition or crossover.


title: In Defense of the Classification Loss for Person Re-Identification

abstract: The recent research for person re-identification has been focused on two trends. One is learning the part-based local features to form more informative feature descriptors. The other is designing effective metric learning loss functions such as the triplet loss family. We argue that learning global features with classification loss could achieve the same goal, even with some simple and cost-effective architecture design. In this paper, we first explain why the person re-id framework with standard classification loss usually has inferior performance compared to metric learning. Based on that, we further propose a person re-id framework featured by channel grouping and multi-branch strategy, which divides global features into multiple channel groups and learns the discriminative channel group features by multi-branch classification layers. The extensive experiments show that our framework outperforms prior state-of-the-arts in terms of both accuracy and inference speed.


title: Stationary Entangled Radiation from Micromechanical Motion

abstract: Mechanical systems facilitate the development of a new generation of hybrid quantum technology comprising electrical, optical, atomic and acoustic degrees of freedom. Entanglement is the essential resource that defines this new paradigm of quantum enabled devices. Continuous variable (CV) entangled fields, known as Einstein-Podolsky-Rosen (EPR) states, are spatially separated two-mode squeezed states that can be used to implement quantum teleportation and quantum communication. In the optical domain, EPR states are typically generated using nondegenerate optical amplifiers and at microwave frequencies Josephson circuits can serve as a nonlinear medium. It is an outstanding goal to deterministically generate and distribute entangled states with a mechanical oscillator. Here we observe stationary emission of path-entangled microwave radiation from a parametrically driven 30 micrometer long silicon nanostring oscillator, squeezing the joint field operators of two thermal modes by 3.40(37) dB below the vacuum level. This mechanical system correlates up to 50 photons/s/Hz giving rise to a quantum discord that is robust with respect to microwave noise. Such generalized quantum correlations of separable states are important for quantum enhanced detection and provide direct evidence for the non-classical nature of the mechanical oscillator without directly measuring its state. This noninvasive measurement scheme allows to infer information about otherwise inaccessible objects with potential implications in sensing, open system dynamics and fundamental tests of quantum gravity. In the near future, similar on-chip devices can be used to entangle subsystems on vastly different energy scales such as microwave and optical photons.


title: Study of galaxies in the Eridanus void. Sample and oxygen abundances

abstract: We present a sample of 66 galaxies belonging to the equatorial part (Dec.= -7$^o$, +7$^o$) of the large so called Eridanus void (after Fairall 1998). The void galaxies are selected as to be separated from the luminous galaxies ($M_{\rm B} < M_{\rm B}^{*} +1$), delineating the void, by more than 2 Mpc. Our main goal is to study systematically the evolutionary parameters of the void sample (metallicity and gas content) and to compare the void galaxy properties with their counterparts residing in denser environments. Besides the general galaxy parameters, compiled mainly from the literature, we present the results of dedicated observations to measure the oxygen abundance O/H in HII-regions of 23 void galaxies obtained with the 11-m SALT telescope (SAAO) and the 6-m BTA telescope (SAO), as well as the O/H estimates derived from the analysis of the SDSS DR12 spectra for 3 objects. We compiled all available data on O/H in 36 these void galaxies, including those for 11 galaxies available in the literature (for one object both SDSS and SALT spectra were used), and analyze this data in relation to galaxy luminosity ($\log$(O/H) versus $M_{\rm B}$). Comparing them with the control sample of similar type galaxies from the Local Volume, we find clear evidence for a substantially lower average metallicity of the Eridanus void galaxies. This result matches well the conclusions of our recent similar study for galaxies in the Lynx-Cancer void.


title: Continuous-Time Robust Dynamic Programming

abstract: This paper presents a new theory, known as robust dynamic pro- gramming, for a class of continuous-time dynamical systems. Different from traditional dynamic programming (DP) methods, this new theory serves as a fundamental tool to analyze the robustness of DP algorithms, and in par- ticular, to develop novel adaptive optimal control and reinforcement learning methods. In order to demonstrate the potential of this new framework, four illustrative applications in the fields of stochastic optimal control and adaptive DP are presented. Three numerical examples arising from both finance and engineering industries are also given, along with several possible extensions of the proposed framework.


title: Electric field lines of relativistically moving point charges

abstract: Generation of electromagnetic fields by moving charges is a fascinating topic where the tight connection between classical electrodynamics and special relativity becomes particularly apparent. One can gain direct insight into the fascinating structure of such fields by visualizing the electric field lines. However, the calculation of electric field lines for arbitrarily moving charges is far from trivial. Here, we derive an equation for the director that points from the retarded position of a moving charge towards a specific field line position, which allows for a simple construction of these lines. We analytically solve this equation for several special but important cases: for an arbitrary rectilinear motion, for the motion within the wiggler magnetic field of a free electron laser, and for the motion in a synchrotron.


title: A Study on Shared Steering Control in Driving Experience Perspective: How Strong and How Soon Should Intervention Be?

abstract: The lane keeping assistance system (LKAS), a representative of the advanced driver assistance system (ADAS), comprises a shared control that cooperates with the driver to achieve a common goal. The experience of the driver through the steering wheel may vary significantly depending on the steering control strategy of the system. In this study, we examine how driving experience changes according to various steering control strategies. Based on the preliminary study and typical LKAS parameters, nine control strategies (3 torque amounts (TOR) x 3 deviations to start control (DEV)) were designed as a prototype. Eighteen participants participated in evaluating each strategy in a highway environment provided by a driving simulator. Two-way repeated measure ANOVA was used to assess the effects of the system. Both the objective measures (standard deviation of lane position, steering reversal rate, and root mean square of lateral speed) and subjective measures (pleasure and arousal of emotion, trust, disturbance, and satisfaction) are analyzed. The experimental results demonstrate that all dependent measures are significant. As the TOR increased, SDLP decreased. However, no difference is observed between the 2-Nm and 3-Nm TOR in terms of trust and satisfaction. The high disturbance and negative emotion in 3 Nm appear to be the cause. In terms of the DEV, the high level of the root mean square of the lateral speed is observed at 0.8 m. Further, negative effects are found in pleasure, trust, and satisfaction. There is little difference at all dependent measures between 0.0-m and 0.4-m DEV. In the regression model analyzed from the aspect of satisfaction, the 2.32-Nm TOR and 0.27-m DEV are the optimal values. We expect our research on shared steering control with an assistance system to be applied to the experience design of a lateral semi-autonomous vehicle.


title: On-Line Learning of Linear Dynamical Systems: Exponential Forgetting in Kalman Filters

abstract: Kalman filter is a key tool for time-series forecasting and analysis. We show that the dependence of a prediction of Kalman filter on the past is decaying exponentially, whenever the process noise is non-degenerate. Therefore, Kalman filter may be approximated by regression on a few recent observations. Surprisingly, we also show that having some process noise is essential for the exponential decay. With no process noise, it may happen that the forecast depends on all of the past uniformly, which makes forecasting more difficult. Based on this insight, we devise an on-line algorithm for improper learning of a linear dynamical system (LDS), which considers only a few most recent observations. We use our decay results to provide the first regret bounds w.r.t. to Kalman filters within learning an LDS. That is, we compare the results of our algorithm to the best, in hindsight, Kalman filter for a given signal. Also, the algorithm is practical: its per-update run-time is linear in the regression depth.


title: The state-sum invariants for virtual knots

abstract: We construct the new non-trivial state--sum invariants for virtual knots and links by a generalization of the powerful Carter--Saito--Jelsovsky--Kamada--Langford theorem for classical knots. The main result of this work is based on cohomology quandle theory and colorings of virtual knot and link diagrams by quandle elements.


title: Inspiration Learning through Preferences

abstract: Current imitation learning techniques are too restrictive because they require the agent and expert to share the same action space. However, oftentimes agents that act differently from the expert can solve the task just as good. For example, a person lifting a box can be imitated by a ceiling mounted robot or a desktop-based robotic-arm. In both cases, the end goal of lifting the box is achieved, perhaps using different strategies. We denote this setup as \textit{Inspiration Learning} - knowledge transfer between agents that operate in different action spaces. Since state-action expert demonstrations can no longer be used, Inspiration learning requires novel methods to guide the agent towards the end goal. In this work, we rely on ideas of Preferential based Reinforcement Learning (PbRL) to design Advantage Actor-Critic algorithms for solving inspiration learning tasks. Unlike classic actor-critic architectures, the critic we use consists of two parts: a) a state-value estimation as in common actor-critic algorithms and b) a single step reward function derived from an expert/agent classifier. We show that our method is capable of extending the current imitation framework to new horizons. This includes continuous-to-discrete action imitation, as well as primitive-to-macro action imitation.


title: Domination properties and extension of positive compact operators on pre-Riesz spaces

abstract: This paper concerns positive domination property of compact operators on pre-Riesz spaces. The method is embedding the pre-Riesz space to the Riesz completion. It extends the order continuous norms in pre-Riesz spaces to Riesz completions. The compactness of third power of a positive operator is obtained in a pre-Riesz space which has an order unit.


title: Multi-Skein Invariants for Welded and Extended Welded Knots and Links

abstract: The theory of welded and extended welded knots is a generalization of classical knot theory. Welded (resp. extended welded) knot diagrams include virtual crossings (resp. virtual crossings and wen marks) and are equivalent under an extended set of Reidemeister-type moves. We present a new class of invariants for welded and extended welded knots and links using a multi-skein relation, following Z. Yang's approach for virtual knots. Using this skein-theoretic approach, we find sufficient conditions on the coefficients to obtain invariance under the extended Reidemeister moves appropriate to welded and extended welded links.


title: Susceptibilities of strongly interacting matter in a finite volume

abstract: We investigate possible finite-volume effects on baryon number susceptibilities of strongly interacting matter. Assuming that a hadronic and a deconfined phase both contribute to the thermodynamic state of a finite system due to fluctuations, it is found that the resulting shapes of the net-baryon number distributions deviate significantly from the infinite volume limit for a given temperature $T$ and baryochemical potential $\mu_B$. In particular, the constraint on color-singletness for the finite quark-gluon phase contribution leads to a change of the temperature dependence of the susceptibilities in finite volumes. According to the model, the finite-volume effect depends qualitatively on the value of $\mu_B$.


title: A remark on the extension of $L^{2}$ holomorphic functions

abstract: In this note, we answer a question on the extension of $L^{2}$ holomorphic functions posed by Ohsawa.


title: A Data Analytics Framework for Aggregate Data Analysis

abstract: In many contexts, we have access to aggregate data, but individual level data is unavailable. For example, medical studies sometimes report only aggregate statistics about disease prevalence because of privacy concerns. Even so, many a time it is desirable, and in fact could be necessary to infer individual level characteristics from aggregate data. For instance, other researchers who want to perform more detailed analysis of disease characteristics would require individual level data. Similar challenges arise in other fields too including politics, and marketing. In this paper, we present an end-to-end pipeline for processing of aggregate data to derive individual level statistics, and then using the inferred data to train machine learning models to answer questions of interest. We describe a novel algorithm for reconstructing fine-grained data from summary statistics. This step will create multiple candidate datasets which will form the input to the machine learning models. The advantage of the highly parallel architecture we propose is that uncertainty in the generated fine-grained data will be compensated by the use of multiple candidate fine-grained datasets. Consequently, the answers derived from the machine learning models will be more valid and usable. We validate our approach using data from a challenging medical problem called Acute Traumatic Coagulopathy.


title: Road Detection Technique Using Filters with Application to Autonomous Driving System

abstract: Autonomous driving systems are broadly used equipment in the industries and in our daily lives, they assist in production, but are majorly used for exploration in dangerous or unfamiliar locations. Thus, for a successful exploration, navigation plays a significant role. Road detection is an essential factor that assists autonomous robots achieved perfect navigation. Various techniques using camera sensors have been proposed by numerous scholars with inspiring results, but their techniques are still vulnerable to these environmental noises: rain, snow, light intensity and shadow. In addressing these problems, this paper proposed to enhance the road detection system with filtering algorithm to overcome these limitations. Normalized Differences Index (NDI) and morphological operation are the filtering algorithms used to address the effect of shadow and guidance and re-guidance image filtering algorithms are used to address the effect of rain and/or snow, while dark channel image and specular-to-diffuse are the filters used to address light intensity effects. The experimental performance of the road detection system with filtering algorithms was tested qualitatively and quantitatively using the following evaluation schemes: False Negative Rate (FNR) and False Positive Rate (FPR). Comparison results of the road detection system with and without filtering algorithm shows the filtering algorithm's capability to suppress the effect of environmental noises because better road/non-road classification is achieved by the road detection system. with filtering algorithm. This achievement has further improved path planning/region classification for autonomous driving system


title: An FPGA-Accelerated Design for Deep Learning Pedestrian Detection in Self-Driving Vehicles

abstract: With the rise of self-driving vehicles comes the risk of accidents and the need for higher safety, and protection for pedestrian detection in the following scenarios: imminent crashes, thus the car should crash into an object and avoid the pedestrian, and in the case of road intersections, where it is important for the car to stop when pedestrians are crossing. Currently, a special topology of deep neural networks called Fused Deep Neural Network (F-DNN) is considered to be the state of the art in pedestrian detection, as it has the lowest miss rate, yet it is very slow. Therefore, acceleration is needed to speed up the performance. This project proposes two contributions to address this problem, by using a deep neural network used for object detection, called Single Shot Multi-Box Detector (SSD). The first contribution is training and tuning the hyperparameters of SSD to improve pedestrian detection. The second contribution is a new FPGA design for accelerating the model on the Altera Arria 10 platform. The final system will be used in self-driving vehicles in real-time. Preliminary results of the improved SSD shows 3% higher miss-rate than F-DNN on Caltech pedestrian detection benchmark, but 4x performance improvement. The acceleration design is expected to achieve an additional performance improvement significantly outweighing the minimal difference in accuracy.


title: Structural subnetwork evolution across the life-span: rich-club, feeder, seeder

abstract: The impact of developmental and aging processes on brain connectivity and the connectome has been widely studied. Network theoretical measures and certain topological principles are computed from the entire brain, however there is a need to separate and understand the underlying subnetworks which contribute towards these observed holistic connectomic alterations. One organizational principle is the rich-club - a core subnetwork of brain regions that are strongly connected, forming a high-cost, high-capacity backbone that is critical for effective communication in the network. Investigations primarily focus on its alterations with disease and age. Here, we present a systematic analysis of not only the rich-club, but also other subnetworks derived from this backbone - namely feeder and seeder subnetworks. Our analysis is applied to structural connectomes in a normal cohort from a large, publicly available lifespan study. We demonstrate changes in rich-club membership with age alongside a shift in importance from 'peripheral' seeder to feeder subnetworks. Our results show a refinement within the rich-club structure (increase in transitivity and betweenness centrality), as well as increased efficiency in the feeder subnetwork and decreased measures of network integration and segregation in the seeder subnetwork. These results demonstrate the different developmental patterns when analyzing the connectome stratified according to its rich-club and the potential of utilizing this subnetwork analysis to reveal the evolution of brain architectural alterations across the life-span.


title: A Reciprocal Formulation of Nonexponential Radiative Transfer. 2: Monte Carlo Estimation and Diffusion Approximation

abstract: When lifting the assumption of spatially-independent scattering centers in classical linear transport theory, collision rate is no longer proportional to angular flux / radiance because the macroscopic cross-section $\Sigma_t(s)$ depends on the distance $s$ to the previous collision or boundary. We generalize collision and track-length estimators to support unbiased estimation of either flux integrals or collision rates in generalized radiative transfer (GRT). To provide benchmark solutions for the Monte Carlo estimators, we derive the four Green's functions for the isotropic point source in infinite media with isotropic scattering. Additionally, new moment-preserving diffusion approximations for these Green's functions are derived, which reduce to algebraic expressions involving the first four moments of the free-path lengths between collisions.


title: Rigidity of the hexagonal Delaunay triangulated plane

abstract: We show the rigidity of the hexagonal Delaunay triangulated plane under Luo's PL conformality. As a consequence, we obtain a rigidity theorem for a particular type of locally finite convex ideal hyperbolic polyhedra.


title: Magnetic pseudodifferential operators represented as generalized Hofstadter-like matrices

abstract: First, we reconsider the magnetic pseudodifferential calculus and show that for a large class of non-decaying symbols, their corresponding magnetic pseudodifferential operators can be represented, up to a global gauge transform, as generalized Hofstadter-like, bounded matrices. As a by-product, we prove a Calder\'on-Vaillancourt type result. Second, we make use of this matrix representation and prove sharp results on the spectrum location when the magnetic field strength $b$ varies. Namely, when the operators are self-adjoint, we show that their spectrum (as a set) is at least $1/2$-H\"{o}lder continuous with respect to $b$ in the Hausdorff distance. Third, when the magnetic perturbation comes from a constant magnetic field we show that their spectral edges are Lipschitz continuous in $b$. The same Lipschitz continuity holds true for spectral gap edges as long as the gaps do not close.


title: Multi-Label Image Classification via Knowledge Distillation from Weakly-Supervised Detection

abstract: Multi-label image classification is a fundamental but challenging task towards general visual understanding. Existing methods found the region-level cues (e.g., features from RoIs) can facilitate multi-label classification. Nevertheless, such methods usually require laborious object-level annotations (i.e., object labels and bounding boxes) for effective learning of the object-level visual features. In this paper, we propose a novel and efficient deep framework to boost multi-label classification by distilling knowledge from weakly-supervised detection task without bounding box annotations. Specifically, given the image-level annotations, (1) we first develop a weakly-supervised detection (WSD) model, and then (2) construct an end-to-end multi-label image classification framework augmented by a knowledge distillation module that guides the classification model by the WSD model according to the class-level predictions for the whole image and the object-level visual features for object RoIs. The WSD model is the teacher model and the classification model is the student model. After this cross-task knowledge distillation, the performance of the classification model is significantly improved and the efficiency is maintained since the WSD model can be safely discarded in the test phase. Extensive experiments on two large-scale datasets (MS-COCO and NUS-WIDE) show that our framework achieves superior performances over the state-of-the-art methods on both performance and efficiency.


title: Topological systems as a framework for institutions

abstract: Recently, J.~T.~Denniston, A.~Melton, and S.~E.~Rodabaugh introduced a lattice-valued analogue of the concept of institution of J.~A.~Goguen and R.~M.~Burstall, comparing it, moreover, with the (lattice-valued version of the) notion of topological system of S.~Vickers. In this paper, we show that a suitable generalization of topological systems provides a convenient framework for doing certain kinds of (lattice-valued) institutions.


title: Meta-Embedding as Auxiliary Task Regularization

abstract: Word embeddings have been shown to benefit from ensambling several word embedding sources, often carried out using straightforward mathematical operations over the set of word vectors. More recently, self-supervised learning has been used to find a lower-dimensional representation, similar in size to the individual word embeddings within the ensemble. However, these methods do not use the available manually labeled datasets that are often used solely for the purpose of evaluation. We propose to reconstruct an ensemble of word embeddings as an auxiliary task that regularises a main task while both tasks share the learned meta-embedding layer. We carry out intrinsic evaluation (6 word similarity datasets and 3 analogy datasets) and extrinsic evaluation (4 downstream tasks). For intrinsic task evaluation, supervision comes from various labeled word similarity datasets. Our experimental results show that the performance is improved for all word similarity datasets when compared to self-supervised learning methods with a mean increase of $11.33$ in Spearman correlation. Specifically, the proposed method shows the best performance in 4 out of 6 of word similarity datasets when using a cosine reconstruction loss and Brier's word similarity loss. Moreover, improvements are also made when performing word meta-embedding reconstruction in sequence tagging and sentence meta-embedding for sentence classification.


title: Sierpinski object for affine systems

abstract: Motivated by the concept of Sierpinski object for topological systems of S.~Vickers, presented recently by R.~Noor and A.~K.~Srivastava, this paper introduces the Sierpinski object for many-valued topological systems and shows that it has three important properties of the crisp Sierpinski space of general topology.


title: An investigation of a deep learning based malware detection system

abstract: We investigate a Deep Learning based system for malware detection. In the investigation, we experiment with different combination of Deep Learning architectures including Auto-Encoders, and Deep Neural Networks with varying layers over Malicia malware dataset on which earlier studies have obtained an accuracy of (98%) with an acceptable False Positive Rates (1.07%). But these results were done using extensive man-made custom domain features and investing corresponding feature engineering and design efforts. In our proposed approach, besides improving the previous best results (99.21% accuracy and a False Positive Rate of 0.19%) indicates that Deep Learning based systems could deliver an effective defense against malware. Since it is good in automatically extracting higher conceptual features from the data, Deep Learning based systems could provide an effective, general and scalable mechanism for detection of existing and unknown malware.


title: Comparison of Deep Learning and the Classical Machine Learning Algorithm for the Malware Detection

abstract: Recently, Deep Learning has been showing promising results in various Artificial Intelligence applications like image recognition, natural language processing, language modeling, neural machine translation, etc. Although, in general, it is computationally more expensive as compared to classical machine learning techniques, their results are found to be more effective in some cases. Therefore, in this paper, we investigated and compared one of the Deep Learning Architecture called Deep Neural Network (DNN) with the classical Random Forest (RF) machine learning algorithm for the malware classification. We studied the performance of the classical RF and DNN with 2, 4 & 7 layers architectures with the four different feature sets, and found that irrespective of the features inputs, the classical RF accuracy outperforms the DNN.


title: Semantic Interoperability Middleware Architecture for Heterogeneous Environmental Data Sources

abstract: Data heterogeneity hampers the effort to integrate and infer knowledge from vast heterogeneous data sources. An application case study is described, in which the objective was to semantically represent and integrate structured data from sensor devices with unstructured data in the form of local indigenous knowledge. However, the semantic representation of these heterogeneous data sources for environmental monitoring systems is not well supported yet. To combat the incompatibility issues, a dedicated semantic middleware solution is required. In this paper, we describe and evaluate a cross-domain middleware architecture that semantically integrates and generate inference from heterogeneous data sources. These use of semantic technology for predicting and forecasting complex environmental phenomenon will increase the degree of accuracy of environmental monitoring systems.


title: Pseudo Kobayashi hyperbolicity of base spaces of families of minimal projective manifolds with maximal variation

abstract: In this paper we prove that every quasi-projective base space $V$ of smooth family of minimal projective manifolds with maximal variation is pseudo Kobayashi hyperbolic, i.e. $V$ is Kobayashi hyperbolic modulo a proper subvariety $Z\subsetneq V$. In particular, $V$ is algebraically degenerate, that is, every nonconstant entire curve $f:\mathbb{C}\to V$ has image $f(\mathbb{C})$ which lies in that proper subvariety $Z\subsetneq V$. As a direct consequence, we prove the Brody hyperbolicity of moduli spaces of minimal projective manifolds, which answers a question by Viehweg-Zuo in 2003.


title: Parametrized higher category theory

abstract: We develop foundations for the category theory of $\infty$-categories parametrized by a base $\infty$-category. Our main contribution is a theory of indexed homotopy limits and colimits, which specializes to a theory of $G$-colimits for $G$ a finite group when the base is chosen to be the orbit category of $G$. We apply this theory to show that the $G$-$\infty$-category of $G$-spaces is freely generated under $G$-colimits by the contractible $G$-space, thereby affirming a conjecture of Mike Hill.


title: Existence, Duality, and Cyclical monotonicity for weak transport costs

abstract: The optimal weak transport problem has recently been introduced by Gozlan et.\ al. We provide general existence and duality results for these problems on arbitrary Polish spaces, as well as a necessary and sufficient optimality criterion in the spirit of cyclical monotonicity. As an application we extend the Brenier-Strassen Theorem of Gozlan-Juillet to general probability measures on $R^d$ under minimal assumptions. A driving idea behind our proofs is to consider the set of transport plans with a new (`adapted') topology which seems better suited for the weak transport problem and allows to carry out arguments which are close to the proofs in the classical setup.


title: Approximating solutions of linear elliptic PDE's on a smooth manifold using local kernels

abstract: A mesh-free numerical method for solving linear elliptic PDE's using the local kernel theory that was developed for manifold learning is proposed. In particular, this novel approach exploits the local kernel theory which allows one to approximate the Kolmogorov operator associated with It\^o processes on compact Riemannian manifolds without boundary or with Neumann boundary conditions using an integral operator. Theoretical justification for the convergence of this numerical technique is provided under the standard conditions for the existence of the weak solutions of the PDEs. Numerical results on various instructive examples, ranging from PDE's defined on flat and non-flat manifolds with known and unknown embedding functions show accurate approximation with error on the order of the kernel bandwidth parameter.


title: Primal-dual accelerated gradient methods with small-dimensional relaxation oracle

abstract: In this paper, a new variant of accelerated gradient descent is proposed. The pro-posed method does not require any information about the objective function, usesexact line search for the practical accelerations of convergence, converges accordingto the well-known lower bounds for both convex and non-convex objective functions,possesses primal-dual properties and can be applied in the non-euclidian set-up. Asfar as we know this is the rst such method possessing all of the above properties atthe same time. We also present a universal version of the method which is applicableto non-smooth problems. We demonstrate how in practice one can efficiently use thecombination of line-search and primal-duality by considering a convex optimizationproblem with a simple structure (for example, linearly constrained).


title: Classifying Process Instances Using Recurrent Neural Networks

abstract: Process Mining consists of techniques where logs created by operative systems are transformed into process models. In process mining tools it is often desired to be able to classify ongoing process instances, e.g., to predict how long the process will still require to complete, or to classify process instances to different classes based only on the activities that have occurred in the process instance thus far. Recurrent neural networks and its subclasses, such as Gated Recurrent Unit (GRU) and Long Short-Term Memory (LSTM), have been demonstrated to be able to learn relevant temporal features for subsequent classification tasks. In this paper we apply recurrent neural networks to classifying process instances. The proposed model is trained in a supervised fashion using labeled process instances extracted from event log traces. This is the first time we know of GRU having been used in classifying business process instances. Our main experimental results shows that GRU outperforms LSTM remarkably in training time while giving almost identical accuracies to LSTM models. Additional contributions of our paper are improving the classification model training time by filtering infrequent activities, which is a technique commonly used, e.g., in Natural Language Processing (NLP).


title: Systems of bounded rational agents with information-theoretic constraints

abstract: Specialization and hierarchical organization are important features of efficient collaboration in economical, artificial, and biological systems. Here, we investigate the hypothesis that both features can be explained by the fact that each entity of such a system is limited in a certain way. We propose an information-theoretic approach based on a Free Energy principle, in order to computationally analyze systems of bounded rational agents that deal with such limitations optimally. We find that specialization allows to focus on fewer tasks, thus leading to a more efficient execution, but in turn requires coordination in hierarchical structures of specialized experts and coordinating units. Our results suggest that hierarchical architectures of specialized units at lower levels that are coordinated by units at higher levels are optimal, given that each unit's information-processing capability is limited and conforms to constraints on complexity costs.


title: Electromagnetic energy within coated spheres containing dispersive metamaterials

abstract: An exact expression is derived for the time-averaged electromagnetic energy within a magneto-dielectric coated sphere, which is irradiated by a plane and time-harmonic electromagnetic wave. Both the spherical shell and core are considered to be dispersive and lossy, with a realistic dispersion relation of an isotropic split-ring resonator metamaterial. We obtain analytical expressions for the stored electromagnetic energies inside the core and the shell separately and calculate their contribution to the total average energy density. The stored electromagnetic energy is calculated for two situations involving a metamaterial coated sphere: the dielectric shell and dispersive metamaterial core, and vice-versa. An explicit relation between the stored energy and the optical absorption efficiency is also obtained. We show that the stored electromagnetic energy is an observable sensitive to field interferences responsible for the Fano effect. This result, together with the fact that the Fano effect is more likely to occur in metamaterials with negative refraction, suggest that our findings may be explored in applications.


title: Shape Coexistence and Mixing of Low-Lying $0^+$ States in $^{96}$Sr

abstract: The low energy excited $0_{2,3}^+$ states in $^{96}$Sr are amongst the most prominent examples of shape coexistence across the nuclear landscape. In this work, the neutron $[2s_{1/2}]^2$ content of the $0_{1,2,3}^+$ states in $^{96}$Sr was determined by means of the d($^{95}$Sr,p) transfer reaction at the TRIUMF-ISAC2 facility using the SHARC and TIGRESS arrays. Spectroscopic factors of 0.19(3) and 0.22(3) were extracted for the $^{96}$Sr ground and 1229~keV $0^+$ states, respectively, by fitting the experimental angular distributions to DWBA reaction model calculations. A detailed analysis of the $\gamma$-decay of the isomeric $0_3^+$ state was used to determine a spectroscopic factor of 0.33(13). The experimental results are compared to shell model calculations, which predict negligible spectroscopic strength for the excited $0^+$ states in $^{96}$Sr. The strengths of the excited $0_{2,3}^+$ states were also analyzed within a two-level mixing model and are consistent with a mixing strength of $a^2$=0.40(14) and a difference in intrinsic deformations of $|\Delta \beta|=0.31(3)$. These results suggest coexistence of three different configurations in $^{96}$Sr and strong shape mixing of the two excited $0^+$ states.


title: Optical observations of NEA 3200 Phaethon (1983 TB) during the 2017 apparition

abstract: The near-Earth asteroid 3200 Phaethon (1983 TB) is an attractive object not only from a scientific viewpoint but also because of JAXA's DESTINY+ target. The rotational lightcurve and spin properties were investigated based on the data obtained in the ground-based observation campaign of Phaethon. We aim to refine the lightcurves and shape model of Phaethon using all available lightcurve datasets obtained via optical observation, as well as our time-series observation data from the 2017 apparition. Using eight 1-2-m telescopes and an optical imager, we acquired the optical lightcurves and derived the spin parameters of Phaethon. We applied the lightcurve inversion method and SAGE algorithm to deduce the convex and non-convex shape model and pole orientations. We analysed the optical lightcurve of Phaethon and derived a synodic and a sidereal rotational period of 3.6039 h, with an axis ratio of a/b = 1.07. The ecliptic longitude (lambda) and latitude (beta) of the pole orientation were determined as (308, -52) and (322, -40) via two independent methods. A non-convex model from the SAGE method, which exhibits a concavity feature, is also presented.


title: Trends in the Diffusion of Misinformation on Social Media

abstract: We measure trends in the diffusion of misinformation on Facebook and Twitter between January 2015 and July 2018. We focus on stories from 570 sites that have been identified as producers of false stories. Interactions with these sites on both Facebook and Twitter rose steadily through the end of 2016. Interactions then fell sharply on Facebook while they continued to rise on Twitter, with the ratio of Facebook engagements to Twitter shares falling by approximately 60 percent. We see no similar pattern for other news, business, or culture sites, where interactions have been relatively stable over time and have followed similar trends on the two platforms both before and after the election.


title: Low-frequency spectroscopy for quantum multi-level systems

abstract: A periodically driven quantum system with avoided-level crossing experiences both non-adiabatic transitions and wave-function phase changes. These result in coherent interference fringes in the system's occupation probabilities. For qubits, with repelling energy levels, such interference, named after Landau-Zener-Stuckelberg-Majorana, displays arc-shaped resonance lines. We demonstrate that in the case of a multi-level system with an avoided-level crossing of the two lower levels, the shape of the resonances can change from convex arcs to concave heart-shaped and harp-shaped resonance lines. In this way, the shape of such resonance fringes is defined by the whole spectrum, providing insight on the slow-frequency system spectroscopy. As a particular example, we consider this for valley-orbit silicon quantum dots.


title: Stochastic differential equations for infinite particle systems of jump type with long range interactions

abstract: Infinite-dimensional stochastic differential equations (ISDEs) describing systems with an infinite number of particles are considered. Each particle undergoes a L\'evy process, and the interaction between particles is determined by the long-range interaction potential. The potential is of Ruelle's class or logarithmic. We discuss the existence and uniqueness of strong solutions of the ISDEs.


title: A Storm in an IoT Cup: The Emergence of Cyber-Physical Social Machines

abstract: The concept of social machines is increasingly being used to characterise various socio-cognitive spaces on the Web. Social machines are human collectives using networked digital technology which initiate real-world processes and activities including human communication, interactions and knowledge creation. As such, they continuously emerge and fade on the Web. The relationship between humans and machines is made more complex by the adoption of Internet of Things (IoT) sensors and devices. The scale, automation, continuous sensing, and actuation capabilities of these devices add an extra dimension to the relationship between humans and machines making it difficult to understand their evolution at either the systemic or the conceptual level. This article describes these new socio-technical systems, which we term Cyber-Physical Social Machines, through different exemplars, and considers the associated challenges of security and privacy.


title: From Integrable to Chaotic Systems: Universal Local Statistics of Lyapunov exponents

abstract: Systems where time evolution follows a multiplicative process are ubiquitous in physics. We study a toy model for such systems where each time step is given by multiplication with an independent random $N\times N$ matrix with complex Gaussian elements, the complex Ginibre ensemble. This model allows to explicitly compute the Lyapunov exponents and local correlations amongst them, when the number of factors $M$ becomes large. While the smallest eigenvalues always remain deterministic, which is also the case for many chaotic quantum systems, we identify a critical double scaling limit $N\sim M$ for the rest of the spectrum. It interpolates between the known deterministic behaviour of the Lyapunov exponents for $M\gg N$ (or $N$ fixed) and universal random matrix statistics for $M\ll N$ (or $M$ fixed), characterising chaotic behaviour. After unfolding this agrees with Dyson's Brownian Motion starting from equidistant positions in the bulk and at the soft edge of the spectrum. This universality statement is further corroborated by numerical experiments, multiplying different kinds of random matrices. It leads us to conjecture a much wider applicability in complex systems, that display a transition from deterministic to chaotic behaviour.

categories: math-ph cond-mat.dis-nn cond-mat.stat-mech math.MP math.PR physics.data-an


title: Mixture theory modeling for characterizing solute transport in breast tumor tissues

abstract: Solute transport is modeled using mixture theory, applied to the nanoparticle accumulation and concentration decay in the tissue space for different vascular configurations. A comparison of a single capillary configuration (SBC) with two parallel cylindrical blood vessels (2 BC) and a lymph vessel parallel to a blood vessel (BC_LC) embedded in the tissue cylinder is performed for five solute molecular weights between 0.1 kDa and 70 kDa. We found that the presence of a second capillary reduces the extravascular concentration compared to a single capillary and this reduction is enhanced by the presence of a lymph vessel. Co-current flow direction between two adjacent vessels led to nonhomogeneous nanoparticle distribution for larger particle sizes in the tissue space, while smaller particles (0.1 kDa and 3 kDa) showed the propensity to get trapped locally in the tissue during counter-current flow. Varying the intercapillary distance with respect to vessel diameter shows a deviation of 10-30 % concentration for 2 BC and 45-60% concentration for BC_LC configuration compared to the reference SBC configuration. Finally, we introduce a non-dimensional time scale that captures the concertation as a function of the transport and geometric parameters. We find that the peak solute concentration in the tissue space occurs at a non-dimensional time, T_peak^* = 0.027+/-0.018, irrespective of the solute size, tissue architecture, and microvessel flow direction. This suggests that if indeed such a universal time scale holds, the knowledge of this time would allow estimation of the time window at which solute concentration in tissue peaks. Hence this can aid in the design of future therapeutic efficacy studies as an example for triggering drug release or laser excitation in the case of photothermal therapies.


title: Effective delta sources and regularity in higher-derivative and ghost-free gravity

abstract: It is shown that polynomial gravity theories with more than four derivatives in each scalar and tensor sectors have a regular weak-field limit, without curvature singularities. This is achieved by proving that in these models the effect of the higher derivatives can be regarded as a complete regularization of the delta-source. We also show how this result implies that a wide class of non-local ghost-free gravities have a regular Newtonian limit too, and discuss the applicability of this approach to the case of weakly non-local models.


title: Higher Haantjes Brackets and Integrability

abstract: We propose a new, infinite class of brackets generalizing the Fr\"olicher--Nijenhuis bracket. This class can be reduced to a family of generalized Nijenhuis torsions recently introduced. In particular, the Haantjes bracket, the first example of our construction, is relevant in the characterization of Haantjes moduli of operators. We shall also prove that the vanishing of a higher-level Nijenhuis torsion of a given operator is a sufficient condition for the integrability of its generalized eigen-distributions. This result (which does not require any knowledge of the spectral properties of the operator) generalizes the celebrated Haantjes theorem. The same vanishing condition also guarantees that the operator can be written, in a local chart, in a block-diagonal form.


title: A model Exact Study of the properties of low-lying electronic states of Perylene and Substituted Perylenes

abstract: There is a resurgence of interest in the electronic structure of perylene for its applications in molecular devices such as organic photovoltaics and organic light emitting diodes. In this study, we have obtained the low-lying singlet states of perylene by exactly solving the Parisar-Parr-Pople model Hamiltonian of this system with 20 sites and 20 electrons, in the VB basis where dimensionality is $\sim$ 5.92 billion. The triplet states of perylene are obtained using a DMRG scheme with symmetry adaptation. The one and two photon states are very close in energy $\sim$ 3.2 eV while the lowest triplet state is slightly below 1.6 eV indicating that perylene is a good candidate for singlet fission. To explore the tunability of the electronic states, we have studied donor-acceptor substituted perylenes. The two donors and two acceptors are substituted symmetrically either at the four bay sites or four peri sites. In all the bay substitution and one peri substitution at moderate D/A strength, the optical gap is lowered to about 2.8 eV. These molecules can be used as blue emitters. We have also reported bond orders in all the cases and perylene as well as substituted perylenes can be viewed as two weakly coupled naphthalene in the singlet states but in triplets these bonds tend to be comparable to other bonds in strength. The charge densities in substituted perylenes are mostly localized around the substitution sites in the ground state. The positive spin densities in triplets are concentrated around the peri and bay sites with the remaining sites having small spin densities of either sign.


title: MeshCNN: A Network with an Edge

abstract: Polygonal meshes provide an efficient representation for 3D shapes. They explicitly capture both shape surface and topology, and leverage non-uniformity to represent large flat regions as well as sharp, intricate features. This non-uniformity and irregularity, however, inhibits mesh analysis efforts using neural networks that combine convolution and pooling operations. In this paper, we utilize the unique properties of the mesh for a direct analysis of 3D shapes using MeshCNN, a convolutional neural network designed specifically for triangular meshes. Analogous to classic CNNs, MeshCNN combines specialized convolution and pooling layers that operate on the mesh edges, by leveraging their intrinsic geodesic connections. Convolutions are applied on edges and the four edges of their incident triangles, and pooling is applied via an edge collapse operation that retains surface topology, thereby, generating new mesh connectivity for the subsequent convolutions. MeshCNN learns which edges to collapse, thus forming a task-driven process where the network exposes and expands the important features while discarding the redundant ones. We demonstrate the effectiveness of our task-driven pooling on various learning tasks applied to 3D meshes.


title: Robust and customized methods for real-time hand gesture recognition under object-occlusion

abstract: Dynamic hand tracking and gesture recognition is a hard task since there are many joints on the fingers and each joint owns many degrees of freedom. Besides, object occlusion is also a thorny issue in finger tracking and posture recognition. Therefore, we propose a robust and customized system for realtime hand tracking and gesture recognition under occlusion environment. First, we model the angles between hand keypoints and encode their relative coordinate vectors, then we introduce GAN to generate raw discrete sequence dataset. Secondly we propose a time series forecasting method in the prediction of defined hand keypoint location. Finally, we define a sliding window matching method to complete gesture recognition. We analyze 11 kinds of typical gestures and show how to perform gesture recognition with the proposed method. Our work can reach state of the art results and contribute to build a framework to implement customized gesture recognition task.


title: Target Defense Against Link-Prediction-Based Attacks via Evolutionary Perturbations

abstract: In social networks, by removing some target-sensitive links, privacy protection might be achieved. However, some hidden links can still be re-observed by link prediction methods on observable networks. In this paper, the conventional link prediction method named Resource Allocation Index (RA) is adopted for privacy attacks. Several defense methods are proposed, including heuristic and evolutionary approaches, to protect targeted links from RA attacks via evolutionary perturbations. This is the first time to study privacy protection on targeted links against link-prediction-based attacks. Some links are randomly selected from the network as targeted links for experimentation. The simulation results on six real-world networks demonstrate the superiority of the evolutionary perturbation approach for target defense against RA attacks. Moreover, transferring experiments show that, although the evolutionary perturbation approach is designed to against RA attacks, it is also effective against other link-prediction-based attacks.


title: Completion of Phase I and Preparation for Phase II of the HAYSTAC Experiment

abstract: The HAYSTAC experiment utilizes a tunable resonant microwave cavity to search for dark matter axions. We report on the system and the results from Phase I of the experiment. This phase relied on a 9 T magnet, Josephson parametric amplifiers, and a dilution refrigerator for the operation of the experiment. Axion models with two photon coupling $\ g_{a\gamma\gamma}\gtrsim2\times 10^{-14}\ \mathrm{GeV}$ were excluded in the $\ 23.15<m_a<24.0\ \mathrm{\mu eV}$ mass range. Phase II of the experiment will include upgrades to the cryogenics system and a new squeezed-state receiver. Finally, we discuss work on multi-rod cavities and photonic band gap resonators for higher frequency operation.


title: Unraveling hagfish slime

abstract: Hagfish slime is a unique predator defense material containing a network of long fibrous threads each ~ 10 cm in length. Hagfish release the threads in a condensed coiled state known as thread cells, or skeins (~ 100 microns), which must unravel within a fraction of a second to thwart a predator attack. Here we consider the hypothesis that viscous hydrodynamics can be responsible for this rapid unraveling, as opposed to chemical reaction kinetics alone. Our main conclusion is that, under reasonable physiological conditions, unraveling due to viscous drag can occur within a few hundred milliseconds, and is accelerated if the skein is pinned at a surface such as the mouth of a predator. We model a single thread cell unspooling as the fiber peels away due to viscous drag. We capture essential features by considering one-dimensional scenarios where the fiber is aligned with streamlines in either uniform flow or uniaxial extensional flow. The peeling resistance is modeled with a power-law dependence on peeling velocity. A dimensionless ratio of viscous drag to peeling resistance appears in the dynamical equations and determines the unraveling timescale. Our modeling approach is general and can be refined with future experimental measurements of peel strength for skein unraveling. It provides key insights into the unraveling process, offers potential answers to lingering questions about slime formation from threads and mucous vesicles, and will aid the growing interest in engineering similar bioinspired material systems.


title: Quantum Rolling Friction

abstract: An atom moving in a vacuum at constant velocity and parallel to a surface experiences a frictional force induced by the dissipative interaction with the quantum fluctuations of the electromagnetic field. We show that the combination of nonequilibrium dynamics, anomalous Doppler effect and spin-momentum locking of light mediates an intriguing interplay between the atom's translational and rotational motion. In turn, this deeply affects the drag force in a way that is reminiscent of classical rolling friction. Our fully non-Markovian and nonequilibrium description reveals counterintuitive features characterizing the atom's velocity-dependent rotational dynamics. These results prompt interesting directions for tuning the interaction and for investigating nonequilibrium dynamics as well as the properties of confined light.


title: Curriculum-Based Neighborhood Sampling For Sequence Prediction

abstract: The task of multi-step ahead prediction in language models is challenging considering the discrepancy between training and testing. At test time, a language model is required to make predictions given past predictions as input, instead of the past targets that are provided during training. This difference, known as exposure bias, can lead to the compounding of errors along a generated sequence at test time. In order to improve generalization in neural language models and address compounding errors, we propose a curriculum learning based method that gradually changes an initially deterministic teacher policy to a gradually more stochastic policy, which we refer to as \textit{Nearest-Neighbor Replacement Sampling}. A chosen input at a given timestep is replaced with a sampled nearest neighbor of the past target with a truncated probability proportional to the cosine similarity between the original word and its top $k$ most similar words. This allows the teacher to explore alternatives when the teacher provides a sub-optimal policy or when the initial policy is difficult for the learner to model. The proposed strategy is straightforward, online and requires little additional memory requirements. We report our main findings on two language modelling benchmarks and find that the proposed approach performs particularly well when used in conjunction with scheduled sampling, that too attempts to mitigate compounding errors in language models.


title: Green's Function Approach to Entanglement Entropy on Lattices and Fuzzy Spaces

abstract: We develop a Green's function approach to compute R\'{e}nyi entanglement entropy on lattices and fuzzy spaces. The R\'{e}nyi entropy resulting from tracing out an arbitrary collection of subsets of coupled harmonic oscillators is written as zero temperature partition function generated by an Euclidean action with $n$-fold step potential. The associated Green's function is explicitly constructed and an alternative new formula for the R\'{e}nyi entropy is obtained. Finally it is outlined how this approach can be used to go beyond the gaussian state and include interaction by writing a perturbative expansion for the entanglement entropy .


title: A conformally invariant gap theorem characterizing $\mathbb{CP}^2$ via the Ricci flow

abstract: We extend the sphere theorem of \cite{CGY03} to give a conformally invariant characterization of $(\mathbb{CP}^2, g_{FS})$. In particular, we introduce a conformal invariant $\beta(M^4,[g]) \geq 0$ defined on conformal four-manifolds satisfying a `positivity' condition; it follows from \cite{CGY03} that if $0 \leq \beta(M^4,[g]) < 4$, then $M^4$ is diffeomorphic to $S^4$. Our main result of this paper is a `gap' result showing that if $b_2^{+}(M^4) > 0$ and $4 \leq \beta(M^4,[g]) < 4(1 + \epsilon)$ for $\epsilon > 0$ small enough, then $M^4$ is diffeomorphic to $\mathbb{CP}^2$. The Ricci flow is used in a crucial way to pass from the bounds on $\beta$ to pointwise curvature information.


title: Infinitesimal Hilbertianity of weighted Riemannian manifolds

abstract: The main result of this paper is the following: any `weighted' Riemannian manifold $(M,g,\mu)$ - i.e. endowed with a generic non-negative Radon measure $\mu$ - is `infinitesimally Hilbertian', which means that its associated Sobolev space $W^{1,2}(M,g,\mu)$ is a Hilbert space. We actually prove a stronger result: the abstract tangent module (\`a la Gigli) associated to any weighted reversible Finsler manifold $(M,F,\mu)$ can be isometrically embedded into the space of all measurable sections of the tangent bundle of $M$ that are $2$-integrable with respect to $\mu$.


title: Interface Sharpening in Miscible and Isotopic Multilayers: Role of Short-Circuit Diffusion

abstract: Atomic diffusion at nanometer length scale may differ significantly from bulk diffusion, and may sometimes even exhibit counterintuitive behavior. In the present work, taking Cu/Ni as a model system, a general phenomenon is reported which results in sharpening of interfaces upon thermal annealing, even in miscible systems. Anomalous x-ray reflectivity from a Cu/Ni multilayer has been used to study the evolution of interfaces with thermal annealing. Annealing at 423 K results in sharpening of interfaces by about 38%. This is the temperature at which no asymmetry exists in the inter-diffusivities of Ni and Cu. Thus, the effect is very general in nature, and is different from the one reported in the literature, which requires a large asymmetry in the diffusivities of the two constituents [Z. Erd\'elyi et al., Science 306, 1913 (2004).]. General nature of the effect is conclusively demonstrated using isotopic multilayers of 57Fe/naturalFe, in which evolution of isotopic interfaces has been observed using nuclear resonance reflectivity. It is found that annealing at suitably low temperature (e.g. 523 K) results in sharpening of the isotopic interfaces. Since chemically it is a single Fe layer, any effect associated with concentration dependent diffusivity can be ruled out. The results can be understood in terms of fast diffusion along short-circuit paths like triple junctions, which results in an effective sharpening of the interfaces at relatively low temperatures.


title: Analysis of Dynamic Memory Bandwidth Regulation in Multi-core Real-Time Systems

abstract: One of the primary sources of unpredictability in modern multi-core embedded systems is contention over shared memory resources, such as caches, interconnects, and DRAM. Despite significant achievements in the design and analysis of multi-core systems, there is a need for a theoretical framework that can be used to reason on the worst-case behavior of real-time workload when both processors and memory resources are subject to scheduling decisions. In this paper, we focus our attention on dynamic allocation of main memory bandwidth. In particular, we study how to determine the worst-case response time of tasks spanning through a sequence of time intervals, each with a different bandwidth-to-core assignment. We show that the response time computation can be reduced to a maximization problem over assignment of memory requests to different time intervals, and we provide an efficient way to solve such problem. As a case study, we then demonstrate how our proposed analysis can be used to improve the schedulability of Integrated Modular Avionics systems in the presence of memory-intensive workload.


title: Memory Efficient Experience Replay for Streaming Learning

abstract: In supervised machine learning, an agent is typically trained once and then deployed. While this works well for static settings, robots often operate in changing environments and must quickly learn new things from data streams. In this paradigm, known as streaming learning, a learner is trained online, in a single pass, from a data stream that cannot be assumed to be independent and identically distributed (iid). Streaming learning will cause conventional deep neural networks (DNNs) to fail for two reasons: 1) they need multiple passes through the entire dataset; and 2) non-iid data will cause catastrophic forgetting. An old fix to both of these issues is rehearsal. To learn a new example, rehearsal mixes it with previous examples, and then this mixture is used to update the DNN. Full rehearsal is slow and memory intensive because it stores all previously observed examples, and its effectiveness for preventing catastrophic forgetting has not been studied in modern DNNs. Here, we describe the ExStream algorithm for memory efficient rehearsal and compare it to alternatives. We find that full rehearsal can eliminate catastrophic forgetting in a variety of streaming learning settings, with ExStream performing well using far less memory and computation.


title: What is Applied Category Theory?

abstract: This is a collection of introductory, expository notes on applied category theory, inspired by the 2018 Applied Category Theory Workshop, and in these notes we take a leisurely stroll through two themes (functorial semantics and compositionality), two constructions (monoidal categories and decorated cospans) and two examples (chemical reaction networks and natural language processing) within the field.


title: Topology and the suppression of CMB large-angle correlations

abstract: To date, no compelling evidence has been found that the universe has non-trivial spatial topology. Meanwhile, anomalies in the observed CMB temperature map, such as the lack of correlations at large angular separations, remain observationally robust. We show that if our universe is flat and has one compact dimension of appropriate size (slab topology), this would suppress large-angle temperature correlations while maintaining a low-$\ell$ angular power spectrum consistent with observations. The optimal length appears to be $1.4$ times the conformal radius of the CMB's last scattering surface ($\chi_{rec}$). We construct the probability distribution function of the statistic $S_{1/2}$ using simulated Sachs-Wolf-only skies for each of several values of $L_z/\chi_{rec}$. For $L_z\simeq1.4\chi_{rec}$ the $p$-value of four standard masked Planck maps is $p\simeq0.15$, compared to $p\lesssim0.003$ for the conventional topologically trivial space. The mean angular power spectrum $\langle C_{\ell} \rangle$ of the $L_z=1.4\chi_{rec}$ slab space matches the observed power spectrum at $2\leq\ell\lesssim6$ -- including a substantially suppressed quadrupole $C_2$, a slightly suppressed octopole $C_3$, and unsuppressed higher multipoles. It does not predict other low-$\ell$ CMB anomalies, and does not take account of normally sub-dominant Integrated Sachs Wolfe contributions. An $L_z=1.4\chi_{rec}$ slab topology is consistent with published limits from the Planck maps ($L_z\gtrsim1.12\chi_{rec}$). It is within the 95% confidence range $1.2\leq L_z/\chi_{rec}\leq2.1$ inferred using the covariance-matrix of temperature fluctuations. However, it violates published circles-in-the-sky limits from WMAP and related unpublished limits from Planck ($L_z/\chi_{rec}\gtrsim1.9$). We remark on the possibility to satisfy these limits, and "postdict" other large-angle anomalies, with closely related topologies.


title: Quantum Money from Modular Forms

abstract: We present a new idea for a class of public key quantum money protocols where the bills are joint eigenstates of systems of commuting unitary operators. We show that this system is secure against black box attacks, and propose an implementation where our operators are obtained as Hecke operators on spaces of modular forms.


title: On analyzing and evaluating privacy measures for social networks under active attack

abstract: Widespread usage of complex interconnected social networks such as Facebook, Twitter and LinkedIn in modern internet era has also unfortunately opened the door for privacy violation of users of such networks by malicious entities. In this article we investigate, both theoretically and empirically, privacy violation measures of large networks under active attacks that was recently introduced in (Information Sciences, 328, 403-417, 2016). Our theoretical result indicates that the network manager responsible for prevention of privacy violation must be very careful in designing the network if its topology does not contain a cycle. Our empirical results shed light on privacy violation properties of eight real social networks as well as a large number of synthetic networks generated by both the classical Erdos-Renyi model and the scale-free random networks generated by the Barabasi-Albert preferential-attachment model.


title: Effects of entrance channels on the deexcitation properties of the same compound nucleus formed by different pairs of collision partners

abstract: The properties of deexcitation of the same $^{220}$Th compound nucleus (CN) formed by different mass (charge) asymmetric reactions are investigated. It is demonstrated that the effective fission barrier $<B_{\rm fis}>$ value being a function of the excitation energy $E^*_{\rm CN}$ is strongly sensitive to the various orbital angular momentum $L=\ell\hbar$ distributions of CN formed with the same excitation energy $E^*_{CN}$ by the very different entrance channels $^{16}$O+$^{204}$Pb, $^{40}$Ar+$^{180}$Hf, $^{82}$Se+$^{138}$Ba and $^{96}$Zr+$^{124}$Sn. Consequently, the competition between the fission and evaporation of light particles (neutron, proton, and $\alpha$-particle) processes along the deexcitation cascade of CN depends on the orbital angular momentum distribution of CN. Therefore, the ratio between the evaporation residue cross sections obtained after emission of neutral and charged particles and neutrons only for the same CN with a given excitation energy $E^*_{CN}$ is sensitive to the mass (charge) asymmetry of reactants in the entrance channel.


title: I/O Workload Management for All-Flash Datacenter Storage Systems Based on Total Cost of Ownership

abstract: Recently, the capital expenditure of flash-based Solid State Driver (SSDs) keeps declining and the storage capacity of SSDs keeps increasing. As a result, all-flash storage systems have started to become more economically viable for large shared storage installations in datacenters, where metrics like Total Cost of Ownership (TCO) are of paramount importance. On the other hand, flash devices suffer from write amplification, which, if unaccounted, can substantially increase the TCO of a storage system. In this paper, we first develop a TCO model for datacenter all-flash storage systems, and then plug a Write Amplification model (WAF) of NVMe SSDs we build based on empirical data into this TCO model. Our new WAF model accounts for workload characteristics like write rate and percentage of sequential writes. Furthermore, using both the TCO and WAF models as the optimization criterion, we design new flash resource management schemes (MINTCO) to guide datacenter managers to make workload allocation decisions under the consideration of TCO for SSDs. Based on that, we also develop MINTCO-RAID to support RAID SSDs and MINTCO-OFFLINE to optimize the offline workload-disk deployment problem during the initialization phase. Experimental results show that MINTCO can reduce the TCO and keep relatively high throughput and space utilization of the entire datacenter storage resources.


title: Solving for multi-class: a survey and synthesis

abstract: Many of the best statistical classification algorithms are binary classifiers that can only distinguish between one of two classes. The number of possible ways of generalizing binary classification to multi-class increases exponentially with the number of classes. There is some indication that the best method will depend on the dataset. Hence, we are particularly interested in data-driven solution design, whether based on prior considerations or on empirical examination of the data. Here we demonstrate how a recursive control language can be used to describe a multitude of different partitioning strategies in multi-class classification, including those in most common use. We use it both to manually construct new partitioning configurations as well as to examine those that have been automatically designed. Eight different strategies were tested on eight different datasets using a support vector machine (SVM) as the base binary classifier. Numerical results suggest that a one-size-fits-all solution consisting of one-versus-one is appropriate for most datasets. Three datasets showed better accuracy using different methods. The best solution for the most improved dataset exploited a property of the data to produce an uncertainty coefficient 36\% higher (0.016 absolute gain) than one-vs.-one. For the same dataset, an adaptive solution that empirically examined the data was also more accurate than one-vs.-one while being faster.


title: Visually Representing the Landscape of Mathematical Structures

abstract: The information technology explosion has dramatically increased the application of new mathematical ideas and has led to an increasing use of mathematics across a wide range of fields that have been traditionally labeled "pure" or "theoretical". There is a critical need for tools to make these concepts readily accessible to a broader community. This paper details the creation of visual representations of mathematical structures commonly found in pure mathematics to enable both students and professionals to rapidly understand the relationships among and between mathematical structures. Ten broad mathematical structures were identified and used to make eleven maps, with 187 unique structures in total. The paper presents a method and implementation for categorizing mathematical structures and for drawing relationship between mathematical structures that provides insight for a wide audience. The most in depth map is available online for public use [1].


title: Scaling Limits for Crump-Mode-Jagers Processes with Immigration via Stochastic Volterra Equations

abstract: In this paper, we firstly give a reconstruction for Crump-Mode-Jagers processes with immigration as solutions to a class of stochastic Volterra integral equations, which offers us a new insight for the evolution dynamics of age-dependent population. Based on this new representation, we prove the weak convergence of rescaled Crump-Mode-Jagers processes with immigration to a class of continuous-state branching processes with immigration. Moreover, the limits reveal that the individual law mainly changes the branching mechanism and immigration mechanism proportionally. This covers the results obtained by Lambert et al. [35] for subcritical binary Crump-Mode-Jagers processes.


title: A #SAT Algorithm for Small Constant-Depth Circuits with PTF gates

abstract: We show that there is a randomized algorithm that, when given a small constant-depth Boolean circuit $C$ made up of gates that compute constant-degree Polynomial Threshold functions or PTFs (i.e., Boolean functions that compute signs of constant-degree polynomials), counts the number of satisfying assignments to $C$ in significantly better than brute-force time. Formally, for any constants $d,k$, there is an $\epsilon > 0$ such that the algorithm counts the number of satisfying assignments to a given depth-$d$ circuit $C$ made up of $k$-PTF gates such that $C$ has size at most $n^{1+\epsilon}$. The algorithm runs in time $2^{n-n^{\Omega(\epsilon)}}$. Before our result, no algorithm for beating brute-force search was known even for a single degree-$2$ PTF (which is a depth-$1$ circuit of linear size). The main new tool is the use of a learning algorithm for learning degree-$1$ PTFs (or Linear Threshold Functions) using comparison queries due to Kane, Lovett, Moran and Zhang (FOCS 2017). We show that their ideas fit nicely into a memoization approach that yields the #SAT algorithms.


title: Day-to-day dynamic traffic assignment model with variable message signs and endogenous user compliance

abstract: This paper proposes a dual-time-scale, day-to-day dynamic traffic assignment model that takes into account variable message signs (VMS) and its interactions with drivers' travel choices and adaptive learning processes. The within-day dynamic is captured by a dynamic network loading problem with en route update of path choices influenced by the VMS; the day-to-day dynamic is captured by a simultaneous route-and-departure-time adjustment process that employs bounded user rationality. Moreover, we describe the evolution of the VMS compliance rate by modeling drivers' learning processes. We endogenize traffic dynamics, route and departure time choices, travel delays, and VMS compliance, and thereby captur their interactions and interdependencies in a holistic manner. A case study in the west end of Glasgow is carried out to understand the impact of VMS has on road congestion and route choices in both the short and long run. Our main findings include an adverse effect of the VMS on the network performance in the long run (the 'rebound' effect), and existence of an equilibrium state where both traffic and VMS compliance are stabilized.


title: Maximum-Entropy Fine-Grained Classification

abstract: Fine-Grained Visual Classification (FGVC) is an important computer vision problem that involves small diversity within the different classes, and often requires expert annotators to collect data. Utilizing this notion of small visual diversity, we revisit Maximum-Entropy learning in the context of fine-grained classification, and provide a training routine that maximizes the entropy of the output probability distribution for training convolutional neural networks on FGVC tasks. We provide a theoretical as well as empirical justification of our approach, and achieve state-of-the-art performance across a variety of classification tasks in FGVC, that can potentially be extended to any fine-tuning task. Our method is robust to different hyperparameter values, amount of training data and amount of training label noise and can hence be a valuable tool in many similar problems.


title: Bayesian Modular and Multiscale Regression

abstract: We tackle the problem of multiscale regression for predictors that are spatially or temporally indexed, or with a pre-specified multiscale structure, with a Bayesian modular approach. The regression function at the finest scale is expressed as an additive expansion of coarse to fine step functions. Our Modular and Multiscale (M&M) methodology provides multiscale decomposition of high-dimensional data arising from very fine measurements. Unlike more complex methods for functional predictors, our approach provides easy interpretation of the results. Additionally, it provides a quantification of uncertainty on the data resolution, solving a common problem researchers encounter with simple models on down-sampled data. We show that our modular and multiscale posterior has an empirical Bayes interpretation, with a simple limiting distribution in large samples. An efficient sampling algorithm is developed for posterior computation, and the methods are illustrated through simulation studies and an application to brain image classification. Source code is available as an R package at https://github.com/mkln/bmms.


title: Breast Cancer Detection through Electrical Impedance Tomography and Optimal Control Theory: Theoretical and Computational Analysis

abstract: The Inverse Electrical Impedance Tomography (EIT) problem on recovering electrical conductivity tensor and potential in the body based on the measurement of the boundary voltages on the electrodes for a given electrode current is analyzed. A PDE constrained optimal control framework in Besov space is pursued, where the electrical conductivity tensor and boundary voltages are control parameters, and the cost functional is the norm declinations of the boundary electrode current from the given current pattern and boundary electrode voltages from the measurements. The state vector is a solution of the second order elliptic PDE in divergence form with bounded measurable coefficients under mixed Neumann/Robin type boundary condition. Existence of the optimal control and Fr\'echet differentiability in the Besov space setting is proved. The formula for the Fr\'echet gradient and optimality condition is derived. Extensive numerical analysis is pursued in the 2D case by implementing the projective gradient method, re-parameterization via principal component analysis (PCA) and Tikhonov regularization.


title: Search for invisible decays of a Higgs boson produced through vector boson fusion in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: A search for invisible decays of a Higgs boson is performed using proton-proton collision data collected with the CMS detector at the LHC in 2016 at a center-of-mass energy $\sqrt{s} =$ 13 TeV, corresponding to an integrated luminosity of 35.9 fb$^{-1}$. The search targets the production of a Higgs boson via vector boson fusion. The data are found to be in agreement with the background contributions from standard model processes. An observed (expected) upper limit of 0.33 (0.25), at 95% confidence level, is placed on the branching fraction of the Higgs boson decay to invisible particles, assuming standard model production rates and a Higgs boson mass of 125.09 GeV. Results from a combination of this analysis and other direct searches for invisible decays of the Higgs boson, performed using data collected at $\sqrt{s} =$ 7, 8, and 13 TeV, are presented. An observed (expected) upper limit of 0.19 (0.15), at 95% confidence level, is set on the branching fraction of invisible decays of the Higgs boson. The combined limit represents the most stringent bound on the invisible branching fraction of the Higgs boson reported to date. This result is also interpreted in the context of Higgs-portal dark matter models, in which upper bounds are placed on the spin-independent dark-matter-nucleon scattering cross section.


title: Dark matter deficient galaxies in the Illustris flat-$\Lambda$CDM model structure formation simulation

abstract: Surveying dark matter deficient galaxies (those with dark matter mass to stellar mass ratio $M_{\rm dm}/M_{\rm star}<1$) in the Illustris simulation of structure formation in the flat-$\Lambda$CDM cosmogony, we find $M_{\rm star} \approx 2 \times 10^8\, M_\sun$ galaxies that have properties similar to those ascribed by \citet{vanDokkumetal2018a} to the ultra-diffuse galaxy NGC1052-DF2. The Illustris simulation also contains more luminous dark matter deficient galaxies. Illustris galaxy subhalo 476171 is a particularly interesting outlier, a massive and very compact galaxy with $M_{\rm star} \approx 9 \times 10^{10}\, M_\sun$ and $M_{\rm dm}/M_{\rm star} \approx 0.1$ and a half-stellar-mass radius of $\approx 2$ kpc. If the Illustris simulation and the $\Lambda$CDM model are accurate, there are a significant number of dark matter deficient galaxies, including massive luminous compact ones. It will be interesting to observationally discover these galaxies, and to also more clearly understand how they formed, as they are likely to provide new insight into and constraints on models of structure formation and the nature of dark matter.


title: Dunford-Henstock-Kurzweil and Dunford-Mcshane integrals of vector-valued functions defined on m-dimensional bounded sets

abstract: In this paper, we define the Dunford-Henstock-Kurzweil and the Dunford-McShane integrals of Banach space valued functions defined on a bounded Lebesgue measurable subset of m-dimensional Euclidean space Rm. We will show that the new integrals are "natural" extensions of the McShane and the Henstock-Kurzweil integrals from m-dimensional closed non-degenerate intervals to m-dimensional bounded Lebesgue measurable sets. As applications, we will present full descriptive characterizations of the McShane and Henstock-Kurzweil integrals in terms of our integrals. Moreover, a relationship between new integrals will be proved in terms of the Dunford integral.


title: Conformal Ward Identities and the Coupling of QED and QCD to Gravity

abstract: We present a general study of 3-point functions of conformal field theory (CFT) in momentum space, following a reconstruction method for tensor correlators, based on the solution of the conformal Ward identities (CWIs), introduced in recent works. We investigate and detail the structure of the CWIs and their non-perturbative solutions, and compare them to perturbation theory, taking QED and QCD as examples. Exact solutions of CFT's in the flat background limit in momentum space are matched by the perturbative realizations in free field theories, showing that the origin the conformal anomaly is related to efffective scalar interactions, generated by the renormalization of the longitudinal components of the corresponding operators.


title: The attenuated geodesic ray transform on tensors: generic injectivity and stability

abstract: We consider the attenuated geodesic ray transform defined on pairs of symmetric $2$-tensors and $1$-forms on a simple Riemannian manifold. We prove injectivity and stability results for a class of generic simple metrics and attenuations containing real analytic ones. In fact, methods used in this paper can be modified to generalize our results for a class of non-simple manifolds similar to Stefanov-Uhlmann [American Journal of Mathematics, {\bf 130} (1):239--268 (2008)].


title: Probing magneto-elastic phenomena through an effective spin-bath coupling model

abstract: A phenomenological model is constructed, that captures the effects of coupling magnetic and elastic degrees of freedom, in the presence of external, stochastic perturbations, in terms of the interaction of magnetic moments with a bath, whose individual degrees of freedom cannot be resolved and only their mesoscopic properties are relevant. In the present work, the consequences of identifying the effects of dissipation as resulting from interactions with a bath of spins are explored, in addition to elastic, degrees of freedom. The corresponding stochastic differential equations are solved numerically and the moments of the magnetization are computed. The stochastic equations implicitly define a measure on the space of spin configurations, whose moments at equal times satisfy a hierarchy of deterministic, ordinary differential equations. Closure assumptions are used to truncate the hierarchy and the same moments are computed. We focus on the advantages and problems that each approach presents, for the approach to equilibrium and, in particular, the emergence of longitudinal damping.


title: Characterization of manifolds of constant curvature by spherical curves

abstract: It is known that the so-called rotation minimizing (RM) frames allow for a simple and elegant characterization of geodesic spherical curves in Euclidean, hyperbolic, and spherical spaces through a certain linear equation involving the coefficients that dictate the RM frame motion (da Silva, da Silva in Mediterr J Math 15:70, 2018). Here, we shall prove the converse, i.e., we show that if all geodesic spherical curves on a Riemannian manifold are characterized by a certain linear equation, then all the geodesic spheres with a sufficiently small radius are totally umbilical and, consequently, the given manifold has constant sectional curvature. We also furnish two other characterizations in terms of (i) an inequality involving the mean curvature of a geodesic sphere and the curvature function of their curves and (ii) the vanishing of the total torsion of closed spherical curves in the case of three-dimensional manifolds. Finally, we also show that the same results are valid for semi-Riemannian manifolds of constant sectional curvature.


title: Affine connections and second-order affine structures

abstract: Smooth manifolds have been always understood intuitively as spaces with an affine geometry on the infinitesimal scale. In Synthetic Differential Geometry this can be made precise by showing that a smooth manifold carries a natural structure of an infinitesimally affine space. This structure is comprised of two pieces of data: a sequence of symmetric and reflexive relations defining the tuples of mutual infinitesimally close points, called an infinitesimal structure, and an action of affine combinations on these tuples. For smooth manifolds the only natural infinitesimal structure that has been considered so far is the one generated by the first neighbourhood of the diagonal. In this paper we construct natural infinitesimal structures for higher-order neighbourhoods of the diagonal and show that on any manifold any symmetric affine connection extends to a second-order infinitesimally affine structure.


title: Conservation laws in quantum field theory on graphs

abstract: It is shown that expected values of free scalar and vector quantum fields on graphs satisfy the same conservation laws as the classic fields. It is demonstrated that a modified version of conservation laws is satisfied for Villain action. The proofs are based on the consideration of multidimensional normal distribution.


title: Orbit-superposition models of discrete, incomplete stellar kinematics: application to the Galactic centre

abstract: We present a method for fitting orbit-superposition models to the kinematics of discrete stellar systems when the available stellar sample has been filtered by a known selection function. The fitting method can be applied to any model in which the distribution function is represented as a linear superposition of basis elements with unknown weights. As an example, we apply it to Fritz et al.'s kinematics of the innermost regions of the Milky Way's nuclear stellar cluster. Assuming spherical symmetry, our models fit a black hole of mass $M_\bullet=(3.76\pm0.22)\times10^6\,M_\odot$, surrounded by an extended mass $M_\star=(6.57\pm0.54)\times10^6\,M_\odot$ within 4 pc. Within 1 pc the best-fitting mass models have an approximate power-law density cusp $\rho\propto r^{-\gamma}$ with $\gamma=1.3\pm0.3$. We carry out an extensive investigation of how our modelling assumptions might bias these estimates: $M_\bullet$ is the most robust parameter and $\gamma$ the least. Internally the best-fitting models have broadly isotropic orbit distributions, apart from a bias towards circular orbits between 0.1 and 0.3 parsec.


title: An incomplete equilibrium with a stochastic annuity

abstract: We prove the global existence of an incomplete, continuous-time finite-agent Radner equilibrium in which exponential agents optimize their expected utility over both running consumption and terminal wealth. The market consists of a traded annuity, and, along with unspanned income, the market is incomplete. Set in a Brownian framework, the income is driven by a multidimensional diffusion, and, in particular, includes mean-reverting dynamics. The equilibrium is characterized by a system of fully coupled quadratic backward stochastic differential equations, a solution to which is proved to exist under Markovian assumptions.


title: Minimal Realization Problems for Jump Linear Systems

abstract: This paper addresses two fundamental problems in the context of jump linear systems (JLS). The first problem is concerned with characterizing the minimal state space dimension solely from input-output pairs and without any knowledge of the number of mode switches. The second problem is concerned with characterizing the number of discrete modes of the JLS. For the first problem, we develop a linear system theory based approach and construct an appropriate Hankel-like matrix. The rank of this matrix gives us the state space dimension. For the second problem we show that minimal number of modes corresponds to the minimal rank of a positive semi-definite matrix obtained via a non--convex formulation.


title: Intensive electron antineutrino source with well defined hard spectrum on the base of nuclear reactor and 8-lithium transfer. The promising experiment for sterile neutrinos search

abstract: The new concept of antineutrino source for future short-baseline experiments is discussed. The source ensures: 1) well defined hard antineutrino flux; 2) the rate of counts more than ~(1E+2 - 1E+3) per day in the detector volume about cubic meter; 3) low level of count errors - < 1%. The proposed source is based on (n,gamma)-activation of 7Li near the reactor active zone and transport of the fast beta-decaying 8Li isotope toward a remote neutrino detector and back in the closed loop. The proposed experiment allows to detect (electron antineutrino, p)-interaction with high precision and directed to search of sterile neutrinos with squared-mass difference between sterile and active neutrinos ~1 eV2. The results of simulation for (3+1) and (3+2) sterile neutrino models indicate the space regions for search of electron antineutrino-disappearance outside the spectrum errors.


title: A close look at the well-known Seyfert galaxy: extended emission filaments in Mrk6

abstract: Using various techniques of optical observations at the 6-m Russian telescope (emission-line images, long-slit and 3D spectroscopy), we have studied large-scale morphology and kinematics of the ionized gas in the Seyfert galaxy Mrk6. Having a significantly deeper images and spectra than those in previous works, we have not only mapped the ionized gas in the stellar disc but also found a system of faint filaments elongated in the NE direction up to a projected distance of 40 kpc (4.3R$_{25}$). Kinematics as well as an ionization state of the filament gas suggest the scenario that hard radiation of the active nucleus illuminated the matter accreted from outside and orbiting almost orthogonally to the Mrk 6 stellar disc. A possible source of gas accretion is still unknown, a deep image taken with the 1-m Byrakan Schmidt telescope does not show any stellar counterparts at the level of 27-28 mag/arcsec$^2$.


title: The Space-Efficient Core of Vadalog

abstract: Vadalog is a system for performing complex reasoning tasks such as those required in advanced knowledge graphs. The logical core of the underlying Vadalog language is the warded fragment of tuple-generating dependencies (TGDs). This formalism ensures tractable reasoning in data complexity, while a recent analysis focusing on a practical implementation led to the reasoning algorithm around which the Vadalog system is built. A fundamental question that has emerged in the context of Vadalog is the following: can we limit the recursion allowed by wardedness in order to obtain a formalism that provides a convenient syntax for expressing useful recursive statements, and at the same time achieves space-efficiency? After analyzing several real-life examples of warded sets of TGDs provided by our industrial partners, as well as recent benchmarks, we observed that recursion is often used in a restricted way: the body of a TGD contains at most one atom whose predicate is mutually recursive with a predicate in the head. We show that this type of recursion, known as piece-wise linear in the Datalog literature, is the answer to our main question. We further show that piece-wise linear recursion alone, without the wardedness condition, is not enough as it leads to the undecidability of reasoning. We finally study the relative expressiveness of the query languages based on (piece-wise linear) warded sets of TGDs.


title: Parameters estimation in a 3-parameters p-star model

abstract: An important issue in social network analysis refers to the development of algorithms for estimating optimal parameters of a social network model, using data available from the network itself. This entails solving an optimization problem. In the paper, we propose a new method for parameters estimation in a specific social network model, namely, the so-called p-star model with three parameters. The method is based on the mean-field approximation of the moments associated with the three subgraphs defining the model, namely: the mean numbers of edges, two-stars, and triangles. A modified gradient ascent method is applied to maximize the log-likelihood function of the p-star model, in which the components of the gradient are computed using approximate values of the moments. Compared to other existing iterative methods for parameters estimation, which are computationally very expensive when the number of vertices becomes large, such as gradient ascent applied to maximum log-pseudo- likelihood estimation, the proposed approach has the advantage of a much cheaper cost per iteration, which is practically independent of the number of vertices.


title: A category-theoretic characterization of almost measurable cardinals

abstract: Through careful analysis of an argument of Brooke-Taylor and Rosicky, we show that the powerful image of any accessible functor is closed under colimits of $\kappa$-chains, $\kappa$ a sufficiently large almost measurable cardinal. This condition on powerful images, by methods resembling those of Lieberman and Rosicky, implies $\kappa$-locality of Galois types. As this, in turn, implies sufficient measurability of $\kappa$, via a paper of Boney and Unger, we obtain an equivalence: a purely category-theoretic characterization of almost measurable cardinals.