title: Characterizing Surface Wetting and Interfacial Properties using Enhanced Sampling (SWIPES)

abstract: We introduce an accurate and efficient method for characterizing surface wetting and interfacial properties, such as the contact angle made by a liquid droplet on a solid surface, and the vapor-liquid surface tension of a fluid. The method makes use of molecular simulations in conjunction with the indirect umbrella sampling technique to systematically wet the surface and estimate the corresponding free energy. To illustrate the method, we study the wetting of a family of Lennard-Jones surfaces by water. We estimate contact angles for surfaces with a wide range of attractions for water by using our method and also by using droplet shapes. Notably, as surface-water attractions are increased, our method is able to capture the transition from partial to complete wetting. Finally, the method is straightforward to implement and computationally efficient, providing accurate contact angle estimates in roughly 5 nanoseconds of simulation time.


title: Highly Efficient Stepped Wedge Designs for Clusters of Unequal Size

abstract: The Stepped Wedge Design (SWD) is a form of cluster randomized trial, usually comparing two treatments, which is divided into time periods and sequences, with clusters allocated to sequences. Typically all sequences start with the standard treatment and end with the new treatment, with the change happening at different times in the different sequences. The clusters will usually differ in size but this is overlooked in much of the existing literature. This paper considers the case when clusters have different sizes and determines how efficient designs can be found. The approach uses an approximation to the the variance of the treatment effect which is expressed in terms of the proportions of clusters and of individuals allocated to each sequence of the design. The roles of these sets of proportions in determining an efficient design are discussed and illustrated using two SWDs, one in the treatment of sexually transmitted diseases and one in renal replacement therapy. Cluster-balanced designs, which allocate equal numbers of clusters to each sequence, are shown to have excellent statistical and practical properties; suggestions are made about the practical application of the results for these designs. The paper concentrates on the cross-sectional case, where subjects are measured once, but it is briefly indicated how the methods can be extended to the closed-cohort design.


title: $\kappa$-deformed BMS symmetry

abstract: We present the quantum $\kappa$-deformation of BMS symmetry, by generalizing the lightlike $\kappa$-Poincar\'e Hopf algebra. On the technical level, our analysis relies on the fact that the lightlike $\kappa$-deformation of Poincar\'e algebra is given by a twist and the lightlike deformation of any algebra containing Poincar\'e as a subalgebra can be done with the help of the same twisting element. We briefly comment on the physical relevance of the obtained $\kappa$-BMS Hopf algebra as a possible asymptotic symmetry of quantum gravity.


title: Personal Names Popularity Estimation and its Application to Record Linkage

abstract: This study deals with a fairly simply formulated problem -- how to estimate the number of people bearing the same full name in a large population. Estimation of name popularity can leverage personal name matching in databases and be of interest for many other domains. A distinctive feature of large collections of names is that they contain a large number of unique items, which is challenging for statistical modeling. We investigate a number of statistical techniques and also propose a simple yet effective method aimed at obtaining more accurate count estimates. In our experiments we use a dataset containing about 20 million name occurrences that correspond to about 13 million real-world persons. We perform a thorough evaluation of the name count estimation methods and a record linkage experiment guided by name popularity estimates. Obtained results suggest that theoretically informed approaches outperform simple heuristics and can be useful in a variety of applications.


title: X-ray magnetic linear dichroism as a probe for non-collinear magnetic state in ferrimagnetic single layer exchange bias systems

abstract: Ferrimagnetic alloys are extensively studied for their unique magnetic properties leading to possible applications in perpendicular magnetic recording, due to their deterministic ultrafast switching and heat assisted magnetic recording capabilities. On a prototype ferrimagnetic alloy we demonstrate fascinating properties that occur close to a critical temperature where the magnetization is vanishing, just as in an antiferromagnet. From the X-ray magnetic circular dichroism measurements, an anomalous 'wing shape' hysteresis loop is observed slightly above the compensation temperature. This bears the characteristics of an intrinsic exchange bias effect, referred to as atomic exchange bias. We further exploit the X-ray magnetic linear dichroism (XMLD) contrast for probing non-collinear states which allows us to discriminate between two main reversal mechanisms, namely perpendicular domain wall formation versus spin-flop transition. Ultimately, we analyze the elemental magnetic moments for the surface and the bulk parts, separately, which allows to identify in the phase diagram the temperature window where this effect takes place. Moreover, we suggests that this effect is a general phenomenon in ferrimagnetic thin films which may also contribue to the understanding of the mechanism behind the all optical switching effect.


title: Magnetic-State Controlled Molecular Vibrational Dynamics at Buried Molecular-Metal Interfaces

abstract: Self-assembled molecular structures have been intensively used in molecular electronics and spintronics. However, detailed nature of the interfaces between molecular layers and extended metallic contacts used to bias the real devices remains unclear. Buried interfaces greatly restrict application of standard techniques such as Raman or scanning electron microscopies. Here we introduce low frequency noise spectroscopy as a tool to characterize buried molecular-metal interfaces. We take advantage of vibrational heating of the molecules with incomplete contacts to the interface. Electrons, being the main spin and charge carriers propagating through the interfaces involving self-assembled molecules, interact inelastically with charged atomic ions. Such interactions produce quantum molecular vibrations (phonons). Detailed investigation of both conductance and conductance fluctuations in magnetic tunnel junctions with few nm Perylenetetracarboxylic dianhydride (PTCDA) allows to map vibrational heating at specific biases taking place in 'hot spots' where self-assembled layers weaker contact the metallic electrodes. We follow this effect as a function of PTCDA thickness and find the best molecular-metal order for the lowest (3-5 monolayers) barriers. Moreover, we unveil interplay between spin and phonons at interface showing experimentally and by modelling spin-control over molecular vibrational heating. We find that vibrational heating related low frequency noise essentially depends on the relative alignment of the electrodes with noise changes well beyond expectations from fluctuation-dissipation theorem.


title: Crowd Coach: Peer Coaching for Crowd Workers' Skill Growth

abstract: Traditional employment usually provides mechanisms for workers to improve their skills to access better opportunities. However, crowd work platforms like Amazon Mechanical Turk (AMT) generally do not support skill development (i.e., becoming faster and better at work). While researchers have started to tackle this problem, most solutions are dependent on experts or requesters willing to help. However, requesters generally lack the necessary knowledge, and experts are rare and expensive. To further facilitate crowd workers' skill growth, we present Crowd Coach, a system that enables workers to receive peer coaching while on the job. We conduct a field experiment and real world deployment to study Crowd Coach in the wild. Hundreds of workers used Crowd Coach in a variety of tasks, including writing, doing surveys, and labeling images. We find that Crowd Coach enhances workers' speed without sacrificing their work quality, especially in audio transcription tasks. We posit that peer coaching systems hold potential for better supporting crowd workers' skill development while on the job. We finish with design implications from our research.


title: Spectral lines in the CaII triplet region for RAVE DR6 chemical abundance pipeline

abstract: The purpose of this research note is to present a reliable list of clean spectral lines in the Calcium Triplet region at medium resolution ~7500, for chemical abundance analysis, in the framework of the RAdial Velocity Experiment (RAVE). Such line lists present a general interest for on-going large spectroscopic survey, such as Gaia-RVS, 4MOST and WEAVE.


title: Hitchin components for orbifolds

abstract: We extend the notion of Hitchin component from surface groups to orbifold groups and prove that this gives new examples of higher Teichm\"{u}ller spaces. We show that the Hitchin component of an orbifold group is homeomorphic to an open ball and we compute its dimension explicitly. We then give applications to the study of the pressure metric, cyclic Higgs bundles, and the deformation theory of real projective structures on $3$-manifolds.


title: Prime number theorems for Basmajian-type identities

abstract: We obtain asymptotic counting results with error terms for complex orthospectrum for Schottky groups and orbit counting function for quadratic polynomials. Moreover, we prove equidistribution of holonomy associated to these dynamical systems. Our results are obtained by considering generalized $L$-functions coming from the Basmajian-type identities introduced by the author in \cite{He}. We study the associated summatory functions using tools from analytic number theory and Thermodynamic Formalism, namely the Perron's formula and a Dolgopyat-type estimate on the spectrum of transfer operators.


title: Th\'eorie d'Iwasawa des motifs d'Artin et des formes modulaires de poids 1

abstract: Let $p$ be an odd prime. We study the structure of the cyclotomic Greenberg-Selmer group attached to a general irreducible Artin motive over $\mathbb{Q}$ endowed with an ordinary $p$-stabilization. Under the Leopoldt and the weak $p$-adic Schanuel Conjectures, we show that it is of torsion over the Iwasawa algebra. Under mild hypotheses on $p$ we compute the constant term of its characteristic series in terms of a $p$-adic regulator and we highlight an extra zeros phenomenon. We then focus on Artin motives attached to classical weight one modular forms, to which our preceding results apply unconditionally. We formulate an Iwasawa Main Conjecture in this context and prove one divisibility using a Theorem of Kato.


title: Hairy Schwarzschild-(A)dS black hole solutions in DHOST theories beyond shift symmetry

abstract: We derive the general conditions for a large family of shift symmetry breaking degenerate higher order scalar-tensor (DHOST) theories to admit stealth black hole solutions. Such black hole configurations correspond to vacuum solutions of General Relativity and admit a scalar hair which does not gravitate, revealing itself only at the perturbative level. We focus our investigation on hairy Schwarzschild-(A)dS or pure Schwarzschild solutions, dressed with a linear time-dependent scalar hair, and assuming a constant kinetic term. We also discuss subclasses of this family which satisfy the observational constraint $c_{\text{grav}}=c_{\text{light}}$, as well as the recent constraint ensuring the absence of graviton decay. We provide at the end concrete examples of DHOST lagrangians satisfying our conditions. This work provides a first analysis of exact black hole solutions in shift symmetry breaking DHOST theories beyond Horndeski.


title: Unsupervised Transfer Learning for Spoken Language Understanding in Intelligent Agents

