title: Scalable Fair Clustering

abstract: We study the fair variant of the classic $k$-median problem introduced by Chierichetti et al. [2017]. In the standard $k$-median problem, given an input pointset $P$, the goal is to find $k$ centers $C$ and assign each input point to one of the centers in $C$ such that the average distance of points to their cluster center is minimized. In the fair variant of $k$-median, the points are colored, and the goal is to minimize the same average distance objective while ensuring that all clusters have an "approximately equal" number of points of each color. Chierichetti et al. proposed a two-phase algorithm for fair $k$-clustering. In the first step, the pointset is partitioned into subsets called fairlets that satisfy the fairness requirement and approximately preserve the $k$-median objective. In the second step, fairlets are merged into $k$ clusters by one of the existing $k$-median algorithms. The running time of this algorithm is dominated by the first step, which takes super-quadratic time. In this paper, we present a practical approximate fairlet decomposition algorithm that runs in nearly linear time. Our algorithm additionally allows for finer control over the balance of resulting clusters than the original work. We complement our theoretical bounds with empirical evaluation.


title: Swarm Debugging: the Collective Intelligence on Interactive Debugging

abstract: One of the most important tasks in software maintenance is debugging. To start an interactive debugging session, developers usually set breakpoints in an integrated development environment and navigate through different paths in their debuggers. We started our work by asking} what debugging information is useful to share among developers and study two pieces of information: breakpoints (and their locations) and sessions (debugging paths). To answer our question, we introduce the Swarm Debugging concept to frame the sharing of debugging information, the Swarm Debugging Infrastructure (SDI) with which practitioners and researchers can collect and share data about developers' interactive debugging sessions, and the Swarm Debugging Global View (GV) to display debugging paths. Using the SDI, we conducted a large study with professional developers to understand how developers set breakpoints. Using the GV, we also analyzed professional developers in two studies and collected data about their debugging sessions. Our observations and the answers to our research questions suggest that sharing and visualizing debugging data can support debugging activities.


title: Phase transitions on C*-algebras from actions of congruence monoids on rings of algebraic integers

abstract: We compute the KMS (equilibrium) states for the canonical time evolution on C*-algebras from actions of congruence monoids on rings of algebraic integers. We show that for each $\beta\in[1,2]$, there is a unique KMS$_\beta$ state, and we prove that it is a factor state of type III$_1$. There is a phase transition at $\beta=2:$ For each $\beta\in (2,\infty]$, the set of extremal KMS$_\beta$ states decomposes as a disjoint union over a quotient of a ray class group in which the fibers are extremal traces on certain group C*-algebras associated with the ideal classes. Moreover, in most cases, there is a further phase transition at $\beta=\infty$ in the sense that there are ground states that are not KMS$_\infty$ states. Our computation of KMS and ground states generalizes the results of Cuntz, Deninger, and Laca for the full $ax+b$-semigroup over a ring of integers, and our type classification generalizes a result of Laca and Neshveyev in the case of the rational numbers and a result of Neshveyev in the case of arbitrary number fields.


title: Multi-Dimensional Balanced Graph Partitioning via Projected Gradient Descent

abstract: Motivated by performance optimization of large-scale graph processing systems that distribute the graph across multiple machines, we consider the balanced graph partitioning problem. Compared to the previous work, we study the multi-dimensional variant when balance according to multiple weight functions is required. As we demonstrate by experimental evaluation, such multi-dimensional balance is important for achieving performance improvements for typical distributed graph processing workloads. We propose a new scalable technique for the multidimensional balanced graph partitioning problem. The method is based on applying randomized projected gradient descent to a non-convex continuous relaxation of the objective. We show how to implement the new algorithm efficiently in both theory and practice utilizing various approaches for projection. Experiments with large-scale social networks containing up to hundreds of billions of edges indicate that our algorithm has superior performance compared with the state-of-the-art approaches.


title: Propelling Interplanetary Spacecraft Utilizing Water-Steam

abstract: Water has been identified as a critical resource both to sustain human-life but also for use in propulsion, attitude-control, power, thermal and radiation pro-tection systems. Water may be obtained off-world through In-Situ Resource Utilization (ISRU) in the course of human or robotic space exploration that replace materials that would otherwise be shipped from Earth. Water has been highlighted by many in the space community as a credible solution for affordable/sustainable exploration. Water can be extracted from the Moon, C-class Near Earth Objects (NEOs), surface of Mars and Martian Moons Pho-bos and Deimos and from the surface of icy, rugged terrains of Ocean Worlds. However, use of water for propulsion faces some important techno-logical barriers. A technique to use water as a propellant is to electrolyze it into hydrogen and oxygen that is then pulse-detonated. High-efficiency elec-trolysis requires use of platinum-catalyst based fuel cells. Even trace ele-ments of sulfur and carbon monoxide found on planetary bodies can poison these cells making them unusable. In this work, we develop steam-based propulsion that avoids the technological barriers of electrolyzing impure water as propellant. Using a solar concentrator, heat is used to extract the water which is then condensed as a liquid and stored. Steam is then formed using the solar thermal reflectors to concentrate the light into a nanoparticle-water mix. This solar thermal heating (STH) process converts 80 to 99% of the in-coming light into heat.


title: Deep learning and face recognition: the state of the art

