title: Outlier Detection by Consistent Data Selection Method

abstract: Often the challenge associated with tasks like fraud and spam detection[1] is the lack of all likely patterns needed to train suitable supervised learning models. In order to overcome this limitation, such tasks are attempted as outlier or anomaly detection tasks. We also hypothesize that out- liers have behavioral patterns that change over time. Limited data and continuously changing patterns makes learning significantly difficult. In this work we are proposing an approach that detects outliers in large data sets by relying on data points that are consistent. The primary contribution of this work is that it will quickly help retrieve samples for both consistent and non-outlier data sets and is also mindful of new outlier patterns. No prior knowledge of each set is required to extract the samples. The method consists of two phases, in the first phase, consistent data points (non- outliers) are retrieved by an ensemble method of unsupervised clustering techniques and in the second phase a one class classifier trained on the consistent data point set is ap- plied on the remaining sample set to identify the outliers. The approach is tested on three publicly available data sets and the performance scores are competitive.


title: Topology of Privacy: Lattice Structures and Information Bubbles for Inference and Obfuscation

abstract: Information has intrinsic geometric and topological structure, arising from relative relationships beyond absolute values or types. For instance, the fact that two people share a meal describes a relationship independent of the meal's ingredients. Multiple such relationships give rise to relations and their lattices. Lattices have topology. That topology informs the ways in which information may be observed, hidden, inferred, and dissembled. Dowker's Theorem establishes a homotopy equivalence between two simplicial complexes derived from a relation. From a privacy perspective, one complex describes individuals with common attributes, the other describes attributes shared by individuals. The homotopy equivalence produces a lattice. An element in the lattice consists of two components, one being a set of individuals, the other being a set of attributes. The lattice operations join and meet each amount to set intersection in one component and set union followed by a potentially privacy-puncturing inference in the other component. Privacy loss appears as simplicial collapse of free faces. Such collapse is local, but the property of fully preserving both attribute and association privacy requires a global condition: a particular kind of spherical hole. By looking at the link of an identifiable individual in its encompassing Dowker complex, one can characterize that individual's attribute privacy via another sphere condition. Even when long-term attribute privacy is impossible, homology provides lower bounds on how an individual may defer identification, when that individual has control over how to reveal attributes. Intuitively, the idea is to first reveal information that could otherwise be inferred. This last result highlights privacy as a dynamic process. Privacy loss may be cast as gradient flow. Harmonic flow for privacy preservation may be fertile ground for future research.


title: Attaching leaves and picking cherries to characterise the hybridisation number for a set of phylogenies

abstract: Throughout the last decade, we have seen much progress towards characterising and computing the minimum hybridisation number for a set P of rooted phylogenetic trees. Roughly speaking, this minimum quantifies the number of hybridisation events needed to explain a set of phylogenetic trees by simultaneously embedding them into a phylogenetic network. From a mathematical viewpoint, the notion of agreement forests is the underpinning concept for almost all results that are related to calculating the minimum hybridisation number for when |P|=2. However, despite various attempts, characterising this number in terms of agreement forests for |P|>2 remains elusive. In this paper, we characterise the minimum hybridisation number for when P is of arbitrary size and consists of not necessarily binary trees. Building on our previous work on cherry-picking sequences, we first establish a new characterisation to compute the minimum hybridisation number in the space of tree-child networks. Subsequently, we show how this characterisation extends to the space of all rooted phylogenetic networks. Moreover, we establish a particular hardness result that gives new insight into some of the limitations of agreement forests.


title: Static dilaton space-time parameters from frequency shifts of photons emitted by geodesic particles

abstract: The mass parameter of dilaton space-times is obtained as a function of the redshift-blueshift (zred, zblue) of photons emitted by particles orbiting in circular motion around these objects and their corresponding radii. Particularly, we work with the generalized Chatterjee and Gibbons- Maeda space-times. Both of them become the Schwarzschild black hole in certain limit of one of their parameters. Bounds for the values of these frequency shifts, that may be observed for these metrics, are also determined.


title: The Gaussian Interference Channel in the Presence of Malicious Jammers

abstract: This paper considers the two-user Gaussian interference channel in the presence of adversarial jammers. We first provide a general model including an arbitrary number of jammers, and show that its capacity region is equivalent to that of a simplified model in which the received jamming signal at each decoder is independent. Next, existing outer and inner bounds for two-user Gaussian interference channel are generalized for this simplified jamming model. We show that for certain problem parameters, precisely the same bounds hold, but with the noise variance increased by the received power of the jammer at each receiver. Thus, the jammers can do no better than to transmit Gaussian noise. For these problem parameters, this allows us to recover the half-bit theorem. In weak and strong interference regime, our inner bound matches the corresponding Han-Kobayashi bound with increased noise variance by the received power of the jammer, and even in strong interference we achieve the exact capacity. Furthermore, we determine the symmetric degrees of freedom where the signal-to-noise, interference-to-noise and jammer-to-noise ratios are all tend to infinity. Moreover, we show that, if the jammer has greater received power than the legitimate user, symmetrizability makes the capacity zero. The proof of the outer bound is straightforward, while the inner bound generalizes the Han-Kobayashi rate splitting scheme. As a novel aspect, the inner bound takes advantage of the common message acting as common randomness for the private message; hence, the jammer cannot symmetrize only the private codeword without being detected. This complication requires an extra condition on the signal power, so that in general our inner bound is not identical to the Han-Kobayashi bound. We also prove a new variation of the packing lemma that applies for multiple Gaussian codebooks in an adversarial setting.


title: Parameter-independent predictions for nuclear shapes and B(E2) transition rates in the proxy-SU(3) model

abstract: Using a new approximate analytic parameter-free proxy-SU(3) scheme, we make predictions of shape observables for actinides and superheavy elements, namely beta and gamma deformation variables, and compare these with predictions by relativistic and non-relativistic mean-field theories. Furthermore, we make predictions for B(E2) transition rates of deformed nuclei and compare these with existing data and predictions of other theoretical approaches.


title: Deep Learning for Reliable Mobile Edge Analytics in Intelligent Transportation Systems

abstract: Intelligent transportation systems (ITSs) will be a major component of tomorrow's smart cities. However, realizing the true potential of ITSs requires ultra-low latency and reliable data analytics solutions that can combine, in real-time, a heterogeneous mix of data stemming from the ITS network and its environment. Such data analytics capabilities cannot be provided by conventional cloud-centric data processing techniques whose communication and computing latency can be high. Instead, edge-centric solutions that are tailored to the unique ITS environment must be developed. In this paper, an edge analytics architecture for ITSs is introduced in which data is processed at the vehicle or roadside smart sensor level in order to overcome the ITS latency and reliability challenges. With a higher capability of passengers' mobile devices and intra-vehicle processors, such a distributed edge computing architecture can leverage deep learning techniques for reliable mobile sensing in ITSs. In this context, the ITS mobile edge analytics challenges pertaining to heterogeneous data, autonomous control, vehicular platoon control, and cyber-physical security are investigated. Then, different deep learning solutions for such challenges are proposed. The proposed deep learning solutions will enable ITS edge analytics by endowing the ITS devices with powerful computer vision and signal processing functions. Preliminary results show that the proposed edge analytics architecture, coupled with the power of deep learning algorithms, can provide a reliable, secure, and truly smart transportation environment.


title: Non-Commutative Chern Numbers for Generic Aperiodic Discrete Systems

abstract: The search for strong topological phases in generic aperiodic materials and meta-materials is now vigorously pursued by the condensed matter physics community. In this work, we first introduce the concept of patterned resonators as a unifying theoretical framework for topological electronic, photonic, phononic etc. (aperiodic) systems. We then discuss, in physical terms, the philosophy behind an operator theoretic analysis used to systematize such systems. A model calculation of the Hall conductance of a 2-dimensional amorphous lattice is given, where we present numerical evidence of its quantization in the mobility gap regime. Motivated by such facts, we then present the main result of our work, which is the extension of the Chern number formulas to Hamiltonians associated to lattices without a canonical labeling of the sites, together with index theorems that assure the quantization and stability of these Chern numbers in the mobility gap regime. Our results cover a broad range of applications, in particular, those involving quasi-crystalline, amorphous as well as synthetic (i.e. algorithmically generated) lattices.


title: Note on acoustic black holes from black D3-brane

abstract: In this paper, we study the acoustic black hole emerged from the nonextremal black D3-brane, based on the holographic approaches in constructing the acoustic black hole in asymptotically Anti de-Sitter spacetime (AAdS) and the effective hydrodynamic description of the nonextremal black D3-brane. We show that the holographic dual description of the acoustic black hole appeared on the timelike cutoff surface in the nonextremal black D3-brane also exist. The duality includes the dynamical connection between the acoustic black hole and the bulk gravity, a universal equation relating the Hawking-like temperature and the Hawking temperature, and a phonon/scalar channel quasinormal mode correspondence.


title: A vision based system for underwater docking

abstract: Autonomous underwater vehicles (AUVs) have been deployed for underwater exploration. However, its potential is confined by its limited on-board battery energy and data storage capacity. This problem has been addressed using docking systems by underwater recharging and data transfer for AUVs. In this work, we propose a vision based framework for underwater docking following these systems. The proposed framework comprises two modules; (i) a detection module which provides location information on underwater docking stations in 2D images captured by an on-board camera, and (ii) a pose estimation module which recovers the relative 3D position and orientation between docking stations and AUVs from the 2D images. For robust and credible detection of docking stations, we propose a convolutional neural network called Docking Neural Network (DoNN). For accurate pose estimation, a perspective-n-point algorithm is integrated into our framework. In order to examine our framework in underwater docking tasks, we collected a dataset of 2D images, named Underwater Docking Images Dataset (UDID), in an experimental water pool. To the best of our knowledge, UDID is the first publicly available underwater docking dataset. In the experiments, we first evaluate performance of the proposed detection module on UDID and its deformed variations. Next, we assess the accuracy of the pose estimation module by ground experiments, since it is not feasible to obtain true relative position and orientation between docking stations and AUVs under water. Then, we examine the pose estimation module by underwater experiments in our experimental water pool. Experimental results show that the proposed framework can be used to detect docking stations and estimate their relative pose efficiently and successfully, compared to the state-of-the-art baseline systems.


