title: Effects of Repetitive SSVEPs on EEG Complexity using Multiscale Inherent Fuzzy Entropy

abstract: Multiscale inherent fuzzy entropy is an objective measurement of electroencephalography (EEG) complexity, reflecting the habituation of brain systems. Entropy dynamics are generally believed to reflect the ability of the brain to adapt to a visual stimulus environment. In this study, we explored repetitive steady-state visual evoked potential (SSVEP)-based EEG complexity by assessing multiscale inherent fuzzy entropy with relative measurements. We used a wearable EEG device with Oz and Fpz electrodes to collect EEG signals from 40 participants under the following three conditions: a resting state (closed-eyes (CE) and open- eyes (OE) stimulation with five 15-Hz CE SSVEPs and stimulation with five 20-Hz OE SSVEPs. We noted monotonic enhancement of occipital EEG relative complexity with increasing stimulus times in CE and OE conditions. The occipital EEG relative complexity was significantly higher for the fifth SSVEP than for the first SSEVP (FDR-adjusted p < 0.05). Similarly, the prefrontal EEG relative complexity tended to be significantly higher in the OE condition compared to that in the CE condition (FDR-adjusted p < 0.05). The results also indicate that multiscale inherent fuzzy entropy is superior to other competing multiscale-based entropy methods. In conclusion, EEG relative complexity increases with stimulus times, a finding that reflects the strong habituation of brain systems. These results suggest that multiscale inherent fuzzy entropy is an EEG pattern with which brain complexity can be assessed using repetitive SSVEP stimuli.


title: The phylogenetic effective sample size and jumps

abstract: The phylogenetic effective sample size is a parameter that has as its goal the quantification of the amount of independent signal in a phylogenetically correlated sample. It was studied for Brownian motion and Ornstein-Uhlenbeck models of trait evolution. Here, we study this composite parameter when the trait is allowed to jump at speciation points of the phylogeny. Our numerical study indicates that there is a non-trivial limit as the effect of jumps grows. The limit depends on the value of the drift parameter of the Ornstein-Uhlenbeck process.


title: Extraction of SSVEPs-based Inherent Fuzzy Entropy Using a Wearable Headband EEG in Migraine Patients

abstract: Inherent fuzzy entropy is an objective measurement of electroencephalography (EEG) complexity, reflecting the robustness of brain systems. In this study, we present a novel application of multi-scale relative inherent fuzzy entropy using repetitive steady-state visual evoked potentials (SSVEPs) to investigate EEG complexity change between two migraine phases, i.e. inter-ictal (baseline) and pre-ictal (before migraine attacks) phases. We used a wearable headband EEG device with O1, Oz, O2 and Fpz electrodes to collect EEG signals from 80 participants (40 migraine patients and 40 healthy controls [HCs]) under the following two conditions: during resting state and SSVEPs with five 15-Hz photic stimuli. We found a significant enhancement in occipital EEG entropy with increasing stimulus times in both HCs and patients in the inter-ictal phase but a reverse trend in patients in the pre-ictal phase. In the 1st SSVEP , occipital EEG entropy of the HCs was significantly higher than that of patents in the pre-ictal phase (FDR-adjusted p < 0.05). Regarding the transitional variance of EEG entropy between the 1st and 5th SSVEPs, patients in the pre-ictal phase exhibited significantly lower values than patients in the inter-ictal phase (FDR-adjusted p < 0.05). Furthermore, in the classification model, the AdaBoost ensemble learning showed an accuracy of 81% and AUC of 0.87 for classifying inter-ictal and pre-ictal phases. In contrast, there were no differences in EEG entropy among groups or sessions by using other competing entropy models, including approximate entropy, sample entropy and fuzzy entropy on the same dataset. In conclusion, inherent fuzzy entropy offers novel applications in visual stimulus environments and may have the potential to provide a pre-ictal alert to migraine patients.


title: Benchmarking five global optimization approaches for nano-optical shape optimization and parameter reconstruction

abstract: Numerical optimization is an important tool in the field of computational physics in general and in nano-optics in specific. It has attracted attention with the increase in complexity of structures that can be realized with nowadays nano-fabrication technologies for which a rational design is no longer feasible. Also, numerical resources are available to enable the computational photonic material design and to identify structures that meet predefined optical properties for specific applications. However, the optimization objective function is in general non-convex and its computation remains resource demanding such that the right choice for the optimization method is crucial to obtain excellent results. Here, we benchmark five global optimization methods for three typical nano-optical optimization problems: \removed{downhill simplex optimization, the limited-memory Broyden-Fletcher-Goldfarb-Shanno (L-BFGS) algorithm, particle swarm optimization, differential evolution, and Bayesian optimization} \added{particle swarm optimization, differential evolution, and Bayesian optimization as well as multi-start versions of downhill simplex optimization and the limited-memory Broyden-Fletcher-Goldfarb-Shanno (L-BFGS) algorithm}. In the shown examples from the field of shape optimization and parameter reconstruction, Bayesian optimization, mainly known from machine learning applications, obtains significantly better results in a fraction of the run times of the other optimization methods.


title: Dynamically Weighted Ensemble-based Prediction System for Adaptively Modeling Driver Reaction Time

abstract: Predicting a driver's cognitive state, or more specifically, modeling a driver's reaction time (RT) in response to the appearance of a potential hazard warrants urgent research. In the last two decades, the electric field that is generated by the activities in the brain, monitored by an electroencephalogram (EEG), has been proven to be a robust physiological indicator of human behavior. However, mapping the human brain can be extremely challenging, especially owing to the variability in human beings over time, both within and among individuals. Factors such as fatigue, inattention and stress can induce homeostatic changes in the brain, which affect the observed relationship between brain dynamics and behavioral performance, and thus make the existing systems for predicting RT difficult to generalize. To solve this problem, an ensemble-based weighted prediction system is presented herein. This system comprises a set of prediction submodels that are individually trained using groups of data with similar EEG-RT relationships. To obtain a final prediction, the prediction outcomes of the sub-models are then multiplied by weights that are derived from the EEG alpha coherences of 10 channels plus theta band powers of 30 channels, whose changes were found to be indicators of variations in the EEG-RT relationship. The results thus obtained reveal that the proposed system with a time-varying adaptive weighting mechanism significantly outperforms the conventional system in modeling a driver's RT. The adaptive design of the proposed system demonstrates its feasibility in coping with the variability in the brain-behavior relationship. In this contribution surprisingly simple EEG-based adaptive methods are used in combination with an ensemble scheme to significantly increase system performance.


title: Reconfiguration of Brain Network between Resting-state and Oddball Paradigm

abstract: The oddball paradigm is widely applied to the investigation of multiple cognitive functions. Prior studies have explored the cortical oscillation and power spectral differing from the resting-state conduction to oddball paradigm, but whether brain networks existing the significant difference is still unclear. Our study addressed how the brain reconfigures its architecture from a resting-state condition (i.e., baseline) to P300 stimulus task in the visual oddball paradigm. In this study, electroencephalogram (EEG) datasets were collected from 24 postgraduate students, who were required to only mentally count the number of target stimulus; afterwards the functional EEG networks constructed in different frequency bands were compared between baseline and oddball task conditions to evaluate the reconfiguration of functional network in the brain. Compared to the baseline, our results showed the significantly (p < 0.05) enhanced delta/theta EEG connectivity and decreased alpha default mode network in the progress of brain reconfiguration to the P300 task. Furthermore, the reconfigured coupling strengths were demonstrated to relate to P300 amplitudes, which were then regarded as input features to train a classifier to differentiate the high and low P300 amplitudes groups with an accuracy of 77.78%. The findings of our study help us to understand the changes of functional brain connectivity from resting-state to oddball stimulus task, and the reconfigured network pattern has the potential for the selection of good subjects for P300-based brain- computer interface.


title: Global unique solvability of the initial-boundary value problem for the equations of one-dimensional polytropic flows of viscous compressible multifluids

abstract: We consider the equations which describe polytropic one-dimensional flows of viscous compressible multifluids. We prove global existence and uniqueness of a solution to the initial-boundary value problem which corresponds to the flow in a bounded space domain.


title: More on complexity of operators in quantum field theory

abstract: Recently it has been shown that the complexity of SU($n$) operator is determined by the geodesic length in a bi-invariant Finsler geometry, which is constrained by some symmetries of quantum field theory. It is based on three axioms and one assumption regarding the complexity in continuous systems. By relaxing one axiom and an assumption, we find that the complexity formula is naturally generalized to the Schatten $p$-norm type. We also clarify the relation between our complexity and other works. First, we show that our results in a bi-invariant geometry are consistent with the ones in a right-invariant geometry such as $k$-local geometry. Here, a careful analysis of the sectional curvature is crucial. Second, we show that our complexity can concretely realize the conjectured pattern of the time-evolution of the complexity: the linear growth up to saturation time. The saturation time can be estimated by the relation between the topology and curvature of SU($n$) groups.


title: Estimating Bayesian Optimal Treatment Regimes for Dichotomous Outcomes using Observational Data

abstract: Optimal treatment regimes (OTR) are individualised treatment assignment strategies that identify a medical treatment as optimal given all background information available on the individual. We discuss Bayes optimal treatment regimes estimated using a loss function defined on the bivariate distribution of dichotomous potential outcomes. The proposed approach allows considering more general objectives for the OTR than maximization of an expected outcome (e.g., survival probability) by taking into account, for example, unnecessary treatment burden. As a motivating example we consider the case of oropharynx cancer treatment where unnecessary burden due to chemotherapy is to be avoided while maximizing survival chances. Assuming ignorable treatment assignment we describe Bayesian inference about the OTR including a sensitivity analysis on the unobserved partial association of the potential outcomes. We evaluate the methodology by simulations that apply Bayesian parametric and more flexible non-parametric outcome models. The proposed OTR for oropharynx cancer reduces the frequency of the more burdensome chemotherapy assignment by approximately 75% without reducing the average survival probability. This regime thus offers a strong increase in expected quality of life of patients.


title: Phenomenon-based prediction of relative biological effectiveness of ion beams by means of the MultiScale Approach

abstract: Relative biological effectiveness (RBE) is a key quantity for the description of radiobiological effects induced by charged-particle irradiation in the context of ion-beam cancer therapy. Since RBE is a complex function that depends on different physical, chemical and biological parameters, a fundamental understanding of these effects becomes increasingly important for clinical applications. The phenomenon-based MultiScale Approach to the physics of radiation damage with ions (MSA) provides a tool for a molecular-level understanding of physical and chemical mechanisms of radiation biodamage and allows to quantify macroscopic biological effects caused by ion irradiation. This study reports the first application of the MSA for the analysis of RBE of ion beams. As a case study, we quantify the response of human normal tissue cell lines to carbon-ion irradiation at different values of linear energy transfer. RBE corresponding to different biological endpoints as well as other radiobiological parameters, such as clonogenic cell survival as a function of dose and inactivation cross section, are analyzed and compared with experimental data. Good agreement with an extensive data set emphasizes the predictive power of the MSA. The method is also used to make predictions of RBE at high values of LET where RBE decreases due to the "overkill" effect. In this regime, the dose needed to achieve a given biological effect is deposited by a few ions. The fact that a given number of ions may produce more damage than needed for a given effect leads to a significant (up to 20%) variation in RBE. This effect should be taken into consideration in the analysis of experimental data on irradiation with high-LET ions.


title: Conformal Anomaly for Non-Conformal Scalar Fields

abstract: We give a general definition of the conformal anomaly for theories that are not classically Weyl invariant and show that this definition yields a quantity that is both finite and local. As an example we study the conformal anomaly for a non-minimally coupled massless scalar and show that our definition coincides with results obtained using the heat kernel method.


title: Search for invisible Higgs boson decays in vector boson fusion at $\sqrt{s} = 13$ TeV with the ATLAS detector

abstract: We report a search for Higgs bosons that are produced via vector boson fusion and subsequently decay into invisible particles. The experimental signature is an energetic jet pair with invariant mass of $\mathcal{O}(1) $ TeV and $\mathcal{O}(100) $ GeV missing transverse momentum. The analysis uses 36.1 fb$^{-1}$ of $pp$ collision data at $\sqrt{s}=13$ TeV recorded by the ATLAS detector at the LHC. In the signal region the 2252 observed events are consistent with the background estimation. Assuming a 125 GeV particle with Standard Model cross sections, the upper limit on the branching fraction of the Higgs boson decay into invisible particles is 0.37 at 95% CL where 0.28 was expected. This limit is interpreted in Higgs portal models to set limits on the WIMP-nucleon scattering cross section. We also consider invisible decays of additional scalar bosons with masses up to 3 TeV for which the upper limits on the cross section times branching fraction are in the range of $0.3-1.7$ pb.


title: RumourEval 2019: Determining Rumour Veracity and Support for Rumours

abstract: This is the proposal for RumourEval-2019, which will run in early 2019 as part of that year's SemEval event. Since the first RumourEval shared task in 2017, interest in automated claim validation has greatly increased, as the dangers of "fake news" have become a mainstream concern. Yet automated support for rumour checking remains in its infancy. For this reason, it is important that a shared task in this area continues to provide a focus for effort, which is likely to increase. We therefore propose a continuation in which the veracity of further rumours is determined, and as previously, supportive of this goal, tweets discussing them are classified according to the stance they take regarding the rumour. Scope is extended compared with the first RumourEval, in that the dataset is substantially expanded to include Reddit as well as Twitter data, and additional languages are also included.


title: Average performance of Orthogonal Matching Pursuit (OMP) for sparse approximation

abstract: We present a theoretical analysis of the average performance of OMP for sparse approximation. For signals that are generated from a dictionary with $K$ atoms and coherence $\mu$ and coefficients corresponding to a geometric sequence with parameter $\alpha<1$, we show that OMP is successful with high probability as long as the sparsity level $S$ scales as $S\mu^2 \log K \lesssim 1-\alpha $. This improves by an order of magnitude over worst case results and shows that OMP and its famous competitor Basis Pursuit outperform each other depending on the setting.


title: Nonlinear Schr\"odinger equation with Coulomb potential

abstract: In this paper, we study the Cauchy problem for the nonlinear Schr\"odinger equations with Coulomb potential $i\partial_tu+\Delta u+\frac{K}{|x|}u=\lambda|u|^{p-1}u$ with $1<p\leq5$ on $\mathbb{R}^3$. We mainly consider the influence of the long range potential $K|x|^{-1}$ on the existence theory and scattering theory for nonlinear Schr\"odinger equation. In particular, we prove the global existence when the Coulomb potential is attractive, i.e. $K>0$ and scattering theory when the Coulomb potential is repulsive i.e. $K\leq0$. The argument is based on the interaction Morawetz-type inequalities and the equivalence of Sobolev norms.


title: Domain Adaptation for Real-Time Student Performance Prediction

abstract: Increasingly fast development and update cycle of online course contents, and diverse demographics of students in each online classroom, make student performance prediction in real-time (before the course finishes) and/or on curriculum without specific historical performance data available interesting topics for both industrial research and practical needs. In this research, we tackle the problem of real-time student performance prediction with on-going courses in a domain adaptation framework, which is a system trained on students' labeled outcome from one set of previous coursework but is meant to be deployed on another. In particular, we first introduce recently-developed GritNet architecture which is the current state of the art for student performance prediction problem, and develop a new \emph{unsupervised} domain adaptation method to transfer a GritNet trained on a past course to a new course without any (students' outcome) label. Our results for real Udacity students' graduation predictions show that the GritNet not only \emph{generalizes} well from one course to another across different Nanodegree programs, but enhances real-time predictions explicitly in the first few weeks when accurate predictions are most challenging.