abstract: Deep Neural Networks (DNNs) have established themselves as a dominant technique in machine learning. DNNs have been top performers on a wide variety of tasks including image classification, speech recognition, and face recognition. Convolutional neural networks (CNNs) have been used in nearly all of the top performing methods on the Labeled Faces in the Wild (LFW) dataset. In this talk and accompanying paper, I attempt to provide a review and summary of the deep learning techniques used in the state-of-the-art. In addition, I highlight the need for both larger and more challenging public datasets to benchmark these systems. The high accuracy (99.63% for FaceNet at the time of publishing) and utilization of outside data (hundreds of millions of images in the case of Google's FaceNet) suggest that current face verification benchmarks such as LFW may not be challenging enough, nor provide enough data, for current techniques. There exist a variety of organizations with mobile photo sharing applications that would be capable of releasing a very large scale and highly diverse dataset of facial images captured on mobile devices. Such an "ImageNet for Face Recognition" would likely receive a warm welcome from researchers and practitioners alike.


title: BOLT-SSI: A Statistical Approach to Screening Interaction Effects for Ultra-High Dimensional Data

abstract: Detecting interaction effects among predictors on the response variable is a crucial step in various applications. In this paper, we first propose a simple method for sure screening interactions (SSI). Although its computation complexity is $O(p^2n)$, SSI works well for problems of moderate dimensionality (e.g., $p=10^3\sim10^4$), without the heredity assumption. To ultra-high dimensional problems (e.g., $p = 10^6$), motivated by discretization associated Boolean representation and operations and the contingency table for discrete variables, we propose a fast algorithm, named "BOLT-SSI". The statistical theory has been established for SSI and BOLT-SSI, guaranteeing their sure screening property. The performance of SSI and BOLT-SSI are evaluated by comprehensive simulation and real case studies. Numerical results demonstrate that SSI and BOLT-SSI can often outperform their competitors in terms of computational efficiency and statistical accuracy. The proposed method can be applied for fully detecting interactions with more than 300,000 predictors. Based on this study, we believe that there is a great need to rethink the relationship between statistical accuracy and computational efficiency. We have shown that the computational performance of a statistical method can often be greatly improved by exploring the advantages of computational architecture with a tolerable loss of statistical accuracy.


title: Use Symmetry to Elucidate the Roles of Global Shape and Local Interactions in Protein Dynamics and Cooperativity

abstract: Shape had been intuitively recognized to play a dominant role in determining the global motion patterns of bio-molecular assemblies. However, it is not clear exactly how shape determines the motion patterns. What about the local interactions that hold a structure together to a certain shape? The contributions of global shape and local interactions usually mix together and are difficult to tease part. In this work, we use symmetry to elucidate the distinct roles of global shape and local interactions in protein dynamics. Symmetric complexes provide an ideal platform for this task since in them the effects of local interactions and global shape are separable, allowing their distinct roles to be identified. Our key findings based on symmetric assemblies are: (i) the motion patterns of each subunit are determined primarily by intra-subunit interactions (IRSi), and secondarily by inter-subunit interactions (IESi); (ii) the motion patterns of the whole assembly are fully dictated by the global symmetry/shape and have nothing to do with local iESi or IRSi. This is followed by a discussion on how the findings may be generalized to complexes in any shape, with or without symmetry.


title: Engaging Audiences in Virtual Museums by Interactively Prompting Guiding Questions

abstract: Virtual museums aim to promote access to cultural artifacts. However, they often face the challenge of getting audiences to read and understand a large amount of information in an uncontrolled online environment. Inspired by successful practices in physical museums, we investigated the possible use of guiding questions to engage audiences in virtual museums. To this end, we first identified how to construct questions that are likely to attract audiences through domain expert interviews and mining cultural-related posts in a popular question and answer community. Then in terms of the proactive level for attracting users' attention, we designed two mechanisms to interactively prompt questions: active and passive. Through an online experiment with 150 participants, we showed that having interactive guiding questions encourages browsing and improves content comprehension. We discuss reasons why they are useful by conducting another qualitative comparison and obtained insights about the influence of question category and interaction mechanism.


title: Background Infrared Sources for Studying the Galactic Center's Interstellar Gas

abstract: We briefy describe the results of a K-band spectroscopic survey of over 500 highly reddened point-like objects on sightlines toward the Central Molecular Zone (CMZ) of the Galaxy. The goal was to find stars with featureless or nearly featureless spectra suitable for near- and mid-infrared absorption spectroscopy of the Galactic center's interstellar gas on sightlines spread across the CMZ. Until recently only a few such stars have been known outside of very localized sightlines in the vicinity of the Quintuplet and Central clusters. We have used Spitzer Space Telescope (GLIMPSE) and 2MASS photometry to select promising candidates, and over the last ten years have been acquiring low-resolution K-band spectra of them. As expected, the vast majority are cool and/or highly reddened red giants with complex photospheric spectra unsuitable for measuring faint interstellar lines. Approximately ten percent of them, whose observations are reported here, have featureless or nearly featureless spectra. Although not evenly distributed in Galactic longitude, these stars are scattered across the CMZ. Many of them are luminous stars that are deeply embedded in warm dust cocoons, and have K-band continua rising steeply to longer wavelengths. A significant fraction of them are hot stars of a variety of spectral types, including at least five newly discovered Wolf-Rayet stars. All of them should be suitable for spectroscopy of interstellar absorption lines at infrared wavelengths greater than 3 microns and many are also suitable at shorter wavelengths.


title: Live Emoji: Semantic Emotional Expressiveness of 2D Live Animation

abstract: Live animation of 2D characters has recently become a popular way for storytelling, and has potential application scenarios like tele-present agents or robots. As an extension of human-human communication, there is a need for augmenting the emotional communication experience of live animation. In this paper, we explore the emotional expressiveness issue of 2D live animation. In particular, we propose a descriptive emotion command model to bind a triggering action, the semantic meaning, psychology measurements, and behaviors of an emotional expression. Based on the model, we designed and implemented a proof-of-concept 2D live animation system, where a novel visual programming tool for editing the behaviors of 2D digital characters, and an emotion command recommendation algorithm are proposed. Through a user evaluation, we showcase the usability of our system and its potential for boosting creativity and enhancing the emotional communication experience.


title: Classifying attention deficit hyperactivity disorder in children with non-linearities in actigraphy

abstract: Objective This study provides an objective measure based on actigraphy for Attention Deficit Hyperactivity Disorder (ADHD) diagnosis in children. We search for motor activity features that could allow further investigation into their association with other neurophysiological disordered traits. Method The study involved $n=29$ (48 eligible) male participants aged $9.89\pm0.92$ years (8 controls, and 7 in each group: ADHD combined subtype, ADHD hyperactive-impulsive subtype, and autism spectrum disorder, ASD) wearing a wristwatch actigraph continuously for a week ($9\%$ losses in daily records) in two acquisition modes. We analyzed 47 quantities: from sleep duration or movement intensity to theory-driven scaling exponents or non-linear prediction errors of both diurnal and nocturnal activity. We used them in supervised classification to obtain cross-validated diagnostic performance. Results We report the best performing measures, including a nearest neighbors 4-feature classifier providing $69.4\pm1.6\%$ accuracy, $78.0\pm2.2\%$ sensitivity and $60.8\pm2.6\%$ specificity in a binary ADHD vs control classification and $46.5\pm1.1\%$ accuracy (against $25\%$ baseline), $61.8\pm1.4\%$ sensitivity and $79.30 \pm0.43\%$ specificity in 4-class task (two ADHD subtypes, ASD, and control). The most informative feature is skewness of the shape of Zero Crossing Mode (ZCM) activity. Mean and standard deviation of nocturnal activity are among the least informative. Conclusion Actigraphy causes only minor discomfort to the subjects and is inexpensive. The range of existing mathematical and machine learning tools also allow it to be a useful add-on test for ADHD or differential diagnosis between ADHD subtypes. The study was limited to a small, male sample without the inattentive ADHD subtype.


title: Analyzing Endpoints in the Internet of Things Malware

abstract: The lack of security measures in the Internet of Things (IoT) devices and their persistent online connectivity give adversaries an opportunity to target them or abuse them as intermediary targets for larger attacks such as distributed denial-of-service (DDoS) campaigns. In this paper, we analyze IoT malware with a focus on endpoints to understand the affinity between the dropzones and their target IP addresses, and to understand the different patterns among them. Towards this goal, we reverse-engineer 2,423 IoT malware samples to obtain IP addresses. We further augment additional information about the endpoints from Internet-wide scanners, including Shodan and Censys. We then perform a deep data-driven analysis of the dropzones and their target IP addresses and further examine the attack surface of the target device space.


title: Momentum space calculations of the binding energies of argon dimer

abstract: The binding energies of argon dimer are calculated by solving the homogeneous Lippmann-Schwinger integral equation in momentum space. Our numerical analysis using two models of argon-argon interaction developed by Patkowski {\it et al.} confirms not only the eight argon dimer vibrational levels of the ground state of argon dimer (i.e. for $j=0$) predicted by other groups but also provides a very precise means for determining the binding energy of the ninth state which its value is a matter of discussion. Our calculations have been also extended to states with higher rotational quantum number $j$ and we have calculated the energy of all 174 bound states for both potential models. Our numerical results for vibrational levels of the ground state of argon dimer are in excellent agreement with other theoretical calculations and available experimental data.


title: Semantically Enhanced Time Series Databases in IoT-Edge-Cloud Infrastructure

abstract: Many IoT systems are data intensive and are for the purpose of monitoring for fault detection and diagnosis of critical systems. A large volume of data steadily come out of a large number of sensors in the monitoring system. Thus, we need to consider how to store and manage these data. Existing time series databases (TSDBs) can be used for monitoring data storage, but they do not have good models for describing the data streams stored in the database. In this paper, we develop a semantic model for the specification of the monitoring data streams (time series data) in terms of which sensor generated the data stream, which metric of which entity the sensor is monitoring, what is the relation of the entity to other entities in the system, which measurement unit is used for the data stream, etc. We have also developed a tool suite, SE-TSDB, that can run on top of existing TSDBs to help establish semantic specifications for data streams and enable semantic-based data retrievals. With our semantic model for monitoring data and our SE-TSDB tool suite, users can retrieve non-existing data streams that can be automatically derived from the semantics. Users can also retrieve data streams without knowing where they are. Semantic based retrieval is especially important in a large-scale integrated IoT-Edge-Cloud system, because of its sheer quantity of data, its huge number of computing and IoT devices that may store the data, and the dynamics in data migration and evolution. With better data semantics, data streams can be more effectively tracked and flexibly retrieved to help with timely data analysis and control decision making anywhere and anytime.


title: Set Cover in Sub-linear Time

abstract: We study the classic set cover problem from the perspective of sub-linear algorithms. Given access to a collection of $m$ sets over $n$ elements in the query model, we show that sub-linear algorithms derived from existing techniques have almost tight query complexities. On one hand, first we show an adaptation of the streaming algorithm presented in Har-Peled et al. [2016] to the sub-linear query model, that returns an $\alpha$-approximate cover using $\tilde{O}(m(n/k)^{1/(\alpha-1)} + nk)$ queries to the input, where $k$ denotes the value of a minimum set cover. We then complement this upper bound by proving that for lower values of $k$, the required number of queries is $\tilde{\Omega}(m(n/k)^{1/(2\alpha)})$, even for estimating the optimal cover size. Moreover, we prove that even checking whether a given collection of sets covers all the elements would require $\Omega(nk)$ queries. These two lower bounds provide strong evidence that the upper bound is almost tight for certain values of the parameter $k$. On the other hand, we show that this bound is not optimal for larger values of the parameter $k$, as there exists a $(1+\varepsilon)$-approximation algorithm with $\tilde{O}(mn/k\varepsilon^2)$ queries. We show that this bound is essentially tight for sufficiently small constant $\varepsilon$, by establishing a lower bound of $\tilde{\Omega}(mn/k)$ query complexity.


title: On the Performance Gain of NOMA over OMA in Uplink Single-cell Systems

abstract: In this paper, we investigate the performance gain of non-orthogonal multiple access (NOMA) over orthogonal multiple access (OMA) in uplink single-cell systems. In both single-antenna and multi-antenna scenarios, the performance gain of NOMA over OMA in terms of asymptotic ergodic sum-rate is analyzed for a sufficiently large number of users. In particular, in single-antenna systems, we identify two types of near-far gains brought by NOMA: 1) the large-scale near-far gain via exploiting the large-scale fading increases with the cell size; 2) the small-scale near-far gain via exploiting the small-scale fading is a constant given by $\gamma = 0.57721$ nat/s/Hz in Rayleigh fading channels. Furthermore, we have analyzed that the performance gain achieved by single-antenna NOMA can be amplified via increasing the number of antennas equipped at the base station due to the extra spatial degrees of freedom. The numerical results confirm the accuracy of the derived analyses and unveil the performance gains of NOMA over OMA in different scenarios.


title: Spin dynamics of anisotropic azimuthal modes in heterogeneous magnetic nanodisks

abstract: It is well known that azimuthal spin wave modes of magnetic vortex state in permalloy nanodisks have circular symmetry. Intuitively, magnetic materials having magnetocrystalline anisotropy is not compatible with the circular symmetry of the azimuthal modes. In this article, however, we report cubic azimuthal modes in heterogeneous nanodisks consisting of a permalloy core and a Fe shell. The fourfold symmetry of azimuthal modes is due to the exchange, and magneto-static, interactions between the permalloy core and the Fe shell. In comparison to results of circular azimuthal mode, the vortex switching occurs considerably faster under the excitation of cubic azimuthal mode. The gyration path of vortex core turns into square under the influence of induced cubic anisotropy in the Py region. We find out periodic oscillation of the vortex core size and the gyration speed as well. Our findings may offer a new route for spintronic applications using heterogeneous magnetic nanostructures.


title: Scattering Statistics of Generalized Spatial Poisson Point Processes

abstract: We present a machine learning model for the analysis of randomly generated discrete signals, modeled as the points of an inhomogeneous, compound Poisson point process. Like the wavelet scattering transform introduced by Mallat, our construction is naturally invariant to translations and reflections, but it decouples the roles of scale and frequency, replacing wavelets with Gabor-type measurements. We show that, with suitable nonlinearities, our measurements distinguish Poisson point processes from common self-similar processes, and separate different types of Poisson point processes.


title: Model Compression with Adversarial Robustness: A Unified Optimization Framework