title: Deep learning enhanced mobile-phone microscopy

abstract: Mobile-phones have facilitated the creation of field-portable, cost-effective imaging and sensing technologies that approach laboratory-grade instrument performance. However, the optical imaging interfaces of mobile-phones are not designed for microscopy and produce spatial and spectral distortions in imaging microscopic specimens. Here, we report on the use of deep learning to correct such distortions introduced by mobile-phone-based microscopes, facilitating the production of high-resolution, denoised and colour-corrected images, matching the performance of benchtop microscopes with high-end objective lenses, also extending their limited depth-of-field. After training a convolutional neural network, we successfully imaged various samples, including blood smears, histopathology tissue sections, and parasites, where the recorded images were highly compressed to ease storage and transmission for telemedicine applications. This method is applicable to other low-cost, aberrated imaging systems, and could offer alternatives for costly and bulky microscopes, while also providing a framework for standardization of optical images for clinical and biomedical applications.


title: Binary quadratic forms and ray class groups

abstract: Let $K$ be an imaginary quadratic field different from $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$. For a positive integer $N$, let $K_\mathfrak{n}$ be the ray class field of $K$ modulo $\mathfrak{n}=N\mathcal{O}_K$. By using the congruence subgroup $\pm\Gamma_1(N)$, we construct an extended form class group whose operation is basically the Dirichlet composition, and explicitly show that this group is isomorphic to the Galois group $\mathrm{Gal}(K_\mathfrak{n}/K)$. We also present algorithms to find all form classes and show how to multiply two form classes. As an application, we describe $\mathrm{Gal}(K_\mathfrak{n}^\mathrm{ab}/K)$ in terms of these extended form class groups for which $K_\mathfrak{n}^\mathrm{ab}$ is the maximal abelian extension of $K$ unramified outside prime ideals dividing $\mathfrak{n}$.


title: Ideals in the Goldman Algebra

abstract: The goal of this work is to study the ideals of the Goldman Lie algebra $S$. To do so, we construct an algebra homomorphism from $S$ to a simpler algebraic structure, and focus on finding ideals of this new structure instead. The structure $S$ can be regarded as either a $\mathbb{Q}$-module or a $\mathbb{Q}$-module generated by free homotopy classes. For $\mathbb{Z}$-module case, we proved that there is an infinite class of ideals of $S$ that contain a certain finite set of free homotopy classes. For $\mathbb{Q}$-module case, we can classify all the ideals of the new structure and consequently obtain a new class of ideals of the original structure. Finally, we show an interesting infinite chain of ideals that are not those ideals obtained by considering the new structure.


title: Direction-aware Spatial Context Features for Shadow Detection

abstract: Shadow detection is a fundamental and challenging task, since it requires an understanding of global image semantics and there are various backgrounds around shadows. This paper presents a novel network for shadow detection by analyzing image context in a direction-aware manner. To achieve this, we first formulate the direction-aware attention mechanism in a spatial recurrent neural network (RNN) by introducing attention weights when aggregating spatial context features in the RNN. By learning these weights through training, we can recover direction-aware spatial context (DSC) for detecting shadows. This design is developed into the DSC module and embedded in a CNN to learn DSC features at different levels. Moreover, a weighted cross entropy loss is designed to make the training more effective. We employ two common shadow detection benchmark datasets and perform various experiments to evaluate our network. Experimental results show that our network outperforms state-of-the-art methods and achieves 97% accuracy and 38% reduction on balance error rate.


title: Benchmarking Single Image Dehazing and Beyond

abstract: We present a comprehensive study and evaluation of existing single image dehazing algorithms, using a new large-scale benchmark consisting of both synthetic and real-world hazy images, called REalistic Single Image DEhazing (RESIDE). RESIDE highlights diverse data sources and image contents, and is divided into five subsets, each serving different training or evaluation purposes. We further provide a rich variety of criteria for dehazing algorithm evaluation, ranging from full-reference metrics, to no-reference metrics, to subjective evaluation and the novel task-driven evaluation. Experiments on RESIDE shed light on the comparisons and limitations of state-of-the-art dehazing algorithms, and suggest promising future directions.


title: Information Perspective to Probabilistic Modeling: Boltzmann Machines versus Born Machines

abstract: We compare and contrast the statistical physics and quantum physics inspired approaches for unsupervised generative modeling of classical data. The two approaches represent probabilities of observed data using energy-based models and quantum states respectively.Classical and quantum information patterns of the target datasets therefore provide principled guidelines for structural design and learning in these two approaches. Taking the restricted Boltzmann machines (RBM) as an example, we analyze the information theoretical bounds of the two approaches. We verify our reasonings by comparing the performance of RBMs of various architectures on the standard MNIST datasets.

categories: physics.data-an cond-mat.stat-mech quant-ph stat.ML


title: Transportation analysis of denoising autoencoders: a novel method for analyzing deep neural networks

abstract: The feature map obtained from the denoising autoencoder (DAE) is investigated by determining transportation dynamics of the DAE, which is a cornerstone for deep learning. Despite the rapid development in its application, deep neural networks remain analytically unexplained, because the feature maps are nested and parameters are not faithful. In this paper, we address the problem of the formulation of nested complex of parameters by regarding the feature map as a transport map. Even when a feature map has different dimensions between input and output, we can regard it as a transportation map by considering that both the input and output spaces are embedded in a common high-dimensional space. In addition, the trajectory is a geometric object and thus, is independent of parameterization. In this manner, transportation can be regarded as a universal character of deep neural networks. By determining and analyzing the transportation dynamics, we can understand the behavior of a deep neural network. In this paper, we investigate a fundamental case of deep neural networks: the DAE. We derive the transport map of the DAE, and reveal that the infinitely deep DAE transports mass to decrease a certain quantity, such as entropy, of the data distribution. These results though analytically simple, shed light on the correspondence between deep neural networks and the Wasserstein gradient flows.


title: A Random Sample Partition Data Model for Big Data Analysis

abstract: Big data sets must be carefully partitioned into statistically similar data subsets that can be used as representative samples for big data analysis tasks. In this paper, we propose the random sample partition (RSP) data model to represent a big data set as a set of non-overlapping data subsets, called RSP data blocks, where each RSP data block has a probability distribution similar to the whole big data set. Under this data model, efficient block level sampling is used to randomly select RSP data blocks, replacing expensive record level sampling to select sample data from a big distributed data set on a computing cluster. We show how RSP data blocks can be employed to estimate statistics of a big data set and build models which are equivalent to those built from the whole big data set. In this approach, analysis of a big data set becomes analysis of few RSP data blocks which have been generated in advance on the computing cluster. Therefore, the new method for data analysis based on RSP data blocks is scalable to big data.


title: Tunable Band Gaps of In$_x$Ga$_{1-x}$N Alloys: From Bulk to Two-Dimensional Limit

abstract: Using first-principles calculations combined with a semi-empirical van der Waals dispersion correction, we have investigated structural parameters, mixing enthalpies, and band gaps of buckled and planar few-layer In$_x$Ga$_{1-x}$N alloys. We predict that the free-standing buckled phases are less stable than the planar ones. However, with hydrogen passivation, the buckled In$_x$Ga$_{1-x}$N alloys become more favorable. Their band gaps can be tuned from 6 eV to 1 eV with preservation of direct band gap and well-defined Bloch character, making them promising candidate materials for future light-emitting applications. Unlike their bulk counterparts, the phase separation could be suppressed in these two-dimensional systems due to reduced geometrical constraints. In contrast, the disordered planar thin films undergo severe lattice distortion, nearly losing the Bloch character for valence bands; whereas the ordered planar ones maintain the Bloch character yet with the highest mixing enthalpies.


title: A Hybridizable Discontinuous Galerkin solver for the Grad-Shafranov equation

abstract: In axisymmetric fusion reactors, the equilibrium magnetic configuration can be expressed in terms of the solution to a semi-linear elliptic equation known as the Grad-Shafranov equation, the solution of which determines the poloidal component of the magnetic field. When the geometry of the confinement region is known, the problem becomes an interior Dirichlet boundary value problem. We propose a high order solver based on the Hybridizable Discontinuous Galerkin method. The resulting algorithm (1) provides high order of convergence for the flux function and its gradient, (2) incorporates a novel method for handling piecewise smooth geometries by extension from polygonal meshes, (3) can handle geometries with non-smooth boundaries and x-points, and (4) deals with the semi-linearity through an accelerated two-grid fixed-point iteration. The effectiveness of the algorithm is verified with computations for cases where analytic solutions are known on configurations similar to those of actual devices (ITER with single null and double null divertor, NSTX, ASDEX upgrade, and Field Reversed Configurations).


title: A Striking Confluence Between Theory and Observations of High-Mass X-ray Binary Pulsars

abstract: We analyse the most powerful X-ray outbursts from neutron stars in ten Magellanic high-mass X-ray binaries and three pulsating ultraluminous X-ray sources. Most of the outbursts rise to $L_{max}$ which is about the level of the Eddington luminosity, while the rest and more powerful outbursts also appear to recognize that limit when their emissions are assumed to be anisotropic and beamed toward our direction. We use the measurements of pulsar spin periods $P_S$ and their derivatives $\dot{P_S}$ to calculate the X-ray luminosities $L_p$ in their faintest accreting ("propeller") states. In four cases with unknown $\dot{P_S}$, we use the lowest observed X-ray luminosities, which only adds to the heterogeneity of the sample. Then we calculate the ratios $L_p/L_{max}$ and we obtain an outstanding confluence of theory and observations from which we conclude that work done on both fronts is accurate and the results are trustworthy: sources known to reside on the lowest Magellanic propeller line are all located on/near that line, whereas other sources jump higher and reach higher-lying propeller lines. These jumps can be interpreted in only one way, higher-lying pulsars have stronger surface magnetic fields in agreement with empirical results in which $\dot{P_S}$ and $L_p$ values were not used.


