title: On the zero-sum constant, the Davenport constant and their analogues

abstract: Let $D(G)$ be the Davenport constant of a finite Abelian group $G$. For a positive integer $m$ (the case $m = 1$, is the classical one) let ${\mathsf E}_m(G)$ (or $\eta_m(G)$, respectively) be the least positive integer $t$ such that every sequence of length $t$ in $G$ contains $m$ disjoint zero-sum sequences, each of length $|G|$ (or of length $\le exp(G)$ respectively). In this paper, we prove that if $G$ is an~Abelian group, then ${\mathsf E}_m(G)=D(G)-1+m|G|$, which generalizes Gao's relation. We investigate also the non-Abelian case. Moreover, we examine the asymptotic behavior of the sequences $({\mathsf E}_m(G))_{m\ge 1}$ and $(\eta_m(G))_{m\ge 1}.$ We prove a~generalization of Kemnitz's conjecture. The paper also contains a result of independent interest, which is a stronger version of a result by Ch. Delorme, O. Ordaz, D. Quiroz. At the and we apply the Davenport constant to smooth numbers and make a natural conjecture in the non-Abelian case.


title: Method comparison with repeated measurements -- Passing-Bablok regression for grouped data with errors in both variables

abstract: The Passing-Bablok and Theil-Sen regression are closely related non-parametric methods to estimate the regression coefficients and build tests on the relationship between the dependent and independent variables. Both methods rely on the slopes of the connecting lines between pairwise measurements. While Theil and Sen assume no measurement errors in the independent variable, the method from Passing and Bablok accounts for errors in both variables. Here we consider the case where multiple, e.g. repeated, measurements with errors in both variables are available for m samples. We show that in this case the slopes between repeated measurements need to be excluded to obtain an unbiased estimate. We prove that the resulting Block-Passing-Bablok estimate for grouped data is asymptotically normally distributed. If measurements of the independent variable are without error the variance of the estimate equals the variance of the Theil-Sen method with tied ranks. If both variables are measured with imprecision the result depends on the fraction of measurements between groups that fall within the range of each other. Only if no overlap between measurements of different groups occurs the variance equals again the tied ranks version. Otherwise, the variance is smaller. We explicitly compute this variance and provide a method comparison test for data with repeated measurements based on the method from Passing and Bablok for independent measurements. If repeated measurements are considered this test has a higher power to detect the true relationship between two methods.


title: SAWNet: A Spatially Aware Deep Neural Network for 3D Point Cloud Processing

abstract: Deep neural networks have established themselves as the state-of-the-art methodology in almost all computer vision tasks to date. But their application to processing data lying on non-Euclidean domains is still a very active area of research. One such area is the analysis of point cloud data which poses a challenge due to its lack of order. Many recent techniques have been proposed, spearheaded by the PointNet architecture. These techniques use either global or local information from the point clouds to extract a latent representation for the points, which is then used for the task at hand (classification/segmentation). In our work, we introduce a neural network layer that combines both global and local information to produce better embeddings of these points. We enhance our architecture with residual connections, to pass information between the layers, which also makes the network easier to train. We achieve state-of-the-art results on the ModelNet40 dataset with our architecture, and our results are also highly competitive with the state-of-the-art on the ShapeNet part segmentation dataset and the indoor scene segmentation dataset. We plan to open source our pre-trained models on github to encourage the research community to test our networks on their data, or simply use them for benchmarking purposes.


title: Electrically Tunable Flat Bands and Magnetism in Twisted Bilayer Graphene

abstract: Twisted graphene bilayers provide a versatile platform to engineer metamaterials with novel emergent properties by exploiting the resulting geometric moir\'{e} superlattice. Such superlattices are known to host bulk valley currents at tiny angles ($\alpha\approx 0.3 ^\circ$) and flat bands at magic angles ($\alpha \approx 1^\circ$). We show that tuning the twist angle to $\alpha^*\approx 0.8^\circ$ generates flat bands away from charge neutrality with a triangular superlattice periodicity. When doped with $\pm 6$ electrons per moir\'e cell, these bands are half-filled and electronic interactions produce a symmetry-broken ground state (Stoner instability) with spin-polarized regions that order ferromagnetically. Application of an interlayer electric field breaks inversion symmetry and introduces valley-dependent dispersion that quenches the magnetic order. With these results, we propose a solid-state platform that realizes electrically tunable strong correlations.


title: On a Tail Bound for Root-Finding in Randomly Growing Trees

abstract: We re-examine a lower-tail upper bound for the random variable $$X=\prod_{i=1}^{\infty}\min\left\{\sum_{k=1}^iE_k,1\right\},$$ where $E_1,E_2,\ldots\stackrel{iid}\sim\text{Exp}(1)$. This bound has found use in root-finding and seed-finding algorithms for randomly growing trees, and was initially proved as a lemma in the context of the uniform attachment tree model. We first show that $X$ has a useful representation as a compound product of uniform random variables that allows us to determine its moments and refine the existing nonasymptotic bound. Next we demonstrate that the lower-tail probability for $X$ can equivalently be written as a probability involving two independent Poisson random variables, an equivalence that yields a novel general result regarding indpendent Poissons and that also enables us to obtain tight asymptotic bounds on the tail probability of interest.


title: A Case Study: Exploiting Neural Machine Translation to Translate CUDA to OpenCL

abstract: The sequence-to-sequence (seq2seq) model for neural machine translation has significantly improved the accuracy of language translation. There have been new efforts to use this seq2seq model for program language translation or program comparisons. In this work, we present the detailed steps of using a seq2seq model to translate CUDA programs to OpenCL programs, which both have very similar programming styles. Our work shows (i) a training input set generation method, (ii) pre/post processing, and (iii) a case study using Polybench-gpu-1.0, NVIDIA SDK, and Rodinia benchmarks.


title: Trajectory Optimization on Manifolds: A Theoretically-Guaranteed Embedded Sequential Convex Programming Approach

abstract: Sequential Convex Programming (SCP) has recently gained popularity as a tool for trajectory optimization due to its sound theoretical properties and practical performance. Yet, most SCP-based methods for trajectory optimization are restricted to Euclidean settings, which precludes their application to problem instances where one must reason about manifold-type constraints (that is, constraints, such as loop closure, which restrict the motion of a system to a subset of the ambient space). The aim of this paper is to fill this gap by extending SCP-based trajectory optimization methods to a manifold setting. The key insight is to leverage geometric embeddings to lift a manifold-constrained trajectory optimization problem into an equivalent problem defined over a space enjoying a Euclidean structure. This insight allows one to extend existing SCP methods to a manifold setting in a fairly natural way. In particular, we present a SCP algorithm for manifold problems with refined theoretical guarantees that resemble those derived for the Euclidean setting, and demonstrate its practical performance via numerical experiments.


title: Quantifying Robotic Swarm Coverage

abstract: In the field of swarm robotics, the design and implementation of spatial density control laws has received much attention, with less emphasis being placed on performance evaluation. This work fills that gap by introducing an error metric that provides a quantitative measure of coverage for use with any control scheme. The proposed error metric is continuously sensitive to changes in the swarm distribution, unlike commonly used discretization methods. We analyze the theoretical and computational properties of the error metric and propose two benchmarks to which error metric values can be compared. The first uses the realizable extrema of the error metric to compute the relative error of an observed swarm distribution. We also show that the error metric extrema can be used to help choose the swarm size and effective radius of each robot required to achieve a desired level of coverage. The second benchmark compares the observed distribution of error metric values to the probability density function of the error metric when robot positions are randomly sampled from the target distribution. We demonstrate the utility of this benchmark in assessing the performance of stochastic control algorithms. We prove that the error metric obeys a central limit theorem, develop a streamlined method for performing computations, and place the standard statistical tests used here on a firm theoretical footing. We provide rigorous theoretical development, computational methodologies, numerical examples, and MATLAB code for both benchmarks.


title: On the Reliability of Wireless Virtual Reality at Terahertz (THz) Frequencies

abstract: Guaranteeing ultra reliable low latency communications (URLLC) with high data rates for virtual reality (VR) services is a key challenge to enable a dual VR perception: visual and haptic. In this paper, a terahertz (THz) cellular network is considered to provide high-rate VR services, thus enabling a successful visual perception. For this network, guaranteeing URLLC with high rates requires overcoming the uncertainty stemming from the THz channel. To this end, the achievable reliability and latency of VR services over THz links are characterized. In particular, a novel expression for the probability distribution function of the transmission delay is derived as a function of the system parameters. Subsequently, the end-to-end (E2E) delay distribution that takes into account both processing and transmission delay is found and a tractable expression of the reliability of the system is derived as a function of the THz network parameters such as the molecular absorption loss and noise, the transmitted power, and the distance between the VR user and its respective small base station (SBS). Numerical results show the effects of various system parameters such as the bandwidth and the region of non-negligible interference on the reliability of the system. In particular, the results show that THz can deliver rates up to 16.4 Gbps and a reliability of 99.999% (with a delay threshold of 30 ms) provided that the impact of the molecular absorption on the THz links, which substantially limits the communication range of the SBS, is alleviated by densifying the network accordingly.


title: A primary electron beam facility at CERN

abstract: This paper describes the concept of a primary electron beam facility at CERN, to be used for dark gauge force and light dark matter searches. The electron beam is produced in three stages: A Linac accelerates electrons from a photo-cathode up to 3.5 GeV. This beam is injected into the Super Proton Synchrotron, SPS, and accelerated up to a maximum energy of 16 GeV. Finally, the accelerated beam is slowly extracted to an experiment, possibly followed by a fast dump of the remaining electrons to another beamline. The beam parameters are optimized using the requirements of the Light Dark Matter eXperiment (LDMX) as benchmark.


title: The Robin Laplacian - spectral conjectures, rectangular theorems