abstract: Deep model compression has been extensively studied, and state-of-the-art methods can now achieve high compression ratios with minimal accuracy loss. This paper studies model compression through a different lens: could we compress models without hurting their robustness to adversarial attacks, in addition to maintaining accuracy? Previous literature suggested that the goals of robustness and compactness might sometimes contradict. We propose a novel Adversarially Trained Model Compression (ATMC) framework. ATMC constructs a unified constrained optimization formulation, where existing compression means (pruning, factorization, quantization) are all integrated into the constraints. An efficient algorithm is then developed. An extensive group of experiments are presented, demonstrating that ATMC obtains remarkably more favorable trade-off among model size, accuracy and robustness, over currently available alternatives in various settings. The codes are publicly available at: https://github.com/shupenggui/ATMC.


title: High-harmonic generation from an epsilon-near-zero material

abstract: High-harmonic generation (HHG) from a compact, solid-state medium is highly desirable for applications such as coherent attosecond pulse generation and extreme ultra-violet (EUV) spectroscopy, yet the typically weak conversion of pump light to HHG can largely hinder its applications. Here, we use a material operating in its epsilon-near-zero (ENZ) region, where the real part of its permittivity vanishes, to greatly boost the efficiency of the HHG process at the microscopic level. In experiments, we report high-harmonic emission up to the 9th order directly from a low-loss, solid-state ENZ medium: indium-doped cadmium oxide, with an excitation intensity at the GW cm-2 level. Furthermore, the observed HHG signal exhibits a pronounced spectral red-shift as well as linewidth broadening, resulting from the photo-induced electron heating and the consequent time-dependent resonant frequency of the ENZ film. Our results provide a novel nanophotonic platform for strong field physics, reveal new degrees of freedom for spectral and temporal control of HHG, and open up possibilities of compact solid-state attosecond light sources.


title: An improvement of the duality formalism of the rational etale site

abstract: We improve the arithmetic duality formalism of the rational etale site. This improvement allows us to avoid some exotic approximation arguments on local fields with ind-rational base, thus simplifying the proofs of the previously established duality theorems in the rational etale site and making the formalism more user-friendly. In a subsequent paper, this new formulation will be used in a crucial way to study duality for two-dimensional local rings.


title: Human Computer Interaction Design for Mobile Devices Based on a Smart Healthcare Architecture

abstract: Smart and IoT-enabled mobile devices have the potential to enhance healthcare services for both patients and healthcare providers. Human computer interaction design is key to realizing a useful and usable connection between the users and these smart healthcare technologies. Appropriate design of such devices enhances the usability, improves effective operation in an integrated healthcare system, and facilitates the collaboration and information sharing between patients, healthcare providers, and institutions. In this paper, the concept of smart healthcare is introduced, including its four-layer information architecture of sensing, communication, data integration, and application. Human Computer Interaction design principles for smart healthcare mobile devices are outlined, based on user-centered design. These include: ensuring safety, providing error-resistant displays and alarms, supporting the unique relationship between patients and healthcare providers, distinguishing end-user groups, accommodating legacy devices, guaranteeing low latency, allowing for personalization, and ensuring patient privacy. Results are synthesized in design suggestions ranging from personas, scenarios, workflow, and information architecture, to prototyping, testing and iterative development. Finally, future developments in smart healthcare and Human Computer Interaction design for mobile health devices are outlined.


title: Integrability and regularity of the flow of stochastic differential equations with jumps

abstract: We derive sufficient conditions for the differentiability of all orders for the flow of stochastic differential equations with jumps, and prove related $L^p$-integrability results for all orders. Our results extend similar results obtained in [Kun04] for first order differentiability and rely on the Burkholder-Davis-Gundy inequality for time inhomogeneous Poisson random measures on ${\Bbb R}_+\times {\Bbb R}$, for which we provide a new proof.


title: Nuclear Physics without High-Momentum Potentials: Constructing the Nuclear Effective Interaction Directly from Scattering Observables

abstract: The traditional approach to nuclear physics encodes phase shift information in a nucleon-nucleon (NN) potential, producing a nucleon-level interaction that captures the sub-GeV consequences of QCD. A further reduction to the nuclear scale is needed to produce an effective interaction for soft Hilbert spaces, such as those employed in the shell model. Here we describe an alternative construction of this effective interaction, from QCD directly to the nuclear scale, that is direct and precise. This eliminates the need for constructing and renormalizing the high-momentum NN potential. Instead, continuum phase shifts and mixing angles are used directly at the nuclear scale. The method exploits the analytic continuity in energy of HOBET (Harmonic-Oscillator-Based Effective Theory) to connect bound states to continuum solutions at specific energies. The procedure is systematic, cutoff independent, and convergent, yielding keV accuracy at NNLO or N$^3$LO, depending on the channel. Lepage plots are provided.


title: Feature Selection for multi-labeled variables via Dependency Maximization

abstract: Feature selection and reducing the dimensionality of data is an essential step in data analysis. In this work, we propose a new criterion for feature selection that is formulated as conditional information between features given the labeled variable. Instead of using the standard mutual information measure based on Kullback-Leibler divergence, we use our proposed criterion to filter out redundant features for the purpose of multiclass classification. This approach results in an efficient and fast non-parametric implementation of feature selection as it can be directly estimated using a geometric measure of dependency, the global Friedman-Rafsky (FR) multivariate run test statistic constructed by a global minimal spanning tree (MST). We demonstrate the advantages of our proposed feature selection approach through simulation. In addition the proposed feature selection method is applied to the MNIST data set.


title: Task2Vec: Task Embedding for Meta-Learning

abstract: We introduce a method to provide vectorial representations of visual classification tasks which can be used to reason about the nature of those tasks and their relations. Given a dataset with ground-truth labels and a loss function defined over those labels, we process images through a "probe network" and compute an embedding based on estimates of the Fisher information matrix associated with the probe network parameters. This provides a fixed-dimensional embedding of the task that is independent of details such as the number of classes and does not require any understanding of the class label semantics. We demonstrate that this embedding is capable of predicting task similarities that match our intuition about semantic and taxonomic relations between different visual tasks (e.g., tasks based on classifying different types of plants are similar) We also demonstrate the practical value of this framework for the meta-task of selecting a pre-trained feature extractor for a new task. We present a simple meta-learning framework for learning a metric on embeddings that is capable of predicting which feature extractors will perform well. Selecting a feature extractor with task embedding obtains a performance close to the best available feature extractor, while costing substantially less than exhaustively training and evaluating on all available feature extractors.


title: \"{U}ber die Winkel zwischen Unterr\"{a}umen

abstract: We prove a metric statement about approximation of a $n$-dimensional linear subspace $A$ in $\mathbb{R}^d$ by $n$-dimensional rational subspaces. We consider the problem of finding a rational subspace $B$ of bounded height $H=H(B)$ for which the angle of inclination $\psi (A,B) $ is small in terms of $H$. In the simplest case $d=4, n=2$ we give a partial solution of a problem formulated by W.M. Schmidt in 1967.


title: Design, Mechanical Simulation and Implementation of a New Six- Legged Robot

abstract: Ants are six-legged insects that can carry loads ten times heavier than their body weight. Since having six-legs, they are intrinsically stable. They are powerful and can carry heavy loads. For these reasons, in this paper a new parallel kinematic structure is proposed for a six-legged ant robot. The mechanical structure is designed and optimized in Solidworks. The mechanism has six legs and only two DC motors actuate the six legs so from mechanical point of view the design is an optimal one. The robot is lightweight and semiautonomous due to using wireless modules. This feature makes this robot to be suitable to be used in social robotics and rescue robotics applications. The transmitter program is implemented in supervisor computer using LabVIEW and a microcontroller is used as the main controller. The electronic board is designed and tested in Proteus Professional and the PCB board is implemented in Altium Designer. Microcontroller programming is done in Code Vision.


title: Approximating $k$-connected $m$-dominating sets

abstract: A subset $S$ of nodes in a graph $G$ is a $k$-connected $m$-dominating set ($(k,m)$-cds) if the subgraph $G[S]$ induced by $S$ is $k$-connected and every $v \in V \setminus S$ has at least $m$ neighbors in $S$. In the $k$-Connected $m$-Dominating Set ($(k,m)$-CDS) problem the goal is to find a minimum weight $(k,m)$-cds in a node-weighted graph. For $m \geq k$ we obtain the following approximation ratios. For general graphs our ratio $O(k \ln n)$ improves the previous best ratio $O(k^2 \ln n)$ and matches the best known ratio for unit weights. For unit disc graphs we improve the ratio $O(k \ln k)$ to $\min\left\{\frac{m}{m-k},k^{2/3}\right\} \cdot O(\ln^2 k)$ -- this is the first sublinear ratio for the problem, and the first polylogarithmic ratio $O(\ln^2 k)/\epsilon$ when $m \geq (1+\epsilon)k$; furthermore, we obtain ratio $\min\left\{\frac{m}{m-k},\sqrt{k}\right\} \cdot O(\ln^2 k)$ for uniform weights. These results are obtained by showing the same ratios for the Subset $k$-Connectivity problem when the set $T$ of terminals is an $m$-dominating set with $m \geq k$.


title: On modeling hard combinatorial optimization problems as linear programs: Refutations of the "unconditional impossibility" claims

abstract: There has been a series of developments in the recent literature (by essentially a same "circle" of authors) with the absolute/unconditioned (implicit or explicit) claim that there exists no abstraction of an NP-Complete combinatorial optimization problem in which the defining combinatorial configurations (such as "tours" in the case of the traveling salesman problem (TSP) for example) can be modeled by a polynomial-sized system of linear constraints. The purpose of this paper is to provide general as well as specific refutations for these recent claims.


title: On simple eigenvalues of the fractional Laplacian under removal of small fractional capacity sets