title: A viscosity-independent error estimate of a pressure-stabilized Lagrange-Galerkin scheme for the Oseen problem

abstract: We consider a pressure-stabilized Lagrange-Galerkin scheme for the transient Oseen problem with small viscosity. In the scheme we use the equal-order approximation of order $k$ for both the velocity and pressure, and add a symmetric pressure stabilization term. We show an error estimate for the velocity with a constant independent of the viscosity if the exact solution is sufficiently smooth. Numerical examples show high accuracy of the scheme for problems with small viscosity.


title: A memory based random walk model to understand diffusion in crowded heterogeneous environment

abstract: We study memory based random walk models to understand diffusive motion in crowded heterogeneous environment. The models considered are non-Markovian as the current move of the random walk models is determined by randomly selecting a move from history. At each step, particle can take right, left or stay moves which is correlated with the randomly selected past step. There is a perfect stay-stay correlation which ensures that the particle does not move if the randomly selected past step is a stay move. The probability of traversing the same direction as the chosen history or reversing it depends on the current time and the time or position of the history selected. The time or position dependent biasing in moves implicitly corresponds to the heterogeneity of the environment and dictates the long-time behavior of the dynamics that can be diffusive, sub or super diffusive. A combination of analytical solution and Monte Carlo simulation of different random walk models gives rich insight on the effects of correlations on the dynamics of a system in heterogeneous environment.


title: Determinant expressions of constraint polynomials and the spectrum of the asymmetric quantum Rabi model

abstract: The purpose of this paper is to study the exceptional eigenvalues of the asymmetric quantum Rabi models (AQRM), specifically, to determine the degeneracy of their eigenstates. Here, the Hamiltonian $H^{\epsilon}_{\text{Rabi}}$ of the AQRM is defined by adding the fluctuation term $\epsilon \sigma_x$, with $\sigma_x$ being the Pauli matrix, to the Hamiltonian of the quantum Rabi model, breaking its $\mathbb{Z}_{2}$-symmetry. The spectrum of $H^{\epsilon}_{\text{Rabi}}$ contains a set of exceptional eigenvalues, considered to be remains of the eigenvalues of the uncoupled bosonic mode, which are further classified in two types: Juddian, associated with polynomial eigensolutions, and non-Juddian exceptional. We explicitly describe the constraint relations for allowing the model to have exceptional eigenvalues. By studying these relations we obtain the proof of the conjecture on constraint polynomials previously proposed by the third author. In fact, we prove that the spectrum of the AQRM possesses degeneracies if and only if the parameter $\epsilon$ is a half-integer. Moreover, we show that non-Juddian exceptional eigenvalues do not contribute any degeneracy and we characterize exceptional eigenvalues by representations of $\mathfrak{sl}_2$. Upon these results, we draw the whole picture of the spectrum of the AQRM. Furthermore, generating functions of constraint polynomials from the viewpoint of confluent Heun equations are also discussed.


title: On connections between domain specific constants in some norm inequalities

abstract: We derive connections between optimal domain specific constants figuring in the Friedrichs-Velte inequality for conjugate harmonic functions, in the Babu\v{s}ka-Aziz inequality for the divergence and in the improved Poincar\'e inequality for the gradient. With the same method we obtain for spatial domains an improved Poincar\'e inequality for the rotation in connection with the corresponding Babu\v{s}ka-Aziz inequality.


title: Probing nonclassicality in an optically-driven cavity with two atomic ensembles

abstract: The possibility of observing nonclassical features in a physical system comprised of a cavity with two ensembles of two-level atoms has been investigated by considering different configurations of the ensembles with respect to the Node and Antinode of the cavity field under the framework of open quantum systems. The study reveals the strong presence of nonclassical characters in the physical system by establishing the existence of many facets of nonclassicality, such as the sub-Poissonian boson statistics and squeezing in single modes, intermodal squeezing, intermodal entanglement, antibunching, and steering. The effect of a number of parameters, characterizing the physical system, on the different aspects of nonclassicality are also investigated. Specifically, it is observed that the depth of the nonclassicality witnessing parameters can be enhanced by externally driving one of the ensembles with an optical field. The work is done in the presence of open system effects, in particular, use is made of Langevin equations along with a suitable perturbative technique.