abstract: User interaction with voice-powered agents generates large amounts of unlabeled utterances. In this paper, we explore techniques to efficiently transfer the knowledge from these unlabeled utterances to improve model performance on Spoken Language Understanding (SLU) tasks. We use Embeddings from Language Model (ELMo) to take advantage of unlabeled data by learning contextualized word representations. Additionally, we propose ELMo-Light (ELMoL), a faster and simpler unsupervised pre-training method for SLU. Our findings suggest unsupervised pre-training on a large corpora of unlabeled utterances leads to significantly better SLU performance compared to training from scratch and it can even outperform conventional supervised transfer. Additionally, we show that the gains from unsupervised transfer techniques can be further improved by supervised transfer. The improvements are more pronounced in low resource settings and when using only 1000 labeled in-domain samples, our techniques match the performance of training from scratch on 10-15x more labeled in-domain data.


title: The strength of protein-protein interactions controls the information capacity and dynamical response of signaling networks

abstract: Eukaryotic cells transmit information by signaling through complex networks of interacting proteins. Here we develop a theoretical and computational framework that relates the biophysics of protein-protein interactions (PPIs) within a signaling network to its information processing properties. To do so, we generalize statistical physics-inspired models for protein binding to account for interactions that depend on post-translational state (e.g. phosphorylation). By combining these models with information-theoretic methods, we find that PPIs are a key determinant of information transmission within a signaling network, with weak interactions giving rise to "noise" that diminishes information transmission. While noise can be mitigated by increasing interaction strength, the accompanying increase in transmission comes at the expense of a slower dynamical response. This suggests that the biophysics of signaling protein interactions give rise to a fundamental "speed-information" trade-off. Surprisingly, we find that cross-talk between pathways in complex signaling networks do not significantly alter information capacity--an observation that may partially explain the promiscuity and ubiquity of weak PPIs in heavily interconnected networks. We conclude by showing how our framework can be used to design synthetic biochemical networks that maximize information transmission, a procedure we dub "InfoMax" design.


title: Benchmarking datasets for Anomaly-based Network Intrusion Detection: KDD CUP 99 alternatives

abstract: Machine Learning has been steadily gaining traction for its use in Anomaly-based Network Intrusion Detection Systems (A-NIDS). Research into this domain is frequently performed using the KDD~CUP~99 dataset as a benchmark. Several studies question its usability while constructing a contemporary NIDS, due to the skewed response distribution, non-stationarity, and failure to incorporate modern attacks. In this paper, we compare the performance for KDD-99 alternatives when trained using classification models commonly found in literature: Neural Network, Support Vector Machine, Decision Tree, Random Forest, Naive Bayes and K-Means. Applying the SMOTE oversampling technique and random undersampling, we create a balanced version of NSL-KDD and prove that skewed target classes in KDD-99 and NSL-KDD hamper the efficacy of classifiers on minority classes (U2R and R2L), leading to possible security risks. We explore UNSW-NB15, a modern substitute to KDD-99 with greater uniformity of pattern distribution. We benchmark this dataset before and after SMOTE oversampling to observe the effect on minority performance. Our results indicate that classifiers trained on UNSW-NB15 match or better the Weighted F1-Score of those trained on NSL-KDD and KDD-99 in the binary case, thus advocating UNSW-NB15 as a modern substitute to these datasets.


title: Operator-Valued Matrices with Free or Exchangeable Entries

abstract: We study matrices whose entries are free or exchangeable noncommutative elements in some tracial $W^*$-probability space. More precisely, we consider operator-valued Wigner and Wishart matrices and prove quantitative convergence to operator-valued semicircular elements over some subalgebra in terms of Cauchy transforms. As direct applications, we obtain explicit rates of convergence for a large class of random block matrices with independent or correlated blocks. Our approach relies on a noncommutative extension of the Lindeberg method and operator-valued Gaussian interpolation techniques.


title: Quantitative estimation of effective viscosity in quantum turbulence

abstract: We study freely decaying quantum turbulence by performing high resolution numerical simulations of the Gross-Pitaevskii equation (GPE) in the Taylor-Green geometry. We use resolutions ranging from $1024^3$ to $4096^3$ grid points. The energy spectrum confirms the presence of both a Kolmogorov scaling range for scales larger than the intervortex scale $\ell$, and a second inertial range for scales smaller than $\ell$. Vortex line visualizations show the existence of substructures formed by a myriad of small-scale knotted vortices. Next, we study finite temperature effects in the decay of quantum turbulence by using the stochastic Ginzburg-Landau equation to generate thermal states, and then by evolving a combination of these thermal states with the Taylor-Green initial conditions using the GPE. We extract the mean free path out of these simulations by measuring the spectral broadening in the Bogoliubov dispersion relation obtained from spatio-temporal spectra, and use it to quantify the effective viscosity as a function of the temperature. Finally, in order to compare the decay of high temperature quantum and that of classical flows, and to further calibrate the estimations of viscosity from the mean free path in the GPE simulations, we perform low Reynolds number simulations of the Navier-Stokes equations.


title: Comparison of Feature Extraction Methods and Predictors for Income Inference

abstract: Patterns of mobile phone communications, coupled with the information of the social network graph and financial behavior, allow us to make inferences of users' socio-economic attributes such as their income level. We present here several methods to extract features from mobile phone usage (calls and messages), and compare different combinations of supervised machine learning techniques and sets of features used as input for the inference of users' income. Our experimental results show that the Bayesian method based on the communication graph outperforms standard machine learning algorithms using node-based features.


title: Resurgence Analysis of Quantum Invariants of Seifert Fibered Homology Spheres

abstract: For a Seifert fibered homology sphere we show that the q-series Z-hat invariant introduced by Gukov, Pei, Putrov and Vafa is a resummation of the Ohtsuki serie. We show that for every even level k there exists a full asymptotic expansion of Z-hat for q tending to a certain k'th root of unity and in particular that the limit exists and is equal to the WRT quantum invariant. We show that the poles of the Borel transform of the Ohtsuki series coincide with the classical complex Chern-Simons values, which we further show classifies the corresponding components of the moduli space of flat SL(2, C)-connections.


title: Thermodynamic Behaviour of Magnetized QGP within the Self-Consistent Quasiparticle Model

abstract: The self-consistent quasiparticle model has been successful in studying QCD thermodynamics. In this model, the medium effects are taken into account by considering quarks and gluons as quasiparticles with temperature-dependent masses which are proportional to the plasma frequency. The present work involves the extension of this model in the presence of magnetic fields. We have included the effect of the magnetic field by considering relativistic Landau Levels. The quasiparticle masses are then found to be dependent on both temperature and magnetic field. The thermomagnetic mass thus defined allows obtaining the thermodynamics of magnetized quark matter within the self-consistent quasiparticle model. The model then has been applied to the case of 2-flavor Quark-Gluon Plasma and the equation of state obtained in the presence of magnetic fields.


title: Interface-Based Side Channel Attack Against Intel SGX

abstract: Intel has introduced a trusted computing technology, Intel Software Guard Extension (SGX), which provides an isolated and secure execution environment called enclave for a user program without trusting any privilege software (e.g., an operating system or a hypervisor) or firmware. Nevertheless, SGX is vulnerable to several side channel attacks (e.g. page-fault-based attack and cache-based attack). In this paper, we explore a new, yet critical side channel attack in SGX, interface-based side channel attack, which can infer the information of the enclave input data. The root cause of the interface-based side channel attack is the input dependent interface invocation information (e.g., interface information and invocation patterns) which can be observed by the untrusted privilege software can reveal the control flow in the enclave. We study the methodology which can be used to conduct the interface-based side channel attack. To illustrate the effectiveness of the interface-based side-channel attacks, we use our methodology to infer whether tracked web pages have been processed by the SGX-assisted NFV platforms and achieve the accuracy of 87.6% and recall of 76.6%. We also identify the packets which belong to the tracked web pages, with the accuracy of 67.9%and recall of 71.1%. We finally propose some countermeasures to defense the interface-based side channel attack in SGX-assisted applications.


title: Quantile regression approach to conditional mode estimation

abstract: In this paper, we consider estimation of the conditional mode of an outcome variable given regressors. To this end, we propose and analyze a computationally scalable estimator derived from a linear quantile regression model and develop asymptotic distributional theory for the estimator. Specifically, we find that the pointwise limiting distribution is a scale transformation of Chernoff's distribution despite the presence of regressors. In addition, we consider analytical and subsampling-based confidence intervals for the proposed estimator. We also conduct Monte Carlo simulations to assess the finite sample performance of the proposed estimator together with the analytical and subsampling confidence intervals. Finally, we apply the proposed estimator to predicting the net hourly electrical energy output using Combined Cycle Power Plant Data.


title: Enhanced domain wall velocity near a ferromagnetic instability

abstract: Assuming a Fermi liquid behavior for $s$-conduction electrons, we rewrite the extended Landau-Lifshitz-Gilbert (LLG) equation renormalized by interactions through the Landau parameters $F^{a}_{l}$ ($l=0,1,2 \cdots$) in an explicit form to describe the dynamic of a domain wall (DW) due to spin transfer torque phenomenon. The interaction between spins of the \textit{s}-conduction electrons explains qualitatively the DW velocity experimental observations in $\mathrm{Ni_{81}}\mathrm{Fe_{19}}$ (Permalloy) recalculated by us without defects or impurity hypothesis. Close to Stoner ferromagnetic instability point where $F^{a}_{0} \approx -0.99$, the DW velocity becomes high ($v^{*}_{DW}\approx 600$ $ms^{-1}$) and critical spin current density becomes reduced ($j^{*}_{c}\approx1\times10^{12}$ $Am^{-2}$) when compared to that calculated by nonadiabatic approach. At the critical point, the DW velocity diverges while critical spin current density at the same point goes to zero. Our theory also provides a prediction to looking for materials in which is possible applies a smallest critical spin current density and observes higher DW velocity.


title: Sorting out Lipschitz function approximation

abstract: Training neural networks under a strict Lipschitz constraint is useful for provable adversarial robustness, generalization bounds, interpretable gradients, and Wasserstein distance estimation. By the composition property of Lipschitz functions, it suffices to ensure that each individual affine transformation or nonlinear activation is 1-Lipschitz. The challenge is to do this while maintaining the expressive power. We identify a necessary property for such an architecture: each of the layers must preserve the gradient norm during backpropagation. Based on this, we propose to combine a gradient norm preserving activation function, GroupSort, with norm-constrained weight matrices. We show that norm-constrained GroupSort architectures are universal Lipschitz function approximators. Empirically, we show that norm-constrained GroupSort networks achieve tighter estimates of Wasserstein distance than their ReLU counterparts and can achieve provable adversarial robustness guarantees with little cost to accuracy.