abstract: The first two eigenvalues of the Robin Laplacian are investigated along with their gap and ratio. Conjectures by various authors for arbitrary domains are supported here by new results for rectangular boxes. Results for rectangular domains include that: the square minimizes the first eigenvalue among rectangles under area normalization, when the Robin parameter $\alpha \in \mathbb{R}$ is scaled by perimeter; that the square maximizes the second eigenvalue for a sharp range of $\alpha$-values; that the line segment minimizes the Robin spectral gap under diameter normalization for each $\alpha \in \mathbb{R}$; and the square maximizes the spectral ratio among rectangles when $\alpha>0$. Further, the spectral gap of each rectangle is shown to be an increasing function of the Robin parameter, and the second eigenvalue is concave with respect to $\alpha$. Lastly, the shape of a Robin rectangle can be heard from just its first two frequencies, except in the Neumann case.


title: On Selecting Stable Predictors in Time Series Models

abstract: We extend the feature selection methodology to dependent data and propose a novel time series predictor selection scheme that accommodates statistical dependence in a more typical i.i.d sub-sampling based framework. Furthermore, the machinery of mixing stationary processes allows us to quantify the improvements of our approach over any base predictor selection method (such as lasso) even in a finite sample setting. Using the lasso as a base procedure we demonstrate the applicability of our methods to simulated and several real time series datasets.


title: Ground State Solutions of the Complex Gross Pitaevskii Equation Associated to Exciton-Polariton Bose-Einstein Condensates

abstract: We investigate the existence of ground state solutions of a Gross-Pitaevskii equation modeling the dynamics of pumped Bose Einstein condensates (BEC). The main interest in such BEC comes from its important nature as macroscopic quantum system, constituting an excellent alternative to the classical condensates which are hard to realize because of the very low temperature required. Nevertheless, the Gross Pitaevskii equation governing the new condensates presents some mathematical challenges due to the presence of the pumping and damping terms. Following a self-contained approach, we prove the existence of ground state solutions of this equation under suitable assumptions: This is equivalent to say that condensation occurs in these situations. We also solve the Cauchy problem of the nonlinear Schroedinger equation and prove some corresponding laws.


title: Characterising Jupiter's dynamo radius using its magnetic energy spectrum

abstract: Jupiter's magnetic field is generated by the convection of liquid metallic hydrogen in its interior. The transition from molecular hydrogen to metallic hydrogen as temperature and pressure increase is believed to be a smooth one. As a result, the electrical conductivity in Jupiter varies continuously from being negligible at the surface to a large value in the deeper region. Thus, unlike the Earth where the upper boundary of the dynamo---the dynamo radius---is definitively located at the core-mantle boundary, it is not clear at what depth dynamo action becomes significant in Jupiter. In this paper, using a numerical model of the Jovian dynamo, we examine the magnetic energy spectrum at different depth and identify a dynamo radius below which (and away from the deep inner core) the shape of the magnetic energy spectrum becomes invariant. We find that this shift in the behaviour of the magnetic energy spectrum signifies a change in the dynamics of the system as electric current becomes important. Traditionally, a characteristic radius derived from the Lowes--Mauersberger spectrum---the Lowes radius---gives a good estimate to the Earth's core-mantle boundary. We argue that in our model, the Lowes radius provides a lower bound to the dynamo radius. We also compare the Lowes--Mauersberger spectrum in our model to that obtained from recent Juno observations. The Lowes radius derived from the Juno data is significantly lower than that obtained from our models. The existence of a stably stratified region in the neighbourhood of the transition zone might provide an explanation of this result.


title: Logically-consistent hypothesis testing in the hexagon of oppositions

abstract: Although logical consistency is desirable in scientific research, standard statistical hypothesis tests are typically logically inconsistent. In order to address this issue, previous work introduced agnostic hypothesis tests and proved that they can be logically consistent while retaining statistical optimality properties. This paper characterizes the credal modalities in agnostic hypothesis tests and uses the hexagon of oppositions to explain the logical relations between these modalities. Geometric solids that are composed of hexagons of oppositions illustrate the conditions for these modalities to be logically consistent. Prisms composed of hexagons of oppositions show how the credal modalities obtained from two agnostic tests vary according to their threshold values. Nested hexagons of oppositions summarize logical relations between the credal modalities in these tests and prove new relations.


title: Regions In a Linked Dataset For Change Detection

abstract: Linked Datasets (LDs) are constantly evolving and the applications using a Linked Dataset (LD) may face several issues such as outdated data or broken interlinks due to evolution of the dataset. To overcome these issues, the detection of changes in LDs during their evolution has proven crucial. As LDs evolve frequently, the change detection during the evolution should also be done at frequent intervals. However, due to limitation of available computational resources such as capacity to fetch data from LD and time to detect changes, the frequent change detection may not be possible with existing change detection techniques. This research proposes to explore the notion of prioritization of regions (subsets) in LDs for change detection with the aim of achieving optimal accuracy and efficient use of available computational resources. This will facilitate the detection of changes in an evolving LD at frequent intervals and will allow the applications to update their data closest to real-time data.


title: The uniform perfectness of diffeomorphism groups of open manifolds

abstract: In this paper we study the uniform perfectness, boundedness and uniform simplicity of diffeomorphism groups of compact manifolds with boundary and open manifolds and obtain some upper bounds of their diameters with respect to commutator length, those with support in balls and conjugation-generated norm.


title: Knowledge Transferring via Model Aggregation for Online Social Care

abstract: The Internet and the Web are being increasingly used in proactive social care to provide people, especially the vulnerable, with a better life and services, and their derived social services generate enormous data. However, the strict protection of privacy makes user's data become an isolated island and limits the predictive performance of standalone clients. To enable effective proactive social care and knowledge sharing within intelligent agents, this paper develops a knowledge transferring framework via model aggregation. Under this framework, distributed clients perform on-device training, and a third-party server integrates multiple clients' models and redistributes to clients for knowledge transferring among users. To improve the generalizability of the knowledge sharing, we further propose a novel model aggregation algorithm, namely the average difference descent aggregation (AvgDiffAgg for short). In particular, to evaluate the effectiveness of the learning algorithm, we use a case study on the early detection and prevention of suicidal ideation, and the experiment results on four datasets derived from social communities demonstrate the effectiveness of the proposed learning method.


title: What Do Adversarially Robust Models Look At?

abstract: In this paper, we address the open question: "What do adversarially robust models look at?" Recently, it has been reported in many works that there exists the trade-off between standard accuracy and adversarial robustness. According to prior works, this trade-off is rooted in the fact that adversarially robust and standard accurate models might depend on very different sets of features. However, it has not been well studied what kind of difference actually exists. In this paper, we analyze this difference through various experiments visually and quantitatively. Experimental results show that adversarially robust models look at things at a larger scale than standard models and pay less attention to fine textures. Furthermore, although it has been claimed that adversarially robust features are not compatible with standard accuracy, there is even a positive effect by using them as pre-trained models particularly in low resolution datasets.


title: Results of CUORE

abstract: The Cryogenic Underground Observatory for Rare Events (CUORE) at the Laboratori Nazionali del Gran Sasso, Italy, is the world's largest bolometric experiment. The detector consists of an array of 988 TeO2 crystals, for a total mass of 742 kg. CUORE is presently in data taking, searching for the neutrinoless double beta decay of 130 Te. CUORE is operational since the spring of 2017. The initial science run already allowed to provide the most stringent limit on the neutrinoless double beta decay half-life of 130Te, and to perform the most precise measurement of the two-neutrino double beta decay half-life. Up to date, we have more than doubled the collected exposure. In this talk, we presenteded the most recent results and discuss the present status of the CUORE experiment.


title: Finite size effects on the light curves of slowly-rotating neutron stars

abstract: An important question when studying the light curves produced by hot spots on the surface of rotating neutron stars is, how might the shape of the light curve be affected by relaxing some of the simplifying assumptions that one would adopt on a first treatment of the problem, such as that of a point-like spot. In this work we explore the dependence of light curves on the size and shape of a single hot spot on the surface of slowly-rotating neutron stars. More specifically, we consider two different shapes for the hot spots (circular and annular) and examine the resulting light curves as functions of the opening angle of the hot spot (for both) and width (for the latter). We find that the point-like approximation can describe light curves reasonably well, if the opening angle of the hot spot is less than $\sim 5^\circ$. Furthermore, we find that light curves from annular spots are almost the same as those of the full circular spot if the opening angle is less than $\sim 35^\circ$ independently of the hot spot's width.


title: Magnetic Vortex induced by Nonmagnetic Impurity in Ferromagnets: Magnetic Multipole and Toroidal around the Vacancy

abstract: We report our theoretical study on nucleation of a magnetic vortex around a nonmagnetic impurity doped into ferromagnets. The mechanism lies in the asymmetric Dzyaloshinskii-Moriya interaction arising from the breaking of spatial inversion symmetry by the impurity. By using the spin-wave analysis and Monte Carlo simulations, we show that the asymmetric interaction induces a magnetic vortex with nonzero vorticity $l=+1$. The vortex is stabilized even for less frustration in exchange interactions and in the absence of an external magnetic field. We also find that the magnetic vortex is characterized by magnetic multipoles according to its vorticity and helicity. We demonstrate a potential realization of such a magnetic vortex by considering a monolayer ferromagnet on a nonmagnetic substrate, which results in the magnetic monopole and toroidal dipole.


title: Teaching decision theory proof strategies using a crowdsourcing problem

abstract: Teaching how to derive minimax decision rules can be challenging because of the lack of examples that are simple enough to be used in the classroom. Motivated by this challenge, we provide a new example that illustrates the use of standard techniques in the derivation of optimal decision rules under the Bayes and minimax approaches. We discuss how to predict the value of an unknown quantity, $\theta \! \in \! \{0,1\}$, given the opinions of $n$ experts. An important example of such crowdsourcing problem occurs in modern cosmology, where $\theta$ indicates whether a given galaxy is merging or not, and $Y_1, \ldots, Y_n$ are the opinions from $n$ astronomers regarding $\theta$. We use the obtained prediction rules to discuss advantages and disadvantages of the Bayes and minimax approaches to decision theory. The material presented here is intended to be taught to first-year graduate students.