title: Super-Resolution Perception for Industrial Sensor Data

abstract: In this paper, we present the problem formulation and methodology framework of Super-Resolution Perception (SRP) on industrial sensor data. Industrial intelligence relies on high-quality industrial sensor data for system control, diagnosis, fault detection, identification, and monitoring. However, the provision of high-quality data may be expensive in some cases. In this paper, we propose a novel machine learning problem -- the SRP problem as reconstructing high-quality data from unsatisfactory sensor data in industrial systems. Advanced generative models are then proposed to solve the SRP problem. This technology makes it possible to empower existing industrial facilities without upgrading existing sensors or deploying additional sensors. We first mathematically formulate the SRP problem under the Maximum a Posteriori (MAP) estimation framework. A case study is then presented, which performs SRP on smart meter data. A network, namely SRPNet, is proposed to generate high-frequency load data from low-frequency data. We further employ a novel recognition-based loss and relativistic adversarial loss to constraint the reconstruction of waveforms explicitly. Experiments demonstrate that our SRP model can reconstruct high-frequency data effectively. Moreover, the reconstructed high-frequency data can lead to better appliance monitoring results without changing the monitoring appliances.


title: Geology prediction based on operation data of TBM: comparison between deep neural network and statistical learning methods

abstract: Tunnel boring machine (TBM) is a complex engineering system widely used for tunnel construction. In view of the complicated construction environments, it is necessary to predict geology conditions prior to excavation. In recent years, massive operation data of TBM has been recorded, and mining these data can provide important references and useful information for designers and operators of TBM. In this work, a geology prediction approach is proposed based on deep neural network and operation data. It can provide relatively accurate geology prediction results ahead of the tunnel face compared with the other prediction models based on statistical learning methods. The application case study on a tunnel in China shows that the proposed approach can accurately estimate the geological conditions prior to excavation, especially for the short range ahead of training data. This work can be regarded as a good complement to the geophysical prospecting approach during the construction of tunnels, and also highlights the applicability and potential of deep neural networks for other data mining tasks of TBMs.


title: Comparison of Energy Stable Simulation of Moving Contact Line Problems using a Thermodynamically Consistent Cahn-Hilliard Navier-Stokes Model

abstract: Liquid droplets sliding along solid surfaces are a frequently observed phenomenon in nature, e.g., raindrops on a leaf, and in everyday situations, e.g., drops of water in a drinking glass. To model this situation, we use a phase field approach. The bulk model is given by the thermodynamically consistent Cahn-Hilliard Navier-Stokes model from [Abels et al., Math. Mod. Meth. Appl. Sc., 22(3), 2012]. To model the contact line dynamics we apply the generalized Navier boundary condition for the fluid and the dynamically advected boundary contact angle condition for the phase field as derived in [Qian et al., J. Fluid Mech., 564, 2006]. In recent years several schemes were proposed to solve this model numerically. While they widely differ in terms of complexity, they all fulfill certain basic properties when it comes to thermodynamic consistency. However, an accurate comparison of the influence of the schemes on the moving contact line is rarely found. Therefore, we thoughtfully compare the quality of the numerical results obtained with three different schemes and two different bulk energy potentials. Especially, we discuss the influence of the different schemes on the apparent contact angles of a sliding droplet.


title: Adding Cues to Binary Feature Descriptors for Visual Place Recognition

abstract: In this paper we propose an approach to embed continuous and selector cues in binary feature descriptors used for visual place recognition. The embedding is achieved by extending each feature descriptor with a binary string that encodes a cue and supports the Hamming distance metric. Augmenting the descriptors in such a way has the advantage of being transparent to the procedure used to compare them. We present two concrete applications of our methodology, demonstrating the two considered types of cues. In addition to that, we conducted on these applications a broad quantitative and comparative evaluation covering five benchmark datasets and several state-of-the-art image retrieval approaches in combination with various binary descriptor types.


title: SECS: Efficient Deep Stream Processing via Class Skew Dichotomy