abstract: We consider the eigenvalue problem for the restricted fractional Laplacian in a bounded domain with homogeneous Dirichlet boundary conditions. We introduce the notion of fractional capacity for compact subsets, with the property that the eigenvalues are not affected by the removal of zero fractional capacity sets. Given a simple eigenvalue, we remove from the domain a family of compact sets which are concentrating to a set of zero fractional capacity and we detect the asymptotic expansion of the eigenvalue variation; this expansion depends on the eigenfunction associated to the limit eigenvalue. Finally, we study the case in which the family of compact sets is concentrating to a point.


title: Doubly periodic monopoles and $q$-difference modules

abstract: An interesting theme in complex differential geometry is to find a correspondence between algebraic objects and differential geometric objects. One of the most attractive is the non-abelian Hodge theory of Simpson. In this paper, pursuing an analogue of the non-abelian Hodge theory in the context of $q$-difference modules, we study Kobayashi-Hitchin correspondences between doubly periodic monopoles and parabolic $q$-difference modules, depending on twistor parameters.


title: Sampling and Remote Estimation for the Ornstein-Uhlenbeck Process through Queues: Age of Information and Beyond

abstract: The age of information, as a metric for evaluating information freshness, has received a lot of attention. Recently, an interesting connection between the age of information and remote estimation error was found in a sampling problem of Wiener processes: If the sampler has no knowledge of the signal being sampled, the optimal sampling strategy is to minimize the age of information; however, by exploiting causal knowledge of the signal values, it is possible to achieve a smaller estimation error. In this paper, we extend a previous study by investigating a problem of sampling a stationary Gauss-Markov process, namely the Ornstein-Uhlenbeck (OU) process. The optimal sampling problem is formulated as a constrained continuous-time Markov decision process (MDP) with an uncountable state space. We provide an exact solution to this MDP: The optimal sampling policy is a threshold policy on instantaneous estimation error and the threshold is found. Further, if the sampler has no knowledge of the OU process, the optimal sampling problem reduces to an MDP for minimizing a nonlinear age of information metric. The age-optimal sampling policy is a threshold policy on expected estimation error and the threshold is found. These results hold for (i) general service time distributions of the queueing server and (ii) sampling problems both with and without a sampling rate constraint. Numerical results are provided to compare different sampling policies.


title: Thermo-compositional diabatic convection in the atmospheres of brown dwarfs and in Earth's atmosphere and oceans

abstract: By generalizing the theory of convection to any type of thermal and compositional source terms (diabatic processes), we show that thermohaline convection in Earth oceans, fingering convection in stellar atmospheres, and moist convection in Earth atmosphere are deriving from the same general diabatic convective instability. We show also that "radiative convection" triggered by CO/CH4 transition with radiative transfer in the atmospheres of brown dwarfs is analog to moist and thermohaline convection. We derive a generalization of the mixing length theory to include the effect of source terms in 1D codes. We show that CO/CH4 radiative convection could significantly reduce the temperature gradient in the atmospheres of brown dwarfs similarly to moist convection in Earth atmosphere thus possibly explaining the reddening in brown-dwarf spectra. By using idealized two-dimensional hydrodynamic simulations in the Ledoux unstable regime, we show that compositional source terms can indeed provoke a reduction of the temperature gradient. The L/T transition could be explained by a bifurcation between the adiabatic and diabatic convective transports and could be seen as a giant cooling crisis: an analog of the boiling crisis in liquid/steam-water convective flows. This mechanism with other chemical transitions could be present in many giant and earth-like exoplanets. The study of the impact of different parameters (effective temperature, compositional changes) on CO/CH4 radiative convection and the analogy with Earth moist and thermohaline convection is opening the possibility to use brown dwarfs to better understand some aspects of the physics at play in the climate of our own planet.


title: More on Complexity in Finite Cut Off Geometry

abstract: It has been recently proposed that late time behavior of holographic complexity in a uncharged black brane solution of Einstein-Hilbert theory with boundary cut off is consistent with Lloyd's bound if we have a cut off behind the horizon. Interestingly, the value of this new cut off is fixed by the boundary cut off. In this paper, we extend this analysis to the charged black holes. Concretely, we find the value of this new cut off for charged small black hole solutions of Einstein-Hilbert-Maxwell theory, in which the proposed bound on the complexification is saturated. We also explore this new cut off in Gauss-Bonnet-Maxwell theory.


title: Deviation from canonical collective creep behavior in Li$_{0.8}$Fe$_{0.2}$OHFeSe

abstract: We present an extensive study of the vortex dynamics in Li$_{0.8}$Fe$_{0.2}$OHFeSe single crystal, which is prepared by intercalating insulating spacer layer Li$_{0.8}$Fe$_{0.2}$OH into FeSe. Absence of fishtail effect and the crossover from elastic to plastic creep are observed similar to the parent compound FeSe. However, when we apply collective creep theory to the magnetic relaxation data, the obtained creep exponent $\mu$ is found to be $\sim$ 4.1 much larger than the predicted maximum value. Besides, the elastic creep in the vortex phase diagram of Li$_{0.8}$Fe$_{0.2}$OHFeSe is found to reside only in an extremely small region. Such a large value of $\mu$ and the small elastic creep region may be originated from the weakening of coupling between the vortices in neighbouring layers by elongating the layer distance. It may indicate that the vortex structure of Li$_{0.8}$Fe$_{0.2}$OHFeSe is in the crossover regime between elastic Abrikosov vortices to stacks of pancake vortices. Our study also suggests that the intercalated FeSe is a promising candidate for searching intrinsic Josephson phenomena.


title: No net motion for oscillating near-spheres at low Reynolds numbers

abstract: We investigate the flow around an oscillating nearly-spherical particle at low, yet non-vanishing, Reynolds numbers, and the potential resulting locomotion. We analytically demonstrate that no net motion can arise up to order one in Re and order one in the asphericity parameter, regardless of the particle's shape. Therefore, geometry-induced acoustic streaming propulsion, if any, must arise at higher order.


title: Abundance of Progression in commutative semigroup by elementary means

abstract: Furstenberg and Glasner proved that for an arbitrary k in N, any piecewise syndetic set contains k term arithmetic progression and such collection is also piecewise syndetic in Z. They used algebraic structure of beta N. The above result was extended for arbitrary semigroups by Bergelson and Hindman, again using the structure of Stone-Cech compactification of general semigroup. Beiglbock provided an elementary proof of the above result and asked whether the combinatorial argument in his proof can be enhanced in a way which makes it applicable to a more abstract setting. In this work we provide a positive answer to Beiglbock question for commutative semigroup.


title: Helping Blind People in Their Meeting Locations to Find Each Other Using RFID Technology

abstract: This paper presents a new specific system based on RFID technology to help blind people find the other party in their meeting place. This system, uses a device called Smart Director or SD, equipped with Active Tag and RFID Reader. The blind person, the visitor, adjusts the SD with the identification number of the other party who has shared it previously for example on a telephone call, and takes the device to the meeting place. When the blind person arrives at the location, the reader of the device receives signals from the active tag of the other party's SD. It then identifies his/her position based on the intensity and direction of the received signals and tell it to the blind person. In this way, blind people can simply identify the position of the other party in crowded places and find each other.


title: Optimal bilinear control of stochastic nonlinear Schr\"odinger equations: mass-(sub)critical case

abstract: We study optimal bilinear control problems for stochastic nonlinear Schr\"odinger equations in both the mass subcritical and critical case. For general initial data of the minimal L2 regularity, we prove the existence and first order Lagrange condition of an open loop control. Furthermore, we obtain uniform estimates of (backward) stochastic solutions in new spaces of type U2 and V2, adapted to evolution operators related to linear Schr\"odinger equations with lower order perturbations. In particular, we obtain a new temporal regularity of rescaled (backward) stochastic solutions, which is the key ingredient in the proof of tightness of approximating controls induced by Ekeland's variational principle.


title: On the Complexity of Exact Pattern Matching in Graphs: Determinism and Zig-Zag Matching

abstract: Exact pattern matching in labeled graphs is the problem of searching paths of a graph $G=(V,E)$ that spell the same string as the given pattern $P[1..m]$. This basic problem can be found at the heart of more complex operations on variation graphs in computational biology, query operations in graph databases, and analysis of heterogeneous networks, where the nodes of some paths must match a sequence of labels or types. In our recent work we described a conditional lower bound stating that the exact pattern matching problem in labeled graphs cannot be solved in less than quadratic time, namely, $O(|E|^{1 - \epsilon} \, m)$ time or $O(|E| \, m^{1 - \epsilon})$ time for any constant $\epsilon>0$, unless the Strong Exponential Time Hypothesis (SETH) is false. The result holds even if node labels and pattern $P$ are drawn from a binary alphabet, and $G$ is restricted to undirected graphs of maximum degree three or directed acyclic graphs of maximum sum of indegree and outdegree three. It was left open what happens on undirected graphs of maximum degree two, i.e., when the pattern can have a zig-zag match in a (cyclic) bidirectional string. Also, the reduction created a non-determistic directed acyclic graph, and it was left open if determinism would make the problem easier. In this work, we show through the Orthogonal Vectors hypothesis (OV) that the same conditional lower bound holds even for these restricted cases.


title: Determination of the magnetic phase diagram in the H-T plane for a sigma-phase Fe47Mo53 alloy

abstract: Magnetization measurements were carried out in the in field-cooled (FC) and in zero-field-cooled (ZFC) conditions versus temperature, T, and external magnetic field, H, on a sigma-phase Fe47Mo53 compound. Analysis of the measured M_FC and M_ZFC curves yielded values of characteristic temperatures: magnetic ordering (Curie) temperature, T_C, irreversibility temperature, T_ir, temperature of the maximum in M_ZFC, T_m, identified as the N\.eel (T_N) temperature, and cross-over temperature, T_co. Based on these temperatures a magnetic phase diagram in the H-T plane was outlined. The field dependences of the characteristic temperatures viz. of the irreversibility and of the cross-over temperatures were described in terms of a power law with the exponent 0.5(1). In the whole range of H i.e. up to 800 Oe, except the one H>50 Oe, a rare double re-entrant transition viz. PM-FM-AF-SG takes place. For small fields i.e. H<50 Oe a single re-entrant transition viz. PM-FM-SG is revealed.