title: Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences

abstract: JavaScript has become one of the most widely used languages for Web development. However, it is challenging to ensure the correctness and reliability of Web applications written in JavaScript, due to their dynamic and event-driven features. A variety of dynamic analysis techniques for JavaScript Web applications have been proposed, but they are limited in either coverage or scalability. In this paper, we propose a model-based automated approach to achieve high code coverage in a reasonable amount of time via testing with longer event sequences. We implement our approach as the tool LJS, and perform extensive experiments on 21 publicly available benchmarks (18,559 lines of code in total). On average, LJS achieves 86.4\% line coverage in 10 minutes, which is 5.4\% higher than that of JSDep, a breadth-first search based automated testing tool enriched with partial order reduction. In particular, on large applications, the coverage of LJS is 11-18\% higher than that of JSDep. Our empirical finding supports that longer test sequences can achieve higher code coverage in JavsScript testing.


title: Taking Care of The Discretization Problem: A Comprehensive Study of the Discretization Problem and A Black-Box Adversarial Attack in Discrete Integer Domain

abstract: Numerous methods for crafting adversarial examples were proposed recently with high success rate. Since most existing machine learning based classifiers normalize images into some continuous, real vector, domain firstly, attacks often craft adversarial examples in such domain. However, "adversarial" examples may become benign after denormalizing them back into the discrete integer domain, known as the discretization problem. This problem was mentioned in some work, but has received relatively little attention. In this work, we first conduct a comprehensive study of existing methods and tools for crafting. We theoretically analyze 34 representative methods and empirically study 20 representative open source tools for crafting adversarial images. Our study reveals that the discretization problem is far more serious than originally thought. This suggests that the discretization problem should be taken into account seriously when crafting adversarial examples and measuring attack success rate. As a first step towards addressing this problem in black-box scenario, we propose a black-box method which reduces the adversarial example searching problem to a derivative-free optimization problem. Our method is able to craft adversarial images by derivative-free search in the discrete integer domain. Experimental results show that our method is comparable to recent white-box methods (e.g., FGSM, BIM and C\&W) and achieves significantly higher success rate in terms of adversarial examples in the discrete integer domain than recent black-box methods (e.g., ZOO, NES-PGD and Bandits). Moreover, our method is able to handle models that is non-differentiable and successfully break the winner of NIPS 2017 competition on defense with 95\% success rate. Our results suggest that discrete optimization algorithms open up a promising area of research into effective black-box attacks.


title: The Maestro Attack: Orchestrating Malicious Flows with BGP

abstract: We present the Maestro attack, a novel Link Flooding Attack (LFA) that leverages control-plane traffic engineering techniques to concentrate botnet-sourced Distributed Denial of Service flows on transit links. Executed from a compromised or malicious Autonomous System (AS), Maestro advertises specific-prefix routes poisoned for selected ASes to collapse inbound traffic paths onto a single target link. A greedy heuristic fed by publicly available AS relationship data iteratively builds the set of ASes to poison. Given a compromised BGP speaker with advantageous positioning relative to the target link in the Internet topology, an adversary can expect to enhance total flow density by more than 30%. For a large botnet (e.g., Mirai), that translates to augmenting a DDoS by more than a million additional infected hosts. Interestingly, the size of the adversary-controlled AS plays little role in this amplification effect. Devastating attacks on core links can be executed by small, resource-limited ASes. To understand the scope of the attack, we evaluate widespread Internet link vulnerability across several metrics, including BGP betweenness and botnet flow density. We then assess where an adversary must be positioned to execute the attack most successfully. Finally, we present effective mitigations for network operators seeking to insulate themselves from this attack.


title: The Hodge Chern character of holomorphic connections as a map of simplicial presheaves

abstract: We define a map of simplicial presheaves, the Chern character, that assigns to every sequence of composable non connection preserving isomorphisms of vector bundles with holomorphic connections an appropriate sequence of holomorphic forms. We apply this Chern character map to the Cech nerve of a good cover of a complex manifold and assemble the data by passing to the totalization to obtain a map of simplicial sets. In simplicial degree 0, this map gives a formula for the Chern character of a bundle in terms of the clutching functions. In simplicial degree 1, this map gives a formula for the Chern character of bundle maps. In each simplicial degree beyond 1, these invariants, defined in terms of the transition functions, govern the compatibilities between the invariants assigned in previous simplicial degrees. In addition to this, we also apply this Chern character to complex Lie groupoids to obtain invariants of bundles on them in terms of the simplicial data. For group actions, these invariants land in suitable complexes calculating various Hodge equivariant cohomologies. In contrast, the de Rham Chern character formula involves additional terms and will appear in a sequel paper. In a sense, these constructions build on a point of view of "characteristic classes in terms of transition functions" advocated by Raoul Bott, which has been addressed over the years in various forms and degrees, concerning the existence of formulae for the Hodge and de Rham characteristic classes of bundles solely in terms of their clutching functions.


title: Physical Models of Collective Cell Migration

abstract: Collective cell migration is a key driver of embryonic development, wound healing, and some types of cancer invasion. Here we provide a physical perspective of the mechanisms underlying collective cell migration. We begin with a catalogue of the cell-cell and cell-substrate interactions that govern cell migration, which we classify into positional and orientational interactions. We then review the physical models that have been developed to explain how these interactions give rise to collective cellular movement. These models span the sub-cellular to the supracellular scales, and they include lattice models, phase fields models, active network models, particle models, and continuum models. For each type of model, we discuss its formulation, its limitations, and the main emergent phenomena that it has successfully explained. These phenomena include flocking and fluid-solid transitions, as well as wetting, fingering, and mechanical waves in spreading epithelial monolayers. We close by outlining remaining challenges and future directions in the physics of collective cell migration.


title: Visualizing Pairing Symmetry in Nematic Superconductors using spin-polarized spectroscopy of magnetic impurities

abstract: We study the spin-polarized spectral properties of Yu-Shiba-Rusinov resonance states induced by magnetic impurities in 2- and 3-dimensional nematic superconductors: few layer Bi$_2$Te$_3$ grown on FeTe$_{0.55}$Se$_{0.45}$ (2-dimensional) and Cu$_x$Bi$_2$Se$_3$ (3-dimensional). We focus on the relationship between pairing symmetry and the topograph of spin-polarized spectroscopy. We calculate the spin-polarized local density of states (SP LDOS) and the corresponding Fourier transformation using the $T$-matrix method for both the 2- and 3-dimensional materials. Various situations with different impurity orientations and different SP LDOSs have been investigated. We find that, like the quasiparticle interference spectrum, the SP LDOS can be applied to distinguish other pairings which preserve the threefold rotation symmetry of $D_3$ point group and nematic pairings in these materials.


title: Algebraic elements over the ring of power series

abstract: We give a necessary and sufficient condition for a type of generalized power series to be algebraic over the ring of power series with coefficients in a finite field. This result extend a classical theorem of Huang-Stefanescu.


title: On the convex cones arising from classifications of partial entanglement in the three qubit system

abstract: In order to classify partial entanglement of multi-partite states, it is natural to consider the convex hulls, intersections and differences of basic convex cones obtained from partially separable states with respect to partitions of systems. In this paper, we consider convex cones consisting of X-shaped three qubit states arising in this way. The class of X-shaped states includes important classes like Greenberger-Horne-Zeilinger diagonal states. We find all the extreme rays of those convex cones to exhibit corresponding partially separable states. We also give characterizations for those cones which give rise to necessary criteria in terms of diagonal and anti-diagonal entries for general three qubit states.


title: Predicting Model Failure using Saliency Maps in Autonomous Driving Systems

abstract: While machine learning systems show high success rate in many complex tasks, research shows they can also fail in very unexpected situations. Rise of machine learning products in safety-critical industries cause an increase in attention in evaluating model robustness and estimating failure probability in machine learning systems. In this work, we propose a design to train a student model -- a failure predictor -- to predict the main model's error for input instances based on their saliency map. We implement and review the preliminary results of our failure predictor model on an autonomous vehicle steering control system as an example of safety-critical applications.


title: Predicting 3D structure and stability of RNA pseudoknots in monovalent and divalent ion solutions

abstract: RNA pseudoknots are a kind of minimal RNA tertiary structural motifs, and their three-dimensional (3D) structures and stability play essential roles in a variety of biological functions. Therefore, to predict 3D structures and stability of RNA pseudoknots is essential for understanding their functions. In the work, we employed our previously developed coarse-grained model with implicit salt to make extensive predictions and comprehensive analyses on the 3D structures and stability for RNA pseudoknots in monovalent/divalent ion solutions. The comparisons with available experimental data show that our model can successfully predict the 3D structures of RNA pseudoknots from their sequences, and can also make reliable predictions for the stability of RNA pseudoknots with different lengths and sequences over a wide range of monovalent/divalent ion concentrations. Furthermore, we made comprehensive analyses on the unfolding pathway for various RNA pseudoknots in ion solutions. Our analyses for extensive pseudokonts and the wide range of monovalent/divalent ion concentrations verify that the unfolding pathway of RNA pseudoknots is mainly dependent on the relative stability of unfolded intermediate states, and show that the unfolding pathway of RNA pseudoknots can be significantly modulated by their sequences and solution ion conditions.

categories: physics.bio-ph cond-mat.soft physics.chem-ph q-bio.BM


title: Spatial Positioning Token (SPToken) for Smart Mobility