title: Toward `verifying' a Water Treatment System

abstract: Modeling and verifying real-world cyber-physical systems is challenging, which is especially so for complex systems where manually modeling is infeasible. In this work, we report our experience on combining model learning and abstraction refinement to analyze a challenging system, i.e., a real-world Secure Water Treatment system (SWaT). Given a set of safety requirements, the objective is to either show that the system is safe with a high probability (so that a system shutdown is rarely triggered due to safety violation) or not. As the system is too complicated to be manually modeled, we apply latest automatic model learning techniques to construct a set of Markov chains through abstraction and refinement, based on two long system execution logs (one for training and the other for testing). For each probabilistic safety property, we either report it does not hold with a certain level of probabilistic confidence, or report that it holds by showing the evidence in the form of an abstract Markov chain. The Markov chains can subsequently be implemented as runtime monitors in SWaT.


title: Extremizers for the Airy-Strichartz inequality

abstract: We identify the compactness threshold for optimizing sequences of the Airy-- Strichartz inequality as an explicit multiple of the sharp constant in the Strichartz inequality. In particular, if the sharp constant in the Airy--Strichartz inequality is strictly smaller than this multiple of the sharp constant in the Strichartz inequality, then there is an optimizer for the former inequality. Our result is valid for the full range of Airy--Strichartz inequalities (except the endpoints) both in the diagonal and off-diagonal cases.


title: Soft Particle Production in Cosmic Ray Showers

abstract: Indications of a discrepancy between simulations and data on the number of muons in cosmic ray showers exist over a large span of energies. We focus on the excess of multi-muon bundles observed by the DELPHI detector at LEP and on the excess in the muon number in general reported by the Pierre Auger Observatory. Even though the primary CR energies relevant for these experiments differ by orders of magnitude, we can find a single mechanism which can simultaneously increase predicted muon counts for both, while not violating constraints from accelerators or from the longitudinal shower development as observed by the Pierre Auger Observatory. We present a brief motivation and describe a practical implementation of such a model, based on the addition of soft particles to interactions above a chosen energy threshold. Results of an extensive set of simulations show the behavior of this model in various parts of a simplified parameter space.


title: Tracing a Loose Wordhood for Chinese Input Method Engine

abstract: Chinese input methods are used to convert pinyin sequence or other Latin encoding systems into Chinese character sentences. For more effective pinyin-to-character conversion, typical Input Method Engines (IMEs) rely on a predefined vocabulary that demands manually maintenance on schedule. For the purpose of removing the inconvenient vocabulary setting, this work focuses on automatic wordhood acquisition by fully considering that Chinese inputting is a free human-computer interaction procedure. Instead of strictly defining words, a loose word likelihood is introduced for measuring how likely a character sequence can be a user-recognized word with respect to using IME. Then an online algorithm is proposed to adjust the word likelihood or generate new words by comparing user true choice for inputting and the algorithm prediction. The experimental results show that the proposed solution can agilely adapt to diverse typings and demonstrate performance approaching highly-optimized IME with fixed vocabulary.


title: Mining Non-Redundant Local Process Models From Sequence Databases

abstract: Sequential pattern mining techniques extract patterns corresponding to frequent subsequences from a sequence database. A practical limitation of these techniques is that they overload the user with too many patterns. Local Process Model (LPM) mining is an alternative approach coming from the field of process mining. While in traditional sequential pattern mining, a pattern describes one subsequence, an LPM captures a set of subsequences. Also, while traditional sequential patterns only match subsequences that are observed in the sequence database, an LPM may capture subsequences that are not explicitly observed, but that are related to observed subsequences. In other words, LPMs generalize the behavior observed in the sequence database. These properties make it possible for a set of LPMs to cover the behavior of a much larger set of sequential patterns. Yet, existing LPM mining techniques still suffer from the pattern explosion problem because they produce sets of redundant LPMs. In this paper, we propose several heuristics to mine a set of non-redundant LPMs either from a set of redundant LPMs or from a set of sequential patterns. We empirically compare the proposed heuristics between them and against existing (local) process mining techniques in terms of coverage, redundancy, and complexity of the produced sets of LPMs.


title: Singular solutions to the Riemann problem for the pressureless Euler equations with discontinuous source term

abstract: In this paper, the Riemann problem for the pressureless Euler equations with a discontinuous source term is considered. The delta shock wave solution is obtained by combining the generalized Rankine-Hugoniot conditions together with the method of characteristics for different situations, which reflects the impact of the source term on the delta shock front. Moreover, during the construction process of the Riemann solution, some interesting phenomena are also observed, such as the disappearance of the delta shock wave and the occurrence of the vacuum state, etc.


title: How Better is Distributed SDN? An Analytical Approach

abstract: Distributed software-defined networks (SDN), consisting of multiple inter-connected network domains, each managed by one SDN controller, is an emerging networking architecture that offers balanced centralized control and distributed operations. Under such networking paradigm, most existing works focus on designing sophisticated controller-synchronization strategies to improve joint controller-decision-making for inter-domain routing. However, there is still a lack of fundamental understanding of how the performance of distributed SDN is related to network attributes, thus impossible to justify the necessity of complicated strategies. In this regard, we analyze and quantify the performance enhancement of distributed SDN architectures, influenced by intra-/inter-domain synchronization levels and network structural properties. Based on a generic weighted network model, we establish analytical methods for performance estimation under four synchronization scenarios with increasing synchronization cost. Moreover, two of these synchronization scenarios correspond to extreme cases, i.e., minimum/maximum synchronization, which are, therefore, capable of bounding the performance of distributed SDN with any given synchronization levels. Our theoretical results reveal how network performance is related to synchronization levels and inter-domain connections, the accuracy of which are confirmed by simulations based on both real and synthetic networks. To the best of our knowledge, this is the first work quantifying the performance of distributed SDN analytically, which provides fundamental guidance for future SDN protocol designs and performance estimation.


title: Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals

abstract: Property Specification Patterns (PSPs) have been proposed to solve recurring specification needs, to ease the formalization of requirements, and enable automated verification thereof. In this paper, we extend PSPs by considering Boolean as well as atomic assertions from a constraint system. This extension enables us to reason about functional requirements which could not be captured by basic PSPs. We contribute an encoding from constrained PSPs to LTL formulas, and we show experimental results demonstrating that our approach scales on requirements of realistic size generated using an artificial probabilistic model. Finally, we show that our extension enables us to prove (in)consistency of requirements about an embedded controller for a robotic manipulator.


title: Mapping the Real Space Distributions of Galaxies in SDSS DR7: II. Measuring the growth rate, clustering amplitude of matter and biases of galaxies at redshift $0.1$

abstract: We extend the real-space mapping method developed in Shi et at. (2016) so that it can be applied to flux-limited galaxy samples. We use an ensemble of mock catalogs to demonstrate the reliability of this extension, showing that it allows for an accurate recovery of the real-space correlation functions and galaxy biases. We also demonstrate that, using an iterative method applied to intermediate-scale clustering data, we can obtain an unbiased estimate of the growth rate of structure $f\sigma_8$, which is related to the clustering amplitude of matter, to an accuracy of $\sim 10\%$. Applying this method to the Sloan Digital Sky Survey (SDSS) Data Release 7 (DR7), we construct a real-space galaxy catalog spanning the redshift range $0.01 \leq z \leq 0.2$, which contains 584,473 galaxies in the north Galactic cap (NGC). Using this data, we infer $\fss$ at a median redshift $z=0.1$, which is consistent with the WMAP9 cosmology at the $1\sigma$ level. By combining this measurement with the real-space clustering of galaxies and with galaxy-galaxy weak lensing measurements for the same sets of galaxies, we are able to break the degeneracy between $f$, $\sigma_8$, and $b$. From the SDSS DR7 data alone, we obtain the following cosmological constraints at redshift $z=0.1$: $f=$$0.464^{+0.040}_{-0.040}$, $\sigma_8=0.769^{+0.121}_{-0.089}$, and $b=1.910^{+0.234}_{-0.268}$, $1.449^{+0.194}_{-0.196}$, $1.301^{+0.170}_{-0.177}$, and $1.196^{+0.159}_{-0.161}~$ for galaxies within different absolute magnitude bins $^{0.1}{\rm M}_r-5\log h=[-23,0, -22.0], [-22,0, -21.0], [-21.0, -20.0]$ and $[-20.0, -19.0]$, respectively.


title: Determination of the electric field gradient and the magnetic field in M\"ossbauer spectrocsopy by half-cube method

abstract: This paper presents a new method to determine all components of the electric field gradient tensor and orientation of the hyperfine magnetic field axis in the absorber Cartesian frame for M\"ossbauer spectroscopy for nuclear transitions between levels with spin 3/2 and 1/2. The method can be applied for single-crystal absorbers with well separated absorption lines in their spectra. Explicit formulas derived from velocity moments are presented. The new method allows full separation of the electric quadrupolar and magnetic dipolar hyperfine interactions by using unpolarized radiation.


title: Temporal Stability in Predictive Process Monitoring

abstract: Predictive process monitoring is concerned with the analysis of events produced during the execution of a business process in order to predict as early as possible the final outcome of an ongoing case. Traditionally, predictive process monitoring methods are optimized with respect to accuracy. However, in environments where users make decisions and take actions in response to the predictions they receive, it is equally important to optimize the stability of the successive predictions made for each case. To this end, this paper defines a notion of temporal stability for binary classification tasks in predictive process monitoring and evaluates existing methods with respect to both temporal stability and accuracy. We find that methods based on XGBoost and LSTM neural networks exhibit the highest temporal stability. We then show that temporal stability can be enhanced by hyperparameter-optimizing random forests and XGBoost classifiers with respect to inter-run stability. Finally, we show that time series smoothing techniques can further enhance temporal stability at the expense of slightly lower accuracy.


title: Weighted p-bits for FPGA implementation of probabilistic circuits

abstract: Probabilistic spin logic (PSL) is a recently proposed computing paradigm based on unstable stochastic units called probabilistic bits (p-bits) that can be correlated to form probabilistic circuits (p-circuits). These p-circuits can be used to solve problems of optimization, inference and also to implement precise Boolean functions in an "inverted" mode, where a given Boolean circuit can operate in reverse to find the input combinations that are consistent with a given output. In this paper we present a scalable FPGA implementation of such invertible p-circuits. We implement a "weighted" p-bit that combines stochastic units with localized memory structures. We also present a generalized tile of weighted p-bits to which a large class of problems beyond invertible Boolean logic can be mapped, and how invertibility can be applied to interesting problems such as the NP-complete Subset Sum Problem by solving a small instance of this problem in hardware.


title: On purity theorem of Lusztig's perverse sheaves

abstract: Let $Q$ be a finite quiver without loops and $\mathcal{Q}_{\alpha}$ be the Lusztig category for any dimension vector $\alpha$. The purpose of this paper is to prove that all Frobenius eigenvalues of the $i$-th cohomology $\mathcal{H}^i(\mathcal{L})|_x$ for a simple perverse sheaf $\mathcal{L}\in \mathcal{Q}_{\alpha}$ and $x\in \mathbb{E}_{\alpha}^{F^n}=\mathbb{E}_{\alpha}(\mathbb{F}_{q^n})$ are equal to $(\sqrt{q^n})^{i}$ as a conjecture given by Schiffmann (\cite{Schiffmann2}). As an application, we prove the existence of a class of Hall polynomials.


title: Eliminating reservoir density-of-states fingerprints in Coulomb blockade spectroscopy

abstract: The differential conductance map of a single electron transistor (SET) provides information about a variety of parameters related to (quantum) dots, relevant for semiconductor-based quantum computing schemes. However, in ultra-scaled device architectures, identification of excited-state resonances of the quantum dot in the conductance map is often complicated by the appearance of features due to non-uniform density-of-states (DOS) of the source and drain reservoirs of the SET. Here, we demonstrate theoretically that the pump-probe spectroscopic technique, originally introduced by Fujisawa et al., allows the fingerprint of the reservoir-DOS to be completely suppressed while preserving the visibility of the excited state resonances. We also propose a specific approach for performing DC Coulomb blockade spectroscopy, which can effectively eliminate the DOS-related features. The advantages and limitations of the two approaches are investigated in detail. The results demonstrated here may provide an important optimization capability for emerging proposals of computer-automated control of large arrays of coupled but independently controlled charge and spin qubits.


title: Dirac Index and associated cycles of Harish-Chandra modules

abstract: Let $G_{\mathbb{R}}$ be a simple real linear Lie group with maximal compact subgroup $K_{\mathbb{R}}$ and assume that ${\rm rank}(G_\mathbb{R})={\rm rank}(K_\mathbb{R})$. For any representation $X$ of Gelfand-Kirillov dimension $\frac{1}{2} {\rm dim}(G_{\mathbb{R}}/K_{\mathbb{R}})$, we consider the polynomial on the dual of a compact Cartan subalgebra given by the dimension of the Dirac index of members of the coherent family containing $X$. Under a technical condition involving the Springer correspondence, we establish an explicit relationship between this polynomial and the multiplicities of the irreducible components occurring in the associated cycle of $X$. This relationship was conjectured in \cite{MehdiPandzicVogan15}.


title: Interpretable Policies for Reinforcement Learning by Genetic Programming

abstract: The search for interpretable reinforcement learning policies is of high academic and industrial interest. Especially for industrial systems, domain experts are more likely to deploy autonomously learned controllers if they are understandable and convenient to evaluate. Basic algebraic equations are supposed to meet these requirements, as long as they are restricted to an adequate complexity. Here we introduce the genetic programming for reinforcement learning (GPRL) approach based on model-based batch reinforcement learning and genetic programming, which autonomously learns policy equations from pre-existing default state-action trajectory samples. GPRL is compared to a straight-forward method which utilizes genetic programming for symbolic regression, yielding policies imitating an existing well-performing, but non-interpretable policy. Experiments on three reinforcement learning benchmarks, i.e., mountain car, cart-pole balancing, and industrial benchmark, demonstrate the superiority of our GPRL approach compared to the symbolic regression method. GPRL is capable of producing well-performing interpretable reinforcement learning policies from pre-existing default trajectory data.


title: Divergences of the irreducible vertex functions in correlated metallic systems: Insights from the Anderson Impurity Model

abstract: In this work, we analyze in detail the occurrence of divergences in the irreducible vertex functions for one of the fundamental models of many-body physics: the Anderson impurity model (AIM). These divergences -- a surprising hallmark of the breakdown of many-electron perturbation theory -- have been recently observed in several contexts, including the dynamical mean-field solution of the Hubbard model. The numerical calculations for the AIM presented in this work, as well as their comparison with the corresponding results for the Hubbard model, allow us to clarify several open questions about the origin and the properties of vertex divergences in a particularly interesting context, the correlated metallic regime at low-temperatures. Specifically, our analysis (i) rules out explicitly the transition to a Mott insulating phase, but not the more general suppression of charge fluctuations (proposed in [Phys.\,Rev.\,B {\bf 93},\,245102\,(2016)]), as a necessary condition for the occurrence of vertex divergences, (ii) clarifies their relation with the underlying Kondo physics, and, eventually, (iii) individuates which divergences might also appear on the real frequency axis in the limit of zero temperature, through the discovered scaling properties of the singular eigenvectors.


title: A Low-Cost Ethics Shaping Approach for Designing Reinforcement Learning Agents

abstract: This paper proposes a low-cost, easily realizable strategy to equip a reinforcement learning (RL) agent the capability of behaving ethically. Our model allows the designers of RL agents to solely focus on the task to achieve, without having to worry about the implementation of multiple trivial ethical patterns to follow. Based on the assumption that the majority of human behavior, regardless which goals they are achieving, is ethical, our design integrates human policy with the RL policy to achieve the target objective with less chance of violating the ethical code that human beings normally obey.


title: Computing the associatied cycles of certain Harish-Chandra modules

abstract: Let $G_{\mathbb{R}}$ be a simple real linear Lie group with maximal compact subgroup $K_{\mathbb{R}}$ and assume that ${\rm rank}(G_\mathbb{R})={\rm rank}(K_\mathbb{R})$. In \cite{MPVZ} we proved that for any representation $X$ of Gelfand-Kirillov dimension $\frac{1}{2}\dim(G_{\mathbb{R}}/K_{\mathbb{R}})$, the polynomial on the dual of a compact Cartan subalgebra given by the dimension of the Dirac index of members of the coherent family containing $X$ is a linear combination, with integer coefficients, of the multiplicities of the irreducible components occurring in the associated cycle. In this paper we compute these coefficients explicitly.


title: Non-Gaussianity of multiple photon subtracted thermal states in terms of compound-Poisson photon number distribution parameters: theory and experiment

abstract: The multiphoton-subtracted thermal states are an interesting example of quantum states of light which are both classical and non-Gaussian. All the properties of such states can be described by just two parameters of compound-Poisson photon number distribution. The non-Gaussianity dependency on these parameters has been calculated numerically and analytically. The loss of non-Gaussianity during the optical damping has been also studied experimentally.


title: Collaborative Uploading in Heterogeneous Networks: Optimal and Adaptive Strategies

abstract: Collaborative uploading describes a type of crowdsourcing scenario in networked environments where a device utilizes multiple paths over neighboring devices to upload content to a centralized processing entity such as a cloud service. Intermediate devices may aggregate and preprocess this data stream. Such scenarios arise in the composition and aggregation of information, e.g., from smartphones or sensors. We use a queuing theoretic description of the collaborative uploading scenario, capturing the ability to split data into chunks that are then transmitted over multiple paths, and finally merged at the destination. We analyze replication and allocation strategies that control the mapping of data to paths and provide closed-form expressions that pinpoint the optimal strategy given a description of the paths' service distributions. Finally, we provide an online path-aware adaptation of the allocation strategy that uses statistical inference to sequentially minimize the expected waiting time for the uploaded data. Numerical results show the effectiveness of the adaptive approach compared to the proportional allocation and a variant of the join-the-shortest-queue allocation, especially for bursty path conditions.


title: Function-led design of multifunctional stimuli-responsive superhydrophobic surface based on hierarchical graphene-titania nanocoating

abstract: Multifunctional smart superhydrophobic surface with full-spectrum tunable wettability control is fabricated through the self-assembly of the graphene and titania nanofilm double-layer coating. Advanced microfluidic manipulative functions, including directional water transport, adhesion & spreading controls, droplet storage & transfer, and droplet sensing array, can be readily realized on this smart surface. An in-depth mechanism study regarding the underlying secrets of the tunable wettability and the UV-induced superhydrophilic conversion of anatase titania are also presented.


title: Block-Krylov techniques in the context of sparse-FGLM algorithms

abstract: Consider a zero-dimensional ideal $I$ in $\mathbb{K}[X_1,\dots,X_n]$. Inspired by Faug\`ere and Mou's Sparse FGLM algorithm, we use Krylov sequences based on multiplication matrices of $I$ in order to compute a description of its zero set by means of univariate polynomials. Steel recently showed how to use Coppersmith's block-Wiedemann algorithm in this context; he describes an algorithm that can be easily parallelized, but only computes parts of the output in this manner. Using generating series expressions going back to work of Bostan, Salvy, and Schost, we show how to compute the entire output for a small overhead, without making any assumption on the ideal $I$ other than it having dimension zero. We then propose a refinement of this idea that partially avoids the introduction of a generic linear form. We comment on experimental results obtained by an implementation based on the C++ libraries Eigen, LinBox and NTL.


title: Shifting of the resonance location for planets embedded in circumstellar disks

abstract: Context: In the early evolution of a planetary system, a pair of planets may be captured in a mean motion resonance while still embedded in their nesting circumstellar disk. Aims: The goal is to estimate the direction and amount of shift in the semimajor axis of the resonance location due to the disk gravity as a function of the gas density and mass of the planets. The stability of the resonance lock when the disk dissipates is also tested. Methods: The orbital evolution of a large number of systems is numerically integrated within a three-body problem in which the disk potential is computed as a series of expansion. This is a good approximation, at least over a limited amount of time. Results: Two different resonances are studied: the 2:1 and the 3:2. In both cases the shift is inwards, even if by a different amount, when the planets are massive and carve a gap in the disk. For super--Earths, the shift is instead outwards. Different disk densities, Sigma, are considered and the resonance shift depends almost linearly on Sigma. The gas dissipation leads to destabilization of a significant number of resonant systems, in particular if it is fast. Conclusions: The presence of a massive circumstellar disk may significantly affect the resonant behavior of a pair of planets by shifting the resonant location and by decreasing the size of the stability region. The disk dissipation may explain some systems found close to a resonance but not locked in it.


title: Phase transitions on a ladder of braided non-Abelian anyons

abstract: Non-Abelian anyons can exist as point-like particles in two-dimensional systems, and have particle exchange statistics which are neither bosonic nor fermionic. Like in spin systems, the role of fusion (Heisenberg-like) interactions between anyons has been well studied. However, unlike our understanding of the role of bosonic and fermionic statistics in the formation of different quantum phases of matter, little is known concerning the effect of non-Abelian anyonic statistics. We explore this physics using an anyonic Hubbard model on a two-legged ladder which includes braiding and nearest neighbour Heisenberg interactions among anyons. We study two of the most prominent non-Abelian anyon models: the Fibonacci and Ising type. We discover rich phase diagrams for both anyon models, and show the different roles of their fusion and braid statistics.


title: Global weak solutions to 3D compressible Primitive equations with density-dependent viscosity

abstract: This paper is devoted to investigating the global existence of weak solutions for the compressible primitive equations (CPE) with damping term in a three-dimensional torus for large initial data. The system takes into account density-dependent viscosity. In our proof, we represent the vertical velocity as a function of the density and the horizontal velocity which will play a role to use the Faedo-Galerkin method to obtain the global existence of the approximate solutions. Motivated by Vasseur and Yu [yucheng2016], we obtain the key estimates of lower bound of the density, the Bresch-Desjardin entropy on the approximate solutions. Based on these estimates, using compactness arguments, we prove the global existence of weak solutions of CPE by vanishing the parameters in our approximate system step by step.


title: On the leafwise cohomology and dynamical zeta functions for fiber bundles over the circle

abstract: In this paper, we give concrete descriptions of leafwise cohomology groups and show the regularized determinant expression of the dynamical zeta function for fiber bundles over $S^{1}$. As applications, we show a functional equation and some formulas for special values of the dynamical zeta function.


title: A Generic Model for Swarm Intelligence and Its Validations

abstract: The modeling of emergent swarm intelligence constitutes a major challenge and it has been tacked in a number of different ways. However, existing approaches fail to capture the nature of swarm intelligence and they are either too abstract for practical application or not generic enough to describe the various types of emergence phenomena. In this paper, a contradiction-centric model for swarm intelligence is proposed, in which individuals determine their behaviors based on their internal contradictions whilst they associate and interact to update their contradictions. The model hypothesizes that 1) the emergence of swarm intelligence is rooted in the development of individuals' internal contradictions and the interactions taking place between individuals and the environment, and 2) swarm intelligence is essentially a combinative reflection of the configurations of individuals' internal contradictions and the distributions of these contradictions across individuals. The model is formally described and five swarm intelligence systems are studied to illustrate its broad applicability. The studies confirm the generic character of the model and its effectiveness for describing the emergence of various kinds of swarm intelligence; and they also demonstrate that the model is straightforward to apply, without the need for complicated computations.


title: How to design a multi-stage tournament when some results are carried over?

abstract: The paper discusses the strategy-proofness of sports tournaments with multiple group stages, where the results of matches already played in the previous round against teams in the same group are carried over. These tournaments, widely used in handball and other sports, are shown to be incentive incompatible in the sense that a team can be strictly better off by not exerting full effort in a game. Historical examples are presented when a team was ex ante disinterested in winning by a high margin. We propose a family of incentive compatible designs. Their main characteristics are compared to the original format via simulations. Carrying over half of the points scored in the previous round turns out to be a promising policy.


title: Fermiology and Superconductivity of Topological Surface States in PdTe$_2$

abstract: We study the low-energy surface electronic structure of the transition-metal dichalcogenide superconductor PdTe$_2$ by spin- and angle-resolved photoemission, scanning tunneling microscopy, and density-functional theory-based supercell calculations. Comparing PdTe$_2$ with its sister compound PtSe$_2$, we demonstrate how enhanced inter-layer hopping in the Te-based material drives a band inversion within the anti-bonding p-orbital manifold well above the Fermi level. We show how this mediates spin-polarised topological surface states which form rich multi-valley Fermi surfaces with complex spin textures. Scanning tunneling spectroscopy reveals type-II superconductivity at the surface, and moreover shows no evidence for an unconventional component of its superconducting order parameter, despite the presence of topological surface states.


title: Backpropagation generalized for output derivatives

abstract: Backpropagation algorithm is the cornerstone for neural network analysis. Paper extends it for training any derivatives of neural network's output with respect to its input. By the dint of it feedforward networks can be used to solve or verify solutions of partial or simple, linear or nonlinear differential equations. This method vastly differs from traditional ones like finite differences on a mesh. It contains no approximations, but rather an exact form of differential operators. Algorithm is built to train a feed forward network with any number of hidden layers and any kind of sufficiently smooth activation functions. It's presented in a form of matrix-vector products so highly parallel implementation is readily possible. First part derives the method for 2D case with first and second order derivatives, second part extends it to N-dimensional case with any derivatives. All necessary expressions for using this method to solve most applied PDE can be found in Appendix D.


title: Mathematical Modeling and Analysis of ZigBee Node Battery Characteristics and Operation

abstract: ZigBee network technology has been used widely in different commercial, medical and industrial applications, and the importance of keeping the network operating at a longer time was the main objective of ZigBee manufacturers. In this paper, ZigBee battery characteristics and operation has been researched extensively and a mathematical modeling has been applied on existed practical data provided by Freescale semiconductors Inc [1], and Farnell [2]. As a result a mathematical optimized formula has been established which describes battery characteristic and voltage behavior as a function of time, and since ZigBee node batteries has been the core objective of this research work, a decline in battery voltage below 50% of battery capacity could influence and degrade ZigBee network performance.


title: Inverse Eigenvalue Problem of Cell Matrices

abstract: In this paper, we consider the problem of reconstructing an $n \times n$ cell matrix $D(\vec{x})$ constructed from a vector $\vec{x} = (x_{1}, x_{2},\dots, x_{n})$ of positive real numbers, from a given set of spectral data. In addition, we show that the spectrum of cell matrices $D(\vec{x})$ and $D(\pi(\vec{x}))$ are the same, for every permutation $\pi \in S_{n}$.


title: Band Structures of Symmetrical Graphene Superlattice with Cells of three Regions

abstract: We study the electronic band structures of massless Dirac fermions in symmetrical graphene superlattice with cells of three regions. Using the transfer matrix method, we explicitly determine the dispersion relation in terms of different physical parameters. We numerically analyze such relation and show that there exist three zones: bound, unbound and forbidden states. In the central zone of the band structures, we determine and enumerate the vertical Dirac points, opening gaps and additional Dirac points. Finally, we inspect the potential effect on minibands, the anisotropy of group velocity and the energy bands contours near Dirac points. We also discuss the evolution of gap edges and cutoff region near the vertical Dirac points.


title: A Practical Approach for Detecting Logical Error in Object Oriented Environment

abstract: A programming language is a formally constructed language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs to control the behavior of a machine or to express algorithms. Most programs that are written by programmers are often compiled correctly with no syntax or semantic errors. However, some other errors appear after the execution of the program (logical error). Logical Errors (LE) are errors that remain after all syntax errors have been removed. Usually, the compiler does not detect LE, so the produced results are different from what the programmer is expecting. For this reason, discovering and fixing the logical error is very hard and proposes a good topic for research and practice. Some LE are resulted from the misuse of classes' objects, and in Software Development Life Cycle (SDLC), it is considered that the software with LE is low-quality software with high maintenance cost. In this paper, an object-oriented environment that allows the programmer to detect and discover LE to avoid it. This environment will be called Object Behavior Environment (OBEnvironment) will enforce the correct use of objects according to their predefined behaviors by using tools like Xceed Component (that appeal .Net windows form developers for building better applications), Alsing Component (that provides an area to programmer that allows writing correct syntax code by C# language) and, Mind Fusion Component (that provides an area to programmer that allows drawing State Diagrams to show object state).


title: A Low Cost ZigBee Sensor Network Architecture for Indoor Air Quality Monitoring

abstract: This paper presents a low-cost system architecture that has been proposed for automatically monitoring air quality indoors and continuously in real-time. The designed system is in pilot phase where 4 sensor nodes are deployed in indoor environment, and data over 4 weeks has been collected and performance analysis and assessment are performed. Environmental data from sensor nodes are sent through ZigBee communication protocol. The proposed system is low in cost, and achieves low power consumption. Hardware and network architecture are presented in addition to real-world deployment.


title: Modal operators and toric ideals

abstract: In the present paper we consider modal propositional logic and look for the constraints that are imposed to the propositions of the special type $\Box a$ by the structure of the relevant finite Kripke frame. We translate the usual language of modal propositional logic in terms of notions of commutative algebra, namely polynomial rings, ideals, and bases of ideals. We use extensively the perspective obtained in previous works in Algebraic Statistics. We prove that the constraints on $\Box a$ can be derived through a binomial ideal containing a toric ideal and we give sufficient conditions under which the toric ideal fully describes the constraints.


title: Planar Ising model at criticality: state-of-the-art and perspectives

abstract: In this essay, we briefly discuss recent developments, started a decade ago in the seminal work of Smirnov and continued by a number of authors, centered around the conformal invariance of the critical planar Ising model on $\mathbb{Z}^2$ and, more generally, of the critical Z-invariant Ising model on isoradial graphs (rhombic lattices). We also introduce a new class of embeddings of general weighted planar graphs (s-embeddings), which might, in particular, pave the way to true universality results for the planar Ising model.


title: Interpretation of runaway electron synchrotron and bremsstrahlung images

abstract: The crescent spot shape observed in DIII-D runaway electron synchrotron radiation images is shown to result from the high degree of anisotropy in the emitted radiation, the finite spectral range of the camera and the distribution of runaways. The finite spectral camera range is found to be particularly important, as the radiation from the high-field side can be stronger by a factor $10^6$ than the radiation from the low-field side in DIII-D. By combining a kinetic model of the runaway dynamics with a synthetic synchrotron diagnostic we see that physical processes not described by the kinetic model (such as radial transport) are likely to be limiting the energy of the runaways. We show that a population of runaways with lower dominant energies and larger pitch-angles than those predicted by the kinetic model provide a better match to the synchrotron measurements. Using a new synthetic bremsstrahlung diagnostic we also simulate the view of the Gamma Ray Imager (GRI) diagnostic used at DIII-D to resolve the spatial distribution of runaway-generated bremsstrahlung.


title: Why lot: How sortition came to help representative democracy

abstract: In this paper we discuss the problems of modern representative democracy and we look at the selection of legislators by lot as a way to tame some of the drawbacks of that system. It is recalled at the beginning that resorting to sortition for the selection of public officers used to be a popular way of taming factionalism in public affairs. Factionalism is assumed to be detrimental to public affairs as public officers may favour their own faction (a tribe or a party) instead of pursuing the general interest. Moreover they tend to overinvest in strengthening their power, thus engaging in power struggles with opposing factions, unlikely to benefit society. In this respect we present a new mathematical model aiming at describing a more efficient parliament where sortition is brought to bear. It will be shown that starting from a parliament working with two parties (or coalitions), where the costs of representative democracy are quite apparent through the detrimental effects of party discipline, one can beneficially move towards a parliament where independent legislators, randomly selected from the population of constituents, sit alongside elected members who belong to a party and are subjected to party discipline. The paper shows that increasing the number of independent legislators up to a point enhances the efficiency of the parliament and puts into check the factionalism likely to arise from party discipline.


title: Concept Formation and Dynamics of Repeated Inference in Deep Generative Models

abstract: Deep generative models are reported to be useful in broad applications including image generation. Repeated inference between data space and latent space in these models can denoise cluttered images and improve the quality of inferred results. However, previous studies only qualitatively evaluated image outputs in data space, and the mechanism behind the inference has not been investigated. The purpose of the current study is to numerically analyze changes in activity patterns of neurons in the latent space of a deep generative model called a "variational auto-encoder" (VAE). What kinds of inference dynamics the VAE demonstrates when noise is added to the input data are identified. The VAE embeds a dataset with clear cluster structures in the latent space and the center of each cluster of multiple correlated data points (memories) is referred as the concept. Our study demonstrated that transient dynamics of inference first approaches a concept, and then moves close to a memory. Moreover, the VAE revealed that the inference dynamics approaches a more abstract concept to the extent that the uncertainty of input data increases due to noise. It was demonstrated that by increasing the number of the latent variables, the trend of the inference dynamics to approach a concept can be enhanced, and the generalization ability of the VAE can be improved.


title: Empirical Evaluation of Kernel PCA Approximation Methods in Classification Tasks

abstract: Kernel Principal Component Analysis (KPCA) is a popular dimensionality reduction technique with a wide range of applications. However, it suffers from the problem of poor scalability. Various approximation methods have been proposed in the past to overcome this problem. The Nystr\"om method, Randomized Nonlinear Component Analysis (RNCA) and Streaming Kernel Principal Component Analysis (SKPCA) were proposed to deal with the scalability issue of KPCA. Despite having theoretical guarantees, their performance in real world learning tasks have not been explored previously. In this work the evaluation of SKPCA, RNCA and Nystr\"om method for the task of classification is done for several real world datasets. The results obtained indicate that SKPCA based features gave much better classification accuracy when compared to the other methods for a very large dataset.


title: Ultrahigh permittivity in core-shell ferroelectric ceramics: Theoretical approach and practical conclusions

abstract: Ferroelectric anomalies in most classical ferroelectric materials such as BaTiO3 (BT) and related compounds tend to become diffuse and eventually vanish when the grain size decreases. This has led to question the very existence of ferroelectricity for very small particles. However there are also reports in the literature of ultra-high values of permittivity when specific processes or doping are performed, for instance in the BT-family, or in the CaCu3Ti4O12- family and interpretations using (IBLC) have been proposed. We have considered these effects in the framework of a core-shell model of ceramics. The ultrahigh values mentioned above could be reproduced by considering that the core (be it dielectric or ferroelectric) have non-zero conductivity. In particular a huge background of permittivity and a Maxwell Wagner relaxation were obtained in agreement with the experimental situation. Different types of inhomogeneity (grain size distribution, mixing of conductive and non-conductive phases, porosity) have also been considered and their effects are discussed. Finally we have evaluated the potentiality of energy storage in IBLC compounds and observed a reduction (compared with non-conductive ferroelectrics) by a factor 2-4 depending on the structuration of the ceramic, which shows that the performance of such compounds are lower than in optimal insulating core-shell structures.


title: Nucleon and nuclear structure through dilepton production

abstract: Transverse momentum distributions and generalized parton distributions provide a comprehensive framework for the three-dimensional imaging of the nucleon and the nucleus experimentally using deeply virtual semi-exclusive and exclusive processes. The advent of combined high luminosity facilities and large acceptance detector capabilities enables experimental investigation of the partonic structure of hadrons with time-like virtual probes, in complement to the rich on-going space-like virtual probe program. The merits and benefits of the dilepton production channel for nuclear structure studies are discussed within the context of the International Workshop on Nucleon and Nuclear Structure through Dilepton Production taking place at the European Center for Theoretical Studies in Nuclear Physics and Related Areas (ECT$^{\star}$) of Trento. Particularly, the double deeply virtual Compton scattering, the time-like Compton scattering, the deeply virtual meson production, and the Drell-Yan processes are reviewed and a strategy for high impact experimental measurements is proposed.


title: Surface energy of the one-dimensional supersymmetric $t-J$ model with unparallel boundary fields

abstract: We investigate the thermodynamic limit of the exact solution, which is given by an inhomogeneous $T-Q$ relation, of the one-dimensional supersymmetric $t-J$ model with unparallel boundary magnetic fields. It is shown that the contribution of the inhomogeneous term at the ground state satisfies the $L^{-1}$ scaling law, where $L$ is the system-size. This fact enables us to calculate the surface (or boundary) energy of the system. The method used in this paper can be generalized to study the thermodynamic limit and surface energy of other models related to rational R-matrices.


title: Approximating multivariate posterior distribution functions from Monte Carlo samples for sequential Bayesian inference

abstract: An important feature of Bayesian statistics is the opportunity to do sequential inference: the posterior distribution obtained after seeing a dataset can be used as prior for a second inference. However, when Monte Carlo sampling methods are used for inference, we only have a set of samples from the posterior distribution. To do sequential inference, we then either have to evaluate the second posterior at only these locations and reweight the samples accordingly, or we can estimate a functional description of the posterior probability distribution from the samples and use that as prior for the second inference. Here, we investigated to what extent we can obtain an accurate joint posterior from two datasets if the inference is done sequentially rather than jointly, under the condition that each inference step is done using Monte Carlo sampling. To test this, we evaluated the accuracy of kernel density estimates, Gaussian mixtures, vine copulas and Gaussian processes in approximating posterior distributions, and then tested whether these approximations can be used in sequential inference. In low dimensionality, Gaussian processes are more accurate, whereas in higher dimensionality Gaussian mixtures or vine copulas perform better. In our test cases, posterior approximations are preferable over direct sample reweighting, although joint inference is still preferable over sequential inference. Since the performance is case-specific, we provide an R package mvdens with a unified interface for the density approximation methods.


title: On the Energy-Efficient Deployment for Ultra-Dense Heterogeneous Networks with NLoS and LoS Transmissions

abstract: We investigate network performance of ultra-dense heterogeneous networks (HetNets) and study the maximum energy-efficient base station (BS) deployment incorporating probabilistic non-line-of-sight (NLoS) and line-of-sight (LoS) transmissions. First, we develop an analytical framework with the maximum instantaneous received power (MIRP) and the maximum average received power (MARP) association schemes to model the coverage probability and related performance metrics, e.g., the potential throughput (PT) and the energy efficiency (EE). Second, we formulate two optimization problems to achieve the maximum energy-efficient deployment solution with specific service criteria. Simulation results show that there are tradeoffs among the coverage probability, the total power consumption, and the EE. To be specific, the maximum coverage probability with ideal power consumption is superior to that with practical power consumption when the total power constraint is small and inferior to that with practical power consumption when the total power constraint becomes large. Moreover, the maximum EE is a decreasing function with respect to the coverage probability constraint.


title: Interactive graph query language for multidimensional data in Collaboration Spotting visual analytics framework

abstract: Human reasoning in visual analytics of data networks relies mainly on the quality of visual perception and the capability of interactively exploring the data from different facets. Visual quality strongly depends on networks' size and dimensional complexity while network exploration capability on the intuitiveness and expressiveness of user frontends. The approach taken in this paper aims at addressing the above by decomposing data networks into multiple networks of smaller dimensions and building an interactive graph query language that supports full navigation across the sub-networks. Within sub-networks of reduced dimensionality, structural abstraction and semantic techniques can then be used to enhance visual perception further.


title: Magnetospheric Gamma-Ray Emission in Active Galactic Nuclei

abstract: The rapidly variable, very high-energy (VHE) gamma-ray emission from Active Galactic Nuclei (AGN) has been frequently associated with non-thermal processes occurring in the magnetospheres of their supermassive black holes. The present work aims to explore the adequacy of different gap-type (unscreened electric field) models to account for the observed characteristics. Based on a phenomenological description of the gap potential, we estimate the maximum extractable gap power $L_{gap}$ for different magnetospheric set-ups, and study its dependence on the accretion state of the source. $L_{gap}$ is found to be in general proportional to the Blandford-Znajek jet power $L_{BZ}$ and a sensitive function of gap size $h$, i.e. $L_{gap} \sim L_{BZ} (h/r_g)^{\beta}$, where the power index $\beta \geq 1$ is dependent on the respective gap-setup. The transparency of the black hole vicinity to VHE photons generally requires a radiatively inefficient accretion environment and thereby imposes constraints on possible accretion rates, and correspondingly on $L_{BZ}$. Similarly, rapid variability, if observed, may allow to constrain the gap size $h\sim c \Delta t$. Combining these constraints, we provide a general classification to assess the likelihood that the VHE gamma-ray emission observed from an AGN can be attributed to a magnetospheric origin. When applied to prominent candidate sources these considerations suggest that the variable (day-scale) VHE activity seen in the radio galaxy M87 could be compatible with a magnetospheric origin, while such an origin appears less likely for the (minute-scale) VHE activity in IC310.


title: Enhancing the H2O Megamaser Detection Rate Using Optical and Mid-infrared Photometry

abstract: Water megamasers from circumnuclear disks in galaxy centers provide the most accurate measurements of supermassive black hole masses and uniquely probe the sub-parsec accretion processes. At the same time, these systems offer independent crucial constraints of the Hubble Constant in the nearby universe, and thus, the arguably best single constraint on the nature of dark energy. The chances of finding these golden standards are however abysmally low, at an overall =< 3% for any level of water maser emission detected at 22 GHz, and =< 1% for those exhibiting the disk-like configuration. We provide here a thorough summary of the current state of the detection of water megamaser disks, along with a novel investigation of the likelihood of increasing their detection rates based on a multivariate parameter analysis of optical and mid-infrared photometric properties of the largest database of galaxies surveyed for the 22 GHz emission. We find that galaxies with water megamaser emission tend to associate with strong emission in all WISE mid-infrared wavelengths, with the strongest enhancement in the W4 band, at 22 micron, as well as with previously proposed and newly found indicators of AGN strength in the mid-infrared, such as red W1-W2 and W1-W4 colors, and the integrated mid-infrared luminosity of the host galaxy. These trends offer a potential boost of the megamaser detection rates to 6 - 15%, or a factor of 2-8 relative to the current rates, depending on the chosen sample selection criteria, while fostering real chances for discovering >= 20 new megamaser disks.


title: Parity at the Planck scale

abstract: We explore the possibility that well known properties of the parity operator, such as its idempotency and unitarity, might break down at the Planck scale. Parity might then do more than just swap right and left polarized states and reverse the sign of spatial momentum ${\bf k}$: it might generate superpositions of right and left handed states, as well as mix momenta of different magnitudes. We lay down the general formalism, but also consider the concrete case of the Planck scale kinematics governed by $\kappa$-Poincar\'e symmetries, where some of the general features highlighted appear explicitly. We explore some of the observational implications for cosmological fluctuations. Different power spectra for right handed and left handed tensor modes might actually be a manifestation of deformed parity symmetry at the Planck scale. Moreover, scale-invariance and parity symmetry appear deeply interconnected.


title: $\textit{Zitterbewegung}$ near new Dirac points in graphene superlattice

abstract: New Dirac points appear when periodic potentials are applied to graphene, and there are many interesting effects near these new Dirac points. Here we investigate the $\textit{Zitterbewegung}$ effect of fermions described by a Gaussian wave packet in graphene superlattice near new Dirac points. The $\textit{Zitterbewegung}$ near different Dirac points has similar characteristics, while Fermions near new Dirac points have different group velocities in both $x$- and $y$-direction, which causes the different properties of the $\textit{Zitterbewegung}$ near new Dirac points. We also investigate the $\textit{Zitterbewegung}$ effect influenced by all Dirac points, and get the evolution with changing potential. Our intensive results suggest that graphene superlattice may provide an appropriate system to study $\textit{Zitterbewegung}$ effect near new Dirac points experimentally.


title: A proof of Saitoh's conjecture for conjugate Hardy $H^{2}$ kernels

abstract: In this article, we obtain a strict inequality between the conjugate Hardy $H^{2}$ kernels and the Bergman kernels on planar regular regions with $n>1$ boundary components, which is a conjecture of Saitoh.


title: Operator ideals and three-space properties of asymptotic ideal seminorms

abstract: We introduce asymptotic analogues of the Rademacher and martingale type and cotype of Banach spaces and operators acting on them. Some classical local theory results related, for example, to the `automatic-type' phenomenon, the type-cotype duality, or the Maurey-Pisier theorem, are extended to the asymptotic setting. We also investigate operator ideals corresponding to the asymptotic subtype/subcotype. As an application of this theory, we provide a sharp version of a result of Brooker and Lancien by showing that any twisted sum of Banach spaces with Szlenk power types $p$ and $q$ has Szlenk power type $\max\{p,q\}$.