title: A Novel Secure Authentication Scheme for Heterogeneous Internet of Thing

abstract: Today, Internet of Things (IoT) technology is being increasingly popular which is applied in a wide range of industry sectors such as healthcare, transportation and some critical infrastructures. With the widespread applications of IoT technology, people's lives have changed dramatically. Due to its capabilities of sensitive data-aware, information collection, communication and processing, it raises security and privacy concerns. Moreover, a malicious attacker may impersonate a legitimate user, which may cause security threat and violation privacy. In allusion to the above problems, we propose a novel and lightweight anonymous authentication and key agreement scheme for heterogeneous IoT, which is innovatively designed to shift between the public key infrastructure (PKI) and certificateless cryptography (CLC) environment. The proposed scheme not only achieves secure communication among the legal authorized users, but also possesses more attributes with user anonymity, non-repudiation and key agreement fairness. Through the security analysis, it is proved that the proposed scheme can resist replay attacks and denial of service (DOS) attacks. Finally, the performance evaluation demonstrates that our scheme is more lightweight and innovative.


title: Anomalous relaxation and multiply time scales in the quantum $XY$ model with boundary dissipation

abstract: The relaxation of many-body system is still a challenging problem that has not well been understood. In this work we exactly calculate the dynamics of the quantum $XY$ model with boundary dissipation, in which the density matrix in terms of Majorana operators can be decoupled into independent subspaces represented by different number of Majorana fermions. The relaxation is characterized by multiply time scales, and in the long-time limit it is determined by the single particle relaxation process in a typical time scale $T^*$. For the bulk bands, we find $T^* \propto N^3/\gamma n^2 $ in the weak dissipation limit; and $T^* \propto \gamma N^3/ n^2$ in the strong dissipation limit, where $N$ is the chain length, $\gamma$ is the dissipation rate and $n$ is the band index. For the edge modes $T^* \propto 1/\gamma$, indicating of most vulnerable to dissipation in the long chain limit. These results are counter-intuitive because it means any weak dissipation can induce relaxation, while strong dissipation can induce weak relaxation. We find that these two limits correspond to two different physics, which are explained based on the first and second-order perturbation theory in an equivalent non-Hermitian model.Furthermore, we show that even in the long chain limit the relaxation may exhibit strong odd-even effect. These results shade new insight into the dynamics of topological qubits in environment.


title: Unconventional anomalous Hall effect in 3d/5d multilayers mediated by the nonlocal spin-conductivity

abstract: We evidenced unconventionnal Anomalous Hall Effects (AHE) in 3d/5d (Co0.2nm/Ni0.6nm)N multilayers grown on a thin Pt layer or thin Au:W alloy. The inversion observed on AHE originates from the opposite sign of the spin-orbit coupling of Pt compared to Ni. Via advanced simulations methods for the description of the spin-current profiles based on the spin-dependent Boltzmann formalism, we extracted the spin Hall angle (SHA) of Pt and (Co/Ni) as well as the relevant transport parameters. The extracted SHA for Pt, +20%, is opposite to the one of (Co/Ni), giving rise to an effective AHE inversion for thin (Co/Ni) multilayers (N < 17). The spin Hall angle in Pt is found to be larger than the one previously measured in combined spin-pumping inverse spin-Hall effect experiments in a geometry of current perpendicular to plane. Whereas magnetic proximity effects cannot explain the effect, spin-current leakage and anisotropic electron scattering at Pt/(Co,Ni) interfaces fit the experiments.


title: Cross-spectral Face Completion for NIR-VIS Heterogeneous Face Recognition

abstract: Near infrared-visible (NIR-VIS) heterogeneous face recognition refers to the process of matching NIR to VIS face images. Current heterogeneous methods try to extend VIS face recognition methods to the NIR spectrum by synthesizing VIS images from NIR images. However, due to self-occlusion and sensing gap, NIR face images lose some visible lighting contents so that they are always incomplete compared to VIS face images. This paper models high resolution heterogeneous face synthesis as a complementary combination of two components, a texture inpainting component and pose correction component. The inpainting component synthesizes and inpaints VIS image textures from NIR image textures. The correction component maps any pose in NIR images to a frontal pose in VIS images, resulting in paired NIR and VIS textures. A warping procedure is developed to integrate the two components into an end-to-end deep network. A fine-grained discriminator and a wavelet-based discriminator are designed to supervise intra-class variance and visual quality respectively. One UV loss, two adversarial losses and one pixel loss are imposed to ensure synthesis results. We demonstrate that by attaching the correction component, we can simplify heterogeneous face synthesis from one-to-many unpaired image translation to one-to-one paired image translation, and minimize spectral and pose discrepancy during heterogeneous recognition. Extensive experimental results show that our network not only generates high-resolution VIS face images and but also facilitates the accuracy improvement of heterogeneous face recognition.


title: Terminus Geometry as Main Control on Outlet Glacier Velocity

abstract: Ice flow velocities close to the terminus of major outlet glaciers of the Greenland Ice Sheet can vary on the time scale of years to hours. Such flow speed variations can be explained as the reaction to changes in terminus geometry with help of a 3D full-Stokes ice flow model. Starting from an initial steady state geometry, parts of an initially 7 km long floating terminus are removed. Flow velocity increases everywhere up to 4 km upstream of the grounding line, and complete removal of the floating terminus leads to a doubling of flow speed. The model results conclusively show that the observed velocity variations of outlet glaciers is dominated by the terminus geometry. Since terminus geometry is mainly controlled by calving processes and melting under the floating portion, changing ocean conditions most probably have triggered the recent geometry and velocity variations of Greenland outlet glaciers.


title: Asymmetric energy transfers in driven nonequilibrium systems and arrow of time

abstract: Fundamental interactions are either fully or nearly symmetric under time reversal. But macroscopic phenomena have a definite arrow of time. Though there is no convergence on the origin of time's preferential direction, many researchers believe that the direction of time is towards increasing entropy. In this paper, we provide an alternate point of view. In driven-dissipative nonequilibrium systems forced at large scale, the energy flows from large scales to dissipative scales. This generic and multiscale process breaks time reversal symmetry and principle of detailed balance, thus can yield an arrow of time. In this paper we propose that conversion of large-scale coherence to small-scales incoherence could be treated as a dissipation mechanism for generic physical systems. We illustrate the above processes using turbulence as an example. We argue that the above picture of time irreversibility could be employed to the universe and to many-body quantum systems.

categories: physics.flu-dyn cond-mat.stat-mech nlin.CD physics.hist-ph quant-ph


title: Balancing Straight-Line Programs

abstract: It is shown that a context-free grammar of size $m$ that produces a single string $w$ (such a grammar is also called a string straight-line program) can be transformed in linear time into a context-free grammar for $w$ of size $\mathcal{O}(m)$, whose unique derivation tree has depth $\mathcal{O}(\log |w|)$. This solves an open problem in the area of grammar-based compression. Similar results are shown for two formalism for grammar-based tree compression: top dags and forest straight-line programs. These balancing results are all deduced from a single meta theorem stating that the depth of an algebraic circuit over an algebra with a certain finite base property can be reduced to $\mathcal{O}(\log n)$ with the cost of a constant multiplicative size increase. Here, $n$ refers to the size of the unfolding (or unravelling) of the circuit.


title: Performance Advantages of Deep Neural Networks for Angle of Arrival Estimation

abstract: The problem of estimating the number of sources and their angles of arrival from a single antenna array observation has been an active area of research in the signal processing community for the last few decades. When the number of sources is large, the maximum likelihood estimator is intractable due to its very high complexity, and therefore alternative signal processing methods have been developed with some performance loss. In this paper, we apply a deep neural network (DNN) approach to the problem and analyze its advantages with respect to signal processing algorithms. We show that an appropriate designed network can attain the maximum likelihood performance with feasible complexity and outperform other feasible signal processing estimation methods over various signal to noise ratios and array response inaccuracies.


title: EvalAI: Towards Better Evaluation Systems for AI Agents

abstract: We introduce EvalAI, an open source platform for evaluating and comparing machine learning (ML) and artificial intelligence algorithms (AI) at scale. EvalAI is built to provide a scalable solution to the research community to fulfill the critical need of evaluating machine learning models and agents acting in an environment against annotations or with a human-in-the-loop. This will help researchers, students, and data scientists to create, collaborate, and participate in AI challenges organized around the globe. By simplifying and standardizing the process of benchmarking these models, EvalAI seeks to lower the barrier to entry for participating in the global scientific effort to push the frontiers of machine learning and artificial intelligence, thereby increasing the rate of measurable progress in this domain.


title: Number theoretical properties of Romik's dynamical system

abstract: We study a dynamical system that was originally defined by Romik in 2008 using an old theorem of Berggren concerning Pythagorean triples. Romik's system is closely related to the Farey map on the unit interval which generates an additive continued fraction algorithm. We explore some number theoretical properties of the Romik system. In particular, we prove an analogue of Lagrange's theorem in the case of the Romik system on the unit quarter circle, which states that a point possesses an eventually periodic digit expansion if and only if the point is defined over a real quadratic extension field of rationals.


title: Energy and enstrophy spectra and fluxes for the inertial-dissipation range of two-dimensional turbulence

abstract: In this paper, using Pao's conjecture [Y.-H. Pao, Phys. Fluids 11, 1371 (1968)], we derive expressions for the spectra and fluxes of kinetic energy and enstrophy for two-dimensional (2D) forced turbulence that extend beyond the inertial range. In these expressions, the fluxes and the spectra contain additional factors of the exponential form. To validate these model predictions, we perform numerical simulations of 2D turbulence with an external force applied at $k=k_f$ in the intermediate range. The numerical results match with the model predictions, except for the energy and enstrophy fluxes for $k<k_f$, where the fluxes exhibit significant fluctuations. We show that these fluctuations arise due to the unsteady nature of the flow at small wavenumbers. For the $k<k_f$, the shell-to-shell energy transfers computed using numerical data show forward energy transfers among the neighbouring shells, but backward energy transfers for other shells.