abstract: We introduce a permissioned distributed ledger technology (DLT) design for crowdsourced smart mobility applications. This architecture is based on a directed acyclic graph architecture (similar to the IOTA tangle) and uses both Proof-of-Work and Proof-of-Position mechanisms to provide protection against spam attacks and malevolent actors. In addition to enabling individuals to retain ownership of their data and to monetize it, the architecture also is suitable for distributed privacy-preserving machine learning algorithms, is lightweight, and can be implemented in simple internet-of-things (IoT) devices. To demonstrate its efficacy, we apply this framework to reinforcement learning settings where a third party is interested in acquiring information from agents. In particular, one may be interested in sampling an unknown vehicular traffic flow in a city, using a DLT-type architecture and without perturbing the density, with the idea of realizing a set of virtual tokens as surrogates of real vehicles to explore geographical areas of interest. These tokens, whose authenticated position determines write access to the ledger, are thus used to emulate the probing actions of commanded (real) vehicles on a given planned route by "jumping" from a passing-by vehicle to another to complete the planned trajectory. Consequently, the environment stays unaffected (i.e., the autonomy of participating vehicles is not influenced by the algorithm), regardless of the number of emitted tokens. The design of such a DLT architecture is presented, and numerical results from large-scale simulations are provided to validate the proposed approach.


title: Windowed quantum arithmetic

abstract: We demonstrate a technique for optimizing quantum circuits that is analogous to classical windowing. Specifically, we show that small table lookups can allow control qubits to be iterated in groups instead of individually. We present various windowed quantum arithmetic circuits, including a windowed modular exponentiation with nested windowed modular multiplications, which have lower Toffoli counts than previous work at register sizes ranging from tens of qubits to thousands of qubits.


title: Long-range triplet proximity effect in multiply connected ferromagnet-superconductor hybrids

abstract: Applying the linearized Usadel equations, we consider the nucleation of superconductivity in multiply connected mesoscopic superconductor/ferromagnet (S/F) hybrids such as a thin superconducting ring on a ferromagnet with a uniform in-plane magnetization M and a spin-active S/F interface. We demonstrate that the exchange field in F provokes a switching between superconducting states with different vorticities which may increase the critical temperature ( Tc ) of the superconductor in a magnetic field. We study the interplay between oscillations in Tc due to the Little--Parks effect and oscillations in Tc induced by the exchange field. Furthermore, we analyse the influence of long-range spin-triplet correlations on the switching between different vorticities.


title: Thermal Diffusion and Quantum Chaos in Neutral Magnetized Plasma

abstract: We calculate the thermal diffusion constant $D_T$ and butterfly velocity $v_B$ in neutral magnetized plasma using holographic magnetic brane background. We find the thermal diffusion constant satisfies Blake's bound. The constant in the bound $D_T2\pi T/v_B^2$ is a decreasing function of magnetic field. It approaches one half in the large magnetic field limit. We also find the existence of a special point defined by Lyapunov exponent and butterfly velocity on which pole-skipping phenomenon occurs.


title: Learning Compact Neural Networks Using Ordinary Differential Equations as Activation Functions

abstract: Most deep neural networks use simple, fixed activation functions, such as sigmoids or rectified linear units, regardless of domain or network structure. We introduce differential equation units (DEUs), an improvement to modern neural networks, which enables each neuron to learn a particular nonlinear activation function from a family of solutions to an ordinary differential equation. Specifically, each neuron may change its functional form during training based on the behavior of the other parts of the network. We show that using neurons with DEU activation functions results in a more compact network capable of achieving comparable, if not superior, performance when is compared to much larger networks.


title: An Online Stochastic Kernel Machine for Robust Signal Classification

abstract: We present a novel variation of online kernel machines in which we exploit a consensus based optimization mechanism to guide the evolution of decision functions drawn from a reproducing kernel Hilbert space, which efficiently models the observed stationary process.


title: Learning to Memorize in Neural Task-Oriented Dialogue Systems

abstract: In this thesis, we leverage the neural copy mechanism and memory-augmented neural networks (MANNs) to address existing challenge of neural task-oriented dialogue learning. We show the effectiveness of our strategy by achieving good performance in multi-domain dialogue state tracking, retrieval-based dialogue systems, and generation-based dialogue systems. We first propose a transferable dialogue state generator (TRADE) that leverages its copy mechanism to get rid of dialogue ontology and share knowledge between domains. We also evaluate unseen domain dialogue state tracking and show that TRADE enables zero-shot dialogue state tracking and can adapt to new few-shot domains without forgetting the previous domains. Second, we utilize MANNs to improve retrieval-based dialogue learning. They are able to capture dialogue sequential dependencies and memorize long-term information. We also propose a recorded delexicalization copy strategy to replace real entity values with ordered entity types. Our models are shown to surpass other retrieval baselines, especially when the conversation has a large number of turns. Lastly, we tackle generation-based dialogue learning with two proposed models, the memory-to-sequence (Mem2Seq) and global-to-local memory pointer network (GLMP). Mem2Seq is the first model to combine multi-hop memory attention with the idea of the copy mechanism. GLMP further introduces the concept of response sketching and double pointers copying. We show that GLMP achieves the state-of-the-art performance on human evaluation.


title: Probability of radiation of twisted photons by cold relativistic particle bunches

abstract: The probability to record a twisted photon produced by a cold relativistic particle bunch of charged particles is derived. The radiation of twisted photons by such particle bunches in stationary electromagnetic fields and in propagating electromagnetic waves is investigated. It is shown that the incoherent radiation by bunches of particles traversing normally an isotropic dispersive medium (the edge, transition, and Vavilov-Cherenkov radiations) and by bunches moving in a helical undulator does not depend on the azimuthal distribution of particles in the bunch and is the same as for round bunches. As for planar undulators, the incoherent radiation by particle bunches is the same as for the bunches symmetric under reflection with respect to the axis of a twisted photon detector. At high energies of recorded twisted photons, this property is universal and holds for the forward incoherent radiation by any cold relativistic particle bunch. The coherent radiation of twisted photons by such particle bunches obeys the property that we call the addition rule. This rule provides a simple means to describe the properties of coherent radiation of twisted photons. Furthermore, the strong addition rule is established for the coherent radiation by sufficiently long helical bunches. The use of this rule allows one to elaborate superradiant pure sources of twisted photons. The coherent radiation by helical bunches is considered for the edge, transition, and Vavilov-Cherenkov processes and for particles moving in undulators and plane laser waves with circular polarization. In these cases, the sum rules are deduced for the total probability to record a twisted photon and for the projection of the total angular momentum per photon. The explicit expressions for both incoherent and coherent interference factors are derived for several simple bunch profiles.


title: DivGraphPointer: A Graph Pointer Network for Extracting Diverse Keyphrases

abstract: Keyphrase extraction from documents is useful to a variety of applications such as information retrieval and document summarization. This paper presents an end-to-end method called DivGraphPointer for extracting a set of diversified keyphrases from a document. DivGraphPointer combines the advantages of traditional graph-based ranking methods and recent neural network-based approaches. Specifically, given a document, a word graph is constructed from the document based on word proximity and is encoded with graph convolutional networks, which effectively capture document-level word salience by modeling long-range dependency between words in the document and aggregating multiple appearances of identical words into one node. Furthermore, we propose a diversified point network to generate a set of diverse keyphrases out of the word graph in the decoding process. Experimental results on five benchmark data sets show that our proposed method significantly outperforms the existing state-of-the-art approaches.


title: Flavor signatures of complex anomalous $tcZ$ couplings

abstract: In this work we study the effects of anomalous $tcZ$ couplings. Such couplings would potentially affect several neutral current decays of $K$ and $B$ mesons via $Z$-penguin diagrams. Using constraints from relevant observables in $K$ and $B$ sectors, we find that the 2$\sigma$ upper bound on the branching ratio of ${\cal B}(t \to c Z)$ is $1.47 \times 10^{-5}$ for real coupling and $1.91 \times 10^{-4}$ for complex coupling. The current experimental upper bound from ATLAS and CMS collaborations on the branching ratio of $t \to c Z$ are $2.4 \times 10^{-4}$ and $4.9\times 10^{-4}$ at $95\%$ C.L., respectively. Hence the possibility of observation of $t \to c Z$ decay at the level of $10^{-4}$ would imply the anomalous couplings to be complex. Such complex couplings should also show up its presence in other related decays. We find that an order of magnitude enhancement is possible in the branching ratio of $K_L \to \pi^0 \nu \bar{\nu}$. Further, the complex $tcZ$ coupling can also provide large enhancements in many $CP$ violating angular observables in $B \to K^* \mu^+ \mu^-$ decay.


title: On some properties of the $\alpha$-spectral radius of the $k$-uniform hypergraph

abstract: In this paper we show how the $\alpha$-spectral radius changes under the edge grafting operations on connected $k$-uniform hypergraphs. We characterize the extremal hypertree for $\alpha$-spectral radius among $k$-uniform non-caterpillar hypergraphs with given order, size and diameter. we also characerize the second largest $\alpha$-spectral radius among all $k$-uniform supertrees on $n$ vertices by two methods.


title: Grothendieck polynomials and the Boson-Fermion correspondence

abstract: In this paper we study algebraic and combinatorial properties of Grothendieck polynomials and their dual polynomials by means of the Boson-Fermion correspondence. We show that these symmetric functions can be expressed as a vacuum expectation value of some operator that is written in terms of free-fermions. By using the free-fermionic expressions, we obtain alternative proofs of determinantal formulas and Pieri type formulas.


title: Uncertainty quantification using periodic random variables

abstract: Many studies in uncertainty quantification have been carried out under the assumption of an input random field in which a countable number of independent random variables are each uniformly distributed on an interval, with these random variables entering linearly in the input random field (the so-called affine model). In this paper we consider an alternative model of the random field, in which the random variables have the same uniform distribution on an interval, but the random variables enter the input field as periodic functions. The field is constructed in such a way as to have the same mean and covariance function as the affine random field. Higher moments differ from the affine case, but in general the periodic model seems no less desirable. The new model of the random field is used to compute expected values of a quantity of interest arising from an elliptic PDE with random coefficients. The periodicity is shown to yield a higher order cubature convergence rate of $\mathcal{O}(n^{-1/p})$ independently of the dimension when used in conjunction with rank-1 lattice cubature rules constructed using suitably chosen smoothness-driven product and order dependent weights, where $n$ is the number of lattice points and $p$ is the summability exponent of the fluctuations in the series expansion of the random coefficient. We present numerical examples that assess the performance of our method.