abstract: Despite that accelerating convolutional neural network (CNN) receives an increasing research focus, the save on resource consumption always comes with a decrease in accuracy. To both increase accuracy and decrease resource consumption, we explore an environment information, called class skew, which is easily available and exists widely in daily life. Since the class skew may switch as time goes, we bring up probability layer to utilize class skew without any overhead during the runtime. Further, we observe class skew dichotomy that some class skew may appear frequently in the future, called hot class skew, and others will never appear again or appear seldom, called cold class skew. Inspired by techniques from source code optimization, two modes, i.e., interpretation and compilation, are proposed. The interpretation mode pursues efficient adaption during runtime for cold class skew and the compilation mode aggressively optimize on hot ones for more efficient deployment in the future. Aggressive optimization is processed by class-specific pruning and provides extra benefit. Finally, we design a systematic framework, SECS, to dynamically detect class skew, processing interpretation and compilation, as well as select the most accurate architectures under the runtime resource budget. Extensive evaluations show that SECS can realize end-to-end classification speedups by a factor of 3x to 11x relative to state-of-the-art convolutional neural networks, at a higher accuracy.


title: Almost positive links are strongly quasipositive

abstract: We prove that any link admitting a diagram with a single negative crossing is strongly quasipositive. This answers a question of Stoimenow's in the (strong) positive. As a second main result, we give simple and complete characterizations of link diagrams with quasipositive canonical surface (the surface produced by Seifert's algorithm). As applications, we determine which prime knots up to 13 crossings are strongly quasipositive, and we confirm the following conjecture for knots that have a canonical surface realizing their genus: a knot is strongly quasipositive if and only if the Bennequin inequality is an equality.


title: Capsule Deep Neural Network for Recognition of Historical Graffiti Handwriting