title: Minimal Tools for Accurately Measuring the Coefficient of Kinetic Friction

abstract: Measuring the coefficient of kinetic friction is much more difficult than that of the static counterpart. Here we report a simple method using minimal tool to accurately measuring the coefficient of kinetic friction. We employed an inclined plane, the tool for measuring time, and a protractor. This method is much simpler and cheaper than other methods reported by some authors previously. The results are consistent with the date reported elsewhere.


title: UML Model for Compressed Message Exchange

abstract: Web services is a collection of technologies that client-server model use also to exchange information. The Web services uses XML as the message wrapper to exchange information but the XML is always verbose and hence incurs latency in the communication. This paper used UML to model the Web services exchange for client-server applications. UML notations were used to offer the interactions between the objects and the elements of the Web services and how the information is compressed for the exchange. The analysis and the design of the requirements will be useful to Web services and cloud computing researchers and developers.


title: Binary Message Passing Decoding of Product-like Codes

abstract: We propose a novel binary message passing decoding algorithm for product-like codes based on bounded distance decoding (BDD) of the component codes. The algorithm, dubbed iterative BDD with scaled reliability (iBDD-SR), exploits the channel reliabilities and is therefore soft in nature. However, the messages exchanged by the component decoders are binary (hard) messages, which significantly reduces the decoder data flow. The exchanged binary messages are obtained by combining the channel reliability with the BDD decoder output reliabilities, properly conveyed by a scaling factor applied to the BDD decisions. We perform a density evolution analysis for generalized low-density parity-check (GLDPC) code ensembles and spatially coupled GLDPC code ensembles, from which the scaling factors of the iBDD-SR for product and staircase codes, respectively, can be obtained. For the white additive Gaussian noise channel, we show performance gains up to $0.29$ dB and $0.31$ dB for product and staircase codes compared to conventional iterative BDD (iBDD) with the same decoder data flow. Furthermore, we show that iBDD-SR approaches the performance of ideal iBDD that prevents miscorrections.


title: Antidote SQL: Relaxed When Possible, Strict When Necessary

abstract: Geo-replication poses an inherent trade-off between low latency, high availability and strong consistency. While NoSQL databases favor low latency and high availability, relaxing consistency, more recent cloud databases favor strong consistency and ease of programming, while still providing high scalability. In this paper, we present Antidote SQL, a database system that allows application developers to relax SQL consistency when possible. Unlike NoSQL databases, our approach enforces primary key, foreign key and check SQL constraints even under relaxed consistency, which is sufficient for guaranteeing the correctness of many applications. To this end, we defined concurrency semantics for SQL constraints under relaxed consistency and show how to implement such semantics efficiently. For applications that require strict SQL consistency, Antidote SQL provides support for such semantics at the cost of requiring coordination among replicas.


title: lacunary Walsh series in rearrangement invariant spaces

abstract: We prove that the classical results by Rodin and Semenov and by Lindenstrauss and Tzafriri on the subspace generated by the Rademacher system in rearrangement invariant spaces also hold for lacunary Walsh series.


title: Cell-free Massive MIMO for UAV Communications

abstract: We study support for unmanned aerial vehicle (UAV) communications through a cell-free massive MIMO architecture. Under the general assumption that the propagation channel between the mobile stations, either UAVs or ground users, and the access points follows a Ricean distribution, we derive closed form spectral efficiency lower bounds for uplink and downlink with linear minimum mean square error (LMMSE) channel estimation. We also propose power allocation and user scheduling strategies for such a system. Our numerical results reveal that a cell-free massive MIMO architecture may provide better performance than a traditional multicell massive MIMO network deployment.


title: Features of low-to-high cycle fatigue fracture transition

abstract: It was experimentally confirmed that if steel cyclic stress reduces to less than tensile yield stress values, i.e. in case of high-cycle fatigue, the mechanism of fracture changes from dislocation to vacancy one. This conclusion was based on the fact that steel density determined by the method of liquid displacement is less than that of steel in both initial condition and after fracture under the cyclic loads exceeding tensile yield stress values. In the latter case steel hardness increases, whereas the steels fractured under the cyclic stresses less than their tensile yield stress values show no change in hardness. It means that in such a case metal fractures without strain hardening, i.e. undergoes brittle fracturing developing by vacancy mechanism rather than by dislocation one. As a result such steel obtains the structure and properties similar to those appearing after its exposure to radiation, i.e. friability and brittleness. The results obtained allow us to explain the presence of a horizontal section in the W\"ohler fatigue failure diagram


title: Cosmic Anisotropy and Fast Radio Bursts

abstract: In the recent years, the field of fast radio bursts (FRBs) is thriving and growing rapidly. It is of interest to study cosmology by using FRBs with known redshifts. In the present work, we try to test the possible cosmic anisotropy with the simulated FRBs. In particular, we only consider the possible dipole in FRBs, rather than the cosmic anisotropy in general, while the analysis is only concerned with finding the rough number of necessary data points to distinguish a dipole from a monopole structure through simulations. Noting that there is no a large sample of actual data of FRBs with known redshifts by now, simulations are necessary to this end. We find that at least 2800, 190, 100 FRBs are competent to find the cosmic dipole with amplitude 0.01, 0.03, 0.05, respectively. Unfortunately, even 10000 FRBs are not competent to find the tiny cosmic dipole with amplitude of ${\cal O}(10^{-3})$. On the other hand, at least 20 FRBs with known redshifts are competent to find the cosmic dipole with amplitude 0.1. We expect that such a big cosmic dipole could be ruled out by using only a few tens of FRBs with known redshifts in the near future.


title: Imaginary time density functional calculation of ground states for second-row atoms using CWDVR approach

abstract: We have developed the Coulomb wave function discrete variable representation (CWDVR) method to solve the imaginary time dependent Kohn - Sham equation on the many - electronic second row atoms. The imaginary time dependent Kohn - Sham equation is numerically solved using the CWDVR method. We have presented that the results of calculation for second row Li, Be, B, C, N, O and F atoms are in good agreement with other best available values using the Mathematica 7.0 programm.


title: Colorectal Cancer Outcome Prediction from H&E Whole Slide Images using Machine Learning and Automatically Inferred Phenotype Profiles

abstract: Digital pathology (DP) is a new research area which falls under the broad umbrella of health informatics. Owing to its potential for major public health impact, in recent years DP has been attracting much research attention. Nevertheless, a wide breadth of significant conceptual and technical challenges remain, few of them greater than those encountered in the field of oncology. The automatic analysis of digital pathology slides of cancerous tissues is particularly problematic due to the inherent heterogeneity of the disease, extremely large images, amongst numerous others. In this paper we introduce a novel machine learning based framework for the prediction of colorectal cancer outcome from whole digitized haematoxylin & eosin (H&E) stained histopathology slides. Using a real-world data set we demonstrate the effectiveness of the method and present a detailed analysis of its different elements which corroborate its ability to extract and learn salient, discriminative, and clinically meaningful content.


title: A local Levinson theorem for compact symmetric spaces

abstract: A classical result due to Levinson characterizes the existence of non-zero functions defined on a circle vanishing on an open subset of the circle in terms of the pointwise decay of their Fourier coefficients [13]. We prove certain analogue of this result on compact symmetric spaces.


title: A note on products of quadratic matrices of singular type

abstract: I provide an alternate and self-contained proof of Botha's theorem on products of idempotent and square-zero matrices where the product contains two square-zero factors, and provide a conclusive characterisation of products of singular quadratic matrices based on previous results.


title: Angle-Closure Detection in Anterior Segment OCT based on Multi-Level Deep Network

abstract: Irreversible visual impairment is often caused by primary angle-closure glaucoma, which could be detected via Anterior Segment Optical Coherence Tomography (AS-OCT). In this paper, an automated system based on deep learning is presented for angle-closure detection in AS-OCT images. Our system learns a discriminative representation from training data that captures subtle visual cues not modeled by handcrafted features. A Multi-Level Deep Network (MLDN) is proposed to formulate this learning, which utilizes three particular AS-OCT regions based on clinical priors: the global anterior segment structure, local iris region, and anterior chamber angle (ACA) patch. In our method, a sliding window based detector is designed to localize the ACA region, which addresses ACA detection as a regression task. Then, three parallel sub-networks are applied to extract AS-OCT representations for the global image and at clinically-relevant local regions. Finally, the extracted deep features of these sub-networks are concatenated into one fully connected layer to predict the angle-closure detection result. In the experiments, our system is shown to surpass previous detection methods and other deep learning systems on two clinical AS-OCT datasets.


title: Space-efficient estimation of empirical tail dependence coefficients for bivariate data streams

abstract: This article proposes a space-efficient approximation to empirical tail dependence coefficients of an indefinite bivariate stream of data. The approximation, which has stream-length invariant error bounds, utilises recent work on the development of a summary for bivariate empirical copula functions. The work in this paper accurately approximates a bivariate empirical copula in the tails of each marginal distribution, therefore modelling the tail dependence between the two variables observed in the data stream. Copulas evaluated at these marginal tails can be used to estimate the tail dependence coefficients. Modifications to the space-efficient bivariate copula approximation, presented in this paper, allow the error of approximations to the tail dependence coefficients to remain stream-length invariant. Theoretical and numerical evidence of this, including a case-study using the Los Alamos National Laboratory netflow data-set, is provided within this article.


title: Quantitative theory of the grain boundary impact on the open-circuit voltage of polycrystalline solar cells