title: Flat entanglement spectra in fixed-area states of quantum gravity

abstract: We use the Einstein-Hilbert gravitational path integral to investigate gravitational entanglement at leading order $O(1/G)$. We argue that semiclassical states prepared by a Euclidean path integral have the property that projecting them onto a subspace in which the Ryu-Takayanagi or Hubeny-Rangamani-Takayanagi surface has definite area gives a state with a flat entanglement spectrum at this order in gravitational perturbation theory. This means that the reduced density matrix can be approximated as proportional to the identity to the extent that its Renyi entropies $S_n$ are independent of $n$ at this order. The $n$-dependence of $S_n$ in more general states then arises from sums over the RT/HRT-area, which are generally dominated by different values of this area for each $n$. This provides a simple picture of gravitational entanglement, bolsters the connection between holographic systems and tensor network models, clarifies the bulk interpretation of algebraic centers which arise in the quantum error-correcting description of holography, and strengthens the connection between bulk and boundary modular Hamiltonians described by Jafferis, Lewkowycz, Maldacena, and Suh.


title: FR0 radio galaxies and their place in the radio morphology classification

abstract: So-called FR0 radio galaxies have recently emerged as a family of active galaxies with all the same properties as FRI radio galaxies except for their ratio of core to total emission which is about 30 times as high compared to FRI sources. We show how their properties fit within the gap paradigm as low prograde spinning black holes whose progenitors are powerful FRII quasars that transitioned rapidly from cold mode into advection dominated accretion in a few million years. The prediction is that if sufficient fuel exists, FR0 radio galaxies will evolve into full-fledged FRI radio galaxies and the observational dearth of FRI radio galaxies compared to FR0s at low redshift tells us about the supply of gas in the low redshift FR0s. Given the model prescription, this 5 to 1 FR0 to FRI ratio implies that at low redshift the FRII quasar class of active galaxies struggles to fuel its black hole beyond 1.3 times its original mass. In addition to this, we illustrate model prescriptions for the black hole mass, black hole spin, redshift and environment distribution for FR0 radio galaxies by fitting them within a paradigm that views them as a continuous class of active galaxies that are sandwiched between FRII quasars and FRI radio galaxies.


title: Kriging-Based Robotic Exploration for Soil Moisture Mapping Using a Cosmic-Ray Sensor

abstract: Soil moisture monitoring is a fundamental process to enhance agricultural outcomes and to protect the environment. The traditional methods for measuring moisture content in soil are laborious and expensive, and therefore there is a growing interest in developing sensors and technologies which can reduce the effort and costs. In this work, we propose to use an autonomous mobile robot equipped with a state-of-the-art non-contact soil moisture sensor that builds moisture maps on the fly and automatically selects the most optimal sampling locations. The robot is guided by an autonomous exploration strategy driven by the quality of the soil moisture model which indicates areas of the field where the information is less precise. The sensor model follows the Poisson distribution and we demonstrate how to integrate such measurements into the kriging framework. We also investigate a range of different exploration strategies and assess their usefulness through a set of evaluation experiments based on real soil moisture data collected from two different fields. We demonstrate the benefits of using the adaptive measurement interval and adaptive sampling strategies for building better quality soil moisture models. The presented method is general and can be applied to other scenarios where the measured phenomena directly affects the acquisition time and needs to be spatially mapped.


title: On Finding Quantum Multi-collisions

abstract: A $k$-collision for a compressing hash function $H$ is a set of $k$ distinct inputs that all map to the same output. In this work, we show that for any constant $k$, $\Theta\left(N^{\frac{1}{2}(1-\frac{1}{2^k-1})}\right)$ quantum queries are both necessary and sufficient to achieve a $k$-collision with constant probability. This improves on both the best prior upper bound (Hosoyamada et al., ASIACRYPT 2017) and provides the first non-trivial lower bound, completely resolving the problem.


title: Optimizing Multi-hop Mechanism for the Long Range Wide Area Network

abstract: Long Range (LoRa) is a modem technology for wireless communication in the Internet of Things (IoT), which trades off low data-rate for low power consumption. Long Range Wide Area Network (LoRaWAN) has an open specification that determines the Medium Access Control (MAC) protocol for LoRa networks. This paper contributes a simulation module in Network Simulator 3 (ns-3) to evaluate the limitation of LoRaWAN in various metrics. The result shows the performance of LoRaWAN in a simulation environment and a large scale scenario, indicating the feature of flexible propagation range on physical layer, and limited channel capacity on the data-link layer. The feasibility of optimized multi-hop in LoRaWAN is analyzed. Based on the simulation result, a multi-hop mechanism driven by spreading factor is proposed, not only to extend the network coverage but to reduce the channel load. The novel approach takes benefit of the dynamic feature of LoRa and estimates optimized forwarding hops with parameter configuration. The result shows that Time on Air can be significantly decreased.


title: Compactness of self-shrinkers in $\mathbb R^3$ with fixed genus

abstract: We prove the compactness of self-shrinkers in $\mathbb R^3$ with bounded entropy and fixed genus. As a corollary, we show that numbers of ends of such surfaces are uniformly bounded by the entropy and genus.


title: Renormalization of lattice field theories with infinite-range wavelets

abstract: We present a new exact renormalization approach for quantum lattice models leading to long-range interactions. The renormalization scheme is based on wavelets with an infinite support in such a way that the excitation spectrum at the fixed point coincides with the spectrum of the associated short-range continuum model in an energy range below an upper cutoff imposed by the lattice spacing. As a consequence, the conformal towers of spectrum are exactly realized on the lattice up to a certain energy scale. We exemplify our approach by applying it to free bosons and to free fermions in $1+1$ dimensions, as well as to the Ising model. The analysis is also motivated by tensor network approaches to the AdS/CFT correspondence since our results may be useful for a qualitatively new construction of holographic duals complementary to previous approaches based on finite-range wavelets.


title: Hallucinating Point Cloud into 3D Sculptural Object

abstract: Our team of artists and machine learning researchers designed a creative algorithm that can generate authentic sculptural artworks. These artworks do not mimic any given forms and cannot be easily categorized into the dataset categories. Our approach extends DeepDream from images to 3D point clouds. The proposed algorithm, Amalgamated DeepDream (ADD), leverages the properties of point clouds to create objects with better quality than the naive extension. ADD presents promise for the creativity of machines, the kind of creativity that pushes artists to explore novel methods or materials and to create new genres instead of creating variations of existing forms or styles within one genre. For example, from Realism to Abstract Expressionism, or to Minimalism. Lastly, we present the sculptures that are 3D printed based on the point clouds created by ADD.


title: Computationally-driven, high throughput identification of CaTe and Li$_\textrm{3}$Sb as promising candidates for high mobility $p$-type transparent conducting materials

abstract: High-performance $p$-type transparent conducting materials (TCMs) must exhibit a rare combination of properties including high mobility, transparency and $p$-type dopability. The development of high-mobility/conductivity $p$-type TCMs is necessary for many applications such as solar cells, or transparent electronic devices. Oxides have been traditionally considered as the most promising chemical space to dig out novel $p$-type TCMs. However, non-oxides might perform better than traditional $p$-type TCMs (oxides) in terms of mobility. We report on a high-throughput (HT) computational search for non-oxide $p$-type TCMs from a large dataset of more than 30,000 compounds which identified CaTe and Li$_\textrm{3}$Sb as very good candidates for high-mobility $p$-type TCMs. From our calculations, both compounds are expected to be $p$-type dopable: intrinsically for Li$_\textrm{3}$Sb while CaTe would require extrinsic doping. Using electron-phonon computations, we estimate hole mobilities at room-temperature to be about 20 and 70 cm$^2$/Vs for CaTe and Li$_\textrm{3}$Sb, respectively. The computed hole mobility for Li$_\textrm{3}$Sb is quite exceptional and comparable with the electron mobility in the best $n$-type TCMs.


title: Remarks on a fractional-time stochastic equation

abstract: We consider a class of fractional time stochastic equation defined on a bounded domain and show that the presence of the time derivative induces a significant change in the qualitative behaviour of the solutions. This is in sharp contrast with the phenomenon showcased in earlier works. We also show that as one {\it tunes off the fractional} in the fractional time derivative, the solution behaves more and more like its {\it usual} counterpart.


title: Strong Approximation of Monotone Stochastic Partial Differential Equations Driven by Multiplicative Noise

abstract: We establish a general theory of optimal strong error estimation for numerical approximations of a second-order parabolic stochastic partial differential equation with monotone drift driven by a multiplicative infinite-dimensional Wiener process. The equation is spatially discretized by Galerkin methods and temporally discretized by drift-implicit Euler and Milstein schemes. By the monotone and Lyapunov assumptions, we use both the variational and semigroup approaches to derive a spatial Sobolev regularity under the $L_\omega^p L_t^\infty \dot H^{1+\gamma}$-norm and a temporal H\"older regularity under the $L_\omega^p L_x^2$-norm for the solution of the proposed equation with an $\dot H^{1+\gamma}$-valued initial datum for $\gamma\in [0,1]$. Then we make full use of the monotonicity of the equation and tools from stochastic calculus to derive the sharp strong convergence rates $O(h^{1+\gamma}+\tau^{1/2})$ and $O(h^{1+\gamma}+\tau^{(1+\gamma)/2})$ for the Galerkin-based Euler and Milstein schemes, respectively.


title: Horndeski gravity without screening in binary pulsars

abstract: We test the subclasses of Horndeski gravity without Vainshtein mechanism in the strong field regime of binary pulsars. We find the rate of energy losses via the gravitational radiation predicted by such theories and compare our results with observational data from quasi-circular binaries PSR J1738+0333, PSR J0737-3039, PSR J1012+5307. In addition, we consider few specific cases: the hybrid metric-Palatini f(R)-gravity and massive Brans-Dicke theory.


title: Estimation of urban traffic state with probe vehicles