title: Magnetic Activity in the Galactic Centre Region -- Fast Downflows along Rising Magnetic Loops

abstract: We studied roles of the magnetic field on the gas dynamics in the Galactic bulge by a three-dimensional global magnetohydrodynamical simulation data, particularly focusing on vertical flows that are ubiquitously excited by magnetic activity. In local regions where the magnetic filed is stronger, it is frequently seen that fast down-flows slide along inclined magnetic field lines that are associated with buoyantly rising magnetic loops. The vertical velocity of these down-flows reaches ~ 100 km s$^{-1}$ near the foot-point of the loops by the gravitational acceleration toward the Galactic plane. The two footpoints of rising magnetic loops are generally located at different radial locations and the field lines are deformed by the differential rotation. The angular momentum is transported along the field lines, and the radial force balance breaks down. As a result, a fast downflow is often observed only at the one footpoint located at the inner radial position. The fast downflow compresses the gas to form a dense region near the footpoint, which will be important in star formation afterward. Furthermore, the horizontal components of the velocity are also fast near the foot-point because the down-flow is accelerated along the magnetic sliding slope. As a result, the high-velocity flow creates various characteristic features in a simulated position-velocity diagram, depending on the viewing angle.


title: The Deterministic and Stochastic Shallow Lake Problem