abstract: Automatic recognition of the historical letters (XI-XVIII centuries) carved on the stoned walls of St.Sophia cathedral in Kyiv (Ukraine) was demonstrated by means of capsule deep learning neural network. It was applied to the image dataset of the carved Glagolitic and Cyrillic letters (CGCL), which was assembled and pre-processed recently for recognition and prediction by machine learning methods (https://www.kaggle.com/yoctoman/graffiti-st-sophia-cathedral-kyiv). CGCL dataset contains >4000 images for glyphs of 34 letters which are hardly recognized by experts even in contrast to notMNIST dataset with the better images of 10 letters taken from different fonts. Despite the much worse quality of CGCL dataset and extremely low number of samples (in comparison to notMNIST dataset) the capsule network model demonstrated much better results than the previously used convolutional neural network (CNN). The validation accuracy (and validation loss) was higher (lower) for capsule network model than for CNN without data augmentation even. The area under curve (AUC) values for receiver operating characteristic (ROC) were also higher for the capsule network model than for CNN model: 0.88-0.93 (capsule network) and 0.50 (CNN) without data augmentation, 0.91-0.95 (capsule network) and 0.51 (CNN) with lossless data augmentation, and similar results of 0.91-0.93 (capsule network) and 0.9 (CNN) in the regime of lossless data augmentation only. The confusion matrixes were much better for capsule network than for CNN model and gave the much lower type I (false positive) and type II (false negative) values in all three regimes of data augmentation. These results supports the previous claims that capsule-like networks allow to reduce error rates not only on MNIST digit dataset, but on the other notMNIST letter dataset and the more complex CGCL handwriting graffiti letter dataset also.


title: Hypersymmetry of gravitational and inertial masses in relativistic field theories

abstract: The paper discusses, first, distinctions between gravitational and inertial masses (considered as isotopic field-charge (IFC)siblings of the gravitational field), and the ways, how they modify physical theories, including GTR. It shows that their equivalence does not mean identity. Introduction of qualitatively different mass terms modifies (among others) the gravitational equation. That leads to apparently losing its symmetry. In order to keep the symmetry of the stress-energy tensor, then, the paper identifies a symmetry group by the help of the tau algebra, which is isomorphic with the SU(2) group. The tau algebra transforms 3+1 type quantities. Invariance under the transformations of this group is called hypersymmetry (HySy). The group of HySy can make a correspondence between vector components and scalars. Next, there is shown how does the HySy group restore the apparently distorted symmetry of the stress-energy tensor. Finally, HySy is applied to the gravitational theory, and there are discussed a few consequences for the gravitational equation in quantum gravity. They are based on the, earlier disclosed, conservation of a property of the IFC-s, called isotopic field-charge spin (IFCS). It is shown that the solutions of the equations should be doubled, and another mediating boson, called dion, is to be assumed in the gravitational interaction, (anti)parallel with the graviton.


title: Equivariant Higher Hochschild Homology and Topological Field Theories

abstract: We present a version of higher Hochschild homology for spaces equipped with principal bundles for a structure group $G$. As coefficients, we allow $E_\infty$-algebras with $G$-action. For this homology theory, we establish an equivariant version of excision and prove that it extends to an equivariant topological field theory with values in the $(\infty,1)$-category of cospans of $E_\infty$-algebras.


title: Reflection identities of harmonic sums of weight four

abstract: We consider the reflection identities for harmonic sums at weight four. We decompose a product of two harmonic sums with mixed pole structure into a linear combination of terms each having a pole at either negative or positive values of the argument. The pole decomposition demonstrates how the product of two simpler harmonic sums can build more complicated harmonic sums at higher weight. We list a minimal irreducible bilinear set of reflection identities at weight four which present the main result of the paper. We also discuss how other trilinear and quartic reflection identities can be easily constructed from our result with the use of well known shuffle relations for harmonic sums.


title: EEG-based Subjects Identification based on Biometrics of Imagined Speech using EMD

abstract: When brain activity is translated into commands for real applications, the potential for human capacities augmentation is promising. In this paper, EMD is used to decompose EEG signals during Imagined Speech in order to use it as a biometric marker for creating a Biometric Recognition System. For each EEG channel, the most relevant Intrinsic Mode Functions (IMFs) are decided based on the Minkowski distance, and for each IMF 4 features are computed: Instantaneous and Teager energy distribution and Higuchi and Petrosian Fractal Dimension. To test the proposed method, a dataset with 20 subjects who imagined 30 repetitions of 5 words in Spanish, is used. Four classifiers are used for this task - random forest, SVM, naive Bayes, and k-NN - and their performances are compared. The accuracy obtained (up to 0.92 using Linear SVM) after 10-folds cross-validation suggest that the proposed method based on EMD can be valuable for creating EEG-based biometrics of imagined speech for Subjects identification.


title: Interfacial polyconvex energy-enhanced evolutionary model for shape memory alloys

abstract: A sharp-interface model describing static equilibrium configurations of shape mory alloys by means of interfacial polyconvex energy density introduced by \v{S}ilhav\'y in 2010 and extended to a quasistatic situation by Kn\"upfer and Kru\v{z}\'ik in 2016 is computationally tested. Elastic properties of variants of martensite and the austenite are described by polyconvex energy density functions. Volume fractions of particular variants are modeled by a map of bounded variation. Additionally, energy stored in martensite-martensite and austenite-martensite interfaces is measured by an interface-polyconvex function. It is assumed that transformations between material variants are accompanied by energy dissipation which, in our case, is positively and one-homogeneous giving rise to a rate-independent model. Various two-dimensional computational examples are presented and the used computer code is made available for downloads.


title: Underlay Drone Cell for Temporary Events: Impact of Drone Height and Aerial Channel Environments

abstract: Providing seamless connection to a large number of devices is one of the biggest challenges for the Internet of Things (IoT) networks. Using a drone as an aerial base station (ABS) to provide coverage to devices or users on ground is envisaged as a promising solution for IoT networks. In this paper, we consider a communication network with an underlay ABS to provide coverage for a temporary event, such as a sporting event or a concert in a stadium. Using stochastic geometry, we propose a general analytical framework to compute the uplink and downlink coverage probabilities for both the aerial and the terrestrial cellular system. Our framework is valid for any aerial channel model for which the probabilistic functions of line-of-sight (LOS) and non-line-of-sight (NLOS) links are specified. The accuracy of the analytical results is verified by Monte Carlo simulations considering two commonly adopted aerial channel models. Our results show the non-trivial impact of the different aerial channel environments (i.e., suburban, urban, dense urban and high-rise urban) on the uplink and downlink coverage probabilities and provide design guidelines for best ABS deployment height.


title: {\Pi}-cyc: A Reference-free SNP Discovery Application using Parallel Graph Search

abstract: Motivation: Working with a large number of genomes simultaneously is of great interest in genetic population and comparative genomics research. Bubbles discovery in multi-genomes coloured de bruijn graph for de novo genome assembly is a problem that can be translated to cycles enumeration in graph theory. Cycle enumerations algorithms in big and complex de Bruijn graphs are time consuming. Specialised fast algorithms for efficient bubble search are needed for coloured de bruijn graph variant calling applications. In coloured de Bruijn graphs, bubble paths coverages are used in downstream variants calling analysis. Results: In this paper, we introduce a fast parallel graph search for different K-mer cycle sizes. Coloured path coverages are used for SNP prediction. The graph search method uses a combined multi-node and multi-core design to speeds up cycles enumeration. The search algorithm uses an index extracted from the raw assembly of a coloured de Bruijn graph stored in a hash table. The index is distributed across different CPU-cores, in a shared memory HPC compute node, to build undirected subgraphs then search independently and simultaneously specific cycle sizes. This same index can also be split between several HPC compute nodes to take advantage of as many CPU-cores available to the user. The local neighbourhood parallel search approach reduces the graph's complexity and facilitate cycles search of a multi-colour de Bruijn graph. The search algorithm is incorporated into $\Pi$-cyc application and tested on a number of Schizosaccharomyces Pombe genomes. Availability: $\Pi$-cyc is an open-source software available at www.github.com/2kplus2P


title: Evaluation of CP-violation in HfF$^+$

abstract: CP violation effects produced by the nuclear magnetic quadrupole moment (MQM), electron electric dipole moment (EDM) and scalar$-$pseudoscalar nucleus$-$electron neutral current (SP) interaction in $^{177}$Hf$^{19}$F$^+$ and $^{179}$Hf$^{19}$F$^+$ are calculated. The role of the hyperfine interaction is investigated. It is shown that the MQM shift can be distinguished from the electron EDM and SP ones due to the implicit dependence of MQM shift on the hyperfine sublevel. The MQM effect is expressed in terms of the proton (EDM), QCD vacuum angle $\theta$ and quark chromo-EDMs.


title: Phase Space Structure and Transport in a Caldera Potential Energy Surface

abstract: We study phase space transport in a 2D caldera potential energy surface (PES) using techniques from nonlinear dynamics. The caldera PES is characterized by a flat region or shallow minimum at its center surrounded by potential walls and multiple symmetry related index one saddle points that allow entrance and exit from this intermediate region.We have discovered four qualitatively distinct cases of the structure of the phase space that govern phase space transport. These cases are categorized according to the total energy and the stability of the periodic orbits associated with the family of the central minimum, the bifurcations of the same family, and the energetic accessibility of the index one saddles. In each case we have computed the invariant manifolds of the unstable periodic orbits of the central region of the potential and the invariant manifolds of the unstable periodic orbits of the families of periodic orbits associated with the index one saddles. We have found that there are three distinct mechanisms determined by the invariant manifold structure of the unstable periodic orbits govern the phase space transport. The first mechanism explains the nature of the entrance of the trajectories from the region of the low energy saddles into the caldera and how they may become trapped in the central region of the potential. The second mechanism describes the trapping of the trajectories that begin from the central region of the caldera, their transport to the regions of the saddles, and the nature of their exit from the caldera. The third mechanism describes the phase space geometry responsible for the dynamical matching of trajectories originally proposed by Carpenter and described in Collins et al. (2014) for the two dimensional caldera PES that we consider.

categories: nlin.CD math-ph math.DS math.MP physics.chem-ph


title: On the global dimension of the endomorphism algebra of a $\tau$-tilting module

abstract: We find a relationship between the global dimension of an algebra $A$ and the global dimension of the endomorphism algebra of a $\tau$-tilting module, when $A$ is of finite global dimension. We show that, in general, the global dimension of the endomorphism algebra is not always finite. For monomial algebras and special biserial algebras of global dimension two, we prove that the global dimension of the endomorphism algebra of any $\tau$-tilting module is always finite. Moreover, for special biserial algebras, we give an explicit bound.


title: An Inexact First-order Method for Constrained Nonlinear Optimization

abstract: The primary focus of this paper is on designing an inexact first-order algorithm for solving constrained nonlinear optimization problems. By controlling the inexactness of the subproblem solution, we can significantly reduce the computational cost needed for each iteration. A penalty parameter updating strategy during the process of solving the subproblem enables the algorithm to automatically detect infeasibility. Global convergence for both feasible and infeasible cases are proved. Complexity analysis for the KKT residual is also derived under mild assumptions. Numerical experiments exhibit the ability of the proposed algorithm to rapidly find inexact optimal solution through cheap computational cost.


title: Is rotation forest the best classifier for problems with continuous features?

abstract: In short, our experiments suggest that yes, on average, rotation forest is better than the most common alternatives when all the attributes are real-valued. Rotation forest is a tree based ensemble that performs transforms on subsets of attributes prior to constructing each tree. We present an empirical comparison of classifiers for problems with only real-valued features. We evaluate classifiers from three families of algorithms: support vector machines; tree-based ensembles; and neural networks tuned with a large grid search. We compare classifiers on unseen data based on the quality of the decision rule (using classification error) the ability to rank cases (area under the receiver operating characteristic) and the probability estimates (using negative log likelihood). We conclude that, in answer to the question posed in the title, yes, rotation forest is significantly more accurate on average than competing techniques when compared on three distinct sets of datasets. Further, we assess the impact of the design features of rotation forest through an ablative study that transforms random forest into rotation forest. We identify the major limitation of rotation forest as its scalability, particularly in number of attributes. To overcome this problem we develop a model to predict the train time of the algorithm and hence propose a contract version of rotation forest where a run time cap is imposed {\em a priori}. We demonstrate that on large problems rotation forest can be made an order of magnitude faster without significant loss of accuracy. We also show that there is no real benefit (on average) from tuning rotation forest. We maintain that without any domain knowledge to indicate an algorithm preference, rotation forest should be the default algorithm of choice for problems with continuous attributes.


title: Multiple Combined Constraints for Image Stitching

abstract: Several approaches to image stitching use different constraints to estimate the motion model between image pairs. These constraints can be roughly divided into two categories: geometric constraints and photometric constraints. In this paper, geometric and photometric constraints are combined to improve the alignment quality, which is based on the observation that these two kinds of constraints are complementary. On the one hand, geometric constraints (e.g., point and line correspondences) are usually spatially biased and are insufficient in some extreme scenes, while photometric constraints are always evenly and densely distributed. On the other hand, photometric constraints are sensitive to displacements and are not suitable for images with large parallaxes, while geometric constraints are usually imposed by feature matching and are more robust to handle parallaxes. The proposed method therefore combines them together in an efficient mesh-based image warping framework. It achieves better alignment quality than methods only with geometric constraints, and can handle larger parallax than photometric-constraint-based method. Experimental results on various images illustrate that the proposed method outperforms representative state-of-the-art image stitching methods reported in the literature.


title: Strange Attractor in Density Evolution

abstract: The strange attractor represents a complex pattern of behavior in dynamic systems. This paper introduces a strange attractor for synthetic channels in polar coding as a result of a geometric property of density evolution that is a polar code construction technique. First, we define a subset of synthetic channels that are universally less reliable than the original channel. Here, the cardinality of the attractor set is (n+2)-th Fibonacci number for the block length N = 2n. This can be seen as a significantly large number for very long codes. On the other hand, strange attractor can provide new achievable rates for the finite block lengths. Secondly, it is known that polar codes can be constructed with sub-linear complexity by the use of partial orderings. In this study, we additionally define 1 + log2(log2 N) universal operators to reduce the complexity. Then, these universal operators can be applied on the attractor set to increase the number of synthetic channels that are universally less reliable than the natural channel.


title: Leakage Mitigation in Heterodyne FMCW Radar For Small Drone Detection with Stationary Point Concentration Technique

abstract: Recently, as the drones have become smaller and smarter, they are emerging as new threats to the military and the public. To prevent the threats, the development of the radar to detect the small drones is needed. The frequency modulated continuous wave (FMCW) radar is one of the radar types for the drone detection. The heterodyne architecture for the FMCW radar is often applied to resolve the dc offset problem. However, the leakage from a transmitter into a receiver, the notorious problem of the FMCW radar, is still a challenging problem. Especially, the phase noise of the leakage increases the noise floor and deteriorates the signal to noise ratio. In order to mitigate this problem, in this paper, the stationary point concentration technique is proposed. Without additional hardware, the proposed technique can be implemented through frequency planning and digital signal processing. The results show that the proposed technique significantly lowers the noise floor over the desired range domain.


title: Document Informed Neural Autoregressive Topic Models with Distributional Prior

abstract: We address two challenges in topic models: (1) Context information around words helps in determining their actual meaning, e.g., "networks" used in the contexts "artificial neural networks" vs. "biological neuron networks". Generative topic models infer topic-word distributions, taking no or only little context into account. Here, we extend a neural autoregressive topic model to exploit the full context information around words in a document in a language modeling fashion. The proposed model is named as iDocNADE. (2) Due to the small number of word occurrences (i.e., lack of context) in short text and data sparsity in a corpus of few documents, the application of topic models is challenging on such texts. Therefore, we propose a simple and efficient way of incorporating external knowledge into neural autoregressive topic models: we use embeddings as a distributional prior. The proposed variants are named as DocNADEe and iDocNADEe. We present novel neural autoregressive topic model variants that consistently outperform state-of-the-art generative topic models in terms of generalization, interpretability (topic coherence) and applicability (retrieval and classification) over 7 long-text and 8 short-text datasets from diverse domains.


title: Morpho-Kinematics of the Circumstellar Environments around Post-AGB Stars

abstract: We observed two proto-planetary nebulae, HD 56126 representing a source with an elliptical circumstellar shell and IRAS 16594-4656 representing a source with a bipolar circumstellar shell, with ALMA in the 12CO and 13CO J=3-2 lines and neighboring continuum to see how the morpho-kinematics of CO gas and dust emission properties in their circumstellar environments differ.


title: Time-domain Brillouin Scattering as a Local Temperature Probe in Liquids

abstract: We present results of time-domain Brillouin scattering (TDBS) to determine the local temperature of liquids in contact to an optical transducer. TDBS is based on an ultrafast pump-probe technique to determine the light scattering frequency shift caused by the propagation of coherent acoustic waves in a sample. Since the temperature influences the Brillouin scattering frequency shift, the TDBS signal probes the local temperature of the liquid. Results for the extracted Brillouin scattering frequencies recorded at different liquid temperatures and at different laser powers - i.e. different steady state background temperatures- are shown to demonstrate the usefulness of TDBS as a temperature probe. This TDBS experimental scheme is a first step towards the investigation of ultrathin liquids measured by GHz ultrasonic probing.


title: Interior and boundary regularity for the Navier-Stokes equations in the critical Lebesgue spaces

abstract: We study regularity criteria for the $d$-dimensional incompressible Navier-Stokes equations. We prove if $u\in L_{\infty}^tL_d^x((0,T)\times \mathbb{R}^d_+)$ is a Leray-Hopf weak solution vanishing on the boundary and the pressure $p$ satisfies a local condition $\|p\|_{L_{2-1/d}(Q(z_0,1)\cap (0,T)\times \mathbb{R}^d_+)}\leq K$ for some constant $K>0$ uniformly in $z_0$, then $u$ is regular up to the boundary in $(0,T)\times \mathbb{R}^d_+$. Furthermore, when $T=\infty$, $u$ tends to zero as $t\rightarrow \infty$. We also study the local problem in half unit cylinder $Q^+$ and prove that if $u\in L^t_{\infty}L^x_d(Q^+)$ and $ p\in L_{2-1/d}(Q^+)$, then $u$ is H\"{o}lder continuous in the closure of the set $Q^+(1/4)$. This generalizes a result by Escauriaza, Seregin, and \v{S}ver\'{a}k to higher dimensions and domains with boundary.


title: Conditional Joint Probability Distributions of First Exit Times to Overlapping Absorbing Sets of the Mixture of Markov Jump Processes

abstract: New results on conditional joint probability distributions of first exit times are presented for a continuous-time stochastic process defined as the mixture of Markov jump processes moving at different speeds on the same finite state space, while the mixture occurs at a random time. Such mixture was first proposed by Frydman \cite{Frydman2005} and Frydman and Schuermann \cite{Frydman2008} as a generalization of the mover-stayer model of Blumen et at. \cite{Blumen}, and was recently extended by Surya \cite{Surya2018}, in which explicit distributional identities of the process are given, in particular in the presence of an absorbing state. We revisit \cite{Surya2018} for a finite mixture with overlapping absorbing sets. The contribution of this paper is two fold. First, we generalize distributional properties of the mixture discussed in \cite{Frydman2008} and \cite{Surya2018}. Secondly, we give distributional identities of the first exit times explicitly in terms of intensity matrices of the underlying Markov processes and the Bayesian updates of switching probability and of the probability distribution of states, despite the fact that the mixture itself is non-Markov. They form non-stationary functions of time and have the ability to capture heterogeneity and path dependence when conditioning on the available information (either full or partial) of the process. In particular, initial profile of the distributions forms of a generalized mixture of multivariate phase-type distributions of Assaf et al. \cite{Assaf1984}. When the underlying processes move at the same speed, in which case the mixture becomes a simple Markov process, these features are removed, and the initial distributions reduce to \cite{Assaf1984}. Some explicit and numerical examples are discussed to illustrate the main results.


title: Calculation of magnetic dipole moment of torus knots

abstract: The magnetic moment of a closed loop with a steady current distribution is thoroughly described in many classical physics textbooks. Although usually the examples studied assume plane loops for explicit calculations of the magnetic moment, many other loop forms can be calculated. Among them, there are the torus knots. In this work, we explain how to calculate the magnetic moment of such current arrangement, and how it can be used as an interesting example that, even on three-dimensional loops, the magnetic moment can be taken as a simple product of the current and the vectorial area of the loop.


title: Controller Synthesis for Discrete-time Hybrid Polynomial Systems via Occupation Measures

abstract: We consider the feedback design for stabilizing a rigid body system by making and breaking multiple contacts with the environment without prespecifying the timing or the number of occurrence of the contacts. We model such a system as a discrete-time hybrid polynomial system, where the state-input space is partitioned into several polytopic regions with each region associated with a different polynomial dynamics equation. Based on the notion of occupation measures, we present a novel controller synthesis approach that solves finite-dimensional semidefinite programs as approximations to an infinite-dimensional linear program to stabilize the system. The optimization formulation is simple and convex, and for any fixed degree of approximations the computational complexity is polynomial in the state and control input dimensions. We illustrate our approach on some robotics examples.


title: A Fog Robotic System for Dynamic Visual Servoing

abstract: Cloud Robotics is a paradigm where distributed robots are connected to cloud services via networks to access unlimited computation power, at the cost of network communication. However, due to limitations such as network latency and variability, it is difficult to control dynamic, human compliant service robots directly from the cloud. In this work, by leveraging asynchronous protocol with a heartbeat signal, we combine cloud robotics with a smart edge device to build a Fog Robotic system. We use the system to enable robust teleoperation of a dynamic self-balancing robot from the cloud. We first use the system to pick up boxes from static locations, a task commonly performed in warehouse logistics. To make cloud teleoperation more efficient, we deploy image based visual servoing (IBVS) to perform box pickups automatically. Visual feedbacks, including apriltag recognition and tracking, are performed in the cloud to emulate a Fog Robotic object recognition system for IBVS. We demonstrate the feasibility of real-time dynamic automation system using this cloud-edge hybrid, which opens up possibilities of deploying dynamic robotic control with deep-learning recognition systems in Fog Robotics. Finally, we show that Fog Robotics enables the self-balancing service robot to pick up a box automatically from a person under unstructured environments.


title: Efficient solver for a special class of convection-diffusion problems

abstract: We describe an exact and highly efficient numerical algorithm for solving a special but important class of convection-diffusion equations. These equations occur in many problems in physics, chemistry, or biology, and they are usually hard to treat due to the presence of a convection term, represented by a first order derivative in the spatial co-ordinate. Our algorithm reduces the convection-diffusion equation to a pure diffusion problem within a complex-valued potential which can be solved efficiently and accurately using conventional parabolic partial differential equation solvers.


title: Group entropies: from phase space geometry to entropy functionals via group theory

abstract: The entropy of Boltzmann-Gibbs, as proved by Shannon and Khinchin, is based on four axioms, where the fourth one concerns additivity. The group theoretic entropies make use of formal group theory to replace this axiom with a more general composability axiom. As has been pointed out before, generalised entropies crucially depend on the number of allowed number degrees of freedom $N$. The functional form of group entropies is restricted (though not uniquely determined) by assuming extensivity on the equal probability ensemble, which leads to classes of functionals corresponding to sub-exponential, exponential or super-exponential dependence of the phase space volume $W$ on $N$. We review the ensuing entropies, discuss the composability axiom, relate to the Gibbs' paradox discussion and explain why group entropies may be particularly relevant from an information theoretic perspective.


title: Improvements on Hindsight Learning

abstract: Sparse reward problems are one of the biggest challenges in Reinforcement Learning. Goal-directed tasks are one such sparse reward problems where a reward signal is received only when the goal is reached. One promising way to train an agent to perform goal-directed tasks is to use Hindsight Learning approaches. In these approaches, even when an agent fails to reach the desired goal, the agent learns to reach the goal it achieved instead. Doing this over multiple trajectories while generalizing the policy learned from the achieved goals, the agent learns a goal conditioned policy to reach any goal. One such approach is Hindsight Experience replay which uses an off-policy Reinforcement Learning algorithm to learn a goal conditioned policy. In this approach, a replay of the past transitions happens in a uniformly random fashion. Another approach is to use a Hindsight version of the policy gradients to directly learn a policy. In this work, we discuss different ways to replay past transitions to improve learning in hindsight experience replay focusing on prioritized variants in particular. Also, we implement the Hindsight Policy gradient methods to robotic tasks.


title: On Stabilization of $E_k$ Chains

abstract: We study special subgroups of infinite groups that generalize double centralizers. We analyze sufficient conditions for descending chains of such subgroups to stop after finitely many steps. We discuss whether this phenomenon can happen in the class of groups satisfying chain condition on centralizers.


title: Levi-Civita connections for a class of spectral triples

abstract: We give a new definition of Levi-Civita connection for a noncommutative pseudo-Riemannian metric on a noncommutative manifold given by a spectral triple. We prove the existence-uniqueness result for a class of modules of one forms over a large class of noncommutative manifolds, including the matrix geometry of the fuzzy 3-sphere, the quantum Heisenberg manifolds and Connes-Landi deformations of spectral triples on the Connes-Dubois Violette-Rieffel-deformation of a compact manifold equipped with a free toral action. It is interesting to note that in the example of the quantum Heisenberg manifold, the definition of metric compatibility given in the paper by Frolich et al failed to ensure the existence of a unique Levi-Civita connection. In the case of the matrix geometry, the Levi-Civita connection that we get coincides with the unique real torsion-less unitary connection obtained by Frolich et al.


title: Application of effective medium theory to estimate gas permeability in tight-gas sandstones

abstract: Upscaling Klinkenberg-corrected gas permeability, k, in unconventional tight sandstones has numerous practical applications, particularly in gas exploration and production. In this study, we adapt the effective-medium approximation (EMA) model of Doyen - proposed first to estimate bulk electrical conductivity, {\sigma}_b, and permeability in sandstones from rock images - to scale up {\sigma}_b and k in tight-gas sandstones from pore to core. For this purpose, we calculate two characteristic pore sizes: an effective hydraulic and an effective electrical pore size from pore-throat size distributions - determined from mercury intrusion capillary pressure (MICP) curves - and pore-throat connectivity. The latter is estimated from critical volume fraction (or percolation threshold) for macroscopic flow. Electrical conductivity and permeability are then scaled up from the two characteristic pore sizes, tortuosity, and porosity by assuming two different pore geometries: cylindrical and slit-shaped. Comparison of results obtained for eighteen tight-gas sandstones indicates that the EMA estimates {\sigma}_b and k more accurately when pores are assumed to be cylindrical. We also estimate k from the pore-throat size distributions and the measured electrical conductivity using the EMA and critical path analysis (CPA), another upscaling technique borrowed from statistical physics. Theoretically, the former is valid in relatively heterogeneous porous media with narrow pore-throat size distribution, while the latter is valid in heterogeneous media with broad pore-throat size distribution. Results show that the EMA estimates k more accurately than CPA and arrives within a factor of two of the measurements on average.


title: Decision-support for the Masses by Enabling Conversations with Open Data

abstract: Open data refers to data that is freely available for reuse. Although there has been rapid increase in availability of open data to public in the last decade, this has not translated into better decision-support tools for them. We propose intelligent conversation generators as a grand challenge that would automatically create data-driven conversation interfaces (CIs), also known as chatbots or dialog systems, from open data and deliver personalized analytical insights to users based on their contextual needs. Such generators will not only help bring Artificial Intelligence (AI)-based solutions for important societal problems to the masses but also advance AI by providing an integrative testbed for human-centric AI and filling gaps in the state-of-art towards this aim.


title: Representations of Cyclotomic Rational Cherednik Algebras with Aspherical Parameters

abstract: In this article, we describe all two sided ideals of a cyclotomic rational Cherednik algebra $H_\mathbf{c}$ and its spherical subalgebra $eH_\mathbf{c} e$ with a Weil generic aspherical parameter $\mathbf{c}$, and further describe the simple modules in the category $\mathcal{O}^{sph}_\mathbf{c}$ . The main tools we use are categorical Kac-Moody actions on catogories $\mathcal{O}_\mathbf{c}$ and restriction functors for Harish-Chandra bimodules.


title: Precise quantum control via unsharp measurements and feedback operations

abstract: In this paper, we propose a scheme to eliminate the influence of noises on system dynamics, by means of a sequential unsharp measurements and unitary feedback operations. The unsharp measurements are carried out periodically during system evolution, while the feedback operations are well designed based on the eigenstates of the density matrices of the exact (noiseless) dynamical states and its corresponding post-measurement states. For illustrative examples, we show that the dynamical trajectory errors caused by both static and non-static noises are successfully eliminated in typical two-level and multi-level systems, i.e., the high-fidelity quantum dynamics can be maintained. Furthermore, we discuss the influence of noise strength and measurement strength on the degree of precise quantum control. Crucially, the measurement-feedback scheme is quite universal in that it can be applied to precise quantum control for any dimension systems. Thus, it naturally finds extensive applications in quantum information processing.


title: Interstitial flows regulate collective cell migration heterogeneity through adhesion

abstract: The migration behaviors of cancer cells are known to be heterogeneous. However, the interplay between the adhesion interactions, dynamical shape changes and fluid flows in regulating cell migration heterogeneity and plasticity during cancer metastasis is still elusive. To further quantitative understanding of cell motility and morphology, we develop a theory using stochastic quantization method that describes the role of biophysical cues in regulating diverse cell motility. We show that the cumulative effect of time dependent adhesion interactions that determine the structural rearrangements and self-generated force due to actin remodeling, dictate the super-diffusive motion of mesenchymal phenotype in the absence of flow. Interstitial flows regulate cell motility phenotype and promote the amoeboid over mesenchymal motility through adhesion interactions. Cells exhibit a dynamical slowing down of collective migration, with a decreasing degree of super-diffusion. Mesenchymal cells are more persistent and diffusive compared to amoeboid cells. Our findings, suggest a mechanism of Interstitial flow induced directed motion of cancer cells through adhesion, and provide the much needed insight into a recent experimental observation concerning the diverse motility of breast cancer cells.


title: Optimal strategies for patrolling fences

abstract: A classical multi-agent fence patrolling problem asks: What is the maximum length $L$ of a line that $k$ agents with maximum speeds $v_1,\ldots,v_k$ can patrol if each point on the line needs to be visited at least once every unit of time. It is easy to see that $L = \alpha \sum_{i=1}^k v_i$ for some efficiency $\alpha \in [\frac{1}{2},1)$. After a series of works giving better and better efficiencies, it was conjectured that the best possible efficiency approaches $\frac{2}{3}$. No upper bounds on the efficiency below $1$ were known. We prove the first such upper bounds and tightly bound the optimal efficiency in terms of the minimum ratio of speeds $s = {v_{\max}}/{v_{\min}}$ and the number of agents $k$. Guided by our upper bounds, we construct a scheme whose efficiency approaches $1$, disproving the conjecture of Kawamura and Soejima. Our scheme asymptotically matches our upper bounds in terms of the maximal speed difference and the number of agents used, proving them to be asymptotically tight. A variation of the fence patrolling problem considers a circular fence instead and asks for its circumference to be maximized. We consider the unidirectional case of this variation, where all agents are only allowed to move in one direction, say clockwise. At first, a strategy yielding $L = \max_{r \in [k]} r \cdot v_r$ where $v_1 \geq v_2 \geq \dots \geq v_k$ was conjectured to be optimal by Czyzowicz et al. This was proven not to be the case by giving constructions for only specific numbers of agents with marginal improvements of $L$. We give a general construction that yields $L = \frac{1}{33 \log_e\log_2(k)} \sum_{i=1}^k v_i$ for any set of agents, which in particular for the case $1, 1/2, \dots, 1/k$ diverges as $k \rightarrow \infty$, thus resolving a conjecture by Kawamura and Soejima affirmatively.


title: Dynamical variety of shapes in financial multifractality

abstract: The concept of multifractality offers a powerful formal tool to filter out multitude of the most relevant characteristics of complex time series. The related studies thus far presented in the scientific literature typically limit themselves to evaluation of whether or not a time series is multifractal and width of the resulting singularity spectrum is considered a measure of the degree of complexity involved. However, the character of the complexity of time series generated by the natural processes usually appears much more intricate than such a bare statement can reflect. As an example, based on the long-term records of S&P500 and NASDAQ - the two world leading stock market indices - the present study shows that they indeed develop the multifractal features, but these features evolve through a variety of shapes, most often strongly asymmetric, whose changes typically are correlated with the historically most significant events experienced by the world economy. Relating at the same time the index multifractal singularity spectra to those of the component stocks that form this index reflects the varying degree of correlations involved among the stocks.


title: Radio Properties of Rotating Radio Transients: Single Pulse Spectral and Wait Time Analyses

abstract: Rotating radio transients (RRATs) are a sub-class of pulsars characterized by sporadic emission and thus can generally only be studied by analysis of their single-pulses. Here we present a single-pulse analysis using 11 years of timing data at 1400~MHz of three RRATs, PSRs~J1819$-$1458, J1317$-$5759, and J1913$+$1330. We perform a spectral analysis on the single-pulses of these RRATs for the first time, finding their mean spectral indices to be $-1.1 \pm 0.1$, $-0.6 \pm 0.1$, and $-1.2 \pm 0.2$ respectively, within the known range of pulsar spectral indices. We find no evidence for narrowband features as seen for FRB~121102. However, we find the spread of single-pulse spectral indices for these RRATs (ranging from $-7$ to $+4$) to be larger than has been seen in other pulsars, with the exception of the Crab pulsar. We also analyze the time between detected pulses, or wait-time, and find that the pulses are not random and cluster around wait-times of a few pulse periods as well as $\sim 25$ pulse periods for PSRs~J1819$-$1458 and J1317$-$5759. Additionally we find that there is no correlation between the wait-time and pulse flux density. Finally we find that the distribution of the pulse energy for PSRs~J1317$-$5759 and J1913$+$1330 are log-normal, while that of PSR~J1819$-$1458 is log-normal with possible evidence of an additional power-law component.


title: Validating the Claim - Defeating HaTCh : Building Malicious IP cores

abstract: This paper defends the design of hardware Trojan proposed in the paper "Defeating HaTCh: Building Malicious IP Cores" by defining the four critical properties which are required to be satisfied to classify it to belong to class of Deterministic Hardware Trojan. This is to counter the claims of authors of HaTCh in their paper "Comments on Defeating HaTCh".


title: Delineating elastic properties of kinesin linker and their sensitivity to point mutations

abstract: We analyze free energy estimators from simulation trials mimicking single-molecule pulling experiments on a neck linker of a kinesin motor. For that purpose, we have performed a version of steered molecular dynamics (SMD) calculations. The sample trajectories have been analyzed to derive distribution of work done on the system. In order to induce unfolding of the linker, we have stretched the molecule at a constant pulling force and allowed for a subsequent relaxation of its structure. The use of fluctuation relations (FR) relevant to non-equilibrium systems subject to thermal fluctuations allows us to assess the difference in free energy between stretched and relaxed conformations. To further understand effects of potential mutations on elastic properties of the linker, we have performed similar in silico studies on a structure formed of a polyalanine sequence (Ala-only) and on three other structures, created by substituting selected types of amino acid residues in the linker's sequence with alanine (Ala) ones. The results of SMD simulations indicate a crucial role played by the Asparagine (Asn) and Lysine (Lys) residues in controlling stretching and relaxation properties of the linker domain of the motor.


title: Stress Tensor Eigenvector Following with Next-Generation Quantum Theory of Atoms in Molecules

abstract: The eigenvectors of the electronic stress tensor have been identified as useful for the prediction of chemical reactivity because they determine the most preferred directions to move the bonds that correspond to a qualitative change in the molecular electronic structure. A new 3-D vector based interpretation of the chemical bond that we refer to as the bond-path framework set $\mathbb{B} = \{p,q,r\}$ provides a version of the quantum theory of atoms in molecules (QTAIM) beyond the minimum definition for bonding that is particularly suitable for understanding changes in molecular electronic structure that occur during reactions. The bond-path framework set $\mathbb{B}$ is straightforwardly constructed and visualized from the eigenvalues and eigenvectors of QTAIM. This approach is applied to the structural deformations of ethene that occur during applied torsion ${\theta}$, -180.0{\deg} $\leq$ ${\theta}$ $\leq$ +180.0{\deg}. The corresponding stress tensor version is readily constructed as $\mathbb{B}_{\sigma} = \{p_{\sigma},q_{\sigma},r\}$ within the QTAIM partitioning making it possible to compare experimentally and computationally determined electronic charge densities. The bond-path framework set $\mathbb{B}$ or $\mathbb{B}_{\sigma}$ are the networks that comprise three strands: the least preferred ($p, p_{\sigma}$), most preferred ($q, q_{\sigma}$) and $r$ is the familiar QTAIM bond-path. We demonstrate that the most preferred direction for bond motion using the stress tensor corresponds to the most compressible direction and not to the least compressible direction as previously reported. We show the necessity for a directional approach constructed using the eigenvectors along the entire bond length and demonstrate the insufficiency of the sole use of scalar measures for capturing the nature of the stress tensor within the QTAIM partitioning.


title: Collisional Growth of Icy Dust Aggregates in Disk Formation Stage: Difficulties for Planetesimal Formation via Direct Collisional Growth outside the Snowline

abstract: Highly porous dust aggregates can break through the radial drift barrier, but previous studies assumed disks in their later stage, where the disks have a very small mass and low temperature. In contrast, dust coagulation should begin in the very early stage such as the disk formation stage because the growth timescale of dust is shorter than the disk formation timescale if there is no process to suppress the collisional growth of dust. We investigate the possibility of planetesimal formation via direct collisional growth in the very early stage of a protoplanetary disk. We show that, in the very early stage of protoplanetary disks, icy dust aggregates suffer radial drift and deplete without forming planetesimal-sized objects. This is because as the disk temperature easily increases by the viscous heating in the disk formation stage, the area where the dust can break through the radial drift barrier is restricted only to the inside the snowline. This suggests that in the disk formation stage, icy planetesimal formation via direct collisional growth of dust is difficult.


title: Stable processes conditioned to hit an interval continuously from the outside

abstract: Conditioning stable L\'evy processes on zero probability events recently became a tractable subject since several explicit formulas emerged from a deep analysis using the Lamperti transformations for self-similar Markov processes. In this article we derive new harmonic functions and use them to explain how to condition stable processes to hit continuously a compact interval from the outside.


title: A numerical tool for the study of the hydrodynamic recovery of the Lattice Boltzmann Method

abstract: We investigate the hydrodynamic recovery of Lattice Boltzmann Method (LBM) by analyzing exact balance relations for energy and enstrophy derived from averaging the equations of motion on sub-volumes of different sizes. In the context of 2D isotropic homogeneous turbulence, we first validate this approach on decaying turbulence by comparing the hydrodynamic recovery of an ensemble of LBM simulations against the one of an ensemble of Pseudo-Spectral (PS) simulations. We then conduct a benchmark of LBM simulations of forced turbulence with increasing Reynolds number by varying the input relaxation times of LBM. This approach can be extended to the study of implicit subgrid-scale (SGS) models, thus offering a promising route to quantify the implicit SGS models implied by existing stabilization techniques within the LBM framework.


title: On expansions for the Black-Scholes prices and hedge parameters

abstract: We derive new formulas for the price of the European call and put options in the Black-Scholes model, under the form of uniformly convergent series generalizing previously known approximations. We also provide precise boundaries for the convergence speed and apply the results to the calculation of hedge parameters (Greeks).


title: Topological characteristic factors along cubes of minimal systems

abstract: In this paper we study the topological characteristic factors along cubes of minimal systems. It is shown that up to proximal extensions the pro-nilfactors are the topological characteristic factors along cubes of minimal systems. In particular, for a distal minimal system, the maximal $(d-1)$-step pro-nilfactor is the topological cubic characteristic factor of order $d$.


title: Many-body theory of spin-current driven instabilities in magnetic insulators

abstract: We consider a magnetic insulator in contact with a normal metal. We derive a self-consistent Keldysh effective action for the magnon gas that contains the effects of magnon-magnon interactions and contact with the metal to lowest order. Self-consistent expressions for the dispersion relation, temperature and chemical potential for magnons are derived. Based on this effective action, we study instabilities of the magnon gas that arise due to spin-current flowing across the interface between the normal metal and the magnetic insulator. We find that the stability phase diagram is modified by an interference between magnon-magnon interactions and interfacial magnon-electron coupling. These effects persist at low temperatures and for thin magnetic insulators.


title: A general explicit form for higher order approximations for fractional derivatives and its consequences

abstract: A general explicit form for generating functions for approximating fractional derivatives is derived. To achieve this, an equivalent characterisation for consistency and order of approximations established on a general generating function is used to form a linear system of equations with Vandermonde matrix for the coefficients of the generating function which is in the form of power of a polynomial. This linear system is solved for the coefficients of the polynomial in the generating function. These generating functions completely characterise Gr\"unwald type approximations with shifts and order of accuracy. Incidentally, the constructed generating functions happen to be generalization of the previously known Lubich forms of generating functions without shift. As a consquence, a general explicit form for new finite difference formulas for integer-order derivatives with any order of accuracy are derived.


title: Scalar self-force on static charge in a long throat

abstract: We compute the self-force on a scalar charge at rest in the spacetime of long throat. We consider arbitrary values of the mass of the scalar field and the constant of nonmnimal coupling of the scalar field to the curvature of spacetime. We also show the coincidence of explicit calculations of self-force in the limit of large mass of the field with known results.


title: Surface Wave-Based Underwater Radio Communication

abstract: An underwater portable radio antenna operating in the 50 MHz band and efficient for launching surface electromagnetic waves at the seawater/air interface is presented. The antenna operation is based on the field enhancement at the antenna tip and on an impedance matching antenna enclosure, which is filled with de-ionized water. This enclosure allows us to reduce antenna dimensions and improve the coupling of electromagnetic energy to the surrounding salt water medium. Since surface wave propagation length far exceeds the skin depth of conventional radio waves at the same frequency, this technique is useful for broadband underwater wireless communication over several meters distances.


title: Particle acceleration and the origin of the very high energy emission around black holes and relativistic jets

abstract: Particle acceleration induced by fast magnetic reconnection may help to solve current puzzles related to the interpretation of the very high energy (VHE) and neutrino missions from AGNs and compact sources in general. Our general relativistic-MHD simulations of accretion disk-corona systems reveal the growth of turbulence driven by MHD instabilities that lead to the development of fast magnetic reconnection in the corona. In addition, our simulations of relativistic MHD jets reveal the formation of several sites of fast reconnection induced by current-driven kink turbulence. The injection of thousands of test particles in these regions cause acceleration up to energies of several PeVs, thus demonstrating the ability of this process to accelerate particles and produce VHE and neutrino emission, specially in blazars. Finally, we discuss how reconnection can also explain the observed VHE luminosity-black hole mass correlation, involving hundreds of non-blazar sources like Perseus A, and black hole binaries.


title: Fast Escaping Set of Transcendental Semigroup

abstract: In this paper, we study fast escaping set of transcendental semigroup. We discuss some the structure and properties of fast escaping set of transcendental semigroup. We also see how far the classical theory of fast escaping set of transcendental entire function applies to general settings of transcendental semigroups and what new phenomena can occur.


title: Global existence for weakly coupled systems of semi-linear structurally damped $\sigma$-evolution models with different power nonlinearities

abstract: In this paper, we study the Cauchy problems for weakly coupled systems of semi-linear structurally damped $\sigma$-evolution models with different power nonlinearities. By assuming additional $L^m$ regularity on the initial data, with $m \in [1,2)$, we use $(L^m \cap L^2)- L^2$ and $L^2- L^2$ estimates for solutions to the corresponding linear Cauchy problems to prove the global (in time) existence of small data Sobolev solutions to the weakly coupled systems of semi-linear models from suitable function spaces.


title: Lyubeznik numbers for Pfaffian rings

abstract: We study the structure of local cohomology with support in Pfaffian varieties as a module over the Weyl algebra D_X of differential operators on the space X of n x n complex skew-symmetric matrices. The simple composition factors of these modules are known by the work of Raicu-Weyman in 2016, and when n is odd, the general theory implies that the local cohomology modules are semi-simple. When n is even, we show that the local cohomology is a direct sum of indecomposable modules coming from the pole order filtration of the Pfaffian hypersurface. We then determine the Lyubeznik numbers for Pfaffian rings by computing local cohomology with support in the homogeneous maximal ideal of the indecomposable summands referred to above.


title: Bridging the Gap Between Safety and Real-Time Performance in Receding-Horizon Trajectory Design for Mobile Robots

abstract: To operate with limited sensor horizons in unpredictable environments, autonomous robots use a receding-horizon strategy to plan trajectories, wherein they execute a short plan while creating the next plan. However, creating safe, dynamically-feasible trajectories in real time is challenging; and, planners must ensure persistent feasibility, meaning a new trajectory is always available before the previous one has finished executing. Existing approaches make a tradeoff between model complexity and planning speed, which can require sacrificing guarantees of safety and dynamic feasibility. This work presents the Reachability-based Trajectory Design (RTD) method for trajectory planning. RTD begins with an offline Forward Reachable Set (FRS) computation of a robot's motion when tracking parameterized trajectories; the FRS provably bounds tracking error. At runtime, the FRS is used to map obstacles to parameterized trajectories, allowing RTD to select a safe trajectory at every planning iteration. RTD prescribes an obstacle representation to ensure that obstacle constraints can be created and evaluated in real time while maintaining safety. Persistent feasibility is achieved by prescribing a minimum sensor horizon and a minimum duration for the planned trajectories. A system decomposition approach is used to improve the tractability of computing the FRS, allowing RTD to create more complex plans at runtime. RTD is compared in simulation with Rapidly-Exploring Random Trees and Nonlinear Model-Predictive Control. RTD is also demonstrated in randomly-crafted environments on two hardware platforms: a differential-drive Segway, and a car-like Rover. The proposed method is safe and persistently feasible across thousands of simulations and dozens of real-world hardware demos.


title: Simulating excitation spectra with projected entangled-pair states

abstract: We develop and benchmark a technique for simulating excitation spectra of generic two-dimensional quantum lattice systems using the framework of projected entangled-pair states (PEPS). The technique relies on a variational ansatz for capturing quasiparticle excitations on top of a PEPS ground state. Our method perfectly captures the quasiparticle dispersion relation of the square-lattice transverse-field Ising model, and reproduces the spin-wave velocity and the spin-wave anomaly in the square-lattice Heisenberg model with high precision.


title: Transfer and Multi-Task Learning for Noun-Noun Compound Interpretation

abstract: In this paper, we empirically evaluate the utility of transfer and multi-task learning on a challenging semantic classification task: semantic interpretation of noun--noun compounds. Through a comprehensive series of experiments and in-depth error analysis, we show that transfer learning via parameter initialization and multi-task learning via parameter sharing can help a neural classification model generalize over a highly skewed distribution of relations. Further, we demonstrate how dual annotation with two distinct sets of relations over the same set of compounds can be exploited to improve the overall accuracy of a neural classifier and its F1 scores on the less frequent, but more difficult relations.


title: Bounds on nonlocal correlations in the presence of signaling and their application to topological zero modes

abstract: Bell's theorem renders quantum correlations distinct from those of any local-realistic model. Although being stronger than classical correlations, quantum correlations are limited by the Tsirelson bound. This bound, however, applies for Hermitian, commutative operators corresponding to non-signaling observables in Alice's and Bob's spacelike-separated labs. As an attempt to explore theories beyond quantum mechanics and analyze the uniqueness of the latter, we examine in this work the extent of non-local correlations when relaxing these fundamental assumptions, which allows for theories with non-local signaling. We prove that, somewhat surprisingly, the Tsirelson bound in the Bell-Clauser-Horne-Shimony-Holt scenario, and similarly other related bounds on non-local correlations, remain effective as long as we maintain the Hilbert space structure of the theory. Furthermore, in the case of Hermitian observables we find novel relations between non-locality, local correlations, and signaling. We demonstrate that such non-local signaling theories are naturally simulated by quantum systems of parafermionic zero modes. We numerically study the derived bounds in parafermionic systems, confirming the bounds' validity yet finding a drastic difference between correlations of 'signaling' and 'non-signaling' sets of observables. We also propose an experimental procedure for measuring the relevant correlations.


title: Multiobjective Reinforcement Learning for Reconfigurable Adaptive Optimal Control of Manufacturing Processes

abstract: In industrial applications of adaptive optimal control often multiple contrary objectives have to be considered. The weights (relative importance) of the objectives are often not known during the design of the control and can change with changing production conditions and requirements. In this work a novel model-free multiobjective reinforcement learning approach for adaptive optimal control of manufacturing processes is proposed. The approach enables sample-efficient learning in sequences of control configurations, given by particular objective weights.


title: From BOP to BOSS and Beyond: Time Series Classification with Dictionary Based Classifiers

abstract: A family of algorithms for time series classification (TSC) involve running a sliding window across each series, discretising the window to form a word, forming a histogram of word counts over the dictionary, then constructing a classifier on the histograms. A recent evaluation of two of this type of algorithm, Bag of Patterns (BOP) and Bag of Symbolic Fourier Approximation Symbols (BOSS) found a significant difference in accuracy between these seemingly similar algorithms. We investigate this phenomenon by deconstructing the classifiers and measuring the relative importance of the four key components between BOP and BOSS. We find that whilst ensembling is a key component for both algorithms, the effect of the other components is mixed and more complex. We conclude that BOSS represents the state of the art for dictionary based TSC. Both BOP and BOSS can be classed as bag of words approaches. These are particularly popular in Computer Vision for tasks such as image classification. Converting approaches from vision requires careful engineering. We adapt three techniques used in Computer Vision for TSC: Scale Invariant Feature Transform; Spatial Pyramids; and Histrogram Intersection. We find that using Spatial Pyramids in conjunction with BOSS (SP) produces a significantly more accurate classifier. SP is significantly more accurate than standard benchmarks and the original BOSS algorithm. It is not significantly worse than the best shapelet based approach, and is only outperformed by HIVE-COTE, an ensemble that includes BOSS as a constituent module.


title: 3D segmentation of mandible from multisectional CT scans by convolutional neural networks

abstract: Segmentation of mandibles in CT scans during virtual surgical planning is crucial for 3D surgical planning in order to obtain a detailed surface representation of the patients bone. Automatic segmentation of mandibles in CT scans is a challenging task due to large variation in their shape and size between individuals. In order to address this challenge we propose a convolutional neural network approach for mandible segmentation in CT scans by considering the continuum of anatomical structures through different planes. The proposed convolutional neural network adopts the architecture of the U-Net and then combines the resulting 2D segmentations from three different planes into a 3D segmentation. We implement such a segmentation approach on 11 neck CT scans and then evaluate the performance. We achieve an average dice coefficient of $ 0.89 $ on two testing mandible segmentation. Experimental results show that our proposed approach for mandible segmentation in CT scans exhibits high accuracy.


title: Type D conformal initial data

abstract: For a vacuum initial data set of the Einstein field equations it is possible to carry out a conformal rescaling or conformal compactification of the data giving rise to an initial data set for the Friedrich vacuum conformal equations. When will the data development with respect to the conformal equations of this set be a conformal extension of a type D solution? In this work we provide a set of necessary and sufficient conditions on a set of initial data for the conformal equations that guarantees that the data development of the conformal equations has a subset that is conformal to a vacuum type D solution of the Einstein's equations. In particular we find the conditions under which this vacuum solution corresponds to the Kerr solution. Using our results we are able to show that there are no obstructions to extend the Petrov type of the physical spacetime to the unphysical spacetime if the conformal data are hyperboloidal.


title: Katalyst: Boosting Convex Katayusha for Non-Convex Problems with a Large Condition Number

abstract: In this paper, we propose a new SVRG-style acceleated stochastic algorithm for solving a family of non-convex optimization problems whose objective consists of a sum of $n$ smooth functions and a non-smooth convex function. Our major goal is to improve the convergence of SVRG-style stochastic algorithms to stationary points under a setting with a large condition number $c$ - the ratio between the smoothness constant and the negative curvature constant. The proposed algorithm achieves the best known gradient complexity when $c\geq \Omega(n)$, which was achieved previously by a SAGA-style accelerated stochastic algorithm. Compared with the SAGA-style accelerated stochastic algorithm, the proposed algorithm is more practical due to its low memory cost that is inherited from previous SVRG-style algorithms. Compared with previous studies on SVRG-style stochastic algorithms, our theory provides much stronger results in terms of (i) reduced gradient complexity under a large condition number; and (ii) that the convergence is proved for a sampled stagewise averaged solution that is selected from all stagewise averaged solutions with increasing sampling probabilities instead of for a uniformly sampled solutions across all iterations.


title: On the fundamental group schemes of certain quotient varieties

abstract: In \cite{armstrong}, M. Armstrong proved a beautiful result describing fundamental groups of quotient spaces. In this paper we prove an analogue of Armstrong's theorem in the setting of $F$-divided \cite{dS07} and essentially finite \cite{Nori76} fundamental group schemes.


title: Lepton flavour and lepton number violation searches at the LHCb experiment

abstract: Recent hints for lepton-universality violation in $b\to c\ell\nu$ and $b\to s\ell\ell$ transitions could imply the existence of lepton-flavour violating $b$ decays. The LHCb experiment is well suited for the search for these decays due to its large acceptance and trigger efficiency, as well as its excellent invariant mass resolution and particle identification capabilities. Recent results on searches for lepton-flavour violating decays from the LHCb experiment are presented.


title: Graphene Transistor Based on Tunable Dirac-Fermion-Optics

abstract: The linear energy-momentum dispersion, coupled with pseudo-spinors, makes graphene an ideal solid-state material platform to realize an electronic device based on Dirac-Fermionic relativistic quantum mechanics. Employing local gate control, several examples of electronic devices based on Dirac fermion dynamics have been demonstrated, including Klein tunneling, negative refraction and specular Andreev reflection. In this work, we present a quantum switch based on analogous Dirac-fermion-optics (DFO), in which the angle dependence of Klein tunneling is explicitly utilized to build tunable collimators and reflectors for the quantum wave function of Dirac fermions. We employ a novel dual-source design with a single flat reflector, which minimizes diffusive edge scattering and suppresses the background incoherent transmission. Our gate-tunable collimator-reflector device design enables measurement of the net DFO contribution in the switching device operation. We measure a full set of transmission coefficients of DFO wavefunction between multiple leads of the device, separating the classical contribution from that of any disorder in the channel. Since the DFO quantum switch demonstrated in this work requires no explicit energy gap, the switching operation is expected to be robust against thermal fluctuations and inhomogeneity length scales comparable to the Fermi wavelength. We find our quantum switch works at an elevated temperature up to 230 K and large bias current density up to 102 A/m, over a wide range of carrier densities. The tunable collimator-reflector coupled with the conjugated source electrodes developed in this work provides an additional component to build more efficient DFO electronic devices.


title: State-Dependent Kernel Selection for Conditional Sampling of Graphs

abstract: This paper introduces new efficient algorithms for two problems: sampling conditional on vertex degrees in unweighted graphs, and sampling conditional on vertex strengths in weighted graphs. The algorithms can sample conditional on the presence or absence of an arbitrary number of edges. The resulting conditional distributions provide the basis for exact tests. Existing samplers based on MCMC or sequential importance sampling are generally not scalable; their efficiency degrades in sparse graphs. MCMC methods usually require explicit computation of a Markov basis to navigate the complex state space; this is computationally intensive even for small graphs. We use state-dependent kernel selection to develop new MCMC samplers. These do not require a Markov basis, and are efficient both in sparse and dense graphs. The key idea is to intelligently select a Markov kernel on the basis of the current state of the chain. We apply our methods to testing hypotheses on a real network and contingency table. The algorithms appear orders of magnitude more efficient than existing methods in the test cases considered.


title: $\Pi^1_1$-Comprehension as a Well-Ordering Principle

abstract: A dilator is a particularly uniform transformation $X\mapsto T_X$ of linear orders that preserves well-foundedness. We say that $X$ is a Bachmann-Howard fixed point of $T$ if there is an almost order preserving collapsing function $\vartheta:T_X\rightarrow X$ (precise definition to follow). In the present paper we show that $\Pi^1_1$-comprehension is equivalent to the assertion that every dilator has a well-founded Bachmann-Howard fixed point. This proves a conjecture of M. Rathjen and A. Montalb\'an.


title: On the radical of the module category of an endomorphism algebra

abstract: Given a finite dimensional algebra $A$ over an algebraically closed field we study the relationship between the powers of the radical of a morphism in the module category of the algebra $A$ and the induced morphism in the module category of the endomorphism algebra of a tilting $A$-module. We compare the nilpotency indices of the radical of the mentioned module categories. We find an upper bound for the nilpotency index of the radical of the module category of iterated tilted algebras of Dynkin type.


title: Containment logics: algebraic completeness and axiomatization

abstract: The paper studies the containment companion of a logic $\vdash$. This consists of the consequence relation $\vdash^{r}$ which satisfies all the inferences of $\vdash$, where the variables of the conclusion are \emph{contained} into those of the (set of) premises. In accordance with our previous work on logics of left variable inclusion, we show that a different generalization of the P\l onka sum construction, adapted from algebras to logical matrices, allows us to provide a matrix-based semantics for containment logics. In particular, we provide an appropriate completeness theorem for a wide family of containment logics, and we show how to produce a complete Hilbert style axiomatization.