abstract: We present in this paper a method to estimate urban traffic state with communicating vehicles. Vehicles moving on the links of the urban road network form queues at the traffic lights. We assume that a proportion of vehicles are equipped with localization and communication capabilities, and name them probe vehicles. First, we propose a method for the estimation of the penetration ratio of probe vehicles, as well as the vehicles arrival rate on a link. Moreover, we show that turn ratios at each junction can be estimated. Second, assuming that the turn ratios at each junction are given, we propose an estimation of the queue lengths on a 2-lanes link, by extending a 1-lane existing method. Our extension introduces vehicles assignment onto the lanes. Third, based on this approach, we propose optimal control laws for the traffic light and for the assignment of the arriving vehicles onto the lane queues. Finally, numerical simulations are conducted with Veins framework that bi-directionally couples microscopic road traffic and communication simulators. We illustrate and discuss our propositions with the simulation results.


title: Advances in sequential measurement and control of open quantum systems

abstract: Novel concepts, perspectives and challenges in measuring and controlling an open quantum system via sequential schemes are shown. We discuss how similar protocols, relying both on repeated quantum measurements and dynamical decoupling control pulses, can allow to: (i) Confine and protect quantum dynamics from decoherence in accordance with the Zeno physics. (ii) Analytically predict the probability that a quantum system is transferred into a target quantum state by means of stochastic sequential measurements. (iii) Optimally reconstruct the spectral density of environmental noise sources by orthogonalizing in the frequency domain the filter functions driving the designed quantum-sensor. The achievement of these tasks will enhance our capability to observe and manipulate open quantum systems, thus bringing advances to quantum science and technologies.


title: Computing multiparameter persistent homology through a discrete Morse-based approach

abstract: Persistent Homology (PH) allows tracking homology features like loops, holes and their higher-dimensional analogs, along with a single-parameter family of nested spaces. Currently, computing descriptors for complex data characterized by multiple functions is becoming an important task in several applications, including physics, chemistry, medicine, geography, etc. Multiparameter Persistent Homology (MPH) generalizes persistent homology opening to the exploration and analysis of shapes endowed with multiple filtering functions. Still, computational constraints prevent MPH to be feasible over real-sized data. In this paper, we consider discrete Morse Theory as a tool to simplify the computation of MPH on a multiparameter dataset. We propose a new algorithm, well suited for parallel and distributed implementations and we provide the first evaluation of the impact on MPH computations of a preprocessing approach.


title: Algorithms for Optimal AC Power Flow in the Presence of Renewable Sources

abstract: This chapter presents recent solutions to the optimal power flow (OPF) problem in the presence of renewable energy sources (RES), {such} as solar photo-voltaic and wind generation. After introducing the original formulation of the problem, arising from the combination of economic dispatch and power flow, we provide a brief overview of the different solution methods proposed in the literature to solve it. Then, we explain the main difficulties arising from the increasing RES penetration, and the ensuing necessity of deriving robust solutions. Finally, we present the state-of-the-art techniques, with a special focus on recent methods we developed, based on the application on randomization-based methodologies.


title: Encoding Electromagnetic Transformation Laws for Dimensional Reduction

abstract: Electromagnetic phenomena are mathematically described by solutions of boundary value problems. For exploiting symmetries of these boundary value problems in a way that is offered by techniques of dimensional reduction, it needs to be justified that the derivative in symmetry direction is constant or even vanishing. A generalized notion of symmetry can be defined with different directions at every point in space, as long as it is possible to exhibit unidirectional symmetry in some coordinate representation. This can be achieved, e.g., when the symmetry direction is given by the direct construction out of a unidirectional symmetry via a coordinate transformation which poses a demand on the boundary value problem. Coordinate independent formulations of boundary value problems do exist but turning that theory into practice demands a pedantic process of backtranslation to the computational notions. This becomes even more challenging when multiple chained transformations are necessary for propagating a symmetry. We try to fill this gap and present the more general, isolated problems of that translation. Within this contribution, the partial derivative and the corresponding chain rule for multivariate calculus are investigated with respect to their encodability in computational terms. We target the layer above univariate calculus, but below tensor calculus.


title: Dark matter in $R+R^2$ cosmology

abstract: Production of massive stable relics in $R^2$-modified gravity is considered. It is shown that the cosmological evolution and kinetics of massive species differs significantly from those in the conventional cosmology. The results are applied to the lightest supersymmetric particles and it is argued that they are viable candidates for the constituents of dark matter, if their mass is about 1000 TeV.


title: Recovering $\Lambda$CDM Model From a Cosmographic Study

abstract: Using the mathematical definitions of deceleration and jerk parameters we obtain a general differential equation for squared Hubble parameter. For a constant jerk, this differential equation leads to an exact function for Hubble parameter. By the aid of this exact Hubble function we can exactly reconstruct any other cosmographic parameters. We also obtained a general function for transition redshift as well as spacetime curvature. Our derived functions clearly impose a lower limit on the jerk parameter which is $j_{min}\geq-0.125$. Moreover, we found that the jerk parameter indicates the geometry of the spacetime i.e any deviation from $j=1$ imply to a non-flat spacetime. In other word $j\neq 1$ reefers to a dynamical, time varying, dark energy. From obtained Hubble function we recover the analogue of $\Lambda$CDM model. To constrain cosmographic parameters as well as transition redshift and spacetime curvature of the recovered $\Lambda$CDM model, we used Metropolis-Hasting algorithm to perform Monte Carlo Markov Chain analysis by using observational Hubble data obtained from cosmic chronometric (CC) technique, BAO data, Pantheon compilation of Supernovae type Ia, and their joint combination. The only free parameters are $H$, $A(\Omega_{m})$ and $j$. From joint analysis we obtained $H_{0}=69.9\pm 1.7$, $A(\sim\Omega_{0m})=0.279^{+0.013}_{-0.017}$, $B(\sim\Omega_{0X})=0.721^{+0.017}_{-0.013}$, $j_{0}=1.038^{+0.061}_{-0.023}$ and $z_{t}=0.706^{+0.031}_{-0.034}$.


title: Short Laws for Finite Groups of Lie Type

abstract: We produce new short laws in two variables valid in finite groups of Lie type. Our result improves upon results of Kozma and the second named author, and is sharp up to logarithmic factors, for all families except possibly the Suzuki groups. We also produce short laws valid for generating pairs and random pairs in finite groups of Lie type, and, conditional on Babai's diameter conjecture, make effective the dependence of our bounds on the rank. Our proof uses, among other tools, the Classification of Finite Simple Groups, Aschbacher's structure theorem for maximal subgroups for classical groups, and upper bounds on the diameters of finite simple groups due to Breuillard, Green, Guralnick, Pyber, Szabo and Tao.


title: Embedding Electronic Health Records for Clinical Information Retrieval

abstract: Neural network representation learning frameworks have recently shown to be highly effective at a wide range of tasks ranging from radiography interpretation via data-driven diagnostics to clinical decision support. This often superior performance comes at the price of dramatically increased training data requirements that cannot be satisfied in every given institution or scenario. As a means of countering such data sparsity effects, distant supervision alleviates the need for scarce in-domain data by relying on a related, resource-rich, task for training. This study presents an end-to-end neural clinical decision support system that recommends relevant literature for individual patients (few available resources) via distant supervision on the well-known MIMIC-III collection (abundant resource). Our experiments show significant improvements in retrieval effectiveness over traditional statistical as well as purely locally supervised retrieval models.


title: First passage time distribution for spiking neuron with delayed excitatory feedback

abstract: A class of spiking neuronal models with threshold 2 is considered. It is defined by a set of conditions typical for basic threshold-type models, such as the leaky integrate-and-fire (LIF) or the binding neuron model and also for some artificial neurons. A neuron is stimulated with a Poisson stream of excitatory impulses. Each output impulse is conveyed through the feedback line to the neuron input after finite delay $\Delta$. This impulse is identical to those delivered from the input stream. We have obtained a general relation allowing calculating exactly the probability density function (PDF) $p(t)$ for distribution of the first passage time of crossing the threshold, which is the distribution of output interspike intervals (ISI) values for this neuron. The calculation is based on known PDF $p^0(t)$ for that same neuron without feedback, intensity of the input stream $\lambda$ and properties of the feedback line. Also, we derive exact relation for calculating the moments of $p(t)$ based on known moments of $p^0(t)$. The obtained general expression for $p(t)$ is checked numerically using Monte Carlo simulation for the case of LIF model. The course of $p(t)$ has a $\delta$-function type peculiarity. This fact contributes to the discussion about the possibility to model neuronal activity with Poisson process, supporting the "no" answer.


title: Polarization and fundamental sensitivity of $^{\text{39}}$K ($^{\text{133}}$Cs)-$^{\text{85}}$Rb-$^{\text{21}}$Ne co-magnetometers

abstract: The hybrid optical pumping spin exchange relaxation free (HOPSERF) atomic co-magnetometers make ultrahigh sensitivity measurement of inertia achievable. The wall relaxation rate has a big effect on the polarization and fundamental sensitivity for the co-magnetometer, but it is often neglected in the experiments. However, there is almost no work about the systematic analysis of the influence factors on the polarization and the fundamental sensitivity of the HOPSERF co-magnetometers. Here, we systematically study the polarization and the fundamental sensitivity of 39K-85Rb-21Ne and 133Cs-85Rb-21Ne HOPSERF co-magnetometers with low polarization limit and the wall relaxation rate. The 21Ne number density, the power density and wavelength of pump beam will affect the polarization greatly by affecting the pumping rate of pump beam. We obtain a general formula on the fundamental sensitivity of the HOPSERF co-magnetometers due to shot-noise and the fundamental sensitivity changes with multiple systemic parameters, where the suitable number density of buffer gas and quench gas make the fundamental sensitivity highest. The fundamental sensitivity $7.5355\times10^{-11}$ $\rm rad/s/Hz^{1/2}$ of 133Cs-85Rb-21Ne co-magnetometer is higher than the ultimate theoretical sensitivity $2\times10^{-10}$ $\rm rad/s/Hz^{1/2}$ of K-21Ne co-magnetometer.


title: NExUS: Bayesian simultaneous network estimation across unequal sample sizes