abstract: We study the welfare function of the deterministic and stochastic shallow lake problem. We show that the welfare function is the viscosity solution of the associated Bellman equation, we establish several properties including its asymptotic behaviour at infinity and we present a convergent monotone numerical scheme.


title: Identifiability beyond Kruskal's bound for symmetric tensors of degree 4

abstract: We show how methods of algebraic geometry can produce criteria for the identifiability of specific tensors that reach beyond the range of applicability of the celebrated Kruskal criterion. More specifically, we deal with the symmetric identifiability of symmetric tensors in Sym$^4(\mathbb{C}^{n+1})$, i.e., quartic hypersurfaces in a projective space $\mathbb{P}^n$, that have a decomposition in 2n+1 summands of rank 1. This is the first case where the reshaped Kruskal criterion no longer applies. We present an effective algorithm, based on efficient linear algebra computations, that checks if the given decomposition is minimal and unique. The criterion is based on the application of advanced geometric tools, like Castelnuovo's lemma for the existence of rational normal curves passing through a finite set of points, and the Cayley-Bacharach condition on the postulation of finite sets. In order to apply these tools to our situation, we prove a reformulation of these results, hereby extending classical results such as Castelnuovo's lemma and the analysis of Geramita, Kreuzer, and Robbiano, "Cayley-Bacharach schemes and their canonical modules", Trans. Amer. Math. Soc. 339:443-452, 1993.