abstract: Thin film polycrystalline photovoltaics are a mature, commercially-relevant technology. However, basic questions persist about the role of grain boundaries in the performance of these materials, and the extent to which these defects may limit further progress. In this work, we first extend previous analysis of columnar grain boundaries to develop a model of the recombination current of "tilted" grain boundaries. We then consider systems with multiple, intersecting grain boundaries and numerically determine the parameter space for which our analytical model accurately describes the recombination current. We find that for material parameters relevant for thin film photovoltaics, our model can be applied to compute the open-circuit voltage of materials with networks of inhomogeneous grain boundaries. This model bridges the gap between the distribution of grain boundary properties observed with nanoscale characterization and their influence on the macroscale device open-circuit voltage.


title: Learning Best Response Strategies for Agents in Ad Exchanges

abstract: Ad exchanges are widely used in platforms for online display advertising. Autonomous agents operating in these exchanges must learn policies for interacting profitably with a diverse, continually changing, but unknown market. We consider this problem from the perspective of a publisher, strategically interacting with an advertiser through a posted price mechanism. The learning problem for this agent is made difficult by the fact that information is censored, i.e., the publisher knows if an impression is sold but no other quantitative information. We address this problem using the Harsanyi-Bellman Ad Hoc Coordination (HBA) algorithm, which conceptualises this interaction in terms of a Stochastic Bayesian Game and arrives at optimal actions by best responding with respect to probabilistic beliefs maintained over a candidate set of opponent behaviour profiles. We adapt and apply HBA to the censored information setting of ad exchanges. Also, addressing the case of stochastic opponents, we devise a strategy based on a Kaplan-Meier estimator for opponent modelling. We evaluate the proposed method using simulations wherein we show that HBA-KM achieves substantially better competitive ratio and lower variance of return than baselines, including a Q-learning agent and a UCB-based online learning agent, and comparable to the offline optimal algorithm.


title: NeurAll: Towards a Unified Visual Perception Model for Automated Driving

abstract: Convolutional Neural Networks (CNNs) are successfully used for the important automotive visual perception tasks including object recognition, motion and depth estimation, visual SLAM, etc. However, these tasks are typically independently explored and modeled. In this paper, we propose a joint multi-task network design for learning several tasks simultaneously. Our main motivation is the computational efficiency achieved by sharing the expensive initial convolutional layers between all tasks. Indeed, the main bottleneck in automated driving systems is the limited processing power available on deployment hardware. There is also some evidence for other benefits in improving accuracy for some tasks and easing development effort. It also offers scalability to add more tasks leveraging existing features and achieving better generalization. We survey various CNN based solutions for visual perception tasks in automated driving. Then we propose a unified CNN model for the important tasks and discuss several advanced optimization and architecture design techniques to improve the baseline model. The paper is partly review and partly positional with demonstration of several preliminary results promising for future research. We first demonstrate results of multi-stream learning and auxiliary learning which are important ingredients to scale to a large multi-task model. Finally, we implement a two-stream three-task network which performs better in many cases compared to their corresponding single-task models, while maintaining network size.


title: Spectral estimators for finite non-commutative geometries

abstract: A finite non-commutative geometry consists of a fuzzy space together with a Dirac operator satisfying the axioms of a real spectral triple. This paper addreses the question of how to extract information about these geometries from the spectrum of the Dirac operator. Since the Dirac operator is a finite-dimensional matrix, the usual asymptotics of the eigenvalues makes no sense and is replaced by measurements of the spectrum at a finite energy scale. The spectral dimension of the square of the Dirac operator is improved to provide a new spectral measure of the dimension of a space called the spectral variance. Similarly, the volume of a space can be computed from the spectrum once the dimension is known. Two methods of doing this are investigated: the well-known Dixmier trace and a recent improvement due to Abel Stern. Finally, the distance between two geometries is investigated by comparing the spectral zeta functions using the method of Cornelissen and Kontogeorgis. All of these techniques are tested on the explicit examples of the fuzzy spheres and fuzzy tori, which can be regarded as approximations of the usual Riemannian sphere and flat tori. Then they are applied to characterise some random fuzzy spaces using data generated by a Monte Carlo simulation.


title: Stochastic Three Points Method for Unconstrained Smooth Minimization

abstract: In this paper we consider the unconstrained minimization problem of a smooth function in ${\mathbb{R}}^n$ in a setting where only function evaluations are possible. We design a novel randomized derivative-free algorithm --- the stochastic three points (STP) method --- and analyze its iteration complexity. At each iteration, STP generates a random search direction according to a certain fixed probability law. Our assumptions on this law are very mild: roughly speaking, all laws which do not concentrate all measure on any halfspace passing through the origin will work. For instance, we allow for the uniform distribution on the sphere and also distributions that concentrate all measure on a positive spanning set. Given a current iterate $x$, STP compares the objective function at three points: $x$, $x+\alpha s$ and $x-\alpha s$, where $\alpha>0$ is a stepsize parameter and $s$ is the random search direction. The best of these three points is the next iterate. We analyze the method STP under several stepsize selection schemes (fixed, decreasing, estimated through finite differences, etc). We study non-convex, convex and strongly convex cases.


title: Ram's theorem for Trisection

abstract: While solving problems, if direct methods does not provide solution, indirect methods are explored. Today, we need an indirect method to solve the problem of angle trisection as the direct methods have been proved not to provide solutions. The unstoppable curiosity of Geometers and the newer advanced tools available with time have led to newer approaches to progress further. Results of exploration strictly following the Platonian rules of Euclidean geometry that could help in arriving at the solution is presented here.


title: Equivariant homologies for operator algebras

abstract: This is a survey of a variety of equivariant (co)homology theories for operator algebras. We briefly discuss a background on equivariant theories, such as equivariant $K$-theory and equivariant cyclic homology. As the main focus, we discuss a notion of equivariant $ L^2 $-cohomology and equivariant $ L^2 $-Betti numbers for subalgebras of a von Neumann algebra. For graded $C^*$-algebras (with grading over a group) we elaborate on a notion of graded $ L^2 $-cohomology and its relation to equivariant $L^2$-cohomology.


title: Max-Min Fair Sensor Scheduling: Game-theoretic Perspective and Algorithmic Solution

abstract: We consider the design of a fair sensor schedule for a number of sensors monitoring different linear time-invariant processes. The largest average remote estimation error among all processes is to be minimized. We first consider a general setup for the max-min fair allocation problem. By reformulating the problem as its equivalent form, we transform the fair resource allocation problem into a zero-sum game between a "judge" and a resource allocator. We propose an equilibrium seeking procedure and show that there exists a unique Nash equilibrium in pure strategy for this game. We then apply the result to the sensor scheduling problem and show that the max-min fair sensor scheduling policy can be achieved.


title: Multi-party quantum privacy comparison of size based on d-level GHZ states

abstract: Quantum privacy comparison(QPC) plays an important role in secret ballot elections, private auctions and so on. To date, many multi-party QPC(MQPC) protocols have been proposed to compare the equality of $k(k\geq 3)$ participants. However, there are few examples of MQPC used to compare the sizes or values of their privacies. In this paper, we propose a MQPC protocol by which any $k(k\geq 3)$ participants can compare the sizes of their privacies with executing the protocol just once. The proposed MQPC protocol takes the $d-level$ GHZ states as quantum resources, and a semi-honest $TP$ is introduced to help the participants to determine the relationship of their privacies. Further more, only single-particle unitary transformations and measurements are involved, and the participants need not to share common secrets with each other beforehand which makes the proposed protocol much more efficient. Analysis shows that our protocol is secure against internal and external attack in theory.


title: The analysing powers in proton-deuteron elastic scattering

abstract: It is shown that the ratio of the deuteron and proton analysing powers in proton-deuteron elastic scattering at small angles is sensitive to subtle effects in a theoretical description. These include the transverse spin-spin term in the elementary nucleon-nucleon amplitudes and double-scattering corrections. On the other hand there is far less sensitivity to the spin-orbit amplitude and to binding or other kinematic effects associated with the use of the deuteron, as either target or projectile. The available data are in agreement with the results of a refined Glauber theory model.


title: The effect of finite pore length on ion structure and charging

abstract: Nanoporous supercapacitors play an important role in modern energy storage systems, and their modeling is essential to predict and optimize the charging behaviour. Two classes of models have been developed that consist of finite and infinitely long pores. Here, we show that although both types of models predict qualitatively consistent results, there are important differences emerging due to the finite pore length. In particular, we find that the ion density inside a finite pore is not constant but increases linearly from the pore entrance to the pore end, where the ions form a strongly layered structure. This hinders a direct quantitative comparison between the two models. In addition, we show that although the ion density between the electrodes changes appreciably with the applied potential, this change has a minor effect on charging. Our simulations also reveal a complex charging behaviour, which is adsorption-driven at high voltages, but it is dominated either by co-ion desorption or by adsorption of both types of ions at low voltages, depending on the ion concentration.


title: Dynamics and control for multi-agent networked systems: a finite difference approach

abstract: We analyze the dynamics of multi-agent collective behavior models and their control theoretical properties. We first derive a large population limit to parabolic diffusive equations. We also show that the non-local transport equations commonly derived as the mean-field limit, are subordinated to the first one. In other words, the solution of the non-local transport model can be obtained by a suitable averaging of the diffusive one. We then address the control problem in the linear setting, linking the multi-agent model with the spatial semi-discretization of parabolic equations. This allows us to use the existing techniques for parabolic control problems in the present setting and derive explicit estimates on the cost of controlling these systems as the number of agents tends to infinity. We obtain precise estimates on the time of control and the size of the controls needed to drive the system to consensus, depending on the size of the population considered. Our approach, inspired on the existing results for parabolic equations, possibly of fractional type, and in several space dimensions, shows that the formation of consensus may be understood in terms of the underlying diffusion process described by the heat semi-group. In this way, we are able to give precise estimates on the cost of controllability for these systems as the number of agents increases, both in what concerns the needed control time-horizon and the size of the controls.


title: Operator algebras of higher rank numerical semigroups