abstract: Network-based analyses of high-throughput genomics data provide a holistic, systems-level understanding of various biological mechanisms for a common population. However, when estimating multiple networks across heterogeneous sub-populations, varying sample sizes pose a challenge in the estimation and inference, as network differences may be driven by differences in power. We are particularly interested in addressing this challenge in the context of proteomic networks for related cancers, as the number of subjects available for rare cancer (sub-)types is often limited. We develop NExUS (Network Estimation across Unequal Sample sizes), a Bayesian method that enables joint learning of multiple networks while avoiding artefactual relationship between sample size and network sparsity. We demonstrate through simulations that NExUS outperforms existing network estimation methods in this context, and apply it to learn network similarity and shared pathway activity for groups of cancers with related origins represented in The Cancer Genome Atlas (TCGA) proteomic data.


title: Variable separated ODE method--A powerful tool for testing traveling wave solutions of nonlinear equations

abstract: The variable separated ODE method is extended by choosing the additional variable separated equation as the general elliptic equation. More exact traveling wave solutions of nonlinear equations are obtained by using the method of comparison of coefficients and the known solutions of the auxiliary equation.


title: Autonomic Intrusion Response in Distributed Computing using Big Data

abstract: We introduce a method for Intrusion Detection based on the classification, understanding and prediction of behavioural deviance and potential threats, issuing recommendations, and acting to address eminent issues. Our work seeks a practical solutions to automate the process of identification and response to Cybersecurity threats in hybrid Distributed Computing environments through the analysis of large datasets generated during operations. We are motivated by the growth in utilisation of Cloud Computing and Edge Computing as the technology for business and social solutions. The technology mix and complex operation render these environments target to attacks like hijacking, man-in-the-middle, denial of service, phishing, and others. The Autonomous Intrusion Response System implements innovative models of data analysis and context-aware recommendation systems to respond to attacks and self-healing. We introduce a proof-of-concept implementation and evaluate against datasets from experimentation scenarios based on public and private clouds. The results present significant improvement in response effectiveness and potential to scale to large environments.


title: Multi-task learning for Joint Language Understanding and Dialogue State Tracking

abstract: This paper presents a novel approach for multi-task learning of language understanding (LU) and dialogue state tracking (DST) in task-oriented dialogue systems. Multi-task training enables the sharing of the neural network layers responsible for encoding the user utterance for both LU and DST and improves performance while reducing the number of network parameters. In our proposed framework, DST operates on a set of candidate values for each slot that has been mentioned so far. These candidate sets are generated using LU slot annotations for the current user utterance, dialogue acts corresponding to the preceding system utterance and the dialogue state estimated for the previous turn, enabling DST to handle slots with a large or unbounded set of possible values and deal with slot values not seen during training. Furthermore, to bridge the gap between training and inference, we investigate the use of scheduled sampling on LU output for the current user utterance as well as the DST output for the preceding turn.


title: ATENSOR - REDUCE program for tensor simplification

abstract: The paper presents a REDUCE program for the simplification of tensor expressions that are considered as formal indexed objects. The proposed algorithm is based on the consideration of tensor expressions as vectors in some linear space. This linear space is formed by all the elements of the group algebra of the corresponding tensor expression. Such approach permits us to simplify the tensor expressions possessing symmetry properties, summation (dummy) indices and multiterm identities by unify manner. The canonical element for the tensor expression is defined in terms of the basic vectors of this linear space. The main restriction of the algorithm is the dimension of the linear space that is equal to N!, where N is a number of indices of the tensor expression. The program uses REDUCE as user interface.


title: Estimating the Impact of Cyber-Attack Strategies for Stochastic Control Systems

abstract: Risk assessment is an inevitable step in implementation of a cyber-defense strategy. An important part of this assessment is to reason about the impact of possible attacks. In this paper, we propose a framework for estimating the impact of cyber-attacks in stochastic linear control systems. The framework can be used to estimate the impact of denial of service, rerouting, sign alternation, replay, false data injection, and bias injection attacks. For the stealthiness constraint, we adopt the Kullback-Leibler divergence between residual sequences during the attack. Two impact metrics are considered: (1) The probability that some of the critical states leave a safety region; and (2) The expected value of the infinity norm of the critical states. For the first metric, we prove that the impact estimation problem can be reduced to a set of convex optimization problems. Thus, the exact solution can be found efficiently. For the second metric, we derive an efficient to calculate lower bound. Finally, we demonstrate how the framework can be used for risk assessment on an example.


title: Conformal magnetic effect at the edge: a numerical study in scalar QED