title: Concentration of $1$-Lipschitz functions on manifolds with boundary with Dirichlet boundary condition

abstract: In this paper, we consider a concentration of measure problem on Riemannian manifolds with boundary. We study concentration phenomena of non-negative $1$-Lipschitz functions with Dirichlet boundary condition around zero, which is called boundary concentration phenomena. We first examine relation between boundary concentration phenomena and large spectral gap phenomena of Dirichlet eigenvalues of Laplacian. We will obtain analogue of the Gromov-V. D. Milman theorem and the Funano-Shioya theorem for closed manifolds. Furthermore, to capture boundary concentration phenomena, we introduce a new invariant called the observable inscribed radius. We will formulate comparison theorems for such invariant under a lower Ricci curvature bound, and a lower mean curvature bound for the boundary. Based on such comparison theorems, we investigate various boundary concentration phenomena of sequences of manifolds with boundary.


title: Dynamical Negative Differential Resistance in Antiferromagnetically Coupled Few-Atom Spin-Chains

abstract: We present the appearance of negative differential resistance (NDR) in spin-dependent electron transport through a few-atom spin-chain. A chain of three antiferromagnetically coupled Fe atoms(Fe trimer) was positioned on a Cu2N/Cu(100) surface and contacted with the spin-polarized tip of a scanning tunneling microscope, thus coupling the Fe trimer to one non-magnetic and one magnetic lead. Pronounced NDR appears at the low bias of 7 mV where inelastic electron tunneling dynamically locks the atomic spin in a long-lived excited state. This causes a rapid increase of the magnetoresistance between spin-polarized tip and Fe trimer and quenches elastic tunneling. By varying the coupling strength between tip and Fe trimer we find that in this transport regime the dynamic locking of the Fe trimer competes with magnetic exchange interaction, which statically forces the Fe trimer into the high-magnetoresistance state and removes the NDR.