abstract: A higher rank numerical semigroup is a positive cone whose seminormalization is isomorphic to the free abelian semigroup. The corresponding nonselfadjoint semigroup algebras are known to provide examples that answer Arveson's Dilation Problem to the negative. Here we show that these algebras share the polydisc as the character space in a canonical way. We subsequently use this feature in order to identify higher rank numerical semigroups from the corresponding nonselfadjoint algebras.


title: Salt polygons and porous media convection

abstract: From fairy circles to patterned ground and columnar joints, natural patterns spontaneously appear in many complex geophysical settings. Here, we investigate the origins of polygonally patterned crusts of salt playa and salt pans. These beautifully regular features, approximately a meter in diameter, are found worldwide and are fundamentally important to the transport of salt and dust in arid regions. We show that they are consistent with the surface expression of buoyancy-driven convection in the porous soil beneath a salt crust. By combining quantitative results from direct field observations, analogue experiments and numerical simulations, we further determine the conditions under which salt polygons should form, as well as how their characteristic size emerges.


title: Vulnerable road user detection: state-of-the-art and open challenges

abstract: Correctly identifying vulnerable road users (VRUs), e.g. cyclists and pedestrians, remains one of the most challenging environment perception tasks for autonomous vehicles (AVs). This work surveys the current state-of-the-art in VRU detection, covering topics such as benchmarks and datasets, object detection techniques and relevant machine learning algorithms. The article concludes with a discussion of remaining open challenges and promising future research directions for this domain.


title: Coherence length of neutrino oscillations in quantum field-theoretical approach

abstract: We consider a novel quantum field-theoretical approach to the description of processes passing at finite space-time intervals based on the Feynman diagram technique in the coordinate representation. The most known processes of this type are neutrino and neutral kaon oscillations. The experimental setting of these processes requires one to adjust the rules of passing to the momentum representation in the Feynman diagram technique in accordance with it, which leads to a modification of the Feynman propagator in the momentum representation. The approach does not make use of wave packets, both initial and final particle states are described by plane waves, which simplifies the calculations considerably. We consider neutrino oscillation processes, where the neutrinos are produced in three-particle weak decays of nuclei and detected in the charged-current interaction with nuclei or in the charged- and neutral-current interactions with electrons. Particular examples are considered and it is shown that the momentum spread of the produced neutrinos and the energy dependence of the differential cross section of the detection process result in the suppression of neutrino oscillation, which is characterized by a coherence length specific for a pair of production and detection processes. This coherence length turns out to be much less than the coherence length in the standard quantum-mechanical approach defined by the quantum uncertainty of neutrino momentum.


title: Pseudorapidity distributions of charged hadrons in xenon-xenon collisions at $\sqrt{s_\mathrm{NN}} =$ 5.44 TeV

abstract: Measurements of the pseudorapidity distributions of charged hadrons produced in xenon-xenon collisions at a nucleon-nucleon centre-of-mass energy of $\sqrt{s_\mathrm{NN}} =$ 5.44 TeV are presented. The measurements are based on data collected by the CMS experiment at the LHC. The yield of primary charged hadrons produced in xenon-xenon collisions in the pseudorapidity range $|\eta|$ $<$ 3.2 is determined using the silicon pixel detector in the CMS tracking system. For the 5% most central collisions, the charged-hadron pseudorapidity density in the midrapidity region $|\eta|$ $<$ 0.5 is found to be 1187 $\pm$ 36 (syst), with a negligible statistical uncertainty. The rapidity distribution of charged hadrons is also presented in the range $|y|$ $<$ 3.2 and is found to be independent of rapidity around $y =$ 0. Existing Monte-Carlo event generators are unable to simultaneously describe both results. Comparisons of charged-hadron multiplicities between xenon-xenon and lead-lead collisions at similar collision energies show that particle production at midrapidity is strongly dependent on the collision geometry in addition to the system size and collision energy.


title: MOTS: Multi-Object Tracking and Segmentation

abstract: This paper extends the popular task of multi-object tracking to multi-object tracking and segmentation (MOTS). Towards this goal, we create dense pixel-level annotations for two existing tracking datasets using a semi-automatic annotation procedure. Our new annotations comprise 65,213 pixel masks for 977 distinct objects (cars and pedestrians) in 10,870 video frames. For evaluation, we extend existing multi-object tracking metrics to this new task. Moreover, we propose a new baseline method which jointly addresses detection, tracking, and segmentation with a single convolutional network. We demonstrate the value of our datasets by achieving improvements in performance when training on MOTS annotations. We believe that our datasets, metrics and baseline will become a valuable resource towards developing multi-object tracking approaches that go beyond 2D bounding boxes. We make our annotations, code, and models available at https://www.vision.rwth-aachen.de/page/mots.


title: Pseudo-drag of a polariton superfluid

abstract: The drag of half-light half-mater quasiparticles, exciton-polaritons, by an electric current is a peculiar mechanism of light-matter interaction in solids. While an ideal superfluid is protected from being dragged by its zero viscosity, here we argue that the state of the superfluid polariton condensate formed by a non-resonant optical pumping can be controlled by the electric current. The proposed mechanism is based on the stimulated relaxation of moving uncondensed excitons dragged by the electric current. The stimulated relaxation process favors the formation of a moving condensate in a quantum state that is characterised by the lowest condensation threshold. We also show that the electron-mediated inelastic scattering of the reservoir excitons to the condensate leads to the transfer of a non-zero mean momentum to the electron gas thus contributing to the electric current. We predict the generation of circular electric currents in a micropillar cavity in the presence of a nonresonant laser pumping at normal incidence.


title: Characterization of arbitrary-order correlations in quantum baths by weak measurement

abstract: Correlations of fluctuations are the driving forces behind the dynamics and thermodynamics in quantum many-body systems. For qubits embedded in a quantum bath, the correlations in the bath are the key to understanding and combating decoherence -a critical issue in quantum information technology. However, there is no systematic method for characterizing the many-body correlations in quantum baths beyond the second order or the Gaussian approximation. Here we present a scheme to characterize the correlations in a quantum bath to arbitrary order. The scheme employs weak measurement of the bath via projective measurement of a central system. The bath correlations, including both the "classical" and the "quantum" parts, can be reconstructed from the correlations of the measurement outputs. The possibility of full characterization of many-body correlations in a quantum bath forms the basis for optimizing quantum control against decoherence in realistic environments, for studying the quantum characteristics of baths, and for quantum sensing of correlated clusters in quantum baths.


title: Quantum Measurement as Marginalization and Nested Quantum Systems

abstract: In prior work, we have shown how the basic concepts and terms of quantum mechanics relate to factorizations and marginals of complex-valued quantum mass functions, which are generalizations of joint probability mass functions. In this paper, using quantum mass functions, we discuss the realization of measurements in terms of unitary interactions and marginalizations. It follows that classical measurement results strictly belong to local models, i.e., marginals of more detailed models. Classical variables that are created by marginalization do not exist in the unmarginalized model, and different marginalizations may yield incompatible classical variables. These observations are illustrated by the Frauchiger-Renner paradox, which is analyzed (and resolved) in terms of quantum mass functions. Throughout, the paper uses factor graphs to represent quantum systems/models with multiple measurements at different points in time.


title: Software Development Effort Estimation Using Regression Fuzzy Models

abstract: Software effort estimation plays a critical role in project management. Erroneous results may lead to overestimating or underestimating effort, which can have catastrophic consequences on project resources. Machine-learning techniques are increasingly popular in the field. Fuzzy logic models, in particular, are widely used to deal with imprecise and inaccurate data. The main goal of this research was to design and compare three different fuzzy logic models for predicting software estimation effort: Mamdani, Sugeno with constant output and Sugeno with linear output. To assist in the design of the fuzzy logic models, we conducted regression analysis, an approach we call regression fuzzy logic. State-of-the-art and unbiased performance evaluation criteria such as standardized accuracy, effect size and mean balanced relative error were used to evaluate the models, as well as statistical tests. Models were trained and tested using industrial projects from the International Software Benchmarking Standards Group (ISBSG) dataset. Results showed that data heteroscedasticity affected model performance. Fuzzy logic models were found to be very sensitive to outliers. We concluded that when regression analysis was used to design the model, the Sugeno fuzzy inference system with linear output outperformed the other models.


title: Hybrid Forest: A Concept Drift Aware Data Stream Mining Algorithm

abstract: Nowadays with a growing number of online controlling systems in the organization and also a high demand of monitoring and stats facilities that uses data streams to log and control their subsystems, data stream mining becomes more and more vital. Hoeffding Trees (also called Very Fast Decision Trees a.k.a. VFDT) as a Big Data approach in dealing with the data stream for classification and regression problems showed good performance in handling facing challenges and making the possibility of any-time prediction. Although these methods outperform other methods e.g. Artificial Neural Networks (ANN) and Support Vector Regression (SVR), they suffer from high latency in adapting with new concepts when the statistical distribution of incoming data changes. In this article, we introduced a new algorithm that can detect and handle concept drift phenomenon properly. This algorithms also benefits from fast startup ability which helps systems to be able to predict faster than other algorithms at the beginning of data stream arrival. We also have shown that our approach will overperform other controversial approaches for classification and regression tasks.


title: Physics and Derivatives: Effective-Potential Path-Integral Approximations of Arrow-Debreu Densities

abstract: We show how effective-potential path-integrals methods, stemming on a simple and nice idea originally due to Feynman and successfully employed in Physics for a variety of quantum thermodynamics applications, can be used to develop an accurate and easy-to-compute semi-analytical approximation of transition probabilities and Arrow-Debreu densities for arbitrary diffusions. We illustrate the accuracy of the method by presenting results for the Black-Karasinski and the GARCH linear models, for which the proposed approximation provides remarkably accurate results, even in regimes of high volatility, and for multi-year time horizons. The accuracy and the computational efficiency of the proposed approximation makes it a viable alternative to fully numerical schemes for a variety of derivatives pricing applications.