abstract: Quantum polarization effects associated with the conformal anomaly in a static magnetic field background may generate a transverse electric current in the vacuum. The current may be produced either in an unbounded curved spacetime or in a flat spacetime in a physically bounded system. In both cases, the magnitude of the electric current is proportional to the beta-function associated with renormalization of the electric charge. In our article, we investigate the electric current density induced by the magnetic field in the vicinity of a Dirichlet boundary in the scalar QED. Using first-principle lattice simulations we show that the electric current, generated by this `conformal magnetic effect at the edge' (CMEE), is well described by the conformal anomaly provided the conformal symmetry is classically unbroken. Outside of the conformal limit, the current density is characterized by an anomalous power law near the edge of the system and by an exponential suppression of the current far away from the edge.


title: Helium-Implantation-Induced Lattice Strains and Defects in Tungsten probed by X-ray Micro-diffraction

abstract: Tungsten is the main candidate material for plasma-facing armour components in future fusion reactors. Bombardment with energetic fusion neutrons causes collision cascade damage and defect formation. Interaction of defects with helium, produced by transmutation and injected from the plasma, modifies defect retention and behaviour. Here we investigate the residual lattice strains caused by different doses of helium-ion-implantation into tungsten and tungsten-rhenium alloys. Energy and depth-resolved synchrotron X-ray micro-diffraction uniquely permits the measurement of lattice strain with sub-micron 3D spatial resolution and ~10-4 strain sensitivity. Increase of helium dose from 300 appm to 3000 appm increases volumetric strain by only ~2.4 times, indicating that defect retention per injected helium atom is ~3 times higher at low helium doses. This suggests that defect retention is not a simple function of implanted helium dose, but strongly depends on material composition and presence of impurities. Conversely, analysis of W-1wt% Re alloy samples and of different crystal orientations shows that both the presence of rhenium, and crystal orientation, have comparatively small effect on defect retention. These insights are key for the design of armour components in future reactors where it will be essential to account for irradiation-induced dimensional change when predicting component lifetime and performance.


title: Interplay between Kitaev interaction and single ion anisotropy in ferromagnetic CrI$_3$ and CrGeTe$_3$ monolayers

abstract: Magnetic anisotropy is crucially important for the stabilization of two-dimensional (2D) magnetism, which is rare in nature but highly desirable in spintronics and for advancing fundamental knowledge. Recent works on CrI$_3$ and CrGeTe$_3$ monolayers not only led to observations of the long-time-sought 2D ferromagnetism, but also revealed distinct magnetic anisotropy in the two systems, namely Ising behavior for CrI$_3$ versus Heisenberg behavior for CrGeTe$_3$. Such magnetic difference strongly contrasts with structural and electronic similarities of these two materials, and understanding it at a microscopic scale should be of large benefits. Here, first-principles calculations are performed and analyzed to develop a simple Hamiltonian, to investigate magnetic anisotropy of CrI$_3$ and CrGeTe$_3$ monolayers. The anisotropic exchange coupling in both systems is surprisingly determined to be of Kitaev-type. Moreover, the interplay between this Kitaev interaction and single ion anisotropy (SIA) is found to naturally explain the different magnetic behaviors of CrI$_3$ and CrGeTe$_3$. Finally, both the Kitaev interaction and SIA are further found to be induced by spin-orbit coupling of the heavy ligands (I of CrI$_3$ or Te of CrGeTe$_3$) rather than the commonly believed 3d magnetic Cr ions.


title: A Phase Variable Approach for Improved Rhythmic and Non-Rhythmic Control of a Powered Knee-Ankle Prosthesis

abstract: Although there has been recent progress in control of multi-joint prosthetic legs for rhythmic tasks such as walking, control of these systems for non-rhythmic motions and general real-world maneuvers is still an open problem. In this article, we develop a new controller that is capable of both rhythmic (constant-speed) walking, transitions between speeds and/or tasks, and some common volitional leg motions. We introduce a new piecewise holonomic phase variable, which, through a finite state machine, forms the basis of our controller. The phase variable is constructed by measuring the thigh angle, and the transitions in the finite state machine are formulated through sensing foot contact along with attributes of a nominal reference gait trajectory. The controller was implemented on a powered knee-ankle prosthesis and tested with a transfemoral amputee subject, who successfully performed a wide range of rhythmic and non-rhythmic tasks, including slow and fast walking, quick start and stop, backward walking, walking over obstacles, and kicking a soccer ball. Use of the powered leg resulted in clinically significant reductions in amputee compensations for rhythmic tasks (including vaulting and hip circumduction) when compared to use of the take-home passive leg. In addition, considerable improvements were also observed in the performance for non-rhythmic tasks. The proposed approach is expected to provide a better understanding of rhythmic and non-rhythmic motions in a unified framework, which in turn can lead to more reliable control of multi-joint prostheses for a wider range of real-world tasks.


title: Chromatic Picard groups at large primes

abstract: As a consequence of the algebraicity of chromatic homotopy at large primes, we show that the Hopkins' Picard group of the $K(n)$-local category coincides with the algebraic one when $2p-2 > n^{2}+n$.


title: Home Activity Monitoring using Low Resolution Infrared Sensor

abstract: Action monitoring in a home environment provides important information for health monitoring and may serve as input into a smart home environment. Visual analysis using cameras can recognise actions in a complex scene, such as someones living room. However, although there the huge potential benefits and importance, specifically for health, cameras are not widely accepted because of privacy concerns. This paper recognises human activities using a sensor that retains privacy. The sensor is not only different by being thermal, but it is also of low resolution: 8x8 pixels. The combination of the thermal imaging, and the low spatial resolution ensures the privacy of individuals. We present an approach to recognise daily activities using this sensor based on a discrete cosine transform. We evaluate the proposed method on a state-of-the-art dataset and experimentally confirm that our approach outperforms the baseline method. We also introduce a new dataset, and evaluate the method on it. Here we show that the sensor is considered better at detecting the occurrence of falls and Activities of Daily Living. Our method achieves an overall accuracy of 87.50% across 7 activities with a fall detection sensitivity of 100% and specificity of 99.21%.


title: A Beilinson-Bernstein Theorem for analytic quantum groups

abstract: We introduce a $p$-adic analytic analogue of Backelin and Kremnizer's construction of the quantum flag variety of a semisimple algebraic group, when $q$ is not a root of unity and $| q-1|<1$. We then define a category of $\lambda$-twisted $D$-modules on this analytic quantum flag variety. We show that when $\lambda$ is regular and dominant and when the characteristic of the residue field does not divide the order of the Weyl group, the global section functor gives an equivalence of categories between the coherent $\lambda$-twisted $D$-modules and the category of finitely generated modules over $\widehat{U_q^\lambda}$, where the latter is a completion of the ad-finite part of the quantum group with central character corresponding to $\lambda$. Along the way, we also show that Banach comodules over the Banach completion $\widehat{\mathcal{O}_q(B)}$ of the quantum coordinate algebra of the Borel can be naturally identified with certain topologically integrable modules.


title: Fermi-Fermi crossover in the ground state of 1D few-body systems with anomalous three-body interactions

abstract: In one spatial dimension, quantum systems with an attractive three-body contact interaction exhibit a scale anomaly. In this work, we examine the few-body sector for up to six particles. We study those systems with a self-consistent, non-perturbative, iterative method, in the subspace of zero total momentum. Exploiting the structure of the contact interaction, the method reduces the complexity of obtaining the wavefunction by three powers of the dimension of the Hilbert space. We present results on the energy, and momentum and spatial structure, as well as Tan's contact. We find a Fermi-Fermi crossover interpolating between large, weakly bound trimers and compact, deeply bound trimers: at weak coupling, the behavior is captured by degenerate perturbation theory; at strong coupling, the system is governed by an effective theory of heavy trimers (plus free particles in the case of asymmetric systems). Additionally, we find that there is no trimer-trimer attraction and therefore no six-body bound state.


title: Fast Human Pose Estimation

abstract: Existing human pose estimation approaches often only consider how to improve the model generalisation performance, but putting aside the significant efficiency problem. This leads to the development of heavy models with poor scalability and cost-effectiveness in practical use. In this work, we investigate the under-studied but practically critical pose model efficiency problem. To this end, we present a new Fast Pose Distillation (FPD) model learning strategy. Specifically, the FPD trains a lightweight pose neural network architecture capable of executing rapidly with low computational cost. It is achieved by effectively transferring the pose structure knowledge of a strong teacher network. Extensive evaluations demonstrate the advantages of our FPD method over a broad range of state-of-the-art pose estimation approaches in terms of model cost-effectiveness on two standard benchmark datasets, MPII Human Pose and Leeds Sports Pose.


title: ABox Abduction via Forgetting in ALC (Long Version)

abstract: Abductive reasoning generates explanatory hypotheses for new observations using prior knowledge. This paper investigates the use of forgetting, also known as uniform interpolation, to perform ABox abduction in description logic (ALC) ontologies. Non-abducibles are specified by a forgetting signature which can contain concept, but not role, symbols. The resulting hypotheses are semantically minimal and each consist of a set of disjuncts. These disjuncts are each independent explanations, and are not redundant with respect to the background ontology or the other disjuncts, representing a form of hypothesis space. The observations and hypotheses handled by the method can contain both atomic or complex ALC concepts, excluding role assertions, and are not restricted to Horn clauses. Two approaches to redundancy elimination are explored for practical use: full and approximate. Using a prototype implementation, experiments were performed over a corpus of real world ontologies to investigate the practicality of both approaches across several settings.


title: Health Care Expenditures, Financial Stability, and Participation in the Supplemental Nutrition Assistance Program (SNAP)

abstract: This paper examines the association between household healthcare expenses and participation in the Supplemental Nutrition Assistance Program (SNAP) when moderated by factors associated with financial stability of households. Using a large longitudinal panel encompassing eight years, this study finds that an inter-temporal increase in out-of-pocket medical expenses increased the likelihood of household SNAP participation in the current period. Financially stable households with precautionary financial assets to cover at least 6 months worth of household expenses were significantly less likely to participate in SNAP. The low income households who recently experienced an increase in out of pocket medical expenses but had adequate precautionary savings were less likely than similar households who did not have precautionary savings to participate in SNAP. Implications for economists, policy makers, and household finance professionals are discussed.


title: Bayesian Data Analysis in Empirical Software Engineering Research

abstract: Statistics comes in two main flavors: frequentist and Bayesian. For historical and technical reasons, frequentist statistics have traditionally dominated empirical data analysis, and certainly remain prevalent in empirical software engineering. This situation is unfortunate because frequentist statistics suffer from a number of shortcomings---such as lack of flexibility and results that are unintuitive and hard to interpret---that curtail their effectiveness when dealing with the heterogeneous data that is increasingly available for empirical analysis of software engineering practice. In this paper, we pinpoint these shortcomings, and present Bayesian data analysis techniques that provide tangible benefits---as they can provide clearer results that are simultaneously robust and nuanced. After a short, high-level introduction to the basic tools of Bayesian statistics, we present the reanalysis of two empirical studies on the effectiveness of automatically generated tests and the performance of programming languages. By contrasting the original frequentist analyses with our new Bayesian analyses, we demonstrate the concrete advantages of the latter. To conclude we advocate a more prominent role for Bayesian statistical techniques in empirical software engineering research and practice.


title: Quickest Detection of Time-Varying False Data Injection Attacks in Dynamic Linear Regression Models

abstract: Motivated by the sequential detection of false data injection attacks (FDIAs) in a dynamic smart grid, we consider a more general problem of sequentially detecting time-varying FDIAs in dynamic linear regression models. The unknown time-varying parameter vector in the linear regression model and the FDIAs impose a significant challenge for designing a computationally efficient detector. We first propose two Cumulative-Sum-type algorithms to address this challenge. One is called generalized Cumulative-Sum (GCUSUM) algorithm, and the other one is called relaxed generalized Cumulative-Sum (RGCUSUM) algorithm, which is a modified version of the GCUSUM. It can be shown that the computational complexity of the proposed RGCUSUM algorithm scales linearly with the number of observations. Next, considering Lordon's setup, for any given constraint on the expected false alarm period, a lower bound on the threshold employed in the proposed RGCUSUM algorithm is derived, which provides a guideline for the design of the proposed RGCUSUM algorithm to achieve the prescribed performance requirement. In addition, for any given threshold employed in the proposed RGCUSUM algorithm, an upper bound on the expected detection delay is also provided. The performance of the proposed RGCUSUM algorithm is also numerically studied in the context of an IEEE standard power system under FDIAs.


title: The Affordable Care Act and the IRS Iterative Fixed Point Procedure

abstract: We model the quantities appearing in Internal Revenue Service (IRS) tax guidance for calculating the health insurance premium tax credit created by the Patient Protection and Affordable Care Act, also called Obamacare. We ask the question of whether there is a procedure, computable by hand, which can calculate the appropriate premium tax credit for any household with self-employment income. We give an example showing that IRS tax guidance, which has had self-employed taxpayers use an iterative fixed point procedure to calculate their premium tax credits since 2014, can lead to a divergent sequence of iterates. As a consequence, IRS guidance does not calculate appropriate premium tax credits for tax returns in certain income intervals, adversely affecting eligible beneficiaries. A bisection procedure for calculating premium tax credits is proposed. We prove that this procedure calculates appropriate premium tax credits for a model of simple tax returns; and apparently, this procedure has already been used to prepare accepted tax returns. We outline the problem of finding a procedure which calculates appropriate premium tax credits for models of general tax returns. While the bisection procedure will work with the tax code in its current configuration, it could fail, in states which have not expanded Medicaid, if a certain deduction were to revert to an earlier form. Future policy objectives might also lead to further problems.


title: Phase Diagram of Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$ Revisited

abstract: In cuprate superconductors, the doping of carriers into the parent Mott insulator induces superconductivity and various other phases whose characteristic temperatures are typically plotted versus the doping level $p$. In most materials, $p$ cannot be determined from the chemical composition, but it is derived from the superconducting transition temperature, $T_\mathrm{c}$, using the assumption that $T_\mathrm{c}$ dependence on doping is universal. Here, we present angle-resolved photoemission studies of Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$, cleaved and annealed in vacuum or in ozone to reduce or increase the doping from the initial value corresponding to $T_\mathrm{c}=91$ K. We show that $p$ can be determined from the underlying Fermi surfaces and that $in-situ$ annealing allows mapping of a wide doping regime, covering the superconducting dome and the non-superconducting phase on the overdoped side. Our results show a surprisingly smooth dependence of the inferred Fermi surface with doping. In the highly overdoped regime, the superconducting gap approaches the value of $2\Delta_0=(4\pm1)k_\mathrm{B}T_\mathrm{c}$


title: Iteration of strongly $\kappa^+$-cc forcing posets

abstract: We prove some iteration theorems for a certain class of $\kappa^+$-cc forcing posets.


title: Non perturbative physics from NSPT: renormalons, the gluon condensate and all that

abstract: Numerical Stochastic Perturbation Theory (NSPT) enables very high order computations in Lattice Gauge Theories. We report on the determination of the gluon condensate from lattice QCD measurements of the basic plaquette. This is a long standing problem, which was eventually solved a few years ago in pure gauge. In this context NSPT is crucial: it is actually the only tool enabling the subtraction of the power divergent contribution associated to the identity operator in the OPE for the plaquette. This subtraction is actually a delicate issue, since the perturbative expansion of the plaquette is on general ground expected to be an asymptotic one, due to renormalons. This in turn results in ambiguities and the separation of scales in the OPE does not correspond to a separation of perturbative and non-perturbative contributions. All in all, one needs to absorb the ambiguities attached to the perturbative series into the definition of the condensate itself, i.e. one needs a prescription. A possible one amounts to summing the perturbative series up to its minimal term, which means computing up to orders which only NSPT can aim at. Our computation is the first one in QCD, with massless staggered fermions. In order to remove the zero-mode of the gauge field, twisted boundary conditions are adopted for the latter, consistently coupled to fermions in the fundamental representation supplemented with smell degrees of freedom.


title: The orbit of a bounded operator under the M\"{o}bius group modulo similarity equivalence

abstract: Let M\"{o}b denote the group of biholomorphic automorphisms of the unit disc and $(\mbox{M\"{o}b} \cdot T)$ be the orbit of a Hilbert space operator $T$ under the action of M\"{o}b. If the quotient $(\mbox{M\"{o}b} \cdot T)/\sim$, where $\sim$ is the similarity between two operators is a singleton, then the operator $T$ is said to be weakly homogeneous. In this paper, we obtain a criterion to determine if the operator $M_z$ of multiplication by the coordinate function $z$ on a reproducing kernel Hilbert space is weakly homogeneous. We use this to show that there exists a M\"{o}bius bounded weakly homogeneous operator which is not similar to any homogeneous operator, answering a question of Bagchi and Misra in the negative. Some necessary conditions for the M\"{o}bius boundedness of a weighted shift are also obtained. As a consequence, it is shown that the Dirichlet shift is not M\"{o}bius bounded.


title: Improved $L^2$ and $H^1$ error estimates for the Hessian discretisation method

abstract: The Hessian discretisation method (HDM) for fourth order linear elliptic equations provides a unified convergence analysis framework based on three properties namely coercivity, consistency, and limit-conformity. Some examples that fit in this approach include conforming and nonconforming finite element methods, finite volume methods and methods based on gradient recovery operators. A generic error estimate has been established in $L^2$, $H^1$ and $H^2$-like norms in literature. In this paper, we establish improved $L^2$ and $H^1$ error estimates in the framework of HDM and illustrate it on various schemes. Since an improved $L^2$ estimate is not expected in general for finite volume method (FVM), a modified FVM is designed by changing the quadrature of the source term and a superconvergence result is proved for this modified FVM. In addition to the Adini nonconforming finite element method (ncFEM), in this paper, we show that the Morley ncFEM is an example of HDM. Numerical results that justify the theoretical results are also presented.


title: On the Mean Order of Connected Induced Subgraphs of Block Graphs

abstract: The average order of the connected induced subgraphs of a graph $G$ is called the mean connected induced subgraph (CIS) order of $G$. This is an extension of the mean subtree order of a tree, first studied by Jamison. In this article, we demonstrate that among all connected block graphs of order $n$, the path $P_n$ has minimum mean CIS order. This extends a result of Jamison from trees to connected block graphs, and supports the conjecture of Kroeker, Mol, and Oellermann that $P_n$ has minimum mean CIS order among all connected graphs of order $n$.


title: Fermi- to non-Fermi-liquid crossover and Kondo transition in two-dimensional Cu$_{2/3}$V$_{1/3}$V$_2$S$_4$

abstract: By means of a specific heat ($C$) and electrical resistivity ($\varrho$) study, we give evidence of a pronounced Fermi liquid (FL) behavior with sizable mass renormalization, $m^{\ast}/m = 30$, up to unusually high temperatures $\sim$70 K in the layered system Cu$_{2/3}$V$_{1/3}$V$_2$S$_4$. At low temperature, a marked upturn of both $C$ and $\varrho$ is suppressed by magnetic field, which suggests a picture of Kondo coupling between conduction electrons in the VS$_2$ layers and impurity spins of the V$^{3+}$ ions located between layers. This picture opens the possibility of controlling electronic correlations and the FL to non-FL crossover in simple layered materials. For instance, we envisage that the coupling between layers provided by the impurity spins may realize a two-channel Kondo state.


title: Deep Object-Centric Policies for Autonomous Driving

abstract: While learning visuomotor skills in an end-to-end manner is appealing, deep neural networks are often uninterpretable and fail in surprising ways. For robotics tasks, such as autonomous driving, models that explicitly represent objects may be more robust to new scenes and provide intuitive visualizations. We describe a taxonomy of "object-centric" models which leverage both object instances and end-to-end learning. In the Grand Theft Auto V simulator, we show that object-centric models outperform object-agnostic methods in scenes with other vehicles and pedestrians, even with an imperfect detector. We also demonstrate that our architectures perform well on real-world environments by evaluating on the Berkeley DeepDrive Video dataset, where an object-centric model outperforms object-agnostic models in the low-data regimes.


title: Two Predictions of supernova: GRB 130427A / SN 2013cq and GRB 180728A / SN 2018fip

abstract: On 2018 July 28, GRB 180728A triggered \textit{Swift} satellites and, soon after the determination of the redshift, we identified this source as a type II binary-driven hypernova (BdHN II) in our model. Consequently, we predicted the appearance time of its associated supernova (SN), which was later confirmed as SN 2018fip. A BdHN II originates in a binary composed of a carbon-oxygen core (CO$_{\rm core}$) undergoing SN, and the SN ejecta hypercritically accrete onto a companion neutron star (NS). From the time of the SN shock breakout to the time when the hypercritical accretion starts, we infer the binary separation $\simeq 3 \times 10^{10}$ cm. The accretion explains the prompt emission of isotropic energy $\simeq 3 \times 10^{51}$ erg, lasting $\sim 10$ s, and the accompanying observed blackbody emission from a thermal convective instability bubble. The new neutron star ($\nu$NS) originating from the SN powers the late afterglow from which a $\nu$NS initial spin of $2.5$ ms is inferred. We compare GRB 180728A with GRB 130427A, a type I binary-driven hypernova (BdHN I) with isotropic energy $> 10^{54}$ erg. For GRB 130427A we have inferred an initially closer binary separation of $\simeq 10^{10}$ cm, implying a higher accretion rate leading to the collapse of the NS companion with consequent black hole formation, and a faster, $1$ ms spinning $\nu$NS. In both cases, the optical spectra of the SNe are similar, and not correlated to the energy of the gamma-ray burst. We present three-dimensional smoothed-particle-hydrodynamic simulations and visualisations of the BdHNe I and II.


title: Constraints on field flows of quintessence dark energy

abstract: The quest for understanding the late-time acceleration is haunted by an immense freedom in the analysis of dynamical models for dark energy in extended parameter spaces. Often-times having no prior knowledge at our disposal, arbitrary choices are implemented to reduce the degeneracies between parameters. We also encounter this issue in the case of quintessence fields, where a scalar degree of freedom drives the late-time acceleration. In this study, we implement a more physical prescription, the \textit{flow} condition, to fine-tune the quintessence evolution for several field potentials. We find that this prescription agrees well with the most recent catalogue of data, namely supernovae type Ia, baryon acoustic oscillations, cosmic clocks and distance to last scattering surface, and it enables us to infer the initial conditions for the field, both potential and cosmological parameters. At $2\sigma$ we find stricter bounds on the potential parameters $f/m_{pl}>0.26$ and $n<0.15$ for the PNGB and IPL potentials, respectively, while constraints on cosmological parameters remain extremely consistent across all assumed potentials. By implementing information criteria to assess their ability to fit the data, we do not find any evidence against thawing models, which in fact are statistically equivalent to $\Lambda$CDM, and the freezing ones are moderately disfavoured. Through our analysis we place upper bounds on the slope of quintessence potentials, consequently revealing a strong tension with the recently proposed swampland criterion, finding the 2$\sigma$ upper bound of $\lambda \sim 0.31$ for the exponential potential.


title: 4D spin-2 fields from 5D Chern-Simons theory

abstract: We consider a 5-dimensional Chern-Simons gauge theory for the isometry group of Anti-de-Sitter spacetime, $\operatorname{AdS}_{4+1}\simeq\operatorname{SO}(4,2)$, and invoke different dimensional reduction schemes in order to relate it to 4-dimensional spin-2 theories. The AdS gauge algebra is isomorphic to a parametrized 4-dimensional conformal algebra, and the gauge fields corresponding to the generators of non-Abelian translations and special conformal transformations reduce to two vierbein fields in $D=4$. Besides these two vierbeine, our reduction schemes leave only the Lorentz spin connection as an additional dynamical field in the 4-dimensional theories. We identify the corresponding actions as particular generalizations of Einstein-Cartan theory, conformal gravity and ghost-free bimetric gravity in first-order form.


title: Robust H-infinity kinematic control of manipulator robots using dual quaternion algebra

abstract: This paper proposes a robust dual-quaternion based H-infinity task-space kinematic controller for robot manipulators. To address the manipulator liability to modeling errors, uncertainties, exogenous disturbances, and their influence upon the kinematics of the end-effector pose, we adapt H-infinity techniques\textemdash suitable only for additive noises\textemdash to unit dual quaternions. The noise to error attenuation within the H-infinity framework has the additional advantage of casting aside requirements concerning noise distributions, which are significantly hard to characterize within the group of rigid-body transformations. Using dual quaternion algebra, we provide a connection between performance effects over the end-effector trajectory and different sources of uncertainties and disturbances while satisfying attenuation requirements with minimum instantaneous control effort. The result is an easy-to-implement closed-form H-infinity control design criterion. The performance of the proposed strategy is evaluated within different realistic simulated scenarios and validated through real experiments.


title: Argumentation for Explainable Scheduling (Full Paper with Proofs)

abstract: Mathematical optimization offers highly-effective tools for finding solutions for problems with well-defined goals, notably scheduling. However, optimization solvers are often unexplainable black boxes whose solutions are inaccessible to users and which users cannot interact with. We define a novel paradigm using argumentation to empower the interaction between optimization solvers and users, supported by tractable explanations which certify or refute solutions. A solution can be from a solver or of interest to a user (in the context of 'what-if' scenarios). Specifically, we define argumentative and natural language explanations for why a schedule is (not) feasible, (not) efficient or (not) satisfying fixed user decisions, based on models of the fundamental makespan scheduling problem in terms of abstract argumentation frameworks (AFs). We define three types of AFs, whose stable extensions are in one-to-one correspondence with schedules that are feasible, efficient and satisfying fixed decisions, respectively. We extract the argumentative explanations from these AFs and the natural language explanations from the argumentative ones.


title: Very Hard Electoral Control Problems

abstract: It is important to understand how the outcome of an election can be modified by an agent with control over the structure of the election. Electoral control has been studied for many election systems, but for all studied systems the winner problem is in P, and so control is in NP. There are election systems, such as Kemeny, that have many desirable properties, but whose winner problems are not in NP. Thus for such systems control is not in NP, and in fact we show that it is typically complete for $\Sigma_2^p$ (i.e., ${\rm NP}^{\rm NP}$, the second level of the polynomial hierarchy). This is a very high level of complexity. Approaches that perform quite well for solving NP problems do not necessarily work for $\Sigma_2^p$-complete problems. However, answer set programming is suited to express problems in $\Sigma_2^p$, and we present an encoding for Kemeny control.


title: A survey of semidefinite programming approaches to the generalized problem of moments and their error analysis

abstract: The generalized problem of moments is a conic linear optimization problem over the convex cone of positive Borel measures with given support. It has a large variety of applications, including global optimization of polynomials and rational functions, options pricing in finance, constructing quadrature schemes for numerical integration, and distributionally robust optimization. A usual solution approach, due to J.B. Lasserre, is to approximate the convex cone of positive Borel measures by finite dimensional outer and inner conic approximations. We will review some results on these approximations, with a special focus on the convergence rate of the hierarchies of upper and lower bounds for the general problem of moments that are obtained from these inner and outer approximations.


title: Cyclic quasi-symmetric functions

abstract: The ring of cyclic quasi-symmetric functions and its non-Escher subring are introduced in this paper. A natural basis consists of fundamental cyclic quasi-symmetric functions; for the non-Escher subring they arise as toric $P$-partition enumerators, for toric posets $P$ with a total cyclic order. The associated structure constants are determined by cyclic shuffles of permutations. We then prove the following positivity phenomenon: for every non-hook shape $\lambda$, the coefficients in the expansion of the Schur function $s_\lambda$ in terms of fundamental cyclic quasi-symmetric functions are nonnegative. The proof relies on the existence of a cyclic descent map on the standard Young tableaux (SYT) of shape $\lambda$. The theory has applications to the enumeration of cyclic shuffles and SYT by cyclic descents.


title: A Systematic Evaluation of Transient Execution Attacks and Defenses

abstract: Research on transient execution attacks including Spectre and Meltdown showed that exception or branch misprediction events might leave secret-dependent traces in the CPU's microarchitectural state. This observation led to a proliferation of new Spectre and Meltdown attack variants and even more ad-hoc defenses (e.g., microcode and software patches). Both the industry and academia are now focusing on finding effective defenses for known issues. However, we only have limited insight on residual attack surface and the completeness of the proposed defenses. In this paper, we present a systematization of transient execution attacks. Our systematization uncovers 6 (new) transient execution attacks that have been overlooked and not been investigated so far: 2 new exploitable Meltdown effects: Meltdown-PK (Protection Key Bypass) on Intel, and Meltdown-BND (Bounds Check Bypass) on Intel and AMD; and 4 new Spectre mistraining strategies. We evaluate the attacks in our classification tree through proof-of-concept implementations on 3 major CPU vendors (Intel, AMD, ARM). Our systematization yields a more complete picture of the attack surface and allows for a more systematic evaluation of defenses. Through this systematic evaluation, we discover that most defenses, including deployed ones, cannot fully mitigate all attack variants.


title: $(A_\infty,2)$-categories and relative 2-operads

abstract: We define the notion of a 2-operad relative to an operad, and prove that the 2-associahedra form a 2-operad relative to the associahedra. Using this structure, we define the notions of an $(A_\infty,2)$-category and $(A_\infty,2)$-algebra in spaces and in chain complexes over a ring. Finally, we show that for any continuous map $A \to X$, we can associate an $(A_\infty,2)$-algebra $\theta(A \to X)$ in $\textsf{Top}$, which specializes to $\theta(\text{pt} \to X) = \Omega^2 X$ and $\theta(A \to \text{pt}) = \Omega A \times \Omega A$.


title: Co-regularized Alignment for Unsupervised Domain Adaptation

abstract: Deep neural networks, trained with large amount of labeled data, can fail to generalize well when tested with examples from a \emph{target domain} whose distribution differs from the training data distribution, referred as the \emph{source domain}. It can be expensive or even infeasible to obtain required amount of labeled data in all possible domains. Unsupervised domain adaptation sets out to address this problem, aiming to learn a good predictive model for the target domain using labeled examples from the source domain but only unlabeled examples from the target domain. Domain alignment approaches this problem by matching the source and target feature distributions, and has been used as a key component in many state-of-the-art domain adaptation methods. However, matching the marginal feature distributions does not guarantee that the corresponding class conditional distributions will be aligned across the two domains. We propose co-regularized domain alignment for unsupervised domain adaptation, which constructs multiple diverse feature spaces and aligns source and target distributions in each of them individually, while encouraging that alignments agree with each other with regard to the class predictions on the unlabeled target examples. The proposed method is generic and can be used to improve any domain adaptation method which uses domain alignment. We instantiate it in the context of a recent state-of-the-art method and observe that it provides significant performance improvements on several domain adaptation benchmarks.


title: Cardinal Characteristics of Models of Set Theory

abstract: We continue our investigation =of Shelah's interpretability orders $\trianglelefteq^*_\kappa$ as well as the new orders $\trianglelefteq^\times_\kappa$. In particular, we give streamlined proofs of the existence of minimal unstable, unsimple and nonlow theories in these orders, and we give a similar analysis of the hypergraph examples $T_{n, k}$ of Hrushovski. We also prove that if $\mathcal{B}$ is a complete Boolean algebra with the $\lambda$-c.c., then no nonprincipal ultrafilter on $\mathcal{U}$ $\lambda^+$-saturates any unsimple theory.


title: Distributing Graph States Over Arbitrary Quantum Networks

abstract: Multipartite entangled states are great resources for quantum networks. In this work we study the distribution, or routing, of entangled states over fixed, but arbitrary, physical networks. Our simplified model represents each use of a quantum channel as the sharing of a Bell pair; local operations and classical communications are considered to be free. We introduce two protocols to distribute respectively Greenberger-Horne-Zeilinger (GHZ) states and arbitrary graph states over arbitrary quantum networks. The GHZ states distribution protocol takes a single step and is optimal in terms of the number of Bell pairs used; the graph state distribution protocol uses at most twice as many Bell pairs and steps than the optimal routing protocol for the worst case scenario.


title: 't Hooft anomalies of discrete gauge theories and non-abelian group cohomology

abstract: We study discrete symmetries of Dijkgraaf-Witten theories and their gauging in the framework of (extended) functorial quantum field theory. Non-abelian group cohomology is used to describe discrete symmetries and we derive concrete conditions for such a symmetry to admit 't Hooft anomalies in terms of the Lyndon-Hochschild-Serre spectral sequence. We give an explicit realization of a discrete gauge theory with 't Hooft anomaly as a state on the boundary of a higher-dimensional Dijkgraaf-Witten theory. This allows us to calculate the 2-cocycle twisting the projective representation of physical symmetries via transgression. We present a general discussion of the bulk-boundary correspondence at the level of partition functions and state spaces, which we make explicit for discrete gauge theories.

categories: hep-th cond-mat.str-el math-ph math.AT math.MP math.QA


title: QDB: From Quantum Algorithms Towards Correct Quantum Programs

abstract: With the advent of small-scale prototype quantum computers, researchers can now code and run quantum algorithms that were previously proposed but not fully implemented. In support of this growing interest in quantum computing experimentation, programmers need new tools and techniques to write and debug QC code. In this work, we implement a range of QC algorithms and programs in order to discover what types of bugs occur and what defenses against those bugs are possible in QC programs. We conduct our study by running small-sized QC programs in QC simulators in order to replicate published results in QC implementations. Where possible, we cross-validate results from programs written in different QC languages for the same problems and inputs. Drawing on this experience, we provide a taxonomy for QC bugs, and we propose QC language features that would aid in writing correct code.


title: Pseudosaturation and the Interpretability Orders

abstract: We streamline treatments of the interpretability orders $\trianglelefteq^*_\kappa$ of Shelah, the key new notion being that of pseudosaturation. Extending work of Malliaris and Shelah, we classify the interpretability orders on the stable theories. As a further application, we prove that for all countable theories $T_0, T_1$, if $T_1$ is unsupersimple, then $T_0 \trianglelefteq^*_1 T_1$ if and only if $T_0 \trianglelefteq^*_{\aleph_1} T_1$. We thus deduce that simplicity is a dividing line in $\trianglelefteq^*_{\aleph_1}$, and that consistently, $SOP_2$ characterizes maximality in $\trianglelefteq^*_{\aleph_1}$; previously these results were only known for $\trianglelefteq^*_1$.


title: On instability of ground states in 2D CP(N-1) and O(N) models at large N

abstract: We consider properties of the inhomogeneous solution found recently for \mbox{$\mathbb{CP}^{\,N-1}$} model. The solution was interpreted as a soliton. We reevaluate its energy in three different ways and find that it is negative contrary to the previous claims. Hence, instead of the solitonic interpretation it calls for reconsideration of the issue of the true ground state. While complete resolution is still absent we show that the energy density of the periodic elliptic solution is lower than the energy density of the homogeneous ground state. We also discuss similar solutions for the ${\mathbb{O}}(N)$ model and for SUSY extensions.


title: Modeling and Thermal Metrology of Thermally Isolated MEMS Electrothermal Actuators for Strain Engineering of 2D Materials

abstract: We present electrothermal microelectromechanical (MEMS) actuators as a practical platform for straining 2D materials. The advantages of the electrothermal actuator is its high output force and displacement for low input voltage, but its drawback is that it is actuated by generating high amounts of heat. It is crucial to mitigate the high temperatures generated during actuation for reliable 2D material strain device implementation. Here, we implement a chevron actuator design that incorporates a thermal isolation stage in order to avoid heating the 2D material from the high temperatures generated during the actuation. By comparing experiment and simulation, we ensure our design does not compromise output displacement, while keeping the 2D material strain device stage cool. We also provide a simple analytical model useful for quickly evaluating different thermal isolation stage designs.