title: Explicit Small Heights in Infinite Non-Abelian Extensions

abstract: Let $E$ be an elliptic curve over the rationals. We will consider the infinite extension $\mathbb{Q}(E_{\text{tor}})$ of the rationals where we adjoin all coordinates of torsion points of $E$. In this paper we will prove an explicit lower bound for the height of non-zero elements in $\mathbb{Q}(E_{\text{tor}})$ that are not a root of unity, only depending on the conductor of the elliptic curve. As a side result we will give an explicit bound for a small supersingular prime for an elliptic curve.


title: The physics of protoplanetesimal dust agglomerates. X. High-velocity collisions between small and large dust agglomerates as growth barrier

abstract: In a protoplanetary disk, dust aggregates in the $\mu$m to mm size range possess mean collision velocities of 10 to 60 ms$^{-1}$ with respect to dm- to m-size bodies. We performed laboratory collision experiments to explore this parameter regime and found a size- and velocity-dependent threshold between erosion and growth. By using a local Monte Carlo coagulation calculation and complementary a simple semi-analytical timescale approach, we show that erosion considerably limits particle growth in protoplanetary disks and leads to a steady-state dust-size distribution from $\mu$m to dm sized particles.


title: Directing Cinematographic Drones

abstract: Quadrotor drones equipped with high quality cameras have rapidely raised as novel, cheap and stable devices for filmmakers. While professional drone pilots can create aesthetically pleasing videos in short time, the smooth -- and cinematographic -- control of a camera drone remains challenging for most users, despite recent tools that either automate part of the process or enable the manual design of waypoints to create drone trajectories. This paper proposes to move a step further towards more accessible cinematographic drones by designing techniques to automatically or interactively plan quadrotor drone motions in 3D dynamic environments that satisfy both cinematographic and physical quadrotor constraints. We first propose the design of a Drone Toric Space as a dedicated camera parameter space with embedded constraints and derive some intuitive on-screen viewpoint manipulators. Second, we propose a specific path planning technique which ensures both that cinematographic properties can be enforced along the path, and that the path is physically feasible by a quadrotor drone. At last, we build on the Drone Toric Space and the specific path planning technique to coordinate the motion of multiple drones around dynamic targets. A number of results then demonstrate the interactive and automated capacities of our approaches on a number of use-cases.


title: Dynamic Discrete Tomography

abstract: We consider the problem of reconstructing the paths of a set of points over time, where, at each of a finite set of moments in time the current positions of points in space are only accessible through some small number of their X-rays. This particular particle tracking problem, with applications, e.g., in plasma physics, is the basic problem in dynamic discrete tomography. We introduce and analyze various different algorithmic models. In particular, we determine the computational complexity of the problem (and various of its relatives) and derive algorithms that can be used in practice. As a byproduct we provide new results on constrained variants of min-cost flow and matching problems.


title: Metal - TiO2 contacts: An electrical characterization study

abstract: The electrical properties of thin TiO2 films have recently been extensively exploited towards enabling a variety for metal-oxide electron devices: unipolar/bipolar semiconductor devices and/or memristors. In such efforts, investigations on the role of TiO2 as active material have been the main focus, however, electrode materials are equally important. In this work, we address this need by presenting a systematic quantitative electrical characterisation study on the interface characteristics of Metal-TiO2-Metal structures. Our study employs typical contact materials that are used both as top and bottom electrodes in a Metal-TiO2-Metal setting. This allows investigating the effect of Metal-TiO2 contacts as well as holistically studying an electrode's influence to the opposite interface, referred to as top/bottom electrodes coupling. Our methodology comprises the recording of current-voltage (I-V) characteristics from a variety of solid-state prototypes in the temperature range of 300-350 K and by analysing them through appropriate modelling. Clear field and temperature dependent signature plots were also obtained towards shinning more light on the role of each material as top/bottom electrodes in Metal-TiO2-Metal structures. Our results provide a useful database for selecting appropriate electrode materials in Metal-TiO2 devices, offering new insights in metal-oxide electronics applications.


title: Exploiting simultaneous multi-frequency observations to probe polar-cap processes

abstract: Sub-pulse drifting has been regarded as one of the most insightful aspects of the pulsar radio emission. The phenomenon is generally explained with a system of emission sub-beams rotating around the magnetic axis, originating from a carousel of sparks near the pulsar surface (the carousel model). Since the observed radio emission at different frequencies is generated at different altitudes in the pulsar magnetosphere, corresponding sampling of the carousel on the polar cap differs slightly in magnetic latitude. When this aspect is considered, it is shown here that the carousel model predicts important observable effects in multi-frequency or wide-band observations. Also presented here are brief mentions of how this aspect can be exploited to probe the electrodynamics in the polar cap by estimating various physical quantities, and correctly interpret various carousel related phenomena, in addition to test the carousel model itself.