title: Periodic Table of SYK and supersymmetric SYK

abstract: We develop a systematic and unified random matrix theory to classify Sachdev-Ye-Kitaev (SYK) and supersymmetric (SUSY) SYK models and also work out the structure of the energy levels in one periodic table. The SYK with even $q$- and SUSY SYK with odd $q$-body interaction, $N$ even or odd number of Majorana fermions are put on the same footing in the minimal Hilbert space, $N\pmod 8$ and $q\pmod 4$ double Bott periodicity are identified. Exact diagonalizations are performed to study both the bulk energy level statistics and hard edge behaviours. A new moment ratio of the smallest positive eigenvalue is introduced to determine hard edge index efficiently. Excellent agreements between the ED results and the symmetry classifications are demonstrated. Our complete and systematic methods can be transformed to map out more complicated periodic tables of SYK models with more degree of freedoms, tensor models and symmetry protected topological phases. Possible classification of charge neutral quantum black holes are hinted.


title: Structured Summarization of Academic Publications

abstract: We propose SUSIE, a novel summarization method that can work with state-of-the-art summarization models in order to produce structured scientific summaries for academic articles. We also created PMC-SA, a new dataset of academic publications, suitable for the task of structured summarization with neural networks. We apply SUSIE combined with three different summarization models on the new PMC-SA dataset and we show that the proposed method improves the performance of all models by as much as 4 ROUGE points.


title: Is Free Choice Permission Admissible in Classical Deontic Logic?

abstract: In this paper, we explore how, and if, free choice permission (FCP) can be accepted when we consider deontic conflicts between certain types of permissions and obligations. As is well known, FCP can license, under some minimal conditions, the derivation of an indefinite number of permissions. We discuss this and other drawbacks and present six Hilbert-style classical deontic systems admitting a guarded version of FCP. The systems that we present are not too weak from the inferential viewpoint, as far as permission is concerned, and do not commit to weakening any specific logic for obligations.


title: Explaining Machine Learning Classifiers through Diverse Counterfactual Explanations

abstract: Post-hoc explanations of machine learning models are crucial for people to understand and act on algorithmic predictions. An intriguing class of explanations is through counterfactuals, hypothetical examples that show people how to obtain a different prediction. We posit that effective counterfactual explanations should satisfy two properties: feasibility of the counterfactual actions given user context and constraints, and diversity among the counterfactuals presented. To this end, we propose a framework for generating and evaluating a diverse set of counterfactual explanations based on determinantal point processes. To evaluate the actionability of counterfactuals, we provide metrics that enable comparison of counterfactual-based methods to other local explanation methods. We further address necessary tradeoffs and point to causal implications in optimizing for counterfactuals. Our experiments on four real-world datasets show that our framework can generate a set of counterfactuals that are diverse and well approximate local decision boundaries, outperforming prior approaches to generating diverse counterfactuals. We provide an implementation of the framework at https://github.com/microsoft/DiCE.


title: A Reinforcement Learning Approach for Intelligent Traffic Signal Control at Urban Intersections

abstract: Ineffective and inflexible traffic signal control at urban intersections can often lead to bottlenecks in traffic flows and cause congestion, delay, and environmental problems. How to manage traffic smartly by intelligent signal control is a significant challenge in urban traffic management. With recent advances in machine learning, especially reinforcement learning (RL), traffic signal control using advanced machine learning techniques represents a promising solution to tackle this problem. In this paper, we propose a RL approach for traffic signal control at urban intersections. Specifically, we use neural networks as Q-function approximator (a.k.a. Q-network) to deal with the complex traffic signal control problem where the state space is large and the action space can be discrete. The state space is defined based on real-time traffic information, i.e. vehicle position, direction and speed. The action space includes various traffic signal phases which are critical in generating a reasonable and realistic control mechanism, given the prominent spatial-temporal characteristics of urban traffic. In the simulation experiment, we use SUMO, an open source traffic simulator, to construct realistic urban intersection settings. Moreover, we use different traffic patterns, such as major/minor road traffic, through/left-turn lane traffic, tidal traffic, and varying demand traffic, to train a generalized traffic signal control model that can be adapted to various traffic conditions. The simulation results demonstrate the convergence and generalization performance of our RL approach as well as its significant benefits in terms of queue length and wait time over several benchmarking methods in traffic signal control.


title: Locally Self-Adjusting Hypercubic Networks

abstract: In a prior work (ICDCS 2017), we presented a distributed self-adjusting algorithm DSG for skip graphs. DSG performs topological adaption to communication pattern to minimize the average routing costs between communicating nodes. In this work, we present a distributed self-adjusting algorithm (referred to as DyHypes) for topological adaption in hypercubic networks. One of the major differences between hypercubes and skip graphs is that hypercubes are more rigid in structure compared skip graphs. This property makes self-adjustment significantly different in hypercubic networks than skip graphs. Upon a communication between an arbitrary pair of nodes, DyHypes transforms the network to place frequently communicating nodes closer to each other to maximize communication efficiency, and uses randomization in the transformation process to speed up the transformation and reduce message complexity. We show that, as compared to DSG, DyHypes reduces the transformation cost by a factor of $O(\log n)$, where $n$ is the number of nodes involved in the transformation. Moreover, despite achieving faster transformation with lower message complexity, the combined cost (routing and transformation) of DyHypes is at most a $\log \log n$ factor more than that of any algorithm that conforms to the computational model adopted for this work. Similar to DSG, DyHypes is fully decentralized, conforms to the $\mathcal{CONGEST}$ model, and requires $O(\log n)$ bits of memory for each node, where $n$ is the total number of nodes.


title: FORECAST-CLSTM: A New Convolutional LSTM Network for Cloudage Nowcasting

abstract: With the highly demand of large-scale and real-time weather service for public, a refinement of short-time cloudage prediction has become an essential part of the weather forecast productions. To provide a weather-service-compliant cloudage nowcasting, in this paper, we propose a novel hierarchical Convolutional Long-Short-Term Memory network based deep learning model, which we term as FORECAST-CLSTM, with a new Forecaster loss function to predict the future satellite cloud images. The model is designed to fuse multi-scale features in the hierarchical network structure to predict the pixel value and the morphological movement of the cloudage simultaneously. We also collect about 40K infrared satellite nephograms and create a large-scale Satellite Cloudage Map Dataset(SCMD). The proposed FORECAST-CLSTM model is shown to achieve better prediction performance compared with the state-of-the-art ConvLSTM model and the proposed Forecaster Loss Function is also demonstrated to retain the uncertainty of the real atmosphere condition better than conventional loss function.


title: Surface Water Formation on the Natural Surface under Super-saturation: from Local Water Balance to Air Pollutant Deposition

abstract: Heterogeneous nucleation and subsequent growth of surface water occur on the natural substrate when the water vapor concentration reached the point of super-saturation. This study focuses on the parameterization of super-saturation on the canopy-air interface by field observations monitoring surface water formation (SWF) such as dew and frost in the evergreen shrub at an urban cite during autumn and winter in 2015-2017. Here we show that both the interfacial and vertical temperature differences ranged from 1 to 3 K and were necessary but not sufficient for super-saturated condensation on the natural surface. Excessive supplies of moisture must exist, continuously contribute to the growth of the condensed water embryos, originate from both the local and the external sources such as evapotranspiration and atmospheric advection driven by the reduced air pressure, cause SWF not only on the ground soil but also on the vegetation canopy at 1-2 m height. The super-saturation ratio is mainly determined by the coefficient of thermophoresis deposition, which approaches to 1. SWF on the natural surface is not only an indicator but also a weak cleaner of air pollution. The downward thermophoresis deposition of fine particle and droplets favors SWF and the scavenging of air pollutants. The removal efficiency of the deposition flux during SWF event for [SO42-+NO3-] is estimated by ~0.3 mmol (per [Ca2+] meq)/m2(per leaf area).


title: On the Padovan sequence

abstract: The aim of this article is to give some properties of the so-called Padovan sequence $(T_n)_{n \ge 0}$ defined by $$ T_{n+3}=T_{n+1}+T_n \forall n \in \mathbb{N}, T_1=T_2=T_3=1$$ that is divisibility properties, periods, identities.


title: The lower tail of the half-space KPZ equation

abstract: We establish the first tight bound on the lower tail probability of the half-space KPZ equation with Neumann boundary parameter $A = -1/2$ and narrow-wedge initial data. When the tail depth is of order $T^{2/3}$, the lower bound demonstrates a crossover between a regime of super-exponential decay with exponent $\frac{5}{2}$ (and leading pre-factor $\frac{2}{15 \pi}T^{1/3}$) and a regime with exponent $3$ (and leading pre-factor $\frac{1}{24}$); the upper bound demonstrates a crossover between a regime with exponent $\frac{3}{2}$ (and arbitrarily small pre-factor) and a regime with exponent $3$ (and leading pre-factor $\frac{1}{24}$). We show that, given a crude leading-order asymptotic in the Stokes region (Definition $1.7$, first defined in (Duke Math J., [Bot17])) for the Ablowitz-Segur solution to the Painlev\'e II equation, the upper bound on the lower tail probability can be improved to demonstrate the same crossover as the lower bound. We also establish novel bounds on the large deviations of the GOE point process.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: The Partial Ricci Flow on $\mathfrak{g}$-foliations

abstract: In the paper we introduce new metric structures on $\mathfrak{g}$-foliations that are less rigid than the well-known structures: almost contact and 3-quasi-Sasakian structures as well as $f$-structures with parallelizable kernel and almost para-$\phi$-structures with complemented frames. We discuss the properties of the new structures in order to demonstrate similarities with the corresponding classical structures. Then using the flow of metrics on a $\mathfrak{g}$-foliation, we build deformation retraction of our structures with positive partial Ricci curvature onto the subspace of the aforementioned classical structures.


title: Property Directed Self Composition

abstract: We address the problem of verifying k-safety properties: properties that refer to k-interacting executions of a program. A prominent way to verify k-safety properties is by self composition. In this approach, the problem of checking k-safety over the original program is reduced to checking an "ordinary" safety property over a program that executes k copies of the original program in some order. The way in which the copies are composed determines how complicated it is to verify the composed program. We view this composition as provided by a semantic self composition function that maps each state of the composed program to the copies that make a move. Since the "quality" of a self composition function is measured by the ability to verify the safety of the composed program, we formulate the problem of inferring a self composition function together with the inductive invariant needed to verify safety of the composed program, where both are restricted to a given language. We develop a property-directed inference algorithm that, given a set of predicates, infers composition-invariant pairs expressed by Boolean combinations of the given predicates, or determines that no such pair exists. We implemented our algorithm and demonstrate that it is able to find self compositions that are beyond reach of existing tools.


title: A note on the connection between non-additive entropy and $h$-derivative

abstract: In order to study as a whole a wide part of entropy measures, we introduce a two-parameter non-extensive entropic form with respect to the $h$-derivative, which generalizes the conventional Newton--Leibniz calculus. This new entropy, $S_{h,h'}$, is proved to describe the non-extensive systems and recover several types of well-known non-extensive entropic expressions, such as the Tsallis entropy, the Abe entropy, the Shafee entropy, the Kaniadakis entropy and even the classical Boltzmann--Gibbs one. As a generalized entropy, its corresponding properties are also analyzed.


title: First bronze statue of Prof. Hideki Yukawa in Kochi

abstract: The first bronze statue of Prof. Hideki Yukawa, the first Nobel Prize laureate in Japan, is found to have been built in March 1954 in the Yasu elementary school in the countryside of Kochi pref cture in Shikoku Island, Japan. It is also found that the bust sculpture was unveiled with the attendance of Prof. Yukawa and his wife, who were invited by the local people, soon after their coming back to Japan from USA where they stayed for five years for research. This bust bronze statue was contributed by the local people of the elementary school more than 32 years earlier than the well-known one of Prof. Yukawa built in 1986 by the Yukawa foundation in front of the Yukawa Hall, Yukawa Institute for Theoretical Physics, Kyoto University in Kyoto city. Why the statue was built in Kochi is unveiled and the historical background is discussed.


title: Mass shifts of $^3P_J$ heavy quarkonia due to the effect of two-gluon annihilation

abstract: In this work, we calculate the nonrelativistic asymptotic behavior of the amplitudes of $q\overline{q}\rightarrow 2g \rightarrow q\overline{q}$ in the leading order of $\alpha_s$ (LO-$\alpha_s$) with $q\overline{q}$ in the $^3P_J$ channels. In the practical calculation we take the momenta of quarks and antiquarks on-shell and expand the amplitudes on the three-momentum of the quarks and antiquarks to order 6 and get three nonzero terms. The imaginary parts of the first term and the second term are the old. The real parts of the results have IR divergence. When applying the results to the heavy quarkonia, the corresponding amplitude of $q\overline{q}\rightarrow1g\rightarrow q\overline{q}$ with $q\overline{q}$ in the color octet $^3S_1$ channel is considered to absorb the IR divergence in a unitary way in the leading order of $v$ (LO-$v$). The finial results can be used to estimate the mass shifts of the $^3P_J$ heavy quarkonia due to the effect of two-gluon annihilation. The numerical estimation shows that the contributions to the mass shifts of $\chi_{c0,c1,c2}$ are about $1.23\sim1.58$ MeV, $1.57\sim1.86$ MeV and $5.92\sim5.45$ MeV when taking $\alpha_s\approx 0.25\sim0.35$.


title: An Objective Evaluation Metric for image fusion based on Del Operator

abstract: In this paper, a novel objective evaluation metric for image fusion is presented. Remarkable and attractive points of the proposed metric are that it has no parameter, the result is probability in the range of [0, 1] and it is free from illumination dependence. This metric is easy to implement and the result is computed in four steps: (1) Smoothing the images using Gaussian filter. (2) Transforming images to a vector field using Del operator. (3) Computing the normal distribution function ({\mu},{\sigma}) for each corresponding pixel, and converting to the standard normal distribution function. (4) Computing the probability of being well-behaved fusion method as the result. To judge the quality of the proposed metric, it is compared to thirteen well-known non-reference objective evaluation metrics, where eight fusion methods are employed on seven experiments of multimodal medical images. The experimental results and statistical comparisons show that in contrast to the previously objective evaluation metrics the proposed one performs better in terms of both agreeing with human visual perception and evaluating fusion methods that are not performed at the same level.


title: A 2D dilated residual U-Net for multi-organ segmentation in thoracic CT

abstract: Automatic segmentation of organs-at-risk (OAR) in computed tomography (CT) is an essential part of planning effective treatment strategies to combat lung and esophageal cancer. Accurate segmentation of organs surrounding tumours helps account for the variation in position and morphology inherent across patients, thereby facilitating adaptive and computer-assisted radiotherapy. Although manual delineation of OARs is still highly prevalent, it is prone to errors due to complex variations in the shape and position of organs across patients, and low soft tissue contrast between neighbouring organs in CT images. Recently, deep convolutional neural networks (CNNs) have gained tremendous traction and achieved state-of-the-art results in medical image segmentation. In this paper, we propose a deep learning framework to segment OARs in thoracic CT images, specifically for the: heart, esophagus, trachea and aorta. Our approach employs dilated convolutions and aggregated residual connections in the bottleneck of a U-Net styled network, which incorporates global context and dense information. Our method achieved an overall Dice score of 91.57% on 20 unseen test samples from the ISBI 2019 SegTHOR challenge.


title: Effects of the Coulomb interaction on parameters of resonance states in mirror three-cluster nuclei

abstract: We investigate how the Coulomb interaction affects the energy $E$ and width $\Gamma$ of resonance states in mirror nuclei. We employ a three-cluster microscopic model to determine position of resonance states in two- and three-body continua. Two parameters are introduced to quantify effects of the Coulomb interactions. As the energy and width of the corresponding resonance states of mirror nuclei are displayed on an $E$-$\Gamma$ plane, these parameters determine a rotation and a dilatation. With the help of these parameters we found resonance states with strong, small and medium effects of the Coulomb interaction. We also found two different scenarios of the motion of resonance states due to the Coulomb interaction. The first standard (major) scenario represent resonance states with the larger energy and larger width than their counterparts have. The second rear scenario includes resonance states with the larger energy but smaller width.


title: A few results concerning the Schur stability of the Hadamard powers and the Hadamard products of complex polynomials

abstract: For a complex polynomial \[ f\left( s\right) =s^{n}+a_{n-1}s^{n-1}+\ldots+a_{1}s+a_{0}% \] and for a rational number $p$, we consider the Schur stability problem of the $p$-th Hadamard power of $f$ \[ f^{\left[ p\right] }\left( s\right) =s^{n}+a_{n-1}^{p}s^{n-1}+\ldots +a_{1}^{p}s+a_{0}^{p}\text{.}% \] We show that there exist two numbers $p^{\ast}\geq0\geq p_{\ast}$ such that $f^{\left[ p\right] }$ is Schur stable for every $p>p^{\ast}$ and is not Schur stable for $p<p_{\ast}$ (or vice versa, depending on $f$). Also, we give simple sufficient conditions for the Schur stability of the Hadamard product of two complex polynomials. Numerical examples complete and illustrate the results.


title: Symmetries of the Simply-Laced Quantum Connections and Quantisation of Quiver Varieties

abstract: We will exhibit a group of symmetries of the simply-laced quantum connections, generalising the quantum/Howe duality relating KZ and the Casimir connection. These symmetries arise as a quantisation of the classical symmetries of the simply-laced isomonodromy systems, which in turn generalise the Harnad duality. The quantisation of the classical symmetries involves constructing the quantum Hamiltonian reduction of the representation variety of any simply-laced quiver, both in filtered and in deformation quantisation.


title: Search for the electroweak diboson production in association with a high-mass dijet system in semileptonic final states in $pp$ collisions at $\sqrt{s}=13$ TeV with the ATLAS detector

abstract: This paper reports on a search for the electroweak diboson ($WW/WZ/ZZ$) production in association with a high-mass dijet system, using data from proton-proton collisions at a center-of-mass energy of $\sqrt{s}=13$ TeV. The data, corresponding to an integrated luminosity of 35.5 fb$^{-1}$, were recorded with the ATLAS detector in 2015 and 2016 at the Large Hadron Collider. The search is performed in final states in which one boson decays leptonically, and the other boson decays hadronically. The hadronically decaying $W/Z$ boson is reconstructed as either two small-radius jets or one large-radius jet using jet substructure techniques. The electroweak production of $WW/WZ/ZZ$ in association with two jets is measured with an observed (expected) significance of 2.7 (2.5) standard deviations, and the fiducial cross section is measured to be $45.1 \pm 8.6(\mathrm{stat.}) ^{+15.9} _{-14.6} (\mathrm{syst.})$ fb.


title: Plus minus analogues for affine Tverberg type results

abstract: The classical 1966 theorem of Tverberg with its numerous variations was and still is a motivating force behind many important developments in convex and computational geometry as well as the testing ground for methods from equivariant algebraic topology. In 2018, B\'ar\'any and Sober\'on presented a new variation, the "Tverberg plus minus theorem." In this paper, we give a new proof of the Tverberg plus minus theorem, by using a projective transformation. The same tool allows us to derive plus minus analogues of all known affine Tverberg type results. In particular, we prove a plus minus analogue of the optimal colored Tverberg theorem.


title: Spectral risk measures and uncertainty

abstract: Risk assessment under different possible scenarios is a source of uncertainty that may lead to concerning financial losses. We address this issue, first, by adapting a robust framework to the class of spectral risk measures. Second, we propose a Deviation-based approach to quantify uncertainty. Furthermore, the theory is illustrated with a practical case study from NASDAQ index.


title: Uniqueness of very weak solutions for a fractional filtration equation

abstract: We prove existence and uniqueness of distributional, bounded, nonnegative solutions to a fractional filtration equation in ${\mathbb R}^d$. With regards to uniqueness, it was shown even for more general equations in [19] that if two bounded solutions $u,w$ of (1.1) satisfy $u-w\in L^1({\mathbb R}^d\times(0,T))$, then $u=w$. We obtain here that this extra assumption can in fact be removed and establish uniqueness in the class of merely bounded solutions, provided they are nonnegative. Indeed, we show that a minimal solution exists and that any other solution must coincide with it. As a consequence, distributional solutions have locally-finite energy.


title: Geometric Pose Affordance: 3D Human Pose with Scene Constraints

abstract: Full 3D estimation of human pose from a single image remains a challenging task despite many recent advances. In this paper, we explore the hypothesis that strong prior information about scene geometry can be used to improve pose estimation accuracy. To tackle this question empirically, we have assembled a novel $\textbf{Geometric Pose Affordance}$ dataset, consisting of multi-view imagery of people interacting with a variety of rich 3D environments. We utilized a commercial motion capture system to collect gold-standard estimates of pose and construct accurate geometric 3D CAD models of the scene itself. To inject prior knowledge of scene constraints into existing frameworks for pose estimation from images, we introduce a novel, view-based representation of scene geometry, a $\textbf{multi-layer depth map}$, which employs multi-hit ray tracing to concisely encode multiple surface entry and exit points along each camera view ray direction. We propose two different mechanisms for integrating multi-layer depth information pose estimation: input as encoded ray features used in lifting 2D pose to full 3D, and secondly as a differentiable loss that encourages learned models to favor geometrically consistent pose estimates. We show experimentally that these techniques can improve the accuracy of 3D pose estimates, particularly in the presence of occlusion and complex scene geometry.


title: Earlier Attention? Aspect-Aware LSTM for Aspect-Based Sentiment Analysis

abstract: Aspect-based sentiment analysis (ABSA) aims to predict fine-grained sentiments of comments with respect to given aspect terms or categories. In previous ABSA methods, the importance of aspect has been realized and verified. Most existing LSTM-based models take aspect into account via the attention mechanism, where the attention weights are calculated after the context is modeled in the form of contextual vectors. However, aspect-related information may be already discarded and aspect-irrelevant information may be retained in classic LSTM cells in the context modeling process, which can be improved to generate more effective context representations. This paper proposes a novel variant of LSTM, termed as aspect-aware LSTM (AA-LSTM), which incorporates aspect information into LSTM cells in the context modeling stage before the attention mechanism. Therefore, our AA-LSTM can dynamically produce aspect-aware contextual representations. We experiment with several representative LSTM-based models by replacing the classic LSTM cells with the AA-LSTM cells. Experimental results on SemEval-2014 Datasets demonstrate the effectiveness of AA-LSTM.


title: Butterfly: One-step Approach towards Wildly Unsupervised Domain Adaptation

abstract: In unsupervised domain adaptation (UDA), classifiers for the target domain (TD) are trained with clean labeled data from the source domain (SD) and unlabeled data from TD. However, in the wild, it is difficult to acquire a large amount of perfectly clean labeled data in SD given limited budget. Hence, we consider a new, more realistic and more challenging problem setting, where classifiers have to be trained with noisy labeled data from SD and unlabeled data from TD -- we name it wildly UDA (WUDA). We show that WUDA ruins all UDA methods if taking no care of label noise in SD, and to this end, we propose a Butterfly framework, a powerful and efficient solution to WUDA. Butterfly maintains four deep networks simultaneously, where two take care of all adaptations (i.e., noisy-to-clean, labeled-to-unlabeled, and SD-to-TD-distributional) and then the other two can focus on classification in TD. As a consequence, Butterfly possesses all the conceptually necessary components for solving WUDA. Experiments demonstrate that, under WUDA, Butterfly significantly outperforms existing baseline methods.


title: Equivariant one-parameter formal deformations of Hom-Leibniz algebras

abstract: Aim of this paper is to define a new type of cohomology for multiplicative Hom-Leibniz algebras which controls deformations of Hom-Leibniz algebra structure. The cohomology and the associated deformation theory for Hom-Leibniz algebras as developed here are also extended to equvariant context, under the presence of finite group actions on Hom-Leibniz algebras.


title: Nanoscale Communication: State-of-Art and Recent Advances

abstract: The engineering community is witnessing a new frontier in the communication industry. Among others, the tools provided by nanotechnologies enable the development of novel nanosensors and nanomachines. On the one hand, nanosensors are capable of detecting events with unprecedented accuracy. On the other hand, nanomachines are envisioned to accomplish tasks ranging from computing and data storing to sensing and actuation. Recently, in vivo wireless nanosensor networks (iWNSNs) have been presented to provide fast and accurate disease diagnosis and treatment. These networks are capable of operating inside the human body in real time and will be of great benefit for medical monitoring and medical implant communication. Despite the fact that nanodevice technology has been witnessing great advancements, enabling the communication among nanomachines is still a major challenge.


title: Classifying space for quantum contextuality

abstract: We construct a topological space to study contextuality in quantum mechanics. The resulting space is a classifying space in the sense of algebraic topology. Cohomological invariants of our space correspond to physical quantities relevant to the study of contextuality. Within this framework the Wigner function of a quantum state can be interpreted as a class in the twisted $K$-theory of the classifying space.


title: Late-time-accelerated expansion arisen from gauge fields in an anisotropic background and a fruitful trick for Noether's approach

abstract: In this paper, a modified teleparallel gravity action containing a coupling between a scalar field potential and magnetism, in anisotropic and homogeneous backgrounds, is investigated through Noether symmetry approach. The focus of this work is to describe late-time-accelerated expansion. Since finding analytical solutions carrying all conserved currents emerged by Noether symmetry approach, is very difficult, hence regularly in the literature, the authors split the total symmetry into sub-symmetries and then select, usually, some of them to be carried by the solutions. This manner limits the forms of unknown functions obtained. However, in ref. [68], B.N.S. approach was proposed in order to solve such problems but its main motivation was carrying more conserved currents by solutions. In this paper, by eliminating the aforementioned limitation as much as possible, a trick leading to some graceful forms of unknown functions is suggested. Through this fruitful approach, the solutions may carry more conserved currents than usual ways and maybe new forms of symmetries. I named this new approach to be CSSS-trick (Combination of Sub-symmetries through Special Selections). With this approach, it is demonstrated that the unified dark matter potential is deduced by the gauge fields. Utilizing the $\mathfrak{B}\text{-function}$ method, a detailed data analysis of results obtained yielding perfect agreements with recent observational data are performed. And finally, the Wheeler-De Witt (WDW) equation is discussed to demonstrate recovering the Hartle criterion due to the oscillating feature of the wave function of the universe.


title: Scintillator Surface Detector simulations for AugerPrime

abstract: Knowledge of the mass composition of ultra-high-energy cosmic rays is understood to be a salient component in answering the open questions in the field. The AugerPrime upgrade of the Pierre Auger Observatory aims to enhance its surface detector with the hardware necessary to reconstruct primary mass for individual events. This involves placing a scintillation-based detector with an active area of $3.8 \,\mathrm{m}^2$ on top of each existing water-Cherenkov detector in its surface detector array. Here, we present the methods for simulating this Scintillator Surface Detector. These simulations have and will continue to aid in the interpretation of measurements with AugerPrime as well as the development and improvement of event reconstruction algorithms including primary mass.


title: Indoor Signal Focusing with Deep Learning Designed Reconfigurable Intelligent Surfaces

abstract: Reconfigurable Intelligent Surfaces (RISs) comprised of tunable unit elements have been recently considered in indoor communication environments for focusing signal reflections to intended user locations. However, the current proofs of concept require complex operations for the RIS configuration, which are mainly realized via wired control connections. In this paper, we present a deep learning method for efficient online wireless configuration of RISs when deployed in indoor communication environments. According to the proposed method, a database of coordinate fingerprints is implemented during an offline training phase. This fingerprinting database is used to train the weights and bias of a properly designed Deep Neural Network (DNN), whose role is to unveil the mapping between the measured coordinate information at a user location and the configuration of the RIS's unit cells that maximizes this user's received signal strength. During the online phase of the presented method, the trained DNN is fed with the measured position information at the target user to output the optimal phase configurations of the RIS for signal power focusing on this intended location. Our realistic simulation results using ray tracing on a three dimensional indoor environment demonstrate that the proposed DNN-based configuration method exhibits its merits for all considered cases, and effectively increases the achievable throughput at the target user location.


title: Reinforcement Learning for Learning of Dynamical Systems in Uncertain Environment: a Tutorial

abstract: In this paper, a review of model-free reinforcement learning for learning of dynamical systems in uncertain environments has discussed. For this purpose, the Markov Decision Process (MDP) will be reviewed. Furthermore, some learning algorithms such as Temporal Difference (TD) learning, Q-Learning, and Approximate Q-learning as model-free algorithms which constitute the main part of this article have been investigated, and benefits and drawbacks of each algorithm will be discussed. The discussed concepts in each section are explaining with details and examples.


title: K\'arm\'an Vortex Street in incompressible fluid models

abstract: This paper aims to provide a robust model for the well-known phenomenon of K\'arm\'an Vortex Street arising in Fluid Mechanics. The first theoretical attempt to model this pattern was given by von K\'arm\'an [22, 23]. He considered two parallel staggered rows of point vortices, with opposite strength, that translate at the same speed. Following the ideas of Saffman and Schatzman [36], we propose to study this phenomenon in the Euler equations by considering two infinite arrows of vortex patches. The key idea is to desingularize the point vortex model proposed by von K\'arm\'an. Our construction is flexible and can be extended to more general incompressible models.


title: Optimal Guessing under Nonextensive Framework and associated Moment Bounds

abstract: We consider the problem of guessing the realization of a random variable but under more general Tsallis' non-extensive entropic framework rather than the classical Maxwell-Boltzman-Gibbs-Shannon framework. We consider both the conditional guessing problem in the presence of some related side information, and the unconditional one where no such side-information is available. For both types of the problem, the non-extensive moment bounds of the required number of guesses are derived; here we use the $q$-normalized expectation in place of the usual (linear) expectation to define the non-extensive moments. These moment bounds are seen to be a function of the logarithmic norm entropy measure, a recently developed two-parameter generalization of the Renyi entropy, and hence provide their information theoretic interpretation. We have also considered the case of uncertain source distribution and derived the non-extensive moment bounds for the corresponding mismatched guessing function. These mismatched bounds are interestingly seen to be linked with an important robust statistical divergence family known as the relative $(\alpha,\beta)$-entropies; similar link is discussed between the optimum mismatched guessing with the extremes of these relative entropy measures.


title: Strong Novikov conjecture for low degree cohomology and exotic group C*-algebras

abstract: We strengthen a result of Hanke-Schick about the strong Novikov conjecture for low degree cohomology by showing that their non-vanishing result for the maximal group C*-algebra holds for many other exotic group C*-algebras, in particular the one associated to the smallest strongly Morita compatible and exact crossed product functor used in the new version of the Baum-Connes conjecture. To achieve this we provide a Fell absorption principle for certain exotic crossed product functors.


title: Initial Condition Problem is Intractable in Cosmology

abstract: Determining the initial state of the universe is a challenging problem in quantum cosmology and we argue that the issue is intractable if the basic postulates of quantum mechanics are not modified in a nontrivial way. Namely a "standard" quantum theory of gravity is expected to resolve the big-bang singularity either by yielding a regular past eternal evolution or by a smooth finite beginning; in both cases the initial state can in principle be totally arbitrary. We illustrate this point in a minisuperspace, gauge fixed, deparametrized toy model where there is a smooth beginning of the universe provided by the matter Hamiltonian degenerating to the zero operator. This arbitrariness is the source of several debates in the literature, especially in relation to inflation, which can only be solved by a new paradigm involving initial conditions that necessarily alters the usual quantum mechanical treatment, but we argue that this is highly improbable.


title: A simple but energy-efficient HVAC control synthesis for data centers

abstract: The air conditioning management of data centers, a key question with respect to energy saving, is here tackled via the recent model-free control synthesis. Mathematical modeling becomes useless in this approach. The tuning of the corresponding intelligent proportional controller is straightforward. Computer simulations show excellent tracking performances in various realistic situations, like CPU load or temperature changes.


title: Leveraging Semantic Embeddings for Safety-Critical Applications

abstract: Semantic Embeddings are a popular way to represent knowledge in the field of zero-shot learning. We observe their interpretability and discuss their potential utility in a safety-critical context. Concretely, we propose to use them to add introspection and error detection capabilities to neural network classifiers. First, we show how to create embeddings from symbolic domain knowledge. We discuss how to use them for interpreting mispredictions and propose a simple error detection scheme. We then introduce the concept of semantic distance: a real-valued score that measures confidence in the semantic space. We evaluate this score on a traffic sign classifier and find that it achieves near state-of-the-art performance, while being significantly faster to compute than other confidence scores. Our approach requires no changes to the original network and is thus applicable to any task for which domain knowledge is available.


title: Stable Pontryagin-Thom construction for proper maps

abstract: We will present proofs for two conjectures stated in arXiv:1808.08073. The first one is that for an arbitrary manifold $W$, the homotopy classes of proper maps $W\times\mathbb{R}^n\to\mathbb{R}^{k+n}$ stabilise as $n\to\infty$, and the second one is that in a stable range there is a Pontryagin--Thom type bijection for proper maps $W\times\mathbb{R}^n\to\mathbb{R}^{k+n}$. The second one actually implies the first one and we shall prove the second one by giving an explicit construction.


title: General covariant geometric momentum, gauge potential and a Dirac fermion on a two-dimensional sphere

abstract: For a particle that is constrained on an ($N-1$)-dimensional ($N\geq2$) curved surface, the Cartesian components of its momentum in $N$-dimensional flat space is believed to offer a proper form of momentum for the particle on the surface, which is called the geometric momentum as it depends on the mean curvature. Once the momentum is made general covariance, the spin connection part can be interpreted as a gauge potential. The present study consists in two parts, the first is a discussion of the general framework for the general covariant geometric momentum. The second is devoted to a study of a Dirac fermion on a two-dimensional sphere and we show that there is the generalized total angular momentum whose three cartesian components form the $su(2)$ algebra, obtained before by consideration of dynamics of the particle, and we demonstrate that there is no curvature-induced geometric potential for the fermion.

categories: hep-th cond-mat.mes-hall math-ph math.MP quant-ph


title: Slow and fast light enhanced light drag in a moving microcavity

abstract: Fizeau experiment, inspiring Einstein's special theory of relativity, reveals a small dragging effect of light inside a moving medium. Dispersion can enhance such light drag according to Lorentz's predication. Here we experimentally demonstrate slow and fast light enhanced light drag in a moving optical microcavity through stimulated Brillouin scattering induced transparency and absorption. The strong dispersion provides an enhancement factor up to ~10^4, greatly reducing the system size down to the micrometer range. These results may offer a unique platform for a compact, integrated solution to motion sensing and ultrafast signal processing applications.


title: The teaching complexity of erasing pattern languages with bounded variable frequency

abstract: Patterns provide a concise, syntactic way of describing a set of strings, but their expressive power comes at a price: a number of fundamental decision problems concerning (erasing) pattern languages, such as the membership problem and inclusion problem, are known to be NP-complete or even undecidable, while the decidability of the equivalence problem is still open; in learning theory, the class of pattern languages is unlearnable in models such as the distribution-free (PAC) framework (if $\mathcal{P}/poly \neq \mathcal{NP}/poly$). Much work on the algorithmic learning of pattern languages has thus focussed on interesting subclasses of patterns for which positive learnability results may be achieved. A natural restriction on a pattern is a bound on its variable frequency -- the maximum number $m$ such that some variable occurs exactly $m$ times in the pattern. This paper examines the effect of limiting the variable frequency of all patterns belonging to a class $\Pi$ on the worst-case minimum number of labelled examples needed to uniquely identify any pattern of $\Pi$ in cooperative teaching-learning models. Two such models, the teaching dimension model as well as the preference-based teaching model, will be considered.


title: A frequency-tunable nanomembrane mechanical oscillator with embedded quantum dots

abstract: Hybrid systems consisting of a quantum emitter coupled to a mechanical oscillator are receiving increasing attention for fundamental science and potential applications in quantum technologies. In contrast to most of the presented works, in which the oscillator eigenfrequencies are irreversibly determined by the fabrication process, we present here a simple approach to obtain frequency-tunable mechanical resonators based on suspended nanomembranes. The method relies on a micromachined piezoelectric actuator, which we use both to drive resonant oscillations of a suspended Ga(Al)As membrane with embedded quantum dots and to fine tune their mechanical eigenfrequencies. Specifically, we excite oscillations with frequencies of at least 60 MHz by applying an AC voltage to the actuator and tune the eigenfrequencies by at least 25 times their linewidth by continuously varying the elastic stress state in the membranes through a DC voltage. The light emitted by optically excited quantum dots is used as sensitive local strain gauge to monitor the oscillation frequency and amplitude. We expect that our method has the potential to be applicable to other optomechanical systems based on dielectric and semiconductor membranes possibly operating in the quantum regime.


title: Inferring Inductive Invariants from Phase Structures

abstract: Infinite-state systems such as distributed protocols are challenging to verify using interactive theorem provers or automatic verification tools. Of these techniques, deductive verification is highly expressive but requires the user to annotate the system with inductive invariants. To relieve the user from this labor-intensive and challenging task, invariant inference aims to find inductive invariants automatically. Unfortunately, when applied to infinite-state systems such as distributed protocols, existing inference techniques often diverge, which limits their applicability. This paper proposes user-guided invariant inference based on phase invariants, which capture the different logical phases of the protocol. Users conveys their intuition by specifying a phase structure, an automaton with edges labeled by program transitions; the tool automatically infers assertions that hold in the automaton's states, resulting in a full safety proof.The additional structure from phases guides the inference procedure towards finding an invariant. Our results show that user guidance by phase structures facilitates successful inference beyond the state of the art. We find that phase structures are pleasantly well matched to the intuitive reasoning routinely used by domain experts to understand why distributed protocols are correct, so that providing a phase structure reuses this existing intuition.


title: Nilpotent Cantor actions

abstract: A nilpotent Cantor action is a minimal equicontinuous action $\Phi \colon \Gamma \times \frak{X} \to \frak{X}$ on a Cantor set $\frak{X}$, where $\Gamma$ contains a finitely-generated nilpotent subgroup $\Gamma_0 \subset \Gamma$ of finite index. In this note, we show that these actions are distinguished among general Cantor actions: any effective action of a finitely generated group on a Cantor space, which is continuously orbit equivalent to a nilpotent Cantor action, must itself be a nilpotent Cantor action. As an application of this result, we obtain new invariants of nilpotent Cantor actions under continuous orbit equivalence.


title: Polyanalytic Toeplitz operators: isomorphisms, symbolic calculus and approximation of Weyl operators

abstract: We discuss an extension of Toeplitz quantization based on polyanalytic functions. We derive isomorphism theorem for polyanalytic Toeplitz operators between weighted Sobolev-Fock spaces of polyanalytic functions, which are images of modulation spaces under polyanalytic Bargmann transforms. This generalizes well-known results from the analytic setting. Finally, we derive an asymptotic symbol calculus and present an asymptotic expansion of complex Weyl operators in terms of polyanalytic Toeplitz operators.